atpg-ls/ISCAS85/new/c3540.bench

# c\3540

INPUT(\1)
INPUT(\13)
INPUT(\20)
INPUT(\33)
INPUT(\41)
INPUT(\45)
INPUT(\50)
INPUT(\58)
INPUT(\68)
INPUT(\77)
INPUT(\87)
INPUT(\97)
INPUT(\107)
INPUT(\116)
INPUT(\124)
INPUT(\125)
INPUT(\128)
INPUT(\132)
INPUT(\137)
INPUT(\143)
INPUT(\150)
INPUT(\159)
INPUT(\169)
INPUT(\179)
INPUT(\190)
INPUT(\200)
INPUT(\213)
INPUT(\222)
INPUT(\223)
INPUT(\226)
INPUT(\232)
INPUT(\238)
INPUT(\244)
INPUT(\250)
INPUT(\257)
INPUT(\264)
INPUT(\270)
INPUT(\274)
INPUT(\283)
INPUT(\294)
INPUT(\303)
INPUT(\311)
INPUT(\317)
INPUT(\322)
INPUT(\326)
INPUT(\329)
INPUT(\330)
INPUT(\343)
INPUT(\349)
INPUT(\350)

OUTPUT(\1713)
OUTPUT(\1947)
OUTPUT(\3195)
OUTPUT(\3833)
OUTPUT(\3987)
OUTPUT(\4028)
OUTPUT(\4145)
OUTPUT(\4589)
OUTPUT(\4667)
OUTPUT(\4815)
OUTPUT(\4944)
OUTPUT(\5002)
OUTPUT(\5045)
OUTPUT(\5047)
OUTPUT(\5078)
OUTPUT(\5102)
OUTPUT(\5120)
OUTPUT(\5121)
OUTPUT(\5192)
OUTPUT(\5231)
OUTPUT(\5360)
OUTPUT(\5361)

\655 = BUFF(\50)
\665 = NOT(\50)
\670 = BUFF(\58)
\679 = NOT(\58)
\683 = BUFF(\68)
\686 = NOT(\68)
\690 = BUFF(\68)
\699 = BUFF(\77)
\702 = NOT(\77)
\706 = BUFF(\77)
\715 = BUFF(\87)
\724 = NOT(\87)
\727 = BUFF(\97)
\736 = NOT(\97)
\740 = BUFF(\107)
\749 = NOT(\107)
\753 = BUFF(\116)
\763 = NOT(\116)
\768 = OR(\257, \264)
\769 = NOT(\1)
\772 = BUFF(\1)
\779 = NOT(\1)
\782 = BUFF(\13)
\786 = NOT(\13)
\793 = AND(\13, \20)
\794 = NOT(\20)
\798 = BUFF(\20)
\803 = NOT(\20)
\820 = NOT(\33)
\821 = BUFF(\33)
\825 = NOT(\33)
\829 = AND(\33, \41)
\832 = NOT(\41)
\835 = OR(\41, \45)
\836 = BUFF(\45)
\839 = NOT(\45)
\842 = NOT(\50)
\845 = BUFF(\58)
\848 = NOT(\58)
\851 = BUFF(\68)
\854 = NOT(\68)
\858 = BUFF(\87)
\861 = NOT(\87)
\864 = BUFF(\97)
\867 = NOT(\97)
\870 = NOT(\107)
\874 = BUFF(\1)
\877 = BUFF(\68)
\880 = BUFF(\107)
\883 = NOT(\20)
\886 = BUFF(\190)
\889 = NOT(\200)
\890 = AND(\20, \200)
\891 = NAND(\20, \200)
\892 = AND(\20, \179)
\895 = NOT(\20)
\896 = OR(\349, \33)
\913 = NAND(\1, \13)
\914 = NAND(\1, \20, \33)
\915 = NOT(\20)
\916 = NOT(\33)
\917 = BUFF(\179)
\920 = NOT(\213)
\923 = BUFF(\343)
\926 = BUFF(\226)
\929 = BUFF(\232)
\932 = BUFF(\238)
\935 = BUFF(\244)
\938 = BUFF(\250)
\941 = BUFF(\257)
\944 = BUFF(\264)
\947 = BUFF(\270)
\950 = BUFF(\50)
\953 = BUFF(\58)
\956 = BUFF(\58)
\959 = BUFF(\97)
\962 = BUFF(\97)
\965 = BUFF(\330)
\1067 = AND(\250, \768)
\1117 = OR(\820, \20)
\1179 = OR(\895, \169)
\1196 = NOT(\793)
\1197 = OR(\915, \1)
\1202 = AND(\913, \914)
\1219 = OR(\916, \1)
\1250 = AND(\842, \848, \854)
\1251 = NAND(\226, \655)
\1252 = NAND(\232, \670)
\1253 = NAND(\238, \690)
\1254 = NAND(\244, \706)
\1255 = NAND(\250, \715)
\1256 = NAND(\257, \727)
\1257 = NAND(\264, \740)
\1258 = NAND(\270, \753)
\1259 = NOT(\926)
\1260 = NOT(\929)
\1261 = NOT(\932)
\1262 = NOT(\935)
\1263 = NAND(\679, \686)
\1264 = NAND(\736, \749)
\1267 = NAND(\683, \699)
\1268 = BUFF(\665)
\1271 = NOT(\953)
\1272 = NOT(\959)
\1273 = BUFF(\839)
\1276 = BUFF(\839)
\1279 = BUFF(\782)
\1298 = BUFF(\825)
\1302 = BUFF(\832)
\1306 = AND(\779, \835)
\1315 = AND(\779, \836, \832)
\1322 = AND(\769, \836)
\1325 = AND(\772, \786, \798)
\1328 = NAND(\772, \786, \798)
\1331 = NAND(\772, \786)
\1334 = BUFF(\874)
\1337 = NAND(\782, \794, \45)
\1338 = NAND(\842, \848, \854)
\1339 = NOT(\956)
\1340 = AND(\861, \867, \870)
\1343 = NAND(\861, \867, \870)
\1344 = NOT(\962)
\1345 = NOT(\803)
\1346 = NOT(\803)
\1347 = NOT(\803)
\1348 = NOT(\803)
\1349 = NOT(\803)
\1350 = NOT(\803)
\1351 = NOT(\803)
\1352 = NOT(\803)
\1353 = OR(\883, \886)
\1358 = NOR(\883, \886)
\1363 = BUFF(\892)
\1366 = NOT(\892)
\1369 = BUFF(\821)
\1384 = BUFF(\825)
\1401 = NOT(\896)
\1402 = NOT(\896)
\1403 = NOT(\896)
\1404 = NOT(\896)
\1405 = NOT(\896)
\1406 = NOT(\896)
\1407 = NOT(\896)
\1408 = NOT(\896)
\1409 = OR(\1, \1196)
\1426 = NOT(\829)
\1427 = NOT(\829)
\1452 = AND(\769, \782, \794)
\1459 = NOT(\917)
\1460 = NOT(\965)
\1461 = OR(\920, \923)
\1464 = NOR(\920, \923)
\1467 = NOT(\938)
\1468 = NOT(\941)
\1469 = NOT(\944)
\1470 = NOT(\947)
\1471 = BUFF(\679)
\1474 = NOT(\950)
\1475 = BUFF(\686)
\1478 = BUFF(\702)
\1481 = BUFF(\724)
\1484 = BUFF(\736)
\1487 = BUFF(\749)
\1490 = BUFF(\763)
\1493 = BUFF(\877)
\1496 = BUFF(\877)
\1499 = BUFF(\880)
\1502 = BUFF(\880)
\1505 = NAND(\702, \1250)
\1507 = AND(\1251, \1252, \1253, \1254)
\1508 = AND(\1255, \1256, \1257, \1258)
\1509 = NAND(\929, \1259)
\1510 = NAND(\926, \1260)
\1511 = NAND(\935, \1261)
\1512 = NAND(\932, \1262)
\1520 = AND(\655, \1263)
\1562 = AND(\874, \1337)
\1579 = NOT(\1117)
\1580 = AND(\803, \1117)
\1581 = AND(\1338, \1345)
\1582 = NOT(\1117)
\1583 = AND(\803, \1117)
\1584 = NOT(\1117)
\1585 = AND(\803, \1117)
\1586 = AND(\854, \1347)
\1587 = NOT(\1117)
\1588 = AND(\803, \1117)
\1589 = AND(\77, \1348)
\1590 = NOT(\1117)
\1591 = AND(\803, \1117)
\1592 = AND(\1343, \1349)
\1593 = NOT(\1117)
\1594 = AND(\803, \1117)
\1595 = NOT(\1117)
\1596 = AND(\803, \1117)
\1597 = AND(\870, \1351)
\1598 = NOT(\1117)
\1599 = AND(\803, \1117)
\1600 = AND(\116, \1352)
\1643 = AND(\222, \1401)
\1644 = AND(\223, \1402)
\1645 = AND(\226, \1403)
\1646 = AND(\232, \1404)
\1647 = AND(\238, \1405)
\1648 = AND(\244, \1406)
\1649 = AND(\250, \1407)
\1650 = AND(\257, \1408)
\1667 = AND(\1, \13, \1426)
\1670 = AND(\1, \13, \1427)
\1673 = NOT(\1202)
\1674 = NOT(\1202)
\1675 = NOT(\1202)
\1676 = NOT(\1202)
\1677 = NOT(\1202)
\1678 = NOT(\1202)
\1679 = NOT(\1202)
\1680 = NOT(\1202)
\1691 = NAND(\941, \1467)
\1692 = NAND(\938, \1468)
\1693 = NAND(\947, \1469)
\1694 = NAND(\944, \1470)
\1713 = NOT(\1505)
\1714 = AND(\87, \1264)
\1715 = NAND(\1509, \1510)
\1718 = NAND(\1511, \1512)
\1721 = NAND(\1507, \1508)
\1722 = AND(\763, \1340)
\1725 = NAND(\763, \1340)
\1726 = NOT(\1268)
\1727 = NAND(\1493, \1271)
\1728 = NOT(\1493)
\1729 = AND(\683, \1268)
\1730 = NAND(\1499, \1272)
\1731 = NOT(\1499)
\1735 = NAND(\87, \1264)
\1736 = NOT(\1273)
\1737 = NOT(\1276)
\1738 = NAND(\1325, \821)
\1747 = NAND(\1325, \825)
\1756 = NAND(\772, \1279, \798)
\1761 = NAND(\772, \786, \798, \1302)
\1764 = NAND(\1496, \1339)
\1765 = NOT(\1496)
\1766 = NAND(\1502, \1344)
\1767 = NOT(\1502)
\1768 = NOT(\1328)
\1769 = NOT(\1334)
\1770 = NOT(\1331)
\1787 = AND(\845, \1579)
\1788 = AND(\150, \1580)
\1789 = AND(\851, \1582)
\1790 = AND(\159, \1583)
\1791 = AND(\77, \1584)
\1792 = AND(\50, \1585)
\1793 = AND(\858, \1587)
\1794 = AND(\845, \1588)
\1795 = AND(\864, \1590)
\1796 = AND(\851, \1591)
\1797 = AND(\107, \1593)
\1798 = AND(\77, \1594)
\1799 = AND(\116, \1595)
\1800 = AND(\858, \1596)
\1801 = AND(\283, \1598)
\1802 = AND(\864, \1599)
\1803 = AND(\200, \1363)
\1806 = AND(\889, \1363)
\1809 = AND(\890, \1366)
\1812 = AND(\891, \1366)
\1815 = NAND(\1298, \1302)
\1818 = NAND(\821, \1302)
\1821 = NAND(\772, \1279, \1179)
\1824 = NAND(\786, \794, \1298)
\1833 = NAND(\786, \1298)
\1842 = NOT(\1369)
\1843 = NOT(\1369)
\1844 = NOT(\1369)
\1845 = NOT(\1369)
\1846 = NOT(\1369)
\1847 = NOT(\1369)
\1848 = NOT(\1369)
\1849 = NOT(\1384)
\1850 = AND(\1384, \896)
\1851 = NOT(\1384)
\1852 = AND(\1384, \896)
\1853 = NOT(\1384)
\1854 = AND(\1384, \896)
\1855 = NOT(\1384)
\1856 = AND(\1384, \896)
\1857 = NOT(\1384)
\1858 = AND(\1384, \896)
\1859 = NOT(\1384)
\1860 = AND(\1384, \896)
\1861 = NOT(\1384)
\1862 = AND(\1384, \896)
\1863 = NOT(\1384)
\1864 = AND(\1384, \896)
\1869 = AND(\1202, \1409)
\1870 = NOR(\50, \1409)
\1873 = NOT(\1306)
\1874 = AND(\1202, \1409)
\1875 = NOR(\58, \1409)
\1878 = NOT(\1306)
\1879 = AND(\1202, \1409)
\1880 = NOR(\68, \1409)
\1883 = NOT(\1306)
\1884 = AND(\1202, \1409)
\1885 = NOR(\77, \1409)
\1888 = NOT(\1306)
\1889 = AND(\1202, \1409)
\1890 = NOR(\87, \1409)
\1893 = NOT(\1322)
\1894 = AND(\1202, \1409)
\1895 = NOR(\97, \1409)
\1898 = NOT(\1315)
\1899 = AND(\1202, \1409)
\1900 = NOR(\107, \1409)
\1903 = NOT(\1315)
\1904 = AND(\1202, \1409)
\1905 = NOR(\116, \1409)
\1908 = NOT(\1315)
\1909 = AND(\1452, \213)
\1912 = NAND(\1452, \213)
\1913 = AND(\1452, \213, \343)
\1917 = NAND(\1452, \213, \343)
\1922 = AND(\1452, \213, \343)
\1926 = NAND(\1452, \213, \343)
\1930 = BUFF(\1464)
\1933 = NAND(\1691, \1692)
\1936 = NAND(\1693, \1694)
\1939 = NOT(\1471)
\1940 = NAND(\1471, \1474)
\1941 = NOT(\1475)
\1942 = NOT(\1478)
\1943 = NOT(\1481)
\1944 = NOT(\1484)
\1945 = NOT(\1487)
\1946 = NOT(\1490)
\1947 = NOT(\1714)
\1960 = NAND(\953, \1728)
\1961 = NAND(\959, \1731)
\1966 = AND(\1520, \1276)
\1981 = NAND(\956, \1765)
\1982 = NAND(\962, \1767)
\1983 = AND(\1067, \1768)
\1986 = OR(\1581, \1787, \1788)
\1987 = OR(\1586, \1791, \1792)
\1988 = OR(\1589, \1793, \1794)
\1989 = OR(\1592, \1795, \1796)
\1990 = OR(\1597, \1799, \1800)
\1991 = OR(\1600, \1801, \1802)
\2022 = AND(\77, \1849)
\2023 = AND(\223, \1850)
\2024 = AND(\87, \1851)
\2025 = AND(\226, \1852)
\2026 = AND(\97, \1853)
\2027 = AND(\232, \1854)
\2028 = AND(\107, \1855)
\2029 = AND(\238, \1856)
\2030 = AND(\116, \1857)
\2031 = AND(\244, \1858)
\2032 = AND(\283, \1859)
\2033 = AND(\250, \1860)
\2034 = AND(\294, \1861)
\2035 = AND(\257, \1862)
\2036 = AND(\303, \1863)
\2037 = AND(\264, \1864)
\2038 = BUFF(\1667)
\2043 = NOT(\1667)
\2052 = BUFF(\1670)
\2057 = NOT(\1670)
\2068 = AND(\50, \1197, \1869)
\2073 = AND(\58, \1197, \1874)
\2078 = AND(\68, \1197, \1879)
\2083 = AND(\77, \1197, \1884)
\2088 = AND(\87, \1219, \1889)
\2093 = AND(\97, \1219, \1894)
\2098 = AND(\107, \1219, \1899)
\2103 = AND(\116, \1219, \1904)
\2121 = NOT(\1562)
\2122 = NOT(\1562)
\2123 = NOT(\1562)
\2124 = NOT(\1562)
\2125 = NOT(\1562)
\2126 = NOT(\1562)
\2127 = NOT(\1562)
\2128 = NOT(\1562)
\2133 = NAND(\950, \1939)
\2134 = NAND(\1478, \1941)
\2135 = NAND(\1475, \1942)
\2136 = NAND(\1484, \1943)
\2137 = NAND(\1481, \1944)
\2138 = NAND(\1490, \1945)
\2139 = NAND(\1487, \1946)
\2141 = NOT(\1933)
\2142 = NOT(\1936)
\2143 = NOT(\1738)
\2144 = AND(\1738, \1747)
\2145 = NOT(\1747)
\2146 = NAND(\1727, \1960)
\2147 = NAND(\1730, \1961)
\2148 = AND(\1722, \1267, \665, \58)
\2149 = NOT(\1738)
\2150 = AND(\1738, \1747)
\2151 = NOT(\1747)
\2152 = NOT(\1738)
\2153 = NOT(\1747)
\2154 = AND(\1738, \1747)
\2155 = NOT(\1738)
\2156 = NOT(\1747)
\2157 = AND(\1738, \1747)
\2158 = BUFF(\1761)
\2175 = BUFF(\1761)
\2178 = NAND(\1764, \1981)
\2179 = NAND(\1766, \1982)
\2180 = NOT(\1756)
\2181 = AND(\1756, \1328)
\2183 = NOT(\1756)
\2184 = AND(\1331, \1756)
\2185 = NAND(\1358, \1812)
\2188 = NAND(\1358, \1809)
\2191 = NAND(\1353, \1812)
\2194 = NAND(\1353, \1809)
\2197 = NAND(\1358, \1806)
\2200 = NAND(\1358, \1803)
\2203 = NAND(\1353, \1806)
\2206 = NAND(\1353, \1803)
\2209 = NOT(\1815)
\2210 = NOT(\1818)
\2211 = AND(\1815, \1818)
\2212 = BUFF(\1821)
\2221 = BUFF(\1821)
\2230 = NOT(\1833)
\2231 = NOT(\1833)
\2232 = NOT(\1833)
\2233 = NOT(\1833)
\2234 = NOT(\1824)
\2235 = NOT(\1824)
\2236 = NOT(\1824)
\2237 = NOT(\1824)
\2238 = OR(\2022, \1643, \2023)
\2239 = OR(\2024, \1644, \2025)
\2240 = OR(\2026, \1645, \2027)
\2241 = OR(\2028, \1646, \2029)
\2242 = OR(\2030, \1647, \2031)
\2243 = OR(\2032, \1648, \2033)
\2244 = OR(\2034, \1649, \2035)
\2245 = OR(\2036, \1650, \2037)
\2270 = AND(\1986, \1673)
\2277 = AND(\1987, \1675)
\2282 = AND(\1988, \1676)
\2287 = AND(\1989, \1677)
\2294 = AND(\1990, \1679)
\2299 = AND(\1991, \1680)
\2304 = BUFF(\1917)
\2307 = AND(\1930, \350)
\2310 = NAND(\1930, \350)
\2313 = BUFF(\1715)
\2316 = BUFF(\1718)
\2319 = BUFF(\1715)
\2322 = BUFF(\1718)
\2325 = NAND(\1940, \2133)
\2328 = NAND(\2134, \2135)
\2331 = NAND(\2136, \2137)
\2334 = NAND(\2138, \2139)
\2341 = NAND(\1936, \2141)
\2342 = NAND(\1933, \2142)
\2347 = AND(\724, \2144)
\2348 = AND(\2146, \699, \1726)
\2349 = AND(\753, \2147)
\2350 = AND(\2148, \1273)
\2351 = AND(\736, \2150)
\2352 = AND(\1735, \2153)
\2353 = AND(\763, \2154)
\2354 = AND(\1725, \2156)
\2355 = AND(\749, \2157)
\2374 = NOT(\2178)
\2375 = NOT(\2179)
\2376 = AND(\1520, \2180)
\2379 = AND(\1721, \2181)
\2398 = AND(\665, \2211)
\2417 = AND(\2057, \226, \1873)
\2418 = AND(\2057, \274, \1306)
\2419 = AND(\2052, \2238)
\2420 = AND(\2057, \232, \1878)
\2421 = AND(\2057, \274, \1306)
\2422 = AND(\2052, \2239)
\2425 = AND(\2057, \238, \1883)
\2426 = AND(\2057, \274, \1306)
\2427 = AND(\2052, \2240)
\2430 = AND(\2057, \244, \1888)
\2431 = AND(\2057, \274, \1306)
\2432 = AND(\2052, \2241)
\2435 = AND(\2043, \250, \1893)
\2436 = AND(\2043, \274, \1322)
\2437 = AND(\2038, \2242)
\2438 = AND(\2043, \257, \1898)
\2439 = AND(\2043, \274, \1315)
\2440 = AND(\2038, \2243)
\2443 = AND(\2043, \264, \1903)
\2444 = AND(\2043, \274, \1315)
\2445 = AND(\2038, \2244)
\2448 = AND(\2043, \270, \1908)
\2449 = AND(\2043, \274, \1315)
\2450 = AND(\2038, \2245)
\2467 = NOT(\2313)
\2468 = NOT(\2316)
\2469 = NOT(\2319)
\2470 = NOT(\2322)
\2471 = NAND(\2341, \2342)
\2474 = NOT(\2325)
\2475 = NOT(\2328)
\2476 = NOT(\2331)
\2477 = NOT(\2334)
\2478 = OR(\2348, \1729)
\2481 = NOT(\2175)
\2482 = AND(\2175, \1334)
\2483 = AND(\2349, \2183)
\2486 = AND(\2374, \1346)
\2487 = AND(\2375, \1350)
\2488 = BUFF(\2185)
\2497 = BUFF(\2188)
\2506 = BUFF(\2191)
\2515 = BUFF(\2194)
\2524 = BUFF(\2197)
\2533 = BUFF(\2200)
\2542 = BUFF(\2203)
\2551 = BUFF(\2206)
\2560 = BUFF(\2185)
\2569 = BUFF(\2188)
\2578 = BUFF(\2191)
\2587 = BUFF(\2194)
\2596 = BUFF(\2197)
\2605 = BUFF(\2200)
\2614 = BUFF(\2203)
\2623 = BUFF(\2206)
\2632 = NOT(\2212)
\2633 = AND(\2212, \1833)
\2634 = NOT(\2212)
\2635 = AND(\2212, \1833)
\2636 = NOT(\2212)
\2637 = AND(\2212, \1833)
\2638 = NOT(\2212)
\2639 = AND(\2212, \1833)
\2640 = NOT(\2221)
\2641 = AND(\2221, \1824)
\2642 = NOT(\2221)
\2643 = AND(\2221, \1824)
\2644 = NOT(\2221)
\2645 = AND(\2221, \1824)
\2646 = NOT(\2221)
\2647 = AND(\2221, \1824)
\2648 = OR(\2270, \1870, \2068)
\2652 = NOR(\2270, \1870, \2068)
\2656 = OR(\2417, \2418, \2419)
\2659 = OR(\2420, \2421, \2422)
\2662 = OR(\2277, \1880, \2078)
\2666 = NOR(\2277, \1880, \2078)
\2670 = OR(\2425, \2426, \2427)
\2673 = OR(\2282, \1885, \2083)
\2677 = NOR(\2282, \1885, \2083)
\2681 = OR(\2430, \2431, \2432)
\2684 = OR(\2287, \1890, \2088)
\2688 = NOR(\2287, \1890, \2088)
\2692 = OR(\2435, \2436, \2437)
\2697 = OR(\2438, \2439, \2440)
\2702 = OR(\2294, \1900, \2098)
\2706 = NOR(\2294, \1900, \2098)
\2710 = OR(\2443, \2444, \2445)
\2715 = OR(\2299, \1905, \2103)
\2719 = NOR(\2299, \1905, \2103)
\2723 = OR(\2448, \2449, \2450)
\2728 = NOT(\2304)
\2729 = NOT(\2158)
\2730 = AND(\1562, \2158)
\2731 = NOT(\2158)
\2732 = AND(\1562, \2158)
\2733 = NOT(\2158)
\2734 = AND(\1562, \2158)
\2735 = NOT(\2158)
\2736 = AND(\1562, \2158)
\2737 = NOT(\2158)
\2738 = AND(\1562, \2158)
\2739 = NOT(\2158)
\2740 = AND(\1562, \2158)
\2741 = NOT(\2158)
\2742 = AND(\1562, \2158)
\2743 = NOT(\2158)
\2744 = AND(\1562, \2158)
\2745 = OR(\2376, \1983, \2379)
\2746 = NOR(\2376, \1983, \2379)
\2748 = NAND(\2316, \2467)
\2749 = NAND(\2313, \2468)
\2750 = NAND(\2322, \2469)
\2751 = NAND(\2319, \2470)
\2754 = NAND(\2328, \2474)
\2755 = NAND(\2325, \2475)
\2756 = NAND(\2334, \2476)
\2757 = NAND(\2331, \2477)
\2758 = AND(\1520, \2481)
\2761 = AND(\1722, \2482)
\2764 = AND(\2478, \1770)
\2768 = OR(\2486, \1789, \1790)
\2769 = OR(\2487, \1797, \1798)
\2898 = AND(\665, \2633)
\2899 = AND(\679, \2635)
\2900 = AND(\686, \2637)
\2901 = AND(\702, \2639)
\2962 = NOT(\2746)
\2966 = NAND(\2748, \2749)
\2967 = NAND(\2750, \2751)
\2970 = BUFF(\2471)
\2973 = NAND(\2754, \2755)
\2977 = NAND(\2756, \2757)
\2980 = AND(\2471, \2143)
\2984 = NOT(\2488)
\2985 = NOT(\2497)
\2986 = NOT(\2506)
\2987 = NOT(\2515)
\2988 = NOT(\2524)
\2989 = NOT(\2533)
\2990 = NOT(\2542)
\2991 = NOT(\2551)
\2992 = NOT(\2488)
\2993 = NOT(\2497)
\2994 = NOT(\2506)
\2995 = NOT(\2515)
\2996 = NOT(\2524)
\2997 = NOT(\2533)
\2998 = NOT(\2542)
\2999 = NOT(\2551)
\3000 = NOT(\2488)
\3001 = NOT(\2497)
\3002 = NOT(\2506)
\3003 = NOT(\2515)
\3004 = NOT(\2524)
\3005 = NOT(\2533)
\3006 = NOT(\2542)
\3007 = NOT(\2551)
\3008 = NOT(\2488)
\3009 = NOT(\2497)
\3010 = NOT(\2506)
\3011 = NOT(\2515)
\3012 = NOT(\2524)
\3013 = NOT(\2533)
\3014 = NOT(\2542)
\3015 = NOT(\2551)
\3016 = NOT(\2488)
\3017 = NOT(\2497)
\3018 = NOT(\2506)
\3019 = NOT(\2515)
\3020 = NOT(\2524)
\3021 = NOT(\2533)
\3022 = NOT(\2542)
\3023 = NOT(\2551)
\3024 = NOT(\2488)
\3025 = NOT(\2497)
\3026 = NOT(\2506)
\3027 = NOT(\2515)
\3028 = NOT(\2524)
\3029 = NOT(\2533)
\3030 = NOT(\2542)
\3031 = NOT(\2551)
\3032 = NOT(\2488)
\3033 = NOT(\2497)
\3034 = NOT(\2506)
\3035 = NOT(\2515)
\3036 = NOT(\2524)
\3037 = NOT(\2533)
\3038 = NOT(\2542)
\3039 = NOT(\2551)
\3040 = NOT(\2488)
\3041 = NOT(\2497)
\3042 = NOT(\2506)
\3043 = NOT(\2515)
\3044 = NOT(\2524)
\3045 = NOT(\2533)
\3046 = NOT(\2542)
\3047 = NOT(\2551)
\3048 = NOT(\2560)
\3049 = NOT(\2569)
\3050 = NOT(\2578)
\3051 = NOT(\2587)
\3052 = NOT(\2596)
\3053 = NOT(\2605)
\3054 = NOT(\2614)
\3055 = NOT(\2623)
\3056 = NOT(\2560)
\3057 = NOT(\2569)
\3058 = NOT(\2578)
\3059 = NOT(\2587)
\3060 = NOT(\2596)
\3061 = NOT(\2605)
\3062 = NOT(\2614)
\3063 = NOT(\2623)
\3064 = NOT(\2560)
\3065 = NOT(\2569)
\3066 = NOT(\2578)
\3067 = NOT(\2587)
\3068 = NOT(\2596)
\3069 = NOT(\2605)
\3070 = NOT(\2614)
\3071 = NOT(\2623)
\3072 = NOT(\2560)
\3073 = NOT(\2569)
\3074 = NOT(\2578)
\3075 = NOT(\2587)
\3076 = NOT(\2596)
\3077 = NOT(\2605)
\3078 = NOT(\2614)
\3079 = NOT(\2623)
\3080 = NOT(\2560)
\3081 = NOT(\2569)
\3082 = NOT(\2578)
\3083 = NOT(\2587)
\3084 = NOT(\2596)
\3085 = NOT(\2605)
\3086 = NOT(\2614)
\3087 = NOT(\2623)
\3088 = NOT(\2560)
\3089 = NOT(\2569)
\3090 = NOT(\2578)
\3091 = NOT(\2587)
\3092 = NOT(\2596)
\3093 = NOT(\2605)
\3094 = NOT(\2614)
\3095 = NOT(\2623)
\3096 = NOT(\2560)
\3097 = NOT(\2569)
\3098 = NOT(\2578)
\3099 = NOT(\2587)
\3100 = NOT(\2596)
\3101 = NOT(\2605)
\3102 = NOT(\2614)
\3103 = NOT(\2623)
\3104 = NOT(\2560)
\3105 = NOT(\2569)
\3106 = NOT(\2578)
\3107 = NOT(\2587)
\3108 = NOT(\2596)
\3109 = NOT(\2605)
\3110 = NOT(\2614)
\3111 = NOT(\2623)
\3112 = BUFF(\2656)
\3115 = NOT(\2656)
\3118 = NOT(\2652)
\3119 = AND(\2768, \1674)
\3122 = BUFF(\2659)
\3125 = NOT(\2659)
\3128 = BUFF(\2670)
\3131 = NOT(\2670)
\3134 = NOT(\2666)
\3135 = BUFF(\2681)
\3138 = NOT(\2681)
\3141 = NOT(\2677)
\3142 = BUFF(\2692)
\3145 = NOT(\2692)
\3148 = NOT(\2688)
\3149 = AND(\2769, \1678)
\3152 = BUFF(\2697)
\3155 = NOT(\2697)
\3158 = BUFF(\2710)
\3161 = NOT(\2710)
\3164 = NOT(\2706)
\3165 = BUFF(\2723)
\3168 = NOT(\2723)
\3171 = NOT(\2719)
\3172 = AND(\1909, \2648)
\3175 = AND(\1913, \2662)
\3178 = AND(\1913, \2673)
\3181 = AND(\1913, \2684)
\3184 = AND(\1922, \2702)
\3187 = AND(\1922, \2715)
\3190 = NOT(\2692)
\3191 = NOT(\2697)
\3192 = NOT(\2710)
\3193 = NOT(\2723)
\3194 = AND(\2692, \2697, \2710, \2723, \1459)
\3195 = NAND(\2745, \2962)
\3196 = NOT(\2966)
\3206 = OR(\2980, \2145, \2347)
\3207 = AND(\124, \2984)
\3208 = AND(\159, \2985)
\3209 = AND(\150, \2986)
\3210 = AND(\143, \2987)
\3211 = AND(\137, \2988)
\3212 = AND(\132, \2989)
\3213 = AND(\128, \2990)
\3214 = AND(\125, \2991)
\3215 = AND(\125, \2992)
\3216 = AND(\655, \2993)
\3217 = AND(\159, \2994)
\3218 = AND(\150, \2995)
\3219 = AND(\143, \2996)
\3220 = AND(\137, \2997)
\3221 = AND(\132, \2998)
\3222 = AND(\128, \2999)
\3223 = AND(\128, \3000)
\3224 = AND(\670, \3001)
\3225 = AND(\655, \3002)
\3226 = AND(\159, \3003)
\3227 = AND(\150, \3004)
\3228 = AND(\143, \3005)
\3229 = AND(\137, \3006)
\3230 = AND(\132, \3007)
\3231 = AND(\132, \3008)
\3232 = AND(\690, \3009)
\3233 = AND(\670, \3010)
\3234 = AND(\655, \3011)
\3235 = AND(\159, \3012)
\3236 = AND(\150, \3013)
\3237 = AND(\143, \3014)
\3238 = AND(\137, \3015)
\3239 = AND(\137, \3016)
\3240 = AND(\706, \3017)
\3241 = AND(\690, \3018)
\3242 = AND(\670, \3019)
\3243 = AND(\655, \3020)
\3244 = AND(\159, \3021)
\3245 = AND(\150, \3022)
\3246 = AND(\143, \3023)
\3247 = AND(\143, \3024)
\3248 = AND(\715, \3025)
\3249 = AND(\706, \3026)
\3250 = AND(\690, \3027)
\3251 = AND(\670, \3028)
\3252 = AND(\655, \3029)
\3253 = AND(\159, \3030)
\3254 = AND(\150, \3031)
\3255 = AND(\150, \3032)
\3256 = AND(\727, \3033)
\3257 = AND(\715, \3034)
\3258 = AND(\706, \3035)
\3259 = AND(\690, \3036)
\3260 = AND(\670, \3037)
\3261 = AND(\655, \3038)
\3262 = AND(\159, \3039)
\3263 = AND(\159, \3040)
\3264 = AND(\740, \3041)
\3265 = AND(\727, \3042)
\3266 = AND(\715, \3043)
\3267 = AND(\706, \3044)
\3268 = AND(\690, \3045)
\3269 = AND(\670, \3046)
\3270 = AND(\655, \3047)
\3271 = AND(\283, \3048)
\3272 = AND(\670, \3049)
\3273 = AND(\690, \3050)
\3274 = AND(\706, \3051)
\3275 = AND(\715, \3052)
\3276 = AND(\727, \3053)
\3277 = AND(\740, \3054)
\3278 = AND(\753, \3055)
\3279 = AND(\294, \3056)
\3280 = AND(\690, \3057)
\3281 = AND(\706, \3058)
\3282 = AND(\715, \3059)
\3283 = AND(\727, \3060)
\3284 = AND(\740, \3061)
\3285 = AND(\753, \3062)
\3286 = AND(\283, \3063)
\3287 = AND(\303, \3064)
\3288 = AND(\706, \3065)
\3289 = AND(\715, \3066)
\3290 = AND(\727, \3067)
\3291 = AND(\740, \3068)
\3292 = AND(\753, \3069)
\3293 = AND(\283, \3070)
\3294 = AND(\294, \3071)
\3295 = AND(\311, \3072)
\3296 = AND(\715, \3073)
\3297 = AND(\727, \3074)
\3298 = AND(\740, \3075)
\3299 = AND(\753, \3076)
\3300 = AND(\283, \3077)
\3301 = AND(\294, \3078)
\3302 = AND(\303, \3079)
\3303 = AND(\317, \3080)
\3304 = AND(\727, \3081)
\3305 = AND(\740, \3082)
\3306 = AND(\753, \3083)
\3307 = AND(\283, \3084)
\3308 = AND(\294, \3085)
\3309 = AND(\303, \3086)
\3310 = AND(\311, \3087)
\3311 = AND(\322, \3088)
\3312 = AND(\740, \3089)
\3313 = AND(\753, \3090)
\3314 = AND(\283, \3091)
\3315 = AND(\294, \3092)
\3316 = AND(\303, \3093)
\3317 = AND(\311, \3094)
\3318 = AND(\317, \3095)
\3319 = AND(\326, \3096)
\3320 = AND(\753, \3097)
\3321 = AND(\283, \3098)
\3322 = AND(\294, \3099)
\3323 = AND(\303, \3100)
\3324 = AND(\311, \3101)
\3325 = AND(\317, \3102)
\3326 = AND(\322, \3103)
\3327 = AND(\329, \3104)
\3328 = AND(\283, \3105)
\3329 = AND(\294, \3106)
\3330 = AND(\303, \3107)
\3331 = AND(\311, \3108)
\3332 = AND(\317, \3109)
\3333 = AND(\322, \3110)
\3334 = AND(\326, \3111)
\3383 = AND(\3190, \3191, \3192, \3193, \917)
\3384 = BUFF(\2977)
\3387 = AND(\3196, \1736)
\3388 = AND(\2977, \2149)
\3389 = AND(\2973, \1737)
\3390 = NOR(\3207, \3208, \3209, \3210, \3211, \3212, \3213, \3214)
\3391 = NOR(\3215, \3216, \3217, \3218, \3219, \3220, \3221, \3222)
\3392 = NOR(\3223, \3224, \3225, \3226, \3227, \3228, \3229, \3230)
\3393 = NOR(\3231, \3232, \3233, \3234, \3235, \3236, \3237, \3238)
\3394 = NOR(\3239, \3240, \3241, \3242, \3243, \3244, \3245, \3246)
\3395 = NOR(\3247, \3248, \3249, \3250, \3251, \3252, \3253, \3254)
\3396 = NOR(\3255, \3256, \3257, \3258, \3259, \3260, \3261, \3262)
\3397 = NOR(\3263, \3264, \3265, \3266, \3267, \3268, \3269, \3270)
\3398 = NOR(\3271, \3272, \3273, \3274, \3275, \3276, \3277, \3278)
\3399 = NOR(\3279, \3280, \3281, \3282, \3283, \3284, \3285, \3286)
\3400 = NOR(\3287, \3288, \3289, \3290, \3291, \3292, \3293, \3294)
\3401 = NOR(\3295, \3296, \3297, \3298, \3299, \3300, \3301, \3302)
\3402 = NOR(\3303, \3304, \3305, \3306, \3307, \3308, \3309, \3310)
\3403 = NOR(\3311, \3312, \3313, \3314, \3315, \3316, \3317, \3318)
\3404 = NOR(\3319, \3320, \3321, \3322, \3323, \3324, \3325, \3326)
\3405 = NOR(\3327, \3328, \3329, \3330, \3331, \3332, \3333, \3334)
\3406 = AND(\3206, \2641)
\3407 = AND(\169, \2648, \3112)
\3410 = AND(\179, \2648, \3115)
\3413 = AND(\190, \2652, \3115)
\3414 = AND(\200, \2652, \3112)
\3415 = OR(\3119, \1875, \2073)
\3419 = NOR(\3119, \1875, \2073)
\3423 = AND(\169, \2662, \3128)
\3426 = AND(\179, \2662, \3131)
\3429 = AND(\190, \2666, \3131)
\3430 = AND(\200, \2666, \3128)
\3431 = AND(\169, \2673, \3135)
\3434 = AND(\179, \2673, \3138)
\3437 = AND(\190, \2677, \3138)
\3438 = AND(\200, \2677, \3135)
\3439 = AND(\169, \2684, \3142)
\3442 = AND(\179, \2684, \3145)
\3445 = AND(\190, \2688, \3145)
\3446 = AND(\200, \2688, \3142)
\3447 = OR(\3149, \1895, \2093)
\3451 = NOR(\3149, \1895, \2093)
\3455 = AND(\169, \2702, \3158)
\3458 = AND(\179, \2702, \3161)
\3461 = AND(\190, \2706, \3161)
\3462 = AND(\200, \2706, \3158)
\3463 = AND(\169, \2715, \3165)
\3466 = AND(\179, \2715, \3168)
\3469 = AND(\190, \2719, \3168)
\3470 = AND(\200, \2719, \3165)
\3471 = OR(\3194, \3383)
\3472 = BUFF(\2967)
\3475 = BUFF(\2970)
\3478 = BUFF(\2967)
\3481 = BUFF(\2970)
\3484 = BUFF(\2973)
\3487 = BUFF(\2973)
\3490 = BUFF(\3172)
\3493 = BUFF(\3172)
\3496 = BUFF(\3175)
\3499 = BUFF(\3175)
\3502 = BUFF(\3178)
\3505 = BUFF(\3178)
\3508 = BUFF(\3181)
\3511 = BUFF(\3181)
\3514 = BUFF(\3184)
\3517 = BUFF(\3184)
\3520 = BUFF(\3187)
\3523 = BUFF(\3187)
\3534 = NOR(\3387, \2350)
\3535 = OR(\3388, \2151, \2351)
\3536 = NOR(\3389, \1966)
\3537 = AND(\3390, \2209)
\3538 = AND(\3398, \2210)
\3539 = AND(\3391, \1842)
\3540 = AND(\3399, \1369)
\3541 = AND(\3392, \1843)
\3542 = AND(\3400, \1369)
\3543 = AND(\3393, \1844)
\3544 = AND(\3401, \1369)
\3545 = AND(\3394, \1845)
\3546 = AND(\3402, \1369)
\3547 = AND(\3395, \1846)
\3548 = AND(\3403, \1369)
\3549 = AND(\3396, \1847)
\3550 = AND(\3404, \1369)
\3551 = AND(\3397, \1848)
\3552 = AND(\3405, \1369)
\3557 = OR(\3413, \3414, \3118)
\3568 = OR(\3429, \3430, \3134)
\3573 = OR(\3437, \3438, \3141)
\3578 = OR(\3445, \3446, \3148)
\3589 = OR(\3461, \3462, \3164)
\3594 = OR(\3469, \3470, \3171)
\3605 = AND(\3471, \2728)
\3626 = NOT(\3478)
\3627 = NOT(\3481)
\3628 = NOT(\3487)
\3629 = NOT(\3484)
\3630 = NOT(\3472)
\3631 = NOT(\3475)
\3632 = AND(\3536, \2152)
\3633 = AND(\3534, \2155)
\3634 = OR(\3537, \3538, \2398)
\3635 = OR(\3539, \3540)
\3636 = OR(\3541, \3542)
\3637 = OR(\3543, \3544)
\3638 = OR(\3545, \3546)
\3639 = OR(\3547, \3548)
\3640 = OR(\3549, \3550)
\3641 = OR(\3551, \3552)
\3642 = AND(\3535, \2643)
\3643 = OR(\3407, \3410)
\3644 = NOR(\3407, \3410)
\3645 = AND(\169, \3415, \3122)
\3648 = AND(\179, \3415, \3125)
\3651 = AND(\190, \3419, \3125)
\3652 = AND(\200, \3419, \3122)
\3653 = NOT(\3419)
\3654 = OR(\3423, \3426)
\3657 = NOR(\3423, \3426)
\3658 = OR(\3431, \3434)
\3661 = NOR(\3431, \3434)
\3662 = OR(\3439, \3442)
\3663 = NOR(\3439, \3442)
\3664 = AND(\169, \3447, \3152)
\3667 = AND(\179, \3447, \3155)
\3670 = AND(\190, \3451, \3155)
\3671 = AND(\200, \3451, \3152)
\3672 = NOT(\3451)
\3673 = OR(\3455, \3458)
\3676 = NOR(\3455, \3458)
\3677 = OR(\3463, \3466)
\3680 = NOR(\3463, \3466)
\3681 = NOT(\3493)
\3682 = AND(\1909, \3415)
\3685 = NOT(\3496)
\3686 = NOT(\3499)
\3687 = NOT(\3502)
\3688 = NOT(\3505)
\3689 = NOT(\3511)
\3690 = AND(\1922, \3447)
\3693 = NOT(\3517)
\3694 = NOT(\3520)
\3695 = NOT(\3523)
\3696 = NOT(\3514)
\3697 = BUFF(\3384)
\3700 = BUFF(\3384)
\3703 = NOT(\3490)
\3704 = NOT(\3508)
\3705 = NAND(\3475, \3630)
\3706 = NAND(\3472, \3631)
\3707 = NAND(\3481, \3626)
\3708 = NAND(\3478, \3627)
\3711 = OR(\3632, \2352, \2353)
\3712 = OR(\3633, \2354, \2355)
\3713 = AND(\3634, \2632)
\3714 = AND(\3635, \2634)
\3715 = AND(\3636, \2636)
\3716 = AND(\3637, \2638)
\3717 = AND(\3638, \2640)
\3718 = AND(\3639, \2642)
\3719 = AND(\3640, \2644)
\3720 = AND(\3641, \2646)
\3721 = AND(\3644, \3557)
\3731 = OR(\3651, \3652, \3653)
\3734 = AND(\3657, \3568)
\3740 = AND(\3661, \3573)
\3743 = AND(\3663, \3578)
\3753 = OR(\3670, \3671, \3672)
\3756 = AND(\3676, \3589)
\3762 = AND(\3680, \3594)
\3765 = NOT(\3643)
\3766 = NOT(\3662)
\3773 = NAND(\3705, \3706)
\3774 = NAND(\3707, \3708)
\3775 = NAND(\3700, \3628)
\3776 = NOT(\3700)
\3777 = NAND(\3697, \3629)
\3778 = NOT(\3697)
\3779 = AND(\3712, \2645)
\3780 = AND(\3711, \2647)
\3786 = OR(\3645, \3648)
\3789 = NOR(\3645, \3648)
\3800 = OR(\3664, \3667)
\3803 = NOR(\3664, \3667)
\3809 = AND(\3654, \1917)
\3812 = AND(\3658, \1917)
\3815 = AND(\3673, \1926)
\3818 = AND(\3677, \1926)
\3821 = BUFF(\3682)
\3824 = BUFF(\3682)
\3827 = BUFF(\3690)
\3830 = BUFF(\3690)
\3833 = NAND(\3773, \3774)
\3834 = NAND(\3487, \3776)
\3835 = NAND(\3484, \3778)
\3838 = AND(\3789, \3731)
\3845 = AND(\3803, \3753)
\3850 = BUFF(\3721)
\3855 = BUFF(\3734)
\3858 = BUFF(\3740)
\3861 = BUFF(\3743)
\3865 = BUFF(\3756)
\3868 = BUFF(\3762)
\3884 = NAND(\3775, \3834)
\3885 = NAND(\3777, \3835)
\3894 = NAND(\3721, \3786)
\3895 = NAND(\3743, \3800)
\3898 = NOT(\3821)
\3899 = NOT(\3824)
\3906 = NOT(\3830)
\3911 = NOT(\3827)
\3912 = AND(\3786, \1912)
\3913 = BUFF(\3812)
\3916 = AND(\3800, \1917)
\3917 = BUFF(\3818)
\3920 = NOT(\3809)
\3921 = BUFF(\3818)
\3924 = NOT(\3884)
\3925 = NOT(\3885)
\3926 = AND(\3721, \3838, \3734, \3740)
\3930 = NAND(\3721, \3838, \3654)
\3931 = NAND(\3658, \3838, \3734, \3721)
\3932 = AND(\3743, \3845, \3756, \3762)
\3935 = NAND(\3743, \3845, \3673)
\3936 = NAND(\3677, \3845, \3756, \3743)
\3937 = BUFF(\3838)
\3940 = BUFF(\3845)
\3947 = NOT(\3912)
\3948 = NOT(\3916)
\3950 = BUFF(\3850)
\3953 = BUFF(\3850)
\3956 = BUFF(\3855)
\3959 = BUFF(\3855)
\3962 = BUFF(\3858)
\3965 = BUFF(\3858)
\3968 = BUFF(\3861)
\3971 = BUFF(\3861)
\3974 = BUFF(\3865)
\3977 = BUFF(\3865)
\3980 = BUFF(\3868)
\3983 = BUFF(\3868)
\3987 = NAND(\3924, \3925)
\3992 = NAND(\3765, \3894, \3930, \3931)
\3996 = NAND(\3766, \3895, \3935, \3936)
\4013 = NOT(\3921)
\4028 = AND(\3932, \3926)
\4029 = NAND(\3953, \3681)
\4030 = NAND(\3959, \3686)
\4031 = NAND(\3965, \3688)
\4032 = NAND(\3971, \3689)
\4033 = NAND(\3977, \3693)
\4034 = NAND(\3983, \3695)
\4035 = BUFF(\3926)
\4042 = NOT(\3953)
\4043 = NOT(\3956)
\4044 = NAND(\3956, \3685)
\4045 = NOT(\3959)
\4046 = NOT(\3962)
\4047 = NAND(\3962, \3687)
\4048 = NOT(\3965)
\4049 = NOT(\3971)
\4050 = NOT(\3977)
\4051 = NOT(\3980)
\4052 = NAND(\3980, \3694)
\4053 = NOT(\3983)
\4054 = NOT(\3974)
\4055 = NAND(\3974, \3696)
\4056 = AND(\3932, \2304)
\4057 = NOT(\3950)
\4058 = NAND(\3950, \3703)
\4059 = BUFF(\3937)
\4062 = BUFF(\3937)
\4065 = NOT(\3968)
\4066 = NAND(\3968, \3704)
\4067 = BUFF(\3940)
\4070 = BUFF(\3940)
\4073 = NAND(\3926, \3996)
\4074 = NOT(\3992)
\4075 = NAND(\3493, \4042)
\4076 = NAND(\3499, \4045)
\4077 = NAND(\3505, \4048)
\4078 = NAND(\3511, \4049)
\4079 = NAND(\3517, \4050)
\4080 = NAND(\3523, \4053)
\4085 = NAND(\3496, \4043)
\4086 = NAND(\3502, \4046)
\4088 = NAND(\3520, \4051)
\4090 = NAND(\3514, \4054)
\4091 = AND(\3996, \1926)
\4094 = OR(\3605, \4056)
\4098 = NAND(\3490, \4057)
\4101 = NAND(\3508, \4065)
\4104 = AND(\4073, \4074)
\4105 = NAND(\4075, \4029)
\4106 = NAND(\4062, \3899)
\4107 = NAND(\4076, \4030)
\4108 = NAND(\4077, \4031)
\4109 = NAND(\4078, \4032)
\4110 = NAND(\4070, \3906)
\4111 = NAND(\4079, \4033)
\4112 = NAND(\4080, \4034)
\4113 = NOT(\4059)
\4114 = NAND(\4059, \3898)
\4115 = NOT(\4062)
\4116 = NAND(\4085, \4044)
\4119 = NAND(\4086, \4047)
\4122 = NOT(\4070)
\4123 = NAND(\4088, \4052)
\4126 = NOT(\4067)
\4127 = NAND(\4067, \3911)
\4128 = NAND(\4090, \4055)
\4139 = NAND(\4098, \4058)
\4142 = NAND(\4101, \4066)
\4145 = NOT(\4104)
\4146 = NOT(\4105)
\4147 = NAND(\3824, \4115)
\4148 = NOT(\4107)
\4149 = NOT(\4108)
\4150 = NOT(\4109)
\4151 = NAND(\3830, \4122)
\4152 = NOT(\4111)
\4153 = NOT(\4112)
\4154 = NAND(\3821, \4113)
\4161 = NAND(\3827, \4126)
\4167 = BUFF(\4091)
\4174 = BUFF(\4094)
\4182 = BUFF(\4091)
\4186 = AND(\330, \4094)
\4189 = AND(\4146, \2230)
\4190 = NAND(\4147, \4106)
\4191 = AND(\4148, \2232)
\4192 = AND(\4149, \2233)
\4193 = AND(\4150, \2234)
\4194 = NAND(\4151, \4110)
\4195 = AND(\4152, \2236)
\4196 = AND(\4153, \2237)
\4197 = NAND(\4154, \4114)
\4200 = BUFF(\4116)
\4203 = BUFF(\4116)
\4209 = BUFF(\4119)
\4213 = BUFF(\4119)
\4218 = NAND(\4161, \4127)
\4223 = BUFF(\4123)
\4238 = AND(\4128, \3917)
\4239 = NOT(\4139)
\4241 = NOT(\4142)
\4242 = AND(\330, \4123)
\4247 = BUFF(\4128)
\4251 = NOR(\3713, \4189, \2898)
\4252 = NOT(\4190)
\4253 = NOR(\3715, \4191, \2900)
\4254 = NOR(\3716, \4192, \2901)
\4255 = NOR(\3717, \4193, \3406)
\4256 = NOT(\4194)
\4257 = NOR(\3719, \4195, \3779)
\4258 = NOR(\3720, \4196, \3780)
\4283 = AND(\4167, \4035)
\4284 = AND(\4174, \4035)
\4287 = OR(\3815, \4238)
\4291 = NOT(\4186)
\4295 = NOT(\4167)
\4296 = BUFF(\4167)
\4299 = NOT(\4182)
\4303 = AND(\4252, \2231)
\4304 = AND(\4256, \2235)
\4305 = BUFF(\4197)
\4310 = OR(\3992, \4283)
\4316 = AND(\4174, \4213, \4203)
\4317 = AND(\4174, \4209)
\4318 = AND(\4223, \4128, \4218)
\4319 = AND(\4223, \4128)
\4322 = AND(\4167, \4209)
\4325 = NAND(\4203, \3913)
\4326 = NAND(\4203, \4213, \4167)
\4327 = NAND(\4218, \3815)
\4328 = NAND(\4218, \4128, \3917)
\4329 = NAND(\4247, \4013)
\4330 = NOT(\4247)
\4331 = AND(\330, \4094, \4295)
\4335 = AND(\4251, \2730)
\4338 = AND(\4253, \2734)
\4341 = AND(\4254, \2736)
\4344 = AND(\4255, \2738)
\4347 = AND(\4257, \2742)
\4350 = AND(\4258, \2744)
\4353 = BUFF(\4197)
\4356 = BUFF(\4203)
\4359 = BUFF(\4209)
\4362 = BUFF(\4218)
\4365 = BUFF(\4242)
\4368 = BUFF(\4242)
\4371 = AND(\4223, \4223)
\4376 = NOR(\3714, \4303, \2899)
\4377 = NOR(\3718, \4304, \3642)
\4387 = AND(\330, \4317)
\4390 = AND(\330, \4318)
\4393 = NAND(\3921, \4330)
\4398 = BUFF(\4287)
\4413 = BUFF(\4284)
\4416 = NAND(\3920, \4325, \4326)
\4421 = OR(\3812, \4322)
\4427 = NAND(\3948, \4327, \4328)
\4430 = BUFF(\4287)
\4435 = AND(\330, \4316)
\4442 = OR(\4331, \4296)
\4443 = AND(\4174, \4305, \4203, \4213)
\4446 = NAND(\4305, \3809)
\4447 = NAND(\4305, \4200, \3913)
\4448 = NAND(\4305, \4200, \4213, \4167)
\4452 = NOT(\4356)
\4458 = NAND(\4329, \4393)
\4461 = NOT(\4365)
\4462 = NOT(\4368)
\4463 = NAND(\4371, \1460)
\4464 = NOT(\4371)
\4465 = BUFF(\4310)
\4468 = NOR(\4331, \4296)
\4472 = AND(\4376, \2732)
\4475 = AND(\4377, \2740)
\4479 = BUFF(\4310)
\4484 = NOT(\4353)
\4486 = NOT(\4359)
\4487 = NAND(\4359, \4299)
\4491 = NOT(\4362)
\4493 = AND(\330, \4319)
\4496 = NOT(\4398)
\4497 = AND(\4287, \4398)
\4498 = AND(\4442, \1769)
\4503 = NAND(\3947, \4446, \4447, \4448)
\4506 = NOT(\4413)
\4507 = NOT(\4435)
\4508 = NOT(\4421)
\4509 = NAND(\4421, \4452)
\4510 = NOT(\4427)
\4511 = NAND(\4427, \4241)
\4515 = NAND(\965, \4464)
\4526 = NOT(\4416)
\4527 = NAND(\4416, \4484)
\4528 = NAND(\4182, \4486)
\4529 = NOT(\4430)
\4530 = NAND(\4430, \4491)
\4531 = BUFF(\4387)
\4534 = BUFF(\4387)
\4537 = BUFF(\4390)
\4540 = BUFF(\4390)
\4545 = AND(\330, \4319, \4496)
\4549 = AND(\330, \4443)
\4552 = NAND(\4356, \4508)
\4555 = NAND(\4142, \4510)
\4558 = NOT(\4493)
\4559 = NAND(\4463, \4515)
\4562 = NOT(\4465)
\4563 = AND(\4310, \4465)
\4564 = BUFF(\4468)
\4568 = NOT(\4479)
\4569 = BUFF(\4443)
\4572 = NAND(\4353, \4526)
\4573 = NAND(\4362, \4529)
\4576 = NAND(\4487, \4528)
\4581 = BUFF(\4458)
\4584 = BUFF(\4458)
\4587 = OR(\2758, \4498, \2761)
\4588 = NOR(\2758, \4498, \2761)
\4589 = OR(\4545, \4497)
\4593 = NAND(\4552, \4509)
\4596 = NOT(\4531)
\4597 = NOT(\4534)
\4599 = NAND(\4555, \4511)
\4602 = NOT(\4537)
\4603 = NOT(\4540)
\4608 = AND(\330, \4284, \4562)
\4613 = BUFF(\4503)
\4616 = BUFF(\4503)
\4619 = NAND(\4572, \4527)
\4623 = NAND(\4573, \4530)
\4628 = NOT(\4588)
\4629 = NAND(\4569, \4506)
\4630 = NOT(\4569)
\4635 = NOT(\4576)
\4636 = NAND(\4576, \4291)
\4640 = NOT(\4581)
\4641 = NAND(\4581, \4461)
\4642 = NOT(\4584)
\4643 = NAND(\4584, \4462)
\4644 = NOR(\4608, \4563)
\4647 = AND(\4559, \2128)
\4650 = AND(\4559, \2743)
\4656 = BUFF(\4549)
\4659 = BUFF(\4549)
\4664 = BUFF(\4564)
\4667 = AND(\4587, \4628)
\4668 = NAND(\4413, \4630)
\4669 = NOT(\4616)
\4670 = NAND(\4616, \4239)
\4673 = NOT(\4619)
\4674 = NAND(\4619, \4507)
\4675 = NAND(\4186, \4635)
\4676 = NOT(\4623)
\4677 = NAND(\4623, \4558)
\4678 = NAND(\4365, \4640)
\4679 = NAND(\4368, \4642)
\4687 = NOT(\4613)
\4688 = NAND(\4613, \4568)
\4691 = BUFF(\4593)
\4694 = BUFF(\4593)
\4697 = BUFF(\4599)
\4700 = BUFF(\4599)
\4704 = NAND(\4629, \4668)
\4705 = NAND(\4139, \4669)
\4706 = NOT(\4656)
\4707 = NOT(\4659)
\4708 = NAND(\4435, \4673)
\4711 = NAND(\4675, \4636)
\4716 = NAND(\4493, \4676)
\4717 = NAND(\4678, \4641)
\4721 = NAND(\4679, \4643)
\4722 = BUFF(\4644)
\4726 = NOT(\4664)
\4727 = OR(\4647, \4650, \4350)
\4730 = NOR(\4647, \4650, \4350)
\4733 = NAND(\4479, \4687)
\4740 = NAND(\4705, \4670)
\4743 = NAND(\4708, \4674)
\4747 = NOT(\4691)
\4748 = NAND(\4691, \4596)
\4749 = NOT(\4694)
\4750 = NAND(\4694, \4597)
\4753 = NOT(\4697)
\4754 = NAND(\4697, \4602)
\4755 = NOT(\4700)
\4756 = NAND(\4700, \4603)
\4757 = NAND(\4716, \4677)
\4769 = NAND(\4733, \4688)
\4772 = AND(\330, \4704)
\4775 = NOT(\4721)
\4778 = NOT(\4730)
\4786 = NAND(\4531, \4747)
\4787 = NAND(\4534, \4749)
\4788 = NAND(\4537, \4753)
\4789 = NAND(\4540, \4755)
\4794 = AND(\4711, \2124)
\4797 = AND(\4711, \2735)
\4800 = AND(\4717, \2127)
\4805 = BUFF(\4722)
\4808 = AND(\4717, \4468)
\4812 = BUFF(\4727)
\4815 = AND(\4727, \4778)
\4816 = NOT(\4769)
\4817 = NOT(\4772)
\4818 = NAND(\4786, \4748)
\4822 = NAND(\4787, \4750)
\4823 = NAND(\4788, \4754)
\4826 = NAND(\4789, \4756)
\4829 = NAND(\4775, \4726)
\4830 = NOT(\4775)
\4831 = AND(\4743, \2122)
\4838 = AND(\4757, \2126)
\4844 = BUFF(\4740)
\4847 = BUFF(\4740)
\4850 = BUFF(\4743)
\4854 = BUFF(\4757)
\4859 = NAND(\4772, \4816)
\4860 = NAND(\4769, \4817)
\4868 = NOT(\4826)
\4870 = NOT(\4805)
\4872 = NOT(\4808)
\4873 = NAND(\4664, \4830)
\4876 = OR(\4794, \4797, \4341)
\4880 = NOR(\4794, \4797, \4341)
\4885 = NOT(\4812)
\4889 = NOT(\4822)
\4895 = NAND(\4859, \4860)
\4896 = NOT(\4844)
\4897 = NAND(\4844, \4706)
\4898 = NOT(\4847)
\4899 = NAND(\4847, \4707)
\4900 = NOR(\4868, \4564)
\4901 = AND(\4717, \4757, \4823, \4564)
\4902 = NOT(\4850)
\4904 = NOT(\4854)
\4905 = NAND(\4854, \4872)
\4906 = NAND(\4873, \4829)
\4907 = AND(\4818, \2123)
\4913 = AND(\4823, \2125)
\4916 = AND(\4818, \4644)
\4920 = NOT(\4880)
\4921 = AND(\4895, \2184)
\4924 = NAND(\4656, \4896)
\4925 = NAND(\4659, \4898)
\4926 = OR(\4900, \4901)
\4928 = NAND(\4889, \4870)
\4929 = NOT(\4889)
\4930 = NAND(\4808, \4904)
\4931 = NOT(\4906)
\4937 = BUFF(\4876)
\4940 = BUFF(\4876)
\4944 = AND(\4876, \4920)
\4946 = NAND(\4924, \4897)
\4949 = NAND(\4925, \4899)
\4950 = NAND(\4916, \4902)
\4951 = NOT(\4916)
\4952 = NAND(\4805, \4929)
\4953 = NAND(\4930, \4905)
\4954 = AND(\4926, \2737)
\4957 = AND(\4931, \2741)
\4964 = OR(\2764, \2483, \4921)
\4965 = NOR(\2764, \2483, \4921)
\4968 = NOT(\4949)
\4969 = NAND(\4850, \4951)
\4970 = NAND(\4952, \4928)
\4973 = AND(\4953, \2739)
\4978 = NOT(\4937)
\4979 = NOT(\4940)
\4980 = NOT(\4965)
\4981 = NOR(\4968, \4722)
\4982 = AND(\4818, \4743, \4946, \4722)
\4983 = NAND(\4950, \4969)
\4984 = NOT(\4970)
\4985 = AND(\4946, \2121)
\4988 = OR(\4913, \4954, \4344)
\4991 = NOR(\4913, \4954, \4344)
\4996 = OR(\4800, \4957, \4347)
\4999 = NOR(\4800, \4957, \4347)
\5002 = AND(\4964, \4980)
\5007 = OR(\4981, \4982)
\5010 = AND(\4983, \2731)
\5013 = AND(\4984, \2733)
\5018 = OR(\4838, \4973, \4475)
\5021 = NOR(\4838, \4973, \4475)
\5026 = NOT(\4991)
\5029 = NOT(\4999)
\5030 = AND(\5007, \2729)
\5039 = BUFF(\4996)
\5042 = BUFF(\4988)
\5045 = AND(\4988, \5026)
\5046 = NOT(\5021)
\5047 = AND(\4996, \5029)
\5050 = OR(\4831, \5010, \4472)
\5055 = NOR(\4831, \5010, \4472)
\5058 = OR(\4907, \5013, \4338)
\5061 = NOR(\4907, \5013, \4338)
\5066 = AND(\4730, \4999, \5021, \4991)
\5070 = BUFF(\5018)
\5078 = AND(\5018, \5046)
\5080 = OR(\4985, \5030, \4335)
\5085 = NOR(\4985, \5030, \4335)
\5094 = NAND(\5039, \4885)
\5095 = NOT(\5039)
\5097 = NOT(\5042)
\5102 = AND(\5050, \5050)
\5103 = NOT(\5061)
\5108 = NAND(\4812, \5095)
\5109 = NOT(\5070)
\5110 = NAND(\5070, \5097)
\5111 = BUFF(\5058)
\5114 = AND(\5050, \1461)
\5117 = BUFF(\5050)
\5120 = AND(\5080, \5080)
\5121 = AND(\5058, \5103)
\5122 = NAND(\5094, \5108)
\5125 = NAND(\5042, \5109)
\5128 = AND(\1461, \5080)
\5133 = AND(\4880, \5061, \5055, \5085)
\5136 = AND(\5055, \5085, \1464)
\5139 = BUFF(\5080)
\5145 = NAND(\5125, \5110)
\5151 = BUFF(\5111)
\5154 = BUFF(\5111)
\5159 = NOT(\5117)
\5160 = BUFF(\5114)
\5163 = BUFF(\5114)
\5166 = AND(\5066, \5133)
\5173 = AND(\5066, \5133)
\5174 = BUFF(\5122)
\5177 = BUFF(\5122)
\5182 = NOT(\5139)
\5183 = NAND(\5139, \5159)
\5184 = BUFF(\5128)
\5188 = BUFF(\5128)
\5192 = NOT(\5166)
\5193 = NOR(\5136, \5173)
\5196 = NAND(\5151, \4978)
\5197 = NOT(\5151)
\5198 = NAND(\5154, \4979)
\5199 = NOT(\5154)
\5201 = NOT(\5160)
\5203 = NOT(\5163)
\5205 = BUFF(\5145)
\5209 = BUFF(\5145)
\5212 = NAND(\5117, \5182)
\5215 = AND(\213, \5193)
\5217 = NOT(\5174)
\5219 = NOT(\5177)
\5220 = NAND(\4937, \5197)
\5221 = NAND(\4940, \5199)
\5222 = NOT(\5184)
\5223 = NAND(\5184, \5201)
\5224 = NAND(\5188, \5203)
\5225 = NOT(\5188)
\5228 = NAND(\5183, \5212)
\5231 = NOT(\5215)
\5232 = NAND(\5205, \5217)
\5233 = NOT(\5205)
\5234 = NAND(\5209, \5219)
\5235 = NOT(\5209)
\5236 = NAND(\5196, \5220)
\5240 = NAND(\5198, \5221)
\5242 = NAND(\5160, \5222)
\5243 = NAND(\5163, \5225)
\5245 = NAND(\5174, \5233)
\5246 = NAND(\5177, \5235)
\5250 = NOT(\5240)
\5253 = NOT(\5228)
\5254 = NAND(\5242, \5223)
\5257 = NAND(\5243, \5224)
\5258 = NAND(\5232, \5245)
\5261 = NAND(\5234, \5246)
\5266 = NOT(\5257)
\5269 = BUFF(\5236)
\5277 = AND(\5236, \5254, \2307)
\5278 = AND(\5250, \5254, \2310)
\5279 = NOT(\5261)
\5283 = NOT(\5269)
\5284 = NAND(\5269, \5253)
\5285 = AND(\5236, \5266, \2310)
\5286 = AND(\5250, \5266, \2307)
\5289 = BUFF(\5258)
\5292 = BUFF(\5258)
\5295 = NAND(\5228, \5283)
\5298 = OR(\5277, \5285, \5278, \5286)
\5303 = BUFF(\5279)
\5306 = BUFF(\5279)
\5309 = NAND(\5295, \5284)
\5312 = NOT(\5292)
\5313 = NOT(\5289)
\5322 = NOT(\5306)
\5323 = NOT(\5303)
\5324 = BUFF(\5298)
\5327 = BUFF(\5298)
\5332 = BUFF(\5309)
\5335 = BUFF(\5309)
\5340 = NAND(\5324, \5323)
\5341 = NAND(\5327, \5322)
\5344 = NOT(\5327)
\5345 = NOT(\5324)
\5348 = NAND(\5332, \5313)
\5349 = NAND(\5335, \5312)
\5350 = NAND(\5303, \5345)
\5351 = NAND(\5306, \5344)
\5352 = NOT(\5335)
\5353 = NOT(\5332)
\5354 = NAND(\5289, \5353)
\5355 = NAND(\5292, \5352)
\5356 = NAND(\5350, \5340)
\5357 = NAND(\5351, \5341)
\5358 = NAND(\5348, \5354)
\5359 = NAND(\5349, \5355)
\5360 = AND(\5356, \5357)
\5361 = NAND(\5358, \5359)