case=0 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000369846
case=1 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000226511
case=2 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000119519
case=3 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.1292e-05
case=4 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.7847e-05
case=5 t=10 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.5598e-05
case=6 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000995177
case=7 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00079106
case=8 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000510148
case=9 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000290077
case=10 t=10 d=4 p1=0 p2=0 nodes=67 leaves=0 coeff=0 equal=0 seconds=0.000153171
case=11 t=10 d=5 p1=0 p2=0 nodes=814 leaves=0 coeff=0 equal=0 seconds=0.000148924
case=12 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000543308
case=13 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000441914
case=14 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000244688
case=15 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000116035
case=16 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.2564e-05
case=17 t=10 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.9444e-05
case=18 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.8368e-05
case=19 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.4076e-05
case=20 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.1683e-05
case=21 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.9084e-05
case=22 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.016e-05
case=23 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00120332
case=24 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00099755
case=25 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000742777
case=26 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000421454
case=27 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000216836
case=28 t=10 d=5 p1=0 p2=0 nodes=60 leaves=0 coeff=0 equal=0 seconds=0.000103536
case=29 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00105785
case=30 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000823829
case=31 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000575576
case=32 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000329546
case=33 t=10 d=4 p1=0 p2=0 nodes=55 leaves=0 coeff=0 equal=0 seconds=0.000212229
case=34 t=10 d=5 p1=0 p2=0 nodes=871 leaves=0 coeff=0 equal=0 seconds=0.000204217
case=35 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000256035
case=36 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000207151
case=37 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000142093
case=38 t=10 d=3 p1=1 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=8.8363e-05
case=39 t=10 d=4 p1=1 p2=0 nodes=470 leaves=0 coeff=0 equal=0 seconds=0.000100761
case=40 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000866664
case=41 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00115261
case=42 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000481394
case=43 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000243917
case=44 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00011952
case=45 t=10 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.6094e-05
case=46 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011631
case=47 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000967054
case=48 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000661365
case=49 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000395895
case=50 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000190677
case=51 t=10 d=5 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=8.5869e-05
case=52 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000872392
case=53 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000728826
case=54 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000579982
case=55 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000393312
case=56 t=10 d=4 p1=0 p2=0 nodes=51 leaves=0 coeff=0 equal=0 seconds=0.000243607
case=57 t=10 d=5 p1=0 p2=0 nodes=617 leaves=0 coeff=0 equal=0 seconds=0.00020654
case=58 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000716958
case=59 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000628245
case=60 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000420131
case=61 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000204547
case=62 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.9599e-05
case=63 t=10 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.7661e-05
case=64 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000147743
case=65 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000124728
case=66 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.8233e-05
case=67 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.6961e-05
case=68 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.8303e-05
case=69 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000974305
case=70 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000839182
case=71 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0006588
case=72 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000419321
case=73 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000233591
case=74 t=10 d=5 p1=0 p2=0 nodes=45 leaves=0 coeff=0 equal=0 seconds=0.000118578
case=75 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000302876
case=76 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000258008
case=77 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000198208
case=78 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.6586e-05
case=79 t=10 d=4 p1=1 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=4.609e-05
case=80 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00101508
case=81 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000673022
case=82 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000510668
case=83 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000342595
case=84 t=10 d=4 p1=0 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000301343
case=85 t=10 d=5 p1=0 p2=0 nodes=802 leaves=0 coeff=0 equal=0 seconds=0.000242004
case=86 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000298129
case=87 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000278378
case=88 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000411468
case=89 t=10 d=3 p1=1 p2=0 nodes=42 leaves=0 coeff=0 equal=0 seconds=0.000146019
case=90 t=10 d=4 p1=1 p2=0 nodes=506 leaves=0 coeff=0 equal=0 seconds=0.000128443
case=91 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00119055
case=92 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000859182
case=93 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000605461
case=94 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000422976
case=95 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000215785
case=96 t=10 d=5 p1=0 p2=0 nodes=32 leaves=0 coeff=0 equal=0 seconds=0.000163406
case=97 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000263836
case=98 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000193641
case=99 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000141312
case=100 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.2969e-05
case=101 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.9419e-05
case=102 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110646
case=103 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000794936
case=104 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000640353
case=105 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000404588
case=106 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000300171
case=107 t=10 d=5 p1=0 p2=0 nodes=315 leaves=0 coeff=0 equal=0 seconds=0.000173001
case=108 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000865182
case=109 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000600533
case=110 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00053224
case=111 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000368845
case=112 t=10 d=4 p1=0 p2=0 nodes=394 leaves=0 coeff=0 equal=0 seconds=0.000340051
case=113 t=10 d=5 p1=0 p2=0 nodes=2391 leaves=0 coeff=0 equal=0 seconds=0.000696448
case=114 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00031922
case=115 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000264327
case=116 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000224567
case=117 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000133591
case=118 t=10 d=4 p1=1 p2=0 nodes=50 leaves=0 coeff=0 equal=0 seconds=0.00036551
case=119 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00101582
case=120 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000834746
case=121 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000569857
case=122 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000343166
case=123 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000197847
case=124 t=10 d=5 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=9.1588e-05
case=125 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000288594
case=126 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000194433
case=127 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000135364
case=128 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.8809e-05
case=129 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.1462e-05
case=130 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000925071
case=131 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00078478
case=132 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00061812
case=133 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000396045
case=134 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000261434
case=135 t=10 d=5 p1=0 p2=0 nodes=270 leaves=0 coeff=0 equal=0 seconds=0.000179059
case=136 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00033269
case=137 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000270487
case=138 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000208333
case=139 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000120752
case=140 t=10 d=4 p1=1 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=6.7371e-05
case=141 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000706132
case=142 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000575556
case=143 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000454093
case=144 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000323106
case=145 t=10 d=4 p1=0 p2=0 nodes=452 leaves=0 coeff=0 equal=0 seconds=0.000317327
case=146 t=10 d=5 p1=0 p2=0 nodes=754 leaves=0 coeff=0 equal=0 seconds=0.000313702
case=147 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000307022
case=148 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000274122
case=149 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000198178
case=150 t=10 d=3 p1=1 p2=0 nodes=33 leaves=0 coeff=0 equal=0 seconds=0.000142875
case=151 t=10 d=4 p1=1 p2=0 nodes=477 leaves=0 coeff=0 equal=0 seconds=0.000172369
case=152 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000771951
case=153 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000715106
case=154 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000546481
case=155 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000351859
case=156 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000222344
case=157 t=10 d=5 p1=0 p2=0 nodes=89 leaves=0 coeff=0 equal=0 seconds=0.000138689
case=158 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000309025
case=159 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000254442
case=160 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000207613
case=161 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000121623
case=162 t=10 d=4 p1=1 p2=0 nodes=102 leaves=0 coeff=0 equal=0 seconds=8.0441e-05
case=163 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000603939
case=164 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000488415
case=165 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000393031
case=166 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000288825
case=167 t=10 d=4 p1=0 p2=0 nodes=213 leaves=0 coeff=0 equal=0 seconds=0.000258559
case=168 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00029913
case=169 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000242204
case=170 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000183496
case=171 t=10 d=3 p1=1 p2=0 nodes=305 leaves=0 coeff=0 equal=0 seconds=0.000198208
case=172 t=10 d=4 p1=1 p2=0 nodes=373 leaves=0 coeff=0 equal=0 seconds=0.000192049
case=173 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000540493
case=174 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000459672
case=175 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000251298
case=176 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000123405
case=177 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.7662e-05
case=178 t=10 d=5 p1=0 p2=0 nodes=273 leaves=0 coeff=0 equal=0 seconds=7.4893e-05
case=179 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.7146e-05
case=180 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.3766e-05
case=181 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.1553e-05
case=182 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.8994e-05
case=183 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.0281e-05
case=184 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000871141
case=185 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000703508
case=186 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000445781
case=187 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000255394
case=188 t=10 d=4 p1=0 p2=0 nodes=948 leaves=0 coeff=0 equal=0 seconds=0.000243547
case=189 t=10 d=5 p1=0 p2=0 nodes=2529 leaves=0 coeff=0 equal=0 seconds=0.000353912
case=190 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000161242
case=191 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000152349
case=192 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5448e-05
case=193 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.3371e-05
case=194 t=10 d=4 p1=0 p2=1 nodes=197 leaves=0 coeff=0 equal=0 seconds=5.7527e-05
case=195 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000935958
case=196 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00080446
case=197 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000527373
case=198 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000282785
case=199 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000143225
case=200 t=10 d=5 p1=0 p2=0 nodes=79 leaves=0 coeff=0 equal=0 seconds=9.4923e-05
case=201 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00099035
case=202 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000678351
case=203 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00045936
case=204 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000231008
case=205 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000113531
case=206 t=10 d=5 p1=0 p2=0 nodes=289 leaves=0 coeff=0 equal=0 seconds=0.000100511
case=207 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000156586
case=208 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000132379
case=209 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.01e-05
case=210 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.5113e-05
case=211 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.0065e-05
case=212 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000153811
case=213 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000134733
case=214 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.3195e-05
case=215 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.1508e-05
case=216 t=10 d=4 p1=1 p2=0 nodes=197 leaves=0 coeff=0 equal=0 seconds=5.6425e-05
case=217 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00102154
case=218 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000856659
case=219 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00063818
case=220 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000374152
case=221 t=10 d=4 p1=0 p2=0 nodes=505 leaves=0 coeff=0 equal=0 seconds=0.000283987
case=222 t=10 d=5 p1=0 p2=0 nodes=2370 leaves=0 coeff=0 equal=0 seconds=0.000395485
case=223 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00027925
case=224 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000224297
case=225 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000152179
case=226 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.8668e-05
case=227 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.5058e-05
case=228 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000927825
case=229 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000805572
case=230 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000659061
case=231 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000320833
case=232 t=10 d=4 p1=0 p2=0 nodes=1017 leaves=0 coeff=0 equal=0 seconds=0.000515335
case=233 t=10 d=5 p1=0 p2=0 nodes=3179 leaves=0 coeff=0 equal=0 seconds=0.000766463
case=234 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00025875
case=235 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000230176
case=236 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000147843
case=237 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.5439e-05
case=238 t=10 d=4 p1=0 p2=1 nodes=211 leaves=0 coeff=0 equal=0 seconds=7.6745e-05
case=239 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000259841
case=240 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000214243
case=241 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00015993
case=242 t=10 d=3 p1=1 p2=0 nodes=595 leaves=0 coeff=0 equal=0 seconds=0.00017293
case=243 t=10 d=4 p1=1 p2=0 nodes=1451 leaves=0 coeff=0 equal=0 seconds=0.000209696
case=244 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00129156
case=245 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00106593
case=246 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000744259
case=247 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000401574
case=248 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000211739
case=249 t=10 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.8633e-05
case=250 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000996008
case=251 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000815336
case=252 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000740894
case=253 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00036603
case=254 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000184408
case=255 t=10 d=5 p1=0 p2=0 nodes=233 leaves=0 coeff=0 equal=0 seconds=0.000156876
case=256 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000242856
case=257 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000191878
case=258 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000136014
case=259 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.1748e-05
case=260 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.9119e-05
case=261 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00097702
case=262 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000860885
case=263 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000622286
case=264 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000415044
case=265 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000229435
case=266 t=10 d=5 p1=0 p2=0 nodes=230 leaves=0 coeff=0 equal=0 seconds=0.000169364
case=267 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000283286
case=268 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000245519
case=269 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000423547
case=270 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.7942e-05
case=271 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.0431e-05
case=272 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000782026
case=273 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000627013
case=274 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000647183
case=275 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000373192
case=276 t=10 d=4 p1=0 p2=0 nodes=820 leaves=0 coeff=0 equal=0 seconds=0.000410197
case=277 t=10 d=5 p1=0 p2=0 nodes=1759 leaves=0 coeff=0 equal=0 seconds=0.000558721
case=278 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000287111
case=279 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000261544
case=280 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000178628
case=281 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000108503
case=282 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.2003e-05
case=283 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00093093
case=284 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000803368
case=285 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000590649
case=286 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00036581
case=287 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000191508
case=288 t=10 d=5 p1=0 p2=0 nodes=81 leaves=0 coeff=0 equal=0 seconds=0.000107672
case=289 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000248053
case=290 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000217207
case=291 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000140271
case=292 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.1403e-05
case=293 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.1252e-05
case=294 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00250741
case=295 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00196008
case=296 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000632581
case=297 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000402065
case=298 t=10 d=4 p1=0 p2=0 nodes=31 leaves=0 coeff=0 equal=0 seconds=0.00229596
case=299 t=10 d=5 p1=0 p2=0 nodes=370 leaves=0 coeff=0 equal=0 seconds=0.000183196
case=300 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000881295
case=301 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000698801
case=302 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00258159
case=303 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000299881
case=304 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000193721
case=305 t=10 d=5 p1=0 p2=0 nodes=326 leaves=0 coeff=0 equal=0 seconds=0.000142815
case=306 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000235173
case=307 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000182484
case=308 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00012639
case=309 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.4132e-05
case=310 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.8768e-05
case=311 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00330863
case=312 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00019964
case=313 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00013971
case=314 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.0651e-05
case=315 t=10 d=4 p1=1 p2=0 nodes=211 leaves=0 coeff=0 equal=0 seconds=7.5003e-05
case=316 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000864441
case=317 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00377814
case=318 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000659142
case=319 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000406341
case=320 t=10 d=4 p1=0 p2=0 nodes=502 leaves=0 coeff=0 equal=0 seconds=0.000345079
case=321 t=10 d=5 p1=0 p2=0 nodes=2094 leaves=0 coeff=0 equal=0 seconds=0.00355961
case=322 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000329636
case=323 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000315865
case=324 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000196155
case=325 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000125139
case=326 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.624e-05
case=327 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0003128
case=328 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0033313
case=329 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000207892
case=330 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000129796
case=331 t=10 d=4 p1=1 p2=0 nodes=873 leaves=0 coeff=0 equal=0 seconds=0.000175333
case=332 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000748756
case=333 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00465746
case=334 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000528325
case=335 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000331419
case=336 t=10 d=4 p1=0 p2=0 nodes=1169 leaves=0 coeff=0 equal=0 seconds=0.000527664
case=337 t=10 d=5 p1=0 p2=0 nodes=1405 leaves=0 coeff=0 equal=0 seconds=0.000510307
case=338 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00434447
case=339 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00023984
case=340 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00017251
case=341 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000112439
case=342 t=10 d=4 p1=0 p2=1 nodes=237 leaves=0 coeff=0 equal=0 seconds=0.000103646
case=343 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000306892
case=344 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000233761
case=345 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000168744
case=346 t=10 d=3 p1=1 p2=0 nodes=648 leaves=0 coeff=0 equal=0 seconds=0.000224598
case=347 t=10 d=4 p1=1 p2=0 nodes=1775 leaves=0 coeff=0 equal=0 seconds=0.00303005
case=348 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111913
case=349 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00106864
case=350 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000661195
case=351 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00053135
case=352 t=10 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000269045
case=353 t=10 d=5 p1=0 p2=0 nodes=13 leaves=0 coeff=0 equal=0 seconds=0.000123896
case=354 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000309876
case=355 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000271097
case=356 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000217607
case=357 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.7292e-05
case=358 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.998e-05
case=359 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112545
case=360 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000961967
case=361 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000667654
case=362 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000529827
case=363 t=10 d=4 p1=0 p2=0 nodes=25 leaves=0 coeff=0 equal=0 seconds=0.000270266
case=364 t=10 d=5 p1=0 p2=0 nodes=169 leaves=0 coeff=0 equal=0 seconds=0.000165669
case=365 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000992974
case=366 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000867104
case=367 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000673713
case=368 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000387403
case=369 t=10 d=4 p1=0 p2=0 nodes=209 leaves=0 coeff=0 equal=0 seconds=0.000281624
case=370 t=10 d=5 p1=0 p2=0 nodes=350 leaves=0 coeff=0 equal=0 seconds=0.000302445
case=371 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000283096
case=372 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000243767
case=373 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000175173
case=374 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00013329
case=375 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000134072
case=376 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000281293
case=377 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000266991
case=378 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000255915
case=379 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000127512
case=380 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.4287e-05
case=381 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000858271
case=382 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0007113
case=383 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000520262
case=384 t=10 d=3 p1=0 p2=0 nodes=60 leaves=0 coeff=0 equal=0 seconds=0.00044498
case=385 t=10 d=4 p1=0 p2=0 nodes=1730 leaves=0 coeff=0 equal=0 seconds=0.000745351
case=386 t=10 d=5 p1=0 p2=0 nodes=2152 leaves=0 coeff=0 equal=0 seconds=0.00102684
case=387 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000286461
case=388 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000247542
case=389 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000215715
case=390 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000201934
case=391 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.4562e-05
case=392 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000726853
case=393 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000576567
case=394 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000577198
case=395 t=10 d=3 p1=0 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.00033921
case=396 t=10 d=4 p1=0 p2=0 nodes=5655 leaves=0 coeff=0 equal=0 seconds=0.0022196
case=397 t=10 d=5 p1=0 p2=0 nodes=945 leaves=0 coeff=0 equal=0 seconds=0.000752692
case=398 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00027267
case=399 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000248524
case=400 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000183085
case=401 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000140682
case=402 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.6025e-05
case=403 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000253602
case=404 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000236215
case=405 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000176906
case=406 t=10 d=3 p1=1 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000122214
case=407 t=10 d=4 p1=1 p2=0 nodes=233 leaves=0 coeff=0 equal=0 seconds=0.000128543
case=408 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000862668
case=409 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000766773
case=410 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000570919
case=411 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000490958
case=412 t=10 d=4 p1=0 p2=0 nodes=25 leaves=0 coeff=0 equal=0 seconds=0.000267142
case=413 t=10 d=5 p1=0 p2=0 nodes=129 leaves=0 coeff=0 equal=0 seconds=0.000156526
case=414 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000307352
case=415 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000252931
case=416 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000174943
case=417 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000113742
case=418 t=10 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.9961e-05
case=419 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000763298
case=420 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000622245
case=421 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000489816
case=422 t=10 d=3 p1=0 p2=0 nodes=26 leaves=0 coeff=0 equal=0 seconds=0.000362505
case=423 t=10 d=4 p1=0 p2=0 nodes=149 leaves=0 coeff=0 equal=0 seconds=0.000283697
case=424 t=10 d=5 p1=0 p2=0 nodes=690 leaves=0 coeff=0 equal=0 seconds=0.00029899
case=425 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000282685
case=426 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000263807
case=427 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000185118
case=428 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000126
case=429 t=10 d=4 p1=1 p2=0 nodes=19 leaves=0 coeff=0 equal=0 seconds=7.7516e-05
case=430 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000950339
case=431 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000713453
case=432 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000502405
case=433 t=10 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000349826
case=434 t=10 d=4 p1=0 p2=0 nodes=195 leaves=0 coeff=0 equal=0 seconds=0.000335785
case=435 t=10 d=5 p1=0 p2=0 nodes=99 leaves=0 coeff=0 equal=0 seconds=0.000201743
case=436 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000263226
case=437 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000251398
case=438 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000159369
case=439 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000105368
case=440 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.5514e-05
case=441 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000261824
case=442 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000228002
case=443 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000175314
case=444 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000107432
case=445 t=10 d=4 p1=1 p2=0 nodes=237 leaves=0 coeff=0 equal=0 seconds=0.000103376
case=446 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000686663
case=447 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000560063
case=448 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000441124
case=449 t=10 d=3 p1=0 p2=0 nodes=60 leaves=0 coeff=0 equal=0 seconds=0.000359521
case=450 t=10 d=4 p1=0 p2=0 nodes=2893 leaves=0 coeff=0 equal=0 seconds=0.000883569
case=451 t=10 d=5 p1=0 p2=0 nodes=1024 leaves=0 coeff=0 equal=0 seconds=0.000550468
case=452 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000288093
case=453 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000240392
case=454 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000180512
case=455 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000126891
case=456 t=10 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=7.4703e-05
case=457 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000272751
case=458 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000240332
case=459 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000184718
case=460 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000128413
case=461 t=10 d=4 p1=1 p2=0 nodes=686 leaves=0 coeff=0 equal=0 seconds=0.000203006
case=462 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000640564
case=463 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000518219
case=464 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0004259
case=465 t=10 d=3 p1=0 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000293922
case=466 t=10 d=4 p1=0 p2=0 nodes=3166 leaves=0 coeff=0 equal=0 seconds=0.00120043
case=467 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000269776
case=468 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000236145
case=469 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000172659
case=470 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000123476
case=471 t=10 d=4 p1=0 p2=1 nodes=233 leaves=0 coeff=0 equal=0 seconds=0.000147481
case=472 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000259731
case=473 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000239841
case=474 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000194112
case=475 t=10 d=3 p1=1 p2=0 nodes=752 leaves=0 coeff=0 equal=0 seconds=0.000323206
case=476 t=10 d=4 p1=1 p2=0 nodes=824 leaves=0 coeff=0 equal=0 seconds=0.000361233
case=477 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000667935
case=478 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000609377
case=479 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000736357
case=480 t=10 d=3 p1=0 p2=0 nodes=26 leaves=0 coeff=0 equal=0 seconds=0.000414143
case=481 t=10 d=4 p1=0 p2=0 nodes=139 leaves=0 coeff=0 equal=0 seconds=0.000278288
case=482 t=10 d=5 p1=0 p2=0 nodes=200 leaves=0 coeff=0 equal=0 seconds=0.000211027
case=483 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000337257
case=484 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000450237
case=485 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000205839
case=486 t=10 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000131968
case=487 t=10 d=4 p1=1 p2=0 nodes=115 leaves=0 coeff=0 equal=0 seconds=9.6345e-05
case=488 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000542476
case=489 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000490077
case=490 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000375064
case=491 t=10 d=3 p1=0 p2=0 nodes=60 leaves=0 coeff=0 equal=0 seconds=0.000315685
case=492 t=10 d=4 p1=0 p2=0 nodes=1004 leaves=0 coeff=0 equal=0 seconds=0.000480362
case=493 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000258619
case=494 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000235034
case=495 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000168263
case=496 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000126931
case=497 t=10 d=4 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000101252
case=498 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000257607
case=499 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000239299
case=500 t=10 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00017309
case=501 t=10 d=3 p1=1 p2=0 nodes=253 leaves=0 coeff=0 equal=0 seconds=0.000191528
case=502 t=10 d=4 p1=1 p2=0 nodes=448 leaves=0 coeff=0 equal=0 seconds=0.000249996
case=503 t=10 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000446031
case=504 t=10 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000367523
case=505 t=10 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000289886
case=506 t=10 d=3 p1=0 p2=0 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000251708
case=507 t=10 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000227372
case=508 t=10 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000195904
case=509 t=10 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000154732
case=510 t=10 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000121163
case=511 t=10 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000224407
case=512 t=10 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000207061
case=513 t=10 d=2 p1=1 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000160772
case=514 t=10 d=3 p1=1 p2=0 nodes=1708 leaves=0 coeff=0 equal=0 seconds=0.000636888
case=515 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0006647
case=516 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000575796
case=517 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000346031
case=518 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000160271
case=519 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=6.6751e-05
case=520 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=3.1227e-05
case=521 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000758981
case=522 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000621315
case=523 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000463287
case=524 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000243737
case=525 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000144337
case=526 t=11 d=5 p1=0 p2=0 nodes=1888 leaves=0 coeff=0 equal=0 seconds=0.000255674
case=527 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000170506
case=528 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00013269
case=529 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.9955e-05
case=530 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.6259e-05
case=531 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.6009e-05
case=532 t=11 d=5 p1=0 p2=1 nodes=199 leaves=0 coeff=0 equal=0 seconds=3.3821e-05
case=533 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000751661
case=534 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000613503
case=535 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000430808
case=536 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000234243
case=537 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000138448
case=538 t=11 d=5 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.993e-05
case=539 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000171348
case=540 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000131418
case=541 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.0977e-05
case=542 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.6029e-05
case=543 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=2.5599e-05
case=544 t=11 d=5 p1=1 p2=0 nodes=199 leaves=0 coeff=0 equal=0 seconds=3.3531e-05
case=545 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000676157
case=546 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000588014
case=547 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000474373
case=548 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0003063
case=549 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000186871
case=550 t=11 d=5 p1=0 p2=0 nodes=459 leaves=0 coeff=0 equal=0 seconds=0.000160491
case=551 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000561064
case=552 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000498911
case=553 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000427053
case=554 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000261403
case=555 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000182855
case=556 t=11 d=5 p1=0 p2=0 nodes=2269 leaves=0 coeff=0 equal=0 seconds=0.000398058
case=557 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000215885
case=558 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000180681
case=559 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000125539
case=560 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.7146e-05
case=561 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.4447e-05
case=562 t=11 d=5 p1=0 p2=1 nodes=264 leaves=0 coeff=0 equal=0 seconds=5.0526e-05
case=563 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000212369
case=564 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000181894
case=565 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000128414
case=566 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.0892e-05
case=567 t=11 d=4 p1=1 p2=0 nodes=1119 leaves=0 coeff=0 equal=0 seconds=0.000163857
case=568 t=11 d=5 p1=1 p2=0 nodes=1316 leaves=0 coeff=0 equal=0 seconds=0.000157467
case=569 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00075123
case=570 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000669737
case=571 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000500112
case=572 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000322956
case=573 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000189936
case=574 t=11 d=5 p1=0 p2=0 nodes=245 leaves=0 coeff=0 equal=0 seconds=0.000125498
case=575 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00071133
case=576 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000431549
case=577 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000383167
case=578 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000250557
case=579 t=11 d=4 p1=0 p2=0 nodes=778 leaves=0 coeff=0 equal=0 seconds=0.000293311
case=580 t=11 d=5 p1=0 p2=0 nodes=5316 leaves=0 coeff=0 equal=0 seconds=0.00111025
case=581 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000220382
case=582 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000175734
case=583 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000138298
case=584 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.7641e-05
case=585 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.7416e-05
case=586 t=11 d=5 p1=0 p2=1 nodes=34 leaves=0 coeff=0 equal=0 seconds=3.3149e-05
case=587 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000756518
case=588 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000584198
case=589 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000428675
case=590 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000275554
case=591 t=11 d=4 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000171348
case=592 t=11 d=5 p1=0 p2=0 nodes=185 leaves=0 coeff=0 equal=0 seconds=0.000128854
case=593 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000210807
case=594 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000181743
case=595 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000144307
case=596 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=8.0311e-05
case=597 t=11 d=4 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=4.4126e-05
case=598 t=11 d=5 p1=1 p2=0 nodes=264 leaves=0 coeff=0 equal=0 seconds=5.1317e-05
case=599 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00058545
case=600 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000471218
case=601 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000395775
case=602 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000270687
case=603 t=11 d=4 p1=0 p2=0 nodes=293 leaves=0 coeff=0 equal=0 seconds=0.000223176
case=604 t=11 d=5 p1=0 p2=0 nodes=2619 leaves=0 coeff=0 equal=0 seconds=0.000468354
case=605 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000213682
case=606 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000190025
case=607 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000144147
case=608 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.9029e-05
case=609 t=11 d=4 p1=1 p2=0 nodes=76 leaves=0 coeff=0 equal=0 seconds=7.1277e-05
case=610 t=11 d=5 p1=1 p2=0 nodes=592 leaves=0 coeff=0 equal=0 seconds=0.00010683
case=611 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000563568
case=612 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000380722
case=613 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000328494
case=614 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000221763
case=615 t=11 d=4 p1=0 p2=0 nodes=1278 leaves=0 coeff=0 equal=0 seconds=0.000386051
case=616 t=11 d=5 p1=0 p2=0 nodes=11049 leaves=0 coeff=0 equal=0 seconds=0.0020845
case=617 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000197006
case=618 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000168473
case=619 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000149284
case=620 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.4282e-05
case=621 t=11 d=4 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=5.9259e-05
case=622 t=11 d=5 p1=0 p2=1 nodes=300 leaves=0 coeff=0 equal=0 seconds=7.31e-05
case=623 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000195775
case=624 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000188834
case=625 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000138739
case=626 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.7346e-05
case=627 t=11 d=4 p1=1 p2=0 nodes=1316 leaves=0 coeff=0 equal=0 seconds=0.000237888
case=628 t=11 d=5 p1=1 p2=0 nodes=1786 leaves=0 coeff=0 equal=0 seconds=0.000277617
case=629 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000467242
case=630 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000397358
case=631 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000324918
case=632 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000233602
case=633 t=11 d=4 p1=0 p2=0 nodes=319 leaves=0 coeff=0 equal=0 seconds=0.000211699
case=634 t=11 d=5 p1=0 p2=0 nodes=2851 leaves=0 coeff=0 equal=0 seconds=0.000502095
case=635 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00020665
case=636 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000201403
case=637 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000137166
case=638 t=11 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000102704
case=639 t=11 d=4 p1=1 p2=0 nodes=720 leaves=0 coeff=0 equal=0 seconds=0.000143606
case=640 t=11 d=5 p1=1 p2=0 nodes=872 leaves=0 coeff=0 equal=0 seconds=0.000191118
case=641 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0003524
case=642 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000298659
case=643 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000234022
case=644 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000196866
case=645 t=11 d=4 p1=0 p2=0 nodes=1255 leaves=0 coeff=0 equal=0 seconds=0.000376016
case=646 t=11 d=5 p1=0 p2=0 nodes=5270 leaves=0 coeff=0 equal=0 seconds=0.00124979
case=647 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00017977
case=648 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000164067
case=649 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000118298
case=650 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=9.3721e-05
case=651 t=11 d=4 p1=0 p2=1 nodes=206 leaves=0 coeff=0 equal=0 seconds=8.4918e-05
case=652 t=11 d=5 p1=0 p2=1 nodes=460 leaves=0 coeff=0 equal=0 seconds=0.00011966
case=653 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000180742
case=654 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000156555
case=655 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00013902
case=656 t=11 d=3 p1=1 p2=0 nodes=818 leaves=0 coeff=0 equal=0 seconds=0.000243997
case=657 t=11 d=4 p1=1 p2=0 nodes=5153 leaves=0 coeff=0 equal=0 seconds=0.00093726
case=658 t=11 d=5 p1=1 p2=0 nodes=992 leaves=0 coeff=0 equal=0 seconds=0.000266851
case=659 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.81e-07
case=660 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.1e-07
case=661 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=662 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=663 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=664 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=665 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=666 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=667 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=668 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=669 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=670 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=671 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=672 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=673 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=674 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=675 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=676 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=677 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=678 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=679 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=680 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=681 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=682 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=683 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=684 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=685 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=686 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=687 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=688 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=689 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=690 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=691 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
COMPLETE cases=692 nodes=117623 leaves=0 coeff=0 endpoint_pass=0 inconsistent=0 boundsbad=0 rankbad=0 equal=0 found=0