diff --git a/Makefile b/Makefile
index 4b42f8e..c841238 100644
--- a/Makefile
+++ b/Makefile
@@ -1,2 +1,7 @@
-atpg:
-	quaigh atpg --output c6288.test tests/c6288.bench
\ No newline at end of file
+atpg: c6288.test c7552.test
+
+c6288.test:
+	quaigh atpg --output c6288.test tests/c6288.bench
+
+c7552.test:
+	quaigh atpg --output c7552.test tests/c7552.bench
\ No newline at end of file
diff --git a/kyupy b/kyupy
index bda89dc..c90bc89 160000
--- a/kyupy
+++ b/kyupy
@@ -1 +1 @@
-Subproject commit bda89dc1b0d4f16f9e538e13ec449ea949c755bd
+Subproject commit c90bc89522bd0ba39ac0786dd43f19a8502c4224
diff --git a/tests/c7552.bench b/tests/c7552.bench
new file mode 100644
index 0000000..68ce743
--- /dev/null
+++ b/tests/c7552.bench
@@ -0,0 +1,3835 @@
+# c7552
+# 207 inputs
+# 108 outputs
+# 876 inverters
+# 2636 gates ( 1310 ANDs + 1904 NANDs + 244 ORs + 54 NORs + 534 buffers )
+
+INPUT(1)
+INPUT(5)
+INPUT(9)
+INPUT(12)
+INPUT(15)
+INPUT(18)
+INPUT(23)
+INPUT(26)
+INPUT(29)
+INPUT(32)
+INPUT(35)
+INPUT(38)
+INPUT(41)
+INPUT(44)
+INPUT(47)
+INPUT(50)
+INPUT(53)
+INPUT(54)
+INPUT(55)
+INPUT(56)
+INPUT(57)
+INPUT(58)
+INPUT(59)
+INPUT(60)
+INPUT(61)
+INPUT(62)
+INPUT(63)
+INPUT(64)
+INPUT(65)
+INPUT(66)
+INPUT(69)
+INPUT(70)
+INPUT(73)
+INPUT(74)
+INPUT(75)
+INPUT(76)
+INPUT(77)
+INPUT(78)
+INPUT(79)
+INPUT(80)
+INPUT(81)
+INPUT(82)
+INPUT(83)
+INPUT(84)
+INPUT(85)
+INPUT(86)
+INPUT(87)
+INPUT(88)
+INPUT(89)
+INPUT(94)
+INPUT(97)
+INPUT(100)
+INPUT(103)
+INPUT(106)
+INPUT(109)
+INPUT(110)
+INPUT(111)
+INPUT(112)
+INPUT(113)
+INPUT(114)
+INPUT(115)
+INPUT(118)
+INPUT(121)
+INPUT(124)
+INPUT(127)
+INPUT(130)
+INPUT(133)
+INPUT(134)
+INPUT(135)
+INPUT(138)
+INPUT(141)
+INPUT(144)
+INPUT(147)
+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(220)
+INPUT(221)
+INPUT(222)
+INPUT(223)
+INPUT(224)
+INPUT(225)
+INPUT(226)
+INPUT(227)
+INPUT(228)
+INPUT(229)
+INPUT(230)
+INPUT(231)
+INPUT(232)
+INPUT(233)
+INPUT(234)
+INPUT(235)
+INPUT(236)
+INPUT(237)
+INPUT(238)
+INPUT(239)
+INPUT(240)
+INPUT(241)
+INPUT(242)
+INPUT(245)
+INPUT(248)
+INPUT(251)
+INPUT(254)
+INPUT(257)
+INPUT(260)
+INPUT(263)
+INPUT(267)
+INPUT(271)
+INPUT(274)
+INPUT(277)
+INPUT(280)
+INPUT(283)
+INPUT(286)
+INPUT(289)
+INPUT(293)
+INPUT(296)
+INPUT(299)
+INPUT(303)
+INPUT(307)
+INPUT(310)
+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)
+INPUT(358)
+INPUT(361)
+INPUT(364)
+INPUT(367)
+INPUT(382)
+
+OUTPUT(241)
+OUTPUT(387)
+OUTPUT(388)
+OUTPUT(478)
+OUTPUT(482)
+OUTPUT(484)
+OUTPUT(486)
+OUTPUT(489)
+OUTPUT(492)
+OUTPUT(501)
+OUTPUT(505)
+OUTPUT(507)
+OUTPUT(509)
+OUTPUT(511)
+OUTPUT(513)
+OUTPUT(515)
+OUTPUT(517)
+OUTPUT(519)
+OUTPUT(535)
+OUTPUT(537)
+OUTPUT(539)
+OUTPUT(541)
+OUTPUT(543)
+OUTPUT(545)
+OUTPUT(547)
+OUTPUT(549)
+OUTPUT(551)
+OUTPUT(553)
+OUTPUT(556)
+OUTPUT(559)
+OUTPUT(561)
+OUTPUT(563)
+OUTPUT(565)
+OUTPUT(567)
+OUTPUT(569)
+OUTPUT(571)
+OUTPUT(573)
+OUTPUT(582)
+OUTPUT(643)
+OUTPUT(707)
+OUTPUT(813)
+OUTPUT(881)
+OUTPUT(882)
+OUTPUT(883)
+OUTPUT(884)
+OUTPUT(885)
+OUTPUT(889)
+OUTPUT(945)
+OUTPUT(1110)
+OUTPUT(1111)
+OUTPUT(1112)
+OUTPUT(1113)
+OUTPUT(1114)
+OUTPUT(1489)
+OUTPUT(1490)
+OUTPUT(1781)
+OUTPUT(10025)
+OUTPUT(10101)
+OUTPUT(10102)
+OUTPUT(10103)
+OUTPUT(10104)
+OUTPUT(10109)
+OUTPUT(10110)
+OUTPUT(10111)
+OUTPUT(10112)
+OUTPUT(10350)
+OUTPUT(10351)
+OUTPUT(10352)
+OUTPUT(10353)
+OUTPUT(10574)
+OUTPUT(10575)
+OUTPUT(10576)
+OUTPUT(10628)
+OUTPUT(10632)
+OUTPUT(10641)
+OUTPUT(10704)
+OUTPUT(10706)
+OUTPUT(10711)
+OUTPUT(10712)
+OUTPUT(10713)
+OUTPUT(10714)
+OUTPUT(10715)
+OUTPUT(10716)
+OUTPUT(10717)
+OUTPUT(10718)
+OUTPUT(10729)
+OUTPUT(10759)
+OUTPUT(10760)
+OUTPUT(10761)
+OUTPUT(10762)
+OUTPUT(10763)
+OUTPUT(10827)
+OUTPUT(10837)
+OUTPUT(10838)
+OUTPUT(10839)
+OUTPUT(10840)
+OUTPUT(10868)
+OUTPUT(10869)
+OUTPUT(10870)
+OUTPUT(10871)
+OUTPUT(10905)
+OUTPUT(10906)
+OUTPUT(10907)
+OUTPUT(10908)
+OUTPUT(11333)
+OUTPUT(11334)
+OUTPUT(11340)
+OUTPUT(11342)
+
+387 = BUFF(1)
+388 = BUFF(1)
+467 = NOT(57)
+469 = AND(134, 133)
+478 = BUFF(248)
+482 = BUFF(254)
+484 = BUFF(257)
+486 = BUFF(260)
+489 = BUFF(263)
+492 = BUFF(267)
+494 = AND(162, 172, 188, 199)
+501 = BUFF(274)
+505 = BUFF(280)
+507 = BUFF(283)
+509 = BUFF(286)
+511 = BUFF(289)
+513 = BUFF(293)
+515 = BUFF(296)
+517 = BUFF(299)
+519 = BUFF(303)
+528 = AND(150, 184, 228, 240)
+535 = BUFF(307)
+537 = BUFF(310)
+539 = BUFF(313)
+541 = BUFF(316)
+543 = BUFF(319)
+545 = BUFF(322)
+547 = BUFF(325)
+549 = BUFF(328)
+551 = BUFF(331)
+553 = BUFF(334)
+556 = BUFF(337)
+559 = BUFF(343)
+561 = BUFF(346)
+563 = BUFF(349)
+565 = BUFF(352)
+567 = BUFF(355)
+569 = BUFF(358)
+571 = BUFF(361)
+573 = BUFF(364)
+575 = AND(183, 182, 185, 186)
+578 = AND(210, 152, 218, 230)
+582 = NOT(15)
+585 = NOT(5)
+590 = BUFF(1)
+593 = NOT(5)
+596 = NOT(5)
+599 = NOT(289)
+604 = NOT(299)
+609 = NOT(303)
+614 = BUFF(38)
+625 = BUFF(15)
+628 = NAND(12, 9)
+632 = NAND(12, 9)
+636 = BUFF(38)
+641 = NOT(245)
+642 = NOT(248)
+643 = BUFF(251)
+644 = NOT(251)
+651 = NOT(254)
+657 = BUFF(106)
+660 = NOT(257)
+666 = NOT(260)
+672 = NOT(263)
+673 = NOT(267)
+674 = NOT(106)
+676 = BUFF(18)
+682 = BUFF(18)
+688 = AND(382, 263)
+689 = BUFF(18)
+695 = NOT(18)
+700 = NAND(382, 267)
+705 = NOT(271)
+706 = NOT(274)
+707 = BUFF(277)
+708 = NOT(277)
+715 = NOT(280)
+721 = NOT(283)
+727 = NOT(286)
+733 = NOT(289)
+734 = NOT(293)
+742 = NOT(296)
+748 = NOT(299)
+749 = NOT(303)
+750 = BUFF(367)
+758 = NOT(307)
+759 = NOT(310)
+762 = NOT(313)
+768 = NOT(316)
+774 = NOT(319)
+780 = NOT(322)
+786 = NOT(325)
+794 = NOT(328)
+800 = NOT(331)
+806 = NOT(334)
+812 = NOT(337)
+813 = BUFF(340)
+814 = NOT(340)
+821 = NOT(343)
+827 = NOT(346)
+833 = NOT(349)
+839 = NOT(352)
+845 = NOT(355)
+853 = NOT(358)
+859 = NOT(361)
+865 = NOT(364)
+871 = BUFF(367)
+881 = NAND(467, 585)
+882 = NOT(528)
+883 = NOT(578)
+884 = NOT(575)
+885 = NOT(494)
+886 = AND(528, 578)
+887 = AND(575, 494)
+889 = BUFF(590)
+945 = BUFF(657)
+957 = NOT(688)
+1028 = AND(382, 641)
+1029 = NAND(382, 705)
+1109 = AND(469, 596)
+1110 = NAND(242, 593)
+1111 = NOT(625)
+1112 = NAND(242, 593)
+1113 = NAND(469, 596)
+1114 = NOT(625)
+1115 = NOT(871)
+1116 = BUFF(590)
+1119 = BUFF(628)
+1125 = BUFF(682)
+1132 = BUFF(628)
+1136 = BUFF(682)
+1141 = BUFF(628)
+1147 = BUFF(682)
+1154 = BUFF(632)
+1160 = BUFF(676)
+1167 = AND(700, 614)
+1174 = AND(700, 614)
+1175 = BUFF(682)
+1182 = BUFF(676)
+1189 = NOT(657)
+1194 = NOT(676)
+1199 = NOT(682)
+1206 = NOT(689)
+1211 = BUFF(695)
+1218 = NOT(750)
+1222 = NOT(1028)
+1227 = BUFF(632)
+1233 = BUFF(676)
+1240 = BUFF(632)
+1244 = BUFF(676)
+1249 = BUFF(689)
+1256 = BUFF(689)
+1263 = BUFF(695)
+1270 = BUFF(689)
+1277 = BUFF(689)
+1284 = BUFF(700)
+1287 = BUFF(614)
+1290 = BUFF(666)
+1293 = BUFF(660)
+1296 = BUFF(651)
+1299 = BUFF(614)
+1302 = BUFF(644)
+1305 = BUFF(700)
+1308 = BUFF(614)
+1311 = BUFF(614)
+1314 = BUFF(666)
+1317 = BUFF(660)
+1320 = BUFF(651)
+1323 = BUFF(644)
+1326 = BUFF(609)
+1329 = BUFF(604)
+1332 = BUFF(742)
+1335 = BUFF(599)
+1338 = BUFF(727)
+1341 = BUFF(721)
+1344 = BUFF(715)
+1347 = BUFF(734)
+1350 = BUFF(708)
+1353 = BUFF(609)
+1356 = BUFF(604)
+1359 = BUFF(742)
+1362 = BUFF(734)
+1365 = BUFF(599)
+1368 = BUFF(727)
+1371 = BUFF(721)
+1374 = BUFF(715)
+1377 = BUFF(708)
+1380 = BUFF(806)
+1383 = BUFF(800)
+1386 = BUFF(794)
+1389 = BUFF(786)
+1392 = BUFF(780)
+1395 = BUFF(774)
+1398 = BUFF(768)
+1401 = BUFF(762)
+1404 = BUFF(806)
+1407 = BUFF(800)
+1410 = BUFF(794)
+1413 = BUFF(780)
+1416 = BUFF(774)
+1419 = BUFF(768)
+1422 = BUFF(762)
+1425 = BUFF(786)
+1428 = BUFF(636)
+1431 = BUFF(636)
+1434 = BUFF(865)
+1437 = BUFF(859)
+1440 = BUFF(853)
+1443 = BUFF(845)
+1446 = BUFF(839)
+1449 = BUFF(833)
+1452 = BUFF(827)
+1455 = BUFF(821)
+1458 = BUFF(814)
+1461 = BUFF(865)
+1464 = BUFF(859)
+1467 = BUFF(853)
+1470 = BUFF(839)
+1473 = BUFF(833)
+1476 = BUFF(827)
+1479 = BUFF(821)
+1482 = BUFF(845)
+1485 = BUFF(814)
+1489 = NOT(1109)
+1490 = BUFF(1116)
+1537 = AND(957, 614)
+1551 = AND(614, 957)
+1649 = AND(1029, 636)
+1703 = BUFF(957)
+1708 = NOR(957, 614)
+1713 = BUFF(957)
+1721 = NOR(614, 957)
+1758 = BUFF(1029)
+1781 = AND(163, 1116)
+1782 = AND(170, 1125)
+1783 = NOT(1125)
+1789 = NOT(1136)
+1793 = AND(169, 1125)
+1794 = AND(168, 1125)
+1795 = AND(167, 1125)
+1796 = AND(166, 1136)
+1797 = AND(165, 1136)
+1798 = AND(164, 1136)
+1799 = NOT(1147)
+1805 = NOT(1160)
+1811 = AND(177, 1147)
+1812 = AND(176, 1147)
+1813 = AND(175, 1147)
+1814 = AND(174, 1147)
+1815 = AND(173, 1147)
+1816 = AND(157, 1160)
+1817 = AND(156, 1160)
+1818 = AND(155, 1160)
+1819 = AND(154, 1160)
+1820 = AND(153, 1160)
+1821 = NOT(1284)
+1822 = NOT(1287)
+1828 = NOT(1290)
+1829 = NOT(1293)
+1830 = NOT(1296)
+1832 = NOT(1299)
+1833 = NOT(1302)
+1834 = NOT(1305)
+1835 = NOT(1308)
+1839 = NOT(1311)
+1840 = NOT(1314)
+1841 = NOT(1317)
+1842 = NOT(1320)
+1843 = NOT(1323)
+1845 = NOT(1175)
+1851 = NOT(1182)
+1857 = AND(181, 1175)
+1858 = AND(171, 1175)
+1859 = AND(180, 1175)
+1860 = AND(179, 1175)
+1861 = AND(178, 1175)
+1862 = AND(161, 1182)
+1863 = AND(151, 1182)
+1864 = AND(160, 1182)
+1865 = AND(159, 1182)
+1866 = AND(158, 1182)
+1867 = NOT(1326)
+1868 = NOT(1329)
+1869 = NOT(1332)
+1870 = NOT(1335)
+1871 = NOT(1338)
+1872 = NOT(1341)
+1873 = NOT(1344)
+1874 = NOT(1347)
+1875 = NOT(1350)
+1876 = NOT(1353)
+1877 = NOT(1356)
+1878 = NOT(1359)
+1879 = NOT(1362)
+1880 = NOT(1365)
+1881 = NOT(1368)
+1882 = NOT(1371)
+1883 = NOT(1374)
+1884 = NOT(1377)
+1885 = BUFF(1199)
+1892 = BUFF(1194)
+1899 = BUFF(1199)
+1906 = BUFF(1194)
+1913 = NOT(1211)
+1919 = BUFF(1194)
+1926 = AND(44, 1211)
+1927 = AND(41, 1211)
+1928 = AND(29, 1211)
+1929 = AND(26, 1211)
+1930 = AND(23, 1211)
+1931 = NOT(1380)
+1932 = NOT(1383)
+1933 = NOT(1386)
+1934 = NOT(1389)
+1935 = NOT(1392)
+1936 = NOT(1395)
+1937 = NOT(1398)
+1938 = NOT(1401)
+1939 = NOT(1404)
+1940 = NOT(1407)
+1941 = NOT(1410)
+1942 = NOT(1413)
+1943 = NOT(1416)
+1944 = NOT(1419)
+1945 = NOT(1422)
+1946 = NOT(1425)
+1947 = NOT(1233)
+1953 = NOT(1244)
+1957 = AND(209, 1233)
+1958 = AND(216, 1233)
+1959 = AND(215, 1233)
+1960 = AND(214, 1233)
+1961 = AND(213, 1244)
+1962 = AND(212, 1244)
+1963 = AND(211, 1244)
+1965 = NOT(1428)
+1966 = AND(1222, 636)
+1967 = NOT(1431)
+1968 = NOT(1434)
+1969 = NOT(1437)
+1970 = NOT(1440)
+1971 = NOT(1443)
+1972 = NOT(1446)
+1973 = NOT(1449)
+1974 = NOT(1452)
+1975 = NOT(1455)
+1976 = NOT(1458)
+1977 = NOT(1249)
+1983 = NOT(1256)
+1989 = AND(642, 1249)
+1990 = AND(644, 1249)
+1991 = AND(651, 1249)
+1992 = AND(674, 1249)
+1993 = AND(660, 1249)
+1994 = AND(666, 1256)
+1995 = AND(672, 1256)
+1996 = AND(673, 1256)
+1997 = NOT(1263)
+2003 = BUFF(1194)
+2010 = AND(47, 1263)
+2011 = AND(35, 1263)
+2012 = AND(32, 1263)
+2013 = AND(50, 1263)
+2014 = AND(66, 1263)
+2015 = NOT(1461)
+2016 = NOT(1464)
+2017 = NOT(1467)
+2018 = NOT(1470)
+2019 = NOT(1473)
+2020 = NOT(1476)
+2021 = NOT(1479)
+2022 = NOT(1482)
+2023 = NOT(1485)
+2024 = BUFF(1206)
+2031 = BUFF(1206)
+2038 = BUFF(1206)
+2045 = BUFF(1206)
+2052 = NOT(1270)
+2058 = NOT(1277)
+2064 = AND(706, 1270)
+2065 = AND(708, 1270)
+2066 = AND(715, 1270)
+2067 = AND(721, 1270)
+2068 = AND(727, 1270)
+2069 = AND(733, 1277)
+2070 = AND(734, 1277)
+2071 = AND(742, 1277)
+2072 = AND(748, 1277)
+2073 = AND(749, 1277)
+2074 = BUFF(1189)
+2081 = BUFF(1189)
+2086 = BUFF(1222)
+2107 = NAND(1287, 1821)
+2108 = NAND(1284, 1822)
+2110 = NOT(1703)
+2111 = NAND(1703, 1832)
+2112 = NAND(1308, 1834)
+2113 = NAND(1305, 1835)
+2114 = NOT(1713)
+2115 = NAND(1713, 1839)
+2117 = NOT(1721)
+2171 = NOT(1758)
+2172 = NAND(1758, 1965)
+2230 = NOT(1708)
+2231 = BUFF(1537)
+2235 = BUFF(1551)
+2239 = OR(1783, 1782)
+2240 = OR(1783, 1125)
+2241 = OR(1783, 1793)
+2242 = OR(1783, 1794)
+2243 = OR(1783, 1795)
+2244 = OR(1789, 1796)
+2245 = OR(1789, 1797)
+2246 = OR(1789, 1798)
+2247 = OR(1799, 1811)
+2248 = OR(1799, 1812)
+2249 = OR(1799, 1813)
+2250 = OR(1799, 1814)
+2251 = OR(1799, 1815)
+2252 = OR(1805, 1816)
+2253 = OR(1805, 1817)
+2254 = OR(1805, 1818)
+2255 = OR(1805, 1819)
+2256 = OR(1805, 1820)
+2257 = NAND(2107, 2108)
+2267 = NOT(2074)
+2268 = NAND(1299, 2110)
+2269 = NAND(2112, 2113)
+2274 = NAND(1311, 2114)
+2275 = NOT(2081)
+2277 = AND(141, 1845)
+2278 = AND(147, 1845)
+2279 = AND(138, 1845)
+2280 = AND(144, 1845)
+2281 = AND(135, 1845)
+2282 = AND(141, 1851)
+2283 = AND(147, 1851)
+2284 = AND(138, 1851)
+2285 = AND(144, 1851)
+2286 = AND(135, 1851)
+2287 = NOT(1885)
+2293 = NOT(1892)
+2299 = AND(103, 1885)
+2300 = AND(130, 1885)
+2301 = AND(127, 1885)
+2302 = AND(124, 1885)
+2303 = AND(100, 1885)
+2304 = AND(103, 1892)
+2305 = AND(130, 1892)
+2306 = AND(127, 1892)
+2307 = AND(124, 1892)
+2308 = AND(100, 1892)
+2309 = NOT(1899)
+2315 = NOT(1906)
+2321 = AND(115, 1899)
+2322 = AND(118, 1899)
+2323 = AND(97, 1899)
+2324 = AND(94, 1899)
+2325 = AND(121, 1899)
+2326 = AND(115, 1906)
+2327 = AND(118, 1906)
+2328 = AND(97, 1906)
+2329 = AND(94, 1906)
+2330 = AND(121, 1906)
+2331 = NOT(1919)
+2337 = AND(208, 1913)
+2338 = AND(198, 1913)
+2339 = AND(207, 1913)
+2340 = AND(206, 1913)
+2341 = AND(205, 1913)
+2342 = AND(44, 1919)
+2343 = AND(41, 1919)
+2344 = AND(29, 1919)
+2345 = AND(26, 1919)
+2346 = AND(23, 1919)
+2347 = OR(1947, 1233)
+2348 = OR(1947, 1957)
+2349 = OR(1947, 1958)
+2350 = OR(1947, 1959)
+2351 = OR(1947, 1960)
+2352 = OR(1953, 1961)
+2353 = OR(1953, 1962)
+2354 = OR(1953, 1963)
+2355 = NAND(1428, 2171)
+2356 = NOT(2086)
+2357 = NAND(2086, 1967)
+2358 = AND(114, 1977)
+2359 = AND(113, 1977)
+2360 = AND(111, 1977)
+2361 = AND(87, 1977)
+2362 = AND(112, 1977)
+2363 = AND(88, 1983)
+2364 = AND(245, 1983)
+2365 = AND(271, 1983)
+2366 = AND(759, 1983)
+2367 = AND(70, 1983)
+2368 = NOT(2003)
+2374 = AND(193, 1997)
+2375 = AND(192, 1997)
+2376 = AND(191, 1997)
+2377 = AND(190, 1997)
+2378 = AND(189, 1997)
+2379 = AND(47, 2003)
+2380 = AND(35, 2003)
+2381 = AND(32, 2003)
+2382 = AND(50, 2003)
+2383 = AND(66, 2003)
+2384 = NOT(2024)
+2390 = NOT(2031)
+2396 = AND(58, 2024)
+2397 = AND(77, 2024)
+2398 = AND(78, 2024)
+2399 = AND(59, 2024)
+2400 = AND(81, 2024)
+2401 = AND(80, 2031)
+2402 = AND(79, 2031)
+2403 = AND(60, 2031)
+2404 = AND(61, 2031)
+2405 = AND(62, 2031)
+2406 = NOT(2038)
+2412 = NOT(2045)
+2418 = AND(69, 2038)
+2419 = AND(70, 2038)
+2420 = AND(74, 2038)
+2421 = AND(76, 2038)
+2422 = AND(75, 2038)
+2423 = AND(73, 2045)
+2424 = AND(53, 2045)
+2425 = AND(54, 2045)
+2426 = AND(55, 2045)
+2427 = AND(56, 2045)
+2428 = AND(82, 2052)
+2429 = AND(65, 2052)
+2430 = AND(83, 2052)
+2431 = AND(84, 2052)
+2432 = AND(85, 2052)
+2433 = AND(64, 2058)
+2434 = AND(63, 2058)
+2435 = AND(86, 2058)
+2436 = AND(109, 2058)
+2437 = AND(110, 2058)
+2441 = AND(2239, 1119)
+2442 = AND(2240, 1119)
+2446 = AND(2241, 1119)
+2450 = AND(2242, 1119)
+2454 = AND(2243, 1119)
+2458 = AND(2244, 1132)
+2462 = AND(2247, 1141)
+2466 = AND(2248, 1141)
+2470 = AND(2249, 1141)
+2474 = AND(2250, 1141)
+2478 = AND(2251, 1141)
+2482 = AND(2252, 1154)
+2488 = AND(2253, 1154)
+2496 = AND(2254, 1154)
+2502 = AND(2255, 1154)
+2508 = AND(2256, 1154)
+2523 = NAND(2268, 2111)
+2533 = NAND(2274, 2115)
+2537 = NOT(2235)
+2538 = OR(2278, 1858)
+2542 = OR(2279, 1859)
+2546 = OR(2280, 1860)
+2550 = OR(2281, 1861)
+2554 = OR(2283, 1863)
+2561 = OR(2284, 1864)
+2567 = OR(2285, 1865)
+2573 = OR(2286, 1866)
+2604 = OR(2338, 1927)
+2607 = OR(2339, 1928)
+2611 = OR(2340, 1929)
+2615 = OR(2341, 1930)
+2619 = AND(2348, 1227)
+2626 = AND(2349, 1227)
+2632 = AND(2350, 1227)
+2638 = AND(2351, 1227)
+2644 = AND(2352, 1240)
+2650 = NAND(2355, 2172)
+2653 = NAND(1431, 2356)
+2654 = OR(2359, 1990)
+2658 = OR(2360, 1991)
+2662 = OR(2361, 1992)
+2666 = OR(2362, 1993)
+2670 = OR(2363, 1994)
+2674 = OR(2366, 1256)
+2680 = OR(2367, 1256)
+2688 = OR(2374, 2010)
+2692 = OR(2375, 2011)
+2696 = OR(2376, 2012)
+2700 = OR(2377, 2013)
+2704 = OR(2378, 2014)
+2728 = AND(2347, 1227)
+2729 = OR(2429, 2065)
+2733 = OR(2430, 2066)
+2737 = OR(2431, 2067)
+2741 = OR(2432, 2068)
+2745 = OR(2433, 2069)
+2749 = OR(2434, 2070)
+2753 = OR(2435, 2071)
+2757 = OR(2436, 2072)
+2761 = OR(2437, 2073)
+2765 = NOT(2231)
+2766 = AND(2354, 1240)
+2769 = AND(2353, 1240)
+2772 = AND(2246, 1132)
+2775 = AND(2245, 1132)
+2778 = OR(2282, 1862)
+2781 = OR(2358, 1989)
+2784 = OR(2365, 1996)
+2787 = OR(2364, 1995)
+2790 = OR(2337, 1926)
+2793 = OR(2277, 1857)
+2796 = OR(2428, 2064)
+2866 = AND(2257, 1537)
+2867 = AND(2257, 1537)
+2868 = AND(2257, 1537)
+2869 = AND(2257, 1537)
+2878 = AND(2269, 1551)
+2913 = AND(204, 2287)
+2914 = AND(203, 2287)
+2915 = AND(202, 2287)
+2916 = AND(201, 2287)
+2917 = AND(200, 2287)
+2918 = AND(235, 2293)
+2919 = AND(234, 2293)
+2920 = AND(233, 2293)
+2921 = AND(232, 2293)
+2922 = AND(231, 2293)
+2923 = AND(197, 2309)
+2924 = AND(187, 2309)
+2925 = AND(196, 2309)
+2926 = AND(195, 2309)
+2927 = AND(194, 2309)
+2928 = AND(227, 2315)
+2929 = AND(217, 2315)
+2930 = AND(226, 2315)
+2931 = AND(225, 2315)
+2932 = AND(224, 2315)
+2933 = AND(239, 2331)
+2934 = AND(229, 2331)
+2935 = AND(238, 2331)
+2936 = AND(237, 2331)
+2937 = AND(236, 2331)
+2988 = NAND(2653, 2357)
+3005 = AND(223, 2368)
+3006 = AND(222, 2368)
+3007 = AND(221, 2368)
+3008 = AND(220, 2368)
+3009 = AND(219, 2368)
+3020 = AND(812, 2384)
+3021 = AND(814, 2384)
+3022 = AND(821, 2384)
+3023 = AND(827, 2384)
+3024 = AND(833, 2384)
+3025 = AND(839, 2390)
+3026 = AND(845, 2390)
+3027 = AND(853, 2390)
+3028 = AND(859, 2390)
+3029 = AND(865, 2390)
+3032 = AND(758, 2406)
+3033 = AND(759, 2406)
+3034 = AND(762, 2406)
+3035 = AND(768, 2406)
+3036 = AND(774, 2406)
+3037 = AND(780, 2412)
+3038 = AND(786, 2412)
+3039 = AND(794, 2412)
+3040 = AND(800, 2412)
+3041 = AND(806, 2412)
+3061 = BUFF(2257)
+3064 = BUFF(2257)
+3067 = BUFF(2269)
+3070 = BUFF(2269)
+3073 = NOT(2728)
+3080 = NOT(2441)
+3096 = AND(666, 2644)
+3097 = AND(660, 2638)
+3101 = AND(1189, 2632)
+3107 = AND(651, 2626)
+3114 = AND(644, 2619)
+3122 = AND(2523, 2257)
+3126 = OR(1167, 2866)
+3130 = AND(2523, 2257)
+3131 = OR(1167, 2869)
+3134 = AND(2523, 2257)
+3135 = NOT(2533)
+3136 = AND(666, 2644)
+3137 = AND(660, 2638)
+3140 = AND(1189, 2632)
+3144 = AND(651, 2626)
+3149 = AND(644, 2619)
+3155 = AND(2533, 2269)
+3159 = OR(1174, 2878)
+3167 = NOT(2778)
+3168 = AND(609, 2508)
+3169 = AND(604, 2502)
+3173 = AND(742, 2496)
+3178 = AND(734, 2488)
+3184 = AND(599, 2482)
+3185 = AND(727, 2573)
+3189 = AND(721, 2567)
+3195 = AND(715, 2561)
+3202 = AND(708, 2554)
+3210 = AND(609, 2508)
+3211 = AND(604, 2502)
+3215 = AND(742, 2496)
+3221 = AND(2488, 734)
+3228 = AND(599, 2482)
+3229 = AND(727, 2573)
+3232 = AND(721, 2567)
+3236 = AND(715, 2561)
+3241 = AND(708, 2554)
+3247 = OR(2913, 2299)
+3251 = OR(2914, 2300)
+3255 = OR(2915, 2301)
+3259 = OR(2916, 2302)
+3263 = OR(2917, 2303)
+3267 = OR(2918, 2304)
+3273 = OR(2919, 2305)
+3281 = OR(2920, 2306)
+3287 = OR(2921, 2307)
+3293 = OR(2922, 2308)
+3299 = OR(2924, 2322)
+3303 = OR(2925, 2323)
+3307 = OR(2926, 2324)
+3311 = OR(2927, 2325)
+3315 = OR(2929, 2327)
+3322 = OR(2930, 2328)
+3328 = OR(2931, 2329)
+3334 = OR(2932, 2330)
+3340 = OR(2934, 2343)
+3343 = OR(2935, 2344)
+3349 = OR(2936, 2345)
+3355 = OR(2937, 2346)
+3361 = AND(2761, 2478)
+3362 = AND(2757, 2474)
+3363 = AND(2753, 2470)
+3364 = AND(2749, 2466)
+3365 = AND(2745, 2462)
+3366 = AND(2741, 2550)
+3367 = AND(2737, 2546)
+3368 = AND(2733, 2542)
+3369 = AND(2729, 2538)
+3370 = AND(2670, 2458)
+3371 = AND(2666, 2454)
+3372 = AND(2662, 2450)
+3373 = AND(2658, 2446)
+3374 = AND(2654, 2442)
+3375 = AND(2988, 2650)
+3379 = AND(2650, 1966)
+3380 = NOT(2781)
+3381 = AND(695, 2604)
+3384 = OR(3005, 2379)
+3390 = OR(3006, 2380)
+3398 = OR(3007, 2381)
+3404 = OR(3008, 2382)
+3410 = OR(3009, 2383)
+3416 = OR(3021, 2397)
+3420 = OR(3022, 2398)
+3424 = OR(3023, 2399)
+3428 = OR(3024, 2400)
+3432 = OR(3025, 2401)
+3436 = OR(3026, 2402)
+3440 = OR(3027, 2403)
+3444 = OR(3028, 2404)
+3448 = OR(3029, 2405)
+3452 = NOT(2790)
+3453 = NOT(2793)
+3454 = OR(3034, 2420)
+3458 = OR(3035, 2421)
+3462 = OR(3036, 2422)
+3466 = OR(3037, 2423)
+3470 = OR(3038, 2424)
+3474 = OR(3039, 2425)
+3478 = OR(3040, 2426)
+3482 = OR(3041, 2427)
+3486 = NOT(2796)
+3487 = BUFF(2644)
+3490 = BUFF(2638)
+3493 = BUFF(2632)
+3496 = BUFF(2626)
+3499 = BUFF(2619)
+3502 = BUFF(2523)
+3507 = NOR(1167, 2868)
+3510 = BUFF(2523)
+3515 = NOR(644, 2619)
+3518 = BUFF(2644)
+3521 = BUFF(2638)
+3524 = BUFF(2632)
+3527 = BUFF(2626)
+3530 = BUFF(2619)
+3535 = BUFF(2619)
+3539 = BUFF(2632)
+3542 = BUFF(2626)
+3545 = BUFF(2644)
+3548 = BUFF(2638)
+3551 = NOT(2766)
+3552 = NOT(2769)
+3553 = BUFF(2442)
+3557 = BUFF(2450)
+3560 = BUFF(2446)
+3563 = BUFF(2458)
+3566 = BUFF(2454)
+3569 = NOT(2772)
+3570 = NOT(2775)
+3571 = BUFF(2554)
+3574 = BUFF(2567)
+3577 = BUFF(2561)
+3580 = BUFF(2482)
+3583 = BUFF(2573)
+3586 = BUFF(2496)
+3589 = BUFF(2488)
+3592 = BUFF(2508)
+3595 = BUFF(2502)
+3598 = BUFF(2508)
+3601 = BUFF(2502)
+3604 = BUFF(2496)
+3607 = BUFF(2482)
+3610 = BUFF(2573)
+3613 = BUFF(2567)
+3616 = BUFF(2561)
+3619 = BUFF(2488)
+3622 = BUFF(2554)
+3625 = NOR(734, 2488)
+3628 = NOR(708, 2554)
+3631 = BUFF(2508)
+3634 = BUFF(2502)
+3637 = BUFF(2496)
+3640 = BUFF(2488)
+3643 = BUFF(2482)
+3646 = BUFF(2573)
+3649 = BUFF(2567)
+3652 = BUFF(2561)
+3655 = BUFF(2554)
+3658 = NOR(2488, 734)
+3661 = BUFF(2674)
+3664 = BUFF(2674)
+3667 = BUFF(2761)
+3670 = BUFF(2478)
+3673 = BUFF(2757)
+3676 = BUFF(2474)
+3679 = BUFF(2753)
+3682 = BUFF(2470)
+3685 = BUFF(2745)
+3688 = BUFF(2462)
+3691 = BUFF(2741)
+3694 = BUFF(2550)
+3697 = BUFF(2737)
+3700 = BUFF(2546)
+3703 = BUFF(2733)
+3706 = BUFF(2542)
+3709 = BUFF(2749)
+3712 = BUFF(2466)
+3715 = BUFF(2729)
+3718 = BUFF(2538)
+3721 = BUFF(2704)
+3724 = BUFF(2700)
+3727 = BUFF(2696)
+3730 = BUFF(2688)
+3733 = BUFF(2692)
+3736 = BUFF(2670)
+3739 = BUFF(2458)
+3742 = BUFF(2666)
+3745 = BUFF(2454)
+3748 = BUFF(2662)
+3751 = BUFF(2450)
+3754 = BUFF(2658)
+3757 = BUFF(2446)
+3760 = BUFF(2654)
+3763 = BUFF(2442)
+3766 = BUFF(2654)
+3769 = BUFF(2662)
+3772 = BUFF(2658)
+3775 = BUFF(2670)
+3778 = BUFF(2666)
+3781 = NOT(2784)
+3782 = NOT(2787)
+3783 = OR(2928, 2326)
+3786 = OR(2933, 2342)
+3789 = OR(2923, 2321)
+3792 = BUFF(2688)
+3795 = BUFF(2696)
+3798 = BUFF(2692)
+3801 = BUFF(2704)
+3804 = BUFF(2700)
+3807 = BUFF(2604)
+3810 = BUFF(2611)
+3813 = BUFF(2607)
+3816 = BUFF(2615)
+3819 = BUFF(2538)
+3822 = BUFF(2546)
+3825 = BUFF(2542)
+3828 = BUFF(2462)
+3831 = BUFF(2550)
+3834 = BUFF(2470)
+3837 = BUFF(2466)
+3840 = BUFF(2478)
+3843 = BUFF(2474)
+3846 = BUFF(2615)
+3849 = BUFF(2611)
+3852 = BUFF(2607)
+3855 = BUFF(2680)
+3858 = BUFF(2729)
+3861 = BUFF(2737)
+3864 = BUFF(2733)
+3867 = BUFF(2745)
+3870 = BUFF(2741)
+3873 = BUFF(2753)
+3876 = BUFF(2749)
+3879 = BUFF(2761)
+3882 = BUFF(2757)
+3885 = OR(3033, 2419)
+3888 = OR(3032, 2418)
+3891 = OR(3020, 2396)
+3953 = NAND(3067, 2117)
+3954 = NOT(3067)
+3955 = NAND(3070, 2537)
+3956 = NOT(3070)
+3958 = NOT(3073)
+3964 = NOT(3080)
+4193 = OR(1649, 3379)
+4303 = OR(1167, 2867, 3130)
+4308 = NOT(3061)
+4313 = NOT(3064)
+4326 = NAND(2769, 3551)
+4327 = NAND(2766, 3552)
+4333 = NAND(2775, 3569)
+4334 = NAND(2772, 3570)
+4411 = NAND(2787, 3781)
+4412 = NAND(2784, 3782)
+4463 = NAND(3487, 1828)
+4464 = NOT(3487)
+4465 = NAND(3490, 1829)
+4466 = NOT(3490)
+4467 = NAND(3493, 2267)
+4468 = NOT(3493)
+4469 = NAND(3496, 1830)
+4470 = NOT(3496)
+4471 = NAND(3499, 1833)
+4472 = NOT(3499)
+4473 = NOT(3122)
+4474 = NOT(3126)
+4475 = NAND(3518, 1840)
+4476 = NOT(3518)
+4477 = NAND(3521, 1841)
+4478 = NOT(3521)
+4479 = NAND(3524, 2275)
+4480 = NOT(3524)
+4481 = NAND(3527, 1842)
+4482 = NOT(3527)
+4483 = NAND(3530, 1843)
+4484 = NOT(3530)
+4485 = NOT(3155)
+4486 = NOT(3159)
+4487 = NAND(1721, 3954)
+4488 = NAND(2235, 3956)
+4489 = NOT(3535)
+4490 = NAND(3535, 3958)
+4491 = NOT(3539)
+4492 = NOT(3542)
+4493 = NOT(3545)
+4494 = NOT(3548)
+4495 = NOT(3553)
+4496 = NAND(3553, 3964)
+4497 = NOT(3557)
+4498 = NOT(3560)
+4499 = NOT(3563)
+4500 = NOT(3566)
+4501 = NOT(3571)
+4502 = NAND(3571, 3167)
+4503 = NOT(3574)
+4504 = NOT(3577)
+4505 = NOT(3580)
+4506 = NOT(3583)
+4507 = NAND(3598, 1867)
+4508 = NOT(3598)
+4509 = NAND(3601, 1868)
+4510 = NOT(3601)
+4511 = NAND(3604, 1869)
+4512 = NOT(3604)
+4513 = NAND(3607, 1870)
+4514 = NOT(3607)
+4515 = NAND(3610, 1871)
+4516 = NOT(3610)
+4517 = NAND(3613, 1872)
+4518 = NOT(3613)
+4519 = NAND(3616, 1873)
+4520 = NOT(3616)
+4521 = NAND(3619, 1874)
+4522 = NOT(3619)
+4523 = NAND(3622, 1875)
+4524 = NOT(3622)
+4525 = NAND(3631, 1876)
+4526 = NOT(3631)
+4527 = NAND(3634, 1877)
+4528 = NOT(3634)
+4529 = NAND(3637, 1878)
+4530 = NOT(3637)
+4531 = NAND(3640, 1879)
+4532 = NOT(3640)
+4533 = NAND(3643, 1880)
+4534 = NOT(3643)
+4535 = NAND(3646, 1881)
+4536 = NOT(3646)
+4537 = NAND(3649, 1882)
+4538 = NOT(3649)
+4539 = NAND(3652, 1883)
+4540 = NOT(3652)
+4541 = NAND(3655, 1884)
+4542 = NOT(3655)
+4543 = NOT(3658)
+4544 = AND(806, 3293)
+4545 = AND(800, 3287)
+4549 = AND(794, 3281)
+4555 = AND(3273, 786)
+4562 = AND(780, 3267)
+4563 = AND(774, 3355)
+4566 = AND(768, 3349)
+4570 = AND(762, 3343)
+4575 = NOT(3661)
+4576 = AND(806, 3293)
+4577 = AND(800, 3287)
+4581 = AND(794, 3281)
+4586 = AND(786, 3273)
+4592 = AND(780, 3267)
+4593 = AND(774, 3355)
+4597 = AND(768, 3349)
+4603 = AND(762, 3343)
+4610 = NOT(3664)
+4611 = NOT(3667)
+4612 = NOT(3670)
+4613 = NOT(3673)
+4614 = NOT(3676)
+4615 = NOT(3679)
+4616 = NOT(3682)
+4617 = NOT(3685)
+4618 = NOT(3688)
+4619 = NOT(3691)
+4620 = NOT(3694)
+4621 = NOT(3697)
+4622 = NOT(3700)
+4623 = NOT(3703)
+4624 = NOT(3706)
+4625 = NOT(3709)
+4626 = NOT(3712)
+4627 = NOT(3715)
+4628 = NOT(3718)
+4629 = NOT(3721)
+4630 = AND(3448, 2704)
+4631 = NOT(3724)
+4632 = AND(3444, 2700)
+4633 = NOT(3727)
+4634 = AND(3440, 2696)
+4635 = AND(3436, 2692)
+4636 = NOT(3730)
+4637 = AND(3432, 2688)
+4638 = AND(3428, 3311)
+4639 = AND(3424, 3307)
+4640 = AND(3420, 3303)
+4641 = AND(3416, 3299)
+4642 = NOT(3733)
+4643 = NOT(3736)
+4644 = NOT(3739)
+4645 = NOT(3742)
+4646 = NOT(3745)
+4647 = NOT(3748)
+4648 = NOT(3751)
+4649 = NOT(3754)
+4650 = NOT(3757)
+4651 = NOT(3760)
+4652 = NOT(3763)
+4653 = NOT(3375)
+4656 = AND(865, 3410)
+4657 = AND(859, 3404)
+4661 = AND(853, 3398)
+4667 = AND(3390, 845)
+4674 = AND(839, 3384)
+4675 = AND(833, 3334)
+4678 = AND(827, 3328)
+4682 = AND(821, 3322)
+4687 = AND(814, 3315)
+4693 = NOT(3766)
+4694 = NAND(3766, 3380)
+4695 = NOT(3769)
+4696 = NOT(3772)
+4697 = NOT(3775)
+4698 = NOT(3778)
+4699 = NOT(3783)
+4700 = NOT(3786)
+4701 = AND(865, 3410)
+4702 = AND(859, 3404)
+4706 = AND(853, 3398)
+4711 = AND(845, 3390)
+4717 = AND(839, 3384)
+4718 = AND(833, 3334)
+4722 = AND(827, 3328)
+4728 = AND(821, 3322)
+4735 = AND(814, 3315)
+4743 = NOT(3789)
+4744 = NOT(3792)
+4745 = NOT(3807)
+4746 = NAND(3807, 3452)
+4747 = NOT(3810)
+4748 = NOT(3813)
+4749 = NOT(3816)
+4750 = NOT(3819)
+4751 = NAND(3819, 3453)
+4752 = NOT(3822)
+4753 = NOT(3825)
+4754 = NOT(3828)
+4755 = NOT(3831)
+4756 = AND(3482, 3263)
+4757 = AND(3478, 3259)
+4758 = AND(3474, 3255)
+4759 = AND(3470, 3251)
+4760 = AND(3466, 3247)
+4761 = NOT(3846)
+4762 = AND(3462, 2615)
+4763 = NOT(3849)
+4764 = AND(3458, 2611)
+4765 = NOT(3852)
+4766 = AND(3454, 2607)
+4767 = AND(2680, 3381)
+4768 = NOT(3855)
+4769 = AND(3340, 695)
+4775 = NOT(3858)
+4776 = NAND(3858, 3486)
+4777 = NOT(3861)
+4778 = NOT(3864)
+4779 = NOT(3867)
+4780 = NOT(3870)
+4781 = NOT(3885)
+4782 = NOT(3888)
+4783 = NOT(3891)
+4784 = OR(3131, 3134)
+4789 = NOT(3502)
+4790 = NOT(3131)
+4793 = NOT(3507)
+4794 = NOT(3510)
+4795 = NOT(3515)
+4796 = BUFF(3114)
+4799 = NOT(3586)
+4800 = NOT(3589)
+4801 = NOT(3592)
+4802 = NOT(3595)
+4803 = NAND(4326, 4327)
+4806 = NAND(4333, 4334)
+4809 = NOT(3625)
+4810 = BUFF(3178)
+4813 = NOT(3628)
+4814 = BUFF(3202)
+4817 = BUFF(3221)
+4820 = BUFF(3293)
+4823 = BUFF(3287)
+4826 = BUFF(3281)
+4829 = BUFF(3273)
+4832 = BUFF(3267)
+4835 = BUFF(3355)
+4838 = BUFF(3349)
+4841 = BUFF(3343)
+4844 = NOR(3273, 786)
+4847 = BUFF(3293)
+4850 = BUFF(3287)
+4853 = BUFF(3281)
+4856 = BUFF(3267)
+4859 = BUFF(3355)
+4862 = BUFF(3349)
+4865 = BUFF(3343)
+4868 = BUFF(3273)
+4871 = NOR(786, 3273)
+4874 = BUFF(3448)
+4877 = BUFF(3444)
+4880 = BUFF(3440)
+4883 = BUFF(3432)
+4886 = BUFF(3428)
+4889 = BUFF(3311)
+4892 = BUFF(3424)
+4895 = BUFF(3307)
+4898 = BUFF(3420)
+4901 = BUFF(3303)
+4904 = BUFF(3436)
+4907 = BUFF(3416)
+4910 = BUFF(3299)
+4913 = BUFF(3410)
+4916 = BUFF(3404)
+4919 = BUFF(3398)
+4922 = BUFF(3390)
+4925 = BUFF(3384)
+4928 = BUFF(3334)
+4931 = BUFF(3328)
+4934 = BUFF(3322)
+4937 = BUFF(3315)
+4940 = NOR(3390, 845)
+4943 = BUFF(3315)
+4946 = BUFF(3328)
+4949 = BUFF(3322)
+4952 = BUFF(3384)
+4955 = BUFF(3334)
+4958 = BUFF(3398)
+4961 = BUFF(3390)
+4964 = BUFF(3410)
+4967 = BUFF(3404)
+4970 = BUFF(3340)
+4973 = BUFF(3349)
+4976 = BUFF(3343)
+4979 = BUFF(3267)
+4982 = BUFF(3355)
+4985 = BUFF(3281)
+4988 = BUFF(3273)
+4991 = BUFF(3293)
+4994 = BUFF(3287)
+4997 = NAND(4411, 4412)
+5000 = BUFF(3410)
+5003 = BUFF(3404)
+5006 = BUFF(3398)
+5009 = BUFF(3384)
+5012 = BUFF(3334)
+5015 = BUFF(3328)
+5018 = BUFF(3322)
+5021 = BUFF(3390)
+5024 = BUFF(3315)
+5027 = NOR(845, 3390)
+5030 = NOR(814, 3315)
+5033 = BUFF(3299)
+5036 = BUFF(3307)
+5039 = BUFF(3303)
+5042 = BUFF(3311)
+5045 = NOT(3795)
+5046 = NOT(3798)
+5047 = NOT(3801)
+5048 = NOT(3804)
+5049 = BUFF(3247)
+5052 = BUFF(3255)
+5055 = BUFF(3251)
+5058 = BUFF(3263)
+5061 = BUFF(3259)
+5064 = NOT(3834)
+5065 = NOT(3837)
+5066 = NOT(3840)
+5067 = NOT(3843)
+5068 = BUFF(3482)
+5071 = BUFF(3263)
+5074 = BUFF(3478)
+5077 = BUFF(3259)
+5080 = BUFF(3474)
+5083 = BUFF(3255)
+5086 = BUFF(3466)
+5089 = BUFF(3247)
+5092 = BUFF(3462)
+5095 = BUFF(3458)
+5098 = BUFF(3454)
+5101 = BUFF(3470)
+5104 = BUFF(3251)
+5107 = BUFF(3381)
+5110 = NOT(3873)
+5111 = NOT(3876)
+5112 = NOT(3879)
+5113 = NOT(3882)
+5114 = BUFF(3458)
+5117 = BUFF(3454)
+5120 = BUFF(3466)
+5123 = BUFF(3462)
+5126 = BUFF(3474)
+5129 = BUFF(3470)
+5132 = BUFF(3482)
+5135 = BUFF(3478)
+5138 = BUFF(3416)
+5141 = BUFF(3424)
+5144 = BUFF(3420)
+5147 = BUFF(3432)
+5150 = BUFF(3428)
+5153 = BUFF(3440)
+5156 = BUFF(3436)
+5159 = BUFF(3448)
+5162 = BUFF(3444)
+5165 = NAND(4486, 4485)
+5166 = NAND(4474, 4473)
+5167 = NAND(1290, 4464)
+5168 = NAND(1293, 4466)
+5169 = NAND(2074, 4468)
+5170 = NAND(1296, 4470)
+5171 = NAND(1302, 4472)
+5172 = NAND(1314, 4476)
+5173 = NAND(1317, 4478)
+5174 = NAND(2081, 4480)
+5175 = NAND(1320, 4482)
+5176 = NAND(1323, 4484)
+5177 = NAND(3953, 4487)
+5178 = NAND(3955, 4488)
+5179 = NAND(3073, 4489)
+5180 = NAND(3542, 4491)
+5181 = NAND(3539, 4492)
+5182 = NAND(3548, 4493)
+5183 = NAND(3545, 4494)
+5184 = NAND(3080, 4495)
+5185 = NAND(3560, 4497)
+5186 = NAND(3557, 4498)
+5187 = NAND(3566, 4499)
+5188 = NAND(3563, 4500)
+5189 = NAND(2778, 4501)
+5190 = NAND(3577, 4503)
+5191 = NAND(3574, 4504)
+5192 = NAND(3583, 4505)
+5193 = NAND(3580, 4506)
+5196 = NAND(1326, 4508)
+5197 = NAND(1329, 4510)
+5198 = NAND(1332, 4512)
+5199 = NAND(1335, 4514)
+5200 = NAND(1338, 4516)
+5201 = NAND(1341, 4518)
+5202 = NAND(1344, 4520)
+5203 = NAND(1347, 4522)
+5204 = NAND(1350, 4524)
+5205 = NAND(1353, 4526)
+5206 = NAND(1356, 4528)
+5207 = NAND(1359, 4530)
+5208 = NAND(1362, 4532)
+5209 = NAND(1365, 4534)
+5210 = NAND(1368, 4536)
+5211 = NAND(1371, 4538)
+5212 = NAND(1374, 4540)
+5213 = NAND(1377, 4542)
+5283 = NAND(3670, 4611)
+5284 = NAND(3667, 4612)
+5285 = NAND(3676, 4613)
+5286 = NAND(3673, 4614)
+5287 = NAND(3682, 4615)
+5288 = NAND(3679, 4616)
+5289 = NAND(3688, 4617)
+5290 = NAND(3685, 4618)
+5291 = NAND(3694, 4619)
+5292 = NAND(3691, 4620)
+5293 = NAND(3700, 4621)
+5294 = NAND(3697, 4622)
+5295 = NAND(3706, 4623)
+5296 = NAND(3703, 4624)
+5297 = NAND(3712, 4625)
+5298 = NAND(3709, 4626)
+5299 = NAND(3718, 4627)
+5300 = NAND(3715, 4628)
+5314 = NAND(3739, 4643)
+5315 = NAND(3736, 4644)
+5316 = NAND(3745, 4645)
+5317 = NAND(3742, 4646)
+5318 = NAND(3751, 4647)
+5319 = NAND(3748, 4648)
+5320 = NAND(3757, 4649)
+5321 = NAND(3754, 4650)
+5322 = NAND(3763, 4651)
+5323 = NAND(3760, 4652)
+5324 = NOT(4193)
+5363 = NAND(2781, 4693)
+5364 = NAND(3772, 4695)
+5365 = NAND(3769, 4696)
+5366 = NAND(3778, 4697)
+5367 = NAND(3775, 4698)
+5425 = NAND(2790, 4745)
+5426 = NAND(3813, 4747)
+5427 = NAND(3810, 4748)
+5429 = NAND(2793, 4750)
+5430 = NAND(3825, 4752)
+5431 = NAND(3822, 4753)
+5432 = NAND(3831, 4754)
+5433 = NAND(3828, 4755)
+5451 = NAND(2796, 4775)
+5452 = NAND(3864, 4777)
+5453 = NAND(3861, 4778)
+5454 = NAND(3870, 4779)
+5455 = NAND(3867, 4780)
+5456 = NAND(3888, 4781)
+5457 = NAND(3885, 4782)
+5469 = NOT(4303)
+5474 = NAND(3589, 4799)
+5475 = NAND(3586, 4800)
+5476 = NAND(3595, 4801)
+5477 = NAND(3592, 4802)
+5571 = NAND(3798, 5045)
+5572 = NAND(3795, 5046)
+5573 = NAND(3804, 5047)
+5574 = NAND(3801, 5048)
+5584 = NAND(3837, 5064)
+5585 = NAND(3834, 5065)
+5586 = NAND(3843, 5066)
+5587 = NAND(3840, 5067)
+5602 = NAND(3876, 5110)
+5603 = NAND(3873, 5111)
+5604 = NAND(3882, 5112)
+5605 = NAND(3879, 5113)
+5631 = NAND(5324, 4653)
+5632 = NAND(4463, 5167)
+5640 = NAND(4465, 5168)
+5654 = NAND(4467, 5169)
+5670 = NAND(4469, 5170)
+5683 = NAND(4471, 5171)
+5690 = NAND(4475, 5172)
+5697 = NAND(4477, 5173)
+5707 = NAND(4479, 5174)
+5718 = NAND(4481, 5175)
+5728 = NAND(4483, 5176)
+5735 = NOT(5177)
+5736 = NAND(5179, 4490)
+5740 = NAND(5180, 5181)
+5744 = NAND(5182, 5183)
+5747 = NAND(5184, 4496)
+5751 = NAND(5185, 5186)
+5755 = NAND(5187, 5188)
+5758 = NAND(5189, 4502)
+5762 = NAND(5190, 5191)
+5766 = NAND(5192, 5193)
+5769 = NOT(4803)
+5770 = NOT(4806)
+5771 = NAND(4507, 5196)
+5778 = NAND(4509, 5197)
+5789 = NAND(4511, 5198)
+5799 = NAND(4513, 5199)
+5807 = NAND(4515, 5200)
+5821 = NAND(4517, 5201)
+5837 = NAND(4519, 5202)
+5850 = NAND(4521, 5203)
+5856 = NAND(4523, 5204)
+5863 = NAND(4525, 5205)
+5870 = NAND(4527, 5206)
+5881 = NAND(4529, 5207)
+5892 = NAND(4531, 5208)
+5898 = NAND(4533, 5209)
+5905 = NAND(4535, 5210)
+5915 = NAND(4537, 5211)
+5926 = NAND(4539, 5212)
+5936 = NAND(4541, 5213)
+5943 = NOT(4817)
+5944 = NAND(4820, 1931)
+5945 = NOT(4820)
+5946 = NAND(4823, 1932)
+5947 = NOT(4823)
+5948 = NAND(4826, 1933)
+5949 = NOT(4826)
+5950 = NAND(4829, 1934)
+5951 = NOT(4829)
+5952 = NAND(4832, 1935)
+5953 = NOT(4832)
+5954 = NAND(4835, 1936)
+5955 = NOT(4835)
+5956 = NAND(4838, 1937)
+5957 = NOT(4838)
+5958 = NAND(4841, 1938)
+5959 = NOT(4841)
+5960 = AND(2674, 4769)
+5966 = NOT(4844)
+5967 = NAND(4847, 1939)
+5968 = NOT(4847)
+5969 = NAND(4850, 1940)
+5970 = NOT(4850)
+5971 = NAND(4853, 1941)
+5972 = NOT(4853)
+5973 = NAND(4856, 1942)
+5974 = NOT(4856)
+5975 = NAND(4859, 1943)
+5976 = NOT(4859)
+5977 = NAND(4862, 1944)
+5978 = NOT(4862)
+5979 = NAND(4865, 1945)
+5980 = NOT(4865)
+5981 = AND(2674, 4769)
+5989 = NAND(4868, 1946)
+5990 = NOT(4868)
+5991 = NAND(5283, 5284)
+5996 = NAND(5285, 5286)
+6000 = NAND(5287, 5288)
+6003 = NAND(5289, 5290)
+6009 = NAND(5291, 5292)
+6014 = NAND(5293, 5294)
+6018 = NAND(5295, 5296)
+6021 = NAND(5297, 5298)
+6022 = NAND(5299, 5300)
+6023 = NOT(4874)
+6024 = NAND(4874, 4629)
+6025 = NOT(4877)
+6026 = NAND(4877, 4631)
+6027 = NOT(4880)
+6028 = NAND(4880, 4633)
+6029 = NOT(4883)
+6030 = NAND(4883, 4636)
+6031 = NOT(4886)
+6032 = NOT(4889)
+6033 = NOT(4892)
+6034 = NOT(4895)
+6035 = NOT(4898)
+6036 = NOT(4901)
+6037 = NOT(4904)
+6038 = NAND(4904, 4642)
+6039 = NOT(4907)
+6040 = NOT(4910)
+6041 = NAND(5314, 5315)
+6047 = NAND(5316, 5317)
+6052 = NAND(5318, 5319)
+6056 = NAND(5320, 5321)
+6059 = NAND(5322, 5323)
+6060 = NAND(4913, 1968)
+6061 = NOT(4913)
+6062 = NAND(4916, 1969)
+6063 = NOT(4916)
+6064 = NAND(4919, 1970)
+6065 = NOT(4919)
+6066 = NAND(4922, 1971)
+6067 = NOT(4922)
+6068 = NAND(4925, 1972)
+6069 = NOT(4925)
+6070 = NAND(4928, 1973)
+6071 = NOT(4928)
+6072 = NAND(4931, 1974)
+6073 = NOT(4931)
+6074 = NAND(4934, 1975)
+6075 = NOT(4934)
+6076 = NAND(4937, 1976)
+6077 = NOT(4937)
+6078 = NOT(4940)
+6079 = NAND(5363, 4694)
+6083 = NAND(5364, 5365)
+6087 = NAND(5366, 5367)
+6090 = NOT(4943)
+6091 = NAND(4943, 4699)
+6092 = NOT(4946)
+6093 = NOT(4949)
+6094 = NOT(4952)
+6095 = NOT(4955)
+6096 = NOT(4970)
+6097 = NAND(4970, 4700)
+6098 = NOT(4973)
+6099 = NOT(4976)
+6100 = NOT(4979)
+6101 = NOT(4982)
+6102 = NOT(4997)
+6103 = NAND(5000, 2015)
+6104 = NOT(5000)
+6105 = NAND(5003, 2016)
+6106 = NOT(5003)
+6107 = NAND(5006, 2017)
+6108 = NOT(5006)
+6109 = NAND(5009, 2018)
+6110 = NOT(5009)
+6111 = NAND(5012, 2019)
+6112 = NOT(5012)
+6113 = NAND(5015, 2020)
+6114 = NOT(5015)
+6115 = NAND(5018, 2021)
+6116 = NOT(5018)
+6117 = NAND(5021, 2022)
+6118 = NOT(5021)
+6119 = NAND(5024, 2023)
+6120 = NOT(5024)
+6121 = NOT(5033)
+6122 = NAND(5033, 4743)
+6123 = NOT(5036)
+6124 = NOT(5039)
+6125 = NAND(5042, 4744)
+6126 = NOT(5042)
+6127 = NAND(5425, 4746)
+6131 = NAND(5426, 5427)
+6135 = NOT(5049)
+6136 = NAND(5049, 4749)
+6137 = NAND(5429, 4751)
+6141 = NAND(5430, 5431)
+6145 = NAND(5432, 5433)
+6148 = NOT(5068)
+6149 = NOT(5071)
+6150 = NOT(5074)
+6151 = NOT(5077)
+6152 = NOT(5080)
+6153 = NOT(5083)
+6154 = NOT(5086)
+6155 = NOT(5089)
+6156 = NOT(5092)
+6157 = NAND(5092, 4761)
+6158 = NOT(5095)
+6159 = NAND(5095, 4763)
+6160 = NOT(5098)
+6161 = NAND(5098, 4765)
+6162 = NOT(5101)
+6163 = NOT(5104)
+6164 = NAND(5107, 4768)
+6165 = NOT(5107)
+6166 = NAND(5451, 4776)
+6170 = NAND(5452, 5453)
+6174 = NAND(5454, 5455)
+6177 = NAND(5456, 5457)
+6181 = NOT(5114)
+6182 = NOT(5117)
+6183 = NOT(5120)
+6184 = NOT(5123)
+6185 = NOT(5138)
+6186 = NAND(5138, 4783)
+6187 = NOT(5141)
+6188 = NOT(5144)
+6189 = NOT(5147)
+6190 = NOT(5150)
+6191 = NOT(4784)
+6192 = NAND(4784, 2230)
+6193 = NOT(4790)
+6194 = NAND(4790, 2765)
+6195 = NOT(4796)
+6196 = NAND(5476, 5477)
+6199 = NAND(5474, 5475)
+6202 = NOT(4810)
+6203 = NOT(4814)
+6204 = BUFF(4769)
+6207 = BUFF(4555)
+6210 = BUFF(4769)
+6213 = NOT(4871)
+6214 = BUFF(4586)
+6217 = NOR(2674, 4769)
+6220 = BUFF(4667)
+6223 = NOT(4958)
+6224 = NOT(4961)
+6225 = NOT(4964)
+6226 = NOT(4967)
+6227 = NOT(4985)
+6228 = NOT(4988)
+6229 = NOT(4991)
+6230 = NOT(4994)
+6231 = NOT(5027)
+6232 = BUFF(4711)
+6235 = NOT(5030)
+6236 = BUFF(4735)
+6239 = NOT(5052)
+6240 = NOT(5055)
+6241 = NOT(5058)
+6242 = NOT(5061)
+6243 = NAND(5573, 5574)
+6246 = NAND(5571, 5572)
+6249 = NAND(5586, 5587)
+6252 = NAND(5584, 5585)
+6255 = NOT(5126)
+6256 = NOT(5129)
+6257 = NOT(5132)
+6258 = NOT(5135)
+6259 = NOT(5153)
+6260 = NOT(5156)
+6261 = NOT(5159)
+6262 = NOT(5162)
+6263 = NAND(5604, 5605)
+6266 = NAND(5602, 5603)
+6540 = NAND(1380, 5945)
+6541 = NAND(1383, 5947)
+6542 = NAND(1386, 5949)
+6543 = NAND(1389, 5951)
+6544 = NAND(1392, 5953)
+6545 = NAND(1395, 5955)
+6546 = NAND(1398, 5957)
+6547 = NAND(1401, 5959)
+6555 = NAND(1404, 5968)
+6556 = NAND(1407, 5970)
+6557 = NAND(1410, 5972)
+6558 = NAND(1413, 5974)
+6559 = NAND(1416, 5976)
+6560 = NAND(1419, 5978)
+6561 = NAND(1422, 5980)
+6569 = NAND(1425, 5990)
+6594 = NAND(3721, 6023)
+6595 = NAND(3724, 6025)
+6596 = NAND(3727, 6027)
+6597 = NAND(3730, 6029)
+6598 = NAND(4889, 6031)
+6599 = NAND(4886, 6032)
+6600 = NAND(4895, 6033)
+6601 = NAND(4892, 6034)
+6602 = NAND(4901, 6035)
+6603 = NAND(4898, 6036)
+6604 = NAND(3733, 6037)
+6605 = NAND(4910, 6039)
+6606 = NAND(4907, 6040)
+6621 = NAND(1434, 6061)
+6622 = NAND(1437, 6063)
+6623 = NAND(1440, 6065)
+6624 = NAND(1443, 6067)
+6625 = NAND(1446, 6069)
+6626 = NAND(1449, 6071)
+6627 = NAND(1452, 6073)
+6628 = NAND(1455, 6075)
+6629 = NAND(1458, 6077)
+6639 = NAND(3783, 6090)
+6640 = NAND(4949, 6092)
+6641 = NAND(4946, 6093)
+6642 = NAND(4955, 6094)
+6643 = NAND(4952, 6095)
+6644 = NAND(3786, 6096)
+6645 = NAND(4976, 6098)
+6646 = NAND(4973, 6099)
+6647 = NAND(4982, 6100)
+6648 = NAND(4979, 6101)
+6649 = NAND(1461, 6104)
+6650 = NAND(1464, 6106)
+6651 = NAND(1467, 6108)
+6652 = NAND(1470, 6110)
+6653 = NAND(1473, 6112)
+6654 = NAND(1476, 6114)
+6655 = NAND(1479, 6116)
+6656 = NAND(1482, 6118)
+6657 = NAND(1485, 6120)
+6658 = NAND(3789, 6121)
+6659 = NAND(5039, 6123)
+6660 = NAND(5036, 6124)
+6661 = NAND(3792, 6126)
+6668 = NAND(3816, 6135)
+6677 = NAND(5071, 6148)
+6678 = NAND(5068, 6149)
+6679 = NAND(5077, 6150)
+6680 = NAND(5074, 6151)
+6681 = NAND(5083, 6152)
+6682 = NAND(5080, 6153)
+6683 = NAND(5089, 6154)
+6684 = NAND(5086, 6155)
+6685 = NAND(3846, 6156)
+6686 = NAND(3849, 6158)
+6687 = NAND(3852, 6160)
+6688 = NAND(5104, 6162)
+6689 = NAND(5101, 6163)
+6690 = NAND(3855, 6165)
+6702 = NAND(5117, 6181)
+6703 = NAND(5114, 6182)
+6704 = NAND(5123, 6183)
+6705 = NAND(5120, 6184)
+6706 = NAND(3891, 6185)
+6707 = NAND(5144, 6187)
+6708 = NAND(5141, 6188)
+6709 = NAND(5150, 6189)
+6710 = NAND(5147, 6190)
+6711 = NAND(1708, 6191)
+6712 = NAND(2231, 6193)
+6729 = NAND(4961, 6223)
+6730 = NAND(4958, 6224)
+6731 = NAND(4967, 6225)
+6732 = NAND(4964, 6226)
+6733 = NAND(4988, 6227)
+6734 = NAND(4985, 6228)
+6735 = NAND(4994, 6229)
+6736 = NAND(4991, 6230)
+6741 = NAND(5055, 6239)
+6742 = NAND(5052, 6240)
+6743 = NAND(5061, 6241)
+6744 = NAND(5058, 6242)
+6751 = NAND(5129, 6255)
+6752 = NAND(5126, 6256)
+6753 = NAND(5135, 6257)
+6754 = NAND(5132, 6258)
+6755 = NAND(5156, 6259)
+6756 = NAND(5153, 6260)
+6757 = NAND(5162, 6261)
+6758 = NAND(5159, 6262)
+6761 = NOT(5892)
+6762 = AND(5683, 5670, 5654, 5640, 5632)
+6766 = AND(5632, 3097)
+6767 = AND(5640, 5632, 3101)
+6768 = AND(5654, 5632, 3107, 5640)
+6769 = AND(5670, 5654, 5632, 3114, 5640)
+6770 = AND(5640, 3101)
+6771 = AND(5654, 3107, 5640)
+6772 = AND(5670, 5654, 3114, 5640)
+6773 = AND(5683, 5654, 5640, 5670)
+6774 = AND(5640, 3101)
+6775 = AND(5654, 3107, 5640)
+6776 = AND(5670, 5654, 3114, 5640)
+6777 = AND(5654, 3107)
+6778 = AND(5670, 5654, 3114)
+6779 = AND(5683, 5654, 5670)
+6780 = AND(5654, 3107)
+6781 = AND(5670, 5654, 3114)
+6782 = AND(5670, 3114)
+6783 = AND(5683, 5670)
+6784 = AND(5697, 5728, 5707, 5690, 5718)
+6787 = AND(5690, 3137)
+6788 = AND(5697, 5690, 3140)
+6789 = AND(5707, 5690, 3144, 5697)
+6790 = AND(5718, 5707, 5690, 3149, 5697)
+6791 = AND(5697, 3140)
+6792 = AND(5707, 3144, 5697)
+6793 = AND(5718, 5707, 3149, 5697)
+6794 = AND(3144, 5707)
+6795 = AND(5718, 5707, 3149)
+6796 = AND(5718, 3149)
+6797 = NOT(5736)
+6800 = NOT(5740)
+6803 = NOT(5747)
+6806 = NOT(5751)
+6809 = NOT(5758)
+6812 = NOT(5762)
+6815 = BUFF(5744)
+6818 = BUFF(5744)
+6821 = BUFF(5755)
+6824 = BUFF(5755)
+6827 = BUFF(5766)
+6830 = BUFF(5766)
+6833 = AND(5850, 5789, 5778, 5771)
+6836 = AND(5771, 3169)
+6837 = AND(5778, 5771, 3173)
+6838 = AND(5789, 5771, 3178, 5778)
+6839 = AND(5778, 3173)
+6840 = AND(5789, 3178, 5778)
+6841 = AND(5850, 5789, 5778)
+6842 = AND(5778, 3173)
+6843 = AND(5789, 3178, 5778)
+6844 = AND(5789, 3178)
+6845 = AND(5856, 5837, 5821, 5807, 5799)
+6848 = AND(5799, 3185)
+6849 = AND(5807, 5799, 3189)
+6850 = AND(5821, 5799, 3195, 5807)
+6851 = AND(5837, 5821, 5799, 3202, 5807)
+6852 = AND(5807, 3189)
+6853 = AND(5821, 3195, 5807)
+6854 = AND(5837, 5821, 3202, 5807)
+6855 = AND(5856, 5821, 5807, 5837)
+6856 = AND(5807, 3189)
+6857 = AND(5821, 3195, 5807)
+6858 = AND(5837, 5821, 3202, 5807)
+6859 = AND(5821, 3195)
+6860 = AND(5837, 5821, 3202)
+6861 = AND(5856, 5821, 5837)
+6862 = AND(5821, 3195)
+6863 = AND(5837, 5821, 3202)
+6864 = AND(5837, 3202)
+6865 = AND(5850, 5789)
+6866 = AND(5856, 5837)
+6867 = AND(5870, 5892, 5881, 5863)
+6870 = AND(5863, 3211)
+6871 = AND(5870, 5863, 3215)
+6872 = AND(5881, 5863, 3221, 5870)
+6873 = AND(5870, 3215)
+6874 = AND(5881, 3221, 5870)
+6875 = AND(5892, 5881, 5870)
+6876 = AND(5870, 3215)
+6877 = AND(3221, 5881, 5870)
+6878 = AND(5881, 3221)
+6879 = AND(5892, 5881)
+6880 = AND(5881, 3221)
+6881 = AND(5905, 5936, 5915, 5898, 5926)
+6884 = AND(5898, 3229)
+6885 = AND(5905, 5898, 3232)
+6886 = AND(5915, 5898, 3236, 5905)
+6887 = AND(5926, 5915, 5898, 3241, 5905)
+6888 = AND(5905, 3232)
+6889 = AND(5915, 3236, 5905)
+6890 = AND(5926, 5915, 3241, 5905)
+6891 = AND(3236, 5915)
+6892 = AND(5926, 5915, 3241)
+6893 = AND(5926, 3241)
+6894 = NAND(5944, 6540)
+6901 = NAND(5946, 6541)
+6912 = NAND(5948, 6542)
+6923 = NAND(5950, 6543)
+6929 = NAND(5952, 6544)
+6936 = NAND(5954, 6545)
+6946 = NAND(5956, 6546)
+6957 = NAND(5958, 6547)
+6967 = NAND(6204, 4575)
+6968 = NOT(6204)
+6969 = NOT(6207)
+6970 = NAND(5967, 6555)
+6977 = NAND(5969, 6556)
+6988 = NAND(5971, 6557)
+6998 = NAND(5973, 6558)
+7006 = NAND(5975, 6559)
+7020 = NAND(5977, 6560)
+7036 = NAND(5979, 6561)
+7049 = NAND(5989, 6569)
+7055 = NAND(6210, 4610)
+7056 = NOT(6210)
+7057 = AND(6021, 6000, 5996, 5991)
+7060 = AND(5991, 3362)
+7061 = AND(5996, 5991, 3363)
+7062 = AND(6000, 5991, 3364, 5996)
+7063 = AND(6022, 6018, 6014, 6009, 6003)
+7064 = AND(6003, 3366)
+7065 = AND(6009, 6003, 3367)
+7066 = AND(6014, 6003, 3368, 6009)
+7067 = AND(6018, 6014, 6003, 3369, 6009)
+7068 = NAND(6594, 6024)
+7073 = NAND(6595, 6026)
+7077 = NAND(6596, 6028)
+7080 = NAND(6597, 6030)
+7086 = NAND(6598, 6599)
+7091 = NAND(6600, 6601)
+7095 = NAND(6602, 6603)
+7098 = NAND(6604, 6038)
+7099 = NAND(6605, 6606)
+7100 = AND(6059, 6056, 6052, 6047, 6041)
+7103 = AND(6041, 3371)
+7104 = AND(6047, 6041, 3372)
+7105 = AND(6052, 6041, 3373, 6047)
+7106 = AND(6056, 6052, 6041, 3374, 6047)
+7107 = NAND(6060, 6621)
+7114 = NAND(6062, 6622)
+7125 = NAND(6064, 6623)
+7136 = NAND(6066, 6624)
+7142 = NAND(6068, 6625)
+7149 = NAND(6070, 6626)
+7159 = NAND(6072, 6627)
+7170 = NAND(6074, 6628)
+7180 = NAND(6076, 6629)
+7187 = NOT(6220)
+7188 = NOT(6079)
+7191 = NOT(6083)
+7194 = NAND(6639, 6091)
+7198 = NAND(6640, 6641)
+7202 = NAND(6642, 6643)
+7205 = NAND(6644, 6097)
+7209 = NAND(6645, 6646)
+7213 = NAND(6647, 6648)
+7216 = BUFF(6087)
+7219 = BUFF(6087)
+7222 = NAND(6103, 6649)
+7229 = NAND(6105, 6650)
+7240 = NAND(6107, 6651)
+7250 = NAND(6109, 6652)
+7258 = NAND(6111, 6653)
+7272 = NAND(6113, 6654)
+7288 = NAND(6115, 6655)
+7301 = NAND(6117, 6656)
+7307 = NAND(6119, 6657)
+7314 = NAND(6658, 6122)
+7318 = NAND(6659, 6660)
+7322 = NAND(6125, 6661)
+7325 = NOT(6127)
+7328 = NOT(6131)
+7331 = NAND(6668, 6136)
+7334 = NOT(6137)
+7337 = NOT(6141)
+7340 = BUFF(6145)
+7343 = BUFF(6145)
+7346 = NAND(6677, 6678)
+7351 = NAND(6679, 6680)
+7355 = NAND(6681, 6682)
+7358 = NAND(6683, 6684)
+7364 = NAND(6685, 6157)
+7369 = NAND(6686, 6159)
+7373 = NAND(6687, 6161)
+7376 = NAND(6688, 6689)
+7377 = NAND(6164, 6690)
+7378 = NOT(6166)
+7381 = NOT(6170)
+7384 = NOT(6177)
+7387 = NAND(6702, 6703)
+7391 = NAND(6704, 6705)
+7394 = NAND(6706, 6186)
+7398 = NAND(6707, 6708)
+7402 = NAND(6709, 6710)
+7405 = BUFF(6174)
+7408 = BUFF(6174)
+7411 = BUFF(5936)
+7414 = BUFF(5898)
+7417 = BUFF(5905)
+7420 = BUFF(5915)
+7423 = BUFF(5926)
+7426 = BUFF(5728)
+7429 = BUFF(5690)
+7432 = BUFF(5697)
+7435 = BUFF(5707)
+7438 = BUFF(5718)
+7441 = NAND(6192, 6711)
+7444 = NAND(6194, 6712)
+7447 = BUFF(5683)
+7450 = BUFF(5670)
+7453 = BUFF(5632)
+7456 = BUFF(5654)
+7459 = BUFF(5640)
+7462 = BUFF(5640)
+7465 = BUFF(5683)
+7468 = BUFF(5670)
+7471 = BUFF(5632)
+7474 = BUFF(5654)
+7477 = NOT(6196)
+7478 = NOT(6199)
+7479 = BUFF(5850)
+7482 = BUFF(5789)
+7485 = BUFF(5771)
+7488 = BUFF(5778)
+7491 = BUFF(5850)
+7494 = BUFF(5789)
+7497 = BUFF(5771)
+7500 = BUFF(5778)
+7503 = BUFF(5856)
+7506 = BUFF(5837)
+7509 = BUFF(5799)
+7512 = BUFF(5821)
+7515 = BUFF(5807)
+7518 = BUFF(5807)
+7521 = BUFF(5856)
+7524 = BUFF(5837)
+7527 = BUFF(5799)
+7530 = BUFF(5821)
+7533 = BUFF(5863)
+7536 = BUFF(5863)
+7539 = BUFF(5870)
+7542 = BUFF(5870)
+7545 = BUFF(5881)
+7548 = BUFF(5881)
+7551 = NOT(6214)
+7552 = NOT(6217)
+7553 = BUFF(5981)
+7556 = NOT(6249)
+7557 = NOT(6252)
+7558 = NOT(6243)
+7559 = NOT(6246)
+7560 = NAND(6731, 6732)
+7563 = NAND(6729, 6730)
+7566 = NAND(6735, 6736)
+7569 = NAND(6733, 6734)
+7572 = NOT(6232)
+7573 = NOT(6236)
+7574 = NAND(6743, 6744)
+7577 = NAND(6741, 6742)
+7580 = NOT(6263)
+7581 = NOT(6266)
+7582 = NAND(6753, 6754)
+7585 = NAND(6751, 6752)
+7588 = NAND(6757, 6758)
+7591 = NAND(6755, 6756)
+7609 = OR(3096, 6766, 6767, 6768, 6769)
+7613 = OR(3107, 6782)
+7620 = OR(3136, 6787, 6788, 6789, 6790)
+7649 = OR(3168, 6836, 6837, 6838)
+7650 = OR(3173, 6844)
+7655 = OR(3184, 6848, 6849, 6850, 6851)
+7659 = OR(3195, 6864)
+7668 = OR(3210, 6870, 6871, 6872)
+7671 = OR(3228, 6884, 6885, 6886, 6887)
+7744 = NAND(3661, 6968)
+7822 = NAND(3664, 7056)
+7825 = OR(3361, 7060, 7061, 7062)
+7826 = OR(3365, 7064, 7065, 7066, 7067)
+7852 = OR(3370, 7103, 7104, 7105, 7106)
+8114 = OR(3101, 6777, 6778, 6779)
+8117 = OR(3097, 6770, 6771, 6772, 6773)
+8131 = NOR(3101, 6780, 6781)
+8134 = NOR(3097, 6774, 6775, 6776)
+8144 = NAND(6199, 7477)
+8145 = NAND(6196, 7478)
+8146 = OR(3169, 6839, 6840, 6841)
+8156 = NOR(3169, 6842, 6843)
+8166 = OR(3189, 6859, 6860, 6861)
+8169 = OR(3185, 6852, 6853, 6854, 6855)
+8183 = NOR(3189, 6862, 6863)
+8186 = NOR(3185, 6856, 6857, 6858)
+8196 = OR(3211, 6873, 6874, 6875)
+8200 = NOR(3211, 6876, 6877)
+8204 = OR(3215, 6878, 6879)
+8208 = NOR(3215, 6880)
+8216 = NAND(6252, 7556)
+8217 = NAND(6249, 7557)
+8218 = NAND(6246, 7558)
+8219 = NAND(6243, 7559)
+8232 = NAND(6266, 7580)
+8233 = NAND(6263, 7581)
+8242 = NOT(7411)
+8243 = NOT(7414)
+8244 = NOT(7417)
+8245 = NOT(7420)
+8246 = NOT(7423)
+8247 = NOT(7426)
+8248 = NOT(7429)
+8249 = NOT(7432)
+8250 = NOT(7435)
+8251 = NOT(7438)
+8252 = NOT(7136)
+8253 = NOT(6923)
+8254 = NOT(6762)
+8260 = NOT(7459)
+8261 = NOT(7462)
+8262 = AND(3122, 6762)
+8269 = AND(3155, 6784)
+8274 = NOT(6815)
+8275 = NOT(6818)
+8276 = NOT(6821)
+8277 = NOT(6824)
+8278 = NOT(6827)
+8279 = NOT(6830)
+8280 = AND(5740, 5736, 6815)
+8281 = AND(6800, 6797, 6818)
+8282 = AND(5751, 5747, 6821)
+8283 = AND(6806, 6803, 6824)
+8284 = AND(5762, 5758, 6827)
+8285 = AND(6812, 6809, 6830)
+8288 = NOT(6845)
+8294 = NOT(7488)
+8295 = NOT(7500)
+8296 = NOT(7515)
+8297 = NOT(7518)
+8298 = AND(6833, 6845)
+8307 = AND(6867, 6881)
+8315 = NOT(7533)
+8317 = NOT(7536)
+8319 = NOT(7539)
+8321 = NOT(7542)
+8322 = NAND(7545, 4543)
+8323 = NOT(7545)
+8324 = NAND(7548, 5943)
+8325 = NOT(7548)
+8326 = NAND(6967, 7744)
+8333 = AND(6901, 6923, 6912, 6894)
+8337 = AND(6894, 4545)
+8338 = AND(6901, 6894, 4549)
+8339 = AND(6912, 6894, 4555, 6901)
+8340 = AND(6901, 4549)
+8341 = AND(6912, 4555, 6901)
+8342 = AND(6923, 6912, 6901)
+8343 = AND(6901, 4549)
+8344 = AND(4555, 6912, 6901)
+8345 = AND(6912, 4555)
+8346 = AND(6923, 6912)
+8347 = AND(6912, 4555)
+8348 = AND(6929, 4563)
+8349 = AND(6936, 6929, 4566)
+8350 = AND(6946, 6929, 4570, 6936)
+8351 = AND(6957, 6946, 6929, 5960, 6936)
+8352 = AND(6936, 4566)
+8353 = AND(6946, 4570, 6936)
+8354 = AND(6957, 6946, 5960, 6936)
+8355 = AND(4570, 6946)
+8356 = AND(6957, 6946, 5960)
+8357 = AND(6957, 5960)
+8358 = NAND(7055, 7822)
+8365 = AND(7049, 6988, 6977, 6970)
+8369 = AND(6970, 4577)
+8370 = AND(6977, 6970, 4581)
+8371 = AND(6988, 6970, 4586, 6977)
+8372 = AND(6977, 4581)
+8373 = AND(6988, 4586, 6977)
+8374 = AND(7049, 6988, 6977)
+8375 = AND(6977, 4581)
+8376 = AND(6988, 4586, 6977)
+8377 = AND(6988, 4586)
+8378 = AND(6998, 4593)
+8379 = AND(7006, 6998, 4597)
+8380 = AND(7020, 6998, 4603, 7006)
+8381 = AND(7036, 7020, 6998, 5981, 7006)
+8382 = AND(7006, 4597)
+8383 = AND(7020, 4603, 7006)
+8384 = AND(7036, 7020, 5981, 7006)
+8385 = AND(7006, 4597)
+8386 = AND(7020, 4603, 7006)
+8387 = AND(7036, 7020, 5981, 7006)
+8388 = AND(7020, 4603)
+8389 = AND(7036, 7020, 5981)
+8390 = AND(7020, 4603)
+8391 = AND(7036, 7020, 5981)
+8392 = AND(7036, 5981)
+8393 = AND(7049, 6988)
+8394 = AND(7057, 7063)
+8404 = AND(7057, 7826)
+8405 = AND(7098, 7077, 7073, 7068)
+8409 = AND(7068, 4632)
+8410 = AND(7073, 7068, 4634)
+8411 = AND(7077, 7068, 4635, 7073)
+8412 = AND(7099, 7095, 7091, 7086, 7080)
+8415 = AND(7080, 4638)
+8416 = AND(7086, 7080, 4639)
+8417 = AND(7091, 7080, 4640, 7086)
+8418 = AND(7095, 7091, 7080, 4641, 7086)
+8421 = AND(3375, 7100)
+8430 = AND(7114, 7136, 7125, 7107)
+8433 = AND(7107, 4657)
+8434 = AND(7114, 7107, 4661)
+8435 = AND(7125, 7107, 4667, 7114)
+8436 = AND(7114, 4661)
+8437 = AND(7125, 4667, 7114)
+8438 = AND(7136, 7125, 7114)
+8439 = AND(7114, 4661)
+8440 = AND(4667, 7125, 7114)
+8441 = AND(7125, 4667)
+8442 = AND(7136, 7125)
+8443 = AND(7125, 4667)
+8444 = AND(7149, 7180, 7159, 7142, 7170)
+8447 = AND(7142, 4675)
+8448 = AND(7149, 7142, 4678)
+8449 = AND(7159, 7142, 4682, 7149)
+8450 = AND(7170, 7159, 7142, 4687, 7149)
+8451 = AND(7149, 4678)
+8452 = AND(7159, 4682, 7149)
+8453 = AND(7170, 7159, 4687, 7149)
+8454 = AND(4682, 7159)
+8455 = AND(7170, 7159, 4687)
+8456 = AND(7170, 4687)
+8457 = NOT(7194)
+8460 = NOT(7198)
+8463 = NOT(7205)
+8466 = NOT(7209)
+8469 = NOT(7216)
+8470 = NOT(7219)
+8471 = BUFF(7202)
+8474 = BUFF(7202)
+8477 = BUFF(7213)
+8480 = BUFF(7213)
+8483 = AND(6083, 6079, 7216)
+8484 = AND(7191, 7188, 7219)
+8485 = AND(7301, 7240, 7229, 7222)
+8488 = AND(7222, 4702)
+8489 = AND(7229, 7222, 4706)
+8490 = AND(7240, 7222, 4711, 7229)
+8491 = AND(7229, 4706)
+8492 = AND(7240, 4711, 7229)
+8493 = AND(7301, 7240, 7229)
+8494 = AND(7229, 4706)
+8495 = AND(7240, 4711, 7229)
+8496 = AND(7240, 4711)
+8497 = AND(7307, 7288, 7272, 7258, 7250)
+8500 = AND(7250, 4718)
+8501 = AND(7258, 7250, 4722)
+8502 = AND(7272, 7250, 4728, 7258)
+8503 = AND(7288, 7272, 7250, 4735, 7258)
+8504 = AND(7258, 4722)
+8505 = AND(7272, 4728, 7258)
+8506 = AND(7288, 7272, 4735, 7258)
+8507 = AND(7307, 7272, 7258, 7288)
+8508 = AND(7258, 4722)
+8509 = AND(7272, 4728, 7258)
+8510 = AND(7288, 7272, 4735, 7258)
+8511 = AND(7272, 4728)
+8512 = AND(7288, 7272, 4735)
+8513 = AND(7307, 7272, 7288)
+8514 = AND(7272, 4728)
+8515 = AND(7288, 7272, 4735)
+8516 = AND(7288, 4735)
+8517 = AND(7301, 7240)
+8518 = AND(7307, 7288)
+8519 = NOT(7314)
+8522 = NOT(7318)
+8525 = BUFF(7322)
+8528 = BUFF(7322)
+8531 = BUFF(7331)
+8534 = BUFF(7331)
+8537 = NOT(7340)
+8538 = NOT(7343)
+8539 = AND(6141, 6137, 7340)
+8540 = AND(7337, 7334, 7343)
+8541 = AND(7376, 7355, 7351, 7346)
+8545 = AND(7346, 4757)
+8546 = AND(7351, 7346, 4758)
+8547 = AND(7355, 7346, 4759, 7351)
+8548 = AND(7377, 7373, 7369, 7364, 7358)
+8551 = AND(7358, 4762)
+8552 = AND(7364, 7358, 4764)
+8553 = AND(7369, 7358, 4766, 7364)
+8554 = AND(7373, 7369, 7358, 4767, 7364)
+8555 = NOT(7387)
+8558 = NOT(7394)
+8561 = NOT(7398)
+8564 = NOT(7405)
+8565 = NOT(7408)
+8566 = BUFF(7391)
+8569 = BUFF(7391)
+8572 = BUFF(7402)
+8575 = BUFF(7402)
+8578 = AND(6170, 6166, 7405)
+8579 = AND(7381, 7378, 7408)
+8580 = BUFF(7180)
+8583 = BUFF(7142)
+8586 = BUFF(7149)
+8589 = BUFF(7159)
+8592 = BUFF(7170)
+8595 = BUFF(6929)
+8598 = BUFF(6936)
+8601 = BUFF(6946)
+8604 = BUFF(6957)
+8607 = NOT(7441)
+8608 = NAND(7441, 5469)
+8609 = NOT(7444)
+8610 = NAND(7444, 4793)
+8615 = NOT(7447)
+8616 = NOT(7450)
+8617 = NOT(7453)
+8618 = NOT(7456)
+8619 = NOT(7474)
+8624 = NOT(7465)
+8625 = NOT(7468)
+8626 = NOT(7471)
+8627 = NAND(8144, 8145)
+8632 = NOT(7479)
+8633 = NOT(7482)
+8634 = NOT(7485)
+8637 = NOT(7491)
+8638 = NOT(7494)
+8639 = NOT(7497)
+8644 = NOT(7503)
+8645 = NOT(7506)
+8646 = NOT(7509)
+8647 = NOT(7512)
+8648 = NOT(7530)
+8653 = NOT(7521)
+8654 = NOT(7524)
+8655 = NOT(7527)
+8660 = BUFF(6894)
+8663 = BUFF(6894)
+8666 = BUFF(6901)
+8669 = BUFF(6901)
+8672 = BUFF(6912)
+8675 = BUFF(6912)
+8678 = BUFF(7049)
+8681 = BUFF(6988)
+8684 = BUFF(6970)
+8687 = BUFF(6977)
+8690 = BUFF(7049)
+8693 = BUFF(6988)
+8696 = BUFF(6970)
+8699 = BUFF(6977)
+8702 = BUFF(7036)
+8705 = BUFF(6998)
+8708 = BUFF(7020)
+8711 = BUFF(7006)
+8714 = BUFF(7006)
+8717 = NOT(7553)
+8718 = BUFF(7036)
+8721 = BUFF(6998)
+8724 = BUFF(7020)
+8727 = NAND(8216, 8217)
+8730 = NAND(8218, 8219)
+8733 = NOT(7574)
+8734 = NOT(7577)
+8735 = BUFF(7107)
+8738 = BUFF(7107)
+8741 = BUFF(7114)
+8744 = BUFF(7114)
+8747 = BUFF(7125)
+8750 = BUFF(7125)
+8753 = NOT(7560)
+8754 = NOT(7563)
+8755 = NOT(7566)
+8756 = NOT(7569)
+8757 = BUFF(7301)
+8760 = BUFF(7240)
+8763 = BUFF(7222)
+8766 = BUFF(7229)
+8769 = BUFF(7301)
+8772 = BUFF(7240)
+8775 = BUFF(7222)
+8778 = BUFF(7229)
+8781 = BUFF(7307)
+8784 = BUFF(7288)
+8787 = BUFF(7250)
+8790 = BUFF(7272)
+8793 = BUFF(7258)
+8796 = BUFF(7258)
+8799 = BUFF(7307)
+8802 = BUFF(7288)
+8805 = BUFF(7250)
+8808 = BUFF(7272)
+8811 = NAND(8232, 8233)
+8814 = NOT(7588)
+8815 = NOT(7591)
+8816 = NOT(7582)
+8817 = NOT(7585)
+8818 = AND(7620, 3155)
+8840 = AND(3122, 7609)
+8857 = NOT(7609)
+8861 = AND(6797, 5740, 8274)
+8862 = AND(5736, 6800, 8275)
+8863 = AND(6803, 5751, 8276)
+8864 = AND(5747, 6806, 8277)
+8865 = AND(6809, 5762, 8278)
+8866 = AND(5758, 6812, 8279)
+8871 = NOT(7655)
+8874 = AND(6833, 7655)
+8878 = AND(7671, 6867)
+8879 = NOT(8196)
+8880 = NAND(8196, 8315)
+8881 = NOT(8200)
+8882 = NAND(8200, 8317)
+8883 = NOT(8204)
+8884 = NAND(8204, 8319)
+8885 = NOT(8208)
+8886 = NAND(8208, 8321)
+8887 = NAND(3658, 8323)
+8888 = NAND(4817, 8325)
+8898 = OR(4544, 8337, 8338, 8339)
+8902 = OR(4562, 8348, 8349, 8350, 8351)
+8920 = OR(4576, 8369, 8370, 8371)
+8924 = OR(4581, 8377)
+8927 = OR(4592, 8378, 8379, 8380, 8381)
+8931 = OR(4603, 8392)
+8943 = OR(7825, 8404)
+8950 = OR(4630, 8409, 8410, 8411)
+8956 = OR(4637, 8415, 8416, 8417, 8418)
+8959 = NOT(7852)
+8960 = AND(3375, 7852)
+8963 = OR(4656, 8433, 8434, 8435)
+8966 = OR(4674, 8447, 8448, 8449, 8450)
+8991 = AND(7188, 6083, 8469)
+8992 = AND(6079, 7191, 8470)
+8995 = OR(4701, 8488, 8489, 8490)
+8996 = OR(4706, 8496)
+9001 = OR(4717, 8500, 8501, 8502, 8503)
+9005 = OR(4728, 8516)
+9024 = AND(7334, 6141, 8537)
+9025 = AND(6137, 7337, 8538)
+9029 = OR(4756, 8545, 8546, 8547)
+9035 = OR(4760, 8551, 8552, 8553, 8554)
+9053 = AND(7378, 6170, 8564)
+9054 = AND(6166, 7381, 8565)
+9064 = NAND(4303, 8607)
+9065 = NAND(3507, 8609)
+9066 = NOT(8114)
+9067 = NAND(8114, 4795)
+9068 = OR(7613, 6783)
+9071 = NOT(8117)
+9072 = NOT(8131)
+9073 = NAND(8131, 6195)
+9074 = NOT(7613)
+9077 = NOT(8134)
+9079 = OR(7650, 6865)
+9082 = NOT(8146)
+9083 = NOT(7650)
+9086 = NOT(8156)
+9087 = NOT(8166)
+9088 = NAND(8166, 4813)
+9089 = OR(7659, 6866)
+9092 = NOT(8169)
+9093 = NOT(8183)
+9094 = NAND(8183, 6203)
+9095 = NOT(7659)
+9098 = NOT(8186)
+9099 = OR(4545, 8340, 8341, 8342)
+9103 = NOR(4545, 8343, 8344)
+9107 = OR(4549, 8345, 8346)
+9111 = NOR(4549, 8347)
+9117 = OR(4577, 8372, 8373, 8374)
+9127 = NOR(4577, 8375, 8376)
+9146 = NOR(4597, 8390, 8391)
+9149 = NOR(4593, 8385, 8386, 8387)
+9159 = NAND(7577, 8733)
+9160 = NAND(7574, 8734)
+9161 = OR(4657, 8436, 8437, 8438)
+9165 = NOR(4657, 8439, 8440)
+9169 = OR(4661, 8441, 8442)
+9173 = NOR(4661, 8443)
+9179 = NAND(7563, 8753)
+9180 = NAND(7560, 8754)
+9181 = NAND(7569, 8755)
+9182 = NAND(7566, 8756)
+9183 = OR(4702, 8491, 8492, 8493)
+9193 = NOR(4702, 8494, 8495)
+9203 = OR(4722, 8511, 8512, 8513)
+9206 = OR(4718, 8504, 8505, 8506, 8507)
+9220 = NOR(4722, 8514, 8515)
+9223 = NOR(4718, 8508, 8509, 8510)
+9234 = NAND(7591, 8814)
+9235 = NAND(7588, 8815)
+9236 = NAND(7585, 8816)
+9237 = NAND(7582, 8817)
+9238 = OR(3159, 8818)
+9242 = OR(3126, 8840)
+9243 = NAND(8324, 8888)
+9244 = NOT(8580)
+9245 = NOT(8583)
+9246 = NOT(8586)
+9247 = NOT(8589)
+9248 = NOT(8592)
+9249 = NOT(8595)
+9250 = NOT(8598)
+9251 = NOT(8601)
+9252 = NOT(8604)
+9256 = NOR(8861, 8280)
+9257 = NOR(8862, 8281)
+9258 = NOR(8863, 8282)
+9259 = NOR(8864, 8283)
+9260 = NOR(8865, 8284)
+9261 = NOR(8866, 8285)
+9262 = NOT(8627)
+9265 = OR(7649, 8874)
+9268 = OR(7668, 8878)
+9271 = NAND(7533, 8879)
+9272 = NAND(7536, 8881)
+9273 = NAND(7539, 8883)
+9274 = NAND(7542, 8885)
+9275 = NAND(8322, 8887)
+9276 = NOT(8333)
+9280 = AND(6936, 8326, 6946, 6929, 6957)
+9285 = AND(367, 8326, 6946, 6957, 6936)
+9286 = AND(367, 8326, 6946, 6957)
+9287 = AND(367, 8326, 6957)
+9288 = AND(367, 8326)
+9290 = NOT(8660)
+9292 = NOT(8663)
+9294 = NOT(8666)
+9296 = NOT(8669)
+9297 = NAND(8672, 5966)
+9298 = NOT(8672)
+9299 = NAND(8675, 6969)
+9300 = NOT(8675)
+9301 = NOT(8365)
+9307 = AND(8358, 7036, 7020, 7006, 6998)
+9314 = AND(8358, 7020, 7006, 7036)
+9315 = AND(8358, 7020, 7036)
+9318 = AND(8358, 7036)
+9319 = NOT(8687)
+9320 = NOT(8699)
+9321 = NOT(8711)
+9322 = NOT(8714)
+9323 = NOT(8727)
+9324 = NOT(8730)
+9326 = NOT(8405)
+9332 = AND(8405, 8412)
+9339 = OR(4193, 8960)
+9344 = AND(8430, 8444)
+9352 = NOT(8735)
+9354 = NOT(8738)
+9356 = NOT(8741)
+9358 = NOT(8744)
+9359 = NAND(8747, 6078)
+9360 = NOT(8747)
+9361 = NAND(8750, 7187)
+9362 = NOT(8750)
+9363 = NOT(8471)
+9364 = NOT(8474)
+9365 = NOT(8477)
+9366 = NOT(8480)
+9367 = NOR(8991, 8483)
+9368 = NOR(8992, 8484)
+9369 = AND(7198, 7194, 8471)
+9370 = AND(8460, 8457, 8474)
+9371 = AND(7209, 7205, 8477)
+9372 = AND(8466, 8463, 8480)
+9375 = NOT(8497)
+9381 = NOT(8766)
+9382 = NOT(8778)
+9383 = NOT(8793)
+9384 = NOT(8796)
+9385 = AND(8485, 8497)
+9392 = NOT(8525)
+9393 = NOT(8528)
+9394 = NOT(8531)
+9395 = NOT(8534)
+9396 = AND(7318, 7314, 8525)
+9397 = AND(8522, 8519, 8528)
+9398 = AND(6131, 6127, 8531)
+9399 = AND(7328, 7325, 8534)
+9400 = NOR(9024, 8539)
+9401 = NOR(9025, 8540)
+9402 = NOT(8541)
+9407 = NAND(8548, 89)
+9408 = AND(8541, 8548)
+9412 = NOT(8811)
+9413 = NOT(8566)
+9414 = NOT(8569)
+9415 = NOT(8572)
+9416 = NOT(8575)
+9417 = NOR(9053, 8578)
+9418 = NOR(9054, 8579)
+9419 = AND(7387, 6177, 8566)
+9420 = AND(8555, 7384, 8569)
+9421 = AND(7398, 7394, 8572)
+9422 = AND(8561, 8558, 8575)
+9423 = BUFF(8326)
+9426 = NAND(9064, 8608)
+9429 = NAND(9065, 8610)
+9432 = NAND(3515, 9066)
+9435 = NAND(4796, 9072)
+9442 = NAND(3628, 9087)
+9445 = NAND(4814, 9093)
+9454 = NOT(8678)
+9455 = NOT(8681)
+9456 = NOT(8684)
+9459 = NOT(8690)
+9460 = NOT(8693)
+9461 = NOT(8696)
+9462 = BUFF(8358)
+9465 = NOT(8702)
+9466 = NOT(8705)
+9467 = NOT(8708)
+9468 = NOT(8724)
+9473 = BUFF(8358)
+9476 = NOT(8718)
+9477 = NOT(8721)
+9478 = NAND(9159, 9160)
+9485 = NAND(9179, 9180)
+9488 = NAND(9181, 9182)
+9493 = NOT(8757)
+9494 = NOT(8760)
+9495 = NOT(8763)
+9498 = NOT(8769)
+9499 = NOT(8772)
+9500 = NOT(8775)
+9505 = NOT(8781)
+9506 = NOT(8784)
+9507 = NOT(8787)
+9508 = NOT(8790)
+9509 = NOT(8808)
+9514 = NOT(8799)
+9515 = NOT(8802)
+9516 = NOT(8805)
+9517 = NAND(9234, 9235)
+9520 = NAND(9236, 9237)
+9526 = AND(8943, 8421)
+9531 = AND(8943, 8421)
+9539 = NAND(9271, 8880)
+9540 = NAND(9273, 8884)
+9541 = NOT(9275)
+9543 = AND(8857, 8254)
+9551 = AND(8871, 8288)
+9555 = NAND(9272, 8882)
+9556 = NAND(9274, 8886)
+9557 = NOT(8898)
+9560 = AND(8902, 8333)
+9561 = NOT(9099)
+9562 = NAND(9099, 9290)
+9563 = NOT(9103)
+9564 = NAND(9103, 9292)
+9565 = NOT(9107)
+9566 = NAND(9107, 9294)
+9567 = NOT(9111)
+9568 = NAND(9111, 9296)
+9569 = NAND(4844, 9298)
+9570 = NAND(6207, 9300)
+9571 = NOT(8920)
+9575 = NOT(8927)
+9579 = AND(8365, 8927)
+9581 = NOT(8950)
+9582 = NOT(8956)
+9585 = AND(8405, 8956)
+9591 = AND(8966, 8430)
+9592 = NOT(9161)
+9593 = NAND(9161, 9352)
+9594 = NOT(9165)
+9595 = NAND(9165, 9354)
+9596 = NOT(9169)
+9597 = NAND(9169, 9356)
+9598 = NOT(9173)
+9599 = NAND(9173, 9358)
+9600 = NAND(4940, 9360)
+9601 = NAND(6220, 9362)
+9602 = AND(8457, 7198, 9363)
+9603 = AND(7194, 8460, 9364)
+9604 = AND(8463, 7209, 9365)
+9605 = AND(7205, 8466, 9366)
+9608 = NOT(9001)
+9611 = AND(8485, 9001)
+9612 = AND(8519, 7318, 9392)
+9613 = AND(7314, 8522, 9393)
+9614 = AND(7325, 6131, 9394)
+9615 = AND(6127, 7328, 9395)
+9616 = NOT(9029)
+9617 = NOT(9035)
+9618 = AND(8541, 9035)
+9621 = AND(7384, 7387, 9413)
+9622 = AND(6177, 8555, 9414)
+9623 = AND(8558, 7398, 9415)
+9624 = AND(7394, 8561, 9416)
+9626 = OR(4563, 8352, 8353, 8354, 9285)
+9629 = OR(4566, 8355, 8356, 9286)
+9632 = OR(4570, 8357, 9287)
+9635 = OR(5960, 9288)
+9642 = NAND(9067, 9432)
+9645 = NOT(9068)
+9646 = NAND(9073, 9435)
+9649 = NOT(9074)
+9650 = NAND(9257, 9256)
+9653 = NAND(9259, 9258)
+9656 = NAND(9261, 9260)
+9659 = NOT(9079)
+9660 = NAND(9079, 4809)
+9661 = NOT(9083)
+9662 = NAND(9083, 6202)
+9663 = NAND(9088, 9442)
+9666 = NOT(9089)
+9667 = NAND(9094, 9445)
+9670 = NOT(9095)
+9671 = OR(8924, 8393)
+9674 = NOT(9117)
+9675 = NOT(8924)
+9678 = NOT(9127)
+9679 = OR(4597, 8388, 8389, 9315)
+9682 = OR(8931, 9318)
+9685 = OR(4593, 8382, 8383, 8384, 9314)
+9690 = NOT(9146)
+9691 = NAND(9146, 8717)
+9692 = NOT(8931)
+9695 = NOT(9149)
+9698 = NAND(9401, 9400)
+9702 = NAND(9368, 9367)
+9707 = OR(8996, 8517)
+9710 = NOT(9183)
+9711 = NOT(8996)
+9714 = NOT(9193)
+9715 = NOT(9203)
+9716 = NAND(9203, 6235)
+9717 = OR(9005, 8518)
+9720 = NOT(9206)
+9721 = NOT(9220)
+9722 = NAND(9220, 7573)
+9723 = NOT(9005)
+9726 = NOT(9223)
+9727 = NAND(9418, 9417)
+9732 = AND(9268, 8269)
+9733 = NAND(9581, 9326)
+9734 = AND(89, 9408, 9332, 8394, 8421)
+9735 = AND(89, 9408, 9332, 8394, 8421)
+9736 = AND(9265, 8262)
+9737 = NOT(9555)
+9738 = NOT(9556)
+9739 = NAND(9361, 9601)
+9740 = NAND(9423, 1115)
+9741 = NOT(9423)
+9742 = NAND(9299, 9570)
+9754 = AND(8333, 9280)
+9758 = OR(8898, 9560)
+9762 = NAND(8660, 9561)
+9763 = NAND(8663, 9563)
+9764 = NAND(8666, 9565)
+9765 = NAND(8669, 9567)
+9766 = NAND(9297, 9569)
+9767 = AND(9280, 367)
+9768 = NAND(9557, 9276)
+9769 = NOT(9307)
+9773 = NAND(9307, 367)
+9774 = NAND(9571, 9301)
+9775 = AND(8365, 9307)
+9779 = OR(8920, 9579)
+9784 = NOT(9478)
+9785 = NAND(9616, 9402)
+9786 = OR(8950, 9585)
+9790 = AND(89, 9408, 9332, 8394)
+9791 = OR(8963, 9591)
+9795 = NAND(8735, 9592)
+9796 = NAND(8738, 9594)
+9797 = NAND(8741, 9596)
+9798 = NAND(8744, 9598)
+9799 = NAND(9359, 9600)
+9800 = NOR(9602, 9369)
+9801 = NOR(9603, 9370)
+9802 = NOR(9604, 9371)
+9803 = NOR(9605, 9372)
+9805 = NOT(9485)
+9806 = NOT(9488)
+9809 = OR(8995, 9611)
+9813 = NOR(9612, 9396)
+9814 = NOR(9613, 9397)
+9815 = NOR(9614, 9398)
+9816 = NOR(9615, 9399)
+9817 = AND(9617, 9407)
+9820 = OR(9029, 9618)
+9825 = NOT(9517)
+9826 = NOT(9520)
+9827 = NOR(9621, 9419)
+9828 = NOR(9622, 9420)
+9829 = NOR(9623, 9421)
+9830 = NOR(9624, 9422)
+9835 = NOT(9426)
+9836 = NAND(9426, 4789)
+9837 = NOT(9429)
+9838 = NAND(9429, 4794)
+9846 = NAND(3625, 9659)
+9847 = NAND(4810, 9661)
+9862 = NOT(9462)
+9863 = NAND(7553, 9690)
+9866 = NOT(9473)
+9873 = NAND(5030, 9715)
+9876 = NAND(6236, 9721)
+9890 = NAND(9795, 9593)
+9891 = NAND(9797, 9597)
+9892 = NOT(9799)
+9893 = NAND(871, 9741)
+9894 = NAND(9762, 9562)
+9895 = NAND(9764, 9566)
+9896 = NOT(9766)
+9897 = NOT(9626)
+9898 = NAND(9626, 9249)
+9899 = NOT(9629)
+9900 = NAND(9629, 9250)
+9901 = NOT(9632)
+9902 = NAND(9632, 9251)
+9903 = NOT(9635)
+9904 = NAND(9635, 9252)
+9905 = NOT(9543)
+9906 = NOT(9650)
+9907 = NAND(9650, 5769)
+9908 = NOT(9653)
+9909 = NAND(9653, 5770)
+9910 = NOT(9656)
+9911 = NAND(9656, 9262)
+9917 = NOT(9551)
+9923 = NAND(9763, 9564)
+9924 = NAND(9765, 9568)
+9925 = OR(8902, 9767)
+9932 = AND(9575, 9773)
+9935 = AND(9575, 9769)
+9938 = NOT(9698)
+9939 = NAND(9698, 9323)
+9945 = NAND(9796, 9595)
+9946 = NAND(9798, 9599)
+9947 = NOT(9702)
+9948 = NAND(9702, 6102)
+9949 = AND(9608, 9375)
+9953 = NOT(9727)
+9954 = NAND(9727, 9412)
+9955 = NAND(3502, 9835)
+9956 = NAND(3510, 9837)
+9957 = NOT(9642)
+9958 = NAND(9642, 9645)
+9959 = NOT(9646)
+9960 = NAND(9646, 9649)
+9961 = NAND(9660, 9846)
+9964 = NAND(9662, 9847)
+9967 = NOT(9663)
+9968 = NAND(9663, 9666)
+9969 = NOT(9667)
+9970 = NAND(9667, 9670)
+9971 = NOT(9671)
+9972 = NAND(9671, 6213)
+9973 = NOT(9675)
+9974 = NAND(9675, 7551)
+9975 = NOT(9679)
+9976 = NAND(9679, 7552)
+9977 = NOT(9682)
+9978 = NOT(9685)
+9979 = NAND(9691, 9863)
+9982 = NOT(9692)
+9983 = NAND(9814, 9813)
+9986 = NAND(9816, 9815)
+9989 = NAND(9801, 9800)
+9992 = NAND(9803, 9802)
+9995 = NOT(9707)
+9996 = NAND(9707, 6231)
+9997 = NOT(9711)
+9998 = NAND(9711, 7572)
+9999 = NAND(9716, 9873)
+10002 = NOT(9717)
+10003 = NAND(9722, 9876)
+10006 = NOT(9723)
+10007 = NAND(9830, 9829)
+10010 = NAND(9828, 9827)
+10013 = AND(9791, 8307, 8269)
+10014 = AND(9758, 9344, 8307, 8269)
+10015 = AND(367, 9754, 9344, 8307, 8269)
+10016 = AND(9786, 8394, 8421)
+10017 = AND(9820, 9332, 8394, 8421)
+10018 = AND(9786, 8394, 8421)
+10019 = AND(9820, 9332, 8394, 8421)
+10020 = AND(9809, 8298, 8262)
+10021 = AND(9779, 9385, 8298, 8262)
+10022 = AND(367, 9775, 9385, 8298, 8262)
+10023 = NOT(9945)
+10024 = NOT(9946)
+10025 = NAND(9740, 9893)
+10026 = NOT(9923)
+10028 = NOT(9924)
+10032 = NAND(8595, 9897)
+10033 = NAND(8598, 9899)
+10034 = NAND(8601, 9901)
+10035 = NAND(8604, 9903)
+10036 = NAND(4803, 9906)
+10037 = NAND(4806, 9908)
+10038 = NAND(8627, 9910)
+10039 = AND(9809, 8298)
+10040 = AND(9779, 9385, 8298)
+10041 = AND(367, 9775, 9385, 8298)
+10042 = AND(9779, 9385)
+10043 = AND(367, 9775, 9385)
+10050 = NAND(8727, 9938)
+10053 = NOT(9817)
+10054 = AND(9817, 9029)
+10055 = AND(9786, 8394)
+10056 = AND(9820, 9332, 8394)
+10057 = AND(9791, 8307)
+10058 = AND(9758, 9344, 8307)
+10059 = AND(367, 9754, 9344, 8307)
+10060 = AND(9758, 9344)
+10061 = AND(367, 9754, 9344)
+10062 = NAND(4997, 9947)
+10067 = NAND(8811, 9953)
+10070 = NAND(9955, 9836)
+10073 = NAND(9956, 9838)
+10076 = NAND(9068, 9957)
+10077 = NAND(9074, 9959)
+10082 = NAND(9089, 9967)
+10083 = NAND(9095, 9969)
+10084 = NAND(4871, 9971)
+10085 = NAND(6214, 9973)
+10086 = NAND(6217, 9975)
+10093 = NAND(5027, 9995)
+10094 = NAND(6232, 9997)
+10101 = OR(9238, 9732, 10013, 10014, 10015)
+10102 = OR(9339, 9526, 10016, 10017, 9734)
+10103 = OR(9339, 9531, 10018, 10019, 9735)
+10104 = OR(9242, 9736, 10020, 10021, 10022)
+10105 = AND(9925, 9894)
+10106 = AND(9925, 9895)
+10107 = AND(9925, 9896)
+10108 = AND(9925, 8253)
+10109 = NAND(10032, 9898)
+10110 = NAND(10033, 9900)
+10111 = NAND(10034, 9902)
+10112 = NAND(10035, 9904)
+10113 = NAND(10036, 9907)
+10114 = NAND(10037, 9909)
+10115 = NAND(10038, 9911)
+10116 = OR(9265, 10039, 10040, 10041)
+10119 = OR(9809, 10042, 10043)
+10124 = NOT(9925)
+10130 = AND(9768, 9925)
+10131 = NOT(9932)
+10132 = NOT(9935)
+10133 = AND(9932, 8920)
+10134 = NAND(10050, 9939)
+10135 = NOT(9983)
+10136 = NAND(9983, 9324)
+10137 = NOT(9986)
+10138 = NAND(9986, 9784)
+10139 = AND(9785, 10053)
+10140 = OR(8943, 10055, 10056, 9790)
+10141 = OR(9268, 10057, 10058, 10059)
+10148 = OR(9791, 10060, 10061)
+10155 = NAND(10062, 9948)
+10156 = NOT(9989)
+10157 = NAND(9989, 9805)
+10158 = NOT(9992)
+10159 = NAND(9992, 9806)
+10160 = NOT(9949)
+10161 = NAND(10067, 9954)
+10162 = NOT(10007)
+10163 = NAND(10007, 9825)
+10164 = NOT(10010)
+10165 = NAND(10010, 9826)
+10170 = NAND(10076, 9958)
+10173 = NAND(10077, 9960)
+10176 = NOT(9961)
+10177 = NAND(9961, 9082)
+10178 = NOT(9964)
+10179 = NAND(9964, 9086)
+10180 = NAND(10082, 9968)
+10183 = NAND(10083, 9970)
+10186 = NAND(9972, 10084)
+10189 = NAND(9974, 10085)
+10192 = NAND(9976, 10086)
+10195 = NOT(9979)
+10196 = NAND(9979, 9982)
+10197 = NAND(9996, 10093)
+10200 = NAND(9998, 10094)
+10203 = NOT(9999)
+10204 = NAND(9999, 10002)
+10205 = NOT(10003)
+10206 = NAND(10003, 10006)
+10212 = NAND(10070, 4308)
+10213 = NAND(10073, 4313)
+10230 = AND(9774, 10131)
+10231 = NAND(8730, 10135)
+10232 = NAND(9478, 10137)
+10233 = OR(10139, 10054)
+10234 = NAND(7100, 10140)
+10237 = NAND(9485, 10156)
+10238 = NAND(9488, 10158)
+10239 = NAND(9517, 10162)
+10240 = NAND(9520, 10164)
+10241 = NOT(10070)
+10242 = NOT(10073)
+10247 = NAND(8146, 10176)
+10248 = NAND(8156, 10178)
+10259 = NAND(9692, 10195)
+10264 = NAND(9717, 10203)
+10265 = NAND(9723, 10205)
+10266 = AND(10026, 10124)
+10267 = AND(10028, 10124)
+10268 = AND(9742, 10124)
+10269 = AND(6923, 10124)
+10270 = NAND(6762, 10116)
+10271 = NAND(3061, 10241)
+10272 = NAND(3064, 10242)
+10273 = BUFF(10116)
+10278 = AND(10141, 5728, 5707, 5718, 5697)
+10279 = AND(10141, 5728, 5707, 5718)
+10280 = AND(10141, 5728, 5718)
+10281 = AND(10141, 5728)
+10282 = AND(6784, 10141)
+10283 = NOT(10119)
+10287 = AND(10148, 5936, 5915, 5926, 5905)
+10288 = AND(10148, 5936, 5915, 5926)
+10289 = AND(10148, 5936, 5926)
+10290 = AND(10148, 5936)
+10291 = AND(6881, 10148)
+10292 = AND(8898, 10124)
+10293 = NAND(10231, 10136)
+10294 = NAND(10232, 10138)
+10295 = NAND(8412, 10233)
+10296 = AND(8959, 10234)
+10299 = NAND(10237, 10157)
+10300 = NAND(10238, 10159)
+10301 = OR(10230, 10133)
+10306 = NAND(10239, 10163)
+10307 = NAND(10240, 10165)
+10308 = BUFF(10148)
+10311 = BUFF(10141)
+10314 = NOT(10170)
+10315 = NAND(10170, 9071)
+10316 = NOT(10173)
+10317 = NAND(10173, 9077)
+10318 = NAND(10247, 10177)
+10321 = NAND(10248, 10179)
+10324 = NOT(10180)
+10325 = NAND(10180, 9092)
+10326 = NOT(10183)
+10327 = NAND(10183, 9098)
+10328 = NOT(10186)
+10329 = NAND(10186, 9674)
+10330 = NOT(10189)
+10331 = NAND(10189, 9678)
+10332 = NOT(10192)
+10333 = NAND(10192, 9977)
+10334 = NAND(10259, 10196)
+10337 = NOT(10197)
+10338 = NAND(10197, 9710)
+10339 = NOT(10200)
+10340 = NAND(10200, 9714)
+10341 = NAND(10264, 10204)
+10344 = NAND(10265, 10206)
+10350 = OR(10266, 10105)
+10351 = OR(10267, 10106)
+10352 = OR(10268, 10107)
+10353 = OR(10269, 10108)
+10354 = AND(8857, 10270)
+10357 = NAND(10271, 10212)
+10360 = NAND(10272, 10213)
+10367 = OR(7620, 10282)
+10375 = OR(7671, 10291)
+10381 = OR(10292, 10130)
+10388 = AND(10114, 10134, 10293, 10294)
+10391 = AND(9582, 10295)
+10399 = AND(10113, 10115, 10299, 10300)
+10402 = AND(10155, 10161, 10306, 10307)
+10406 = OR(3229, 6888, 6889, 6890, 10287)
+10409 = OR(3232, 6891, 6892, 10288)
+10412 = OR(3236, 6893, 10289)
+10415 = OR(3241, 10290)
+10419 = OR(3137, 6791, 6792, 6793, 10278)
+10422 = OR(3140, 6794, 6795, 10279)
+10425 = OR(3144, 6796, 10280)
+10428 = OR(3149, 10281)
+10431 = NAND(8117, 10314)
+10432 = NAND(8134, 10316)
+10437 = NAND(8169, 10324)
+10438 = NAND(8186, 10326)
+10439 = NAND(9117, 10328)
+10440 = NAND(9127, 10330)
+10441 = NAND(9682, 10332)
+10444 = NAND(9183, 10337)
+10445 = NAND(9193, 10339)
+10450 = NOT(10296)
+10451 = AND(10296, 4193)
+10455 = NOT(10308)
+10456 = NAND(10308, 8242)
+10465 = NOT(10311)
+10466 = NAND(10311, 8247)
+10479 = NOT(10273)
+10497 = NOT(10301)
+10509 = NAND(10431, 10315)
+10512 = NAND(10432, 10317)
+10515 = NOT(10318)
+10516 = NAND(10318, 8632)
+10517 = NOT(10321)
+10518 = NAND(10321, 8637)
+10519 = NAND(10437, 10325)
+10522 = NAND(10438, 10327)
+10525 = NAND(10439, 10329)
+10528 = NAND(10440, 10331)
+10531 = NAND(10441, 10333)
+10534 = NOT(10334)
+10535 = NAND(10334, 9695)
+10536 = NAND(10444, 10338)
+10539 = NAND(10445, 10340)
+10542 = NOT(10341)
+10543 = NAND(10341, 9720)
+10544 = NOT(10344)
+10545 = NAND(10344, 9726)
+10546 = AND(5631, 10450)
+10547 = NOT(10391)
+10548 = AND(10391, 8950)
+10549 = AND(5165, 10367)
+10550 = NOT(10354)
+10551 = AND(10354, 3126)
+10552 = NAND(7411, 10455)
+10553 = AND(10375, 9539)
+10554 = AND(10375, 9540)
+10555 = AND(10375, 9541)
+10556 = AND(10375, 6761)
+10557 = NOT(10406)
+10558 = NAND(10406, 8243)
+10559 = NOT(10409)
+10560 = NAND(10409, 8244)
+10561 = NOT(10412)
+10562 = NAND(10412, 8245)
+10563 = NOT(10415)
+10564 = NAND(10415, 8246)
+10565 = NAND(7426, 10465)
+10566 = NOT(10419)
+10567 = NAND(10419, 8248)
+10568 = NOT(10422)
+10569 = NAND(10422, 8249)
+10570 = NOT(10425)
+10571 = NAND(10425, 8250)
+10572 = NOT(10428)
+10573 = NAND(10428, 8251)
+10574 = NOT(10399)
+10575 = NOT(10402)
+10576 = NOT(10388)
+10577 = AND(10399, 10402, 10388)
+10581 = AND(10360, 9543, 10273)
+10582 = AND(10357, 9905, 10273)
+10583 = NOT(10367)
+10587 = AND(10367, 5735)
+10588 = AND(10367, 3135)
+10589 = NOT(10375)
+10594 = AND(10381, 7180, 7159, 7170, 7149)
+10595 = AND(10381, 7180, 7159, 7170)
+10596 = AND(10381, 7180, 7170)
+10597 = AND(10381, 7180)
+10598 = AND(8444, 10381)
+10602 = BUFF(10381)
+10609 = NAND(7479, 10515)
+10610 = NAND(7491, 10517)
+10621 = NAND(9149, 10534)
+10626 = NAND(9206, 10542)
+10627 = NAND(9223, 10544)
+10628 = OR(10546, 10451)
+10629 = AND(9733, 10547)
+10631 = AND(5166, 10550)
+10632 = NAND(10552, 10456)
+10637 = NAND(7414, 10557)
+10638 = NAND(7417, 10559)
+10639 = NAND(7420, 10561)
+10640 = NAND(7423, 10563)
+10641 = NAND(10565, 10466)
+10642 = NAND(7429, 10566)
+10643 = NAND(7432, 10568)
+10644 = NAND(7435, 10570)
+10645 = NAND(7438, 10572)
+10647 = AND(886, 887, 10577)
+10648 = AND(10360, 8857, 10479)
+10649 = AND(10357, 7609, 10479)
+10652 = OR(8966, 10598)
+10659 = OR(4675, 8451, 8452, 8453, 10594)
+10662 = OR(4678, 8454, 8455, 10595)
+10665 = OR(4682, 8456, 10596)
+10668 = OR(4687, 10597)
+10671 = NOT(10509)
+10672 = NAND(10509, 8615)
+10673 = NOT(10512)
+10674 = NAND(10512, 8624)
+10675 = NAND(10609, 10516)
+10678 = NAND(10610, 10518)
+10681 = NOT(10519)
+10682 = NAND(10519, 8644)
+10683 = NOT(10522)
+10684 = NAND(10522, 8653)
+10685 = NOT(10525)
+10686 = NAND(10525, 9454)
+10687 = NOT(10528)
+10688 = NAND(10528, 9459)
+10689 = NOT(10531)
+10690 = NAND(10531, 9978)
+10691 = NAND(10621, 10535)
+10694 = NOT(10536)
+10695 = NAND(10536, 9493)
+10696 = NOT(10539)
+10697 = NAND(10539, 9498)
+10698 = NAND(10626, 10543)
+10701 = NAND(10627, 10545)
+10704 = OR(10629, 10548)
+10705 = AND(3159, 10583)
+10706 = OR(10631, 10551)
+10707 = AND(9737, 10589)
+10708 = AND(9738, 10589)
+10709 = AND(9243, 10589)
+10710 = AND(5892, 10589)
+10711 = NAND(10637, 10558)
+10712 = NAND(10638, 10560)
+10713 = NAND(10639, 10562)
+10714 = NAND(10640, 10564)
+10715 = NAND(10642, 10567)
+10716 = NAND(10643, 10569)
+10717 = NAND(10644, 10571)
+10718 = NAND(10645, 10573)
+10719 = NOT(10602)
+10720 = NAND(10602, 9244)
+10729 = NOT(10647)
+10730 = AND(5178, 10583)
+10731 = AND(2533, 10583)
+10737 = NAND(7447, 10671)
+10738 = NAND(7465, 10673)
+10739 = OR(10648, 10649, 10581, 10582)
+10746 = NAND(7503, 10681)
+10747 = NAND(7521, 10683)
+10748 = NAND(8678, 10685)
+10749 = NAND(8690, 10687)
+10750 = NAND(9685, 10689)
+10753 = NAND(8757, 10694)
+10754 = NAND(8769, 10696)
+10759 = OR(10705, 10549)
+10760 = OR(10707, 10553)
+10761 = OR(10708, 10554)
+10762 = OR(10709, 10555)
+10763 = OR(10710, 10556)
+10764 = NAND(8580, 10719)
+10765 = AND(10652, 9890)
+10766 = AND(10652, 9891)
+10767 = AND(10652, 9892)
+10768 = AND(10652, 8252)
+10769 = NOT(10659)
+10770 = NAND(10659, 9245)
+10771 = NOT(10662)
+10772 = NAND(10662, 9246)
+10773 = NOT(10665)
+10774 = NAND(10665, 9247)
+10775 = NOT(10668)
+10776 = NAND(10668, 9248)
+10778 = OR(10730, 10587)
+10781 = OR(10731, 10588)
+10784 = NOT(10652)
+10789 = NAND(10737, 10672)
+10792 = NAND(10738, 10674)
+10796 = NOT(10675)
+10797 = NAND(10675, 8633)
+10798 = NOT(10678)
+10799 = NAND(10678, 8638)
+10800 = NAND(10746, 10682)
+10803 = NAND(10747, 10684)
+10806 = NAND(10748, 10686)
+10809 = NAND(10749, 10688)
+10812 = NAND(10750, 10690)
+10815 = NOT(10691)
+10816 = NAND(10691, 9866)
+10817 = NAND(10753, 10695)
+10820 = NAND(10754, 10697)
+10823 = NOT(10698)
+10824 = NAND(10698, 9505)
+10825 = NOT(10701)
+10826 = NAND(10701, 9514)
+10827 = NAND(10764, 10720)
+10832 = NAND(8583, 10769)
+10833 = NAND(8586, 10771)
+10834 = NAND(8589, 10773)
+10835 = NAND(8592, 10775)
+10836 = NOT(10739)
+10837 = BUFF(10778)
+10838 = BUFF(10778)
+10839 = BUFF(10781)
+10840 = BUFF(10781)
+10845 = NAND(7482, 10796)
+10846 = NAND(7494, 10798)
+10857 = NAND(9473, 10815)
+10862 = NAND(8781, 10823)
+10863 = NAND(8799, 10825)
+10864 = AND(10023, 10784)
+10865 = AND(10024, 10784)
+10866 = AND(9739, 10784)
+10867 = AND(7136, 10784)
+10868 = NAND(10832, 10770)
+10869 = NAND(10833, 10772)
+10870 = NAND(10834, 10774)
+10871 = NAND(10835, 10776)
+10872 = NOT(10789)
+10873 = NAND(10789, 8616)
+10874 = NOT(10792)
+10875 = NAND(10792, 8625)
+10876 = NAND(10845, 10797)
+10879 = NAND(10846, 10799)
+10882 = NOT(10800)
+10883 = NAND(10800, 8645)
+10884 = NOT(10803)
+10885 = NAND(10803, 8654)
+10886 = NOT(10806)
+10887 = NAND(10806, 9455)
+10888 = NOT(10809)
+10889 = NAND(10809, 9460)
+10890 = NOT(10812)
+10891 = NAND(10812, 9862)
+10892 = NAND(10857, 10816)
+10895 = NOT(10817)
+10896 = NAND(10817, 9494)
+10897 = NOT(10820)
+10898 = NAND(10820, 9499)
+10899 = NAND(10862, 10824)
+10902 = NAND(10863, 10826)
+10905 = OR(10864, 10765)
+10906 = OR(10865, 10766)
+10907 = OR(10866, 10767)
+10908 = OR(10867, 10768)
+10909 = NAND(7450, 10872)
+10910 = NAND(7468, 10874)
+10915 = NAND(7506, 10882)
+10916 = NAND(7524, 10884)
+10917 = NAND(8681, 10886)
+10918 = NAND(8693, 10888)
+10919 = NAND(9462, 10890)
+10922 = NAND(8760, 10895)
+10923 = NAND(8772, 10897)
+10928 = NAND(10909, 10873)
+10931 = NAND(10910, 10875)
+10934 = NOT(10876)
+10935 = NAND(10876, 8634)
+10936 = NOT(10879)
+10937 = NAND(10879, 8639)
+10938 = NAND(10915, 10883)
+10941 = NAND(10916, 10885)
+10944 = NAND(10917, 10887)
+10947 = NAND(10918, 10889)
+10950 = NAND(10919, 10891)
+10953 = NOT(10892)
+10954 = NAND(10892, 9476)
+10955 = NAND(10922, 10896)
+10958 = NAND(10923, 10898)
+10961 = NOT(10899)
+10962 = NAND(10899, 9506)
+10963 = NOT(10902)
+10964 = NAND(10902, 9515)
+10969 = NAND(7485, 10934)
+10970 = NAND(7497, 10936)
+10981 = NAND(8718, 10953)
+10986 = NAND(8784, 10961)
+10987 = NAND(8802, 10963)
+10988 = NOT(10928)
+10989 = NAND(10928, 8617)
+10990 = NOT(10931)
+10991 = NAND(10931, 8626)
+10992 = NAND(10969, 10935)
+10995 = NAND(10970, 10937)
+10998 = NOT(10938)
+10999 = NAND(10938, 8646)
+11000 = NOT(10941)
+11001 = NAND(10941, 8655)
+11002 = NOT(10944)
+11003 = NAND(10944, 9456)
+11004 = NOT(10947)
+11005 = NAND(10947, 9461)
+11006 = NOT(10950)
+11007 = NAND(10950, 9465)
+11008 = NAND(10981, 10954)
+11011 = NOT(10955)
+11012 = NAND(10955, 9495)
+11013 = NOT(10958)
+11014 = NAND(10958, 9500)
+11015 = NAND(10986, 10962)
+11018 = NAND(10987, 10964)
+11023 = NAND(7453, 10988)
+11024 = NAND(7471, 10990)
+11027 = NAND(7509, 10998)
+11028 = NAND(7527, 11000)
+11029 = NAND(8684, 11002)
+11030 = NAND(8696, 11004)
+11031 = NAND(8702, 11006)
+11034 = NAND(8763, 11011)
+11035 = NAND(8775, 11013)
+11040 = NOT(10992)
+11041 = NAND(10992, 8294)
+11042 = NOT(10995)
+11043 = NAND(10995, 8295)
+11044 = NAND(11023, 10989)
+11047 = NAND(11024, 10991)
+11050 = NAND(11027, 10999)
+11053 = NAND(11028, 11001)
+11056 = NAND(11029, 11003)
+11059 = NAND(11030, 11005)
+11062 = NAND(11031, 11007)
+11065 = NOT(11008)
+11066 = NAND(11008, 9477)
+11067 = NAND(11034, 11012)
+11070 = NAND(11035, 11014)
+11073 = NOT(11015)
+11074 = NAND(11015, 9507)
+11075 = NOT(11018)
+11076 = NAND(11018, 9516)
+11077 = NAND(7488, 11040)
+11078 = NAND(7500, 11042)
+11095 = NAND(8721, 11065)
+11098 = NAND(8787, 11073)
+11099 = NAND(8805, 11075)
+11100 = NAND(11077, 11041)
+11103 = NAND(11078, 11043)
+11106 = NOT(11056)
+11107 = NAND(11056, 9319)
+11108 = NOT(11059)
+11109 = NAND(11059, 9320)
+11110 = NOT(11067)
+11111 = NAND(11067, 9381)
+11112 = NOT(11070)
+11113 = NAND(11070, 9382)
+11114 = NOT(11044)
+11115 = NAND(11044, 8618)
+11116 = NOT(11047)
+11117 = NAND(11047, 8619)
+11118 = NOT(11050)
+11119 = NAND(11050, 8647)
+11120 = NOT(11053)
+11121 = NAND(11053, 8648)
+11122 = NOT(11062)
+11123 = NAND(11062, 9466)
+11124 = NAND(11095, 11066)
+11127 = NAND(11098, 11074)
+11130 = NAND(11099, 11076)
+11137 = NAND(8687, 11106)
+11138 = NAND(8699, 11108)
+11139 = NAND(8766, 11110)
+11140 = NAND(8778, 11112)
+11141 = NAND(7456, 11114)
+11142 = NAND(7474, 11116)
+11143 = NAND(7512, 11118)
+11144 = NAND(7530, 11120)
+11145 = NAND(8705, 11122)
+11152 = AND(11103, 8871, 10283)
+11153 = AND(11100, 7655, 10283)
+11154 = AND(11103, 9551, 10119)
+11155 = AND(11100, 9917, 10119)
+11156 = NAND(11137, 11107)
+11159 = NAND(11138, 11109)
+11162 = NAND(11139, 11111)
+11165 = NAND(11140, 11113)
+11168 = NAND(11141, 11115)
+11171 = NAND(11142, 11117)
+11174 = NAND(11143, 11119)
+11177 = NAND(11144, 11121)
+11180 = NAND(11145, 11123)
+11183 = NOT(11124)
+11184 = NAND(11124, 9468)
+11185 = NOT(11127)
+11186 = NAND(11127, 9508)
+11187 = NOT(11130)
+11188 = NAND(11130, 9509)
+11205 = OR(11152, 11153, 11154, 11155)
+11210 = NAND(8724, 11183)
+11211 = NAND(8790, 11185)
+11212 = NAND(8808, 11187)
+11213 = NOT(11168)
+11214 = NAND(11168, 8260)
+11215 = NOT(11171)
+11216 = NAND(11171, 8261)
+11217 = NOT(11174)
+11218 = NAND(11174, 8296)
+11219 = NOT(11177)
+11220 = NAND(11177, 8297)
+11222 = AND(11159, 9575, 1218)
+11223 = AND(11156, 8927, 1218)
+11224 = AND(11159, 9935, 750)
+11225 = AND(11156, 10132, 750)
+11226 = AND(11165, 9608, 10497)
+11227 = AND(11162, 9001, 10497)
+11228 = AND(11165, 9949, 10301)
+11229 = AND(11162, 10160, 10301)
+11231 = NOT(11180)
+11232 = NAND(11180, 9467)
+11233 = NAND(11210, 11184)
+11236 = NAND(11211, 11186)
+11239 = NAND(11212, 11188)
+11242 = NAND(7459, 11213)
+11243 = NAND(7462, 11215)
+11244 = NAND(7515, 11217)
+11245 = NAND(7518, 11219)
+11246 = NOT(11205)
+11250 = NAND(8708, 11231)
+11252 = OR(11222, 11223, 11224, 11225)
+11257 = OR(11226, 11227, 11228, 11229)
+11260 = NAND(11242, 11214)
+11261 = NAND(11243, 11216)
+11262 = NAND(11244, 11218)
+11263 = NAND(11245, 11220)
+11264 = NOT(11233)
+11265 = NAND(11233, 9322)
+11267 = NOT(11236)
+11268 = NAND(11236, 9383)
+11269 = NOT(11239)
+11270 = NAND(11239, 9384)
+11272 = NAND(11250, 11232)
+11277 = NOT(11261)
+11278 = AND(10273, 11260)
+11279 = NOT(11263)
+11280 = AND(10119, 11262)
+11282 = NAND(8714, 11264)
+11283 = NOT(11252)
+11284 = NAND(8793, 11267)
+11285 = NAND(8796, 11269)
+11286 = NOT(11257)
+11288 = AND(11277, 10479)
+11289 = AND(11279, 10283)
+11290 = NOT(11272)
+11291 = NAND(11272, 9321)
+11292 = NAND(11282, 11265)
+11293 = NAND(11284, 11268)
+11294 = NAND(11285, 11270)
+11295 = NAND(8711, 11290)
+11296 = NOT(11292)
+11297 = NOT(11294)
+11298 = AND(10301, 11293)
+11299 = OR(11288, 11278)
+11302 = OR(11289, 11280)
+11307 = NAND(11295, 11291)
+11308 = AND(11296, 1218)
+11309 = AND(11297, 10497)
+11312 = NAND(11302, 11246)
+11313 = NAND(11299, 10836)
+11314 = NOT(11299)
+11315 = NOT(11302)
+11316 = AND(750, 11307)
+11317 = OR(11309, 11298)
+11320 = NAND(11205, 11315)
+11321 = NAND(10739, 11314)
+11323 = OR(11308, 11316)
+11327 = NAND(11312, 11320)
+11328 = NAND(11313, 11321)
+11329 = NAND(11317, 11286)
+11331 = NOT(11317)
+11333 = NOT(11327)
+11334 = NOT(11328)
+11335 = NAND(11257, 11331)
+11336 = NAND(11323, 11283)
+11337 = NOT(11323)
+11338 = NAND(11329, 11335)
+11339 = NAND(11252, 11337)
+11340 = NOT(11338)
+11341 = NAND(11336, 11339)
+11342 = NOT(11341)