tr-timing: Starting                         at 667
tr-timing: Calling module-begin driver              at 667	last step: 0	gc: 0	total: 0
tr-timing: Loaded core mb-core                      at 667	last step: 0	gc: 0	total: 0
tr-timing: Local Expand Done                        at 2633	last step: 1966	gc: 303	total: 1966
tr-timing: Starting initialization                  at 2635	last step: 2	gc: 0	total: 1968
tr-timing: Finshed base-structs                     at 2651	last step: 16	gc: 0	total: 1984
tr-timing: Finshed base-env-indexing                at 2656	last step: 5	gc: 0	total: 1989
tr-timing: Finshed base-env                         at 2683	last step: 27	gc: 0	total: 2016
tr-timing: Finshed base-env-numeric                 at 2702	last step: 19	gc: 0	total: 2035
tr-timing: Finished base-special-env                at 2702	last step: 0	gc: 0	total: 2035
tr-timing: Finished base-types                      at 2710	last step: 8	gc: 0	total: 2043
tr-timing: Initialized Envs                         at 2710	last step: 0	gc: 0	total: 2043
tr-timing: Starting `checker'                       at 2757	last step: 47	gc: 0	total: 2090
tr-timing: before form splitting                    at 2761	last step: 4	gc: 0	total: 2094
tr-timing: Form splitting done                      at 2822	last step: 61	gc: 29	total: 2155
tr-timing: after adding type names                  at 2832	last step: 10	gc: 0	total: 2165
tr-timing: starting struct handling                 at 2978	last step: 146	gc: 16	total: 2311
tr-timing: before pass1                             at 3114	last step: 136	gc: 0	total: 2447
tr-timing: Finished pass1                           at 3393	last step: 279	gc: 31	total: 2726
tr-timing: computed def-tbl                         at 3400	last step: 7	gc: 0	total: 2733
tr-timing: pass2 -casts-help/main.rkt line 2        at 3404	last step: 4	gc: 0	total: 2737
tr-timing: pass2 -casts-help/main.rkt line 2        at 3408	last step: 4	gc: 0	total: 2741
tr-timing: pass2 -casts-help/main.rkt line 2        at 3408	last step: 0	gc: 0	total: 2741
tr-timing: pass2 -casts-help/main.rkt line 2        at 3408	last step: 0	gc: 0	total: 2741
tr-timing: pass2 -casts-help/main.rkt line 8        at 3408	last step: 0	gc: 0	total: 2741
tr-timing: pass2 #f line #f                         at 3408	last step: 0	gc: 0	total: 2741
tr-timing: pass2 v/prims-contract.rkt line 214      at 3409	last step: 1	gc: 0	total: 2742
tr-timing: pass2 require-contract.rkt line 55       at 3411	last step: 2	gc: 0	total: 2744
tr-timing: pass2 require-contract.rkt line 34       at 3411	last step: 0	gc: 0	total: 2744
tr-timing: pass2 require-contract.rkt line 20       at 3411	last step: 0	gc: 0	total: 2744
tr-timing: pass2 require-contract.rkt line 21       at 3411	last step: 0	gc: 0	total: 2744
tr-timing: pass2 -casts-help/main.rkt line 36       at 3411	last step: 0	gc: 0	total: 2744
tr-timing: pass2 -casts-help/main.rkt line 37       at 3412	last step: 1	gc: 0	total: 2745
tr-timing: pass2 -casts-help/main.rkt line 39       at 3414	last step: 2	gc: 0	total: 2747
tr-timing: pass2 -casts-help/main.rkt line 40       at 3415	last step: 1	gc: 0	total: 2748
tr-timing: pass2 -casts-help/main.rkt line 47       at 3417	last step: 2	gc: 0	total: 2750
tr-timing: pass2 -casts-help/main.rkt line 48       at 3417	last step: 0	gc: 0	total: 2750
tr-timing: pass2 -casts-help/main.rkt line 59       at 3418	last step: 1	gc: 0	total: 2751
tr-timing: pass2 -casts-help/main.rkt line 62       at 3418	last step: 0	gc: 0	total: 2751
tr-timing: pass2 -casts-help/main.rkt line 71       at 3425	last step: 7	gc: 0	total: 2758
tr-timing: pass2 -casts-help/main.rkt line 72       at 3426	last step: 1	gc: 0	total: 2759
tr-timing: pass2 -casts-help/main.rkt line 80       at 3459	last step: 33	gc: 0	total: 2792
tr-timing: pass2 -casts-help/main.rkt line 81       at 3459	last step: 0	gc: 0	total: 2792
tr-timing: pass2 -casts-help/main.rkt line 83       at 3460	last step: 1	gc: 0	total: 2793
tr-timing: pass2 -casts-help/main.rkt line 84       at 3461	last step: 1	gc: 0	total: 2794
tr-timing: pass2 -casts-help/main.rkt line 90       at 3464	last step: 3	gc: 0	total: 2797
tr-timing: pass2 -casts-help/main.rkt line 94       at 3465	last step: 1	gc: 0	total: 2798
tr-timing: pass2 -casts-help/main.rkt line 95       at 3465	last step: 0	gc: 0	total: 2798
tr-timing: pass2 -casts-help/main.rkt line 97       at 3465	last step: 0	gc: 0	total: 2798
tr-timing: pass2 -casts-help/main.rkt line 103      at 3466	last step: 1	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 111      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 118      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 131      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 135      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 t/private/define.rkt line 24       at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 t/private/define.rkt line 24       at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 169      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 172      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 172      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 172      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 173      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 175      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 199      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 267      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 267      at 3466	last step: 0	gc: 0	total: 2799
tr-timing: pass2 -casts-help/main.rkt line 269      at 3467	last step: 1	gc: 0	total: 2800
tr-timing: pass2 -casts-help/main.rkt line 273      at 3467	last step: 0	gc: 0	total: 2800
tr-timing: pass2 -casts-help/main.rkt line 277      at 3467	last step: 0	gc: 0	total: 2800
tr-timing: pass2 -casts-help/main.rkt line 284      at 3467	last step: 0	gc: 0	total: 2800
tr-timing: pass2 t/base-env/prims.rkt line 723      at 3467	last step: 0	gc: 0	total: 2800
tr-timing: pass2 t/base-env/prims.rkt line 724      at 3467	last step: 0	gc: 0	total: 2800
tr-timing: pass2 -casts-help/main.rkt line 294      at 3468	last step: 1	gc: 0	total: 2801
tr-timing: pass2 -casts-help/main.rkt line 306      at 3468	last step: 0	gc: 0	total: 2801
tr-timing: pass2 -casts-help/main.rkt line 327      at 3468	last step: 0	gc: 0	total: 2801
tr-timing: pass2 -casts-help/main.rkt line 328      at 3468	last step: 0	gc: 0	total: 2801
tr-timing: pass2 -casts-help/main.rkt line 336      at 3488	last step: 20	gc: 0	total: 2821
tr-timing: pass2 -casts-help/main.rkt line 340      at 3488	last step: 0	gc: 0	total: 2821
tr-timing: pass2 -casts-help/main.rkt line 363      at 3507	last step: 19	gc: 0	total: 2840
tr-timing: pass2 -casts-help/main.rkt line 366      at 3507	last step: 0	gc: 0	total: 2840
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3507	last step: 0	gc: 0	total: 2840
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3508	last step: 1	gc: 0	total: 2841
tr-timing: pass2 -casts-help/main.rkt line 385      at 3508	last step: 0	gc: 0	total: 2841
tr-timing: pass2 -casts-help/main.rkt line 386      at 3509	last step: 1	gc: 0	total: 2842
tr-timing: pass2 -casts-help/main.rkt line 413      at 3511	last step: 2	gc: 0	total: 2844
tr-timing: pass2 -casts-help/main.rkt line 413      at 3512	last step: 1	gc: 0	total: 2845
tr-timing: pass2 -casts-help/main.rkt line 413      at 3512	last step: 0	gc: 0	total: 2845
tr-timing: pass2 -casts-help/main.rkt line 416      at 3512	last step: 0	gc: 0	total: 2845
tr-timing: pass2 -casts-help/main.rkt line 416      at 3512	last step: 0	gc: 0	total: 2845
tr-timing: pass2 -casts-help/main.rkt line 416      at 3512	last step: 0	gc: 0	total: 2845
tr-timing: pass2 -casts-help/main.rkt line 422      at 3513	last step: 1	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 431      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 431      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 431      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 433      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 436      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 462      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 -casts-help/main.rkt line 462      at 3513	last step: 0	gc: 0	total: 2846
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3514	last step: 1	gc: 0	total: 2847
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3514	last step: 0	gc: 0	total: 2847
tr-timing: pass2 -casts-help/main.rkt line 467      at 3515	last step: 1	gc: 0	total: 2848
tr-timing: pass2 -casts-help/main.rkt line 467      at 3516	last step: 1	gc: 0	total: 2849
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3516	last step: 0	gc: 0	total: 2849
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3516	last step: 0	gc: 0	total: 2849
tr-timing: pass2 -casts-help/main.rkt line 472      at 3517	last step: 1	gc: 0	total: 2850
tr-timing: pass2 -casts-help/main.rkt line 473      at 3517	last step: 0	gc: 0	total: 2850
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3518	last step: 1	gc: 0	total: 2851
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3518	last step: 0	gc: 0	total: 2851
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3519	last step: 1	gc: 0	total: 2852
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3519	last step: 0	gc: 0	total: 2852
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3519	last step: 0	gc: 0	total: 2852
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3520	last step: 1	gc: 0	total: 2853
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3520	last step: 0	gc: 0	total: 2853
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3520	last step: 0	gc: 0	total: 2853
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3523	last step: 3	gc: 0	total: 2856
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3524	last step: 1	gc: 0	total: 2857
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3525	last step: 1	gc: 0	total: 2858
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3525	last step: 0	gc: 0	total: 2858
tr-timing: pass2 -casts-help/main.rkt line 492      at 3526	last step: 1	gc: 0	total: 2859
tr-timing: pass2 -casts-help/main.rkt line 492      at 3526	last step: 0	gc: 0	total: 2859
tr-timing: pass2 -casts-help/main.rkt line 492      at 3526	last step: 0	gc: 0	total: 2859
tr-timing: pass2 -casts-help/main.rkt line 528      at 3526	last step: 0	gc: 0	total: 2859
tr-timing: pass2 -casts-help/main.rkt line 528      at 3526	last step: 0	gc: 0	total: 2859
tr-timing: pass2 -casts-help/main.rkt line 528      at 3527	last step: 1	gc: 0	total: 2860
tr-timing: pass2 -casts-help/main.rkt line 531      at 3527	last step: 0	gc: 0	total: 2860
tr-timing: pass2 -casts-help/main.rkt line 532      at 3527	last step: 0	gc: 0	total: 2860
tr-timing: pass2 -casts-help/main.rkt line 535      at 3528	last step: 1	gc: 0	total: 2861
tr-timing: pass2 -casts-help/main.rkt line 536      at 3529	last step: 1	gc: 0	total: 2862
tr-timing: pass2 -casts-help/main.rkt line 562      at 3531	last step: 2	gc: 0	total: 2864
tr-timing: pass2 -casts-help/main.rkt line 562      at 3531	last step: 0	gc: 0	total: 2864
tr-timing: pass2 -casts-help/main.rkt line 562      at 3531	last step: 0	gc: 0	total: 2864
tr-timing: pass2 -casts-help/main.rkt line 564      at 3532	last step: 1	gc: 0	total: 2865
tr-timing: pass2 -casts-help/main.rkt line 564      at 3532	last step: 0	gc: 0	total: 2865
tr-timing: pass2 -casts-help/main.rkt line 566      at 3532	last step: 0	gc: 0	total: 2865
tr-timing: pass2 -casts-help/main.rkt line 568      at 3532	last step: 0	gc: 0	total: 2865
tr-timing: pass2 -casts-help/main.rkt line 569      at 3532	last step: 0	gc: 0	total: 2865
tr-timing: pass2 -casts-help/main.rkt line 585      at 3569	last step: 37	gc: 21	total: 2902
tr-timing: pass2 -casts-help/main.rkt line 586      at 3570	last step: 1	gc: 0	total: 2903
tr-timing: pass2 -casts-help/main.rkt line 589      at 3573	last step: 3	gc: 0	total: 2906
tr-timing: pass2 -casts-help/main.rkt line 590      at 3574	last step: 1	gc: 0	total: 2907
tr-timing: pass2 -casts-help/main.rkt line 594      at 3575	last step: 1	gc: 0	total: 2908
tr-timing: pass2 -casts-help/main.rkt line 594      at 3575	last step: 0	gc: 0	total: 2908
tr-timing: pass2 -casts-help/main.rkt line 595      at 3576	last step: 1	gc: 0	total: 2909
tr-timing: pass2 -casts-help/main.rkt line 596      at 3576	last step: 0	gc: 0	total: 2909
tr-timing: pass2 -casts-help/main.rkt line 602      at 3578	last step: 2	gc: 0	total: 2911
tr-timing: pass2 -casts-help/main.rkt line 603      at 3579	last step: 1	gc: 0	total: 2912
tr-timing: pass2 -casts-help/main.rkt line 609      at 3580	last step: 1	gc: 0	total: 2913
tr-timing: pass2 -casts-help/main.rkt line 640      at 3581	last step: 1	gc: 0	total: 2914
tr-timing: pass2 -casts-help/main.rkt line 646      at 3581	last step: 0	gc: 0	total: 2914
tr-timing: pass2 -casts-help/main.rkt line 646      at 3581	last step: 0	gc: 0	total: 2914
tr-timing: pass2 -casts-help/main.rkt line 646      at 3581	last step: 0	gc: 0	total: 2914
tr-timing: pass2 -casts-help/main.rkt line 646      at 3582	last step: 1	gc: 0	total: 2915
tr-timing: pass2 -casts-help/main.rkt line 646      at 3582	last step: 0	gc: 0	total: 2915
tr-timing: pass2 -casts-help/main.rkt line 646      at 3582	last step: 0	gc: 0	total: 2915
tr-timing: pass2 -casts-help/main.rkt line 646      at 3582	last step: 0	gc: 0	total: 2915
tr-timing: pass2 -casts-help/main.rkt line 646      at 3582	last step: 0	gc: 0	total: 2915
tr-timing: pass2 -casts-help/main.rkt line 646      at 3582	last step: 0	gc: 0	total: 2915
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 1	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3583	last step: 0	gc: 0	total: 2916
tr-timing: pass2 -casts-help/main.rkt line 646      at 3584	last step: 1	gc: 0	total: 2917
tr-timing: pass2 -casts-help/main.rkt line 646      at 3584	last step: 0	gc: 0	total: 2917
tr-timing: pass2 -casts-help/main.rkt line 646      at 3584	last step: 0	gc: 0	total: 2917
tr-timing: pass2 -casts-help/main.rkt line 646      at 3584	last step: 0	gc: 0	total: 2917
tr-timing: pass2 -casts-help/main.rkt line 646      at 3584	last step: 0	gc: 0	total: 2917
tr-timing: pass2 -casts-help/main.rkt line 646      at 3584	last step: 0	gc: 0	total: 2917
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 1	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3585	last step: 0	gc: 0	total: 2918
tr-timing: pass2 -casts-help/main.rkt line 646      at 3586	last step: 1	gc: 0	total: 2919
tr-timing: pass2 -casts-help/main.rkt line 646      at 3586	last step: 0	gc: 0	total: 2919
tr-timing: pass2 -casts-help/main.rkt line 646      at 3586	last step: 0	gc: 0	total: 2919
tr-timing: pass2 -casts-help/main.rkt line 646      at 3586	last step: 0	gc: 0	total: 2919
tr-timing: pass2 -casts-help/main.rkt line 646      at 3586	last step: 0	gc: 0	total: 2919
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 1	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 0	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 0	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 0	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 0	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 0	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3587	last step: 0	gc: 0	total: 2920
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 1	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3588	last step: 0	gc: 0	total: 2921
tr-timing: pass2 -casts-help/main.rkt line 646      at 3589	last step: 1	gc: 0	total: 2922
tr-timing: pass2 -casts-help/main.rkt line 646      at 3589	last step: 0	gc: 0	total: 2922
tr-timing: pass2 -casts-help/main.rkt line 646      at 3589	last step: 0	gc: 0	total: 2922
tr-timing: pass2 -casts-help/main.rkt line 646      at 3589	last step: 0	gc: 0	total: 2922
tr-timing: pass2 -casts-help/main.rkt line 646      at 3589	last step: 0	gc: 0	total: 2922
tr-timing: pass2 -casts-help/main.rkt line 646      at 3589	last step: 0	gc: 0	total: 2922
tr-timing: pass2 -casts-help/main.rkt line 646      at 3590	last step: 1	gc: 0	total: 2923
tr-timing: pass2 -casts-help/main.rkt line 646      at 3590	last step: 0	gc: 0	total: 2923
tr-timing: pass2 -casts-help/main.rkt line 646      at 3590	last step: 0	gc: 0	total: 2923
tr-timing: pass2 -casts-help/main.rkt line 646      at 3590	last step: 0	gc: 0	total: 2923
tr-timing: pass2 -casts-help/main.rkt line 646      at 3590	last step: 0	gc: 0	total: 2923
tr-timing: pass2 -casts-help/main.rkt line 646      at 3590	last step: 0	gc: 0	total: 2923
tr-timing: pass2 -casts-help/main.rkt line 646      at 3591	last step: 1	gc: 0	total: 2924
tr-timing: pass2 -casts-help/main.rkt line 646      at 3591	last step: 0	gc: 0	total: 2924
tr-timing: pass2 -casts-help/main.rkt line 646      at 3591	last step: 0	gc: 0	total: 2924
tr-timing: pass2 -casts-help/main.rkt line 646      at 3591	last step: 0	gc: 0	total: 2924
tr-timing: pass2 -casts-help/main.rkt line 646      at 3591	last step: 0	gc: 0	total: 2924
tr-timing: pass2 -casts-help/main.rkt line 646      at 3591	last step: 0	gc: 0	total: 2924
tr-timing: pass2 -casts-help/main.rkt line 646      at 3592	last step: 1	gc: 0	total: 2925
tr-timing: pass2 -casts-help/main.rkt line 646      at 3592	last step: 0	gc: 0	total: 2925
tr-timing: pass2 -casts-help/main.rkt line 646      at 3592	last step: 0	gc: 0	total: 2925
tr-timing: pass2 -casts-help/main.rkt line 646      at 3592	last step: 0	gc: 0	total: 2925
tr-timing: pass2 -casts-help/main.rkt line 646      at 3592	last step: 0	gc: 0	total: 2925
tr-timing: pass2 -casts-help/main.rkt line 646      at 3592	last step: 0	gc: 0	total: 2925
tr-timing: pass2 -casts-help/main.rkt line 646      at 3593	last step: 1	gc: 0	total: 2926
tr-timing: pass2 -casts-help/main.rkt line 646      at 3593	last step: 0	gc: 0	total: 2926
tr-timing: pass2 -casts-help/main.rkt line 646      at 3593	last step: 0	gc: 0	total: 2926
tr-timing: pass2 -casts-help/main.rkt line 646      at 3594	last step: 1	gc: 0	total: 2927
tr-timing: pass2 -casts-help/main.rkt line 646      at 3594	last step: 0	gc: 0	total: 2927
tr-timing: pass2 -casts-help/main.rkt line 646      at 3594	last step: 0	gc: 0	total: 2927
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 1	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 0	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 0	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 0	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 0	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 0	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3595	last step: 0	gc: 0	total: 2928
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 1	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3596	last step: 0	gc: 0	total: 2929
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 1	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3597	last step: 0	gc: 0	total: 2930
tr-timing: pass2 -casts-help/main.rkt line 646      at 3598	last step: 1	gc: 0	total: 2931
tr-timing: pass2 -casts-help/main.rkt line 646      at 3598	last step: 0	gc: 0	total: 2931
tr-timing: pass2 -casts-help/main.rkt line 646      at 3598	last step: 0	gc: 0	total: 2931
tr-timing: pass2 -casts-help/main.rkt line 646      at 3598	last step: 0	gc: 0	total: 2931
tr-timing: pass2 -casts-help/main.rkt line 646      at 3598	last step: 0	gc: 0	total: 2931
tr-timing: pass2 -casts-help/main.rkt line 646      at 3598	last step: 0	gc: 0	total: 2931
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 1	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3599	last step: 0	gc: 0	total: 2932
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 1	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3600	last step: 0	gc: 0	total: 2933
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 1	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 0	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 0	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 0	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 0	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 0	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3601	last step: 0	gc: 0	total: 2934
tr-timing: pass2 -casts-help/main.rkt line 646      at 3602	last step: 1	gc: 0	total: 2935
tr-timing: pass2 -casts-help/main.rkt line 646      at 3602	last step: 0	gc: 0	total: 2935
tr-timing: pass2 -casts-help/main.rkt line 646      at 3602	last step: 0	gc: 0	total: 2935
tr-timing: pass2 -casts-help/main.rkt line 646      at 3602	last step: 0	gc: 0	total: 2935
tr-timing: pass2 -casts-help/main.rkt line 646      at 3602	last step: 0	gc: 0	total: 2935
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 1	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3603	last step: 0	gc: 0	total: 2936
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 1	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3604	last step: 0	gc: 0	total: 2937
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 1	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3605	last step: 0	gc: 0	total: 2938
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 1	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3606	last step: 0	gc: 0	total: 2939
tr-timing: pass2 -casts-help/main.rkt line 646      at 3607	last step: 1	gc: 0	total: 2940
tr-timing: pass2 -casts-help/main.rkt line 646      at 3607	last step: 0	gc: 0	total: 2940
tr-timing: pass2 -casts-help/main.rkt line 646      at 3607	last step: 0	gc: 0	total: 2940
tr-timing: pass2 -casts-help/main.rkt line 646      at 3607	last step: 0	gc: 0	total: 2940
tr-timing: pass2 -casts-help/main.rkt line 646      at 3607	last step: 0	gc: 0	total: 2940
tr-timing: pass2 -casts-help/main.rkt line 646      at 3608	last step: 1	gc: 0	total: 2941
tr-timing: pass2 -casts-help/main.rkt line 646      at 3608	last step: 0	gc: 0	total: 2941
tr-timing: pass2 -casts-help/main.rkt line 646      at 3608	last step: 0	gc: 0	total: 2941
tr-timing: pass2 -casts-help/main.rkt line 646      at 3608	last step: 0	gc: 0	total: 2941
tr-timing: pass2 -casts-help/main.rkt line 646      at 3608	last step: 0	gc: 0	total: 2941
tr-timing: pass2 -casts-help/main.rkt line 646      at 3608	last step: 0	gc: 0	total: 2941
tr-timing: pass2 -casts-help/main.rkt line 646      at 3609	last step: 1	gc: 0	total: 2942
tr-timing: pass2 -casts-help/main.rkt line 646      at 3609	last step: 0	gc: 0	total: 2942
tr-timing: pass2 -casts-help/main.rkt line 646      at 3609	last step: 0	gc: 0	total: 2942
tr-timing: pass2 -casts-help/main.rkt line 646      at 3610	last step: 1	gc: 0	total: 2943
tr-timing: pass2 -casts-help/main.rkt line 646      at 3610	last step: 0	gc: 0	total: 2943
tr-timing: pass2 -casts-help/main.rkt line 646      at 3610	last step: 0	gc: 0	total: 2943
tr-timing: pass2 -casts-help/main.rkt line 646      at 3611	last step: 1	gc: 0	total: 2944
tr-timing: pass2 -casts-help/main.rkt line 646      at 3611	last step: 0	gc: 0	total: 2944
tr-timing: pass2 -casts-help/main.rkt line 646      at 3611	last step: 0	gc: 0	total: 2944
tr-timing: pass2 -casts-help/main.rkt line 646      at 3611	last step: 0	gc: 0	total: 2944
tr-timing: pass2 -casts-help/main.rkt line 646      at 3611	last step: 0	gc: 0	total: 2944
tr-timing: pass2 -casts-help/main.rkt line 646      at 3611	last step: 0	gc: 0	total: 2944
tr-timing: pass2 -casts-help/main.rkt line 646      at 3612	last step: 1	gc: 0	total: 2945
tr-timing: pass2 -casts-help/main.rkt line 646      at 3612	last step: 0	gc: 0	total: 2945
tr-timing: pass2 -casts-help/main.rkt line 646      at 3612	last step: 0	gc: 0	total: 2945
tr-timing: pass2 -casts-help/main.rkt line 646      at 3612	last step: 0	gc: 0	total: 2945
tr-timing: pass2 -casts-help/main.rkt line 646      at 3612	last step: 0	gc: 0	total: 2945
tr-timing: pass2 -casts-help/main.rkt line 646      at 3612	last step: 0	gc: 0	total: 2945
tr-timing: pass2 -casts-help/main.rkt line 646      at 3613	last step: 1	gc: 0	total: 2946
tr-timing: pass2 -casts-help/main.rkt line 646      at 3613	last step: 0	gc: 0	total: 2946
tr-timing: pass2 -casts-help/main.rkt line 646      at 3613	last step: 0	gc: 0	total: 2946
tr-timing: pass2 -casts-help/main.rkt line 646      at 3613	last step: 0	gc: 0	total: 2946
tr-timing: pass2 -casts-help/main.rkt line 646      at 3613	last step: 0	gc: 0	total: 2946
tr-timing: pass2 -casts-help/main.rkt line 646      at 3613	last step: 0	gc: 0	total: 2946
tr-timing: pass2 -casts-help/main.rkt line 646      at 3614	last step: 1	gc: 0	total: 2947
tr-timing: pass2 -casts-help/main.rkt line 646      at 3614	last step: 0	gc: 0	total: 2947
tr-timing: pass2 -casts-help/main.rkt line 646      at 3614	last step: 0	gc: 0	total: 2947
tr-timing: pass2 -casts-help/main.rkt line 646      at 3614	last step: 0	gc: 0	total: 2947
tr-timing: pass2 -casts-help/main.rkt line 646      at 3614	last step: 0	gc: 0	total: 2947
tr-timing: pass2 -casts-help/main.rkt line 646      at 3614	last step: 0	gc: 0	total: 2947
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 1	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3615	last step: 0	gc: 0	total: 2948
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 1	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3616	last step: 0	gc: 0	total: 2949
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 1	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 0	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 0	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 0	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 0	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 0	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3617	last step: 0	gc: 0	total: 2950
tr-timing: pass2 -casts-help/main.rkt line 646      at 3618	last step: 1	gc: 0	total: 2951
tr-timing: pass2 -casts-help/main.rkt line 646      at 3618	last step: 0	gc: 0	total: 2951
tr-timing: pass2 -casts-help/main.rkt line 646      at 3618	last step: 0	gc: 0	total: 2951
tr-timing: pass2 -casts-help/main.rkt line 646      at 3618	last step: 0	gc: 0	total: 2951
tr-timing: pass2 -casts-help/main.rkt line 646      at 3618	last step: 0	gc: 0	total: 2951
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 1	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3619	last step: 0	gc: 0	total: 2952
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 1	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3620	last step: 0	gc: 0	total: 2953
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 1	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3621	last step: 0	gc: 0	total: 2954
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 1	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3622	last step: 0	gc: 0	total: 2955
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 1	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 0	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 0	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 0	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 0	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 0	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3623	last step: 0	gc: 0	total: 2956
tr-timing: pass2 -casts-help/main.rkt line 646      at 3624	last step: 1	gc: 0	total: 2957
tr-timing: pass2 -casts-help/main.rkt line 646      at 3624	last step: 0	gc: 0	total: 2957
tr-timing: pass2 -casts-help/main.rkt line 646      at 3624	last step: 0	gc: 0	total: 2957
tr-timing: pass2 -casts-help/main.rkt line 646      at 3624	last step: 0	gc: 0	total: 2957
tr-timing: pass2 -casts-help/main.rkt line 646      at 3624	last step: 0	gc: 0	total: 2957
tr-timing: pass2 -casts-help/main.rkt line 646      at 3625	last step: 1	gc: 0	total: 2958
tr-timing: pass2 -casts-help/main.rkt line 646      at 3625	last step: 0	gc: 0	total: 2958
tr-timing: pass2 -casts-help/main.rkt line 646      at 3625	last step: 0	gc: 0	total: 2958
tr-timing: pass2 -casts-help/main.rkt line 646      at 3626	last step: 1	gc: 0	total: 2959
tr-timing: pass2 -casts-help/main.rkt line 646      at 3626	last step: 0	gc: 0	total: 2959
tr-timing: pass2 -casts-help/main.rkt line 646      at 3626	last step: 0	gc: 0	total: 2959
tr-timing: pass2 -casts-help/main.rkt line 646      at 3627	last step: 1	gc: 0	total: 2960
tr-timing: pass2 -casts-help/main.rkt line 646      at 3627	last step: 0	gc: 0	total: 2960
tr-timing: pass2 -casts-help/main.rkt line 646      at 3627	last step: 0	gc: 0	total: 2960
tr-timing: pass2 -casts-help/main.rkt line 646      at 3627	last step: 0	gc: 0	total: 2960
tr-timing: pass2 -casts-help/main.rkt line 646      at 3628	last step: 1	gc: 0	total: 2961
tr-timing: pass2 -casts-help/main.rkt line 646      at 3628	last step: 0	gc: 0	total: 2961
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 1	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3629	last step: 0	gc: 0	total: 2962
tr-timing: pass2 -casts-help/main.rkt line 646      at 3630	last step: 1	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 809      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 812      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 812      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 813      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 646      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 646      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 646      at 3630	last step: 0	gc: 0	total: 2963
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 1	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3631	last step: 0	gc: 0	total: 2964
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 1	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3632	last step: 0	gc: 0	total: 2965
tr-timing: pass2 -casts-help/main.rkt line 646      at 3633	last step: 1	gc: 0	total: 2966
tr-timing: pass2 -casts-help/main.rkt line 646      at 3633	last step: 0	gc: 0	total: 2966
tr-timing: pass2 -casts-help/main.rkt line 646      at 3633	last step: 0	gc: 0	total: 2966
tr-timing: pass2 -casts-help/main.rkt line 646      at 3633	last step: 0	gc: 0	total: 2966
tr-timing: pass2 -casts-help/main.rkt line 646      at 3633	last step: 0	gc: 0	total: 2966
tr-timing: pass2 -casts-help/main.rkt line 646      at 3633	last step: 0	gc: 0	total: 2966
tr-timing: pass2 -casts-help/main.rkt line 646      at 3634	last step: 1	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 646      at 3634	last step: 0	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 646      at 3634	last step: 0	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 842      at 3634	last step: 0	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 843      at 3634	last step: 0	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 844      at 3634	last step: 0	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 845      at 3634	last step: 0	gc: 0	total: 2967
tr-timing: pass2 -casts-help/main.rkt line 846      at 3635	last step: 1	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 849      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 860      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 861      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 862      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 863      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 864      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 867      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 868      at 3635	last step: 0	gc: 0	total: 2968
tr-timing: pass2 -casts-help/main.rkt line 897      at 3668	last step: 33	gc: 0	total: 3001
tr-timing: pass2 -casts-help/main.rkt line 899      at 3668	last step: 0	gc: 0	total: 3001
tr-timing: pass2 -casts-help/main.rkt line 930      at 3728	last step: 60	gc: 0	total: 3061
tr-timing: pass2 -casts-help/main.rkt line 930      at 3728	last step: 0	gc: 0	total: 3061
tr-timing: pass2 #f line #f                         at 3728	last step: 0	gc: 0	total: 3061
tr-timing: pass2 -casts-help/main.rkt line 937      at 3728	last step: 0	gc: 0	total: 3061
tr-timing: pass2 -casts-help/main.rkt line 937      at 3728	last step: 0	gc: 0	total: 3061
tr-timing: pass2 -casts-help/main.rkt line 939      at 3729	last step: 1	gc: 0	total: 3062
tr-timing: pass2 -casts-help/main.rkt line 939      at 3729	last step: 0	gc: 0	total: 3062
tr-timing: pass2 #f line #f                         at 3729	last step: 0	gc: 0	total: 3062
tr-timing: pass2 -casts-help/main.rkt line 944      at 3729	last step: 0	gc: 0	total: 3062
tr-timing: pass2 -casts-help/main.rkt line 944      at 3729	last step: 0	gc: 0	total: 3062
tr-timing: pass2 -casts-help/main.rkt line 952      at 3730	last step: 1	gc: 0	total: 3063
tr-timing: pass2 -casts-help/main.rkt line 952      at 3730	last step: 0	gc: 0	total: 3063
tr-timing: pass2 #f line #f                         at 3730	last step: 0	gc: 0	total: 3063
tr-timing: pass2 -casts-help/main.rkt line 955      at 3730	last step: 0	gc: 0	total: 3063
tr-timing: pass2 -casts-help/main.rkt line 955      at 3730	last step: 0	gc: 0	total: 3063
tr-timing: pass2 -casts-help/main.rkt line 961      at 3731	last step: 1	gc: 0	total: 3064
tr-timing: pass2 -casts-help/main.rkt line 961      at 3731	last step: 0	gc: 0	total: 3064
tr-timing: pass2 -casts-help/main.rkt line 965      at 3731	last step: 0	gc: 0	total: 3064
tr-timing: pass2 -casts-help/main.rkt line 965      at 3732	last step: 1	gc: 0	total: 3065
tr-timing: pass2 #f line #f                         at 3732	last step: 0	gc: 0	total: 3065
tr-timing: pass2 -casts-help/main.rkt line 967      at 3732	last step: 0	gc: 0	total: 3065
tr-timing: pass2 -casts-help/main.rkt line 967      at 3732	last step: 0	gc: 0	total: 3065
tr-timing: pass2 -casts-help/main.rkt line 969      at 3732	last step: 0	gc: 0	total: 3065
tr-timing: pass2 -casts-help/main.rkt line 969      at 3732	last step: 0	gc: 0	total: 3065
tr-timing: pass2 -casts-help/main.rkt line 970      at 3732	last step: 0	gc: 0	total: 3065
tr-timing: pass2 -casts-help/main.rkt line 970      at 3733	last step: 1	gc: 0	total: 3066
tr-timing: pass2 #f line #f                         at 3733	last step: 0	gc: 0	total: 3066
tr-timing: pass2 -casts-help/main.rkt line 972      at 3733	last step: 0	gc: 0	total: 3066
tr-timing: pass2 -casts-help/main.rkt line 972      at 3733	last step: 0	gc: 0	total: 3066
tr-timing: pass2 -casts-help/main.rkt line 983      at 3733	last step: 0	gc: 0	total: 3066
tr-timing: pass2 -casts-help/main.rkt line 983      at 3734	last step: 1	gc: 0	total: 3067
tr-timing: pass2 -casts-help/main.rkt line 984      at 3734	last step: 0	gc: 0	total: 3067
tr-timing: pass2 -casts-help/main.rkt line 984      at 3734	last step: 0	gc: 0	total: 3067
tr-timing: pass2 #f line #f                         at 3734	last step: 0	gc: 0	total: 3067
tr-timing: pass2 -casts-help/main.rkt line 985      at 3734	last step: 0	gc: 0	total: 3067
tr-timing: pass2 -casts-help/main.rkt line 985      at 3734	last step: 0	gc: 0	total: 3067
tr-timing: pass2 -casts-help/main.rkt line 1008     at 3734	last step: 0	gc: 0	total: 3067
tr-timing: pass2 -casts-help/main.rkt line 1008     at 3735	last step: 1	gc: 0	total: 3068
tr-timing: pass2 -casts-help/main.rkt line 1010     at 3735	last step: 0	gc: 0	total: 3068
tr-timing: pass2 -casts-help/main.rkt line 1011     at 3735	last step: 0	gc: 0	total: 3068
tr-timing: pass2 -casts-help/main.rkt line 1021     at 3739	last step: 4	gc: 0	total: 3072
tr-timing: pass2 -casts-help/main.rkt line 1021     at 3739	last step: 0	gc: 0	total: 3072
tr-timing: pass2 -casts-help/main.rkt line 1029     at 3740	last step: 1	gc: 0	total: 3073
tr-timing: pass2 -casts-help/main.rkt line 1030     at 3741	last step: 1	gc: 0	total: 3074
tr-timing: pass2 -casts-help/main.rkt line 1035     at 3744	last step: 3	gc: 0	total: 3077
tr-timing: pass2 -casts-help/main.rkt line 1036     at 3744	last step: 0	gc: 0	total: 3077
tr-timing: pass2 -casts-help/main.rkt line 1044     at 3747	last step: 3	gc: 0	total: 3080
tr-timing: pass2 -casts-help/main.rkt line 1044     at 3747	last step: 0	gc: 0	total: 3080
tr-timing: pass2 -casts-help/main.rkt line 1046     at 3747	last step: 0	gc: 0	total: 3080
tr-timing: pass2 -casts-help/main.rkt line 1047     at 3747	last step: 0	gc: 0	total: 3080
tr-timing: pass2 -casts-help/main.rkt line 850      at 3750	last step: 3	gc: 0	total: 3083
tr-timing: pass2 -casts-help/main.rkt line 850      at 3750	last step: 0	gc: 0	total: 3083
tr-timing: pass2 -casts-help/main.rkt line 851      at 3751	last step: 1	gc: 0	total: 3084
tr-timing: pass2 -casts-help/main.rkt line 851      at 3751	last step: 0	gc: 0	total: 3084
tr-timing: pass2 -casts-help/main.rkt line 851      at 3751	last step: 0	gc: 0	total: 3084
tr-timing: pass2 -casts-help/main.rkt line 851      at 3751	last step: 0	gc: 0	total: 3084
tr-timing: pass2 -casts-help/main.rkt line 1060     at 3751	last step: 0	gc: 0	total: 3084
tr-timing: pass2 -casts-help/main.rkt line 1060     at 3751	last step: 0	gc: 0	total: 3084
tr-timing: pass2 -casts-help/main.rkt line 1063     at 3752	last step: 1	gc: 0	total: 3085
tr-timing: pass2 -casts-help/main.rkt line 1063     at 3752	last step: 0	gc: 0	total: 3085
tr-timing: pass2 -casts-help/main.rkt line 1066     at 3752	last step: 0	gc: 0	total: 3085
tr-timing: pass2 -casts-help/main.rkt line 1066     at 3752	last step: 0	gc: 0	total: 3085
tr-timing: pass2 -casts-help/main.rkt line 1072     at 3752	last step: 0	gc: 0	total: 3085
tr-timing: pass2 -casts-help/main.rkt line 1072     at 3752	last step: 0	gc: 0	total: 3085
tr-timing: pass2 -casts-help/main.rkt line 1074     at 3753	last step: 1	gc: 0	total: 3086
tr-timing: pass2 -casts-help/main.rkt line 1075     at 3753	last step: 0	gc: 0	total: 3086
tr-timing: pass2 #f line #f                         at 3763	last step: 10	gc: 0	total: 3096
tr-timing: pass2 -casts-help/main.rkt line 1083     at 3763	last step: 0	gc: 0	total: 3096
tr-timing: pass2 -casts-help/main.rkt line 1083     at 3763	last step: 0	gc: 0	total: 3096
tr-timing: pass2 #f line #f                         at 3763	last step: 0	gc: 0	total: 3096
tr-timing: pass2 -casts-help/main.rkt line 1092     at 3763	last step: 0	gc: 0	total: 3096
tr-timing: pass2 -casts-help/main.rkt line 1092     at 3763	last step: 0	gc: 0	total: 3096
tr-timing: pass2 #f line #f                         at 3764	last step: 1	gc: 0	total: 3097
tr-timing: pass2 -casts-help/main.rkt line 1093     at 3764	last step: 0	gc: 0	total: 3097
tr-timing: pass2 -casts-help/main.rkt line 1093     at 3764	last step: 0	gc: 0	total: 3097
tr-timing: pass2 #f line #f                         at 3764	last step: 0	gc: 0	total: 3097
tr-timing: pass2 -casts-help/main.rkt line 1102     at 3764	last step: 0	gc: 0	total: 3097
tr-timing: pass2 -casts-help/main.rkt line 1102     at 3764	last step: 0	gc: 0	total: 3097
tr-timing: pass2 -casts-help/main.rkt line 850      at 3765	last step: 1	gc: 0	total: 3098
tr-timing: pass2 -casts-help/main.rkt line 850      at 3765	last step: 0	gc: 0	total: 3098
tr-timing: pass2 -casts-help/main.rkt line 851      at 3765	last step: 0	gc: 0	total: 3098
tr-timing: pass2 -casts-help/main.rkt line 851      at 3765	last step: 0	gc: 0	total: 3098
tr-timing: pass2 -casts-help/main.rkt line 1115     at 3765	last step: 0	gc: 0	total: 3098
tr-timing: pass2 -casts-help/main.rkt line 1115     at 3765	last step: 0	gc: 0	total: 3098
tr-timing: pass2 -casts-help/main.rkt line 1116     at 3766	last step: 1	gc: 0	total: 3099
tr-timing: pass2 -casts-help/main.rkt line 1117     at 3766	last step: 0	gc: 0	total: 3099
tr-timing: pass2 -casts-help/main.rkt line 1172     at 3832	last step: 66	gc: 11	total: 3165
tr-timing: pass2 -casts-help/main.rkt line 1173     at 3833	last step: 1	gc: 0	total: 3166
tr-timing: pass2 -casts-help/main.rkt line 646      at 3892	last step: 59	gc: 0	total: 3225
tr-timing: pass2 -casts-help/main.rkt line 646      at 3892	last step: 0	gc: 0	total: 3225
tr-timing: pass2 -casts-help/main.rkt line 646      at 3892	last step: 0	gc: 0	total: 3225
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 1	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3893	last step: 0	gc: 0	total: 3226
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 1	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3894	last step: 0	gc: 0	total: 3227
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 1	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3895	last step: 0	gc: 0	total: 3228
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 1	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3896	last step: 0	gc: 0	total: 3229
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 1	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3897	last step: 0	gc: 0	total: 3230
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 1	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3898	last step: 0	gc: 0	total: 3231
tr-timing: pass2 -casts-help/main.rkt line 646      at 3899	last step: 1	gc: 0	total: 3232
tr-timing: pass2 -casts-help/main.rkt line 646      at 3899	last step: 0	gc: 0	total: 3232
tr-timing: pass2 -casts-help/main.rkt line 646      at 3899	last step: 0	gc: 0	total: 3232
tr-timing: pass2 -casts-help/main.rkt line 646      at 3899	last step: 0	gc: 0	total: 3232
tr-timing: pass2 -casts-help/main.rkt line 646      at 3899	last step: 0	gc: 0	total: 3232
tr-timing: pass2 -casts-help/main.rkt line 646      at 3899	last step: 0	gc: 0	total: 3232
tr-timing: pass2 -casts-help/main.rkt line 646      at 3900	last step: 1	gc: 0	total: 3233
tr-timing: pass2 -casts-help/main.rkt line 646      at 3900	last step: 0	gc: 0	total: 3233
tr-timing: pass2 -casts-help/main.rkt line 646      at 3900	last step: 0	gc: 0	total: 3233
tr-timing: pass2 -casts-help/main.rkt line 646      at 3900	last step: 0	gc: 0	total: 3233
tr-timing: pass2 -casts-help/main.rkt line 646      at 3900	last step: 0	gc: 0	total: 3233
tr-timing: pass2 -casts-help/main.rkt line 646      at 3900	last step: 0	gc: 0	total: 3233
tr-timing: pass2 -casts-help/main.rkt line 646      at 3901	last step: 1	gc: 0	total: 3234
tr-timing: pass2 -casts-help/main.rkt line 646      at 3901	last step: 0	gc: 0	total: 3234
tr-timing: pass2 -casts-help/main.rkt line 646      at 3901	last step: 0	gc: 0	total: 3234
tr-timing: pass2 -casts-help/main.rkt line 646      at 3901	last step: 0	gc: 0	total: 3234
tr-timing: pass2 -casts-help/main.rkt line 646      at 3901	last step: 0	gc: 0	total: 3234
tr-timing: pass2 -casts-help/main.rkt line 646      at 3901	last step: 0	gc: 0	total: 3234
tr-timing: pass2 -casts-help/main.rkt line 646      at 3902	last step: 1	gc: 0	total: 3235
tr-timing: pass2 -casts-help/main.rkt line 646      at 3902	last step: 0	gc: 0	total: 3235
tr-timing: pass2 -casts-help/main.rkt line 646      at 3903	last step: 1	gc: 0	total: 3236
tr-timing: pass2 -casts-help/main.rkt line 646      at 3903	last step: 0	gc: 0	total: 3236
tr-timing: pass2 -casts-help/main.rkt line 646      at 3903	last step: 0	gc: 0	total: 3236
tr-timing: pass2 -casts-help/main.rkt line 646      at 3904	last step: 1	gc: 0	total: 3237
tr-timing: pass2 -casts-help/main.rkt line 646      at 3904	last step: 0	gc: 0	total: 3237
tr-timing: pass2 -casts-help/main.rkt line 646      at 3904	last step: 0	gc: 0	total: 3237
tr-timing: pass2 -casts-help/main.rkt line 646      at 3904	last step: 0	gc: 0	total: 3237
tr-timing: pass2 -casts-help/main.rkt line 646      at 3905	last step: 1	gc: 0	total: 3238
tr-timing: pass2 -casts-help/main.rkt line 646      at 3905	last step: 0	gc: 0	total: 3238
tr-timing: pass2 -casts-help/main.rkt line 646      at 3905	last step: 0	gc: 0	total: 3238
tr-timing: pass2 -casts-help/main.rkt line 646      at 3906	last step: 1	gc: 0	total: 3239
tr-timing: pass2 -casts-help/main.rkt line 646      at 3906	last step: 0	gc: 0	total: 3239
tr-timing: pass2 -casts-help/main.rkt line 646      at 3906	last step: 0	gc: 0	total: 3239
tr-timing: pass2 -casts-help/main.rkt line 646      at 3906	last step: 0	gc: 0	total: 3239
tr-timing: pass2 -casts-help/main.rkt line 646      at 3906	last step: 0	gc: 0	total: 3239
tr-timing: pass2 -casts-help/main.rkt line 646      at 3906	last step: 0	gc: 0	total: 3239
tr-timing: pass2 -casts-help/main.rkt line 646      at 3907	last step: 1	gc: 0	total: 3240
tr-timing: pass2 -casts-help/main.rkt line 646      at 3907	last step: 0	gc: 0	total: 3240
tr-timing: pass2 -casts-help/main.rkt line 646      at 3907	last step: 0	gc: 0	total: 3240
tr-timing: pass2 -casts-help/main.rkt line 646      at 3907	last step: 0	gc: 0	total: 3240
tr-timing: pass2 -casts-help/main.rkt line 646      at 3907	last step: 0	gc: 0	total: 3240
tr-timing: pass2 -casts-help/main.rkt line 646      at 3907	last step: 0	gc: 0	total: 3240
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 1	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3908	last step: 0	gc: 0	total: 3241
tr-timing: pass2 -casts-help/main.rkt line 646      at 3909	last step: 1	gc: 0	total: 3242
tr-timing: pass2 -casts-help/main.rkt line 646      at 3909	last step: 0	gc: 0	total: 3242
tr-timing: pass2 -casts-help/main.rkt line 646      at 3909	last step: 0	gc: 0	total: 3242
tr-timing: pass2 -casts-help/main.rkt line 646      at 3909	last step: 0	gc: 0	total: 3242
tr-timing: pass2 -casts-help/main.rkt line 646      at 3910	last step: 1	gc: 0	total: 3243
tr-timing: pass2 -casts-help/main.rkt line 646      at 3910	last step: 0	gc: 0	total: 3243
tr-timing: pass2 -casts-help/main.rkt line 646      at 3910	last step: 0	gc: 0	total: 3243
tr-timing: pass2 -casts-help/main.rkt line 646      at 3910	last step: 0	gc: 0	total: 3243
tr-timing: pass2 -casts-help/main.rkt line 646      at 3911	last step: 1	gc: 0	total: 3244
tr-timing: pass2 -casts-help/main.rkt line 646      at 3911	last step: 0	gc: 0	total: 3244
tr-timing: pass2 -casts-help/main.rkt line 646      at 3911	last step: 0	gc: 0	total: 3244
tr-timing: pass2 -casts-help/main.rkt line 646      at 3911	last step: 0	gc: 0	total: 3244
tr-timing: pass2 -casts-help/main.rkt line 646      at 3912	last step: 1	gc: 0	total: 3245
tr-timing: pass2 -casts-help/main.rkt line 646      at 3912	last step: 0	gc: 0	total: 3245
tr-timing: pass2 -casts-help/main.rkt line 646      at 3912	last step: 0	gc: 0	total: 3245
tr-timing: pass2 -casts-help/main.rkt line 646      at 3912	last step: 0	gc: 0	total: 3245
tr-timing: pass2 -casts-help/main.rkt line 646      at 3913	last step: 1	gc: 0	total: 3246
tr-timing: pass2 -casts-help/main.rkt line 646      at 3913	last step: 0	gc: 0	total: 3246
tr-timing: pass2 -casts-help/main.rkt line 646      at 3913	last step: 0	gc: 0	total: 3246
tr-timing: pass2 -casts-help/main.rkt line 646      at 3913	last step: 0	gc: 0	total: 3246
tr-timing: pass2 -casts-help/main.rkt line 646      at 3913	last step: 0	gc: 0	total: 3246
tr-timing: pass2 -casts-help/main.rkt line 646      at 3913	last step: 0	gc: 0	total: 3246
tr-timing: pass2 -casts-help/main.rkt line 646      at 3914	last step: 1	gc: 0	total: 3247
tr-timing: pass2 -casts-help/main.rkt line 646      at 3914	last step: 0	gc: 0	total: 3247
tr-timing: pass2 -casts-help/main.rkt line 646      at 3914	last step: 0	gc: 0	total: 3247
tr-timing: pass2 -casts-help/main.rkt line 646      at 3914	last step: 0	gc: 0	total: 3247
tr-timing: pass2 -casts-help/main.rkt line 646      at 3914	last step: 0	gc: 0	total: 3247
tr-timing: pass2 -casts-help/main.rkt line 646      at 3914	last step: 0	gc: 0	total: 3247
tr-timing: pass2 -casts-help/main.rkt line 646      at 3915	last step: 1	gc: 0	total: 3248
tr-timing: pass2 -casts-help/main.rkt line 646      at 3915	last step: 0	gc: 0	total: 3248
tr-timing: pass2 -casts-help/main.rkt line 646      at 3915	last step: 0	gc: 0	total: 3248
tr-timing: pass2 -casts-help/main.rkt line 646      at 3916	last step: 1	gc: 0	total: 3249
tr-timing: pass2 -casts-help/main.rkt line 646      at 3916	last step: 0	gc: 0	total: 3249
tr-timing: pass2 -casts-help/main.rkt line 646      at 3916	last step: 0	gc: 0	total: 3249
tr-timing: pass2 -casts-help/main.rkt line 646      at 3916	last step: 0	gc: 0	total: 3249
tr-timing: pass2 -casts-help/main.rkt line 646      at 3916	last step: 0	gc: 0	total: 3249
tr-timing: pass2 -casts-help/main.rkt line 646      at 3916	last step: 0	gc: 0	total: 3249
tr-timing: pass2 -casts-help/main.rkt line 646      at 3917	last step: 1	gc: 0	total: 3250
tr-timing: pass2 -casts-help/main.rkt line 646      at 3917	last step: 0	gc: 0	total: 3250
tr-timing: pass2 -casts-help/main.rkt line 646      at 3917	last step: 0	gc: 0	total: 3250
tr-timing: pass2 -casts-help/main.rkt line 646      at 3918	last step: 1	gc: 0	total: 3251
tr-timing: pass2 -casts-help/main.rkt line 646      at 3918	last step: 0	gc: 0	total: 3251
tr-timing: pass2 -casts-help/main.rkt line 646      at 3918	last step: 0	gc: 0	total: 3251
tr-timing: pass2 -casts-help/main.rkt line 646      at 3919	last step: 1	gc: 0	total: 3252
tr-timing: pass2 -casts-help/main.rkt line 646      at 3919	last step: 0	gc: 0	total: 3252
tr-timing: pass2 -casts-help/main.rkt line 646      at 3920	last step: 1	gc: 0	total: 3253
tr-timing: pass2 -casts-help/main.rkt line 646      at 3920	last step: 0	gc: 0	total: 3253
tr-timing: pass2 -casts-help/main.rkt line 646      at 3920	last step: 0	gc: 0	total: 3253
tr-timing: pass2 -casts-help/main.rkt line 646      at 3921	last step: 1	gc: 0	total: 3254
tr-timing: pass2 -casts-help/main.rkt line 646      at 3921	last step: 0	gc: 0	total: 3254
tr-timing: pass2 -casts-help/main.rkt line 646      at 3921	last step: 0	gc: 0	total: 3254
tr-timing: pass2 -casts-help/main.rkt line 646      at 3921	last step: 0	gc: 0	total: 3254
tr-timing: pass2 -casts-help/main.rkt line 646      at 3922	last step: 1	gc: 0	total: 3255
tr-timing: pass2 -casts-help/main.rkt line 646      at 3922	last step: 0	gc: 0	total: 3255
tr-timing: pass2 -casts-help/main.rkt line 646      at 3922	last step: 0	gc: 0	total: 3255
tr-timing: pass2 -casts-help/main.rkt line 1274     at 3922	last step: 0	gc: 0	total: 3255
tr-timing: pass2 -casts-help/main.rkt line 1274     at 3922	last step: 0	gc: 0	total: 3255
tr-timing: pass2 -casts-help/main.rkt line 1275     at 3922	last step: 0	gc: 0	total: 3255
tr-timing: pass2 -casts-help/main.rkt line 1275     at 3923	last step: 1	gc: 0	total: 3256
tr-timing: pass2 -casts-help/main.rkt line 1277     at 3923	last step: 0	gc: 0	total: 3256
tr-timing: pass2 -casts-help/main.rkt line 1277     at 3923	last step: 0	gc: 0	total: 3256
tr-timing: pass2 -casts-help/main.rkt line 1279     at 3923	last step: 0	gc: 0	total: 3256
tr-timing: pass2 -casts-help/main.rkt line 1279     at 3923	last step: 0	gc: 0	total: 3256
tr-timing: pass2 -casts-help/main.rkt line 1281     at 3924	last step: 1	gc: 0	total: 3257
tr-timing: pass2 -casts-help/main.rkt line 1281     at 3924	last step: 0	gc: 0	total: 3257
tr-timing: pass2 -casts-help/main.rkt line 1283     at 3924	last step: 0	gc: 0	total: 3257
tr-timing: pass2 -casts-help/main.rkt line 1283     at 3924	last step: 0	gc: 0	total: 3257
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3924	last step: 0	gc: 0	total: 3257
tr-timing: pass2 t/base-env/prims.rkt line 717      at 3925	last step: 1	gc: 0	total: 3258
tr-timing: pass2 -casts-help/main.rkt line 1295     at 3925	last step: 0	gc: 0	total: 3258
tr-timing: pass2 -casts-help/main.rkt line 1295     at 3926	last step: 1	gc: 0	total: 3259
tr-timing: pass2 -casts-help/main.rkt line 1297     at 3926	last step: 0	gc: 0	total: 3259
tr-timing: pass2 -casts-help/main.rkt line 1297     at 3926	last step: 0	gc: 0	total: 3259
tr-timing: pass2 -casts-help/main.rkt line 1306     at 3927	last step: 1	gc: 0	total: 3260
tr-timing: pass2 -casts-help/main.rkt line 1306     at 3927	last step: 0	gc: 0	total: 3260
tr-timing: pass2 -casts-help/main.rkt line 1315     at 3928	last step: 1	gc: 0	total: 3261
tr-timing: pass2 -casts-help/main.rkt line 1315     at 3928	last step: 0	gc: 0	total: 3261
tr-timing: pass2 -casts-help/main.rkt line 1326     at 3929	last step: 1	gc: 0	total: 3262
tr-timing: pass2 -casts-help/main.rkt line 1326     at 3929	last step: 0	gc: 0	total: 3262
tr-timing: pass2 -casts-help/main.rkt line 1339     at 3930	last step: 1	gc: 0	total: 3263
tr-timing: pass2 -casts-help/main.rkt line 1339     at 3930	last step: 0	gc: 0	total: 3263
tr-timing: pass2 -casts-help/main.rkt line 1341     at 3931	last step: 1	gc: 0	total: 3264
tr-timing: pass2 -casts-help/main.rkt line 1341     at 3931	last step: 0	gc: 0	total: 3264
tr-timing: pass2 -casts-help/main.rkt line 1351     at 3932	last step: 1	gc: 0	total: 3265
tr-timing: pass2 -casts-help/main.rkt line 1351     at 3932	last step: 0	gc: 0	total: 3265
tr-timing: pass2 -casts-help/main.rkt line 1529     at 3932	last step: 0	gc: 0	total: 3265
tr-timing: pass2 -casts-help/main.rkt line 1529     at 3933	last step: 1	gc: 0	total: 3266
tr-timing: pass2 -casts-help/main.rkt line 1534     at 3933	last step: 0	gc: 0	total: 3266
tr-timing: pass2 -casts-help/main.rkt line 1535     at 3934	last step: 1	gc: 0	total: 3267
tr-timing: pass2 -casts-help/main.rkt line 1563     at 4053	last step: 119	gc: 0	total: 3386
tr-timing: pass2 -casts-help/main.rkt line 1563     at 4053	last step: 0	gc: 0	total: 3386
tr-timing: pass2 -casts-help/main.rkt line 1566     at 4053	last step: 0	gc: 0	total: 3386
tr-timing: pass2 -casts-help/main.rkt line 1566     at 4053	last step: 0	gc: 0	total: 3386
tr-timing: pass2 -casts-help/main.rkt line 1681     at 4055	last step: 2	gc: 0	total: 3388
tr-timing: pass2 -casts-help/main.rkt line 1681     at 4055	last step: 0	gc: 0	total: 3388
tr-timing: pass2 -casts-help/main.rkt line 1684     at 4055	last step: 0	gc: 0	total: 3388
tr-timing: pass2 -casts-help/main.rkt line 1684     at 4055	last step: 0	gc: 0	total: 3388
tr-timing: pass2 -casts-help/main.rkt line 1685     at 4055	last step: 0	gc: 0	total: 3388
tr-timing: pass2 -casts-help/main.rkt line 1685     at 4055	last step: 0	gc: 0	total: 3388
tr-timing: pass2 -casts-help/main.rkt line 1686     at 4056	last step: 1	gc: 0	total: 3389
tr-timing: pass2 -casts-help/main.rkt line 1686     at 4056	last step: 0	gc: 0	total: 3389
tr-timing: pass2 -casts-help/main.rkt line 1687     at 4056	last step: 0	gc: 0	total: 3389
tr-timing: pass2 -casts-help/main.rkt line 1687     at 4056	last step: 0	gc: 0	total: 3389
tr-timing: pass2 -casts-help/main.rkt line 1688     at 4056	last step: 0	gc: 0	total: 3389
tr-timing: pass2 -casts-help/main.rkt line 1688     at 4056	last step: 0	gc: 0	total: 3389
tr-timing: pass2 -casts-help/main.rkt line 1717     at 4057	last step: 1	gc: 0	total: 3390
tr-timing: pass2 -casts-help/main.rkt line 1718     at 4057	last step: 0	gc: 0	total: 3390
tr-timing: pass2 -casts-help/main.rkt line 1727     at 4058	last step: 1	gc: 0	total: 3391
tr-timing: pass2 -casts-help/main.rkt line 1728     at 4058	last step: 0	gc: 0	total: 3391
tr-timing: pass2 -casts-help/main.rkt line 1730     at 4059	last step: 1	gc: 0	total: 3392
tr-timing: pass2 -casts-help/main.rkt line 1730     at 4059	last step: 0	gc: 0	total: 3392
tr-timing: pass2 -casts-help/main.rkt line 1731     at 4059	last step: 0	gc: 0	total: 3392
tr-timing: pass2 -casts-help/main.rkt line 1732     at 4059	last step: 0	gc: 0	total: 3392
tr-timing: pass2 -casts-help/main.rkt line 1739     at 4060	last step: 1	gc: 0	total: 3393
tr-timing: pass2 -casts-help/main.rkt line 1740     at 4060	last step: 0	gc: 0	total: 3393
tr-timing: pass2 -casts-help/main.rkt line 1746     at 4452	last step: 392	gc: 264	total: 3785
tr-timing: pass2 -casts-help/main.rkt line 1751     at 4452	last step: 0	gc: 0	total: 3785
tr-timing: pass2 -casts-help/main.rkt line 1752     at 4453	last step: 1	gc: 0	total: 3786
tr-timing: pass2 -casts-help/main.rkt line 1757     at 4583	last step: 130	gc: 3	total: 3916
tr-timing: pass2 -casts-help/main.rkt line 1758     at 4584	last step: 1	gc: 0	total: 3917
tr-timing: pass2 -casts-help/main.rkt line 1761     at 4596	last step: 12	gc: 0	total: 3929
tr-timing: pass2 -casts-help/main.rkt line 1762     at 4596	last step: 0	gc: 0	total: 3929
tr-timing: pass2 -casts-help/main.rkt line 1765     at 4605	last step: 9	gc: 0	total: 3938
tr-timing: pass2 -casts-help/main.rkt line 1772     at 4605	last step: 0	gc: 0	total: 3938
tr-timing: pass2 -casts-help/main.rkt line 1772     at 4605	last step: 0	gc: 0	total: 3938
tr-timing: pass2 -casts-help/main.rkt line 1808     at 4605	last step: 0	gc: 0	total: 3938
tr-timing: pass2 -casts-help/main.rkt line 1814     at 4606	last step: 1	gc: 0	total: 3939
tr-timing: pass2 -casts-help/main.rkt line 1826     at 4950	last step: 344	gc: 4	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 1858     at 4950	last step: 0	gc: 0	total: 4283
tr-timing: pass2 -casts-help/main.rkt line 1859     at 4951	last step: 1	gc: 0	total: 4284
tr-timing: pass2 -casts-help/main.rkt line 1867     at 5086	last step: 135	gc: 0	total: 4419
tr-timing: pass2 -casts-help/main.rkt line 1868     at 5087	last step: 1	gc: 0	total: 4420
tr-timing: pass2 -casts-help/main.rkt line 1880     at 5143	last step: 56	gc: 2	total: 4476
tr-timing: pass2 -casts-help/main.rkt line 1881     at 5144	last step: 1	gc: 0	total: 4477
tr-timing: pass2 -casts-help/main.rkt line 1895     at 5315	last step: 171	gc: 2	total: 4648
tr-timing: pass2 -casts-help/main.rkt line 1896     at 5316	last step: 1	gc: 0	total: 4649
tr-timing: pass2 -casts-help/main.rkt line 1902     at 5438	last step: 122	gc: 2	total: 4771
tr-timing: pass2 -casts-help/main.rkt line 1903     at 5439	last step: 1	gc: 0	total: 4772
tr-timing: pass2 -casts-help/main.rkt line 1910     at 5553	last step: 114	gc: 2	total: 4886
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5553	last step: 0	gc: 0	total: 4886
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5553	last step: 0	gc: 0	total: 4886
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5553	last step: 0	gc: 0	total: 4886
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5554	last step: 1	gc: 0	total: 4887
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5554	last step: 0	gc: 0	total: 4887
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5554	last step: 0	gc: 0	total: 4887
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5554	last step: 0	gc: 0	total: 4887
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5555	last step: 1	gc: 0	total: 4888
tr-timing: pass2 -casts-help/main.rkt line 1913     at 5555	last step: 0	gc: 0	total: 4888
tr-timing: pass2 -casts-help/main.rkt line 1914     at 5555	last step: 0	gc: 0	total: 4888
tr-timing: pass2 -casts-help/main.rkt line 1914     at 5691	last step: 136	gc: 2	total: 5024
tr-timing: pass2 -casts-help/main.rkt line 1914     at 5815	last step: 124	gc: 2	total: 5148
tr-timing: pass2 -casts-help/main.rkt line 1914     at 5945	last step: 130	gc: 1	total: 5278
tr-timing: pass2 -casts-help/main.rkt line 1914     at 6064	last step: 119	gc: 2	total: 5397
tr-timing: pass2 -casts-help/main.rkt line 1914     at 6201	last step: 137	gc: 2	total: 5534
tr-timing: pass2 -casts-help/main.rkt line 1914     at 6325	last step: 124	gc: 1	total: 5658
tr-timing: pass2 -casts-help/main.rkt line 1914     at 6456	last step: 131	gc: 2	total: 5789
tr-timing: pass2 -casts-help/main.rkt line 1914     at 6594	last step: 138	gc: 3	total: 5927
tr-timing: pass2 -casts-help/main.rkt line 1933     at 6724	last step: 130	gc: 2	total: 6057
tr-timing: pass2 -casts-help/main.rkt line 1936     at 6725	last step: 1	gc: 0	total: 6058
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6725	last step: 0	gc: 0	total: 6058
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6725	last step: 0	gc: 0	total: 6058
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6725	last step: 0	gc: 0	total: 6058
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6726	last step: 1	gc: 0	total: 6059
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6726	last step: 0	gc: 0	total: 6059
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6726	last step: 0	gc: 0	total: 6059
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6726	last step: 0	gc: 0	total: 6059
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6726	last step: 0	gc: 0	total: 6059
tr-timing: pass2 -casts-help/main.rkt line 1939     at 6727	last step: 1	gc: 0	total: 6060
tr-timing: pass2 -casts-help/main.rkt line 1940     at 6727	last step: 0	gc: 0	total: 6060
tr-timing: pass2 -casts-help/main.rkt line 1940     at 6850	last step: 123	gc: 2	total: 6183
tr-timing: pass2 -casts-help/main.rkt line 1940     at 6986	last step: 136	gc: 3	total: 6319
tr-timing: pass2 -casts-help/main.rkt line 1940     at 7117	last step: 131	gc: 1	total: 6450
tr-timing: pass2 -casts-help/main.rkt line 1940     at 7242	last step: 125	gc: 2	total: 6575
tr-timing: pass2 -casts-help/main.rkt line 1940     at 7357	last step: 115	gc: 2	total: 6690
tr-timing: pass2 -casts-help/main.rkt line 1940     at 7482	last step: 125	gc: 3	total: 6815
tr-timing: pass2 -casts-help/main.rkt line 1940     at 7618	last step: 136	gc: 2	total: 6951
tr-timing: pass2 -casts-help/main.rkt line 1940     at 7750	last step: 132	gc: 2	total: 7083
tr-timing: pass2 -casts-help/main.rkt line 1960     at 7877	last step: 127	gc: 3	total: 7210
tr-timing: pass2 -casts-help/main.rkt line 1961     at 7878	last step: 1	gc: 0	total: 7211
tr-timing: pass2 -casts-help/main.rkt line 1969     at 8010	last step: 132	gc: 1	total: 7343
tr-timing: pass2 -casts-help/main.rkt line 1970     at 8011	last step: 1	gc: 0	total: 7344
tr-timing: pass2 -casts-help/main.rkt line 1978     at 8145	last step: 134	gc: 2	total: 7478
tr-timing: pass2 t/base-env/prims.rkt line 717      at 8145	last step: 0	gc: 0	total: 7478
tr-timing: pass2 t/base-env/prims.rkt line 717      at 8145	last step: 0	gc: 0	total: 7478
tr-timing: pass2 t/base-env/prims.rkt line 717      at 8208	last step: 63	gc: 0	total: 7541
tr-timing: pass2 t/base-env/prims.rkt line 717      at 8209	last step: 1	gc: 0	total: 7542
tr-timing: pass2 -casts-help/main.rkt line 1991     at 8260	last step: 51	gc: 0	total: 7593
tr-timing: pass2 -casts-help/main.rkt line 1992     at 8261	last step: 1	gc: 0	total: 7594
tr-timing: pass2 -casts-help/main.rkt line 1998     at 8404	last step: 143	gc: 3	total: 7737
tr-timing: pass2 -casts-help/main.rkt line 1999     at 8405	last step: 1	gc: 0	total: 7738
tr-timing: pass2 -casts-help/main.rkt line 2008     at 8457	last step: 52	gc: 1	total: 7790
tr-timing: pass2 -casts-help/main.rkt line 2009     at 8458	last step: 1	gc: 0	total: 7791
tr-timing: pass2 -casts-help/main.rkt line 2018     at 8573	last step: 115	gc: 2	total: 7906
tr-timing: pass2 -casts-help/main.rkt line 2021     at 8573	last step: 0	gc: 0	total: 7906
tr-timing: pass2 -casts-help/main.rkt line 2021     at 8574	last step: 1	gc: 0	total: 7907
tr-timing: pass2 -casts-help/main.rkt line 2021     at 8574	last step: 0	gc: 0	total: 7907
tr-timing: pass2 -casts-help/main.rkt line 2021     at 8574	last step: 0	gc: 0	total: 7907
tr-timing: pass2 -casts-help/main.rkt line 2021     at 8574	last step: 0	gc: 0	total: 7907
tr-timing: pass2 -casts-help/main.rkt line 2022     at 8575	last step: 1	gc: 0	total: 7908
tr-timing: pass2 -casts-help/main.rkt line 2022     at 8700	last step: 125	gc: 1	total: 8033
tr-timing: pass2 -casts-help/main.rkt line 2022     at 8871	last step: 171	gc: 3	total: 8204
tr-timing: pass2 -casts-help/main.rkt line 2022     at 9016	last step: 145	gc: 3	total: 8349
tr-timing: pass2 -casts-help/main.rkt line 2022     at 9187	last step: 171	gc: 2	total: 8520
tr-timing: pass2 -casts-help/main.rkt line 2037     at 9341	last step: 154	gc: 2	total: 8674
tr-timing: pass2 -casts-help/main.rkt line 2038     at 9342	last step: 1	gc: 0	total: 8675
tr-timing: pass2 -casts-help/main.rkt line 2046     at 9469	last step: 127	gc: 1	total: 8802
tr-timing: pass2 -casts-help/main.rkt line 2047     at 9470	last step: 1	gc: 0	total: 8803
tr-timing: pass2 -casts-help/main.rkt line 2055     at 9591	last step: 121	gc: 2	total: 8924
tr-timing: pass2 -casts-help/main.rkt line 2056     at 9592	last step: 1	gc: 0	total: 8925
tr-timing: pass2 -casts-help/main.rkt line 2064     at 9712	last step: 120	gc: 2	total: 9045
tr-timing: pass2 -casts-help/main.rkt line 2065     at 9712	last step: 0	gc: 0	total: 9045
tr-timing: pass2 -casts-help/main.rkt line 2073     at 9836	last step: 124	gc: 3	total: 9169
tr-timing: pass2 -casts-help/main.rkt line 2077     at 9836	last step: 0	gc: 0	total: 9169
tr-timing: pass2 -casts-help/main.rkt line 2094     at 10193	last step: 357	gc: 12	total: 9526
tr-timing: pass2 -casts-help/main.rkt line 2097     at 10193	last step: 0	gc: 0	total: 9526
tr-timing: Finished pass2                           at 10196	last step: 3	gc: 0	total: 9529
tr-timing: finished provide generation              at 10915	last step: 719	gc: 23	total: 10248
tr-timing: finished type checking                   at 10915	last step: 0	gc: 0	total: 10248
tr-timing: Typechecking Done                        at 10915	last step: 0	gc: 0	total: 10248
tr-timing: Removed provides                         at 10918	last step: 3	gc: 0	total: 10251
tr-timing: Fixed contract ids                       at 10970	last step: 52	gc: 0	total: 10303
tr-timing: Generated contracts                      at 24127	last step: 13157	gc: 749	total: 23460
tr-timing: Starting optimizer                       at 24128	last step: 1	gc: 0	total: 23461
tr-timing: Optimized                                at 24830	last step: 702	gc: 32	total: 24163
tr-timing: Finished, returning to Racket            at 24831	last step: 1	gc: 0	total: 24164
"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"]
