case=1 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131587
case=5 t=12 d=5 p1=0 p2=0 nodes=2833 leaves=0 coeff=0 equal=0 seconds=0.000634284
case=9 t=12 d=2 p1=0 p2=0 nodes=111954 leaves=0 coeff=0 equal=0 seconds=0.0243035
case=13 t=12 d=6 p1=0 p2=0 nodes=33482 leaves=0 coeff=0 equal=0 seconds=0.00651166
case=17 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00056494
case=21 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00047229
case=25 t=12 d=4 p1=1 p2=0 nodes=2248 leaves=0 coeff=0 equal=0 seconds=0.000477418
case=29 t=12 d=2 p1=0 p2=0 nodes=36 leaves=0 coeff=0 equal=0 seconds=0.00648723
case=33 t=12 d=6 p1=0 p2=0 nodes=10392 leaves=0 coeff=0 equal=0 seconds=0.00260687
case=37 t=12 d=3 p1=0 p2=0 nodes=489125 leaves=0 coeff=0 equal=0 seconds=0.0697319
case=41 t=12 d=0 p1=1 p2=0 nodes=2359 leaves=0 coeff=0 equal=0 seconds=0.00243624
case=45 t=12 d=4 p1=1 p2=0 nodes=41470 leaves=0 coeff=0 equal=0 seconds=0.00518896
case=49 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0020395
case=53 t=12 d=6 p1=0 p2=0 nodes=8947 leaves=0 coeff=0 equal=0 seconds=0.0012165
case=57 t=12 d=3 p1=0 p2=0 nodes=528 leaves=0 coeff=0 equal=0 seconds=0.00284819
case=61 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00721415
case=65 t=12 d=4 p1=0 p2=0 nodes=705722 leaves=0 coeff=0 equal=0 seconds=0.127411
case=69 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00567924
case=73 t=12 d=5 p1=0 p2=0 nodes=92 leaves=0 coeff=0 equal=0 seconds=0.000446542
case=77 t=12 d=2 p1=0 p2=0 nodes=19154 leaves=0 coeff=0 equal=0 seconds=0.00639093
case=81 t=12 d=6 p1=0 p2=0 nodes=19602 leaves=0 coeff=0 equal=0 seconds=0.00933446
case=85 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000701075
case=89 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000517228
case=93 t=12 d=4 p1=1 p2=0 nodes=3442 leaves=0 coeff=0 equal=0 seconds=0.000514294
case=97 t=12 d=2 p1=0 p2=0 nodes=36 leaves=0 coeff=0 equal=0 seconds=0.00447494
case=101 t=12 d=6 p1=0 p2=0 nodes=17379 leaves=0 coeff=0 equal=0 seconds=0.00362917
case=105 t=12 d=3 p1=1 p2=0 nodes=16927 leaves=0 coeff=0 equal=0 seconds=0.00245235
case=109 t=12 d=1 p1=0 p2=0 nodes=8219 leaves=0 coeff=0 equal=0 seconds=0.0057095
case=113 t=12 d=5 p1=0 p2=0 nodes=814549 leaves=0 coeff=0 equal=0 seconds=0.152093
case=117 t=12 d=2 p1=1 p2=0 nodes=205014 leaves=0 coeff=0 equal=0 seconds=0.0266198
case=121 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00554193
case=125 t=12 d=4 p1=0 p2=0 nodes=602 leaves=0 coeff=0 equal=0 seconds=0.000796529
case=129 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000841716
case=133 t=12 d=5 p1=1 p2=0 nodes=652 leaves=0 coeff=0 equal=0 seconds=0.000178769
case=137 t=12 d=3 p1=0 p2=0 nodes=923 leaves=0 coeff=0 equal=0 seconds=0.00255217
case=141 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00176751
case=145 t=12 d=4 p1=1 p2=0 nodes=822 leaves=0 coeff=0 equal=0 seconds=0.000366832
case=149 t=12 d=2 p1=0 p2=0 nodes=99 leaves=0 coeff=0 equal=0 seconds=0.00398095
case=153 t=12 d=6 p1=0 p2=0 nodes=7344 leaves=0 coeff=0 equal=0 seconds=0.00354565
case=157 t=12 d=3 p1=0 p2=0 nodes=2300801 leaves=0 coeff=0 equal=0 seconds=0.434036
case=161 t=12 d=0 p1=1 p2=0 nodes=163 leaves=0 coeff=0 equal=0 seconds=0.00217704
case=165 t=12 d=4 p1=1 p2=0 nodes=28048 leaves=0 coeff=0 equal=0 seconds=0.00677055
case=169 t=12 d=2 p1=0 p2=0 nodes=87 leaves=0 coeff=0 equal=0 seconds=0.00363348
case=173 t=12 d=6 p1=0 p2=0 nodes=514 leaves=0 coeff=0 equal=0 seconds=0.000440111
case=177 t=12 d=3 p1=0 p2=0 nodes=7653071 leaves=0 coeff=0 equal=0 seconds=1.73962
case=181 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00519764
case=185 t=12 d=4 p1=0 p2=0 nodes=518 leaves=0 coeff=0 equal=0 seconds=0.000713032
case=189 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000753944
case=193 t=12 d=5 p1=1 p2=0 nodes=13273 leaves=0 coeff=0 equal=0 seconds=0.00163481
case=197 t=12 d=3 p1=0 p2=0 nodes=37886 leaves=0 coeff=0 equal=0 seconds=0.00698261
case=201 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00212013
case=205 t=12 d=4 p1=1 p2=0 nodes=20621 leaves=0 coeff=0 equal=0 seconds=0.00336604
case=209 t=12 d=2 p1=0 p2=0 nodes=1220948 leaves=0 coeff=0 equal=0 seconds=0.160923
case=213 t=12 d=6 p1=0 p2=0 nodes=43773 leaves=0 coeff=0 equal=0 seconds=0.0147429
case=217 t=12 d=3 p1=1 p2=0 nodes=725144 leaves=0 coeff=0 equal=0 seconds=0.109358
case=221 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00549504
case=225 t=12 d=5 p1=0 p2=0 nodes=5896 leaves=0 coeff=0 equal=0 seconds=0.00190158
case=229 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000911551
case=233 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00586262
case=237 t=12 d=4 p1=0 p2=0 nodes=739455 leaves=0 coeff=0 equal=0 seconds=0.207732
case=241 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00165979
case=245 t=12 d=5 p1=1 p2=0 nodes=1817 leaves=0 coeff=0 equal=0 seconds=0.000620173
case=249 t=12 d=3 p1=0 p2=0 nodes=24072474 leaves=0 coeff=0 equal=0 seconds=7.02178
case=253 t=12 d=0 p1=1 p2=0 nodes=270 leaves=0 coeff=0 equal=0 seconds=0.00254163
case=257 t=12 d=4 p1=1 p2=0 nodes=123482 leaves=0 coeff=0 equal=0 seconds=0.0375021
case=261 t=12 d=2 p1=0 p2=0 nodes=87 leaves=0 coeff=0 equal=0 seconds=0.00333186
case=265 t=12 d=6 p1=0 p2=0 nodes=44 leaves=0 coeff=0 equal=0 seconds=0.000237898
case=269 t=12 d=3 p1=1 p2=0 nodes=4252 leaves=0 coeff=0 equal=0 seconds=0.00120736
case=273 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00447023
case=277 t=12 d=5 p1=0 p2=0 nodes=97733 leaves=0 coeff=0 equal=0 seconds=0.0276797
case=281 t=12 d=2 p1=1 p2=0 nodes=9030 leaves=0 coeff=0 equal=0 seconds=0.00225245
case=285 t=12 d=0 p1=0 p2=0 nodes=350 leaves=0 coeff=0 equal=0 seconds=0.00403158
case=289 t=12 d=4 p1=0 p2=0 nodes=3201214 leaves=0 coeff=0 equal=0 seconds=0.947313
case=293 t=12 d=1 p1=1 p2=0 nodes=627302 leaves=0 coeff=0 equal=0 seconds=0.0874964
case=297 t=12 d=5 p1=1 p2=0 nodes=13384 leaves=0 coeff=0 equal=0 seconds=0.00471159
case=301 t=12 d=3 p1=0 p2=0 nodes=782946 leaves=0 coeff=0 equal=0 seconds=0.132216
case=305 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00212777
case=309 t=12 d=4 p1=1 p2=0 nodes=18915 leaves=0 coeff=0 equal=0 seconds=0.00505174
case=313 t=12 d=2 p1=0 p2=0 nodes=11191110 leaves=0 coeff=0 equal=0 seconds=1.86017
case=317 t=12 d=0 p1=1 p2=0 nodes=950992 leaves=0 coeff=0 equal=0 seconds=0.154116
case=321 t=12 d=4 p1=1 p2=0 nodes=63104 leaves=0 coeff=0 equal=0 seconds=0.0246166
case=325 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.000836248
case=329 t=12 d=6 p1=0 p2=0 nodes=30176 leaves=0 coeff=0 equal=0 seconds=0.0028077
case=333 t=12 d=3 p1=0 p2=1 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000111939
case=337 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00315561
case=341 t=12 d=5 p1=0 p2=0 nodes=130586 leaves=0 coeff=0 equal=0 seconds=0.0155095
case=345 t=12 d=2 p1=0 p2=0 nodes=982360 leaves=0 coeff=0 equal=0 seconds=0.105915
case=349 t=12 d=6 p1=0 p2=0 nodes=217309 leaves=0 coeff=0 equal=0 seconds=0.0244934
case=353 t=12 d=3 p1=0 p2=1 nodes=83997 leaves=0 coeff=0 equal=0 seconds=0.00895994
case=357 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00389152
case=361 t=12 d=5 p1=0 p2=0 nodes=34446 leaves=0 coeff=0 equal=0 seconds=0.00353674
case=365 t=12 d=2 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00335906
case=369 t=12 d=6 p1=0 p2=0 nodes=27392 leaves=0 coeff=0 equal=0 seconds=0.00290481
case=373 t=12 d=3 p1=0 p2=0 nodes=6460 leaves=0 coeff=0 equal=0 seconds=0.00143919
case=377 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000518059
case=381 t=12 d=4 p1=0 p2=1 nodes=3442 leaves=0 coeff=0 equal=0 seconds=0.000510017
case=385 t=12 d=2 p1=1 p2=0 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.000750068
case=389 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00808799
case=393 t=12 d=4 p1=0 p2=0 nodes=352524 leaves=0 coeff=0 equal=0 seconds=0.0435492
case=397 t=12 d=1 p1=1 p2=0 nodes=2042 leaves=0 coeff=0 equal=0 seconds=0.00123222
case=401 t=12 d=5 p1=1 p2=0 nodes=20874 leaves=0 coeff=0 equal=0 seconds=0.0023378
case=405 t=12 d=3 p1=0 p2=0 nodes=466602 leaves=0 coeff=0 equal=0 seconds=0.0542146
case=409 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0019159
case=413 t=12 d=4 p1=0 p2=1 nodes=23558 leaves=0 coeff=0 equal=0 seconds=0.00266874
case=417 t=12 d=2 p1=0 p2=0 nodes=370928 leaves=0 coeff=0 equal=0 seconds=0.0423512
case=421 t=12 d=6 p1=0 p2=0 nodes=178720 leaves=0 coeff=0 equal=0 seconds=0.0279222
case=425 t=12 d=3 p1=0 p2=0 nodes=4912107 leaves=0 coeff=0 equal=0 seconds=0.697754
case=429 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158299
case=433 t=12 d=4 p1=0 p2=1 nodes=195693 leaves=0 coeff=0 equal=0 seconds=0.0250783
case=437 t=12 d=2 p1=1 p2=0 nodes=723648 leaves=0 coeff=0 equal=0 seconds=0.0877649
case=441 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0097421
case=445 t=12 d=4 p1=0 p2=0 nodes=1771 leaves=0 coeff=0 equal=0 seconds=0.00160828
case=449 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00948491
case=453 t=12 d=5 p1=0 p2=0 nodes=8209 leaves=0 coeff=0 equal=0 seconds=0.00259762
case=457 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00386328
case=461 t=12 d=6 p1=0 p2=0 nodes=93186 leaves=0 coeff=0 equal=0 seconds=0.0237527
case=465 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000412831
case=469 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00706376
case=473 t=12 d=5 p1=0 p2=0 nodes=396290 leaves=0 coeff=0 equal=0 seconds=0.0880357
case=477 t=12 d=2 p1=0 p2=0 nodes=7877 leaves=0 coeff=0 equal=0 seconds=0.00543107
case=481 t=12 d=6 p1=0 p2=0 nodes=16262 leaves=0 coeff=0 equal=0 seconds=0.0021793
case=485 t=12 d=3 p1=0 p2=1 nodes=278 leaves=0 coeff=0 equal=0 seconds=0.000665682
case=489 t=12 d=1 p1=0 p2=0 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00531149
case=493 t=12 d=5 p1=0 p2=0 nodes=283323 leaves=0 coeff=0 equal=0 seconds=0.034517
case=497 t=12 d=2 p1=0 p2=0 nodes=1022058 leaves=0 coeff=0 equal=0 seconds=0.125481
case=501 t=12 d=6 p1=0 p2=0 nodes=335366 leaves=0 coeff=0 equal=0 seconds=0.116802
case=505 t=12 d=3 p1=0 p2=1 nodes=15924 leaves=0 coeff=0 equal=0 seconds=0.00275812
case=509 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00677467
case=513 t=12 d=5 p1=0 p2=0 nodes=1836 leaves=0 coeff=0 equal=0 seconds=0.000850158
case=517 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00611924
case=521 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000331088
case=525 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000467623
case=529 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00552777
case=533 t=12 d=5 p1=0 p2=0 nodes=42219 leaves=0 coeff=0 equal=0 seconds=0.021072
case=537 t=12 d=2 p1=0 p2=0 nodes=122372 leaves=0 coeff=0 equal=0 seconds=0.0171193
case=541 t=12 d=6 p1=0 p2=0 nodes=102130 leaves=0 coeff=0 equal=0 seconds=0.062058
case=545 t=12 d=3 p1=0 p2=1 nodes=8838 leaves=0 coeff=0 equal=0 seconds=0.00174218
case=549 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00438165
case=553 t=12 d=5 p1=0 p2=0 nodes=68365 leaves=0 coeff=0 equal=0 seconds=0.01039
case=557 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000571539
case=561 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0102804
case=565 t=12 d=4 p1=0 p2=0 nodes=37687 leaves=0 coeff=0 equal=0 seconds=0.00593291
case=569 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00151936
case=573 t=12 d=5 p1=1 p2=0 nodes=11449 leaves=0 coeff=0 equal=0 seconds=0.00149693
case=577 t=12 d=3 p1=0 p2=0 nodes=149654 leaves=0 coeff=0 equal=0 seconds=0.0183256
case=581 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00549494
case=585 t=12 d=4 p1=0 p2=0 nodes=202008 leaves=0 coeff=0 equal=0 seconds=0.0305639
case=589 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000827174
case=593 t=12 d=5 p1=0 p2=1 nodes=13273 leaves=0 coeff=0 equal=0 seconds=0.00170623
case=597 t=12 d=3 p1=1 p2=0 nodes=44947 leaves=0 coeff=0 equal=0 seconds=0.00597601
case=601 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00491258
case=605 t=12 d=5 p1=0 p2=0 nodes=959437 leaves=0 coeff=0 equal=0 seconds=0.169411
case=609 t=12 d=2 p1=1 p2=0 nodes=44858 leaves=0 coeff=0 equal=0 seconds=0.00657336
case=613 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00598377
case=617 t=12 d=4 p1=0 p2=0 nodes=1313320 leaves=0 coeff=0 equal=0 seconds=0.185672
case=621 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00165497
case=625 t=12 d=5 p1=0 p2=1 nodes=25854 leaves=0 coeff=0 equal=0 seconds=0.00363675
case=629 t=12 d=3 p1=1 p2=0 nodes=199443 leaves=0 coeff=0 equal=0 seconds=0.0233676
case=633 t=12 d=1 p1=0 p2=0 nodes=55560 leaves=0 coeff=0 equal=0 seconds=0.00984371
case=637 t=12 d=5 p1=0 p2=0 nodes=1655804 leaves=0 coeff=0 equal=0 seconds=0.359634
case=641 t=12 d=2 p1=1 p2=0 nodes=237094 leaves=0 coeff=0 equal=0 seconds=0.0268077
case=645 t=12 d=0 p1=0 p2=0 nodes=158 leaves=0 coeff=0 equal=0 seconds=0.00471809
case=649 t=12 d=4 p1=0 p2=0 nodes=12216498 leaves=0 coeff=0 equal=0 seconds=2.17385
case=653 t=12 d=1 p1=0 p2=1 nodes=2042 leaves=0 coeff=0 equal=0 seconds=0.00214002
case=657 t=12 d=5 p1=0 p2=1 nodes=100859 leaves=0 coeff=0 equal=0 seconds=0.0203802
case=661 t=12 d=3 p1=1 p2=0 nodes=1904680 leaves=0 coeff=0 equal=0 seconds=0.32467
case=665 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00618126
case=669 t=12 d=5 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.000700103
case=673 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00095113
case=677 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00786554
case=681 t=12 d=4 p1=0 p2=0 nodes=20913 leaves=0 coeff=0 equal=0 seconds=0.00385667
case=685 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00182587
case=689 t=12 d=5 p1=1 p2=0 nodes=1727 leaves=0 coeff=0 equal=0 seconds=0.00033891
case=693 t=12 d=3 p1=0 p2=0 nodes=6098 leaves=0 coeff=0 equal=0 seconds=0.00288573
case=697 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00629276
case=701 t=12 d=4 p1=0 p2=0 nodes=228598 leaves=0 coeff=0 equal=0 seconds=0.0364949
case=705 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00547075
case=709 t=12 d=5 p1=0 p2=0 nodes=46124 leaves=0 coeff=0 equal=0 seconds=0.0063837
case=713 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00380592
case=717 t=12 d=6 p1=0 p2=0 nodes=15124 leaves=0 coeff=0 equal=0 seconds=0.00507631
case=721 t=12 d=3 p1=0 p2=0 nodes=33005 leaves=0 coeff=0 equal=0 seconds=0.00698056
case=725 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158058
case=729 t=12 d=4 p1=0 p2=1 nodes=139 leaves=0 coeff=0 equal=0 seconds=0.000251358
case=733 t=12 d=2 p1=1 p2=0 nodes=104 leaves=0 coeff=0 equal=0 seconds=0.000876578
case=737 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00529628
case=741 t=12 d=4 p1=0 p2=0 nodes=5483215 leaves=0 coeff=0 equal=0 seconds=1.2559
case=745 t=12 d=1 p1=1 p2=0 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.00185979
case=749 t=12 d=5 p1=1 p2=0 nodes=22540 leaves=0 coeff=0 equal=0 seconds=0.00443878
case=753 t=12 d=3 p1=0 p2=0 nodes=90943 leaves=0 coeff=0 equal=0 seconds=0.0139174
case=757 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00212884
case=761 t=12 d=4 p1=0 p2=1 nodes=2615 leaves=0 coeff=0 equal=0 seconds=0.000667884
case=765 t=12 d=2 p1=1 p2=0 nodes=8854 leaves=0 coeff=0 equal=0 seconds=0.00229907
case=769 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00517964
case=773 t=12 d=4 p1=0 p2=0 nodes=923796 leaves=0 coeff=0 equal=0 seconds=0.14177
case=777 t=12 d=1 p1=1 p2=0 nodes=131 leaves=0 coeff=0 equal=0 seconds=0.00191934
case=781 t=12 d=5 p1=1 p2=0 nodes=18303 leaves=0 coeff=0 equal=0 seconds=0.0030756
case=785 t=12 d=3 p1=0 p2=0 nodes=832323 leaves=0 coeff=0 equal=0 seconds=0.137727
case=789 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00196702
case=793 t=12 d=4 p1=0 p2=1 nodes=5194 leaves=0 coeff=0 equal=0 seconds=0.000986904
case=797 t=12 d=2 p1=0 p2=0 nodes=574579 leaves=0 coeff=0 equal=0 seconds=0.0795287
case=801 t=12 d=6 p1=0 p2=0 nodes=141938 leaves=0 coeff=0 equal=0 seconds=0.114657
case=805 t=12 d=3 p1=0 p2=0 nodes=21073285 leaves=0 coeff=0 equal=0 seconds=4.95364
case=809 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00264869
case=813 t=12 d=4 p1=0 p2=1 nodes=60729 leaves=0 coeff=0 equal=0 seconds=0.0127957
case=817 t=12 d=2 p1=1 p2=0 nodes=142585 leaves=0 coeff=0 equal=0 seconds=0.0174714
case=821 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00642034
case=825 t=12 d=4 p1=0 p2=0 nodes=31165 leaves=0 coeff=0 equal=0 seconds=0.00520224
case=829 t=12 d=1 p1=0 p2=0 nodes=2607 leaves=0 coeff=0 equal=0 seconds=0.00504424
case=833 t=12 d=5 p1=0 p2=0 nodes=100355 leaves=0 coeff=0 equal=0 seconds=0.0425897
case=837 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00107259
case=841 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00430141
case=845 t=12 d=4 p1=0 p2=0 nodes=1836414 leaves=0 coeff=0 equal=0 seconds=0.530642
case=849 t=12 d=1 p1=0 p2=0 nodes=10551316 leaves=0 coeff=0 equal=0 seconds=1.67032
case=853 t=12 d=5 p1=0 p2=0 nodes=1579636 leaves=0 coeff=0 equal=0 seconds=0.84071
case=857 t=12 d=2 p1=0 p2=1 nodes=444 leaves=0 coeff=0 equal=0 seconds=0.00102215
case=861 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00567553
case=865 t=12 d=4 p1=0 p2=0 nodes=8235 leaves=0 coeff=0 equal=0 seconds=0.00224205
case=869 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00123266
case=873 t=12 d=5 p1=1 p2=0 nodes=34113 leaves=0 coeff=0 equal=0 seconds=0.00441384
case=877 t=12 d=3 p1=0 p2=0 nodes=73850 leaves=0 coeff=0 equal=0 seconds=0.011177
case=881 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00200502
case=885 t=12 d=4 p1=1 p2=0 nodes=39941 leaves=0 coeff=0 equal=0 seconds=0.00583145
case=889 t=12 d=2 p1=0 p2=0 nodes=28648 leaves=0 coeff=0 equal=0 seconds=0.00609682
case=893 t=12 d=6 p1=0 p2=0 nodes=77757 leaves=0 coeff=0 equal=0 seconds=0.0303872
case=897 t=12 d=3 p1=1 p2=0 nodes=62392 leaves=0 coeff=0 equal=0 seconds=0.00765122
case=901 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00495794
case=905 t=12 d=5 p1=0 p2=0 nodes=3740 leaves=0 coeff=0 equal=0 seconds=0.00164878
case=909 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0006845
case=913 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00136075
case=917 t=12 d=4 p1=1 p2=0 nodes=219098 leaves=0 coeff=0 equal=0 seconds=0.0298309
case=921 t=12 d=2 p1=0 p2=0 nodes=56950 leaves=0 coeff=0 equal=0 seconds=0.00988599
case=925 t=12 d=6 p1=0 p2=0 nodes=454 leaves=0 coeff=0 equal=0 seconds=0.000750068
case=929 t=12 d=3 p1=1 p2=0 nodes=528577 leaves=0 coeff=0 equal=0 seconds=0.0721301
case=933 t=12 d=1 p1=0 p2=0 nodes=7180 leaves=0 coeff=0 equal=0 seconds=0.00457
case=937 t=12 d=5 p1=0 p2=0 nodes=1459160 leaves=0 coeff=0 equal=0 seconds=0.34032
case=941 t=12 d=2 p1=0 p2=1 nodes=281 leaves=0 coeff=0 equal=0 seconds=0.00114832
case=945 t=12 d=0 p1=1 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00193201
case=949 t=12 d=4 p1=1 p2=0 nodes=255725 leaves=0 coeff=0 equal=0 seconds=0.0418907
case=953 t=12 d=2 p1=0 p2=0 nodes=1893870 leaves=0 coeff=0 equal=0 seconds=0.246775
case=957 t=12 d=6 p1=0 p2=0 nodes=176400 leaves=0 coeff=0 equal=0 seconds=0.0816306
case=961 t=12 d=3 p1=1 p2=0 nodes=693446 leaves=0 coeff=0 equal=0 seconds=0.102647
case=965 t=12 d=1 p1=0 p2=0 nodes=645581 leaves=0 coeff=0 equal=0 seconds=0.0777914
case=969 t=12 d=5 p1=0 p2=0 nodes=2572224 leaves=0 coeff=0 equal=0 seconds=0.752086
case=973 t=12 d=2 p1=0 p2=1 nodes=302439 leaves=0 coeff=0 equal=0 seconds=0.0407052
case=977 t=12 d=0 p1=1 p2=0 nodes=32339 leaves=0 coeff=0 equal=0 seconds=0.00475968
case=981 t=12 d=4 p1=1 p2=0 nodes=1203411 leaves=0 coeff=0 equal=0 seconds=0.267962
case=985 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00378584
case=989 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000400923
case=993 t=12 d=3 p1=1 p2=0 nodes=3125 leaves=0 coeff=0 equal=0 seconds=0.00157658
case=997 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00622462
case=1001 t=12 d=5 p1=0 p2=0 nodes=81154 leaves=0 coeff=0 equal=0 seconds=0.024509
case=1005 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00114517
case=1009 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00501815
case=1013 t=12 d=4 p1=0 p2=0 nodes=504472 leaves=0 coeff=0 equal=0 seconds=0.0838652
case=1017 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00164598
case=1021 t=12 d=5 p1=1 p2=0 nodes=3353 leaves=0 coeff=0 equal=0 seconds=0.000774064
case=1025 t=12 d=3 p1=0 p2=0 nodes=1576588 leaves=0 coeff=0 equal=0 seconds=0.337708
case=1029 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00495884
case=1033 t=12 d=4 p1=0 p2=0 nodes=1071451 leaves=0 coeff=0 equal=0 seconds=0.25053
case=1037 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00157405
case=1041 t=12 d=5 p1=0 p2=1 nodes=2367 leaves=0 coeff=0 equal=0 seconds=0.000895056
case=1045 t=12 d=3 p1=1 p2=0 nodes=43545 leaves=0 coeff=0 equal=0 seconds=0.00733086
case=1049 t=12 d=1 p1=0 p2=0 nodes=9201 leaves=0 coeff=0 equal=0 seconds=0.00414605
case=1053 t=12 d=5 p1=0 p2=0 nodes=853642 leaves=0 coeff=0 equal=0 seconds=0.338592
case=1057 t=12 d=2 p1=1 p2=0 nodes=32019 leaves=0 coeff=0 equal=0 seconds=0.00508389
case=1061 t=12 d=0 p1=0 p2=0 nodes=588 leaves=0 coeff=0 equal=0 seconds=0.00401366
case=1065 t=12 d=4 p1=0 p2=0 nodes=9013854 leaves=0 coeff=0 equal=0 seconds=3.25946
case=1069 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00241376
case=1073 t=12 d=5 p1=0 p2=1 nodes=13014 leaves=0 coeff=0 equal=0 seconds=0.0037424
case=1077 t=12 d=3 p1=1 p2=0 nodes=68128 leaves=0 coeff=0 equal=0 seconds=0.0107404
case=1081 t=12 d=1 p1=0 p2=0 nodes=4082742 leaves=0 coeff=0 equal=0 seconds=0.634777
case=1085 t=12 d=5 p1=0 p2=0 nodes=2383112 leaves=0 coeff=0 equal=0 seconds=1.39854
case=1089 t=12 d=2 p1=1 p2=0 nodes=50613 leaves=0 coeff=0 equal=0 seconds=0.00709661
case=1093 t=12 d=0 p1=0 p2=0 nodes=27153 leaves=0 coeff=0 equal=0 seconds=0.00560757
case=1097 t=12 d=4 p1=0 p2=0 nodes=32399080 leaves=0 coeff=0 equal=0 seconds=15.7316
case=1101 t=12 d=1 p1=0 p2=1 nodes=63 leaves=0 coeff=0 equal=0 seconds=0.00129235
case=1105 t=12 d=5 p1=0 p2=1 nodes=37138 leaves=0 coeff=0 equal=0 seconds=0.0157375
case=1109 t=12 d=3 p1=1 p2=0 nodes=1026076 leaves=0 coeff=0 equal=0 seconds=0.268121
case=1113 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00416907
case=1117 t=12 d=5 p1=0 p2=0 nodes=51862 leaves=0 coeff=0 equal=0 seconds=0.0163502
case=1121 t=12 d=2 p1=1 p2=0 nodes=1987 leaves=0 coeff=0 equal=0 seconds=0.00128046
case=1125 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0046023
case=1129 t=12 d=4 p1=0 p2=0 nodes=726313 leaves=0 coeff=0 equal=0 seconds=0.132462
case=1133 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00185383
case=1137 t=12 d=5 p1=1 p2=0 nodes=2253 leaves=0 coeff=0 equal=0 seconds=0.000992823
case=1141 t=12 d=3 p1=0 p2=0 nodes=4523406 leaves=0 coeff=0 equal=0 seconds=0.925002
case=1145 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189859
case=1149 t=12 d=4 p1=1 p2=0 nodes=120899 leaves=0 coeff=0 equal=0 seconds=0.022885
case=1153 t=12 d=2 p1=0 p2=0 nodes=776153 leaves=0 coeff=0 equal=0 seconds=0.168607
case=1157 t=12 d=6 p1=0 p2=0 nodes=496 leaves=0 coeff=0 equal=0 seconds=0.000556527
case=1161 t=12 d=3 p1=0 p2=1 nodes=23485 leaves=0 coeff=0 equal=0 seconds=0.0042914
case=1165 t=12 d=1 p1=1 p2=0 nodes=1876 leaves=0 coeff=0 equal=0 seconds=0.00154898
case=1169 t=12 d=5 p1=1 p2=0 nodes=1238 leaves=0 coeff=0 equal=0 seconds=0.000642396
case=1173 t=12 d=3 p1=0 p2=0 nodes=8216098 leaves=0 coeff=0 equal=0 seconds=1.54039
case=1177 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00164882
case=1181 t=12 d=4 p1=1 p2=0 nodes=535118 leaves=0 coeff=0 equal=0 seconds=0.155514
case=1185 t=12 d=2 p1=0 p2=0 nodes=14882659 leaves=0 coeff=0 equal=0 seconds=2.59186
case=1189 t=12 d=6 p1=0 p2=0 nodes=16425 leaves=0 coeff=0 equal=0 seconds=0.0100928
case=1193 t=12 d=3 p1=0 p2=1 nodes=83251 leaves=0 coeff=0 equal=0 seconds=0.0130165
case=1197 t=12 d=1 p1=1 p2=0 nodes=21631 leaves=0 coeff=0 equal=0 seconds=0.00386507
case=1201 t=12 d=5 p1=1 p2=0 nodes=30425 leaves=0 coeff=0 equal=0 seconds=0.0096357
case=1205 t=12 d=3 p1=0 p2=0 nodes=37814909 leaves=0 coeff=0 equal=0 seconds=8.57268
case=1209 t=12 d=0 p1=1 p2=0 nodes=48 leaves=0 coeff=0 equal=0 seconds=0.00220367
case=1213 t=12 d=4 p1=1 p2=0 nodes=613682 leaves=0 coeff=0 equal=0 seconds=0.155045
case=1217 t=12 d=2 p1=0 p2=0 nodes=107158271 leaves=0 coeff=0 equal=0 seconds=19.274
case=1221 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134662
case=1225 t=12 d=4 p1=0 p2=1 nodes=177795 leaves=0 coeff=0 equal=0 seconds=0.044619
case=1229 t=12 d=2 p1=1 p2=0 nodes=8713305 leaves=0 coeff=0 equal=0 seconds=1.51777
case=1233 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.0039479
case=1237 t=12 d=4 p1=0 p2=0 nodes=2865567 leaves=0 coeff=0 equal=0 seconds=0.661957
case=1241 t=12 d=1 p1=1 p2=0 nodes=1649 leaves=0 coeff=0 equal=0 seconds=0.00156094
case=1245 t=12 d=5 p1=1 p2=0 nodes=7563 leaves=0 coeff=0 equal=0 seconds=0.00299811
case=1249 t=12 d=3 p1=0 p2=0 nodes=11988451 leaves=0 coeff=0 equal=0 seconds=2.42896
case=1253 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00120966
case=1257 t=12 d=5 p1=0 p2=1 nodes=1797 leaves=0 coeff=0 equal=0 seconds=0.00077739
case=1261 t=12 d=3 p1=1 p2=0 nodes=1394650 leaves=0 coeff=0 equal=0 seconds=0.348898
case=1265 t=12 d=1 p1=0 p2=0 nodes=15322826 leaves=0 coeff=0 equal=0 seconds=2.12249
case=1269 t=12 d=5 p1=0 p2=0 nodes=221860 leaves=0 coeff=0 equal=0 seconds=0.0716516
case=1273 t=12 d=3 p1=1 p2=0 nodes=2502062 leaves=0 coeff=0 equal=0 seconds=0.587827
case=1277 t=12 d=1 p1=0 p2=0 nodes=34567816 leaves=0 coeff=0 equal=0 seconds=5.40195
case=1281 t=12 d=0 p1=0 p2=1 nodes=56 leaves=0 coeff=0 equal=0 seconds=0.00121598
case=1285 t=12 d=4 p1=0 p2=1 nodes=41268 leaves=0 coeff=0 equal=0 seconds=0.0127704
case=1289 t=12 d=3 p1=1 p2=0 nodes=2295840 leaves=0 coeff=0 equal=0 seconds=0.590971
case=1293 t=12 d=2 p1=0 p2=0 nodes=132666 leaves=0 coeff=0 equal=0 seconds=0.015156
case=1297 t=12 d=6 p1=0 p2=0 nodes=102376 leaves=0 coeff=0 equal=0 seconds=0.0094877
case=1301 t=12 d=3 p1=0 p2=1 nodes=27861 leaves=0 coeff=0 equal=0 seconds=0.00306529
case=1305 t=12 d=1 p1=0 p2=0 nodes=1025361 leaves=0 coeff=0 equal=0 seconds=0.104791
case=1309 t=12 d=5 p1=0 p2=0 nodes=780487 leaves=0 coeff=0 equal=0 seconds=0.105307
case=1313 t=12 d=2 p1=0 p2=1 nodes=209346 leaves=0 coeff=0 equal=0 seconds=0.0227635
case=1317 t=12 d=0 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00569299
case=1321 t=12 d=4 p1=0 p2=0 nodes=486280 leaves=0 coeff=0 equal=0 seconds=0.0513252
case=1325 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000906904
case=1329 t=12 d=5 p1=0 p2=1 nodes=14394 leaves=0 coeff=0 equal=0 seconds=0.00149362
case=1333 t=12 d=3 p1=0 p2=0 nodes=910314 leaves=0 coeff=0 equal=0 seconds=0.119819
case=1337 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00095743
case=1341 t=12 d=4 p1=0 p2=1 nodes=101558 leaves=0 coeff=0 equal=0 seconds=0.0118637
case=1345 t=12 d=2 p1=1 p2=0 nodes=209346 leaves=0 coeff=0 equal=0 seconds=0.0216756
case=1349 t=12 d=0 p1=0 p2=0 nodes=47832 leaves=0 coeff=0 equal=0 seconds=0.010014
case=1353 t=12 d=4 p1=0 p2=0 nodes=3204216 leaves=0 coeff=0 equal=0 seconds=0.387748
case=1357 t=12 d=1 p1=0 p2=1 nodes=940 leaves=0 coeff=0 equal=0 seconds=0.0014694
case=1361 t=12 d=5 p1=0 p2=1 nodes=77046 leaves=0 coeff=0 equal=0 seconds=0.00877496
case=1365 t=12 d=3 p1=0 p2=0 nodes=9007634 leaves=0 coeff=0 equal=0 seconds=1.30462
case=1369 t=12 d=0 p1=0 p2=1 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00156166
case=1373 t=12 d=4 p1=0 p2=1 nodes=475965 leaves=0 coeff=0 equal=0 seconds=0.0657007
case=1377 t=12 d=2 p1=1 p2=0 nodes=1216023 leaves=0 coeff=0 equal=0 seconds=0.132637
case=1381 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00667633
case=1385 t=12 d=4 p1=0 p2=0 nodes=154690 leaves=0 coeff=0 equal=0 seconds=0.018021
case=1389 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144907
case=1393 t=12 d=5 p1=0 p2=1 nodes=5284 leaves=0 coeff=0 equal=0 seconds=0.000660043
case=1397 t=12 d=3 p1=0 p2=0 nodes=878795 leaves=0 coeff=0 equal=0 seconds=0.164794
case=1401 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00150919
case=1405 t=12 d=4 p1=0 p2=1 nodes=7343 leaves=0 coeff=0 equal=0 seconds=0.00130631
case=1409 t=12 d=2 p1=0 p2=0 nodes=457045 leaves=0 coeff=0 equal=0 seconds=0.0538271
case=1413 t=12 d=6 p1=0 p2=0 nodes=94214 leaves=0 coeff=0 equal=0 seconds=0.0220835
case=1417 t=12 d=3 p1=0 p2=1 nodes=9680 leaves=0 coeff=0 equal=0 seconds=0.00189492
case=1421 t=12 d=1 p1=0 p2=0 nodes=1025361 leaves=0 coeff=0 equal=0 seconds=0.102775
case=1425 t=12 d=5 p1=0 p2=0 nodes=1601064 leaves=0 coeff=0 equal=0 seconds=0.527429
case=1429 t=12 d=2 p1=0 p2=1 nodes=26640 leaves=0 coeff=0 equal=0 seconds=0.00390624
case=1433 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.006779
case=1437 t=12 d=4 p1=0 p2=0 nodes=47481 leaves=0 coeff=0 equal=0 seconds=0.0189437
case=1441 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158746
case=1445 t=12 d=5 p1=0 p2=1 nodes=207 leaves=0 coeff=0 equal=0 seconds=0.000124206
case=1449 t=12 d=3 p1=0 p2=0 nodes=163589 leaves=0 coeff=0 equal=0 seconds=0.0267605
case=1453 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183079
case=1457 t=12 d=4 p1=0 p2=1 nodes=3956 leaves=0 coeff=0 equal=0 seconds=0.000780724
case=1461 t=12 d=2 p1=0 p2=0 nodes=564152 leaves=0 coeff=0 equal=0 seconds=0.0615187
case=1465 t=12 d=6 p1=0 p2=0 nodes=32277 leaves=0 coeff=0 equal=0 seconds=0.0227107
case=1469 t=12 d=3 p1=0 p2=1 nodes=31486 leaves=0 coeff=0 equal=0 seconds=0.00441548
case=1473 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00490451
case=1477 t=12 d=5 p1=0 p2=0 nodes=141616 leaves=0 coeff=0 equal=0 seconds=0.0155573
case=1481 t=12 d=2 p1=0 p2=0 nodes=76429 leaves=0 coeff=0 equal=0 seconds=0.011269
case=1485 t=12 d=6 p1=0 p2=0 nodes=430120 leaves=0 coeff=0 equal=0 seconds=0.0680827
case=1489 t=12 d=3 p1=0 p2=1 nodes=2360 leaves=0 coeff=0 equal=0 seconds=0.000742256
case=1493 t=12 d=1 p1=1 p2=0 nodes=940 leaves=0 coeff=0 equal=0 seconds=0.00140306
case=1497 t=12 d=5 p1=1 p2=0 nodes=77046 leaves=0 coeff=0 equal=0 seconds=0.00856958
case=1501 t=12 d=3 p1=0 p2=0 nodes=1544453 leaves=0 coeff=0 equal=0 seconds=0.167808
case=1505 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00176773
case=1509 t=12 d=4 p1=0 p2=1 nodes=47793 leaves=0 coeff=0 equal=0 seconds=0.00559906
case=1513 t=12 d=2 p1=0 p2=0 nodes=348526 leaves=0 coeff=0 equal=0 seconds=0.0452708
case=1517 t=12 d=6 p1=0 p2=0 nodes=302335 leaves=0 coeff=0 equal=0 seconds=0.0561924
case=1521 t=12 d=3 p1=0 p2=1 nodes=131313 leaves=0 coeff=0 equal=0 seconds=0.0182824
case=1525 t=12 d=1 p1=1 p2=0 nodes=69403 leaves=0 coeff=0 equal=0 seconds=0.00815336
case=1529 t=12 d=5 p1=1 p2=0 nodes=138379 leaves=0 coeff=0 equal=0 seconds=0.0185542
case=1533 t=12 d=3 p1=0 p2=0 nodes=7594052 leaves=0 coeff=0 equal=0 seconds=1.16418
case=1537 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167689
case=1541 t=12 d=4 p1=0 p2=1 nodes=383305 leaves=0 coeff=0 equal=0 seconds=0.0570032
case=1545 t=12 d=2 p1=1 p2=0 nodes=1100380 leaves=0 coeff=0 equal=0 seconds=0.121245
case=1549 t=12 d=0 p1=0 p2=0 nodes=102868 leaves=0 coeff=0 equal=0 seconds=0.0134678
case=1553 t=12 d=4 p1=0 p2=0 nodes=10752697 leaves=0 coeff=0 equal=0 seconds=2.6242
case=1557 t=12 d=1 p1=0 p2=1 nodes=217067 leaves=0 coeff=0 equal=0 seconds=0.0424975
case=1561 t=12 d=5 p1=0 p2=1 nodes=134067 leaves=0 coeff=0 equal=0 seconds=0.0485809
case=1565 t=12 d=3 p1=1 p2=0 nodes=2292212 leaves=0 coeff=0 equal=0 seconds=0.473448
case=1569 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00769922
case=1573 t=12 d=5 p1=0 p2=0 nodes=217413 leaves=0 coeff=0 equal=0 seconds=0.0580729
case=1577 t=12 d=2 p1=0 p2=0 nodes=8746 leaves=0 coeff=0 equal=0 seconds=0.00646566
case=1581 t=12 d=6 p1=0 p2=0 nodes=249 leaves=0 coeff=0 equal=0 seconds=0.000797049
case=1585 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000887254
case=1589 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00220161
case=1593 t=12 d=5 p1=1 p2=0 nodes=27827 leaves=0 coeff=0 equal=0 seconds=0.00562041
case=1597 t=12 d=3 p1=0 p2=0 nodes=1755210 leaves=0 coeff=0 equal=0 seconds=0.472793
case=1601 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00255697
case=1605 t=12 d=4 p1=0 p2=1 nodes=1816 leaves=0 coeff=0 equal=0 seconds=0.000809148
case=1609 t=12 d=2 p1=0 p2=0 nodes=198034 leaves=0 coeff=0 equal=0 seconds=0.0287636
case=1613 t=12 d=6 p1=0 p2=0 nodes=71981 leaves=0 coeff=0 equal=0 seconds=0.0250191
case=1617 t=12 d=3 p1=0 p2=1 nodes=416 leaves=0 coeff=0 equal=0 seconds=0.000905822
case=1621 t=12 d=1 p1=0 p2=0 nodes=16230 leaves=0 coeff=0 equal=0 seconds=0.00590168
case=1625 t=12 d=5 p1=0 p2=0 nodes=4124136 leaves=0 coeff=0 equal=0 seconds=2.2624
case=1629 t=12 d=2 p1=0 p2=1 nodes=104 leaves=0 coeff=0 equal=0 seconds=0.000966815
case=1633 t=12 d=0 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00162723
case=1637 t=12 d=4 p1=1 p2=0 nodes=74712 leaves=0 coeff=0 equal=0 seconds=0.0189243
case=1641 t=12 d=2 p1=0 p2=0 nodes=698209 leaves=0 coeff=0 equal=0 seconds=0.082445
case=1645 t=12 d=6 p1=0 p2=0 nodes=89610 leaves=0 coeff=0 equal=0 seconds=0.0374944
case=1649 t=12 d=3 p1=0 p2=1 nodes=22016 leaves=0 coeff=0 equal=0 seconds=0.00396438
case=1653 t=12 d=1 p1=1 p2=0 nodes=10058 leaves=0 coeff=0 equal=0 seconds=0.00248992
case=1657 t=12 d=5 p1=1 p2=0 nodes=29673 leaves=0 coeff=0 equal=0 seconds=0.00542165
case=1661 t=12 d=3 p1=0 p2=0 nodes=8643528 leaves=0 coeff=0 equal=0 seconds=1.98682
case=1665 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00185912
case=1669 t=12 d=4 p1=0 p2=1 nodes=45720 leaves=0 coeff=0 equal=0 seconds=0.00807125
case=1673 t=12 d=2 p1=0 p2=0 nodes=27085791 leaves=0 coeff=0 equal=0 seconds=7.17403
case=1677 t=12 d=6 p1=0 p2=0 nodes=61883 leaves=0 coeff=0 equal=0 seconds=0.0410723
case=1681 t=12 d=3 p1=0 p2=1 nodes=135180 leaves=0 coeff=0 equal=0 seconds=0.0277971
case=1685 t=12 d=1 p1=1 p2=0 nodes=161006 leaves=0 coeff=0 equal=0 seconds=0.0191253
case=1689 t=12 d=5 p1=1 p2=0 nodes=40364 leaves=0 coeff=0 equal=0 seconds=0.0164744
case=1693 t=12 d=3 p1=0 p2=0 nodes=176 leaves=0 coeff=0 equal=0 seconds=0.00277089
case=1697 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0048418
case=1701 t=12 d=4 p1=0 p2=0 nodes=465587 leaves=0 coeff=0 equal=0 seconds=0.0663057
case=1705 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160675
case=1709 t=12 d=5 p1=0 p2=1 nodes=663 leaves=0 coeff=0 equal=0 seconds=0.000327362
case=1713 t=12 d=3 p1=0 p2=0 nodes=8515489 leaves=0 coeff=0 equal=0 seconds=2.47291
case=1717 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00165376
case=1721 t=12 d=4 p1=0 p2=1 nodes=14112 leaves=0 coeff=0 equal=0 seconds=0.00448115
case=1725 t=12 d=2 p1=0 p2=0 nodes=84957576 leaves=0 coeff=0 equal=0 seconds=26.8562
case=1729 t=12 d=6 p1=0 p2=0 nodes=15294 leaves=0 coeff=0 equal=0 seconds=0.00986706
case=1733 t=12 d=3 p1=0 p2=1 nodes=32101 leaves=0 coeff=0 equal=0 seconds=0.0115963
case=1737 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00442521
case=1741 t=12 d=5 p1=0 p2=0 nodes=712299 leaves=0 coeff=0 equal=0 seconds=0.202218
case=1745 t=12 d=2 p1=1 p2=0 nodes=388 leaves=0 coeff=0 equal=0 seconds=0.00116932
case=1749 t=12 d=0 p1=0 p2=0 nodes=47 leaves=0 coeff=0 equal=0 seconds=0.00414443
case=1753 t=12 d=4 p1=0 p2=0 nodes=492328 leaves=0 coeff=0 equal=0 seconds=0.05984
case=1757 t=12 d=1 p1=0 p2=0 nodes=10368 leaves=0 coeff=0 equal=0 seconds=0.00506455
case=1761 t=12 d=5 p1=0 p2=0 nodes=3537718 leaves=0 coeff=0 equal=0 seconds=1.23729
case=1765 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00095058
case=1769 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00164286
case=1773 t=12 d=4 p1=1 p2=0 nodes=383305 leaves=0 coeff=0 equal=0 seconds=0.0576995
case=1777 t=12 d=2 p1=0 p2=0 nodes=845380 leaves=0 coeff=0 equal=0 seconds=0.100935
case=1781 t=12 d=6 p1=0 p2=0 nodes=141231 leaves=0 coeff=0 equal=0 seconds=0.0767407
case=1785 t=12 d=3 p1=0 p2=1 nodes=21041 leaves=0 coeff=0 equal=0 seconds=0.00313125
case=1789 t=12 d=1 p1=1 p2=0 nodes=31943 leaves=0 coeff=0 equal=0 seconds=0.00473596
case=1793 t=12 d=5 p1=1 p2=0 nodes=54087 leaves=0 coeff=0 equal=0 seconds=0.0103014
case=1797 t=12 d=3 p1=0 p2=0 nodes=12718150 leaves=0 coeff=0 equal=0 seconds=2.27034
case=1801 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156017
case=1805 t=12 d=4 p1=0 p2=1 nodes=216773 leaves=0 coeff=0 equal=0 seconds=0.0369437
case=1809 t=12 d=2 p1=1 p2=0 nodes=1282981 leaves=0 coeff=0 equal=0 seconds=0.19566
case=1813 t=12 d=0 p1=0 p2=0 nodes=62041 leaves=0 coeff=0 equal=0 seconds=0.00918024
case=1817 t=12 d=4 p1=0 p2=0 nodes=16243050 leaves=0 coeff=0 equal=0 seconds=3.75434
case=1821 t=12 d=1 p1=0 p2=1 nodes=940 leaves=0 coeff=0 equal=0 seconds=0.00138868
case=1825 t=12 d=5 p1=0 p2=1 nodes=125596 leaves=0 coeff=0 equal=0 seconds=0.0291502
case=1829 t=12 d=3 p1=1 p2=0 nodes=2347875 leaves=0 coeff=0 equal=0 seconds=0.376554
case=1833 t=12 d=1 p1=0 p2=0 nodes=22232264 leaves=0 coeff=0 equal=0 seconds=3.07946
case=1837 t=12 d=5 p1=0 p2=0 nodes=721013 leaves=0 coeff=0 equal=0 seconds=0.247849
case=1841 t=12 d=3 p1=0 p2=1 nodes=1592507 leaves=0 coeff=0 equal=0 seconds=0.289121
case=1845 t=12 d=1 p1=1 p2=0 nodes=8319415 leaves=0 coeff=0 equal=0 seconds=1.26219
case=1849 t=12 d=5 p1=1 p2=0 nodes=32468 leaves=0 coeff=0 equal=0 seconds=0.0101396
case=1853 t=12 d=3 p1=0 p2=0 nodes=65349 leaves=0 coeff=0 equal=0 seconds=0.010211
case=1857 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00194014
case=1861 t=12 d=4 p1=1 p2=0 nodes=38706 leaves=0 coeff=0 equal=0 seconds=0.00908776
case=1865 t=12 d=2 p1=0 p2=0 nodes=87476 leaves=0 coeff=0 equal=0 seconds=0.0120259
case=1869 t=12 d=6 p1=0 p2=0 nodes=5539 leaves=0 coeff=0 equal=0 seconds=0.00316554
case=1873 t=12 d=3 p1=0 p2=0 nodes=467129 leaves=0 coeff=0 equal=0 seconds=0.0672581
case=1877 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.001812
case=1881 t=12 d=4 p1=0 p2=1 nodes=30787 leaves=0 coeff=0 equal=0 seconds=0.00679309
case=1885 t=12 d=2 p1=1 p2=0 nodes=4924 leaves=0 coeff=0 equal=0 seconds=0.00173821
case=1889 t=12 d=0 p1=0 p2=0 nodes=125 leaves=0 coeff=0 equal=0 seconds=0.00384332
case=1893 t=12 d=4 p1=0 p2=0 nodes=5342610 leaves=0 coeff=0 equal=0 seconds=1.57755
case=1897 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138278
case=1901 t=12 d=5 p1=0 p2=1 nodes=14858 leaves=0 coeff=0 equal=0 seconds=0.00357616
case=1905 t=12 d=3 p1=1 p2=0 nodes=95481 leaves=0 coeff=0 equal=0 seconds=0.0175847
case=1909 t=12 d=1 p1=0 p2=0 nodes=1050623 leaves=0 coeff=0 equal=0 seconds=0.118113
case=1913 t=12 d=5 p1=0 p2=0 nodes=1162575 leaves=0 coeff=0 equal=0 seconds=0.60083
case=1917 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000952974
case=1921 t=12 d=0 p1=0 p2=0 nodes=14445 leaves=0 coeff=0 equal=0 seconds=0.00481453
case=1925 t=12 d=4 p1=0 p2=0 nodes=9147899 leaves=0 coeff=0 equal=0 seconds=3.09624
case=1929 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128667
case=1933 t=12 d=5 p1=0 p2=1 nodes=25025 leaves=0 coeff=0 equal=0 seconds=0.00695485
case=1937 t=12 d=3 p1=1 p2=0 nodes=485898 leaves=0 coeff=0 equal=0 seconds=0.181565
case=1941 t=12 d=1 p1=0 p2=0 nodes=55394615 leaves=0 coeff=0 equal=0 seconds=13.4392
case=1945 t=12 d=5 p1=0 p2=0 nodes=3065535 leaves=0 coeff=0 equal=0 seconds=1.8871
case=1949 t=12 d=2 p1=0 p2=1 nodes=5452 leaves=0 coeff=0 equal=0 seconds=0.0019288
case=1953 t=12 d=0 p1=1 p2=0 nodes=2155 leaves=0 coeff=0 equal=0 seconds=0.00177738
case=1957 t=12 d=4 p1=1 p2=0 nodes=357866 leaves=0 coeff=0 equal=0 seconds=0.136396
case=1961 t=12 d=2 p1=0 p2=0 nodes=256350273 leaves=0 coeff=0 equal=0 seconds=95.1858
case=1965 t=12 d=0 p1=0 p2=1 nodes=82 leaves=0 coeff=0 equal=0 seconds=0.00125595
case=1969 t=12 d=4 p1=0 p2=1 nodes=271826 leaves=72 coeff=0 equal=0 seconds=0.154262
case=1973 t=12 d=2 p1=1 p2=0 nodes=1475462 leaves=0 coeff=0 equal=0 seconds=0.39609
case=1977 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00706113
case=1981 t=12 d=4 p1=0 p2=0 nodes=866041 leaves=0 coeff=0 equal=0 seconds=0.208259
case=1985 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0014019
case=1989 t=12 d=5 p1=1 p2=0 nodes=1206 leaves=0 coeff=0 equal=0 seconds=0.00077151
case=1993 t=12 d=3 p1=0 p2=0 nodes=2211105 leaves=0 coeff=0 equal=0 seconds=0.495515
case=1997 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015102
case=2001 t=12 d=4 p1=1 p2=0 nodes=58919 leaves=0 coeff=0 equal=0 seconds=0.00843708
case=2005 t=12 d=2 p1=0 p2=0 nodes=4286001 leaves=0 coeff=0 equal=0 seconds=0.828411
case=2009 t=12 d=6 p1=0 p2=0 nodes=4390 leaves=0 coeff=0 equal=0 seconds=0.00335811
case=2013 t=12 d=3 p1=0 p2=1 nodes=107526 leaves=0 coeff=0 equal=0 seconds=0.0167177
case=2017 t=12 d=1 p1=1 p2=0 nodes=8383 leaves=0 coeff=0 equal=0 seconds=0.00218835
case=2021 t=12 d=5 p1=1 p2=0 nodes=8886 leaves=0 coeff=0 equal=0 seconds=0.00397982
case=2025 t=12 d=3 p1=0 p2=0 nodes=31084460 leaves=0 coeff=0 equal=0 seconds=9.05679
case=2029 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143339
case=2033 t=12 d=4 p1=0 p2=1 nodes=146299 leaves=0 coeff=0 equal=0 seconds=0.0280803
case=2037 t=12 d=2 p1=1 p2=0 nodes=470431 leaves=0 coeff=0 equal=0 seconds=0.0598831
case=2041 t=12 d=0 p1=0 p2=0 nodes=14445 leaves=0 coeff=0 equal=0 seconds=0.00595684
case=2045 t=12 d=4 p1=0 p2=0 nodes=4677336 leaves=0 coeff=0 equal=0 seconds=1.10309
case=2049 t=12 d=2 p1=0 p2=1 nodes=210888 leaves=0 coeff=0 equal=0 seconds=0.032657
case=2053 t=12 d=0 p1=1 p2=0 nodes=8299 leaves=0 coeff=0 equal=0 seconds=0.00225906
case=2057 t=12 d=4 p1=1 p2=0 nodes=748510 leaves=0 coeff=0 equal=0 seconds=0.25664
case=2061 t=12 d=2 p1=0 p2=0 nodes=130092681 leaves=0 coeff=0 equal=0 seconds=28.2469
case=2065 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00127454
case=2069 t=12 d=4 p1=0 p2=1 nodes=442915 leaves=0 coeff=0 equal=0 seconds=0.108944
case=2073 t=12 d=2 p1=1 p2=0 nodes=6136293 leaves=0 coeff=0 equal=0 seconds=1.08953
case=2077 t=12 d=0 p1=0 p2=0 nodes=65300547 leaves=0 coeff=0 equal=0 seconds=8.19212
case=2081 t=12 d=4 p1=0 p2=0 nodes=3179739 leaves=624 coeff=0 equal=0 seconds=1.50454
case=2085 t=12 d=3 p1=0 p2=1 nodes=1145818 leaves=0 coeff=0 equal=0 seconds=0.26272
case=2089 t=12 d=2 p1=1 p2=0 nodes=11210209 leaves=0 coeff=0 equal=0 seconds=2.17741
case=2093 t=12 d=1 p1=0 p2=0 nodes=11907 leaves=0 coeff=0 equal=0 seconds=0.00376841
case=2097 t=12 d=5 p1=0 p2=0 nodes=174868 leaves=0 coeff=0 equal=0 seconds=0.0661944
case=2101 t=12 d=2 p1=1 p2=0 nodes=318942 leaves=0 coeff=0 equal=0 seconds=0.0433986
case=2105 t=12 d=0 p1=0 p2=0 nodes=18364 leaves=0 coeff=0 equal=0 seconds=0.00414957
case=2109 t=12 d=4 p1=0 p2=0 nodes=6908133 leaves=0 coeff=0 equal=0 seconds=1.81205
case=2113 t=12 d=2 p1=0 p2=1 nodes=207026 leaves=0 coeff=0 equal=0 seconds=0.0332678
case=2117 t=12 d=0 p1=1 p2=0 nodes=8430 leaves=0 coeff=0 equal=0 seconds=0.00216504
case=2121 t=12 d=4 p1=1 p2=0 nodes=357185 leaves=0 coeff=0 equal=0 seconds=0.109052
case=2125 t=12 d=2 p1=0 p2=0 nodes=91962690 leaves=0 coeff=0 equal=0 seconds=19.1196
case=2129 t=12 d=1 p1=0 p2=1 nodes=822810 leaves=0 coeff=0 equal=0 seconds=0.127141
case=2133 t=12 d=0 p1=1 p2=0 nodes=10131892 leaves=0 coeff=0 equal=0 seconds=1.32744
case=2137 t=12 d=4 p1=1 p2=0 nodes=227457 leaves=48 coeff=0 equal=0 seconds=0.0875086
case=2141 t=12 d=3 p1=0 p2=0 nodes=9309145 leaves=0 coeff=0 equal=0 seconds=2.28281
case=2145 t=12 d=3 p1=0 p2=1 nodes=491109 leaves=0 coeff=0 equal=0 seconds=0.139548
case=2149 t=12 d=3 p1=1 p2=0 nodes=822809 leaves=126 coeff=0 equal=0 seconds=0.282541
case=2153 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000810419
case=2157 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00789387
case=2161 t=13 d=4 p1=0 p2=0 nodes=1075014 leaves=0 coeff=0 equal=0 seconds=0.119326
case=2165 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00388151
case=2169 t=13 d=5 p1=0 p2=0 nodes=76622 leaves=0 coeff=0 equal=0 seconds=0.00850136
case=2173 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000360192
case=2177 t=13 d=6 p1=1 p2=0 nodes=4481 leaves=0 coeff=0 equal=0 seconds=0.000454003
case=2181 t=13 d=3 p1=0 p2=0 nodes=126448 leaves=0 coeff=0 equal=0 seconds=0.0182146
case=2185 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00475412
case=2189 t=13 d=4 p1=0 p2=0 nodes=2572533 leaves=0 coeff=0 equal=0 seconds=0.345187
case=2193 t=13 d=1 p1=1 p2=0 nodes=93572 leaves=0 coeff=0 equal=0 seconds=0.0112198
case=2197 t=13 d=5 p1=1 p2=0 nodes=62055 leaves=0 coeff=0 equal=0 seconds=0.00816619
case=2201 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00325671
case=2205 t=13 d=6 p1=0 p2=0 nodes=814 leaves=0 coeff=0 equal=0 seconds=0.000305169
case=2209 t=13 d=3 p1=0 p2=0 nodes=15989 leaves=0 coeff=0 equal=0 seconds=0.00413559
case=2213 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00364972
case=2217 t=13 d=4 p1=0 p2=0 nodes=3774748 leaves=0 coeff=0 equal=0 seconds=0.942083
case=2221 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00631927
case=2225 t=13 d=5 p1=0 p2=0 nodes=6311 leaves=0 coeff=0 equal=0 seconds=0.00207343
case=2229 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000838892
case=2233 t=13 d=6 p1=1 p2=0 nodes=17866 leaves=0 coeff=0 equal=0 seconds=0.00307014
case=2237 t=13 d=3 p1=0 p2=0 nodes=198676 leaves=0 coeff=0 equal=0 seconds=0.0354378
case=2241 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00239895
case=2245 t=13 d=4 p1=1 p2=0 nodes=80748 leaves=0 coeff=0 equal=0 seconds=0.0146275
case=2249 t=13 d=1 p1=0 p2=0 nodes=268 leaves=0 coeff=0 equal=0 seconds=0.00389084
case=2253 t=13 d=5 p1=0 p2=0 nodes=5519040 leaves=0 coeff=0 equal=0 seconds=1.51284
case=2257 t=13 d=2 p1=1 p2=0 nodes=477672 leaves=0 coeff=0 equal=0 seconds=0.0891727
case=2261 t=13 d=6 p1=1 p2=0 nodes=41976 leaves=0 coeff=0 equal=0 seconds=0.00825493
case=2265 t=13 d=3 p1=0 p2=0 nodes=113723 leaves=0 coeff=0 equal=0 seconds=0.0139716
case=2269 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00153859
case=2273 t=13 d=4 p1=1 p2=0 nodes=16229 leaves=0 coeff=0 equal=0 seconds=0.00205878
case=2277 t=13 d=1 p1=0 p2=0 nodes=566 leaves=0 coeff=0 equal=0 seconds=0.00310305
case=2281 t=13 d=5 p1=0 p2=0 nodes=776319 leaves=0 coeff=0 equal=0 seconds=0.240208
case=2285 t=13 d=2 p1=0 p2=0 nodes=12012795 leaves=0 coeff=0 equal=0 seconds=1.75902
case=2289 t=13 d=6 p1=0 p2=0 nodes=905042 leaves=0 coeff=0 equal=0 seconds=0.408827
case=2293 t=13 d=3 p1=1 p2=0 nodes=171247 leaves=0 coeff=0 equal=0 seconds=0.0218549
case=2297 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00432887
case=2301 t=13 d=4 p1=0 p2=0 nodes=657898 leaves=0 coeff=0 equal=0 seconds=0.0946562
case=2305 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00122514
case=2309 t=13 d=5 p1=1 p2=0 nodes=5707 leaves=0 coeff=0 equal=0 seconds=0.00134255
case=2313 t=13 d=2 p1=0 p2=0 nodes=906476 leaves=0 coeff=0 equal=0 seconds=0.106186
case=2317 t=13 d=6 p1=0 p2=0 nodes=322377 leaves=0 coeff=0 equal=0 seconds=0.120613
case=2321 t=13 d=3 p1=1 p2=0 nodes=182735 leaves=0 coeff=0 equal=0 seconds=0.0237235
case=2325 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00229641
case=2329 t=13 d=4 p1=0 p2=0 nodes=36228828 leaves=0 coeff=0 equal=0 seconds=10.8561
case=2333 t=13 d=1 p1=1 p2=0 nodes=158288 leaves=0 coeff=0 equal=0 seconds=0.0168485
case=2337 t=13 d=5 p1=1 p2=0 nodes=312223 leaves=0 coeff=0 equal=0 seconds=0.0993447
case=2341 t=13 d=2 p1=0 p2=0 nodes=2633652 leaves=0 coeff=0 equal=0 seconds=0.346307
case=2345 t=13 d=6 p1=0 p2=0 nodes=183683 leaves=0 coeff=0 equal=0 seconds=0.0426454
case=2349 t=13 d=3 p1=1 p2=0 nodes=1804253 leaves=0 coeff=0 equal=0 seconds=0.311458
case=2353 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00196664
case=2357 t=13 d=4 p1=0 p2=0 nodes=23747729 leaves=0 coeff=0 equal=0 seconds=4.91232
case=2361 t=13 d=1 p1=1 p2=0 nodes=17695979 leaves=0 coeff=0 equal=0 seconds=2.70775
case=2365 t=13 d=5 p1=1 p2=0 nodes=210569 leaves=0 coeff=0 equal=0 seconds=0.0704809
case=2369 t=13 d=2 p1=0 p2=0 nodes=7617 leaves=0 coeff=0 equal=0 seconds=0.00456979
case=2373 t=13 d=6 p1=0 p2=0 nodes=146957 leaves=0 coeff=0 equal=0 seconds=0.0244624
case=2377 t=13 d=3 p1=0 p2=1 nodes=9721 leaves=0 coeff=0 equal=0 seconds=0.00113338
case=2381 t=13 d=0 p1=0 p2=0 nodes=510 leaves=0 coeff=0 equal=0 seconds=0.0048969
case=2385 t=13 d=4 p1=0 p2=0 nodes=2465077 leaves=0 coeff=0 equal=0 seconds=0.2779
case=2389 t=13 d=1 p1=0 p2=1 nodes=4144 leaves=0 coeff=0 equal=0 seconds=0.00144279
case=2393 t=13 d=5 p1=0 p2=1 nodes=68003 leaves=0 coeff=0 equal=0 seconds=0.00736593
case=2397 t=13 d=2 p1=0 p2=0 nodes=5702 leaves=0 coeff=0 equal=0 seconds=0.00348197
case=2401 t=13 d=6 p1=0 p2=0 nodes=129225 leaves=0 coeff=0 equal=0 seconds=0.0157959
case=2405 t=13 d=3 p1=0 p2=0 nodes=222931 leaves=0 coeff=0 equal=0 seconds=0.0270756
case=2409 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189917
case=2413 t=13 d=4 p1=0 p2=1 nodes=51466 leaves=0 coeff=0 equal=0 seconds=0.00635979
case=2417 t=13 d=1 p1=1 p2=0 nodes=4144 leaves=0 coeff=0 equal=0 seconds=0.00151688
case=2421 t=13 d=5 p1=1 p2=0 nodes=68003 leaves=0 coeff=0 equal=0 seconds=0.0151248
case=2425 t=13 d=2 p1=0 p2=0 nodes=1016907 leaves=0 coeff=0 equal=0 seconds=0.128208
case=2429 t=13 d=6 p1=0 p2=0 nodes=668775 leaves=0 coeff=0 equal=0 seconds=0.10819
case=2433 t=13 d=3 p1=0 p2=1 nodes=67104 leaves=0 coeff=0 equal=0 seconds=0.00905263
case=2437 t=13 d=0 p1=0 p2=0 nodes=510 leaves=0 coeff=0 equal=0 seconds=0.00547254
case=2441 t=13 d=4 p1=0 p2=0 nodes=7917158 leaves=0 coeff=0 equal=0 seconds=1.37433
case=2445 t=13 d=1 p1=0 p2=1 nodes=4144 leaves=0 coeff=0 equal=0 seconds=0.00167268
case=2449 t=13 d=5 p1=0 p2=1 nodes=245608 leaves=0 coeff=0 equal=0 seconds=0.0321681
case=2453 t=13 d=2 p1=1 p2=0 nodes=1305048 leaves=0 coeff=0 equal=0 seconds=0.138942
case=2457 t=13 d=6 p1=1 p2=0 nodes=44700 leaves=0 coeff=0 equal=0 seconds=0.00511745
case=2461 t=13 d=3 p1=0 p2=0 nodes=16681 leaves=0 coeff=0 equal=0 seconds=0.00423471
case=2465 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00444638
case=2469 t=13 d=4 p1=0 p2=0 nodes=3946157 leaves=0 coeff=0 equal=0 seconds=0.841168
case=2473 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167976
case=2477 t=13 d=5 p1=0 p2=1 nodes=6811 leaves=0 coeff=0 equal=0 seconds=0.00103467
case=2481 t=13 d=2 p1=0 p2=0 nodes=105199 leaves=0 coeff=0 equal=0 seconds=0.0138394
case=2485 t=13 d=6 p1=0 p2=0 nodes=287619 leaves=0 coeff=0 equal=0 seconds=0.0653012
case=2489 t=13 d=3 p1=0 p2=1 nodes=2023 leaves=0 coeff=0 equal=0 seconds=0.000803749
case=2493 t=13 d=0 p1=0 p2=0 nodes=1134 leaves=0 coeff=0 equal=0 seconds=0.00339779
case=2497 t=13 d=4 p1=0 p2=0 nodes=8573544 leaves=0 coeff=0 equal=0 seconds=2.03386
case=2501 t=13 d=1 p1=0 p2=1 nodes=29 leaves=0 coeff=0 equal=0 seconds=0.00107565
case=2505 t=13 d=5 p1=0 p2=1 nodes=70191 leaves=0 coeff=0 equal=0 seconds=0.0146204
case=2509 t=13 d=2 p1=0 p2=0 nodes=42287 leaves=0 coeff=0 equal=0 seconds=0.00687214
case=2513 t=13 d=6 p1=0 p2=0 nodes=9004 leaves=0 coeff=0 equal=0 seconds=0.0016186
case=2517 t=13 d=3 p1=1 p2=0 nodes=67104 leaves=0 coeff=0 equal=0 seconds=0.00732057
case=2521 t=13 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00348035
case=2525 t=13 d=4 p1=0 p2=0 nodes=1008474 leaves=0 coeff=0 equal=0 seconds=0.105843
case=2529 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00333083
case=2533 t=13 d=5 p1=0 p2=0 nodes=6675210 leaves=0 coeff=0 equal=0 seconds=2.16627
case=2537 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000733754
case=2541 t=13 d=6 p1=0 p2=1 nodes=34376 leaves=0 coeff=0 equal=0 seconds=0.00426686
case=2545 t=13 d=3 p1=1 p2=0 nodes=503566 leaves=0 coeff=0 equal=0 seconds=0.0639287
case=2549 t=13 d=0 p1=0 p2=0 nodes=692 leaves=0 coeff=0 equal=0 seconds=0.00322821
case=2553 t=13 d=4 p1=0 p2=0 nodes=8688461 leaves=0 coeff=0 equal=0 seconds=1.43678
case=2557 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00142588
case=2561 t=13 d=5 p1=0 p2=1 nodes=140345 leaves=0 coeff=0 equal=0 seconds=0.0197646
case=2565 t=13 d=2 p1=1 p2=0 nodes=633979 leaves=0 coeff=0 equal=0 seconds=0.0675022
case=2569 t=13 d=6 p1=1 p2=0 nodes=50372 leaves=0 coeff=0 equal=0 seconds=0.00795249
case=2573 t=13 d=3 p1=0 p2=0 nodes=32142649 leaves=0 coeff=0 equal=0 seconds=4.97563
case=2577 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00114578
case=2581 t=13 d=4 p1=0 p2=1 nodes=1332460 leaves=0 coeff=0 equal=0 seconds=0.191134
case=2585 t=13 d=1 p1=1 p2=0 nodes=952933 leaves=0 coeff=0 equal=0 seconds=0.0984885
case=2589 t=13 d=5 p1=1 p2=0 nodes=467070 leaves=0 coeff=0 equal=0 seconds=0.101541
case=2593 t=13 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00280574
case=2597 t=13 d=6 p1=0 p2=0 nodes=12430 leaves=0 coeff=0 equal=0 seconds=0.00245678
case=2601 t=13 d=3 p1=1 p2=0 nodes=19352 leaves=0 coeff=0 equal=0 seconds=0.00273195
case=2605 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00364084
case=2609 t=13 d=4 p1=0 p2=0 nodes=1423079 leaves=0 coeff=0 equal=0 seconds=0.174512
case=2613 t=13 d=1 p1=0 p2=0 nodes=30803 leaves=0 coeff=0 equal=0 seconds=0.00549093
case=2617 t=13 d=5 p1=0 p2=0 nodes=2723844 leaves=0 coeff=0 equal=0 seconds=0.991194
case=2621 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000838441
case=2625 t=13 d=6 p1=0 p2=1 nodes=9280 leaves=0 coeff=0 equal=0 seconds=0.00234499
case=2629 t=13 d=3 p1=1 p2=0 nodes=160997 leaves=0 coeff=0 equal=0 seconds=0.0411636
case=2633 t=13 d=0 p1=0 p2=0 nodes=62733 leaves=0 coeff=0 equal=0 seconds=0.0121538
case=2637 t=13 d=4 p1=0 p2=0 nodes=15014418 leaves=0 coeff=0 equal=0 seconds=4.53093
case=2641 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00103005
case=2645 t=13 d=5 p1=0 p2=1 nodes=54304 leaves=0 coeff=0 equal=0 seconds=0.0116294
case=2649 t=13 d=2 p1=0 p2=0 nodes=174092923 leaves=0 coeff=0 equal=0 seconds=49.7215
case=2653 t=13 d=6 p1=0 p2=0 nodes=1613599 leaves=0 coeff=0 equal=0 seconds=0.812858
case=2657 t=13 d=3 p1=0 p2=1 nodes=207553 leaves=0 coeff=0 equal=0 seconds=0.0292782
case=2661 t=13 d=0 p1=1 p2=0 nodes=6618 leaves=0 coeff=0 equal=0 seconds=0.00172493
case=2665 t=13 d=4 p1=1 p2=0 nodes=662303 leaves=1080 coeff=0 equal=0 seconds=0.431414
case=2669 t=13 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00266688
case=2673 t=13 d=5 p1=0 p2=0 nodes=1063263 leaves=0 coeff=0 equal=0 seconds=0.213715
case=2677 t=13 d=2 p1=1 p2=0 nodes=24736 leaves=0 coeff=0 equal=0 seconds=0.00325927
case=2681 t=13 d=6 p1=1 p2=0 nodes=1815 leaves=0 coeff=0 equal=0 seconds=0.000516737
case=2685 t=13 d=3 p1=0 p2=0 nodes=4721513 leaves=0 coeff=0 equal=0 seconds=0.862355
case=2689 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00182173
case=2693 t=13 d=4 p1=1 p2=0 nodes=204092 leaves=0 coeff=0 equal=0 seconds=0.0410341
case=2697 t=13 d=1 p1=0 p2=0 nodes=30803 leaves=0 coeff=0 equal=0 seconds=0.00855888
case=2701 t=13 d=5 p1=0 p2=0 nodes=3805542 leaves=0 coeff=0 equal=0 seconds=1.11817
case=2705 t=13 d=2 p1=0 p2=1 nodes=208 leaves=0 coeff=0 equal=0 seconds=0.000813784
case=2709 t=13 d=6 p1=0 p2=1 nodes=5504 leaves=0 coeff=0 equal=0 seconds=0.0014391
case=2713 t=13 d=3 p1=1 p2=0 nodes=5269475 leaves=0 coeff=0 equal=0 seconds=1.19277
case=2717 t=13 d=0 p1=0 p2=0 nodes=62733 leaves=0 coeff=0 equal=0 seconds=0.00753148
case=2721 t=13 d=4 p1=0 p2=0 nodes=48090090 leaves=372 coeff=0 equal=0 seconds=17.0866
case=2725 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000918882
case=2729 t=13 d=5 p1=0 p2=1 nodes=264043 leaves=0 coeff=0 equal=0 seconds=0.0539435
case=2733 t=13 d=2 p1=1 p2=0 nodes=962271 leaves=0 coeff=0 equal=0 seconds=0.11483
case=2737 t=13 d=6 p1=1 p2=0 nodes=57824 leaves=0 coeff=0 equal=0 seconds=0.0189536
case=2741 t=13 d=3 p1=0 p2=0 nodes=171509732 leaves=0 coeff=0 equal=0 seconds=50.6578
case=2745 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00113793
case=2749 t=13 d=4 p1=0 p2=1 nodes=1848511 leaves=0 coeff=0 equal=0 seconds=0.395872
case=2753 t=13 d=1 p1=1 p2=0 nodes=5274705 leaves=0 coeff=0 equal=0 seconds=0.710708
case=2757 t=13 d=5 p1=1 p2=0 nodes=592979 leaves=2520 coeff=0 equal=0 seconds=0.793156
case=2761 t=13 d=2 p1=0 p2=0 nodes=3979195 leaves=0 coeff=0 equal=0 seconds=0.55544
case=2765 t=13 d=6 p1=0 p2=0 nodes=287005 leaves=0 coeff=0 equal=0 seconds=0.0879111
case=2769 t=13 d=3 p1=1 p2=0 nodes=1047601 leaves=0 coeff=0 equal=0 seconds=0.177933
case=2773 t=13 d=0 p1=0 p2=0 nodes=62733 leaves=0 coeff=0 equal=0 seconds=0.00789071
case=2777 t=13 d=4 p1=0 p2=0 nodes=48217712 leaves=252 coeff=0 equal=0 seconds=10.3908
case=2781 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000791411
case=2785 t=13 d=5 p1=0 p2=1 nodes=206129 leaves=0 coeff=0 equal=0 seconds=0.0486024
case=2789 t=13 d=2 p1=1 p2=0 nodes=16600393 leaves=0 coeff=0 equal=0 seconds=2.86523
case=2793 t=13 d=6 p1=1 p2=0 nodes=22036 leaves=0 coeff=0 equal=0 seconds=0.00704513
case=2797 t=13 d=3 p1=0 p2=0 nodes=128281652 leaves=0 coeff=0 equal=0 seconds=26.2106
case=2801 t=13 d=0 p1=0 p2=1 nodes=189 leaves=0 coeff=0 equal=0 seconds=0.000845201
case=2805 t=13 d=4 p1=0 p2=1 nodes=1523783 leaves=0 coeff=0 equal=0 seconds=0.339507
case=2809 t=13 d=1 p1=1 p2=0 nodes=79828787 leaves=0 coeff=0 equal=0 seconds=13.8005
case=2813 t=13 d=5 p1=1 p2=0 nodes=270297 leaves=540 coeff=0 equal=0 seconds=0.244237
case=2817 t=14 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00234037
case=2821 t=14 d=6 p1=0 p2=0 nodes=84828 leaves=0 coeff=0 equal=0 seconds=0.00810989
case=2825 t=14 d=2 p1=0 p2=0 nodes=536669 leaves=0 coeff=0 equal=0 seconds=0.0542872
case=2829 t=14 d=6 p1=0 p2=0 nodes=455879 leaves=0 coeff=0 equal=0 seconds=0.0681145
case=2833 t=14 d=2 p1=0 p2=1 nodes=9694 leaves=0 coeff=0 equal=0 seconds=0.0015942
case=2837 t=14 d=6 p1=0 p2=1 nodes=12785 leaves=0 coeff=0 equal=0 seconds=0.00125001
case=2841 t=14 d=3 p1=0 p2=0 nodes=140567 leaves=0 coeff=0 equal=0 seconds=0.0148579
case=2845 t=14 d=7 p1=0 p2=0 nodes=3215 leaves=0 coeff=0 equal=0 seconds=0.000507794
case=2849 t=14 d=3 p1=1 p2=0 nodes=127653 leaves=0 coeff=0 equal=0 seconds=0.0128417
case=2853 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00301505
case=2857 t=14 d=4 p1=0 p2=0 nodes=1693007 leaves=0 coeff=0 equal=0 seconds=0.173776
case=2861 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00259547
case=2865 t=14 d=4 p1=0 p2=0 nodes=9089884 leaves=0 coeff=0 equal=0 seconds=1.19219
case=2869 t=14 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00113045
case=2873 t=14 d=4 p1=0 p2=1 nodes=287301 leaves=0 coeff=0 equal=0 seconds=0.0350568
case=2877 t=14 d=1 p1=1 p2=0 nodes=256395 leaves=0 coeff=0 equal=0 seconds=0.0259299
case=2881 t=14 d=5 p1=1 p2=0 nodes=169387 leaves=0 coeff=0 equal=0 seconds=0.0240005
case=2885 t=14 d=2 p1=0 p2=0 nodes=42276 leaves=0 coeff=0 equal=0 seconds=0.00583198
case=2889 t=14 d=6 p1=0 p2=0 nodes=171372 leaves=0 coeff=0 equal=0 seconds=0.0358752
case=2893 t=14 d=2 p1=0 p2=0 nodes=9226352 leaves=0 coeff=0 equal=0 seconds=1.24787
case=2897 t=14 d=6 p1=0 p2=0 nodes=1239082 leaves=450 coeff=0 equal=0 seconds=0.510838
case=2901 t=14 d=2 p1=0 p2=1 nodes=39 leaves=0 coeff=0 equal=0 seconds=0.000567253
case=2905 t=14 d=6 p1=0 p2=1 nodes=26276 leaves=0 coeff=0 equal=0 seconds=0.00518592
case=2909 t=14 d=3 p1=0 p2=0 nodes=990614 leaves=0 coeff=0 equal=0 seconds=0.0994871
case=2913 t=14 d=7 p1=0 p2=0 nodes=40570 leaves=0 coeff=0 equal=0 seconds=0.00860827
case=2917 t=14 d=3 p1=1 p2=0 nodes=778675 leaves=0 coeff=0 equal=0 seconds=0.0956627
case=2921 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00196417
case=2925 t=14 d=4 p1=0 p2=0 nodes=9914791 leaves=0 coeff=0 equal=0 seconds=2.24211
case=2929 t=14 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000916278
case=2933 t=14 d=4 p1=1 p2=0 nodes=336490 leaves=0 coeff=0 equal=0 seconds=0.038383
case=2937 t=14 d=1 p1=0 p2=0 nodes=234200 leaves=0 coeff=0 equal=0 seconds=0.0225248
case=2941 t=14 d=5 p1=0 p2=0 nodes=20218554 leaves=795 coeff=0 equal=0 seconds=9.46079
case=2945 t=14 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000645811
case=2949 t=14 d=5 p1=0 p2=1 nodes=422491 leaves=0 coeff=0 equal=0 seconds=0.0809703
case=2953 t=14 d=2 p1=1 p2=0 nodes=1775254 leaves=0 coeff=0 equal=0 seconds=0.215178
case=2957 t=14 d=6 p1=1 p2=0 nodes=155266 leaves=1440 coeff=0 equal=0 seconds=0.333274
case=2961 t=14 d=3 p1=0 p2=0 nodes=23044196 leaves=0 coeff=0 equal=0 seconds=3.46813
case=2965 t=14 d=7 p1=0 p2=0 nodes=197673 leaves=0 coeff=0 equal=0 seconds=0.0458796
case=2969 t=14 d=3 p1=1 p2=0 nodes=2490171 leaves=0 coeff=0 equal=0 seconds=0.389641
case=2973 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00114513
case=2977 t=14 d=4 p1=0 p2=0 nodes=97596772 leaves=0 coeff=0 equal=0 seconds=17.7724
case=2981 t=14 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000653973
case=2985 t=14 d=4 p1=0 p2=1 nodes=2945871 leaves=0 coeff=0 equal=0 seconds=0.507909
case=2989 t=14 d=1 p1=1 p2=0 nodes=15085453 leaves=0 coeff=0 equal=0 seconds=1.997
case=2993 t=14 d=5 p1=1 p2=0 nodes=1131473 leaves=7035 coeff=0 equal=0 seconds=1.84957
case=2997 t=15 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=8.31e-07
case=3001 t=15 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=3005 t=15 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=3009 t=15 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.9e-07
case=3013 t=15 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.61e-07
case=3017 t=15 d=6 p1=1 p2=0 nodes=25155 leaves=360 coeff=0 equal=0 seconds=0.0782049
case=3021 t=15 d=2 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.81e-07
case=3025 t=15 d=6 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=3029 t=15 d=2 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.11e-07
case=3033 t=15 d=6 p1=1 p2=0 nodes=66065 leaves=1620 coeff=0 equal=0 seconds=0.357799
COMPLETE cases=759 nodes=2542600889 leaves=17334 coeff=0 endpoint_pass=17334 inconsistent=17334 boundsbad=0 rankbad=0 equal=0 found=0