case=0 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000646052
case=1 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00043838
case=2 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000243847
case=3 t=11 d=3 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000132409
case=4 t=11 d=4 p1=0 p2=0 nodes=2248 leaves=0 coeff=0 equal=0 seconds=0.000332059
case=5 t=11 d=5 p1=0 p2=0 nodes=2152 leaves=0 coeff=0 equal=0 seconds=0.000255154
case=6 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128853
case=7 t=11 d=1 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.000954566
case=8 t=11 d=2 p1=0 p2=0 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.00092397
case=9 t=11 d=3 p1=0 p2=0 nodes=27861 leaves=0 coeff=0 equal=0 seconds=0.00308043
case=10 t=11 d=4 p1=0 p2=0 nodes=33557 leaves=0 coeff=0 equal=0 seconds=0.00340195
case=11 t=11 d=5 p1=0 p2=0 nodes=16999 leaves=0 coeff=0 equal=0 seconds=0.0016982
case=12 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0002193
case=13 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000135334
case=14 t=11 d=2 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=8.649e-05
case=15 t=11 d=3 p1=0 p2=1 nodes=1695 leaves=0 coeff=0 equal=0 seconds=0.000247863
case=16 t=11 d=4 p1=0 p2=1 nodes=1450 leaves=0 coeff=0 equal=0 seconds=0.000162023
case=17 t=11 d=5 p1=0 p2=1 nodes=664 leaves=0 coeff=0 equal=0 seconds=8.4106e-05
case=18 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112799
case=19 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00087732
case=20 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000445951
case=21 t=11 d=3 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000234993
case=22 t=11 d=4 p1=0 p2=0 nodes=3442 leaves=0 coeff=0 equal=0 seconds=0.000507704
case=23 t=11 d=5 p1=0 p2=0 nodes=6342 leaves=0 coeff=0 equal=0 seconds=0.00115175
case=24 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000179711
case=25 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000160482
case=26 t=11 d=2 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=8.8363e-05
case=27 t=11 d=3 p1=1 p2=0 nodes=1695 leaves=0 coeff=0 equal=0 seconds=0.000210267
case=28 t=11 d=4 p1=1 p2=0 nodes=1450 leaves=0 coeff=0 equal=0 seconds=0.000165329
case=29 t=11 d=5 p1=1 p2=0 nodes=664 leaves=0 coeff=0 equal=0 seconds=8.3867e-05
case=30 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00261155
case=31 t=11 d=1 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00191884
case=32 t=11 d=2 p1=0 p2=0 nodes=2640 leaves=0 coeff=0 equal=0 seconds=0.00137776
case=33 t=11 d=3 p1=0 p2=0 nodes=10980 leaves=0 coeff=0 equal=0 seconds=0.00161712
case=34 t=11 d=4 p1=0 p2=0 nodes=21734 leaves=0 coeff=0 equal=0 seconds=0.00235064
case=35 t=11 d=5 p1=0 p2=0 nodes=16237 leaves=0 coeff=0 equal=0 seconds=0.00204659
case=36 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00201723
case=37 t=11 d=1 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00150062
case=38 t=11 d=2 p1=0 p2=0 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.00127434
case=39 t=11 d=3 p1=0 p2=0 nodes=44947 leaves=0 coeff=0 equal=0 seconds=0.00602983
case=40 t=11 d=4 p1=0 p2=0 nodes=101558 leaves=0 coeff=0 equal=0 seconds=0.0132722
case=41 t=11 d=5 p1=0 p2=0 nodes=56101 leaves=0 coeff=0 equal=0 seconds=0.00654252
case=42 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000328765
case=43 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000271779
case=44 t=11 d=2 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000154373
case=45 t=11 d=3 p1=0 p2=1 nodes=2689 leaves=0 coeff=0 equal=0 seconds=0.00037938
case=46 t=11 d=4 p1=0 p2=1 nodes=4282 leaves=0 coeff=0 equal=0 seconds=0.000699202
case=47 t=11 d=5 p1=0 p2=1 nodes=2331 leaves=0 coeff=0 equal=0 seconds=0.000274984
case=48 t=11 d=0 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=0.000346441
case=49 t=11 d=1 p1=1 p2=0 nodes=2255 leaves=0 coeff=0 equal=0 seconds=0.000596007
case=50 t=11 d=2 p1=1 p2=0 nodes=15756 leaves=0 coeff=0 equal=0 seconds=0.00180292
case=51 t=11 d=3 p1=1 p2=0 nodes=17397 leaves=0 coeff=0 equal=0 seconds=0.00184582
case=52 t=11 d=4 p1=1 p2=0 nodes=8647 leaves=0 coeff=0 equal=0 seconds=0.000992673
case=53 t=11 d=5 p1=1 p2=0 nodes=3411 leaves=0 coeff=0 equal=0 seconds=0.000371268
case=54 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199555
case=55 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00164016
case=56 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000901667
case=57 t=11 d=3 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000467734
case=58 t=11 d=4 p1=0 p2=0 nodes=3260 leaves=0 coeff=0 equal=0 seconds=0.00117028
case=59 t=11 d=5 p1=0 p2=0 nodes=6338 leaves=0 coeff=0 equal=0 seconds=0.000900565
case=60 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00302391
case=61 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00259157
case=62 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00166002
case=63 t=11 d=3 p1=0 p2=0 nodes=1377 leaves=0 coeff=0 equal=0 seconds=0.00113262
case=64 t=11 d=4 p1=0 p2=0 nodes=6748 leaves=0 coeff=0 equal=0 seconds=0.00111672
case=65 t=11 d=5 p1=0 p2=0 nodes=7171 leaves=0 coeff=0 equal=0 seconds=0.000895908
case=66 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00265907
case=67 t=11 d=1 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00226037
case=68 t=11 d=2 p1=0 p2=0 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.00190154
case=69 t=11 d=3 p1=0 p2=0 nodes=43904 leaves=0 coeff=0 equal=0 seconds=0.00764035
case=70 t=11 d=4 p1=0 p2=0 nodes=95279 leaves=0 coeff=0 equal=0 seconds=0.0149728
case=71 t=11 d=5 p1=0 p2=0 nodes=49978 leaves=0 coeff=0 equal=0 seconds=0.00778423
case=72 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00058426
case=73 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00044523
case=74 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000280452
case=75 t=11 d=3 p1=0 p2=1 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.000178419
case=76 t=11 d=4 p1=0 p2=1 nodes=492 leaves=0 coeff=0 equal=0 seconds=0.000145008
case=77 t=11 d=5 p1=0 p2=1 nodes=871 leaves=0 coeff=0 equal=0 seconds=0.000142415
case=78 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00297985
case=79 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00262313
case=80 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154485
case=81 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000886463
case=82 t=11 d=4 p1=0 p2=0 nodes=139 leaves=0 coeff=0 equal=0 seconds=0.000429616
case=83 t=11 d=5 p1=0 p2=0 nodes=472 leaves=0 coeff=0 equal=0 seconds=0.000260963
case=84 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00320685
case=85 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00264197
case=86 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00182981
case=87 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00102222
case=88 t=11 d=4 p1=0 p2=0 nodes=771 leaves=0 coeff=0 equal=0 seconds=0.00064446
case=89 t=11 d=5 p1=0 p2=0 nodes=681 leaves=0 coeff=0 equal=0 seconds=0.000306461
case=90 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00272436
case=91 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0022436
case=92 t=11 d=2 p1=0 p2=0 nodes=104 leaves=0 coeff=0 equal=0 seconds=0.00159852
case=93 t=11 d=3 p1=0 p2=0 nodes=3391 leaves=0 coeff=0 equal=0 seconds=0.0013689
case=94 t=11 d=4 p1=0 p2=0 nodes=6115 leaves=0 coeff=0 equal=0 seconds=0.00135268
case=95 t=11 d=5 p1=0 p2=0 nodes=6089 leaves=0 coeff=0 equal=0 seconds=0.00148975
case=96 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000800544
case=97 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000625191
case=98 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000394954
case=99 t=11 d=3 p1=0 p2=1 nodes=34 leaves=0 coeff=0 equal=0 seconds=0.000217578
case=100 t=11 d=4 p1=0 p2=1 nodes=171 leaves=0 coeff=0 equal=0 seconds=0.000131848
case=101 t=11 d=5 p1=0 p2=1 nodes=133 leaves=0 coeff=0 equal=0 seconds=5.9439e-05
case=102 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177456
case=103 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00153765
case=104 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000785002
case=105 t=11 d=3 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000395685
case=106 t=11 d=4 p1=0 p2=0 nodes=8237 leaves=0 coeff=0 equal=0 seconds=0.0012034
case=107 t=11 d=5 p1=0 p2=0 nodes=13273 leaves=0 coeff=0 equal=0 seconds=0.00161401
case=108 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000314984
case=109 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000262285
case=110 t=11 d=2 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000150156
case=111 t=11 d=3 p1=1 p2=0 nodes=2689 leaves=0 coeff=0 equal=0 seconds=0.000393853
case=112 t=11 d=4 p1=1 p2=0 nodes=4282 leaves=0 coeff=0 equal=0 seconds=0.00049874
case=113 t=11 d=5 p1=1 p2=0 nodes=2331 leaves=0 coeff=0 equal=0 seconds=0.000256796
case=114 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00250232
case=115 t=11 d=1 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00207923
case=116 t=11 d=2 p1=0 p2=0 nodes=2640 leaves=0 coeff=0 equal=0 seconds=0.00164388
case=117 t=11 d=3 p1=0 p2=0 nodes=16069 leaves=0 coeff=0 equal=0 seconds=0.0026921
case=118 t=11 d=4 p1=0 p2=0 nodes=42367 leaves=0 coeff=0 equal=0 seconds=0.00545875
case=119 t=11 d=5 p1=0 p2=0 nodes=40409 leaves=0 coeff=0 equal=0 seconds=0.0048742
case=120 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000598671
case=121 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000467433
case=122 t=11 d=2 p1=1 p2=0 nodes=1686 leaves=0 coeff=0 equal=0 seconds=0.000480774
case=123 t=11 d=3 p1=1 p2=0 nodes=9664 leaves=0 coeff=0 equal=0 seconds=0.00114735
case=124 t=11 d=4 p1=1 p2=0 nodes=7381 leaves=0 coeff=0 equal=0 seconds=0.000813224
case=125 t=11 d=5 p1=1 p2=0 nodes=2758 leaves=0 coeff=0 equal=0 seconds=0.000310548
case=126 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00229772
case=127 t=11 d=1 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00187952
case=128 t=11 d=2 p1=0 p2=0 nodes=4924 leaves=0 coeff=0 equal=0 seconds=0.00185149
case=129 t=11 d=3 p1=0 p2=0 nodes=131313 leaves=0 coeff=0 equal=0 seconds=0.017868
case=130 t=11 d=4 p1=0 p2=0 nodes=219098 leaves=0 coeff=0 equal=0 seconds=0.0299661
case=131 t=11 d=5 p1=0 p2=0 nodes=98156 leaves=0 coeff=0 equal=0 seconds=0.0140577
case=132 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000549136
case=133 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000406802
case=134 t=11 d=2 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000246601
case=135 t=11 d=3 p1=0 p2=1 nodes=6406 leaves=0 coeff=0 equal=0 seconds=0.00101954
case=136 t=11 d=4 p1=0 p2=1 nodes=8760 leaves=0 coeff=0 equal=0 seconds=0.00108732
case=137 t=11 d=5 p1=0 p2=1 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.00051834
case=138 t=11 d=0 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=0.000563097
case=139 t=11 d=1 p1=1 p2=0 nodes=2255 leaves=0 coeff=0 equal=0 seconds=0.000654104
case=140 t=11 d=2 p1=1 p2=0 nodes=27548 leaves=0 coeff=0 equal=0 seconds=0.00348145
case=141 t=11 d=3 p1=1 p2=0 nodes=51803 leaves=0 coeff=0 equal=0 seconds=0.00628956
case=142 t=11 d=4 p1=1 p2=0 nodes=27507 leaves=0 coeff=0 equal=0 seconds=0.00346465
case=143 t=11 d=5 p1=1 p2=0 nodes=10039 leaves=0 coeff=0 equal=0 seconds=0.00123226
case=144 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00249851
case=145 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00202643
case=146 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131286
case=147 t=11 d=3 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000723389
case=148 t=11 d=4 p1=0 p2=0 nodes=7440 leaves=0 coeff=0 equal=0 seconds=0.00154152
case=149 t=11 d=5 p1=0 p2=0 nodes=15245 leaves=0 coeff=0 equal=0 seconds=0.00225615
case=150 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00057123
case=151 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000439881
case=152 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000276737
case=153 t=11 d=3 p1=1 p2=0 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.000177727
case=154 t=11 d=4 p1=1 p2=0 nodes=492 leaves=0 coeff=0 equal=0 seconds=0.000143265
case=155 t=11 d=5 p1=1 p2=0 nodes=871 leaves=0 coeff=0 equal=0 seconds=0.000142134
case=156 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00271262
case=157 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00231429
case=158 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167674
case=159 t=11 d=3 p1=0 p2=0 nodes=1377 leaves=0 coeff=0 equal=0 seconds=0.00113806
case=160 t=11 d=4 p1=0 p2=0 nodes=8892 leaves=0 coeff=0 equal=0 seconds=0.00151581
case=161 t=11 d=5 p1=0 p2=0 nodes=12880 leaves=0 coeff=0 equal=0 seconds=0.00177429
case=162 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000814175
case=163 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000674385
case=164 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000421444
case=165 t=11 d=3 p1=1 p2=0 nodes=714 leaves=0 coeff=0 equal=0 seconds=0.000305069
case=166 t=11 d=4 p1=1 p2=0 nodes=2757 leaves=0 coeff=0 equal=0 seconds=0.000394053
case=167 t=11 d=5 p1=1 p2=0 nodes=982 leaves=0 coeff=0 equal=0 seconds=0.000147702
case=168 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00250451
case=169 t=11 d=1 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00210574
case=170 t=11 d=2 p1=0 p2=0 nodes=2640 leaves=0 coeff=0 equal=0 seconds=0.00177374
case=171 t=11 d=3 p1=0 p2=0 nodes=15157 leaves=0 coeff=0 equal=0 seconds=0.00296239
case=172 t=11 d=4 p1=0 p2=0 nodes=34939 leaves=0 coeff=0 equal=0 seconds=0.00551216
case=173 t=11 d=5 p1=0 p2=0 nodes=30245 leaves=0 coeff=0 equal=0 seconds=0.00493412
case=174 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00223661
case=175 t=11 d=1 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00187664
case=176 t=11 d=2 p1=0 p2=0 nodes=4924 leaves=0 coeff=0 equal=0 seconds=0.00198477
case=177 t=11 d=3 p1=0 p2=0 nodes=125744 leaves=0 coeff=0 equal=0 seconds=0.0223356
case=178 t=11 d=4 p1=0 p2=0 nodes=259194 leaves=0 coeff=0 equal=0 seconds=0.0508561
case=179 t=11 d=5 p1=0 p2=0 nodes=110699 leaves=0 coeff=0 equal=0 seconds=0.0232285
case=180 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000795126
case=181 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000627945
case=182 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000407894
case=183 t=11 d=3 p1=0 p2=1 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.000253091
case=184 t=11 d=4 p1=0 p2=1 nodes=1158 leaves=0 coeff=0 equal=0 seconds=0.000289105
case=185 t=11 d=5 p1=0 p2=1 nodes=1541 leaves=0 coeff=0 equal=0 seconds=0.000289726
case=186 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000738512
case=187 t=11 d=1 p1=1 p2=0 nodes=61 leaves=0 coeff=0 equal=0 seconds=0.000596057
case=188 t=11 d=2 p1=1 p2=0 nodes=2093 leaves=0 coeff=0 equal=0 seconds=0.000688396
case=189 t=11 d=3 p1=1 p2=0 nodes=4535 leaves=0 coeff=0 equal=0 seconds=0.000914937
case=190 t=11 d=4 p1=1 p2=0 nodes=7506 leaves=0 coeff=0 equal=0 seconds=0.00131912
case=191 t=11 d=5 p1=1 p2=0 nodes=5326 leaves=0 coeff=0 equal=0 seconds=0.000874946
case=192 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00313436
case=193 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00248352
case=194 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00168862
case=195 t=11 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111166
case=196 t=11 d=4 p1=0 p2=0 nodes=2956 leaves=0 coeff=0 equal=0 seconds=0.00103013
case=197 t=11 d=5 p1=0 p2=0 nodes=1966 leaves=0 coeff=0 equal=0 seconds=0.000555666
case=198 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000795778
case=199 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000630168
case=200 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000449016
case=201 t=11 d=3 p1=1 p2=0 nodes=34 leaves=0 coeff=0 equal=0 seconds=0.000247702
case=202 t=11 d=4 p1=1 p2=0 nodes=171 leaves=0 coeff=0 equal=0 seconds=0.000161974
case=203 t=11 d=5 p1=1 p2=0 nodes=133 leaves=0 coeff=0 equal=0 seconds=5.3461e-05
case=204 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0026483
case=205 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00210978
case=206 t=11 d=2 p1=0 p2=0 nodes=159 leaves=0 coeff=0 equal=0 seconds=0.00150434
case=207 t=11 d=3 p1=0 p2=0 nodes=2339 leaves=0 coeff=0 equal=0 seconds=0.00123224
case=208 t=11 d=4 p1=0 p2=0 nodes=7106 leaves=0 coeff=0 equal=0 seconds=0.00161783
case=209 t=11 d=5 p1=0 p2=0 nodes=7259 leaves=0 coeff=0 equal=0 seconds=0.00196092
case=210 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00278984
case=211 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00195741
case=212 t=11 d=2 p1=0 p2=0 nodes=236 leaves=0 coeff=0 equal=0 seconds=0.00143184
case=213 t=11 d=3 p1=0 p2=0 nodes=11567 leaves=0 coeff=0 equal=0 seconds=0.00239329
case=214 t=11 d=4 p1=0 p2=0 nodes=31045 leaves=0 coeff=0 equal=0 seconds=0.00844299
case=215 t=11 d=5 p1=0 p2=0 nodes=28358 leaves=0 coeff=0 equal=0 seconds=0.0109417
case=216 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000819373
case=217 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000601415
case=218 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000442386
case=219 t=11 d=3 p1=0 p2=1 nodes=34 leaves=0 coeff=0 equal=0 seconds=0.000280552
case=220 t=11 d=4 p1=0 p2=1 nodes=292 leaves=0 coeff=0 equal=0 seconds=0.000183065
case=221 t=11 d=5 p1=0 p2=1 nodes=354 leaves=0 coeff=0 equal=0 seconds=0.000102524
case=222 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000818191
case=223 t=11 d=1 p1=1 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.000618921
case=224 t=11 d=2 p1=1 p2=0 nodes=879 leaves=0 coeff=0 equal=0 seconds=0.000532211
case=225 t=11 d=3 p1=1 p2=0 nodes=2443 leaves=0 coeff=0 equal=0 seconds=0.000555916
case=226 t=11 d=4 p1=1 p2=0 nodes=1691 leaves=0 coeff=0 equal=0 seconds=0.000393011
case=227 t=11 d=5 p1=1 p2=0 nodes=759 leaves=0 coeff=0 equal=0 seconds=0.000200041
case=228 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00265506
case=229 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00231987
case=230 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00153293
case=231 t=11 d=3 p1=0 p2=0 nodes=6192 leaves=0 coeff=0 equal=0 seconds=0.00174676
case=232 t=11 d=4 p1=0 p2=0 nodes=46786 leaves=0 coeff=0 equal=0 seconds=0.00722702
case=233 t=11 d=5 p1=0 p2=0 nodes=1536 leaves=0 coeff=0 equal=0 seconds=0.00059805
case=234 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00255304
case=235 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00228843
case=236 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00149043
case=237 t=11 d=3 p1=0 p2=0 nodes=2492 leaves=0 coeff=0 equal=0 seconds=0.00125241
case=238 t=11 d=4 p1=0 p2=0 nodes=14579 leaves=0 coeff=0 equal=0 seconds=0.00266298
case=239 t=11 d=5 p1=0 p2=0 nodes=11897 leaves=0 coeff=0 equal=0 seconds=0.00259437
case=240 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00205688
case=241 t=11 d=1 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00170168
case=242 t=11 d=2 p1=0 p2=0 nodes=31352 leaves=0 coeff=0 equal=0 seconds=0.00621637
case=243 t=11 d=3 p1=0 p2=0 nodes=179050 leaves=0 coeff=0 equal=0 seconds=0.0353258
case=244 t=11 d=4 p1=0 p2=0 nodes=184679 leaves=0 coeff=0 equal=0 seconds=0.0405785
case=245 t=11 d=5 p1=0 p2=0 nodes=63341 leaves=0 coeff=0 equal=0 seconds=0.0181255
case=246 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000938412
case=247 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000603288
case=248 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000464509
case=249 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000281794
case=250 t=11 d=4 p1=0 p2=1 nodes=204 leaves=0 coeff=0 equal=0 seconds=0.000207271
case=251 t=11 d=5 p1=0 p2=1 nodes=587 leaves=0 coeff=0 equal=0 seconds=0.000177076
case=252 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00229163
case=253 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00211973
case=254 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00119957
case=255 t=11 d=3 p1=0 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000719813
case=256 t=11 d=4 p1=0 p2=0 nodes=9798 leaves=0 coeff=0 equal=0 seconds=0.00159644
case=257 t=11 d=5 p1=0 p2=0 nodes=12474 leaves=0 coeff=0 equal=0 seconds=0.00200645
case=258 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000521815
case=259 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000402375
case=260 t=11 d=2 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000261163
case=261 t=11 d=3 p1=1 p2=0 nodes=6406 leaves=0 coeff=0 equal=0 seconds=0.000907055
case=262 t=11 d=4 p1=1 p2=0 nodes=8760 leaves=0 coeff=0 equal=0 seconds=0.0010696
case=263 t=11 d=5 p1=1 p2=0 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.000501765
case=264 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00224999
case=265 t=11 d=1 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00191848
case=266 t=11 d=2 p1=0 p2=0 nodes=3051 leaves=0 coeff=0 equal=0 seconds=0.00178749
case=267 t=11 d=3 p1=0 p2=0 nodes=45394 leaves=0 coeff=0 equal=0 seconds=0.0064223
case=268 t=11 d=4 p1=0 p2=0 nodes=89234 leaves=0 coeff=0 equal=0 seconds=0.0125325
case=269 t=11 d=5 p1=0 p2=0 nodes=60174 leaves=0 coeff=0 equal=0 seconds=0.00904111
case=270 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00097049
case=271 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000646362
case=272 t=11 d=2 p1=1 p2=0 nodes=1686 leaves=0 coeff=0 equal=0 seconds=0.000659011
case=273 t=11 d=3 p1=1 p2=0 nodes=14647 leaves=0 coeff=0 equal=0 seconds=0.00199029
case=274 t=11 d=4 p1=1 p2=0 nodes=17255 leaves=0 coeff=0 equal=0 seconds=0.00232399
case=275 t=11 d=5 p1=1 p2=0 nodes=6063 leaves=0 coeff=0 equal=0 seconds=0.000816168
case=276 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0020571
case=277 t=11 d=1 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00169852
case=278 t=11 d=2 p1=0 p2=0 nodes=14663 leaves=0 coeff=0 equal=0 seconds=0.00323424
case=279 t=11 d=3 p1=0 p2=0 nodes=192455 leaves=0 coeff=0 equal=0 seconds=0.029912
case=280 t=11 d=4 p1=0 p2=0 nodes=216773 leaves=0 coeff=0 equal=0 seconds=0.0362351
case=281 t=11 d=5 p1=0 p2=0 nodes=66750 leaves=0 coeff=0 equal=0 seconds=0.0136388
case=282 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000673744
case=283 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000565571
case=284 t=11 d=2 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000346241
case=285 t=11 d=3 p1=0 p2=1 nodes=7485 leaves=0 coeff=0 equal=0 seconds=0.00125659
case=286 t=11 d=4 p1=0 p2=1 nodes=8138 leaves=0 coeff=0 equal=0 seconds=0.00127476
case=287 t=11 d=5 p1=0 p2=1 nodes=2696 leaves=0 coeff=0 equal=0 seconds=0.000465421
case=288 t=11 d=0 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=0.000716718
case=289 t=11 d=1 p1=1 p2=0 nodes=2831 leaves=0 coeff=0 equal=0 seconds=0.000893335
case=290 t=11 d=2 p1=1 p2=0 nodes=78328 leaves=0 coeff=0 equal=0 seconds=0.0108371
case=291 t=11 d=3 p1=1 p2=0 nodes=107959 leaves=0 coeff=0 equal=0 seconds=0.0150527
case=292 t=11 d=4 p1=1 p2=0 nodes=45904 leaves=0 coeff=0 equal=0 seconds=0.00694768
case=293 t=11 d=5 p1=1 p2=0 nodes=9480 leaves=0 coeff=0 equal=0 seconds=0.00152124
case=294 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00260034
case=295 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00204638
case=296 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143584
case=297 t=11 d=3 p1=0 p2=0 nodes=10368 leaves=0 coeff=0 equal=0 seconds=0.00210043
case=298 t=11 d=4 p1=0 p2=0 nodes=96813 leaves=0 coeff=0 equal=0 seconds=0.0175331
case=299 t=11 d=5 p1=0 p2=0 nodes=1785 leaves=0 coeff=0 equal=0 seconds=0.000651941
case=300 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000720324
case=301 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00059785
case=302 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000383877
case=303 t=11 d=3 p1=1 p2=0 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.00025246
case=304 t=11 d=4 p1=1 p2=0 nodes=1158 leaves=0 coeff=0 equal=0 seconds=0.000285089
case=305 t=11 d=5 p1=1 p2=0 nodes=1541 leaves=0 coeff=0 equal=0 seconds=0.000279731
case=306 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00239246
case=307 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00182135
case=308 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138433
case=309 t=11 d=3 p1=0 p2=0 nodes=4772 leaves=0 coeff=0 equal=0 seconds=0.00152046
case=310 t=11 d=4 p1=0 p2=0 nodes=31351 leaves=0 coeff=0 equal=0 seconds=0.00470317
case=311 t=11 d=5 p1=0 p2=0 nodes=21292 leaves=0 coeff=0 equal=0 seconds=0.00416422
case=312 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000852883
case=313 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000662597
case=314 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000450308
case=315 t=11 d=3 p1=1 p2=0 nodes=1510 leaves=0 coeff=0 equal=0 seconds=0.000540433
case=316 t=11 d=4 p1=1 p2=0 nodes=3963 leaves=0 coeff=0 equal=0 seconds=0.000643037
case=317 t=11 d=5 p1=1 p2=0 nodes=1067 leaves=0 coeff=0 equal=0 seconds=0.000243496
case=318 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00235773
case=319 t=11 d=1 p1=0 p2=0 nodes=22 leaves=0 coeff=0 equal=0 seconds=0.00167212
case=320 t=11 d=2 p1=0 p2=0 nodes=14639 leaves=0 coeff=0 equal=0 seconds=0.0029731
case=321 t=11 d=3 p1=0 p2=0 nodes=109935 leaves=0 coeff=0 equal=0 seconds=0.0186473
case=322 t=11 d=4 p1=0 p2=0 nodes=151708 leaves=0 coeff=0 equal=0 seconds=0.0284552
case=323 t=11 d=5 p1=0 p2=0 nodes=77255 leaves=0 coeff=0 equal=0 seconds=0.0199701
case=324 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000824411
case=325 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000630659
case=326 t=11 d=2 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000486853
case=327 t=11 d=3 p1=1 p2=0 nodes=1267 leaves=0 coeff=0 equal=0 seconds=0.000429856
case=328 t=11 d=4 p1=1 p2=0 nodes=2798 leaves=0 coeff=0 equal=0 seconds=0.00056443
case=329 t=11 d=5 p1=1 p2=0 nodes=2427 leaves=0 coeff=0 equal=0 seconds=0.000549938
case=330 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00190452
case=331 t=11 d=1 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00147398
case=332 t=11 d=2 p1=0 p2=0 nodes=58359 leaves=0 coeff=0 equal=0 seconds=0.00899446
case=333 t=11 d=3 p1=0 p2=0 nodes=377684 leaves=0 coeff=0 equal=0 seconds=0.0830252
case=334 t=11 d=4 p1=0 p2=0 nodes=384611 leaves=0 coeff=0 equal=0 seconds=0.0976107
case=335 t=11 d=5 p1=0 p2=0 nodes=103390 leaves=0 coeff=0 equal=0 seconds=0.037296
case=336 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000748987
case=337 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000601775
case=338 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000420443
case=339 t=11 d=3 p1=0 p2=1 nodes=232 leaves=0 coeff=0 equal=0 seconds=0.000295945
case=340 t=11 d=4 p1=0 p2=1 nodes=1587 leaves=0 coeff=0 equal=0 seconds=0.000506492
case=341 t=11 d=5 p1=0 p2=1 nodes=1117 leaves=0 coeff=0 equal=0 seconds=0.000340592
case=342 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000755697
case=343 t=11 d=1 p1=1 p2=0 nodes=61 leaves=0 coeff=0 equal=0 seconds=0.000659863
case=344 t=11 d=2 p1=1 p2=0 nodes=4558 leaves=0 coeff=0 equal=0 seconds=0.00104966
case=345 t=11 d=3 p1=1 p2=0 nodes=12304 leaves=0 coeff=0 equal=0 seconds=0.00226502
case=346 t=11 d=4 p1=1 p2=0 nodes=15161 leaves=0 coeff=0 equal=0 seconds=0.00365637
case=347 t=11 d=5 p1=1 p2=0 nodes=6143 leaves=0 coeff=0 equal=0 seconds=0.00165726
case=348 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00209477
case=349 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162171
case=350 t=11 d=2 p1=0 p2=0 nodes=1394 leaves=0 coeff=0 equal=0 seconds=0.00142758
case=351 t=11 d=3 p1=0 p2=0 nodes=71677 leaves=0 coeff=0 equal=0 seconds=0.0128202
case=352 t=11 d=4 p1=0 p2=0 nodes=115157 leaves=0 coeff=0 equal=0 seconds=0.0250363
case=353 t=11 d=5 p1=0 p2=0 nodes=27085 leaves=0 coeff=0 equal=0 seconds=0.00912845
case=354 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00082386
case=355 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000638311
case=356 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000489477
case=357 t=11 d=3 p1=1 p2=0 nodes=111 leaves=0 coeff=0 equal=0 seconds=0.000306822
case=358 t=11 d=4 p1=1 p2=0 nodes=1171 leaves=0 coeff=0 equal=0 seconds=0.000360492
case=359 t=11 d=5 p1=1 p2=0 nodes=547 leaves=0 coeff=0 equal=0 seconds=0.000188623
case=360 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00175901
case=361 t=11 d=1 p1=0 p2=0 nodes=3584 leaves=0 coeff=0 equal=0 seconds=0.00193356
case=362 t=11 d=2 p1=0 p2=0 nodes=164394 leaves=0 coeff=0 equal=0 seconds=0.0263148
case=363 t=11 d=3 p1=0 p2=0 nodes=277839 leaves=0 coeff=0 equal=0 seconds=0.0499902
case=364 t=11 d=4 p1=0 p2=0 nodes=196745 leaves=0 coeff=0 equal=0 seconds=0.0581926
case=365 t=11 d=5 p1=0 p2=0 nodes=37636 leaves=0 coeff=0 equal=0 seconds=0.0140571
case=366 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00439138
case=367 t=11 d=1 p1=0 p2=0 nodes=17152 leaves=0 coeff=0 equal=0 seconds=0.00465101
case=368 t=11 d=2 p1=0 p2=0 nodes=1415563 leaves=0 coeff=0 equal=0 seconds=0.265352
case=369 t=11 d=3 p1=0 p2=0 nodes=1938099 leaves=0 coeff=0 equal=0 seconds=0.496938
case=370 t=11 d=4 p1=0 p2=0 nodes=666456 leaves=0 coeff=0 equal=0 seconds=0.226976
case=371 t=11 d=5 p1=0 p2=0 nodes=79342 leaves=0 coeff=0 equal=0 seconds=0.0343143
case=372 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000716989
case=373 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000541805
case=374 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000435726
case=375 t=11 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000272169
case=376 t=11 d=4 p1=0 p2=1 nodes=795 leaves=0 coeff=0 equal=0 seconds=0.000340272
case=377 t=11 d=5 p1=0 p2=1 nodes=975 leaves=0 coeff=0 equal=0 seconds=0.000368815
case=378 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0007312
case=379 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000564239
case=380 t=11 d=2 p1=1 p2=0 nodes=232 leaves=0 coeff=0 equal=0 seconds=0.00045826
case=381 t=11 d=3 p1=1 p2=0 nodes=5239 leaves=0 coeff=0 equal=0 seconds=0.00161802
case=382 t=11 d=4 p1=1 p2=0 nodes=9173 leaves=0 coeff=0 equal=0 seconds=0.00256743
case=383 t=11 d=5 p1=1 p2=0 nodes=2201 leaves=0 coeff=0 equal=0 seconds=0.000748586
case=384 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00423127
case=385 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0019074
case=386 t=11 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128863
case=387 t=11 d=3 p1=0 p2=0 nodes=11808 leaves=0 coeff=0 equal=0 seconds=0.00235072
case=388 t=11 d=4 p1=0 p2=0 nodes=52576 leaves=0 coeff=0 equal=0 seconds=0.00944243
case=389 t=11 d=5 p1=0 p2=0 nodes=780 leaves=0 coeff=0 equal=0 seconds=0.000465901
case=390 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000667625
case=391 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000529217
case=392 t=11 d=2 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000356827
case=393 t=11 d=3 p1=1 p2=0 nodes=7485 leaves=0 coeff=0 equal=0 seconds=0.00121721
case=394 t=11 d=4 p1=1 p2=0 nodes=8138 leaves=0 coeff=0 equal=0 seconds=0.0012503
case=395 t=11 d=5 p1=1 p2=0 nodes=2696 leaves=0 coeff=0 equal=0 seconds=0.000495475
case=396 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00192055
case=397 t=11 d=1 p1=0 p2=0 nodes=22 leaves=0 coeff=0 equal=0 seconds=0.00148757
case=398 t=11 d=2 p1=0 p2=0 nodes=31710 leaves=0 coeff=0 equal=0 seconds=0.00505352
case=399 t=11 d=3 p1=0 p2=0 nodes=119828 leaves=0 coeff=0 equal=0 seconds=0.0172314
case=400 t=11 d=4 p1=0 p2=0 nodes=144355 leaves=0 coeff=0 equal=0 seconds=0.0255052
case=401 t=11 d=5 p1=0 p2=0 nodes=46467 leaves=0 coeff=0 equal=0 seconds=0.012553
case=402 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000816889
case=403 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000608386
case=404 t=11 d=2 p1=1 p2=0 nodes=2705 leaves=0 coeff=0 equal=0 seconds=0.000792713
case=405 t=11 d=3 p1=1 p2=0 nodes=30461 leaves=0 coeff=0 equal=0 seconds=0.00456407
case=406 t=11 d=4 p1=1 p2=0 nodes=23972 leaves=0 coeff=0 equal=0 seconds=0.00382889
case=407 t=11 d=5 p1=1 p2=0 nodes=4474 leaves=0 coeff=0 equal=0 seconds=0.000984211
case=408 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00192826
case=409 t=11 d=1 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00147428
case=410 t=11 d=2 p1=0 p2=0 nodes=70325 leaves=0 coeff=0 equal=0 seconds=0.0148565
case=411 t=11 d=3 p1=0 p2=0 nodes=285523 leaves=0 coeff=0 equal=0 seconds=0.0566454
case=412 t=11 d=4 p1=0 p2=0 nodes=173233 leaves=0 coeff=0 equal=0 seconds=0.0436924
case=413 t=11 d=5 p1=0 p2=0 nodes=18154 leaves=0 coeff=0 equal=0 seconds=0.00558729
case=414 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000677009
case=415 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000568325
case=416 t=11 d=2 p1=0 p2=1 nodes=55 leaves=0 coeff=0 equal=0 seconds=0.000399641
case=417 t=11 d=3 p1=0 p2=1 nodes=6183 leaves=0 coeff=0 equal=0 seconds=0.00140835
case=418 t=11 d=4 p1=0 p2=1 nodes=5189 leaves=0 coeff=0 equal=0 seconds=0.00119557
case=419 t=11 d=5 p1=0 p2=1 nodes=612 leaves=0 coeff=0 equal=0 seconds=0.000222715
case=420 t=11 d=0 p1=1 p2=0 nodes=6 leaves=0 coeff=0 equal=0 seconds=0.000803939
case=421 t=11 d=1 p1=1 p2=0 nodes=9464 leaves=0 coeff=0 equal=0 seconds=0.00182362
case=422 t=11 d=2 p1=1 p2=0 nodes=109386 leaves=0 coeff=0 equal=0 seconds=0.0182265
case=423 t=11 d=3 p1=1 p2=0 nodes=102836 leaves=0 coeff=0 equal=0 seconds=0.0181329
case=424 t=11 d=4 p1=1 p2=0 nodes=31049 leaves=0 coeff=0 equal=0 seconds=0.00708383
case=425 t=11 d=5 p1=1 p2=0 nodes=2235 leaves=0 coeff=0 equal=0 seconds=0.000669988
case=426 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00186947
case=427 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00149788
case=428 t=11 d=2 p1=0 p2=0 nodes=3404 leaves=0 coeff=0 equal=0 seconds=0.00157198
case=429 t=11 d=3 p1=0 p2=0 nodes=99082 leaves=0 coeff=0 equal=0 seconds=0.0143805
case=430 t=11 d=4 p1=0 p2=0 nodes=92684 leaves=0 coeff=0 equal=0 seconds=0.0188172
case=431 t=11 d=5 p1=0 p2=0 nodes=14404 leaves=0 coeff=0 equal=0 seconds=0.00451232
case=432 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000759773
case=433 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000636357
case=434 t=11 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000447022
case=435 t=11 d=3 p1=1 p2=0 nodes=4968 leaves=0 coeff=0 equal=0 seconds=0.00106166
case=436 t=11 d=4 p1=1 p2=0 nodes=6783 leaves=0 coeff=0 equal=0 seconds=0.00145961
case=437 t=11 d=5 p1=1 p2=0 nodes=687 leaves=0 coeff=0 equal=0 seconds=0.00027911
case=438 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161187
case=439 t=11 d=1 p1=0 p2=0 nodes=11708 leaves=0 coeff=0 equal=0 seconds=0.00264837
case=440 t=11 d=2 p1=0 p2=0 nodes=420853 leaves=0 coeff=0 equal=0 seconds=0.0841737
case=441 t=11 d=3 p1=0 p2=0 nodes=703503 leaves=0 coeff=0 equal=0 seconds=0.168391
case=442 t=11 d=4 p1=0 p2=0 nodes=393356 leaves=0 coeff=0 equal=0 seconds=0.121638
case=443 t=11 d=5 p1=0 p2=0 nodes=54749 leaves=0 coeff=0 equal=0 seconds=0.0284801
case=444 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000812081
case=445 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00065803
case=446 t=11 d=2 p1=1 p2=0 nodes=92 leaves=0 coeff=0 equal=0 seconds=0.000460873
case=447 t=11 d=3 p1=1 p2=0 nodes=5562 leaves=0 coeff=0 equal=0 seconds=0.00109427
case=448 t=11 d=4 p1=1 p2=0 nodes=11056 leaves=0 coeff=0 equal=0 seconds=0.00280729
case=449 t=11 d=5 p1=1 p2=0 nodes=2904 leaves=0 coeff=0 equal=0 seconds=0.00106755
case=450 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00148149
case=451 t=11 d=1 p1=0 p2=0 nodes=31017 leaves=0 coeff=0 equal=0 seconds=0.00584691
case=452 t=11 d=2 p1=0 p2=0 nodes=967518 leaves=0 coeff=0 equal=0 seconds=0.202754
case=453 t=11 d=3 p1=0 p2=0 nodes=1316428 leaves=0 coeff=0 equal=0 seconds=0.440314
case=454 t=11 d=4 p1=0 p2=0 nodes=376349 leaves=0 coeff=0 equal=0 seconds=0.160448
case=455 t=11 d=5 p1=0 p2=0 nodes=19444 leaves=0 coeff=0 equal=0 seconds=0.011659
case=456 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000689868
case=457 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000517257
case=458 t=11 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00040567
case=459 t=11 d=3 p1=0 p2=1 nodes=1458 leaves=0 coeff=0 equal=0 seconds=0.00050524
case=460 t=11 d=4 p1=0 p2=1 nodes=2653 leaves=0 coeff=0 equal=0 seconds=0.000793553
case=461 t=11 d=5 p1=0 p2=1 nodes=457 leaves=0 coeff=0 equal=0 seconds=0.000268654
case=462 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00069142
case=463 t=11 d=1 p1=1 p2=0 nodes=136 leaves=0 coeff=0 equal=0 seconds=0.000544358
case=464 t=11 d=2 p1=1 p2=0 nodes=16173 leaves=0 coeff=0 equal=0 seconds=0.00286411
case=465 t=11 d=3 p1=1 p2=0 nodes=35389 leaves=0 coeff=0 equal=0 seconds=0.00859307
case=466 t=11 d=4 p1=1 p2=0 nodes=21856 leaves=0 coeff=0 equal=0 seconds=0.00734478
case=467 t=11 d=5 p1=1 p2=0 nodes=1500 leaves=0 coeff=0 equal=0 seconds=0.00105059
case=468 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00169127
case=469 t=11 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138166
case=470 t=11 d=2 p1=0 p2=0 nodes=6014 leaves=0 coeff=0 equal=0 seconds=0.00185106
case=471 t=11 d=3 p1=0 p2=0 nodes=60632 leaves=0 coeff=0 equal=0 seconds=0.0105464
case=472 t=11 d=4 p1=0 p2=0 nodes=35055 leaves=0 coeff=0 equal=0 seconds=0.00897165
case=473 t=11 d=5 p1=0 p2=0 nodes=2041 leaves=0 coeff=0 equal=0 seconds=0.00113564
case=474 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000752972
case=475 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00062491
case=476 t=11 d=2 p1=1 p2=0 nodes=8988 leaves=0 coeff=0 equal=0 seconds=0.00186641
case=477 t=11 d=3 p1=1 p2=0 nodes=31813 leaves=0 coeff=0 equal=0 seconds=0.00590819
case=478 t=11 d=4 p1=1 p2=0 nodes=4029 leaves=0 coeff=0 equal=0 seconds=0.00117021
case=479 t=11 d=5 p1=1 p2=0 nodes=97 leaves=0 coeff=0 equal=0 seconds=0.00012019
case=480 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00176468
case=481 t=11 d=1 p1=0 p2=0 nodes=19683 leaves=0 coeff=0 equal=0 seconds=0.00373976
case=482 t=11 d=2 p1=0 p2=0 nodes=350469 leaves=0 coeff=0 equal=0 seconds=0.055772
case=483 t=11 d=3 p1=0 p2=0 nodes=405497 leaves=0 coeff=0 equal=0 seconds=0.0856193
case=484 t=11 d=4 p1=0 p2=0 nodes=163092 leaves=0 coeff=0 equal=0 seconds=0.0453973
case=485 t=11 d=5 p1=0 p2=0 nodes=10104 leaves=0 coeff=0 equal=0 seconds=0.00336682
case=486 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00069783
case=487 t=11 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000558279
case=488 t=11 d=2 p1=1 p2=0 nodes=16689 leaves=0 coeff=0 equal=0 seconds=0.00279916
case=489 t=11 d=3 p1=1 p2=0 nodes=50844 leaves=0 coeff=0 equal=0 seconds=0.00905439
case=490 t=11 d=4 p1=1 p2=0 nodes=16829 leaves=0 coeff=0 equal=0 seconds=0.00443363
case=491 t=11 d=5 p1=1 p2=0 nodes=757 leaves=0 coeff=0 equal=0 seconds=0.000368034
case=492 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00126089
case=493 t=11 d=1 p1=0 p2=0 nodes=40386 leaves=0 coeff=0 equal=0 seconds=0.00682048
case=494 t=11 d=2 p1=0 p2=0 nodes=675850 leaves=0 coeff=0 equal=0 seconds=0.13158
case=495 t=11 d=3 p1=0 p2=0 nodes=545343 leaves=0 coeff=0 equal=0 seconds=0.148404
case=496 t=11 d=4 p1=0 p2=0 nodes=66665 leaves=0 coeff=0 equal=0 seconds=0.0226374
case=497 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144832
case=498 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000546962
case=499 t=11 d=2 p1=0 p2=1 nodes=597 leaves=0 coeff=0 equal=0 seconds=0.000518189
case=500 t=11 d=3 p1=0 p2=1 nodes=8354 leaves=0 coeff=0 equal=0 seconds=0.00211724
case=501 t=11 d=4 p1=0 p2=1 nodes=1777 leaves=0 coeff=0 equal=0 seconds=0.00129933
case=502 t=11 d=0 p1=1 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.000709326
case=503 t=11 d=1 p1=1 p2=0 nodes=43382 leaves=0 coeff=0 equal=0 seconds=0.0070791
case=504 t=11 d=2 p1=1 p2=0 nodes=145775 leaves=0 coeff=0 equal=0 seconds=0.0278515
case=505 t=11 d=3 p1=1 p2=0 nodes=76335 leaves=0 coeff=0 equal=0 seconds=0.0182372
case=506 t=11 d=4 p1=1 p2=0 nodes=8119 leaves=0 coeff=0 equal=0 seconds=0.00295462
case=507 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125869
case=508 t=11 d=1 p1=0 p2=0 nodes=24457 leaves=0 coeff=0 equal=0 seconds=0.00422978
case=509 t=11 d=2 p1=0 p2=0 nodes=211928 leaves=0 coeff=0 equal=0 seconds=0.0393857
case=510 t=11 d=3 p1=0 p2=0 nodes=188801 leaves=0 coeff=0 equal=0 seconds=0.0443561
case=511 t=11 d=4 p1=0 p2=0 nodes=30841 leaves=0 coeff=0 equal=0 seconds=0.0100322
case=512 t=11 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00067781
case=513 t=11 d=1 p1=1 p2=0 nodes=6856 leaves=0 coeff=0 equal=0 seconds=0.00161322
case=514 t=11 d=2 p1=1 p2=0 nodes=118210 leaves=0 coeff=0 equal=0 seconds=0.0218155
case=515 t=11 d=3 p1=1 p2=0 nodes=51205 leaves=0 coeff=0 equal=0 seconds=0.0128678
case=516 t=11 d=4 p1=1 p2=0 nodes=3733 leaves=0 coeff=0 equal=0 seconds=0.0015852
case=517 t=11 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00103997
case=518 t=11 d=1 p1=0 p2=0 nodes=43226 leaves=0 coeff=0 equal=0 seconds=0.00818958
case=519 t=11 d=2 p1=0 p2=0 nodes=402263 leaves=0 coeff=0 equal=0 seconds=0.0958053
case=520 t=11 d=3 p1=0 p2=0 nodes=147447 leaves=0 coeff=0 equal=0 seconds=0.0469329
case=521 t=11 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000568194
case=522 t=11 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000422926
case=523 t=11 d=2 p1=0 p2=1 nodes=16873 leaves=0 coeff=0 equal=0 seconds=0.00407694
case=524 t=11 d=3 p1=0 p2=1 nodes=5830 leaves=0 coeff=0 equal=0 seconds=0.00208683
case=525 t=11 d=0 p1=1 p2=0 nodes=23996 leaves=0 coeff=0 equal=0 seconds=0.00408566
case=526 t=11 d=1 p1=1 p2=0 nodes=332931 leaves=0 coeff=0 equal=0 seconds=0.0597944
case=527 t=11 d=2 p1=1 p2=0 nodes=213788 leaves=0 coeff=0 equal=0 seconds=0.0524035
case=528 t=11 d=3 p1=1 p2=0 nodes=26406 leaves=0 coeff=0 equal=0 seconds=0.00834455
case=529 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=6.01e-07
case=530 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.61e-07
case=531 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=532 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=533 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=534 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=535 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=536 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=537 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=538 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=539 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=540 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=541 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=542 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=543 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=544 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=5.71e-07
case=545 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=546 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=547 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=548 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=549 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.1e-07
case=550 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=551 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=552 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=553 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=554 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=555 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=556 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=557 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=558 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=559 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=560 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=561 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.51e-07
case=562 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=563 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=564 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=565 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=566 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=567 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=568 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=569 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=570 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=571 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=572 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=573 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=574 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=575 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=576 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=577 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=578 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=579 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=580 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=581 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=582 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=583 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=584 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=585 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=586 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=587 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=588 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=589 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=590 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=591 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=592 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=593 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=594 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=595 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=596 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=597 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=598 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=599 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=600 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=601 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=602 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=603 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=604 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=605 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=606 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=607 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=608 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=609 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=610 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=611 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=612 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=613 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=614 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=615 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=616 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=617 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=618 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=619 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=620 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=621 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=622 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=623 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=624 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=625 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=626 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=627 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=628 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=629 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=630 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.8e-07
case=631 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=632 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=633 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=634 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=635 t=12 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.51e-07
case=636 t=12 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=637 t=12 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.6e-07
case=638 t=12 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=639 t=12 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=640 t=12 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.61e-07
case=641 t=12 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=642 t=12 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=643 t=12 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=644 t=12 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=645 t=12 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.51e-07
case=646 t=12 d=4 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.7e-07
case=647 t=12 d=5 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
COMPLETE cases=648 nodes=20831736 leaves=0 coeff=0 endpoint_pass=0 inconsistent=0 boundsbad=0 rankbad=0 equal=0 found=0