# c1908 # 33 inputs # 25 outputs # 277 inverters # 603 gates ( 225 ANDs + 654 NANDs + 1 NOR + 162 buffers ) INPUT(1) INPUT(4) INPUT(7) INPUT(10) INPUT(13) INPUT(16) INPUT(19) INPUT(22) INPUT(25) INPUT(28) INPUT(31) INPUT(34) INPUT(37) INPUT(40) INPUT(43) INPUT(46) INPUT(49) INPUT(53) INPUT(56) INPUT(60) INPUT(63) INPUT(66) INPUT(69) INPUT(72) INPUT(76) INPUT(79) INPUT(82) INPUT(85) INPUT(88) INPUT(91) INPUT(94) INPUT(99) INPUT(104) OUTPUT(2753) OUTPUT(2754) OUTPUT(2755) OUTPUT(2756) OUTPUT(2762) OUTPUT(2767) OUTPUT(2768) OUTPUT(2779) OUTPUT(2780) OUTPUT(2781) OUTPUT(2782) OUTPUT(2783) OUTPUT(2784) OUTPUT(2785) OUTPUT(2786) OUTPUT(2787) OUTPUT(2811) OUTPUT(2886) OUTPUT(2887) OUTPUT(2888) OUTPUT(2889) OUTPUT(2890) OUTPUT(2891) OUTPUT(2892) OUTPUT(2899) 190 = NOT(1) 194 = NOT(4) 197 = NOT(7) 201 = NOT(10) 206 = NOT(13) 209 = NOT(16) 212 = NOT(19) 216 = NOT(22) 220 = NOT(25) 225 = NOT(28) 229 = NOT(31) 232 = NOT(34) 235 = NOT(37) 239 = NOT(40) 243 = NOT(43) 247 = NOT(46) 251 = NAND(63, 88) 252 = NAND(66, 91) 253 = NOT(72) 256 = NOT(72) 257 = BUFF(69) 260 = BUFF(69) 263 = NOT(76) 266 = NOT(79) 269 = NOT(82) 272 = NOT(85) 275 = NOT(104) 276 = NOT(104) 277 = NOT(88) 280 = NOT(91) 283 = BUFF(94) 290 = NOT(94) 297 = BUFF(94) 300 = NOT(94) 303 = BUFF(99) 306 = NOT(99) 313 = NOT(99) 316 = BUFF(104) 319 = NOT(104) 326 = BUFF(104) 331 = BUFF(104) 338 = NOT(104) 343 = BUFF(1) 346 = BUFF(4) 349 = BUFF(7) 352 = BUFF(10) 355 = BUFF(13) 358 = BUFF(16) 361 = BUFF(19) 364 = BUFF(22) 367 = BUFF(25) 370 = BUFF(28) 373 = BUFF(31) 376 = BUFF(34) 379 = BUFF(37) 382 = BUFF(40) 385 = BUFF(43) 388 = BUFF(46) 534 = NOT(343) 535 = NOT(346) 536 = NOT(349) 537 = NOT(352) 538 = NOT(355) 539 = NOT(358) 540 = NOT(361) 541 = NOT(364) 542 = NOT(367) 543 = NOT(370) 544 = NOT(373) 545 = NOT(376) 546 = NOT(379) 547 = NOT(382) 548 = NOT(385) 549 = NOT(388) 550 = NAND(306, 331) 551 = NAND(306, 331) 552 = NAND(306, 331) 553 = NAND(306, 331) 554 = NAND(306, 331) 555 = NAND(306, 331) 556 = BUFF(190) 559 = BUFF(194) 562 = BUFF(206) 565 = BUFF(209) 568 = BUFF(225) 571 = BUFF(243) 574 = AND(63, 319) 577 = BUFF(220) 580 = BUFF(229) 583 = BUFF(232) 586 = AND(66, 319) 589 = BUFF(239) 592 = AND(49, 253, 319) 595 = BUFF(247) 598 = BUFF(239) 601 = NAND(326, 277) 602 = NAND(326, 280) 603 = NAND(260, 72) 608 = NAND(260, 300) 612 = NAND(256, 300) 616 = BUFF(201) 619 = BUFF(216) 622 = BUFF(220) 625 = BUFF(239) 628 = BUFF(190) 631 = BUFF(190) 634 = BUFF(194) 637 = BUFF(229) 640 = BUFF(197) 643 = AND(56, 257, 319) 646 = BUFF(232) 649 = BUFF(201) 652 = BUFF(235) 655 = AND(60, 257, 319) 658 = BUFF(263) 661 = BUFF(263) 664 = BUFF(266) 667 = BUFF(266) 670 = BUFF(269) 673 = BUFF(269) 676 = BUFF(272) 679 = BUFF(272) 682 = AND(251, 316) 685 = AND(252, 316) 688 = BUFF(197) 691 = BUFF(197) 694 = BUFF(212) 697 = BUFF(212) 700 = BUFF(247) 703 = BUFF(247) 706 = BUFF(235) 709 = BUFF(235) 712 = BUFF(201) 715 = BUFF(201) 718 = BUFF(206) 721 = BUFF(216) 724 = AND(53, 253, 319) 727 = BUFF(243) 730 = BUFF(220) 733 = BUFF(220) 736 = BUFF(209) 739 = BUFF(216) 742 = BUFF(225) 745 = BUFF(243) 748 = BUFF(212) 751 = BUFF(225) 886 = NOT(682) 887 = NOT(685) 888 = NOT(616) 889 = NOT(619) 890 = NOT(622) 891 = NOT(625) 892 = NOT(631) 893 = NOT(643) 894 = NOT(649) 895 = NOT(652) 896 = NOT(655) 897 = AND(49, 612) 898 = AND(56, 608) 899 = NAND(53, 612) 903 = NAND(60, 608) 907 = NAND(49, 612) 910 = NAND(56, 608) 913 = NOT(661) 914 = NOT(658) 915 = NOT(667) 916 = NOT(664) 917 = NOT(673) 918 = NOT(670) 919 = NOT(679) 920 = NOT(676) 921 = NAND(277, 297, 326, 603) 922 = NAND(280, 297, 326, 603) 923 = NAND(303, 338, 603) 926 = AND(303, 338, 603) 935 = BUFF(556) 938 = NOT(688) 939 = BUFF(556) 942 = NOT(691) 943 = BUFF(562) 946 = NOT(694) 947 = BUFF(562) 950 = NOT(697) 951 = BUFF(568) 954 = NOT(700) 955 = BUFF(568) 958 = NOT(703) 959 = BUFF(574) 962 = BUFF(574) 965 = BUFF(580) 968 = NOT(706) 969 = BUFF(580) 972 = NOT(709) 973 = BUFF(586) 976 = NOT(712) 977 = BUFF(586) 980 = NOT(715) 981 = BUFF(592) 984 = NOT(628) 985 = BUFF(592) 988 = NOT(718) 989 = NOT(721) 990 = NOT(634) 991 = NOT(724) 992 = NOT(727) 993 = NOT(637) 994 = BUFF(595) 997 = NOT(730) 998 = BUFF(595) 1001 = NOT(733) 1002 = NOT(736) 1003 = NOT(739) 1004 = NOT(640) 1005 = NOT(742) 1006 = NOT(745) 1007 = NOT(646) 1008 = NOT(748) 1009 = NOT(751) 1010 = BUFF(559) 1013 = BUFF(559) 1016 = BUFF(565) 1019 = BUFF(565) 1022 = BUFF(571) 1025 = BUFF(571) 1028 = BUFF(577) 1031 = BUFF(577) 1034 = BUFF(583) 1037 = BUFF(583) 1040 = BUFF(589) 1043 = BUFF(589) 1046 = BUFF(598) 1049 = BUFF(598) 1054 = NAND(619, 888) 1055 = NAND(616, 889) 1063 = NAND(625, 890) 1064 = NAND(622, 891) 1067 = NAND(655, 895) 1068 = NAND(652, 896) 1119 = NAND(721, 988) 1120 = NAND(718, 989) 1121 = NAND(727, 991) 1122 = NAND(724, 992) 1128 = NAND(739, 1002) 1129 = NAND(736, 1003) 1130 = NAND(745, 1005) 1131 = NAND(742, 1006) 1132 = NAND(751, 1008) 1133 = NAND(748, 1009) 1148 = NOT(939) 1149 = NOT(935) 1150 = NAND(1054, 1055) 1151 = NOT(943) 1152 = NOT(947) 1153 = NOT(955) 1154 = NOT(951) 1155 = NOT(962) 1156 = NOT(969) 1157 = NOT(977) 1158 = NAND(1063, 1064) 1159 = NOT(985) 1160 = NAND(985, 892) 1161 = NOT(998) 1162 = NAND(1067, 1068) 1163 = NOT(899) 1164 = BUFF(899) 1167 = NOT(903) 1168 = BUFF(903) 1171 = NAND(921, 923) 1188 = NAND(922, 923) 1205 = NOT(1010) 1206 = NAND(1010, 938) 1207 = NOT(1013) 1208 = NAND(1013, 942) 1209 = NOT(1016) 1210 = NAND(1016, 946) 1211 = NOT(1019) 1212 = NAND(1019, 950) 1213 = NOT(1022) 1214 = NAND(1022, 954) 1215 = NOT(1025) 1216 = NAND(1025, 958) 1217 = NOT(1028) 1218 = NOT(959) 1219 = NOT(1031) 1220 = NOT(1034) 1221 = NAND(1034, 968) 1222 = NOT(965) 1223 = NOT(1037) 1224 = NAND(1037, 972) 1225 = NOT(1040) 1226 = NAND(1040, 976) 1227 = NOT(973) 1228 = NOT(1043) 1229 = NAND(1043, 980) 1230 = NOT(981) 1231 = NAND(981, 984) 1232 = NAND(1119, 1120) 1235 = NAND(1121, 1122) 1238 = NOT(1046) 1239 = NAND(1046, 997) 1240 = NOT(994) 1241 = NOT(1049) 1242 = NAND(1049, 1001) 1243 = NAND(1128, 1129) 1246 = NAND(1130, 1131) 1249 = NAND(1132, 1133) 1252 = BUFF(907) 1255 = BUFF(907) 1258 = BUFF(910) 1261 = BUFF(910) 1264 = NOT(1150) 1267 = NAND(631, 1159) 1309 = NAND(688, 1205) 1310 = NAND(691, 1207) 1311 = NAND(694, 1209) 1312 = NAND(697, 1211) 1313 = NAND(700, 1213) 1314 = NAND(703, 1215) 1315 = NAND(706, 1220) 1316 = NAND(709, 1223) 1317 = NAND(712, 1225) 1318 = NAND(715, 1228) 1319 = NOT(1158) 1322 = NAND(628, 1230) 1327 = NAND(730, 1238) 1328 = NAND(733, 1241) 1334 = NOT(1162) 1344 = NAND(1267, 1160) 1345 = NAND(1249, 894) 1346 = NOT(1249) 1348 = NOT(1255) 1349 = NOT(1252) 1350 = NOT(1261) 1351 = NOT(1258) 1352 = NAND(1309, 1206) 1355 = NAND(1310, 1208) 1358 = NAND(1311, 1210) 1361 = NAND(1312, 1212) 1364 = NAND(1313, 1214) 1367 = NAND(1314, 1216) 1370 = NAND(1315, 1221) 1373 = NAND(1316, 1224) 1376 = NAND(1317, 1226) 1379 = NAND(1318, 1229) 1383 = NAND(1322, 1231) 1386 = NOT(1232) 1387 = NAND(1232, 990) 1388 = NOT(1235) 1389 = NAND(1235, 993) 1390 = NAND(1327, 1239) 1393 = NAND(1328, 1242) 1396 = NOT(1243) 1397 = NAND(1243, 1004) 1398 = NOT(1246) 1399 = NAND(1246, 1007) 1409 = NOT(1319) 1412 = NAND(649, 1346) 1413 = NOT(1334) 1416 = BUFF(1264) 1419 = BUFF(1264) 1433 = NAND(634, 1386) 1434 = NAND(637, 1388) 1438 = NAND(640, 1396) 1439 = NAND(646, 1398) 1440 = NOT(1344) 1443 = NAND(1355, 1148) 1444 = NOT(1355) 1445 = NAND(1352, 1149) 1446 = NOT(1352) 1447 = NAND(1358, 1151) 1448 = NOT(1358) 1451 = NAND(1361, 1152) 1452 = NOT(1361) 1453 = NAND(1367, 1153) 1454 = NOT(1367) 1455 = NAND(1364, 1154) 1456 = NOT(1364) 1457 = NAND(1373, 1156) 1458 = NOT(1373) 1459 = NAND(1379, 1157) 1460 = NOT(1379) 1461 = NOT(1383) 1462 = NAND(1393, 1161) 1463 = NOT(1393) 1464 = NAND(1345, 1412) 1468 = NOT(1370) 1469 = NAND(1370, 1222) 1470 = NOT(1376) 1471 = NAND(1376, 1227) 1472 = NAND(1387, 1433) 1475 = NOT(1390) 1476 = NAND(1390, 1240) 1478 = NAND(1389, 1434) 1481 = NAND(1399, 1439) 1484 = NAND(1397, 1438) 1487 = NAND(939, 1444) 1488 = NAND(935, 1446) 1489 = NAND(943, 1448) 1490 = NOT(1419) 1491 = NOT(1416) 1492 = NAND(947, 1452) 1493 = NAND(955, 1454) 1494 = NAND(951, 1456) 1495 = NAND(969, 1458) 1496 = NAND(977, 1460) 1498 = NAND(998, 1463) 1499 = NOT(1440) 1500 = NAND(965, 1468) 1501 = NAND(973, 1470) 1504 = NAND(994, 1475) 1510 = NOT(1464) 1513 = NAND(1443, 1487) 1514 = NAND(1445, 1488) 1517 = NAND(1447, 1489) 1520 = NAND(1451, 1492) 1521 = NAND(1453, 1493) 1522 = NAND(1455, 1494) 1526 = NAND(1457, 1495) 1527 = NAND(1459, 1496) 1528 = NOT(1472) 1529 = NAND(1462, 1498) 1530 = NOT(1478) 1531 = NOT(1481) 1532 = NOT(1484) 1534 = NAND(1471, 1501) 1537 = NAND(1469, 1500) 1540 = NAND(1476, 1504) 1546 = NOT(1513) 1554 = NOT(1521) 1557 = NOT(1526) 1561 = NOT(1520) 1567 = NAND(1484, 1531) 1568 = NAND(1481, 1532) 1569 = NOT(1510) 1571 = NOT(1527) 1576 = NOT(1529) 1588 = BUFF(1522) 1591 = NOT(1534) 1593 = NOT(1537) 1594 = NAND(1540, 1530) 1595 = NOT(1540) 1596 = NAND(1567, 1568) 1600 = BUFF(1517) 1603 = BUFF(1517) 1606 = BUFF(1522) 1609 = BUFF(1522) 1612 = BUFF(1514) 1615 = BUFF(1514) 1620 = BUFF(1557) 1623 = BUFF(1554) 1635 = NOT(1571) 1636 = NAND(1478, 1595) 1638 = NAND(1576, 1569) 1639 = NOT(1576) 1640 = BUFF(1561) 1643 = BUFF(1561) 1647 = BUFF(1546) 1651 = BUFF(1546) 1658 = BUFF(1554) 1661 = BUFF(1557) 1664 = BUFF(1557) 1671 = NAND(1596, 893) 1672 = NOT(1596) 1675 = NOT(1600) 1677 = NOT(1603) 1678 = NAND(1606, 1217) 1679 = NOT(1606) 1680 = NAND(1609, 1219) 1681 = NOT(1609) 1682 = NOT(1612) 1683 = NOT(1615) 1685 = NAND(1594, 1636) 1688 = NAND(1510, 1639) 1697 = BUFF(1588) 1701 = BUFF(1588) 1706 = NAND(643, 1672) 1707 = NOT(1643) 1708 = NAND(1647, 1675) 1709 = NOT(1647) 1710 = NAND(1651, 1677) 1711 = NOT(1651) 1712 = NAND(1028, 1679) 1713 = NAND(1031, 1681) 1714 = BUFF(1620) 1717 = BUFF(1620) 1720 = NAND(1658, 1593) 1721 = NOT(1658) 1723 = NAND(1638, 1688) 1727 = NOT(1661) 1728 = NOT(1640) 1730 = NOT(1664) 1731 = BUFF(1623) 1734 = BUFF(1623) 1740 = NAND(1685, 1528) 1741 = NOT(1685) 1742 = NAND(1671, 1706) 1746 = NAND(1600, 1709) 1747 = NAND(1603, 1711) 1748 = NAND(1678, 1712) 1751 = NAND(1680, 1713) 1759 = NAND(1537, 1721) 1761 = NOT(1697) 1762 = NAND(1697, 1727) 1763 = NOT(1701) 1764 = NAND(1701, 1730) 1768 = NOT(1717) 1769 = NAND(1472, 1741) 1772 = NAND(1723, 1413) 1773 = NOT(1723) 1774 = NAND(1708, 1746) 1777 = NAND(1710, 1747) 1783 = NOT(1731) 1784 = NAND(1731, 1682) 1785 = NOT(1714) 1786 = NOT(1734) 1787 = NAND(1734, 1683) 1788 = NAND(1720, 1759) 1791 = NAND(1661, 1761) 1792 = NAND(1664, 1763) 1795 = NAND(1751, 1155) 1796 = NOT(1751) 1798 = NAND(1740, 1769) 1801 = NAND(1334, 1773) 1802 = NAND(1742, 290) 1807 = NOT(1748) 1808 = NAND(1748, 1218) 1809 = NAND(1612, 1783) 1810 = NAND(1615, 1786) 1812 = NAND(1791, 1762) 1815 = NAND(1792, 1764) 1818 = BUFF(1742) 1821 = NAND(1777, 1490) 1822 = NOT(1777) 1823 = NAND(1774, 1491) 1824 = NOT(1774) 1825 = NAND(962, 1796) 1826 = NAND(1788, 1409) 1827 = NOT(1788) 1830 = NAND(1772, 1801) 1837 = NAND(959, 1807) 1838 = NAND(1809, 1784) 1841 = NAND(1810, 1787) 1848 = NAND(1419, 1822) 1849 = NAND(1416, 1824) 1850 = NAND(1795, 1825) 1852 = NAND(1319, 1827) 1855 = NAND(1815, 1707) 1856 = NOT(1815) 1857 = NOT(1818) 1858 = NAND(1798, 290) 1864 = NOT(1812) 1865 = NAND(1812, 1728) 1866 = BUFF(1798) 1869 = BUFF(1802) 1872 = BUFF(1802) 1875 = NAND(1808, 1837) 1878 = NAND(1821, 1848) 1879 = NAND(1823, 1849) 1882 = NAND(1841, 1768) 1883 = NOT(1841) 1884 = NAND(1826, 1852) 1885 = NAND(1643, 1856) 1889 = NAND(1830, 290) 1895 = NOT(1838) 1896 = NAND(1838, 1785) 1897 = NAND(1640, 1864) 1898 = NOT(1850) 1902 = BUFF(1830) 1910 = NOT(1878) 1911 = NAND(1717, 1883) 1912 = NOT(1884) 1913 = NAND(1855, 1885) 1915 = NOT(1866) 1919 = NAND(1872, 919) 1920 = NOT(1872) 1921 = NAND(1869, 920) 1922 = NOT(1869) 1923 = NOT(1875) 1924 = NAND(1714, 1895) 1927 = BUFF(1858) 1930 = BUFF(1858) 1933 = NAND(1865, 1897) 1936 = NAND(1882, 1911) 1937 = NOT(1898) 1938 = NOT(1902) 1941 = NAND(679, 1920) 1942 = NAND(676, 1922) 1944 = BUFF(1879) 1947 = NOT(1913) 1950 = BUFF(1889) 1953 = BUFF(1889) 1958 = BUFF(1879) 1961 = NAND(1896, 1924) 1965 = AND(1910, 601) 1968 = AND(602, 1912) 1975 = NAND(1930, 917) 1976 = NOT(1930) 1977 = NAND(1927, 918) 1978 = NOT(1927) 1979 = NAND(1919, 1941) 1980 = NAND(1921, 1942) 1985 = NOT(1933) 1987 = NOT(1936) 1999 = NOT(1944) 2000 = NAND(1944, 1937) 2002 = NOT(1947) 2003 = NAND(1947, 1499) 2004 = NAND(1953, 1350) 2005 = NOT(1953) 2006 = NAND(1950, 1351) 2007 = NOT(1950) 2008 = NAND(673, 1976) 2009 = NAND(670, 1978) 2012 = NOT(1979) 2013 = NOT(1958) 2014 = NAND(1958, 1923) 2015 = NOT(1961) 2016 = NAND(1961, 1635) 2018 = NOT(1965) 2019 = NOT(1968) 2020 = NAND(1898, 1999) 2021 = NOT(1987) 2022 = NAND(1987, 1591) 2023 = NAND(1440, 2002) 2024 = NAND(1261, 2005) 2025 = NAND(1258, 2007) 2026 = NAND(1975, 2008) 2027 = NAND(1977, 2009) 2030 = NOT(1980) 2033 = BUFF(1980) 2036 = NAND(1875, 2013) 2037 = NAND(1571, 2015) 2038 = NAND(2020, 2000) 2039 = NAND(1534, 2021) 2040 = NAND(2023, 2003) 2041 = NAND(2004, 2024) 2042 = NAND(2006, 2025) 2047 = NOT(2026) 2052 = NAND(2036, 2014) 2055 = NAND(2037, 2016) 2060 = NOT(2038) 2061 = NAND(2039, 2022) 2062 = NAND(2040, 290) 2067 = NOT(2041) 2068 = NOT(2027) 2071 = BUFF(2027) 2076 = NOT(2052) 2077 = NOT(2055) 2078 = NAND(2060, 290) 2081 = NAND(2061, 290) 2086 = NOT(2042) 2089 = BUFF(2042) 2104 = AND(2030, 2068) 2119 = AND(2033, 2068) 2129 = AND(2030, 2071) 2143 = AND(2033, 2071) 2148 = BUFF(2062) 2151 = BUFF(2062) 2196 = BUFF(2078) 2199 = BUFF(2078) 2202 = BUFF(2081) 2205 = BUFF(2081) 2214 = NAND(2151, 915) 2215 = NOT(2151) 2216 = NAND(2148, 916) 2217 = NOT(2148) 2222 = NAND(2199, 1348) 2223 = NOT(2199) 2224 = NAND(2196, 1349) 2225 = NOT(2196) 2226 = NAND(2205, 913) 2227 = NOT(2205) 2228 = NAND(2202, 914) 2229 = NOT(2202) 2230 = NAND(667, 2215) 2231 = NAND(664, 2217) 2232 = NAND(1255, 2223) 2233 = NAND(1252, 2225) 2234 = NAND(661, 2227) 2235 = NAND(658, 2229) 2236 = NAND(2214, 2230) 2237 = NAND(2216, 2231) 2240 = NAND(2222, 2232) 2241 = NAND(2224, 2233) 2244 = NAND(2226, 2234) 2245 = NAND(2228, 2235) 2250 = NOT(2236) 2253 = NOT(2240) 2256 = NOT(2244) 2257 = NOT(2237) 2260 = BUFF(2237) 2263 = NOT(2241) 2266 = AND(1164, 2241) 2269 = NOT(2245) 2272 = AND(1168, 2245) 2279 = NAND(2067, 2012, 2047, 2250, 899, 2256, 2253, 903) 2286 = BUFF(2266) 2297 = BUFF(2266) 2315 = BUFF(2272) 2326 = BUFF(2272) 2340 = AND(2086, 2257) 2353 = AND(2089, 2257) 2361 = AND(2086, 2260) 2375 = AND(2089, 2260) 2384 = AND(338, 2279, 313, 313) 2385 = AND(1163, 2263) 2386 = AND(1164, 2263) 2426 = AND(1167, 2269) 2427 = AND(1168, 2269) 2537 = NAND(2286, 2315, 2361, 2104, 1171) 2540 = NAND(2286, 2315, 2340, 2129, 1171) 2543 = NAND(2286, 2315, 2340, 2119, 1171) 2546 = NAND(2286, 2315, 2353, 2104, 1171) 2549 = NAND(2297, 2315, 2375, 2119, 1188) 2552 = NAND(2297, 2326, 2361, 2143, 1188) 2555 = NAND(2297, 2326, 2375, 2129, 1188) 2558 = AND(2286, 2315, 2361, 2104, 1171) 2561 = AND(2286, 2315, 2340, 2129, 1171) 2564 = AND(2286, 2315, 2340, 2119, 1171) 2567 = AND(2286, 2315, 2353, 2104, 1171) 2570 = AND(2297, 2315, 2375, 2119, 1188) 2573 = AND(2297, 2326, 2361, 2143, 1188) 2576 = AND(2297, 2326, 2375, 2129, 1188) 2594 = NAND(2286, 2427, 2361, 2129, 1171) 2597 = NAND(2297, 2427, 2361, 2119, 1171) 2600 = NAND(2297, 2427, 2375, 2104, 1171) 2603 = NAND(2297, 2427, 2340, 2143, 1171) 2606 = NAND(2297, 2427, 2353, 2129, 1188) 2611 = NAND(2386, 2326, 2361, 2129, 1188) 2614 = NAND(2386, 2326, 2361, 2119, 1188) 2617 = NAND(2386, 2326, 2375, 2104, 1188) 2620 = NAND(2386, 2326, 2353, 2129, 1188) 2627 = NAND(2297, 2427, 2340, 2104, 926) 2628 = NAND(2386, 2326, 2340, 2104, 926) 2629 = NAND(2386, 2427, 2361, 2104, 926) 2630 = NAND(2386, 2427, 2340, 2129, 926) 2631 = NAND(2386, 2427, 2340, 2119, 926) 2632 = NAND(2386, 2427, 2353, 2104, 926) 2633 = NAND(2386, 2426, 2340, 2104, 926) 2634 = NAND(2385, 2427, 2340, 2104, 926) 2639 = AND(2286, 2427, 2361, 2129, 1171) 2642 = AND(2297, 2427, 2361, 2119, 1171) 2645 = AND(2297, 2427, 2375, 2104, 1171) 2648 = AND(2297, 2427, 2340, 2143, 1171) 2651 = AND(2297, 2427, 2353, 2129, 1188) 2655 = AND(2386, 2326, 2361, 2129, 1188) 2658 = AND(2386, 2326, 2361, 2119, 1188) 2661 = AND(2386, 2326, 2375, 2104, 1188) 2664 = AND(2386, 2326, 2353, 2129, 1188) 2669 = NAND(2558, 534) 2670 = NOT(2558) 2671 = NAND(2561, 535) 2672 = NOT(2561) 2673 = NAND(2564, 536) 2674 = NOT(2564) 2675 = NAND(2567, 537) 2676 = NOT(2567) 2682 = NAND(2570, 543) 2683 = NOT(2570) 2688 = NAND(2573, 548) 2689 = NOT(2573) 2690 = NAND(2576, 549) 2691 = NOT(2576) 2710 = AND(2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634) 2720 = NAND(343, 2670) 2721 = NAND(346, 2672) 2722 = NAND(349, 2674) 2723 = NAND(352, 2676) 2724 = NAND(2639, 538) 2725 = NOT(2639) 2726 = NAND(2642, 539) 2727 = NOT(2642) 2728 = NAND(2645, 540) 2729 = NOT(2645) 2730 = NAND(2648, 541) 2731 = NOT(2648) 2732 = NAND(2651, 542) 2733 = NOT(2651) 2734 = NAND(370, 2683) 2735 = NAND(2655, 544) 2736 = NOT(2655) 2737 = NAND(2658, 545) 2738 = NOT(2658) 2739 = NAND(2661, 546) 2740 = NOT(2661) 2741 = NAND(2664, 547) 2742 = NOT(2664) 2743 = NAND(385, 2689) 2744 = NAND(388, 2691) 2745 = NAND(2537, 2540, 2543, 2546, 2594, 2597, 2600, 2603) 2746 = NAND(2606, 2549, 2611, 2614, 2617, 2620, 2552, 2555) 2747 = AND(2537, 2540, 2543, 2546, 2594, 2597, 2600, 2603) 2750 = AND(2606, 2549, 2611, 2614, 2617, 2620, 2552, 2555) 2753 = NAND(2669, 2720) 2754 = NAND(2671, 2721) 2755 = NAND(2673, 2722) 2756 = NAND(2675, 2723) 2757 = NAND(355, 2725) 2758 = NAND(358, 2727) 2759 = NAND(361, 2729) 2760 = NAND(364, 2731) 2761 = NAND(367, 2733) 2762 = NAND(2682, 2734) 2763 = NAND(373, 2736) 2764 = NAND(376, 2738) 2765 = NAND(379, 2740) 2766 = NAND(382, 2742) 2767 = NAND(2688, 2743) 2768 = NAND(2690, 2744) 2773 = AND(2745, 275) 2776 = AND(2746, 276) 2779 = NAND(2724, 2757) 2780 = NAND(2726, 2758) 2781 = NAND(2728, 2759) 2782 = NAND(2730, 2760) 2783 = NAND(2732, 2761) 2784 = NAND(2735, 2763) 2785 = NAND(2737, 2764) 2786 = NAND(2739, 2765) 2787 = NAND(2741, 2766) 2788 = AND(2747, 2750, 2710) 2789 = NAND(2747, 2750) 2800 = AND(338, 2279, 99, 2788) 2807 = NAND(2773, 2018) 2808 = NOT(2773) 2809 = NAND(2776, 2019) 2810 = NOT(2776) 2811 = NOR(2384, 2800) 2812 = AND(897, 283, 2789) 2815 = AND(76, 283, 2789) 2818 = AND(82, 283, 2789) 2821 = AND(85, 283, 2789) 2824 = AND(898, 283, 2789) 2827 = NAND(1965, 2808) 2828 = NAND(1968, 2810) 2829 = AND(79, 283, 2789) 2843 = NAND(2807, 2827) 2846 = NAND(2809, 2828) 2850 = NAND(2812, 2076) 2851 = NAND(2815, 2077) 2852 = NAND(2818, 1915) 2853 = NAND(2821, 1857) 2854 = NAND(2824, 1938) 2857 = NOT(2812) 2858 = NOT(2815) 2859 = NOT(2818) 2860 = NOT(2821) 2861 = NOT(2824) 2862 = NOT(2829) 2863 = NAND(2829, 1985) 2866 = NAND(2052, 2857) 2867 = NAND(2055, 2858) 2868 = NAND(1866, 2859) 2869 = NAND(1818, 2860) 2870 = NAND(1902, 2861) 2871 = NAND(2843, 886) 2872 = NOT(2843) 2873 = NAND(2846, 887) 2874 = NOT(2846) 2875 = NAND(1933, 2862) 2876 = NAND(2866, 2850) 2877 = NAND(2867, 2851) 2878 = NAND(2868, 2852) 2879 = NAND(2869, 2853) 2880 = NAND(2870, 2854) 2881 = NAND(682, 2872) 2882 = NAND(685, 2874) 2883 = NAND(2875, 2863) 2886 = AND(2876, 550) 2887 = AND(551, 2877) 2888 = AND(553, 2878) 2889 = AND(2879, 554) 2890 = AND(555, 2880) 2891 = NAND(2871, 2881) 2892 = NAND(2873, 2882) 2895 = NAND(2883, 1461) 2896 = NOT(2883) 2897 = NAND(1383, 2896) 2898 = NAND(2895, 2897) 2899 = AND(2898, 552)