#   combinational logic example "c2670"
# -------------------------------------------------------------
# 
# 
#   total number of lines in the netlist ..............  2670
#   simplistically reduced equivalent fault set size =   2747
#         lines from primary input  gates .......   233
#         lines from primary output gates .......   140
#         lines from interior gate outputs ......  1129
#         lines from **   454 ** fanout stems ...  1244
# 
#         avg_fanin  =  1.64,     max_fanin  =  5
#         avg_fanout =  2.74,     max_fanout = 11
# 
# 
# 
# 
# 
INPUT(G1)
INPUT(G2)
INPUT(G3)
INPUT(G4)
INPUT(G5)
INPUT(G6)
INPUT(G7)
INPUT(G8)
INPUT(G11)
INPUT(G14)
INPUT(G15)
INPUT(G16)
INPUT(G19)
INPUT(G20)
INPUT(G21)
INPUT(G22)
INPUT(G23)
INPUT(G24)
INPUT(G25)
INPUT(G26)
INPUT(G27)
INPUT(G28)
INPUT(G29)
INPUT(G32)
INPUT(G33)
INPUT(G34)
INPUT(G35)
INPUT(G36)
INPUT(G37)
INPUT(G40)
INPUT(G43)
INPUT(G44)
INPUT(G47)
INPUT(G48)
INPUT(G49)
INPUT(G50)
INPUT(G51)
INPUT(G52)
INPUT(G53)
INPUT(G54)
INPUT(G55)
INPUT(G56)
INPUT(G57)
INPUT(G60)
INPUT(G61)
INPUT(G62)
INPUT(G63)
INPUT(G64)
INPUT(G65)
INPUT(G66)
INPUT(G67)
INPUT(G68)
INPUT(G69)
INPUT(G72)
INPUT(G73)
INPUT(G74)
INPUT(G75)
INPUT(G76)
INPUT(G77)
INPUT(G78)
INPUT(G79)
INPUT(G80)
INPUT(G81)
INPUT(G82)
INPUT(G85)
INPUT(G86)
INPUT(G87)
INPUT(G88)
INPUT(G89)
INPUT(G90)
INPUT(G91)
INPUT(G92)
INPUT(G93)
INPUT(G94)
INPUT(G95)
INPUT(G96)
INPUT(G99)
INPUT(G100)
INPUT(G101)
INPUT(G102)
INPUT(G103)
INPUT(G104)
INPUT(G105)
INPUT(G106)
INPUT(G107)
INPUT(G108)
INPUT(G111)
INPUT(G112)
INPUT(G113)
INPUT(G114)
INPUT(G115)
INPUT(G116)
INPUT(G117)
INPUT(G118)
INPUT(G119)
INPUT(G120)
INPUT(G123)
INPUT(G124)
INPUT(G125)
INPUT(G126)
INPUT(G127)
INPUT(G128)
INPUT(G129)
INPUT(G130)
INPUT(G131)
INPUT(G132)
INPUT(G135)
INPUT(G136)
INPUT(G137)
INPUT(G138)
INPUT(G139)
INPUT(G140)
INPUT(G141)
INPUT(G142)
INPUT(G169)
INPUT(G174)
INPUT(G177)
INPUT(G178)
INPUT(G179)
INPUT(G180)
INPUT(G181)
INPUT(G182)
INPUT(G183)
INPUT(G184)
INPUT(G185)
INPUT(G186)
INPUT(G189)
INPUT(G190)
INPUT(G191)
INPUT(G192)
INPUT(G193)
INPUT(G194)
INPUT(G195)
INPUT(G196)
INPUT(G197)
INPUT(G198)
INPUT(G199)
INPUT(G200)
INPUT(G201)
INPUT(G202)
INPUT(G203)
INPUT(G204)
INPUT(G205)
INPUT(G206)
INPUT(G207)
INPUT(G208)
INPUT(G209)
INPUT(G210)
INPUT(G211)
INPUT(G212)
INPUT(G213)
INPUT(G214)
INPUT(G215)
INPUT(G239)
INPUT(G240)
INPUT(G241)
INPUT(G242)
INPUT(G243)
INPUT(G244)
INPUT(G245)
INPUT(G246)
INPUT(G247)
INPUT(G248)
INPUT(G249)
INPUT(G250)
INPUT(G251)
INPUT(G252)
INPUT(G253)
INPUT(G254)
INPUT(G255)
INPUT(G256)
INPUT(G257)
INPUT(G262)
INPUT(G263)
INPUT(G264)
INPUT(G265)
INPUT(G266)
INPUT(G267)
INPUT(G268)
INPUT(G269)
INPUT(G270)
INPUT(G271)
INPUT(G272)
INPUT(G273)
INPUT(G274)
INPUT(G275)
INPUT(G276)
INPUT(G277)
INPUT(G278)
INPUT(G279)
INPUT(G452)
INPUT(G483)
INPUT(G543)
INPUT(G559)
INPUT(G567)
INPUT(G651)
INPUT(G661)
INPUT(G860)
INPUT(G868)
INPUT(G1083)
INPUT(G1341)
INPUT(G1348)
INPUT(G1384)
INPUT(G1956)
INPUT(G1961)
INPUT(G1966)
INPUT(G1971)
INPUT(G1976)
INPUT(G1981)
INPUT(G1986)
INPUT(G1991)
INPUT(G1996)
INPUT(G2066)
INPUT(G2067)
INPUT(G2072)
INPUT(G2078)
INPUT(G2084)
INPUT(G2090)
INPUT(G2096)
INPUT(G2100)
INPUT(G2104)
INPUT(G2105)
INPUT(G2106)
INPUT(G2427)
INPUT(G2430)
INPUT(G2435)
INPUT(G2438)
INPUT(G2443)
INPUT(G2446)
INPUT(G2451)
INPUT(G2454)
INPUT(G2474)
INPUT(G2678)
OUTPUT(G169)
OUTPUT(G174)
OUTPUT(G177)
OUTPUT(G178)
OUTPUT(G179)
OUTPUT(G180)
OUTPUT(G181)
OUTPUT(G182)
OUTPUT(G183)
OUTPUT(G184)
OUTPUT(G185)
OUTPUT(G186)
OUTPUT(G189)
OUTPUT(G190)
OUTPUT(G191)
OUTPUT(G192)
OUTPUT(G193)
OUTPUT(G194)
OUTPUT(G195)
OUTPUT(G196)
OUTPUT(G197)
OUTPUT(G198)
OUTPUT(G199)
OUTPUT(G200)
OUTPUT(G201)
OUTPUT(G202)
OUTPUT(G203)
OUTPUT(G204)
OUTPUT(G205)
OUTPUT(G206)
OUTPUT(G207)
OUTPUT(G208)
OUTPUT(G209)
OUTPUT(G210)
OUTPUT(G211)
OUTPUT(G212)
OUTPUT(G213)
OUTPUT(G214)
OUTPUT(G215)
OUTPUT(G239)
OUTPUT(G240)
OUTPUT(G241)
OUTPUT(G242)
OUTPUT(G243)
OUTPUT(G244)
OUTPUT(G245)
OUTPUT(G246)
OUTPUT(G247)
OUTPUT(G248)
OUTPUT(G249)
OUTPUT(G250)
OUTPUT(G251)
OUTPUT(G252)
OUTPUT(G253)
OUTPUT(G254)
OUTPUT(G255)
OUTPUT(G256)
OUTPUT(G257)
OUTPUT(G262)
OUTPUT(G263)
OUTPUT(G264)
OUTPUT(G265)
OUTPUT(G266)
OUTPUT(G267)
OUTPUT(G268)
OUTPUT(G269)
OUTPUT(G270)
OUTPUT(G271)
OUTPUT(G272)
OUTPUT(G273)
OUTPUT(G274)
OUTPUT(G275)
OUTPUT(G276)
OUTPUT(G277)
OUTPUT(G278)
OUTPUT(G279)
OUTPUT(G350)
OUTPUT(G335)
OUTPUT(G409)
OUTPUT(G369)
OUTPUT(G367)
OUTPUT(G411)
OUTPUT(G337)
OUTPUT(G384)
OUTPUT(G218)
OUTPUT(G219)
OUTPUT(G220)
OUTPUT(G221)
OUTPUT(G235)
OUTPUT(G236)
OUTPUT(G237)
OUTPUT(G238)
OUTPUT(G158)
OUTPUT(G259)
OUTPUT(G391)
OUTPUT(G173)
OUTPUT(G223)
OUTPUT(G234)
OUTPUT(G217)
OUTPUT(G325)
OUTPUT(G261)
OUTPUT(G319)
OUTPUT(G160)
OUTPUT(G162)
OUTPUT(G164)
OUTPUT(G166)
OUTPUT(G168)
OUTPUT(G171)
OUTPUT(G153)
OUTPUT(G176)
OUTPUT(G188)
OUTPUT(G299)
OUTPUT(G301)
OUTPUT(G286)
OUTPUT(G303)
OUTPUT(G288)
OUTPUT(G305)
OUTPUT(G290)
OUTPUT(G284)
OUTPUT(G321)
OUTPUT(G297)
OUTPUT(G280)
OUTPUT(G148)
OUTPUT(G282)
OUTPUT(G323)
OUTPUT(G156)
OUTPUT(G401)
OUTPUT(G227)
OUTPUT(G229)
OUTPUT(G311)
OUTPUT(G150)
OUTPUT(G145)
OUTPUT(G395)
OUTPUT(G295)
OUTPUT(G331)
OUTPUT(G397)
OUTPUT(G329)
OUTPUT(G231)
OUTPUT(G308)
OUTPUT(G225)

G350 = buf(G452)
G335 = buf(G452)
G409 = buf(G452)
G546 = and(G1, G3)
G560 = not(G559)
G369 = buf(G1083)
G367 = buf(G1083)
G1385 = not(G1384)
G411 = buf(G2066)
G337 = buf(G2066)
G384 = buf(G2066)
G157 = and(G2090, G2084, G2078, G2072)
G547 = not(G546)
G218 = not(G44)
G219 = not(G132)
G220 = not(G82)
G221 = not(G96)
G235 = not(G69)
G236 = not(G120)
G237 = not(G57)
G238 = not(G108)
G258 = and(G2, G15, G661)
G480 = buf(G661)
G486 = and(G37, G37)
G654 = buf(G452)
G655 = buf(G8)
G658 = buf(G8)
G772 = buf(G543)
G795 = buf(G651)
G865 = not(G860)
G875 = not(G868)
G882 = and(G11, G868)
G1251 = and(G132, G82, G96, G44)
G1254 = and(G120, G57, G108, G69)
G1261 = buf(G543)
G1284 = buf(G651)
G1344 = not(G1341)
G1351 = not(G1348)
G1394 = buf(G2104)
G1418 = buf(G2105)
G2433 = not(G2427)
G2434 = not(G2430)
G2441 = not(G2435)
G2442 = not(G2438)
G2449 = not(G2443)
G2450 = not(G2446)
G2478 = not(G2474)
G1631 = buf(G2104)
G1655 = buf(G2105)
G1710 = buf(G16)
G1721 = buf(G16)
G2682 = not(G2678)
G1955 = and(G7, G661)
G1959 = not(G1956)
G1964 = not(G1961)
G1969 = not(G1966)
G1974 = not(G1971)
G1979 = not(G1976)
G1984 = not(G1981)
G1989 = not(G1986)
G1994 = not(G1991)
G1999 = not(G1996)
G2001 = buf(G29)
G2012 = buf(G29)
G2070 = not(G2067)
G2076 = not(G2072)
G2082 = not(G2078)
G2088 = not(G2084)
G2094 = not(G2090)
G2099 = not(G2096)
G2103 = not(G2100)
G2457 = not(G2451)
G2458 = not(G2454)
G2461 = buf(G1348)
G2464 = buf(G1341)
G2471 = buf(G1956)
G2479 = buf(G1966)
G2482 = buf(G1961)
G2487 = buf(G1976)
G2490 = buf(G1971)
G2495 = buf(G1986)
G2498 = buf(G1981)
G2505 = buf(G1996)
G2508 = buf(G1991)
G2675 = buf(G2067)
G2683 = buf(G2078)
G2686 = buf(G2072)
G2691 = buf(G2090)
G2694 = buf(G2084)
G2699 = buf(G2100)
G2702 = buf(G2096)
G158 = not(G157)
G259 = not(G258)
G487 = not(G486)
G391 = buf(G654)
G1475 = nand(G2430, G2433)
G1476 = nand(G2427, G2434)
G1484 = nand(G2438, G2441)
G1485 = nand(G2435, G2442)
G1493 = nand(G2446, G2449)
G1494 = nand(G2443, G2450)
G2459 = nand(G2454, G2457)
G2460 = nand(G2451, G2458)
G173 = and(G94, G654)
G216 = and(G2106, G1955)
G223 = not(G1955)
G234 = nand(G567, G1955)
G1253 = not(G1251)
G1256 = not(G1254)
G558 = and(G1254, G1251)
G748 = buf(G655)
G784 = not(G772)
G807 = not(G795)
G821 = and(G80, G772, G795)
G825 = and(G68, G772, G795)
G829 = and(G79, G772, G795)
G833 = and(G78, G772, G795)
G837 = and(G77, G772, G795)
G881 = and(G11, G875)
G994 = buf(G655)
G1273 = not(G1261)
G1296 = not(G1284)
G1310 = and(G76, G1261, G1284)
G1314 = and(G75, G1261, G1284)
G1318 = and(G74, G1261, G1284)
G1322 = and(G73, G1261, G1284)
G1326 = and(G72, G1261, G1284)
G1406 = not(G1394)
G1430 = not(G1418)
G1444 = and(G114, G1394, G1418)
G1448 = and(G113, G1394, G1418)
G1452 = and(G112, G1394, G1418)
G1456 = and(G111, G1394, G1418)
G1460 = and(G1394, G1418)
G1477 = nand(G1475, G1476)
G1486 = nand(G1484, G1485)
G1495 = nand(G1493, G1494)
G2477 = not(G2471)
G1499 = nand(G2471, G2478)
G2485 = not(G2479)
G2486 = not(G2482)
G2493 = not(G2487)
G2494 = not(G2490)
G1643 = not(G1631)
G1667 = not(G1655)
G1681 = and(G118, G1631, G1655)
G1685 = and(G107, G1631, G1655)
G1689 = and(G117, G1631, G1655)
G1693 = and(G116, G1631, G1655)
G1697 = and(G115, G1631, G1655)
G1716 = not(G1710)
G1728 = not(G1721)
G2681 = not(G2675)
G1776 = nand(G2675, G2682)
G2689 = not(G2683)
G2690 = not(G2686)
G2697 = not(G2691)
G2698 = not(G2694)
G1831 = buf(G658)
G1893 = buf(G658)
G2007 = not(G2001)
G2018 = not(G2012)
G2467 = not(G2461)
G2468 = not(G2464)
G2501 = not(G2495)
G2502 = not(G2498)
G2511 = not(G2505)
G2512 = not(G2508)
G2518 = nand(G2459, G2460)
G2551 = buf(G1344)
G2559 = buf(G1351)
G2567 = buf(G1959)
G2575 = buf(G1964)
G2583 = buf(G1969)
G2591 = buf(G1974)
G2599 = buf(G1979)
G2607 = buf(G1984)
G2615 = buf(G1989)
G2623 = buf(G1994)
G2705 = not(G2699)
G2706 = not(G2702)
G2735 = buf(G1999)
G2743 = buf(G2070)
G2751 = buf(G2076)
G2759 = buf(G2082)
G2767 = buf(G2088)
G2775 = buf(G2094)
G217 = not(G216)
G550 = and(G2106, G1253)
G552 = and(G567, G1256)
G325 = buf(G558)
G894 = or(G881, G882)
G1498 = nand(G2474, G2477)
G1507 = nand(G2482, G2485)
G1508 = nand(G2479, G2486)
G1516 = nand(G2490, G2493)
G1517 = nand(G2487, G2494)
G1775 = nand(G2678, G2681)
G1784 = nand(G2686, G2689)
G1785 = nand(G2683, G2690)
G1793 = nand(G2694, G2697)
G1794 = nand(G2691, G2698)
G2469 = nand(G2464, G2467)
G2470 = nand(G2461, G2468)
G2503 = nand(G2498, G2501)
G2504 = nand(G2495, G2502)
G2513 = nand(G2508, G2511)
G2514 = nand(G2505, G2512)
G2707 = nand(G2702, G2705)
G2708 = nand(G2699, G2706)
G261 = not(G558)
G551 = not(G550)
G553 = not(G552)
G818 = and(G93, G784, G807)
G819 = and(G55, G772, G807)
G820 = and(G67, G784, G795)
G822 = and(G81, G784, G807)
G823 = and(G43, G772, G807)
G824 = and(G56, G784, G795)
G826 = and(G92, G784, G807)
G827 = and(G54, G772, G807)
G828 = and(G66, G784, G795)
G830 = and(G91, G784, G807)
G831 = and(G53, G772, G807)
G832 = and(G65, G784, G795)
G834 = and(G90, G784, G807)
G835 = and(G52, G772, G807)
G836 = and(G64, G784, G795)
G1307 = and(G89, G1273, G1296)
G1308 = and(G51, G1261, G1296)
G1309 = and(G63, G1273, G1284)
G1311 = and(G88, G1273, G1296)
G1312 = and(G50, G1261, G1296)
G1313 = and(G62, G1273, G1284)
G1315 = and(G87, G1273, G1296)
G1316 = and(G49, G1261, G1296)
G1317 = and(G1273, G1284)
G1319 = and(G86, G1273, G1296)
G1320 = and(G48, G1261, G1296)
G1321 = and(G61, G1273, G1284)
G1323 = and(G85, G1273, G1296)
G1324 = and(G47, G1261, G1296)
G1325 = and(G60, G1273, G1284)
G1441 = and(G138, G1406, G1430)
G1442 = and(G102, G1394, G1430)
G1443 = and(G126, G1406, G1418)
G1445 = and(G137, G1406, G1430)
G1446 = and(G101, G1394, G1430)
G1447 = and(G125, G1406, G1418)
G1449 = and(G136, G1406, G1430)
G1450 = and(G100, G1394, G1430)
G1451 = and(G124, G1406, G1418)
G1453 = and(G135, G1406, G1430)
G1454 = and(G99, G1394, G1430)
G1455 = and(G123, G1406, G1418)
G1457 = and(G1406, G1430)
G1458 = and(G1394, G1430)
G1459 = and(G1406, G1418)
G1481 = not(G1477)
G1490 = not(G1486)
G1500 = nand(G1498, G1499)
G1509 = nand(G1507, G1508)
G1518 = nand(G1516, G1517)
G1521 = buf(G1495)
G1525 = buf(G1495)
G2557 = not(G2551)
G2565 = not(G2559)
G2573 = not(G2567)
G2581 = not(G2575)
G2589 = not(G2583)
G2597 = not(G2591)
G2605 = not(G2599)
G2613 = not(G2607)
G2621 = not(G2615)
G2629 = not(G2623)
G1678 = and(G142, G1643, G1667)
G1679 = and(G106, G1631, G1667)
G1680 = and(G130, G1643, G1655)
G1682 = and(G131, G1643, G1667)
G1683 = and(G95, G1631, G1667)
G1684 = and(G119, G1643, G1655)
G1686 = and(G141, G1643, G1667)
G1687 = and(G105, G1631, G1667)
G1688 = and(G129, G1643, G1655)
G1690 = and(G140, G1643, G1667)
G1691 = and(G104, G1631, G1667)
G1692 = and(G128, G1643, G1655)
G1694 = and(G139, G1643, G1667)
G1695 = and(G103, G1631, G1667)
G1696 = and(G127, G1643, G1655)
G1734 = and(G19, G1716)
G1736 = and(G4, G1716)
G1738 = and(G20, G1716)
G1740 = and(G5, G1716)
G1742 = and(G21, G1728)
G1744 = and(G22, G1728)
G1746 = and(G23, G1728)
G1748 = and(G6, G1728)
G1750 = and(G24, G1728)
G1777 = nand(G1775, G1776)
G1786 = nand(G1784, G1785)
G1795 = nand(G1793, G1794)
G2023 = and(G25, G2007)
G2025 = and(G32, G2007)
G2027 = and(G26, G2007)
G2029 = and(G33, G2007)
G2031 = and(G27, G2018)
G2033 = and(G34, G2018)
G2035 = and(G35, G2018)
G2037 = and(G28, G2018)
G2741 = not(G2735)
G2749 = not(G2743)
G2757 = not(G2751)
G2765 = not(G2759)
G2773 = not(G2767)
G2781 = not(G2775)
G2515 = nand(G2469, G2470)
G2522 = not(G2518)
G2525 = nand(G2513, G2514)
G2528 = nand(G2503, G2504)
G2730 = nand(G2707, G2708)
G554 = and(G551, G553)
G838 = or(G818, G819, G820, G821)
G841 = or(G822, G823, G824, G825)
G846 = or(G826, G827, G828, G829)
G854 = or(G830, G831, G832, G833)
G857 = or(G834, G835, G836, G837)
G1327 = or(G1307, G1308, G1309, G1310)
G1329 = or(G1311, G1312, G1313, G1314)
G1331 = or(G1315, G1316, G1317, G1318)
G1333 = or(G1319, G1320, G1321, G1322)
G1335 = or(G1323, G1324, G1325, G1326)
G1461 = or(G1441, G1442, G1443, G1444)
G1464 = or(G1445, G1446, G1447, G1448)
G1467 = or(G1449, G1450, G1451, G1452)
G1470 = or(G1453, G1454, G1455, G1456)
G1473 = or(G1457, G1458, G1459, G1460)
G1698 = or(G1682, G1683, G1684, G1685)
G1701 = or(G1686, G1687, G1688, G1689)
G1704 = or(G1690, G1691, G1692, G1693)
G1707 = or(G1694, G1695, G1696, G1697)
G2634 = or(G1678, G1679, G1680, G1681)
G319 = buf(G554)
G1504 = not(G1500)
G1513 = not(G1509)
G1524 = not(G1521)
G1528 = not(G1525)
G1529 = buf(G1518)
G1533 = buf(G1518)
G1538 = and(G1486, G1477, G1521)
G1541 = and(G1490, G1481, G1525)
G1781 = not(G1777)
G1790 = not(G1786)
G1806 = buf(G1795)
G1810 = buf(G1795)
G2734 = not(G2730)
G2521 = not(G2515)
G2524 = nand(G2515, G2522)
G2531 = not(G2525)
G2532 = not(G2528)
G144 = and(G838, G860)
G147 = and(G846, G860)
G152 = and(G841, G860)
G160 = not(G1464)
G162 = not(G1467)
G164 = not(G1461)
G166 = not(G1329)
G168 = not(G1327)
G171 = not(G857)
G175 = and(G480, G483, G36, G554)
G187 = and(G480, G483, G554, G547)
G516 = buf(G838)
G852 = not(G846)
G885 = and(G841, G875)
G887 = and(G846, G875)
G893 = and(G1327, G868)
G1028 = not(G838)
G1031 = not(G841)
G1035 = not(G846)
G1041 = buf(G854)
G1049 = buf(G857)
G1057 = buf(G1327)
G1060 = buf(G1329)
G1066 = buf(G1331)
G1072 = buf(G1333)
G1078 = buf(G1335)
G1213 = nand(G2099, G1470)
G1218 = nand(G2103, G1473)
G1250 = buf(G1704)
G1387 = and(G1461, G1385)
G1389 = not(G1464)
G1537 = and(G1481, G1486, G1524)
G1540 = and(G1477, G1490, G1528)
G1735 = and(G841, G1710)
G1737 = and(G846, G1710)
G1739 = and(G854, G1710)
G1741 = and(G857, G1710)
G1743 = and(G1327, G1721)
G1745 = and(G1329, G1721)
G1747 = and(G1331, G1721)
G1749 = and(G1333, G1721)
G1751 = and(G1335, G1721)
G2638 = not(G2634)
G2024 = and(G1698, G2001)
G2026 = and(G1701, G2001)
G2028 = and(G1704, G2001)
G2030 = and(G1707, G2001)
G2032 = and(G1461, G2012)
G2034 = and(G1464, G2012)
G2036 = and(G1467, G2012)
G2038 = and(G1470, G2012)
G2154 = buf(G841)
G2523 = nand(G2518, G2521)
G2533 = nand(G2528, G2531)
G2534 = nand(G2525, G2532)
G2631 = buf(G1698)
G2639 = buf(G1704)
G2642 = buf(G1701)
G2647 = buf(G1461)
G2650 = buf(G1707)
G2655 = buf(G1467)
G2658 = buf(G1464)
G2665 = buf(G1473)
G2668 = buf(G1470)
G153 = or(G865, G152)
G176 = not(G175)
G188 = not(G187)
G299 = buf(G1041)
G301 = buf(G1049)
G286 = buf(G1057)
G303 = buf(G1060)
G288 = buf(G1066)
G305 = buf(G1072)
G290 = buf(G1078)
G1532 = not(G1529)
G1536 = not(G1533)
G1539 = nor(G1537, G1538)
G1542 = nor(G1540, G1541)
G1544 = and(G1509, G1500, G1529)
G1547 = and(G1513, G1504, G1533)
G2065 = or(G2037, G2038)
G1809 = not(G1806)
G1813 = not(G1810)
G1821 = and(G1786, G1777, G1806)
G1824 = and(G1790, G1781, G1810)
G2538 = nand(G2523, G2524)
G2546 = nand(G2533, G2534)
G2554 = or(G1734, G1735)
G2562 = or(G1736, G1737)
G2570 = or(G1738, G1739)
G2578 = or(G1740, G1741)
G2586 = or(G1742, G1743)
G2594 = or(G1744, G1745)
G2602 = or(G1746, G1747)
G2610 = or(G1748, G1749)
G2618 = or(G1750, G1751)
G2626 = or(G2023, G2024)
G2738 = or(G2025, G2026)
G2746 = or(G2027, G2028)
G2754 = or(G2029, G2030)
G2762 = or(G2031, G2032)
G2770 = or(G2033, G2034)
G2778 = or(G2035, G2036)
G456 = and(G1389, G1387, G40)
G466 = not(G1387)
G562 = nand(G560, G852)
G883 = and(G516, G875)
G889 = and(G1049, G868)
G891 = and(G1041, G875)
G1043 = not(G1041)
G1051 = not(G1049)
G1062 = not(G1060)
G1068 = not(G1066)
G1074 = not(G1072)
G1080 = not(G1078)
G1225 = and(G2099, G1213)
G1227 = and(G1213, G1470)
G1232 = and(G2103, G1218)
G1234 = and(G1218, G1473)
G1543 = and(G1504, G1509, G1532)
G1546 = and(G1500, G1513, G1536)
G2637 = not(G2631)
G1753 = nand(G2631, G2638)
G2645 = not(G2639)
G2646 = not(G2642)
G2653 = not(G2647)
G2654 = not(G2650)
G1820 = and(G1781, G1786, G1809)
G1823 = and(G1777, G1790, G1813)
G2107 = buf(G1031)
G2110 = buf(G1028)
G2118 = buf(G1035)
G2123 = not(G1057)
G2151 = not(G852)
G2158 = not(G2154)
G2161 = buf(G1031)
G2164 = buf(G1028)
G2172 = buf(G1035)
G2235 = buf(G516)
G2262 = buf(G1035)
G2350 = buf(G1035)
G2535 = nand(G1542, G1539)
G2661 = not(G2655)
G2662 = not(G2658)
G2671 = not(G2665)
G2672 = not(G2668)
G468 = and(G40, G1389, G466)
G897 = or(G887, G889)
G898 = or(G891, G893)
G1228 = or(G1225, G1227)
G1235 = or(G1232, G1234)
G1545 = nor(G1543, G1544)
G1548 = nor(G1546, G1547)
G2542 = not(G2538)
G2550 = not(G2546)
G1561 = nand(G2554, G2557)
G2558 = not(G2554)
G1565 = nand(G2562, G2565)
G2566 = not(G2562)
G1569 = nand(G2570, G2573)
G2574 = not(G2570)
G1573 = nand(G2578, G2581)
G2582 = not(G2578)
G1577 = nand(G2586, G2589)
G2590 = not(G2586)
G1581 = nand(G2594, G2597)
G2598 = not(G2594)
G1585 = nand(G2602, G2605)
G2606 = not(G2602)
G1589 = nand(G2610, G2613)
G2614 = not(G2610)
G1593 = nand(G2618, G2621)
G2622 = not(G2618)
G1597 = nand(G2626, G2629)
G2630 = not(G2626)
G1752 = nand(G2634, G2637)
G1761 = nand(G2642, G2645)
G1762 = nand(G2639, G2646)
G1770 = nand(G2650, G2653)
G1771 = nand(G2647, G2654)
G1822 = nor(G1820, G1821)
G1825 = nor(G1823, G1824)
G2039 = nand(G2738, G2741)
G2742 = not(G2738)
G2043 = nand(G2746, G2749)
G2750 = not(G2746)
G2047 = nand(G2754, G2757)
G2758 = not(G2754)
G2051 = nand(G2762, G2765)
G2766 = not(G2762)
G2055 = nand(G2770, G2773)
G2774 = not(G2770)
G2059 = nand(G2778, G2781)
G2782 = not(G2778)
G2663 = nand(G2658, G2661)
G2664 = nand(G2655, G2662)
G2673 = nand(G2668, G2671)
G2674 = nand(G2665, G2672)
G146 = and(G562, G865)
G462 = not(G456)
G2113 = not(G2107)
G2114 = not(G2110)
G2122 = not(G2118)
G2129 = not(G2123)
G592 = buf(G562)
G2167 = not(G2161)
G2168 = not(G2164)
G2176 = not(G2172)
G2241 = not(G2235)
G2266 = not(G2262)
G743 = not(G456)
G749 = buf(G456)
G886 = and(G562, G868)
G284 = buf(G897)
G321 = buf(G897)
G297 = buf(G898)
G280 = buf(G898)
G995 = buf(G456)
G1006 = not(G456)
G1550 = nand(G2535, G2542)
G2354 = not(G2350)
G2541 = not(G2535)
G1562 = nand(G2551, G2558)
G1566 = nand(G2559, G2566)
G1570 = nand(G2567, G2574)
G1574 = nand(G2575, G2582)
G1578 = nand(G2583, G2590)
G1582 = nand(G2591, G2598)
G1586 = nand(G2599, G2606)
G1590 = nand(G2607, G2614)
G1594 = nand(G2615, G2622)
G1598 = nand(G2623, G2630)
G1754 = nand(G1752, G1753)
G1763 = nand(G1761, G1762)
G1772 = nand(G1770, G1771)
G2040 = nand(G2735, G2742)
G2044 = nand(G2743, G2750)
G2048 = nand(G2751, G2758)
G2052 = nand(G2759, G2766)
G2056 = nand(G2767, G2774)
G2060 = nand(G2775, G2782)
G2115 = buf(G1043)
G2126 = buf(G1051)
G2131 = buf(G1068)
G2134 = buf(G1062)
G2141 = buf(G1080)
G2144 = buf(G1074)
G2157 = not(G2151)
G2160 = nand(G2151, G2158)
G2169 = buf(G1043)
G2177 = buf(G1068)
G2180 = buf(G1062)
G2187 = buf(G1080)
G2190 = buf(G1074)
G2207 = not(G562)
G2254 = buf(G1043)
G2334 = buf(G1051)
G2342 = buf(G1043)
G2422 = buf(G1051)
G2543 = nand(G1548, G1545)
G2709 = nand(G2673, G2674)
G2712 = nand(G2663, G2664)
G2727 = nand(G1825, G1822)
G148 = or(G146, G147)
G569 = nand(G2110, G2113)
G570 = nand(G2107, G2114)
G599 = nand(G2164, G2167)
G600 = nand(G2161, G2168)
G896 = or(G885, G886)
G1549 = nand(G2538, G2541)
G1243 = not(G1228)
G1245 = not(G1235)
G1257 = buf(G468)
G1258 = buf(G468)
G1563 = nand(G1561, G1562)
G1567 = nand(G1565, G1566)
G1571 = nand(G1569, G1570)
G1575 = nand(G1573, G1574)
G1579 = nand(G1577, G1578)
G1583 = nand(G1581, G1582)
G1587 = nand(G1585, G1586)
G1591 = nand(G1589, G1590)
G1595 = nand(G1593, G1594)
G1599 = nand(G1597, G1598)
G2041 = nand(G2039, G2040)
G2045 = nand(G2043, G2044)
G2049 = nand(G2047, G2048)
G2053 = nand(G2051, G2052)
G2057 = nand(G2055, G2056)
G2061 = nand(G2059, G2060)
G2159 = nand(G2154, G2157)
G475 = buf(G462)
G490 = and(G1078, G743)
G496 = and(G1698, G743)
G502 = and(G1701, G743)
G508 = and(G1250, G743)
G765 = and(G1057, G749)
G769 = and(G1060, G749)
G571 = nand(G569, G570)
G2121 = not(G2115)
G579 = nand(G2115, G2122)
G587 = nand(G2126, G2129)
G2130 = not(G2126)
G596 = not(G592)
G601 = nand(G599, G600)
G2175 = not(G2169)
G609 = nand(G2169, G2176)
G2258 = not(G2254)
G1014 = and(G1057, G995)
G1018 = and(G1060, G995)
G717 = and(G1078, G1006)
G723 = and(G1698, G1006)
G729 = and(G1701, G1006)
G735 = and(G1250, G1006)
G753 = not(G749)
G282 = buf(G896)
G323 = buf(G896)
G2338 = not(G2334)
G999 = not(G995)
G1091 = nand(G1549, G1550)
G2346 = not(G2342)
G2426 = not(G2422)
G1337 = buf(G462)
G2549 = not(G2543)
G1552 = nand(G2543, G2550)
G1600 = not(G1599)
G1596 = not(G1595)
G1592 = not(G1591)
G1588 = not(G1587)
G1584 = not(G1583)
G1580 = not(G1579)
G1576 = not(G1575)
G1572 = not(G1571)
G1568 = not(G1567)
G1564 = not(G1563)
G2062 = not(G2061)
G2058 = not(G2057)
G2054 = not(G2053)
G2050 = not(G2049)
G2046 = not(G2045)
G2042 = not(G2041)
G1758 = not(G1754)
G1767 = not(G1763)
G1798 = buf(G1772)
G1802 = buf(G1772)
G2733 = not(G2727)
G1829 = nand(G2727, G2734)
G2137 = not(G2131)
G2138 = not(G2134)
G2147 = not(G2141)
G2148 = not(G2144)
G2183 = not(G2177)
G2184 = not(G2180)
G2193 = not(G2187)
G2194 = not(G2190)
G2210 = nand(G2159, G2160)
G2213 = not(G2207)
G2715 = not(G2709)
G2716 = not(G2712)
G1094 = and(G1235, G1245)
G1096 = and(G1228, G1243)
G578 = nand(G2118, G2121)
G588 = nand(G2123, G2130)
G608 = nand(G2172, G2175)
G742 = buf(G1257)
G1005 = buf(G1257)
G1092 = not(G1091)
G1551 = nand(G2546, G2549)
G1554 = and(G1600, G1596, G1592, G1588, G1584)
G1555 = and(G1580, G1576, G1572, G1568, G1564)
G1557 = and(G2065, G2062)
G1558 = and(G2058, G2054, G2050, G2046, G2042)
G1828 = nand(G2730, G2733)
G1845 = buf(G1258)
G1907 = buf(G1258)
G2139 = nand(G2134, G2137)
G2140 = nand(G2131, G2138)
G2149 = nand(G2144, G2147)
G2150 = nand(G2141, G2148)
G2185 = nand(G2180, G2183)
G2186 = nand(G2177, G2184)
G2195 = nand(G2190, G2193)
G2196 = nand(G2187, G2194)
G2717 = nand(G2712, G2715)
G2718 = nand(G2709, G2716)
G154 = or(G1094, G1245)
G155 = or(G1096, G1243)
G763 = and(G1057, G753)
G767 = and(G1060, G753)
G531 = and(G1066, G753)
G537 = and(G1072, G753)
G575 = not(G571)
G580 = nand(G578, G579)
G589 = nand(G587, G588)
G605 = not(G601)
G610 = nand(G608, G609)
G1012 = and(G1057, G999)
G1016 = and(G1060, G999)
G705 = and(G1066, G999)
G711 = and(G1072, G999)
G1093 = and(G1092, G14)
G1355 = buf(G475)
G1553 = nand(G1551, G1552)
G1556 = and(G1554, G1555)
G1559 = and(G1557, G1558)
G1601 = buf(G1337)
G1801 = not(G1798)
G1805 = not(G1802)
G1815 = and(G1763, G1754, G1798)
G1818 = and(G1767, G1758, G1802)
G1830 = nand(G1828, G1829)
G1836 = buf(G475)
G1850 = buf(G475)
G1898 = buf(G1337)
G1912 = buf(G1337)
G2197 = nand(G2149, G2150)
G2200 = nand(G2139, G2140)
G2214 = not(G2210)
G2215 = nand(G2210, G2213)
G2217 = nand(G2195, G2196)
G2220 = nand(G2185, G2186)
G2722 = nand(G2717, G2718)
G156 = nand(G154, G155)
G492 = and(G490, G742)
G498 = and(G496, G742)
G504 = and(G502, G742)
G510 = and(G508, G742)
G519 = or(G763, G765)
G525 = or(G767, G769)
G533 = and(G531, G748)
G539 = and(G537, G748)
G693 = or(G1012, G1014)
G699 = or(G1016, G1018)
G707 = and(G705, G994)
G713 = and(G711, G994)
G719 = and(G717, G1005)
G725 = and(G723, G1005)
G731 = and(G729, G1005)
G737 = and(G735, G1005)
G401 = buf(G1093)
G1560 = and(G1556, G1559, G894)
G1814 = and(G1758, G1763, G1801)
G1817 = and(G1754, G1767, G1805)
G2216 = nand(G2207, G2214)
G227 = not(G1830)
G229 = not(G1553)
G493 = not(G492)
G499 = not(G498)
G505 = not(G504)
G511 = not(G510)
G521 = and(G519, G748)
G527 = and(G525, G748)
G534 = not(G533)
G540 = not(G539)
G584 = not(G580)
G613 = buf(G589)
G617 = buf(G589)
G621 = buf(G610)
G625 = buf(G610)
G676 = and(G1344, G1355)
G695 = and(G693, G994)
G701 = and(G699, G994)
G708 = not(G707)
G714 = not(G713)
G720 = not(G719)
G726 = not(G725)
G732 = not(G731)
G738 = not(G737)
G1087 = not(G1093)
G1108 = and(G1344, G1601)
G1361 = not(G1355)
G1369 = and(G1351, G1355)
G1373 = and(G1959, G1355)
G1377 = and(G1964, G1355)
G311 = buf(G1560)
G1607 = not(G1601)
G1615 = and(G1351, G1601)
G1619 = and(G1959, G1601)
G1623 = and(G1964, G1601)
G1816 = nor(G1814, G1815)
G1819 = nor(G1817, G1818)
G2726 = not(G2722)
G1842 = not(G1836)
G1858 = and(G1969, G1836)
G1863 = and(G1974, G1836)
G1866 = and(G1979, G1836)
G1868 = and(G1984, G1836)
G1870 = and(G1989, G1850)
G1872 = and(G1994, G1850)
G1874 = and(G1999, G1850)
G1876 = and(G2070, G1850)
G1904 = not(G1898)
G1920 = and(G1969, G1898)
G1925 = and(G1974, G1898)
G1928 = and(G1979, G1898)
G1930 = and(G1984, G1898)
G1932 = and(G1989, G1912)
G1934 = and(G1994, G1912)
G1936 = and(G1999, G1912)
G1938 = and(G2070, G1912)
G2203 = not(G2197)
G2204 = not(G2200)
G2223 = not(G2217)
G2224 = not(G2220)
G2238 = nand(G2215, G2216)
G150 = not(G1560)
G522 = not(G521)
G528 = not(G527)
G696 = not(G695)
G702 = not(G701)
G1881 = and(G1866, G1831)
G1883 = and(G1868, G1831)
G1885 = and(G1870, G1845)
G1887 = and(G1872, G1845)
G1889 = and(G1874, G1845)
G1891 = and(G1876, G1845)
G1943 = and(G1928, G1893)
G1945 = and(G1930, G1893)
G1947 = and(G1932, G1907)
G1949 = and(G1934, G1907)
G1951 = and(G1936, G1907)
G1953 = and(G1938, G1907)
G2205 = nand(G2200, G2203)
G2206 = nand(G2197, G2204)
G2225 = nand(G2220, G2223)
G2226 = nand(G2217, G2224)
G2719 = nand(G1819, G1816)
G616 = not(G613)
G620 = not(G617)
G624 = not(G621)
G628 = not(G625)
G630 = and(G580, G571, G613)
G633 = and(G584, G575, G617)
G636 = and(G601, G592, G621)
G639 = and(G605, G596, G625)
G645 = nand(G2238, G2241)
G2242 = not(G2238)
G675 = and(G1999, G1361)
G1107 = and(G1999, G1607)
G1368 = and(G2070, G1361)
G1371 = and(G2076, G1361)
G1375 = and(G2082, G1361)
G1614 = and(G2070, G1607)
G1617 = and(G2076, G1607)
G1621 = and(G2082, G1607)
G1856 = and(G2088, G1842)
G1861 = and(G2094, G1842)
G1918 = and(G2088, G1904)
G1923 = and(G2094, G1904)
G2230 = nand(G2205, G2206)
G2246 = nand(G2225, G2226)
G2270 = buf(G511)
G2278 = buf(G505)
G2286 = buf(G499)
G2294 = buf(G493)
G2302 = buf(G540)
G2310 = buf(G534)
G2358 = buf(G738)
G2366 = buf(G732)
G2374 = buf(G726)
G2382 = buf(G720)
G2390 = buf(G714)
G2398 = buf(G708)
G629 = and(G575, G580, G616)
G632 = and(G571, G584, G620)
G635 = and(G596, G601, G624)
G638 = and(G592, G605, G628)
G646 = nand(G2235, G2242)
G677 = or(G675, G676)
G1827 = nand(G2719, G2726)
G907 = and(G1891, G511)
G915 = and(G1889, G505)
G922 = and(G1887, G499)
G924 = and(G493, G1885)
G937 = and(G1883, G540)
G946 = and(G1881, G534)
G1109 = or(G1107, G1108)
G1125 = and(G1953, G738)
G1133 = and(G1951, G732)
G1140 = and(G1949, G726)
G1142 = and(G720, G1947)
G1155 = and(G1945, G714)
G1164 = and(G1943, G708)
G1378 = or(G1368, G1369)
G1380 = or(G1371, G1373)
G1382 = or(G1375, G1377)
G1624 = or(G1614, G1615)
G1626 = or(G1617, G1619)
G1628 = or(G1621, G1623)
G2725 = not(G2719)
G1859 = or(G1856, G1858)
G1864 = or(G1861, G1863)
G1921 = or(G1918, G1920)
G1926 = or(G1923, G1925)
G2267 = buf(G1891)
G2275 = buf(G1889)
G2283 = buf(G1887)
G2291 = buf(G1885)
G2299 = buf(G1883)
G2307 = buf(G1881)
G2318 = buf(G528)
G2326 = buf(G522)
G2355 = buf(G1953)
G2363 = buf(G1951)
G2371 = buf(G1949)
G2379 = buf(G1947)
G2387 = buf(G1945)
G2395 = buf(G1943)
G2406 = buf(G702)
G2414 = buf(G696)
G647 = nand(G645, G646)
G631 = nor(G629, G630)
G634 = nor(G632, G633)
G637 = nor(G635, G636)
G640 = nor(G638, G639)
G2234 = not(G2230)
G2250 = not(G2246)
G679 = and(G677, G1031)
G1826 = nand(G2722, G2725)
G2274 = not(G2270)
G2282 = not(G2278)
G2290 = not(G2286)
G2298 = not(G2294)
G2306 = not(G2302)
G2314 = not(G2310)
G1110 = and(G1109, G1031)
G2362 = not(G2358)
G2370 = not(G2366)
G2378 = not(G2374)
G2386 = not(G2382)
G2394 = not(G2390)
G2402 = not(G2398)
G1877 = and(G1859, G1831)
G1879 = and(G1864, G1831)
G1939 = and(G1921, G1893)
G1941 = and(G1926, G1893)
G143 = and(G647, G865)
G671 = and(G1380, G1043)
G674 = and(G1378, G1035)
G686 = nand(G1826, G1827)
G2273 = not(G2267)
G900 = nand(G2267, G2274)
G2281 = not(G2275)
G909 = nand(G2275, G2282)
G2289 = not(G2283)
G917 = nand(G2283, G2290)
G2297 = not(G2291)
G926 = nand(G2291, G2298)
G2305 = not(G2299)
G929 = nand(G2299, G2306)
G2313 = not(G2307)
G939 = nand(G2307, G2314)
G2322 = not(G2318)
G2330 = not(G2326)
G967 = and(G1382, G1051)
G1104 = and(G1626, G1043)
G1106 = and(G1624, G1035)
G2361 = not(G2355)
G1118 = nand(G2355, G2362)
G2369 = not(G2363)
G1127 = nand(G2363, G2370)
G2377 = not(G2371)
G1135 = nand(G2371, G2378)
G2385 = not(G2379)
G1144 = nand(G2379, G2386)
G2393 = not(G2387)
G1147 = nand(G2387, G2394)
G2401 = not(G2395)
G1157 = nand(G2395, G2402)
G2410 = not(G2406)
G2418 = not(G2414)
G1184 = and(G1628, G1051)
G2227 = nand(G634, G631)
G2243 = nand(G640, G637)
G2251 = buf(G1380)
G2259 = buf(G1378)
G2331 = buf(G1382)
G2339 = buf(G1626)
G2347 = buf(G1624)
G2419 = buf(G1628)
G145 = or(G143, G144)
G687 = not(G686)
G899 = nand(G2270, G2273)
G908 = nand(G2278, G2281)
G916 = nand(G2286, G2289)
G925 = nand(G2294, G2297)
G928 = nand(G2302, G2305)
G938 = nand(G2310, G2313)
G954 = and(G1879, G528)
G961 = and(G1877, G522)
G1117 = nand(G2358, G2361)
G1126 = nand(G2366, G2369)
G1134 = nand(G2374, G2377)
G1143 = nand(G2382, G2385)
G1146 = nand(G2390, G2393)
G1156 = nand(G2398, G2401)
G1172 = and(G1941, G702)
G1179 = and(G1939, G696)
G2315 = buf(G1879)
G2323 = buf(G1877)
G2403 = buf(G1941)
G2411 = buf(G1939)
G2233 = not(G2227)
G642 = nand(G2227, G2234)
G2249 = not(G2243)
G649 = nand(G2243, G2250)
G2257 = not(G2251)
G665 = nand(G2251, G2258)
G684 = nand(G2259, G2266)
G2265 = not(G2259)
G688 = and(G687, G487)
G901 = nand(G899, G900)
G910 = nand(G908, G909)
G918 = nand(G916, G917)
G927 = nand(G925, G926)
G930 = nand(G928, G929)
G940 = nand(G938, G939)
G2337 = not(G2331)
G963 = nand(G2331, G2338)
G2345 = not(G2339)
G1099 = nand(G2339, G2346)
G1115 = nand(G2347, G2354)
G2353 = not(G2347)
G1119 = nand(G1117, G1118)
G1128 = nand(G1126, G1127)
G1136 = nand(G1134, G1135)
G1145 = nand(G1143, G1144)
G1148 = nand(G1146, G1147)
G1158 = nand(G1156, G1157)
G2425 = not(G2419)
G1181 = nand(G2419, G2426)
G641 = nand(G2230, G2233)
G648 = nand(G2246, G2249)
G664 = nand(G2254, G2257)
G683 = nand(G2262, G2265)
G395 = buf(G688)
G2321 = not(G2315)
G948 = nand(G2315, G2322)
G2329 = not(G2323)
G956 = nand(G2323, G2330)
G962 = nand(G2334, G2337)
G1098 = nand(G2342, G2345)
G1114 = nand(G2350, G2353)
G2409 = not(G2403)
G1166 = nand(G2403, G2410)
G2417 = not(G2411)
G1174 = nand(G2411, G2418)
G1180 = nand(G2422, G2425)
G643 = nand(G641, G642)
G650 = nand(G648, G649)
G666 = nand(G664, G665)
G681 = nand(G683, G684)
G690 = not(G688)
G947 = nand(G2318, G2321)
G955 = nand(G2326, G2329)
G964 = nand(G962, G963)
G968 = and(G910, G927, G918, G901)
G970 = and(G901, G915)
G971 = and(G910, G901, G922)
G972 = and(G918, G901, G924, G910)
G978 = and(G930, G946)
G979 = and(G940, G930, G954)
G1100 = nand(G1098, G1099)
G1112 = nand(G1114, G1115)
G1165 = nand(G2406, G2409)
G1173 = nand(G2414, G2417)
G1182 = nand(G1180, G1181)
G1185 = and(G1128, G1145, G1136, G1119)
G1187 = and(G1119, G1133)
G1188 = and(G1128, G1119, G1140)
G1189 = and(G1136, G1119, G1142, G1128)
G1195 = and(G1148, G1164)
G1196 = and(G1158, G1148, G1172)
G644 = not(G643)
G884 = and(G650, G868)
G949 = nand(G947, G948)
G957 = nand(G955, G956)
G969 = not(G968)
G973 = or(G907, G970, G971, G972)
G1167 = nand(G1165, G1166)
G1175 = nand(G1173, G1174)
G1186 = not(G1185)
G1190 = or(G1125, G1187, G1188, G1189)
G680 = and(G666, G674)
G682 = and(G681, G666, G679)
G895 = or(G883, G884)
G1025 = and(G644, G487)
G1111 = and(G1100, G1106)
G1113 = and(G1112, G1100, G1110)
G685 = or(G671, G680, G682)
G295 = buf(G895)
G331 = buf(G895)
G976 = not(G973)
G977 = and(G940, G964, G949, G930, G957)
G980 = and(G949, G930, G961, G940)
G981 = and(G957, G949, G930, G967, G940)
G397 = buf(G1025)
G1116 = or(G1104, G1111, G1113)
G1193 = not(G1190)
G1194 = and(G1158, G1182, G1167, G1148, G1175)
G1197 = and(G1167, G1148, G1179, G1158)
G1198 = and(G1175, G1167, G1148, G1184, G1158)
G982 = or(G937, G978, G979, G980, G981)
G983 = and(G977, G685)
G988 = nand(G976, G969)
G1027 = not(G1025)
G1199 = or(G1155, G1195, G1196, G1197, G1198)
G1200 = and(G1194, G1116)
G1205 = nand(G1193, G1186)
G984 = or(G982, G983)
G1085 = and(G690, G1027, G1830)
G1201 = or(G1199, G1200)
G987 = not(G984)
G990 = and(G988, G984)
G1204 = not(G1201)
G1207 = and(G1205, G1201)
G989 = and(G973, G987)
G1206 = and(G1190, G1204)
G991 = or(G989, G990)
G1208 = or(G1206, G1207)
G329 = buf(G1208)
G1221 = nand(G1208, G991)
G1238 = and(G1208, G1221)
G1239 = and(G1221, G991)
G1240 = or(G1238, G1239)
G1247 = not(G1240)
G471 = and(G1240, G1247)
G473 = or(G471, G1247)
G231 = not(G473)
G1088 = and(G1553, G1087, G473)
G1089 = and(G1085, G1088, G554)
G308 = buf(G1089)
G225 = not(G1089)