case=2 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000738691
case=6 t=12 d=6 p1=0 p2=0 nodes=2997 leaves=0 coeff=0 equal=0 seconds=0.000560493
case=10 t=12 d=3 p1=0 p2=0 nodes=303565 leaves=0 coeff=0 equal=0 seconds=0.0544564
case=14 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00302135
case=18 t=12 d=4 p1=0 p2=0 nodes=50 leaves=0 coeff=0 equal=0 seconds=0.000349245
case=22 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000357768
case=26 t=12 d=5 p1=1 p2=0 nodes=2152 leaves=0 coeff=0 equal=0 seconds=0.000395024
case=30 t=12 d=3 p1=0 p2=0 nodes=15274 leaves=0 coeff=0 equal=0 seconds=0.00560228
case=34 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00734593
case=38 t=12 d=4 p1=0 p2=0 nodes=881393 leaves=0 coeff=0 equal=0 seconds=0.117801
case=42 t=12 d=1 p1=1 p2=0 nodes=53413 leaves=0 coeff=0 equal=0 seconds=0.00709092
case=46 t=12 d=5 p1=1 p2=0 nodes=12649 leaves=0 coeff=0 equal=0 seconds=0.00155153
case=50 t=12 d=3 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000848466
case=54 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00825165
case=58 t=12 d=4 p1=0 p2=0 nodes=3019 leaves=0 coeff=0 equal=0 seconds=0.00177091
case=62 t=12 d=1 p1=0 p2=0 nodes=8199 leaves=0 coeff=0 equal=0 seconds=0.00604337
case=66 t=12 d=5 p1=0 p2=0 nodes=327845 leaves=0 coeff=0 equal=0 seconds=0.0687874
case=70 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00357205
case=74 t=12 d=6 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000222845
case=78 t=12 d=3 p1=0 p2=0 nodes=73718 leaves=0 coeff=0 equal=0 seconds=0.0106736
case=82 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.003645
case=86 t=12 d=4 p1=0 p2=0 nodes=50 leaves=0 coeff=0 equal=0 seconds=0.000337548
case=90 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000454864
case=94 t=12 d=5 p1=1 p2=0 nodes=6342 leaves=0 coeff=0 equal=0 seconds=0.000768426
case=98 t=12 d=3 p1=0 p2=0 nodes=15256 leaves=0 coeff=0 equal=0 seconds=0.00491722
case=102 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00242461
case=106 t=12 d=4 p1=1 p2=0 nodes=11778 leaves=0 coeff=0 equal=0 seconds=0.0016417
case=110 t=12 d=2 p1=0 p2=0 nodes=225677 leaves=0 coeff=0 equal=0 seconds=0.0316035
case=114 t=12 d=6 p1=0 p2=0 nodes=114443 leaves=0 coeff=0 equal=0 seconds=0.0312341
case=118 t=12 d=3 p1=1 p2=0 nodes=314885 leaves=0 coeff=0 equal=0 seconds=0.0456993
case=122 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00512642
case=126 t=12 d=5 p1=0 p2=0 nodes=202 leaves=0 coeff=0 equal=0 seconds=0.00039925
case=130 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000759673
case=134 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00745333
case=138 t=12 d=4 p1=0 p2=0 nodes=4395 leaves=0 coeff=0 equal=0 seconds=0.00186602
case=142 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143538
case=146 t=12 d=5 p1=1 p2=0 nodes=166 leaves=0 coeff=0 equal=0 seconds=0.000149665
case=150 t=12 d=3 p1=0 p2=0 nodes=24228 leaves=0 coeff=0 equal=0 seconds=0.00512481
case=154 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0056128
case=158 t=12 d=4 p1=0 p2=0 nodes=3484967 leaves=0 coeff=0 equal=0 seconds=0.794456
case=162 t=12 d=1 p1=1 p2=0 nodes=6645 leaves=0 coeff=0 equal=0 seconds=0.00247711
case=166 t=12 d=5 p1=1 p2=0 nodes=14469 leaves=0 coeff=0 equal=0 seconds=0.00391331
case=170 t=12 d=3 p1=0 p2=0 nodes=7400 leaves=0 coeff=0 equal=0 seconds=0.00296633
case=174 t=12 d=0 p1=0 p2=0 nodes=309 leaves=0 coeff=0 equal=0 seconds=0.00494594
case=178 t=12 d=4 p1=0 p2=0 nodes=2579241 leaves=0 coeff=0 equal=0 seconds=0.801895
case=182 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00450483
case=186 t=12 d=5 p1=0 p2=0 nodes=152 leaves=0 coeff=0 equal=0 seconds=0.00033898
case=190 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000462986
case=194 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00669545
case=198 t=12 d=4 p1=0 p2=0 nodes=205153 leaves=0 coeff=0 equal=0 seconds=0.0292081
case=202 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00172921
case=206 t=12 d=5 p1=1 p2=0 nodes=4547 leaves=0 coeff=0 equal=0 seconds=0.00327447
case=210 t=12 d=3 p1=0 p2=0 nodes=4403604 leaves=0 coeff=0 equal=0 seconds=0.674035
case=214 t=12 d=0 p1=1 p2=0 nodes=2379 leaves=0 coeff=0 equal=0 seconds=0.00231556
case=218 t=12 d=4 p1=1 p2=0 nodes=231773 leaves=0 coeff=0 equal=0 seconds=0.0450723
case=222 t=12 d=2 p1=0 p2=0 nodes=87 leaves=0 coeff=0 equal=0 seconds=0.00360095
case=226 t=12 d=6 p1=0 p2=0 nodes=194 leaves=0 coeff=0 equal=0 seconds=0.000347222
case=230 t=12 d=3 p1=1 p2=0 nodes=1143 leaves=0 coeff=0 equal=0 seconds=0.000699442
case=234 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00467032
case=238 t=12 d=5 p1=0 p2=0 nodes=121129 leaves=0 coeff=0 equal=0 seconds=0.0557923
case=242 t=12 d=2 p1=1 p2=0 nodes=571 leaves=0 coeff=0 equal=0 seconds=0.00124315
case=246 t=12 d=0 p1=0 p2=0 nodes=309 leaves=0 coeff=0 equal=0 seconds=0.00435501
case=250 t=12 d=4 p1=0 p2=0 nodes=8011669 leaves=0 coeff=0 equal=0 seconds=3.09618
case=254 t=12 d=1 p1=1 p2=0 nodes=10555 leaves=0 coeff=0 equal=0 seconds=0.00287885
case=258 t=12 d=5 p1=1 p2=0 nodes=23844 leaves=0 coeff=0 equal=0 seconds=0.00983986
case=262 t=12 d=3 p1=0 p2=0 nodes=18961 leaves=0 coeff=0 equal=0 seconds=0.00442373
case=266 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00146987
case=270 t=12 d=4 p1=1 p2=0 nodes=1194 leaves=0 coeff=0 equal=0 seconds=0.000533272
case=274 t=12 d=2 p1=0 p2=0 nodes=54393 leaves=0 coeff=0 equal=0 seconds=0.00918091
case=278 t=12 d=6 p1=0 p2=0 nodes=2618 leaves=0 coeff=0 equal=0 seconds=0.00126872
case=282 t=12 d=3 p1=1 p2=0 nodes=57014 leaves=0 coeff=0 equal=0 seconds=0.00943586
case=286 t=12 d=1 p1=0 p2=0 nodes=1954934 leaves=0 coeff=0 equal=0 seconds=0.256172
case=290 t=12 d=5 p1=0 p2=0 nodes=289884 leaves=0 coeff=0 equal=0 seconds=0.11138
case=294 t=12 d=2 p1=1 p2=0 nodes=1586149 leaves=0 coeff=0 equal=0 seconds=0.24344
case=298 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00529336
case=302 t=12 d=4 p1=0 p2=0 nodes=350988 leaves=0 coeff=0 equal=0 seconds=0.0750156
case=306 t=12 d=1 p1=1 p2=0 nodes=1828 leaves=0 coeff=0 equal=0 seconds=0.00167029
case=310 t=12 d=5 p1=1 p2=0 nodes=837 leaves=0 coeff=0 equal=0 seconds=0.0004588
case=314 t=12 d=3 p1=0 p2=0 nodes=6255070 leaves=0 coeff=0 equal=0 seconds=1.28108
case=318 t=12 d=1 p1=1 p2=0 nodes=5910581 leaves=0 coeff=0 equal=0 seconds=1.07056
case=322 t=12 d=5 p1=1 p2=0 nodes=1827 leaves=0 coeff=0 equal=0 seconds=0.000987725
case=326 t=12 d=3 p1=0 p2=0 nodes=6460 leaves=0 coeff=0 equal=0 seconds=0.00110761
case=330 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000291938
case=334 t=12 d=4 p1=0 p2=1 nodes=2248 leaves=0 coeff=0 equal=0 seconds=0.000396366
case=338 t=12 d=2 p1=0 p2=0 nodes=3328 leaves=0 coeff=0 equal=0 seconds=0.00362921
case=342 t=12 d=6 p1=0 p2=0 nodes=46526 leaves=0 coeff=0 equal=0 seconds=0.00450949
case=346 t=12 d=3 p1=0 p2=0 nodes=1995362 leaves=0 coeff=0 equal=0 seconds=0.220949
case=350 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00117656
case=354 t=12 d=4 p1=0 p2=1 nodes=57522 leaves=0 coeff=0 equal=0 seconds=0.0063204
case=358 t=12 d=2 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00216632
case=362 t=12 d=6 p1=0 p2=0 nodes=28026 leaves=0 coeff=0 equal=0 seconds=0.00298726
case=366 t=12 d=3 p1=0 p2=0 nodes=5861 leaves=0 coeff=0 equal=0 seconds=0.00282645
case=370 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00531439
case=374 t=12 d=4 p1=0 p2=0 nodes=67780 leaves=0 coeff=0 equal=0 seconds=0.0084274
case=378 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000436276
case=382 t=12 d=5 p1=0 p2=1 nodes=6342 leaves=0 coeff=0 equal=0 seconds=0.000734585
case=386 t=12 d=3 p1=1 p2=0 nodes=27861 leaves=0 coeff=0 equal=0 seconds=0.00316559
case=390 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00584142
case=394 t=12 d=5 p1=0 p2=0 nodes=459062 leaves=0 coeff=0 equal=0 seconds=0.0559281
case=398 t=12 d=2 p1=1 p2=0 nodes=41046 leaves=0 coeff=0 equal=0 seconds=0.00520094
case=402 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00774712
case=406 t=12 d=4 p1=0 p2=0 nodes=652461 leaves=0 coeff=0 equal=0 seconds=0.073077
case=410 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158572
case=414 t=12 d=5 p1=0 p2=1 nodes=11449 leaves=0 coeff=0 equal=0 seconds=0.00136707
case=418 t=12 d=3 p1=0 p2=0 nodes=936668 leaves=0 coeff=0 equal=0 seconds=0.103873
case=422 t=12 d=0 p1=0 p2=0 nodes=158 leaves=0 coeff=0 equal=0 seconds=0.00583364
case=426 t=12 d=4 p1=0 p2=0 nodes=5630735 leaves=0 coeff=0 equal=0 seconds=0.93096
case=430 t=12 d=1 p1=0 p2=1 nodes=2042 leaves=0 coeff=0 equal=0 seconds=0.00156774
case=434 t=12 d=5 p1=0 p2=1 nodes=69093 leaves=0 coeff=0 equal=0 seconds=0.00901444
case=438 t=12 d=3 p1=1 p2=0 nodes=579278 leaves=0 coeff=0 equal=0 seconds=0.067251
case=442 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00553414
case=446 t=12 d=5 p1=0 p2=0 nodes=10156 leaves=0 coeff=0 equal=0 seconds=0.00185626
case=450 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00474958
case=454 t=12 d=6 p1=0 p2=0 nodes=4497 leaves=0 coeff=0 equal=0 seconds=0.000709697
case=458 t=12 d=3 p1=0 p2=0 nodes=6460 leaves=0 coeff=0 equal=0 seconds=0.00208264
case=462 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00103831
case=466 t=12 d=4 p1=0 p2=1 nodes=139 leaves=0 coeff=0 equal=0 seconds=0.000182114
case=470 t=12 d=2 p1=0 p2=0 nodes=3328 leaves=0 coeff=0 equal=0 seconds=0.00380686
case=474 t=12 d=6 p1=0 p2=0 nodes=127037 leaves=0 coeff=0 equal=0 seconds=0.0247005
case=478 t=12 d=3 p1=0 p2=0 nodes=63819 leaves=0 coeff=0 equal=0 seconds=0.0101311
case=482 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00223675
case=486 t=12 d=4 p1=0 p2=1 nodes=2731 leaves=0 coeff=0 equal=0 seconds=0.000591289
case=490 t=12 d=2 p1=0 p2=0 nodes=25398 leaves=0 coeff=0 equal=0 seconds=0.00643019
case=494 t=12 d=6 p1=0 p2=0 nodes=63996 leaves=0 coeff=0 equal=0 seconds=0.0125092
case=498 t=12 d=3 p1=0 p2=0 nodes=4274756 leaves=0 coeff=0 equal=0 seconds=0.849165
case=502 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183903
case=506 t=12 d=4 p1=0 p2=1 nodes=21316 leaves=0 coeff=0 equal=0 seconds=0.00398397
case=510 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00449248
case=514 t=12 d=6 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00025895
case=518 t=12 d=3 p1=0 p2=0 nodes=6061 leaves=0 coeff=0 equal=0 seconds=0.00303224
case=522 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161586
case=526 t=12 d=4 p1=0 p2=1 nodes=43 leaves=0 coeff=0 equal=0 seconds=0.000254783
case=530 t=12 d=2 p1=0 p2=0 nodes=425 leaves=0 coeff=0 equal=0 seconds=0.00387834
case=534 t=12 d=6 p1=0 p2=0 nodes=5944 leaves=0 coeff=0 equal=0 seconds=0.00158971
case=538 t=12 d=3 p1=0 p2=0 nodes=444355 leaves=0 coeff=0 equal=0 seconds=0.0563168
case=542 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00183551
case=546 t=12 d=4 p1=0 p2=1 nodes=10948 leaves=0 coeff=0 equal=0 seconds=0.00253086
case=550 t=12 d=2 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00273603
case=554 t=12 d=6 p1=0 p2=0 nodes=70427 leaves=0 coeff=0 equal=0 seconds=0.00829492
case=558 t=12 d=3 p1=1 p2=0 nodes=2360 leaves=0 coeff=0 equal=0 seconds=0.000567584
case=562 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00583209
case=566 t=12 d=5 p1=0 p2=0 nodes=105768 leaves=0 coeff=0 equal=0 seconds=0.0134727
case=570 t=12 d=2 p1=1 p2=0 nodes=281 leaves=0 coeff=0 equal=0 seconds=0.00104177
case=574 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00630868
case=578 t=12 d=4 p1=0 p2=0 nodes=299444 leaves=0 coeff=0 equal=0 seconds=0.0341163
case=582 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00392423
case=586 t=12 d=5 p1=0 p2=0 nodes=397013 leaves=0 coeff=0 equal=0 seconds=0.0696502
case=590 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000490027
case=594 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00105398
case=598 t=12 d=4 p1=1 p2=0 nodes=101558 leaves=0 coeff=0 equal=0 seconds=0.0121934
case=602 t=12 d=2 p1=0 p2=0 nodes=3328 leaves=0 coeff=0 equal=0 seconds=0.00354187
case=606 t=12 d=6 p1=0 p2=0 nodes=253788 leaves=0 coeff=0 equal=0 seconds=0.0475537
case=610 t=12 d=3 p1=1 p2=0 nodes=186353 leaves=0 coeff=0 equal=0 seconds=0.0235761
case=614 t=12 d=1 p1=0 p2=0 nodes=3438 leaves=0 coeff=0 equal=0 seconds=0.00510311
case=618 t=12 d=5 p1=0 p2=0 nodes=906844 leaves=0 coeff=0 equal=0 seconds=0.148515
case=622 t=12 d=2 p1=0 p2=1 nodes=281 leaves=0 coeff=0 equal=0 seconds=0.00134643
case=626 t=12 d=0 p1=1 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00209795
case=630 t=12 d=4 p1=1 p2=0 nodes=126315 leaves=0 coeff=0 equal=0 seconds=0.0162622
case=634 t=12 d=2 p1=0 p2=0 nodes=399980 leaves=0 coeff=0 equal=0 seconds=0.0668372
case=638 t=12 d=6 p1=0 p2=0 nodes=331524 leaves=0 coeff=0 equal=0 seconds=0.085597
case=642 t=12 d=3 p1=1 p2=0 nodes=351611 leaves=0 coeff=0 equal=0 seconds=0.0391688
case=646 t=12 d=1 p1=0 p2=0 nodes=86805 leaves=0 coeff=0 equal=0 seconds=0.0127691
case=650 t=12 d=5 p1=0 p2=0 nodes=4109080 leaves=0 coeff=0 equal=0 seconds=0.89916
case=654 t=12 d=2 p1=0 p2=1 nodes=116429 leaves=0 coeff=0 equal=0 seconds=0.0156169
case=658 t=12 d=0 p1=1 p2=0 nodes=31739 leaves=0 coeff=0 equal=0 seconds=0.00503257
case=662 t=12 d=4 p1=1 p2=0 nodes=835225 leaves=0 coeff=0 equal=0 seconds=0.155158
case=666 t=12 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00575081
case=670 t=12 d=6 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.000336626
case=674 t=12 d=3 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000602817
case=678 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00740329
case=682 t=12 d=5 p1=0 p2=0 nodes=47701 leaves=0 coeff=0 equal=0 seconds=0.00943119
case=686 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00116202
case=690 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00616561
case=694 t=12 d=4 p1=0 p2=0 nodes=8631 leaves=0 coeff=0 equal=0 seconds=0.00245915
case=698 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00532365
case=702 t=12 d=5 p1=0 p2=0 nodes=265515 leaves=0 coeff=0 equal=0 seconds=0.0631338
case=706 t=12 d=2 p1=0 p2=0 nodes=42 leaves=0 coeff=0 equal=0 seconds=0.00402473
case=710 t=12 d=6 p1=0 p2=0 nodes=5943 leaves=0 coeff=0 equal=0 seconds=0.00161301
case=714 t=12 d=3 p1=0 p2=0 nodes=19533 leaves=0 coeff=0 equal=0 seconds=0.00480387
case=718 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00640648
case=722 t=12 d=4 p1=0 p2=0 nodes=30330 leaves=0 coeff=0 equal=0 seconds=0.00625168
case=726 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00121397
case=730 t=12 d=5 p1=0 p2=1 nodes=1547 leaves=0 coeff=0 equal=0 seconds=0.000363997
case=734 t=12 d=3 p1=1 p2=0 nodes=3391 leaves=0 coeff=0 equal=0 seconds=0.000837991
case=738 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00439547
case=742 t=12 d=5 p1=0 p2=0 nodes=2615461 leaves=0 coeff=0 equal=0 seconds=0.964591
case=746 t=12 d=2 p1=1 p2=0 nodes=3944 leaves=0 coeff=0 equal=0 seconds=0.00155769
case=750 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00612057
case=754 t=12 d=4 p1=0 p2=0 nodes=231215 leaves=0 coeff=0 equal=0 seconds=0.0363934
case=758 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0016203
case=762 t=12 d=5 p1=0 p2=1 nodes=1337 leaves=0 coeff=0 equal=0 seconds=0.000395575
case=766 t=12 d=3 p1=1 p2=0 nodes=28449 leaves=0 coeff=0 equal=0 seconds=0.00502871
case=770 t=12 d=1 p1=0 p2=0 nodes=75 leaves=0 coeff=0 equal=0 seconds=0.00440933
case=774 t=12 d=5 p1=0 p2=0 nodes=572507 leaves=0 coeff=0 equal=0 seconds=0.132496
case=778 t=12 d=2 p1=1 p2=0 nodes=10020 leaves=0 coeff=0 equal=0 seconds=0.00241265
case=782 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00504263
case=786 t=12 d=4 p1=0 p2=0 nodes=1414676 leaves=0 coeff=0 equal=0 seconds=0.313464
case=790 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00162005
case=794 t=12 d=5 p1=0 p2=1 nodes=5149 leaves=0 coeff=0 equal=0 seconds=0.0011868
case=798 t=12 d=3 p1=0 p2=0 nodes=1953822 leaves=0 coeff=0 equal=0 seconds=0.334241
case=802 t=12 d=0 p1=0 p2=0 nodes=315 leaves=0 coeff=0 equal=0 seconds=0.00416598
case=806 t=12 d=4 p1=0 p2=0 nodes=17694999 leaves=0 coeff=0 equal=0 seconds=5.3367
case=810 t=12 d=1 p1=0 p2=1 nodes=27 leaves=0 coeff=0 equal=0 seconds=0.00144159
case=814 t=12 d=5 p1=0 p2=1 nodes=40806 leaves=0 coeff=0 equal=0 seconds=0.0110175
case=818 t=12 d=3 p1=1 p2=0 nodes=182438 leaves=0 coeff=0 equal=0 seconds=0.040196
case=822 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00516173
case=826 t=12 d=5 p1=0 p2=0 nodes=14294 leaves=0 coeff=0 equal=0 seconds=0.00264141
case=830 t=12 d=2 p1=0 p2=0 nodes=141271 leaves=0 coeff=0 equal=0 seconds=0.021724
case=834 t=12 d=6 p1=0 p2=0 nodes=5627 leaves=0 coeff=0 equal=0 seconds=0.00369098
case=838 t=12 d=3 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000661215
case=842 t=12 d=1 p1=0 p2=0 nodes=9201 leaves=0 coeff=0 equal=0 seconds=0.00461923
case=846 t=12 d=5 p1=0 p2=0 nodes=412560 leaves=0 coeff=0 equal=0 seconds=0.178169
case=850 t=12 d=2 p1=0 p2=0 nodes=49060170 leaves=0 coeff=0 equal=0 seconds=11.572
case=854 t=12 d=6 p1=0 p2=0 nodes=71838 leaves=0 coeff=0 equal=0 seconds=0.0476666
case=858 t=12 d=3 p1=0 p2=1 nodes=3936 leaves=0 coeff=0 equal=0 seconds=0.00143672
case=862 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00505226
case=866 t=12 d=5 p1=0 p2=0 nodes=1629 leaves=0 coeff=0 equal=0 seconds=0.000938331
case=870 t=12 d=2 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000847365
case=874 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00605988
case=878 t=12 d=4 p1=0 p2=0 nodes=673420 leaves=0 coeff=0 equal=0 seconds=0.0946181
case=882 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00165881
case=886 t=12 d=5 p1=1 p2=0 nodes=25854 leaves=0 coeff=0 equal=0 seconds=0.00386707
case=890 t=12 d=3 p1=0 p2=0 nodes=230770 leaves=0 coeff=0 equal=0 seconds=0.0302659
case=894 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0020546
case=898 t=12 d=4 p1=1 p2=0 nodes=69332 leaves=0 coeff=0 equal=0 seconds=0.00870314
case=902 t=12 d=2 p1=0 p2=0 nodes=3176 leaves=0 coeff=0 equal=0 seconds=0.00361242
case=906 t=12 d=6 p1=0 p2=0 nodes=15 leaves=0 coeff=0 equal=0 seconds=0.000248093
case=910 t=12 d=3 p1=0 p2=1 nodes=40 leaves=0 coeff=0 equal=0 seconds=0.00047873
case=914 t=12 d=1 p1=1 p2=0 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00116568
case=918 t=12 d=5 p1=1 p2=0 nodes=98156 leaves=0 coeff=0 equal=0 seconds=0.0144588
case=922 t=12 d=3 p1=0 p2=0 nodes=2782446 leaves=0 coeff=0 equal=0 seconds=0.382367
case=926 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00174134
case=930 t=12 d=4 p1=1 p2=0 nodes=389988 leaves=0 coeff=0 equal=0 seconds=0.0588363
case=934 t=12 d=2 p1=0 p2=0 nodes=338882 leaves=0 coeff=0 equal=0 seconds=0.0442068
case=938 t=12 d=6 p1=0 p2=0 nodes=108529 leaves=0 coeff=0 equal=0 seconds=0.0358163
case=942 t=12 d=3 p1=0 p2=1 nodes=22095 leaves=0 coeff=0 equal=0 seconds=0.00376085
case=946 t=12 d=1 p1=1 p2=0 nodes=12647 leaves=0 coeff=0 equal=0 seconds=0.00287596
case=950 t=12 d=5 p1=1 p2=0 nodes=59462 leaves=0 coeff=0 equal=0 seconds=0.0126936
case=954 t=12 d=3 p1=0 p2=0 nodes=6099543 leaves=0 coeff=0 equal=0 seconds=0.903723
case=958 t=12 d=0 p1=1 p2=0 nodes=18 leaves=0 coeff=0 equal=0 seconds=0.00200591
case=962 t=12 d=4 p1=1 p2=0 nodes=463518 leaves=0 coeff=0 equal=0 seconds=0.0803452
case=966 t=12 d=2 p1=0 p2=0 nodes=13233907 leaves=0 coeff=0 equal=0 seconds=1.90257
case=970 t=12 d=6 p1=0 p2=0 nodes=80632 leaves=0 coeff=0 equal=0 seconds=0.0323106
case=974 t=12 d=3 p1=0 p2=1 nodes=671488 leaves=0 coeff=0 equal=0 seconds=0.143406
case=978 t=12 d=1 p1=1 p2=0 nodes=1658283 leaves=0 coeff=0 equal=0 seconds=0.209992
case=982 t=12 d=5 p1=1 p2=0 nodes=147681 leaves=0 coeff=0 equal=0 seconds=0.040658
case=986 t=12 d=3 p1=0 p2=0 nodes=6840 leaves=0 coeff=0 equal=0 seconds=0.0032644
case=990 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00199046
case=994 t=12 d=4 p1=1 p2=0 nodes=13473 leaves=0 coeff=0 equal=0 seconds=0.00255024
case=998 t=12 d=2 p1=0 p2=0 nodes=10258 leaves=0 coeff=0 equal=0 seconds=0.00444171
case=1002 t=12 d=6 p1=0 p2=0 nodes=2103 leaves=0 coeff=0 equal=0 seconds=0.00178351
case=1006 t=12 d=3 p1=1 p2=0 nodes=5197 leaves=0 coeff=0 equal=0 seconds=0.00133176
case=1010 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00399914
case=1014 t=12 d=5 p1=0 p2=0 nodes=204749 leaves=0 coeff=0 equal=0 seconds=0.061119
case=1018 t=12 d=2 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00118452
case=1022 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00475389
case=1026 t=12 d=4 p1=0 p2=0 nodes=1457764 leaves=0 coeff=0 equal=0 seconds=0.414851
case=1030 t=12 d=1 p1=0 p2=0 nodes=2607 leaves=0 coeff=0 equal=0 seconds=0.00446374
case=1034 t=12 d=5 p1=0 p2=0 nodes=185385 leaves=0 coeff=0 equal=0 seconds=0.0580741
case=1038 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00105826
case=1042 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00191128
case=1046 t=12 d=4 p1=1 p2=0 nodes=27510 leaves=0 coeff=0 equal=0 seconds=0.00581615
case=1050 t=12 d=2 p1=0 p2=0 nodes=1180848 leaves=0 coeff=0 equal=0 seconds=0.160927
case=1054 t=12 d=6 p1=0 p2=0 nodes=27693 leaves=0 coeff=0 equal=0 seconds=0.0144159
case=1058 t=12 d=3 p1=1 p2=0 nodes=178450 leaves=0 coeff=0 equal=0 seconds=0.0363742
case=1062 t=12 d=1 p1=0 p2=0 nodes=597034 leaves=0 coeff=0 equal=0 seconds=0.0713673
case=1066 t=12 d=5 p1=0 p2=0 nodes=1537755 leaves=0 coeff=0 equal=0 seconds=0.757898
case=1070 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0014529
case=1074 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00265018
case=1078 t=12 d=4 p1=1 p2=0 nodes=73775 leaves=0 coeff=0 equal=0 seconds=0.0323942
case=1082 t=12 d=2 p1=0 p2=0 nodes=25357962 leaves=0 coeff=0 equal=0 seconds=5.85909
case=1086 t=12 d=6 p1=0 p2=0 nodes=81030 leaves=0 coeff=0 equal=0 seconds=0.0714777
case=1090 t=12 d=3 p1=1 p2=0 nodes=121117 leaves=0 coeff=0 equal=0 seconds=0.0172172
case=1094 t=12 d=1 p1=0 p2=0 nodes=30009485 leaves=0 coeff=0 equal=0 seconds=4.24836
case=1098 t=12 d=5 p1=0 p2=0 nodes=3121570 leaves=0 coeff=0 equal=0 seconds=2.00658
case=1102 t=12 d=2 p1=0 p2=1 nodes=22560 leaves=0 coeff=0 equal=0 seconds=0.00609691
case=1106 t=12 d=0 p1=1 p2=0 nodes=2337 leaves=0 coeff=0 equal=0 seconds=0.00256436
case=1110 t=12 d=4 p1=1 p2=0 nodes=693807 leaves=288 coeff=0 equal=0 seconds=0.350158
case=1114 t=12 d=2 p1=0 p2=0 nodes=10258 leaves=0 coeff=0 equal=0 seconds=0.00419706
case=1118 t=12 d=6 p1=0 p2=0 nodes=453 leaves=0 coeff=0 equal=0 seconds=0.000806824
case=1122 t=12 d=3 p1=1 p2=0 nodes=26440 leaves=0 coeff=0 equal=0 seconds=0.0043845
case=1126 t=12 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00373931
case=1130 t=12 d=5 p1=0 p2=0 nodes=167749 leaves=0 coeff=0 equal=0 seconds=0.0439968
case=1134 t=12 d=2 p1=1 p2=0 nodes=3238 leaves=0 coeff=0 equal=0 seconds=0.0015662
case=1138 t=12 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00420096
case=1142 t=12 d=4 p1=0 p2=0 nodes=3900036 leaves=0 coeff=0 equal=0 seconds=0.971895
case=1146 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00152742
case=1150 t=12 d=5 p1=1 p2=0 nodes=19573 leaves=0 coeff=0 equal=0 seconds=0.00703271
case=1154 t=12 d=3 p1=0 p2=0 nodes=1789219 leaves=0 coeff=0 equal=0 seconds=0.365671
case=1158 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00158621
case=1162 t=12 d=4 p1=0 p2=1 nodes=10581 leaves=0 coeff=0 equal=0 seconds=0.0025772
case=1166 t=12 d=2 p1=1 p2=0 nodes=187393 leaves=0 coeff=0 equal=0 seconds=0.0327555
case=1170 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00375989
case=1174 t=12 d=4 p1=0 p2=0 nodes=3594586 leaves=0 coeff=0 equal=0 seconds=0.827521
case=1178 t=12 d=1 p1=1 p2=0 nodes=40283 leaves=0 coeff=0 equal=0 seconds=0.0067373
case=1182 t=12 d=5 p1=1 p2=0 nodes=7563 leaves=0 coeff=0 equal=0 seconds=0.00299618
case=1186 t=12 d=3 p1=0 p2=0 nodes=19595564 leaves=0 coeff=0 equal=0 seconds=4.07314
case=1190 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00430478
case=1194 t=12 d=4 p1=0 p2=1 nodes=85900 leaves=0 coeff=0 equal=0 seconds=0.0167438
case=1198 t=12 d=2 p1=1 p2=0 nodes=512498 leaves=0 coeff=0 equal=0 seconds=0.0795676
case=1202 t=12 d=0 p1=0 p2=0 nodes=19999 leaves=0 coeff=0 equal=0 seconds=0.00503365
case=1206 t=12 d=4 p1=0 p2=0 nodes=13122170 leaves=0 coeff=0 equal=0 seconds=4.6394
case=1210 t=12 d=1 p1=1 p2=0 nodes=56481 leaves=0 coeff=0 equal=0 seconds=0.00719455
case=1214 t=12 d=5 p1=1 p2=0 nodes=53586 leaves=0 coeff=0 equal=0 seconds=0.0216305
case=1218 t=12 d=3 p1=0 p2=0 nodes=57951243 leaves=0 coeff=0 equal=0 seconds=14.9249
case=1222 t=12 d=1 p1=0 p2=1 nodes=18554 leaves=0 coeff=0 equal=0 seconds=0.00356116
case=1226 t=12 d=5 p1=0 p2=1 nodes=9499 leaves=0 coeff=0 equal=0 seconds=0.00310443
case=1230 t=12 d=3 p1=1 p2=0 nodes=4002267 leaves=0 coeff=0 equal=0 seconds=0.836409
case=1234 t=12 d=1 p1=0 p2=0 nodes=6396 leaves=0 coeff=0 equal=0 seconds=0.00477927
case=1238 t=12 d=5 p1=0 p2=0 nodes=315597 leaves=0 coeff=0 equal=0 seconds=0.0887535
case=1242 t=12 d=2 p1=1 p2=0 nodes=331155 leaves=0 coeff=0 equal=0 seconds=0.050346
case=1246 t=12 d=0 p1=0 p2=0 nodes=588 leaves=0 coeff=0 equal=0 seconds=0.0034709
case=1250 t=12 d=4 p1=0 p2=0 nodes=2906268 leaves=0 coeff=0 equal=0 seconds=0.792977
case=1254 t=12 d=2 p1=0 p2=1 nodes=126484 leaves=0 coeff=0 equal=0 seconds=0.0199431
case=1258 t=12 d=0 p1=1 p2=0 nodes=3493 leaves=0 coeff=0 equal=0 seconds=0.0021614
case=1262 t=12 d=4 p1=1 p2=0 nodes=178533 leaves=0 coeff=0 equal=0 seconds=0.048034
case=1266 t=12 d=2 p1=0 p2=0 nodes=29821332 leaves=0 coeff=0 equal=0 seconds=5.32127
case=1270 t=12 d=0 p1=1 p2=0 nodes=7168 leaves=0 coeff=0 equal=0 seconds=0.00207634
case=1274 t=12 d=4 p1=1 p2=0 nodes=300548 leaves=0 coeff=0 equal=0 seconds=0.0909711
case=1278 t=12 d=2 p1=0 p2=0 nodes=61283358 leaves=0 coeff=0 equal=0 seconds=12.2625
case=1282 t=12 d=1 p1=0 p2=1 nodes=1043050 leaves=0 coeff=0 equal=0 seconds=0.155009
case=1286 t=12 d=0 p1=1 p2=0 nodes=17486291 leaves=0 coeff=0 equal=0 seconds=2.21829
case=1290 t=12 d=4 p1=1 p2=0 nodes=140976 leaves=6 coeff=0 equal=0 seconds=0.0479168
case=1294 t=12 d=3 p1=0 p2=0 nodes=410595 leaves=0 coeff=0 equal=0 seconds=0.0448562
case=1298 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000566532
case=1302 t=12 d=4 p1=0 p2=1 nodes=33557 leaves=0 coeff=0 equal=0 seconds=0.0035018
case=1306 t=12 d=2 p1=0 p2=0 nodes=2748671 leaves=0 coeff=0 equal=0 seconds=0.307091
case=1310 t=12 d=6 p1=0 p2=0 nodes=133365 leaves=0 coeff=0 equal=0 seconds=0.0152428
case=1314 t=12 d=3 p1=0 p2=1 nodes=224845 leaves=0 coeff=0 equal=0 seconds=0.023832
case=1318 t=12 d=1 p1=0 p2=0 nodes=1900 leaves=0 coeff=0 equal=0 seconds=0.00552788
case=1322 t=12 d=5 p1=0 p2=0 nodes=423724 leaves=0 coeff=0 equal=0 seconds=0.0456607
case=1326 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000594675
case=1330 t=12 d=0 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00551093
case=1334 t=12 d=4 p1=0 p2=0 nodes=1450339 leaves=0 coeff=0 equal=0 seconds=0.189268
case=1338 t=12 d=1 p1=0 p2=1 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.00081777
case=1342 t=12 d=5 p1=0 p2=1 nodes=56101 leaves=0 coeff=0 equal=0 seconds=0.00643195
case=1346 t=12 d=3 p1=1 p2=0 nodes=224845 leaves=0 coeff=0 equal=0 seconds=0.0244793
case=1350 t=12 d=1 p1=0 p2=0 nodes=527986 leaves=0 coeff=0 equal=0 seconds=0.0576017
case=1354 t=12 d=5 p1=0 p2=0 nodes=1575269 leaves=0 coeff=0 equal=0 seconds=0.301764
case=1358 t=12 d=2 p1=0 p2=1 nodes=50129 leaves=0 coeff=0 equal=0 seconds=0.00663982
case=1362 t=12 d=0 p1=0 p2=0 nodes=102868 leaves=0 coeff=0 equal=0 seconds=0.0169691
case=1366 t=12 d=4 p1=0 p2=0 nodes=6124716 leaves=0 coeff=0 equal=0 seconds=1.11043
case=1370 t=12 d=1 p1=0 p2=1 nodes=69403 leaves=0 coeff=0 equal=0 seconds=0.00860234
case=1374 t=12 d=5 p1=0 p2=1 nodes=138379 leaves=0 coeff=0 equal=0 seconds=0.0195755
case=1378 t=12 d=3 p1=1 p2=0 nodes=688813 leaves=0 coeff=0 equal=0 seconds=0.0875619
case=1382 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00574773
case=1386 t=12 d=5 p1=0 p2=0 nodes=173179 leaves=0 coeff=0 equal=0 seconds=0.0192959
case=1390 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000936289
case=1394 t=12 d=0 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00566029
case=1398 t=12 d=4 p1=0 p2=0 nodes=1372840 leaves=0 coeff=0 equal=0 seconds=0.247257
case=1402 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128536
case=1406 t=12 d=5 p1=0 p2=1 nodes=13056 leaves=0 coeff=0 equal=0 seconds=0.00208469
case=1410 t=12 d=3 p1=0 p2=0 nodes=1207103 leaves=0 coeff=0 equal=0 seconds=0.138622
case=1414 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00193243
case=1418 t=12 d=4 p1=0 p2=1 nodes=24613 leaves=0 coeff=0 equal=0 seconds=0.00534417
case=1422 t=12 d=2 p1=0 p2=0 nodes=5454523 leaves=0 coeff=0 equal=0 seconds=1.11871
case=1426 t=12 d=6 p1=0 p2=0 nodes=132782 leaves=0 coeff=0 equal=0 seconds=0.0520772
case=1430 t=12 d=3 p1=0 p2=1 nodes=46545 leaves=0 coeff=0 equal=0 seconds=0.00802026
case=1434 t=12 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00586051
case=1438 t=12 d=5 p1=0 p2=0 nodes=50505 leaves=0 coeff=0 equal=0 seconds=0.0214409
case=1442 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00102792
case=1446 t=12 d=0 p1=0 p2=0 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00574432
case=1450 t=12 d=4 p1=0 p2=0 nodes=160265 leaves=0 coeff=0 equal=0 seconds=0.0851459
case=1454 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00161293
case=1458 t=12 d=5 p1=0 p2=1 nodes=2724 leaves=0 coeff=0 equal=0 seconds=0.000474223
case=1462 t=12 d=3 p1=0 p2=0 nodes=770414 leaves=0 coeff=0 equal=0 seconds=0.193666
case=1466 t=12 d=0 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00163308
case=1470 t=12 d=4 p1=0 p2=1 nodes=25931 leaves=0 coeff=0 equal=0 seconds=0.00521539
case=1474 t=12 d=2 p1=0 p2=0 nodes=1050 leaves=0 coeff=0 equal=0 seconds=0.00692922
case=1478 t=12 d=6 p1=0 p2=0 nodes=68638 leaves=0 coeff=0 equal=0 seconds=0.00971206
case=1482 t=12 d=3 p1=0 p2=0 nodes=457809 leaves=0 coeff=0 equal=0 seconds=0.0598402
case=1486 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0015781
case=1490 t=12 d=4 p1=0 p2=1 nodes=24409 leaves=0 coeff=0 equal=0 seconds=0.00350405
case=1494 t=12 d=2 p1=1 p2=0 nodes=50129 leaves=0 coeff=0 equal=0 seconds=0.00686648
case=1498 t=12 d=0 p1=0 p2=0 nodes=193 leaves=0 coeff=0 equal=0 seconds=0.00477385
case=1502 t=12 d=4 p1=0 p2=0 nodes=1895755 leaves=0 coeff=0 equal=0 seconds=0.219711
case=1506 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00166366
case=1510 t=12 d=5 p1=0 p2=1 nodes=25002 leaves=0 coeff=0 equal=0 seconds=0.00321077
case=1514 t=12 d=3 p1=0 p2=0 nodes=2443475 leaves=0 coeff=0 equal=0 seconds=0.388937
case=1518 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00135868
case=1522 t=12 d=4 p1=0 p2=1 nodes=219098 leaves=0 coeff=0 equal=0 seconds=0.0312478
case=1526 t=12 d=2 p1=1 p2=0 nodes=485889 leaves=0 coeff=0 equal=0 seconds=0.0692086
case=1530 t=12 d=0 p1=0 p2=0 nodes=47832 leaves=0 coeff=0 equal=0 seconds=0.00948685
case=1534 t=12 d=4 p1=0 p2=0 nodes=7972495 leaves=0 coeff=0 equal=0 seconds=1.40157
case=1538 t=12 d=1 p1=0 p2=1 nodes=940 leaves=0 coeff=0 equal=0 seconds=0.00151026
case=1542 t=12 d=5 p1=0 p2=1 nodes=165086 leaves=0 coeff=0 equal=0 seconds=0.0272617
case=1546 t=12 d=3 p1=1 p2=0 nodes=1037128 leaves=0 coeff=0 equal=0 seconds=0.120059
case=1550 t=12 d=1 p1=0 p2=0 nodes=3612471 leaves=0 coeff=0 equal=0 seconds=0.454962
case=1554 t=12 d=5 p1=0 p2=0 nodes=2321408 leaves=0 coeff=0 equal=0 seconds=0.669301
case=1558 t=12 d=2 p1=0 p2=1 nodes=1282981 leaves=0 coeff=0 equal=0 seconds=0.198751
case=1562 t=12 d=0 p1=1 p2=0 nodes=418997 leaves=0 coeff=0 equal=0 seconds=0.0357692
case=1566 t=12 d=4 p1=1 p2=0 nodes=886614 leaves=0 coeff=0 equal=0 seconds=0.198333
case=1570 t=12 d=2 p1=0 p2=0 nodes=20 leaves=0 coeff=0 equal=0 seconds=0.00392263
case=1574 t=12 d=6 p1=0 p2=0 nodes=198 leaves=0 coeff=0 equal=0 seconds=0.00062525
case=1578 t=12 d=3 p1=0 p2=0 nodes=189760 leaves=0 coeff=0 equal=0 seconds=0.0257529
case=1582 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00190215
case=1586 t=12 d=4 p1=0 p2=1 nodes=1875 leaves=0 coeff=0 equal=0 seconds=0.000593273
case=1590 t=12 d=2 p1=1 p2=0 nodes=520 leaves=0 coeff=0 equal=0 seconds=0.00110383
case=1594 t=12 d=0 p1=0 p2=0 nodes=21 leaves=0 coeff=0 equal=0 seconds=0.00491923
case=1598 t=12 d=4 p1=0 p2=0 nodes=3092077 leaves=0 coeff=0 equal=0 seconds=0.803037
case=1602 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00145686
case=1606 t=12 d=5 p1=0 p2=1 nodes=4530 leaves=0 coeff=0 equal=0 seconds=0.000829177
case=1610 t=12 d=3 p1=0 p2=0 nodes=876194 leaves=0 coeff=0 equal=0 seconds=0.103003
case=1614 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00206469
case=1618 t=12 d=4 p1=0 p2=1 nodes=6759 leaves=0 coeff=0 equal=0 seconds=0.00125986
case=1622 t=12 d=2 p1=0 p2=0 nodes=2400884 leaves=0 coeff=0 equal=0 seconds=0.587765
case=1626 t=12 d=6 p1=0 p2=0 nodes=2936 leaves=0 coeff=0 equal=0 seconds=0.00231314
case=1630 t=12 d=3 p1=0 p2=1 nodes=6805 leaves=0 coeff=0 equal=0 seconds=0.00229656
case=1634 t=12 d=1 p1=1 p2=0 nodes=2870 leaves=0 coeff=0 equal=0 seconds=0.0024945
case=1638 t=12 d=5 p1=1 p2=0 nodes=52261 leaves=0 coeff=0 equal=0 seconds=0.0210193
case=1642 t=12 d=3 p1=0 p2=0 nodes=2424341 leaves=0 coeff=0 equal=0 seconds=0.592694
case=1646 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00254733
case=1650 t=12 d=4 p1=0 p2=1 nodes=60996 leaves=0 coeff=0 equal=0 seconds=0.0255153
case=1654 t=12 d=2 p1=1 p2=0 nodes=62407 leaves=0 coeff=0 equal=0 seconds=0.0136108
case=1658 t=12 d=0 p1=0 p2=0 nodes=62041 leaves=0 coeff=0 equal=0 seconds=0.0144481
case=1662 t=12 d=4 p1=0 p2=0 nodes=7311894 leaves=0 coeff=0 equal=0 seconds=2.37476
case=1666 t=12 d=1 p1=0 p2=1 nodes=21 leaves=0 coeff=0 equal=0 seconds=0.00194127
case=1670 t=12 d=5 p1=0 p2=1 nodes=40809 leaves=0 coeff=0 equal=0 seconds=0.0185623
case=1674 t=12 d=3 p1=0 p2=0 nodes=35302707 leaves=0 coeff=0 equal=0 seconds=10.1238
case=1678 t=12 d=0 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00148838
case=1682 t=12 d=4 p1=0 p2=1 nodes=173112 leaves=0 coeff=0 equal=0 seconds=0.0506746
case=1686 t=12 d=2 p1=1 p2=0 nodes=286218 leaves=0 coeff=0 equal=0 seconds=0.0420771
case=1690 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00575944
case=1694 t=12 d=4 p1=0 p2=0 nodes=4998 leaves=0 coeff=0 equal=0 seconds=0.00228498
case=1698 t=12 d=1 p1=0 p2=0 nodes=72 leaves=0 coeff=0 equal=0 seconds=0.00517447
case=1702 t=12 d=5 p1=0 p2=0 nodes=121618 leaves=0 coeff=0 equal=0 seconds=0.0269476
case=1706 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00111202
case=1710 t=12 d=0 p1=0 p2=0 nodes=14445 leaves=0 coeff=0 equal=0 seconds=0.00555742
case=1714 t=12 d=4 p1=0 p2=0 nodes=4174676 leaves=0 coeff=0 equal=0 seconds=1.55353
case=1718 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00136853
case=1722 t=12 d=5 p1=0 p2=1 nodes=11192 leaves=0 coeff=0 equal=0 seconds=0.00317067
case=1726 t=12 d=3 p1=0 p2=0 nodes=37155906 leaves=0 coeff=0 equal=0 seconds=14.1529
case=1730 t=12 d=0 p1=0 p2=1 nodes=10 leaves=0 coeff=0 equal=0 seconds=0.00150815
case=1734 t=12 d=4 p1=0 p2=1 nodes=94672 leaves=0 coeff=0 equal=0 seconds=0.0352771
case=1738 t=12 d=2 p1=0 p2=0 nodes=9759 leaves=0 coeff=0 equal=0 seconds=0.00432852
case=1742 t=12 d=6 p1=0 p2=0 nodes=187 leaves=0 coeff=0 equal=0 seconds=0.000527924
case=1746 t=12 d=3 p1=1 p2=0 nodes=20943 leaves=0 coeff=0 equal=0 seconds=0.00366604
case=1750 t=12 d=1 p1=0 p2=0 nodes=211 leaves=0 coeff=0 equal=0 seconds=0.00371697
case=1754 t=12 d=5 p1=0 p2=0 nodes=230930 leaves=0 coeff=0 equal=0 seconds=0.0422409
case=1758 t=12 d=2 p1=0 p2=0 nodes=1147183 leaves=0 coeff=0 equal=0 seconds=0.186403
case=1762 t=12 d=6 p1=0 p2=0 nodes=321 leaves=0 coeff=0 equal=0 seconds=0.000758601
case=1766 t=12 d=3 p1=0 p2=1 nodes=3600 leaves=0 coeff=0 equal=0 seconds=0.00107721
case=1770 t=12 d=1 p1=1 p2=0 nodes=940 leaves=0 coeff=0 equal=0 seconds=0.00154214
case=1774 t=12 d=5 p1=1 p2=0 nodes=165086 leaves=0 coeff=0 equal=0 seconds=0.0278783
case=1778 t=12 d=3 p1=0 p2=0 nodes=3176274 leaves=0 coeff=0 equal=0 seconds=0.471382
case=1782 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00166589
case=1786 t=12 d=4 p1=0 p2=1 nodes=65166 leaves=0 coeff=0 equal=0 seconds=0.0101321
case=1790 t=12 d=2 p1=1 p2=0 nodes=321086 leaves=0 coeff=0 equal=0 seconds=0.0385944
case=1794 t=12 d=0 p1=0 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00441003
case=1798 t=12 d=4 p1=0 p2=0 nodes=8848671 leaves=0 coeff=0 equal=0 seconds=2.46909
case=1802 t=12 d=1 p1=0 p2=1 nodes=12 leaves=0 coeff=0 equal=0 seconds=0.001295
case=1806 t=12 d=5 p1=0 p2=1 nodes=66750 leaves=0 coeff=0 equal=0 seconds=0.0132804
case=1810 t=12 d=3 p1=1 p2=0 nodes=1568796 leaves=0 coeff=0 equal=0 seconds=0.251206
case=1814 t=12 d=1 p1=0 p2=0 nodes=3269454 leaves=0 coeff=0 equal=0 seconds=0.407012
case=1818 t=12 d=5 p1=0 p2=0 nodes=3284290 leaves=0 coeff=0 equal=0 seconds=1.1744
case=1822 t=12 d=2 p1=0 p2=1 nodes=100631 leaves=0 coeff=0 equal=0 seconds=0.0148155
case=1826 t=12 d=0 p1=1 p2=0 nodes=34910 leaves=0 coeff=0 equal=0 seconds=0.00532035
case=1830 t=12 d=4 p1=1 p2=0 nodes=1073783 leaves=0 coeff=0 equal=0 seconds=0.232671
case=1834 t=12 d=2 p1=0 p2=0 nodes=37594184 leaves=0 coeff=0 equal=0 seconds=6.85477
case=1838 t=12 d=0 p1=0 p2=1 nodes=1544 leaves=0 coeff=0 equal=0 seconds=0.00155949
case=1842 t=12 d=4 p1=0 p2=1 nodes=544346 leaves=0 coeff=0 equal=0 seconds=0.124779
case=1846 t=12 d=2 p1=1 p2=0 nodes=8444242 leaves=0 coeff=0 equal=0 seconds=1.44359
case=1850 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0053403
case=1854 t=12 d=4 p1=0 p2=0 nodes=123207 leaves=0 coeff=0 equal=0 seconds=0.0170852
case=1858 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00163618
case=1862 t=12 d=5 p1=1 p2=0 nodes=113 leaves=0 coeff=0 equal=0 seconds=0.000289886
case=1866 t=12 d=3 p1=0 p2=0 nodes=659446 leaves=0 coeff=0 equal=0 seconds=0.0753646
case=1870 t=12 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00482743
case=1874 t=12 d=4 p1=0 p2=0 nodes=525667 leaves=0 coeff=0 equal=0 seconds=0.102765
case=1878 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00143348
case=1882 t=12 d=5 p1=0 p2=1 nodes=953 leaves=0 coeff=0 equal=0 seconds=0.000475996
case=1886 t=12 d=3 p1=1 p2=0 nodes=184195 leaves=0 coeff=0 equal=0 seconds=0.0553987
case=1890 t=12 d=1 p1=0 p2=0 nodes=149903 leaves=0 coeff=0 equal=0 seconds=0.0183343
case=1894 t=12 d=5 p1=0 p2=0 nodes=1222624 leaves=0 coeff=0 equal=0 seconds=0.557751
case=1898 t=12 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00103004
case=1902 t=12 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00170054
case=1906 t=12 d=4 p1=1 p2=0 nodes=105594 leaves=0 coeff=0 equal=0 seconds=0.0349744
case=1910 t=12 d=2 p1=0 p2=0 nodes=7552308 leaves=0 coeff=0 equal=0 seconds=1.82024
case=1914 t=12 d=6 p1=0 p2=0 nodes=41019 leaves=0 coeff=0 equal=0 seconds=0.0336572
case=1918 t=12 d=3 p1=0 p2=1 nodes=3157 leaves=0 coeff=0 equal=0 seconds=0.00110696
case=1922 t=12 d=1 p1=0 p2=0 nodes=2406464 leaves=0 coeff=0 equal=0 seconds=0.320319
case=1926 t=12 d=5 p1=0 p2=0 nodes=1121190 leaves=0 coeff=0 equal=0 seconds=0.468187
case=1930 t=12 d=2 p1=0 p2=1 nodes=2658 leaves=0 coeff=0 equal=0 seconds=0.00156991
case=1934 t=12 d=0 p1=1 p2=0 nodes=196 leaves=0 coeff=0 equal=0 seconds=0.00202578
case=1938 t=12 d=4 p1=1 p2=0 nodes=296772 leaves=0 coeff=0 equal=0 seconds=0.152297
case=1942 t=12 d=2 p1=0 p2=0 nodes=113030304 leaves=0 coeff=0 equal=0 seconds=34.5546
case=1946 t=12 d=6 p1=0 p2=0 nodes=52742 leaves=0 coeff=0 equal=0 seconds=0.043663
case=1950 t=12 d=3 p1=0 p2=1 nodes=90835 leaves=0 coeff=0 equal=0 seconds=0.0142094
case=1954 t=12 d=1 p1=1 p2=0 nodes=58092 leaves=0 coeff=0 equal=0 seconds=0.0077103
case=1958 t=12 d=5 p1=1 p2=0 nodes=44809 leaves=0 coeff=0 equal=0 seconds=0.0220061
case=1962 t=12 d=3 p1=0 p2=0 nodes=105924073 leaves=0 coeff=0 equal=0 seconds=49.1544
case=1966 t=12 d=1 p1=0 p2=1 nodes=12629 leaves=0 coeff=0 equal=0 seconds=0.00269288
case=1970 t=12 d=5 p1=0 p2=1 nodes=22724 leaves=0 coeff=0 equal=0 seconds=0.0127992
case=1974 t=12 d=3 p1=1 p2=0 nodes=1410274 leaves=858 coeff=0 equal=0 seconds=0.802582
case=1978 t=12 d=1 p1=0 p2=0 nodes=87 leaves=0 coeff=0 equal=0 seconds=0.00352688
case=1982 t=12 d=5 p1=0 p2=0 nodes=163805 leaves=0 coeff=0 equal=0 seconds=0.0806056
case=1986 t=12 d=2 p1=1 p2=0 nodes=7028 leaves=0 coeff=0 equal=0 seconds=0.00269504
case=1990 t=12 d=0 p1=0 p2=0 nodes=47 leaves=0 coeff=0 equal=0 seconds=0.00476985
case=1994 t=12 d=4 p1=0 p2=0 nodes=1873557 leaves=0 coeff=0 equal=0 seconds=0.606775
case=1998 t=12 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.001268
case=2002 t=12 d=5 p1=1 p2=0 nodes=6366 leaves=0 coeff=0 equal=0 seconds=0.00207872
case=2006 t=12 d=3 p1=0 p2=0 nodes=9833686 leaves=0 coeff=0 equal=0 seconds=1.94455
case=2010 t=12 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00165732
case=2014 t=12 d=4 p1=0 p2=1 nodes=217592 leaves=0 coeff=0 equal=0 seconds=0.0414606
case=2018 t=12 d=2 p1=1 p2=0 nodes=783181 leaves=0 coeff=0 equal=0 seconds=0.116051
case=2022 t=12 d=0 p1=0 p2=0 nodes=18364 leaves=0 coeff=0 equal=0 seconds=0.00466919
case=2026 t=12 d=4 p1=0 p2=0 nodes=13745073 leaves=0 coeff=0 equal=0 seconds=5.18474
case=2030 t=12 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00116299
case=2034 t=12 d=5 p1=0 p2=1 nodes=24656 leaves=0 coeff=0 equal=0 seconds=0.00811392
case=2038 t=12 d=3 p1=1 p2=0 nodes=1052551 leaves=0 coeff=0 equal=0 seconds=0.183042
case=2042 t=12 d=1 p1=0 p2=0 nodes=6260587 leaves=0 coeff=0 equal=0 seconds=0.914797
case=2046 t=12 d=5 p1=0 p2=0 nodes=225826 leaves=0 coeff=0 equal=0 seconds=0.0625002
case=2050 t=12 d=3 p1=0 p2=1 nodes=634894 leaves=0 coeff=0 equal=0 seconds=0.123262
case=2054 t=12 d=1 p1=1 p2=0 nodes=2691979 leaves=0 coeff=0 equal=0 seconds=0.38541
case=2058 t=12 d=5 p1=1 p2=0 nodes=4933 leaves=0 coeff=0 equal=0 seconds=0.00193062
case=2062 t=12 d=3 p1=0 p2=0 nodes=78166169 leaves=0 coeff=0 equal=0 seconds=24.2278
case=2066 t=12 d=1 p1=0 p2=1 nodes=2371 leaves=0 coeff=0 equal=0 seconds=0.001345
case=2070 t=12 d=5 p1=0 p2=1 nodes=25157 leaves=0 coeff=0 equal=0 seconds=0.00869343
case=2074 t=12 d=3 p1=1 p2=0 nodes=4338556 leaves=0 coeff=0 equal=0 seconds=0.937511
case=2078 t=12 d=1 p1=0 p2=0 nodes=189033546 leaves=0 coeff=0 equal=0 seconds=35.8643
case=2082 t=12 d=0 p1=0 p2=1 nodes=16609 leaves=0 coeff=0 equal=0 seconds=0.00392054
case=2086 t=12 d=4 p1=0 p2=1 nodes=138042 leaves=48 coeff=0 equal=0 seconds=0.0548385
case=2090 t=12 d=3 p1=1 p2=0 nodes=2804579 leaves=942 coeff=0 equal=0 seconds=1.07038
case=2094 t=12 d=2 p1=0 p2=0 nodes=1318977 leaves=0 coeff=0 equal=0 seconds=0.22104
case=2098 t=12 d=6 p1=0 p2=0 nodes=1731 leaves=0 coeff=0 equal=0 seconds=0.00160545
case=2102 t=12 d=3 p1=1 p2=0 nodes=405592 leaves=0 coeff=0 equal=0 seconds=0.0844193
case=2106 t=12 d=1 p1=0 p2=0 nodes=8337899 leaves=0 coeff=0 equal=0 seconds=1.23155
case=2110 t=12 d=5 p1=0 p2=0 nodes=308790 leaves=0 coeff=0 equal=0 seconds=0.105389
case=2114 t=12 d=3 p1=0 p2=1 nodes=547034 leaves=0 coeff=0 equal=0 seconds=0.111259
case=2118 t=12 d=1 p1=1 p2=0 nodes=1999467 leaves=0 coeff=0 equal=0 seconds=0.301139
case=2122 t=12 d=5 p1=1 p2=0 nodes=8282 leaves=0 coeff=0 equal=0 seconds=0.00419774
case=2126 t=12 d=3 p1=0 p2=0 nodes=36770862 leaves=0 coeff=0 equal=0 seconds=8.94277
case=2130 t=12 d=2 p1=0 p2=1 nodes=2973222 leaves=0 coeff=0 equal=0 seconds=0.665209
case=2134 t=12 d=1 p1=1 p2=0 nodes=27899655 leaves=0 coeff=0 equal=0 seconds=5.30676
case=2138 t=12 d=0 p1=0 p2=0 nodes=58753000 leaves=0 coeff=0 equal=0 seconds=8.34977
case=2142 t=12 d=0 p1=0 p2=1 nodes=1875672 leaves=0 coeff=0 equal=0 seconds=0.269689
case=2146 t=12 d=0 p1=1 p2=0 nodes=68230402 leaves=0 coeff=0 equal=0 seconds=10.9844
case=2150 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00346641
case=2154 t=13 d=4 p1=0 p2=0 nodes=12573 leaves=0 coeff=0 equal=0 seconds=0.00139507
case=2158 t=13 d=1 p1=0 p2=0 nodes=105 leaves=0 coeff=0 equal=0 seconds=0.00498378
case=2162 t=13 d=5 p1=0 p2=0 nodes=523804 leaves=0 coeff=0 equal=0 seconds=0.0641192
case=2166 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00235611
case=2170 t=13 d=6 p1=0 p2=0 nodes=79299 leaves=0 coeff=0 equal=0 seconds=0.00823462
case=2174 t=13 d=3 p1=1 p2=0 nodes=9721 leaves=0 coeff=0 equal=0 seconds=0.00125152
case=2178 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00527902
case=2182 t=13 d=4 p1=0 p2=0 nodes=301105 leaves=0 coeff=0 equal=0 seconds=0.0323751
case=2186 t=13 d=1 p1=0 p2=0 nodes=105 leaves=0 coeff=0 equal=0 seconds=0.00349082
case=2190 t=13 d=5 p1=0 p2=0 nodes=1985933 leaves=0 coeff=0 equal=0 seconds=0.297739
case=2194 t=13 d=2 p1=1 p2=0 nodes=410910 leaves=0 coeff=0 equal=0 seconds=0.0437058
case=2198 t=13 d=6 p1=1 p2=0 nodes=18516 leaves=0 coeff=0 equal=0 seconds=0.00211104
case=2202 t=13 d=3 p1=0 p2=0 nodes=3492 leaves=0 coeff=0 equal=0 seconds=0.00224524
case=2206 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00561766
case=2210 t=13 d=4 p1=0 p2=0 nodes=61892 leaves=0 coeff=0 equal=0 seconds=0.00748295
case=2214 t=13 d=1 p1=0 p2=0 nodes=268 leaves=0 coeff=0 equal=0 seconds=0.0029297
case=2218 t=13 d=5 p1=0 p2=0 nodes=1907966 leaves=0 coeff=0 equal=0 seconds=0.432796
case=2222 t=13 d=2 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00295097
case=2226 t=13 d=6 p1=0 p2=0 nodes=664 leaves=0 coeff=0 equal=0 seconds=0.000327102
case=2230 t=13 d=3 p1=1 p2=0 nodes=9721 leaves=0 coeff=0 equal=0 seconds=0.00128814
case=2234 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00431093
case=2238 t=13 d=4 p1=0 p2=0 nodes=703182 leaves=0 coeff=0 equal=0 seconds=0.0842577
case=2242 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00134811
case=2246 t=13 d=5 p1=1 p2=0 nodes=28610 leaves=0 coeff=0 equal=0 seconds=0.00361527
case=2250 t=13 d=2 p1=0 p2=0 nodes=293266 leaves=0 coeff=0 equal=0 seconds=0.0329858
case=2254 t=13 d=6 p1=0 p2=0 nodes=1068940 leaves=0 coeff=0 equal=0 seconds=0.418093
case=2258 t=13 d=3 p1=1 p2=0 nodes=1028068 leaves=0 coeff=0 equal=0 seconds=0.177313
case=2262 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00460419
case=2266 t=13 d=4 p1=0 p2=0 nodes=311165 leaves=0 coeff=0 equal=0 seconds=0.0422687
case=2270 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00132555
case=2274 t=13 d=5 p1=1 p2=0 nodes=5257 leaves=0 coeff=0 equal=0 seconds=0.000839573
case=2278 t=13 d=2 p1=0 p2=0 nodes=410452 leaves=0 coeff=0 equal=0 seconds=0.0408446
case=2282 t=13 d=6 p1=0 p2=0 nodes=123557 leaves=0 coeff=0 equal=0 seconds=0.0432373
case=2286 t=13 d=3 p1=0 p2=0 nodes=61332294 leaves=0 coeff=0 equal=0 seconds=13.5477
case=2290 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0018269
case=2294 t=13 d=4 p1=1 p2=0 nodes=228045 leaves=0 coeff=0 equal=0 seconds=0.0744573
case=2298 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.003547
case=2302 t=13 d=5 p1=0 p2=0 nodes=228216 leaves=0 coeff=0 equal=0 seconds=0.0436047
case=2306 t=13 d=2 p1=1 p2=0 nodes=9397 leaves=0 coeff=0 equal=0 seconds=0.0017724
case=2310 t=13 d=6 p1=1 p2=0 nodes=397 leaves=0 coeff=0 equal=0 seconds=0.00017899
case=2314 t=13 d=3 p1=0 p2=0 nodes=5744728 leaves=0 coeff=0 equal=0 seconds=0.791824
case=2318 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00150438
case=2322 t=13 d=4 p1=1 p2=0 nodes=219654 leaves=0 coeff=0 equal=0 seconds=0.0328543
case=2326 t=13 d=1 p1=0 p2=0 nodes=63796 leaves=0 coeff=0 equal=0 seconds=0.00796775
case=2330 t=13 d=5 p1=0 p2=0 nodes=6594897 leaves=0 coeff=0 equal=0 seconds=2.96718
case=2334 t=13 d=2 p1=1 p2=0 nodes=2551775 leaves=0 coeff=0 equal=0 seconds=0.342921
case=2338 t=13 d=6 p1=1 p2=0 nodes=35936 leaves=0 coeff=0 equal=0 seconds=0.0114787
case=2342 t=13 d=3 p1=0 p2=0 nodes=10308650 leaves=0 coeff=0 equal=0 seconds=1.87766
case=2346 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00205185
case=2350 t=13 d=4 p1=1 p2=0 nodes=506173 leaves=0 coeff=0 equal=0 seconds=0.202012
case=2354 t=13 d=1 p1=0 p2=0 nodes=236590 leaves=0 coeff=0 equal=0 seconds=0.0395511
case=2358 t=13 d=5 p1=0 p2=0 nodes=3465602 leaves=0 coeff=0 equal=0 seconds=0.943549
case=2362 t=13 d=2 p1=1 p2=0 nodes=24986769 leaves=0 coeff=0 equal=0 seconds=4.44247
case=2366 t=13 d=6 p1=1 p2=0 nodes=11466 leaves=0 coeff=0 equal=0 seconds=0.00325597
case=2370 t=13 d=3 p1=0 p2=0 nodes=213806 leaves=0 coeff=0 equal=0 seconds=0.0228546
case=2374 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000756248
case=2378 t=13 d=4 p1=0 p2=1 nodes=22973 leaves=0 coeff=0 equal=0 seconds=0.00226233
case=2382 t=13 d=1 p1=0 p2=0 nodes=221471 leaves=0 coeff=0 equal=0 seconds=0.0262846
case=2386 t=13 d=5 p1=0 p2=0 nodes=1284064 leaves=0 coeff=0 equal=0 seconds=0.177543
case=2390 t=13 d=2 p1=0 p2=1 nodes=121813 leaves=0 coeff=0 equal=0 seconds=0.0131645
case=2394 t=13 d=6 p1=0 p2=1 nodes=23691 leaves=0 coeff=0 equal=0 seconds=0.00251081
case=2398 t=13 d=3 p1=0 p2=0 nodes=81963 leaves=0 coeff=0 equal=0 seconds=0.010655
case=2402 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00500542
case=2406 t=13 d=4 p1=0 p2=0 nodes=936789 leaves=0 coeff=0 equal=0 seconds=0.116876
case=2410 t=13 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00100337
case=2414 t=13 d=5 p1=0 p2=1 nodes=46120 leaves=0 coeff=0 equal=0 seconds=0.00473282
case=2418 t=13 d=2 p1=1 p2=0 nodes=121813 leaves=0 coeff=0 equal=0 seconds=0.0132237
case=2422 t=13 d=6 p1=1 p2=0 nodes=23691 leaves=0 coeff=0 equal=0 seconds=0.00230269
case=2426 t=13 d=3 p1=0 p2=0 nodes=2367296 leaves=0 coeff=0 equal=0 seconds=0.247867
case=2430 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00149246
case=2434 t=13 d=4 p1=0 p2=1 nodes=105480 leaves=0 coeff=0 equal=0 seconds=0.0111264
case=2438 t=13 d=1 p1=0 p2=0 nodes=221471 leaves=0 coeff=0 equal=0 seconds=0.0257319
case=2442 t=13 d=5 p1=0 p2=0 nodes=4620406 leaves=0 coeff=0 equal=0 seconds=0.978449
case=2446 t=13 d=2 p1=0 p2=1 nodes=127726 leaves=0 coeff=0 equal=0 seconds=0.0141208
case=2450 t=13 d=6 p1=0 p2=1 nodes=75636 leaves=0 coeff=0 equal=0 seconds=0.00966172
case=2454 t=13 d=3 p1=1 p2=0 nodes=928957 leaves=0 coeff=0 equal=0 seconds=0.105568
case=2458 t=13 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00568065
case=2462 t=13 d=4 p1=0 p2=0 nodes=170180 leaves=0 coeff=0 equal=0 seconds=0.0176762
case=2466 t=13 d=1 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0035789
case=2470 t=13 d=5 p1=0 p2=0 nodes=2381169 leaves=0 coeff=0 equal=0 seconds=0.794312
case=2474 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000807044
case=2478 t=13 d=6 p1=0 p2=1 nodes=7319 leaves=0 coeff=0 equal=0 seconds=0.000981887
case=2482 t=13 d=3 p1=0 p2=0 nodes=801804 leaves=0 coeff=0 equal=0 seconds=0.0847782
case=2486 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00153352
case=2490 t=13 d=4 p1=0 p2=1 nodes=12419 leaves=0 coeff=0 equal=0 seconds=0.00183815
case=2494 t=13 d=1 p1=0 p2=0 nodes=400810 leaves=0 coeff=0 equal=0 seconds=0.0410327
case=2498 t=13 d=5 p1=0 p2=0 nodes=4120358 leaves=0 coeff=0 equal=0 seconds=1.38342
case=2502 t=13 d=2 p1=0 p2=1 nodes=9419 leaves=0 coeff=0 equal=0 seconds=0.00185307
case=2506 t=13 d=6 p1=0 p2=1 nodes=35436 leaves=0 coeff=0 equal=0 seconds=0.00703316
case=2510 t=13 d=3 p1=0 p2=0 nodes=385571 leaves=0 coeff=0 equal=0 seconds=0.0464394
case=2514 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00145665
case=2518 t=13 d=4 p1=1 p2=0 nodes=105480 leaves=0 coeff=0 equal=0 seconds=0.0112246
case=2522 t=13 d=1 p1=0 p2=0 nodes=157 leaves=0 coeff=0 equal=0 seconds=0.0030676
case=2526 t=13 d=5 p1=0 p2=0 nodes=736379 leaves=0 coeff=0 equal=0 seconds=0.100353
case=2530 t=13 d=2 p1=0 p2=0 nodes=58497 leaves=0 coeff=0 equal=0 seconds=0.00868802
case=2534 t=13 d=6 p1=0 p2=0 nodes=29222 leaves=0 coeff=0 equal=0 seconds=0.00733429
case=2538 t=13 d=3 p1=0 p2=1 nodes=18592 leaves=0 coeff=0 equal=0 seconds=0.00265532
case=2542 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00130641
case=2546 t=13 d=4 p1=1 p2=0 nodes=555037 leaves=0 coeff=0 equal=0 seconds=0.0726059
case=2550 t=13 d=1 p1=0 p2=0 nodes=231128 leaves=0 coeff=0 equal=0 seconds=0.0253592
case=2554 t=13 d=5 p1=0 p2=0 nodes=5743989 leaves=0 coeff=0 equal=0 seconds=1.44252
case=2558 t=13 d=2 p1=0 p2=1 nodes=1835 leaves=0 coeff=0 equal=0 seconds=0.00143436
case=2562 t=13 d=6 p1=0 p2=1 nodes=37716 leaves=0 coeff=0 equal=0 seconds=0.00610841
case=2566 t=13 d=3 p1=1 p2=0 nodes=885023 leaves=0 coeff=0 equal=0 seconds=0.0985504
case=2570 t=13 d=0 p1=0 p2=0 nodes=1134 leaves=0 coeff=0 equal=0 seconds=0.00319426
case=2574 t=13 d=4 p1=0 p2=0 nodes=26951434 leaves=0 coeff=0 equal=0 seconds=5.36131
case=2578 t=13 d=1 p1=0 p2=1 nodes=4144 leaves=0 coeff=0 equal=0 seconds=0.00142901
case=2582 t=13 d=5 p1=0 p2=1 nodes=461853 leaves=0 coeff=0 equal=0 seconds=0.0789476
case=2586 t=13 d=2 p1=1 p2=0 nodes=3005172 leaves=0 coeff=0 equal=0 seconds=0.410498
case=2590 t=13 d=6 p1=1 p2=0 nodes=80950 leaves=0 coeff=0 equal=0 seconds=0.0172663
case=2594 t=13 d=3 p1=0 p2=0 nodes=55929 leaves=0 coeff=0 equal=0 seconds=0.00762241
case=2598 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160398
case=2602 t=13 d=4 p1=1 p2=0 nodes=84164 leaves=0 coeff=0 equal=0 seconds=0.016326
case=2606 t=13 d=1 p1=0 p2=0 nodes=14 leaves=0 coeff=0 equal=0 seconds=0.00295263
case=2610 t=13 d=5 p1=0 p2=0 nodes=711123 leaves=0 coeff=0 equal=0 seconds=0.131544
case=2614 t=13 d=2 p1=0 p2=0 nodes=1324605 leaves=0 coeff=0 equal=0 seconds=0.146463
case=2618 t=13 d=6 p1=0 p2=0 nodes=512821 leaves=0 coeff=0 equal=0 seconds=0.207731
case=2622 t=13 d=3 p1=0 p2=1 nodes=5612 leaves=0 coeff=0 equal=0 seconds=0.00127809
case=2626 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00138759
case=2630 t=13 d=4 p1=1 p2=0 nodes=187534 leaves=0 coeff=0 equal=0 seconds=0.0551377
case=2634 t=13 d=1 p1=0 p2=0 nodes=2551874 leaves=0 coeff=0 equal=0 seconds=0.308456
case=2638 t=13 d=5 p1=0 p2=0 nodes=5065704 leaves=240 coeff=0 equal=0 seconds=2.21284
case=2642 t=13 d=2 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000772722
case=2646 t=13 d=6 p1=0 p2=1 nodes=16932 leaves=0 coeff=0 equal=0 seconds=0.00463345
case=2650 t=13 d=3 p1=0 p2=0 nodes=149685889 leaves=0 coeff=0 equal=0 seconds=49.0272
case=2654 t=13 d=0 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00160217
case=2658 t=13 d=4 p1=0 p2=1 nodes=450611 leaves=0 coeff=0 equal=0 seconds=0.149416
case=2662 t=13 d=1 p1=1 p2=0 nodes=124272 leaves=0 coeff=0 equal=0 seconds=0.0153683
case=2666 t=13 d=5 p1=1 p2=0 nodes=243981 leaves=300 coeff=0 equal=0 seconds=0.144543
case=2670 t=13 d=2 p1=0 p2=0 nodes=262410 leaves=0 coeff=0 equal=0 seconds=0.0279196
case=2674 t=13 d=6 p1=0 p2=0 nodes=148236 leaves=0 coeff=0 equal=0 seconds=0.0427585
case=2678 t=13 d=3 p1=1 p2=0 nodes=391968 leaves=0 coeff=0 equal=0 seconds=0.0551551
case=2682 t=13 d=0 p1=0 p2=0 nodes=8 leaves=0 coeff=0 equal=0 seconds=0.00392984
case=2686 t=13 d=4 p1=0 p2=0 nodes=5028682 leaves=0 coeff=0 equal=0 seconds=1.80432
case=2690 t=13 d=1 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.0010214
case=2694 t=13 d=5 p1=1 p2=0 nodes=67992 leaves=0 coeff=0 equal=0 seconds=0.0134638
case=2698 t=13 d=2 p1=0 p2=0 nodes=2837860 leaves=0 coeff=0 equal=0 seconds=0.560754
case=2702 t=13 d=6 p1=0 p2=0 nodes=406222 leaves=0 coeff=0 equal=0 seconds=0.133113
case=2706 t=13 d=3 p1=0 p2=1 nodes=500151 leaves=0 coeff=0 equal=0 seconds=0.0872355
case=2710 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00132136
case=2714 t=13 d=4 p1=1 p2=0 nodes=2373830 leaves=0 coeff=0 equal=0 seconds=1.07359
case=2718 t=13 d=1 p1=0 p2=0 nodes=9710344 leaves=0 coeff=0 equal=0 seconds=1.88994
case=2722 t=13 d=5 p1=0 p2=0 nodes=13706456 leaves=1800 coeff=0 equal=0 seconds=8.49878
case=2726 t=13 d=2 p1=0 p2=1 nodes=4825 leaves=0 coeff=0 equal=0 seconds=0.00122355
case=2730 t=13 d=6 p1=0 p2=1 nodes=35936 leaves=0 coeff=0 equal=0 seconds=0.00990663
case=2734 t=13 d=3 p1=1 p2=0 nodes=2266948 leaves=0 coeff=0 equal=0 seconds=0.388607
case=2738 t=13 d=0 p1=0 p2=0 nodes=101297 leaves=0 coeff=0 equal=0 seconds=0.0109518
case=2742 t=13 d=4 p1=0 p2=0 nodes=56805176 leaves=0 coeff=0 equal=0 seconds=23.7954
case=2746 t=13 d=1 p1=0 p2=1 nodes=9056 leaves=0 coeff=0 equal=0 seconds=0.00223199
case=2750 t=13 d=5 p1=0 p2=1 nodes=430096 leaves=240 coeff=0 equal=0 seconds=0.188755
case=2754 t=13 d=2 p1=1 p2=0 nodes=12160152 leaves=0 coeff=0 equal=0 seconds=1.94866
case=2758 t=13 d=6 p1=1 p2=0 nodes=40256 leaves=0 coeff=0 equal=0 seconds=0.0133657
case=2762 t=13 d=3 p1=0 p2=0 nodes=11425647 leaves=0 coeff=0 equal=0 seconds=1.91309
case=2766 t=13 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00166328
case=2770 t=13 d=4 p1=1 p2=0 nodes=500636 leaves=168 coeff=0 equal=0 seconds=0.180393
case=2774 t=13 d=1 p1=0 p2=0 nodes=29429567 leaves=0 coeff=0 equal=0 seconds=4.52899
case=2778 t=13 d=5 p1=0 p2=0 nodes=9869298 leaves=510 coeff=0 equal=0 seconds=2.74385
case=2782 t=13 d=2 p1=0 p2=1 nodes=844073 leaves=0 coeff=0 equal=0 seconds=0.118403
case=2786 t=13 d=6 p1=0 p2=1 nodes=11466 leaves=0 coeff=0 equal=0 seconds=0.00329135
case=2790 t=13 d=3 p1=1 p2=0 nodes=10325044 leaves=648 coeff=0 equal=0 seconds=2.49201
case=2794 t=13 d=0 p1=0 p2=0 nodes=798276 leaves=0 coeff=0 equal=0 seconds=0.0897576
case=2798 t=13 d=4 p1=0 p2=0 nodes=33789083 leaves=0 coeff=0 equal=0 seconds=7.69134
case=2802 t=13 d=1 p1=0 p2=1 nodes=4253832 leaves=0 coeff=0 equal=0 seconds=0.600482
case=2806 t=13 d=5 p1=0 p2=1 nodes=169970 leaves=30 coeff=0 equal=0 seconds=0.0481211
case=2810 t=13 d=2 p1=1 p2=0 nodes=45640744 leaves=320 coeff=0 equal=0 seconds=9.26496
case=2814 t=13 d=6 p1=1 p2=0 nodes=7496 leaves=90 coeff=0 equal=0 seconds=0.0238851
case=2818 t=14 d=3 p1=0 p2=0 nodes=13474 leaves=0 coeff=0 equal=0 seconds=0.00269243
case=2822 t=14 d=7 p1=0 p2=0 nodes=26647 leaves=0 coeff=0 equal=0 seconds=0.0024714
case=2826 t=14 d=3 p1=0 p2=0 nodes=2384607 leaves=0 coeff=0 equal=0 seconds=0.249517
case=2830 t=14 d=7 p1=0 p2=0 nodes=140730 leaves=0 coeff=0 equal=0 seconds=0.0181666
case=2834 t=14 d=3 p1=0 p2=1 nodes=127653 leaves=0 coeff=0 equal=0 seconds=0.0129764
case=2838 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00362007
case=2842 t=14 d=4 p1=0 p2=0 nodes=1376636 leaves=0 coeff=0 equal=0 seconds=0.163355
case=2846 t=14 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00128292
case=2850 t=14 d=4 p1=1 p2=0 nodes=106593 leaves=0 coeff=0 equal=0 seconds=0.010996
case=2854 t=14 d=1 p1=0 p2=0 nodes=816 leaves=0 coeff=0 equal=0 seconds=0.00252831
case=2858 t=14 d=5 p1=0 p2=0 nodes=1076899 leaves=0 coeff=0 equal=0 seconds=0.133872
case=2862 t=14 d=1 p1=0 p2=0 nodes=995 leaves=0 coeff=0 equal=0 seconds=0.0023202
case=2866 t=14 d=5 p1=0 p2=0 nodes=5674880 leaves=0 coeff=0 equal=0 seconds=1.24763
case=2870 t=14 d=1 p1=0 p2=1 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000791731
case=2874 t=14 d=5 p1=0 p2=1 nodes=153806 leaves=0 coeff=0 equal=0 seconds=0.0190543
case=2878 t=14 d=2 p1=1 p2=0 nodes=1127955 leaves=0 coeff=0 equal=0 seconds=0.115234
case=2882 t=14 d=6 p1=1 p2=0 nodes=57434 leaves=0 coeff=0 equal=0 seconds=0.00750473
case=2886 t=14 d=3 p1=0 p2=0 nodes=990288 leaves=0 coeff=0 equal=0 seconds=0.0971221
case=2890 t=14 d=7 p1=0 p2=0 nodes=33640 leaves=0 coeff=0 equal=0 seconds=0.00639503
case=2894 t=14 d=3 p1=0 p2=0 nodes=26969012 leaves=0 coeff=0 equal=0 seconds=6.38406
case=2898 t=14 d=7 p1=0 p2=0 nodes=216316 leaves=0 coeff=0 equal=0 seconds=0.158404
case=2902 t=14 d=3 p1=0 p2=1 nodes=30564 leaves=0 coeff=0 equal=0 seconds=0.00363705
case=2906 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00250653
case=2910 t=14 d=4 p1=0 p2=0 nodes=1999332 leaves=0 coeff=0 equal=0 seconds=0.414457
case=2914 t=14 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00159212
case=2918 t=14 d=4 p1=1 p2=0 nodes=705421 leaves=0 coeff=0 equal=0 seconds=0.232228
case=2922 t=14 d=1 p1=0 p2=0 nodes=203982 leaves=0 coeff=0 equal=0 seconds=0.0517228
case=2926 t=14 d=5 p1=0 p2=0 nodes=4740924 leaves=0 coeff=0 equal=0 seconds=2.39034
case=2930 t=14 d=1 p1=1 p2=0 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.00100487
case=2934 t=14 d=5 p1=1 p2=0 nodes=123755 leaves=240 coeff=0 equal=0 seconds=0.102181
case=2938 t=14 d=2 p1=0 p2=0 nodes=33843532 leaves=0 coeff=0 equal=0 seconds=5.75912
case=2942 t=14 d=6 p1=0 p2=0 nodes=4073675 leaves=4140 coeff=0 equal=0 seconds=3.01699
case=2946 t=14 d=2 p1=0 p2=1 nodes=21785 leaves=0 coeff=0 equal=0 seconds=0.00311594
case=2950 t=14 d=6 p1=0 p2=1 nodes=90006 leaves=0 coeff=0 equal=0 seconds=0.0206971
case=2954 t=14 d=3 p1=1 p2=0 nodes=3166630 leaves=0 coeff=0 equal=0 seconds=0.44528
case=2958 t=14 d=0 p1=0 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.00151597
case=2962 t=14 d=4 p1=0 p2=0 nodes=27007724 leaves=0 coeff=0 equal=0 seconds=4.57062
case=2966 t=14 d=0 p1=1 p2=0 nodes=1 leaves=0 coeff=0 equal=0 seconds=0.000896269
case=2970 t=14 d=4 p1=1 p2=0 nodes=1162922 leaves=1416 coeff=0 equal=0 seconds=0.586007
case=2974 t=14 d=1 p1=0 p2=0 nodes=234200 leaves=0 coeff=0 equal=0 seconds=0.0227406
case=2978 t=14 d=5 p1=0 p2=0 nodes=23449880 leaves=780 coeff=0 equal=0 seconds=5.32072
case=2982 t=14 d=1 p1=0 p2=1 nodes=30 leaves=0 coeff=0 equal=0 seconds=0.000572731
case=2986 t=14 d=5 p1=0 p2=1 nodes=550710 leaves=0 coeff=0 equal=0 seconds=0.114884
case=2990 t=14 d=2 p1=1 p2=0 nodes=34710032 leaves=0 coeff=0 equal=0 seconds=5.7747
case=2994 t=14 d=6 p1=1 p2=0 nodes=204516 leaves=1560 coeff=0 equal=0 seconds=0.376839
case=2998 t=15 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=8.12e-07
case=3002 t=15 d=7 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.5e-07
case=3006 t=15 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4e-07
case=3010 t=15 d=7 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.81e-07
case=3014 t=15 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.3e-07
case=3018 t=15 d=7 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=4.1e-07
case=3022 t=15 d=3 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.91e-07
case=3026 t=15 d=7 p1=0 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=3030 t=15 d=3 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
case=3034 t=15 d=7 p1=1 p2=0 nodes=0 leaves=0 coeff=0 equal=0 seconds=3.71e-07
COMPLETE cases=759 nodes=2193569594 leaves=14624 coeff=0 endpoint_pass=14624 inconsistent=14618 boundsbad=6 rankbad=0 equal=0 found=0