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, 37s
  expanded 12000 states, stack 1261, visited 14164, accepts 0, 44s
  expanded 14000 states, stack 1181, visited 16084, accepts 0, 51s
  expanded 16000 states, stack 1665, visited 18598, accepts 0, 57s
  expanded 18000 states, stack 1315, visited 20292, accepts 0, 64s
  expanded 20000 states, stack 935, visited 21948, accepts 0, 71s
  expanded 22000 states, stack 1557, visited 24714, accepts 0, 79s
  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, 112s
  expanded 34000 states, stack 1575, visited 36934, accepts 0, 119s
  expanded 36000 states, stack 1801, visited 39240, accepts 0, 127s
  expanded 38000 states, stack 1253, visited 40692, accepts 0, 134s
  expanded 40000 states, stack 1215, visited 42928, accepts 0, 143s
  expanded 42000 states, stack 1483, visited 45246, accepts 0, 150s
  expanded 44000 states, stack 1127, visited 46915, accepts 0, 155s
  expanded 46000 states, stack 909, visited 48698, accepts 0, 161s
  expanded 48000 states, stack 1789, visited 51578, accepts 0, 165s
  expanded 50000 states, stack 1259, visited 53074, accepts 0, 171s
  expanded 52000 states, stack 1479, visited 55326, accepts 0, 177s
  expanded 54000 states, stack 1123, visited 56995, accepts 0, 183s
  expanded 56000 states, stack 1589, visited 59656, accepts 0, 190s
  expanded 58000 states, stack 1251, visited 61343, accepts 0, 198s
  expanded 60000 states, stack 1171, visited 63263, accepts 0, 204s
  expanded 62000 states, stack 953, visited 65046, accepts 0, 210s
  expanded 64000 states, stack 1305, visited 67430, accepts 0, 217s
  expanded 66000 states, stack 1225, visited 69350, accepts 0, 224s
  expanded 68000 states, stack 1145, visited 71270, accepts 0, 230s
  expanded 70000 states, stack 1065, visited 73190, accepts 0, 237s
  expanded 72000 states, stack 985, visited 75110, accepts 0, 243s
  expanded 74000 states, stack 905, visited 77030, accepts 0, 251s
  expanded 76000 states, stack 1785, visited 79910, accepts 0, 259s
  expanded 78000 states, stack 1705, visited 81830, accepts 0, 265s
  expanded 80000 states, stack 1313, visited 83463, accepts 0, 273s
  expanded 82000 states, stack 1095, visited 85246, accepts 0, 279s
  expanded 84000 states, stack 1219, visited 87403, accepts 0, 287s
  expanded 86000 states, stack 869, visited 89060, accepts 0, 294s
  expanded 88000 states, stack 1749, visited 91940, accepts 0, 301s
  expanded 90000 states, stack 1309, visited 93507, accepts 0, 309s
  expanded 92000 states, stack 959, visited 95164, accepts 0, 319s
  expanded 94000 states, stack 1281, visited 97529, accepts 0, 327s
  expanded 96000 states, stack 1201, visited 99593, accepts 0, 334s
  expanded 98000 states, stack 1121, visited 101513, accepts 0, 340s
  expanded 100000 states, stack 1425, visited 103817, accepts 0, 345s
  expanded 102000 states, stack 967, visited 105467, accepts 0, 352s
  expanded 104000 states, stack 1457, visited 107993, accepts 0, 358s
  expanded 106000 states, stack 1377, visited 109913, accepts 0, 365s
  expanded 108000 states, stack 1297, visited 111833, accepts 0, 371s
  expanded 110000 states, stack 1217, visited 113753, accepts 0, 377s
  expanded 112000 states, stack 1137, visited 115673, accepts 0, 385s
  expanded 114000 states, stack 1057, visited 117593, accepts 0, 391s
  expanded 116000 states, stack 977, visited 119513, accepts 0, 397s
  expanded 118000 states, stack 897, visited 121433, accepts 0, 403s
  expanded 120000 states, stack 817, visited 123353, accepts 0, 410s
  expanded 122000 states, stack 1121, visited 125657, accepts 0, 417s
  expanded 124000 states, stack 921, visited 127457, accepts 0, 423s
  expanded 126000 states, stack 841, visited 129377, accepts 0, 429s
  expanded 128000 states, stack 1445, visited 131981, accepts 0, 436s
  expanded 130000 states, stack 987, visited 133523, accepts 0, 445s
  expanded 132000 states, stack 1339, visited 135875, accepts 0, 452s
  expanded 134000 states, stack 1001, visited 137681, accepts 0, 459s
  expanded 136000 states, stack 1491, visited 140171, accepts 0, 467s
  expanded 138000 states, stack 1411, visited 142091, accepts 0, 475s
  expanded 140000 states, stack 1211, visited 143891, accepts 0, 484s
  expanded 142000 states, stack 873, visited 145553, accepts 0, 492s
  expanded 144000 states, stack 1213, visited 147893, accepts 0, 502s
  expanded 146000 states, stack 1181, visited 149889, accepts 0, 513s
  expanded 148000 states, stack 1665, visited 152403, accepts 0, 520s
  expanded 150000 states, stack 931, visited 153749, accepts 0, 526s
  expanded 152000 states, stack 1343, visited 156161, accepts 0, 531s
  expanded 154000 states, stack 1293, visited 158216, accepts 0, 538s
  expanded 156000 states, stack 1075, visited 159999, accepts 0, 544s
  expanded 158000 states, stack 1199, visited 162156, accepts 0, 551s
  expanded 160000 states, stack 849, visited 163813, accepts 0, 558s
  expanded 162000 states, stack 769, visited 165733, accepts 0, 563s
  expanded 164000 states, stack 1289, visited 168260, accepts 0, 570s
  expanded 166000 states, stack 939, visited 169917, accepts 0, 577s
  expanded 168000 states, stack 1289, visited 172310, accepts 0, 584s
  expanded 170000 states, stack 887, visited 173908, accepts 0, 590s
  expanded 172000 states, stack 807, visited 175828, accepts 0, 596s
  expanded 174000 states, stack 1541, visited 178562, accepts 0, 604s
  expanded 176000 states, stack 933, visited 179954, accepts 0, 611s
  expanded 178000 states, stack 1221, visited 182242, accepts 0, 620s
  expanded 180000 states, stack 1123, visited 184231, accepts 0, 629s
  expanded 182000 states, stack 773, visited 185888, accepts 0, 639s
  expanded 184000 states, stack 1035, visited 188193, accepts 0, 648s
  expanded 186000 states, stack 1267, visited 190468, accepts 0, 658s
  expanded 188000 states, stack 1571, visited 192772, accepts 0, 665s
  expanded 190000 states, stack 1341, visited 194542, accepts 0, 671s
  expanded 192000 states, stack 1261, visited 196462, accepts 0, 677s
  expanded 194000 states, stack 833, visited 198034, accepts 0, 682s
  expanded 196000 states, stack 1143, visited 200344, accepts 0, 687s
  expanded 198000 states, stack 1447, visited 202648, accepts 0, 693s
  expanded 200000 states, stack 941, visited 204142, accepts 0, 699s
  expanded 202000 states, stack 1563, visited 206764, accepts 0, 706s
  expanded 204000 states, stack 1483, visited 208684, accepts 0, 713s
  expanded 206000 states, stack 1253, visited 210454, accepts 0, 718s
  expanded 208000 states, stack 915, visited 212116, accepts 0, 724s
  expanded 210000 states, stack 1525, visited 214726, accepts 0, 731s
  expanded 212000 states, stack 1445, visited 216646, accepts 0, 737s
  expanded 214000 states, stack 1365, visited 218566, accepts 0, 743s
  expanded 216000 states, stack 1285, visited 220486, accepts 0, 748s
  expanded 218000 states, stack 1205, visited 222406, accepts 0, 754s
  expanded 220000 states, stack 1125, visited 224326, accepts 0, 761s
  expanded 222000 states, stack 1045, visited 226246, accepts 0, 767s
  expanded 224000 states, stack 965, visited 228166, accepts 0, 774s
  expanded 226000 states, stack 1347, visited 230548, accepts 0, 781s
  expanded 228000 states, stack 697, visited 231898, accepts 0, 787s
  expanded 230000 states, stack 1049, visited 234250, accepts 0, 794s
  expanded 232000 states, stack 969, visited 236170, accepts 0, 801s
  expanded 234000 states, stack 889, visited 238090, accepts 0, 808s
  expanded 236000 states, stack 1079, visited 240280, accepts 0, 818s
  expanded 238000 states, stack 1383, visited 242584, accepts 0, 825s
  expanded 240000 states, stack 877, visited 244078, accepts 0, 831s
  expanded 242000 states, stack 1499, visited 246700, accepts 0, 837s
  expanded 244000 states, stack 1419, visited 248620, accepts 0, 843s
  expanded 246000 states, stack 1189, visited 250390, accepts 0, 848s
  expanded 248000 states, stack 851, visited 252052, accepts 0, 854s
  expanded 250000 states, stack 1185, visited 254386, accepts 0, 860s
  expanded 252000 states, stack 847, visited 256048, accepts 0, 866s
  expanded 254000 states, stack 953, visited 258298, accepts 0, 872s
  expanded 256000 states, stack 633, visited 259978, accepts 0, 877s
  expanded 258000 states, stack 1513, visited 262858, accepts 0, 882s
  expanded 260000 states, stack 1157, visited 264514, accepts 0, 888s
  expanded 262000 states, stack 837, visited 266326, accepts 0, 894s
  expanded 264000 states, stack 1057, visited 268690, accepts 0, 899s
  expanded 266000 states, stack 737, visited 270370, accepts 0, 905s
  expanded 268000 states, stack 1119, visited 272752, accepts 0, 910s
  expanded 270000 states, stack 781, visited 274414, accepts 0, 917s
  expanded 272000 states, stack 893, visited 276526, accepts 0, 923s
  expanded 274000 states, stack 573, visited 278206, accepts 0, 930s
  expanded 276000 states, stack 835, visited 280468, accepts 0, 937s
  expanded 278000 states, stack 1475, visited 283108, accepts 0, 945s
  expanded 280000 states, stack 1395, visited 285028, accepts 0, 951s
  expanded 282000 states, stack 1315, visited 286948, accepts 0, 957s
  expanded 284000 states, stack 1235, visited 288868, accepts 0, 962s
  expanded 286000 states, stack 1155, visited 290788, accepts 0, 968s
  expanded 288000 states, stack 1075, visited 292708, accepts 0, 973s
  expanded 290000 states, stack 995, visited 294628, accepts 0, 979s
  expanded 292000 states, stack 915, visited 296548, accepts 0, 985s
  expanded 294000 states, stack 835, visited 298468, accepts 0, 990s
  expanded 296000 states, stack 755, visited 300388, accepts 0, 995s
  expanded 298000 states, stack 1119, visited 302896, accepts 0, 1002s
  expanded 300000 states, stack 763, visited 304648, accepts 0, 1007s
  expanded 302000 states, stack 1259, visited 307180, accepts 0, 1012s
  expanded 304000 states, stack 831, visited 308752, accepts 0, 1018s
  expanded 306000 states, stack 1471, visited 311392, accepts 0, 1023s
  expanded 308000 states, stack 1391, visited 313312, accepts 0, 1029s
  expanded 310000 states, stack 1035, visited 315004, accepts 0, 1033s
  expanded 312000 states, stack 571, visited 316636, accepts 0, 1039s
  expanded 314000 states, stack 935, visited 319000, accepts 0, 1047s
  expanded 316000 states, stack 747, visited 320812, accepts 0, 1052s
  expanded 318000 states, stack 1147, visited 323212, accepts 0, 1059s
  expanded 320000 states, stack 1067, visited 325132, accepts 0, 1065s
  expanded 322000 states, stack 987, visited 327052, accepts 0, 1073s
  expanded 324000 states, stack 559, visited 328624, accepts 0, 1079s
  expanded 326000 states, stack 1091, visited 331156, accepts 0, 1086s
  expanded 328000 states, stack 531, visited 332596, accepts 0, 1093s
  expanded 330000 states, stack 931, visited 334996, accepts 0, 1102s
  expanded 332000 states, stack 1313, visited 337378, accepts 0, 1109s
  expanded 334000 states, stack 663, visited 338728, accepts 0, 1115s
  expanded 336000 states, stack 1015, visited 341080, accepts 0, 1121s
  expanded 338000 states, stack 935, visited 343000, accepts 0, 1127s
  expanded 340000 states, stack 855, visited 344920, accepts 0, 1132s
  expanded 342000 states, stack 1045, visited 347110, accepts 0, 1140s
  expanded 344000 states, stack 557, visited 348622, accepts 0, 1146s
  expanded 346000 states, stack 909, visited 350974, accepts 0, 1152s
  expanded 348000 states, stack 589, visited 352654, accepts 0, 1158s
  expanded 350000 states, stack 881, visited 354946, accepts 0, 1164s
  expanded 352000 states, stack 1251, visited 357316, accepts 0, 1171s
  expanded 354000 states, stack 1171, visited 359236, accepts 0, 1176s
  expanded 356000 states, stack 1091, visited 361156, accepts 0, 1182s
  expanded 358000 states, stack 663, visited 362728, accepts 0, 1188s
  expanded 360000 states, stack 1195, visited 365260, accepts 0, 1195s
  expanded 362000 states, stack 635, visited 366700, accepts 0, 1201s
  expanded 364000 states, stack 1035, visited 369100, accepts 0, 1209s
  expanded 366000 states, stack 1225, visited 371290, accepts 0, 1217s
  expanded 368000 states, stack 635, visited 372700, accepts 0, 1225s
  expanded 370000 states, stack 1035, visited 375100, accepts 0, 1233s
  expanded 372000 states, stack 655, visited 376720, accepts 0, 1242s
  expanded 374000 states, stack 1277, visited 379486, accepts 0, 1249s
  expanded 376000 states, stack 1197, visited 381406, accepts 0, 1254s
  expanded 378000 states, stack 817, visited 383026, accepts 0, 1259s
  expanded 380000 states, stack 1043, visited 385264, accepts 0, 1264s
  expanded 382000 states, stack 843, visited 387196, accepts 0, 1270s
  expanded 384000 states, stack 493, visited 388846, accepts 0, 1276s
  expanded 386000 states, stack 1373, visited 391726, accepts 0, 1281s
  expanded 388000 states, stack 1293, visited 393646, accepts 0, 1288s
  expanded 390000 states, stack 1213, visited 395566, accepts 0, 1294s
  expanded 392000 states, stack 1133, visited 397486, accepts 0, 1300s
  expanded 394000 states, stack 1053, visited 399406, accepts 0, 1305s
  expanded 396000 states, stack 973, visited 401326, accepts 0, 1311s
  expanded 398000 states, stack 893, visited 403246, accepts 0, 1317s
  expanded 400000 states, stack 513, visited 404866, accepts 0, 1323s
  expanded 402000 states, stack 997, visited 407350, accepts 0, 1329s
  expanded 404000 states, stack 917, visited 409270, accepts 0, 1334s
  expanded 406000 states, stack 561, visited 410914, accepts 0, 1340s
  expanded 408000 states, stack 1063, visited 413416, accepts 0, 1346s
  expanded 410000 states, stack 725, visited 415078, accepts 0, 1352s
  expanded 412000 states, stack 1077, visited 417574, accepts 0, 1359s
  expanded 414000 states, stack 607, visited 419104, accepts 0, 1366s
  expanded 416000 states, stack 527, visited 421024, accepts 0, 1372s
  expanded 418000 states, stack 447, visited 422944, accepts 0, 1379s
  expanded 420000 states, stack 949, visited 425446, accepts 0, 1386s
  expanded 422000 states, stack 1289, visited 427786, accepts 0, 1393s
  expanded 424000 states, stack 939, visited 429436, accepts 0, 1404s
  expanded 426000 states, stack 859, visited 431356, accepts 0, 1411s
  expanded 428000 states, stack 779, visited 433276, accepts 0, 1418s
  expanded 430000 states, stack 699, visited 435196, accepts 0, 1424s
  expanded 432000 states, stack 619, visited 437116, accepts 0, 1430s
  expanded 434000 states, stack 539, visited 439036, accepts 0, 1436s
  expanded 436000 states, stack 459, visited 440956, accepts 0, 1442s
  expanded 438000 states, stack 379, visited 442876, accepts 0, 1449s
  expanded 440000 states, stack 1259, visited 445756, accepts 0, 1456s
  expanded 442000 states, stack 1179, visited 447676, accepts 0, 1462s
  expanded 444000 states, stack 841, visited 449338, accepts 0, 1469s
  expanded 446000 states, stack 521, visited 451162, accepts 0, 1477s
  expanded 448000 states, stack 783, visited 453568, accepts 0, 1483s
  expanded 450000 states, stack 463, visited 455248, accepts 0, 1490s
  expanded 452000 states, stack 1001, visited 457786, accepts 0, 1497s
  expanded 454000 states, stack 921, visited 459706, accepts 0, 1502s
  expanded 456000 states, stack 841, visited 461626, accepts 0, 1509s
  expanded 458000 states, stack 1103, visited 464032, accepts 0, 1515s
  expanded 460000 states, stack 765, visited 465694, accepts 0, 1522s
  expanded 462000 states, stack 445, visited 467374, accepts 0, 1530s
  expanded 464000 states, stack 743, visited 469672, accepts 0, 1537s
  expanded 466000 states, stack 663, visited 471592, accepts 0, 1544s
  expanded 468000 states, stack 583, visited 473512, accepts 0, 1553s
  expanded 470000 states, stack 1121, visited 476050, accepts 0, 1561s
  expanded 472000 states, stack 801, visited 477730, accepts 0, 1570s
  expanded 474000 states, stack 379, visited 479308, accepts 0, 1577s
  expanded 476000 states, stack 779, visited 481708, accepts 0, 1588s
  expanded 478000 states, stack 1119, visited 484048, accepts 0, 1598s
  expanded 480000 states, stack 643, visited 485572, accepts 0, 1605s
  expanded 482000 states, stack 563, visited 487492, accepts 0, 1611s
  expanded 484000 states, stack 483, visited 489412, accepts 0, 1618s
  expanded 486000 states, stack 829, visited 491758, accepts 0, 1625s
  expanded 488000 states, stack 629, visited 493558, accepts 0, 1631s
  expanded 490000 states, stack 981, visited 495910, accepts 0, 1639s
  expanded 492000 states, stack 901, visited 497830, accepts 0, 1645s
  expanded 494000 states, stack 821, visited 499750, accepts 0, 1652s
  expanded 496000 states, stack 1119, visited 502192, accepts 0, 1659s
  expanded 498000 states, stack 793, visited 503866, accepts 0, 1667s
  expanded 500000 states, stack 473, visited 505546, accepts 0, 1674s
  expanded 502000 states, stack 777, visited 507850, accepts 0, 1681s
  expanded 504000 states, stack 421, visited 509494, accepts 0, 1689s
  expanded 506000 states, stack 803, visited 511876, accepts 0, 1696s
  expanded 508000 states, stack 945, visited 514018, accepts 0, 1704s
  expanded 510000 states, stack 739, visited 515812, accepts 0, 1712s
  expanded 512000 states, stack 1091, visited 518164, accepts 0, 1720s
  expanded 514000 states, stack 675, visited 519748, accepts 0, 1728s
  expanded 516000 states, stack 817, visited 521890, accepts 0, 1736s
  expanded 518000 states, stack 911, visited 523984, accepts 0, 1746s
  expanded 520000 states, stack 705, visited 525922, accepts 0, 1753s
  expanded 522000 states, stack 343, visited 527560, accepts 0, 1759s
  expanded 524000 states, stack 263, visited 529480, accepts 0, 1766s
  expanded 526000 states, stack 1017, visited 532234, accepts 0, 1772s
  expanded 528000 states, stack 409, visited 533626, accepts 0, 1779s
  expanded 530000 states, stack 737, visited 535954, accepts 0, 1788s
  expanded 532000 states, stack 657, visited 537874, accepts 0, 1795s
  expanded 534000 states, stack 577, visited 539794, accepts 0, 1801s
  expanded 536000 states, stack 257, visited 541474, accepts 0, 1809s
  expanded 538000 states, stack 795, visited 544012, accepts 0, 1817s
  expanded 540000 states, stack 373, visited 545590, accepts 0, 1823s
  expanded 542000 states, stack 773, visited 547990, accepts 0, 1831s
  expanded 544000 states, stack 327, visited 549544, accepts 0, 1839s
  expanded 546000 states, stack 679, visited 551896, accepts 0, 1846s
  expanded 548000 states, stack 503, visited 553720, accepts 0, 1852s
  expanded 550000 states, stack 645, visited 555862, accepts 0, 1860s
  expanded 552000 states, stack 775, visited 557992, accepts 0, 1868s
  expanded 554000 states, stack 407, visited 559624, accepts 0, 1877s
  expanded 556000 states, stack 777, visited 561994, accepts 0, 1886s
  expanded 558000 states, stack 907, visited 564124, accepts 0, 1894s
  expanded 560000 states, stack 851, visited 566123, accepts 0, 1902s
  expanded 562000 states, stack 651, visited 567926, accepts 0, 1908s
  expanded 564000 states, stack 859, visited 570214, accepts 0, 1914s
  expanded 566000 states, stack 293, visited 571648, accepts 0, 1920s
  expanded 568000 states, stack 231, visited 573691, accepts 0, 1926s
  expanded 570000 states, stack 613, visited 576081, accepts 0, 1933s
  expanded 572000 states, stack 1097, visited 578591, accepts 0, 1940s
  expanded 574000 states, stack 747, visited 580248, accepts 0, 1947s
  expanded 576000 states, stack 667, visited 582168, accepts 0, 1953s
  expanded 578000 states, stack 227, visited 583735, accepts 0, 1960s
  expanded 580000 states, stack 435, visited 585993, accepts 0, 1967s
  expanded 582000 states, stack 203, visited 587761, accepts 0, 1974s
  expanded 584000 states, stack 749, visited 590307, accepts 0, 1979s
  expanded 586000 states, stack 669, visited 592227, accepts 0, 1986s
  expanded 588000 states, stack 437, visited 593995, accepts 0, 1993s
  expanded 590000 states, stack 455, visited 596013, accepts 0, 2000s
  expanded 592000 states, stack 795, visited 598373, accepts 0, 2008s
  expanded 594000 states, stack 685, visited 600337, accepts 0, 2015s
  expanded 596000 states, stack 245, visited 601940, accepts 0, 2023s
  expanded 598000 states, stack 507, visited 604245, accepts 0, 2031s
  expanded 600000 states, stack 277, visited 606015, accepts 0, 2038s
  expanded 602000 states, stack 329, visited 608067, accepts 0, 2045s
  expanded 604000 states, stack 939, visited 610677, accepts 0, 2052s
  expanded 606000 states, stack 859, visited 612597, accepts 0, 2058s
  expanded 608000 states, stack 359, visited 614097, accepts 0, 2065s
  expanded 610000 states, stack 819, visited 616557, accepts 0, 2073s
  expanded 612000 states, stack 481, visited 618219, accepts 0, 2080s
  expanded 614000 states, stack 593, visited 620331, accepts 0, 2088s
  expanded 616000 states, stack 273, visited 622011, accepts 0, 2095s
  expanded 618000 states, stack 535, visited 624273, accepts 0, 2101s
  expanded 620000 states, stack 215, visited 625953, accepts 0, 2108s
  expanded 622000 states, stack 135, visited 627873, accepts 0, 2114s
  expanded 624000 states, stack 775, visited 630513, accepts 0, 2121s
  expanded 626000 states, stack 347, visited 632085, accepts 0, 2127s
  expanded 628000 states, stack 159, visited 633897, accepts 0, 2134s
  expanded 630000 states, stack 559, visited 636297, accepts 0, 2142s
  expanded 632000 states, stack 539, visited 638277, accepts 0, 2149s
  expanded 634000 states, stack 189, visited 639927, accepts 0, 2158s
  expanded 636000 states, stack 559, visited 642297, accepts 0, 2166s
  expanded 638000 states, stack 557, visited 644295, accepts 0, 2175s
  expanded 640000 states, stack 325, visited 646063, accepts 0, 2183s
  expanded 642000 states, stack 871, visited 648609, accepts 0, 2189s
  expanded 644000 states, stack 791, visited 650529, accepts 0, 2196s
  expanded 646000 states, stack 559, visited 652297, accepts 0, 2203s
  expanded 648000 states, stack 577, visited 654315, accepts 0, 2211s
  expanded 650000 states, stack 227, visited 655965, accepts 0, 2219s
  expanded 652000 states, stack 147, visited 657885, accepts 0, 2226s
  expanded 654000 states, stack 1027, visited 660765, accepts 0, 2233s
  expanded 656000 states, stack 605, visited 662343, accepts 0, 2241s
  expanded 658000 states, stack 285, visited 664023, accepts 0, 2248s
  expanded 660000 states, stack 583, visited 666321, accepts 0, 2255s
  expanded 662000 states, stack 263, visited 668001, accepts 0, 2263s
  expanded 664000 states, stack 751, visited 670489, accepts 0, 2270s
  expanded 666000 states, stack 143, visited 671881, accepts 0, 2276s
  expanded 668000 states, stack 687, visited 674425, accepts 0, 2283s
  expanded 670000 states, stack 109, visited 675847, accepts 0, 2290s
  expanded 672000 states, stack 239, visited 677977, accepts 0, 2299s
  expanded 674000 states, stack 509, visited 680247, accepts 0, 2307s
  expanded 676000 states, stack 189, visited 681927, accepts 0, 2315s
  expanded 678000 states, stack 319, visited 684057, accepts 0, 2323s
  expanded 680000 states, stack 203, visited 686028, accepts 0, 2329s
  expanded 682000 states, stack 447, visited 688322, accepts 0, 2336s
  expanded 684000 states, stack 97, visited 689972, accepts 0, 2343s
  expanded 686000 states, stack 287, visited 692205, accepts 0, 2349s
  expanded 688000 states, stack 657, visited 694575, accepts 0, 2356s
  expanded 690000 states, stack 97, visited 696015, accepts 0, 2363s
  expanded 692000 states, stack 341, visited 698259, accepts 0, 2369s
  expanded 694000 states, stack 21, visited 699939, accepts 0, 2376s
  expanded 696000 states, stack 151, visited 702069, accepts 0, 2383s
finished: aborted=False, states expanded 696151, visited 702112, time 2384.0s
  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
