atpg-ls/benchmark/c7552.bench

# c7552

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)