tr-timing: Starting                         at 926
tr-timing: Calling module-begin driver              at 926	last step: 0	gc: 0	total: 0
tr-timing: Loaded core mb-core                      at 926	last step: 0	gc: 0	total: 0
tr-timing: Local Expand Done                        at 3518	last step: 2592	gc: 342	total: 2592
tr-timing: Starting initialization                  at 3520	last step: 2	gc: 0	total: 2594
tr-timing: Finshed base-structs                     at 3537	last step: 17	gc: 0	total: 2611
tr-timing: Finshed base-env-indexing                at 3544	last step: 7	gc: 0	total: 2618
tr-timing: Finshed base-env                         at 3631	last step: 87	gc: 36	total: 2705
tr-timing: Finshed base-env-numeric                 at 3660	last step: 29	gc: 0	total: 2734
tr-timing: Finished base-special-env                at 3662	last step: 2	gc: 0	total: 2736
tr-timing: Finished base-types                      at 3673	last step: 11	gc: 0	total: 2747
tr-timing: Initialized Envs                         at 3674	last step: 1	gc: 0	total: 2748
tr-timing: Starting `checker'                       at 3756	last step: 82	gc: 0	total: 2830
tr-timing: before form splitting                    at 3761	last step: 5	gc: 0	total: 2835
tr-timing: Form splitting done                      at 3815	last step: 54	gc: 0	total: 2889
tr-timing: after adding type names                  at 3830	last step: 15	gc: 0	total: 2904
tr-timing: starting struct handling                 at 4005	last step: 175	gc: 27	total: 3079
tr-timing: before pass1                             at 4176	last step: 171	gc: 8	total: 3250
tr-timing: Finished pass1                           at 4775	last step: 599	gc: 260	total: 3849
tr-timing: computed def-tbl                         at 4783	last step: 8	gc: 0	total: 3857
tr-timing: pass2 -casts-help/main.rkt line 2        at 4786	last step: 3	gc: 0	total: 3860
tr-timing: pass2 -casts-help/main.rkt line 2        at 4788	last step: 2	gc: 0	total: 3862
tr-timing: pass2 -casts-help/main.rkt line 2        at 4788	last step: 0	gc: 0	total: 3862
tr-timing: pass2 -casts-help/main.rkt line 2        at 4788	last step: 0	gc: 0	total: 3862
tr-timing: pass2 -casts-help/main.rkt line 8        at 4788	last step: 0	gc: 0	total: 3862
tr-timing: pass2 #f line #f                         at 4789	last step: 1	gc: 0	total: 3863
tr-timing: pass2 v/prims-contract.rkt line 214      at 4789	last step: 0	gc: 0	total: 3863
tr-timing: pass2 require-contract.rkt line 55       at 4791	last step: 2	gc: 0	total: 3865
tr-timing: pass2 require-contract.rkt line 34       at 4791	last step: 0	gc: 0	total: 3865
tr-timing: pass2 require-contract.rkt line 20       at 4791	last step: 0	gc: 0	total: 3865
tr-timing: pass2 require-contract.rkt line 21       at 4791	last step: 0	gc: 0	total: 3865
tr-timing: pass2 -casts-help/main.rkt line 36       at 4791	last step: 0	gc: 0	total: 3865
tr-timing: pass2 -casts-help/main.rkt line 37       at 4791	last step: 0	gc: 0	total: 3865
tr-timing: pass2 -casts-help/main.rkt line 39       at 4793	last step: 2	gc: 0	total: 3867
tr-timing: pass2 -casts-help/main.rkt line 40       at 4793	last step: 0	gc: 0	total: 3867
tr-timing: pass2 -casts-help/main.rkt line 47       at 4795	last step: 2	gc: 0	total: 3869
tr-timing: pass2 -casts-help/main.rkt line 48       at 4795	last step: 0	gc: 0	total: 3869
tr-timing: pass2 -casts-help/main.rkt line 59       at 4796	last step: 1	gc: 0	total: 3870
tr-timing: pass2 -casts-help/main.rkt line 62       at 4796	last step: 0	gc: 0	total: 3870
tr-timing: pass2 -casts-help/main.rkt line 71       at 4825	last step: 29	gc: 20	total: 3899
tr-timing: pass2 -casts-help/main.rkt line 72       at 4825	last step: 0	gc: 0	total: 3899
tr-timing: pass2 -casts-help/main.rkt line 80       at 4853	last step: 28	gc: 0	total: 3927
tr-timing: pass2 -casts-help/main.rkt line 81       at 4853	last step: 0	gc: 0	total: 3927
tr-timing: pass2 -casts-help/main.rkt line 83       at 4854	last step: 1	gc: 0	total: 3928
tr-timing: pass2 -casts-help/main.rkt line 84       at 4855	last step: 1	gc: 0	total: 3929
tr-timing: pass2 -casts-help/main.rkt line 90       at 4858	last step: 3	gc: 0	total: 3932
tr-timing: pass2 -casts-help/main.rkt line 94       at 4858	last step: 0	gc: 0	total: 3932
tr-timing: pass2 -casts-help/main.rkt line 95       at 4859	last step: 1	gc: 0	total: 3933
tr-timing: pass2 -casts-help/main.rkt line 97       at 4859	last step: 0	gc: 0	total: 3933
tr-timing: pass2 -casts-help/main.rkt line 103      at 4859	last step: 0	gc: 0	total: 3933
tr-timing: pass2 -casts-help/main.rkt line 111      at 4859	last step: 0	gc: 0	total: 3933
tr-timing: pass2 -casts-help/main.rkt line 118      at 4860	last step: 1	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 131      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 135      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 t/private/define.rkt line 24       at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 t/private/define.rkt line 24       at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 169      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 172      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 172      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 172      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 173      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 175      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 199      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 267      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 267      at 4860	last step: 0	gc: 0	total: 3934
tr-timing: pass2 -casts-help/main.rkt line 269      at 4861	last step: 1	gc: 0	total: 3935
tr-timing: pass2 -casts-help/main.rkt line 273      at 4861	last step: 0	gc: 0	total: 3935
tr-timing: pass2 -casts-help/main.rkt line 277      at 4861	last step: 0	gc: 0	total: 3935
tr-timing: pass2 -casts-help/main.rkt line 284      at 4861	last step: 0	gc: 0	total: 3935
tr-timing: pass2 t/base-env/prims.rkt line 723      at 4861	last step: 0	gc: 0	total: 3935
tr-timing: pass2 t/base-env/prims.rkt line 724      at 4861	last step: 0	gc: 0	total: 3935
tr-timing: pass2 -casts-help/main.rkt line 294      at 4862	last step: 1	gc: 0	total: 3936
tr-timing: pass2 -casts-help/main.rkt line 306      at 4862	last step: 0	gc: 0	total: 3936
tr-timing: pass2 -casts-help/main.rkt line 327      at 4862	last step: 0	gc: 0	total: 3936
tr-timing: pass2 -casts-help/main.rkt line 328      at 4862	last step: 0	gc: 0	total: 3936
tr-timing: pass2 -casts-help/main.rkt line 336      at 4880	last step: 18	gc: 0	total: 3954
tr-timing: pass2 -casts-help/main.rkt line 340      at 4880	last step: 0	gc: 0	total: 3954
tr-timing: pass2 -casts-help/main.rkt line 363      at 4893	last step: 13	gc: 0	total: 3967
tr-timing: pass2 -casts-help/main.rkt line 366      at 4893	last step: 0	gc: 0	total: 3967
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4893	last step: 0	gc: 0	total: 3967
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4894	last step: 1	gc: 0	total: 3968
tr-timing: pass2 -casts-help/main.rkt line 385      at 4894	last step: 0	gc: 0	total: 3968
tr-timing: pass2 -casts-help/main.rkt line 386      at 4894	last step: 0	gc: 0	total: 3968
tr-timing: pass2 -casts-help/main.rkt line 413      at 4897	last step: 3	gc: 0	total: 3971
tr-timing: pass2 -casts-help/main.rkt line 413      at 4898	last step: 1	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 413      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 416      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 416      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 416      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 422      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 431      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 431      at 4898	last step: 0	gc: 0	total: 3972
tr-timing: pass2 -casts-help/main.rkt line 431      at 4899	last step: 1	gc: 0	total: 3973
tr-timing: pass2 -casts-help/main.rkt line 433      at 4899	last step: 0	gc: 0	total: 3973
tr-timing: pass2 -casts-help/main.rkt line 436      at 4899	last step: 0	gc: 0	total: 3973
tr-timing: pass2 -casts-help/main.rkt line 462      at 4899	last step: 0	gc: 0	total: 3973
tr-timing: pass2 -casts-help/main.rkt line 462      at 4899	last step: 0	gc: 0	total: 3973
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4899	last step: 0	gc: 0	total: 3973
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4899	last step: 0	gc: 0	total: 3973
tr-timing: pass2 -casts-help/main.rkt line 467      at 4901	last step: 2	gc: 0	total: 3975
tr-timing: pass2 -casts-help/main.rkt line 467      at 4902	last step: 1	gc: 0	total: 3976
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4902	last step: 0	gc: 0	total: 3976
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4903	last step: 1	gc: 0	total: 3977
tr-timing: pass2 -casts-help/main.rkt line 472      at 4904	last step: 1	gc: 0	total: 3978
tr-timing: pass2 -casts-help/main.rkt line 473      at 4905	last step: 1	gc: 0	total: 3979
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4906	last step: 1	gc: 0	total: 3980
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4907	last step: 1	gc: 0	total: 3981
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4908	last step: 1	gc: 0	total: 3982
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4909	last step: 1	gc: 0	total: 3983
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4910	last step: 1	gc: 0	total: 3984
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4910	last step: 0	gc: 0	total: 3984
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4911	last step: 1	gc: 0	total: 3985
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4911	last step: 0	gc: 0	total: 3985
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4917	last step: 6	gc: 0	total: 3991
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4918	last step: 1	gc: 0	total: 3992
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4920	last step: 2	gc: 0	total: 3994
tr-timing: pass2 t/base-env/prims.rkt line 717      at 4920	last step: 0	gc: 0	total: 3994
tr-timing: pass2 -casts-help/main.rkt line 492      at 4921	last step: 1	gc: 0	total: 3995
tr-timing: pass2 -casts-help/main.rkt line 492      at 4921	last step: 0	gc: 0	total: 3995
tr-timing: pass2 -casts-help/main.rkt line 492      at 4921	last step: 0	gc: 0	total: 3995
tr-timing: pass2 -casts-help/main.rkt line 528      at 4922	last step: 1	gc: 0	total: 3996
tr-timing: pass2 -casts-help/main.rkt line 528      at 4923	last step: 1	gc: 0	total: 3997
tr-timing: pass2 -casts-help/main.rkt line 528      at 4923	last step: 0	gc: 0	total: 3997
tr-timing: pass2 -casts-help/main.rkt line 531      at 4923	last step: 0	gc: 0	total: 3997
tr-timing: pass2 -casts-help/main.rkt line 532      at 4924	last step: 1	gc: 0	total: 3998
tr-timing: pass2 -casts-help/main.rkt line 535      at 4924	last step: 0	gc: 0	total: 3998
tr-timing: pass2 -casts-help/main.rkt line 536      at 4925	last step: 1	gc: 0	total: 3999
tr-timing: pass2 -casts-help/main.rkt line 562      at 4928	last step: 3	gc: 0	total: 4002
tr-timing: pass2 -casts-help/main.rkt line 562      at 4928	last step: 0	gc: 0	total: 4002
tr-timing: pass2 -casts-help/main.rkt line 562      at 4928	last step: 0	gc: 0	total: 4002
tr-timing: pass2 -casts-help/main.rkt line 564      at 4929	last step: 1	gc: 0	total: 4003
tr-timing: pass2 -casts-help/main.rkt line 564      at 4929	last step: 0	gc: 0	total: 4003
tr-timing: pass2 -casts-help/main.rkt line 566      at 4930	last step: 1	gc: 0	total: 4004
tr-timing: pass2 -casts-help/main.rkt line 568      at 4930	last step: 0	gc: 0	total: 4004
tr-timing: pass2 -casts-help/main.rkt line 569      at 4930	last step: 0	gc: 0	total: 4004
tr-timing: pass2 -casts-help/main.rkt line 585      at 4949	last step: 19	gc: 0	total: 4023
tr-timing: pass2 -casts-help/main.rkt line 586      at 4950	last step: 1	gc: 0	total: 4024
tr-timing: pass2 -casts-help/main.rkt line 589      at 4952	last step: 2	gc: 0	total: 4026
tr-timing: pass2 -casts-help/main.rkt line 590      at 4953	last step: 1	gc: 0	total: 4027
tr-timing: pass2 -casts-help/main.rkt line 594      at 4954	last step: 1	gc: 0	total: 4028
tr-timing: pass2 -casts-help/main.rkt line 594      at 4954	last step: 0	gc: 0	total: 4028
tr-timing: pass2 -casts-help/main.rkt line 595      at 4954	last step: 0	gc: 0	total: 4028
tr-timing: pass2 -casts-help/main.rkt line 596      at 4954	last step: 0	gc: 0	total: 4028
tr-timing: pass2 -casts-help/main.rkt line 602      at 4955	last step: 1	gc: 0	total: 4029
tr-timing: pass2 -casts-help/main.rkt line 603      at 4956	last step: 1	gc: 0	total: 4030
tr-timing: pass2 -casts-help/main.rkt line 609      at 4956	last step: 0	gc: 0	total: 4030
tr-timing: pass2 -casts-help/main.rkt line 640      at 4956	last step: 0	gc: 0	total: 4030
tr-timing: pass2 -casts-help/main.rkt line 646      at 4956	last step: 0	gc: 0	total: 4030
tr-timing: pass2 -casts-help/main.rkt line 646      at 4956	last step: 0	gc: 0	total: 4030
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 1	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 0	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 0	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 0	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 0	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 0	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4957	last step: 0	gc: 0	total: 4031
tr-timing: pass2 -casts-help/main.rkt line 646      at 4958	last step: 1	gc: 0	total: 4032
tr-timing: pass2 -casts-help/main.rkt line 646      at 4958	last step: 0	gc: 0	total: 4032
tr-timing: pass2 -casts-help/main.rkt line 646      at 4958	last step: 0	gc: 0	total: 4032
tr-timing: pass2 -casts-help/main.rkt line 646      at 4958	last step: 0	gc: 0	total: 4032
tr-timing: pass2 -casts-help/main.rkt line 646      at 4958	last step: 0	gc: 0	total: 4032
tr-timing: pass2 -casts-help/main.rkt line 646      at 4958	last step: 0	gc: 0	total: 4032
tr-timing: pass2 -casts-help/main.rkt line 646      at 4959	last step: 1	gc: 0	total: 4033
tr-timing: pass2 -casts-help/main.rkt line 646      at 4959	last step: 0	gc: 0	total: 4033
tr-timing: pass2 -casts-help/main.rkt line 646      at 4959	last step: 0	gc: 0	total: 4033
tr-timing: pass2 -casts-help/main.rkt line 646      at 4960	last step: 1	gc: 0	total: 4034
tr-timing: pass2 -casts-help/main.rkt line 646      at 4960	last step: 0	gc: 0	total: 4034
tr-timing: pass2 -casts-help/main.rkt line 646      at 4961	last step: 1	gc: 0	total: 4035
tr-timing: pass2 -casts-help/main.rkt line 646      at 4961	last step: 0	gc: 0	total: 4035
tr-timing: pass2 -casts-help/main.rkt line 646      at 4962	last step: 1	gc: 0	total: 4036
tr-timing: pass2 -casts-help/main.rkt line 646      at 4962	last step: 0	gc: 0	total: 4036
tr-timing: pass2 -casts-help/main.rkt line 646      at 4963	last step: 1	gc: 0	total: 4037
tr-timing: pass2 -casts-help/main.rkt line 646      at 4963	last step: 0	gc: 0	total: 4037
tr-timing: pass2 -casts-help/main.rkt line 646      at 4963	last step: 0	gc: 0	total: 4037
tr-timing: pass2 -casts-help/main.rkt line 646      at 4964	last step: 1	gc: 0	total: 4038
tr-timing: pass2 -casts-help/main.rkt line 646      at 4964	last step: 0	gc: 0	total: 4038
tr-timing: pass2 -casts-help/main.rkt line 646      at 4964	last step: 0	gc: 0	total: 4038
tr-timing: pass2 -casts-help/main.rkt line 646      at 4965	last step: 1	gc: 0	total: 4039
tr-timing: pass2 -casts-help/main.rkt line 646      at 4965	last step: 0	gc: 0	total: 4039
tr-timing: pass2 -casts-help/main.rkt line 646      at 4966	last step: 1	gc: 0	total: 4040
tr-timing: pass2 -casts-help/main.rkt line 646      at 4966	last step: 0	gc: 0	total: 4040
tr-timing: pass2 -casts-help/main.rkt line 646      at 4966	last step: 0	gc: 0	total: 4040
tr-timing: pass2 -casts-help/main.rkt line 646      at 4966	last step: 0	gc: 0	total: 4040
tr-timing: pass2 -casts-help/main.rkt line 646      at 4967	last step: 1	gc: 0	total: 4041
tr-timing: pass2 -casts-help/main.rkt line 646      at 4967	last step: 0	gc: 0	total: 4041
tr-timing: pass2 -casts-help/main.rkt line 646      at 4967	last step: 0	gc: 0	total: 4041
tr-timing: pass2 -casts-help/main.rkt line 646      at 4967	last step: 0	gc: 0	total: 4041
tr-timing: pass2 -casts-help/main.rkt line 646      at 4967	last step: 0	gc: 0	total: 4041
tr-timing: pass2 -casts-help/main.rkt line 646      at 4968	last step: 1	gc: 0	total: 4042
tr-timing: pass2 -casts-help/main.rkt line 646      at 4968	last step: 0	gc: 0	total: 4042
tr-timing: pass2 -casts-help/main.rkt line 646      at 4968	last step: 0	gc: 0	total: 4042
tr-timing: pass2 -casts-help/main.rkt line 646      at 4968	last step: 0	gc: 0	total: 4042
tr-timing: pass2 -casts-help/main.rkt line 646      at 4969	last step: 1	gc: 0	total: 4043
tr-timing: pass2 -casts-help/main.rkt line 646      at 4969	last step: 0	gc: 0	total: 4043
tr-timing: pass2 -casts-help/main.rkt line 646      at 4969	last step: 0	gc: 0	total: 4043
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 1	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4970	last step: 0	gc: 0	total: 4044
tr-timing: pass2 -casts-help/main.rkt line 646      at 4971	last step: 1	gc: 0	total: 4045
tr-timing: pass2 -casts-help/main.rkt line 646      at 4971	last step: 0	gc: 0	total: 4045
tr-timing: pass2 -casts-help/main.rkt line 646      at 4971	last step: 0	gc: 0	total: 4045
tr-timing: pass2 -casts-help/main.rkt line 646      at 4971	last step: 0	gc: 0	total: 4045
tr-timing: pass2 -casts-help/main.rkt line 646      at 4971	last step: 0	gc: 0	total: 4045
tr-timing: pass2 -casts-help/main.rkt line 646      at 4972	last step: 1	gc: 0	total: 4046
tr-timing: pass2 -casts-help/main.rkt line 646      at 4972	last step: 0	gc: 0	total: 4046
tr-timing: pass2 -casts-help/main.rkt line 646      at 4973	last step: 1	gc: 0	total: 4047
tr-timing: pass2 -casts-help/main.rkt line 646      at 4973	last step: 0	gc: 0	total: 4047
tr-timing: pass2 -casts-help/main.rkt line 646      at 4974	last step: 1	gc: 0	total: 4048
tr-timing: pass2 -casts-help/main.rkt line 646      at 4974	last step: 0	gc: 0	total: 4048
tr-timing: pass2 -casts-help/main.rkt line 646      at 4974	last step: 0	gc: 0	total: 4048
tr-timing: pass2 -casts-help/main.rkt line 646      at 4975	last step: 1	gc: 0	total: 4049
tr-timing: pass2 -casts-help/main.rkt line 646      at 4975	last step: 0	gc: 0	total: 4049
tr-timing: pass2 -casts-help/main.rkt line 646      at 4975	last step: 0	gc: 0	total: 4049
tr-timing: pass2 -casts-help/main.rkt line 646      at 4976	last step: 1	gc: 0	total: 4050
tr-timing: pass2 -casts-help/main.rkt line 646      at 4977	last step: 1	gc: 0	total: 4051
tr-timing: pass2 -casts-help/main.rkt line 646      at 4977	last step: 0	gc: 0	total: 4051
tr-timing: pass2 -casts-help/main.rkt line 646      at 4978	last step: 1	gc: 0	total: 4052
tr-timing: pass2 -casts-help/main.rkt line 646      at 4978	last step: 0	gc: 0	total: 4052
tr-timing: pass2 -casts-help/main.rkt line 646      at 4978	last step: 0	gc: 0	total: 4052
tr-timing: pass2 -casts-help/main.rkt line 646      at 4979	last step: 1	gc: 0	total: 4053
tr-timing: pass2 -casts-help/main.rkt line 646      at 4980	last step: 1	gc: 0	total: 4054
tr-timing: pass2 -casts-help/main.rkt line 646      at 4980	last step: 0	gc: 0	total: 4054
tr-timing: pass2 -casts-help/main.rkt line 646      at 4981	last step: 1	gc: 0	total: 4055
tr-timing: pass2 -casts-help/main.rkt line 646      at 4981	last step: 0	gc: 0	total: 4055
tr-timing: pass2 -casts-help/main.rkt line 646      at 4981	last step: 0	gc: 0	total: 4055
tr-timing: pass2 -casts-help/main.rkt line 646      at 4982	last step: 1	gc: 0	total: 4056
tr-timing: pass2 -casts-help/main.rkt line 646      at 4982	last step: 0	gc: 0	total: 4056
tr-timing: pass2 -casts-help/main.rkt line 646      at 4982	last step: 0	gc: 0	total: 4056
tr-timing: pass2 -casts-help/main.rkt line 646      at 4983	last step: 1	gc: 0	total: 4057
tr-timing: pass2 -casts-help/main.rkt line 646      at 4983	last step: 0	gc: 0	total: 4057
tr-timing: pass2 -casts-help/main.rkt line 646      at 4983	last step: 0	gc: 0	total: 4057
tr-timing: pass2 -casts-help/main.rkt line 646      at 4984	last step: 1	gc: 0	total: 4058
tr-timing: pass2 -casts-help/main.rkt line 646      at 4984	last step: 0	gc: 0	total: 4058
tr-timing: pass2 -casts-help/main.rkt line 646      at 4984	last step: 0	gc: 0	total: 4058
tr-timing: pass2 -casts-help/main.rkt line 646      at 4985	last step: 1	gc: 0	total: 4059
tr-timing: pass2 -casts-help/main.rkt line 646      at 4985	last step: 0	gc: 0	total: 4059
tr-timing: pass2 -casts-help/main.rkt line 646      at 4985	last step: 0	gc: 0	total: 4059
tr-timing: pass2 -casts-help/main.rkt line 646      at 4985	last step: 0	gc: 0	total: 4059
tr-timing: pass2 -casts-help/main.rkt line 646      at 4986	last step: 1	gc: 0	total: 4060
tr-timing: pass2 -casts-help/main.rkt line 646      at 4986	last step: 0	gc: 0	total: 4060
tr-timing: pass2 -casts-help/main.rkt line 646      at 4986	last step: 0	gc: 0	total: 4060
tr-timing: pass2 -casts-help/main.rkt line 646      at 4987	last step: 1	gc: 0	total: 4061
tr-timing: pass2 -casts-help/main.rkt line 646      at 4987	last step: 0	gc: 0	total: 4061
tr-timing: pass2 -casts-help/main.rkt line 646      at 4989	last step: 2	gc: 0	total: 4063
tr-timing: pass2 -casts-help/main.rkt line 646      at 4989	last step: 0	gc: 0	total: 4063
tr-timing: pass2 -casts-help/main.rkt line 646      at 4989	last step: 0	gc: 0	total: 4063
tr-timing: pass2 -casts-help/main.rkt line 646      at 4989	last step: 0	gc: 0	total: 4063
tr-timing: pass2 -casts-help/main.rkt line 646      at 4990	last step: 1	gc: 0	total: 4064
tr-timing: pass2 -casts-help/main.rkt line 646      at 4990	last step: 0	gc: 0	total: 4064
tr-timing: pass2 -casts-help/main.rkt line 646      at 4990	last step: 0	gc: 0	total: 4064
tr-timing: pass2 -casts-help/main.rkt line 646      at 4990	last step: 0	gc: 0	total: 4064
tr-timing: pass2 -casts-help/main.rkt line 646      at 4990	last step: 0	gc: 0	total: 4064
tr-timing: pass2 -casts-help/main.rkt line 646      at 4991	last step: 1	gc: 0	total: 4065
tr-timing: pass2 -casts-help/main.rkt line 646      at 4991	last step: 0	gc: 0	total: 4065
tr-timing: pass2 -casts-help/main.rkt line 646      at 4992	last step: 1	gc: 0	total: 4066
tr-timing: pass2 -casts-help/main.rkt line 646      at 4993	last step: 1	gc: 0	total: 4067
tr-timing: pass2 -casts-help/main.rkt line 646      at 4993	last step: 0	gc: 0	total: 4067
tr-timing: pass2 -casts-help/main.rkt line 646      at 4993	last step: 0	gc: 0	total: 4067
tr-timing: pass2 -casts-help/main.rkt line 646      at 4994	last step: 1	gc: 0	total: 4068
tr-timing: pass2 -casts-help/main.rkt line 646      at 4994	last step: 0	gc: 0	total: 4068
tr-timing: pass2 -casts-help/main.rkt line 646      at 4994	last step: 0	gc: 0	total: 4068
tr-timing: pass2 -casts-help/main.rkt line 646      at 4994	last step: 0	gc: 0	total: 4068
tr-timing: pass2 -casts-help/main.rkt line 646      at 4995	last step: 1	gc: 0	total: 4069
tr-timing: pass2 -casts-help/main.rkt line 646      at 4995	last step: 0	gc: 0	total: 4069
tr-timing: pass2 -casts-help/main.rkt line 646      at 4995	last step: 0	gc: 0	total: 4069
tr-timing: pass2 -casts-help/main.rkt line 646      at 4995	last step: 0	gc: 0	total: 4069
tr-timing: pass2 -casts-help/main.rkt line 646      at 4995	last step: 0	gc: 0	total: 4069
tr-timing: pass2 -casts-help/main.rkt line 646      at 4996	last step: 1	gc: 0	total: 4070
tr-timing: pass2 -casts-help/main.rkt line 646      at 4996	last step: 0	gc: 0	total: 4070
tr-timing: pass2 -casts-help/main.rkt line 646      at 4996	last step: 0	gc: 0	total: 4070
tr-timing: pass2 -casts-help/main.rkt line 646      at 4997	last step: 1	gc: 0	total: 4071
tr-timing: pass2 -casts-help/main.rkt line 646      at 4997	last step: 0	gc: 0	total: 4071
tr-timing: pass2 -casts-help/main.rkt line 646      at 4997	last step: 0	gc: 0	total: 4071
tr-timing: pass2 -casts-help/main.rkt line 646      at 4998	last step: 1	gc: 0	total: 4072
tr-timing: pass2 -casts-help/main.rkt line 646      at 4998	last step: 0	gc: 0	total: 4072
tr-timing: pass2 -casts-help/main.rkt line 646      at 4998	last step: 0	gc: 0	total: 4072
tr-timing: pass2 -casts-help/main.rkt line 646      at 4998	last step: 0	gc: 0	total: 4072
tr-timing: pass2 -casts-help/main.rkt line 646      at 4998	last step: 0	gc: 0	total: 4072
tr-timing: pass2 -casts-help/main.rkt line 646      at 4999	last step: 1	gc: 0	total: 4073
tr-timing: pass2 -casts-help/main.rkt line 646      at 4999	last step: 0	gc: 0	total: 4073
tr-timing: pass2 -casts-help/main.rkt line 646      at 4999	last step: 0	gc: 0	total: 4073
tr-timing: pass2 -casts-help/main.rkt line 646      at 5000	last step: 1	gc: 0	total: 4074
tr-timing: pass2 -casts-help/main.rkt line 646      at 5000	last step: 0	gc: 0	total: 4074
tr-timing: pass2 -casts-help/main.rkt line 646      at 5000	last step: 0	gc: 0	total: 4074
tr-timing: pass2 -casts-help/main.rkt line 646      at 5001	last step: 1	gc: 0	total: 4075
tr-timing: pass2 -casts-help/main.rkt line 646      at 5001	last step: 0	gc: 0	total: 4075
tr-timing: pass2 -casts-help/main.rkt line 646      at 5001	last step: 0	gc: 0	total: 4075
tr-timing: pass2 -casts-help/main.rkt line 646      at 5002	last step: 1	gc: 0	total: 4076
tr-timing: pass2 -casts-help/main.rkt line 646      at 5002	last step: 0	gc: 0	total: 4076
tr-timing: pass2 -casts-help/main.rkt line 646      at 5002	last step: 0	gc: 0	total: 4076
tr-timing: pass2 -casts-help/main.rkt line 646      at 5003	last step: 1	gc: 0	total: 4077
tr-timing: pass2 -casts-help/main.rkt line 646      at 5004	last step: 1	gc: 0	total: 4078
tr-timing: pass2 -casts-help/main.rkt line 646      at 5004	last step: 0	gc: 0	total: 4078
tr-timing: pass2 -casts-help/main.rkt line 646      at 5005	last step: 1	gc: 0	total: 4079
tr-timing: pass2 -casts-help/main.rkt line 646      at 5006	last step: 1	gc: 0	total: 4080
tr-timing: pass2 -casts-help/main.rkt line 646      at 5006	last step: 0	gc: 0	total: 4080
tr-timing: pass2 -casts-help/main.rkt line 646      at 5006	last step: 0	gc: 0	total: 4080
tr-timing: pass2 -casts-help/main.rkt line 646      at 5007	last step: 1	gc: 0	total: 4081
tr-timing: pass2 -casts-help/main.rkt line 646      at 5007	last step: 0	gc: 0	total: 4081
tr-timing: pass2 -casts-help/main.rkt line 646      at 5008	last step: 1	gc: 0	total: 4082
tr-timing: pass2 -casts-help/main.rkt line 646      at 5008	last step: 0	gc: 0	total: 4082
tr-timing: pass2 -casts-help/main.rkt line 646      at 5008	last step: 0	gc: 0	total: 4082
tr-timing: pass2 -casts-help/main.rkt line 646      at 5009	last step: 1	gc: 0	total: 4083
tr-timing: pass2 -casts-help/main.rkt line 646      at 5009	last step: 0	gc: 0	total: 4083
tr-timing: pass2 -casts-help/main.rkt line 646      at 5010	last step: 1	gc: 0	total: 4084
tr-timing: pass2 -casts-help/main.rkt line 646      at 5010	last step: 0	gc: 0	total: 4084
tr-timing: pass2 -casts-help/main.rkt line 646      at 5011	last step: 1	gc: 0	total: 4085
tr-timing: pass2 -casts-help/main.rkt line 646      at 5011	last step: 0	gc: 0	total: 4085
tr-timing: pass2 -casts-help/main.rkt line 646      at 5011	last step: 0	gc: 0	total: 4085
tr-timing: pass2 -casts-help/main.rkt line 646      at 5011	last step: 0	gc: 0	total: 4085
tr-timing: pass2 -casts-help/main.rkt line 646      at 5012	last step: 1	gc: 0	total: 4086
tr-timing: pass2 -casts-help/main.rkt line 646      at 5012	last step: 0	gc: 0	total: 4086
tr-timing: pass2 -casts-help/main.rkt line 646      at 5012	last step: 0	gc: 0	total: 4086
tr-timing: pass2 -casts-help/main.rkt line 646      at 5013	last step: 1	gc: 0	total: 4087
tr-timing: pass2 -casts-help/main.rkt line 646      at 5013	last step: 0	gc: 0	total: 4087
tr-timing: pass2 -casts-help/main.rkt line 646      at 5014	last step: 1	gc: 0	total: 4088
tr-timing: pass2 -casts-help/main.rkt line 646      at 5014	last step: 0	gc: 0	total: 4088
tr-timing: pass2 -casts-help/main.rkt line 646      at 5014	last step: 0	gc: 0	total: 4088
tr-timing: pass2 -casts-help/main.rkt line 646      at 5015	last step: 1	gc: 0	total: 4089
tr-timing: pass2 -casts-help/main.rkt line 646      at 5015	last step: 0	gc: 0	total: 4089
tr-timing: pass2 -casts-help/main.rkt line 646      at 5016	last step: 1	gc: 0	total: 4090
tr-timing: pass2 -casts-help/main.rkt line 646      at 5017	last step: 1	gc: 0	total: 4091
tr-timing: pass2 -casts-help/main.rkt line 646      at 5017	last step: 0	gc: 0	total: 4091
tr-timing: pass2 -casts-help/main.rkt line 646      at 5018	last step: 1	gc: 0	total: 4092
tr-timing: pass2 -casts-help/main.rkt line 646      at 5018	last step: 0	gc: 0	total: 4092
tr-timing: pass2 -casts-help/main.rkt line 646      at 5019	last step: 1	gc: 0	total: 4093
tr-timing: pass2 -casts-help/main.rkt line 646      at 5019	last step: 0	gc: 0	total: 4093
tr-timing: pass2 -casts-help/main.rkt line 646      at 5020	last step: 1	gc: 0	total: 4094
tr-timing: pass2 -casts-help/main.rkt line 646      at 5020	last step: 0	gc: 0	total: 4094
tr-timing: pass2 -casts-help/main.rkt line 646      at 5020	last step: 0	gc: 0	total: 4094
tr-timing: pass2 -casts-help/main.rkt line 646      at 5021	last step: 1	gc: 0	total: 4095
tr-timing: pass2 -casts-help/main.rkt line 646      at 5021	last step: 0	gc: 0	total: 4095
tr-timing: pass2 -casts-help/main.rkt line 646      at 5021	last step: 0	gc: 0	total: 4095
tr-timing: pass2 -casts-help/main.rkt line 646      at 5022	last step: 1	gc: 0	total: 4096
tr-timing: pass2 -casts-help/main.rkt line 646      at 5022	last step: 0	gc: 0	total: 4096
tr-timing: pass2 -casts-help/main.rkt line 646      at 5022	last step: 0	gc: 0	total: 4096
tr-timing: pass2 -casts-help/main.rkt line 646      at 5022	last step: 0	gc: 0	total: 4096
tr-timing: pass2 -casts-help/main.rkt line 646      at 5023	last step: 1	gc: 0	total: 4097
tr-timing: pass2 -casts-help/main.rkt line 646      at 5023	last step: 0	gc: 0	total: 4097
tr-timing: pass2 -casts-help/main.rkt line 646      at 5023	last step: 0	gc: 0	total: 4097
tr-timing: pass2 -casts-help/main.rkt line 646      at 5024	last step: 1	gc: 0	total: 4098
tr-timing: pass2 -casts-help/main.rkt line 646      at 5024	last step: 0	gc: 0	total: 4098
tr-timing: pass2 -casts-help/main.rkt line 646      at 5024	last step: 0	gc: 0	total: 4098
tr-timing: pass2 -casts-help/main.rkt line 646      at 5024	last step: 0	gc: 0	total: 4098
tr-timing: pass2 -casts-help/main.rkt line 646      at 5024	last step: 0	gc: 0	total: 4098
tr-timing: pass2 -casts-help/main.rkt line 646      at 5025	last step: 1	gc: 0	total: 4099
tr-timing: pass2 -casts-help/main.rkt line 646      at 5025	last step: 0	gc: 0	total: 4099
tr-timing: pass2 -casts-help/main.rkt line 646      at 5025	last step: 0	gc: 0	total: 4099
tr-timing: pass2 -casts-help/main.rkt line 646      at 5025	last step: 0	gc: 0	total: 4099
tr-timing: pass2 -casts-help/main.rkt line 646      at 5026	last step: 1	gc: 0	total: 4100
tr-timing: pass2 -casts-help/main.rkt line 646      at 5026	last step: 0	gc: 0	total: 4100
tr-timing: pass2 -casts-help/main.rkt line 646      at 5026	last step: 0	gc: 0	total: 4100
tr-timing: pass2 -casts-help/main.rkt line 646      at 5026	last step: 0	gc: 0	total: 4100
tr-timing: pass2 -casts-help/main.rkt line 646      at 5026	last step: 0	gc: 0	total: 4100
tr-timing: pass2 -casts-help/main.rkt line 646      at 5027	last step: 1	gc: 0	total: 4101
tr-timing: pass2 -casts-help/main.rkt line 646      at 5027	last step: 0	gc: 0	total: 4101
tr-timing: pass2 -casts-help/main.rkt line 646      at 5027	last step: 0	gc: 0	total: 4101
tr-timing: pass2 -casts-help/main.rkt line 646      at 5028	last step: 1	gc: 0	total: 4102
tr-timing: pass2 -casts-help/main.rkt line 646      at 5029	last step: 1	gc: 0	total: 4103
tr-timing: pass2 -casts-help/main.rkt line 646      at 5029	last step: 0	gc: 0	total: 4103
tr-timing: pass2 -casts-help/main.rkt line 646      at 5030	last step: 1	gc: 0	total: 4104
tr-timing: pass2 -casts-help/main.rkt line 646      at 5031	last step: 1	gc: 0	total: 4105
tr-timing: pass2 -casts-help/main.rkt line 646      at 5031	last step: 0	gc: 0	total: 4105
tr-timing: pass2 -casts-help/main.rkt line 646      at 5032	last step: 1	gc: 0	total: 4106
tr-timing: pass2 -casts-help/main.rkt line 646      at 5032	last step: 0	gc: 0	total: 4106
tr-timing: pass2 -casts-help/main.rkt line 646      at 5032	last step: 0	gc: 0	total: 4106
tr-timing: pass2 -casts-help/main.rkt line 646      at 5033	last step: 1	gc: 0	total: 4107
tr-timing: pass2 -casts-help/main.rkt line 646      at 5033	last step: 0	gc: 0	total: 4107
tr-timing: pass2 -casts-help/main.rkt line 646      at 5033	last step: 0	gc: 0	total: 4107
tr-timing: pass2 -casts-help/main.rkt line 646      at 5034	last step: 1	gc: 0	total: 4108
tr-timing: pass2 -casts-help/main.rkt line 646      at 5035	last step: 1	gc: 0	total: 4109
tr-timing: pass2 -casts-help/main.rkt line 646      at 5035	last step: 0	gc: 0	total: 4109
tr-timing: pass2 -casts-help/main.rkt line 646      at 5036	last step: 1	gc: 0	total: 4110
tr-timing: pass2 -casts-help/main.rkt line 646      at 5036	last step: 0	gc: 0	total: 4110
tr-timing: pass2 -casts-help/main.rkt line 646      at 5036	last step: 0	gc: 0	total: 4110
tr-timing: pass2 -casts-help/main.rkt line 646      at 5037	last step: 1	gc: 0	total: 4111
tr-timing: pass2 -casts-help/main.rkt line 646      at 5037	last step: 0	gc: 0	total: 4111
tr-timing: pass2 -casts-help/main.rkt line 646      at 5037	last step: 0	gc: 0	total: 4111
tr-timing: pass2 -casts-help/main.rkt line 646      at 5038	last step: 1	gc: 0	total: 4112
tr-timing: pass2 -casts-help/main.rkt line 646      at 5038	last step: 0	gc: 0	total: 4112
tr-timing: pass2 -casts-help/main.rkt line 646      at 5038	last step: 0	gc: 0	total: 4112
tr-timing: pass2 -casts-help/main.rkt line 646      at 5039	last step: 1	gc: 0	total: 4113
tr-timing: pass2 -casts-help/main.rkt line 646      at 5039	last step: 0	gc: 0	total: 4113
tr-timing: pass2 -casts-help/main.rkt line 646      at 5040	last step: 1	gc: 0	total: 4114
tr-timing: pass2 -casts-help/main.rkt line 646      at 5041	last step: 1	gc: 0	total: 4115
tr-timing: pass2 -casts-help/main.rkt line 646      at 5041	last step: 0	gc: 0	total: 4115
tr-timing: pass2 -casts-help/main.rkt line 646      at 5041	last step: 0	gc: 0	total: 4115
tr-timing: pass2 -casts-help/main.rkt line 646      at 5042	last step: 1	gc: 0	total: 4116
tr-timing: pass2 -casts-help/main.rkt line 646      at 5042	last step: 0	gc: 0	total: 4116
tr-timing: pass2 -casts-help/main.rkt line 646      at 5043	last step: 1	gc: 0	total: 4117
tr-timing: pass2 -casts-help/main.rkt line 646      at 5043	last step: 0	gc: 0	total: 4117
tr-timing: pass2 -casts-help/main.rkt line 646      at 5043	last step: 0	gc: 0	total: 4117
tr-timing: pass2 -casts-help/main.rkt line 646      at 5044	last step: 1	gc: 0	total: 4118
tr-timing: pass2 -casts-help/main.rkt line 646      at 5044	last step: 0	gc: 0	total: 4118
tr-timing: pass2 -casts-help/main.rkt line 646      at 5045	last step: 1	gc: 0	total: 4119
tr-timing: pass2 -casts-help/main.rkt line 646      at 5045	last step: 0	gc: 0	total: 4119
tr-timing: pass2 -casts-help/main.rkt line 646      at 5046	last step: 1	gc: 0	total: 4120
tr-timing: pass2 -casts-help/main.rkt line 646      at 5046	last step: 0	gc: 0	total: 4120
tr-timing: pass2 -casts-help/main.rkt line 646      at 5046	last step: 0	gc: 0	total: 4120
tr-timing: pass2 -casts-help/main.rkt line 646      at 5047	last step: 1	gc: 0	total: 4121
tr-timing: pass2 -casts-help/main.rkt line 646      at 5047	last step: 0	gc: 0	total: 4121
tr-timing: pass2 -casts-help/main.rkt line 646      at 5047	last step: 0	gc: 0	total: 4121
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 1	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5048	last step: 0	gc: 0	total: 4122
tr-timing: pass2 -casts-help/main.rkt line 646      at 5049	last step: 1	gc: 0	total: 4123
tr-timing: pass2 -casts-help/main.rkt line 646      at 5049	last step: 0	gc: 0	total: 4123
tr-timing: pass2 -casts-help/main.rkt line 646      at 5049	last step: 0	gc: 0	total: 4123
tr-timing: pass2 -casts-help/main.rkt line 646      at 5049	last step: 0	gc: 0	total: 4123
tr-timing: pass2 -casts-help/main.rkt line 646      at 5049	last step: 0	gc: 0	total: 4123
tr-timing: pass2 -casts-help/main.rkt line 646      at 5049	last step: 0	gc: 0	total: 4123
tr-timing: pass2 -casts-help/main.rkt line 646      at 5050	last step: 1	gc: 0	total: 4124
tr-timing: pass2 -casts-help/main.rkt line 646      at 5050	last step: 0	gc: 0	total: 4124
tr-timing: pass2 -casts-help/main.rkt line 646      at 5050	last step: 0	gc: 0	total: 4124
tr-timing: pass2 -casts-help/main.rkt line 646      at 5050	last step: 0	gc: 0	total: 4124
tr-timing: pass2 -casts-help/main.rkt line 646      at 5050	last step: 0	gc: 0	total: 4124
tr-timing: pass2 -casts-help/main.rkt line 646      at 5050	last step: 0	gc: 0	total: 4124
tr-timing: pass2 -casts-help/main.rkt line 646      at 5051	last step: 1	gc: 0	total: 4125
tr-timing: pass2 -casts-help/main.rkt line 646      at 5051	last step: 0	gc: 0	total: 4125
tr-timing: pass2 -casts-help/main.rkt line 646      at 5051	last step: 0	gc: 0	total: 4125
tr-timing: pass2 -casts-help/main.rkt line 646      at 5051	last step: 0	gc: 0	total: 4125
tr-timing: pass2 -casts-help/main.rkt line 646      at 5052	last step: 1	gc: 0	total: 4126
tr-timing: pass2 -casts-help/main.rkt line 646      at 5052	last step: 0	gc: 0	total: 4126
tr-timing: pass2 -casts-help/main.rkt line 646      at 5052	last step: 0	gc: 0	total: 4126
tr-timing: pass2 -casts-help/main.rkt line 646      at 5052	last step: 0	gc: 0	total: 4126
tr-timing: pass2 -casts-help/main.rkt line 646      at 5052	last step: 0	gc: 0	total: 4126
tr-timing: pass2 -casts-help/main.rkt line 646      at 5053	last step: 1	gc: 0	total: 4127
tr-timing: pass2 -casts-help/main.rkt line 646      at 5053	last step: 0	gc: 0	total: 4127
tr-timing: pass2 -casts-help/main.rkt line 646      at 5053	last step: 0	gc: 0	total: 4127
tr-timing: pass2 -casts-help/main.rkt line 646      at 5053	last step: 0	gc: 0	total: 4127
tr-timing: pass2 -casts-help/main.rkt line 646      at 5053	last step: 0	gc: 0	total: 4127
tr-timing: pass2 -casts-help/main.rkt line 646      at 5053	last step: 0	gc: 0	total: 4127
tr-timing: pass2 -casts-help/main.rkt line 646      at 5054	last step: 1	gc: 0	total: 4128
tr-timing: pass2 -casts-help/main.rkt line 646      at 5054	last step: 0	gc: 0	total: 4128
tr-timing: pass2 -casts-help/main.rkt line 646      at 5054	last step: 0	gc: 0	total: 4128
tr-timing: pass2 -casts-help/main.rkt line 646      at 5054	last step: 0	gc: 0	total: 4128
tr-timing: pass2 -casts-help/main.rkt line 646      at 5054	last step: 0	gc: 0	total: 4128
tr-timing: pass2 -casts-help/main.rkt line 646      at 5054	last step: 0	gc: 0	total: 4128
tr-timing: pass2 -casts-help/main.rkt line 646      at 5055	last step: 1	gc: 0	total: 4129
tr-timing: pass2 -casts-help/main.rkt line 646      at 5056	last step: 1	gc: 0	total: 4130
tr-timing: pass2 -casts-help/main.rkt line 646      at 5056	last step: 0	gc: 0	total: 4130
tr-timing: pass2 -casts-help/main.rkt line 646      at 5057	last step: 1	gc: 0	total: 4131
tr-timing: pass2 -casts-help/main.rkt line 646      at 5057	last step: 0	gc: 0	total: 4131
tr-timing: pass2 -casts-help/main.rkt line 646      at 5057	last step: 0	gc: 0	total: 4131
tr-timing: pass2 -casts-help/main.rkt line 646      at 5058	last step: 1	gc: 0	total: 4132
tr-timing: pass2 -casts-help/main.rkt line 646      at 5058	last step: 0	gc: 0	total: 4132
tr-timing: pass2 -casts-help/main.rkt line 646      at 5058	last step: 0	gc: 0	total: 4132
tr-timing: pass2 -casts-help/main.rkt line 646      at 5058	last step: 0	gc: 0	total: 4132
tr-timing: pass2 -casts-help/main.rkt line 646      at 5058	last step: 0	gc: 0	total: 4132
tr-timing: pass2 -casts-help/main.rkt line 646      at 5058	last step: 0	gc: 0	total: 4132
tr-timing: pass2 -casts-help/main.rkt line 646      at 5059	last step: 1	gc: 0	total: 4133
tr-timing: pass2 -casts-help/main.rkt line 646      at 5059	last step: 0	gc: 0	total: 4133
tr-timing: pass2 -casts-help/main.rkt line 646      at 5059	last step: 0	gc: 0	total: 4133
tr-timing: pass2 -casts-help/main.rkt line 809      at 5059	last step: 0	gc: 0	total: 4133
tr-timing: pass2 -casts-help/main.rkt line 812      at 5059	last step: 0	gc: 0	total: 4133
tr-timing: pass2 -casts-help/main.rkt line 812      at 5059	last step: 0	gc: 0	total: 4133
tr-timing: pass2 -casts-help/main.rkt line 813      at 5060	last step: 1	gc: 0	total: 4134
tr-timing: pass2 -casts-help/main.rkt line 646      at 5060	last step: 0	gc: 0	total: 4134
tr-timing: pass2 -casts-help/main.rkt line 646      at 5060	last step: 0	gc: 0	total: 4134
tr-timing: pass2 -casts-help/main.rkt line 646      at 5060	last step: 0	gc: 0	total: 4134
tr-timing: pass2 -casts-help/main.rkt line 646      at 5061	last step: 1	gc: 0	total: 4135
tr-timing: pass2 -casts-help/main.rkt line 646      at 5061	last step: 0	gc: 0	total: 4135
tr-timing: pass2 -casts-help/main.rkt line 646      at 5061	last step: 0	gc: 0	total: 4135
tr-timing: pass2 -casts-help/main.rkt line 646      at 5062	last step: 1	gc: 0	total: 4136
tr-timing: pass2 -casts-help/main.rkt line 646      at 5062	last step: 0	gc: 0	total: 4136
tr-timing: pass2 -casts-help/main.rkt line 646      at 5062	last step: 0	gc: 0	total: 4136
tr-timing: pass2 -casts-help/main.rkt line 646      at 5063	last step: 1	gc: 0	total: 4137
tr-timing: pass2 -casts-help/main.rkt line 646      at 5063	last step: 0	gc: 0	total: 4137
tr-timing: pass2 -casts-help/main.rkt line 646      at 5063	last step: 0	gc: 0	total: 4137
tr-timing: pass2 -casts-help/main.rkt line 646      at 5064	last step: 1	gc: 0	total: 4138
tr-timing: pass2 -casts-help/main.rkt line 646      at 5064	last step: 0	gc: 0	total: 4138
tr-timing: pass2 -casts-help/main.rkt line 646      at 5064	last step: 0	gc: 0	total: 4138
tr-timing: pass2 -casts-help/main.rkt line 646      at 5064	last step: 0	gc: 0	total: 4138
tr-timing: pass2 -casts-help/main.rkt line 646      at 5064	last step: 0	gc: 0	total: 4138
tr-timing: pass2 -casts-help/main.rkt line 646      at 5065	last step: 1	gc: 0	total: 4139
tr-timing: pass2 -casts-help/main.rkt line 646      at 5066	last step: 1	gc: 0	total: 4140
tr-timing: pass2 -casts-help/main.rkt line 646      at 5066	last step: 0	gc: 0	total: 4140
tr-timing: pass2 -casts-help/main.rkt line 646      at 5066	last step: 0	gc: 0	total: 4140
tr-timing: pass2 -casts-help/main.rkt line 646      at 5067	last step: 1	gc: 0	total: 4141
tr-timing: pass2 -casts-help/main.rkt line 646      at 5067	last step: 0	gc: 0	total: 4141
tr-timing: pass2 -casts-help/main.rkt line 646      at 5067	last step: 0	gc: 0	total: 4141
tr-timing: pass2 -casts-help/main.rkt line 646      at 5068	last step: 1	gc: 0	total: 4142
tr-timing: pass2 -casts-help/main.rkt line 646      at 5068	last step: 0	gc: 0	total: 4142
tr-timing: pass2 -casts-help/main.rkt line 646      at 5068	last step: 0	gc: 0	total: 4142
tr-timing: pass2 -casts-help/main.rkt line 646      at 5069	last step: 1	gc: 0	total: 4143
tr-timing: pass2 -casts-help/main.rkt line 646      at 5069	last step: 0	gc: 0	total: 4143
tr-timing: pass2 -casts-help/main.rkt line 646      at 5069	last step: 0	gc: 0	total: 4143
tr-timing: pass2 -casts-help/main.rkt line 842      at 5070	last step: 1	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 843      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 844      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 845      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 846      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 849      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 860      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 861      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 862      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 863      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 864      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 867      at 5070	last step: 0	gc: 0	total: 4144
tr-timing: pass2 -casts-help/main.rkt line 868      at 5071	last step: 1	gc: 0	total: 4145
tr-timing: pass2 -casts-help/main.rkt line 897      at 5137	last step: 66	gc: 26	total: 4211
tr-timing: pass2 -casts-help/main.rkt line 899      at 5138	last step: 1	gc: 0	total: 4212
tr-timing: pass2 -casts-help/main.rkt line 930      at 5208	last step: 70	gc: 0	total: 4282
tr-timing: pass2 -casts-help/main.rkt line 930      at 5208	last step: 0	gc: 0	total: 4282
tr-timing: pass2 #f line #f                         at 5208	last step: 0	gc: 0	total: 4282
tr-timing: pass2 -casts-help/main.rkt line 937      at 5208	last step: 0	gc: 0	total: 4282
tr-timing: pass2 -casts-help/main.rkt line 937      at 5208	last step: 0	gc: 0	total: 4282
tr-timing: pass2 -casts-help/main.rkt line 939      at 5209	last step: 1	gc: 0	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 939      at 5209	last step: 0	gc: 0	total: 4283
tr-timing: pass2 #f line #f                         at 5209	last step: 0	gc: 0	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 944      at 5209	last step: 0	gc: 0	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 944      at 5209	last step: 0	gc: 0	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 952      at 5209	last step: 0	gc: 0	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 952      at 5209	last step: 0	gc: 0	total: 4283
tr-timing: pass2 #f line #f                         at 5210	last step: 1	gc: 0	total: 4284
tr-timing: pass2 -casts-help/main.rkt line 955      at 5210	last step: 0	gc: 0	total: 4284
tr-timing: pass2 -casts-help/main.rkt line 955      at 5210	last step: 0	gc: 0	total: 4284
tr-timing: pass2 -casts-help/main.rkt line 961      at 5210	last step: 0	gc: 0	total: 4284
tr-timing: pass2 -casts-help/main.rkt line 961      at 5210	last step: 0	gc: 0	total: 4284
tr-timing: pass2 -casts-help/main.rkt line 965      at 5211	last step: 1	gc: 0	total: 4285
tr-timing: pass2 -casts-help/main.rkt line 965      at 5211	last step: 0	gc: 0	total: 4285
tr-timing: pass2 #f line #f                         at 5212	last step: 1	gc: 0	total: 4286
tr-timing: pass2 -casts-help/main.rkt line 967      at 5212	last step: 0	gc: 0	total: 4286
tr-timing: pass2 -casts-help/main.rkt line 967      at 5212	last step: 0	gc: 0	total: 4286
tr-timing: pass2 -casts-help/main.rkt line 969      at 5212	last step: 0	gc: 0	total: 4286
tr-timing: pass2 -casts-help/main.rkt line 969      at 5212	last step: 0	gc: 0	total: 4286
tr-timing: pass2 -casts-help/main.rkt line 970      at 5212	last step: 0	gc: 0	total: 4286
tr-timing: pass2 -casts-help/main.rkt line 970      at 5212	last step: 0	gc: 0	total: 4286
tr-timing: pass2 #f line #f                         at 5213	last step: 1	gc: 0	total: 4287
tr-timing: pass2 -casts-help/main.rkt line 972      at 5213	last step: 0	gc: 0	total: 4287
tr-timing: pass2 -casts-help/main.rkt line 972      at 5213	last step: 0	gc: 0	total: 4287
tr-timing: pass2 -casts-help/main.rkt line 983      at 5213	last step: 0	gc: 0	total: 4287
tr-timing: pass2 -casts-help/main.rkt line 983      at 5213	last step: 0	gc: 0	total: 4287
tr-timing: pass2 -casts-help/main.rkt line 984      at 5213	last step: 0	gc: 0	total: 4287
tr-timing: pass2 -casts-help/main.rkt line 984      at 5214	last step: 1	gc: 0	total: 4288
tr-timing: pass2 #f line #f                         at 5214	last step: 0	gc: 0	total: 4288
tr-timing: pass2 -casts-help/main.rkt line 985      at 5214	last step: 0	gc: 0	total: 4288
tr-timing: pass2 -casts-help/main.rkt line 985      at 5214	last step: 0	gc: 0	total: 4288
tr-timing: pass2 -casts-help/main.rkt line 1008     at 5214	last step: 0	gc: 0	total: 4288
tr-timing: pass2 -casts-help/main.rkt line 1008     at 5214	last step: 0	gc: 0	total: 4288
tr-timing: pass2 -casts-help/main.rkt line 1010     at 5214	last step: 0	gc: 0	total: 4288
tr-timing: pass2 -casts-help/main.rkt line 1011     at 5215	last step: 1	gc: 0	total: 4289
tr-timing: pass2 -casts-help/main.rkt line 1021     at 5218	last step: 3	gc: 0	total: 4292
tr-timing: pass2 -casts-help/main.rkt line 1021     at 5218	last step: 0	gc: 0	total: 4292
tr-timing: pass2 -casts-help/main.rkt line 1029     at 5219	last step: 1	gc: 0	total: 4293
tr-timing: pass2 -casts-help/main.rkt line 1030     at 5219	last step: 0	gc: 0	total: 4293
tr-timing: pass2 -casts-help/main.rkt line 1035     at 5221	last step: 2	gc: 0	total: 4295
tr-timing: pass2 -casts-help/main.rkt line 1036     at 5222	last step: 1	gc: 0	total: 4296
tr-timing: pass2 -casts-help/main.rkt line 1044     at 5223	last step: 1	gc: 0	total: 4297
tr-timing: pass2 -casts-help/main.rkt line 1044     at 5224	last step: 1	gc: 0	total: 4298
tr-timing: pass2 -casts-help/main.rkt line 1046     at 5224	last step: 0	gc: 0	total: 4298
tr-timing: pass2 -casts-help/main.rkt line 1047     at 5224	last step: 0	gc: 0	total: 4298
tr-timing: pass2 -casts-help/main.rkt line 850      at 5228	last step: 4	gc: 0	total: 4302
tr-timing: pass2 -casts-help/main.rkt line 850      at 5228	last step: 0	gc: 0	total: 4302
tr-timing: pass2 -casts-help/main.rkt line 851      at 5229	last step: 1	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 851      at 5229	last step: 0	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 851      at 5229	last step: 0	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 851      at 5229	last step: 0	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 1060     at 5229	last step: 0	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 1060     at 5229	last step: 0	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 1063     at 5229	last step: 0	gc: 0	total: 4303
tr-timing: pass2 -casts-help/main.rkt line 1063     at 5230	last step: 1	gc: 0	total: 4304
tr-timing: pass2 -casts-help/main.rkt line 1066     at 5230	last step: 0	gc: 0	total: 4304
tr-timing: pass2 -casts-help/main.rkt line 1066     at 5230	last step: 0	gc: 0	total: 4304
tr-timing: pass2 -casts-help/main.rkt line 1072     at 5230	last step: 0	gc: 0	total: 4304
tr-timing: pass2 -casts-help/main.rkt line 1072     at 5230	last step: 0	gc: 0	total: 4304
tr-timing: pass2 -casts-help/main.rkt line 1074     at 5230	last step: 0	gc: 0	total: 4304
tr-timing: pass2 -casts-help/main.rkt line 1075     at 5231	last step: 1	gc: 0	total: 4305
tr-timing: pass2 #f line #f                         at 5239	last step: 8	gc: 0	total: 4313
tr-timing: pass2 -casts-help/main.rkt line 1083     at 5239	last step: 0	gc: 0	total: 4313
tr-timing: pass2 -casts-help/main.rkt line 1083     at 5239	last step: 0	gc: 0	total: 4313
tr-timing: pass2 #f line #f                         at 5240	last step: 1	gc: 0	total: 4314
tr-timing: pass2 -casts-help/main.rkt line 1092     at 5240	last step: 0	gc: 0	total: 4314
tr-timing: pass2 -casts-help/main.rkt line 1092     at 5240	last step: 0	gc: 0	total: 4314
tr-timing: pass2 #f line #f                         at 5240	last step: 0	gc: 0	total: 4314
tr-timing: pass2 -casts-help/main.rkt line 1093     at 5241	last step: 1	gc: 0	total: 4315
tr-timing: pass2 -casts-help/main.rkt line 1093     at 5241	last step: 0	gc: 0	total: 4315
tr-timing: pass2 #f line #f                         at 5241	last step: 0	gc: 0	total: 4315
tr-timing: pass2 -casts-help/main.rkt line 1102     at 5241	last step: 0	gc: 0	total: 4315
tr-timing: pass2 -casts-help/main.rkt line 1102     at 5241	last step: 0	gc: 0	total: 4315
tr-timing: pass2 -casts-help/main.rkt line 850      at 5241	last step: 0	gc: 0	total: 4315
tr-timing: pass2 -casts-help/main.rkt line 850      at 5241	last step: 0	gc: 0	total: 4315
tr-timing: pass2 -casts-help/main.rkt line 851      at 5242	last step: 1	gc: 0	total: 4316
tr-timing: pass2 -casts-help/main.rkt line 851      at 5242	last step: 0	gc: 0	total: 4316
tr-timing: pass2 -casts-help/main.rkt line 1115     at 5242	last step: 0	gc: 0	total: 4316
tr-timing: pass2 -casts-help/main.rkt line 1115     at 5242	last step: 0	gc: 0	total: 4316
tr-timing: pass2 -casts-help/main.rkt line 1116     at 5242	last step: 0	gc: 0	total: 4316
tr-timing: pass2 -casts-help/main.rkt line 1117     at 5243	last step: 1	gc: 0	total: 4317
tr-timing: pass2 -casts-help/main.rkt line 1172     at 5291	last step: 48	gc: 0	total: 4365
tr-timing: pass2 -casts-help/main.rkt line 1173     at 5292	last step: 1	gc: 0	total: 4366
tr-timing: pass2 -casts-help/main.rkt line 646      at 5347	last step: 55	gc: 0	total: 4421
tr-timing: pass2 -casts-help/main.rkt line 646      at 5347	last step: 0	gc: 0	total: 4421
tr-timing: pass2 -casts-help/main.rkt line 646      at 5347	last step: 0	gc: 0	total: 4421
tr-timing: pass2 -casts-help/main.rkt line 646      at 5348	last step: 1	gc: 0	total: 4422
tr-timing: pass2 -casts-help/main.rkt line 646      at 5348	last step: 0	gc: 0	total: 4422
tr-timing: pass2 -casts-help/main.rkt line 646      at 5348	last step: 0	gc: 0	total: 4422
tr-timing: pass2 -casts-help/main.rkt line 646      at 5348	last step: 0	gc: 0	total: 4422
tr-timing: pass2 -casts-help/main.rkt line 646      at 5348	last step: 0	gc: 0	total: 4422
tr-timing: pass2 -casts-help/main.rkt line 646      at 5348	last step: 0	gc: 0	total: 4422
tr-timing: pass2 -casts-help/main.rkt line 646      at 5349	last step: 1	gc: 0	total: 4423
tr-timing: pass2 -casts-help/main.rkt line 646      at 5349	last step: 0	gc: 0	total: 4423
tr-timing: pass2 -casts-help/main.rkt line 646      at 5349	last step: 0	gc: 0	total: 4423
tr-timing: pass2 -casts-help/main.rkt line 646      at 5349	last step: 0	gc: 0	total: 4423
tr-timing: pass2 -casts-help/main.rkt line 646      at 5349	last step: 0	gc: 0	total: 4423
tr-timing: pass2 -casts-help/main.rkt line 646      at 5349	last step: 0	gc: 0	total: 4423
tr-timing: pass2 -casts-help/main.rkt line 646      at 5350	last step: 1	gc: 0	total: 4424
tr-timing: pass2 -casts-help/main.rkt line 646      at 5350	last step: 0	gc: 0	total: 4424
tr-timing: pass2 -casts-help/main.rkt line 646      at 5350	last step: 0	gc: 0	total: 4424
tr-timing: pass2 -casts-help/main.rkt line 646      at 5350	last step: 0	gc: 0	total: 4424
tr-timing: pass2 -casts-help/main.rkt line 646      at 5350	last step: 0	gc: 0	total: 4424
tr-timing: pass2 -casts-help/main.rkt line 646      at 5350	last step: 0	gc: 0	total: 4424
tr-timing: pass2 -casts-help/main.rkt line 646      at 5351	last step: 1	gc: 0	total: 4425
tr-timing: pass2 -casts-help/main.rkt line 646      at 5351	last step: 0	gc: 0	total: 4425
tr-timing: pass2 -casts-help/main.rkt line 646      at 5351	last step: 0	gc: 0	total: 4425
tr-timing: pass2 -casts-help/main.rkt line 646      at 5351	last step: 0	gc: 0	total: 4425
tr-timing: pass2 -casts-help/main.rkt line 646      at 5351	last step: 0	gc: 0	total: 4425
tr-timing: pass2 -casts-help/main.rkt line 646      at 5351	last step: 0	gc: 0	total: 4425
tr-timing: pass2 -casts-help/main.rkt line 646      at 5352	last step: 1	gc: 0	total: 4426
tr-timing: pass2 -casts-help/main.rkt line 646      at 5352	last step: 0	gc: 0	total: 4426
tr-timing: pass2 -casts-help/main.rkt line 646      at 5352	last step: 0	gc: 0	total: 4426
tr-timing: pass2 -casts-help/main.rkt line 646      at 5352	last step: 0	gc: 0	total: 4426
tr-timing: pass2 -casts-help/main.rkt line 646      at 5352	last step: 0	gc: 0	total: 4426
tr-timing: pass2 -casts-help/main.rkt line 646      at 5352	last step: 0	gc: 0	total: 4426
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 1	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5353	last step: 0	gc: 0	total: 4427
tr-timing: pass2 -casts-help/main.rkt line 646      at 5354	last step: 1	gc: 0	total: 4428
tr-timing: pass2 -casts-help/main.rkt line 646      at 5354	last step: 0	gc: 0	total: 4428
tr-timing: pass2 -casts-help/main.rkt line 646      at 5354	last step: 0	gc: 0	total: 4428
tr-timing: pass2 -casts-help/main.rkt line 646      at 5354	last step: 0	gc: 0	total: 4428
tr-timing: pass2 -casts-help/main.rkt line 646      at 5354	last step: 0	gc: 0	total: 4428
tr-timing: pass2 -casts-help/main.rkt line 646      at 5354	last step: 0	gc: 0	total: 4428
tr-timing: pass2 -casts-help/main.rkt line 646      at 5355	last step: 1	gc: 0	total: 4429
tr-timing: pass2 -casts-help/main.rkt line 646      at 5355	last step: 0	gc: 0	total: 4429
tr-timing: pass2 -casts-help/main.rkt line 646      at 5355	last step: 0	gc: 0	total: 4429
tr-timing: pass2 -casts-help/main.rkt line 646      at 5355	last step: 0	gc: 0	total: 4429
tr-timing: pass2 -casts-help/main.rkt line 646      at 5355	last step: 0	gc: 0	total: 4429
tr-timing: pass2 -casts-help/main.rkt line 646      at 5355	last step: 0	gc: 0	total: 4429
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 1	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5356	last step: 0	gc: 0	total: 4430
tr-timing: pass2 -casts-help/main.rkt line 646      at 5357	last step: 1	gc: 0	total: 4431
tr-timing: pass2 -casts-help/main.rkt line 646      at 5357	last step: 0	gc: 0	total: 4431
tr-timing: pass2 -casts-help/main.rkt line 646      at 5357	last step: 0	gc: 0	total: 4431
tr-timing: pass2 -casts-help/main.rkt line 646      at 5357	last step: 0	gc: 0	total: 4431
tr-timing: pass2 -casts-help/main.rkt line 646      at 5357	last step: 0	gc: 0	total: 4431
tr-timing: pass2 -casts-help/main.rkt line 646      at 5358	last step: 1	gc: 0	total: 4432
tr-timing: pass2 -casts-help/main.rkt line 646      at 5358	last step: 0	gc: 0	total: 4432
tr-timing: pass2 -casts-help/main.rkt line 646      at 5358	last step: 0	gc: 0	total: 4432
tr-timing: pass2 -casts-help/main.rkt line 646      at 5358	last step: 0	gc: 0	total: 4432
tr-timing: pass2 -casts-help/main.rkt line 646      at 5358	last step: 0	gc: 0	total: 4432
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 1	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5359	last step: 0	gc: 0	total: 4433
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 1	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 0	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 0	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 0	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 0	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 0	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5360	last step: 0	gc: 0	total: 4434
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 1	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5361	last step: 0	gc: 0	total: 4435
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 1	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5362	last step: 0	gc: 0	total: 4436
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 1	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 0	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 0	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 0	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 0	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 0	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5363	last step: 0	gc: 0	total: 4437
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 1	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5364	last step: 0	gc: 0	total: 4438
tr-timing: pass2 -casts-help/main.rkt line 646      at 5365	last step: 1	gc: 0	total: 4439
tr-timing: pass2 -casts-help/main.rkt line 646      at 5365	last step: 0	gc: 0	total: 4439
tr-timing: pass2 -casts-help/main.rkt line 646      at 5365	last step: 0	gc: 0	total: 4439
tr-timing: pass2 -casts-help/main.rkt line 646      at 5365	last step: 0	gc: 0	total: 4439
tr-timing: pass2 -casts-help/main.rkt line 646      at 5365	last step: 0	gc: 0	total: 4439
tr-timing: pass2 -casts-help/main.rkt line 646      at 5365	last step: 0	gc: 0	total: 4439
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 1	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5366	last step: 0	gc: 0	total: 4440
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 1	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 0	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 0	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 0	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 0	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 0	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5367	last step: 0	gc: 0	total: 4441
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 1	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5368	last step: 0	gc: 0	total: 4442
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 1	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5369	last step: 0	gc: 0	total: 4443
tr-timing: pass2 -casts-help/main.rkt line 646      at 5370	last step: 1	gc: 0	total: 4444
tr-timing: pass2 -casts-help/main.rkt line 646      at 5370	last step: 0	gc: 0	total: 4444
tr-timing: pass2 -casts-help/main.rkt line 646      at 5370	last step: 0	gc: 0	total: 4444
tr-timing: pass2 -casts-help/main.rkt line 1274     at 5370	last step: 0	gc: 0	total: 4444
tr-timing: pass2 -casts-help/main.rkt line 1274     at 5370	last step: 0	gc: 0	total: 4444
tr-timing: pass2 -casts-help/main.rkt line 1275     at 5371	last step: 1	gc: 0	total: 4445
tr-timing: pass2 -casts-help/main.rkt line 1275     at 5371	last step: 0	gc: 0	total: 4445
tr-timing: pass2 -casts-help/main.rkt line 1277     at 5371	last step: 0	gc: 0	total: 4445
tr-timing: pass2 -casts-help/main.rkt line 1277     at 5371	last step: 0	gc: 0	total: 4445
tr-timing: pass2 -casts-help/main.rkt line 1279     at 5372	last step: 1	gc: 0	total: 4446
tr-timing: pass2 -casts-help/main.rkt line 1279     at 5372	last step: 0	gc: 0	total: 4446
tr-timing: pass2 -casts-help/main.rkt line 1281     at 5373	last step: 1	gc: 0	total: 4447
tr-timing: pass2 -casts-help/main.rkt line 1281     at 5373	last step: 0	gc: 0	total: 4447
tr-timing: pass2 -casts-help/main.rkt line 1283     at 5373	last step: 0	gc: 0	total: 4447
tr-timing: pass2 -casts-help/main.rkt line 1283     at 5373	last step: 0	gc: 0	total: 4447
tr-timing: pass2 t/base-env/prims.rkt line 717      at 5374	last step: 1	gc: 0	total: 4448
tr-timing: pass2 t/base-env/prims.rkt line 717      at 5374	last step: 0	gc: 0	total: 4448
tr-timing: pass2 -casts-help/main.rkt line 1295     at 5374	last step: 0	gc: 0	total: 4448
tr-timing: pass2 -casts-help/main.rkt line 1295     at 5374	last step: 0	gc: 0	total: 4448
tr-timing: pass2 -casts-help/main.rkt line 1297     at 5375	last step: 1	gc: 0	total: 4449
tr-timing: pass2 -casts-help/main.rkt line 1297     at 5375	last step: 0	gc: 0	total: 4449
tr-timing: pass2 -casts-help/main.rkt line 1306     at 5375	last step: 0	gc: 0	total: 4449
tr-timing: pass2 -casts-help/main.rkt line 1306     at 5375	last step: 0	gc: 0	total: 4449
tr-timing: pass2 -casts-help/main.rkt line 1315     at 5375	last step: 0	gc: 0	total: 4449
tr-timing: pass2 -casts-help/main.rkt line 1315     at 5375	last step: 0	gc: 0	total: 4449
tr-timing: pass2 -casts-help/main.rkt line 1326     at 5376	last step: 1	gc: 0	total: 4450
tr-timing: pass2 -casts-help/main.rkt line 1326     at 5376	last step: 0	gc: 0	total: 4450
tr-timing: pass2 -casts-help/main.rkt line 1339     at 5376	last step: 0	gc: 0	total: 4450
tr-timing: pass2 -casts-help/main.rkt line 1339     at 5376	last step: 0	gc: 0	total: 4450
tr-timing: pass2 -casts-help/main.rkt line 1341     at 5377	last step: 1	gc: 0	total: 4451
tr-timing: pass2 -casts-help/main.rkt line 1341     at 5377	last step: 0	gc: 0	total: 4451
tr-timing: pass2 -casts-help/main.rkt line 1351     at 5378	last step: 1	gc: 0	total: 4452
tr-timing: pass2 -casts-help/main.rkt line 1351     at 5378	last step: 0	gc: 0	total: 4452
tr-timing: pass2 -casts-help/main.rkt line 1529     at 5379	last step: 1	gc: 0	total: 4453
tr-timing: pass2 -casts-help/main.rkt line 1529     at 5379	last step: 0	gc: 0	total: 4453
tr-timing: pass2 -casts-help/main.rkt line 1534     at 5380	last step: 1	gc: 0	total: 4454
tr-timing: pass2 -casts-help/main.rkt line 1535     at 5381	last step: 1	gc: 0	total: 4455
tr-timing: pass2 -casts-help/main.rkt line 1563     at 5541	last step: 160	gc: 10	total: 4615
tr-timing: pass2 -casts-help/main.rkt line 1563     at 5541	last step: 0	gc: 0	total: 4615
tr-timing: pass2 -casts-help/main.rkt line 1566     at 5542	last step: 1	gc: 0	total: 4616
tr-timing: pass2 -casts-help/main.rkt line 1566     at 5542	last step: 0	gc: 0	total: 4616
tr-timing: pass2 -casts-help/main.rkt line 1681     at 5545	last step: 3	gc: 0	total: 4619
tr-timing: pass2 -casts-help/main.rkt line 1681     at 5545	last step: 0	gc: 0	total: 4619
tr-timing: pass2 -casts-help/main.rkt line 1684     at 5545	last step: 0	gc: 0	total: 4619
tr-timing: pass2 -casts-help/main.rkt line 1684     at 5545	last step: 0	gc: 0	total: 4619
tr-timing: pass2 -casts-help/main.rkt line 1685     at 5546	last step: 1	gc: 0	total: 4620
tr-timing: pass2 -casts-help/main.rkt line 1685     at 5546	last step: 0	gc: 0	total: 4620
tr-timing: pass2 -casts-help/main.rkt line 1686     at 5547	last step: 1	gc: 0	total: 4621
tr-timing: pass2 -casts-help/main.rkt line 1686     at 5547	last step: 0	gc: 0	total: 4621
tr-timing: pass2 -casts-help/main.rkt line 1687     at 5548	last step: 1	gc: 0	total: 4622
tr-timing: pass2 -casts-help/main.rkt line 1687     at 5548	last step: 0	gc: 0	total: 4622
tr-timing: pass2 -casts-help/main.rkt line 1688     at 5549	last step: 1	gc: 0	total: 4623
tr-timing: pass2 -casts-help/main.rkt line 1688     at 5549	last step: 0	gc: 0	total: 4623
tr-timing: pass2 -casts-help/main.rkt line 1717     at 5549	last step: 0	gc: 0	total: 4623
tr-timing: pass2 -casts-help/main.rkt line 1718     at 5550	last step: 1	gc: 0	total: 4624
tr-timing: pass2 -casts-help/main.rkt line 1727     at 5552	last step: 2	gc: 0	total: 4626
tr-timing: pass2 -casts-help/main.rkt line 1728     at 5552	last step: 0	gc: 0	total: 4626
tr-timing: pass2 -casts-help/main.rkt line 1730     at 5553	last step: 1	gc: 0	total: 4627
tr-timing: pass2 -casts-help/main.rkt line 1730     at 5553	last step: 0	gc: 0	total: 4627
tr-timing: pass2 -casts-help/main.rkt line 1731     at 5554	last step: 1	gc: 0	total: 4628
tr-timing: pass2 -casts-help/main.rkt line 1732     at 5555	last step: 1	gc: 0	total: 4629
tr-timing: pass2 -casts-help/main.rkt line 1739     at 5556	last step: 1	gc: 0	total: 4630
tr-timing: pass2 -casts-help/main.rkt line 1740     at 5556	last step: 0	gc: 0	total: 4630
tr-timing: pass2 -casts-help/main.rkt line 1746     at 5737	last step: 181	gc: 13	total: 4811
tr-timing: pass2 -casts-help/main.rkt line 1751     at 5737	last step: 0	gc: 0	total: 4811
tr-timing: pass2 -casts-help/main.rkt line 1752     at 5738	last step: 1	gc: 0	total: 4812
tr-timing: pass2 -casts-help/main.rkt line 1757     at 5853	last step: 115	gc: 1	total: 4927
tr-timing: pass2 -casts-help/main.rkt line 1758     at 5854	last step: 1	gc: 0	total: 4928
tr-timing: pass2 -casts-help/main.rkt line 1761     at 5863	last step: 9	gc: 0	total: 4937
tr-timing: pass2 -casts-help/main.rkt line 1762     at 5864	last step: 1	gc: 0	total: 4938
tr-timing: pass2 -casts-help/main.rkt line 1765     at 5880	last step: 16	gc: 0	total: 4954
tr-timing: pass2 -casts-help/main.rkt line 1772     at 5881	last step: 1	gc: 0	total: 4955
tr-timing: pass2 -casts-help/main.rkt line 1772     at 5881	last step: 0	gc: 0	total: 4955
tr-timing: pass2 -casts-help/main.rkt line 1808     at 5882	last step: 1	gc: 0	total: 4956
tr-timing: pass2 -casts-help/main.rkt line 1814     at 5883	last step: 1	gc: 0	total: 4957
tr-timing: pass2 -casts-help/main.rkt line 1826     at 6228	last step: 345	gc: 4	total: 5302
tr-timing: pass2 -casts-help/main.rkt line 1858     at 6229	last step: 1	gc: 0	total: 5303
tr-timing: pass2 -casts-help/main.rkt line 1859     at 6229	last step: 0	gc: 0	total: 5303
tr-timing: pass2 -casts-help/main.rkt line 1867     at 6389	last step: 160	gc: 2	total: 5463
tr-timing: pass2 -casts-help/main.rkt line 1868     at 6389	last step: 0	gc: 0	total: 5463
tr-timing: pass2 -casts-help/main.rkt line 1880     at 6444	last step: 55	gc: 0	total: 5518
tr-timing: pass2 -casts-help/main.rkt line 1881     at 6444	last step: 0	gc: 0	total: 5518
tr-timing: pass2 -casts-help/main.rkt line 1895     at 6626	last step: 182	gc: 4	total: 5700
tr-timing: pass2 -casts-help/main.rkt line 1896     at 6627	last step: 1	gc: 0	total: 5701
tr-timing: pass2 -casts-help/main.rkt line 1902     at 6744	last step: 117	gc: 2	total: 5818
tr-timing: pass2 -casts-help/main.rkt line 1903     at 6745	last step: 1	gc: 0	total: 5819
tr-timing: pass2 -casts-help/main.rkt line 1910     at 6904	last step: 159	gc: 3	total: 5978
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6905	last step: 1	gc: 0	total: 5979
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6906	last step: 1	gc: 0	total: 5980
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6907	last step: 1	gc: 0	total: 5981
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6908	last step: 1	gc: 0	total: 5982
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6908	last step: 0	gc: 0	total: 5982
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6909	last step: 1	gc: 0	total: 5983
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6909	last step: 0	gc: 0	total: 5983
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6909	last step: 0	gc: 0	total: 5983
tr-timing: pass2 -casts-help/main.rkt line 1913     at 6910	last step: 1	gc: 0	total: 5984
tr-timing: pass2 -casts-help/main.rkt line 1914     at 6910	last step: 0	gc: 0	total: 5984
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7079	last step: 169	gc: 1	total: 6153
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7222	last step: 143	gc: 2	total: 6296
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7344	last step: 122	gc: 2	total: 6418
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7462	last step: 118	gc: 1	total: 6536
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7586	last step: 124	gc: 1	total: 6660
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7710	last step: 124	gc: 4	total: 6784
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7837	last step: 127	gc: 1	total: 6911
tr-timing: pass2 -casts-help/main.rkt line 1914     at 7953	last step: 116	gc: 1	total: 7027
tr-timing: pass2 -casts-help/main.rkt line 1933     at 8078	last step: 125	gc: 1	total: 7152
tr-timing: pass2 -casts-help/main.rkt line 1936     at 8079	last step: 1	gc: 0	total: 7153
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8079	last step: 0	gc: 0	total: 7153
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8079	last step: 0	gc: 0	total: 7153
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8079	last step: 0	gc: 0	total: 7153
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8080	last step: 1	gc: 0	total: 7154
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8080	last step: 0	gc: 0	total: 7154
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8080	last step: 0	gc: 0	total: 7154
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8080	last step: 0	gc: 0	total: 7154
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8080	last step: 0	gc: 0	total: 7154
tr-timing: pass2 -casts-help/main.rkt line 1939     at 8081	last step: 1	gc: 0	total: 7155
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8081	last step: 0	gc: 0	total: 7155
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8198	last step: 117	gc: 2	total: 7272
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8318	last step: 120	gc: 2	total: 7392
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8429	last step: 111	gc: 1	total: 7503
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8543	last step: 114	gc: 2	total: 7617
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8655	last step: 112	gc: 3	total: 7729
tr-timing: pass2 -casts-help/main.rkt line 1940     at 8787	last step: 132	gc: 2	total: 7861
tr-timing: pass2 -casts-help/main.rkt line 1940     at 9001	last step: 214	gc: 3	total: 8075
tr-timing: pass2 -casts-help/main.rkt line 1940     at 9127	last step: 126	gc: 2	total: 8201
tr-timing: pass2 -casts-help/main.rkt line 1960     at 9240	last step: 113	gc: 2	total: 8314
tr-timing: pass2 -casts-help/main.rkt line 1961     at 9240	last step: 0	gc: 0	total: 8314
tr-timing: pass2 -casts-help/main.rkt line 1969     at 9363	last step: 123	gc: 2	total: 8437
tr-timing: pass2 -casts-help/main.rkt line 1970     at 9363	last step: 0	gc: 0	total: 8437
tr-timing: pass2 -casts-help/main.rkt line 1978     at 9480	last step: 117	gc: 2	total: 8554
tr-timing: pass2 t/base-env/prims.rkt line 717      at 9481	last step: 1	gc: 0	total: 8555
tr-timing: pass2 t/base-env/prims.rkt line 717      at 9481	last step: 0	gc: 0	total: 8555
tr-timing: pass2 t/base-env/prims.rkt line 717      at 9534	last step: 53	gc: 0	total: 8608
tr-timing: pass2 t/base-env/prims.rkt line 717      at 9534	last step: 0	gc: 0	total: 8608
tr-timing: pass2 -casts-help/main.rkt line 1991     at 9618	last step: 84	gc: 3	total: 8692
tr-timing: pass2 -casts-help/main.rkt line 1992     at 9618	last step: 0	gc: 0	total: 8692
tr-timing: pass2 -casts-help/main.rkt line 1998     at 9782	last step: 164	gc: 2	total: 8856
tr-timing: pass2 -casts-help/main.rkt line 1999     at 9783	last step: 1	gc: 0	total: 8857
tr-timing: pass2 -casts-help/main.rkt line 2008     at 9852	last step: 69	gc: 0	total: 8926
tr-timing: pass2 -casts-help/main.rkt line 2009     at 9853	last step: 1	gc: 0	total: 8927
tr-timing: pass2 -casts-help/main.rkt line 2018     at 9980	last step: 127	gc: 2	total: 9054
tr-timing: pass2 -casts-help/main.rkt line 2021     at 9980	last step: 0	gc: 0	total: 9054
tr-timing: pass2 -casts-help/main.rkt line 2021     at 9981	last step: 1	gc: 0	total: 9055
tr-timing: pass2 -casts-help/main.rkt line 2021     at 9981	last step: 0	gc: 0	total: 9055
tr-timing: pass2 -casts-help/main.rkt line 2021     at 9981	last step: 0	gc: 0	total: 9055
tr-timing: pass2 -casts-help/main.rkt line 2021     at 9982	last step: 1	gc: 0	total: 9056
tr-timing: pass2 -casts-help/main.rkt line 2022     at 9982	last step: 0	gc: 0	total: 9056
tr-timing: pass2 -casts-help/main.rkt line 2022     at 10112	last step: 130	gc: 3	total: 9186
tr-timing: pass2 -casts-help/main.rkt line 2022     at 10242	last step: 130	gc: 2	total: 9316
tr-timing: pass2 -casts-help/main.rkt line 2022     at 10367	last step: 125	gc: 2	total: 9441
tr-timing: pass2 -casts-help/main.rkt line 2022     at 10484	last step: 117	gc: 2	total: 9558
tr-timing: pass2 -casts-help/main.rkt line 2037     at 10658	last step: 174	gc: 3	total: 9732
tr-timing: pass2 -casts-help/main.rkt line 2038     at 10659	last step: 1	gc: 0	total: 9733
tr-timing: pass2 -casts-help/main.rkt line 2046     at 10812	last step: 153	gc: 2	total: 9886
tr-timing: pass2 -casts-help/main.rkt line 2047     at 10813	last step: 1	gc: 0	total: 9887
tr-timing: pass2 -casts-help/main.rkt line 2055     at 10929	last step: 116	gc: 1	total: 10003
tr-timing: pass2 -casts-help/main.rkt line 2056     at 10930	last step: 1	gc: 0	total: 10004
tr-timing: pass2 -casts-help/main.rkt line 2064     at 11121	last step: 191	gc: 2	total: 10195
tr-timing: pass2 -casts-help/main.rkt line 2065     at 11121	last step: 0	gc: 0	total: 10195
tr-timing: pass2 -casts-help/main.rkt line 2073     at 11277	last step: 156	gc: 2	total: 10351
tr-timing: pass2 -casts-help/main.rkt line 2077     at 11277	last step: 0	gc: 0	total: 10351
tr-timing: pass2 -casts-help/main.rkt line 2094     at 11617	last step: 340	gc: 9	total: 10691
tr-timing: pass2 -casts-help/main.rkt line 2097     at 11618	last step: 1	gc: 0	total: 10692
tr-timing: Finished pass2                           at 11620	last step: 2	gc: 0	total: 10694
tr-timing: finished provide generation              at 12348	last step: 728	gc: 31	total: 11422
tr-timing: finished type checking                   at 12348	last step: 0	gc: 0	total: 11422
tr-timing: Typechecking Done                        at 12348	last step: 0	gc: 0	total: 11422
tr-timing: Removed provides                         at 12351	last step: 3	gc: 0	total: 11425
tr-timing: Fixed contract ids                       at 12405	last step: 54	gc: 0	total: 11479
tr-timing: Generated contracts                      at 23968	last step: 11563	gc: 743	total: 23042
tr-timing: Starting optimizer                       at 23969	last step: 1	gc: 0	total: 23043
tr-timing: Optimized                                at 24819	last step: 850	gc: 39	total: 23893
tr-timing: Finished, returning to Racket            at 24823	last step: 4	gc: 3	total: 23897
"main.rkt":
  making #<path:/Users/ben/code/racket/fork/extra-pkgs/tr-performance/schml-interp-casts-help/main.rkt>
 [output to "compiled/main_rkt.zo"]
