#   combinational logic example "c3540"
# -------------------------------------------------------------
# 
# 
#   total number of lines in the netlist ..............  3540
#   simplistically reduced equivalent fault set size =   3428
#         lines from primary input  gates .......    50
#         lines from primary output gates .......    22
#         lines from interior gate outputs ......  1647
#         lines from **   579 ** fanout stems ...  1821
# 
#         avg_fanin  =  1.76,     max_fanin  =  8
#         avg_fanout =  3.15,     max_fanout = 16
# 
# 
# 
# 
# 
INPUT(G1)
INPUT(G13)
INPUT(G20)
INPUT(G33)
INPUT(G41)
INPUT(G45)
INPUT(G50)
INPUT(G58)
INPUT(G68)
INPUT(G77)
INPUT(G87)
INPUT(G97)
INPUT(G107)
INPUT(G116)
INPUT(G124)
INPUT(G125)
INPUT(G128)
INPUT(G132)
INPUT(G137)
INPUT(G143)
INPUT(G150)
INPUT(G159)
INPUT(G169)
INPUT(G179)
INPUT(G190)
INPUT(G200)
INPUT(G213)
INPUT(G222)
INPUT(G223)
INPUT(G226)
INPUT(G232)
INPUT(G238)
INPUT(G244)
INPUT(G250)
INPUT(G257)
INPUT(G264)
INPUT(G270)
INPUT(G274)
INPUT(G283)
INPUT(G294)
INPUT(G303)
INPUT(G311)
INPUT(G317)
INPUT(G322)
INPUT(G326)
INPUT(G329)
INPUT(G330)
INPUT(G343)
INPUT(G1698)
INPUT(G2897)
OUTPUT(G353)
OUTPUT(G355)
OUTPUT(G361)
OUTPUT(G358)
OUTPUT(G351)
OUTPUT(G372)
OUTPUT(G369)
OUTPUT(G399)
OUTPUT(G364)
OUTPUT(G396)
OUTPUT(G384)
OUTPUT(G367)
OUTPUT(G387)
OUTPUT(G393)
OUTPUT(G390)
OUTPUT(G378)
OUTPUT(G375)
OUTPUT(G381)
OUTPUT(G407)
OUTPUT(G409)
OUTPUT(G405)
OUTPUT(G402)

G432 = buf(G50)
G442 = not(G50)
G447 = buf(G58)
G456 = not(G58)
G460 = buf(G68)
G463 = not(G68)
G467 = buf(G68)
G476 = buf(G77)
G479 = not(G77)
G483 = buf(G77)
G492 = buf(G87)
G501 = not(G87)
G504 = buf(G97)
G513 = not(G97)
G517 = buf(G107)
G526 = not(G107)
G530 = buf(G116)
G540 = not(G116)
G587 = or(G257, G264)
G704 = not(G1)
G707 = buf(G1)
G714 = not(G1)
G717 = buf(G13)
G724 = not(G13)
G731 = and(G13, G20)
G732 = not(G20)
G736 = buf(G20)
G741 = not(G20)
G758 = not(G33)
G776 = buf(G33)
G780 = not(G33)
G788 = and(G33, G41)
G791 = not(G41)
G798 = or(G41, G45)
G799 = buf(G45)
G802 = not(G45)
G826 = not(G50)
G828 = buf(G58)
G831 = not(G58)
G833 = buf(G68)
G836 = not(G68)
G839 = buf(G87)
G842 = not(G87)
G845 = buf(G97)
G848 = not(G97)
G851 = not(G107)
G890 = buf(G1)
G898 = buf(G68)
G907 = buf(G107)
G1032 = not(G20)
G1035 = buf(G190)
G1048 = not(G200)
G1049 = and(G20, G200)
G1050 = nand(G20, G200)
G1051 = and(G20, G179)
G1540 = not(G20)
G1699 = or(G1698, G33)
G1826 = nand(G1, G13)
G1827 = nand(G1, G20, G33)
G1828 = not(G20)
G2051 = not(G33)
G2478 = buf(G179)
G2865 = not(G213)
G2868 = buf(G343)
G2931 = buf(G226)
G2934 = buf(G232)
G2939 = buf(G238)
G2942 = buf(G244)
G2947 = buf(G250)
G2950 = buf(G257)
G2957 = buf(G264)
G2960 = buf(G270)
G3007 = buf(G50)
G3079 = buf(G58)
G3087 = buf(G58)
G3095 = buf(G97)
G3103 = buf(G97)
G3419 = buf(G330)
G588 = and(G250, G587)
G759 = or(G758, G20)
G1541 = or(G1540, G169)
G1772 = not(G731)
G1829 = or(G1828, G1)
G1834 = and(G1826, G1827)
G2052 = or(G2051, G1)
G625 = and(G826, G831, G836)
G545 = nand(G226, G432)
G546 = nand(G232, G447)
G547 = nand(G238, G467)
G548 = nand(G244, G483)
G549 = nand(G250, G492)
G550 = nand(G257, G504)
G551 = nand(G264, G517)
G552 = nand(G270, G530)
G2937 = not(G2931)
G2938 = not(G2934)
G2945 = not(G2939)
G2946 = not(G2942)
G621 = nand(G456, G463)
G626 = nand(G513, G526)
G635 = nand(G460, G476)
G636 = buf(G442)
G3085 = not(G3079)
G3101 = not(G3095)
G657 = buf(G802)
G675 = buf(G802)
G721 = buf(G717)
G784 = buf(G780)
G794 = buf(G791)
G807 = and(G714, G798)
G816 = and(G714, G799, G791)
G823 = and(G704, G799)
G860 = and(G707, G724, G736)
G861 = nand(G707, G724, G736)
G864 = nand(G707, G724)
G893 = buf(G890)
G896 = nand(G717, G732, G45)
G897 = nand(G826, G831, G836)
G3093 = not(G3087)
G905 = and(G842, G848, G851)
G906 = nand(G842, G848, G851)
G3109 = not(G3103)
G973 = not(G741)
G980 = not(G741)
G987 = not(G741)
G994 = not(G741)
G1001 = not(G741)
G1008 = not(G741)
G1015 = not(G741)
G1022 = not(G741)
G1038 = or(G1032, G1035)
G1043 = nor(G1032, G1035)
G1054 = buf(G1051)
G1057 = not(G1051)
G1512 = buf(G776)
G1681 = buf(G780)
G1717 = not(G1699)
G1724 = not(G1699)
G1731 = not(G1699)
G1738 = not(G1699)
G1745 = not(G1699)
G1752 = not(G1699)
G1759 = not(G1699)
G1766 = not(G1699)
G1773 = or(G1, G1772)
G1790 = not(G788)
G1808 = not(G788)
G2278 = and(G704, G717, G732)
G2481 = not(G2478)
G3425 = not(G3419)
G2871 = or(G2865, G2868)
G2874 = nor(G2865, G2868)
G2953 = not(G2947)
G2954 = not(G2950)
G2963 = not(G2957)
G2964 = not(G2960)
G3010 = buf(G456)
G3013 = not(G3007)
G3017 = buf(G463)
G3020 = buf(G479)
G3027 = buf(G501)
G3030 = buf(G513)
G3037 = buf(G526)
G3040 = buf(G540)
G3082 = buf(G898)
G3090 = buf(G898)
G3098 = buf(G907)
G3106 = buf(G907)
G352 = nand(G479, G625)
G553 = and(G545, G546, G547, G548)
G554 = and(G549, G550, G551, G552)
G555 = nand(G2934, G2937)
G556 = nand(G2931, G2938)
G560 = nand(G2942, G2945)
G561 = nand(G2939, G2946)
G650 = and(G432, G621)
G956 = and(G890, G896)
G974 = not(G759)
G975 = and(G741, G759)
G976 = and(G897, G973)
G981 = not(G759)
G982 = and(G741, G759)
G988 = not(G759)
G989 = and(G741, G759)
G990 = and(G836, G987)
G995 = not(G759)
G996 = and(G741, G759)
G997 = and(G77, G994)
G1002 = not(G759)
G1003 = and(G741, G759)
G1004 = and(G906, G1001)
G1009 = not(G759)
G1010 = and(G741, G759)
G1016 = not(G759)
G1017 = and(G741, G759)
G1018 = and(G851, G1015)
G1023 = not(G759)
G1024 = and(G741, G759)
G1025 = and(G116, G1022)
G1720 = and(G222, G1717)
G1727 = and(G223, G1724)
G1734 = and(G226, G1731)
G1741 = and(G232, G1738)
G1748 = and(G238, G1745)
G1755 = and(G244, G1752)
G1762 = and(G250, G1759)
G1769 = and(G257, G1766)
G1791 = and(G1, G13, G1790)
G1809 = and(G1, G13, G1808)
G1851 = not(G1834)
G1901 = not(G1834)
G1952 = not(G1834)
G2002 = not(G1834)
G2057 = not(G1834)
G2109 = not(G1834)
G2162 = not(G1834)
G2214 = not(G1834)
G2955 = nand(G2950, G2953)
G2956 = nand(G2947, G2954)
G2965 = nand(G2960, G2963)
G2966 = nand(G2957, G2964)
G353 = not(G352)
G354 = and(G87, G626)
G557 = nand(G555, G556)
G562 = nand(G560, G561)
G586 = nand(G553, G554)
G630 = and(G540, G905)
G634 = nand(G540, G905)
G639 = not(G636)
G642 = nand(G3082, G3085)
G3086 = not(G3082)
G644 = and(G460, G636)
G646 = nand(G3098, G3101)
G3102 = not(G3098)
G654 = nand(G87, G626)
G660 = not(G657)
G678 = not(G675)
G804 = nand(G860, G776)
G806 = nand(G860, G780)
G855 = nand(G707, G721, G736)
G867 = nand(G707, G724, G736, G794)
G903 = nand(G3090, G3093)
G3094 = not(G3090)
G912 = nand(G3106, G3109)
G3110 = not(G3106)
G915 = not(G861)
G927 = not(G893)
G941 = not(G864)
G977 = and(G828, G974)
G978 = and(G150, G975)
G984 = and(G833, G981)
G985 = and(G159, G982)
G991 = and(G77, G988)
G992 = and(G50, G989)
G998 = and(G839, G995)
G999 = and(G828, G996)
G1005 = and(G845, G1002)
G1006 = and(G833, G1003)
G1012 = and(G107, G1009)
G1013 = and(G77, G1010)
G1019 = and(G116, G1016)
G1020 = and(G839, G1017)
G1026 = and(G283, G1023)
G1027 = and(G845, G1024)
G1060 = and(G200, G1054)
G1063 = and(G1048, G1054)
G1066 = and(G1049, G1057)
G1069 = and(G1050, G1057)
G1527 = nand(G784, G794)
G1530 = nand(G776, G794)
G1542 = nand(G707, G721, G1541)
G1563 = nand(G724, G732, G784)
G1572 = nand(G724, G784)
G1581 = not(G1512)
G1585 = not(G1512)
G1589 = not(G1512)
G1593 = not(G1512)
G1597 = not(G1512)
G1601 = not(G1512)
G1605 = not(G1512)
G1716 = not(G1681)
G1718 = and(G1681, G1699)
G1723 = not(G1681)
G1725 = and(G1681, G1699)
G1730 = not(G1681)
G1732 = and(G1681, G1699)
G1737 = not(G1681)
G1739 = and(G1681, G1699)
G1744 = not(G1681)
G1746 = and(G1681, G1699)
G1751 = not(G1681)
G1753 = and(G1681, G1699)
G1758 = not(G1681)
G1760 = and(G1681, G1699)
G1765 = not(G1681)
G1767 = and(G1681, G1699)
G1852 = and(G1834, G1773)
G1856 = nor(G50, G1773)
G1870 = not(G807)
G1902 = and(G1834, G1773)
G1906 = nor(G58, G1773)
G1920 = not(G807)
G1953 = and(G1834, G1773)
G1957 = nor(G68, G1773)
G1971 = not(G807)
G2003 = and(G1834, G1773)
G2007 = nor(G77, G1773)
G2021 = not(G807)
G2058 = and(G1834, G1773)
G2062 = nor(G87, G1773)
G2076 = not(G823)
G2110 = and(G1834, G1773)
G2114 = nor(G97, G1773)
G2128 = not(G816)
G2163 = and(G1834, G1773)
G2167 = nor(G107, G1773)
G2181 = not(G816)
G2215 = and(G1834, G1773)
G2219 = nor(G116, G1773)
G2233 = not(G816)
G2285 = and(G2278, G213)
G2288 = nand(G2278, G213)
G2289 = and(G2278, G213, G343)
G2293 = nand(G2278, G213, G343)
G2298 = and(G2278, G213, G343)
G2302 = nand(G2278, G213, G343)
G2877 = buf(G2874)
G2983 = nand(G2955, G2956)
G2986 = nand(G2965, G2966)
G3014 = not(G3010)
G3015 = nand(G3010, G3013)
G3023 = not(G3017)
G3024 = not(G3020)
G3033 = not(G3027)
G3034 = not(G3030)
G3043 = not(G3037)
G3044 = not(G3040)
G355 = not(G354)
G643 = nand(G3079, G3086)
G647 = nand(G3095, G3102)
G680 = and(G650, G675)
G904 = nand(G3087, G3094)
G913 = nand(G3103, G3110)
G920 = and(G588, G915)
G979 = or(G976, G977, G978)
G993 = or(G990, G991, G992)
G1000 = or(G997, G998, G999)
G1007 = or(G1004, G1005, G1006)
G1021 = or(G1018, G1019, G1020)
G1028 = or(G1025, G1026, G1027)
G1719 = and(G77, G1716)
G1721 = and(G223, G1718)
G1726 = and(G87, G1723)
G1728 = and(G226, G1725)
G1733 = and(G97, G1730)
G1735 = and(G232, G1732)
G1740 = and(G107, G1737)
G1742 = and(G238, G1739)
G1747 = and(G116, G1744)
G1749 = and(G244, G1746)
G1754 = and(G283, G1751)
G1756 = and(G250, G1753)
G1761 = and(G294, G1758)
G1763 = and(G257, G1760)
G1768 = and(G303, G1765)
G1770 = and(G264, G1767)
G1794 = buf(G1791)
G1799 = not(G1791)
G1812 = buf(G1809)
G1817 = not(G1809)
G1859 = and(G50, G1829, G1852)
G1909 = and(G58, G1829, G1902)
G1960 = and(G68, G1829, G1953)
G2010 = and(G77, G1829, G2003)
G2065 = and(G87, G2052, G2058)
G2117 = and(G97, G2052, G2110)
G2170 = and(G107, G2052, G2163)
G2222 = and(G116, G2052, G2215)
G2678 = not(G956)
G2697 = not(G956)
G2716 = not(G956)
G2733 = not(G956)
G2751 = not(G956)
G2768 = not(G956)
G2785 = not(G956)
G2802 = not(G956)
G3016 = nand(G3007, G3014)
G3025 = nand(G3020, G3023)
G3026 = nand(G3017, G3024)
G3035 = nand(G3030, G3033)
G3036 = nand(G3027, G3034)
G3045 = nand(G3040, G3043)
G3046 = nand(G3037, G3044)
G2989 = not(G2983)
G2990 = not(G2986)
G610 = not(G804)
G613 = and(G804, G806)
G616 = not(G806)
G640 = nand(G642, G643)
G648 = nand(G646, G647)
G655 = and(G630, G635, G442, G58)
G665 = not(G804)
G668 = and(G804, G806)
G671 = not(G806)
G683 = not(G804)
G685 = not(G806)
G688 = and(G804, G806)
G694 = not(G804)
G696 = not(G806)
G699 = and(G804, G806)
G870 = buf(G867)
G887 = buf(G867)
G901 = nand(G903, G904)
G910 = nand(G912, G913)
G914 = not(G855)
G916 = and(G855, G861)
G942 = not(G855)
G943 = and(G864, G855)
G1072 = nand(G1043, G1069)
G1084 = nand(G1043, G1066)
G1096 = nand(G1038, G1069)
G1108 = nand(G1038, G1066)
G1120 = nand(G1043, G1063)
G1132 = nand(G1043, G1060)
G1144 = nand(G1038, G1063)
G1156 = nand(G1038, G1060)
G1533 = not(G1527)
G1534 = not(G1530)
G1535 = and(G1527, G1530)
G1545 = buf(G1542)
G1554 = buf(G1542)
G1610 = not(G1572)
G1619 = not(G1572)
G1628 = not(G1572)
G1637 = not(G1572)
G1646 = not(G1563)
G1655 = not(G1563)
G1664 = not(G1563)
G1673 = not(G1563)
G1722 = or(G1719, G1720, G1721)
G1729 = or(G1726, G1727, G1728)
G1736 = or(G1733, G1734, G1735)
G1743 = or(G1740, G1741, G1742)
G1750 = or(G1747, G1748, G1749)
G1757 = or(G1754, G1755, G1756)
G1764 = or(G1761, G1762, G1763)
G1771 = or(G1768, G1769, G1770)
G1853 = and(G979, G1851)
G1954 = and(G993, G1952)
G2004 = and(G1000, G2002)
G2059 = and(G1007, G2057)
G2164 = and(G1021, G2162)
G2216 = and(G1028, G2214)
G2485 = buf(G2293)
G2900 = and(G2877, G2897)
G2903 = nand(G2877, G2897)
G2967 = buf(G557)
G2970 = buf(G562)
G2975 = buf(G557)
G2978 = buf(G562)
G3047 = nand(G3015, G3016)
G3050 = nand(G3025, G3026)
G3055 = nand(G3035, G3036)
G3058 = nand(G3045, G3046)
G574 = nand(G2986, G2989)
G575 = nand(G2983, G2990)
G617 = and(G501, G613)
G641 = and(G640, G476, G639)
G649 = and(G530, G648)
G662 = and(G655, G657)
G672 = and(G513, G668)
G690 = and(G654, G685)
G691 = and(G540, G688)
G701 = and(G634, G696)
G702 = and(G526, G699)
G902 = not(G901)
G911 = not(G910)
G917 = and(G650, G914)
G923 = and(G586, G916)
G1538 = and(G442, G1535)
G1871 = and(G1817, G226, G1870)
G1872 = and(G1817, G274, G807)
G1873 = and(G1812, G1722)
G1921 = and(G1817, G232, G1920)
G1922 = and(G1817, G274, G807)
G1923 = and(G1812, G1729)
G1972 = and(G1817, G238, G1971)
G1973 = and(G1817, G274, G807)
G1974 = and(G1812, G1736)
G2022 = and(G1817, G244, G2021)
G2023 = and(G1817, G274, G807)
G2024 = and(G1812, G1743)
G2077 = and(G1799, G250, G2076)
G2078 = and(G1799, G274, G823)
G2079 = and(G1794, G1750)
G2129 = and(G1799, G257, G2128)
G2130 = and(G1799, G274, G816)
G2131 = and(G1794, G1757)
G2182 = and(G1799, G264, G2181)
G2183 = and(G1799, G274, G816)
G2184 = and(G1794, G1764)
G2234 = and(G1799, G270, G2233)
G2235 = and(G1799, G274, G816)
G2236 = and(G1794, G1771)
G2973 = not(G2967)
G2974 = not(G2970)
G2981 = not(G2975)
G2982 = not(G2978)
G576 = nand(G574, G575)
G3053 = not(G3047)
G3054 = not(G3050)
G3061 = not(G3055)
G3062 = not(G3058)
G645 = or(G641, G644)
G926 = not(G887)
G928 = and(G887, G893)
G947 = and(G649, G942)
G983 = and(G902, G980)
G1011 = and(G911, G1008)
G1075 = buf(G1072)
G1087 = buf(G1084)
G1099 = buf(G1096)
G1111 = buf(G1108)
G1123 = buf(G1120)
G1135 = buf(G1132)
G1147 = buf(G1144)
G1159 = buf(G1156)
G1168 = buf(G1072)
G1177 = buf(G1084)
G1186 = buf(G1096)
G1195 = buf(G1108)
G1204 = buf(G1120)
G1213 = buf(G1132)
G1222 = buf(G1144)
G1231 = buf(G1156)
G1609 = not(G1545)
G1611 = and(G1545, G1572)
G1618 = not(G1545)
G1620 = and(G1545, G1572)
G1627 = not(G1545)
G1629 = and(G1545, G1572)
G1636 = not(G1545)
G1638 = and(G1545, G1572)
G1645 = not(G1554)
G1647 = and(G1554, G1563)
G1654 = not(G1554)
G1656 = and(G1554, G1563)
G1663 = not(G1554)
G1665 = and(G1554, G1563)
G1672 = not(G1554)
G1674 = and(G1554, G1563)
G1862 = or(G1853, G1856, G1859)
G1866 = nor(G1853, G1856, G1859)
G1874 = or(G1871, G1872, G1873)
G1924 = or(G1921, G1922, G1923)
G1963 = or(G1954, G1957, G1960)
G1967 = nor(G1954, G1957, G1960)
G1975 = or(G1972, G1973, G1974)
G2013 = or(G2004, G2007, G2010)
G2017 = nor(G2004, G2007, G2010)
G2025 = or(G2022, G2023, G2024)
G2068 = or(G2059, G2062, G2065)
G2072 = nor(G2059, G2062, G2065)
G2080 = or(G2077, G2078, G2079)
G2132 = or(G2129, G2130, G2131)
G2173 = or(G2164, G2167, G2170)
G2177 = nor(G2164, G2167, G2170)
G2185 = or(G2182, G2183, G2184)
G2225 = or(G2216, G2219, G2222)
G2229 = nor(G2216, G2219, G2222)
G2237 = or(G2234, G2235, G2236)
G2488 = not(G2485)
G2679 = not(G870)
G2680 = and(G956, G870)
G2698 = not(G870)
G2699 = and(G956, G870)
G2717 = not(G870)
G2718 = and(G956, G870)
G2734 = not(G870)
G2735 = and(G956, G870)
G2752 = not(G870)
G2753 = and(G956, G870)
G2769 = not(G870)
G2770 = and(G956, G870)
G2786 = not(G870)
G2787 = and(G956, G870)
G2803 = not(G870)
G2804 = and(G956, G870)
G359 = or(G917, G920, G923)
G1029 = nor(G917, G920, G923)
G565 = nand(G2970, G2973)
G566 = nand(G2967, G2974)
G569 = nand(G2978, G2981)
G570 = nand(G2975, G2982)
G589 = nand(G3050, G3053)
G590 = nand(G3047, G3054)
G595 = nand(G3058, G3061)
G596 = nand(G3055, G3062)
G929 = and(G650, G926)
G938 = and(G630, G928)
G944 = and(G645, G941)
G986 = or(G983, G984, G985)
G1014 = or(G1011, G1012, G1013)
G1616 = and(G442, G1611)
G1625 = and(G456, G1620)
G1634 = and(G463, G1629)
G1643 = and(G479, G1638)
G360 = not(G1029)
G567 = nand(G565, G566)
G571 = nand(G569, G570)
G579 = buf(G576)
G591 = nand(G589, G590)
G597 = nand(G595, G596)
G614 = and(G576, G610)
G1240 = not(G1075)
G1241 = not(G1087)
G1242 = not(G1099)
G1243 = not(G1111)
G1244 = not(G1123)
G1245 = not(G1135)
G1246 = not(G1147)
G1247 = not(G1159)
G1257 = not(G1075)
G1258 = not(G1087)
G1259 = not(G1099)
G1260 = not(G1111)
G1261 = not(G1123)
G1262 = not(G1135)
G1263 = not(G1147)
G1264 = not(G1159)
G1274 = not(G1075)
G1275 = not(G1087)
G1276 = not(G1099)
G1277 = not(G1111)
G1278 = not(G1123)
G1279 = not(G1135)
G1280 = not(G1147)
G1281 = not(G1159)
G1291 = not(G1075)
G1292 = not(G1087)
G1293 = not(G1099)
G1294 = not(G1111)
G1295 = not(G1123)
G1296 = not(G1135)
G1297 = not(G1147)
G1298 = not(G1159)
G1308 = not(G1075)
G1309 = not(G1087)
G1310 = not(G1099)
G1311 = not(G1111)
G1312 = not(G1123)
G1313 = not(G1135)
G1314 = not(G1147)
G1315 = not(G1159)
G1325 = not(G1075)
G1326 = not(G1087)
G1327 = not(G1099)
G1328 = not(G1111)
G1329 = not(G1123)
G1330 = not(G1135)
G1331 = not(G1147)
G1332 = not(G1159)
G1342 = not(G1075)
G1343 = not(G1087)
G1344 = not(G1099)
G1345 = not(G1111)
G1346 = not(G1123)
G1347 = not(G1135)
G1348 = not(G1147)
G1349 = not(G1159)
G1359 = not(G1075)
G1360 = not(G1087)
G1361 = not(G1099)
G1362 = not(G1111)
G1363 = not(G1123)
G1364 = not(G1135)
G1365 = not(G1147)
G1366 = not(G1159)
G1376 = not(G1168)
G1377 = not(G1177)
G1378 = not(G1186)
G1379 = not(G1195)
G1380 = not(G1204)
G1381 = not(G1213)
G1382 = not(G1222)
G1383 = not(G1231)
G1393 = not(G1168)
G1394 = not(G1177)
G1395 = not(G1186)
G1396 = not(G1195)
G1397 = not(G1204)
G1398 = not(G1213)
G1399 = not(G1222)
G1400 = not(G1231)
G1410 = not(G1168)
G1411 = not(G1177)
G1412 = not(G1186)
G1413 = not(G1195)
G1414 = not(G1204)
G1415 = not(G1213)
G1416 = not(G1222)
G1417 = not(G1231)
G1427 = not(G1168)
G1428 = not(G1177)
G1429 = not(G1186)
G1430 = not(G1195)
G1431 = not(G1204)
G1432 = not(G1213)
G1433 = not(G1222)
G1434 = not(G1231)
G1444 = not(G1168)
G1445 = not(G1177)
G1446 = not(G1186)
G1447 = not(G1195)
G1448 = not(G1204)
G1449 = not(G1213)
G1450 = not(G1222)
G1451 = not(G1231)
G1461 = not(G1168)
G1462 = not(G1177)
G1463 = not(G1186)
G1464 = not(G1195)
G1465 = not(G1204)
G1466 = not(G1213)
G1467 = not(G1222)
G1468 = not(G1231)
G1478 = not(G1168)
G1479 = not(G1177)
G1480 = not(G1186)
G1481 = not(G1195)
G1482 = not(G1204)
G1483 = not(G1213)
G1484 = not(G1222)
G1485 = not(G1231)
G1495 = not(G1168)
G1496 = not(G1177)
G1497 = not(G1186)
G1498 = not(G1195)
G1499 = not(G1204)
G1500 = not(G1213)
G1501 = not(G1222)
G1502 = not(G1231)
G1877 = buf(G1874)
G1880 = not(G1874)
G1891 = not(G1866)
G1903 = and(G986, G1901)
G1927 = buf(G1924)
G1930 = not(G1924)
G1978 = buf(G1975)
G1981 = not(G1975)
G1992 = not(G1967)
G2028 = buf(G2025)
G2031 = not(G2025)
G2042 = not(G2017)
G2085 = buf(G2080)
G2088 = not(G2080)
G2099 = not(G2072)
G2111 = and(G1014, G2109)
G2137 = buf(G2132)
G2140 = not(G2132)
G2190 = buf(G2185)
G2193 = not(G2185)
G2204 = not(G2177)
G2242 = buf(G2237)
G2245 = not(G2237)
G2256 = not(G2229)
G2320 = and(G2285, G1862)
G2341 = and(G2289, G1963)
G2354 = and(G2289, G2013)
G2367 = and(G2289, G2068)
G2383 = and(G2298, G2173)
G2391 = and(G2298, G2225)
G2474 = not(G2080)
G2475 = not(G2132)
G2476 = not(G2185)
G2477 = not(G2237)
G2482 = and(G2080, G2132, G2185, G2237, G2481)
G361 = nand(G359, G360)
G568 = not(G567)
G618 = or(G614, G616, G617)
G1248 = and(G124, G1240)
G1249 = and(G159, G1241)
G1250 = and(G150, G1242)
G1251 = and(G143, G1243)
G1252 = and(G137, G1244)
G1253 = and(G132, G1245)
G1254 = and(G128, G1246)
G1255 = and(G125, G1247)
G1265 = and(G125, G1257)
G1266 = and(G432, G1258)
G1267 = and(G159, G1259)
G1268 = and(G150, G1260)
G1269 = and(G143, G1261)
G1270 = and(G137, G1262)
G1271 = and(G132, G1263)
G1272 = and(G128, G1264)
G1282 = and(G128, G1274)
G1283 = and(G447, G1275)
G1284 = and(G432, G1276)
G1285 = and(G159, G1277)
G1286 = and(G150, G1278)
G1287 = and(G143, G1279)
G1288 = and(G137, G1280)
G1289 = and(G132, G1281)
G1299 = and(G132, G1291)
G1300 = and(G467, G1292)
G1301 = and(G447, G1293)
G1302 = and(G432, G1294)
G1303 = and(G159, G1295)
G1304 = and(G150, G1296)
G1305 = and(G143, G1297)
G1306 = and(G137, G1298)
G1316 = and(G137, G1308)
G1317 = and(G483, G1309)
G1318 = and(G467, G1310)
G1319 = and(G447, G1311)
G1320 = and(G432, G1312)
G1321 = and(G159, G1313)
G1322 = and(G150, G1314)
G1323 = and(G143, G1315)
G1333 = and(G143, G1325)
G1334 = and(G492, G1326)
G1335 = and(G483, G1327)
G1336 = and(G467, G1328)
G1337 = and(G447, G1329)
G1338 = and(G432, G1330)
G1339 = and(G159, G1331)
G1340 = and(G150, G1332)
G1350 = and(G150, G1342)
G1351 = and(G504, G1343)
G1352 = and(G492, G1344)
G1353 = and(G483, G1345)
G1354 = and(G467, G1346)
G1355 = and(G447, G1347)
G1356 = and(G432, G1348)
G1357 = and(G159, G1349)
G1367 = and(G159, G1359)
G1368 = and(G517, G1360)
G1369 = and(G504, G1361)
G1370 = and(G492, G1362)
G1371 = and(G483, G1363)
G1372 = and(G467, G1364)
G1373 = and(G447, G1365)
G1374 = and(G432, G1366)
G1384 = and(G283, G1376)
G1385 = and(G447, G1377)
G1386 = and(G467, G1378)
G1387 = and(G483, G1379)
G1388 = and(G492, G1380)
G1389 = and(G504, G1381)
G1390 = and(G517, G1382)
G1391 = and(G530, G1383)
G1401 = and(G294, G1393)
G1402 = and(G467, G1394)
G1403 = and(G483, G1395)
G1404 = and(G492, G1396)
G1405 = and(G504, G1397)
G1406 = and(G517, G1398)
G1407 = and(G530, G1399)
G1408 = and(G283, G1400)
G1418 = and(G303, G1410)
G1419 = and(G483, G1411)
G1420 = and(G492, G1412)
G1421 = and(G504, G1413)
G1422 = and(G517, G1414)
G1423 = and(G530, G1415)
G1424 = and(G283, G1416)
G1425 = and(G294, G1417)
G1435 = and(G311, G1427)
G1436 = and(G492, G1428)
G1437 = and(G504, G1429)
G1438 = and(G517, G1430)
G1439 = and(G530, G1431)
G1440 = and(G283, G1432)
G1441 = and(G294, G1433)
G1442 = and(G303, G1434)
G1452 = and(G317, G1444)
G1453 = and(G504, G1445)
G1454 = and(G517, G1446)
G1455 = and(G530, G1447)
G1456 = and(G283, G1448)
G1457 = and(G294, G1449)
G1458 = and(G303, G1450)
G1459 = and(G311, G1451)
G1469 = and(G322, G1461)
G1470 = and(G517, G1462)
G1471 = and(G530, G1463)
G1472 = and(G283, G1464)
G1473 = and(G294, G1465)
G1474 = and(G303, G1466)
G1475 = and(G311, G1467)
G1476 = and(G317, G1468)
G1486 = and(G326, G1478)
G1487 = and(G530, G1479)
G1488 = and(G283, G1480)
G1489 = and(G294, G1481)
G1490 = and(G303, G1482)
G1491 = and(G311, G1483)
G1492 = and(G317, G1484)
G1493 = and(G322, G1485)
G1503 = and(G329, G1495)
G1504 = and(G283, G1496)
G1505 = and(G294, G1497)
G1506 = and(G303, G1498)
G1507 = and(G311, G1499)
G1508 = and(G317, G1500)
G1509 = and(G322, G1501)
G1510 = and(G326, G1502)
G2483 = and(G2474, G2475, G2476, G2477, G2478)
G600 = buf(G597)
G661 = and(G568, G660)
G669 = and(G597, G665)
G679 = and(G591, G678)
G1256 = nor(G1248, G1249, G1250, G1251, G1252, G1253, G1254, G1255)
G1273 = nor(G1265, G1266, G1267, G1268, G1269, G1270, G1271, G1272)
G1290 = nor(G1282, G1283, G1284, G1285, G1286, G1287, G1288, G1289)
G1307 = nor(G1299, G1300, G1301, G1302, G1303, G1304, G1305, G1306)
G1324 = nor(G1316, G1317, G1318, G1319, G1320, G1321, G1322, G1323)
G1341 = nor(G1333, G1334, G1335, G1336, G1337, G1338, G1339, G1340)
G1358 = nor(G1350, G1351, G1352, G1353, G1354, G1355, G1356, G1357)
G1375 = nor(G1367, G1368, G1369, G1370, G1371, G1372, G1373, G1374)
G1392 = nor(G1384, G1385, G1386, G1387, G1388, G1389, G1390, G1391)
G1409 = nor(G1401, G1402, G1403, G1404, G1405, G1406, G1407, G1408)
G1426 = nor(G1418, G1419, G1420, G1421, G1422, G1423, G1424, G1425)
G1443 = nor(G1435, G1436, G1437, G1438, G1439, G1440, G1441, G1442)
G1460 = nor(G1452, G1453, G1454, G1455, G1456, G1457, G1458, G1459)
G1477 = nor(G1469, G1470, G1471, G1472, G1473, G1474, G1475, G1476)
G1494 = nor(G1486, G1487, G1488, G1489, G1490, G1491, G1492, G1493)
G1511 = nor(G1503, G1504, G1505, G1506, G1507, G1508, G1509, G1510)
G1652 = and(G618, G1647)
G1883 = and(G169, G1862, G1877)
G1886 = and(G179, G1862, G1880)
G1889 = and(G190, G1866, G1880)
G1890 = and(G200, G1866, G1877)
G1912 = or(G1903, G1906, G1909)
G1916 = nor(G1903, G1906, G1909)
G1984 = and(G169, G1963, G1978)
G1987 = and(G179, G1963, G1981)
G1990 = and(G190, G1967, G1981)
G1991 = and(G200, G1967, G1978)
G2034 = and(G169, G2013, G2028)
G2037 = and(G179, G2013, G2031)
G2040 = and(G190, G2017, G2031)
G2041 = and(G200, G2017, G2028)
G2091 = and(G169, G2068, G2085)
G2094 = and(G179, G2068, G2088)
G2097 = and(G190, G2072, G2088)
G2098 = and(G200, G2072, G2085)
G2120 = or(G2111, G2114, G2117)
G2124 = nor(G2111, G2114, G2117)
G2196 = and(G169, G2173, G2190)
G2199 = and(G179, G2173, G2193)
G2202 = and(G190, G2177, G2193)
G2203 = and(G200, G2177, G2190)
G2248 = and(G169, G2225, G2242)
G2251 = and(G179, G2225, G2245)
G2254 = and(G190, G2229, G2245)
G2255 = and(G200, G2229, G2242)
G2484 = or(G2482, G2483)
G2991 = buf(G571)
G2994 = buf(G579)
G2999 = buf(G571)
G3002 = buf(G579)
G3063 = buf(G591)
G3071 = buf(G591)
G3124 = buf(G2320)
G3134 = buf(G2320)
G3158 = buf(G2341)
G3166 = buf(G2341)
G3174 = buf(G2354)
G3182 = buf(G2354)
G3190 = buf(G2367)
G3200 = buf(G2367)
G3224 = buf(G2383)
G3232 = buf(G2383)
G3240 = buf(G2391)
G3248 = buf(G2391)
G663 = nor(G661, G662)
G673 = or(G669, G671, G672)
G681 = nor(G679, G680)
G1536 = and(G1256, G1533)
G1537 = and(G1392, G1534)
G1582 = and(G1273, G1581)
G1583 = and(G1409, G1512)
G1586 = and(G1290, G1585)
G1587 = and(G1426, G1512)
G1590 = and(G1307, G1589)
G1591 = and(G1443, G1512)
G1594 = and(G1324, G1593)
G1595 = and(G1460, G1512)
G1598 = and(G1341, G1597)
G1599 = and(G1477, G1512)
G1602 = and(G1358, G1601)
G1603 = and(G1494, G1512)
G1606 = and(G1375, G1605)
G1607 = and(G1511, G1512)
G1894 = or(G1889, G1890, G1891)
G1997 = or(G1990, G1991, G1992)
G2047 = or(G2040, G2041, G2042)
G2102 = or(G2097, G2098, G2099)
G2209 = or(G2202, G2203, G2204)
G2261 = or(G2254, G2255, G2256)
G2489 = and(G2484, G2488)
G3005 = not(G2999)
G3006 = not(G3002)
G3077 = not(G3071)
G3069 = not(G3063)
G2997 = not(G2991)
G2998 = not(G2994)
G689 = and(G681, G683)
G700 = and(G663, G694)
G1539 = or(G1536, G1537, G1538)
G1584 = or(G1582, G1583)
G1588 = or(G1586, G1587)
G1592 = or(G1590, G1591)
G1596 = or(G1594, G1595)
G1600 = or(G1598, G1599)
G1604 = or(G1602, G1603)
G1608 = or(G1606, G1607)
G1661 = and(G673, G1656)
G1892 = or(G1883, G1886)
G1893 = nor(G1883, G1886)
G1933 = and(G169, G1912, G1927)
G1936 = and(G179, G1912, G1930)
G1939 = and(G190, G1916, G1930)
G1940 = and(G200, G1916, G1927)
G1941 = not(G1916)
G1993 = or(G1984, G1987)
G1996 = nor(G1984, G1987)
G2043 = or(G2034, G2037)
G2046 = nor(G2034, G2037)
G2100 = or(G2091, G2094)
G2101 = nor(G2091, G2094)
G2143 = and(G169, G2120, G2137)
G2146 = and(G179, G2120, G2140)
G2149 = and(G190, G2124, G2140)
G2150 = and(G200, G2124, G2137)
G2151 = not(G2124)
G2205 = or(G2196, G2199)
G2208 = nor(G2196, G2199)
G2257 = or(G2248, G2251)
G2260 = nor(G2248, G2251)
G3138 = not(G3134)
G2328 = and(G2285, G1912)
G3162 = not(G3158)
G3170 = not(G3166)
G3178 = not(G3174)
G3186 = not(G3182)
G3204 = not(G3200)
G2375 = and(G2298, G2120)
G3236 = not(G3232)
G3244 = not(G3240)
G3252 = not(G3248)
G3228 = not(G3224)
G3066 = buf(G600)
G3074 = buf(G600)
G3128 = not(G3124)
G3194 = not(G3190)
G619 = nand(G2994, G2997)
G620 = nand(G2991, G2998)
G582 = nand(G3002, G3005)
G583 = nand(G2999, G3006)
G692 = or(G689, G690, G691)
G703 = or(G700, G701, G702)
G1612 = and(G1539, G1609)
G1621 = and(G1584, G1618)
G1630 = and(G1588, G1627)
G1639 = and(G1592, G1636)
G1648 = and(G1596, G1645)
G1657 = and(G1600, G1654)
G1666 = and(G1604, G1663)
G1675 = and(G1608, G1672)
G1895 = and(G1893, G1894)
G1946 = or(G1939, G1940, G1941)
G1998 = and(G1996, G1997)
G2048 = and(G2046, G2047)
G2103 = and(G2101, G2102)
G2156 = or(G2149, G2150, G2151)
G2210 = and(G2208, G2209)
G2262 = and(G2260, G2261)
G2271 = not(G1892)
G2311 = not(G2100)
G356 = nand(G619, G620)
G357 = nand(G582, G583)
G603 = nand(G3074, G3077)
G3078 = not(G3074)
G606 = nand(G3066, G3069)
G3070 = not(G3066)
G1670 = and(G703, G1665)
G1679 = and(G692, G1674)
G1942 = or(G1933, G1936)
G1945 = nor(G1933, G1936)
G2152 = or(G2143, G2146)
G2155 = nor(G2143, G2146)
G2445 = and(G1993, G2293)
G2448 = and(G2043, G2293)
G2455 = and(G2205, G2302)
G2458 = and(G2257, G2302)
G3142 = buf(G2328)
G3150 = buf(G2328)
G3208 = buf(G2375)
G3216 = buf(G2375)
G358 = nand(G356, G357)
G604 = nand(G3071, G3078)
G607 = nand(G3063, G3070)
G1947 = and(G1945, G1946)
G2157 = and(G2155, G2156)
G2317 = buf(G1895)
G2338 = buf(G1998)
G2351 = buf(G2048)
G2364 = buf(G2103)
G2380 = buf(G2210)
G2388 = buf(G2262)
G605 = nand(G603, G604)
G608 = nand(G606, G607)
G2272 = nand(G1895, G1942)
G2312 = nand(G2103, G2152)
G3146 = not(G3142)
G3154 = not(G3150)
G3220 = not(G3216)
G3212 = not(G3208)
G2444 = and(G1942, G2288)
G2451 = buf(G2448)
G2454 = and(G2152, G2293)
G2461 = buf(G2458)
G2530 = not(G2445)
G3323 = buf(G2458)
G349 = not(G605)
G350 = not(G608)
G2265 = and(G1895, G1947, G1998, G2048)
G2273 = nand(G1895, G1947, G1993)
G2274 = nand(G2043, G1947, G1998, G1895)
G2309 = and(G2103, G2157, G2210, G2262)
G2313 = nand(G2103, G2157, G2205)
G2314 = nand(G2257, G2157, G2210, G2103)
G2325 = buf(G1947)
G2372 = buf(G2157)
G2523 = not(G2444)
G2533 = not(G2454)
G3121 = buf(G2317)
G3131 = buf(G2317)
G3155 = buf(G2338)
G3163 = buf(G2338)
G3171 = buf(G2351)
G3179 = buf(G2351)
G3187 = buf(G2364)
G3197 = buf(G2364)
G3221 = buf(G2380)
G3229 = buf(G2380)
G3237 = buf(G2388)
G3245 = buf(G2388)
G351 = nand(G349, G350)
G2275 = nand(G2271, G2272, G2273, G2274)
G2315 = nand(G2311, G2312, G2313, G2314)
G3329 = not(G3323)
G372 = and(G2309, G2265)
G2324 = nand(G3131, G3138)
G2350 = nand(G3163, G3170)
G2363 = nand(G3179, G3186)
G2371 = nand(G3197, G3204)
G2387 = nand(G3229, G3236)
G2400 = nand(G3245, G3252)
G2268 = buf(G2265)
G3137 = not(G3131)
G3161 = not(G3155)
G2345 = nand(G3155, G3162)
G3169 = not(G3163)
G3177 = not(G3171)
G2358 = nand(G3171, G3178)
G3185 = not(G3179)
G3203 = not(G3197)
G3235 = not(G3229)
G3243 = not(G3237)
G2395 = nand(G3237, G3244)
G3251 = not(G3245)
G3227 = not(G3221)
G2432 = nand(G3221, G3228)
G2490 = and(G2309, G2485)
G3127 = not(G3121)
G3130 = nand(G3121, G3128)
G3139 = buf(G2325)
G3147 = buf(G2325)
G3193 = not(G3187)
G3196 = nand(G3187, G3194)
G3205 = buf(G2372)
G3213 = buf(G2372)
G2307 = nand(G2265, G2315)
G2308 = not(G2275)
G2323 = nand(G3134, G3137)
G2349 = nand(G3166, G3169)
G2362 = nand(G3182, G3185)
G2370 = nand(G3200, G3203)
G2386 = nand(G3232, G3235)
G2399 = nand(G3248, G3251)
G2344 = nand(G3158, G3161)
G2357 = nand(G3174, G3177)
G2394 = nand(G3240, G3243)
G2431 = nand(G3224, G3227)
G2464 = and(G2315, G2302)
G2491 = or(G2489, G2490)
G3129 = nand(G3124, G3127)
G3195 = nand(G3190, G3193)
G368 = and(G2307, G2308)
G1615 = nand(G2323, G2324)
G2337 = nand(G3147, G3154)
G1633 = nand(G2349, G2350)
G1642 = nand(G2362, G2363)
G1651 = nand(G2370, G2371)
G2379 = nand(G3213, G3220)
G1669 = nand(G2386, G2387)
G1678 = nand(G2399, G2400)
G3145 = not(G3139)
G2332 = nand(G3139, G3146)
G3153 = not(G3147)
G2346 = nand(G2344, G2345)
G2359 = nand(G2357, G2358)
G3219 = not(G3213)
G2396 = nand(G2394, G2395)
G3211 = not(G3205)
G2425 = nand(G3205, G3212)
G2433 = nand(G2431, G2432)
G3272 = nand(G3129, G3130)
G3308 = nand(G3195, G3196)
G369 = not(G368)
G1613 = not(G1615)
G2336 = nand(G3150, G3153)
G1631 = not(G1633)
G1640 = not(G1642)
G1649 = not(G1651)
G2378 = nand(G3216, G3219)
G1667 = not(G1669)
G1676 = not(G1678)
G2331 = nand(G3142, G3145)
G2424 = nand(G3208, G3211)
G2467 = buf(G2464)
G2495 = buf(G2491)
G3295 = buf(G2464)
G3374 = and(G330, G2491)
G1614 = and(G1613, G1610)
G1624 = nand(G2336, G2337)
G1632 = and(G1631, G1628)
G1641 = and(G1640, G1637)
G1650 = and(G1649, G1646)
G1660 = nand(G2378, G2379)
G1668 = and(G1667, G1664)
G1677 = and(G1676, G1673)
G2333 = nand(G2331, G2332)
G2406 = buf(G2346)
G2409 = buf(G2346)
G2415 = buf(G2359)
G2419 = buf(G2359)
G2426 = nand(G2424, G2425)
G2439 = buf(G2396)
G2518 = and(G2433, G2461)
G3276 = not(G3272)
G3312 = not(G3308)
G2612 = and(G330, G2396)
G3326 = buf(G2433)
G1617 = nor(G1612, G1614, G1616)
G1622 = not(G1624)
G1635 = nor(G1630, G1632, G1634)
G1644 = nor(G1639, G1641, G1643)
G1653 = nor(G1648, G1650, G1652)
G1658 = not(G1660)
G1671 = nor(G1666, G1668, G1670)
G1680 = nor(G1675, G1677, G1679)
G2500 = and(G2467, G2268)
G2505 = and(G2495, G2268)
G2519 = or(G2455, G2518)
G3378 = not(G3374)
G2642 = not(G2467)
G2645 = buf(G2467)
G3301 = not(G3295)
G1623 = and(G1622, G1619)
G1659 = and(G1658, G1655)
G2401 = buf(G2333)
G2501 = or(G2275, G2500)
G2511 = and(G2495, G2419, G2409)
G2512 = and(G2495, G2415)
G2513 = and(G2439, G2433, G2426)
G2514 = and(G2439, G2433)
G2517 = and(G2467, G2415)
G2531 = nand(G2409, G2451)
G2532 = nand(G2409, G2419, G2467)
G2534 = nand(G2426, G2455)
G2535 = nand(G2426, G2433, G2461)
G2607 = nand(G3326, G3329)
G3330 = not(G3326)
G2643 = and(G330, G2491, G2642)
G2687 = and(G1617, G2680)
G2725 = and(G1635, G2718)
G2742 = and(G1644, G2735)
G2760 = and(G1653, G2753)
G2794 = and(G1671, G2787)
G2811 = and(G1680, G2804)
G3280 = buf(G2333)
G3290 = buf(G2409)
G3298 = buf(G2415)
G3316 = buf(G2426)
G3406 = buf(G2612)
G3414 = buf(G2612)
G3422 = and(G2439, G2439)
G1626 = nor(G1621, G1623, G1625)
G1662 = nor(G1657, G1659, G1661)
G2567 = and(G330, G2512)
G2589 = and(G330, G2513)
G2608 = nand(G3323, G3330)
G2654 = buf(G2519)
G3253 = buf(G2505)
G3277 = nand(G2530, G2531, G2532)
G3287 = or(G2448, G2517)
G3305 = nand(G2533, G2534, G2535)
G3313 = buf(G2519)
G3350 = and(G330, G2511)
G932 = or(G2643, G2645)
G2508 = and(G2495, G2401, G2409, G2419)
G2524 = nand(G2401, G2445)
G2525 = nand(G2401, G2406, G2451)
G2526 = nand(G2401, G2406, G2419, G2467)
G3294 = not(G3290)
G2609 = nand(G2607, G2608)
G3410 = not(G3406)
G3418 = not(G3414)
G2624 = nand(G3422, G3425)
G3426 = not(G3422)
G2629 = buf(G2501)
G2647 = nor(G2643, G2645)
G2706 = and(G1626, G2699)
G2777 = and(G1662, G2770)
G3264 = buf(G2501)
G3284 = not(G3280)
G3302 = not(G3298)
G3303 = nand(G3298, G3301)
G3320 = not(G3316)
G3398 = and(G330, G2514)
G2657 = not(G2654)
G398 = and(G2519, G2654)
G933 = and(G932, G927)
G2527 = nand(G2523, G2524, G2525, G2526)
G3259 = not(G3253)
G3354 = not(G3350)
G3293 = not(G3287)
G2563 = nand(G3287, G3294)
G3311 = not(G3305)
G2585 = nand(G3305, G3312)
G2625 = nand(G3419, G3426)
G3283 = not(G3277)
G3286 = nand(G3277, G3284)
G3304 = nand(G3295, G3302)
G3319 = not(G3313)
G3322 = nand(G3313, G3320)
G3358 = buf(G2567)
G3366 = buf(G2567)
G3382 = buf(G2589)
G3390 = buf(G2589)
G397 = and(G330, G2514, G2657)
G2544 = and(G330, G2508)
G2562 = nand(G3290, G3293)
G2584 = nand(G3308, G3311)
G3402 = not(G3398)
G2626 = nand(G2624, G2625)
G2632 = not(G2629)
G2634 = and(G2501, G2629)
G2650 = buf(G2647)
G3268 = not(G3264)
G3256 = buf(G2508)
G3285 = nand(G3280, G3283)
G3321 = nand(G3316, G3319)
G3371 = nand(G3303, G3304)
G3403 = buf(G2609)
G3411 = buf(G2609)
G362 = or(G929, G933, G938)
G1030 = nor(G929, G933, G938)
G399 = or(G397, G398)
G2564 = nand(G2562, G2563)
G3362 = not(G3358)
G3370 = not(G3366)
G2586 = nand(G2584, G2585)
G3386 = not(G3382)
G3394 = not(G3390)
G2633 = and(G330, G2505, G2632)
G3261 = buf(G2527)
G3269 = buf(G2527)
G3347 = nand(G3285, G3286)
G3395 = nand(G3321, G3322)
G363 = not(G1030)
G2536 = nand(G3256, G3259)
G3260 = not(G3256)
G3377 = not(G3371)
G2580 = nand(G3371, G3378)
G3409 = not(G3403)
G2616 = nand(G3403, G3410)
G3417 = not(G3411)
G2622 = nand(G3411, G3418)
G2635 = nor(G2633, G2634)
G2805 = and(G2626, G2802)
G2808 = and(G2626, G2803)
G3334 = buf(G2544)
G3342 = buf(G2544)
G3454 = buf(G2650)
G364 = and(G362, G363)
G2537 = nand(G3253, G3260)
G3275 = not(G3269)
G2540 = nand(G3269, G3276)
G3353 = not(G3347)
G2557 = nand(G3347, G3354)
G2579 = nand(G3374, G3377)
G3401 = not(G3395)
G2602 = nand(G3395, G3402)
G2615 = nand(G3406, G3409)
G2621 = nand(G3414, G3417)
G3267 = not(G3261)
G3112 = nand(G3261, G3268)
G3355 = buf(G2564)
G3363 = buf(G2564)
G3379 = buf(G2586)
G3387 = buf(G2586)
G2538 = nand(G2536, G2537)
G2539 = nand(G3272, G3275)
G3338 = not(G3334)
G3346 = not(G3342)
G2556 = nand(G3350, G3353)
G2581 = nand(G2579, G2580)
G2601 = nand(G3398, G3401)
G2617 = nand(G2615, G2616)
G2623 = nand(G2621, G2622)
G2638 = buf(G2635)
G3458 = not(G3454)
G2814 = or(G2805, G2808, G2811)
G2816 = nor(G2805, G2808, G2811)
G3111 = nand(G3264, G3267)
G2541 = nand(G2539, G2540)
G2558 = nand(G2556, G2557)
G3361 = not(G3355)
G2571 = nand(G3355, G3362)
G3369 = not(G3363)
G2577 = nand(G3363, G3370)
G3385 = not(G3379)
G2593 = nand(G3379, G3386)
G3393 = not(G3387)
G2598 = nand(G3387, G3394)
G2603 = nand(G2601, G2602)
G3113 = nand(G3111, G3112)
G3116 = and(G330, G2538)
G3451 = not(G2623)
G395 = not(G2816)
G2570 = nand(G3358, G3361)
G2576 = nand(G3366, G3369)
G2592 = nand(G3382, G3385)
G2597 = nand(G3390, G3393)
G2736 = and(G2581, G2733)
G2739 = and(G2581, G2734)
G2788 = and(G2617, G2785)
G3438 = buf(G2638)
G3446 = and(G2617, G2647)
G3459 = buf(G2814)
G396 = and(G2814, G395)
G3119 = not(G3113)
G3120 = not(G3116)
G2572 = nand(G2570, G2571)
G2578 = nand(G2576, G2577)
G2594 = nand(G2592, G2593)
G2599 = nand(G2597, G2598)
G2677 = nand(G3451, G3458)
G3457 = not(G3451)
G2700 = and(G2558, G2697)
G2771 = and(G2603, G2768)
G3331 = buf(G2541)
G3339 = buf(G2541)
G3427 = buf(G2558)
G3443 = buf(G2603)
G954 = nand(G3116, G3119)
G955 = nand(G3113, G3120)
G2600 = not(G2599)
G3442 = not(G3438)
G3450 = not(G3446)
G2676 = nand(G3454, G3457)
G2745 = or(G2736, G2739, G2742)
G2748 = nor(G2736, G2739, G2742)
G3465 = not(G3459)
G3435 = not(G2578)
G950 = nand(G954, G955)
G3337 = not(G3331)
G2548 = nand(G3331, G3338)
G3345 = not(G3339)
G2553 = nand(G3339, G3346)
G2661 = nor(G2600, G2650)
G2662 = and(G2617, G2603, G2594, G2650)
G3433 = not(G3427)
G3449 = not(G3443)
G2672 = nand(G3443, G3450)
G2674 = nand(G2676, G2677)
G2719 = and(G2572, G2716)
G2754 = and(G2594, G2751)
G3430 = and(G2572, G2635)
G383 = not(G2748)
G951 = and(G950, G943)
G2547 = nand(G3334, G3337)
G2552 = nand(G3342, G3345)
G2663 = or(G2661, G2662)
G2670 = nand(G3435, G3442)
G3441 = not(G3435)
G2671 = nand(G3446, G3449)
G2675 = not(G2674)
G3491 = buf(G2745)
G3499 = buf(G2745)
G384 = and(G2745, G383)
G2549 = nand(G2547, G2548)
G2554 = nand(G2552, G2553)
G2664 = nand(G3430, G3433)
G3434 = not(G3430)
G2669 = nand(G3438, G3441)
G2673 = nand(G2671, G2672)
G2757 = and(G2663, G2752)
G2791 = and(G2675, G2786)
G365 = or(G944, G947, G951)
G1031 = nor(G944, G947, G951)
G2555 = not(G2554)
G2665 = nand(G3427, G3434)
G2667 = nand(G2669, G2670)
G2774 = and(G2673, G2769)
G3497 = not(G3491)
G3505 = not(G3499)
G366 = not(G1031)
G2658 = nor(G2555, G2638)
G2659 = and(G2572, G2558, G2549, G2638)
G2666 = nand(G2664, G2665)
G2668 = not(G2667)
G2681 = and(G2549, G2678)
G2763 = or(G2754, G2757, G2760)
G2765 = nor(G2754, G2757, G2760)
G2797 = or(G2788, G2791, G2794)
G2799 = nor(G2788, G2791, G2794)
G367 = and(G365, G366)
G2660 = or(G2658, G2659)
G2703 = and(G2666, G2698)
G2722 = and(G2668, G2717)
G2780 = or(G2771, G2774, G2777)
G2782 = nor(G2771, G2774, G2777)
G386 = not(G2765)
G392 = not(G2799)
G2684 = and(G2660, G2679)
G3462 = buf(G2797)
G3470 = buf(G2763)
G387 = and(G2763, G386)
G389 = not(G2782)
G393 = and(G2797, G392)
G2709 = or(G2700, G2703, G2706)
G2713 = nor(G2700, G2703, G2706)
G2728 = or(G2719, G2722, G2725)
G2730 = nor(G2719, G2722, G2725)
G2922 = and(G2816, G2799, G2782, G2765)
G3467 = buf(G2780)
G390 = and(G2780, G389)
G2690 = or(G2681, G2684, G2687)
G2694 = nor(G2681, G2684, G2687)
G2821 = nand(G3462, G3465)
G3466 = not(G3462)
G3474 = not(G3470)
G378 = and(G2709, G2709)
G380 = not(G2730)
G2822 = nand(G3459, G3466)
G3473 = not(G3467)
G2827 = nand(G3467, G3474)
G2839 = buf(G2728)
G2883 = and(G2709, G2871)
G3507 = buf(G2709)
G375 = and(G2690, G2690)
G381 = and(G2728, G380)
G2823 = nand(G2821, G2822)
G2826 = nand(G3470, G3473)
G2880 = and(G2871, G2690)
G2925 = and(G2748, G2730, G2713, G2694)
G2928 = and(G2713, G2694, G2874)
G3510 = buf(G2690)
G2828 = nand(G2826, G2827)
G3494 = buf(G2839)
G3502 = buf(G2839)
G3513 = not(G3507)
G3544 = buf(G2883)
G3552 = buf(G2883)
G406 = and(G2922, G2925)
G2929 = and(G2922, G2925)
G3475 = buf(G2823)
G3483 = buf(G2823)
G3514 = not(G3510)
G3515 = nand(G3510, G3513)
G3541 = buf(G2880)
G3549 = buf(G2880)
G407 = not(G406)
G2930 = nor(G2928, G2929)
G2842 = nand(G3494, G3497)
G3498 = not(G3494)
G2852 = nand(G3502, G3505)
G3506 = not(G3502)
G3548 = not(G3544)
G3556 = not(G3552)
G3478 = buf(G2828)
G3486 = buf(G2828)
G3516 = nand(G3507, G3514)
G408 = and(G213, G2930)
G3481 = not(G3475)
G3489 = not(G3483)
G2843 = nand(G3491, G3498)
G2853 = nand(G3499, G3506)
G3547 = not(G3541)
G2887 = nand(G3541, G3548)
G2896 = nand(G3549, G3556)
G3555 = not(G3549)
G3520 = nand(G3515, G3516)
G409 = not(G408)
G2831 = nand(G3478, G3481)
G3482 = not(G3478)
G2836 = nand(G3486, G3489)
G3490 = not(G3486)
G2844 = nand(G2842, G2843)
G2848 = nand(G2852, G2853)
G2886 = nand(G3544, G3547)
G2895 = nand(G3552, G3555)
G2832 = nand(G3475, G3482)
G2837 = nand(G3483, G3490)
G2849 = not(G2848)
G3524 = not(G3520)
G2888 = nand(G2886, G2887)
G2891 = nand(G2895, G2896)
G2833 = nand(G2831, G2832)
G2838 = nand(G2836, G2837)
G2892 = not(G2891)
G3517 = buf(G2844)
G2906 = and(G2844, G2888, G2900)
G2908 = and(G2849, G2888, G2903)
G2913 = not(G2838)
G3523 = not(G3517)
G2855 = nand(G3517, G3524)
G2907 = and(G2844, G2892, G2903)
G2909 = and(G2849, G2892, G2900)
G3525 = buf(G2833)
G3533 = buf(G2833)
G2854 = nand(G3520, G3523)
G2910 = or(G2906, G2907, G2908, G2909)
G3560 = buf(G2913)
G3568 = buf(G2913)
G2856 = nand(G2854, G2855)
G3539 = not(G3533)
G3531 = not(G3525)
G3572 = not(G3568)
G3564 = not(G3560)
G3557 = buf(G2910)
G3565 = buf(G2910)
G3528 = buf(G2856)
G3536 = buf(G2856)
G2921 = nand(G3557, G3564)
G2917 = nand(G3565, G3572)
G3571 = not(G3565)
G3563 = not(G3557)
G2863 = nand(G3528, G3531)
G2859 = nand(G3536, G3539)
G2920 = nand(G3560, G3563)
G2916 = nand(G3568, G3571)
G3540 = not(G3536)
G3532 = not(G3528)
G2864 = nand(G3525, G3532)
G2860 = nand(G3533, G3540)
G403 = nand(G2920, G2921)
G404 = nand(G2916, G2917)
G400 = nand(G2863, G2864)
G401 = nand(G2859, G2860)
G405 = and(G403, G404)
G402 = nand(G400, G401)