atpg-ls/benchmark/c2670.bench

# c2670

INPUT(1)
INPUT(2)
INPUT(3)
INPUT(4)
INPUT(5)
INPUT(6)
INPUT(7)
INPUT(8)
INPUT(11)
INPUT(14)
INPUT(15)
INPUT(16)
INPUT(19)
INPUT(20)
INPUT(21)
INPUT(22)
INPUT(23)
INPUT(24)
INPUT(25)
INPUT(26)
INPUT(27)
INPUT(28)
INPUT(29)
INPUT(32)
INPUT(33)
INPUT(34)
INPUT(35)
INPUT(36)
INPUT(37)
INPUT(40)
INPUT(43)
INPUT(44)
INPUT(47)
INPUT(48)
INPUT(49)
INPUT(50)
INPUT(51)
INPUT(52)
INPUT(53)
INPUT(54)
INPUT(55)
INPUT(56)
INPUT(57)
INPUT(60)
INPUT(61)
INPUT(62)
INPUT(63)
INPUT(64)
INPUT(65)
INPUT(66)
INPUT(67)
INPUT(68)
INPUT(69)
INPUT(72)
INPUT(73)
INPUT(74)
INPUT(75)
INPUT(76)
INPUT(77)
INPUT(78)
INPUT(79)
INPUT(80)
INPUT(81)
INPUT(82)
INPUT(85)
INPUT(86)
INPUT(87)
INPUT(88)
INPUT(89)
INPUT(90)
INPUT(91)
INPUT(92)
INPUT(93)
INPUT(94)
INPUT(95)
INPUT(96)
INPUT(99)
INPUT(100)
INPUT(101)
INPUT(102)
INPUT(103)
INPUT(104)
INPUT(105)
INPUT(106)
INPUT(107)
INPUT(108)
INPUT(111)
INPUT(112)
INPUT(113)
INPUT(114)
INPUT(115)
INPUT(116)
INPUT(117)
INPUT(118)
INPUT(119)
INPUT(120)
INPUT(123)
INPUT(124)
INPUT(125)
INPUT(126)
INPUT(127)
INPUT(128)
INPUT(129)
INPUT(130)
INPUT(131)
INPUT(132)
INPUT(135)
INPUT(136)
INPUT(137)
INPUT(138)
INPUT(139)
INPUT(140)
INPUT(141)
INPUT(142)
INPUT(143)
INPUT(144)
INPUT(145)
INPUT(146)
INPUT(147)
INPUT(148)
INPUT(149)
INPUT(150)
INPUT(151)
INPUT(152)
INPUT(153)
INPUT(154)
INPUT(155)
INPUT(156)
INPUT(157)
INPUT(158)
INPUT(159)
INPUT(160)
INPUT(161)
INPUT(162)
INPUT(163)
INPUT(164)
INPUT(165)
INPUT(166)
INPUT(167)
INPUT(168)
INPUT(169)
INPUT(170)
INPUT(171)
INPUT(172)
INPUT(173)
INPUT(174)
INPUT(175)
INPUT(176)
INPUT(177)
INPUT(178)
INPUT(179)
INPUT(180)
INPUT(181)
INPUT(182)
INPUT(183)
INPUT(184)
INPUT(185)
INPUT(186)
INPUT(187)
INPUT(188)
INPUT(189)
INPUT(190)
INPUT(191)
INPUT(192)
INPUT(193)
INPUT(194)
INPUT(195)
INPUT(196)
INPUT(197)
INPUT(198)
INPUT(199)
INPUT(200)
INPUT(201)
INPUT(202)
INPUT(203)
INPUT(204)
INPUT(205)
INPUT(206)
INPUT(207)
INPUT(208)
INPUT(209)
INPUT(210)
INPUT(211)
INPUT(212)
INPUT(213)
INPUT(214)
INPUT(215)
INPUT(216)
INPUT(217)
INPUT(218)
INPUT(219)
INPUT(224)
INPUT(227)
INPUT(230)
INPUT(231)
INPUT(234)
INPUT(237)
INPUT(241)
INPUT(246)
INPUT(253)
INPUT(256)
INPUT(259)
INPUT(262)
INPUT(263)
INPUT(266)
INPUT(269)
INPUT(272)
INPUT(275)
INPUT(278)
INPUT(281)
INPUT(284)
INPUT(287)
INPUT(290)
INPUT(294)
INPUT(297)
INPUT(301)
INPUT(305)
INPUT(309)
INPUT(313)
INPUT(316)
INPUT(319)
INPUT(322)
INPUT(325)
INPUT(328)
INPUT(331)
INPUT(334)
INPUT(337)
INPUT(340)
INPUT(343)
INPUT(346)
INPUT(349)
INPUT(352)
INPUT(355)

OUTPUT(143)
OUTPUT(144)
OUTPUT(145)
OUTPUT(146)
OUTPUT(147)
OUTPUT(148)
OUTPUT(149)
OUTPUT(150)
OUTPUT(151)
OUTPUT(152)
OUTPUT(153)
OUTPUT(154)
OUTPUT(155)
OUTPUT(156)
OUTPUT(157)
OUTPUT(158)
OUTPUT(159)
OUTPUT(160)
OUTPUT(161)
OUTPUT(162)
OUTPUT(163)
OUTPUT(164)
OUTPUT(165)
OUTPUT(166)
OUTPUT(167)
OUTPUT(168)
OUTPUT(169)
OUTPUT(170)
OUTPUT(171)
OUTPUT(172)
OUTPUT(173)
OUTPUT(174)
OUTPUT(175)
OUTPUT(176)
OUTPUT(177)
OUTPUT(178)
OUTPUT(179)
OUTPUT(180)
OUTPUT(181)
OUTPUT(182)
OUTPUT(183)
OUTPUT(184)
OUTPUT(185)
OUTPUT(186)
OUTPUT(187)
OUTPUT(188)
OUTPUT(189)
OUTPUT(190)
OUTPUT(191)
OUTPUT(192)
OUTPUT(193)
OUTPUT(194)
OUTPUT(195)
OUTPUT(196)
OUTPUT(197)
OUTPUT(198)
OUTPUT(199)
OUTPUT(200)
OUTPUT(201)
OUTPUT(202)
OUTPUT(203)
OUTPUT(204)
OUTPUT(205)
OUTPUT(206)
OUTPUT(207)
OUTPUT(208)
OUTPUT(209)
OUTPUT(210)
OUTPUT(211)
OUTPUT(212)
OUTPUT(213)
OUTPUT(214)
OUTPUT(215)
OUTPUT(216)
OUTPUT(217)
OUTPUT(218)
OUTPUT(398)
OUTPUT(400)
OUTPUT(401)
OUTPUT(419)
OUTPUT(420)
OUTPUT(456)
OUTPUT(457)
OUTPUT(458)
OUTPUT(487)
OUTPUT(488)
OUTPUT(489)
OUTPUT(490)
OUTPUT(491)
OUTPUT(492)
OUTPUT(493)
OUTPUT(494)
OUTPUT(792)
OUTPUT(799)
OUTPUT(805)
OUTPUT(1026)
OUTPUT(1028)
OUTPUT(1029)
OUTPUT(1269)
OUTPUT(1277)
OUTPUT(1448)
OUTPUT(1726)
OUTPUT(1816)
OUTPUT(1817)
OUTPUT(1818)
OUTPUT(1819)
OUTPUT(1820)
OUTPUT(1821)
OUTPUT(1969)
OUTPUT(1970)
OUTPUT(1971)
OUTPUT(2010)
OUTPUT(2012)
OUTPUT(2014)
OUTPUT(2016)
OUTPUT(2018)
OUTPUT(2020)
OUTPUT(2022)
OUTPUT(2387)
OUTPUT(2388)
OUTPUT(2389)
OUTPUT(2390)
OUTPUT(2496)
OUTPUT(2643)
OUTPUT(2644)
OUTPUT(2891)
OUTPUT(2925)
OUTPUT(2970)
OUTPUT(2971)
OUTPUT(3038)
OUTPUT(3079)
OUTPUT(3546)
OUTPUT(3671)
OUTPUT(3803)
OUTPUT(3804)
OUTPUT(3809)
OUTPUT(3851)
OUTPUT(3875)
OUTPUT(3881)
OUTPUT(3882)

398 = BUFF(219)
400 = BUFF(219)
401 = BUFF(219)
405 = AND(1, 3)
408 = NOT(230)
419 = BUFF(253)
420 = BUFF(253)
425 = NOT(262)
456 = BUFF(290)
457 = BUFF(290)
458 = BUFF(290)
485 = AND(309, 305, 301, 297)
486 = NOT(405)
487 = NOT(44)
488 = NOT(132)
489 = NOT(82)
490 = NOT(96)
491 = NOT(69)
492 = NOT(120)
493 = NOT(57)
494 = NOT(108)
495 = AND(2, 15, 237)
496 = BUFF(237)
499 = AND(37, 37)
500 = BUFF(219)
503 = BUFF(8)
506 = BUFF(8)
509 = BUFF(227)
521 = BUFF(234)
533 = NOT(241)
537 = NOT(246)
543 = AND(11, 246)
544 = AND(132, 82, 96, 44)
547 = AND(120, 57, 108, 69)
550 = BUFF(227)
562 = BUFF(234)
574 = NOT(256)
578 = NOT(259)
582 = BUFF(319)
594 = BUFF(322)
606 = NOT(328)
607 = NOT(331)
608 = NOT(334)
609 = NOT(337)
610 = NOT(340)
611 = NOT(343)
612 = NOT(352)
613 = BUFF(319)
625 = BUFF(322)
637 = BUFF(16)
643 = BUFF(16)
650 = NOT(355)
651 = AND(7, 237)
655 = NOT(263)
659 = NOT(266)
663 = NOT(269)
667 = NOT(272)
671 = NOT(275)
675 = NOT(278)
679 = NOT(281)
683 = NOT(284)
687 = NOT(287)
693 = BUFF(29)
699 = BUFF(29)
705 = NOT(294)
711 = NOT(297)
715 = NOT(301)
719 = NOT(305)
723 = NOT(309)
727 = NOT(313)
730 = NOT(316)
733 = NOT(346)
734 = NOT(349)
735 = BUFF(259)
738 = BUFF(256)
741 = BUFF(263)
744 = BUFF(269)
747 = BUFF(266)
750 = BUFF(275)
753 = BUFF(272)
756 = BUFF(281)
759 = BUFF(278)
762 = BUFF(287)
765 = BUFF(284)
768 = BUFF(294)
771 = BUFF(301)
774 = BUFF(297)
777 = BUFF(309)
780 = BUFF(305)
783 = BUFF(316)
786 = BUFF(313)
792 = NOT(485)
799 = NOT(495)
800 = NOT(499)
805 = BUFF(500)
900 = NAND(331, 606)
901 = NAND(328, 607)
902 = NAND(337, 608)
903 = NAND(334, 609)
904 = NAND(343, 610)
905 = NAND(340, 611)
998 = NAND(349, 733)
999 = NAND(346, 734)
1026 = AND(94, 500)
1027 = AND(325, 651)
1028 = NOT(651)
1029 = NAND(231, 651)
1032 = NOT(544)
1033 = NOT(547)
1034 = AND(547, 544)
1037 = BUFF(503)
1042 = NOT(509)
1053 = NOT(521)
1064 = AND(80, 509, 521)
1065 = AND(68, 509, 521)
1066 = AND(79, 509, 521)
1067 = AND(78, 509, 521)
1068 = AND(77, 509, 521)
1069 = AND(11, 537)
1070 = BUFF(503)
1075 = NOT(550)
1086 = NOT(562)
1097 = AND(76, 550, 562)
1098 = AND(75, 550, 562)
1099 = AND(74, 550, 562)
1100 = AND(73, 550, 562)
1101 = AND(72, 550, 562)
1102 = NOT(582)
1113 = NOT(594)
1124 = AND(114, 582, 594)
1125 = AND(113, 582, 594)
1126 = AND(112, 582, 594)
1127 = AND(111, 582, 594)
1128 = AND(582, 594)
1129 = NAND(900, 901)
1133 = NAND(902, 903)
1137 = NAND(904, 905)
1140 = NOT(741)
1141 = NAND(741, 612)
1142 = NOT(744)
1143 = NOT(747)
1144 = NOT(750)
1145 = NOT(753)
1146 = NOT(613)
1157 = NOT(625)
1168 = AND(118, 613, 625)
1169 = AND(107, 613, 625)
1170 = AND(117, 613, 625)
1171 = AND(116, 613, 625)
1172 = AND(115, 613, 625)
1173 = NOT(637)
1178 = NOT(643)
1184 = NOT(768)
1185 = NAND(768, 650)
1186 = NOT(771)
1187 = NOT(774)
1188 = NOT(777)
1189 = NOT(780)
1190 = BUFF(506)
1195 = BUFF(506)
1200 = NOT(693)
1205 = NOT(699)
1210 = NOT(735)
1211 = NOT(738)
1212 = NOT(756)
1213 = NOT(759)
1214 = NOT(762)
1215 = NOT(765)
1216 = NAND(998, 999)
1219 = BUFF(574)
1222 = BUFF(578)
1225 = BUFF(655)
1228 = BUFF(659)
1231 = BUFF(663)
1234 = BUFF(667)
1237 = BUFF(671)
1240 = BUFF(675)
1243 = BUFF(679)
1246 = BUFF(683)
1249 = NOT(783)
1250 = NOT(786)
1251 = BUFF(687)
1254 = BUFF(705)
1257 = BUFF(711)
1260 = BUFF(715)
1263 = BUFF(719)
1266 = BUFF(723)
1269 = NOT(1027)
1275 = AND(325, 1032)
1276 = AND(231, 1033)
1277 = BUFF(1034)
1302 = OR(1069, 543)
1351 = NAND(352, 1140)
1352 = NAND(747, 1142)
1353 = NAND(744, 1143)
1354 = NAND(753, 1144)
1355 = NAND(750, 1145)
1395 = NAND(355, 1184)
1396 = NAND(774, 1186)
1397 = NAND(771, 1187)
1398 = NAND(780, 1188)
1399 = NAND(777, 1189)
1422 = NAND(738, 1210)
1423 = NAND(735, 1211)
1424 = NAND(759, 1212)
1425 = NAND(756, 1213)
1426 = NAND(765, 1214)
1427 = NAND(762, 1215)
1440 = NAND(786, 1249)
1441 = NAND(783, 1250)
1448 = NOT(1034)
1449 = NOT(1275)
1450 = NOT(1276)
1451 = AND(93, 1042, 1053)
1452 = AND(55, 509, 1053)
1453 = AND(67, 1042, 521)
1454 = AND(81, 1042, 1053)
1455 = AND(43, 509, 1053)
1456 = AND(56, 1042, 521)
1457 = AND(92, 1042, 1053)
1458 = AND(54, 509, 1053)
1459 = AND(66, 1042, 521)
1460 = AND(91, 1042, 1053)
1461 = AND(53, 509, 1053)
1462 = AND(65, 1042, 521)
1463 = AND(90, 1042, 1053)
1464 = AND(52, 509, 1053)
1465 = AND(64, 1042, 521)
1466 = AND(89, 1075, 1086)
1467 = AND(51, 550, 1086)
1468 = AND(63, 1075, 562)
1469 = AND(88, 1075, 1086)
1470 = AND(50, 550, 1086)
1471 = AND(62, 1075, 562)
1472 = AND(87, 1075, 1086)
1473 = AND(49, 550, 1086)
1474 = AND(1075, 562)
1475 = AND(86, 1075, 1086)
1476 = AND(48, 550, 1086)
1477 = AND(61, 1075, 562)
1478 = AND(85, 1075, 1086)
1479 = AND(47, 550, 1086)
1480 = AND(60, 1075, 562)
1481 = AND(138, 1102, 1113)
1482 = AND(102, 582, 1113)
1483 = AND(126, 1102, 594)
1484 = AND(137, 1102, 1113)
1485 = AND(101, 582, 1113)
1486 = AND(125, 1102, 594)
1487 = AND(136, 1102, 1113)
1488 = AND(100, 582, 1113)
1489 = AND(124, 1102, 594)
1490 = AND(135, 1102, 1113)
1491 = AND(99, 582, 1113)
1492 = AND(123, 1102, 594)
1493 = AND(1102, 1113)
1494 = AND(582, 1113)
1495 = AND(1102, 594)
1496 = NOT(1129)
1499 = NOT(1133)
1502 = NAND(1351, 1141)
1506 = NAND(1352, 1353)
1510 = NAND(1354, 1355)
1513 = BUFF(1137)
1516 = BUFF(1137)
1519 = NOT(1219)
1520 = NOT(1222)
1521 = NOT(1225)
1522 = NOT(1228)
1523 = NOT(1231)
1524 = NOT(1234)
1525 = NOT(1237)
1526 = NOT(1240)
1527 = NOT(1243)
1528 = NOT(1246)
1529 = AND(142, 1146, 1157)
1530 = AND(106, 613, 1157)
1531 = AND(130, 1146, 625)
1532 = AND(131, 1146, 1157)
1533 = AND(95, 613, 1157)
1534 = AND(119, 1146, 625)
1535 = AND(141, 1146, 1157)
1536 = AND(105, 613, 1157)
1537 = AND(129, 1146, 625)
1538 = AND(140, 1146, 1157)
1539 = AND(104, 613, 1157)
1540 = AND(128, 1146, 625)
1541 = AND(139, 1146, 1157)
1542 = AND(103, 613, 1157)
1543 = AND(127, 1146, 625)
1544 = AND(19, 1173)
1545 = AND(4, 1173)
1546 = AND(20, 1173)
1547 = AND(5, 1173)
1548 = AND(21, 1178)
1549 = AND(22, 1178)
1550 = AND(23, 1178)
1551 = AND(6, 1178)
1552 = AND(24, 1178)
1553 = NAND(1395, 1185)
1557 = NAND(1396, 1397)
1561 = NAND(1398, 1399)
1564 = AND(25, 1200)
1565 = AND(32, 1200)
1566 = AND(26, 1200)
1567 = AND(33, 1200)
1568 = AND(27, 1205)
1569 = AND(34, 1205)
1570 = AND(35, 1205)
1571 = AND(28, 1205)
1572 = NOT(1251)
1573 = NOT(1254)
1574 = NOT(1257)
1575 = NOT(1260)
1576 = NOT(1263)
1577 = NOT(1266)
1578 = NAND(1422, 1423)
1581 = NOT(1216)
1582 = NAND(1426, 1427)
1585 = NAND(1424, 1425)
1588 = NAND(1440, 1441)
1591 = AND(1449, 1450)
1596 = OR(1451, 1452, 1453, 1064)
1600 = OR(1454, 1455, 1456, 1065)
1606 = OR(1457, 1458, 1459, 1066)
1612 = OR(1460, 1461, 1462, 1067)
1615 = OR(1463, 1464, 1465, 1068)
1619 = OR(1466, 1467, 1468, 1097)
1624 = OR(1469, 1470, 1471, 1098)
1628 = OR(1472, 1473, 1474, 1099)
1631 = OR(1475, 1476, 1477, 1100)
1634 = OR(1478, 1479, 1480, 1101)
1637 = OR(1481, 1482, 1483, 1124)
1642 = OR(1484, 1485, 1486, 1125)
1647 = OR(1487, 1488, 1489, 1126)
1651 = OR(1490, 1491, 1492, 1127)
1656 = OR(1493, 1494, 1495, 1128)
1676 = OR(1532, 1533, 1534, 1169)
1681 = OR(1535, 1536, 1537, 1170)
1686 = OR(1538, 1539, 1540, 1171)
1690 = OR(1541, 1542, 1543, 1172)
1708 = OR(1529, 1530, 1531, 1168)
1726 = BUFF(1591)
1770 = NOT(1502)
1773 = NOT(1506)
1776 = NOT(1513)
1777 = NOT(1516)
1778 = BUFF(1510)
1781 = BUFF(1510)
1784 = AND(1133, 1129, 1513)
1785 = AND(1499, 1496, 1516)
1795 = NOT(1553)
1798 = NOT(1557)
1801 = BUFF(1561)
1804 = BUFF(1561)
1807 = NOT(1588)
1808 = NOT(1578)
1809 = NAND(1578, 1581)
1810 = NOT(1582)
1811 = NOT(1585)
1813 = AND(1596, 241)
1814 = AND(1606, 241)
1815 = AND(1600, 241)
1816 = NOT(1642)
1817 = NOT(1647)
1818 = NOT(1637)
1819 = NOT(1624)
1820 = NOT(1619)
1821 = NOT(1615)
1822 = AND(496, 224, 36, 1591)
1823 = AND(496, 224, 1591, 486)
1824 = BUFF(1596)
1827 = NOT(1606)
1830 = AND(1600, 537)
1831 = AND(1606, 537)
1832 = AND(1619, 246)
1833 = NOT(1596)
1836 = NOT(1600)
1841 = NOT(1606)
1848 = BUFF(1612)
1852 = BUFF(1615)
1856 = BUFF(1619)
1863 = BUFF(1624)
1870 = BUFF(1628)
1875 = BUFF(1631)
1880 = BUFF(1634)
1885 = NAND(727, 1651)
1888 = NAND(730, 1656)
1891 = BUFF(1686)
1894 = AND(1637, 425)
1897 = NOT(1642)
1908 = AND(1496, 1133, 1776)
1909 = AND(1129, 1499, 1777)
1910 = AND(1600, 637)
1911 = AND(1606, 637)
1912 = AND(1612, 637)
1913 = AND(1615, 637)
1914 = AND(1619, 643)
1915 = AND(1624, 643)
1916 = AND(1628, 643)
1917 = AND(1631, 643)
1918 = AND(1634, 643)
1919 = NOT(1708)
1928 = AND(1676, 693)
1929 = AND(1681, 693)
1930 = AND(1686, 693)
1931 = AND(1690, 693)
1932 = AND(1637, 699)
1933 = AND(1642, 699)
1934 = AND(1647, 699)
1935 = AND(1651, 699)
1936 = BUFF(1600)
1939 = NAND(1216, 1808)
1940 = NAND(1585, 1810)
1941 = NAND(1582, 1811)
1942 = BUFF(1676)
1945 = BUFF(1686)
1948 = BUFF(1681)
1951 = BUFF(1637)
1954 = BUFF(1690)
1957 = BUFF(1647)
1960 = BUFF(1642)
1963 = BUFF(1656)
1966 = BUFF(1651)
1969 = OR(533, 1815)
1970 = NOT(1822)
1971 = NOT(1823)
2010 = BUFF(1848)
2012 = BUFF(1852)
2014 = BUFF(1856)
2016 = BUFF(1863)
2018 = BUFF(1870)
2020 = BUFF(1875)
2022 = BUFF(1880)
2028 = NOT(1778)
2029 = NOT(1781)
2030 = NOR(1908, 1784)
2031 = NOR(1909, 1785)
2032 = AND(1506, 1502, 1778)
2033 = AND(1773, 1770, 1781)
2034 = OR(1571, 1935)
2040 = NOT(1801)
2041 = NOT(1804)
2042 = AND(1557, 1553, 1801)
2043 = AND(1798, 1795, 1804)
2046 = NAND(1939, 1809)
2049 = NAND(1940, 1941)
2052 = OR(1544, 1910)
2055 = OR(1545, 1911)
2058 = OR(1546, 1912)
2061 = OR(1547, 1913)
2064 = OR(1548, 1914)
2067 = OR(1549, 1915)
2070 = OR(1550, 1916)
2073 = OR(1551, 1917)
2076 = OR(1552, 1918)
2079 = OR(1564, 1928)
2095 = OR(1565, 1929)
2098 = OR(1566, 1930)
2101 = OR(1567, 1931)
2104 = OR(1568, 1932)
2107 = OR(1569, 1933)
2110 = OR(1570, 1934)
2113 = AND(1897, 1894, 40)
2119 = NOT(1894)
2120 = NAND(408, 1827)
2125 = AND(1824, 537)
2126 = AND(1852, 246)
2127 = AND(1848, 537)
2128 = NOT(1848)
2135 = NOT(1852)
2141 = NOT(1863)
2144 = NOT(1870)
2147 = NOT(1875)
2150 = NOT(1880)
2153 = AND(727, 1885)
2154 = AND(1885, 1651)
2155 = AND(730, 1888)
2156 = AND(1888, 1656)
2157 = AND(1770, 1506, 2028)
2158 = AND(1502, 1773, 2029)
2171 = NOT(1942)
2172 = NAND(1942, 1919)
2173 = NOT(1945)
2174 = NOT(1948)
2175 = NOT(1951)
2176 = NOT(1954)
2177 = AND(1795, 1557, 2040)
2178 = AND(1553, 1798, 2041)
2185 = BUFF(1836)
2188 = BUFF(1833)
2191 = BUFF(1841)
2194 = NOT(1856)
2197 = NOT(1827)
2200 = NOT(1936)
2201 = BUFF(1836)
2204 = BUFF(1833)
2207 = BUFF(1841)
2210 = BUFF(1824)
2213 = BUFF(1841)
2216 = BUFF(1841)
2219 = NAND(2031, 2030)
2234 = NOT(1957)
2235 = NOT(1960)
2236 = NOT(1963)
2237 = NOT(1966)
2250 = AND(40, 1897, 2119)
2266 = OR(1831, 2126)
2269 = OR(2127, 1832)
2291 = OR(2153, 2154)
2294 = OR(2155, 2156)
2297 = NOR(2157, 2032)
2298 = NOR(2158, 2033)
2300 = NOT(2046)
2301 = NOT(2049)
2302 = NAND(2052, 1519)
2303 = NOT(2052)
2304 = NAND(2055, 1520)
2305 = NOT(2055)
2306 = NAND(2058, 1521)
2307 = NOT(2058)
2308 = NAND(2061, 1522)
2309 = NOT(2061)
2310 = NAND(2064, 1523)
2311 = NOT(2064)
2312 = NAND(2067, 1524)
2313 = NOT(2067)
2314 = NAND(2070, 1525)
2315 = NOT(2070)
2316 = NAND(2073, 1526)
2317 = NOT(2073)
2318 = NAND(2076, 1527)
2319 = NOT(2076)
2320 = NAND(2079, 1528)
2321 = NOT(2079)
2322 = NAND(1708, 2171)
2323 = NAND(1948, 2173)
2324 = NAND(1945, 2174)
2325 = NAND(1954, 2175)
2326 = NAND(1951, 2176)
2327 = NOR(2177, 2042)
2328 = NOR(2178, 2043)
2329 = NAND(2095, 1572)
2330 = NOT(2095)
2331 = NAND(2098, 1573)
2332 = NOT(2098)
2333 = NAND(2101, 1574)
2334 = NOT(2101)
2335 = NAND(2104, 1575)
2336 = NOT(2104)
2337 = NAND(2107, 1576)
2338 = NOT(2107)
2339 = NAND(2110, 1577)
2340 = NOT(2110)
2354 = NAND(1960, 2234)
2355 = NAND(1957, 2235)
2356 = NAND(1966, 2236)
2357 = NAND(1963, 2237)
2358 = AND(2120, 533)
2359 = NOT(2113)
2364 = NOT(2185)
2365 = NOT(2188)
2366 = NOT(2191)
2367 = NOT(2194)
2368 = BUFF(2120)
2372 = NOT(2201)
2373 = NOT(2204)
2374 = NOT(2207)
2375 = NOT(2210)
2376 = NOT(2213)
2377 = NOT(2113)
2382 = BUFF(2113)
2386 = AND(2120, 246)
2387 = BUFF(2266)
2388 = BUFF(2266)
2389 = BUFF(2269)
2390 = BUFF(2269)
2391 = BUFF(2113)
2395 = NOT(2113)
2400 = NAND(2219, 2300)
2403 = NOT(2216)
2406 = NOT(2219)
2407 = NAND(1219, 2303)
2408 = NAND(1222, 2305)
2409 = NAND(1225, 2307)
2410 = NAND(1228, 2309)
2411 = NAND(1231, 2311)
2412 = NAND(1234, 2313)
2413 = NAND(1237, 2315)
2414 = NAND(1240, 2317)
2415 = NAND(1243, 2319)
2416 = NAND(1246, 2321)
2417 = NAND(2322, 2172)
2421 = NAND(2323, 2324)
2425 = NAND(2325, 2326)
2428 = NAND(1251, 2330)
2429 = NAND(1254, 2332)
2430 = NAND(1257, 2334)
2431 = NAND(1260, 2336)
2432 = NAND(1263, 2338)
2433 = NAND(1266, 2340)
2434 = BUFF(2128)
2437 = BUFF(2135)
2440 = BUFF(2144)
2443 = BUFF(2141)
2446 = BUFF(2150)
2449 = BUFF(2147)
2452 = NOT(2197)
2453 = NAND(2197, 2200)
2454 = BUFF(2128)
2457 = BUFF(2144)
2460 = BUFF(2141)
2463 = BUFF(2150)
2466 = BUFF(2147)
2469 = NOT(2120)
2472 = BUFF(2128)
2475 = BUFF(2135)
2478 = BUFF(2128)
2481 = BUFF(2135)
2484 = NAND(2298, 2297)
2487 = NAND(2356, 2357)
2490 = NAND(2354, 2355)
2493 = NAND(2328, 2327)
2496 = OR(2358, 1814)
2503 = NAND(2188, 2364)
2504 = NAND(2185, 2365)
2510 = NAND(2204, 2372)
2511 = NAND(2201, 2373)
2521 = OR(1830, 2386)
2528 = NAND(2046, 2406)
2531 = NOT(2291)
2534 = NOT(2294)
2537 = BUFF(2250)
2540 = BUFF(2250)
2544 = NAND(2302, 2407)
2545 = NAND(2304, 2408)
2546 = NAND(2306, 2409)
2547 = NAND(2308, 2410)
2548 = NAND(2310, 2411)
2549 = NAND(2312, 2412)
2550 = NAND(2314, 2413)
2551 = NAND(2316, 2414)
2552 = NAND(2318, 2415)
2553 = NAND(2320, 2416)
2563 = NAND(2329, 2428)
2564 = NAND(2331, 2429)
2565 = NAND(2333, 2430)
2566 = NAND(2335, 2431)
2567 = NAND(2337, 2432)
2568 = NAND(2339, 2433)
2579 = NAND(1936, 2452)
2603 = BUFF(2359)
2607 = AND(1880, 2377)
2608 = AND(1676, 2377)
2609 = AND(1681, 2377)
2610 = AND(1891, 2377)
2611 = AND(1856, 2382)
2612 = AND(1863, 2382)
2613 = NAND(2503, 2504)
2617 = NOT(2434)
2618 = NAND(2434, 2366)
2619 = NAND(2437, 2367)
2620 = NOT(2437)
2621 = NOT(2368)
2624 = NAND(2510, 2511)
2628 = NOT(2454)
2629 = NAND(2454, 2374)
2630 = NOT(2472)
2631 = AND(1856, 2391)
2632 = AND(1863, 2391)
2633 = AND(1880, 2395)
2634 = AND(1676, 2395)
2635 = AND(1681, 2395)
2636 = AND(1891, 2395)
2638 = NOT(2382)
2643 = BUFF(2521)
2644 = BUFF(2521)
2645 = NOT(2475)
2646 = NOT(2391)
2652 = NAND(2528, 2400)
2655 = NOT(2478)
2656 = NOT(2481)
2659 = BUFF(2359)
2663 = NOT(2484)
2664 = NAND(2484, 2301)
2665 = NOT(2553)
2666 = NOT(2552)
2667 = NOT(2551)
2668 = NOT(2550)
2669 = NOT(2549)
2670 = NOT(2548)
2671 = NOT(2547)
2672 = NOT(2546)
2673 = NOT(2545)
2674 = NOT(2544)
2675 = NOT(2568)
2676 = NOT(2567)
2677 = NOT(2566)
2678 = NOT(2565)
2679 = NOT(2564)
2680 = NOT(2563)
2681 = NOT(2417)
2684 = NOT(2421)
2687 = BUFF(2425)
2690 = BUFF(2425)
2693 = NOT(2493)
2694 = NAND(2493, 1807)
2695 = NOT(2440)
2696 = NOT(2443)
2697 = NOT(2446)
2698 = NOT(2449)
2699 = NOT(2457)
2700 = NOT(2460)
2701 = NOT(2463)
2702 = NOT(2466)
2703 = NAND(2579, 2453)
2706 = NOT(2469)
2707 = NOT(2487)
2708 = NOT(2490)
2709 = AND(2294, 2534)
2710 = AND(2291, 2531)
2719 = NAND(2191, 2617)
2720 = NAND(2194, 2620)
2726 = NAND(2207, 2628)
2729 = BUFF(2537)
2738 = BUFF(2537)
2743 = NOT(2652)
2747 = NAND(2049, 2663)
2748 = AND(2665, 2666, 2667, 2668, 2669)
2749 = AND(2670, 2671, 2672, 2673, 2674)
2750 = AND(2034, 2675)
2751 = AND(2676, 2677, 2678, 2679, 2680)
2760 = NAND(1588, 2693)
2761 = BUFF(2540)
2766 = BUFF(2540)
2771 = NAND(2443, 2695)
2772 = NAND(2440, 2696)
2773 = NAND(2449, 2697)
2774 = NAND(2446, 2698)
2775 = NAND(2460, 2699)
2776 = NAND(2457, 2700)
2777 = NAND(2466, 2701)
2778 = NAND(2463, 2702)
2781 = NAND(2490, 2707)
2782 = NAND(2487, 2708)
2783 = OR(2709, 2534)
2784 = OR(2710, 2531)
2789 = AND(1856, 2638)
2790 = AND(1863, 2638)
2791 = AND(1870, 2638)
2792 = AND(1875, 2638)
2793 = NOT(2613)
2796 = NAND(2719, 2618)
2800 = NAND(2619, 2720)
2803 = NOT(2624)
2806 = NAND(2726, 2629)
2809 = AND(1856, 2646)
2810 = AND(1863, 2646)
2811 = AND(1870, 2646)
2812 = AND(1875, 2646)
2817 = AND(2743, 14)
2820 = BUFF(2603)
2826 = NAND(2747, 2664)
2829 = AND(2748, 2749)
2830 = AND(2750, 2751)
2831 = BUFF(2659)
2837 = NOT(2687)
2838 = NOT(2690)
2839 = AND(2421, 2417, 2687)
2840 = AND(2684, 2681, 2690)
2841 = NAND(2760, 2694)
2844 = BUFF(2603)
2854 = BUFF(2603)
2859 = BUFF(2659)
2869 = BUFF(2659)
2874 = NAND(2773, 2774)
2877 = NAND(2771, 2772)
2880 = NOT(2703)
2881 = NAND(2703, 2706)
2882 = NAND(2777, 2778)
2885 = NAND(2775, 2776)
2888 = NAND(2781, 2782)
2891 = NAND(2783, 2784)
2894 = AND(2607, 2729)
2895 = AND(2608, 2729)
2896 = AND(2609, 2729)
2897 = AND(2610, 2729)
2898 = OR(2789, 2611)
2899 = OR(2790, 2612)
2900 = AND(2791, 1037)
2901 = AND(2792, 1037)
2914 = OR(2809, 2631)
2915 = OR(2810, 2632)
2916 = AND(2811, 1070)
2917 = AND(2812, 1070)
2918 = AND(2633, 2738)
2919 = AND(2634, 2738)
2920 = AND(2635, 2738)
2921 = AND(2636, 2738)
2925 = BUFF(2817)
2931 = AND(2829, 2830, 1302)
2938 = AND(2681, 2421, 2837)
2939 = AND(2417, 2684, 2838)
2963 = NAND(2469, 2880)
2970 = NOT(2841)
2971 = NOT(2826)
2972 = NOT(2894)
2975 = NOT(2895)
2978 = NOT(2896)
2981 = NOT(2897)
2984 = AND(2898, 1037)
2985 = AND(2899, 1037)
2986 = NOT(2900)
2989 = NOT(2901)
2992 = NOT(2796)
2995 = BUFF(2800)
2998 = BUFF(2800)
3001 = BUFF(2806)
3004 = BUFF(2806)
3007 = AND(574, 2820)
3008 = AND(2914, 1070)
3009 = AND(2915, 1070)
3010 = NOT(2916)
3013 = NOT(2917)
3016 = NOT(2918)
3019 = NOT(2919)
3022 = NOT(2920)
3025 = NOT(2921)
3028 = NOT(2817)
3029 = AND(574, 2831)
3030 = NOT(2820)
3035 = AND(578, 2820)
3036 = AND(655, 2820)
3037 = AND(659, 2820)
3038 = BUFF(2931)
3039 = NOT(2831)
3044 = AND(578, 2831)
3045 = AND(655, 2831)
3046 = AND(659, 2831)
3047 = NOR(2938, 2839)
3048 = NOR(2939, 2840)
3049 = NOT(2888)
3050 = NOT(2844)
3053 = AND(663, 2844)
3054 = AND(667, 2844)
3055 = AND(671, 2844)
3056 = AND(675, 2844)
3057 = AND(679, 2854)
3058 = AND(683, 2854)
3059 = AND(687, 2854)
3060 = AND(705, 2854)
3061 = NOT(2859)
3064 = AND(663, 2859)
3065 = AND(667, 2859)
3066 = AND(671, 2859)
3067 = AND(675, 2859)
3068 = AND(679, 2869)
3069 = AND(683, 2869)
3070 = AND(687, 2869)
3071 = AND(705, 2869)
3072 = NOT(2874)
3073 = NOT(2877)
3074 = NOT(2882)
3075 = NOT(2885)
3076 = NAND(2881, 2963)
3079 = NOT(2931)
3088 = NOT(2984)
3091 = NOT(2985)
3110 = NOT(3008)
3113 = NOT(3009)
3137 = AND(3055, 1190)
3140 = AND(3056, 1190)
3143 = AND(3057, 2761)
3146 = AND(3058, 2761)
3149 = AND(3059, 2761)
3152 = AND(3060, 2761)
3157 = AND(3066, 1195)
3160 = AND(3067, 1195)
3163 = AND(3068, 2766)
3166 = AND(3069, 2766)
3169 = AND(3070, 2766)
3172 = AND(3071, 2766)
3175 = NAND(2877, 3072)
3176 = NAND(2874, 3073)
3177 = NAND(2885, 3074)
3178 = NAND(2882, 3075)
3180 = NAND(3048, 3047)
3187 = NOT(2995)
3188 = NOT(2998)
3189 = NOT(3001)
3190 = NOT(3004)
3191 = AND(2796, 2613, 2995)
3192 = AND(2992, 2793, 2998)
3193 = AND(2624, 2368, 3001)
3194 = AND(2803, 2621, 3004)
3195 = NAND(3076, 2375)
3196 = NOT(3076)
3197 = AND(687, 3030)
3208 = AND(687, 3039)
3215 = AND(705, 3030)
3216 = AND(711, 3030)
3217 = AND(715, 3030)
3218 = AND(705, 3039)
3219 = AND(711, 3039)
3220 = AND(715, 3039)
3222 = AND(719, 3050)
3223 = AND(723, 3050)
3230 = AND(719, 3061)
3231 = AND(723, 3061)
3238 = NAND(3175, 3176)
3241 = NAND(3177, 3178)
3244 = BUFF(2981)
3247 = BUFF(2978)
3250 = BUFF(2975)
3253 = BUFF(2972)
3256 = BUFF(2989)
3259 = BUFF(2986)
3262 = BUFF(3025)
3265 = BUFF(3022)
3268 = BUFF(3019)
3271 = BUFF(3016)
3274 = BUFF(3013)
3277 = BUFF(3010)
3281 = AND(2793, 2796, 3187)
3282 = AND(2613, 2992, 3188)
3283 = AND(2621, 2624, 3189)
3284 = AND(2368, 2803, 3190)
3286 = NAND(2210, 3196)
3288 = OR(3197, 3007)
3289 = NAND(3180, 3049)
3291 = AND(3152, 2981)
3293 = AND(3149, 2978)
3295 = AND(3146, 2975)
3296 = AND(2972, 3143)
3299 = AND(3140, 2989)
3301 = AND(3137, 2986)
3302 = OR(3208, 3029)
3304 = AND(3172, 3025)
3306 = AND(3169, 3022)
3308 = AND(3166, 3019)
3309 = AND(3016, 3163)
3312 = AND(3160, 3013)
3314 = AND(3157, 3010)
3315 = OR(3215, 3035)
3318 = OR(3216, 3036)
3321 = OR(3217, 3037)
3324 = OR(3218, 3044)
3327 = OR(3219, 3045)
3330 = OR(3220, 3046)
3333 = NOT(3180)
3334 = OR(3222, 3053)
3335 = OR(3223, 3054)
3336 = OR(3230, 3064)
3337 = OR(3231, 3065)
3340 = BUFF(3152)
3344 = BUFF(3149)
3348 = BUFF(3146)
3352 = BUFF(3143)
3356 = BUFF(3140)
3360 = BUFF(3137)
3364 = BUFF(3091)
3367 = BUFF(3088)
3370 = BUFF(3172)
3374 = BUFF(3169)
3378 = BUFF(3166)
3382 = BUFF(3163)
3386 = BUFF(3160)
3390 = BUFF(3157)
3394 = BUFF(3113)
3397 = BUFF(3110)
3400 = NAND(3195, 3286)
3401 = NOR(3281, 3191)
3402 = NOR(3282, 3192)
3403 = NOR(3283, 3193)
3404 = NOR(3284, 3194)
3405 = NOT(3238)
3406 = NOT(3241)
3409 = AND(3288, 1836)
3410 = NAND(2888, 3333)
3412 = NOT(3244)
3414 = NOT(3247)
3416 = NOT(3250)
3418 = NOT(3253)
3420 = NOT(3256)
3422 = NOT(3259)
3428 = AND(3302, 1836)
3430 = NOT(3262)
3432 = NOT(3265)
3434 = NOT(3268)
3436 = NOT(3271)
3438 = NOT(3274)
3440 = NOT(3277)
3450 = AND(3334, 1190)
3453 = AND(3335, 1190)
3456 = AND(3336, 1195)
3459 = AND(3337, 1195)
3478 = AND(3400, 533)
3479 = AND(3318, 2128)
3480 = AND(3315, 1841)
3481 = NAND(3410, 3289)
3482 = NOT(3340)
3483 = NAND(3340, 3412)
3484 = NOT(3344)
3485 = NAND(3344, 3414)
3486 = NOT(3348)
3487 = NAND(3348, 3416)
3488 = NOT(3352)
3489 = NAND(3352, 3418)
3490 = NOT(3356)
3491 = NAND(3356, 3420)
3492 = NOT(3360)
3493 = NAND(3360, 3422)
3494 = NOT(3364)
3496 = NOT(3367)
3498 = AND(3321, 2135)
3499 = AND(3327, 2128)
3500 = AND(3324, 1841)
3501 = NOT(3370)
3502 = NAND(3370, 3430)
3503 = NOT(3374)
3504 = NAND(3374, 3432)
3505 = NOT(3378)
3506 = NAND(3378, 3434)
3507 = NOT(3382)
3508 = NAND(3382, 3436)
3509 = NOT(3386)
3510 = NAND(3386, 3438)
3511 = NOT(3390)
3512 = NAND(3390, 3440)
3513 = NOT(3394)
3515 = NOT(3397)
3517 = AND(3330, 2135)
3522 = NAND(3402, 3401)
3525 = NAND(3404, 3403)
3528 = BUFF(3318)
3531 = BUFF(3315)
3534 = BUFF(3321)
3537 = BUFF(3327)
3540 = BUFF(3324)
3543 = BUFF(3330)
3546 = OR(3478, 1813)
3551 = NOT(3481)
3552 = NAND(3244, 3482)
3553 = NAND(3247, 3484)
3554 = NAND(3250, 3486)
3555 = NAND(3253, 3488)
3556 = NAND(3256, 3490)
3557 = NAND(3259, 3492)
3558 = AND(3453, 3091)
3559 = AND(3450, 3088)
3563 = NAND(3262, 3501)
3564 = NAND(3265, 3503)
3565 = NAND(3268, 3505)
3566 = NAND(3271, 3507)
3567 = NAND(3274, 3509)
3568 = NAND(3277, 3511)
3569 = AND(3459, 3113)
3570 = AND(3456, 3110)
3576 = BUFF(3453)
3579 = BUFF(3450)
3585 = BUFF(3459)
3588 = BUFF(3456)
3592 = NOT(3522)
3593 = NAND(3522, 3405)
3594 = NOT(3525)
3595 = NAND(3525, 3406)
3596 = NOT(3528)
3597 = NAND(3528, 2630)
3598 = NAND(3531, 2376)
3599 = NOT(3531)
3600 = AND(3551, 800)
3603 = NAND(3552, 3483)
3608 = NAND(3553, 3485)
3612 = NAND(3554, 3487)
3615 = NAND(3555, 3489)
3616 = NAND(3556, 3491)
3622 = NAND(3557, 3493)
3629 = NOT(3534)
3630 = NAND(3534, 2645)
3631 = NOT(3537)
3632 = NAND(3537, 2655)
3633 = NAND(3540, 2403)
3634 = NOT(3540)
3635 = NAND(3563, 3502)
3640 = NAND(3564, 3504)
3644 = NAND(3565, 3506)
3647 = NAND(3566, 3508)
3648 = NAND(3567, 3510)
3654 = NAND(3568, 3512)
3661 = NOT(3543)
3662 = NAND(3543, 2656)
3667 = NAND(3238, 3592)
3668 = NAND(3241, 3594)
3669 = NAND(2472, 3596)
3670 = NAND(2213, 3599)
3671 = BUFF(3600)
3691 = NOT(3576)
3692 = NAND(3576, 3494)
3693 = NOT(3579)
3694 = NAND(3579, 3496)
3695 = NAND(2475, 3629)
3696 = NAND(2478, 3631)
3697 = NAND(2216, 3634)
3716 = NOT(3585)
3717 = NAND(3585, 3513)
3718 = NOT(3588)
3719 = NAND(3588, 3515)
3720 = NAND(2481, 3661)
3721 = NAND(3667, 3593)
3722 = NAND(3668, 3595)
3723 = NAND(3669, 3597)
3726 = NAND(3670, 3598)
3727 = NOT(3600)
3728 = NAND(3364, 3691)
3729 = NAND(3367, 3693)
3730 = NAND(3695, 3630)
3731 = AND(3608, 3615, 3612, 3603)
3732 = AND(3603, 3293)
3733 = AND(3608, 3603, 3295)
3734 = AND(3612, 3603, 3296, 3608)
3735 = AND(3616, 3301)
3736 = AND(3622, 3616, 3558)
3737 = NAND(3696, 3632)
3740 = NAND(3697, 3633)
3741 = NAND(3394, 3716)
3742 = NAND(3397, 3718)
3743 = NAND(3720, 3662)
3744 = AND(3640, 3647, 3644, 3635)
3745 = AND(3635, 3306)
3746 = AND(3640, 3635, 3308)
3747 = AND(3644, 3635, 3309, 3640)
3748 = AND(3648, 3314)
3749 = AND(3654, 3648, 3569)
3750 = NOT(3721)
3753 = AND(3722, 246)
3754 = NAND(3728, 3692)
3758 = NAND(3729, 3694)
3761 = NOT(3731)
3762 = OR(3291, 3732, 3733, 3734)
3767 = NAND(3741, 3717)
3771 = NAND(3742, 3719)
3774 = NOT(3744)
3775 = OR(3304, 3745, 3746, 3747)
3778 = AND(3723, 3480)
3779 = AND(3726, 3723, 3409)
3780 = OR(2125, 3753)
3790 = AND(3750, 800)
3793 = AND(3737, 3500)
3794 = AND(3740, 3737, 3428)
3802 = OR(3479, 3778, 3779)
3803 = BUFF(3780)
3804 = BUFF(3780)
3805 = NOT(3762)
3806 = AND(3622, 3730, 3754, 3616, 3758)
3807 = AND(3754, 3616, 3559, 3622)
3808 = AND(3758, 3754, 3616, 3498, 3622)
3809 = BUFF(3790)
3811 = OR(3499, 3793, 3794)
3812 = NOT(3775)
3813 = AND(3654, 3743, 3767, 3648, 3771)
3814 = AND(3767, 3648, 3570, 3654)
3815 = AND(3771, 3767, 3648, 3517, 3654)
3816 = OR(3299, 3735, 3736, 3807, 3808)
3817 = AND(3806, 3802)
3818 = NAND(3805, 3761)
3819 = NOT(3790)
3820 = OR(3312, 3748, 3749, 3814, 3815)
3821 = AND(3813, 3811)
3822 = NAND(3812, 3774)
3823 = OR(3816, 3817)
3826 = AND(3727, 3819, 2841)
3827 = OR(3820, 3821)
3834 = NOT(3823)
3835 = AND(3818, 3823)
3836 = NOT(3827)
3837 = AND(3822, 3827)
3838 = AND(3762, 3834)
3839 = AND(3775, 3836)
3840 = OR(3838, 3835)
3843 = OR(3839, 3837)
3851 = BUFF(3843)
3852 = NAND(3843, 3840)
3857 = AND(3843, 3852)
3858 = AND(3852, 3840)
3859 = OR(3857, 3858)
3864 = NOT(3859)
3869 = AND(3859, 3864)
3870 = OR(3869, 3864)
3875 = NOT(3870)
3876 = AND(2826, 3028, 3870)
3877 = AND(3826, 3876, 1591)
3881 = BUFF(3877)
3882 = NOT(3877)