case=0 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000536466
case=1 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000409696
case=2 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000197647
case=3 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000137046
case=4 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.972e-05
case=5 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.9795e-05
case=6 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00357511
case=7 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00307983
case=8 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00217525
case=9 t=11 d=3 p1=0 p2=0 nodes=52 leaves=0 coeff=0 equal=0 seconds=0.00115484
case=10 t=11 d=4 p1=0 p2=0 nodes=558 leaves=0 coeff=0 equal=0 seconds=0.000692101
case=11 t=11 d=5 p1=0 p2=0 nodes=1911 leaves=0 coeff=0 equal=0 seconds=0.000729417
case=12 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010916
case=13 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000803698
case=14 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000380482
case=15 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000342495
case=16 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000109385
case=17 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.7461e-05
case=18 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000135904
case=19 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000111688
case=20 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.2098e-05
case=21 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.7712e-05
case=22 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.318e-05
case=23 t=11 d=5 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.2063e-05
case=24 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0028483
case=25 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00231491
case=26 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00145105
case=27 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00097069
case=28 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000425099
case=29 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000189375
case=30 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0025641
case=31 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00227289
case=32 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0021292
case=33 t=11 d=3 p1=0 p2=0 nodes=52 leaves=0 coeff=0 equal=0 seconds=0.00103411
case=34 t=11 d=4 p1=0 p2=0 nodes=516 leaves=0 coeff=0 equal=0 seconds=0.000687925
case=35 t=11 d=5 p1=0 p2=0 nodes=1476 leaves=0 coeff=0 equal=0 seconds=0.000555365
case=36 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000781786
case=37 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000965542
case=38 t=11 d=2 p1=1 p2=0 nodes=36 leaves=0 coeff=0 equal=0 seconds=0.000422315
case=39 t=11 d=3 p1=1 p2=0 nodes=301 leaves=0 coeff=0 equal=0 seconds=0.000289225
case=40 t=11 d=4 p1=1 p2=0 nodes=692 leaves=0 coeff=0 equal=0 seconds=0.0001994
case=41 t=11 d=5 p1=1 p2=0 nodes=166 leaves=0 coeff=0 equal=0 seconds=6.661e-05
case=42 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00211908
case=43 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00145349
case=44 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000894406
case=45 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000477167
case=46 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00023222
case=47 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000115915
case=48 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00270569
case=49 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00217625
case=50 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00149998
case=51 t=11 d=3 p1=0 p2=0 nodes=178 leaves=0 coeff=0 equal=0 seconds=0.0010149
case=52 t=11 d=4 p1=0 p2=0 nodes=1146 leaves=0 coeff=0 equal=0 seconds=0.000998432
case=53 t=11 d=5 p1=0 p2=0 nodes=2356 leaves=0 coeff=0 equal=0 seconds=0.000872493
case=54 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154819
case=55 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00130885
case=56 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000866743
case=57 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000421594
case=58 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000222294
case=59 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.1608e-05
case=60 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000335845
case=61 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000282575
case=62 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000131588
case=63 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.7757e-05
case=64 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.2399e-05
case=65 t=11 d=5 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.332e-05
case=66 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00248055
case=67 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199023
case=68 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125592
case=69 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00070508
case=70 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000383637
case=71 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000172189
case=72 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000509176
case=73 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00042571
case=74 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000285339
case=75 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000140061
case=76 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.0011e-05
case=77 t=11 d=5 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.6074e-05
case=78 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00218331
case=79 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00206256
case=80 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00135936
case=81 t=11 d=3 p1=0 p2=0 nodes=160 leaves=0 coeff=0 equal=0 seconds=0.000985582
case=82 t=11 d=4 p1=0 p2=0 nodes=1556 leaves=0 coeff=0 equal=0 seconds=0.000871841
case=83 t=11 d=5 p1=0 p2=0 nodes=2865 leaves=0 coeff=0 equal=0 seconds=0.00103177
case=84 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000795036
case=85 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000567063
case=86 t=11 d=2 p1=1 p2=0 nodes=36 leaves=0 coeff=0 equal=0 seconds=0.00041876
case=87 t=11 d=3 p1=1 p2=0 nodes=280 leaves=0 coeff=0 equal=0 seconds=0.000271438
case=88 t=11 d=4 p1=1 p2=0 nodes=542 leaves=0 coeff=0 equal=0 seconds=0.000216145
case=89 t=11 d=5 p1=1 p2=0 nodes=86 leaves=0 coeff=0 equal=0 seconds=8.5148e-05
case=90 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00193943
case=91 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00172888
case=92 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00117123
case=93 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000648185
case=94 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000415384
case=95 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000170717
case=96 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000460012
case=97 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000466521
case=98 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000298599
case=99 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000334052
case=100 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.5924e-05
case=101 t=11 d=5 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.2974e-05
case=102 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00204306
case=103 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177616
case=104 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00137846
case=105 t=11 d=3 p1=0 p2=0 nodes=142 leaves=0 coeff=0 equal=0 seconds=0.000829267
case=106 t=11 d=4 p1=0 p2=0 nodes=1446 leaves=0 coeff=0 equal=0 seconds=0.000801275
case=107 t=11 d=5 p1=0 p2=0 nodes=1020 leaves=0 coeff=0 equal=0 seconds=0.000526151
case=108 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000748666
case=109 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000662987
case=110 t=11 d=2 p1=1 p2=0 nodes=72 leaves=0 coeff=0 equal=0 seconds=0.000393342
case=111 t=11 d=3 p1=1 p2=0 nodes=576 leaves=0 coeff=0 equal=0 seconds=0.000328865
case=112 t=11 d=4 p1=1 p2=0 nodes=786 leaves=0 coeff=0 equal=0 seconds=0.000320221
case=113 t=11 d=5 p1=1 p2=0 nodes=26 leaves=0 coeff=0 equal=0 seconds=6.6801e-05
case=114 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000852232
case=115 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000692702
case=116 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000592982
case=117 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000228283
case=118 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000164277
case=119 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000127531
case=120 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000151828
case=121 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000114062
case=122 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.2278e-05
case=123 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.709e-05
case=124 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.2338e-05
case=125 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.1913e-05
case=126 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00320404
case=127 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0024451
case=128 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162233
case=129 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000888536
case=130 t=11 d=4 p1=0 p2=0 nodes=67 leaves=0 coeff=0 equal=0 seconds=0.000453052
case=131 t=11 d=5 p1=0 p2=0 nodes=780 leaves=0 coeff=0 equal=0 seconds=0.000305229
case=132 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00239959
case=133 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00201442
case=134 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00159272
case=135 t=11 d=3 p1=0 p2=0 nodes=239 leaves=0 coeff=0 equal=0 seconds=0.00131964
case=136 t=11 d=4 p1=0 p2=0 nodes=3957 leaves=0 coeff=0 equal=0 seconds=0.00131219
case=137 t=11 d=5 p1=0 p2=0 nodes=13330 leaves=0 coeff=0 equal=0 seconds=0.00237725
case=138 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000705291
case=139 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00061854
case=140 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000421784
case=141 t=11 d=3 p1=0 p2=1 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000222985
case=142 t=11 d=4 p1=0 p2=1 nodes=469 leaves=0 coeff=0 equal=0 seconds=0.000171217
case=143 t=11 d=5 p1=0 p2=1 nodes=912 leaves=0 coeff=0 equal=0 seconds=0.000142344
case=144 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00220956
case=145 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160057
case=146 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000923459
case=147 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000494574
case=148 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000273701
case=149 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000137758
case=150 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00266315
case=151 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0028261
case=152 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0018757
case=153 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010374
case=154 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000566983
case=155 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000226291
case=156 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134714
case=157 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015191
case=158 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000736809
case=159 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000474263
case=160 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000191678
case=161 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000102044
case=162 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00027925
case=163 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000213221
case=164 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00018645
case=165 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.8508e-05
case=166 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.2709e-05
case=167 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.323e-05
case=168 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000286561
case=169 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000215795
case=170 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000192399
case=171 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5689e-05
case=172 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.6775e-05
case=173 t=11 d=5 p1=1 p2=0 nodes=273 leaves=0 coeff=0 equal=0 seconds=7.1337e-05
case=174 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00226175
case=175 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00236797
case=176 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160854
case=177 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107855
case=178 t=11 d=4 p1=0 p2=0 nodes=67 leaves=0 coeff=0 equal=0 seconds=0.000698731
case=179 t=11 d=5 p1=0 p2=0 nodes=705 leaves=0 coeff=0 equal=0 seconds=0.000488805
case=180 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000842688
case=181 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000589496
case=182 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000424849
case=183 t=11 d=3 p1=1 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000224077
case=184 t=11 d=4 p1=1 p2=0 nodes=469 leaves=0 coeff=0 equal=0 seconds=0.000170156
case=185 t=11 d=5 p1=1 p2=0 nodes=912 leaves=0 coeff=0 equal=0 seconds=0.000142604
case=186 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00271389
case=187 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00211159
case=188 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00191285
case=189 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011055
case=190 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000625992
case=191 t=11 d=5 p1=0 p2=0 nodes=285 leaves=0 coeff=0 equal=0 seconds=0.000366231
case=192 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000711501
case=193 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000594474
case=194 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000387032
case=195 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000215654
case=196 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000108162
case=197 t=11 d=5 p1=0 p2=1 nodes=26 leaves=0 coeff=0 equal=0 seconds=4.3876e-05
case=198 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00201599
case=199 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00220169
case=200 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161176
case=201 t=11 d=3 p1=0 p2=0 nodes=133 leaves=0 coeff=0 equal=0 seconds=0.00133874
case=202 t=11 d=4 p1=0 p2=0 nodes=1459 leaves=0 coeff=0 equal=0 seconds=0.000826152
case=203 t=11 d=5 p1=0 p2=0 nodes=3869 leaves=0 coeff=0 equal=0 seconds=0.00126942
case=204 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0018921
case=205 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0016562
case=206 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00142365
case=207 t=11 d=3 p1=0 p2=0 nodes=239 leaves=0 coeff=0 equal=0 seconds=0.00099078
case=208 t=11 d=4 p1=0 p2=0 nodes=3621 leaves=0 coeff=0 equal=0 seconds=0.00133884
case=209 t=11 d=5 p1=0 p2=0 nodes=12354 leaves=0 coeff=0 equal=0 seconds=0.00322299
case=210 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00127605
case=211 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00061824
case=212 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000457939
case=213 t=11 d=3 p1=0 p2=1 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000271318
case=214 t=11 d=4 p1=0 p2=1 nodes=409 leaves=0 coeff=0 equal=0 seconds=0.000222595
case=215 t=11 d=5 p1=0 p2=1 nodes=887 leaves=0 coeff=0 equal=0 seconds=0.000282485
case=216 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000735286
case=217 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000713323
case=218 t=11 d=2 p1=1 p2=0 nodes=140 leaves=0 coeff=0 equal=0 seconds=0.000470978
case=219 t=11 d=3 p1=1 p2=0 nodes=1987 leaves=0 coeff=0 equal=0 seconds=0.000631751
case=220 t=11 d=4 p1=1 p2=0 nodes=5206 leaves=0 coeff=0 equal=0 seconds=0.000875317
case=221 t=11 d=5 p1=1 p2=0 nodes=1847 leaves=0 coeff=0 equal=0 seconds=0.000325039
case=222 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0025371
case=223 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00238902
case=224 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00164311
case=225 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000912202
case=226 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000459902
case=227 t=11 d=5 p1=0 p2=0 nodes=7 leaves=0 coeff=0 equal=0 seconds=0.000216225
case=228 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00257444
case=229 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00212437
case=230 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00129882
case=231 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000792392
case=232 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00040564
case=233 t=11 d=5 p1=0 p2=0 nodes=7 leaves=0 coeff=0 equal=0 seconds=0.000192359
case=234 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000436015
case=235 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000395014
case=236 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000440312
case=237 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000144197
case=238 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.1773e-05
case=239 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.3836e-05
case=240 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00253798
case=241 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199258
case=242 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156855
case=243 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134688
case=244 t=11 d=4 p1=0 p2=0 nodes=64 leaves=0 coeff=0 equal=0 seconds=0.000672151
case=245 t=11 d=5 p1=0 p2=0 nodes=699 leaves=0 coeff=0 equal=0 seconds=0.000462185
case=246 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00185544
case=247 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00211832
case=248 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00121283
case=249 t=11 d=3 p1=0 p2=0 nodes=948 leaves=0 coeff=0 equal=0 seconds=0.00116394
case=250 t=11 d=4 p1=0 p2=0 nodes=12325 leaves=0 coeff=0 equal=0 seconds=0.00377675
case=251 t=11 d=5 p1=0 p2=0 nodes=16512 leaves=0 coeff=0 equal=0 seconds=0.00653503
case=252 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000982799
case=253 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000599973
case=254 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000454254
case=255 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000537208
case=256 t=11 d=4 p1=0 p2=1 nodes=83 leaves=0 coeff=0 equal=0 seconds=0.000191588
case=257 t=11 d=5 p1=0 p2=1 nodes=232 leaves=0 coeff=0 equal=0 seconds=0.000117527
case=258 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00240604
case=259 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00223616
case=260 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00133779
case=261 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000769377
case=262 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000388575
case=263 t=11 d=5 p1=0 p2=0 nodes=7 leaves=0 coeff=0 equal=0 seconds=0.000203376
case=264 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000467743
case=265 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000394814
case=266 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000258679
case=267 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000162895
case=268 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5789e-05
case=269 t=11 d=5 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.8543e-05
case=270 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00266399
case=271 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00239286
case=272 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00170278
case=273 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010425
case=274 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000585921
case=275 t=11 d=5 p1=0 p2=0 nodes=13 leaves=0 coeff=0 equal=0 seconds=0.000297238
case=276 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000693803
case=277 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000581074
case=278 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000434534
case=279 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000216145
case=280 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000129175
case=281 t=11 d=5 p1=1 p2=0 nodes=26 leaves=0 coeff=0 equal=0 seconds=4.4377e-05
case=282 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00262157
case=283 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00230176
case=284 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00151317
case=285 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000993785
case=286 t=11 d=4 p1=0 p2=0 nodes=25 leaves=0 coeff=0 equal=0 seconds=0.000622656
case=287 t=11 d=5 p1=0 p2=0 nodes=203 leaves=0 coeff=0 equal=0 seconds=0.000333962
case=288 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00219392
case=289 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177419
case=290 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160184
case=291 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000686453
case=292 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000351128
case=293 t=11 d=5 p1=0 p2=0 nodes=7 leaves=0 coeff=0 equal=0 seconds=0.00016612
case=294 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000465921
case=295 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000440603
case=296 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000217217
case=297 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000125028
case=298 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.4582e-05
case=299 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.3316e-05
case=300 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0004325
case=301 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000370658
case=302 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000224418
case=303 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000135324
case=304 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00013283
case=305 t=11 d=5 p1=1 p2=0 nodes=289 leaves=0 coeff=0 equal=0 seconds=9.3992e-05
case=306 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00198584
case=307 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00186124
case=308 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131949
case=309 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000949108
case=310 t=11 d=4 p1=0 p2=0 nodes=64 leaves=0 coeff=0 equal=0 seconds=0.000590588
case=311 t=11 d=5 p1=0 p2=0 nodes=479 leaves=0 coeff=0 equal=0 seconds=0.000528385
case=312 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000792011
case=313 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000574815
case=314 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000553853
case=315 t=11 d=3 p1=1 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000268714
case=316 t=11 d=4 p1=1 p2=0 nodes=409 leaves=0 coeff=0 equal=0 seconds=0.000222425
case=317 t=11 d=5 p1=1 p2=0 nodes=887 leaves=0 coeff=0 equal=0 seconds=0.000235204
case=318 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00242189
case=319 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00195184
case=320 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00133795
case=321 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000850389
case=322 t=11 d=4 p1=0 p2=0 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.000522146
case=323 t=11 d=5 p1=0 p2=0 nodes=1020 leaves=0 coeff=0 equal=0 seconds=0.000410497
case=324 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000631199
case=325 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000532952
case=326 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000376436
case=327 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000299411
case=328 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000127722
case=329 t=11 d=5 p1=0 p2=1 nodes=26 leaves=0 coeff=0 equal=0 seconds=6.4126e-05
case=330 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000715055
case=331 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000566211
case=332 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000375084
case=333 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000230616
case=334 t=11 d=4 p1=1 p2=0 nodes=138 leaves=0 coeff=0 equal=0 seconds=0.000158549
case=335 t=11 d=5 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=6.5619e-05
case=336 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177605
case=337 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00146652
case=338 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00115549
case=339 t=11 d=3 p1=0 p2=0 nodes=438 leaves=0 coeff=0 equal=0 seconds=0.000958812
case=340 t=11 d=4 p1=0 p2=0 nodes=5119 leaves=0 coeff=0 equal=0 seconds=0.00151903
case=341 t=11 d=5 p1=0 p2=0 nodes=10119 leaves=0 coeff=0 equal=0 seconds=0.00310365
case=342 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000702797
case=343 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000751621
case=344 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000691791
case=345 t=11 d=3 p1=1 p2=0 nodes=102 leaves=0 coeff=0 equal=0 seconds=0.000308103
case=346 t=11 d=4 p1=1 p2=0 nodes=847 leaves=0 coeff=0 equal=0 seconds=0.0003058
case=347 t=11 d=5 p1=1 p2=0 nodes=472 leaves=0 coeff=0 equal=0 seconds=0.000194022
case=348 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00218891
case=349 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00139042
case=350 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00120804
case=351 t=11 d=3 p1=0 p2=0 nodes=1016 leaves=0 coeff=0 equal=0 seconds=0.00136937
case=352 t=11 d=4 p1=0 p2=0 nodes=19743 leaves=0 coeff=0 equal=0 seconds=0.0059813
case=353 t=11 d=5 p1=0 p2=0 nodes=16196 leaves=0 coeff=0 equal=0 seconds=0.00521072
case=354 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000752892
case=355 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000548315
case=356 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000447944
case=357 t=11 d=3 p1=0 p2=1 nodes=42 leaves=0 coeff=0 equal=0 seconds=0.00027228
case=358 t=11 d=4 p1=0 p2=1 nodes=399 leaves=0 coeff=0 equal=0 seconds=0.000243687
case=359 t=11 d=5 p1=0 p2=1 nodes=477 leaves=0 coeff=0 equal=0 seconds=0.000203206
case=360 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000667894
case=361 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000557569
case=362 t=11 d=2 p1=1 p2=0 nodes=140 leaves=0 coeff=0 equal=0 seconds=0.000561715
case=363 t=11 d=3 p1=1 p2=0 nodes=1795 leaves=0 coeff=0 equal=0 seconds=0.00109638
case=364 t=11 d=4 p1=1 p2=0 nodes=4832 leaves=0 coeff=0 equal=0 seconds=0.00144329
case=365 t=11 d=5 p1=1 p2=0 nodes=877 leaves=0 coeff=0 equal=0 seconds=0.000410056
case=366 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00229419
case=367 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189543
case=368 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00174071
case=369 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000948757
case=370 t=11 d=4 p1=0 p2=0 nodes=25 leaves=0 coeff=0 equal=0 seconds=0.000542916
case=371 t=11 d=5 p1=0 p2=0 nodes=203 leaves=0 coeff=0 equal=0 seconds=0.000344598
case=372 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000653223
case=373 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0013725
case=374 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000472431
case=375 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000238638
case=376 t=11 d=4 p1=1 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.000136635
case=377 t=11 d=5 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=6.5799e-05
case=378 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00258746
case=379 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00229276
case=380 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00122768
case=381 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000870289
case=382 t=11 d=4 p1=0 p2=0 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.000553262
case=383 t=11 d=5 p1=0 p2=0 nodes=285 leaves=0 coeff=0 equal=0 seconds=0.000483287
case=384 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000639021
case=385 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000507123
case=386 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000331939
case=387 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000202334
case=388 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000117496
case=389 t=11 d=5 p1=0 p2=1 nodes=26 leaves=0 coeff=0 equal=0 seconds=6.7352e-05
case=390 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000589356
case=391 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000501614
case=392 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00043204
case=393 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000218099
case=394 t=11 d=4 p1=1 p2=0 nodes=366 leaves=0 coeff=0 equal=0 seconds=0.000184577
case=395 t=11 d=5 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=6.5789e-05
case=396 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156587
case=397 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00175009
case=398 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00121443
case=399 t=11 d=3 p1=0 p2=0 nodes=414 leaves=0 coeff=0 equal=0 seconds=0.000934185
case=400 t=11 d=4 p1=0 p2=0 nodes=5067 leaves=0 coeff=0 equal=0 seconds=0.00149007
case=401 t=11 d=5 p1=0 p2=0 nodes=4974 leaves=0 coeff=0 equal=0 seconds=0.00173957
case=402 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00067748
case=403 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000552581
case=404 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000453212
case=405 t=11 d=3 p1=1 p2=0 nodes=330 leaves=0 coeff=0 equal=0 seconds=0.000331118
case=406 t=11 d=4 p1=1 p2=0 nodes=2359 leaves=0 coeff=0 equal=0 seconds=0.000733503
case=407 t=11 d=5 p1=1 p2=0 nodes=172 leaves=0 coeff=0 equal=0 seconds=0.000166861
case=408 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138197
case=409 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011474
case=410 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000907335
case=411 t=11 d=3 p1=0 p2=0 nodes=1186 leaves=0 coeff=0 equal=0 seconds=0.00106526
case=412 t=11 d=4 p1=0 p2=0 nodes=11341 leaves=0 coeff=0 equal=0 seconds=0.00410742
case=413 t=11 d=5 p1=0 p2=0 nodes=2568 leaves=0 coeff=0 equal=0 seconds=0.00143422
case=414 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000680023
case=415 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000501645
case=416 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000402996
case=417 t=11 d=3 p1=0 p2=1 nodes=162 leaves=0 coeff=0 equal=0 seconds=0.000333672
case=418 t=11 d=4 p1=0 p2=1 nodes=1025 leaves=0 coeff=0 equal=0 seconds=0.000383697
case=419 t=11 d=5 p1=0 p2=1 nodes=97 leaves=0 coeff=0 equal=0 seconds=0.000117887
case=420 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000650078
case=421 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000522626
case=422 t=11 d=2 p1=1 p2=0 nodes=464 leaves=0 coeff=0 equal=0 seconds=0.00049888
case=423 t=11 d=3 p1=1 p2=0 nodes=7954 leaves=0 coeff=0 equal=0 seconds=0.00220333
case=424 t=11 d=4 p1=1 p2=0 nodes=5310 leaves=0 coeff=0 equal=0 seconds=0.00199454
case=425 t=11 d=5 p1=1 p2=0 nodes=127 leaves=0 coeff=0 equal=0 seconds=0.000171979
case=426 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167636
case=427 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0014834
case=428 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00115688
case=429 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000502886
case=430 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00032631
case=431 t=11 d=5 p1=0 p2=0 nodes=82 leaves=0 coeff=0 equal=0 seconds=0.00014607
case=432 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00239088
case=433 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0024932
case=434 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00208793
case=435 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00148839
case=436 t=11 d=4 p1=0 p2=0 nodes=1757 leaves=0 coeff=0 equal=0 seconds=0.000839233
case=437 t=11 d=5 p1=0 p2=0 nodes=10177 leaves=0 coeff=0 equal=0 seconds=0.00163668
case=438 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00245273
case=439 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00225441
case=440 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00147623
case=441 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00105175
case=442 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000468695
case=443 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00191227
case=444 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00204318
case=445 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00176744
case=446 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015075
case=447 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00069807
case=448 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000363076
case=449 t=11 d=5 p1=0 p2=0 nodes=67 leaves=0 coeff=0 equal=0 seconds=0.000193421
case=450 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000479611
case=451 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000404739
case=452 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000268934
case=453 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000166781
case=454 t=11 d=4 p1=1 p2=0 nodes=66 leaves=0 coeff=0 equal=0 seconds=9.7827e-05
case=455 t=11 d=5 p1=1 p2=0 nodes=748 leaves=0 coeff=0 equal=0 seconds=0.000127632
case=456 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00205114
case=457 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00178187
case=458 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00140884
case=459 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00114068
case=460 t=11 d=4 p1=0 p2=0 nodes=88 leaves=0 coeff=0 equal=0 seconds=0.00064525
case=461 t=11 d=5 p1=0 p2=0 nodes=1399 leaves=0 coeff=0 equal=0 seconds=0.000563167
case=462 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161691
case=463 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00142032
case=464 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104454
case=465 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00108256
case=466 t=11 d=4 p1=0 p2=0 nodes=1488 leaves=0 coeff=0 equal=0 seconds=0.00081109
case=467 t=11 d=5 p1=0 p2=0 nodes=9620 leaves=0 coeff=0 equal=0 seconds=0.00245685
case=468 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000706192
case=469 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000550037
case=470 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000447353
case=471 t=11 d=3 p1=1 p2=0 nodes=1004 leaves=0 coeff=0 equal=0 seconds=0.000685391
case=472 t=11 d=4 p1=1 p2=0 nodes=4199 leaves=0 coeff=0 equal=0 seconds=0.000745011
case=473 t=11 d=5 p1=1 p2=0 nodes=1833 leaves=0 coeff=0 equal=0 seconds=0.000361824
case=474 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00293077
case=475 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00244649
case=476 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183448
case=477 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010076
case=478 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000549997
case=479 t=11 d=5 p1=0 p2=0 nodes=13 leaves=0 coeff=0 equal=0 seconds=0.000333522
case=480 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00232657
case=481 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00191419
case=482 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00155207
case=483 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000884581
case=484 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000574464
case=485 t=11 d=5 p1=0 p2=0 nodes=269 leaves=0 coeff=0 equal=0 seconds=0.000345109
case=486 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154761
case=487 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00120441
case=488 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000950479
case=489 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0007185
case=490 t=11 d=4 p1=0 p2=0 nodes=6549 leaves=0 coeff=0 equal=0 seconds=0.00181022
case=491 t=11 d=5 p1=0 p2=0 nodes=18377 leaves=0 coeff=0 equal=0 seconds=0.00665622
case=492 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00252649
case=493 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00211329
case=494 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154998
case=495 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104619
case=496 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000572211
case=497 t=11 d=5 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.000324978
case=498 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00065794
case=499 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000597559
case=500 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000393072
case=501 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000220672
case=502 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00011989
case=503 t=11 d=5 p1=1 p2=0 nodes=17 leaves=0 coeff=0 equal=0 seconds=4.7171e-05
case=504 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00206174
case=505 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00171163
case=506 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00136888
case=507 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104841
case=508 t=11 d=4 p1=0 p2=0 nodes=25 leaves=0 coeff=0 equal=0 seconds=0.000621825
case=509 t=11 d=5 p1=0 p2=0 nodes=264 leaves=0 coeff=0 equal=0 seconds=0.000418129
case=510 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00196454
case=511 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00174708
case=512 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00129791
case=513 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000862798
case=514 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000490357
case=515 t=11 d=5 p1=0 p2=0 nodes=269 leaves=0 coeff=0 equal=0 seconds=0.000335415
case=516 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000596928
case=517 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000541534
case=518 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000365741
case=519 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000222895
case=520 t=11 d=4 p1=1 p2=0 nodes=54 leaves=0 coeff=0 equal=0 seconds=0.000136325
case=521 t=11 d=5 p1=1 p2=0 nodes=803 leaves=0 coeff=0 equal=0 seconds=0.000200731
case=522 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167432
case=523 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143939
case=524 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011339
case=525 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000860955
case=526 t=11 d=4 p1=0 p2=0 nodes=629 leaves=0 coeff=0 equal=0 seconds=0.000676277
case=527 t=11 d=5 p1=0 p2=0 nodes=6599 leaves=0 coeff=0 equal=0 seconds=0.00146932
case=528 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000676608
case=529 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000603738
case=530 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000466261
case=531 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000293722
case=532 t=11 d=4 p1=1 p2=0 nodes=343 leaves=0 coeff=0 equal=0 seconds=0.000229846
case=533 t=11 d=5 p1=1 p2=0 nodes=473 leaves=0 coeff=0 equal=0 seconds=0.00015324
case=534 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00129065
case=535 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00105874
case=536 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000869488
case=537 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000648375
case=538 t=11 d=4 p1=0 p2=0 nodes=11808 leaves=0 coeff=0 equal=0 seconds=0.00354142
case=539 t=11 d=5 p1=0 p2=0 nodes=22833 leaves=0 coeff=0 equal=0 seconds=0.00703132
case=540 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000673032
case=541 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000549867
case=542 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000487463
case=543 t=11 d=3 p1=1 p2=0 nodes=859 leaves=0 coeff=0 equal=0 seconds=0.000428495
case=544 t=11 d=4 p1=1 p2=0 nodes=3993 leaves=0 coeff=0 equal=0 seconds=0.00100719
case=545 t=11 d=5 p1=1 p2=0 nodes=1168 leaves=0 coeff=0 equal=0 seconds=0.000528565
case=546 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00184644
case=547 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015882
case=548 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00132982
case=549 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104163
case=550 t=11 d=4 p1=0 p2=0 nodes=25 leaves=0 coeff=0 equal=0 seconds=0.000795436
case=551 t=11 d=5 p1=0 p2=0 nodes=224 leaves=0 coeff=0 equal=0 seconds=0.000410117
case=552 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000677589
case=553 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000633723
case=554 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00043889
case=555 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000340012
case=556 t=11 d=4 p1=1 p2=0 nodes=11 leaves=0 coeff=0 equal=0 seconds=0.000156365
case=557 t=11 d=5 p1=1 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=7.1397e-05
case=558 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0014748
case=559 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134955
case=560 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112467
case=561 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000803849
case=562 t=11 d=4 p1=0 p2=0 nodes=560 leaves=0 coeff=0 equal=0 seconds=0.0006182
case=563 t=11 d=5 p1=0 p2=0 nodes=4359 leaves=0 coeff=0 equal=0 seconds=0.00130898
case=564 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000650799
case=565 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000623758
case=566 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000422906
case=567 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000330938
case=568 t=11 d=4 p1=1 p2=0 nodes=1547 leaves=0 coeff=0 equal=0 seconds=0.000464148
case=569 t=11 d=5 p1=1 p2=0 nodes=173 leaves=0 coeff=0 equal=0 seconds=0.000160411
case=570 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00106487
case=571 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000950239
case=572 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000825491
case=573 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000617569
case=574 t=11 d=4 p1=0 p2=0 nodes=9276 leaves=0 coeff=0 equal=0 seconds=0.00252655
case=575 t=11 d=5 p1=0 p2=0 nodes=4992 leaves=0 coeff=0 equal=0 seconds=0.00256091
case=576 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000586141
case=577 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00049881
case=578 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000381243
case=579 t=11 d=3 p1=1 p2=0 nodes=5507 leaves=0 coeff=0 equal=0 seconds=0.00161539
case=580 t=11 d=4 p1=1 p2=0 nodes=7147 leaves=0 coeff=0 equal=0 seconds=0.00214253
case=581 t=11 d=5 p1=1 p2=0 nodes=228 leaves=0 coeff=0 equal=0 seconds=0.000207292
case=582 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00169739
case=583 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00135629
case=584 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000731411
case=585 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000447473
case=586 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000193241
case=587 t=11 d=5 p1=0 p2=0 nodes=1419 leaves=0 coeff=0 equal=0 seconds=0.000297878
case=588 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000322175
case=589 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000264197
case=590 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000138929
case=591 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5519e-05
case=592 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.7066e-05
case=593 t=11 d=5 p1=0 p2=1 nodes=273 leaves=0 coeff=0 equal=0 seconds=7.1728e-05
case=594 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199666
case=595 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00194472
case=596 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00121951
case=597 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000710628
case=598 t=11 d=4 p1=0 p2=0 nodes=382 leaves=0 coeff=0 equal=0 seconds=0.000512701
case=599 t=11 d=5 p1=0 p2=0 nodes=8084 leaves=0 coeff=0 equal=0 seconds=0.00160247
case=600 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000520763
case=601 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000461464
case=602 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000300372
case=603 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000155414
case=604 t=11 d=4 p1=0 p2=1 nodes=66 leaves=0 coeff=0 equal=0 seconds=9.7006e-05
case=605 t=11 d=5 p1=0 p2=1 nodes=748 leaves=0 coeff=0 equal=0 seconds=0.000124748
case=606 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00198919
case=607 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161887
case=608 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00133788
case=609 t=11 d=3 p1=0 p2=0 nodes=1637 leaves=0 coeff=0 equal=0 seconds=0.00112635
case=610 t=11 d=4 p1=0 p2=0 nodes=30531 leaves=0 coeff=0 equal=0 seconds=0.00585504
case=611 t=11 d=5 p1=0 p2=0 nodes=49046 leaves=0 coeff=0 equal=0 seconds=0.0100229
case=612 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000716508
case=613 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00054461
case=614 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000397278
case=615 t=11 d=3 p1=0 p2=1 nodes=254 leaves=0 coeff=0 equal=0 seconds=0.000270457
case=616 t=11 d=4 p1=0 p2=1 nodes=4341 leaves=0 coeff=0 equal=0 seconds=0.00069852
case=617 t=11 d=5 p1=0 p2=1 nodes=5416 leaves=0 coeff=0 equal=0 seconds=0.000659852
case=618 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00204286
case=619 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00178609
case=620 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0012795
case=621 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000717559
case=622 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00038548
case=623 t=11 d=5 p1=0 p2=0 nodes=692 leaves=0 coeff=0 equal=0 seconds=0.000387763
case=624 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000467303
case=625 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0004254
case=626 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000260452
case=627 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000150066
case=628 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5198e-05
case=629 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.6049e-05
case=630 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00224683
case=631 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00200633
case=632 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00148068
case=633 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000955056
case=634 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000567583
case=635 t=11 d=5 p1=0 p2=0 nodes=430 leaves=0 coeff=0 equal=0 seconds=0.000347773
case=636 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00067133
case=637 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000587804
case=638 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000403297
case=639 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000220532
case=640 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000108243
case=641 t=11 d=5 p1=0 p2=1 nodes=17 leaves=0 coeff=0 equal=0 seconds=4.7021e-05
case=642 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0019194
case=643 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00174904
case=644 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00137589
case=645 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000871641
case=646 t=11 d=4 p1=0 p2=0 nodes=196 leaves=0 coeff=0 equal=0 seconds=0.000568655
case=647 t=11 d=5 p1=0 p2=0 nodes=2383 leaves=0 coeff=0 equal=0 seconds=0.000593062
case=648 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00178338
case=649 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00157525
case=650 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010631
case=651 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00057236
case=652 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000323136
case=653 t=11 d=5 p1=0 p2=0 nodes=1507 leaves=0 coeff=0 equal=0 seconds=0.000425791
case=654 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000407513
case=655 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000367062
case=656 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000225509
case=657 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000135233
case=658 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.0922e-05
case=659 t=11 d=5 p1=0 p2=1 nodes=289 leaves=0 coeff=0 equal=0 seconds=8.9114e-05
case=660 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000652792
case=661 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000349285
case=662 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000253772
case=663 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000136826
case=664 t=11 d=4 p1=1 p2=0 nodes=948 leaves=0 coeff=0 equal=0 seconds=0.000209155
case=665 t=11 d=5 p1=1 p2=0 nodes=2529 leaves=0 coeff=0 equal=0 seconds=0.000326661
case=666 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00184846
case=667 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183093
case=668 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015044
case=669 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00083794
case=670 t=11 d=4 p1=0 p2=0 nodes=327 leaves=0 coeff=0 equal=0 seconds=0.00080416
case=671 t=11 d=5 p1=0 p2=0 nodes=8327 leaves=0 coeff=0 equal=0 seconds=0.00179247
case=672 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000681795
case=673 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000947555
case=674 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000464148
case=675 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000816658
case=676 t=11 d=4 p1=0 p2=1 nodes=54 leaves=0 coeff=0 equal=0 seconds=0.000142805
case=677 t=11 d=5 p1=0 p2=1 nodes=803 leaves=0 coeff=0 equal=0 seconds=0.000169976
case=678 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000641655
case=679 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000559091
case=680 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000376656
case=681 t=11 d=3 p1=1 p2=0 nodes=254 leaves=0 coeff=0 equal=0 seconds=0.000273271
case=682 t=11 d=4 p1=1 p2=0 nodes=4341 leaves=0 coeff=0 equal=0 seconds=0.000675796
case=683 t=11 d=5 p1=1 p2=0 nodes=5416 leaves=0 coeff=0 equal=0 seconds=0.000782928
case=684 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00179356
case=685 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00173527
case=686 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00127133
case=687 t=11 d=3 p1=0 p2=0 nodes=100 leaves=0 coeff=0 equal=0 seconds=0.000954606
case=688 t=11 d=4 p1=0 p2=0 nodes=2098 leaves=0 coeff=0 equal=0 seconds=0.000896428
case=689 t=11 d=5 p1=0 p2=0 nodes=6782 leaves=0 coeff=0 equal=0 seconds=0.00134787
case=690 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000679342
case=691 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000614214
case=692 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000432
case=693 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000287662
case=694 t=11 d=4 p1=0 p2=1 nodes=96 leaves=0 coeff=0 equal=0 seconds=0.000177757
case=695 t=11 d=5 p1=0 p2=1 nodes=767 leaves=0 coeff=0 equal=0 seconds=0.000173952
case=696 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0018511
case=697 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00178357
case=698 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112397
case=699 t=11 d=3 p1=0 p2=0 nodes=1438 leaves=0 coeff=0 equal=0 seconds=0.00265554
case=700 t=11 d=4 p1=0 p2=0 nodes=14031 leaves=0 coeff=0 equal=0 seconds=0.00337085
case=701 t=11 d=5 p1=0 p2=0 nodes=36700 leaves=0 coeff=0 equal=0 seconds=0.0079822
case=702 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000722056
case=703 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000792491
case=704 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000523918
case=705 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000376316
case=706 t=11 d=4 p1=0 p2=1 nodes=287 leaves=0 coeff=0 equal=0 seconds=0.000243356
case=707 t=11 d=5 p1=0 p2=1 nodes=2013 leaves=0 coeff=0 equal=0 seconds=0.000371068
case=708 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143146
case=709 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00129525
case=710 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00157828
case=711 t=11 d=3 p1=0 p2=0 nodes=1527 leaves=0 coeff=0 equal=0 seconds=0.00102824
case=712 t=11 d=4 p1=0 p2=0 nodes=30272 leaves=0 coeff=0 equal=0 seconds=0.00940774
case=713 t=11 d=5 p1=0 p2=0 nodes=43645 leaves=0 coeff=0 equal=0 seconds=0.0134662
case=714 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000947945
case=715 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000618691
case=716 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000415585
case=717 t=11 d=3 p1=0 p2=1 nodes=222 leaves=0 coeff=0 equal=0 seconds=0.000347412
case=718 t=11 d=4 p1=0 p2=1 nodes=4488 leaves=0 coeff=0 equal=0 seconds=0.00102868
case=719 t=11 d=5 p1=0 p2=1 nodes=5020 leaves=0 coeff=0 equal=0 seconds=0.0010352
case=720 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000641404
case=721 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000533052
case=722 t=11 d=2 p1=1 p2=0 nodes=905 leaves=0 coeff=0 equal=0 seconds=0.000547614
case=723 t=11 d=3 p1=1 p2=0 nodes=14567 leaves=0 coeff=0 equal=0 seconds=0.00252861
case=724 t=11 d=4 p1=1 p2=0 nodes=19961 leaves=0 coeff=0 equal=0 seconds=0.00361105
case=725 t=11 d=5 p1=1 p2=0 nodes=3852 leaves=0 coeff=0 equal=0 seconds=0.000829918
case=726 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00255277
case=727 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00225957
case=728 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0016095
case=729 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107023
case=730 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000593753
case=731 t=11 d=5 p1=0 p2=0 nodes=54 leaves=0 coeff=0 equal=0 seconds=0.000328885
case=732 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000650198
case=733 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000535004
case=734 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000596558
case=735 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000206962
case=736 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000102744
case=737 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.9856e-05
case=738 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0022419
case=739 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00186682
case=740 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00145683
case=741 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000969828
case=742 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000597128
case=743 t=11 d=5 p1=0 p2=0 nodes=146 leaves=0 coeff=0 equal=0 seconds=0.00047825
case=744 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0020527
case=745 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00171589
case=746 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00126252
case=747 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000831761
case=748 t=11 d=4 p1=0 p2=0 nodes=783 leaves=0 coeff=0 equal=0 seconds=0.000696998
case=749 t=11 d=5 p1=0 p2=0 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.000475025
case=750 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000597518
case=751 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000512641
case=752 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000348975
case=753 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00023326
case=754 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000125729
case=755 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.2594e-05
case=756 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00175118
case=757 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143914
case=758 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00119058
case=759 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000833323
case=760 t=11 d=4 p1=0 p2=0 nodes=3639 leaves=0 coeff=0 equal=0 seconds=0.00117948
case=761 t=11 d=5 p1=0 p2=0 nodes=5438 leaves=0 coeff=0 equal=0 seconds=0.00167106
case=762 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000672732
case=763 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000540152
case=764 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000430868
case=765 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000273902
case=766 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000171097
case=767 t=11 d=5 p1=0 p2=1 nodes=66 leaves=0 coeff=0 equal=0 seconds=9.0536e-05
case=768 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00168439
case=769 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112704
case=770 t=11 d=2 p1=0 p2=0 nodes=23 leaves=0 coeff=0 equal=0 seconds=0.000867645
case=771 t=11 d=3 p1=0 p2=0 nodes=8563 leaves=0 coeff=0 equal=0 seconds=0.00298162
case=772 t=11 d=4 p1=0 p2=0 nodes=86758 leaves=0 coeff=0 equal=0 seconds=0.0333455
case=773 t=11 d=5 p1=0 p2=0 nodes=36124 leaves=0 coeff=0 equal=0 seconds=0.0200606
case=774 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000629277
case=775 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000513212
case=776 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000432821
case=777 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000302695
case=778 t=11 d=4 p1=0 p2=1 nodes=421 leaves=0 coeff=0 equal=0 seconds=0.000553773
case=779 t=11 d=5 p1=0 p2=1 nodes=895 leaves=0 coeff=0 equal=0 seconds=0.000300331
case=780 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00220964
case=781 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00203104
case=782 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00151356
case=783 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000958252
case=784 t=11 d=4 p1=0 p2=0 nodes=32 leaves=0 coeff=0 equal=0 seconds=0.000576206
case=785 t=11 d=5 p1=0 p2=0 nodes=140 leaves=0 coeff=0 equal=0 seconds=0.000376496
case=786 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00221789
case=787 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00181853
case=788 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144823
case=789 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00113622
case=790 t=11 d=4 p1=0 p2=0 nodes=31 leaves=0 coeff=0 equal=0 seconds=0.000700404
case=791 t=11 d=5 p1=0 p2=0 nodes=121 leaves=0 coeff=0 equal=0 seconds=0.000447563
case=792 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00194523
case=793 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00175354
case=794 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134218
case=795 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000865331
case=796 t=11 d=4 p1=0 p2=0 nodes=138 leaves=0 coeff=0 equal=0 seconds=0.00067843
case=797 t=11 d=5 p1=0 p2=0 nodes=240 leaves=0 coeff=0 equal=0 seconds=0.000459732
case=798 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000603658
case=799 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000533172
case=800 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00035945
case=801 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000216926
case=802 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000138318
case=803 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.1703e-05
case=804 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00100267
case=805 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000573533
case=806 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000393913
case=807 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000263517
case=808 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000148784
case=809 t=11 d=5 p1=1 p2=0 nodes=1516 leaves=0 coeff=0 equal=0 seconds=0.000246491
case=810 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199949
case=811 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00168061
case=812 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00157606
case=813 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000919002
case=814 t=11 d=4 p1=0 p2=0 nodes=61 leaves=0 coeff=0 equal=0 seconds=0.000620904
case=815 t=11 d=5 p1=0 p2=0 nodes=155 leaves=0 coeff=0 equal=0 seconds=0.000454924
case=816 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000685071
case=817 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000582095
case=818 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000423197
case=819 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000278519
case=820 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000150486
case=821 t=11 d=5 p1=0 p2=1 nodes=17 leaves=0 coeff=0 equal=0 seconds=6.8693e-05
case=822 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000677709
case=823 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000829958
case=824 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000462907
case=825 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000291288
case=826 t=11 d=4 p1=1 p2=0 nodes=96 leaves=0 coeff=0 equal=0 seconds=0.000181133
case=827 t=11 d=5 p1=1 p2=0 nodes=767 leaves=0 coeff=0 equal=0 seconds=0.000178218
case=828 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00169198
case=829 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00145415
case=830 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00122309
case=831 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000872081
case=832 t=11 d=4 p1=0 p2=0 nodes=280 leaves=0 coeff=0 equal=0 seconds=0.000630769
case=833 t=11 d=5 p1=0 p2=0 nodes=1363 leaves=0 coeff=0 equal=0 seconds=0.000712772
case=834 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000664719
case=835 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000568385
case=836 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000449366
case=837 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000287883
case=838 t=11 d=4 p1=1 p2=0 nodes=287 leaves=0 coeff=0 equal=0 seconds=0.000217357
case=839 t=11 d=5 p1=1 p2=0 nodes=2013 leaves=0 coeff=0 equal=0 seconds=0.000347283
case=840 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00163301
case=841 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143655
case=842 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00114604
case=843 t=11 d=3 p1=0 p2=0 nodes=128 leaves=0 coeff=0 equal=0 seconds=0.000909718
case=844 t=11 d=4 p1=0 p2=0 nodes=4142 leaves=0 coeff=0 equal=0 seconds=0.00140164
case=845 t=11 d=5 p1=0 p2=0 nodes=7402 leaves=0 coeff=0 equal=0 seconds=0.00198026
case=846 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000667754
case=847 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000577018
case=848 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000455725
case=849 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00030527
case=850 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000177517
case=851 t=11 d=5 p1=0 p2=1 nodes=32 leaves=0 coeff=0 equal=0 seconds=9.3842e-05
case=852 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144463
case=853 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00119751
case=854 t=11 d=2 p1=0 p2=0 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.00104553
case=855 t=11 d=3 p1=0 p2=0 nodes=336 leaves=0 coeff=0 equal=0 seconds=0.000873274
case=856 t=11 d=4 p1=0 p2=0 nodes=6197 leaves=0 coeff=0 equal=0 seconds=0.00174692
case=857 t=11 d=5 p1=0 p2=0 nodes=9538 leaves=0 coeff=0 equal=0 seconds=0.00286392
case=858 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00180743
case=859 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161249
case=860 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011759
case=861 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000749908
case=862 t=11 d=4 p1=0 p2=0 nodes=783 leaves=0 coeff=0 equal=0 seconds=0.000660664
case=863 t=11 d=5 p1=0 p2=0 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.000389375
case=864 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000593913
case=865 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000474083
case=866 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000321253
case=867 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000236636
case=868 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000117878
case=869 t=11 d=5 p1=0 p2=1 nodes=326 leaves=0 coeff=0 equal=0 seconds=0.000125468
case=870 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000527584
case=871 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000464459
case=872 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000318108
case=873 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00021276
case=874 t=11 d=4 p1=1 p2=0 nodes=1017 leaves=0 coeff=0 equal=0 seconds=0.000291258
case=875 t=11 d=5 p1=1 p2=0 nodes=3179 leaves=0 coeff=0 equal=0 seconds=0.00059152
case=876 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00152288
case=877 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00130097
case=878 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015717
case=879 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000841746
case=880 t=11 d=4 p1=0 p2=0 nodes=3083 leaves=0 coeff=0 equal=0 seconds=0.00119459
case=881 t=11 d=5 p1=0 p2=0 nodes=3813 leaves=0 coeff=0 equal=0 seconds=0.00174553
case=882 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000622086
case=883 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000524118
case=884 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000400543
case=885 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00026627
case=886 t=11 d=4 p1=0 p2=1 nodes=42 leaves=0 coeff=0 equal=0 seconds=0.000247312
case=887 t=11 d=5 p1=0 p2=1 nodes=734 leaves=0 coeff=0 equal=0 seconds=0.00020589
case=888 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000629847
case=889 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000581094
case=890 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000429256
case=891 t=11 d=3 p1=1 p2=0 nodes=222 leaves=0 coeff=0 equal=0 seconds=0.000313331
case=892 t=11 d=4 p1=1 p2=0 nodes=4488 leaves=0 coeff=0 equal=0 seconds=0.000953795
case=893 t=11 d=5 p1=1 p2=0 nodes=5020 leaves=0 coeff=0 equal=0 seconds=0.00120595
case=894 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00192159
case=895 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00132363
case=896 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0014122
case=897 t=11 d=3 p1=0 p2=0 nodes=100 leaves=0 coeff=0 equal=0 seconds=0.000955296
case=898 t=11 d=4 p1=0 p2=0 nodes=12128 leaves=0 coeff=0 equal=0 seconds=0.00346862
case=899 t=11 d=5 p1=0 p2=0 nodes=7275 leaves=0 coeff=0 equal=0 seconds=0.00597675
case=900 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00302546
case=901 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000589837
case=902 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000422805
case=903 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000301012
case=904 t=11 d=4 p1=0 p2=1 nodes=96 leaves=0 coeff=0 equal=0 seconds=0.00027281
case=905 t=11 d=5 p1=0 p2=1 nodes=237 leaves=0 coeff=0 equal=0 seconds=0.000205308
case=906 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000688816
case=907 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000561494
case=908 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000426471
case=909 t=11 d=3 p1=1 p2=0 nodes=318 leaves=0 coeff=0 equal=0 seconds=0.000374253
case=910 t=11 d=4 p1=1 p2=0 nodes=2099 leaves=0 coeff=0 equal=0 seconds=0.000570748
case=911 t=11 d=5 p1=1 p2=0 nodes=97 leaves=0 coeff=0 equal=0 seconds=0.000129545
case=912 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131394
case=913 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111802
case=914 t=11 d=2 p1=0 p2=0 nodes=23 leaves=0 coeff=0 equal=0 seconds=0.000928807
case=915 t=11 d=3 p1=0 p2=0 nodes=5433 leaves=0 coeff=0 equal=0 seconds=0.00184639
case=916 t=11 d=4 p1=0 p2=0 nodes=61216 leaves=0 coeff=0 equal=0 seconds=0.0167016
case=917 t=11 d=5 p1=0 p2=0 nodes=53146 leaves=0 coeff=0 equal=0 seconds=0.0198672
case=918 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000612952
case=919 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000526572
case=920 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000627544
case=921 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000314804
case=922 t=11 d=4 p1=0 p2=1 nodes=235 leaves=0 coeff=0 equal=0 seconds=0.00023242
case=923 t=11 d=5 p1=0 p2=1 nodes=1343 leaves=0 coeff=0 equal=0 seconds=0.000366932
case=924 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000645832
case=925 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000601184
case=926 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000436597
case=927 t=11 d=3 p1=1 p2=0 nodes=1176 leaves=0 coeff=0 equal=0 seconds=0.000492081
case=928 t=11 d=4 p1=1 p2=0 nodes=9897 leaves=0 coeff=0 equal=0 seconds=0.00244367
case=929 t=11 d=5 p1=1 p2=0 nodes=1876 leaves=0 coeff=0 equal=0 seconds=0.000645551
case=930 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0012878
case=931 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000956248
case=932 t=11 d=2 p1=0 p2=0 nodes=23 leaves=0 coeff=0 equal=0 seconds=0.000782918
case=933 t=11 d=3 p1=0 p2=0 nodes=13777 leaves=0 coeff=0 equal=0 seconds=0.00432198
case=934 t=11 d=4 p1=0 p2=0 nodes=130315 leaves=0 coeff=0 equal=0 seconds=0.0427
case=935 t=11 d=5 p1=0 p2=0 nodes=18827 leaves=0 coeff=0 equal=0 seconds=0.00797859
case=936 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000556827
case=937 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000496527
case=938 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000381553
case=939 t=11 d=3 p1=0 p2=1 nodes=188 leaves=0 coeff=0 equal=0 seconds=0.000393422
case=940 t=11 d=4 p1=0 p2=1 nodes=4358 leaves=0 coeff=0 equal=0 seconds=0.00117366
case=941 t=11 d=5 p1=0 p2=1 nodes=1093 leaves=0 coeff=0 equal=0 seconds=0.000507884
case=942 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000557869
case=943 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000473502
case=944 t=11 d=2 p1=1 p2=0 nodes=855 leaves=0 coeff=0 equal=0 seconds=0.000552451
case=945 t=11 d=3 p1=1 p2=0 nodes=14491 leaves=0 coeff=0 equal=0 seconds=0.00347539
case=946 t=11 d=4 p1=1 p2=0 nodes=17434 leaves=0 coeff=0 equal=0 seconds=0.00477698
case=947 t=11 d=5 p1=1 p2=0 nodes=977 leaves=0 coeff=0 equal=0 seconds=0.00055169
case=948 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00165126
case=949 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00141703
case=950 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118996
case=951 t=11 d=3 p1=0 p2=0 nodes=26 leaves=0 coeff=0 equal=0 seconds=0.000907776
case=952 t=11 d=4 p1=0 p2=0 nodes=361 leaves=0 coeff=0 equal=0 seconds=0.000653733
case=953 t=11 d=5 p1=0 p2=0 nodes=696 leaves=0 coeff=0 equal=0 seconds=0.000531229
case=954 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000656828
case=955 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000576687
case=956 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000454103
case=957 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000303977
case=958 t=11 d=4 p1=1 p2=0 nodes=19 leaves=0 coeff=0 equal=0 seconds=0.000178388
case=959 t=11 d=5 p1=1 p2=0 nodes=32 leaves=0 coeff=0 equal=0 seconds=9.6495e-05
case=960 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00142872
case=961 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00126099
case=962 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112103
case=963 t=11 d=3 p1=0 p2=0 nodes=128 leaves=0 coeff=0 equal=0 seconds=0.000853053
case=964 t=11 d=4 p1=0 p2=0 nodes=3513 leaves=0 coeff=0 equal=0 seconds=0.00126526
case=965 t=11 d=5 p1=0 p2=0 nodes=4017 leaves=0 coeff=0 equal=0 seconds=0.00150305
case=966 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000636498
case=967 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000562216
case=968 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000419481
case=969 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000293081
case=970 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000173151
case=971 t=11 d=5 p1=0 p2=1 nodes=172 leaves=0 coeff=0 equal=0 seconds=0.000116175
case=972 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000624269
case=973 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000547554
case=974 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00043214
case=975 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000299741
case=976 t=11 d=4 p1=1 p2=0 nodes=1066 leaves=0 coeff=0 equal=0 seconds=0.000375095
case=977 t=11 d=5 p1=1 p2=0 nodes=67 leaves=0 coeff=0 equal=0 seconds=0.000126961
case=978 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00124167
case=979 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00106848
case=980 t=11 d=2 p1=0 p2=0 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.000934245
case=981 t=11 d=3 p1=0 p2=0 nodes=336 leaves=0 coeff=0 equal=0 seconds=0.000827244
case=982 t=11 d=4 p1=0 p2=0 nodes=5374 leaves=0 coeff=0 equal=0 seconds=0.00144266
case=983 t=11 d=5 p1=0 p2=0 nodes=5603 leaves=0 coeff=0 equal=0 seconds=0.00233144
case=984 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000603277
case=985 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000513092
case=986 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000435435
case=987 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000348905
case=988 t=11 d=4 p1=1 p2=0 nodes=1892 leaves=0 coeff=0 equal=0 seconds=0.000576697
case=989 t=11 d=5 p1=1 p2=0 nodes=143 leaves=0 coeff=0 equal=0 seconds=0.000170747
case=990 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125861
case=991 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110773
case=992 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000918962
case=993 t=11 d=3 p1=0 p2=0 nodes=100 leaves=0 coeff=0 equal=0 seconds=0.000727484
case=994 t=11 d=4 p1=0 p2=0 nodes=9604 leaves=0 coeff=0 equal=0 seconds=0.00316152
case=995 t=11 d=5 p1=0 p2=0 nodes=1721 leaves=0 coeff=0 equal=0 seconds=0.000988367
case=996 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000582336
case=997 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000521895
case=998 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000400062
case=999 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00026586
case=1000 t=11 d=4 p1=0 p2=1 nodes=818 leaves=0 coeff=0 equal=0 seconds=0.000365971
case=1001 t=11 d=5 p1=0 p2=1 nodes=127 leaves=0 coeff=0 equal=0 seconds=0.000154042
case=1002 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000734675
case=1003 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000529857
case=1004 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000442816
case=1005 t=11 d=3 p1=1 p2=0 nodes=3076 leaves=0 coeff=0 equal=0 seconds=0.000943329
case=1006 t=11 d=4 p1=1 p2=0 nodes=1987 leaves=0 coeff=0 equal=0 seconds=0.000890179
case=1007 t=11 d=5 p1=1 p2=0 nodes=97 leaves=0 coeff=0 equal=0 seconds=0.000140261
case=1008 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107843
case=1009 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000945492
case=1010 t=11 d=2 p1=0 p2=0 nodes=23 leaves=0 coeff=0 equal=0 seconds=0.000845392
case=1011 t=11 d=3 p1=0 p2=0 nodes=6243 leaves=0 coeff=0 equal=0 seconds=0.00209656
case=1012 t=11 d=4 p1=0 p2=0 nodes=47043 leaves=0 coeff=0 equal=0 seconds=0.014102
case=1013 t=11 d=5 p1=0 p2=0 nodes=12086 leaves=0 coeff=0 equal=0 seconds=0.00576073
case=1014 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000563046
case=1015 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000479211
case=1016 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000394514
case=1017 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000274543
case=1018 t=11 d=4 p1=0 p2=1 nodes=1593 leaves=0 coeff=0 equal=0 seconds=0.000539582
case=1019 t=11 d=5 p1=0 p2=1 nodes=443 leaves=0 coeff=0 equal=0 seconds=0.000307843
case=1020 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000546672
case=1021 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000494994
case=1022 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000389156
case=1023 t=11 d=3 p1=1 p2=0 nodes=8150 leaves=0 coeff=0 equal=0 seconds=0.00197457
case=1024 t=11 d=4 p1=1 p2=0 nodes=13397 leaves=0 coeff=0 equal=0 seconds=0.00436725
case=1025 t=11 d=5 p1=1 p2=0 nodes=496 leaves=0 coeff=0 equal=0 seconds=0.000418009
case=1026 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000900885
case=1027 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000783308
case=1028 t=11 d=2 p1=0 p2=0 nodes=23 leaves=0 coeff=0 equal=0 seconds=0.000654805
case=1029 t=11 d=3 p1=0 p2=0 nodes=12915 leaves=0 coeff=0 equal=0 seconds=0.00446145
case=1030 t=11 d=4 p1=0 p2=0 nodes=36848 leaves=0 coeff=0 equal=0 seconds=0.0146791
case=1031 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000520242
case=1032 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000439451
case=1033 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000362806
case=1034 t=11 d=3 p1=0 p2=1 nodes=2129 leaves=0 coeff=0 equal=0 seconds=0.000810419
case=1035 t=11 d=4 p1=0 p2=1 nodes=4328 leaves=0 coeff=0 equal=0 seconds=0.00170586
case=1036 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000527644
case=1037 t=11 d=1 p1=1 p2=0 nodes=16 leaves=0 coeff=0 equal=0 seconds=0.000440222
case=1038 t=11 d=2 p1=1 p2=0 nodes=7552 leaves=0 coeff=0 equal=0 seconds=0.00217998
case=1039 t=11 d=3 p1=1 p2=0 nodes=49033 leaves=0 coeff=0 equal=0 seconds=0.0144023
case=1040 t=11 d=4 p1=1 p2=0 nodes=7090 leaves=0 coeff=0 equal=0 seconds=0.00313188
case=1041 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00184027
case=1042 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00173124
case=1043 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107357
case=1044 t=11 d=3 p1=0 p2=0 nodes=199 leaves=0 coeff=0 equal=0 seconds=0.000651319
case=1045 t=11 d=4 p1=0 p2=0 nodes=4892 leaves=0 coeff=0 equal=0 seconds=0.00137575
case=1046 t=11 d=5 p1=0 p2=0 nodes=13900 leaves=0 coeff=0 equal=0 seconds=0.00228164
case=1047 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000433182
case=1048 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000361253
case=1049 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000231979
case=1050 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000137937
case=1051 t=11 d=4 p1=0 p2=1 nodes=948 leaves=0 coeff=0 equal=0 seconds=0.000209395
case=1052 t=11 d=5 p1=0 p2=1 nodes=2529 leaves=0 coeff=0 equal=0 seconds=0.000341754
case=1053 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161028
case=1054 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.00150206
case=1055 t=11 d=2 p1=0 p2=0 nodes=829 leaves=0 coeff=0 equal=0 seconds=0.00147356
case=1056 t=11 d=3 p1=0 p2=0 nodes=20270 leaves=0 coeff=0 equal=0 seconds=0.00402792
case=1057 t=11 d=4 p1=0 p2=0 nodes=47815 leaves=0 coeff=0 equal=0 seconds=0.0124451
case=1058 t=11 d=5 p1=0 p2=0 nodes=16343 leaves=0 coeff=0 equal=0 seconds=0.00468852
case=1059 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000577208
case=1060 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000499872
case=1061 t=11 d=2 p1=0 p2=1 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000361204
case=1062 t=11 d=3 p1=0 p2=1 nodes=3089 leaves=0 coeff=0 equal=0 seconds=0.000665772
case=1063 t=11 d=4 p1=0 p2=1 nodes=7786 leaves=0 coeff=0 equal=0 seconds=0.00123383
case=1064 t=11 d=5 p1=0 p2=1 nodes=2810 leaves=0 coeff=0 equal=0 seconds=0.000524849
case=1065 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00187248
case=1066 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00159926
case=1067 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00132427
case=1068 t=11 d=3 p1=0 p2=0 nodes=300 leaves=0 coeff=0 equal=0 seconds=0.000940645
case=1069 t=11 d=4 p1=0 p2=0 nodes=2561 leaves=0 coeff=0 equal=0 seconds=0.000926303
case=1070 t=11 d=5 p1=0 p2=0 nodes=14604 leaves=0 coeff=0 equal=0 seconds=0.00261592
case=1071 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000614735
case=1072 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00052539
case=1073 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000371899
case=1074 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000242214
case=1075 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000130256
case=1076 t=11 d=5 p1=0 p2=1 nodes=1516 leaves=0 coeff=0 equal=0 seconds=0.000243726
case=1077 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0016083
case=1078 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00141893
case=1079 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010933
case=1080 t=11 d=3 p1=0 p2=0 nodes=199 leaves=0 coeff=0 equal=0 seconds=0.0008374
case=1081 t=11 d=4 p1=0 p2=0 nodes=5123 leaves=0 coeff=0 equal=0 seconds=0.0016847
case=1082 t=11 d=5 p1=0 p2=0 nodes=16560 leaves=0 coeff=0 equal=0 seconds=0.00439178
case=1083 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000563187
case=1084 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000481024
case=1085 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000392941
case=1086 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000207202
case=1087 t=11 d=4 p1=0 p2=1 nodes=1017 leaves=0 coeff=0 equal=0 seconds=0.000327853
case=1088 t=11 d=5 p1=0 p2=1 nodes=3179 leaves=0 coeff=0 equal=0 seconds=0.000572911
case=1089 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000536096
case=1090 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00047858
case=1091 t=11 d=2 p1=1 p2=0 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000356005
case=1092 t=11 d=3 p1=1 p2=0 nodes=3089 leaves=0 coeff=0 equal=0 seconds=0.000648886
case=1093 t=11 d=4 p1=1 p2=0 nodes=7786 leaves=0 coeff=0 equal=0 seconds=0.00129584
case=1094 t=11 d=5 p1=1 p2=0 nodes=2810 leaves=0 coeff=0 equal=0 seconds=0.000470107
case=1095 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00136682
case=1096 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.00127825
case=1097 t=11 d=2 p1=0 p2=0 nodes=1270 leaves=0 coeff=0 equal=0 seconds=0.00140943
case=1098 t=11 d=3 p1=0 p2=0 nodes=11394 leaves=0 coeff=0 equal=0 seconds=0.00288783
case=1099 t=11 d=4 p1=0 p2=0 nodes=46030 leaves=0 coeff=0 equal=0 seconds=0.00989704
case=1100 t=11 d=5 p1=0 p2=0 nodes=21798 leaves=0 coeff=0 equal=0 seconds=0.00715565
case=1101 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000618941
case=1102 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00052558
case=1103 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000403697
case=1104 t=11 d=3 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000287622
case=1105 t=11 d=4 p1=0 p2=1 nodes=4780 leaves=0 coeff=0 equal=0 seconds=0.000937681
case=1106 t=11 d=5 p1=0 p2=1 nodes=2593 leaves=0 coeff=0 equal=0 seconds=0.00055905
case=1107 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118558
case=1108 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.00106453
case=1109 t=11 d=2 p1=0 p2=0 nodes=829 leaves=0 coeff=0 equal=0 seconds=0.00123562
case=1110 t=11 d=3 p1=0 p2=0 nodes=20680 leaves=0 coeff=0 equal=0 seconds=0.00557371
case=1111 t=11 d=4 p1=0 p2=0 nodes=52663 leaves=0 coeff=0 equal=0 seconds=0.0187416
case=1112 t=11 d=5 p1=0 p2=0 nodes=7167 leaves=0 coeff=0 equal=0 seconds=0.0338936
case=1113 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00188316
case=1114 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000468124
case=1115 t=11 d=2 p1=0 p2=1 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000397879
case=1116 t=11 d=3 p1=0 p2=1 nodes=3264 leaves=0 coeff=0 equal=0 seconds=0.000929428
case=1117 t=11 d=4 p1=0 p2=1 nodes=9060 leaves=0 coeff=0 equal=0 seconds=0.00225149
case=1118 t=11 d=5 p1=0 p2=1 nodes=1210 leaves=0 coeff=0 equal=0 seconds=0.000491479
case=1119 t=11 d=0 p1=1 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000782377
case=1120 t=11 d=1 p1=1 p2=0 nodes=553 leaves=0 coeff=0 equal=0 seconds=0.000645821
case=1121 t=11 d=2 p1=1 p2=0 nodes=12343 leaves=0 coeff=0 equal=0 seconds=0.00225177
case=1122 t=11 d=3 p1=1 p2=0 nodes=25400 leaves=0 coeff=0 equal=0 seconds=0.00524616
case=1123 t=11 d=4 p1=1 p2=0 nodes=7910 leaves=0 coeff=0 equal=0 seconds=0.00208747
case=1124 t=11 d=5 p1=1 p2=0 nodes=780 leaves=0 coeff=0 equal=0 seconds=0.000322375
case=1125 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00367207
case=1126 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00188122
case=1127 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00130487
case=1128 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000928226
case=1129 t=11 d=4 p1=0 p2=0 nodes=424 leaves=0 coeff=0 equal=0 seconds=0.000787975
case=1130 t=11 d=5 p1=0 p2=0 nodes=583 leaves=0 coeff=0 equal=0 seconds=0.000639682
case=1131 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000652121
case=1132 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000531009
case=1133 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000393191
case=1134 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000262484
case=1135 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000145529
case=1136 t=11 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.2203e-05
case=1137 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156004
case=1138 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128121
case=1139 t=11 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00103614
case=1140 t=11 d=3 p1=0 p2=0 nodes=4177 leaves=0 coeff=0 equal=0 seconds=0.00172624
case=1141 t=11 d=4 p1=0 p2=0 nodes=9862 leaves=0 coeff=0 equal=0 seconds=0.00363901
case=1142 t=11 d=5 p1=0 p2=0 nodes=1910 leaves=0 coeff=0 equal=0 seconds=0.00136006
case=1143 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000810108
case=1144 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000527093
case=1145 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000410708
case=1146 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000275865
case=1147 t=11 d=4 p1=0 p2=1 nodes=60 leaves=0 coeff=0 equal=0 seconds=0.000178749
case=1148 t=11 d=5 p1=0 p2=1 nodes=335 leaves=0 coeff=0 equal=0 seconds=0.000141873
case=1149 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118325
case=1150 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.00100084
case=1151 t=11 d=2 p1=0 p2=0 nodes=1053 leaves=0 coeff=0 equal=0 seconds=0.000972232
case=1152 t=11 d=3 p1=0 p2=0 nodes=83893 leaves=0 coeff=0 equal=0 seconds=0.0406773
case=1153 t=11 d=4 p1=0 p2=0 nodes=53755 leaves=0 coeff=0 equal=0 seconds=0.036236
case=1154 t=11 d=5 p1=0 p2=0 nodes=3547 leaves=0 coeff=0 equal=0 seconds=0.00253244
case=1155 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000530979
case=1156 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000470838
case=1157 t=11 d=2 p1=0 p2=1 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000367062
case=1158 t=11 d=3 p1=0 p2=1 nodes=251 leaves=0 coeff=0 equal=0 seconds=0.000308003
case=1159 t=11 d=4 p1=0 p2=1 nodes=1211 leaves=0 coeff=0 equal=0 seconds=0.000536567
case=1160 t=11 d=5 p1=0 p2=1 nodes=425 leaves=0 coeff=0 equal=0 seconds=0.000297427
case=1161 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00168565
case=1162 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144158
case=1163 t=11 d=2 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.00123747
case=1164 t=11 d=3 p1=0 p2=0 nodes=245 leaves=0 coeff=0 equal=0 seconds=0.000927325
case=1165 t=11 d=4 p1=0 p2=0 nodes=1433 leaves=0 coeff=0 equal=0 seconds=0.00108346
case=1166 t=11 d=5 p1=0 p2=0 nodes=1631 leaves=0 coeff=0 equal=0 seconds=0.00112408
case=1167 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00063171
case=1168 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000546071
case=1169 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000541063
case=1170 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000306651
case=1171 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000171238
case=1172 t=11 d=5 p1=0 p2=1 nodes=23 leaves=0 coeff=0 equal=0 seconds=0.00010666
case=1173 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00150148
case=1174 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128576
case=1175 t=11 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00138083
case=1176 t=11 d=3 p1=0 p2=0 nodes=784 leaves=0 coeff=0 equal=0 seconds=0.00105455
case=1177 t=11 d=4 p1=0 p2=0 nodes=4866 leaves=0 coeff=0 equal=0 seconds=0.00245429
case=1178 t=11 d=5 p1=0 p2=0 nodes=2002 leaves=0 coeff=0 equal=0 seconds=0.00195177
case=1179 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00061775
case=1180 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000527654
case=1181 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000407603
case=1182 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000291849
case=1183 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000174031
case=1184 t=11 d=5 p1=0 p2=1 nodes=1175 leaves=0 coeff=0 equal=0 seconds=0.000323146
case=1185 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000631971
case=1186 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000506171
case=1187 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000413182
case=1188 t=11 d=3 p1=1 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000281373
case=1189 t=11 d=4 p1=1 p2=0 nodes=4780 leaves=0 coeff=0 equal=0 seconds=0.000905081
case=1190 t=11 d=5 p1=1 p2=0 nodes=2593 leaves=0 coeff=0 equal=0 seconds=0.000584969
case=1191 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131067
case=1192 t=11 d=1 p1=0 p2=0 nodes=119 leaves=0 coeff=0 equal=0 seconds=0.00109681
case=1193 t=11 d=2 p1=0 p2=0 nodes=998 leaves=0 coeff=0 equal=0 seconds=0.00136262
case=1194 t=11 d=3 p1=0 p2=0 nodes=7959 leaves=0 coeff=0 equal=0 seconds=0.00255496
case=1195 t=11 d=4 p1=0 p2=0 nodes=33993 leaves=0 coeff=0 equal=0 seconds=0.0098437
case=1196 t=11 d=5 p1=0 p2=0 nodes=10499 leaves=0 coeff=0 equal=0 seconds=0.00519278
case=1197 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000575285
case=1198 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000511509
case=1199 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000402255
case=1200 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000295735
case=1201 t=11 d=4 p1=0 p2=1 nodes=140 leaves=0 coeff=0 equal=0 seconds=0.000222645
case=1202 t=11 d=5 p1=0 p2=1 nodes=521 leaves=0 coeff=0 equal=0 seconds=0.000243126
case=1203 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00132231
case=1204 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112101
case=1205 t=11 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000920304
case=1206 t=11 d=3 p1=0 p2=0 nodes=3839 leaves=0 coeff=0 equal=0 seconds=0.00194857
case=1207 t=11 d=4 p1=0 p2=0 nodes=7628 leaves=0 coeff=0 equal=0 seconds=0.00301335
case=1208 t=11 d=5 p1=0 p2=0 nodes=1180 leaves=0 coeff=0 equal=0 seconds=0.00126741
case=1209 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00055134
case=1210 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000476507
case=1211 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000357218
case=1212 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000267943
case=1213 t=11 d=4 p1=0 p2=1 nodes=1169 leaves=0 coeff=0 equal=0 seconds=0.000430918
case=1214 t=11 d=5 p1=0 p2=1 nodes=1405 leaves=0 coeff=0 equal=0 seconds=0.000468535
case=1215 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000574604
case=1216 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000451419
case=1217 t=11 d=2 p1=1 p2=0 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000399691
case=1218 t=11 d=3 p1=1 p2=0 nodes=3264 leaves=0 coeff=0 equal=0 seconds=0.000938031
case=1219 t=11 d=4 p1=1 p2=0 nodes=9060 leaves=0 coeff=0 equal=0 seconds=0.00232218
case=1220 t=11 d=5 p1=1 p2=0 nodes=1210 leaves=0 coeff=0 equal=0 seconds=0.000513813
case=1221 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110806
case=1222 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.000944
case=1223 t=11 d=2 p1=0 p2=0 nodes=1867 leaves=0 coeff=0 equal=0 seconds=0.00125838
case=1224 t=11 d=3 p1=0 p2=0 nodes=51746 leaves=0 coeff=0 equal=0 seconds=0.0162953
case=1225 t=11 d=4 p1=0 p2=0 nodes=104251 leaves=0 coeff=0 equal=0 seconds=0.0450641
case=1226 t=11 d=5 p1=0 p2=0 nodes=7152 leaves=0 coeff=0 equal=0 seconds=0.0047743
case=1227 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000553342
case=1228 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000473993
case=1229 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000391348
case=1230 t=11 d=3 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000282846
case=1231 t=11 d=4 p1=0 p2=1 nodes=3727 leaves=0 coeff=0 equal=0 seconds=0.00111537
case=1232 t=11 d=5 p1=0 p2=1 nodes=523 leaves=0 coeff=0 equal=0 seconds=0.000447072
case=1233 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000535876
case=1234 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000460723
case=1235 t=11 d=2 p1=1 p2=0 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000415805
case=1236 t=11 d=3 p1=1 p2=0 nodes=13879 leaves=0 coeff=0 equal=0 seconds=0.00270583
case=1237 t=11 d=4 p1=1 p2=0 nodes=6825 leaves=0 coeff=0 equal=0 seconds=0.0024145
case=1238 t=11 d=5 p1=1 p2=0 nodes=505 leaves=0 coeff=0 equal=0 seconds=0.000376877
case=1239 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000936198
case=1240 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.000788536
case=1241 t=11 d=2 p1=0 p2=0 nodes=1053 leaves=0 coeff=0 equal=0 seconds=0.000869598
case=1242 t=11 d=3 p1=0 p2=0 nodes=161081 leaves=0 coeff=0 equal=0 seconds=0.0575756
case=1243 t=11 d=4 p1=0 p2=0 nodes=32317 leaves=0 coeff=0 equal=0 seconds=0.0185944
case=1244 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000511159
case=1245 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000450437
case=1246 t=11 d=2 p1=0 p2=1 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000383647
case=1247 t=11 d=3 p1=0 p2=1 nodes=3860 leaves=0 coeff=0 equal=0 seconds=0.0013374
case=1248 t=11 d=4 p1=0 p2=1 nodes=4027 leaves=0 coeff=0 equal=0 seconds=0.00189399
case=1249 t=11 d=0 p1=1 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000517628
case=1250 t=11 d=1 p1=1 p2=0 nodes=553 leaves=0 coeff=0 equal=0 seconds=0.000546182
case=1251 t=11 d=2 p1=1 p2=0 nodes=12744 leaves=0 coeff=0 equal=0 seconds=0.0032324
case=1252 t=11 d=3 p1=1 p2=0 nodes=27114 leaves=0 coeff=0 equal=0 seconds=0.00885809
case=1253 t=11 d=4 p1=1 p2=0 nodes=3564 leaves=0 coeff=0 equal=0 seconds=0.00186028
case=1254 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138706
case=1255 t=11 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00115145
case=1256 t=11 d=2 p1=0 p2=0 nodes=91 leaves=0 coeff=0 equal=0 seconds=0.00164689
case=1257 t=11 d=3 p1=0 p2=0 nodes=252 leaves=0 coeff=0 equal=0 seconds=0.000992472
case=1258 t=11 d=4 p1=0 p2=0 nodes=872 leaves=0 coeff=0 equal=0 seconds=0.000784129
case=1259 t=11 d=5 p1=0 p2=0 nodes=440 leaves=0 coeff=0 equal=0 seconds=0.000519001
case=1260 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125129
case=1261 t=11 d=1 p1=0 p2=0 nodes=65 leaves=0 coeff=0 equal=0 seconds=0.00109785
case=1262 t=11 d=2 p1=0 p2=0 nodes=299 leaves=0 coeff=0 equal=0 seconds=0.00139187
case=1263 t=11 d=3 p1=0 p2=0 nodes=2092 leaves=0 coeff=0 equal=0 seconds=0.00128315
case=1264 t=11 d=4 p1=0 p2=0 nodes=5996 leaves=0 coeff=0 equal=0 seconds=0.00228268
case=1265 t=11 d=5 p1=0 p2=0 nodes=2266 leaves=0 coeff=0 equal=0 seconds=0.00127033
case=1266 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000574003
case=1267 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000491039
case=1268 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000544128
case=1269 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000303166
case=1270 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000185088
case=1271 t=11 d=5 p1=0 p2=1 nodes=73 leaves=0 coeff=0 equal=0 seconds=0.000163976
case=1272 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000583889
case=1273 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000553302
case=1274 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000468755
case=1275 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000285549
case=1276 t=11 d=4 p1=1 p2=0 nodes=473 leaves=0 coeff=0 equal=0 seconds=0.000427784
case=1277 t=11 d=5 p1=1 p2=0 nodes=331 leaves=0 coeff=0 equal=0 seconds=0.00021951
case=1278 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010668
case=1279 t=11 d=1 p1=0 p2=0 nodes=119 leaves=0 coeff=0 equal=0 seconds=0.00107114
case=1280 t=11 d=2 p1=0 p2=0 nodes=998 leaves=0 coeff=0 equal=0 seconds=0.00109019
case=1281 t=11 d=3 p1=0 p2=0 nodes=7687 leaves=0 coeff=0 equal=0 seconds=0.0026509
case=1282 t=11 d=4 p1=0 p2=0 nodes=27458 leaves=0 coeff=0 equal=0 seconds=0.00954403
case=1283 t=11 d=5 p1=0 p2=0 nodes=5039 leaves=0 coeff=0 equal=0 seconds=0.00305665
case=1284 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000539842
case=1285 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000477789
case=1286 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000378279
case=1287 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000271738
case=1288 t=11 d=4 p1=0 p2=1 nodes=1049 leaves=0 coeff=0 equal=0 seconds=0.00044552
case=1289 t=11 d=5 p1=0 p2=1 nodes=331 leaves=0 coeff=0 equal=0 seconds=0.000255354
case=1290 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000612131
case=1291 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000713303
case=1292 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000414714
case=1293 t=11 d=3 p1=1 p2=0 nodes=4225 leaves=0 coeff=0 equal=0 seconds=0.00123935
case=1294 t=11 d=4 p1=1 p2=0 nodes=2589 leaves=0 coeff=0 equal=0 seconds=0.00129442
case=1295 t=11 d=5 p1=1 p2=0 nodes=593 leaves=0 coeff=0 equal=0 seconds=0.000453232
case=1296 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000879994
case=1297 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.00078433
case=1298 t=11 d=2 p1=0 p2=0 nodes=1867 leaves=0 coeff=0 equal=0 seconds=0.00119873
case=1299 t=11 d=3 p1=0 p2=0 nodes=50843 leaves=0 coeff=0 equal=0 seconds=0.0168222
case=1300 t=11 d=4 p1=0 p2=0 nodes=29012 leaves=0 coeff=0 equal=0 seconds=0.0161265
case=1301 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00051142
case=1302 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000434313
case=1303 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000475545
case=1304 t=11 d=3 p1=0 p2=1 nodes=1281 leaves=0 coeff=0 equal=0 seconds=0.000676717
case=1305 t=11 d=4 p1=0 p2=1 nodes=2845 leaves=0 coeff=0 equal=0 seconds=0.00165856
case=1306 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000510648
case=1307 t=11 d=1 p1=1 p2=0 nodes=18 leaves=0 coeff=0 equal=0 seconds=0.000438359
case=1308 t=11 d=2 p1=1 p2=0 nodes=4727 leaves=0 coeff=0 equal=0 seconds=0.0014265
case=1309 t=11 d=3 p1=1 p2=0 nodes=28433 leaves=0 coeff=0 equal=0 seconds=0.0103901
case=1310 t=11 d=4 p1=1 p2=0 nodes=2609 leaves=0 coeff=0 equal=0 seconds=0.00175829
case=1311 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00069784
case=1312 t=11 d=1 p1=0 p2=0 nodes=84 leaves=0 coeff=0 equal=0 seconds=0.000636787
case=1313 t=11 d=2 p1=0 p2=0 nodes=1053 leaves=0 coeff=0 equal=0 seconds=0.000766443
case=1314 t=11 d=3 p1=0 p2=0 nodes=59656 leaves=0 coeff=0 equal=0 seconds=0.0267236
case=1315 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00045899
case=1316 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000397658
case=1317 t=11 d=2 p1=0 p2=1 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000330688
case=1318 t=11 d=3 p1=0 p2=1 nodes=9321 leaves=0 coeff=0 equal=0 seconds=0.00366406
case=1319 t=11 d=0 p1=1 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000445189
case=1320 t=11 d=1 p1=1 p2=0 nodes=691 leaves=0 coeff=0 equal=0 seconds=0.000520072
case=1321 t=11 d=2 p1=1 p2=0 nodes=81074 leaves=0 coeff=0 equal=0 seconds=0.0253526
case=1322 t=11 d=3 p1=1 p2=0 nodes=15653 leaves=0 coeff=0 equal=0 seconds=0.00763164
case=1323 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125135
case=1324 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128834
case=1325 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00066488
case=1326 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000279911
case=1327 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000129164
case=1328 t=12 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.8488e-05
case=1329 t=12 d=6 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.1277e-05
case=1330 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00171031
case=1331 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167008
case=1332 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111005
case=1333 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00081093
case=1334 t=12 d=4 p1=0 p2=0 nodes=319 leaves=0 coeff=0 equal=0 seconds=0.000551569
case=1335 t=12 d=5 p1=0 p2=0 nodes=4403 leaves=0 coeff=0 equal=0 seconds=0.000848206
case=1336 t=12 d=6 p1=0 p2=0 nodes=6111 leaves=0 coeff=0 equal=0 seconds=0.000900274
case=1337 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189809
case=1338 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00159068
case=1339 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00113127
case=1340 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000587193
case=1341 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000300542
case=1342 t=12 d=5 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.000132719
case=1343 t=12 d=6 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.5594e-05
case=1344 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0003392
case=1345 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000269435
case=1346 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000174873
case=1347 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.9469e-05
case=1348 t=12 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.1433e-05
case=1349 t=12 d=5 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.653e-05
case=1350 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00197337
case=1351 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189632
case=1352 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118747
case=1353 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000850349
case=1354 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0004324
case=1355 t=12 d=5 p1=0 p2=0 nodes=81 leaves=0 coeff=0 equal=0 seconds=0.000231739
case=1356 t=12 d=6 p1=0 p2=0 nodes=514 leaves=0 coeff=0 equal=0 seconds=0.0001728
case=1357 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144816
case=1358 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118599
case=1359 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00093095
case=1360 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000711581
case=1361 t=12 d=4 p1=0 p2=0 nodes=1297 leaves=0 coeff=0 equal=0 seconds=0.000647644
case=1362 t=12 d=5 p1=0 p2=0 nodes=15566 leaves=0 coeff=0 equal=0 seconds=0.00262033
case=1363 t=12 d=6 p1=0 p2=0 nodes=11676 leaves=0 coeff=0 equal=0 seconds=0.00275497
case=1364 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00055862
case=1365 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000686293
case=1366 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000389616
case=1367 t=12 d=3 p1=1 p2=0 nodes=177 leaves=0 coeff=0 equal=0 seconds=0.000292279
case=1368 t=12 d=4 p1=1 p2=0 nodes=2093 leaves=0 coeff=0 equal=0 seconds=0.000393051
case=1369 t=12 d=5 p1=1 p2=0 nodes=2207 leaves=0 coeff=0 equal=0 seconds=0.000362696
case=1370 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00171985
case=1371 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015524
case=1372 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010812
case=1373 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000768696
case=1374 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000461835
case=1375 t=12 d=5 p1=0 p2=0 nodes=81 leaves=0 coeff=0 equal=0 seconds=0.000258079
case=1376 t=12 d=6 p1=0 p2=0 nodes=514 leaves=0 coeff=0 equal=0 seconds=0.000147202
case=1377 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000498369
case=1378 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0004321
case=1379 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000294973
case=1380 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000160401
case=1381 t=12 d=4 p1=1 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=9.0145e-05
case=1382 t=12 d=5 p1=1 p2=0 nodes=166 leaves=0 coeff=0 equal=0 seconds=6.2985e-05
case=1383 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00119539
case=1384 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00109474
case=1385 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000922588
case=1386 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000653683
case=1387 t=12 d=4 p1=0 p2=0 nodes=1279 leaves=0 coeff=0 equal=0 seconds=0.000615957
case=1388 t=12 d=5 p1=0 p2=0 nodes=18120 leaves=0 coeff=0 equal=0 seconds=0.00321508
case=1389 t=12 d=6 p1=0 p2=0 nodes=6959 leaves=0 coeff=0 equal=0 seconds=0.00166682
case=1390 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000517698
case=1391 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000448204
case=1392 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000329145
case=1393 t=12 d=3 p1=1 p2=0 nodes=666 leaves=0 coeff=0 equal=0 seconds=0.000295585
case=1394 t=12 d=4 p1=1 p2=0 nodes=5786 leaves=0 coeff=0 equal=0 seconds=0.000998822
case=1395 t=12 d=5 p1=1 p2=0 nodes=3152 leaves=0 coeff=0 equal=0 seconds=0.000685581
case=1396 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00164389
case=1397 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00147663
case=1398 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000964691
case=1399 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000509937
case=1400 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000255234
case=1401 t=12 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000116706
case=1402 t=12 d=6 p1=0 p2=0 nodes=2945 leaves=0 coeff=0 equal=0 seconds=0.000349946
case=1403 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000330036
case=1404 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000271508
case=1405 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000156906
case=1406 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.992e-05
case=1407 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.1373e-05
case=1408 t=12 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.651e-05
case=1409 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162799
case=1410 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144331
case=1411 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110751
case=1412 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00074506
case=1413 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000435976
case=1414 t=12 d=5 p1=0 p2=0 nodes=762 leaves=0 coeff=0 equal=0 seconds=0.000298489
case=1415 t=12 d=6 p1=0 p2=0 nodes=7056 leaves=0 coeff=0 equal=0 seconds=0.000819623
case=1416 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00124442
case=1417 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110752
case=1418 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000845081
case=1419 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000635806
case=1420 t=12 d=4 p1=0 p2=0 nodes=3660 leaves=0 coeff=0 equal=0 seconds=0.000868947
case=1421 t=12 d=5 p1=0 p2=0 nodes=45847 leaves=0 coeff=0 equal=0 seconds=0.00621315
case=1422 t=12 d=6 p1=0 p2=0 nodes=43790 leaves=0 coeff=0 equal=0 seconds=0.00699204
case=1423 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000553382
case=1424 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000456226
case=1425 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000341413
case=1426 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000219601
case=1427 t=12 d=4 p1=0 p2=1 nodes=532 leaves=0 coeff=0 equal=0 seconds=0.000211168
case=1428 t=12 d=5 p1=0 p2=1 nodes=3668 leaves=0 coeff=0 equal=0 seconds=0.000431188
case=1429 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00195072
case=1430 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183273
case=1431 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00122665
case=1432 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000835607
case=1433 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000473903
case=1434 t=12 d=5 p1=0 p2=0 nodes=19 leaves=0 coeff=0 equal=0 seconds=0.000253772
case=1435 t=12 d=6 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00011353
case=1436 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177889
case=1437 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00149289
case=1438 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00147027
case=1439 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000861345
case=1440 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000517729
case=1441 t=12 d=5 p1=0 p2=0 nodes=19 leaves=0 coeff=0 equal=0 seconds=0.000322395
case=1442 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000146611
case=1443 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00195625
case=1444 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161085
case=1445 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00116931
case=1446 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00067129
case=1447 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000405981
case=1448 t=12 d=5 p1=0 p2=0 nodes=605 leaves=0 coeff=0 equal=0 seconds=0.000356396
case=1449 t=12 d=6 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.000104216
case=1450 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000496127
case=1451 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000393842
case=1452 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000256005
case=1453 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000147422
case=1454 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.1062e-05
case=1455 t=12 d=5 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.5333e-05
case=1456 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000468956
case=1457 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000545992
case=1458 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000262024
case=1459 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000154272
case=1460 t=12 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5389e-05
case=1461 t=12 d=5 p1=1 p2=0 nodes=1888 leaves=0 coeff=0 equal=0 seconds=0.000242184
case=1462 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00139621
case=1463 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118538
case=1464 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104186
case=1465 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000702447
case=1466 t=12 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000457989
case=1467 t=12 d=5 p1=0 p2=0 nodes=3374 leaves=0 coeff=0 equal=0 seconds=0.000681866
case=1468 t=12 d=6 p1=0 p2=0 nodes=1954 leaves=0 coeff=0 equal=0 seconds=0.000454985
case=1469 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00053822
case=1470 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000449967
case=1471 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000355334
case=1472 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000220972
case=1473 t=12 d=4 p1=1 p2=0 nodes=532 leaves=0 coeff=0 equal=0 seconds=0.000197417
case=1474 t=12 d=5 p1=1 p2=0 nodes=3668 leaves=0 coeff=0 equal=0 seconds=0.00043928
case=1475 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.001375
case=1476 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00176842
case=1477 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000988477
case=1478 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000690308
case=1479 t=12 d=4 p1=0 p2=0 nodes=1207 leaves=0 coeff=0 equal=0 seconds=0.00062471
case=1480 t=12 d=5 p1=0 p2=0 nodes=19570 leaves=0 coeff=0 equal=0 seconds=0.00286307
case=1481 t=12 d=6 p1=0 p2=0 nodes=11300 leaves=0 coeff=0 equal=0 seconds=0.00204054
case=1482 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000541355
case=1483 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000479912
case=1484 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000347393
case=1485 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000223025
case=1486 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000148423
case=1487 t=12 d=5 p1=0 p2=1 nodes=362 leaves=0 coeff=0 equal=0 seconds=0.000107221
case=1488 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00115684
case=1489 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00123719
case=1490 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000822377
case=1491 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000621685
case=1492 t=12 d=4 p1=0 p2=0 nodes=6523 leaves=0 coeff=0 equal=0 seconds=0.00124033
case=1493 t=12 d=5 p1=0 p2=0 nodes=39471 leaves=0 coeff=0 equal=0 seconds=0.00701461
case=1494 t=12 d=6 p1=0 p2=0 nodes=22392 leaves=0 coeff=0 equal=0 seconds=0.00499837
case=1495 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00114886
case=1496 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000891762
case=1497 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000677659
case=1498 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000590979
case=1499 t=12 d=4 p1=0 p2=0 nodes=26676 leaves=0 coeff=0 equal=0 seconds=0.00509479
case=1500 t=12 d=5 p1=0 p2=0 nodes=166423 leaves=0 coeff=0 equal=0 seconds=0.0397904
case=1501 t=12 d=6 p1=0 p2=0 nodes=67185 leaves=0 coeff=0 equal=0 seconds=0.019934
case=1502 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000490128
case=1503 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000419811
case=1504 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00031935
case=1505 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000237377
case=1506 t=12 d=4 p1=0 p2=1 nodes=474 leaves=0 coeff=0 equal=0 seconds=0.000213962
case=1507 t=12 d=5 p1=0 p2=1 nodes=3838 leaves=0 coeff=0 equal=0 seconds=0.000601294
case=1508 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000463768
case=1509 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000396587
case=1510 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000327783
case=1511 t=12 d=3 p1=1 p2=0 nodes=2080 leaves=0 coeff=0 equal=0 seconds=0.000488324
case=1512 t=12 d=4 p1=1 p2=0 nodes=19948 leaves=0 coeff=0 equal=0 seconds=0.00265713
case=1513 t=12 d=5 p1=1 p2=0 nodes=16791 leaves=0 coeff=0 equal=0 seconds=0.00242753
case=1514 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00141017
case=1515 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011579
case=1516 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000955668
case=1517 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000739522
case=1518 t=12 d=4 p1=0 p2=0 nodes=31 leaves=0 coeff=0 equal=0 seconds=0.000488876
case=1519 t=12 d=5 p1=0 p2=0 nodes=3919 leaves=0 coeff=0 equal=0 seconds=0.000747334
case=1520 t=12 d=6 p1=0 p2=0 nodes=2493 leaves=0 coeff=0 equal=0 seconds=0.000531068
case=1521 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000654735
case=1522 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000655867
case=1523 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00044506
case=1524 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000236486
case=1525 t=12 d=4 p1=1 p2=0 nodes=19 leaves=0 coeff=0 equal=0 seconds=0.000144848
case=1526 t=12 d=5 p1=1 p2=0 nodes=592 leaves=0 coeff=0 equal=0 seconds=0.000190737
case=1527 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0012076
case=1528 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107093
case=1529 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000822237
case=1530 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000634013
case=1531 t=12 d=4 p1=0 p2=0 nodes=1150 leaves=0 coeff=0 equal=0 seconds=0.000579372
case=1532 t=12 d=5 p1=0 p2=0 nodes=17135 leaves=0 coeff=0 equal=0 seconds=0.00293455
case=1533 t=12 d=6 p1=0 p2=0 nodes=6890 leaves=0 coeff=0 equal=0 seconds=0.00160614
case=1534 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000501264
case=1535 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000425179
case=1536 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000330647
case=1537 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000325509
case=1538 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000130135
case=1539 t=12 d=5 p1=0 p2=1 nodes=1022 leaves=0 coeff=0 equal=0 seconds=0.000202695
case=1540 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000504389
case=1541 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00044547
case=1542 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000337698
case=1543 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000221423
case=1544 t=12 d=4 p1=1 p2=0 nodes=5764 leaves=0 coeff=0 equal=0 seconds=0.000873784
case=1545 t=12 d=5 p1=1 p2=0 nodes=3317 leaves=0 coeff=0 equal=0 seconds=0.000630078
case=1546 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000965643
case=1547 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000845522
case=1548 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000699943
case=1549 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000553803
case=1550 t=12 d=4 p1=0 p2=0 nodes=6368 leaves=0 coeff=0 equal=0 seconds=0.00125563
case=1551 t=12 d=5 p1=0 p2=0 nodes=41381 leaves=0 coeff=0 equal=0 seconds=0.0069755
case=1552 t=12 d=6 p1=0 p2=0 nodes=15372 leaves=0 coeff=0 equal=0 seconds=0.00460707
case=1553 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000523297
case=1554 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000406752
case=1555 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000356576
case=1556 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000235735
case=1557 t=12 d=4 p1=1 p2=0 nodes=10603 leaves=0 coeff=0 equal=0 seconds=0.00144852
case=1558 t=12 d=5 p1=1 p2=0 nodes=6693 leaves=0 coeff=0 equal=0 seconds=0.00130667
case=1559 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000763118
case=1560 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000707494
case=1561 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000570868
case=1562 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000443336
case=1563 t=12 d=4 p1=0 p2=0 nodes=34079 leaves=0 coeff=0 equal=0 seconds=0.00718202
case=1564 t=12 d=5 p1=0 p2=0 nodes=160466 leaves=0 coeff=0 equal=0 seconds=0.0436552
case=1565 t=12 d=6 p1=0 p2=0 nodes=25736 leaves=0 coeff=0 equal=0 seconds=0.00763999
case=1566 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000447724
case=1567 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000387012
case=1568 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000287002
case=1569 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000207032
case=1570 t=12 d=4 p1=0 p2=1 nodes=4095 leaves=0 coeff=0 equal=0 seconds=0.00104374
case=1571 t=12 d=5 p1=0 p2=1 nodes=10273 leaves=0 coeff=0 equal=0 seconds=0.00244191
case=1572 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000433432
case=1573 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00037238
case=1574 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000344838
case=1575 t=12 d=3 p1=1 p2=0 nodes=12423 leaves=0 coeff=0 equal=0 seconds=0.00221043
case=1576 t=12 d=4 p1=1 p2=0 nodes=55084 leaves=0 coeff=0 equal=0 seconds=0.0108505
case=1577 t=12 d=5 p1=1 p2=0 nodes=20626 leaves=0 coeff=0 equal=0 seconds=0.00489502
case=1578 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00146802
case=1579 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131968
case=1580 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00099123
case=1581 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000619182
case=1582 t=12 d=4 p1=0 p2=0 nodes=60 leaves=0 coeff=0 equal=0 seconds=0.000389707
case=1583 t=12 d=5 p1=0 p2=0 nodes=11028 leaves=0 coeff=0 equal=0 seconds=0.00158124
case=1584 t=12 d=6 p1=0 p2=0 nodes=20117 leaves=0 coeff=0 equal=0 seconds=0.00250901
case=1585 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000457217
case=1586 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000414364
case=1587 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000333302
case=1588 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000155754
case=1589 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.595e-05
case=1590 t=12 d=5 p1=0 p2=1 nodes=1888 leaves=0 coeff=0 equal=0 seconds=0.000240281
case=1591 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104765
case=1592 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00095093
case=1593 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000722947
case=1594 t=12 d=3 p1=0 p2=0 nodes=199 leaves=0 coeff=0 equal=0 seconds=0.000588445
case=1595 t=12 d=4 p1=0 p2=0 nodes=35029 leaves=0 coeff=0 equal=0 seconds=0.00564958
case=1596 t=12 d=5 p1=0 p2=0 nodes=61660 leaves=0 coeff=0 equal=0 seconds=0.0114128
case=1597 t=12 d=6 p1=0 p2=0 nodes=22772 leaves=0 coeff=0 equal=0 seconds=0.00480762
case=1598 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000495976
case=1599 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000383147
case=1600 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000310798
case=1601 t=12 d=3 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000212399
case=1602 t=12 d=4 p1=0 p2=1 nodes=6237 leaves=0 coeff=0 equal=0 seconds=0.00114212
case=1603 t=12 d=5 p1=0 p2=1 nodes=10281 leaves=0 coeff=0 equal=0 seconds=0.001278
case=1604 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00150025
case=1605 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00117706
case=1606 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000982317
case=1607 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000707574
case=1608 t=12 d=4 p1=0 p2=0 nodes=223 leaves=0 coeff=0 equal=0 seconds=0.000536207
case=1609 t=12 d=5 p1=0 p2=0 nodes=3427 leaves=0 coeff=0 equal=0 seconds=0.00102336
case=1610 t=12 d=6 p1=0 p2=0 nodes=249 leaves=0 coeff=0 equal=0 seconds=0.000330527
case=1611 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000505009
case=1612 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000430247
case=1613 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00032591
case=1614 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000211599
case=1615 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000130937
case=1616 t=12 d=5 p1=0 p2=1 nodes=93 leaves=0 coeff=0 equal=0 seconds=7.7236e-05
case=1617 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00119703
case=1618 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010827
case=1619 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00083117
case=1620 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000586362
case=1621 t=12 d=4 p1=0 p2=0 nodes=5551 leaves=0 coeff=0 equal=0 seconds=0.00124449
case=1622 t=12 d=5 p1=0 p2=0 nodes=10999 leaves=0 coeff=0 equal=0 seconds=0.00206459
case=1623 t=12 d=6 p1=0 p2=0 nodes=935 leaves=0 coeff=0 equal=0 seconds=0.00035258
case=1624 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000468284
case=1625 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000397558
case=1626 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000315875
case=1627 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000201483
case=1628 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000128824
case=1629 t=12 d=5 p1=0 p2=1 nodes=2269 leaves=0 coeff=0 equal=0 seconds=0.000387403
case=1630 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000454564
case=1631 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000387623
case=1632 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000292089
case=1633 t=12 d=3 p1=1 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000208984
case=1634 t=12 d=4 p1=1 p2=0 nodes=6237 leaves=0 coeff=0 equal=0 seconds=0.000929208
case=1635 t=12 d=5 p1=1 p2=0 nodes=10281 leaves=0 coeff=0 equal=0 seconds=0.00129123
case=1636 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000979483
case=1637 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000809167
case=1638 t=12 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000692852
case=1639 t=12 d=3 p1=0 p2=0 nodes=4498 leaves=0 coeff=0 equal=0 seconds=0.00124965
case=1640 t=12 d=4 p1=0 p2=0 nodes=67180 leaves=0 coeff=0 equal=0 seconds=0.0117579
case=1641 t=12 d=5 p1=0 p2=0 nodes=119036 leaves=0 coeff=0 equal=0 seconds=0.0260214
case=1642 t=12 d=6 p1=0 p2=0 nodes=27531 leaves=0 coeff=0 equal=0 seconds=0.00761444
case=1643 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000492451
case=1644 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000397708
case=1645 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000336867
case=1646 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000224678
case=1647 t=12 d=4 p1=0 p2=1 nodes=458 leaves=0 coeff=0 equal=0 seconds=0.000226591
case=1648 t=12 d=5 p1=0 p2=1 nodes=6081 leaves=0 coeff=0 equal=0 seconds=0.000860754
case=1649 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000807926
case=1650 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000774044
case=1651 t=12 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000603818
case=1652 t=12 d=3 p1=0 p2=0 nodes=10813 leaves=0 coeff=0 equal=0 seconds=0.00250427
case=1653 t=12 d=4 p1=0 p2=0 nodes=163289 leaves=0 coeff=0 equal=0 seconds=0.0458031
case=1654 t=12 d=5 p1=0 p2=0 nodes=146653 leaves=0 coeff=0 equal=0 seconds=0.0499919
case=1655 t=12 d=6 p1=0 p2=0 nodes=15113 leaves=0 coeff=0 equal=0 seconds=0.00588563
case=1656 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000413853
case=1657 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000355695
case=1658 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000297758
case=1659 t=12 d=3 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000216636
case=1660 t=12 d=4 p1=0 p2=1 nodes=6758 leaves=0 coeff=0 equal=0 seconds=0.00133854
case=1661 t=12 d=5 p1=0 p2=1 nodes=12089 leaves=0 coeff=0 equal=0 seconds=0.00242432
case=1662 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000416827
case=1663 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000343526
case=1664 t=12 d=2 p1=1 p2=0 nodes=132 leaves=0 coeff=0 equal=0 seconds=0.000320742
case=1665 t=12 d=3 p1=1 p2=0 nodes=18564 leaves=0 coeff=0 equal=0 seconds=0.00277276
case=1666 t=12 d=4 p1=1 p2=0 nodes=27907 leaves=0 coeff=0 equal=0 seconds=0.00478509
case=1667 t=12 d=5 p1=1 p2=0 nodes=9805 leaves=0 coeff=0 equal=0 seconds=0.0020775
case=1668 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00113577
case=1669 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000929789
case=1670 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.000864781
case=1671 t=12 d=3 p1=0 p2=0 nodes=26 leaves=0 coeff=0 equal=0 seconds=0.000662556
case=1672 t=12 d=4 p1=0 p2=0 nodes=297 leaves=0 coeff=0 equal=0 seconds=0.000488325
case=1673 t=12 d=5 p1=0 p2=0 nodes=2085 leaves=0 coeff=0 equal=0 seconds=0.000630949
case=1674 t=12 d=6 p1=0 p2=0 nodes=142 leaves=0 coeff=0 equal=0 seconds=0.000223506
case=1675 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000936919
case=1676 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000804931
case=1677 t=12 d=2 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000733363
case=1678 t=12 d=3 p1=0 p2=0 nodes=245 leaves=0 coeff=0 equal=0 seconds=0.000634885
case=1679 t=12 d=4 p1=0 p2=0 nodes=11725 leaves=0 coeff=0 equal=0 seconds=0.00208977
case=1680 t=12 d=5 p1=0 p2=0 nodes=34075 leaves=0 coeff=0 equal=0 seconds=0.00657061
case=1681 t=12 d=6 p1=0 p2=0 nodes=4974 leaves=0 coeff=0 equal=0 seconds=0.00158216
case=1682 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000579492
case=1683 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00041887
case=1684 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000316556
case=1685 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00021962
case=1686 t=12 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000160582
case=1687 t=12 d=5 p1=0 p2=1 nodes=1553 leaves=0 coeff=0 equal=0 seconds=0.000281964
case=1688 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000436917
case=1689 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000397087
case=1690 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000309366
case=1691 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000244458
case=1692 t=12 d=4 p1=1 p2=0 nodes=6121 leaves=0 coeff=0 equal=0 seconds=0.00114596
case=1693 t=12 d=5 p1=1 p2=0 nodes=1501 leaves=0 coeff=0 equal=0 seconds=0.000453692
case=1694 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000765792
case=1695 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000656437
case=1696 t=12 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000604129
case=1697 t=12 d=3 p1=0 p2=0 nodes=4403 leaves=0 coeff=0 equal=0 seconds=0.00126205
case=1698 t=12 d=4 p1=0 p2=0 nodes=74855 leaves=0 coeff=0 equal=0 seconds=0.0157131
case=1699 t=12 d=5 p1=0 p2=0 nodes=116791 leaves=0 coeff=0 equal=0 seconds=0.0333723
case=1700 t=12 d=6 p1=0 p2=0 nodes=11526 leaves=0 coeff=0 equal=0 seconds=0.00490327
case=1701 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000509806
case=1702 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000388874
case=1703 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000294653
case=1704 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000229465
case=1705 t=12 d=4 p1=0 p2=1 nodes=4976 leaves=0 coeff=0 equal=0 seconds=0.000909728
case=1706 t=12 d=5 p1=0 p2=1 nodes=11446 leaves=0 coeff=0 equal=0 seconds=0.00254714
case=1707 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000430588
case=1708 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000360372
case=1709 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000293872
case=1710 t=12 d=3 p1=1 p2=0 nodes=14548 leaves=0 coeff=0 equal=0 seconds=0.0022695
case=1711 t=12 d=4 p1=1 p2=0 nodes=35154 leaves=0 coeff=0 equal=0 seconds=0.00654089
case=1712 t=12 d=5 p1=1 p2=0 nodes=9233 leaves=0 coeff=0 equal=0 seconds=0.00211079
case=1713 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000587884
case=1714 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000489576
case=1715 t=12 d=2 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000464819
case=1716 t=12 d=3 p1=0 p2=0 nodes=13726 leaves=0 coeff=0 equal=0 seconds=0.00389688
case=1717 t=12 d=4 p1=0 p2=0 nodes=189257 leaves=0 coeff=0 equal=0 seconds=0.0543164
case=1718 t=12 d=5 p1=0 p2=0 nodes=67964 leaves=0 coeff=0 equal=0 seconds=0.0226471
case=1719 t=12 d=6 p1=0 p2=0 nodes=3147 leaves=0 coeff=0 equal=0 seconds=0.00119783
case=1720 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000374634
case=1721 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000328224
case=1722 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000246901
case=1723 t=12 d=3 p1=0 p2=1 nodes=2968 leaves=0 coeff=0 equal=0 seconds=0.000853023
case=1724 t=12 d=4 p1=0 p2=1 nodes=32033 leaves=0 coeff=0 equal=0 seconds=0.00735736
case=1725 t=12 d=5 p1=0 p2=1 nodes=9699 leaves=0 coeff=0 equal=0 seconds=0.002693
case=1726 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000370887
case=1727 t=12 d=1 p1=1 p2=0 nodes=18 leaves=0 coeff=0 equal=0 seconds=0.000309786
case=1728 t=12 d=2 p1=1 p2=0 nodes=6069 leaves=0 coeff=0 equal=0 seconds=0.00131353
case=1729 t=12 d=3 p1=1 p2=0 nodes=68585 leaves=0 coeff=0 equal=0 seconds=0.0155526
case=1730 t=12 d=4 p1=1 p2=0 nodes=53070 leaves=0 coeff=0 equal=0 seconds=0.0136208
case=1731 t=12 d=5 p1=1 p2=0 nodes=6220 leaves=0 coeff=0 equal=0 seconds=0.00209842
case=1732 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158918
case=1733 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00142867
case=1734 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000961205
case=1735 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000582116
case=1736 t=13 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000324588
case=1737 t=13 d=5 p1=0 p2=0 nodes=76 leaves=0 coeff=0 equal=0 seconds=0.000176645
case=1738 t=13 d=6 p1=0 p2=0 nodes=289 leaves=0 coeff=0 equal=0 seconds=0.000100011
case=1739 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000862327
case=1740 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000717629
case=1741 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000566923
case=1742 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000703559
case=1743 t=13 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000311779
case=1744 t=13 d=5 p1=0 p2=0 nodes=27410 leaves=0 coeff=0 equal=0 seconds=0.00325066
case=1745 t=13 d=6 p1=0 p2=0 nodes=36676 leaves=0 coeff=0 equal=0 seconds=0.00508595
case=1746 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107311
case=1747 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0009044
case=1748 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00075094
case=1749 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000539221
case=1750 t=13 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00034603
case=1751 t=13 d=5 p1=0 p2=0 nodes=1707 leaves=0 coeff=0 equal=0 seconds=0.000389736
case=1752 t=13 d=6 p1=0 p2=0 nodes=8406 leaves=0 coeff=0 equal=0 seconds=0.000955327
case=1753 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00039269
case=1754 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000361054
case=1755 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000256736
case=1756 t=13 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000181433
case=1757 t=13 d=4 p1=1 p2=0 nodes=97 leaves=0 coeff=0 equal=0 seconds=0.000109194
case=1758 t=13 d=5 p1=1 p2=0 nodes=2677 leaves=0 coeff=0 equal=0 seconds=0.000339681
case=1759 t=13 d=6 p1=1 p2=0 nodes=427 leaves=0 coeff=0 equal=0 seconds=9.33e-05
case=1760 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000640083
case=1761 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000573633
case=1762 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000456827
case=1763 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000381884
case=1764 t=13 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000259891
case=1765 t=13 d=5 p1=0 p2=0 nodes=27240 leaves=0 coeff=0 equal=0 seconds=0.00352326
case=1766 t=13 d=6 p1=0 p2=0 nodes=52381 leaves=0 coeff=0 equal=0 seconds=0.00811924
case=1767 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000340693
case=1768 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000290788
case=1769 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000233181
case=1770 t=13 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000180192
case=1771 t=13 d=4 p1=1 p2=0 nodes=12861 leaves=0 coeff=0 equal=0 seconds=0.00145728
case=1772 t=13 d=5 p1=1 p2=0 nodes=12388 leaves=0 coeff=0 equal=0 seconds=0.00163139
case=1773 t=13 d=6 p1=1 p2=0 nodes=3113 leaves=0 coeff=0 equal=0 seconds=0.000489947
case=1774 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125068
case=1775 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000939122
case=1776 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000742847
case=1777 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000526622
case=1778 t=13 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000337998
case=1779 t=13 d=5 p1=0 p2=0 nodes=7566 leaves=0 coeff=0 equal=0 seconds=0.00117572
case=1780 t=13 d=6 p1=0 p2=0 nodes=8150 leaves=0 coeff=0 equal=0 seconds=0.00103764
case=1781 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000385069
case=1782 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000297397
case=1783 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000227752
case=1784 t=13 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000144587
case=1785 t=13 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.8764e-05
case=1786 t=13 d=5 p1=0 p2=1 nodes=274 leaves=0 coeff=0 equal=0 seconds=7.2479e-05
case=1787 t=13 d=6 p1=0 p2=1 nodes=1093 leaves=0 coeff=0 equal=0 seconds=0.000135394
case=1788 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000668946
case=1789 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000555025
case=1790 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000454253
case=1791 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000360832
case=1792 t=13 d=4 p1=0 p2=0 nodes=34008 leaves=0 coeff=0 equal=0 seconds=0.0044619
case=1793 t=13 d=5 p1=0 p2=0 nodes=116413 leaves=0 coeff=0 equal=0 seconds=0.0171376
case=1794 t=13 d=6 p1=0 p2=0 nodes=86757 leaves=0 coeff=0 equal=0 seconds=0.0150833
case=1795 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000335745
case=1796 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000276896
case=1797 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000274432
case=1798 t=13 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000158519
case=1799 t=13 d=4 p1=0 p2=1 nodes=1029 leaves=0 coeff=0 equal=0 seconds=0.000323146
case=1800 t=13 d=5 p1=0 p2=1 nodes=7243 leaves=0 coeff=0 equal=0 seconds=0.000847415
case=1801 t=13 d=6 p1=0 p2=1 nodes=6142 leaves=0 coeff=0 equal=0 seconds=0.0006782
case=1802 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000803869
case=1803 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000686492
case=1804 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000594063
case=1805 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000497048
case=1806 t=13 d=4 p1=0 p2=0 nodes=32 leaves=0 coeff=0 equal=0 seconds=0.000320623
case=1807 t=13 d=5 p1=0 p2=0 nodes=8967 leaves=0 coeff=0 equal=0 seconds=0.00116197
case=1808 t=13 d=6 p1=0 p2=0 nodes=10184 leaves=0 coeff=0 equal=0 seconds=0.00144827
case=1809 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000622427
case=1810 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000567794
case=1811 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000498981
case=1812 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000386301
case=1813 t=13 d=4 p1=0 p2=0 nodes=12242 leaves=0 coeff=0 equal=0 seconds=0.00185132
case=1814 t=13 d=5 p1=0 p2=0 nodes=75017 leaves=0 coeff=0 equal=0 seconds=0.00888997
case=1815 t=13 d=6 p1=0 p2=0 nodes=70099 leaves=0 coeff=0 equal=0 seconds=0.00987285
case=1816 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000328304
case=1817 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000281764
case=1818 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000226852
case=1819 t=13 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000175714
case=1820 t=13 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000111808
case=1821 t=13 d=5 p1=0 p2=1 nodes=4998 leaves=0 coeff=0 equal=0 seconds=0.000550378
case=1822 t=13 d=6 p1=0 p2=1 nodes=2843 leaves=0 coeff=0 equal=0 seconds=0.000408794
case=1823 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000319711
case=1824 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000282995
case=1825 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000240892
case=1826 t=13 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000166661
case=1827 t=13 d=4 p1=1 p2=0 nodes=21600 leaves=0 coeff=0 equal=0 seconds=0.00254327
case=1828 t=13 d=5 p1=1 p2=0 nodes=22611 leaves=0 coeff=0 equal=0 seconds=0.00270179
case=1829 t=13 d=6 p1=1 p2=0 nodes=2559 leaves=0 coeff=0 equal=0 seconds=0.000410838
case=1830 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00045853
case=1831 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000448344
case=1832 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000364728
case=1833 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000280552
case=1834 t=13 d=4 p1=0 p2=0 nodes=34736 leaves=0 coeff=0 equal=0 seconds=0.00556084
case=1835 t=13 d=5 p1=0 p2=0 nodes=155193 leaves=0 coeff=0 equal=0 seconds=0.0281717
case=1836 t=13 d=6 p1=0 p2=0 nodes=113462 leaves=0 coeff=0 equal=0 seconds=0.021594
case=1837 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00029935
case=1838 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000241263
case=1839 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000191308
case=1840 t=13 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000322766
case=1841 t=13 d=4 p1=0 p2=1 nodes=7630 leaves=0 coeff=0 equal=0 seconds=0.00120884
case=1842 t=13 d=5 p1=0 p2=1 nodes=21573 leaves=0 coeff=0 equal=0 seconds=0.0033543
case=1843 t=13 d=6 p1=0 p2=1 nodes=10057 leaves=0 coeff=0 equal=0 seconds=0.0017194
case=1844 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000278549
case=1845 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000235193
case=1846 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00019249
case=1847 t=13 d=3 p1=1 p2=0 nodes=17093 leaves=0 coeff=0 equal=0 seconds=0.00229757
case=1848 t=13 d=4 p1=1 p2=0 nodes=47783 leaves=0 coeff=0 equal=0 seconds=0.00666145
case=1849 t=13 d=5 p1=1 p2=0 nodes=33506 leaves=75 coeff=0 equal=0 seconds=0.018751
case=1850 t=13 d=6 p1=1 p2=0 nodes=6812 leaves=0 coeff=0 equal=0 seconds=0.00136001
case=1851 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000529096
case=1852 t=14 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000447713
case=1853 t=14 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000430337
case=1854 t=14 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000302606
case=1855 t=14 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000214613
case=1856 t=14 d=5 p1=0 p2=0 nodes=7717 leaves=0 coeff=0 equal=0 seconds=0.00088428
case=1857 t=14 d=6 p1=0 p2=0 nodes=27836 leaves=0 coeff=0 equal=0 seconds=0.0026851
case=1858 t=14 d=7 p1=0 p2=0 nodes=9181 leaves=0 coeff=0 equal=0 seconds=0.000985352
case=1859 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000324448
case=1860 t=14 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000300602
case=1861 t=14 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000247923
case=1862 t=14 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000254833
case=1863 t=14 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000162334
case=1864 t=14 d=5 p1=0 p2=0 nodes=45507 leaves=0 coeff=0 equal=0 seconds=0.00579512
case=1865 t=14 d=6 p1=0 p2=0 nodes=64934 leaves=0 coeff=0 equal=0 seconds=0.00803386
case=1866 t=14 d=7 p1=0 p2=0 nodes=25486 leaves=0 coeff=0 equal=0 seconds=0.00312144
case=1867 t=14 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000201694
case=1868 t=14 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000162284
case=1869 t=14 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000125619
case=1870 t=14 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.1848e-05
case=1871 t=14 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.8583e-05
case=1872 t=14 d=5 p1=0 p2=1 nodes=4814 leaves=0 coeff=0 equal=0 seconds=0.000469376
case=1873 t=14 d=6 p1=0 p2=1 nodes=2923 leaves=0 coeff=0 equal=0 seconds=0.000355174
case=1874 t=14 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000181594
case=1875 t=14 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000160231
case=1876 t=14 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000127532
case=1877 t=14 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.7887e-05
case=1878 t=14 d=4 p1=1 p2=0 nodes=21030 leaves=0 coeff=0 equal=0 seconds=0.00230302
case=1879 t=14 d=5 p1=1 p2=0 nodes=24688 leaves=0 coeff=0 equal=0 seconds=0.00236125
case=1880 t=14 d=6 p1=1 p2=0 nodes=9847 leaves=15 coeff=0 equal=0 seconds=0.00446712
case=1881 t=15 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=1.142e-06
case=1882 t=15 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.7e-07
case=1883 t=15 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=1884 t=15 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=1885 t=15 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=1886 t=15 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=1887 t=15 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=1888 t=15 d=7 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
COMPLETE cases=1889 nodes=7026451 leaves=90 coeff=0 endpoint_pass=90 inconsistent=90 boundsbad=0 rankbad=0 equal=0 found=0