atpg-ls/benchmark/c3540.bench

# c3540

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)