Ward curve, p=2, r=6 terms, sym=False p4=True
  expanded 2000 states, stack 1253, visited 3694, accepts 0, 8s
  expanded 4000 states, stack 1575, visited 6028, accepts 0, 15s
  expanded 6000 states, stack 1513, visited 8328, accepts 0, 22s
  expanded 8000 states, stack 1157, visited 9999, accepts 0, 29s
  expanded 10000 states, stack 1461, visited 12361, accepts 0, 36s
  expanded 12000 states, stack 1261, visited 14164, accepts 0, 43s
  expanded 14000 states, stack 1181, visited 16084, accepts 0, 49s
  expanded 16000 states, stack 1665, visited 18598, accepts 0, 56s
  expanded 18000 states, stack 1315, visited 20292, accepts 0, 63s
  expanded 20000 states, stack 935, visited 21948, accepts 0, 71s
  expanded 22000 states, stack 1557, visited 24714, accepts 0, 78s
  expanded 24000 states, stack 1477, visited 26634, accepts 0, 84s
  expanded 26000 states, stack 1097, visited 28254, accepts 0, 91s
  expanded 28000 states, stack 1323, visited 30528, accepts 0, 98s
  expanded 30000 states, stack 1123, visited 32424, accepts 0, 105s
  expanded 32000 states, stack 1091, visited 34420, accepts 0, 111s
  expanded 34000 states, stack 1575, visited 36934, accepts 0, 119s
  expanded 36000 states, stack 1801, visited 39240, accepts 0, 126s
  expanded 38000 states, stack 1253, visited 40692, accepts 0, 133s
  expanded 40000 states, stack 1215, visited 42928, accepts 0, 142s
  expanded 42000 states, stack 1483, visited 45246, accepts 0, 150s
  expanded 44000 states, stack 1127, visited 46915, accepts 0, 156s
  expanded 46000 states, stack 909, visited 48698, accepts 0, 164s
  expanded 48000 states, stack 1789, visited 51578, accepts 0, 170s
  expanded 50000 states, stack 1259, visited 53074, accepts 0, 176s
  expanded 52000 states, stack 1479, visited 55326, accepts 0, 183s
  expanded 54000 states, stack 1123, visited 56995, accepts 0, 190s
  expanded 56000 states, stack 1589, visited 59656, accepts 0, 197s
  expanded 58000 states, stack 1251, visited 61343, accepts 0, 206s
  expanded 60000 states, stack 1171, visited 63263, accepts 0, 213s
  expanded 62000 states, stack 953, visited 65046, accepts 0, 219s
  expanded 64000 states, stack 1305, visited 67430, accepts 0, 226s
  expanded 66000 states, stack 1225, visited 69350, accepts 0, 233s
  expanded 68000 states, stack 1145, visited 71270, accepts 0, 240s
  expanded 70000 states, stack 1065, visited 73190, accepts 0, 247s
  expanded 72000 states, stack 985, visited 75110, accepts 0, 253s
  expanded 74000 states, stack 905, visited 77030, accepts 0, 261s
  expanded 76000 states, stack 1785, visited 79910, accepts 0, 269s
  expanded 78000 states, stack 1705, visited 81830, accepts 0, 276s
  expanded 80000 states, stack 1313, visited 83463, accepts 0, 284s
  expanded 82000 states, stack 1095, visited 85246, accepts 0, 292s
  expanded 84000 states, stack 1219, visited 87403, accepts 0, 300s
  expanded 86000 states, stack 869, visited 89060, accepts 0, 309s
  expanded 88000 states, stack 1749, visited 91940, accepts 0, 317s
  expanded 90000 states, stack 1309, visited 93507, accepts 0, 326s
  expanded 92000 states, stack 959, visited 95164, accepts 0, 338s
  expanded 94000 states, stack 1281, visited 97529, accepts 0, 347s
  expanded 96000 states, stack 1201, visited 99593, accepts 0, 354s
  expanded 98000 states, stack 1121, visited 101513, accepts 0, 359s
  expanded 100000 states, stack 1425, visited 103817, accepts 0, 365s
  expanded 102000 states, stack 967, visited 105467, accepts 0, 372s
  expanded 104000 states, stack 1457, visited 107993, accepts 0, 378s
  expanded 106000 states, stack 1377, visited 109913, accepts 0, 385s
  expanded 108000 states, stack 1297, visited 111833, accepts 0, 391s
  expanded 110000 states, stack 1217, visited 113753, accepts 0, 398s
  expanded 112000 states, stack 1137, visited 115673, accepts 0, 405s
  expanded 114000 states, stack 1057, visited 117593, accepts 0, 411s
  expanded 116000 states, stack 977, visited 119513, accepts 0, 417s
  expanded 118000 states, stack 897, visited 121433, accepts 0, 424s
  expanded 120000 states, stack 817, visited 123353, accepts 0, 430s
  expanded 122000 states, stack 1121, visited 125657, accepts 0, 437s
  expanded 124000 states, stack 921, visited 127457, accepts 0, 443s
  expanded 126000 states, stack 841, visited 129377, accepts 0, 449s
  expanded 128000 states, stack 1445, visited 131981, accepts 0, 456s
  expanded 130000 states, stack 987, visited 133523, accepts 0, 465s
  expanded 132000 states, stack 1339, visited 135875, accepts 0, 472s
  expanded 134000 states, stack 1001, visited 137681, accepts 0, 480s
  expanded 136000 states, stack 1491, visited 140171, accepts 0, 488s
  expanded 138000 states, stack 1411, visited 142091, accepts 0, 496s
  expanded 140000 states, stack 1211, visited 143891, accepts 0, 504s
  expanded 142000 states, stack 873, visited 145553, accepts 0, 513s
  expanded 144000 states, stack 1213, visited 147893, accepts 0, 523s
  expanded 146000 states, stack 1181, visited 149889, accepts 0, 533s
  expanded 148000 states, stack 1665, visited 152403, accepts 0, 540s
  expanded 150000 states, stack 931, visited 153749, accepts 0, 546s
  expanded 152000 states, stack 1343, visited 156161, accepts 0, 552s
  expanded 154000 states, stack 1293, visited 158216, accepts 0, 559s
  expanded 156000 states, stack 1075, visited 159999, accepts 0, 565s
  expanded 158000 states, stack 1199, visited 162156, accepts 0, 573s
  expanded 160000 states, stack 849, visited 163813, accepts 0, 580s
  expanded 162000 states, stack 769, visited 165733, accepts 0, 586s
  expanded 164000 states, stack 1289, visited 168260, accepts 0, 593s
  expanded 166000 states, stack 939, visited 169917, accepts 0, 601s
  expanded 168000 states, stack 1289, visited 172310, accepts 0, 608s
  expanded 170000 states, stack 887, visited 173908, accepts 0, 614s
  expanded 172000 states, stack 807, visited 175828, accepts 0, 620s
  expanded 174000 states, stack 1541, visited 178562, accepts 0, 628s
  expanded 176000 states, stack 933, visited 179954, accepts 0, 636s
  expanded 178000 states, stack 1221, visited 182242, accepts 0, 644s
  expanded 180000 states, stack 1123, visited 184231, accepts 0, 653s
  expanded 182000 states, stack 773, visited 185888, accepts 0, 663s
  expanded 184000 states, stack 1035, visited 188193, accepts 0, 672s
  expanded 186000 states, stack 1267, visited 190468, accepts 0, 683s
  expanded 188000 states, stack 1571, visited 192772, accepts 0, 690s
  expanded 190000 states, stack 1341, visited 194542, accepts 0, 696s
  expanded 192000 states, stack 1261, visited 196462, accepts 0, 702s
  expanded 194000 states, stack 833, visited 198034, accepts 0, 708s
  expanded 196000 states, stack 1143, visited 200344, accepts 0, 714s
  expanded 198000 states, stack 1447, visited 202648, accepts 0, 721s
  expanded 200000 states, stack 941, visited 204142, accepts 0, 728s
  expanded 202000 states, stack 1563, visited 206764, accepts 0, 735s
  expanded 204000 states, stack 1483, visited 208684, accepts 0, 742s
  expanded 206000 states, stack 1253, visited 210454, accepts 0, 748s
  expanded 208000 states, stack 915, visited 212116, accepts 0, 755s
  expanded 210000 states, stack 1525, visited 214726, accepts 0, 763s
  expanded 212000 states, stack 1445, visited 216646, accepts 0, 769s
  expanded 214000 states, stack 1365, visited 218566, accepts 0, 775s
  expanded 216000 states, stack 1285, visited 220486, accepts 0, 781s
  expanded 218000 states, stack 1205, visited 222406, accepts 0, 788s
  expanded 220000 states, stack 1125, visited 224326, accepts 0, 795s
  expanded 222000 states, stack 1045, visited 226246, accepts 0, 802s
  expanded 224000 states, stack 965, visited 228166, accepts 0, 809s
  expanded 226000 states, stack 1347, visited 230548, accepts 0, 817s
  expanded 228000 states, stack 697, visited 231898, accepts 0, 824s
  expanded 230000 states, stack 1049, visited 234250, accepts 0, 832s
  expanded 232000 states, stack 969, visited 236170, accepts 0, 839s
  expanded 234000 states, stack 889, visited 238090, accepts 0, 847s
  expanded 236000 states, stack 1079, visited 240280, accepts 0, 858s
  expanded 238000 states, stack 1383, visited 242584, accepts 0, 867s
  expanded 240000 states, stack 877, visited 244078, accepts 0, 874s
  expanded 242000 states, stack 1499, visited 246700, accepts 0, 881s
  expanded 244000 states, stack 1419, visited 248620, accepts 0, 888s
  expanded 246000 states, stack 1189, visited 250390, accepts 0, 894s
  expanded 248000 states, stack 851, visited 252052, accepts 0, 901s
  expanded 250000 states, stack 1185, visited 254386, accepts 0, 909s
  expanded 252000 states, stack 847, visited 256048, accepts 0, 916s
  expanded 254000 states, stack 953, visited 258298, accepts 0, 923s
  expanded 256000 states, stack 633, visited 259978, accepts 0, 930s
  expanded 258000 states, stack 1513, visited 262858, accepts 0, 936s
  expanded 260000 states, stack 1157, visited 264514, accepts 0, 942s
  expanded 262000 states, stack 837, visited 266326, accepts 0, 948s
  expanded 264000 states, stack 1057, visited 268690, accepts 0, 955s
  expanded 266000 states, stack 737, visited 270370, accepts 0, 961s
  expanded 268000 states, stack 1119, visited 272752, accepts 0, 968s
  expanded 270000 states, stack 781, visited 274414, accepts 0, 976s
  expanded 272000 states, stack 893, visited 276526, accepts 0, 984s
  expanded 274000 states, stack 573, visited 278206, accepts 0, 991s
  expanded 276000 states, stack 835, visited 280468, accepts 0, 1000s
  expanded 278000 states, stack 1475, visited 283108, accepts 0, 1010s
  expanded 280000 states, stack 1395, visited 285028, accepts 0, 1018s
  expanded 282000 states, stack 1315, visited 286948, accepts 0, 1025s
  expanded 284000 states, stack 1235, visited 288868, accepts 0, 1032s
  expanded 286000 states, stack 1155, visited 290788, accepts 0, 1038s
  expanded 288000 states, stack 1075, visited 292708, accepts 0, 1045s
  expanded 290000 states, stack 995, visited 294628, accepts 0, 1052s
  expanded 292000 states, stack 915, visited 296548, accepts 0, 1060s
  expanded 294000 states, stack 835, visited 298468, accepts 0, 1066s
  expanded 296000 states, stack 755, visited 300388, accepts 0, 1072s
  expanded 298000 states, stack 1119, visited 302896, accepts 0, 1080s
  expanded 300000 states, stack 763, visited 304648, accepts 0, 1087s
  expanded 302000 states, stack 1259, visited 307180, accepts 0, 1093s
  expanded 304000 states, stack 831, visited 308752, accepts 0, 1100s
  expanded 306000 states, stack 1471, visited 311392, accepts 0, 1107s
  expanded 308000 states, stack 1391, visited 313312, accepts 0, 1114s
  expanded 310000 states, stack 1035, visited 315004, accepts 0, 1120s
  expanded 312000 states, stack 571, visited 316636, accepts 0, 1127s
  expanded 314000 states, stack 935, visited 319000, accepts 0, 1137s
  expanded 316000 states, stack 747, visited 320812, accepts 0, 1145s
  expanded 318000 states, stack 1147, visited 323212, accepts 0, 1153s
  expanded 320000 states, stack 1067, visited 325132, accepts 0, 1161s
  expanded 322000 states, stack 987, visited 327052, accepts 0, 1171s
  expanded 324000 states, stack 559, visited 328624, accepts 0, 1179s
  expanded 326000 states, stack 1091, visited 331156, accepts 0, 1189s
  expanded 328000 states, stack 531, visited 332596, accepts 0, 1198s
  expanded 330000 states, stack 931, visited 334996, accepts 0, 1210s
  expanded 332000 states, stack 1313, visited 337378, accepts 0, 1219s
  expanded 334000 states, stack 663, visited 338728, accepts 0, 1227s
  expanded 336000 states, stack 1015, visited 341080, accepts 0, 1236s
  expanded 338000 states, stack 935, visited 343000, accepts 0, 1244s
  expanded 340000 states, stack 855, visited 344920, accepts 0, 1251s
  expanded 342000 states, stack 1045, visited 347110, accepts 0, 1261s
  expanded 344000 states, stack 557, visited 348622, accepts 0, 1270s
  expanded 346000 states, stack 909, visited 350974, accepts 0, 1278s
  expanded 348000 states, stack 589, visited 352654, accepts 0, 1286s
  expanded 350000 states, stack 881, visited 354946, accepts 0, 1292s
  expanded 352000 states, stack 1251, visited 357316, accepts 0, 1300s
  expanded 354000 states, stack 1171, visited 359236, accepts 0, 1306s
  expanded 356000 states, stack 1091, visited 361156, accepts 0, 1313s
  expanded 358000 states, stack 663, visited 362728, accepts 0, 1320s
  expanded 360000 states, stack 1195, visited 365260, accepts 0, 1328s
  expanded 362000 states, stack 635, visited 366700, accepts 0, 1335s
  expanded 364000 states, stack 1035, visited 369100, accepts 0, 1344s
  expanded 366000 states, stack 1225, visited 371290, accepts 0, 1352s
  expanded 368000 states, stack 635, visited 372700, accepts 0, 1361s
  expanded 370000 states, stack 1035, visited 375100, accepts 0, 1370s
  expanded 372000 states, stack 655, visited 376720, accepts 0, 1379s
  expanded 374000 states, stack 1277, visited 379486, accepts 0, 1387s
  expanded 376000 states, stack 1197, visited 381406, accepts 0, 1392s
  expanded 378000 states, stack 817, visited 383026, accepts 0, 1397s
  expanded 380000 states, stack 1043, visited 385264, accepts 0, 1403s
  expanded 382000 states, stack 843, visited 387196, accepts 0, 1409s
  expanded 384000 states, stack 493, visited 388846, accepts 0, 1415s
  expanded 386000 states, stack 1373, visited 391726, accepts 0, 1420s
  expanded 388000 states, stack 1293, visited 393646, accepts 0, 1426s
  expanded 390000 states, stack 1213, visited 395566, accepts 0, 1433s
  expanded 392000 states, stack 1133, visited 397486, accepts 0, 1438s
  expanded 394000 states, stack 1053, visited 399406, accepts 0, 1444s
  expanded 396000 states, stack 973, visited 401326, accepts 0, 1450s
  expanded 398000 states, stack 893, visited 403246, accepts 0, 1455s
  expanded 400000 states, stack 513, visited 404866, accepts 0, 1461s
  expanded 402000 states, stack 997, visited 407350, accepts 0, 1467s
  expanded 404000 states, stack 917, visited 409270, accepts 0, 1472s
  expanded 406000 states, stack 561, visited 410914, accepts 0, 1478s
  expanded 408000 states, stack 1063, visited 413416, accepts 0, 1484s
  expanded 410000 states, stack 725, visited 415078, accepts 0, 1490s
  expanded 412000 states, stack 1077, visited 417574, accepts 0, 1496s
  expanded 414000 states, stack 607, visited 419104, accepts 0, 1503s
  expanded 416000 states, stack 527, visited 421024, accepts 0, 1509s
  expanded 418000 states, stack 447, visited 422944, accepts 0, 1517s
  expanded 420000 states, stack 949, visited 425446, accepts 0, 1523s
  expanded 422000 states, stack 1289, visited 427786, accepts 0, 1530s
  expanded 424000 states, stack 939, visited 429436, accepts 0, 1540s
  expanded 426000 states, stack 859, visited 431356, accepts 0, 1546s
  expanded 428000 states, stack 779, visited 433276, accepts 0, 1552s
  expanded 430000 states, stack 699, visited 435196, accepts 0, 1558s
  expanded 432000 states, stack 619, visited 437116, accepts 0, 1563s
  expanded 434000 states, stack 539, visited 439036, accepts 0, 1568s
  expanded 436000 states, stack 459, visited 440956, accepts 0, 1574s
  expanded 438000 states, stack 379, visited 442876, accepts 0, 1579s
  expanded 440000 states, stack 1259, visited 445756, accepts 0, 1586s
  expanded 442000 states, stack 1179, visited 447676, accepts 0, 1591s
  expanded 444000 states, stack 841, visited 449338, accepts 0, 1598s
  expanded 446000 states, stack 521, visited 451162, accepts 0, 1605s
  expanded 448000 states, stack 783, visited 453568, accepts 0, 1611s
  expanded 450000 states, stack 463, visited 455248, accepts 0, 1618s
  expanded 452000 states, stack 1001, visited 457786, accepts 0, 1624s
  expanded 454000 states, stack 921, visited 459706, accepts 0, 1629s
  expanded 456000 states, stack 841, visited 461626, accepts 0, 1635s
  expanded 458000 states, stack 1103, visited 464032, accepts 0, 1641s
  expanded 460000 states, stack 765, visited 465694, accepts 0, 1648s
  expanded 462000 states, stack 445, visited 467374, accepts 0, 1654s
  expanded 464000 states, stack 743, visited 469672, accepts 0, 1661s
  expanded 466000 states, stack 663, visited 471592, accepts 0, 1668s
  expanded 468000 states, stack 583, visited 473512, accepts 0, 1676s
  expanded 470000 states, stack 1121, visited 476050, accepts 0, 1684s
  expanded 472000 states, stack 801, visited 477730, accepts 0, 1692s
  expanded 474000 states, stack 379, visited 479308, accepts 0, 1699s
  expanded 476000 states, stack 779, visited 481708, accepts 0, 1709s
  expanded 478000 states, stack 1119, visited 484048, accepts 0, 1718s
  expanded 480000 states, stack 643, visited 485572, accepts 0, 1724s
  expanded 482000 states, stack 563, visited 487492, accepts 0, 1730s
  expanded 484000 states, stack 483, visited 489412, accepts 0, 1736s
  expanded 486000 states, stack 829, visited 491758, accepts 0, 1743s
  expanded 488000 states, stack 629, visited 493558, accepts 0, 1749s
  expanded 490000 states, stack 981, visited 495910, accepts 0, 1757s
  expanded 492000 states, stack 901, visited 497830, accepts 0, 1762s
  expanded 494000 states, stack 821, visited 499750, accepts 0, 1768s
  expanded 496000 states, stack 1119, visited 502192, accepts 0, 1775s
  expanded 498000 states, stack 793, visited 503866, accepts 0, 1782s
  expanded 500000 states, stack 473, visited 505546, accepts 0, 1788s
  expanded 502000 states, stack 777, visited 507850, accepts 0, 1795s
  expanded 504000 states, stack 421, visited 509494, accepts 0, 1802s
  expanded 506000 states, stack 803, visited 511876, accepts 0, 1809s
  expanded 508000 states, stack 945, visited 514018, accepts 0, 1816s
  expanded 510000 states, stack 739, visited 515812, accepts 0, 1823s
  expanded 512000 states, stack 1091, visited 518164, accepts 0, 1831s
  expanded 514000 states, stack 675, visited 519748, accepts 0, 1838s
  expanded 516000 states, stack 817, visited 521890, accepts 0, 1846s
  expanded 518000 states, stack 911, visited 523984, accepts 0, 1856s
  expanded 520000 states, stack 705, visited 525922, accepts 0, 1863s
  expanded 522000 states, stack 343, visited 527560, accepts 0, 1870s
  expanded 524000 states, stack 263, visited 529480, accepts 0, 1876s
  expanded 526000 states, stack 1017, visited 532234, accepts 0, 1883s
  expanded 528000 states, stack 409, visited 533626, accepts 0, 1889s
  expanded 530000 states, stack 737, visited 535954, accepts 0, 1898s
  expanded 532000 states, stack 657, visited 537874, accepts 0, 1904s
  expanded 534000 states, stack 577, visited 539794, accepts 0, 1911s
  expanded 536000 states, stack 257, visited 541474, accepts 0, 1918s
  expanded 538000 states, stack 795, visited 544012, accepts 0, 1926s
  expanded 540000 states, stack 373, visited 545590, accepts 0, 1933s
  expanded 542000 states, stack 773, visited 547990, accepts 0, 1942s
  expanded 544000 states, stack 327, visited 549544, accepts 0, 1950s
  expanded 546000 states, stack 679, visited 551896, accepts 0, 1958s
  expanded 548000 states, stack 503, visited 553720, accepts 0, 1965s
  expanded 550000 states, stack 645, visited 555862, accepts 0, 1973s
  expanded 552000 states, stack 775, visited 557992, accepts 0, 1983s
  expanded 554000 states, stack 407, visited 559624, accepts 0, 1993s
  expanded 556000 states, stack 777, visited 561994, accepts 0, 2004s
  expanded 558000 states, stack 907, visited 564124, accepts 0, 2015s
  expanded 560000 states, stack 851, visited 566123, accepts 0, 2024s
  expanded 562000 states, stack 651, visited 567926, accepts 0, 2031s
  expanded 564000 states, stack 859, visited 570214, accepts 0, 2038s
  expanded 566000 states, stack 293, visited 571648, accepts 0, 2044s
  expanded 568000 states, stack 231, visited 573691, accepts 0, 2051s
  expanded 570000 states, stack 613, visited 576081, accepts 0, 2058s
  expanded 572000 states, stack 1097, visited 578591, accepts 0, 2066s
  expanded 574000 states, stack 747, visited 580248, accepts 0, 2074s
  expanded 576000 states, stack 667, visited 582168, accepts 0, 2080s
  expanded 578000 states, stack 227, visited 583735, accepts 0, 2087s
  expanded 580000 states, stack 435, visited 585993, accepts 0, 2095s
  expanded 582000 states, stack 203, visited 587761, accepts 0, 2102s
  expanded 584000 states, stack 749, visited 590307, accepts 0, 2109s
  expanded 586000 states, stack 669, visited 592227, accepts 0, 2116s
  expanded 588000 states, stack 437, visited 593995, accepts 0, 2124s
  expanded 590000 states, stack 455, visited 596013, accepts 0, 2132s
  expanded 592000 states, stack 795, visited 598373, accepts 0, 2140s
  expanded 594000 states, stack 685, visited 600337, accepts 0, 2149s
  expanded 596000 states, stack 245, visited 601940, accepts 0, 2157s
  expanded 598000 states, stack 507, visited 604245, accepts 0, 2165s
  expanded 600000 states, stack 277, visited 606015, accepts 0, 2173s
  expanded 602000 states, stack 329, visited 608067, accepts 0, 2180s
  expanded 604000 states, stack 939, visited 610677, accepts 0, 2187s
  expanded 606000 states, stack 859, visited 612597, accepts 0, 2192s
  expanded 608000 states, stack 359, visited 614097, accepts 0, 2199s
  expanded 610000 states, stack 819, visited 616557, accepts 0, 2207s
  expanded 612000 states, stack 481, visited 618219, accepts 0, 2214s
  expanded 614000 states, stack 593, visited 620331, accepts 0, 2221s
  expanded 616000 states, stack 273, visited 622011, accepts 0, 2229s
  expanded 618000 states, stack 535, visited 624273, accepts 0, 2235s
  expanded 620000 states, stack 215, visited 625953, accepts 0, 2242s
  expanded 622000 states, stack 135, visited 627873, accepts 0, 2248s
  expanded 624000 states, stack 775, visited 630513, accepts 0, 2255s
  expanded 626000 states, stack 347, visited 632085, accepts 0, 2262s
  expanded 628000 states, stack 159, visited 633897, accepts 0, 2270s
  expanded 630000 states, stack 559, visited 636297, accepts 0, 2278s
  expanded 632000 states, stack 539, visited 638277, accepts 0, 2286s
  expanded 634000 states, stack 189, visited 639927, accepts 0, 2293s
  expanded 636000 states, stack 559, visited 642297, accepts 0, 2302s
  expanded 638000 states, stack 557, visited 644295, accepts 0, 2309s
  expanded 640000 states, stack 325, visited 646063, accepts 0, 2317s
  expanded 642000 states, stack 871, visited 648609, accepts 0, 2323s
  expanded 644000 states, stack 791, visited 650529, accepts 0, 2329s
  expanded 646000 states, stack 559, visited 652297, accepts 0, 2336s
  expanded 648000 states, stack 577, visited 654315, accepts 0, 2343s
  expanded 650000 states, stack 227, visited 655965, accepts 0, 2350s
  expanded 652000 states, stack 147, visited 657885, accepts 0, 2357s
  expanded 654000 states, stack 1027, visited 660765, accepts 0, 2364s
  expanded 656000 states, stack 605, visited 662343, accepts 0, 2372s
  expanded 658000 states, stack 285, visited 664023, accepts 0, 2380s
  expanded 660000 states, stack 583, visited 666321, accepts 0, 2387s
  expanded 662000 states, stack 263, visited 668001, accepts 0, 2396s
  expanded 664000 states, stack 751, visited 670489, accepts 0, 2404s
  expanded 666000 states, stack 143, visited 671881, accepts 0, 2411s
  expanded 668000 states, stack 687, visited 674425, accepts 0, 2418s
  expanded 670000 states, stack 109, visited 675847, accepts 0, 2427s
  expanded 672000 states, stack 239, visited 677977, accepts 0, 2437s
  expanded 674000 states, stack 509, visited 680247, accepts 0, 2447s
  expanded 676000 states, stack 189, visited 681927, accepts 0, 2456s
  expanded 678000 states, stack 319, visited 684057, accepts 0, 2466s
  expanded 680000 states, stack 203, visited 686028, accepts 0, 2474s
  expanded 682000 states, stack 447, visited 688322, accepts 0, 2483s
  expanded 684000 states, stack 97, visited 689972, accepts 0, 2492s
  expanded 686000 states, stack 287, visited 692205, accepts 0, 2500s
  expanded 688000 states, stack 657, visited 694575, accepts 0, 2510s
  expanded 690000 states, stack 97, visited 696015, accepts 0, 2518s
  expanded 692000 states, stack 341, visited 698259, accepts 0, 2527s
  expanded 694000 states, stack 21, visited 699939, accepts 0, 2536s
  expanded 696000 states, stack 151, visited 702069, accepts 0, 2545s
finished: aborted=False, states expanded 696151, visited 702112, time 2546.5s
  child_dead_rank                          87404808
  child_seen_(dead)                        90970212
  child_seen_(leaf)                        480
  child_seen_(live)                        16141
  dead_p4                                  1230
  dead_trivial                             1131
  degenerate_accept_(equal_monomials)      1440
  leaf_reject                              3600
  node_s1_depth3_dead                      15
  node_s1_depth3_leaf                      3600
  node_s2_depth2_dead                      2225
  node_s2_depth2_live                      695220
  node_s3_depth2_dead                      90
  node_s4_depth1_dead                      31
  node_s4_depth1_live                      930
  terminal_ACCEPT                          1440
degenerate accepts (some X_i = X_j, discarded): 1440
ACCEPTED relations between distinct monomials: 0
