#   combinational logic example "c1908"
# -------------------------------------------------------------
# 
# 
#   total number of lines in the netlist ..............  1908
#   simplistically reduced equivalent fault set size =   1879
#         lines from primary input  gates .......    33
#         lines from primary output gates .......    25
#         lines from interior gate outputs ......   855
#         lines from **   385 ** fanout stems ...   995
# 
#         avg_fanin  =  1.70,     max_fanin  =  8
#         avg_fanout =  2.58,     max_fanout = 16
# 
# 
# 
# 
# 
INPUT(G101)
INPUT(G104)
INPUT(G107)
INPUT(G110)
INPUT(G113)
INPUT(G116)
INPUT(G119)
INPUT(G122)
INPUT(G125)
INPUT(G128)
INPUT(G131)
INPUT(G134)
INPUT(G137)
INPUT(G140)
INPUT(G143)
INPUT(G146)
INPUT(G210)
INPUT(G214)
INPUT(G217)
INPUT(G221)
INPUT(G224)
INPUT(G227)
INPUT(G234)
INPUT(G237)
INPUT(G469)
INPUT(G472)
INPUT(G475)
INPUT(G478)
INPUT(G898)
INPUT(G900)
INPUT(G902)
INPUT(G952)
INPUT(G953)
OUTPUT(G3)
OUTPUT(G6)
OUTPUT(G9)
OUTPUT(G12)
OUTPUT(G30)
OUTPUT(G45)
OUTPUT(G48)
OUTPUT(G15)
OUTPUT(G18)
OUTPUT(G21)
OUTPUT(G24)
OUTPUT(G27)
OUTPUT(G33)
OUTPUT(G36)
OUTPUT(G39)
OUTPUT(G42)
OUTPUT(G75)
OUTPUT(G51)
OUTPUT(G54)
OUTPUT(G60)
OUTPUT(G63)
OUTPUT(G66)
OUTPUT(G69)
OUTPUT(G72)
OUTPUT(G57)

G149 = not(G101)
G153 = not(G104)
G156 = not(G107)
G160 = not(G110)
G165 = not(G113)
G168 = not(G116)
G171 = not(G119)
G175 = not(G122)
G179 = not(G125)
G184 = not(G128)
G188 = not(G131)
G191 = not(G134)
G194 = not(G137)
G198 = not(G140)
G202 = not(G143)
G206 = not(G146)
G231 = nand(G224, G898)
G233 = nand(G227, G900)
G241 = not(G237)
G244 = not(G237)
G245 = buf(G234)
G248 = buf(G234)
G517 = not(G469)
G529 = not(G472)
G541 = not(G475)
G553 = not(G478)
G859 = not(G953)
G862 = not(G953)
G907 = not(G898)
G909 = not(G900)
G911 = buf(G902)
G918 = not(G902)
G919 = buf(G902)
G922 = not(G902)
G926 = buf(G952)
G930 = not(G952)
G932 = not(G952)
G934 = buf(G953)
G938 = not(G953)
G943 = buf(G953)
G947 = buf(G953)
G949 = not(G953)
G1506 = buf(G101)
G1514 = buf(G104)
G1522 = buf(G107)
G1530 = buf(G110)
G1538 = buf(G113)
G1546 = buf(G116)
G1554 = buf(G119)
G1562 = buf(G122)
G1570 = buf(G125)
G1578 = buf(G128)
G1586 = buf(G131)
G1594 = buf(G134)
G1602 = buf(G137)
G1610 = buf(G140)
G1618 = buf(G143)
G1626 = buf(G146)
G1512 = not(G1506)
G1520 = not(G1514)
G1528 = not(G1522)
G1536 = not(G1530)
G1544 = not(G1538)
G1552 = not(G1546)
G1560 = not(G1554)
G1568 = not(G1562)
G1576 = not(G1570)
G1584 = not(G1578)
G1592 = not(G1586)
G1600 = not(G1594)
G1608 = not(G1602)
G1616 = not(G1610)
G1624 = not(G1618)
G1632 = not(G1626)
G50 = nand(G930, G947)
G52 = nand(G930, G947)
G56 = nand(G930, G947)
G58 = nand(G930, G947)
G62 = nand(G930, G947)
G64 = nand(G930, G947)
G251 = buf(G149)
G254 = buf(G153)
G288 = buf(G165)
G291 = buf(G168)
G299 = buf(G184)
G302 = buf(G202)
G318 = and(G224, G938)
G321 = buf(G179)
G327 = buf(G188)
G330 = buf(G191)
G352 = and(G227, G938)
G355 = buf(G198)
G369 = and(G210, G241, G938)
G382 = buf(G206)
G385 = buf(G198)
G853 = nand(G943, G907)
G856 = nand(G943, G909)
G893 = nand(G248, G237)
G954 = nand(G248, G922)
G955 = nand(G244, G922)
G1050 = buf(G160)
G1053 = buf(G175)
G1176 = buf(G179)
G1179 = buf(G198)
G1197 = buf(G149)
G1207 = buf(G149)
G1222 = buf(G153)
G1244 = buf(G188)
G1278 = buf(G156)
G1290 = and(G217, G245, G938)
G1300 = buf(G191)
G1312 = buf(G160)
G1332 = buf(G194)
G1335 = and(G221, G245, G938)
G1442 = buf(G517)
G1450 = buf(G517)
G1458 = buf(G529)
G1466 = buf(G529)
G1474 = buf(G541)
G1482 = buf(G541)
G1490 = buf(G553)
G1498 = buf(G553)
G1634 = and(G231, G934)
G1644 = and(G233, G934)
G1657 = buf(G156)
G1665 = buf(G156)
G1697 = buf(G171)
G1705 = buf(G171)
G1713 = buf(G206)
G1721 = buf(G206)
G1745 = buf(G194)
G1753 = buf(G194)
G1785 = buf(G160)
G1793 = buf(G160)
G1814 = buf(G165)
G1817 = buf(G175)
G1830 = and(G214, G241, G938)
G1833 = buf(G202)
G1841 = buf(G179)
G1849 = buf(G179)
G1854 = buf(G168)
G1857 = buf(G175)
G1870 = buf(G184)
G1873 = buf(G202)
G1878 = buf(G171)
G1881 = buf(G184)
G1642 = not(G1634)
G1652 = not(G1644)
G1056 = not(G1050)
G1057 = not(G1053)
G1182 = not(G1176)
G1183 = not(G1179)
G1211 = not(G1207)
G1298 = not(G1290)
G1320 = not(G1312)
G1338 = not(G1332)
G1339 = not(G1335)
G457 = and(G210, G955)
G459 = and(G217, G954)
G482 = nand(G214, G955)
G487 = nand(G221, G954)
G492 = nand(G210, G955)
G505 = nand(G217, G954)
G1456 = not(G1450)
G1448 = not(G1442)
G1472 = not(G1466)
G1464 = not(G1458)
G1488 = not(G1482)
G1480 = not(G1474)
G1504 = not(G1498)
G1496 = not(G1490)
G956 = nand(G907, G919, G943, G893)
G967 = nand(G909, G919, G943, G893)
G978 = nand(G926, G949, G893)
G979 = and(G926, G949, G893)
G980 = buf(G251)
G1661 = not(G1657)
G990 = buf(G251)
G1669 = not(G1665)
G1030 = buf(G288)
G1701 = not(G1697)
G1040 = buf(G288)
G1709 = not(G1705)
G1058 = buf(G299)
G1717 = not(G1713)
G1068 = buf(G299)
G1725 = not(G1721)
G1078 = buf(G318)
G1090 = buf(G318)
G1100 = buf(G327)
G1749 = not(G1745)
G1112 = buf(G327)
G1757 = not(G1753)
G1154 = buf(G352)
G1789 = not(G1785)
G1166 = buf(G352)
G1797 = not(G1793)
G1194 = buf(G369)
G1201 = not(G1197)
G1204 = buf(G369)
G1820 = not(G1814)
G1821 = not(G1817)
G1230 = not(G1222)
G1836 = not(G1830)
G1837 = not(G1833)
G1252 = not(G1244)
G1256 = buf(G382)
G1845 = not(G1841)
G1268 = buf(G382)
G1853 = not(G1849)
G1860 = not(G1854)
G1861 = not(G1857)
G1286 = not(G1278)
G1876 = not(G1870)
G1877 = not(G1873)
G1308 = not(G1300)
G1884 = not(G1878)
G1885 = not(G1881)
G1654 = buf(G254)
G1662 = buf(G254)
G1694 = buf(G291)
G1702 = buf(G291)
G1710 = buf(G302)
G1718 = buf(G302)
G1726 = buf(G321)
G1734 = buf(G321)
G1742 = buf(G330)
G1750 = buf(G330)
G1782 = buf(G355)
G1790 = buf(G355)
G1838 = buf(G385)
G1846 = buf(G385)
G297 = nand(G1053, G1056)
G298 = nand(G1050, G1057)
G361 = nand(G1179, G1182)
G362 = nand(G1176, G1183)
G404 = nand(G1335, G1338)
G405 = nand(G1332, G1339)
G1225 = nand(G1817, G1820)
G1226 = nand(G1814, G1821)
G1247 = nand(G1833, G1836)
G1248 = nand(G1830, G1837)
G1281 = nand(G1857, G1860)
G1282 = nand(G1854, G1861)
G1303 = nand(G1873, G1876)
G1304 = nand(G1870, G1877)
G1315 = nand(G1881, G1884)
G1316 = nand(G1878, G1885)
G998 = not(G990)
G988 = not(G980)
G268 = nand(G297, G298)
G1038 = not(G1030)
G1048 = not(G1040)
G1076 = not(G1068)
G1066 = not(G1058)
G1098 = not(G1090)
G1120 = not(G1112)
G1174 = not(G1166)
G363 = nand(G361, G362)
G1210 = not(G1204)
G373 = nand(G1204, G1211)
G1276 = not(G1268)
G406 = nand(G404, G405)
G565 = not(G482)
G566 = buf(G482)
G614 = not(G487)
G615 = buf(G487)
G958 = nand(G956, G978)
G969 = nand(G967, G978)
G1660 = not(G1654)
G984 = nand(G1654, G1661)
G1668 = not(G1662)
G994 = nand(G1662, G1669)
G1700 = not(G1694)
G1034 = nand(G1694, G1701)
G1708 = not(G1702)
G1044 = nand(G1702, G1709)
G1716 = not(G1710)
G1062 = nand(G1710, G1717)
G1724 = not(G1718)
G1072 = nand(G1718, G1725)
G1732 = not(G1726)
G1086 = not(G1078)
G1740 = not(G1734)
G1748 = not(G1742)
G1104 = nand(G1742, G1749)
G1108 = not(G1100)
G1756 = not(G1750)
G1116 = nand(G1750, G1757)
G1788 = not(G1782)
G1158 = nand(G1782, G1789)
G1162 = not(G1154)
G1796 = not(G1790)
G1170 = nand(G1790, G1797)
G1200 = not(G1194)
G1203 = nand(G1194, G1201)
G1227 = nand(G1225, G1226)
G1249 = nand(G1247, G1248)
G1844 = not(G1838)
G1260 = nand(G1838, G1845)
G1264 = not(G1256)
G1852 = not(G1846)
G1272 = nand(G1846, G1853)
G1283 = nand(G1281, G1282)
G1305 = nand(G1303, G1304)
G1317 = nand(G1315, G1316)
G1410 = buf(G492)
G1418 = buf(G492)
G1426 = buf(G505)
G1434 = buf(G505)
G269 = not(G268)
G372 = nand(G1207, G1210)
G983 = nand(G1657, G1660)
G993 = nand(G1665, G1668)
G1033 = nand(G1697, G1700)
G1043 = nand(G1705, G1708)
G1061 = nand(G1713, G1716)
G1071 = nand(G1721, G1724)
G1103 = nand(G1745, G1748)
G1115 = nand(G1753, G1756)
G1157 = nand(G1785, G1788)
G1169 = nand(G1793, G1796)
G1184 = not(G363)
G1202 = nand(G1197, G1200)
G1259 = nand(G1841, G1844)
G1271 = nand(G1849, G1852)
G1322 = not(G406)
G374 = nand(G372, G373)
G396 = nand(G1317, G1320)
G1321 = not(G1317)
G1424 = not(G1418)
G1416 = not(G1410)
G1440 = not(G1434)
G1432 = not(G1426)
G985 = nand(G983, G984)
G995 = nand(G993, G994)
G1035 = nand(G1033, G1034)
G1045 = nand(G1043, G1044)
G1063 = nand(G1061, G1062)
G1073 = nand(G1071, G1072)
G1105 = nand(G1103, G1104)
G1117 = nand(G1115, G1116)
G1159 = nand(G1157, G1158)
G1171 = nand(G1169, G1170)
G1212 = nand(G1202, G1203)
G1231 = not(G1227)
G1232 = nand(G1227, G1230)
G1253 = not(G1249)
G1254 = nand(G1249, G1252)
G1261 = nand(G1259, G1260)
G1273 = nand(G1271, G1272)
G1287 = not(G1283)
G1288 = nand(G1283, G1286)
G1309 = not(G1305)
G1310 = nand(G1305, G1308)
G1192 = not(G1184)
G397 = nand(G1312, G1321)
G1330 = not(G1322)
G1000 = buf(G269)
G1010 = buf(G269)
G1233 = nand(G1222, G1231)
G1255 = nand(G1244, G1253)
G1289 = nand(G1278, G1287)
G1311 = nand(G1300, G1309)
G1381 = not(G374)
G257 = nand(G995, G998)
G999 = not(G995)
G260 = nand(G985, G988)
G989 = not(G985)
G272 = nand(G1035, G1038)
G1039 = not(G1035)
G294 = nand(G1045, G1048)
G1049 = not(G1045)
G305 = nand(G1073, G1076)
G1077 = not(G1073)
G308 = nand(G1063, G1066)
G1067 = not(G1063)
G333 = nand(G1117, G1120)
G1121 = not(G1117)
G358 = nand(G1171, G1174)
G1175 = not(G1171)
G1220 = not(G1212)
G388 = nand(G1273, G1276)
G1277 = not(G1273)
G398 = nand(G396, G397)
G1109 = not(G1105)
G1110 = nand(G1105, G1108)
G1163 = not(G1159)
G1164 = nand(G1159, G1162)
G1234 = nand(G1232, G1233)
G1265 = not(G1261)
G1266 = nand(G1261, G1264)
G1822 = nand(G1254, G1255)
G1862 = nand(G1310, G1311)
G1865 = nand(G1288, G1289)
G258 = nand(G990, G999)
G261 = nand(G980, G989)
G273 = nand(G1030, G1039)
G1018 = not(G1010)
G1008 = not(G1000)
G295 = nand(G1040, G1049)
G306 = nand(G1068, G1077)
G309 = nand(G1058, G1067)
G334 = nand(G1112, G1121)
G359 = nand(G1166, G1175)
G389 = nand(G1268, G1277)
G1385 = not(G1381)
G1111 = nand(G1100, G1109)
G1165 = nand(G1154, G1163)
G1267 = nand(G1256, G1265)
G1886 = not(G398)
G259 = nand(G257, G258)
G262 = nand(G260, G261)
G274 = nand(G272, G273)
G296 = nand(G294, G295)
G307 = nand(G305, G306)
G310 = nand(G308, G309)
G335 = nand(G333, G334)
G360 = nand(G358, G359)
G1242 = not(G1234)
G390 = nand(G388, G389)
G1828 = not(G1822)
G1868 = not(G1862)
G1869 = not(G1865)
G1373 = nand(G1164, G1165)
G1798 = nand(G1110, G1111)
G1825 = nand(G1266, G1267)
G265 = not(G259)
G314 = not(G307)
G336 = not(G335)
G407 = not(G296)
G1293 = nand(G1865, G1868)
G1294 = nand(G1862, G1869)
G1892 = not(G1886)
G1777 = not(G360)
G1889 = not(G390)
G410 = buf(G310)
G1377 = not(G1373)
G1804 = not(G1798)
G1237 = nand(G1825, G1828)
G1829 = not(G1825)
G1295 = nand(G1293, G1294)
G1670 = buf(G274)
G1678 = buf(G274)
G1729 = buf(G310)
G1737 = buf(G310)
G1761 = buf(G262)
G1769 = buf(G262)
G340 = buf(G336)
G343 = buf(G314)
G1781 = not(G1777)
G1238 = nand(G1822, G1829)
G1325 = nand(G1889, G1892)
G1893 = not(G1889)
G1340 = buf(G407)
G1352 = buf(G407)
G1673 = buf(G265)
G1681 = buf(G265)
G1801 = buf(G314)
G1897 = buf(G336)
G1905 = buf(G336)
G391 = nand(G1295, G1298)
G1299 = not(G1295)
G1676 = not(G1670)
G1684 = not(G1678)
G1081 = nand(G1729, G1732)
G1733 = not(G1729)
G1093 = nand(G1737, G1740)
G1741 = not(G1737)
G1765 = not(G1761)
G1773 = not(G1769)
G1239 = nand(G1237, G1238)
G1326 = nand(G1886, G1893)
G1894 = buf(G410)
G1902 = buf(G410)
G392 = nand(G1290, G1299)
G1360 = not(G1352)
G1003 = nand(G1673, G1676)
G1677 = not(G1673)
G1013 = nand(G1681, G1684)
G1685 = not(G1681)
G1082 = nand(G1726, G1733)
G1094 = nand(G1734, G1741)
G1122 = buf(G340)
G1134 = buf(G340)
G1187 = nand(G1801, G1804)
G1805 = not(G1801)
G1327 = nand(G1325, G1326)
G1901 = not(G1897)
G1348 = not(G1340)
G1909 = not(G1905)
G1758 = buf(G343)
G1766 = buf(G343)
G377 = nand(G1239, G1242)
G1243 = not(G1239)
G393 = nand(G391, G392)
G1004 = nand(G1670, G1677)
G1014 = nand(G1678, G1685)
G1083 = nand(G1081, G1082)
G1095 = nand(G1093, G1094)
G1188 = nand(G1798, G1805)
G1900 = not(G1894)
G1344 = nand(G1894, G1901)
G1908 = not(G1902)
G1356 = nand(G1902, G1909)
G1142 = not(G1134)
G378 = nand(G1234, G1243)
G399 = nand(G1327, G1330)
G1331 = not(G1327)
G1005 = nand(G1003, G1004)
G1015 = nand(G1013, G1014)
G1764 = not(G1758)
G1126 = nand(G1758, G1765)
G1130 = not(G1122)
G1772 = not(G1766)
G1138 = nand(G1766, G1773)
G1189 = nand(G1187, G1188)
G1343 = nand(G1897, G1900)
G1355 = nand(G1905, G1908)
G324 = nand(G1095, G1098)
G1099 = not(G1095)
G379 = nand(G377, G378)
G400 = nand(G1322, G1331)
G449 = nand(G393, G918)
G1087 = not(G1083)
G1088 = nand(G1083, G1086)
G1125 = nand(G1761, G1764)
G1137 = nand(G1769, G1772)
G1345 = nand(G1343, G1344)
G1357 = nand(G1355, G1356)
G1397 = buf(G393)
G277 = nand(G1015, G1018)
G1019 = not(G1015)
G280 = nand(G1005, G1008)
G1009 = not(G1005)
G325 = nand(G1090, G1099)
G364 = nand(G1189, G1192)
G1193 = not(G1189)
G401 = nand(G399, G400)
G1089 = nand(G1078, G1087)
G1127 = nand(G1125, G1126)
G1139 = nand(G1137, G1138)
G278 = nand(G1010, G1019)
G281 = nand(G1000, G1009)
G326 = nand(G324, G325)
G365 = nand(G1184, G1193)
G413 = nand(G1357, G1360)
G1361 = not(G1357)
G1401 = not(G1397)
G445 = nand(G379, G918)
G1349 = not(G1345)
G1350 = nand(G1345, G1348)
G1389 = buf(G379)
G1493 = buf(G449)
G1501 = buf(G449)
G1689 = nand(G1088, G1089)
G279 = nand(G277, G278)
G282 = nand(G280, G281)
G346 = nand(G1139, G1142)
G1143 = not(G1139)
G366 = nand(G364, G365)
G414 = nand(G1352, G1361)
G453 = nand(G401, G918)
G1131 = not(G1127)
G1132 = nand(G1127, G1130)
G1351 = nand(G1340, G1349)
G1365 = not(G326)
G1405 = buf(G401)
G285 = not(G279)
G347 = nand(G1134, G1143)
G367 = not(G366)
G415 = nand(G413, G414)
G1393 = not(G1389)
G556 = nand(G1501, G1504)
G1505 = not(G1501)
G559 = nand(G1493, G1496)
G1497 = not(G1493)
G1693 = not(G1689)
G1133 = nand(G1122, G1131)
G1477 = buf(G445)
G1485 = buf(G445)
G1809 = nand(G1350, G1351)
G348 = nand(G346, G347)
G1369 = not(G1365)
G1409 = not(G1405)
G557 = nand(G1498, G1505)
G560 = nand(G1490, G1497)
G1362 = buf(G282)
G1378 = not(G415)
G1429 = buf(G453)
G1437 = buf(G453)
G1686 = buf(G282)
G1774 = nand(G1132, G1133)
G1910 = and(G285, G853)
G1918 = and(G856, G367)
G544 = nand(G1485, G1488)
G1489 = not(G1485)
G547 = nand(G1477, G1480)
G1481 = not(G1477)
G558 = nand(G556, G557)
G561 = nand(G559, G560)
G1813 = not(G1809)
G1370 = not(G348)
G1368 = not(G1362)
G417 = nand(G1362, G1369)
G1384 = not(G1378)
G424 = nand(G1378, G1385)
G508 = nand(G1437, G1440)
G1441 = not(G1437)
G511 = nand(G1429, G1432)
G1433 = not(G1429)
G545 = nand(G1482, G1489)
G548 = nand(G1474, G1481)
G564 = not(G558)
G1692 = not(G1686)
G1024 = nand(G1686, G1693)
G1780 = not(G1774)
G1148 = nand(G1774, G1781)
G1916 = not(G1910)
G1924 = not(G1918)
G416 = nand(G1365, G1368)
G1376 = not(G1370)
G421 = nand(G1370, G1377)
G423 = nand(G1381, G1384)
G509 = nand(G1434, G1441)
G512 = nand(G1426, G1433)
G546 = nand(G544, G545)
G549 = nand(G547, G548)
G719 = not(G561)
G722 = buf(G561)
G1023 = nand(G1689, G1692)
G1147 = nand(G1777, G1780)
G418 = nand(G416, G417)
G420 = nand(G1373, G1376)
G425 = nand(G423, G424)
G510 = nand(G508, G509)
G513 = nand(G511, G512)
G552 = not(G546)
G1025 = nand(G1023, G1024)
G1149 = nand(G1147, G1148)
G419 = not(G418)
G422 = nand(G420, G421)
G441 = nand(G425, G918)
G516 = not(G510)
G725 = not(G549)
G728 = buf(G549)
G1029 = not(G1025)
G1153 = not(G1149)
G433 = nand(G419, G918)
G437 = nand(G422, G918)
G663 = not(G513)
G666 = buf(G513)
G731 = and(G719, G725)
G746 = and(G722, G725)
G756 = and(G719, G728)
G770 = and(G722, G728)
G1461 = buf(G441)
G1469 = buf(G441)
G1413 = buf(G433)
G1421 = buf(G433)
G1445 = buf(G437)
G1453 = buf(G437)
G532 = nand(G1469, G1472)
G1473 = not(G1469)
G535 = nand(G1461, G1464)
G1465 = not(G1461)
G495 = nand(G1421, G1424)
G1425 = not(G1421)
G498 = nand(G1413, G1416)
G1417 = not(G1413)
G520 = nand(G1453, G1456)
G1457 = not(G1453)
G523 = nand(G1445, G1448)
G1449 = not(G1445)
G533 = nand(G1466, G1473)
G536 = nand(G1458, G1465)
G496 = nand(G1418, G1425)
G499 = nand(G1410, G1417)
G521 = nand(G1450, G1457)
G524 = nand(G1442, G1449)
G534 = nand(G532, G533)
G537 = nand(G535, G536)
G497 = nand(G495, G496)
G500 = nand(G498, G499)
G522 = nand(G520, G521)
G525 = nand(G523, G524)
G540 = not(G534)
G503 = not(G497)
G528 = not(G522)
G669 = not(G537)
G672 = buf(G537)
G569 = not(G500)
G588 = and(G566, G500)
G618 = not(G525)
G639 = and(G615, G525)
G867 = nand(G516, G564, G552, G540, G482, G528, G503, G487)
G588a = buf(G588)
G588b = buf(G588)
G639a = buf(G639)
G639b = buf(G639)
G675 = and(G663, G669)
G688 = and(G666, G669)
G696 = and(G663, G672)
G710 = and(G666, G672)
G73 = and(G949, G867, G932, G932)
G572 = and(G565, G569)
G573 = and(G566, G569)
G621 = and(G614, G618)
G622 = and(G615, G618)
G776 = nand(G588a, G639a, G696, G731, G958)
G780 = nand(G588a, G639a, G675, G756, G958)
G784 = nand(G588a, G639a, G675, G746, G958)
G788 = nand(G588a, G639a, G688, G731, G958)
G812 = nand(G588b, G639a, G710, G746, G969)
G832 = nand(G588b, G639b, G696, G770, G969)
G836 = nand(G588b, G639b, G710, G756, G969)
G1509 = and(G588a, G639a, G696, G731, G958)
G1517 = and(G588a, G639a, G675, G756, G958)
G1525 = and(G588a, G639a, G675, G746, G958)
G1533 = and(G588a, G639a, G688, G731, G958)
G1581 = and(G588b, G639a, G710, G746, G969)
G1621 = and(G588b, G639b, G696, G770, G969)
G1629 = and(G588b, G639b, G710, G756, G969)
G792 = nand(G588a, G622, G696, G756, G958)
G796 = nand(G588b, G622, G696, G746, G958)
G800 = nand(G588b, G622, G710, G731, G958)
G804 = nand(G588b, G622, G675, G770, G958)
G808 = nand(G588b, G622, G688, G756, G969)
G816 = nand(G573, G639b, G696, G756, G969)
G820 = nand(G573, G639b, G696, G746, G969)
G824 = nand(G573, G639b, G710, G731, G969)
G828 = nand(G573, G639b, G688, G756, G969)
G871 = nand(G588b, G622, G675, G731, G979)
G873 = nand(G573, G639b, G675, G731, G979)
G875 = nand(G573, G622, G696, G731, G979)
G877 = nand(G573, G622, G675, G756, G979)
G879 = nand(G573, G622, G675, G746, G979)
G881 = nand(G573, G622, G688, G731, G979)
G883 = nand(G573, G621, G675, G731, G979)
G885 = nand(G572, G622, G675, G731, G979)
G1541 = and(G588a, G622, G696, G756, G958)
G1549 = and(G588b, G622, G696, G746, G958)
G1557 = and(G588b, G622, G710, G731, G958)
G1565 = and(G588b, G622, G675, G770, G958)
G1573 = and(G588b, G622, G688, G756, G969)
G1589 = and(G573, G639b, G696, G756, G969)
G1597 = and(G573, G639b, G696, G746, G969)
G1605 = and(G573, G639b, G710, G731, G969)
G1613 = and(G573, G639b, G688, G756, G969)
G1 = nand(G1509, G1512)
G1513 = not(G1509)
G4 = nand(G1517, G1520)
G1521 = not(G1517)
G7 = nand(G1525, G1528)
G1529 = not(G1525)
G10 = nand(G1533, G1536)
G1537 = not(G1533)
G28 = nand(G1581, G1584)
G1585 = not(G1581)
G43 = nand(G1621, G1624)
G1625 = not(G1621)
G46 = nand(G1629, G1632)
G1633 = not(G1629)
G886 = and(G871, G873, G875, G877, G879, G881, G883, G885)
G2 = nand(G1506, G1513)
G5 = nand(G1514, G1521)
G8 = nand(G1522, G1529)
G11 = nand(G1530, G1537)
G13 = nand(G1541, G1544)
G1545 = not(G1541)
G16 = nand(G1549, G1552)
G1553 = not(G1549)
G19 = nand(G1557, G1560)
G1561 = not(G1557)
G22 = nand(G1565, G1568)
G1569 = not(G1565)
G25 = nand(G1573, G1576)
G1577 = not(G1573)
G29 = nand(G1578, G1585)
G31 = nand(G1589, G1592)
G1593 = not(G1589)
G34 = nand(G1597, G1600)
G1601 = not(G1597)
G37 = nand(G1605, G1608)
G1609 = not(G1605)
G40 = nand(G1613, G1616)
G1617 = not(G1613)
G44 = nand(G1618, G1625)
G47 = nand(G1626, G1633)
G857 = nand(G776, G780, G784, G788, G792, G796, G800, G804)
G860 = nand(G808, G812, G816, G820, G824, G828, G832, G836)
G863 = and(G776, G780, G784, G788, G792, G796, G800, G804)
G865 = and(G808, G812, G816, G820, G824, G828, G832, G836)
G3 = nand(G1, G2)
G6 = nand(G4, G5)
G9 = nand(G7, G8)
G12 = nand(G10, G11)
G14 = nand(G1538, G1545)
G17 = nand(G1546, G1553)
G20 = nand(G1554, G1561)
G23 = nand(G1562, G1569)
G26 = nand(G1570, G1577)
G30 = nand(G28, G29)
G32 = nand(G1586, G1593)
G35 = nand(G1594, G1601)
G38 = nand(G1602, G1609)
G41 = nand(G1610, G1617)
G45 = nand(G43, G44)
G48 = nand(G46, G47)
G1913 = and(G857, G859)
G1921 = and(G860, G862)
G15 = nand(G13, G14)
G18 = nand(G16, G17)
G21 = nand(G19, G20)
G24 = nand(G22, G23)
G27 = nand(G25, G26)
G33 = nand(G31, G32)
G36 = nand(G34, G35)
G39 = nand(G37, G38)
G42 = nand(G40, G41)
G887 = and(G863, G865, G886)
G462 = nand(G863, G865)
G74 = and(G949, G867, G952, G887)
G1637 = nand(G1913, G1916)
G1917 = not(G1913)
G1647 = nand(G1921, G1924)
G1925 = not(G1921)
G75 = nor(G73, G74)
G1020 = and(G457, G911, G462)
G1144 = and(G469, G911, G462)
G1386 = and(G475, G911, G462)
G1394 = and(G478, G911, G462)
G1402 = and(G459, G911, G462)
G1638 = nand(G1910, G1917)
G1648 = nand(G1918, G1925)
G1806 = and(G472, G911, G462)
G1639 = nand(G1637, G1638)
G1649 = nand(G1647, G1648)
G287 = nand(G1020, G1029)
G350 = nand(G1144, G1153)
G427 = nand(G1386, G1393)
G429 = nand(G1394, G1401)
G431 = nand(G1402, G1409)
G1028 = not(G1020)
G1152 = not(G1144)
G1392 = not(G1386)
G1400 = not(G1394)
G1408 = not(G1402)
G1812 = not(G1806)
G1216 = nand(G1806, G1813)
G286 = nand(G1025, G1028)
G349 = nand(G1149, G1152)
G426 = nand(G1389, G1392)
G428 = nand(G1397, G1400)
G430 = nand(G1405, G1408)
G67 = nand(G1639, G1642)
G1643 = not(G1639)
G70 = nand(G1649, G1652)
G1653 = not(G1649)
G1215 = nand(G1809, G1812)
G49 = nand(G286, G287)
G53 = nand(G349, G350)
G59 = nand(G426, G427)
G61 = nand(G428, G429)
G65 = nand(G430, G431)
G68 = nand(G1634, G1643)
G71 = nand(G1644, G1653)
G1217 = nand(G1215, G1216)
G51 = and(G49, G50)
G54 = and(G52, G53)
G60 = and(G58, G59)
G63 = and(G61, G62)
G66 = and(G64, G65)
G69 = nand(G67, G68)
G72 = nand(G70, G71)
G375 = nand(G1217, G1220)
G1221 = not(G1217)
G376 = nand(G1212, G1221)
G55 = nand(G375, G376)
G57 = and(G55, G56)