case=3 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000293772
case=7 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0072744
case=11 t=12 d=4 p1=0 p2=0 nodes=298569 leaves=0 coeff=0 equal=0 seconds=0.0320601
case=15 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015672
case=19 t=12 d=5 p1=0 p2=0 nodes=4227 leaves=0 coeff=0 equal=0 seconds=0.000632021
case=23 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000149224
case=27 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00847216
case=31 t=12 d=4 p1=0 p2=0 nodes=48474 leaves=0 coeff=0 equal=0 seconds=0.00622725
case=35 t=12 d=1 p1=0 p2=0 nodes=8199 leaves=0 coeff=0 equal=0 seconds=0.00714401
case=39 t=12 d=5 p1=0 p2=0 nodes=441183 leaves=0 coeff=0 equal=0 seconds=0.0806116
case=43 t=12 d=2 p1=1 p2=0 nodes=119472 leaves=0 coeff=0 equal=0 seconds=0.021638
case=47 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00569938
case=51 t=12 d=4 p1=0 p2=0 nodes=50 leaves=0 coeff=0 equal=0 seconds=0.000617038
case=55 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00974655
case=59 t=12 d=5 p1=0 p2=0 nodes=2676 leaves=0 coeff=0 equal=0 seconds=0.00130922
case=63 t=12 d=2 p1=0 p2=0 nodes=111250 leaves=0 coeff=0 equal=0 seconds=0.0248436
case=67 t=12 d=6 p1=0 p2=0 nodes=61161 leaves=0 coeff=0 equal=0 seconds=0.0264471
case=71 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0018972
case=75 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00675289
case=79 t=12 d=4 p1=0 p2=0 nodes=92964 leaves=0 coeff=0 equal=0 seconds=0.0171224
case=83 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0028711
case=87 t=12 d=5 p1=0 p2=0 nodes=10136 leaves=0 coeff=0 equal=0 seconds=0.00143967
case=91 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000253241
case=95 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00766841
case=99 t=12 d=4 p1=0 p2=0 nodes=60614 leaves=0 coeff=0 equal=0 seconds=0.00825187
case=103 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00184939
case=107 t=12 d=5 p1=1 p2=0 nodes=3252 leaves=0 coeff=0 equal=0 seconds=0.000723628
case=111 t=12 d=3 p1=0 p2=0 nodes=1509056 leaves=0 coeff=0 equal=0 seconds=0.208163
case=115 t=12 d=0 p1=1 p2=0 nodes=2359 leaves=0 coeff=0 equal=0 seconds=0.00248622
case=119 t=12 d=4 p1=1 p2=0 nodes=138723 leaves=0 coeff=0 equal=0 seconds=0.022636
case=123 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00275393
case=127 t=12 d=6 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000175834
case=131 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00028583
case=135 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00606975
case=139 t=12 d=5 p1=0 p2=0 nodes=2936 leaves=0 coeff=0 equal=0 seconds=0.00119067
case=143 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000978592
case=147 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0069087
case=151 t=12 d=4 p1=0 p2=0 nodes=75932 leaves=0 coeff=0 equal=0 seconds=0.0134344
case=155 t=12 d=1 p1=0 p2=0 nodes=11530 leaves=0 coeff=0 equal=0 seconds=0.005495
case=159 t=12 d=5 p1=0 p2=0 nodes=1013064 leaves=0 coeff=0 equal=0 seconds=0.341687
case=163 t=12 d=2 p1=1 p2=0 nodes=23976 leaves=0 coeff=0 equal=0 seconds=0.00389433
case=167 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00692398
case=171 t=12 d=4 p1=0 p2=0 nodes=14683 leaves=0 coeff=0 equal=0 seconds=0.00368125
case=175 t=12 d=1 p1=0 p2=0 nodes=202931 leaves=0 coeff=0 equal=0 seconds=0.0331762
case=179 t=12 d=5 p1=0 p2=0 nodes=319665 leaves=0 coeff=0 equal=0 seconds=0.137282
case=183 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00253277
case=187 t=12 d=6 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000141632
case=191 t=12 d=3 p1=1 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000252389
case=195 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00524704
case=199 t=12 d=5 p1=0 p2=0 nodes=109674 leaves=0 coeff=0 equal=0 seconds=0.021134
case=203 t=12 d=2 p1=1 p2=0 nodes=4453 leaves=0 coeff=0 equal=0 seconds=0.0019246
case=207 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00496396
case=211 t=12 d=4 p1=0 p2=0 nodes=3267982 leaves=0 coeff=0 equal=0 seconds=0.568707
case=215 t=12 d=1 p1=1 p2=0 nodes=115320 leaves=0 coeff=0 equal=0 seconds=0.0155232
case=219 t=12 d=5 p1=1 p2=0 nodes=35649 leaves=0 coeff=0 equal=0 seconds=0.00865421
case=223 t=12 d=3 p1=0 p2=0 nodes=9334 leaves=0 coeff=0 equal=0 seconds=0.00338539
case=227 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.001596
case=231 t=12 d=4 p1=1 p2=0 nodes=822 leaves=0 coeff=0 equal=0 seconds=0.000467192
case=235 t=12 d=2 p1=0 p2=0 nodes=20552 leaves=0 coeff=0 equal=0 seconds=0.00532369
case=239 t=12 d=6 p1=0 p2=0 nodes=5516 leaves=0 coeff=0 equal=0 seconds=0.00369238
case=243 t=12 d=3 p1=1 p2=0 nodes=5250 leaves=0 coeff=0 equal=0 seconds=0.00129879
case=247 t=12 d=1 p1=0 p2=0 nodes=814356 leaves=0 coeff=0 equal=0 seconds=0.110809
case=251 t=12 d=5 p1=0 p2=0 nodes=874347 leaves=0 coeff=0 equal=0 seconds=0.475412
case=255 t=12 d=2 p1=1 p2=0 nodes=82757 leaves=0 coeff=0 equal=0 seconds=0.0121349
case=259 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00576891
case=263 t=12 d=4 p1=0 p2=0 nodes=27448 leaves=0 coeff=0 equal=0 seconds=0.00594927
case=267 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00120241
case=271 t=12 d=5 p1=1 p2=0 nodes=86 leaves=0 coeff=0 equal=0 seconds=0.000148043
case=275 t=12 d=3 p1=0 p2=0 nodes=1040981 leaves=0 coeff=0 equal=0 seconds=0.150833
case=279 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0019815
case=283 t=12 d=4 p1=1 p2=0 nodes=28153 leaves=0 coeff=0 equal=0 seconds=0.0068178
case=287 t=12 d=2 p1=0 p2=0 nodes=17023871 leaves=0 coeff=0 equal=0 seconds=2.5901
case=291 t=12 d=6 p1=0 p2=0 nodes=5478 leaves=0 coeff=0 equal=0 seconds=0.00244794
case=295 t=12 d=3 p1=1 p2=0 nodes=876902 leaves=0 coeff=0 equal=0 seconds=0.167363
case=299 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00421282
case=303 t=12 d=5 p1=0 p2=0 nodes=28096 leaves=0 coeff=0 equal=0 seconds=0.00772221
case=307 t=12 d=2 p1=1 p2=0 nodes=227552 leaves=0 coeff=0 equal=0 seconds=0.035536
case=311 t=12 d=0 p1=0 p2=0 nodes=1445 leaves=0 coeff=0 equal=0 seconds=0.00409792
case=315 t=12 d=4 p1=0 p2=0 nodes=1035663 leaves=0 coeff=0 equal=0 seconds=0.250374
case=319 t=12 d=2 p1=1 p2=0 nodes=3105879 leaves=0 coeff=0 equal=0 seconds=0.61258
case=323 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00198471
case=327 t=12 d=4 p1=0 p2=0 nodes=44402 leaves=0 coeff=0 equal=0 seconds=0.00495763
case=331 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000254943
case=335 t=12 d=5 p1=0 p2=1 nodes=2152 leaves=0 coeff=0 equal=0 seconds=0.000257167
case=339 t=12 d=3 p1=0 p2=0 nodes=71635 leaves=0 coeff=0 equal=0 seconds=0.008367
case=343 t=12 d=0 p1=0 p2=0 nodes=158 leaves=0 coeff=0 equal=0 seconds=0.00765126
case=347 t=12 d=4 p1=0 p2=0 nodes=1699004 leaves=0 coeff=0 equal=0 seconds=0.239079
case=351 t=12 d=1 p1=0 p2=1 nodes=2042 leaves=0 coeff=0 equal=0 seconds=0.00128265
case=355 t=12 d=5 p1=0 p2=1 nodes=20874 leaves=0 coeff=0 equal=0 seconds=0.0023152
case=359 t=12 d=3 p1=0 p2=0 nodes=3617 leaves=0 coeff=0 equal=0 seconds=0.00126355
case=363 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00722533
case=367 t=12 d=4 p1=0 p2=0 nodes=33450 leaves=0 coeff=0 equal=0 seconds=0.00433917
case=371 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00303742
case=375 t=12 d=5 p1=0 p2=0 nodes=179602 leaves=0 coeff=0 equal=0 seconds=0.0235172
case=379 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000263366
case=383 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000616898
case=387 t=12 d=4 p1=1 p2=0 nodes=33557 leaves=0 coeff=0 equal=0 seconds=0.003619
case=391 t=12 d=2 p1=0 p2=0 nodes=3328 leaves=0 coeff=0 equal=0 seconds=0.0030761
case=395 t=12 d=6 p1=0 p2=0 nodes=164562 leaves=0 coeff=0 equal=0 seconds=0.0272617
case=399 t=12 d=3 p1=1 p2=0 nodes=83997 leaves=0 coeff=0 equal=0 seconds=0.00988331
case=403 t=12 d=1 p1=0 p2=0 nodes=3438 leaves=0 coeff=0 equal=0 seconds=0.00619289
case=407 t=12 d=5 p1=0 p2=0 nodes=399970 leaves=0 coeff=0 equal=0 seconds=0.04925
case=411 t=12 d=2 p1=0 p2=1 nodes=281 leaves=0 coeff=0 equal=0 seconds=0.0011707
case=415 t=12 d=0 p1=0 p2=0 nodes=117 leaves=0 coeff=0 equal=0 seconds=0.00631581
case=419 t=12 d=4 p1=0 p2=0 nodes=1175425 leaves=0 coeff=0 equal=0 seconds=0.138004
case=423 t=12 d=1 p1=0 p2=0 nodes=85697 leaves=0 coeff=0 equal=0 seconds=0.0138322
case=427 t=12 d=5 p1=0 p2=0 nodes=2646304 leaves=0 coeff=0 equal=0 seconds=0.505144
case=431 t=12 d=2 p1=0 p2=1 nodes=44858 leaves=0 coeff=0 equal=0 seconds=0.0059423
case=435 t=12 d=0 p1=1 p2=0 nodes=31739 leaves=0 coeff=0 equal=0 seconds=0.0047014
case=439 t=12 d=4 p1=1 p2=0 nodes=263089 leaves=0 coeff=0 equal=0 seconds=0.0345283
case=443 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00339533
case=447 t=12 d=6 p1=0 p2=0 nodes=12237 leaves=0 coeff=0 equal=0 seconds=0.0013649
case=451 t=12 d=3 p1=0 p2=0 nodes=116 leaves=0 coeff=0 equal=0 seconds=0.00308978
case=455 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00531184
case=459 t=12 d=4 p1=0 p2=0 nodes=67528 leaves=0 coeff=0 equal=0 seconds=0.0118701
case=463 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000866303
case=467 t=12 d=5 p1=0 p2=1 nodes=652 leaves=0 coeff=0 equal=0 seconds=0.000183806
case=471 t=12 d=3 p1=0 p2=0 nodes=73677 leaves=0 coeff=0 equal=0 seconds=0.0101736
case=475 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00721489
case=479 t=12 d=4 p1=0 p2=0 nodes=117749 leaves=0 coeff=0 equal=0 seconds=0.0145506
case=483 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00172734
case=487 t=12 d=5 p1=0 p2=1 nodes=1727 leaves=0 coeff=0 equal=0 seconds=0.00030564
case=491 t=12 d=3 p1=0 p2=0 nodes=221322 leaves=0 coeff=0 equal=0 seconds=0.0257177
case=495 t=12 d=0 p1=0 p2=0 nodes=158 leaves=0 coeff=0 equal=0 seconds=0.00486247
case=499 t=12 d=4 p1=0 p2=0 nodes=4718523 leaves=0 coeff=0 equal=0 seconds=1.05571
case=503 t=12 d=1 p1=0 p2=1 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.00154489
case=507 t=12 d=5 p1=0 p2=1 nodes=22540 leaves=0 coeff=0 equal=0 seconds=0.00785799
case=511 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00269157
case=515 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00686552
case=519 t=12 d=4 p1=0 p2=0 nodes=11843 leaves=0 coeff=0 equal=0 seconds=0.0028896
case=523 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00136536
case=527 t=12 d=5 p1=0 p2=1 nodes=207 leaves=0 coeff=0 equal=0 seconds=0.000135905
case=531 t=12 d=3 p1=0 p2=0 nodes=27743 leaves=0 coeff=0 equal=0 seconds=0.00551731
case=535 t=12 d=0 p1=0 p2=0 nodes=16 leaves=0 coeff=0 equal=0 seconds=0.00501537
case=539 t=12 d=4 p1=0 p2=0 nodes=585672 leaves=0 coeff=0 equal=0 seconds=0.179442
case=543 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00190931
case=547 t=12 d=5 p1=0 p2=1 nodes=4853 leaves=0 coeff=0 equal=0 seconds=0.00120444
case=551 t=12 d=3 p1=0 p2=0 nodes=3617 leaves=0 coeff=0 equal=0 seconds=0.00203288
case=555 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131186
case=559 t=12 d=4 p1=1 p2=0 nodes=16637 leaves=0 coeff=0 equal=0 seconds=0.0022891
case=563 t=12 d=2 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00438386
case=567 t=12 d=6 p1=0 p2=0 nodes=65692 leaves=0 coeff=0 equal=0 seconds=0.0102876
case=571 t=12 d=3 p1=1 p2=0 nodes=11568 leaves=0 coeff=0 equal=0 seconds=0.00224076
case=575 t=12 d=1 p1=0 p2=0 nodes=28 leaves=0 coeff=0 equal=0 seconds=0.00642214
case=579 t=12 d=5 p1=0 p2=0 nodes=252281 leaves=0 coeff=0 equal=0 seconds=0.034433
case=583 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00281286
case=587 t=12 d=6 p1=0 p2=0 nodes=185750 leaves=0 coeff=0 equal=0 seconds=0.0298402
case=591 t=12 d=3 p1=0 p2=1 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000494765
case=595 t=12 d=1 p1=1 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.000972823
case=599 t=12 d=5 p1=1 p2=0 nodes=56101 leaves=0 coeff=0 equal=0 seconds=0.0075429
case=603 t=12 d=3 p1=0 p2=0 nodes=184312 leaves=0 coeff=0 equal=0 seconds=0.0316512
case=607 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189002
case=611 t=12 d=4 p1=1 p2=0 nodes=195693 leaves=0 coeff=0 equal=0 seconds=0.0317918
case=615 t=12 d=2 p1=0 p2=0 nodes=129608 leaves=0 coeff=0 equal=0 seconds=0.0169336
case=619 t=12 d=6 p1=0 p2=0 nodes=201226 leaves=0 coeff=0 equal=0 seconds=0.0427299
case=623 t=12 d=3 p1=0 p2=1 nodes=11789 leaves=0 coeff=0 equal=0 seconds=0.00200722
case=627 t=12 d=1 p1=1 p2=0 nodes=12647 leaves=0 coeff=0 equal=0 seconds=0.00304964
case=631 t=12 d=5 p1=1 p2=0 nodes=37482 leaves=0 coeff=0 equal=0 seconds=0.00544697
case=635 t=12 d=3 p1=0 p2=0 nodes=1599819 leaves=0 coeff=0 equal=0 seconds=0.207292
case=639 t=12 d=0 p1=1 p2=0 nodes=18 leaves=0 coeff=0 equal=0 seconds=0.00227927
case=643 t=12 d=4 p1=1 p2=0 nodes=202464 leaves=0 coeff=0 equal=0 seconds=0.0257745
case=647 t=12 d=2 p1=0 p2=0 nodes=3569127 leaves=0 coeff=0 equal=0 seconds=0.463929
case=651 t=12 d=6 p1=0 p2=0 nodes=432241 leaves=0 coeff=0 equal=0 seconds=0.141659
case=655 t=12 d=3 p1=0 p2=1 nodes=528577 leaves=0 coeff=0 equal=0 seconds=0.101291
case=659 t=12 d=1 p1=1 p2=0 nodes=437822 leaves=0 coeff=0 equal=0 seconds=0.0605996
case=663 t=12 d=5 p1=1 p2=0 nodes=198426 leaves=0 coeff=0 equal=0 seconds=0.039749
case=667 t=12 d=3 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00265362
case=671 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00205204
case=675 t=12 d=4 p1=1 p2=0 nodes=915 leaves=0 coeff=0 equal=0 seconds=0.000430237
case=679 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00478333
case=683 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000358008
case=687 t=12 d=3 p1=1 p2=0 nodes=278 leaves=0 coeff=0 equal=0 seconds=0.00214539
case=691 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00755991
case=695 t=12 d=5 p1=0 p2=0 nodes=2049 leaves=0 coeff=0 equal=0 seconds=0.00137293
case=699 t=12 d=2 p1=0 p2=0 nodes=273 leaves=0 coeff=0 equal=0 seconds=0.00548733
case=703 t=12 d=6 p1=0 p2=0 nodes=16 leaves=0 coeff=0 equal=0 seconds=0.000579863
case=707 t=12 d=3 p1=0 p2=0 nodes=19534 leaves=0 coeff=0 equal=0 seconds=0.00702796
case=711 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00869202
case=715 t=12 d=4 p1=0 p2=0 nodes=102293 leaves=0 coeff=0 equal=0 seconds=0.0204392
case=719 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0077176
case=723 t=12 d=5 p1=0 p2=0 nodes=6340 leaves=0 coeff=0 equal=0 seconds=0.00289186
case=727 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00108873
case=731 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00225839
case=735 t=12 d=4 p1=1 p2=0 nodes=7343 leaves=0 coeff=0 equal=0 seconds=0.00220066
case=739 t=12 d=2 p1=0 p2=0 nodes=21045 leaves=0 coeff=0 equal=0 seconds=0.0069068
case=743 t=12 d=6 p1=0 p2=0 nodes=2104 leaves=0 coeff=0 equal=0 seconds=0.0015301
case=747 t=12 d=3 p1=1 p2=0 nodes=15924 leaves=0 coeff=0 equal=0 seconds=0.00387681
case=751 t=12 d=1 p1=0 p2=0 nodes=24 leaves=0 coeff=0 equal=0 seconds=0.0052538
case=755 t=12 d=5 p1=0 p2=0 nodes=135750 leaves=0 coeff=0 equal=0 seconds=0.0266955
case=759 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00113153
case=763 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0019261
case=767 t=12 d=4 p1=1 p2=0 nodes=21231 leaves=0 coeff=0 equal=0 seconds=0.00299478
case=771 t=12 d=2 p1=0 p2=0 nodes=40235 leaves=0 coeff=0 equal=0 seconds=0.00842465
case=775 t=12 d=6 p1=0 p2=0 nodes=77829 leaves=0 coeff=0 equal=0 seconds=0.0355246
case=779 t=12 d=3 p1=1 p2=0 nodes=33954 leaves=0 coeff=0 equal=0 seconds=0.00538407
case=783 t=12 d=1 p1=0 p2=0 nodes=7180 leaves=0 coeff=0 equal=0 seconds=0.00472478
case=787 t=12 d=5 p1=0 p2=0 nodes=714966 leaves=0 coeff=0 equal=0 seconds=0.212323
case=791 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00115176
case=795 t=12 d=0 p1=0 p2=0 nodes=231 leaves=0 coeff=0 equal=0 seconds=0.00457823
case=799 t=12 d=4 p1=0 p2=0 nodes=2791347 leaves=0 coeff=0 equal=0 seconds=0.639721
case=803 t=12 d=1 p1=0 p2=0 nodes=154255 leaves=0 coeff=0 equal=0 seconds=0.0186825
case=807 t=12 d=5 p1=0 p2=0 nodes=4865677 leaves=0 coeff=0 equal=0 seconds=1.94179
case=811 t=12 d=2 p1=0 p2=1 nodes=4239 leaves=0 coeff=0 equal=0 seconds=0.00154685
case=815 t=12 d=0 p1=1 p2=0 nodes=1238 leaves=0 coeff=0 equal=0 seconds=0.00183534
case=819 t=12 d=4 p1=1 p2=0 nodes=189454 leaves=0 coeff=0 equal=0 seconds=0.0574085
case=823 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00419351
case=827 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000455585
case=831 t=12 d=3 p1=0 p2=0 nodes=571738 leaves=0 coeff=0 equal=0 seconds=0.121703
case=835 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00185133
case=839 t=12 d=4 p1=0 p2=1 nodes=1259 leaves=0 coeff=0 equal=0 seconds=0.000556027
case=843 t=12 d=2 p1=0 p2=0 nodes=478559 leaves=0 coeff=0 equal=0 seconds=0.0595463
case=847 t=12 d=6 p1=0 p2=0 nodes=24171 leaves=0 coeff=0 equal=0 seconds=0.0148751
case=851 t=12 d=3 p1=0 p2=0 nodes=40291489 leaves=0 coeff=0 equal=0 seconds=12.3306
case=855 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154664
case=859 t=12 d=4 p1=0 p2=1 nodes=28842 leaves=0 coeff=0 equal=0 seconds=0.00750768
case=863 t=12 d=2 p1=0 p2=0 nodes=2276 leaves=0 coeff=0 equal=0 seconds=0.00364493
case=867 t=12 d=6 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.000276256
case=871 t=12 d=3 p1=1 p2=0 nodes=2360 leaves=0 coeff=0 equal=0 seconds=0.000743479
case=875 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00478195
case=879 t=12 d=5 p1=0 p2=0 nodes=655299 leaves=0 coeff=0 equal=0 seconds=0.135252
case=883 t=12 d=2 p1=1 p2=0 nodes=281 leaves=0 coeff=0 equal=0 seconds=0.0011682
case=887 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00507333
case=891 t=12 d=4 p1=0 p2=0 nodes=672142 leaves=0 coeff=0 equal=0 seconds=0.0935165
case=895 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162213
case=899 t=12 d=5 p1=1 p2=0 nodes=18413 leaves=0 coeff=0 equal=0 seconds=0.00468885
case=903 t=12 d=3 p1=0 p2=0 nodes=38077 leaves=0 coeff=0 equal=0 seconds=0.00834872
case=907 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143458
case=911 t=12 d=4 p1=0 p2=1 nodes=9798 leaves=0 coeff=0 equal=0 seconds=0.00162312
case=915 t=12 d=2 p1=1 p2=0 nodes=4924 leaves=0 coeff=0 equal=0 seconds=0.00133042
case=919 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00486845
case=923 t=12 d=4 p1=0 p2=0 nodes=4971241 leaves=0 coeff=0 equal=0 seconds=0.903452
case=927 t=12 d=1 p1=1 p2=0 nodes=2042 leaves=0 coeff=0 equal=0 seconds=0.00169528
case=931 t=12 d=5 p1=1 p2=0 nodes=100859 leaves=0 coeff=0 equal=0 seconds=0.0178311
case=935 t=12 d=3 p1=0 p2=0 nodes=2534046 leaves=0 coeff=0 equal=0 seconds=0.378515
case=939 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00184366
case=943 t=12 d=4 p1=0 p2=1 nodes=74133 leaves=0 coeff=0 equal=0 seconds=0.0116486
case=947 t=12 d=2 p1=1 p2=0 nodes=132633 leaves=0 coeff=0 equal=0 seconds=0.0169471
case=951 t=12 d=0 p1=0 p2=0 nodes=231 leaves=0 coeff=0 equal=0 seconds=0.00404941
case=955 t=12 d=4 p1=0 p2=0 nodes=7543526 leaves=0 coeff=0 equal=0 seconds=1.40602
case=959 t=12 d=1 p1=1 p2=0 nodes=32564 leaves=0 coeff=0 equal=0 seconds=0.00486849
case=963 t=12 d=5 p1=1 p2=0 nodes=101105 leaves=0 coeff=0 equal=0 seconds=0.0249631
case=967 t=12 d=3 p1=0 p2=0 nodes=26515728 leaves=0 coeff=0 equal=0 seconds=4.58113
case=971 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160971
case=975 t=12 d=4 p1=0 p2=1 nodes=333486 leaves=0 coeff=0 equal=0 seconds=0.0869596
case=979 t=12 d=2 p1=1 p2=0 nodes=4923553 leaves=0 coeff=0 equal=0 seconds=0.766076
case=983 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00588174
case=987 t=12 d=4 p1=0 p2=0 nodes=30415 leaves=0 coeff=0 equal=0 seconds=0.00531918
case=991 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00166417
case=995 t=12 d=5 p1=1 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.000178178
case=999 t=12 d=3 p1=0 p2=0 nodes=140699 leaves=0 coeff=0 equal=0 seconds=0.0222637
case=1003 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00198594
case=1007 t=12 d=4 p1=1 p2=0 nodes=9519 leaves=0 coeff=0 equal=0 seconds=0.00156541
case=1011 t=12 d=2 p1=0 p2=0 nodes=4638 leaves=0 coeff=0 equal=0 seconds=0.0040957
case=1015 t=12 d=6 p1=0 p2=0 nodes=11014 leaves=0 coeff=0 equal=0 seconds=0.00524926
case=1019 t=12 d=3 p1=1 p2=0 nodes=6428 leaves=0 coeff=0 equal=0 seconds=0.00155251
case=1023 t=12 d=1 p1=0 p2=0 nodes=6396 leaves=0 coeff=0 equal=0 seconds=0.00444945
case=1027 t=12 d=5 p1=0 p2=0 nodes=404863 leaves=0 coeff=0 equal=0 seconds=0.169539
case=1031 t=12 d=2 p1=0 p2=0 nodes=354655 leaves=0 coeff=0 equal=0 seconds=0.0539514
case=1035 t=12 d=6 p1=0 p2=0 nodes=4763 leaves=0 coeff=0 equal=0 seconds=0.00203262
case=1039 t=12 d=3 p1=0 p2=1 nodes=455 leaves=0 coeff=0 equal=0 seconds=0.000800314
case=1043 t=12 d=1 p1=1 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00153527
case=1047 t=12 d=5 p1=1 p2=0 nodes=3538 leaves=0 coeff=0 equal=0 seconds=0.00125839
case=1051 t=12 d=3 p1=0 p2=0 nodes=6684178 leaves=0 coeff=0 equal=0 seconds=1.10446
case=1055 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00193419
case=1059 t=12 d=4 p1=1 p2=0 nodes=151832 leaves=0 coeff=0 equal=0 seconds=0.0545314
case=1063 t=12 d=2 p1=0 p2=0 nodes=9241065 leaves=0 coeff=0 equal=0 seconds=1.93925
case=1067 t=12 d=6 p1=0 p2=0 nodes=55189 leaves=0 coeff=0 equal=0 seconds=0.0370842
case=1071 t=12 d=3 p1=0 p2=1 nodes=1939 leaves=0 coeff=0 equal=0 seconds=0.000992132
case=1075 t=12 d=1 p1=1 p2=0 nodes=596 leaves=0 coeff=0 equal=0 seconds=0.00150296
case=1079 t=12 d=5 p1=1 p2=0 nodes=21052 leaves=0 coeff=0 equal=0 seconds=0.00785746
case=1083 t=12 d=3 p1=0 p2=0 nodes=33335942 leaves=0 coeff=0 equal=0 seconds=10.0049
case=1087 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160706
case=1091 t=12 d=4 p1=1 p2=0 nodes=139722 leaves=0 coeff=0 equal=0 seconds=0.0380824
case=1095 t=12 d=2 p1=0 p2=0 nodes=151654151 leaves=0 coeff=0 equal=0 seconds=42.1882
case=1099 t=12 d=6 p1=0 p2=0 nodes=55312 leaves=0 coeff=0 equal=0 seconds=0.0452123
case=1103 t=12 d=3 p1=0 p2=1 nodes=144522 leaves=0 coeff=0 equal=0 seconds=0.0218035
case=1107 t=12 d=1 p1=1 p2=0 nodes=74646 leaves=0 coeff=0 equal=0 seconds=0.0101639
case=1111 t=12 d=5 p1=1 p2=0 nodes=96638 leaves=0 coeff=0 equal=0 seconds=0.0479714
case=1115 t=12 d=3 p1=0 p2=0 nodes=249912 leaves=0 coeff=0 equal=0 seconds=0.0407582
case=1119 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00175874
case=1123 t=12 d=4 p1=1 p2=0 nodes=12579 leaves=0 coeff=0 equal=0 seconds=0.00333084
case=1127 t=12 d=2 p1=0 p2=0 nodes=4638 leaves=0 coeff=0 equal=0 seconds=0.00386941
case=1131 t=12 d=6 p1=0 p2=0 nodes=2812 leaves=0 coeff=0 equal=0 seconds=0.00167221
case=1135 t=12 d=3 p1=1 p2=0 nodes=199133 leaves=0 coeff=0 equal=0 seconds=0.0287704
case=1139 t=12 d=1 p1=0 p2=0 nodes=6396 leaves=0 coeff=0 equal=0 seconds=0.00432649
case=1143 t=12 d=5 p1=0 p2=0 nodes=820942 leaves=0 coeff=0 equal=0 seconds=0.301685
case=1147 t=12 d=2 p1=1 p2=0 nodes=13394 leaves=0 coeff=0 equal=0 seconds=0.00266032
case=1151 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00463135
case=1155 t=12 d=4 p1=0 p2=0 nodes=738668 leaves=0 coeff=0 equal=0 seconds=0.164405
case=1159 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134842
case=1163 t=12 d=5 p1=0 p2=1 nodes=777 leaves=0 coeff=0 equal=0 seconds=0.000437067
case=1167 t=12 d=3 p1=1 p2=0 nodes=163530 leaves=0 coeff=0 equal=0 seconds=0.0364621
case=1171 t=12 d=1 p1=0 p2=0 nodes=9201 leaves=0 coeff=0 equal=0 seconds=0.00409802
case=1175 t=12 d=5 p1=0 p2=0 nodes=328582 leaves=0 coeff=0 equal=0 seconds=0.0947758
case=1179 t=12 d=2 p1=1 p2=0 nodes=1468976 leaves=0 coeff=0 equal=0 seconds=0.208609
case=1183 t=12 d=0 p1=0 p2=0 nodes=588 leaves=0 coeff=0 equal=0 seconds=0.00371986
case=1187 t=12 d=4 p1=0 p2=0 nodes=7541568 leaves=0 coeff=0 equal=0 seconds=2.02724
case=1191 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138218
case=1195 t=12 d=5 p1=0 p2=1 nodes=12164 leaves=0 coeff=0 equal=0 seconds=0.00331572
case=1199 t=12 d=3 p1=1 p2=0 nodes=938031 leaves=0 coeff=0 equal=0 seconds=0.164113
case=1203 t=12 d=1 p1=0 p2=0 nodes=12083533 leaves=0 coeff=0 equal=0 seconds=1.53501
case=1207 t=12 d=5 p1=0 p2=0 nodes=1372824 leaves=0 coeff=0 equal=0 seconds=0.61942
case=1211 t=12 d=2 p1=1 p2=0 nodes=1097933 leaves=0 coeff=0 equal=0 seconds=0.153569
case=1215 t=12 d=0 p1=0 p2=0 nodes=176186 leaves=0 coeff=0 equal=0 seconds=0.0222171
case=1219 t=12 d=4 p1=0 p2=0 nodes=11027644 leaves=0 coeff=0 equal=0 seconds=3.94739
case=1223 t=12 d=2 p1=0 p2=1 nodes=632879 leaves=0 coeff=0 equal=0 seconds=0.0980509
case=1227 t=12 d=0 p1=1 p2=0 nodes=388068 leaves=0 coeff=0 equal=0 seconds=0.0477517
case=1231 t=12 d=4 p1=1 p2=0 nodes=690083 leaves=216 coeff=0 equal=0 seconds=0.266512
case=1235 t=12 d=2 p1=0 p2=0 nodes=2313791 leaves=0 coeff=0 equal=0 seconds=0.365558
case=1239 t=12 d=6 p1=0 p2=0 nodes=2857 leaves=0 coeff=0 equal=0 seconds=0.00173953
case=1243 t=12 d=3 p1=1 p2=0 nodes=676801 leaves=0 coeff=0 equal=0 seconds=0.134754
case=1247 t=12 d=1 p1=0 p2=0 nodes=2369272 leaves=0 coeff=0 equal=0 seconds=0.327136
case=1251 t=12 d=5 p1=0 p2=0 nodes=147479 leaves=0 coeff=0 equal=0 seconds=0.0358417
case=1255 t=12 d=3 p1=0 p2=1 nodes=258537 leaves=0 coeff=0 equal=0 seconds=0.0537076
case=1259 t=12 d=1 p1=1 p2=0 nodes=2128102 leaves=0 coeff=0 equal=0 seconds=0.3181
case=1263 t=12 d=5 p1=1 p2=0 nodes=4848 leaves=0 coeff=0 equal=0 seconds=0.00186679
case=1267 t=12 d=3 p1=0 p2=0 nodes=23392558 leaves=0 coeff=0 equal=0 seconds=4.92788
case=1271 t=12 d=1 p1=1 p2=0 nodes=5130128 leaves=0 coeff=0 equal=0 seconds=0.727439
case=1275 t=12 d=5 p1=1 p2=0 nodes=8727 leaves=0 coeff=0 equal=0 seconds=0.00383417
case=1279 t=12 d=3 p1=0 p2=0 nodes=23197018 leaves=0 coeff=0 equal=0 seconds=5.88644
case=1283 t=12 d=2 p1=0 p2=1 nodes=1930741 leaves=0 coeff=0 equal=0 seconds=0.379692
case=1287 t=12 d=1 p1=1 p2=0 nodes=30580667 leaves=0 coeff=0 equal=0 seconds=5.17284
case=1291 t=12 d=0 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.0033634
case=1295 t=12 d=4 p1=0 p2=0 nodes=468206 leaves=0 coeff=0 equal=0 seconds=0.0482874
case=1299 t=12 d=1 p1=0 p2=1 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.000483257
case=1303 t=12 d=5 p1=0 p2=1 nodes=16999 leaves=0 coeff=0 equal=0 seconds=0.00191307
case=1307 t=12 d=3 p1=0 p2=0 nodes=2902126 leaves=0 coeff=0 equal=0 seconds=0.326168
case=1311 t=12 d=0 p1=0 p2=1 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00117182
case=1315 t=12 d=4 p1=0 p2=1 nodes=138973 leaves=0 coeff=0 equal=0 seconds=0.014948
case=1319 t=12 d=2 p1=0 p2=0 nodes=76429 leaves=0 coeff=0 equal=0 seconds=0.0106687
case=1323 t=12 d=6 p1=0 p2=0 nodes=186385 leaves=0 coeff=0 equal=0 seconds=0.0196548
case=1327 t=12 d=3 p1=0 p2=1 nodes=2360 leaves=0 coeff=0 equal=0 seconds=0.000569808
case=1331 t=12 d=1 p1=0 p2=0 nodes=3002 leaves=0 coeff=0 equal=0 seconds=0.00472021
case=1335 t=12 d=5 p1=0 p2=0 nodes=1077794 leaves=0 coeff=0 equal=0 seconds=0.148988
case=1339 t=12 d=2 p1=0 p2=1 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.000967475
case=1343 t=12 d=0 p1=1 p2=0 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00131071
case=1347 t=12 d=4 p1=1 p2=0 nodes=138973 leaves=0 coeff=0 equal=0 seconds=0.0149715
case=1351 t=12 d=2 p1=0 p2=0 nodes=2133303 leaves=0 coeff=0 equal=0 seconds=0.231318
case=1355 t=12 d=6 p1=0 p2=0 nodes=293020 leaves=0 coeff=0 equal=0 seconds=0.0523608
case=1359 t=12 d=3 p1=0 p2=1 nodes=174599 leaves=0 coeff=0 equal=0 seconds=0.0196773
case=1363 t=12 d=1 p1=0 p2=0 nodes=1025361 leaves=0 coeff=0 equal=0 seconds=0.104775
case=1367 t=12 d=5 p1=0 p2=0 nodes=2254717 leaves=0 coeff=0 equal=0 seconds=0.575595
case=1371 t=12 d=2 p1=0 p2=1 nodes=485889 leaves=0 coeff=0 equal=0 seconds=0.0635774
case=1375 t=12 d=0 p1=1 p2=0 nodes=418997 leaves=0 coeff=0 equal=0 seconds=0.0372036
case=1379 t=12 d=4 p1=1 p2=0 nodes=325874 leaves=0 coeff=0 equal=0 seconds=0.0452646
case=1383 t=12 d=2 p1=0 p2=0 nodes=1137 leaves=0 coeff=0 equal=0 seconds=0.00396281
case=1387 t=12 d=6 p1=0 p2=0 nodes=77611 leaves=0 coeff=0 equal=0 seconds=0.00903006
case=1391 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000504358
case=1395 t=12 d=1 p1=0 p2=0 nodes=3002 leaves=0 coeff=0 equal=0 seconds=0.00504395
case=1399 t=12 d=5 p1=0 p2=0 nodes=935365 leaves=0 coeff=0 equal=0 seconds=0.184461
case=1403 t=12 d=2 p1=0 p2=1 nodes=104 leaves=0 coeff=0 equal=0 seconds=0.000879703
case=1407 t=12 d=0 p1=0 p2=0 nodes=152 leaves=0 coeff=0 equal=0 seconds=0.00564673
case=1411 t=12 d=4 p1=0 p2=0 nodes=1298066 leaves=0 coeff=0 equal=0 seconds=0.147444
case=1415 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156413
case=1419 t=12 d=5 p1=0 p2=1 nodes=27827 leaves=0 coeff=0 equal=0 seconds=0.00335625
case=1423 t=12 d=3 p1=0 p2=0 nodes=7823407 leaves=0 coeff=0 equal=0 seconds=1.71468
case=1427 t=12 d=0 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00165125
case=1431 t=12 d=4 p1=0 p2=1 nodes=74712 leaves=0 coeff=0 equal=0 seconds=0.0191045
case=1435 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00447252
case=1439 t=12 d=6 p1=0 p2=0 nodes=106 leaves=0 coeff=0 equal=0 seconds=0.000401303
case=1443 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000587193
case=1447 t=12 d=1 p1=0 p2=0 nodes=363 leaves=0 coeff=0 equal=0 seconds=0.00472787
case=1451 t=12 d=5 p1=0 p2=0 nodes=95769 leaves=0 coeff=0 equal=0 seconds=0.0731432
case=1455 t=12 d=2 p1=0 p2=1 nodes=50 leaves=0 coeff=0 equal=0 seconds=0.00105321
case=1459 t=12 d=0 p1=0 p2=0 nodes=4732 leaves=0 coeff=0 equal=0 seconds=0.00500059
case=1463 t=12 d=4 p1=0 p2=0 nodes=720243 leaves=0 coeff=0 equal=0 seconds=0.371751
case=1467 t=12 d=1 p1=0 p2=1 nodes=2104 leaves=0 coeff=0 equal=0 seconds=0.00159945
case=1471 t=12 d=5 p1=0 p2=1 nodes=9036 leaves=0 coeff=0 equal=0 seconds=0.00238502
case=1475 t=12 d=3 p1=0 p2=0 nodes=39068 leaves=0 coeff=0 equal=0 seconds=0.00604885
case=1479 t=12 d=0 p1=0 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00649316
case=1483 t=12 d=4 p1=0 p2=0 nodes=994341 leaves=0 coeff=0 equal=0 seconds=0.134197
case=1487 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00126819
case=1491 t=12 d=5 p1=0 p2=1 nodes=34113 leaves=0 coeff=0 equal=0 seconds=0.00418262
case=1495 t=12 d=3 p1=1 p2=0 nodes=174599 leaves=0 coeff=0 equal=0 seconds=0.020481
case=1499 t=12 d=1 p1=0 p2=0 nodes=44008 leaves=0 coeff=0 equal=0 seconds=0.00911013
case=1503 t=12 d=5 p1=0 p2=0 nodes=1000536 leaves=0 coeff=0 equal=0 seconds=0.147686
case=1507 t=12 d=2 p1=0 p2=1 nodes=388 leaves=0 coeff=0 equal=0 seconds=0.00110247
case=1511 t=12 d=0 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00564027
case=1515 t=12 d=4 p1=0 p2=0 nodes=3399864 leaves=0 coeff=0 equal=0 seconds=0.527603
case=1519 t=12 d=1 p1=0 p2=1 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00138372
case=1523 t=12 d=5 p1=0 p2=1 nodes=98156 leaves=0 coeff=0 equal=0 seconds=0.0142827
case=1527 t=12 d=3 p1=1 p2=0 nodes=699501 leaves=0 coeff=0 equal=0 seconds=0.0919146
case=1531 t=12 d=1 p1=0 p2=0 nodes=527986 leaves=0 coeff=0 equal=0 seconds=0.0573393
case=1535 t=12 d=5 p1=0 p2=0 nodes=3459641 leaves=0 coeff=0 equal=0 seconds=0.840877
case=1539 t=12 d=2 p1=0 p2=1 nodes=50616 leaves=0 coeff=0 equal=0 seconds=0.0066594
case=1543 t=12 d=0 p1=1 p2=0 nodes=34910 leaves=0 coeff=0 equal=0 seconds=0.00497009
case=1547 t=12 d=4 p1=1 p2=0 nodes=533331 leaves=0 coeff=0 equal=0 seconds=0.0844063
case=1551 t=12 d=2 p1=0 p2=0 nodes=17606548 leaves=0 coeff=0 equal=0 seconds=2.81267
case=1555 t=12 d=6 p1=0 p2=0 nodes=84017 leaves=0 coeff=0 equal=0 seconds=0.0255762
case=1559 t=12 d=3 p1=0 p2=1 nodes=1568796 leaves=0 coeff=0 equal=0 seconds=0.241048
case=1563 t=12 d=1 p1=1 p2=0 nodes=2879393 leaves=0 coeff=0 equal=0 seconds=0.431153
case=1567 t=12 d=5 p1=1 p2=0 nodes=94949 leaves=0 coeff=0 equal=0 seconds=0.0211783
case=1571 t=12 d=3 p1=0 p2=0 nodes=37549 leaves=0 coeff=0 equal=0 seconds=0.00757033
case=1575 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00737406
case=1579 t=12 d=4 p1=0 p2=0 nodes=981788 leaves=0 coeff=0 equal=0 seconds=0.161107
case=1583 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156044
case=1587 t=12 d=5 p1=0 p2=1 nodes=7874 leaves=0 coeff=0 equal=0 seconds=0.00113012
case=1591 t=12 d=3 p1=1 p2=0 nodes=9680 leaves=0 coeff=0 equal=0 seconds=0.00187227
case=1595 t=12 d=1 p1=0 p2=0 nodes=10368 leaves=0 coeff=0 equal=0 seconds=0.00526727
case=1599 t=12 d=5 p1=0 p2=0 nodes=1762608 leaves=0 coeff=0 equal=0 seconds=0.711442
case=1603 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00191666
case=1607 t=12 d=0 p1=0 p2=0 nodes=32 leaves=0 coeff=0 equal=0 seconds=0.00519845
case=1611 t=12 d=4 p1=0 p2=0 nodes=1381012 leaves=0 coeff=0 equal=0 seconds=0.167722
case=1615 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00153246
case=1619 t=12 d=5 p1=0 p2=1 nodes=11443 leaves=0 coeff=0 equal=0 seconds=0.00157432
case=1623 t=12 d=3 p1=0 p2=0 nodes=13604779 leaves=0 coeff=0 equal=0 seconds=3.09706
case=1627 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167051
case=1631 t=12 d=4 p1=0 p2=1 nodes=20033 leaves=0 coeff=0 equal=0 seconds=0.00351868
case=1635 t=12 d=2 p1=1 p2=0 nodes=26640 leaves=0 coeff=0 equal=0 seconds=0.00395503
case=1639 t=12 d=0 p1=0 p2=0 nodes=276 leaves=0 coeff=0 equal=0 seconds=0.00449992
case=1643 t=12 d=4 p1=0 p2=0 nodes=3118964 leaves=0 coeff=0 equal=0 seconds=0.591256
case=1647 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00144752
case=1651 t=12 d=5 p1=0 p2=1 nodes=37632 leaves=0 coeff=0 equal=0 seconds=0.00726015
case=1655 t=12 d=3 p1=1 p2=0 nodes=112363 leaves=0 coeff=0 equal=0 seconds=0.0296887
case=1659 t=12 d=1 p1=0 p2=0 nodes=900943 leaves=0 coeff=0 equal=0 seconds=0.0999447
case=1663 t=12 d=5 p1=0 p2=0 nodes=2282232 leaves=0 coeff=0 equal=0 seconds=1.04479
case=1667 t=12 d=2 p1=0 p2=1 nodes=2777 leaves=0 coeff=0 equal=0 seconds=0.00138218
case=1671 t=12 d=0 p1=0 p2=0 nodes=130064 leaves=0 coeff=0 equal=0 seconds=0.0162534
case=1675 t=12 d=4 p1=0 p2=0 nodes=14486521 leaves=0 coeff=0 equal=0 seconds=5.08997
case=1679 t=12 d=1 p1=0 p2=1 nodes=2870 leaves=0 coeff=0 equal=0 seconds=0.00179957
case=1683 t=12 d=5 p1=0 p2=1 nodes=61576 leaves=0 coeff=0 equal=0 seconds=0.0230796
case=1687 t=12 d=3 p1=1 p2=0 nodes=282063 leaves=0 coeff=0 equal=0 seconds=0.0923689
case=1691 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00468551
case=1695 t=12 d=5 p1=0 p2=0 nodes=670 leaves=0 coeff=0 equal=0 seconds=0.00109383
case=1699 t=12 d=2 p1=0 p2=0 nodes=63258 leaves=0 coeff=0 equal=0 seconds=0.0103408
case=1703 t=12 d=6 p1=0 p2=0 nodes=4569 leaves=0 coeff=0 equal=0 seconds=0.00190131
case=1707 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000742157
case=1711 t=12 d=1 p1=0 p2=0 nodes=885023 leaves=0 coeff=0 equal=0 seconds=0.103127
case=1715 t=12 d=5 p1=0 p2=0 nodes=753326 leaves=0 coeff=0 equal=0 seconds=0.369746
case=1719 t=12 d=2 p1=0 p2=1 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00103776
case=1723 t=12 d=0 p1=0 p2=0 nodes=18323960 leaves=0 coeff=0 equal=0 seconds=2.73215
case=1727 t=12 d=4 p1=0 p2=0 nodes=7935849 leaves=0 coeff=0 equal=0 seconds=3.56335
case=1731 t=12 d=1 p1=0 p2=1 nodes=156 leaves=0 coeff=0 equal=0 seconds=0.00115834
case=1735 t=12 d=5 p1=0 p2=1 nodes=25919 leaves=0 coeff=0 equal=0 seconds=0.0131838
case=1739 t=12 d=3 p1=0 p2=0 nodes=191794 leaves=0 coeff=0 equal=0 seconds=0.0266747
case=1743 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177657
case=1747 t=12 d=4 p1=1 p2=0 nodes=47793 leaves=0 coeff=0 equal=0 seconds=0.00568138
case=1751 t=12 d=2 p1=0 p2=0 nodes=57937 leaves=0 coeff=0 equal=0 seconds=0.00905185
case=1755 t=12 d=6 p1=0 p2=0 nodes=22950 leaves=0 coeff=0 equal=0 seconds=0.00937623
case=1759 t=12 d=3 p1=0 p2=0 nodes=4860065 leaves=0 coeff=0 equal=0 seconds=0.763124
case=1763 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00178948
case=1767 t=12 d=4 p1=0 p2=1 nodes=51087 leaves=0 coeff=0 equal=0 seconds=0.00869864
case=1771 t=12 d=2 p1=1 p2=0 nodes=50616 leaves=0 coeff=0 equal=0 seconds=0.00688654
case=1775 t=12 d=0 p1=0 p2=0 nodes=303 leaves=0 coeff=0 equal=0 seconds=0.00409255
case=1779 t=12 d=4 p1=0 p2=0 nodes=4651940 leaves=0 coeff=0 equal=0 seconds=0.944937
case=1783 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00133473
case=1787 t=12 d=5 p1=0 p2=1 nodes=37280 leaves=0 coeff=0 equal=0 seconds=0.00733612
case=1791 t=12 d=3 p1=1 p2=0 nodes=513168 leaves=0 coeff=0 equal=0 seconds=0.0600998
case=1795 t=12 d=1 p1=0 p2=0 nodes=16230 leaves=0 coeff=0 equal=0 seconds=0.00564767
case=1799 t=12 d=5 p1=0 p2=0 nodes=2131175 leaves=0 coeff=0 equal=0 seconds=0.986173
case=1803 t=12 d=2 p1=0 p2=1 nodes=14663 leaves=0 coeff=0 equal=0 seconds=0.00429851
case=1807 t=12 d=0 p1=1 p2=0 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00250202
case=1811 t=12 d=4 p1=1 p2=0 nodes=825719 leaves=0 coeff=0 equal=0 seconds=0.166995
case=1815 t=12 d=2 p1=0 p2=0 nodes=13215743 leaves=0 coeff=0 equal=0 seconds=2.10799
case=1819 t=12 d=6 p1=0 p2=0 nodes=99692 leaves=0 coeff=0 equal=0 seconds=0.0453558
case=1823 t=12 d=3 p1=0 p2=1 nodes=644915 leaves=0 coeff=0 equal=0 seconds=0.102283
case=1827 t=12 d=1 p1=1 p2=0 nodes=485671 leaves=0 coeff=0 equal=0 seconds=0.0526977
case=1831 t=12 d=5 p1=1 p2=0 nodes=124395 leaves=0 coeff=0 equal=0 seconds=0.0348393
case=1835 t=12 d=3 p1=0 p2=0 nodes=31949842 leaves=0 coeff=0 equal=0 seconds=6.24513
case=1839 t=12 d=1 p1=0 p2=1 nodes=566232 leaves=0 coeff=0 equal=0 seconds=0.0758048
case=1843 t=12 d=5 p1=0 p2=1 nodes=32209 leaves=0 coeff=0 equal=0 seconds=0.00919392
case=1847 t=12 d=3 p1=1 p2=0 nodes=3782925 leaves=0 coeff=0 equal=0 seconds=0.750885
case=1851 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.0040459
case=1855 t=12 d=5 p1=0 p2=0 nodes=27938 leaves=0 coeff=0 equal=0 seconds=0.00563152
case=1859 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112313
case=1863 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00411894
case=1867 t=12 d=4 p1=0 p2=0 nodes=757237 leaves=0 coeff=0 equal=0 seconds=0.114778
case=1871 t=12 d=1 p1=0 p2=0 nodes=72 leaves=0 coeff=0 equal=0 seconds=0.0037696
case=1875 t=12 d=5 p1=0 p2=0 nodes=107803 leaves=0 coeff=0 equal=0 seconds=0.0288876
case=1879 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00103995
case=1883 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00181503
case=1887 t=12 d=4 p1=1 p2=0 nodes=235421 leaves=0 coeff=0 equal=0 seconds=0.0762387
case=1891 t=12 d=2 p1=0 p2=0 nodes=2026833 leaves=0 coeff=0 equal=0 seconds=0.278624
case=1895 t=12 d=6 p1=0 p2=0 nodes=36803 leaves=0 coeff=0 equal=0 seconds=0.0224574
case=1899 t=12 d=3 p1=0 p2=1 nodes=1137 leaves=0 coeff=0 equal=0 seconds=0.00141282
case=1903 t=12 d=1 p1=1 p2=0 nodes=96 leaves=0 coeff=0 equal=0 seconds=0.00148775
case=1907 t=12 d=5 p1=1 p2=0 nodes=17926 leaves=0 coeff=0 equal=0 seconds=0.00540551
case=1911 t=12 d=3 p1=0 p2=0 nodes=11390684 leaves=0 coeff=0 equal=0 seconds=3.34101
case=1915 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00149993
case=1919 t=12 d=4 p1=0 p2=1 nodes=15093 leaves=0 coeff=0 equal=0 seconds=0.00228305
case=1923 t=12 d=2 p1=0 p2=0 nodes=18603827 leaves=0 coeff=0 equal=0 seconds=3.20195
case=1927 t=12 d=6 p1=0 p2=0 nodes=18627 leaves=0 coeff=0 equal=0 seconds=0.00777894
case=1931 t=12 d=3 p1=0 p2=1 nodes=97293 leaves=0 coeff=0 equal=0 seconds=0.0169249
case=1935 t=12 d=1 p1=1 p2=0 nodes=15768 leaves=0 coeff=0 equal=0 seconds=0.00300673
case=1939 t=12 d=5 p1=1 p2=0 nodes=23338 leaves=0 coeff=0 equal=0 seconds=0.00819099
case=1943 t=12 d=3 p1=0 p2=0 nodes=87036162 leaves=0 coeff=0 equal=0 seconds=33.5156
case=1947 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138668
case=1951 t=12 d=4 p1=0 p2=1 nodes=178990 leaves=0 coeff=0 equal=0 seconds=0.048179
case=1955 t=12 d=2 p1=1 p2=0 nodes=280107 leaves=0 coeff=0 equal=0 seconds=0.0333067
case=1959 t=12 d=0 p1=0 p2=0 nodes=45334653 leaves=0 coeff=0 equal=0 seconds=5.46606
case=1963 t=12 d=4 p1=0 p2=0 nodes=16751459 leaves=1056 coeff=0 equal=0 seconds=9.6616
case=1967 t=12 d=2 p1=0 p2=1 nodes=215173 leaves=0 coeff=0 equal=0 seconds=0.035019
case=1971 t=12 d=0 p1=1 p2=0 nodes=73437 leaves=0 coeff=0 equal=0 seconds=0.00808147
case=1975 t=12 d=4 p1=1 p2=0 nodes=561956 leaves=240 coeff=0 equal=0 seconds=0.320446
case=1979 t=12 d=2 p1=0 p2=0 nodes=87476 leaves=0 coeff=0 equal=0 seconds=0.0124951
case=1983 t=12 d=6 p1=0 p2=0 nodes=2209 leaves=0 coeff=0 equal=0 seconds=0.00208477
case=1987 t=12 d=3 p1=1 p2=0 nodes=130395 leaves=0 coeff=0 equal=0 seconds=0.0189937
case=1991 t=12 d=1 p1=0 p2=0 nodes=11907 leaves=0 coeff=0 equal=0 seconds=0.00437089
case=1995 t=12 d=5 p1=0 p2=0 nodes=373174 leaves=0 coeff=0 equal=0 seconds=0.204196
case=1999 t=12 d=2 p1=1 p2=0 nodes=36338 leaves=0 coeff=0 equal=0 seconds=0.00500279
case=2003 t=12 d=0 p1=0 p2=0 nodes=125 leaves=0 coeff=0 equal=0 seconds=0.00353749
case=2007 t=12 d=4 p1=0 p2=0 nodes=5625229 leaves=0 coeff=0 equal=0 seconds=1.37829
case=2011 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128877
case=2015 t=12 d=5 p1=0 p2=1 nodes=7383 leaves=0 coeff=0 equal=0 seconds=0.00296538
case=2019 t=12 d=3 p1=1 p2=0 nodes=2367821 leaves=0 coeff=0 equal=0 seconds=0.457617
case=2023 t=12 d=1 p1=0 p2=0 nodes=3345824 leaves=0 coeff=0 equal=0 seconds=0.471358
case=2027 t=12 d=5 p1=0 p2=0 nodes=1637439 leaves=0 coeff=0 equal=0 seconds=0.851975
case=2031 t=12 d=2 p1=0 p2=1 nodes=1117 leaves=0 coeff=0 equal=0 seconds=0.00104031
case=2035 t=12 d=0 p1=1 p2=0 nodes=55 leaves=0 coeff=0 equal=0 seconds=0.00149369
case=2039 t=12 d=4 p1=1 p2=0 nodes=469458 leaves=0 coeff=0 equal=0 seconds=0.12476
case=2043 t=12 d=2 p1=0 p2=0 nodes=25137114 leaves=0 coeff=0 equal=0 seconds=5.42149
case=2047 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00142996
case=2051 t=12 d=4 p1=0 p2=1 nodes=277757 leaves=0 coeff=0 equal=0 seconds=0.0772124
case=2055 t=12 d=2 p1=1 p2=0 nodes=5621137 leaves=0 coeff=0 equal=0 seconds=0.99234
case=2059 t=12 d=0 p1=0 p2=0 nodes=17189048 leaves=0 coeff=0 equal=0 seconds=2.07338
case=2063 t=12 d=4 p1=0 p2=0 nodes=16924469 leaves=960 coeff=0 equal=0 seconds=7.67417
case=2067 t=12 d=2 p1=0 p2=1 nodes=468219 leaves=0 coeff=0 equal=0 seconds=0.0731201
case=2071 t=12 d=0 p1=1 p2=0 nodes=58325 leaves=0 coeff=0 equal=0 seconds=0.00659772
case=2075 t=12 d=4 p1=1 p2=0 nodes=925366 leaves=144 coeff=0 equal=0 seconds=0.332926
case=2079 t=12 d=2 p1=0 p2=0 nodes=132777423 leaves=0 coeff=0 equal=0 seconds=32.1331
case=2083 t=12 d=1 p1=0 p2=1 nodes=991998 leaves=0 coeff=0 equal=0 seconds=0.151694
case=2087 t=12 d=0 p1=1 p2=0 nodes=11244885 leaves=0 coeff=0 equal=0 seconds=1.45872
case=2091 t=12 d=4 p1=1 p2=0 nodes=241646 leaves=384 coeff=0 equal=0 seconds=0.191472
case=2095 t=12 d=3 p1=0 p2=0 nodes=3755221 leaves=0 coeff=0 equal=0 seconds=0.839762
case=2099 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0014703
case=2103 t=12 d=4 p1=1 p2=0 nodes=79882 leaves=0 coeff=0 equal=0 seconds=0.0265541
case=2107 t=12 d=2 p1=0 p2=0 nodes=30901123 leaves=0 coeff=0 equal=0 seconds=5.85375
case=2111 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00127926
case=2115 t=12 d=4 p1=0 p2=1 nodes=134482 leaves=0 coeff=0 equal=0 seconds=0.0395366
case=2119 t=12 d=2 p1=1 p2=0 nodes=5979515 leaves=0 coeff=0 equal=0 seconds=1.15242
case=2123 t=12 d=0 p1=0 p2=0 nodes=23511737 leaves=0 coeff=0 equal=0 seconds=3.01737
case=2127 t=12 d=4 p1=0 p2=0 nodes=3566103 leaves=108 coeff=0 equal=0 seconds=1.22524
case=2131 t=12 d=3 p1=0 p2=1 nodes=1404932 leaves=0 coeff=0 equal=0 seconds=0.454868
case=2135 t=12 d=2 p1=1 p2=0 nodes=17279367 leaves=12 coeff=0 equal=0 seconds=4.73469
case=2139 t=12 d=1 p1=0 p2=0 nodes=120356498 leaves=0 coeff=0 equal=0 seconds=24.7542
case=2143 t=12 d=1 p1=0 p2=1 nodes=6390571 leaves=0 coeff=0 equal=0 seconds=1.28786
case=2147 t=12 d=1 p1=1 p2=0 nodes=39609917 leaves=4 coeff=0 equal=0 seconds=8.17648
case=2151 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00249591
case=2155 t=13 d=5 p1=0 p2=0 nodes=34524 leaves=0 coeff=0 equal=0 seconds=0.00317521
case=2159 t=13 d=2 p1=0 p2=0 nodes=173932 leaves=0 coeff=0 equal=0 seconds=0.0194333
case=2163 t=13 d=6 p1=0 p2=0 nodes=165240 leaves=0 coeff=0 equal=0 seconds=0.0206827
case=2167 t=13 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00106997
case=2171 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000745392
case=2175 t=13 d=4 p1=1 p2=0 nodes=22973 leaves=0 coeff=0 equal=0 seconds=0.00228395
case=2179 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00438401
case=2183 t=13 d=5 p1=0 p2=0 nodes=238211 leaves=0 coeff=0 equal=0 seconds=0.0244013
case=2187 t=13 d=2 p1=0 p2=0 nodes=173932 leaves=0 coeff=0 equal=0 seconds=0.019506
case=2191 t=13 d=6 p1=0 p2=0 nodes=581364 leaves=0 coeff=0 equal=0 seconds=0.115461
case=2195 t=13 d=3 p1=1 p2=0 nodes=415138 leaves=0 coeff=0 equal=0 seconds=0.0442143
case=2199 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00557334
case=2203 t=13 d=4 p1=0 p2=0 nodes=13515 leaves=0 coeff=0 equal=0 seconds=0.00245089
case=2207 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00475838
case=2211 t=13 d=5 p1=0 p2=0 nodes=57065 leaves=0 coeff=0 equal=0 seconds=0.00660145
case=2215 t=13 d=2 p1=0 p2=0 nodes=276735 leaves=0 coeff=0 equal=0 seconds=0.0285327
case=2219 t=13 d=6 p1=0 p2=0 nodes=416933 leaves=0 coeff=0 equal=0 seconds=0.156787
case=2223 t=13 d=3 p1=0 p2=0 nodes=3492 leaves=0 coeff=0 equal=0 seconds=0.00201016
case=2227 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011525
case=2231 t=13 d=4 p1=1 p2=0 nodes=51466 leaves=0 coeff=0 equal=0 seconds=0.0057919
case=2235 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0034441
case=2239 t=13 d=5 p1=0 p2=0 nodes=792558 leaves=0 coeff=0 equal=0 seconds=0.116037
case=2243 t=13 d=2 p1=1 p2=0 nodes=22552 leaves=0 coeff=0 equal=0 seconds=0.00328908
case=2247 t=13 d=6 p1=1 p2=0 nodes=6805 leaves=0 coeff=0 equal=0 seconds=0.000962067
case=2251 t=13 d=3 p1=0 p2=0 nodes=5702381 leaves=0 coeff=0 equal=0 seconds=0.718433
case=2255 t=13 d=0 p1=1 p2=0 nodes=56 leaves=0 coeff=0 equal=0 seconds=0.00139884
case=2259 t=13 d=4 p1=1 p2=0 nodes=649157 leaves=0 coeff=0 equal=0 seconds=0.0960155
case=2263 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00387088
case=2267 t=13 d=5 p1=0 p2=0 nodes=167064 leaves=0 coeff=0 equal=0 seconds=0.0382293
case=2271 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000883038
case=2275 t=13 d=6 p1=1 p2=0 nodes=667 leaves=0 coeff=0 equal=0 seconds=0.000173151
case=2279 t=13 d=3 p1=0 p2=0 nodes=1641403 leaves=0 coeff=0 equal=0 seconds=0.242864
case=2283 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00265718
case=2287 t=13 d=4 p1=0 p2=0 nodes=36183881 leaves=0 coeff=0 equal=0 seconds=10.9145
case=2291 t=13 d=1 p1=1 p2=0 nodes=6624 leaves=0 coeff=0 equal=0 seconds=0.00174669
case=2295 t=13 d=5 p1=1 p2=0 nodes=111059 leaves=0 coeff=0 equal=0 seconds=0.0296268
case=2299 t=13 d=2 p1=0 p2=0 nodes=3487 leaves=0 coeff=0 equal=0 seconds=0.00315977
case=2303 t=13 d=6 p1=0 p2=0 nodes=22239 leaves=0 coeff=0 equal=0 seconds=0.00527386
case=2307 t=13 d=3 p1=1 p2=0 nodes=59091 leaves=0 coeff=0 equal=0 seconds=0.00841287
case=2311 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00353292
case=2315 t=13 d=4 p1=0 p2=0 nodes=7771635 leaves=0 coeff=0 equal=0 seconds=1.44405
case=2319 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138712
case=2323 t=13 d=5 p1=1 p2=0 nodes=64399 leaves=0 coeff=0 equal=0 seconds=0.0160054
case=2327 t=13 d=2 p1=0 p2=0 nodes=38444855 leaves=0 coeff=0 equal=0 seconds=5.00075
case=2331 t=13 d=6 p1=0 p2=0 nodes=736848 leaves=0 coeff=0 equal=0 seconds=0.304374
case=2335 t=13 d=3 p1=1 p2=0 nodes=4214665 leaves=0 coeff=0 equal=0 seconds=0.694827
case=2339 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0029973
case=2343 t=13 d=4 p1=0 p2=0 nodes=8879454 leaves=0 coeff=0 equal=0 seconds=1.63227
case=2347 t=13 d=1 p1=1 p2=0 nodes=6510 leaves=0 coeff=0 equal=0 seconds=0.00184809
case=2351 t=13 d=5 p1=1 p2=0 nodes=79604 leaves=0 coeff=0 equal=0 seconds=0.0182152
case=2355 t=13 d=2 p1=0 p2=0 nodes=54257224 leaves=0 coeff=0 equal=0 seconds=7.62189
case=2359 t=13 d=6 p1=0 p2=0 nodes=229519 leaves=0 coeff=0 equal=0 seconds=0.057324
case=2363 t=13 d=3 p1=1 p2=0 nodes=8107611 leaves=0 coeff=0 equal=0 seconds=1.62989
case=2367 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00471054
case=2371 t=13 d=4 p1=0 p2=0 nodes=461693 leaves=0 coeff=0 equal=0 seconds=0.0458395
case=2375 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000639002
case=2379 t=13 d=5 p1=0 p2=1 nodes=12171 leaves=0 coeff=0 equal=0 seconds=0.00120053
case=2383 t=13 d=2 p1=0 p2=0 nodes=1997179 leaves=0 coeff=0 equal=0 seconds=0.199293
case=2387 t=13 d=6 p1=0 p2=0 nodes=421984 leaves=0 coeff=0 equal=0 seconds=0.055473
case=2391 t=13 d=3 p1=0 p2=1 nodes=242662 leaves=0 coeff=0 equal=0 seconds=0.0252992
case=2395 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00526608
case=2399 t=13 d=4 p1=0 p2=0 nodes=191787 leaves=0 coeff=0 equal=0 seconds=0.0192564
case=2403 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00436684
case=2407 t=13 d=5 p1=0 p2=0 nodes=1220504 leaves=0 coeff=0 equal=0 seconds=0.149904
case=2411 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000687234
case=2415 t=13 d=6 p1=0 p2=1 nodes=17866 leaves=0 coeff=0 equal=0 seconds=0.00182299
case=2419 t=13 d=3 p1=1 p2=0 nodes=242662 leaves=0 coeff=0 equal=0 seconds=0.0248627
case=2423 t=13 d=0 p1=0 p2=0 nodes=307 leaves=0 coeff=0 equal=0 seconds=0.00446849
case=2427 t=13 d=4 p1=0 p2=0 nodes=2803042 leaves=0 coeff=0 equal=0 seconds=0.304589
case=2431 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0012266
case=2435 t=13 d=5 p1=0 p2=1 nodes=54065 leaves=0 coeff=0 equal=0 seconds=0.00585784
case=2439 t=13 d=2 p1=0 p2=0 nodes=2112213 leaves=0 coeff=0 equal=0 seconds=0.220357
case=2443 t=13 d=6 p1=0 p2=0 nodes=1346348 leaves=0 coeff=0 equal=0 seconds=0.306533
case=2447 t=13 d=3 p1=0 p2=1 nodes=503566 leaves=0 coeff=0 equal=0 seconds=0.0627439
case=2451 t=13 d=0 p1=1 p2=0 nodes=87485 leaves=0 coeff=0 equal=0 seconds=0.00903156
case=2455 t=13 d=4 p1=1 p2=0 nodes=472751 leaves=0 coeff=0 equal=0 seconds=0.0635623
case=2459 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00455082
case=2463 t=13 d=5 p1=0 p2=0 nodes=209991 leaves=0 coeff=0 equal=0 seconds=0.0267781
case=2467 t=13 d=2 p1=0 p2=0 nodes=58497 leaves=0 coeff=0 equal=0 seconds=0.00846175
case=2471 t=13 d=6 p1=0 p2=0 nodes=37787 leaves=0 coeff=0 equal=0 seconds=0.00564007
case=2475 t=13 d=3 p1=0 p2=1 nodes=216 leaves=0 coeff=0 equal=0 seconds=0.00051884
case=2479 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00410328
case=2483 t=13 d=4 p1=0 p2=0 nodes=1282714 leaves=0 coeff=0 equal=0 seconds=0.135697
case=2487 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0012409
case=2491 t=13 d=5 p1=0 p2=1 nodes=20034 leaves=0 coeff=0 equal=0 seconds=0.00231829
case=2495 t=13 d=2 p1=0 p2=0 nodes=3014906 leaves=0 coeff=0 equal=0 seconds=0.435061
case=2499 t=13 d=6 p1=0 p2=0 nodes=889679 leaves=0 coeff=0 equal=0 seconds=0.40955
case=2503 t=13 d=3 p1=0 p2=1 nodes=50271 leaves=0 coeff=0 equal=0 seconds=0.00588483
case=2507 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00467787
case=2511 t=13 d=4 p1=0 p2=0 nodes=1343108 leaves=0 coeff=0 equal=0 seconds=0.23176
case=2515 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00121794
case=2519 t=13 d=5 p1=1 p2=0 nodes=54065 leaves=0 coeff=0 equal=0 seconds=0.00581442
case=2523 t=13 d=2 p1=0 p2=0 nodes=161122 leaves=0 coeff=0 equal=0 seconds=0.0191155
case=2527 t=13 d=6 p1=0 p2=0 nodes=236116 leaves=0 coeff=0 equal=0 seconds=0.0580821
case=2531 t=13 d=3 p1=0 p2=0 nodes=4207894 leaves=0 coeff=0 equal=0 seconds=0.578565
case=2535 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00133367
case=2539 t=13 d=4 p1=0 p2=1 nodes=151019 leaves=0 coeff=0 equal=0 seconds=0.0189952
case=2543 t=13 d=1 p1=1 p2=0 nodes=4144 leaves=0 coeff=0 equal=0 seconds=0.00167833
case=2547 t=13 d=5 p1=1 p2=0 nodes=245608 leaves=0 coeff=0 equal=0 seconds=0.033822
case=2551 t=13 d=2 p1=0 p2=0 nodes=1605714 leaves=0 coeff=0 equal=0 seconds=0.187212
case=2555 t=13 d=6 p1=0 p2=0 nodes=1696997 leaves=0 coeff=0 equal=0 seconds=0.647453
case=2559 t=13 d=3 p1=0 p2=1 nodes=68112 leaves=0 coeff=0 equal=0 seconds=0.00785569
case=2563 t=13 d=0 p1=1 p2=0 nodes=52 leaves=0 coeff=0 equal=0 seconds=0.00131989
case=2567 t=13 d=4 p1=1 p2=0 nodes=568812 leaves=0 coeff=0 equal=0 seconds=0.0722212
case=2571 t=13 d=1 p1=0 p2=0 nodes=400810 leaves=0 coeff=0 equal=0 seconds=0.0444636
case=2575 t=13 d=5 p1=0 p2=0 nodes=10852939 leaves=0 coeff=0 equal=0 seconds=3.12873
case=2579 t=13 d=2 p1=0 p2=1 nodes=310498 leaves=0 coeff=0 equal=0 seconds=0.0385782
case=2583 t=13 d=6 p1=0 p2=1 nodes=90869 leaves=0 coeff=0 equal=0 seconds=0.0161171
case=2587 t=13 d=3 p1=1 p2=0 nodes=2896951 leaves=0 coeff=0 equal=0 seconds=0.422809
case=2591 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00420575
case=2595 t=13 d=4 p1=0 p2=0 nodes=184721 leaves=0 coeff=0 equal=0 seconds=0.0212128
case=2599 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00131095
case=2603 t=13 d=5 p1=1 p2=0 nodes=2373 leaves=0 coeff=0 equal=0 seconds=0.000514013
case=2607 t=13 d=2 p1=0 p2=0 nodes=262410 leaves=0 coeff=0 equal=0 seconds=0.0289463
case=2611 t=13 d=6 p1=0 p2=0 nodes=144471 leaves=0 coeff=0 equal=0 seconds=0.0357259
case=2615 t=13 d=3 p1=0 p2=0 nodes=5544103 leaves=0 coeff=0 equal=0 seconds=0.820795
case=2619 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0013681
case=2623 t=13 d=4 p1=0 p2=1 nodes=70181 leaves=0 coeff=0 equal=0 seconds=0.0121821
case=2627 t=13 d=1 p1=1 p2=0 nodes=342 leaves=0 coeff=0 equal=0 seconds=0.00118446
case=2631 t=13 d=5 p1=1 p2=0 nodes=79177 leaves=0 coeff=0 equal=0 seconds=0.0183378
case=2635 t=13 d=2 p1=0 p2=0 nodes=14280103 leaves=0 coeff=0 equal=0 seconds=2.61482
case=2639 t=13 d=6 p1=0 p2=0 nodes=864025 leaves=0 coeff=0 equal=0 seconds=0.355888
case=2643 t=13 d=3 p1=0 p2=1 nodes=10564 leaves=0 coeff=0 equal=0 seconds=0.00170547
case=2647 t=13 d=0 p1=0 p2=0 nodes=101297 leaves=0 coeff=0 equal=0 seconds=0.0107244
case=2651 t=13 d=4 p1=0 p2=0 nodes=60200566 leaves=0 coeff=0 equal=0 seconds=25.8564
case=2655 t=13 d=1 p1=0 p2=1 nodes=61 leaves=0 coeff=0 equal=0 seconds=0.000926544
case=2659 t=13 d=5 p1=0 p2=1 nodes=336821 leaves=180 coeff=0 equal=0 seconds=0.132969
case=2663 t=13 d=2 p1=1 p2=0 nodes=397827 leaves=0 coeff=0 equal=0 seconds=0.0448699
case=2667 t=13 d=6 p1=1 p2=0 nodes=32371 leaves=0 coeff=0 equal=0 seconds=0.0101641
case=2671 t=13 d=3 p1=0 p2=0 nodes=1149276 leaves=0 coeff=0 equal=0 seconds=0.152185
case=2675 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138635
case=2679 t=13 d=4 p1=1 p2=0 nodes=575024 leaves=0 coeff=0 equal=0 seconds=0.118315
case=2683 t=13 d=1 p1=0 p2=0 nodes=44609 leaves=0 coeff=0 equal=0 seconds=0.00684087
case=2687 t=13 d=5 p1=0 p2=0 nodes=2307296 leaves=0 coeff=0 equal=0 seconds=0.93601
case=2691 t=13 d=2 p1=1 p2=0 nodes=75932 leaves=0 coeff=0 equal=0 seconds=0.00833494
case=2695 t=13 d=6 p1=1 p2=0 nodes=9681 leaves=0 coeff=0 equal=0 seconds=0.00251957
case=2699 t=13 d=3 p1=0 p2=0 nodes=13207653 leaves=0 coeff=0 equal=0 seconds=2.25689
case=2703 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125332
case=2707 t=13 d=4 p1=0 p2=1 nodes=740241 leaves=0 coeff=0 equal=0 seconds=0.114667
case=2711 t=13 d=1 p1=1 p2=0 nodes=30582 leaves=0 coeff=0 equal=0 seconds=0.00404391
case=2715 t=13 d=5 p1=1 p2=0 nodes=117187 leaves=0 coeff=0 equal=0 seconds=0.0292591
case=2719 t=13 d=2 p1=0 p2=0 nodes=52502548 leaves=0 coeff=0 equal=0 seconds=8.64746
case=2723 t=13 d=6 p1=0 p2=0 nodes=1794475 leaves=0 coeff=0 equal=0 seconds=0.845832
case=2727 t=13 d=3 p1=0 p2=1 nodes=295410 leaves=0 coeff=0 equal=0 seconds=0.0395257
case=2731 t=13 d=0 p1=1 p2=0 nodes=122 leaves=0 coeff=0 equal=0 seconds=0.00120464
case=2735 t=13 d=4 p1=1 p2=0 nodes=1551237 leaves=684 coeff=0 equal=0 seconds=0.510433
case=2739 t=13 d=1 p1=0 p2=0 nodes=76031381 leaves=0 coeff=0 equal=0 seconds=11.2183
case=2743 t=13 d=5 p1=0 p2=0 nodes=11383797 leaves=4380 coeff=0 equal=0 seconds=6.70612
case=2747 t=13 d=2 p1=0 p2=1 nodes=1821028 leaves=0 coeff=0 equal=0 seconds=0.254906
case=2751 t=13 d=6 p1=0 p2=1 nodes=34104 leaves=0 coeff=0 equal=0 seconds=0.00892754
case=2755 t=13 d=3 p1=1 p2=0 nodes=8573693 leaves=1494 coeff=0 equal=0 seconds=1.98065
case=2759 t=13 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00225244
case=2763 t=13 d=4 p1=0 p2=0 nodes=9849326 leaves=0 coeff=0 equal=0 seconds=1.91504
case=2767 t=13 d=1 p1=1 p2=0 nodes=11850 leaves=0 coeff=0 equal=0 seconds=0.00227093
case=2771 t=13 d=5 p1=1 p2=0 nodes=99912 leaves=0 coeff=0 equal=0 seconds=0.0283317
case=2775 t=13 d=2 p1=0 p2=0 nodes=92324346 leaves=0 coeff=0 equal=0 seconds=15.8356
case=2779 t=13 d=6 p1=0 p2=0 nodes=694494 leaves=0 coeff=0 equal=0 seconds=0.216546
case=2783 t=13 d=3 p1=0 p2=1 nodes=3233082 leaves=0 coeff=0 equal=0 seconds=0.757934
case=2787 t=13 d=0 p1=1 p2=0 nodes=24131 leaves=0 coeff=0 equal=0 seconds=0.00323077
case=2791 t=13 d=4 p1=1 p2=0 nodes=2972211 leaves=876 coeff=0 equal=0 seconds=1.40803
case=2795 t=13 d=1 p1=0 p2=0 nodes=112966718 leaves=0 coeff=0 equal=0 seconds=19.6023
case=2799 t=13 d=5 p1=0 p2=0 nodes=4474465 leaves=930 coeff=0 equal=0 seconds=1.40666
case=2803 t=13 d=2 p1=0 p2=1 nodes=12842978 leaves=0 coeff=0 equal=0 seconds=2.23182
case=2807 t=13 d=6 p1=0 p2=1 nodes=5316 leaves=0 coeff=0 equal=0 seconds=0.00146154
case=2811 t=13 d=3 p1=1 p2=0 nodes=13282987 leaves=879 coeff=0 equal=0 seconds=3.36594
case=2815 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00451095
case=2819 t=14 d=4 p1=0 p2=0 nodes=198379 leaves=0 coeff=0 equal=0 seconds=0.0190504
case=2823 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00350898
case=2827 t=14 d=4 p1=0 p2=0 nodes=2452580 leaves=0 coeff=0 equal=0 seconds=0.245146
case=2831 t=14 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111496
case=2835 t=14 d=4 p1=0 p2=1 nodes=106593 leaves=0 coeff=0 equal=0 seconds=0.0110083
case=2839 t=14 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00307764
case=2843 t=14 d=5 p1=0 p2=0 nodes=1775735 leaves=0 coeff=0 equal=0 seconds=0.503518
case=2847 t=14 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000965643
case=2851 t=14 d=5 p1=1 p2=0 nodes=40339 leaves=0 coeff=0 equal=0 seconds=0.00502354
case=2855 t=14 d=2 p1=0 p2=0 nodes=447546 leaves=0 coeff=0 equal=0 seconds=0.105911
case=2859 t=14 d=6 p1=0 p2=0 nodes=378056 leaves=0 coeff=0 equal=0 seconds=0.115518
case=2863 t=14 d=2 p1=0 p2=0 nodes=829048 leaves=0 coeff=0 equal=0 seconds=0.100049
case=2867 t=14 d=6 p1=0 p2=0 nodes=1806017 leaves=0 coeff=0 equal=0 seconds=0.669328
case=2871 t=14 d=2 p1=0 p2=1 nodes=9694 leaves=0 coeff=0 equal=0 seconds=0.00155799
case=2875 t=14 d=6 p1=0 p2=1 nodes=45795 leaves=0 coeff=0 equal=0 seconds=0.00624195
case=2879 t=14 d=3 p1=1 p2=0 nodes=992056 leaves=0 coeff=0 equal=0 seconds=0.110483
case=2883 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00285405
case=2887 t=14 d=4 p1=0 p2=0 nodes=1361003 leaves=0 coeff=0 equal=0 seconds=0.143891
case=2891 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00181894
case=2895 t=14 d=4 p1=0 p2=0 nodes=17798536 leaves=0 coeff=0 equal=0 seconds=4.71686
case=2899 t=14 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010235
case=2903 t=14 d=4 p1=0 p2=1 nodes=54581 leaves=0 coeff=0 equal=0 seconds=0.00714103
case=2907 t=14 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00202787
case=2911 t=14 d=5 p1=0 p2=0 nodes=1321526 leaves=0 coeff=0 equal=0 seconds=0.219604
case=2915 t=14 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00085036
case=2919 t=14 d=5 p1=1 p2=0 nodes=48584 leaves=0 coeff=0 equal=0 seconds=0.00764682
case=2923 t=14 d=2 p1=0 p2=0 nodes=2929884 leaves=0 coeff=0 equal=0 seconds=0.342293
case=2927 t=14 d=6 p1=0 p2=0 nodes=1187105 leaves=0 coeff=0 equal=0 seconds=0.475993
case=2931 t=14 d=2 p1=1 p2=0 nodes=223827 leaves=0 coeff=0 equal=0 seconds=0.0232648
case=2935 t=14 d=6 p1=1 p2=0 nodes=37191 leaves=0 coeff=0 equal=0 seconds=0.00674901
case=2939 t=14 d=3 p1=0 p2=0 nodes=112300440 leaves=0 coeff=0 equal=0 seconds=20.1759
case=2943 t=14 d=7 p1=0 p2=0 nodes=592609 leaves=0 coeff=0 equal=0 seconds=0.220781
case=2947 t=14 d=3 p1=0 p2=1 nodes=810139 leaves=0 coeff=0 equal=0 seconds=0.116025
case=2951 t=14 d=0 p1=1 p2=0 nodes=503 leaves=0 coeff=0 equal=0 seconds=0.00087741
case=2955 t=14 d=4 p1=1 p2=0 nodes=1795735 leaves=3492 coeff=0 equal=0 seconds=1.34611
case=2959 t=14 d=1 p1=0 p2=0 nodes=203982 leaves=0 coeff=0 equal=0 seconds=0.0204239
case=2963 t=14 d=5 p1=0 p2=0 nodes=10094183 leaves=0 coeff=0 equal=0 seconds=2.00702
case=2967 t=14 d=1 p1=1 p2=0 nodes=48449 leaves=0 coeff=0 equal=0 seconds=0.00585914
case=2971 t=14 d=5 p1=1 p2=0 nodes=317035 leaves=1080 coeff=0 equal=0 seconds=0.321182
case=2975 t=14 d=2 p1=0 p2=0 nodes=101231281 leaves=0 coeff=0 equal=0 seconds=15.6484
case=2979 t=14 d=6 p1=0 p2=0 nodes=3829290 leaves=1530 coeff=0 equal=0 seconds=1.6434
case=2983 t=14 d=2 p1=0 p2=1 nodes=3582492 leaves=0 coeff=0 equal=0 seconds=0.560368
case=2987 t=14 d=6 p1=0 p2=1 nodes=87216 leaves=0 coeff=0 equal=0 seconds=0.0529716
case=2991 t=14 d=3 p1=1 p2=0 nodes=17983726 leaves=3648 coeff=0 equal=0 seconds=6.22038
case=2995 t=15 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.21e-07
case=2999 t=15 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=3003 t=15 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=3007 t=15 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=3011 t=15 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.1e-07
case=3015 t=15 d=4 p1=1 p2=0 nodes=275601 leaves=0 coeff=0 equal=0 seconds=0.033547
case=3019 t=15 d=0 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=8.91e-07
case=3023 t=15 d=4 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.41e-07
case=3027 t=15 d=0 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.21e-07
case=3031 t=15 d=4 p1=1 p2=0 nodes=1189408 leaves=3384 coeff=0 equal=0 seconds=1.74184
COMPLETE cases=758 nodes=2348812898 leaves=25681 coeff=0 endpoint_pass=25681 inconsistent=25669 boundsbad=12 rankbad=0 equal=0 found=0