s9234.bench.txt

好不容易才从国外网站上下下来的哦

g1588 = NOT(g798)
g1593 = NOT(g1054)
g1594 = NOT(g1143)
I2570 = NOT(g1222)
g1608 = NOT(I2570)
I2578 = NOT(g1209)
g1623 = NOT(I2578)
I2581 = NOT(g946)
g1624 = NOT(I2581)
I2584 = NOT(g839)
g1627 = NOT(I2584)
I2588 = NOT(g1193)
g1631 = NOT(I2588)
g1632 = NOT(g760)
I2593 = NOT(g1177)
g1636 = NOT(I2593)
I2596 = NOT(g985)
g1637 = NOT(I2596)
g1638 = NOT(g754)
g1639 = NOT(g815)
I2601 = NOT(g1161)
g1640 = NOT(I2601)
I2604 = NOT(g1222)
g1641 = NOT(I2604)
g1642 = NOT(g809)
I2608 = NOT(g1143)
g1643 = NOT(I2608)
I2611 = NOT(g1209)
g1644 = NOT(I2611)
I2614 = NOT(g1123)
g1645 = NOT(I2614)
I2617 = NOT(g1193)
g1646 = NOT(I2617)
I2620 = NOT(g1177)
g1647 = NOT(I2620)
I2623 = NOT(g1161)
g1648 = NOT(I2623)
g1649 = NOT(g985)
I2627 = NOT(g1053)
g1650 = NOT(I2627)
I2630 = NOT(g1143)
g1653 = NOT(I2630)
g1654 = NOT(g878)
g1655 = NOT(g985)
I2635 = NOT(g1055)
g1656 = NOT(I2635)
I2638 = NOT(g1123)
g1659 = NOT(I2638)
g1660 = NOT(g985)
g1661 = NOT(g1076)
I2643 = NOT(g965)
g1664 = NOT(I2643)
g1665 = NOT(g985)
g1666 = NOT(g1088)
I2648 = NOT(g980)
g1670 = NOT(I2648)
g1671 = NOT(g985)
g1672 = NOT(g1094)
I2653 = NOT(g996)
g1673 = NOT(I2653)
g1674 = NOT(g985)
g1675 = NOT(g1101)
I2658 = NOT(g1001)
g1678 = NOT(I2658)
g1679 = NOT(g985)
g1680 = NOT(g1011)
I2663 = NOT(g1006)
g1681 = NOT(I2663)
g1682 = NOT(g829)
g1683 = NOT(g1017)
I2668 = NOT(g1011)
g1684 = NOT(I2668)
I2671 = NOT(g1017)
g1685 = NOT(I2671)
I2688 = NOT(g1030)
g1688 = NOT(I2688)
I2692 = NOT(g1037)
g1690 = NOT(I2692)
I2696 = NOT(g1156)
g1692 = NOT(I2696)
g1695 = NOT(g1106)
I2700 = NOT(g1173)
g1696 = NOT(I2700)
I2703 = NOT(g1189)
g1699 = NOT(I2703)
g1702 = NOT(g1107)
I2707 = NOT(g1190)
g1703 = NOT(I2707)
g1710 = NOT(g1109)
I2712 = NOT(g1203)
g1711 = NOT(I2712)
g1714 = NOT(g1110)
I2716 = NOT(g1115)
g1715 = NOT(I2716)
g1720 = NOT(g1111)
I2721 = NOT(g1219)
g1721 = NOT(I2721)
I2724 = NOT(g1220)
g1724 = NOT(I2724)
g1725 = NOT(g1113)
I2728 = NOT(g1232)
g1726 = NOT(I2728)
I2731 = NOT(g1117)
g1729 = NOT(I2731)
g1730 = NOT(g1114)
I2735 = NOT(g1118)
g1731 = NOT(I2735)
I2738 = NOT(g1236)
g1732 = NOT(I2738)
I2741 = NOT(g1222)
g1733 = NOT(I2741)
g1734 = NOT(g952)
I2745 = NOT(g1249)
g1735 = NOT(I2745)
g1738 = NOT(g1108)
I2749 = NOT(g1209)
g1739 = NOT(I2749)
g1740 = NOT(g1116)
I2753 = NOT(g1174)
g1741 = NOT(I2753)
I2756 = NOT(g1175)
g1742 = NOT(I2756)
I2760 = NOT(g1193)
g1747 = NOT(I2760)
I2763 = NOT(g1236)
g1748 = NOT(I2763)
I2773 = NOT(g1191)
g1754 = NOT(I2773)
I2776 = NOT(g1192)
g1755 = NOT(I2776)
I2779 = NOT(g1038)
g1756 = NOT(I2779)
I2782 = NOT(g1177)
g1759 = NOT(I2782)
I2785 = NOT(g1222)
g1760 = NOT(I2785)
I2788 = NOT(g1236)
g1761 = NOT(I2788)
I2791 = NOT(g1236)
g1762 = NOT(I2791)
I2802 = NOT(g1204)
g1769 = NOT(I2802)
I2805 = NOT(g1205)
g1770 = NOT(I2805)
I2808 = NOT(g1161)
g1771 = NOT(I2808)
I2811 = NOT(g1209)
g1772 = NOT(I2811)
I2814 = NOT(g1222)
g1773 = NOT(I2814)
I2817 = NOT(g1222)
g1774 = NOT(I2817)
g1775 = NOT(g952)
I2821 = NOT(g1221)
g1776 = NOT(I2821)
I2825 = NOT(g1143)
g1781 = NOT(I2825)
I2828 = NOT(g1193)
g1782 = NOT(I2828)
I2831 = NOT(g1209)
g1783 = NOT(I2831)
I2835 = NOT(g1209)
g1787 = NOT(I2835)
g1788 = NOT(g985)
I2839 = NOT(g1123)
g1789 = NOT(I2839)
I2842 = NOT(g1177)
g1790 = NOT(I2842)
I2845 = NOT(g1193)
g1791 = NOT(I2845)
I2848 = NOT(g1193)
g1792 = NOT(I2848)
I2854 = NOT(g1236)
g1805 = NOT(I2854)
I2857 = NOT(g1161)
g1806 = NOT(I2857)
I2860 = NOT(g1177)
g1807 = NOT(I2860)
I2864 = NOT(g1177)
g1811 = NOT(I2864)
I2867 = NOT(g1143)
g1812 = NOT(I2867)
I2870 = NOT(g1161)
g1813 = NOT(I2870)
I2873 = NOT(g1161)
g1814 = NOT(I2873)
I2877 = NOT(g1123)
g1819 = NOT(I2877)
I2880 = NOT(g1143)
g1820 = NOT(I2880)
I2883 = NOT(g1143)
g1821 = NOT(I2883)
I2887 = NOT(g1123)
g1823 = NOT(I2887)
I2890 = NOT(g1123)
g1824 = NOT(I2890)
I2893 = NOT(g1236)
g1825 = NOT(I2893)
I2904 = NOT(g1256)
g1830 = NOT(I2904)
I2907 = NOT(g1498)
g1831 = NOT(I2907)
I2910 = NOT(g1645)
g1832 = NOT(I2910)
I2913 = NOT(g1792)
g1833 = NOT(I2913)
I2916 = NOT(g1643)
g1834 = NOT(I2916)
I2919 = NOT(g1787)
g1835 = NOT(I2919)
I2922 = NOT(g1774)
g1836 = NOT(I2922)
I2925 = NOT(g1762)
g1837 = NOT(I2925)
g1838 = NOT(g1595)
I2929 = NOT(g1659)
g1841 = NOT(I2929)
g1842 = NOT(g1612)
I2940 = NOT(g1653)
g1846 = NOT(I2940)
I2943 = NOT(g1715)
g1847 = NOT(I2943)
I2946 = NOT(g1587)
g1848 = NOT(I2946)
I2949 = NOT(g1263)
g1849 = NOT(I2949)
I2952 = NOT(g1594)
g1852 = NOT(I2952)
I2955 = NOT(g1729)
g1853 = NOT(I2955)
I2958 = NOT(g1257)
g1854 = NOT(I2958)
I2961 = NOT(g1731)
g1857 = NOT(I2961)
I2964 = NOT(g1257)
g1858 = NOT(I2964)
I2967 = NOT(g1682)
g1861 = NOT(I2967)
I2970 = NOT(g1504)
g1875 = NOT(I2970)
I2973 = NOT(g1687)
g1878 = NOT(I2973)
g1880 = NOT(g1603)
g1883 = NOT(g1797)
I2979 = NOT(g1263)
g1884 = NOT(I2979)
I2982 = NOT(g1426)
g1887 = NOT(I2982)
g1890 = NOT(g1359)
I2986 = NOT(g1504)
g1891 = NOT(I2986)
I2989 = NOT(g1519)
g1894 = NOT(I2989)
I2992 = NOT(g1741)
g1897 = NOT(I2992)
I2995 = NOT(g1742)
g1898 = NOT(I2995)
I2998 = NOT(g1257)
g1899 = NOT(I2998)
I3001 = NOT(g1267)
g1902 = NOT(I3001)
I3004 = NOT(g1426)
g1905 = NOT(I3004)
I3007 = NOT(g1439)
g1908 = NOT(I3007)
I3010 = NOT(g1504)
g1911 = NOT(I3010)
I3013 = NOT(g1519)
g1914 = NOT(I3013)
I3016 = NOT(g1754)
g1917 = NOT(I3016)
I3019 = NOT(g1755)
g1918 = NOT(I3019)
I3022 = NOT(g1426)
g1919 = NOT(I3022)
I3025 = NOT(g1439)
g1922 = NOT(I3025)
I3028 = NOT(g1504)
g1925 = NOT(I3028)
I3031 = NOT(g1504)
g1928 = NOT(I3031)
I3034 = NOT(g1519)
g1931 = NOT(I3034)
I3037 = NOT(g1769)
g1934 = NOT(I3037)
I3040 = NOT(g1770)
g1935 = NOT(I3040)
g1936 = NOT(g1756)
I3044 = NOT(g1257)
g1937 = NOT(I3044)
I3047 = NOT(g1426)
g1940 = NOT(I3047)
I3050 = NOT(g1439)
g1943 = NOT(I3050)
I3053 = NOT(g1407)
g1946 = NOT(I3053)
I3056 = NOT(g1519)
g1947 = NOT(I3056)
I3059 = NOT(g1519)
g1950 = NOT(I3059)
I3062 = NOT(g1776)
g1953 = NOT(I3062)
I3065 = NOT(g1426)
g1954 = NOT(I3065)
I3068 = NOT(g1439)
g1957 = NOT(I3068)
I3071 = NOT(g1504)
g1960 = NOT(I3071)
I3074 = NOT(g1426)
g1963 = NOT(I3074)
I3077 = NOT(g1439)
g1966 = NOT(I3077)
I3080 = NOT(g1519)
g1969 = NOT(I3080)
I3083 = NOT(g1426)
g1972 = NOT(I3083)
I3086 = NOT(g1439)
g1975 = NOT(I3086)
g1978 = NOT(g1387)
I3090 = NOT(g1504)
g1979 = NOT(I3090)
I3093 = NOT(g1426)
g1982 = NOT(I3093)
I3096 = NOT(g1439)
g1985 = NOT(I3096)
I3099 = NOT(g1519)
g1988 = NOT(I3099)
I3102 = NOT(g1426)
g1991 = NOT(I3102)
I3105 = NOT(g1439)
g1994 = NOT(I3105)
g1997 = NOT(g1398)
I3109 = NOT(g1504)
g1998 = NOT(I3109)
I3112 = NOT(g1439)
g2001 = NOT(I3112)
I3115 = NOT(g1519)
g2004 = NOT(I3115)
g2007 = NOT(g1411)
g2025 = NOT(g1276)
I3134 = NOT(g1336)
g2029 = NOT(I3134)
I3137 = NOT(g1315)
g2030 = NOT(I3137)
I3140 = NOT(g1317)
g2031 = NOT(I3140)
g2032 = NOT(g1749)
I3144 = NOT(g1319)
g2035 = NOT(I3144)
g2036 = NOT(g1764)
I3148 = NOT(g1595)
g2039 = NOT(I3148)
g2040 = NOT(g1738)
I3152 = NOT(g1322)
g2041 = NOT(I3152)
I3155 = NOT(g1612)
g2042 = NOT(I3155)
I3158 = NOT(g1829)
g2043 = NOT(I3158)
I3161 = NOT(g1270)
g2044 = NOT(I3161)
g2059 = NOT(g1402)
g2060 = NOT(g1369)
g2066 = NOT(g1341)
g2078 = NOT(g1345)
g2079 = NOT(g1348)
I3198 = NOT(g1819)
g2086 = NOT(I3198)
g2087 = NOT(g1352)
I3202 = NOT(g1812)
g2088 = NOT(I3202)
I3206 = NOT(g1823)
g2090 = NOT(I3206)
g2091 = NOT(g1355)
I3212 = NOT(g1806)
g2096 = NOT(I3212)
I3215 = NOT(g1820)
g2097 = NOT(I3215)
g2098 = NOT(g1363)
g2099 = NOT(g1366)
I3222 = NOT(g1790)
g2102 = NOT(I3222)
I3225 = NOT(g1813)
g2103 = NOT(I3225)
g2104 = NOT(g1372)
g2105 = NOT(g1375)
g2106 = NOT(g1378)
I3232 = NOT(g1782)
g2108 = NOT(I3232)
I3235 = NOT(g1807)
g2109 = NOT(I3235)
g2110 = NOT(g1381)
g2111 = NOT(g1384)
I3240 = NOT(g1460)
g2112 = NOT(I3240)
I3244 = NOT(g1772)
g2117 = NOT(I3244)
I3247 = NOT(g1791)
g2118 = NOT(I3247)
g2119 = NOT(g1391)
I3251 = NOT(g1471)
g2120 = NOT(I3251)
I3255 = NOT(g1650)
g2125 = NOT(I3255)
I3258 = NOT(g1760)
g2134 = NOT(I3258)
I3261 = NOT(g1783)
g2135 = NOT(I3261)
g2136 = NOT(g1395)
I3268 = NOT(g1656)
g2145 = NOT(I3268)
I3271 = NOT(g1748)
g2154 = NOT(I3271)
I3274 = NOT(g1773)
g2155 = NOT(I3274)
I3278 = NOT(g1695)
g2157 = NOT(I3278)
I3281 = NOT(g1761)
g2158 = NOT(I3281)
I3284 = NOT(g1702)
g2159 = NOT(I3284)
I3288 = NOT(g1710)
g2163 = NOT(I3288)
I3291 = NOT(g1714)
g2164 = NOT(I3291)
I3294 = NOT(g1720)
g2165 = NOT(I3294)
I3298 = NOT(g1725)
g2169 = NOT(I3298)
I3301 = NOT(g1730)
g2170 = NOT(I3301)
I3304 = NOT(g1740)
g2171 = NOT(I3304)
I3307 = NOT(g1339)
g2172 = NOT(I3307)
I3310 = NOT(g1640)
g2173 = NOT(I3310)
I3313 = NOT(g1337)
g2174 = NOT(I3313)
I3316 = NOT(g1344)
g2175 = NOT(I3316)
I3319 = NOT(g1636)
g2176 = NOT(I3319)
I3322 = NOT(g1333)
g2177 = NOT(I3322)
I3325 = NOT(g1340)
g2178 = NOT(I3325)
I3328 = NOT(g1273)
g2179 = NOT(I3328)
I3331 = NOT(g1631)
g2194 = NOT(I3331)
I3334 = NOT(g1330)
g2195 = NOT(I3334)
I3337 = NOT(g1338)
g2196 = NOT(I3337)
I3340 = NOT(g1282)
g2197 = NOT(I3340)
I3343 = NOT(g1623)
g2212 = NOT(I3343)
I3346 = NOT(g1327)
g2213 = NOT(I3346)
I3349 = NOT(g1334)
g2214 = NOT(I3349)
I3352 = NOT(g1285)
g2215 = NOT(I3352)
I3355 = NOT(g1608)
g2230 = NOT(I3355)
I3358 = NOT(g1323)
g2231 = NOT(I3358)
I3361 = NOT(g1331)
g2232 = NOT(I3361)
I3364 = NOT(g1648)
g2233 = NOT(I3364)
I3367 = NOT(g1283)
g2234 = NOT(I3367)
I3370 = NOT(g1805)
g2241 = NOT(I3370)
I3373 = NOT(g1320)
g2242 = NOT(I3373)
I3376 = NOT(g1328)
g2243 = NOT(I3376)
I3379 = NOT(g1647)
g2244 = NOT(I3379)
I3382 = NOT(g1284)
g2245 = NOT(I3382)
I3385 = NOT(g1318)
g2252 = NOT(I3385)
I3388 = NOT(g1324)
g2253 = NOT(I3388)
I3391 = NOT(g1646)
g2254 = NOT(I3391)
I3395 = NOT(g1286)
g2256 = NOT(I3395)
I3405 = NOT(g1321)
g2264 = NOT(I3405)
I3408 = NOT(g1644)
g2265 = NOT(I3408)
I3419 = NOT(g1287)
g2268 = NOT(I3419)
I3422 = NOT(g1641)
g2275 = NOT(I3422)
I3425 = NOT(g1274)
g2276 = NOT(I3425)
I3428 = NOT(g1825)
g2283 = NOT(I3428)
I3431 = NOT(g1275)
g2284 = NOT(I3431)
I3434 = NOT(g1627)
g2291 = NOT(I3434)
g2293 = NOT(g1567)
g2295 = NOT(g1578)
I3441 = NOT(g1502)
g2296 = NOT(I3441)
g2306 = NOT(g1743)
I3452 = NOT(g1450)
g2308 = NOT(I3452)
I3462 = NOT(g1450)
g2312 = NOT(I3462)
I3465 = NOT(g1724)
g2315 = NOT(I3465)
I3468 = NOT(g1802)
g2316 = NOT(I3468)
I3471 = NOT(g1450)
g2317 = NOT(I3471)
I3474 = NOT(g1450)
g2320 = NOT(I3474)
I3478 = NOT(g1450)
g2324 = NOT(I3478)
I3481 = NOT(g1461)
g2327 = NOT(I3481)
g2330 = NOT(g1777)
I3485 = NOT(g1450)
g2333 = NOT(I3485)
I3488 = NOT(g1295)
g2336 = NOT(I3488)
I3493 = NOT(g1461)
g2343 = NOT(I3493)
I3496 = NOT(g1326)
g2346 = NOT(I3496)
I3499 = NOT(g1450)
g2347 = NOT(I3499)
I3502 = NOT(g1295)
g2350 = NOT(I3502)
I3505 = NOT(g1305)
g2353 = NOT(I3505)
I3509 = NOT(g1461)
g2357 = NOT(I3509)
g2360 = NOT(g1793)
I3513 = NOT(g1450)
g2361 = NOT(I3513)
I3516 = NOT(g1295)
g2364 = NOT(I3516)
I3519 = NOT(g1305)
g2367 = NOT(I3519)
I3522 = NOT(g1664)
g2370 = NOT(I3522)
I3525 = NOT(g1461)
g2378 = NOT(I3525)
I3528 = NOT(g1422)
g2381 = NOT(I3528)
I3531 = NOT(g1593)
g2390 = NOT(I3531)
I3534 = NOT(g1295)
g2391 = NOT(I3534)
I3537 = NOT(g1305)
g2394 = NOT(I3537)
I3540 = NOT(g1670)
g2397 = NOT(I3540)
I3543 = NOT(g1461)
g2405 = NOT(I3543)
I3546 = NOT(g1586)
g2408 = NOT(I3546)
g2409 = NOT(g1815)
I3550 = NOT(g1295)
g2410 = NOT(I3550)
I3553 = NOT(g1305)
g2413 = NOT(I3553)
I3556 = NOT(g1484)
g2416 = NOT(I3556)
I3560 = NOT(g1673)
g2422 = NOT(I3560)
I3563 = NOT(g1461)
g2430 = NOT(I3563)
I3569 = NOT(g1789)
g2436 = NOT(I3569)
I3572 = NOT(g1295)
g2437 = NOT(I3572)
I3575 = NOT(g1305)
g2440 = NOT(I3575)
I3578 = NOT(g1484)
g2443 = NOT(I3578)
I3581 = NOT(g1491)
g2446 = NOT(I3581)
I3584 = NOT(g1678)
g2449 = NOT(I3584)
I3587 = NOT(g1461)
g2457 = NOT(I3587)
I3590 = NOT(g1781)
g2460 = NOT(I3590)
I3593 = NOT(g1295)
g2461 = NOT(I3593)
I3596 = NOT(g1305)
g2464 = NOT(I3596)
I3599 = NOT(g1484)
g2467 = NOT(I3599)
I3602 = NOT(g1491)
g2470 = NOT(I3602)
I3605 = NOT(g1681)
g2473 = NOT(I3605)
I3608 = NOT(g1461)
g2481 = NOT(I3608)
I3611 = NOT(g1771)
g2484 = NOT(I3611)
I3614 = NOT(g1295)
g2485 = NOT(I3614)
I3617 = NOT(g1305)
g2488 = NOT(I3617)
I3620 = NOT(g1484)
g2491 = NOT(I3620)
I3623 = NOT(g1491)
g2494 = NOT(I3623)
I3626 = NOT(g1684)
g2497 = NOT(I3626)
I3629 = NOT(g1759)
g2505 = NOT(I3629)
I3632 = NOT(g1295)
g2506 = NOT(I3632)
I3635 = NOT(g1305)
g2509 = NOT(I3635)
I3638 = NOT(g1484)
g2512 = NOT(I3638)
I3641 = NOT(g1491)
g2515 = NOT(I3641)
I3644 = NOT(g1685)
g2518 = NOT(I3644)
I3647 = NOT(g1747)
g2524 = NOT(I3647)
I3650 = NOT(g1650)
g2525 = NOT(I3650)
I3653 = NOT(g1305)
g2535 = NOT(I3653)
I3656 = NOT(g1484)
g2538 = NOT(I3656)
I3659 = NOT(g1491)
g2541 = NOT(I3659)
I3662 = NOT(g1688)
g2544 = NOT(I3662)
I3665 = NOT(g1824)
g2550 = NOT(I3665)
I3669 = NOT(g1739)
g2554 = NOT(I3669)
I3672 = NOT(g1656)
g2555 = NOT(I3672)
I3675 = NOT(g1491)
g2565 = NOT(I3675)
I3678 = NOT(g1690)
g2568 = NOT(I3678)
I3681 = NOT(g1821)
g2574 = NOT(I3681)
I3684 = NOT(g1733)
g2575 = NOT(I3684)
I3687 = NOT(g1814)
g2576 = NOT(I3687)
I3691 = NOT(g1732)
g2580 = NOT(I3691)
I3694 = NOT(g1811)
g2581 = NOT(I3694)
g2583 = NOT(g1830)
I3705 = NOT(g2316)
g2584 = NOT(I3705)
I3708 = NOT(g1946)
g2585 = NOT(I3708)
I3711 = NOT(g1848)
g2586 = NOT(I3711)
I3714 = NOT(g1852)
g2587 = NOT(I3714)
I3717 = NOT(g2154)
g2588 = NOT(I3717)
I3720 = NOT(g2155)
g2591 = NOT(I3720)
I3723 = NOT(g2158)
g2594 = NOT(I3723)
I3726 = NOT(g2030)
g2598 = NOT(I3726)
I3729 = NOT(g2436)
g2599 = NOT(I3729)
g2602 = NOT(g2061)
I3733 = NOT(g2031)
g2603 = NOT(I3733)
I3736 = NOT(g2460)
g2604 = NOT(I3736)
I3746 = NOT(g2035)
g2608 = NOT(I3746)
I3749 = NOT(g2484)
g2609 = NOT(I3749)
I3752 = NOT(g2044)
g2612 = NOT(I3752)
I3755 = NOT(g2125)
g2615 = NOT(I3755)
I3758 = NOT(g2041)
g2618 = NOT(I3758)