case=0 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00102698
case=4 t=12 d=4 p1=0 p2=0 nodes=50 leaves=0 coeff=0 equal=0 seconds=0.000174853
case=8 t=12 d=1 p1=0 p2=0 nodes=8199 leaves=0 coeff=0 equal=0 seconds=0.00692164
case=12 t=12 d=5 p1=0 p2=0 nodes=120219 leaves=0 coeff=0 equal=0 seconds=0.0143594
case=16 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000807885
case=20 t=12 d=6 p1=0 p2=0 nodes=8817 leaves=0 coeff=0 equal=0 seconds=0.000929228
case=24 t=12 d=3 p1=1 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000124708
case=28 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00749169
case=32 t=12 d=5 p1=0 p2=0 nodes=36575 leaves=0 coeff=0 equal=0 seconds=0.00450275
case=36 t=12 d=2 p1=0 p2=0 nodes=113957 leaves=0 coeff=0 equal=0 seconds=0.0157743
case=40 t=12 d=6 p1=0 p2=0 nodes=100872 leaves=0 coeff=0 equal=0 seconds=0.0190205
case=44 t=12 d=3 p1=1 p2=0 nodes=105755 leaves=0 coeff=0 equal=0 seconds=0.0122214
case=48 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00300079
case=52 t=12 d=5 p1=0 p2=0 nodes=4055 leaves=0 coeff=0 equal=0 seconds=0.000946173
case=56 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00471662
case=60 t=12 d=6 p1=0 p2=0 nodes=514 leaves=0 coeff=0 equal=0 seconds=0.000316326
case=64 t=12 d=3 p1=0 p2=0 nodes=399508 leaves=0 coeff=0 equal=0 seconds=0.0776241
case=68 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00952602
case=72 t=12 d=4 p1=0 p2=0 nodes=234 leaves=0 coeff=0 equal=0 seconds=0.00129509
case=76 t=12 d=1 p1=0 p2=0 nodes=872 leaves=0 coeff=0 equal=0 seconds=0.00745158
case=80 t=12 d=5 p1=0 p2=0 nodes=70672 leaves=0 coeff=0 equal=0 seconds=0.0411122
case=84 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00155633
case=88 t=12 d=6 p1=0 p2=0 nodes=18741 leaves=0 coeff=0 equal=0 seconds=0.00226547
case=92 t=12 d=3 p1=1 p2=0 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000176525
case=96 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00606965
case=100 t=12 d=5 p1=0 p2=0 nodes=71261 leaves=0 coeff=0 equal=0 seconds=0.0102544
case=104 t=12 d=2 p1=1 p2=0 nodes=4465 leaves=0 coeff=0 equal=0 seconds=0.0017649
case=108 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00583402
case=112 t=12 d=4 p1=0 p2=0 nodes=2218484 leaves=0 coeff=0 equal=0 seconds=0.330915
case=116 t=12 d=1 p1=1 p2=0 nodes=53994 leaves=0 coeff=0 equal=0 seconds=0.00818381
case=120 t=12 d=5 p1=1 p2=0 nodes=33494 leaves=0 coeff=0 equal=0 seconds=0.00619372
case=124 t=12 d=3 p1=0 p2=0 nodes=230 leaves=0 coeff=0 equal=0 seconds=0.00160696
case=128 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111789
case=132 t=12 d=4 p1=1 p2=0 nodes=139 leaves=0 coeff=0 equal=0 seconds=0.000184908
case=136 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00399066
case=140 t=12 d=6 p1=0 p2=0 nodes=514 leaves=0 coeff=0 equal=0 seconds=0.000441995
case=144 t=12 d=3 p1=1 p2=0 nodes=717 leaves=0 coeff=0 equal=0 seconds=0.000610479
case=148 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0054986
case=152 t=12 d=5 p1=0 p2=0 nodes=48442 leaves=0 coeff=0 equal=0 seconds=0.0119337
case=156 t=12 d=2 p1=0 p2=0 nodes=371695 leaves=0 coeff=0 equal=0 seconds=0.0549364
case=160 t=12 d=6 p1=0 p2=0 nodes=85158 leaves=0 coeff=0 equal=0 seconds=0.0494542
case=164 t=12 d=3 p1=1 p2=0 nodes=32138 leaves=0 coeff=0 equal=0 seconds=0.00520643
case=168 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00554988
case=172 t=12 d=5 p1=0 p2=0 nodes=4386 leaves=0 coeff=0 equal=0 seconds=0.00177784
case=176 t=12 d=2 p1=0 p2=0 nodes=4704393 leaves=0 coeff=0 equal=0 seconds=0.824961
case=180 t=12 d=6 p1=0 p2=0 nodes=20185 leaves=0 coeff=0 equal=0 seconds=0.0105121
case=184 t=12 d=3 p1=0 p2=0 nodes=230 leaves=0 coeff=0 equal=0 seconds=0.00135734
case=188 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00091161
case=192 t=12 d=4 p1=1 p2=0 nodes=8237 leaves=0 coeff=0 equal=0 seconds=0.00118583
case=196 t=12 d=2 p1=0 p2=0 nodes=99 leaves=0 coeff=0 equal=0 seconds=0.00386601
case=200 t=12 d=6 p1=0 p2=0 nodes=10286 leaves=0 coeff=0 equal=0 seconds=0.00316731
case=204 t=12 d=3 p1=1 p2=0 nodes=18571 leaves=0 coeff=0 equal=0 seconds=0.00293081
case=208 t=12 d=1 p1=0 p2=0 nodes=18739 leaves=0 coeff=0 equal=0 seconds=0.00653018
case=212 t=12 d=5 p1=0 p2=0 nodes=709809 leaves=0 coeff=0 equal=0 seconds=0.17478
case=216 t=12 d=2 p1=1 p2=0 nodes=636336 leaves=0 coeff=0 equal=0 seconds=0.0882045
case=220 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00665791
case=224 t=12 d=4 p1=0 p2=0 nodes=28067 leaves=0 coeff=0 equal=0 seconds=0.00536118
case=228 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00130839
case=232 t=12 d=5 p1=1 p2=0 nodes=166 leaves=0 coeff=0 equal=0 seconds=0.00017922
case=236 t=12 d=3 p1=0 p2=0 nodes=658001 leaves=0 coeff=0 equal=0 seconds=0.117705
case=240 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00205616
case=244 t=12 d=4 p1=1 p2=0 nodes=6003 leaves=0 coeff=0 equal=0 seconds=0.00134896
case=248 t=12 d=2 p1=0 p2=0 nodes=15075099 leaves=0 coeff=0 equal=0 seconds=3.10927
case=252 t=12 d=6 p1=0 p2=0 nodes=29373 leaves=0 coeff=0 equal=0 seconds=0.0222658
case=256 t=12 d=3 p1=1 p2=0 nodes=152091 leaves=0 coeff=0 equal=0 seconds=0.0312121
case=260 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00544556
case=264 t=12 d=5 p1=0 p2=0 nodes=3555 leaves=0 coeff=0 equal=0 seconds=0.00155068
case=268 t=12 d=2 p1=1 p2=0 nodes=324 leaves=0 coeff=0 equal=0 seconds=0.000815656
case=272 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00550891
case=276 t=12 d=4 p1=0 p2=0 nodes=751271 leaves=0 coeff=0 equal=0 seconds=0.168656
case=280 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00159249
case=284 t=12 d=5 p1=1 p2=0 nodes=2757 leaves=0 coeff=0 equal=0 seconds=0.000975227
case=288 t=12 d=3 p1=0 p2=0 nodes=13827781 leaves=0 coeff=0 equal=0 seconds=2.60241
case=292 t=12 d=0 p1=1 p2=0 nodes=7810 leaves=0 coeff=0 equal=0 seconds=0.00305893
case=296 t=12 d=4 p1=1 p2=0 nodes=173966 leaves=0 coeff=0 equal=0 seconds=0.0437968
case=300 t=12 d=2 p1=0 p2=0 nodes=110697 leaves=0 coeff=0 equal=0 seconds=0.015912
case=304 t=12 d=6 p1=0 p2=0 nodes=261 leaves=0 coeff=0 equal=0 seconds=0.000442756
case=308 t=12 d=3 p1=1 p2=0 nodes=146314 leaves=0 coeff=0 equal=0 seconds=0.0300571
case=312 t=12 d=1 p1=0 p2=0 nodes=2377318 leaves=0 coeff=0 equal=0 seconds=0.415539
case=316 t=12 d=5 p1=0 p2=0 nodes=42721 leaves=0 coeff=0 equal=0 seconds=0.0108585
case=320 t=12 d=3 p1=1 p2=0 nodes=611105 leaves=0 coeff=0 equal=0 seconds=0.192186
case=324 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00238175
case=328 t=12 d=5 p1=0 p2=0 nodes=58250 leaves=0 coeff=0 equal=0 seconds=0.0100046
case=332 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000235704
case=336 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00577775
case=340 t=12 d=4 p1=0 p2=0 nodes=170621 leaves=0 coeff=0 equal=0 seconds=0.0299294
case=344 t=12 d=1 p1=0 p2=0 nodes=85697 leaves=0 coeff=0 equal=0 seconds=0.0207073
case=348 t=12 d=5 p1=0 p2=0 nodes=771042 leaves=0 coeff=0 equal=0 seconds=0.161902
case=352 t=12 d=2 p1=0 p2=1 nodes=41046 leaves=0 coeff=0 equal=0 seconds=0.007509
case=356 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00582827
case=360 t=12 d=4 p1=0 p2=0 nodes=15634 leaves=0 coeff=0 equal=0 seconds=0.00300564
case=364 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00742377
case=368 t=12 d=5 p1=0 p2=0 nodes=54353 leaves=0 coeff=0 equal=0 seconds=0.00971309
case=372 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.0023232
case=376 t=12 d=6 p1=0 p2=0 nodes=102634 leaves=0 coeff=0 equal=0 seconds=0.0195106
case=380 t=12 d=3 p1=0 p2=1 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000254112
case=384 t=12 d=1 p1=1 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.000671319
case=388 t=12 d=5 p1=1 p2=0 nodes=16999 leaves=0 coeff=0 equal=0 seconds=0.00284273
case=392 t=12 d=3 p1=0 p2=0 nodes=77759 leaves=0 coeff=0 equal=0 seconds=0.0180987
case=396 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00274611
case=400 t=12 d=4 p1=1 p2=0 nodes=57522 leaves=0 coeff=0 equal=0 seconds=0.00981987
case=404 t=12 d=2 p1=0 p2=0 nodes=129608 leaves=0 coeff=0 equal=0 seconds=0.0292947
case=408 t=12 d=6 p1=0 p2=0 nodes=111846 leaves=0 coeff=0 equal=0 seconds=0.0261624
case=412 t=12 d=3 p1=0 p2=1 nodes=11568 leaves=0 coeff=0 equal=0 seconds=0.00267791
case=416 t=12 d=1 p1=0 p2=0 nodes=55560 leaves=0 coeff=0 equal=0 seconds=0.012775
case=420 t=12 d=5 p1=0 p2=0 nodes=661178 leaves=0 coeff=0 equal=0 seconds=0.0954368
case=424 t=12 d=2 p1=0 p2=0 nodes=1068417 leaves=0 coeff=0 equal=0 seconds=0.116263
case=428 t=12 d=6 p1=0 p2=0 nodes=558005 leaves=0 coeff=0 equal=0 seconds=0.120983
case=432 t=12 d=3 p1=0 p2=1 nodes=186353 leaves=0 coeff=0 equal=0 seconds=0.0346823
case=436 t=12 d=1 p1=1 p2=0 nodes=384894 leaves=0 coeff=0 equal=0 seconds=0.0389709
case=440 t=12 d=5 p1=1 p2=0 nodes=84625 leaves=0 coeff=0 equal=0 seconds=0.00981874
case=444 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00262271
case=448 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00815036
case=452 t=12 d=4 p1=0 p2=0 nodes=3485 leaves=0 coeff=0 equal=0 seconds=0.00187955
case=456 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00466552
case=460 t=12 d=5 p1=0 p2=0 nodes=173419 leaves=0 coeff=0 equal=0 seconds=0.0270408
case=464 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000531689
case=468 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00647039
case=472 t=12 d=4 p1=0 p2=0 nodes=315809 leaves=0 coeff=0 equal=0 seconds=0.0484288
case=476 t=12 d=1 p1=0 p2=0 nodes=24 leaves=0 coeff=0 equal=0 seconds=0.00609112
case=480 t=12 d=5 p1=0 p2=0 nodes=80582 leaves=0 coeff=0 equal=0 seconds=0.0100532
case=484 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110257
case=488 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00579979
case=492 t=12 d=4 p1=0 p2=0 nodes=426575 leaves=0 coeff=0 equal=0 seconds=0.0719794
case=496 t=12 d=1 p1=0 p2=0 nodes=85697 leaves=0 coeff=0 equal=0 seconds=0.0148202
case=500 t=12 d=5 p1=0 p2=0 nodes=1996989 leaves=0 coeff=0 equal=0 seconds=0.589367
case=504 t=12 d=2 p1=0 p2=1 nodes=3944 leaves=0 coeff=0 equal=0 seconds=0.00152768
case=508 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00805657
case=512 t=12 d=4 p1=0 p2=0 nodes=575 leaves=0 coeff=0 equal=0 seconds=0.00161706
case=516 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00611763
case=520 t=12 d=5 p1=0 p2=0 nodes=3975 leaves=0 coeff=0 equal=0 seconds=0.00122919
case=524 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000889478
case=528 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00618383
case=532 t=12 d=4 p1=0 p2=0 nodes=79952 leaves=0 coeff=0 equal=0 seconds=0.0163432
case=536 t=12 d=1 p1=0 p2=0 nodes=5096 leaves=0 coeff=0 equal=0 seconds=0.00464149
case=540 t=12 d=5 p1=0 p2=0 nodes=442378 leaves=0 coeff=0 equal=0 seconds=0.204643
case=544 t=12 d=2 p1=0 p2=1 nodes=2202 leaves=0 coeff=0 equal=0 seconds=0.00138656
case=548 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00542372
case=552 t=12 d=4 p1=0 p2=0 nodes=21774 leaves=0 coeff=0 equal=0 seconds=0.00325708
case=556 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0008912
case=560 t=12 d=5 p1=1 p2=0 nodes=14394 leaves=0 coeff=0 equal=0 seconds=0.00155984
case=564 t=12 d=3 p1=0 p2=0 nodes=5861 leaves=0 coeff=0 equal=0 seconds=0.00297077
case=568 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00186682
case=572 t=12 d=4 p1=1 p2=0 nodes=23558 leaves=0 coeff=0 equal=0 seconds=0.00273101
case=576 t=12 d=2 p1=0 p2=0 nodes=16250 leaves=0 coeff=0 equal=0 seconds=0.00546306
case=580 t=12 d=6 p1=0 p2=0 nodes=63882 leaves=0 coeff=0 equal=0 seconds=0.00985649
case=584 t=12 d=3 p1=0 p2=0 nodes=7618 leaves=0 coeff=0 equal=0 seconds=0.00221931
case=588 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000901877
case=592 t=12 d=4 p1=0 p2=1 nodes=8237 leaves=0 coeff=0 equal=0 seconds=0.00119481
case=596 t=12 d=2 p1=1 p2=0 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.000960184
case=600 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00581388
case=604 t=12 d=4 p1=0 p2=0 nodes=1051356 leaves=0 coeff=0 equal=0 seconds=0.13955
case=608 t=12 d=1 p1=1 p2=0 nodes=2042 leaves=0 coeff=0 equal=0 seconds=0.00157506
case=612 t=12 d=5 p1=1 p2=0 nodes=69093 leaves=0 coeff=0 equal=0 seconds=0.00894198
case=616 t=12 d=3 p1=0 p2=0 nodes=627635 leaves=0 coeff=0 equal=0 seconds=0.0763656
case=620 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00202001
case=624 t=12 d=4 p1=0 p2=1 nodes=39941 leaves=0 coeff=0 equal=0 seconds=0.00548953
case=628 t=12 d=2 p1=1 p2=0 nodes=123111 leaves=0 coeff=0 equal=0 seconds=0.0142073
case=632 t=12 d=0 p1=0 p2=0 nodes=117 leaves=0 coeff=0 equal=0 seconds=0.00495433
case=636 t=12 d=4 p1=0 p2=0 nodes=2558136 leaves=0 coeff=0 equal=0 seconds=0.397576
case=640 t=12 d=1 p1=1 p2=0 nodes=32564 leaves=0 coeff=0 equal=0 seconds=0.00543593
case=644 t=12 d=5 p1=1 p2=0 nodes=59972 leaves=0 coeff=0 equal=0 seconds=0.00906416
case=648 t=12 d=3 p1=0 p2=0 nodes=13313788 leaves=0 coeff=0 equal=0 seconds=2.05917
case=652 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00175634
case=656 t=12 d=4 p1=0 p2=1 nodes=389988 leaves=0 coeff=0 equal=0 seconds=0.0585169
case=660 t=12 d=2 p1=1 p2=0 nodes=1878895 leaves=0 coeff=0 equal=0 seconds=0.253955
case=664 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00690649
case=668 t=12 d=4 p1=0 p2=0 nodes=848 leaves=0 coeff=0 equal=0 seconds=0.00147314
case=672 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00139898
case=676 t=12 d=5 p1=1 p2=0 nodes=5284 leaves=0 coeff=0 equal=0 seconds=0.000655926
case=680 t=12 d=3 p1=0 p2=0 nodes=1823 leaves=0 coeff=0 equal=0 seconds=0.00303554
case=684 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00203198
case=688 t=12 d=4 p1=1 p2=0 nodes=2731 leaves=0 coeff=0 equal=0 seconds=0.00060511
case=692 t=12 d=2 p1=0 p2=0 nodes=2276 leaves=0 coeff=0 equal=0 seconds=0.00364463
case=696 t=12 d=6 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.000298439
case=700 t=12 d=3 p1=0 p2=0 nodes=33255 leaves=0 coeff=0 equal=0 seconds=0.00593708
case=704 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0125988
case=708 t=12 d=4 p1=0 p2=0 nodes=56286 leaves=0 coeff=0 equal=0 seconds=0.0126545
case=712 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00681667
case=716 t=12 d=5 p1=0 p2=0 nodes=92324 leaves=0 coeff=0 equal=0 seconds=0.0200782
case=720 t=12 d=2 p1=0 p2=0 nodes=3176 leaves=0 coeff=0 equal=0 seconds=0.00530367
case=724 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000392841
case=728 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000610237
case=732 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00173798
case=736 t=12 d=5 p1=1 p2=0 nodes=13056 leaves=0 coeff=0 equal=0 seconds=0.00348716
case=740 t=12 d=3 p1=0 p2=0 nodes=1394075 leaves=0 coeff=0 equal=0 seconds=0.233308
case=744 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183343
case=748 t=12 d=4 p1=1 p2=0 nodes=21316 leaves=0 coeff=0 equal=0 seconds=0.00423156
case=752 t=12 d=2 p1=0 p2=0 nodes=13508 leaves=0 coeff=0 equal=0 seconds=0.00518178
case=756 t=12 d=6 p1=0 p2=0 nodes=15167 leaves=0 coeff=0 equal=0 seconds=0.0043548
case=760 t=12 d=3 p1=0 p2=1 nodes=278 leaves=0 coeff=0 equal=0 seconds=0.000708686
case=764 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162033
case=768 t=12 d=5 p1=1 p2=0 nodes=4648 leaves=0 coeff=0 equal=0 seconds=0.000753062
case=772 t=12 d=3 p1=0 p2=0 nodes=343467 leaves=0 coeff=0 equal=0 seconds=0.0409374
case=776 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00191471
case=780 t=12 d=4 p1=1 p2=0 nodes=44605 leaves=0 coeff=0 equal=0 seconds=0.0105838
case=784 t=12 d=2 p1=0 p2=0 nodes=180052 leaves=0 coeff=0 equal=0 seconds=0.0220959
case=788 t=12 d=6 p1=0 p2=0 nodes=84779 leaves=0 coeff=0 equal=0 seconds=0.0422373
case=792 t=12 d=3 p1=0 p2=1 nodes=857 leaves=0 coeff=0 equal=0 seconds=0.000869328
case=796 t=12 d=1 p1=0 p2=0 nodes=92637 leaves=0 coeff=0 equal=0 seconds=0.0126823
case=800 t=12 d=5 p1=0 p2=0 nodes=1246557 leaves=0 coeff=0 equal=0 seconds=0.404173
case=804 t=12 d=2 p1=0 p2=0 nodes=5185637 leaves=0 coeff=0 equal=0 seconds=0.849721
case=808 t=12 d=6 p1=0 p2=0 nodes=312085 leaves=0 coeff=0 equal=0 seconds=0.211112
case=812 t=12 d=3 p1=0 p2=1 nodes=42305 leaves=0 coeff=0 equal=0 seconds=0.00619996
case=816 t=12 d=1 p1=1 p2=0 nodes=41787 leaves=0 coeff=0 equal=0 seconds=0.00588538
case=820 t=12 d=5 p1=1 p2=0 nodes=85924 leaves=0 coeff=0 equal=0 seconds=0.0277827
case=824 t=12 d=3 p1=0 p2=0 nodes=6840 leaves=0 coeff=0 equal=0 seconds=0.00340565
case=828 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00549621
case=832 t=12 d=4 p1=0 p2=0 nodes=442869 leaves=0 coeff=0 equal=0 seconds=0.127478
case=836 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00155778
case=840 t=12 d=5 p1=0 p2=1 nodes=977 leaves=0 coeff=0 equal=0 seconds=0.000358359
case=844 t=12 d=3 p1=0 p2=0 nodes=2169402 leaves=0 coeff=0 equal=0 seconds=0.480124
case=848 t=12 d=0 p1=0 p2=0 nodes=26906 leaves=0 coeff=0 equal=0 seconds=0.00596538
case=852 t=12 d=4 p1=0 p2=0 nodes=11906541 leaves=0 coeff=0 equal=0 seconds=4.71764
case=856 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00127616
case=860 t=12 d=5 p1=0 p2=1 nodes=20540 leaves=0 coeff=0 equal=0 seconds=0.00686256
case=864 t=12 d=3 p1=0 p2=0 nodes=6098 leaves=0 coeff=0 equal=0 seconds=0.00274183
case=868 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00157468
case=872 t=12 d=4 p1=1 p2=0 nodes=24409 leaves=0 coeff=0 equal=0 seconds=0.00345136
case=876 t=12 d=2 p1=0 p2=0 nodes=273 leaves=0 coeff=0 equal=0 seconds=0.00365128
case=880 t=12 d=6 p1=0 p2=0 nodes=16 leaves=0 coeff=0 equal=0 seconds=0.000645571
case=884 t=12 d=3 p1=1 p2=0 nodes=11789 leaves=0 coeff=0 equal=0 seconds=0.00203875
case=888 t=12 d=1 p1=0 p2=0 nodes=44 leaves=0 coeff=0 equal=0 seconds=0.00425027
case=892 t=12 d=5 p1=0 p2=0 nodes=545504 leaves=0 coeff=0 equal=0 seconds=0.106694
case=896 t=12 d=2 p1=1 p2=0 nodes=7709 leaves=0 coeff=0 equal=0 seconds=0.00205136
case=900 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00530744
case=904 t=12 d=4 p1=0 p2=0 nodes=27091 leaves=0 coeff=0 equal=0 seconds=0.00720019
case=908 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00108875
case=912 t=12 d=5 p1=0 p2=1 nodes=12474 leaves=0 coeff=0 equal=0 seconds=0.00197823
case=916 t=12 d=3 p1=1 p2=0 nodes=131313 leaves=0 coeff=0 equal=0 seconds=0.0182095
case=920 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00422592
case=924 t=12 d=5 p1=0 p2=0 nodes=1755532 leaves=0 coeff=0 equal=0 seconds=0.531576
case=928 t=12 d=2 p1=1 p2=0 nodes=116429 leaves=0 coeff=0 equal=0 seconds=0.0158095
case=932 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.0049139
case=936 t=12 d=4 p1=0 p2=0 nodes=3795623 leaves=0 coeff=0 equal=0 seconds=0.669907
case=940 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00150513
case=944 t=12 d=5 p1=0 p2=1 nodes=27219 leaves=0 coeff=0 equal=0 seconds=0.00519942
case=948 t=12 d=3 p1=1 p2=0 nodes=364921 leaves=0 coeff=0 equal=0 seconds=0.0522167
case=952 t=12 d=1 p1=0 p2=0 nodes=94823 leaves=0 coeff=0 equal=0 seconds=0.0127856
case=956 t=12 d=5 p1=0 p2=0 nodes=2531981 leaves=0 coeff=0 equal=0 seconds=0.676561
case=960 t=12 d=2 p1=1 p2=0 nodes=257912 leaves=0 coeff=0 equal=0 seconds=0.0300437
case=964 t=12 d=0 p1=0 p2=0 nodes=315 leaves=0 coeff=0 equal=0 seconds=0.00375987
case=968 t=12 d=4 p1=0 p2=0 nodes=14629151 leaves=0 coeff=0 equal=0 seconds=3.01849
case=972 t=12 d=1 p1=0 p2=1 nodes=2842 leaves=0 coeff=0 equal=0 seconds=0.00164933
case=976 t=12 d=5 p1=0 p2=1 nodes=52469 leaves=0 coeff=0 equal=0 seconds=0.0132149
case=980 t=12 d=3 p1=1 p2=0 nodes=3852091 leaves=0 coeff=0 equal=0 seconds=0.639725
case=984 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00483623
case=988 t=12 d=5 p1=0 p2=0 nodes=11974 leaves=0 coeff=0 equal=0 seconds=0.00317998
case=992 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112345
case=996 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00526361
case=1000 t=12 d=4 p1=0 p2=0 nodes=244777 leaves=0 coeff=0 equal=0 seconds=0.0430509
case=1004 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00167618
case=1008 t=12 d=5 p1=1 p2=0 nodes=1192 leaves=0 coeff=0 equal=0 seconds=0.000380502
case=1012 t=12 d=3 p1=0 p2=0 nodes=221929 leaves=0 coeff=0 equal=0 seconds=0.0276066
case=1016 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0020392
case=1020 t=12 d=4 p1=1 p2=0 nodes=14610 leaves=0 coeff=0 equal=0 seconds=0.00309891
case=1024 t=12 d=2 p1=0 p2=0 nodes=412832 leaves=0 coeff=0 equal=0 seconds=0.0522133
case=1028 t=12 d=6 p1=0 p2=0 nodes=24159 leaves=0 coeff=0 equal=0 seconds=0.015174
case=1032 t=12 d=3 p1=0 p2=0 nodes=1567340 leaves=0 coeff=0 equal=0 seconds=0.264892
case=1036 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00174272
case=1040 t=12 d=4 p1=0 p2=1 nodes=5727 leaves=0 coeff=0 equal=0 seconds=0.00125356
case=1044 t=12 d=2 p1=1 p2=0 nodes=13356 leaves=0 coeff=0 equal=0 seconds=0.00291513
case=1048 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00414628
case=1052 t=12 d=4 p1=0 p2=0 nodes=4944081 leaves=0 coeff=0 equal=0 seconds=1.24515
case=1056 t=12 d=1 p1=1 p2=0 nodes=265 leaves=0 coeff=0 equal=0 seconds=0.0015868
case=1060 t=12 d=5 p1=1 p2=0 nodes=19598 leaves=0 coeff=0 equal=0 seconds=0.00744308
case=1064 t=12 d=3 p1=0 p2=0 nodes=17482063 leaves=0 coeff=0 equal=0 seconds=4.68115
case=1068 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00176666
case=1072 t=12 d=4 p1=0 p2=1 nodes=17144 leaves=0 coeff=0 equal=0 seconds=0.00297842
case=1076 t=12 d=2 p1=1 p2=0 nodes=23825 leaves=0 coeff=0 equal=0 seconds=0.00379065
case=1080 t=12 d=0 p1=0 p2=0 nodes=19872 leaves=0 coeff=0 equal=0 seconds=0.00546487
case=1084 t=12 d=4 p1=0 p2=0 nodes=16401140 leaves=0 coeff=0 equal=0 seconds=6.43222
case=1088 t=12 d=1 p1=1 p2=0 nodes=2060 leaves=0 coeff=0 equal=0 seconds=0.00157332
case=1092 t=12 d=5 p1=1 p2=0 nodes=39673 leaves=0 coeff=0 equal=0 seconds=0.0168647
case=1096 t=12 d=3 p1=0 p2=0 nodes=122262865 leaves=0 coeff=0 equal=0 seconds=44.3027
case=1100 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00289768
case=1104 t=12 d=4 p1=0 p2=1 nodes=137787 leaves=0 coeff=0 equal=0 seconds=0.0349254
case=1108 t=12 d=2 p1=1 p2=0 nodes=591299 leaves=0 coeff=0 equal=0 seconds=0.0878267
case=1112 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00615851
case=1116 t=12 d=4 p1=0 p2=0 nodes=300804 leaves=0 coeff=0 equal=0 seconds=0.0928204
case=1120 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0020777
case=1124 t=12 d=5 p1=1 p2=0 nodes=592 leaves=0 coeff=0 equal=0 seconds=0.000657479
case=1128 t=12 d=3 p1=0 p2=0 nodes=375924 leaves=0 coeff=0 equal=0 seconds=0.0569858
case=1132 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00195071
case=1136 t=12 d=4 p1=1 p2=0 nodes=200877 leaves=0 coeff=0 equal=0 seconds=0.0393061
case=1140 t=12 d=2 p1=0 p2=0 nodes=1091127 leaves=0 coeff=0 equal=0 seconds=0.156214
case=1144 t=12 d=6 p1=0 p2=0 nodes=27693 leaves=0 coeff=0 equal=0 seconds=0.0236573
case=1148 t=12 d=3 p1=1 p2=0 nodes=100661 leaves=0 coeff=0 equal=0 seconds=0.016345
case=1152 t=12 d=1 p1=0 p2=0 nodes=2607 leaves=0 coeff=0 equal=0 seconds=0.00416565
case=1156 t=12 d=5 p1=0 p2=0 nodes=71414 leaves=0 coeff=0 equal=0 seconds=0.018188
case=1160 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000906193
case=1164 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158302
case=1168 t=12 d=4 p1=1 p2=0 nodes=31580 leaves=0 coeff=0 equal=0 seconds=0.00875795
case=1172 t=12 d=2 p1=0 p2=0 nodes=2809542 leaves=0 coeff=0 equal=0 seconds=0.395941
case=1176 t=12 d=6 p1=0 p2=0 nodes=2857 leaves=0 coeff=0 equal=0 seconds=0.00184124
case=1180 t=12 d=3 p1=1 p2=0 nodes=1868228 leaves=0 coeff=0 equal=0 seconds=0.371082
case=1184 t=12 d=1 p1=0 p2=0 nodes=1709696 leaves=0 coeff=0 equal=0 seconds=0.218164
case=1188 t=12 d=5 p1=0 p2=0 nodes=894521 leaves=0 coeff=0 equal=0 seconds=0.318961
case=1192 t=12 d=2 p1=0 p2=1 nodes=669 leaves=0 coeff=0 equal=0 seconds=0.00108369
case=1196 t=12 d=0 p1=1 p2=0 nodes=28 leaves=0 coeff=0 equal=0 seconds=0.00169105
case=1200 t=12 d=4 p1=1 p2=0 nodes=349982 leaves=0 coeff=0 equal=0 seconds=0.0794988
case=1204 t=12 d=2 p1=0 p2=0 nodes=34825128 leaves=0 coeff=0 equal=0 seconds=5.71994
case=1208 t=12 d=6 p1=0 p2=0 nodes=25195 leaves=0 coeff=0 equal=0 seconds=0.0125361
case=1212 t=12 d=3 p1=1 p2=0 nodes=1894782 leaves=0 coeff=0 equal=0 seconds=0.364383
case=1216 t=12 d=1 p1=0 p2=0 nodes=41846585 leaves=0 coeff=0 equal=0 seconds=5.74387
case=1220 t=12 d=5 p1=0 p2=0 nodes=564057 leaves=0 coeff=0 equal=0 seconds=0.238453
case=1224 t=12 d=3 p1=0 p2=1 nodes=673407 leaves=0 coeff=0 equal=0 seconds=0.128702
case=1228 t=12 d=1 p1=1 p2=0 nodes=5844773 leaves=0 coeff=0 equal=0 seconds=0.824802
case=1232 t=12 d=5 p1=1 p2=0 nodes=27637 leaves=0 coeff=0 equal=0 seconds=0.0105892
case=1236 t=12 d=3 p1=0 p2=0 nodes=5210198 leaves=0 coeff=0 equal=0 seconds=0.938601
case=1240 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0016999
case=1244 t=12 d=4 p1=1 p2=0 nodes=150630 leaves=0 coeff=0 equal=0 seconds=0.0397613
case=1248 t=12 d=2 p1=0 p2=0 nodes=13397162 leaves=0 coeff=0 equal=0 seconds=2.1635
case=1252 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154984
case=1256 t=12 d=4 p1=0 p2=1 nodes=54284 leaves=0 coeff=0 equal=0 seconds=0.0142883
case=1260 t=12 d=2 p1=1 p2=0 nodes=3812247 leaves=0 coeff=0 equal=0 seconds=0.713088
case=1264 t=12 d=0 p1=0 p2=0 nodes=115925 leaves=0 coeff=0 equal=0 seconds=0.015905
case=1268 t=12 d=4 p1=0 p2=0 nodes=5112882 leaves=0 coeff=0 equal=0 seconds=1.31254
case=1272 t=12 d=2 p1=1 p2=0 nodes=8022145 leaves=0 coeff=0 equal=0 seconds=1.45436
case=1276 t=12 d=0 p1=0 p2=0 nodes=403652 leaves=0 coeff=0 equal=0 seconds=0.0510166
case=1280 t=12 d=4 p1=0 p2=0 nodes=2181934 leaves=0 coeff=0 equal=0 seconds=0.563844
case=1284 t=12 d=3 p1=0 p2=1 nodes=590839 leaves=0 coeff=0 equal=0 seconds=0.190421
case=1288 t=12 d=2 p1=1 p2=0 nodes=12745929 leaves=0 coeff=0 equal=0 seconds=3.324
case=1292 t=12 d=1 p1=0 p2=0 nodes=3002 leaves=0 coeff=0 equal=0 seconds=0.00327542
case=1296 t=12 d=5 p1=0 p2=0 nodes=302015 leaves=0 coeff=0 equal=0 seconds=0.0315
case=1300 t=12 d=2 p1=0 p2=1 nodes=4081 leaves=0 coeff=0 equal=0 seconds=0.000759583
case=1304 t=12 d=0 p1=0 p2=0 nodes=102868 leaves=0 coeff=0 equal=0 seconds=0.0155484
case=1308 t=12 d=4 p1=0 p2=0 nodes=1765758 leaves=0 coeff=0 equal=0 seconds=0.229823
case=1312 t=12 d=1 p1=0 p2=1 nodes=69403 leaves=0 coeff=0 equal=0 seconds=0.00870686
case=1316 t=12 d=5 p1=0 p2=1 nodes=48486 leaves=0 coeff=0 equal=0 seconds=0.00501443
case=1320 t=12 d=3 p1=0 p2=0 nodes=257817 leaves=0 coeff=0 equal=0 seconds=0.0290385
case=1324 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00109879
case=1328 t=12 d=4 p1=0 p2=1 nodes=16637 leaves=0 coeff=0 equal=0 seconds=0.00190335
case=1332 t=12 d=2 p1=0 p2=0 nodes=132666 leaves=0 coeff=0 equal=0 seconds=0.0164619
case=1336 t=12 d=6 p1=0 p2=0 nodes=305749 leaves=0 coeff=0 equal=0 seconds=0.0412396
case=1340 t=12 d=3 p1=0 p2=1 nodes=44947 leaves=0 coeff=0 equal=0 seconds=0.00645362
case=1344 t=12 d=1 p1=1 p2=0 nodes=69403 leaves=0 coeff=0 equal=0 seconds=0.00804674
case=1348 t=12 d=5 p1=1 p2=0 nodes=48486 leaves=0 coeff=0 equal=0 seconds=0.00502819
case=1352 t=12 d=3 p1=0 p2=0 nodes=3596488 leaves=0 coeff=0 equal=0 seconds=0.406566
case=1356 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00155315
case=1360 t=12 d=4 p1=0 p2=1 nodes=168905 leaves=0 coeff=0 equal=0 seconds=0.0187589
case=1364 t=12 d=2 p1=0 p2=0 nodes=5909818 leaves=0 coeff=0 equal=0 seconds=0.811339
case=1368 t=12 d=6 p1=0 p2=0 nodes=230920 leaves=0 coeff=0 equal=0 seconds=0.0509766
case=1372 t=12 d=3 p1=0 p2=1 nodes=699501 leaves=0 coeff=0 equal=0 seconds=0.0916047
case=1376 t=12 d=1 p1=1 p2=0 nodes=1205485 leaves=0 coeff=0 equal=0 seconds=0.12373
case=1380 t=12 d=5 p1=1 p2=0 nodes=58803 leaves=0 coeff=0 equal=0 seconds=0.00702451
case=1384 t=12 d=3 p1=0 p2=0 nodes=37289 leaves=0 coeff=0 equal=0 seconds=0.00674127
case=1388 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00177002
case=1392 t=12 d=4 p1=0 p2=1 nodes=915 leaves=0 coeff=0 equal=0 seconds=0.000367563
case=1396 t=12 d=2 p1=0 p2=0 nodes=132666 leaves=0 coeff=0 equal=0 seconds=0.0172525
case=1400 t=12 d=6 p1=0 p2=0 nodes=235040 leaves=0 coeff=0 equal=0 seconds=0.0508102
case=1404 t=12 d=3 p1=0 p2=1 nodes=3391 leaves=0 coeff=0 equal=0 seconds=0.000872152
case=1408 t=12 d=1 p1=0 p2=0 nodes=36390 leaves=0 coeff=0 equal=0 seconds=0.00922491
case=1412 t=12 d=5 p1=0 p2=0 nodes=661670 leaves=0 coeff=0 equal=0 seconds=0.0932743
case=1416 t=12 d=2 p1=0 p2=1 nodes=520 leaves=0 coeff=0 equal=0 seconds=0.00113627
case=1420 t=12 d=0 p1=0 p2=0 nodes=102868 leaves=0 coeff=0 equal=0 seconds=0.0146058
case=1424 t=12 d=4 p1=0 p2=0 nodes=5054285 leaves=0 coeff=0 equal=0 seconds=1.23774
case=1428 t=12 d=1 p1=0 p2=1 nodes=2870 leaves=0 coeff=0 equal=0 seconds=0.00177725
case=1432 t=12 d=5 p1=0 p2=1 nodes=52261 leaves=0 coeff=0 equal=0 seconds=0.0121194
case=1436 t=12 d=3 p1=0 p2=0 nodes=6460 leaves=0 coeff=0 equal=0 seconds=0.00341412
case=1440 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189911
case=1444 t=12 d=4 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000270267
case=1448 t=12 d=2 p1=0 p2=0 nodes=28010 leaves=0 coeff=0 equal=0 seconds=0.00643246
case=1452 t=12 d=6 p1=0 p2=0 nodes=3746 leaves=0 coeff=0 equal=0 seconds=0.0010487
case=1456 t=12 d=3 p1=0 p2=1 nodes=1359 leaves=0 coeff=0 equal=0 seconds=0.000829237
case=1460 t=12 d=1 p1=0 p2=0 nodes=150964 leaves=0 coeff=0 equal=0 seconds=0.0195579
case=1464 t=12 d=5 p1=0 p2=0 nodes=399304 leaves=0 coeff=0 equal=0 seconds=0.282537
case=1468 t=12 d=2 p1=0 p2=1 nodes=17120 leaves=0 coeff=0 equal=0 seconds=0.00460081
case=1472 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00870679
case=1476 t=12 d=4 p1=0 p2=0 nodes=115327 leaves=0 coeff=0 equal=0 seconds=0.0214805
case=1480 t=12 d=1 p1=0 p2=0 nodes=1900 leaves=0 coeff=0 equal=0 seconds=0.00719312
case=1484 t=12 d=5 p1=0 p2=0 nodes=1066046 leaves=0 coeff=0 equal=0 seconds=0.179779
case=1488 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000917039
case=1492 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015856
case=1496 t=12 d=4 p1=1 p2=0 nodes=168905 leaves=0 coeff=0 equal=0 seconds=0.0187579
case=1500 t=12 d=2 p1=0 p2=0 nodes=547008 leaves=0 coeff=0 equal=0 seconds=0.0645661
case=1504 t=12 d=6 p1=0 p2=0 nodes=169632 leaves=0 coeff=0 equal=0 seconds=0.0389913
case=1508 t=12 d=3 p1=0 p2=1 nodes=20943 leaves=0 coeff=0 equal=0 seconds=0.00291972
case=1512 t=12 d=1 p1=0 p2=0 nodes=3002 leaves=0 coeff=0 equal=0 seconds=0.00482827
case=1516 t=12 d=5 p1=0 p2=0 nodes=1958237 leaves=0 coeff=0 equal=0 seconds=0.346008
case=1520 t=12 d=2 p1=0 p2=1 nodes=4924 leaves=0 coeff=0 equal=0 seconds=0.00136378
case=1524 t=12 d=0 p1=1 p2=0 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00169819
case=1528 t=12 d=4 p1=1 p2=0 nodes=475965 leaves=0 coeff=0 equal=0 seconds=0.0640332
case=1532 t=12 d=2 p1=0 p2=0 nodes=3193086 leaves=0 coeff=0 equal=0 seconds=0.413349
case=1536 t=12 d=6 p1=0 p2=0 nodes=360938 leaves=0 coeff=0 equal=0 seconds=0.136574
case=1540 t=12 d=3 p1=0 p2=1 nodes=289962 leaves=0 coeff=0 equal=0 seconds=0.0402936
case=1544 t=12 d=1 p1=1 p2=0 nodes=470685 leaves=0 coeff=0 equal=0 seconds=0.0485954
case=1548 t=12 d=5 p1=1 p2=0 nodes=109495 leaves=0 coeff=0 equal=0 seconds=0.0173463
case=1552 t=12 d=3 p1=0 p2=0 nodes=21310500 leaves=0 coeff=0 equal=0 seconds=3.69898
case=1556 t=12 d=0 p1=0 p2=1 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00168745
case=1560 t=12 d=4 p1=0 p2=1 nodes=825719 leaves=0 coeff=0 equal=0 seconds=0.182811
case=1564 t=12 d=2 p1=1 p2=0 nodes=3770861 leaves=0 coeff=0 equal=0 seconds=0.585669
case=1568 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0101443
case=1572 t=12 d=4 p1=0 p2=0 nodes=165800 leaves=0 coeff=0 equal=0 seconds=0.0325004
case=1576 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00683383
case=1580 t=12 d=5 p1=0 p2=0 nodes=863432 leaves=0 coeff=0 equal=0 seconds=0.281662
case=1584 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110304
case=1588 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00189551
case=1592 t=12 d=4 p1=1 p2=0 nodes=24613 leaves=0 coeff=0 equal=0 seconds=0.00607667
case=1596 t=12 d=2 p1=0 p2=0 nodes=337691 leaves=0 coeff=0 equal=0 seconds=0.0557385
case=1600 t=12 d=6 p1=0 p2=0 nodes=321 leaves=0 coeff=0 equal=0 seconds=0.000775406
case=1604 t=12 d=3 p1=0 p2=1 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.000694795
case=1608 t=12 d=1 p1=0 p2=0 nodes=3863 leaves=0 coeff=0 equal=0 seconds=0.00486849
case=1612 t=12 d=5 p1=0 p2=0 nodes=693400 leaves=0 coeff=0 equal=0 seconds=0.12882
case=1616 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00118751
case=1620 t=12 d=0 p1=0 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00485413
case=1624 t=12 d=4 p1=0 p2=0 nodes=11846176 leaves=0 coeff=0 equal=0 seconds=3.97271
case=1628 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00137257
case=1632 t=12 d=5 p1=0 p2=1 nodes=27412 leaves=0 coeff=0 equal=0 seconds=0.00567839
case=1636 t=12 d=3 p1=1 p2=0 nodes=46545 leaves=0 coeff=0 equal=0 seconds=0.00774211
case=1640 t=12 d=1 p1=0 p2=0 nodes=62062 leaves=0 coeff=0 equal=0 seconds=0.0104167
case=1644 t=12 d=5 p1=0 p2=0 nodes=1169425 leaves=0 coeff=0 equal=0 seconds=0.386361
case=1648 t=12 d=2 p1=0 p2=1 nodes=520 leaves=0 coeff=0 equal=0 seconds=0.00167353
case=1652 t=12 d=0 p1=1 p2=0 nodes=82 leaves=0 coeff=0 equal=0 seconds=0.00258479
case=1656 t=12 d=4 p1=1 p2=0 nodes=109861 leaves=0 coeff=0 equal=0 seconds=0.0390089
case=1660 t=12 d=2 p1=0 p2=0 nodes=4252558 leaves=0 coeff=0 equal=0 seconds=0.792677
case=1664 t=12 d=6 p1=0 p2=0 nodes=158714 leaves=0 coeff=0 equal=0 seconds=0.103842
case=1668 t=12 d=3 p1=0 p2=1 nodes=28090 leaves=0 coeff=0 equal=0 seconds=0.00389598
case=1672 t=12 d=1 p1=0 p2=0 nodes=8494919 leaves=0 coeff=0 equal=0 seconds=1.18894
case=1676 t=12 d=5 p1=0 p2=0 nodes=2582057 leaves=0 coeff=0 equal=0 seconds=1.33467
case=1680 t=12 d=2 p1=0 p2=1 nodes=52188 leaves=0 coeff=0 equal=0 seconds=0.00777889
case=1684 t=12 d=0 p1=1 p2=0 nodes=50501 leaves=0 coeff=0 equal=0 seconds=0.00648098
case=1688 t=12 d=4 p1=1 p2=0 nodes=274974 leaves=0 coeff=0 equal=0 seconds=0.115798
case=1692 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00410766
case=1696 t=12 d=6 p1=0 p2=0 nodes=37 leaves=0 coeff=0 equal=0 seconds=0.000497378
case=1700 t=12 d=3 p1=0 p2=0 nodes=438182 leaves=0 coeff=0 equal=0 seconds=0.0543589
case=1704 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00197884
case=1708 t=12 d=4 p1=0 p2=1 nodes=1323 leaves=0 coeff=0 equal=0 seconds=0.000633763
case=1712 t=12 d=2 p1=0 p2=0 nodes=6034307 leaves=0 coeff=0 equal=0 seconds=1.45185
case=1716 t=12 d=6 p1=0 p2=0 nodes=27570 leaves=0 coeff=0 equal=0 seconds=0.0180215
case=1720 t=12 d=3 p1=0 p2=1 nodes=1359 leaves=0 coeff=0 equal=0 seconds=0.000859513
case=1724 t=12 d=1 p1=0 p2=0 nodes=90305595 leaves=0 coeff=0 equal=0 seconds=23.2532
case=1728 t=12 d=5 p1=0 p2=0 nodes=799736 leaves=0 coeff=0 equal=0 seconds=0.524266
case=1732 t=12 d=2 p1=0 p2=1 nodes=3475 leaves=0 coeff=0 equal=0 seconds=0.00129406
case=1736 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00497761
case=1740 t=12 d=4 p1=0 p2=0 nodes=743465 leaves=0 coeff=0 equal=0 seconds=0.128141
case=1744 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154906
case=1748 t=12 d=5 p1=1 p2=0 nodes=25002 leaves=0 coeff=0 equal=0 seconds=0.00313803
case=1752 t=12 d=3 p1=0 p2=0 nodes=300686 leaves=0 coeff=0 equal=0 seconds=0.0339621
case=1756 t=12 d=0 p1=0 p2=0 nodes=21 leaves=0 coeff=0 equal=0 seconds=0.00463091
case=1760 t=12 d=4 p1=0 p2=0 nodes=7685180 leaves=0 coeff=0 equal=0 seconds=1.72718
case=1764 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00135647
case=1768 t=12 d=5 p1=0 p2=1 nodes=48639 leaves=0 coeff=0 equal=0 seconds=0.00923268
case=1772 t=12 d=3 p1=1 p2=0 nodes=289962 leaves=0 coeff=0 equal=0 seconds=0.0401849
case=1776 t=12 d=1 p1=0 p2=0 nodes=78341 leaves=0 coeff=0 equal=0 seconds=0.0112298
case=1780 t=12 d=5 p1=0 p2=0 nodes=1885424 leaves=0 coeff=0 equal=0 seconds=0.626545
case=1784 t=12 d=2 p1=0 p2=1 nodes=388 leaves=0 coeff=0 equal=0 seconds=0.00110679
case=1788 t=12 d=0 p1=1 p2=0 nodes=55 leaves=0 coeff=0 equal=0 seconds=0.00178963
case=1792 t=12 d=4 p1=1 p2=0 nodes=284719 leaves=0 coeff=0 equal=0 seconds=0.0375776
case=1796 t=12 d=2 p1=0 p2=0 nodes=4937457 leaves=0 coeff=0 equal=0 seconds=0.751299
case=1800 t=12 d=6 p1=0 p2=0 nodes=461 leaves=0 coeff=0 equal=0 seconds=0.000630999
case=1804 t=12 d=3 p1=0 p2=1 nodes=192455 leaves=0 coeff=0 equal=0 seconds=0.0300039
case=1808 t=12 d=1 p1=1 p2=0 nodes=217067 leaves=0 coeff=0 equal=0 seconds=0.027707
case=1812 t=12 d=5 p1=1 p2=0 nodes=134067 leaves=0 coeff=0 equal=0 seconds=0.0259623
case=1816 t=12 d=3 p1=0 p2=0 nodes=24289844 leaves=0 coeff=0 equal=0 seconds=4.35566
case=1820 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00146851
case=1824 t=12 d=4 p1=0 p2=1 nodes=579857 leaves=0 coeff=0 equal=0 seconds=0.109909
case=1828 t=12 d=2 p1=1 p2=0 nodes=2002122 leaves=0 coeff=0 equal=0 seconds=0.295594
case=1832 t=12 d=0 p1=0 p2=0 nodes=692439 leaves=0 coeff=0 equal=0 seconds=0.104936
case=1836 t=12 d=4 p1=0 p2=0 nodes=8836851 leaves=0 coeff=0 equal=0 seconds=2.28795
case=1840 t=12 d=2 p1=0 p2=1 nodes=1824570 leaves=0 coeff=0 equal=0 seconds=0.30526
case=1844 t=12 d=0 p1=1 p2=0 nodes=2004642 leaves=0 coeff=0 equal=0 seconds=0.23814
case=1848 t=12 d=4 p1=1 p2=0 nodes=864944 leaves=0 coeff=0 equal=0 seconds=0.229054
case=1852 t=12 d=2 p1=0 p2=0 nodes=205 leaves=0 coeff=0 equal=0 seconds=0.00329749
case=1856 t=12 d=6 p1=0 p2=0 nodes=198 leaves=0 coeff=0 equal=0 seconds=0.000567223
case=1860 t=12 d=3 p1=1 p2=0 nodes=5650 leaves=0 coeff=0 equal=0 seconds=0.00135476
case=1864 t=12 d=1 p1=0 p2=0 nodes=87 leaves=0 coeff=0 equal=0 seconds=0.00349331
case=1868 t=12 d=5 p1=0 p2=0 nodes=206770 leaves=0 coeff=0 equal=0 seconds=0.0541066
case=1872 t=12 d=2 p1=0 p2=0 nodes=63258 leaves=0 coeff=0 equal=0 seconds=0.00967784
case=1876 t=12 d=6 p1=0 p2=0 nodes=1389 leaves=0 coeff=0 equal=0 seconds=0.00110013
case=1880 t=12 d=3 p1=0 p2=1 nodes=450 leaves=0 coeff=0 equal=0 seconds=0.000765101
case=1884 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143871
case=1888 t=12 d=5 p1=1 p2=0 nodes=886 leaves=0 coeff=0 equal=0 seconds=0.000463227
case=1892 t=12 d=3 p1=0 p2=0 nodes=5957361 leaves=0 coeff=0 equal=0 seconds=1.13376
case=1896 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00187645
case=1900 t=12 d=4 p1=0 p2=1 nodes=25936 leaves=0 coeff=0 equal=0 seconds=0.00552572
case=1904 t=12 d=2 p1=1 p2=0 nodes=16736 leaves=0 coeff=0 equal=0 seconds=0.00293752
case=1908 t=12 d=0 p1=0 p2=0 nodes=18364 leaves=0 coeff=0 equal=0 seconds=0.00479251
case=1912 t=12 d=4 p1=0 p2=0 nodes=6371838 leaves=0 coeff=0 equal=0 seconds=2.46657
case=1916 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00125722
case=1920 t=12 d=5 p1=0 p2=1 nodes=11918 leaves=0 coeff=0 equal=0 seconds=0.00364486
case=1924 t=12 d=3 p1=0 p2=0 nodes=22891347 leaves=0 coeff=0 equal=0 seconds=5.57474
case=1928 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00156957
case=1932 t=12 d=4 p1=0 p2=1 nodes=109849 leaves=0 coeff=0 equal=0 seconds=0.0385392
case=1936 t=12 d=2 p1=1 p2=0 nodes=321691 leaves=0 coeff=0 equal=0 seconds=0.0579201
case=1940 t=12 d=0 p1=0 p2=0 nodes=5751165 leaves=0 coeff=0 equal=0 seconds=0.685988
case=1944 t=12 d=4 p1=0 p2=0 nodes=27884631 leaves=672 coeff=0 equal=0 seconds=13.3267
case=1948 t=12 d=1 p1=0 p2=1 nodes=21 leaves=0 coeff=0 equal=0 seconds=0.00117366
case=1952 t=12 d=5 p1=0 p2=1 nodes=63758 leaves=0 coeff=0 equal=0 seconds=0.0282889
case=1956 t=12 d=3 p1=1 p2=0 nodes=444189 leaves=0 coeff=0 equal=0 seconds=0.10975
case=1960 t=12 d=1 p1=0 p2=0 nodes=253036642 leaves=0 coeff=0 equal=0 seconds=73.2874
case=1964 t=12 d=5 p1=0 p2=0 nodes=800357 leaves=360 coeff=0 equal=0 seconds=0.616768
case=1968 t=12 d=3 p1=0 p2=1 nodes=437369 leaves=0 coeff=0 equal=0 seconds=0.0979658
case=1972 t=12 d=1 p1=1 p2=0 nodes=931295 leaves=0 coeff=0 equal=0 seconds=0.153453
case=1976 t=12 d=5 p1=1 p2=0 nodes=17868 leaves=0 coeff=0 equal=0 seconds=0.010705
case=1980 t=12 d=3 p1=0 p2=0 nodes=686671 leaves=0 coeff=0 equal=0 seconds=0.101026
case=1984 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00179782
case=1988 t=12 d=4 p1=1 p2=0 nodes=206444 leaves=0 coeff=0 equal=0 seconds=0.0445163
case=1992 t=12 d=2 p1=0 p2=0 nodes=591470 leaves=0 coeff=0 equal=0 seconds=0.0830551
case=1996 t=12 d=6 p1=0 p2=0 nodes=8622 leaves=0 coeff=0 equal=0 seconds=0.00740364
case=2000 t=12 d=3 p1=1 p2=0 nodes=121505 leaves=0 coeff=0 equal=0 seconds=0.0147241
case=2004 t=12 d=1 p1=0 p2=0 nodes=149903 leaves=0 coeff=0 equal=0 seconds=0.0179355
case=2008 t=12 d=5 p1=0 p2=0 nodes=634717 leaves=0 coeff=0 equal=0 seconds=0.198401
case=2012 t=12 d=2 p1=0 p2=1 nodes=36 leaves=0 coeff=0 equal=0 seconds=0.000979213
case=2016 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00154565
case=2020 t=12 d=4 p1=1 p2=0 nodes=1087989 leaves=0 coeff=0 equal=0 seconds=0.320553
case=2024 t=12 d=2 p1=0 p2=0 nodes=23277906 leaves=0 coeff=0 equal=0 seconds=4.08538
case=2028 t=12 d=6 p1=0 p2=0 nodes=25834 leaves=0 coeff=0 equal=0 seconds=0.0267023
case=2032 t=12 d=3 p1=0 p2=1 nodes=78101 leaves=0 coeff=0 equal=0 seconds=0.0133376
case=2036 t=12 d=1 p1=1 p2=0 nodes=56548 leaves=0 coeff=0 equal=0 seconds=0.0071682
case=2040 t=12 d=5 p1=1 p2=0 nodes=41240 leaves=0 coeff=0 equal=0 seconds=0.0191591
case=2044 t=12 d=3 p1=0 p2=0 nodes=20012937 leaves=0 coeff=0 equal=0 seconds=4.64477
case=2048 t=12 d=1 p1=0 p2=1 nodes=146 leaves=0 coeff=0 equal=0 seconds=0.00171827
case=2052 t=12 d=5 p1=0 p2=1 nodes=4728 leaves=0 coeff=0 equal=0 seconds=0.0027703
case=2056 t=12 d=3 p1=1 p2=0 nodes=3248546 leaves=0 coeff=0 equal=0 seconds=0.846441
case=2060 t=12 d=1 p1=0 p2=0 nodes=83616374 leaves=0 coeff=0 equal=0 seconds=15.5281
case=2064 t=12 d=5 p1=0 p2=0 nodes=918573 leaves=360 coeff=0 equal=0 seconds=0.519203
case=2068 t=12 d=3 p1=0 p2=1 nodes=1088494 leaves=0 coeff=0 equal=0 seconds=0.211022
case=2072 t=12 d=1 p1=1 p2=0 nodes=2331874 leaves=0 coeff=0 equal=0 seconds=0.344552
case=2076 t=12 d=5 p1=1 p2=0 nodes=31717 leaves=0 coeff=0 equal=0 seconds=0.0133216
case=2080 t=12 d=3 p1=0 p2=0 nodes=39959656 leaves=0 coeff=0 equal=0 seconds=13.3056
case=2084 t=12 d=2 p1=0 p2=1 nodes=2199271 leaves=0 coeff=0 equal=0 seconds=0.433662
case=2088 t=12 d=1 p1=1 p2=0 nodes=16091110 leaves=0 coeff=0 equal=0 seconds=2.82625
case=2092 t=12 d=0 p1=0 p2=0 nodes=47 leaves=0 coeff=0 equal=0 seconds=0.00392389
case=2096 t=12 d=4 p1=0 p2=0 nodes=2016136 leaves=0 coeff=0 equal=0 seconds=0.519547
case=2100 t=12 d=1 p1=1 p2=0 nodes=3722 leaves=0 coeff=0 equal=0 seconds=0.0016647
case=2104 t=12 d=5 p1=1 p2=0 nodes=2686 leaves=0 coeff=0 equal=0 seconds=0.00174225
case=2108 t=12 d=3 p1=0 p2=0 nodes=27705474 leaves=0 coeff=0 equal=0 seconds=6.20777
case=2112 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015152
case=2116 t=12 d=5 p1=0 p2=1 nodes=4382 leaves=0 coeff=0 equal=0 seconds=0.00337257
case=2120 t=12 d=3 p1=1 p2=0 nodes=2802164 leaves=18 coeff=0 equal=0 seconds=0.709018
case=2124 t=12 d=1 p1=0 p2=0 nodes=80175083 leaves=0 coeff=0 equal=0 seconds=13.8487
case=2128 t=12 d=0 p1=0 p2=1 nodes=52 leaves=0 coeff=0 equal=0 seconds=0.00134829
case=2132 t=12 d=4 p1=0 p2=1 nodes=123726 leaves=0 coeff=0 equal=0 seconds=0.0418354
case=2136 t=12 d=3 p1=1 p2=0 nodes=3620736 leaves=0 coeff=0 equal=0 seconds=0.954175
case=2140 t=12 d=2 p1=0 p2=0 nodes=61374359 leaves=0 coeff=0 equal=0 seconds=14.8163
case=2144 t=12 d=2 p1=0 p2=1 nodes=3547802 leaves=0 coeff=0 equal=0 seconds=0.859731
case=2148 t=12 d=2 p1=1 p2=0 nodes=10250479 leaves=0 coeff=0 equal=0 seconds=2.56467
case=2152 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00141346
case=2156 t=13 d=6 p1=0 p2=0 nodes=20592 leaves=0 coeff=0 equal=0 seconds=0.00184223
case=2160 t=13 d=3 p1=0 p2=0 nodes=919678 leaves=0 coeff=0 equal=0 seconds=0.0976081
case=2164 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00488706
case=2168 t=13 d=4 p1=0 p2=0 nodes=12573 leaves=0 coeff=0 equal=0 seconds=0.00217524
case=2172 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000637288
case=2176 t=13 d=5 p1=1 p2=0 nodes=12171 leaves=0 coeff=0 equal=0 seconds=0.00132943
case=2180 t=13 d=2 p1=0 p2=0 nodes=9970 leaves=0 coeff=0 equal=0 seconds=0.0043687
case=2184 t=13 d=6 p1=0 p2=0 nodes=86183 leaves=0 coeff=0 equal=0 seconds=0.0110606
case=2188 t=13 d=3 p1=0 p2=0 nodes=1031831 leaves=0 coeff=0 equal=0 seconds=0.117227
case=2192 t=13 d=0 p1=1 p2=0 nodes=56 leaves=0 coeff=0 equal=0 seconds=0.00156005
case=2196 t=13 d=4 p1=1 p2=0 nodes=184359 leaves=0 coeff=0 equal=0 seconds=0.0220691
case=2200 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00475934
case=2204 t=13 d=5 p1=0 p2=0 nodes=6656 leaves=0 coeff=0 equal=0 seconds=0.00119078
case=2208 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00375835
case=2212 t=13 d=6 p1=0 p2=0 nodes=20217 leaves=0 coeff=0 equal=0 seconds=0.00300241
case=2216 t=13 d=3 p1=0 p2=0 nodes=1430535 leaves=0 coeff=0 equal=0 seconds=0.194867
case=2220 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00520003
case=2224 t=13 d=4 p1=0 p2=0 nodes=13175 leaves=0 coeff=0 equal=0 seconds=0.00262064
case=2228 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000995818
case=2232 t=13 d=5 p1=1 p2=0 nodes=46120 leaves=0 coeff=0 equal=0 seconds=0.00480238
case=2236 t=13 d=2 p1=0 p2=0 nodes=20539 leaves=0 coeff=0 equal=0 seconds=0.00869787
case=2240 t=13 d=6 p1=0 p2=0 nodes=234853 leaves=0 coeff=0 equal=0 seconds=0.0636096
case=2244 t=13 d=3 p1=1 p2=0 nodes=106444 leaves=0 coeff=0 equal=0 seconds=0.012428
case=2248 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0036349
case=2252 t=13 d=4 p1=0 p2=0 nodes=13033022 leaves=0 coeff=0 equal=0 seconds=1.91516
case=2256 t=13 d=1 p1=1 p2=0 nodes=93572 leaves=0 coeff=0 equal=0 seconds=0.0105847
case=2260 t=13 d=5 p1=1 p2=0 nodes=194755 leaves=0 coeff=0 equal=0 seconds=0.039366
case=2264 t=13 d=2 p1=0 p2=0 nodes=3487 leaves=0 coeff=0 equal=0 seconds=0.00329649
case=2268 t=13 d=6 p1=0 p2=0 nodes=27387 leaves=0 coeff=0 equal=0 seconds=0.00895
case=2272 t=13 d=3 p1=1 p2=0 nodes=17310 leaves=0 coeff=0 equal=0 seconds=0.00249815
case=2276 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00370623
case=2280 t=13 d=4 p1=0 p2=0 nodes=2149375 leaves=0 coeff=0 equal=0 seconds=0.467276
case=2284 t=13 d=1 p1=0 p2=0 nodes=63552 leaves=0 coeff=0 equal=0 seconds=0.0134937
case=2288 t=13 d=5 p1=0 p2=0 nodes=7243377 leaves=0 coeff=0 equal=0 seconds=3.09631
case=2292 t=13 d=2 p1=1 p2=0 nodes=101703 leaves=0 coeff=0 equal=0 seconds=0.0106928
case=2296 t=13 d=6 p1=1 p2=0 nodes=18012 leaves=0 coeff=0 equal=0 seconds=0.0050747
case=2300 t=13 d=3 p1=0 p2=0 nodes=249686 leaves=0 coeff=0 equal=0 seconds=0.0316591
case=2304 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00140564
case=2308 t=13 d=4 p1=1 p2=0 nodes=34238 leaves=0 coeff=0 equal=0 seconds=0.00656309
case=2312 t=13 d=1 p1=0 p2=0 nodes=566 leaves=0 coeff=0 equal=0 seconds=0.00273598
case=2316 t=13 d=5 p1=0 p2=0 nodes=2342138 leaves=0 coeff=0 equal=0 seconds=0.816819
case=2320 t=13 d=2 p1=1 p2=0 nodes=37814 leaves=0 coeff=0 equal=0 seconds=0.00466226
case=2324 t=13 d=6 p1=1 p2=0 nodes=9280 leaves=0 coeff=0 equal=0 seconds=0.00269782
case=2328 t=13 d=3 p1=0 p2=0 nodes=87926620 leaves=0 coeff=0 equal=0 seconds=14.9878
case=2332 t=13 d=0 p1=1 p2=0 nodes=146 leaves=0 coeff=0 equal=0 seconds=0.00120341
case=2336 t=13 d=4 p1=1 p2=0 nodes=1539529 leaves=144 coeff=0 equal=0 seconds=0.706207
case=2340 t=13 d=1 p1=0 p2=0 nodes=566 leaves=0 coeff=0 equal=0 seconds=0.0024759
case=2344 t=13 d=5 p1=0 p2=0 nodes=2028509 leaves=0 coeff=0 equal=0 seconds=0.519176
case=2348 t=13 d=2 p1=1 p2=0 nodes=932890 leaves=0 coeff=0 equal=0 seconds=0.189384
case=2352 t=13 d=6 p1=1 p2=0 nodes=5504 leaves=0 coeff=0 equal=0 seconds=0.00158288
case=2356 t=13 d=3 p1=0 p2=0 nodes=73599225 leaves=0 coeff=0 equal=0 seconds=13.053
case=2360 t=13 d=0 p1=1 p2=0 nodes=24941 leaves=0 coeff=0 equal=0 seconds=0.00333317
case=2364 t=13 d=4 p1=1 p2=0 nodes=1543290 leaves=0 coeff=0 equal=0 seconds=0.357821
case=2368 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00390496
case=2372 t=13 d=5 p1=0 p2=0 nodes=353489 leaves=0 coeff=0 equal=0 seconds=0.034655
case=2376 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000333311
case=2380 t=13 d=6 p1=0 p2=1 nodes=4481 leaves=0 coeff=0 equal=0 seconds=0.000440052
case=2384 t=13 d=3 p1=0 p2=0 nodes=3154098 leaves=0 coeff=0 equal=0 seconds=0.328191
case=2388 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0013811
case=2392 t=13 d=4 p1=0 p2=1 nodes=167214 leaves=0 coeff=0 equal=0 seconds=0.0174428
case=2396 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0046293
case=2400 t=13 d=5 p1=0 p2=0 nodes=242879 leaves=0 coeff=0 equal=0 seconds=0.0242974
case=2404 t=13 d=2 p1=0 p2=0 nodes=7617 leaves=0 coeff=0 equal=0 seconds=0.00361583
case=2408 t=13 d=6 p1=0 p2=0 nodes=561095 leaves=0 coeff=0 equal=0 seconds=0.0720469
case=2412 t=13 d=3 p1=0 p2=1 nodes=9721 leaves=0 coeff=0 equal=0 seconds=0.00128278
case=2416 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00136958
case=2420 t=13 d=4 p1=1 p2=0 nodes=167214 leaves=0 coeff=0 equal=0 seconds=0.0176256
case=2424 t=13 d=1 p1=0 p2=0 nodes=132114 leaves=0 coeff=0 equal=0 seconds=0.0172613
case=2428 t=13 d=5 p1=0 p2=0 nodes=1786615 leaves=0 coeff=0 equal=0 seconds=0.2216
case=2432 t=13 d=2 p1=0 p2=1 nodes=1835 leaves=0 coeff=0 equal=0 seconds=0.00103708
case=2436 t=13 d=6 p1=0 p2=1 nodes=17286 leaves=0 coeff=0 equal=0 seconds=0.00210329
case=2440 t=13 d=3 p1=0 p2=0 nodes=7314570 leaves=0 coeff=0 equal=0 seconds=0.995425
case=2444 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134352
case=2448 t=13 d=4 p1=0 p2=1 nodes=555037 leaves=0 coeff=0 equal=0 seconds=0.0712799
case=2452 t=13 d=1 p1=1 p2=0 nodes=883649 leaves=0 coeff=0 equal=0 seconds=0.0865768
case=2456 t=13 d=5 p1=1 p2=0 nodes=162229 leaves=0 coeff=0 equal=0 seconds=0.0226701
case=2460 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00354727
case=2464 t=13 d=6 p1=0 p2=0 nodes=16 leaves=0 coeff=0 equal=0 seconds=0.000382956
case=2468 t=13 d=3 p1=0 p2=0 nodes=1195653 leaves=0 coeff=0 equal=0 seconds=0.195308
case=2472 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00213427
case=2476 t=13 d=4 p1=0 p2=1 nodes=3971 leaves=0 coeff=0 equal=0 seconds=0.00100875
case=2480 t=13 d=1 p1=0 p2=0 nodes=173 leaves=0 coeff=0 equal=0 seconds=0.00491642
case=2484 t=13 d=5 p1=0 p2=0 nodes=871691 leaves=0 coeff=0 equal=0 seconds=0.1586
case=2488 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000916238
case=2492 t=13 d=6 p1=0 p2=1 nodes=5575 leaves=0 coeff=0 equal=0 seconds=0.00079801
case=2496 t=13 d=3 p1=0 p2=0 nodes=8987791 leaves=0 coeff=0 equal=0 seconds=2.20231
case=2500 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00130448
case=2504 t=13 d=4 p1=0 p2=1 nodes=63017 leaves=0 coeff=0 equal=0 seconds=0.0111903
case=2508 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00381339
case=2512 t=13 d=5 p1=0 p2=0 nodes=1667408 leaves=0 coeff=0 equal=0 seconds=0.469174
case=2516 t=13 d=2 p1=1 p2=0 nodes=1835 leaves=0 coeff=0 equal=0 seconds=0.00104109
case=2520 t=13 d=6 p1=1 p2=0 nodes=17286 leaves=0 coeff=0 equal=0 seconds=0.00195818
case=2524 t=13 d=3 p1=0 p2=0 nodes=641536 leaves=0 coeff=0 equal=0 seconds=0.093419
case=2528 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00610133
case=2532 t=13 d=4 p1=0 p2=0 nodes=12518902 leaves=0 coeff=0 equal=0 seconds=2.55324
case=2536 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00108184
case=2540 t=13 d=5 p1=0 p2=1 nodes=107025 leaves=0 coeff=0 equal=0 seconds=0.0131846
case=2544 t=13 d=2 p1=1 p2=0 nodes=127726 leaves=0 coeff=0 equal=0 seconds=0.0140382
case=2548 t=13 d=6 p1=1 p2=0 nodes=75636 leaves=0 coeff=0 equal=0 seconds=0.00981512
case=2552 t=13 d=3 p1=0 p2=0 nodes=5266598 leaves=0 coeff=0 equal=0 seconds=0.71909
case=2556 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00140024
case=2560 t=13 d=4 p1=0 p2=1 nodes=190171 leaves=0 coeff=0 equal=0 seconds=0.0246403
case=2564 t=13 d=1 p1=1 p2=0 nodes=83078 leaves=0 coeff=0 equal=0 seconds=0.00999469
case=2568 t=13 d=5 p1=1 p2=0 nodes=221524 leaves=0 coeff=0 equal=0 seconds=0.0329908
case=2572 t=13 d=2 p1=0 p2=0 nodes=10556503 leaves=0 coeff=0 equal=0 seconds=1.45018
case=2576 t=13 d=6 p1=0 p2=0 nodes=1843261 leaves=0 coeff=0 equal=0 seconds=0.717133
case=2580 t=13 d=3 p1=0 p2=1 nodes=1550820 leaves=0 coeff=0 equal=0 seconds=0.225445
case=2584 t=13 d=0 p1=1 p2=0 nodes=87485 leaves=0 coeff=0 equal=0 seconds=0.00907289
case=2588 t=13 d=4 p1=1 p2=0 nodes=1572677 leaves=0 coeff=0 equal=0 seconds=0.299388
case=2592 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00334019
case=2596 t=13 d=5 p1=0 p2=0 nodes=103534 leaves=0 coeff=0 equal=0 seconds=0.0137915
case=2600 t=13 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000913454
case=2604 t=13 d=6 p1=1 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=7.9059e-05
case=2608 t=13 d=3 p1=0 p2=0 nodes=984387 leaves=0 coeff=0 equal=0 seconds=0.108402
case=2612 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00331129
case=2616 t=13 d=4 p1=0 p2=0 nodes=6203775 leaves=0 coeff=0 equal=0 seconds=1.62715
case=2620 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00112554
case=2624 t=13 d=5 p1=0 p2=1 nodes=47889 leaves=0 coeff=0 equal=0 seconds=0.00801959
case=2628 t=13 d=2 p1=1 p2=0 nodes=47722 leaves=0 coeff=0 equal=0 seconds=0.00593637
case=2632 t=13 d=6 p1=1 p2=0 nodes=10605 leaves=0 coeff=0 equal=0 seconds=0.00230723
case=2636 t=13 d=3 p1=0 p2=0 nodes=22021061 leaves=0 coeff=0 equal=0 seconds=5.52807
case=2640 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0011983
case=2644 t=13 d=4 p1=0 p2=1 nodes=42522 leaves=0 coeff=0 equal=0 seconds=0.00535429
case=2648 t=13 d=1 p1=0 p2=0 nodes=22867454 leaves=0 coeff=0 equal=0 seconds=3.237
case=2652 t=13 d=5 p1=0 p2=0 nodes=14360294 leaves=2160 coeff=0 equal=0 seconds=8.13162
case=2656 t=13 d=2 p1=0 p2=1 nodes=17090 leaves=0 coeff=0 equal=0 seconds=0.00270237
case=2660 t=13 d=6 p1=0 p2=1 nodes=63392 leaves=0 coeff=0 equal=0 seconds=0.0222633
case=2664 t=13 d=3 p1=1 p2=0 nodes=598634 leaves=0 coeff=0 equal=0 seconds=0.162038
case=2668 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00332001
case=2672 t=13 d=4 p1=0 p2=0 nodes=1970135 leaves=0 coeff=0 equal=0 seconds=0.364107
case=2676 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00124314
case=2680 t=13 d=5 p1=1 p2=0 nodes=34278 leaves=0 coeff=0 equal=0 seconds=0.00684249
case=2684 t=13 d=2 p1=0 p2=0 nodes=1465025 leaves=0 coeff=0 equal=0 seconds=0.169211
case=2688 t=13 d=6 p1=0 p2=0 nodes=409573 leaves=0 coeff=0 equal=0 seconds=0.184295
case=2692 t=13 d=3 p1=1 p2=0 nodes=267438 leaves=0 coeff=0 equal=0 seconds=0.0290219
case=2696 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00286144
case=2700 t=13 d=4 p1=0 p2=0 nodes=11923700 leaves=0 coeff=0 equal=0 seconds=2.32927
case=2704 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00110701
case=2708 t=13 d=5 p1=0 p2=1 nodes=74364 leaves=0 coeff=0 equal=0 seconds=0.0153395
case=2712 t=13 d=2 p1=1 p2=0 nodes=2305574 leaves=0 coeff=0 equal=0 seconds=0.344576
case=2716 t=13 d=6 p1=1 p2=0 nodes=7005 leaves=0 coeff=0 equal=0 seconds=0.00210099
case=2720 t=13 d=3 p1=0 p2=0 nodes=77914137 leaves=0 coeff=0 equal=0 seconds=18.8902
case=2724 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00117289
case=2728 t=13 d=4 p1=0 p2=1 nodes=721201 leaves=0 coeff=0 equal=0 seconds=0.111132
case=2732 t=13 d=1 p1=1 p2=0 nodes=138354 leaves=0 coeff=0 equal=0 seconds=0.015962
case=2736 t=13 d=5 p1=1 p2=0 nodes=483611 leaves=780 coeff=0 equal=0 seconds=0.361399
case=2740 t=13 d=2 p1=0 p2=0 nodes=243556125 leaves=0 coeff=0 equal=0 seconds=48.8237
case=2744 t=13 d=6 p1=0 p2=0 nodes=904075 leaves=720 coeff=0 equal=0 seconds=0.554448
case=2748 t=13 d=3 p1=0 p2=1 nodes=3602326 leaves=0 coeff=0 equal=0 seconds=0.58629
case=2752 t=13 d=0 p1=1 p2=0 nodes=153157 leaves=0 coeff=0 equal=0 seconds=0.013609
case=2756 t=13 d=4 p1=1 p2=0 nodes=3246402 leaves=8352 coeff=0 equal=0 seconds=3.32227
case=2760 t=13 d=1 p1=0 p2=0 nodes=44609 leaves=0 coeff=0 equal=0 seconds=0.00961227
case=2764 t=13 d=5 p1=0 p2=0 nodes=3097109 leaves=0 coeff=0 equal=0 seconds=0.799641
case=2768 t=13 d=2 p1=1 p2=0 nodes=556191 leaves=0 coeff=0 equal=0 seconds=0.0672694
case=2772 t=13 d=6 p1=1 p2=0 nodes=5751 leaves=0 coeff=0 equal=0 seconds=0.00235279
case=2776 t=13 d=3 p1=0 p2=0 nodes=103406107 leaves=0 coeff=0 equal=0 seconds=19.9215
case=2780 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00104301
case=2784 t=13 d=4 p1=0 p2=1 nodes=1299930 leaves=0 coeff=0 equal=0 seconds=0.258239
case=2788 t=13 d=1 p1=1 p2=0 nodes=5219360 leaves=0 coeff=0 equal=0 seconds=0.707978
case=2792 t=13 d=5 p1=1 p2=0 nodes=473576 leaves=540 coeff=0 equal=0 seconds=0.326813
case=2796 t=13 d=2 p1=0 p2=0 nodes=226669092 leaves=0 coeff=0 equal=0 seconds=44.8975
case=2800 t=13 d=6 p1=0 p2=0 nodes=154245 leaves=180 coeff=0 equal=0 seconds=0.0810272
case=2804 t=13 d=3 p1=0 p2=1 nodes=6693053 leaves=0 coeff=0 equal=0 seconds=1.29712
case=2808 t=13 d=0 p1=1 p2=0 nodes=35263423 leaves=0 coeff=0 equal=0 seconds=4.27998
case=2812 t=13 d=4 p1=1 p2=0 nodes=2825097 leaves=2712 coeff=0 equal=0 seconds=1.54667
case=2816 t=14 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0038106
case=2820 t=14 d=5 p1=0 p2=0 nodes=205022 leaves=0 coeff=0 equal=0 seconds=0.0198821
case=2824 t=14 d=1 p1=0 p2=0 nodes=381 leaves=0 coeff=0 equal=0 seconds=0.00311413
case=2828 t=14 d=5 p1=0 p2=0 nodes=1291500 leaves=0 coeff=0 equal=0 seconds=0.152497
case=2832 t=14 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000938732
case=2836 t=14 d=5 p1=0 p2=1 nodes=40339 leaves=0 coeff=0 equal=0 seconds=0.0042457
case=2840 t=14 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00225182
case=2844 t=14 d=6 p1=0 p2=0 nodes=26877 leaves=0 coeff=0 equal=0 seconds=0.00328863
case=2848 t=14 d=2 p1=1 p2=0 nodes=9694 leaves=0 coeff=0 equal=0 seconds=0.00158402
case=2852 t=14 d=6 p1=1 p2=0 nodes=12785 leaves=0 coeff=0 equal=0 seconds=0.00126822
case=2856 t=14 d=3 p1=0 p2=0 nodes=984195 leaves=0 coeff=0 equal=0 seconds=0.0981421
case=2860 t=14 d=7 p1=0 p2=0 nodes=101969 leaves=0 coeff=0 equal=0 seconds=0.0218431
case=2864 t=14 d=3 p1=0 p2=0 nodes=3912938 leaves=0 coeff=0 equal=0 seconds=0.485791
case=2868 t=14 d=7 p1=0 p2=0 nodes=431111 leaves=0 coeff=0 equal=0 seconds=0.137038
case=2872 t=14 d=3 p1=0 p2=1 nodes=135138 leaves=0 coeff=0 equal=0 seconds=0.0146981
case=2876 t=14 d=0 p1=1 p2=0 nodes=189 leaves=0 coeff=0 equal=0 seconds=0.00099726
case=2880 t=14 d=4 p1=1 p2=0 nodes=471003 leaves=0 coeff=0 equal=0 seconds=0.0795079
case=2884 t=14 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00330303
case=2888 t=14 d=5 p1=0 p2=0 nodes=597996 leaves=0 coeff=0 equal=0 seconds=0.161905
case=2892 t=14 d=1 p1=0 p2=0 nodes=234200 leaves=0 coeff=0 equal=0 seconds=0.039504
case=2896 t=14 d=5 p1=0 p2=0 nodes=5679109 leaves=0 coeff=0 equal=0 seconds=1.95678
case=2900 t=14 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00105432
case=2904 t=14 d=5 p1=0 p2=1 nodes=77521 leaves=0 coeff=0 equal=0 seconds=0.015705
case=2908 t=14 d=2 p1=0 p2=0 nodes=42276 leaves=0 coeff=0 equal=0 seconds=0.00588687
case=2912 t=14 d=6 p1=0 p2=0 nodes=333227 leaves=0 coeff=0 equal=0 seconds=0.0727106
case=2916 t=14 d=2 p1=1 p2=0 nodes=99610 leaves=0 coeff=0 equal=0 seconds=0.0108023
case=2920 t=14 d=6 p1=1 p2=0 nodes=10705 leaves=0 coeff=0 equal=0 seconds=0.00204994
case=2924 t=14 d=3 p1=0 p2=0 nodes=8121449 leaves=0 coeff=0 equal=0 seconds=1.50719
case=2928 t=14 d=7 p1=0 p2=0 nodes=205751 leaves=0 coeff=0 equal=0 seconds=0.0803434
case=2932 t=14 d=3 p1=1 p2=0 nodes=591906 leaves=0 coeff=0 equal=0 seconds=0.0809946
case=2936 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162594
case=2940 t=14 d=4 p1=0 p2=0 nodes=70484508 leaves=0 coeff=0 equal=0 seconds=22.9721
case=2944 t=14 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199292
case=2948 t=14 d=4 p1=0 p2=1 nodes=1316446 leaves=0 coeff=0 equal=0 seconds=0.189296
case=2952 t=14 d=1 p1=1 p2=0 nodes=395785 leaves=0 coeff=0 equal=0 seconds=0.0412404
case=2956 t=14 d=5 p1=1 p2=0 nodes=593878 leaves=6015 coeff=0 equal=0 seconds=1.6219
case=2960 t=14 d=2 p1=0 p2=0 nodes=10340414 leaves=0 coeff=0 equal=0 seconds=1.42611
case=2964 t=14 d=6 p1=0 p2=0 nodes=1919414 leaves=0 coeff=0 equal=0 seconds=0.405207
case=2968 t=14 d=2 p1=1 p2=0 nodes=1507033 leaves=0 coeff=0 equal=0 seconds=0.172137
case=2972 t=14 d=6 p1=1 p2=0 nodes=64191 leaves=0 coeff=0 equal=0 seconds=0.0137017
case=2976 t=14 d=3 p1=0 p2=0 nodes=192443435 leaves=0 coeff=0 equal=0 seconds=31.8499
case=2980 t=14 d=7 p1=0 p2=0 nodes=345542 leaves=0 coeff=0 equal=0 seconds=0.0712841
case=2984 t=14 d=3 p1=0 p2=1 nodes=9099836 leaves=0 coeff=0 equal=0 seconds=1.3658
case=2988 t=14 d=0 p1=1 p2=0 nodes=85552 leaves=0 coeff=0 equal=0 seconds=0.00781258
case=2992 t=14 d=4 p1=1 p2=0 nodes=5015536 leaves=8379 coeff=0 equal=0 seconds=3.23296
case=2996 t=15 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=8.62e-07
case=3000 t=15 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.4e-07
case=3004 t=15 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=3008 t=15 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.01e-07
case=3012 t=15 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.51e-07
case=3016 t=15 d=5 p1=1 p2=0 nodes=83955 leaves=540 coeff=0 equal=0 seconds=0.144544
case=3020 t=15 d=1 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=7.71e-07
case=3024 t=15 d=5 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.41e-07
case=3028 t=15 d=1 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.4e-07
case=3032 t=15 d=5 p1=1 p2=0 nodes=291350 leaves=3810 coeff=0 equal=0 seconds=1.00271
COMPLETE cases=759 nodes=2774113042 leaves=35742 coeff=0 endpoint_pass=35742 inconsistent=35742 boundsbad=0 rankbad=0 equal=0 found=0