#   combinational logic example "c5315"
# -------------------------------------------------------------
# 
# 
#   total number of lines in the netlist ..............  5315
#   simplistically reduced equivalent fault set size =   5350
#         lines from primary input  gates .......   178
#         lines from primary output gates .......   123
#         lines from interior gate outputs ......  2184
#         lines from **   806 ** fanout stems ...  2830
# 
#         avg_fanin  =  1.90,     max_fanin  =  9
#         avg_fanout =  3.51,     max_fanout = 15
# 
# 
# 
# 
# 
INPUT(G1)
INPUT(G4)
INPUT(G11)
INPUT(G14)
INPUT(G17)
INPUT(G20)
INPUT(G23)
INPUT(G24)
INPUT(G25)
INPUT(G26)
INPUT(G27)
INPUT(G31)
INPUT(G34)
INPUT(G37)
INPUT(G40)
INPUT(G43)
INPUT(G46)
INPUT(G49)
INPUT(G52)
INPUT(G53)
INPUT(G54)
INPUT(G61)
INPUT(G64)
INPUT(G67)
INPUT(G70)
INPUT(G73)
INPUT(G76)
INPUT(G79)
INPUT(G80)
INPUT(G81)
INPUT(G82)
INPUT(G83)
INPUT(G86)
INPUT(G87)
INPUT(G88)
INPUT(G91)
INPUT(G94)
INPUT(G97)
INPUT(G100)
INPUT(G103)
INPUT(G106)
INPUT(G109)
INPUT(G112)
INPUT(G113)
INPUT(G114)
INPUT(G115)
INPUT(G116)
INPUT(G117)
INPUT(G118)
INPUT(G119)
INPUT(G120)
INPUT(G121)
INPUT(G122)
INPUT(G123)
INPUT(G126)
INPUT(G127)
INPUT(G128)
INPUT(G129)
INPUT(G130)
INPUT(G131)
INPUT(G132)
INPUT(G135)
INPUT(G136)
INPUT(G137)
INPUT(G140)
INPUT(G141)
INPUT(G145)
INPUT(G146)
INPUT(G149)
INPUT(G152)
INPUT(G155)
INPUT(G158)
INPUT(G161)
INPUT(G164)
INPUT(G167)
INPUT(G170)
INPUT(G173)
INPUT(G176)
INPUT(G179)
INPUT(G182)
INPUT(G185)
INPUT(G188)
INPUT(G191)
INPUT(G194)
INPUT(G197)
INPUT(G200)
INPUT(G203)
INPUT(G206)
INPUT(G209)
INPUT(G210)
INPUT(G217)
INPUT(G218)
INPUT(G225)
INPUT(G226)
INPUT(G233)
INPUT(G234)
INPUT(G241)
INPUT(G242)
INPUT(G245)
INPUT(G248)
INPUT(G251)
INPUT(G254)
INPUT(G257)
INPUT(G264)
INPUT(G265)
INPUT(G272)
INPUT(G273)
INPUT(G280)
INPUT(G281)
INPUT(G288)
INPUT(G289)
INPUT(G292)
INPUT(G293)
INPUT(G299)
INPUT(G302)
INPUT(G307)
INPUT(G308)
INPUT(G315)
INPUT(G316)
INPUT(G323)
INPUT(G324)
INPUT(G331)
INPUT(G332)
INPUT(G335)
INPUT(G338)
INPUT(G341)
INPUT(G348)
INPUT(G351)
INPUT(G358)
INPUT(G361)
INPUT(G366)
INPUT(G369)
INPUT(G372)
INPUT(G373)
INPUT(G374)
INPUT(G386)
INPUT(G389)
INPUT(G400)
INPUT(G411)
INPUT(G422)
INPUT(G435)
INPUT(G446)
INPUT(G457)
INPUT(G468)
INPUT(G479)
INPUT(G490)
INPUT(G503)
INPUT(G514)
INPUT(G523)
INPUT(G534)
INPUT(G545)
INPUT(G549)
INPUT(G552)
INPUT(G556)
INPUT(G559)
INPUT(G562)
INPUT(G1497)
INPUT(G1689)
INPUT(G1690)
INPUT(G1691)
INPUT(G1694)
INPUT(G2174)
INPUT(G2358)
INPUT(G2824)
INPUT(G3173)
INPUT(G3546)
INPUT(G3548)
INPUT(G3550)
INPUT(G3552)
INPUT(G3717)
INPUT(G3724)
INPUT(G4087)
INPUT(G4088)
INPUT(G4089)
INPUT(G4090)
INPUT(G4091)
INPUT(G4092)
INPUT(G4115)
OUTPUT(G144)
OUTPUT(G298)
OUTPUT(G973)
OUTPUT(G594)
OUTPUT(G599)
OUTPUT(G600)
OUTPUT(G601)
OUTPUT(G602)
OUTPUT(G603)
OUTPUT(G604)
OUTPUT(G611)
OUTPUT(G612)
OUTPUT(G810)
OUTPUT(G848)
OUTPUT(G849)
OUTPUT(G850)
OUTPUT(G851)
OUTPUT(G634)
OUTPUT(G815)
OUTPUT(G845)
OUTPUT(G847)
OUTPUT(G926)
OUTPUT(G923)
OUTPUT(G921)
OUTPUT(G892)
OUTPUT(G887)
OUTPUT(G606)
OUTPUT(G656)
OUTPUT(G809)
OUTPUT(G993)
OUTPUT(G978)
OUTPUT(G949)
OUTPUT(G939)
OUTPUT(G889)
OUTPUT(G593)
OUTPUT(G636)
OUTPUT(G704)
OUTPUT(G717)
OUTPUT(G820)
OUTPUT(G639)
OUTPUT(G673)
OUTPUT(G707)
OUTPUT(G715)
OUTPUT(G598)
OUTPUT(G610)
OUTPUT(G588)
OUTPUT(G615)
OUTPUT(G626)
OUTPUT(G632)
OUTPUT(G1002)
OUTPUT(G1004)
OUTPUT(G591)
OUTPUT(G618)
OUTPUT(G621)
OUTPUT(G629)
OUTPUT(G822)
OUTPUT(G838)
OUTPUT(G861)
OUTPUT(G623)
OUTPUT(G722)
OUTPUT(G832)
OUTPUT(G834)
OUTPUT(G836)
OUTPUT(G859)
OUTPUT(G871)
OUTPUT(G873)
OUTPUT(G875)
OUTPUT(G877)
OUTPUT(G998)
OUTPUT(G1000)
OUTPUT(G575)
OUTPUT(G585)
OUTPUT(G661)
OUTPUT(G693)
OUTPUT(G747)
OUTPUT(G752)
OUTPUT(G757)
OUTPUT(G762)
OUTPUT(G787)
OUTPUT(G792)
OUTPUT(G797)
OUTPUT(G802)
OUTPUT(G642)
OUTPUT(G664)
OUTPUT(G667)
OUTPUT(G670)
OUTPUT(G676)
OUTPUT(G696)
OUTPUT(G699)
OUTPUT(G702)
OUTPUT(G818)
OUTPUT(G813)
OUTPUT(G824)
OUTPUT(G826)
OUTPUT(G828)
OUTPUT(G830)
OUTPUT(G854)
OUTPUT(G863)
OUTPUT(G865)
OUTPUT(G867)
OUTPUT(G869)
OUTPUT(G712)
OUTPUT(G727)
OUTPUT(G732)
OUTPUT(G737)
OUTPUT(G742)
OUTPUT(G772)
OUTPUT(G777)
OUTPUT(G782)
OUTPUT(G645)
OUTPUT(G648)
OUTPUT(G651)
OUTPUT(G654)
OUTPUT(G679)
OUTPUT(G682)
OUTPUT(G685)
OUTPUT(G688)
OUTPUT(G843)
OUTPUT(G882)
OUTPUT(G767)
OUTPUT(G807)
OUTPUT(G658)
OUTPUT(G690)

G144 = buf(G141)
G298 = buf(G293)
G4114 = and(G135, G4115)
G2825 = not(G2824)
G973 = buf(G3173)
G3547 = not(G3546)
G3549 = not(G3548)
G3551 = not(G3550)
G3553 = not(G3552)
G594 = not(G545)
G599 = not(G348)
G600 = not(G366)
G601 = and(G552, G562)
G602 = not(G549)
G603 = not(G545)
G604 = not(G545)
G611 = not(G338)
G612 = not(G358)
G633 = nand(G373, G1)
G810 = and(G141, G145)
G814 = not(G3173)
G816 = not(G4114)
G844 = and(G2825, G27)
G846 = and(G386, G556)
G848 = not(G245)
G849 = not(G552)
G850 = not(G562)
G851 = not(G559)
G852 = and(G386, G559, G556, G552)
G1502 = not(G1497)
G1528 = buf(G1689)
G1552 = buf(G1690)
G1609 = buf(G1689)
G1633 = buf(G1690)
G1697 = buf(G137)
G1698 = buf(G137)
G1701 = buf(G141)
G2179 = not(G2174)
G2203 = buf(G1691)
G2226 = buf(G1694)
G2281 = buf(G1691)
G2304 = buf(G1694)
G2361 = buf(G254)
G2370 = buf(G251)
G2382 = buf(G251)
G2393 = buf(G248)
G2405 = buf(G248)
G2418 = buf(G4088)
G2442 = buf(G4087)
G2476 = buf(G4089)
G2500 = buf(G4090)
G2533 = buf(G210)
G2537 = buf(G210)
G2541 = buf(G218)
G2545 = buf(G218)
G2549 = buf(G226)
G2553 = buf(G226)
G2557 = buf(G234)
G2561 = buf(G234)
G2627 = buf(G257)
G2631 = buf(G257)
G2635 = buf(G265)
G2639 = buf(G265)
G2643 = buf(G273)
G2647 = buf(G273)
G2651 = buf(G281)
G2655 = buf(G281)
G2721 = buf(G335)
G2734 = buf(G335)
G2816 = buf(G206)
G2822 = and(G27, G31)
G2826 = buf(G1)
G2828 = buf(G2358)
G2882 = buf(G293)
G2886 = buf(G302)
G2890 = buf(G308)
G2894 = buf(G308)
G2898 = buf(G316)
G2902 = buf(G316)
G2948 = buf(G324)
G2952 = buf(G324)
G2956 = buf(G341)
G2960 = buf(G341)
G2964 = buf(G351)
G2968 = buf(G351)
G3024 = buf(G257)
G3028 = buf(G257)
G3032 = buf(G265)
G3036 = buf(G265)
G3040 = buf(G273)
G3044 = buf(G273)
G3048 = buf(G281)
G3052 = buf(G281)
G3092 = buf(G332)
G3105 = buf(G332)
G3175 = buf(G549)
G3176 = and(G31, G27)
G3181 = not(G2358)
G3204 = buf(G324)
G3208 = buf(G324)
G3212 = buf(G341)
G3216 = buf(G341)
G3220 = buf(G351)
G3224 = buf(G351)
G3256 = buf(G293)
G3260 = buf(G302)
G3264 = buf(G308)
G3268 = buf(G308)
G3272 = buf(G316)
G3276 = buf(G316)
G3302 = buf(G361)
G3314 = buf(G361)
G3354 = buf(G210)
G3358 = buf(G210)
G3362 = buf(G218)
G3366 = buf(G218)
G3370 = buf(G226)
G3374 = buf(G226)
G3378 = buf(G234)
G3382 = buf(G234)
G3440 = not(G324)
G3554 = buf(G242)
G3555 = buf(G242)
G3556 = buf(G254)
G3558 = buf(G4088)
G3582 = buf(G4087)
G3616 = buf(G4092)
G3628 = buf(G4091)
G3660 = buf(G4089)
G3684 = buf(G4090)
G3721 = not(G3717)
G3728 = not(G3724)
G3737 = buf(G4091)
G3757 = buf(G4092)
G3795 = buf(G4091)
G3815 = buf(G4092)
G3972 = buf(G4091)
G3991 = buf(G4092)
G4030 = buf(G4091)
G4049 = buf(G4092)
G4110 = buf(G299)
G4119 = buf(G446)
G4127 = buf(G457)
G4135 = buf(G468)
G4143 = buf(G422)
G4151 = buf(G435)
G4159 = buf(G389)
G4167 = buf(G400)
G4175 = buf(G411)
G4183 = buf(G374)
G4188 = buf(G4)
G4276 = buf(G446)
G4284 = buf(G457)
G4292 = buf(G468)
G4300 = buf(G435)
G4308 = buf(G389)
G4316 = buf(G400)
G4324 = buf(G411)
G4332 = buf(G422)
G4340 = buf(G374)
G4631 = buf(G479)
G4639 = buf(G490)
G4647 = buf(G503)
G4655 = buf(G514)
G4663 = buf(G523)
G4671 = buf(G534)
G4676 = buf(G54)
G4764 = buf(G479)
G4772 = buf(G503)
G4780 = buf(G514)
G4788 = buf(G523)
G4796 = buf(G534)
G4804 = buf(G490)
G5082 = buf(G361)
G5085 = buf(G369)
G5090 = buf(G341)
G5093 = buf(G351)
G5098 = buf(G308)
G5101 = buf(G316)
G5108 = buf(G293)
G5111 = buf(G302)
G5332 = buf(G281)
G5335 = buf(G289)
G5340 = buf(G265)
G5343 = buf(G273)
G5348 = buf(G234)
G5351 = buf(G257)
G5356 = buf(G218)
G5359 = buf(G226)
G5369 = buf(G210)
G634 = not(G633)
G815 = and(G136, G814)
G845 = not(G844)
G847 = not(G846)
G926 = buf(G1697)
G923 = buf(G1701)
G921 = buf(G2826)
G2979 = and(G3553, G514)
G2999 = or(G3547, G514)
G892 = buf(G3175)
G887 = buf(G4110)
G606 = not(G3175)
G1580 = and(G170, G1528, G1552)
G1586 = and(G173, G1528, G1552)
G1592 = and(G167, G1528, G1552)
G1598 = and(G164, G1528, G1552)
G1604 = and(G161, G1528, G1552)
G656 = nand(G2822, G140)
G1668 = and(G185, G1609, G1633)
G1674 = and(G158, G1609, G1633)
G1680 = and(G152, G1609, G1633)
G1686 = and(G146, G1609, G1633)
G2254 = and(G170, G2203, G2226)
G2260 = and(G173, G2203, G2226)
G2266 = and(G167, G2203, G2226)
G2272 = and(G164, G2203, G2226)
G2278 = and(G161, G2203, G2226)
G2339 = and(G185, G2281, G2304)
G2345 = and(G158, G2281, G2304)
G2351 = and(G152, G2281, G2304)
G2357 = and(G146, G2281, G2304)
G711 = and(G106, G3660, G3684)
G721 = and(G61, G2418, G2442)
G726 = and(G106, G3558, G3582)
G731 = and(G49, G3558, G3582)
G736 = and(G103, G3558, G3582)
G741 = and(G40, G3558, G3582)
G746 = and(G37, G3558, G3582)
G751 = and(G20, G2418, G2442)
G756 = and(G17, G2418, G2442)
G761 = and(G70, G2418, G2442)
G766 = and(G64, G2418, G2442)
G771 = and(G49, G3660, G3684)
G776 = and(G103, G3660, G3684)
G781 = and(G40, G3660, G3684)
G786 = and(G37, G3660, G3684)
G791 = and(G20, G2476, G2500)
G796 = and(G17, G2476, G2500)
G801 = and(G70, G2476, G2500)
G806 = and(G64, G2476, G2500)
G809 = not(G2822)
G3734 = and(G123, G3728, G3717)
G842 = and(G3795, G3815)
G858 = and(G61, G2476, G2500)
G881 = and(G3737, G3757)
G4123 = not(G4119)
G4131 = not(G4127)
G4139 = not(G4135)
G4147 = not(G4143)
G4155 = not(G4151)
G4163 = not(G4159)
G4171 = not(G4167)
G4179 = not(G4175)
G4187 = not(G4183)
G4194 = not(G4188)
G4282 = not(G4276)
G4290 = not(G4284)
G4298 = not(G4292)
G4306 = not(G4300)
G4314 = not(G4308)
G4322 = not(G4316)
G4330 = not(G4324)
G4338 = not(G4332)
G4346 = not(G4340)
G1526 = buf(G1697)
G1540 = not(G1528)
G1564 = not(G1552)
G1606 = buf(G1697)
G1621 = not(G1609)
G1645 = not(G1633)
G1661 = and(G179, G1609, G1633)
G1688 = buf(G2826)
G4635 = not(G4631)
G4643 = not(G4639)
G4651 = not(G4647)
G4659 = not(G4655)
G4667 = not(G4663)
G4675 = not(G4671)
G4682 = not(G4676)
G4770 = not(G4764)
G4778 = not(G4772)
G4786 = not(G4780)
G4794 = not(G4788)
G4802 = not(G4796)
G4810 = not(G4804)
G2202 = buf(G1698)
G2215 = not(G2203)
G2238 = not(G2226)
G2279 = buf(G1698)
G2293 = not(G2281)
G2316 = not(G2304)
G2332 = and(G179, G2281, G2304)
G2430 = not(G2418)
G2454 = not(G2442)
G2488 = not(G2476)
G2512 = not(G2500)
G2536 = not(G2533)
G2540 = not(G2537)
G2544 = not(G2541)
G2548 = not(G2545)
G2552 = not(G2549)
G2556 = not(G2553)
G2560 = not(G2557)
G2564 = not(G2561)
G2566 = and(G3553, G457, G2537)
G2572 = and(G3553, G468, G2545)
G2578 = and(G3553, G422, G2553)
G2584 = and(G3553, G435, G2561)
G2590 = and(G3547, G2533)
G2595 = and(G3547, G2541)
G2600 = and(G3547, G2549)
G2605 = and(G3547, G2557)
G2630 = not(G2627)
G2634 = not(G2631)
G2638 = not(G2635)
G2642 = not(G2639)
G2646 = not(G2643)
G2650 = not(G2647)
G2654 = not(G2651)
G2658 = not(G2655)
G2660 = and(G3553, G389, G2631)
G2666 = and(G3553, G400, G2639)
G2672 = and(G3553, G411, G2647)
G2678 = and(G3553, G374, G2655)
G2684 = and(G3547, G2627)
G2689 = and(G3547, G2635)
G2694 = and(G3547, G2643)
G2699 = and(G3547, G2651)
G2728 = not(G2721)
G2741 = not(G2734)
G2748 = and(G292, G2721)
G2750 = and(G288, G2721)
G2752 = and(G280, G2721)
G2754 = and(G272, G2721)
G2756 = and(G264, G2721)
G2758 = and(G241, G2734)
G2760 = and(G233, G2734)
G2762 = and(G225, G2734)
G2764 = and(G217, G2734)
G2766 = and(G209, G2734)
G2827 = buf(G1701)
G2838 = not(G2828)
G2847 = not(G2822)
G2885 = not(G2882)
G2889 = not(G2886)
G2893 = not(G2890)
G2897 = not(G2894)
G2901 = not(G2898)
G2905 = not(G2902)
G2906 = and(G2393, G2886)
G2909 = and(G2393, G479, G2894)
G2913 = and(G2393, G490, G2902)
G2918 = and(G3554, G2882)
G2922 = and(G3554, G2890)
G2927 = and(G3554, G2898)
G2951 = not(G2948)
G2955 = not(G2952)
G2959 = not(G2956)
G2963 = not(G2960)
G2967 = not(G2964)
G2971 = not(G2968)
G2973 = and(G3553, G503, G2952)
G2980 = not(G2979)
G2982 = and(G3553, G523, G2960)
G2988 = and(G3553, G534, G2968)
G2994 = and(G3547, G2948)
G3001 = and(G3547, G2956)
G3006 = and(G3547, G2964)
G3027 = not(G3024)
G3031 = not(G3028)
G3035 = not(G3032)
G3039 = not(G3036)
G3043 = not(G3040)
G3047 = not(G3044)
G3051 = not(G3048)
G3055 = not(G3052)
G3056 = and(G2393, G389, G3028)
G3060 = and(G2393, G400, G3036)
G3064 = and(G2393, G411, G3044)
G3068 = and(G2393, G374, G3052)
G3073 = and(G3554, G3024)
G3078 = and(G3554, G3032)
G3083 = and(G3554, G3040)
G3088 = and(G3554, G3048)
G3099 = not(G3092)
G3112 = not(G3105)
G3119 = and(G372, G3092)
G3121 = and(G366, G3092)
G3123 = and(G358, G3092)
G3125 = and(G348, G3092)
G3126 = and(G338, G3092)
G3128 = and(G331, G3105)
G3130 = and(G323, G3105)
G3132 = and(G315, G3105)
G3134 = and(G307, G3105)
G3136 = and(G299, G3105)
G3187 = not(G3181)
G3193 = and(G83, G3181)
G3196 = and(G86, G3181)
G3199 = and(G88, G3181)
G3202 = and(G88, G3181)
G3207 = not(G3204)
G3211 = not(G3208)
G3215 = not(G3212)
G3219 = not(G3216)
G3223 = not(G3220)
G3227 = not(G3224)
G3228 = and(G2405, G503, G3208)
G3232 = and(G2405, G514)
G3234 = and(G2405, G523, G3216)
G3238 = and(G2405, G534, G3224)
G3243 = and(G3555, G3204)
G3247 = or(G3555, G514)
G3249 = and(G3555, G3212)
G3253 = and(G3555, G3220)
G3259 = not(G3256)
G3263 = not(G3260)
G3267 = not(G3264)
G3271 = not(G3268)
G3275 = not(G3272)
G3279 = not(G3276)
G3280 = and(G2405, G3260)
G3283 = and(G2405, G479, G3268)
G3287 = and(G2405, G490, G3276)
G3292 = and(G3555, G3256)
G3295 = and(G3555, G3264)
G3299 = and(G3555, G3272)
G3305 = not(G3302)
G3306 = buf(G2816)
G3310 = buf(G2816)
G3317 = not(G3314)
G3318 = buf(G2816)
G3322 = buf(G2816)
G3326 = and(G2405, G3302)
G3333 = and(G2405, G3314)
G3357 = not(G3354)
G3361 = not(G3358)
G3365 = not(G3362)
G3369 = not(G3366)
G3373 = not(G3370)
G3377 = not(G3374)
G3381 = not(G3378)
G3385 = not(G3382)
G3386 = and(G2393, G457, G3358)
G3390 = and(G2393, G468, G3366)
G3394 = and(G2393, G422, G3374)
G3398 = and(G2393, G435, G3382)
G3403 = and(G3554, G3354)
G3408 = and(G3554, G3362)
G3413 = and(G3554, G3370)
G3418 = and(G3554, G3378)
G5088 = not(G5082)
G5089 = not(G5085)
G5096 = not(G5090)
G5097 = not(G5093)
G3489 = buf(G3440)
G3493 = buf(G3440)
G3570 = not(G3558)
G3594 = not(G3582)
G3622 = not(G3616)
G3632 = not(G3628)
G3637 = and(G97, G3616)
G3640 = and(G94, G3616)
G3643 = and(G97, G3616)
G3646 = and(G94, G3616)
G3672 = not(G3660)
G3696 = not(G3684)
G3745 = not(G3737)
G3765 = not(G3757)
G3803 = not(G3795)
G3823 = not(G3815)
G5338 = not(G5332)
G5339 = not(G5335)
G5346 = not(G5340)
G5347 = not(G5343)
G5354 = not(G5348)
G5355 = not(G5351)
G3979 = not(G3972)
G3998 = not(G3991)
G4037 = not(G4030)
G4056 = not(G4049)
G4094 = buf(G4110)
G5104 = not(G5098)
G5105 = not(G5101)
G5114 = not(G5108)
G5115 = not(G5111)
G5362 = not(G5356)
G5363 = not(G5359)
G5366 = buf(G2816)
G5373 = not(G5369)
G993 = buf(G1688)
G978 = buf(G1688)
G949 = buf(G1688)
G939 = buf(G1688)
G2568 = and(G457, G3551, G2540)
G2574 = and(G468, G3551, G2548)
G2580 = and(G422, G3551, G2556)
G2586 = and(G435, G3551, G2564)
G2592 = and(G3549, G2536)
G2597 = and(G3549, G2544)
G2602 = and(G3549, G2552)
G2607 = and(G3549, G2560)
G2662 = and(G389, G3551, G2634)
G2668 = and(G400, G3551, G2642)
G2674 = and(G411, G3551, G2650)
G2680 = and(G374, G3551, G2658)
G2686 = and(G3549, G2630)
G2691 = and(G3549, G2638)
G2696 = and(G3549, G2646)
G2701 = and(G3549, G2654)
G2907 = and(G2370, G2889)
G2910 = and(G479, G2370, G2897)
G2914 = and(G490, G2370, G2905)
G2920 = and(G3556, G2885)
G2924 = and(G3556, G2893)
G2929 = and(G3556, G2901)
G2975 = and(G503, G3551, G2955)
G2984 = and(G523, G3551, G2963)
G2990 = and(G534, G3551, G2971)
G2996 = and(G3549, G2951)
G3003 = and(G3549, G2959)
G3008 = and(G3549, G2967)
G3015 = and(G2980, G2999)
G3057 = and(G389, G2370, G3031)
G3061 = and(G400, G2370, G3039)
G3065 = and(G411, G2370, G3047)
G3069 = and(G374, G2370, G3055)
G3075 = and(G3556, G3027)
G3080 = and(G3556, G3035)
G3085 = and(G3556, G3043)
G3090 = and(G3556, G3051)
G3229 = and(G503, G2382, G3211)
G3233 = not(G3232)
G3235 = and(G523, G2382, G3219)
G3239 = and(G534, G2382, G3227)
G3244 = and(G2361, G3207)
G3250 = and(G2361, G3215)
G3254 = and(G2361, G3223)
G3281 = and(G2382, G3263)
G3284 = and(G479, G2382, G3271)
G3288 = and(G490, G2382, G3279)
G3293 = and(G2361, G3259)
G3296 = and(G2361, G3267)
G3300 = and(G2361, G3275)
G3327 = and(G2382, G3305)
G3334 = and(G2382, G3317)
G3387 = and(G457, G2370, G3361)
G3391 = and(G468, G2370, G3369)
G3395 = and(G422, G2370, G3377)
G3399 = and(G435, G2370, G3385)
G3405 = and(G3556, G3357)
G3410 = and(G3556, G3365)
G3415 = and(G3556, G3373)
G3420 = and(G3556, G3381)
G3422 = nand(G5085, G5088)
G3423 = nand(G5082, G5089)
G3431 = nand(G5093, G5096)
G3432 = nand(G5090, G5097)
G3895 = nand(G5335, G5338)
G3896 = nand(G5332, G5339)
G3904 = nand(G5343, G5346)
G3905 = nand(G5340, G5347)
G3913 = nand(G5351, G5354)
G3914 = nand(G5348, G5355)
G889 = buf(G4094)
G5106 = nand(G5101, G5104)
G5107 = nand(G5098, G5105)
G5116 = nand(G5111, G5114)
G5117 = nand(G5108, G5115)
G5364 = nand(G5359, G5362)
G5365 = nand(G5356, G5363)
G593 = not(G4094)
G2880 = and(G2838, G2847)
G2881 = and(G2828, G2847)
G1579 = and(G200, G1540, G1552)
G1585 = and(G203, G1540, G1552)
G1591 = and(G197, G1540, G1552)
G1597 = and(G194, G1540, G1552)
G1603 = and(G191, G1540, G1552)
G1667 = and(G182, G1621, G1633)
G1673 = and(G188, G1621, G1633)
G1679 = and(G155, G1621, G1633)
G1685 = and(G149, G1621, G1633)
G2876 = and(G2838, G2847)
G2877 = and(G2828, G2847)
G2253 = and(G200, G2215, G2226)
G2259 = and(G203, G2215, G2226)
G2265 = and(G197, G2215, G2226)
G2271 = and(G194, G2215, G2226)
G2277 = and(G191, G2215, G2226)
G2338 = and(G182, G2293, G2304)
G2344 = and(G188, G2293, G2304)
G2350 = and(G155, G2293, G2304)
G2356 = and(G149, G2293, G2304)
G2868 = and(G2838, G2847)
G2869 = and(G2828, G2847)
G710 = and(G109, G3672, G3684)
G2872 = and(G2838, G2847)
G2873 = and(G2828, G2847)
G720 = and(G11, G2430, G2442)
G725 = and(G109, G3570, G3582)
G730 = and(G46, G3570, G3582)
G735 = and(G100, G3570, G3582)
G740 = and(G91, G3570, G3582)
G745 = and(G43, G3570, G3582)
G750 = and(G76, G2430, G2442)
G755 = and(G73, G2430, G2442)
G760 = and(G67, G2430, G2442)
G765 = and(G14, G2430, G2442)
G770 = and(G46, G3672, G3684)
G775 = and(G100, G3672, G3684)
G780 = and(G91, G3672, G3684)
G785 = and(G43, G3672, G3684)
G790 = and(G76, G2488, G2500)
G795 = and(G73, G2488, G2500)
G800 = and(G67, G2488, G2500)
G805 = and(G14, G2488, G2500)
G841 = and(G120, G3803, G3815)
G857 = and(G11, G2488, G2500)
G880 = and(G118, G3745, G3757)
G1660 = and(G176, G1621, G1633)
G2331 = and(G176, G2293, G2304)
G2569 = or(G2566, G2568)
G2575 = or(G2572, G2574)
G2581 = or(G2578, G2580)
G2587 = or(G2584, G2586)
G2593 = or(G2590, G2592, G457)
G2598 = or(G2595, G2597, G468)
G2603 = or(G2600, G2602, G422)
G2608 = or(G2605, G2607, G435)
G2663 = or(G2660, G2662)
G2669 = or(G2666, G2668)
G2675 = or(G2672, G2674)
G2681 = or(G2678, G2680)
G2687 = or(G2684, G2686, G389)
G2692 = or(G2689, G2691, G400)
G2697 = or(G2694, G2696, G411)
G2702 = or(G2699, G2701, G374)
G2747 = and(G289, G2728)
G2749 = and(G281, G2728)
G2751 = and(G273, G2728)
G2753 = and(G265, G2728)
G2755 = and(G257, G2728)
G2757 = and(G234, G2741)
G2759 = and(G226, G2741)
G2761 = and(G218, G2741)
G2763 = and(G210, G2741)
G2765 = and(G206, G2741)
G2857 = not(G2847)
G2908 = or(G2906, G2907)
G2911 = or(G2909, G2910)
G2915 = or(G2913, G2914)
G2925 = or(G2922, G2924, G479)
G2930 = or(G2927, G2929, G490)
G2933 = or(G2918, G2920)
G2976 = or(G2973, G2975)
G2985 = or(G2982, G2984)
G2991 = or(G2988, G2990)
G2997 = or(G2994, G2996, G503)
G3004 = or(G3001, G3003, G523)
G3009 = or(G3006, G3008, G534)
G3058 = or(G3056, G3057)
G3062 = or(G3060, G3061)
G3066 = or(G3064, G3065)
G3070 = or(G3068, G3069)
G3076 = or(G3073, G3075, G389)
G3081 = or(G3078, G3080, G400)
G3086 = or(G3083, G3085, G411)
G3091 = or(G3088, G3090, G374)
G3118 = and(G369, G3099)
G3120 = and(G361, G3099)
G3122 = and(G351, G3099)
G3124 = and(G341, G3099)
G3127 = and(G324, G3112)
G3129 = and(G316, G3112)
G3131 = and(G308, G3112)
G3133 = and(G302, G3112)
G3135 = and(G293, G3112)
G3147 = or(G3099, G3126)
G3192 = and(G83, G3187)
G3195 = and(G87, G3187)
G3198 = and(G34, G3187)
G3201 = and(G34, G3187)
G3230 = or(G3228, G3229)
G3236 = or(G3234, G3235)
G3240 = or(G3238, G3239)
G3245 = or(G3243, G3244, G503)
G3251 = or(G3249, G3250, G523)
G3255 = or(G3253, G3254, G534)
G3282 = or(G3280, G3281)
G3285 = or(G3283, G3284)
G3289 = or(G3287, G3288)
G3297 = or(G3295, G3296, G479)
G3301 = or(G3299, G3300, G490)
G3309 = not(G3306)
G3313 = not(G3310)
G3321 = not(G3318)
G3325 = not(G3322)
G3328 = or(G3326, G3327)
G3329 = and(G2405, G446, G3310)
G3335 = or(G3333, G3334)
G3336 = and(G2405, G446, G3322)
G3341 = and(G3555, G3306)
G3345 = and(G3555, G3318)
G3388 = or(G3386, G3387)
G3392 = or(G3390, G3391)
G3396 = or(G3394, G3395)
G3400 = or(G3398, G3399)
G3406 = or(G3403, G3405, G457)
G3411 = or(G3408, G3410, G468)
G3416 = or(G3413, G3415, G422)
G3421 = or(G3418, G3420, G435)
G3424 = nand(G3422, G3423)
G3433 = nand(G3431, G3432)
G3492 = not(G3489)
G3496 = not(G3493)
G3780 = and(G117, G3745, G3757)
G3783 = and(G126, G3745, G3757)
G3786 = and(G127, G3745, G3757)
G3789 = and(G128, G3745, G3757)
G3838 = and(G131, G3803, G3815)
G3841 = and(G129, G3803, G3815)
G3844 = and(G119, G3803, G3815)
G3847 = and(G130, G3803, G3815)
G3897 = nand(G3895, G3896)
G3906 = nand(G3904, G3905)
G3915 = nand(G3913, G3914)
G4011 = and(G122, G3979, G3991)
G4014 = and(G113, G3979, G3991)
G4017 = and(G53, G3979, G3991)
G4020 = and(G114, G3979, G3991)
G4023 = and(G115, G3979, G3991)
G4069 = and(G52, G4037, G4049)
G4072 = and(G112, G4037, G4049)
G4075 = and(G116, G4037, G4049)
G4078 = and(G121, G4037, G4049)
G4081 = and(G123, G4037, G4049)
G5206 = nand(G5116, G5117)
G5209 = nand(G5106, G5107)
G5307 = and(G3233, G3247)
G5322 = or(G3292, G3293)
G5372 = not(G5366)
G5375 = nand(G5366, G5373)
G5399 = nand(G5364, G5365)
G2813 = not(G3015)
G3197 = or(G3195, G3196)
G3200 = or(G3198, G3199)
G3203 = or(G3201, G3202)
G3194 = or(G3192, G3193)
G2570 = not(G2569)
G2576 = not(G2575)
G2582 = not(G2581)
G2588 = not(G2587)
G2664 = not(G2663)
G2670 = not(G2669)
G2676 = not(G2675)
G2682 = not(G2681)
G2767 = or(G2749, G2750)
G2772 = or(G2751, G2752)
G2776 = or(G2753, G2754)
G2780 = or(G2755, G2756)
G2784 = or(G2757, G2758)
G2788 = or(G2759, G2760)
G2794 = or(G2761, G2762)
G2798 = or(G2763, G2764)
G2802 = or(G2765, G2766)
G2912 = not(G2911)
G2916 = not(G2915)
G2936 = not(G2908)
G2977 = not(G2976)
G2986 = not(G2985)
G2992 = not(G2991)
G3059 = not(G3058)
G3063 = not(G3062)
G3067 = not(G3066)
G3071 = not(G3070)
G3137 = or(G3120, G3121)
G3139 = or(G3122, G3123)
G3143 = or(G3124, G3125)
G3151 = or(G3127, G3128)
G3155 = or(G3129, G3130)
G3161 = or(G3131, G3132)
G3165 = or(G3133, G3134)
G3167 = or(G3135, G3136)
G3231 = not(G3230)
G3237 = not(G3236)
G3241 = not(G3240)
G3286 = not(G3285)
G3290 = not(G3289)
G3330 = and(G446, G2382, G3313)
G3337 = and(G446, G2382, G3325)
G3342 = and(G2361, G3309)
G3346 = and(G2361, G3321)
G3348 = not(G3328)
G3352 = not(G3335)
G3389 = not(G3388)
G3393 = not(G3392)
G3397 = not(G3396)
G3401 = not(G3400)
G3845 = and(G3015, G3803, G3823)
G5126 = or(G3118, G3119)
G5178 = or(G2747, G2748)
G5325 = not(G3282)
G5374 = nand(G5369, G5372)
G2810 = not(G2933)
G635 = and(G3197, G3176)
G2878 = and(G24, G2838, G2857)
G2879 = and(G25, G2828, G2857)
G2874 = and(G26, G2838, G2857)
G2875 = and(G81, G2828, G2857)
G703 = and(G3200, G3176)
G2866 = and(G79, G2838, G2857)
G2867 = and(G23, G2828, G2857)
G2870 = and(G82, G2838, G2857)
G2871 = and(G80, G2828, G2857)
G716 = and(G3203, G3176)
G819 = and(G3194, G3176)
G1789 = and(G3147, G514)
G2036 = and(G514, G3147)
G2611 = and(G2570, G2593)
G2615 = and(G2576, G2598)
G2619 = and(G2582, G2603)
G2623 = and(G2588, G2608)
G2705 = and(G2664, G2687)
G2709 = and(G2670, G2692)
G2713 = and(G2676, G2697)
G2717 = and(G2682, G2702)
G2939 = and(G2912, G2925)
G2942 = and(G2916, G2930)
G2945 = buf(G2933)
G3012 = and(G2977, G2997)
G3018 = and(G2986, G3004)
G3021 = and(G2992, G3009)
G3331 = or(G3329, G3330)
G3338 = or(G3336, G3337)
G3343 = or(G3341, G3342, G446)
G3347 = or(G3345, G3346, G446)
G3428 = not(G3424)
G3437 = not(G3433)
G3514 = and(G3433, G3424, G3489)
G3836 = and(G3352, G3803, G3823)
G3852 = and(G3071, G3091)
G5311 = not(G5307)
G3901 = not(G3897)
G3910 = not(G3906)
G3934 = buf(G3915)
G3938 = buf(G3915)
G4652 = buf(G3147)
G4783 = buf(G3147)
G5137 = buf(G3147)
G5212 = not(G5206)
G5213 = not(G5209)
G5260 = and(G3063, G3081)
G5263 = and(G3067, G3086)
G5268 = and(G3401, G3421)
G5271 = and(G3059, G3076)
G5276 = and(G3393, G3411)
G5279 = and(G3397, G3416)
G5289 = and(G3389, G3406)
G5296 = and(G3237, G3251)
G5299 = and(G3241, G3255)
G5304 = and(G3231, G3245)
G5312 = and(G3286, G3297)
G5315 = and(G3290, G3301)
G5328 = not(G5322)
G5396 = nand(G5374, G5375)
G5403 = not(G5399)
G1286 = and(G446, G2802)
G2809 = not(G2936)
G597 = not(G3348)
G1031 = and(G2802, G446)
G636 = not(G635)
G637 = or(G2878, G2879, G2880, G2881)
G671 = or(G2874, G2875, G2876, G2877)
G704 = not(G703)
G705 = or(G2866, G2867, G2868, G2869)
G713 = or(G2870, G2871, G2872, G2873)
G717 = not(G716)
G820 = not(G819)
G1046 = and(G2798, G457)
G1064 = and(G2794, G468)
G1071 = and(G422, G2788)
G1097 = and(G2784, G435)
G1111 = and(G2780, G389)
G1128 = and(G2776, G400)
G1145 = and(G2772, G411)
G1160 = and(G2767, G374)
G1301 = and(G457, G2798)
G1318 = and(G468, G2794)
G1324 = and(G422, G2788)
G1341 = and(G435, G2784)
G1359 = and(G389, G2780)
G1382 = and(G400, G2776)
G1404 = and(G411, G2772)
G1412 = and(G374, G2767)
G1704 = not(G3167)
G1712 = not(G3165)
G1724 = buf(G3165)
G1742 = and(G3161, G479)
G1749 = and(G490, G3155)
G1775 = and(G3151, G503)
G1806 = and(G3143, G523)
G1823 = and(G3139, G534)
G1829 = not(G3137)
G1837 = buf(G3137)
G1958 = not(G3167)
G1966 = not(G3165)
G1978 = buf(G3165)
G1995 = and(G479, G3161)
G2001 = and(G490, G3155)
G2018 = and(G503, G3151)
G2059 = and(G523, G3143)
G2081 = and(G534, G3139)
G2089 = buf(G3137)
G2106 = not(G3137)
G3170 = buf(G3167)
G3332 = not(G3331)
G3339 = not(G3338)
G5132 = not(G5126)
G5184 = not(G5178)
G3853 = not(G3852)
G3874 = not(G3348)
G4076 = and(G2936, G4037, G4056)
G4116 = buf(G2802)
G4124 = buf(G2798)
G4132 = buf(G2794)
G4140 = buf(G2788)
G4148 = buf(G2784)
G4156 = buf(G2780)
G4164 = buf(G2776)
G4172 = buf(G2772)
G4180 = buf(G2767)
G4228 = nor(G422, G2788)
G4279 = buf(G2802)
G4287 = buf(G2798)
G4295 = buf(G2794)
G4303 = buf(G2784)
G4311 = buf(G2780)
G4319 = buf(G2776)
G4327 = buf(G2772)
G4335 = buf(G2788)
G4343 = buf(G2767)
G4348 = nor(G422, G2788)
G4464 = nor(G374, G2767)
G4628 = buf(G3161)
G4636 = buf(G3155)
G4644 = buf(G3151)
G4660 = buf(G3143)
G4668 = buf(G3139)
G4716 = nor(G490, G3155)
G4767 = buf(G3161)
G4775 = buf(G3151)
G4791 = buf(G3143)
G4799 = buf(G3139)
G4807 = buf(G3155)
G4812 = nor(G490, G3155)
G5118 = buf(G3139)
G5121 = buf(G3143)
G5129 = buf(G3137)
G5134 = buf(G3151)
G5142 = buf(G3161)
G5145 = buf(G3155)
G5152 = buf(G3167)
G5155 = buf(G3165)
G5162 = buf(G2788)
G5165 = buf(G2784)
G5170 = buf(G2798)
G5173 = buf(G2794)
G5181 = buf(G2802)
G5186 = buf(G2772)
G5189 = buf(G2767)
G5196 = buf(G2780)
G5199 = buf(G2776)
G5214 = nand(G5209, G5212)
G5215 = nand(G5206, G5213)
G5329 = not(G5325)
G5330 = nand(G5325, G5328)
G2807 = not(G2942)
G2808 = not(G2939)
G2811 = not(G3021)
G2812 = not(G3018)
G2814 = not(G3012)
G2626 = not(G2623)
G2622 = not(G2619)
G2618 = not(G2615)
G2614 = not(G2611)
G2720 = not(G2717)
G2716 = not(G2713)
G2712 = not(G2709)
G2708 = not(G2705)
G639 = and(G637, G2827)
G673 = and(G671, G2827)
G707 = and(G705, G2827)
G715 = and(G713, G2827)
G3731 = and(G2945, G3728, G3721)
G4658 = not(G4652)
G1777 = nand(G4652, G4659)
G2019 = nand(G4783, G4786)
G4787 = not(G4783)
G3350 = and(G3332, G3343)
G3353 = and(G3339, G3347)
G5141 = not(G5137)
G3513 = and(G3428, G3433, G3492)
G3516 = and(G3424, G3437, G3496)
G3517 = and(G3437, G3428, G3493)
G3778 = and(G2717, G3745, G3765)
G3781 = and(G2713, G3745, G3765)
G3784 = and(G2709, G3745, G3765)
G3787 = and(G2705, G3745, G3765)
G3839 = and(G3021, G3803, G3823)
G3842 = and(G3018, G3803, G3823)
G5266 = not(G5260)
G5267 = not(G5263)
G5274 = not(G5268)
G5275 = not(G5271)
G5302 = not(G5296)
G5303 = not(G5299)
G5310 = not(G5304)
G3891 = nand(G5304, G5311)
G3937 = not(G3934)
G3941 = not(G3938)
G3955 = and(G3906, G3897, G3934)
G3958 = and(G3910, G3901, G3938)
G4009 = and(G2623, G3979, G3998)
G4012 = and(G2619, G3979, G3998)
G4015 = and(G2615, G3979, G3998)
G4018 = and(G2611, G3979, G3998)
G4067 = and(G3012, G4037, G4056)
G4070 = and(G2942, G4037, G4056)
G4073 = and(G2939, G4037, G4056)
G4079 = and(G2945, G4037, G4056)
G5239 = nand(G5214, G5215)
G5282 = not(G5276)
G5283 = not(G5279)
G5293 = not(G5289)
G5318 = not(G5312)
G5319 = not(G5315)
G5331 = nand(G5322, G5329)
G5402 = not(G5396)
G5405 = nand(G5396, G5403)
G595 = and(G2807, G2808, G2809, G2810)
G596 = and(G2811, G2812, G2813, G2814)
G607 = and(G2626, G2622, G2618, G2614)
G608 = and(G2720, G2716, G2712, G2708)
G1845 = and(G1704, G1724)
G1846 = and(G1712, G1704, G1742)
G2115 = and(G1958, G1978)
G2116 = and(G1966, G1958, G1995)
G4122 = not(G4116)
G1022 = nand(G4116, G4123)
G4130 = not(G4124)
G1033 = nand(G4124, G4131)
G4138 = not(G4132)
G1051 = nand(G4132, G4139)
G4146 = not(G4140)
G1079 = nand(G4140, G4147)
G4154 = not(G4148)
G1088 = nand(G4148, G4155)
G4162 = not(G4156)
G1099 = nand(G4156, G4163)
G4170 = not(G4164)
G1115 = nand(G4164, G4171)
G4178 = not(G4172)
G1133 = nand(G4172, G4179)
G4186 = not(G4180)
G1151 = nand(G4180, G4187)
G4234 = not(G4228)
G1276 = nand(G4279, G4282)
G4283 = not(G4279)
G1287 = nand(G4287, G4290)
G4291 = not(G4287)
G1305 = nand(G4295, G4298)
G4299 = not(G4295)
G1330 = nand(G4303, G4306)
G4307 = not(G4303)
G1342 = nand(G4311, G4314)
G4315 = not(G4311)
G1363 = nand(G4319, G4322)
G4323 = not(G4319)
G1388 = nand(G4327, G4330)
G4331 = not(G4327)
G1420 = nand(G4335, G4338)
G4339 = not(G4335)
G1428 = nand(G4343, G4346)
G4347 = not(G4343)
G4634 = not(G4628)
G1729 = nand(G4628, G4635)
G4642 = not(G4636)
G1757 = nand(G4636, G4643)
G4650 = not(G4644)
G1766 = nand(G4644, G4651)
G1776 = nand(G4655, G4658)
G4666 = not(G4660)
G1793 = nand(G4660, G4667)
G4674 = not(G4668)
G1811 = nand(G4668, G4675)
G1849 = and(G1712, G1742)
G1852 = and(G1712, G1742)
G1875 = and(G54, G1829)
G4722 = not(G4716)
G1982 = nand(G4767, G4770)
G4771 = not(G4767)
G2007 = nand(G4775, G4778)
G4779 = not(G4775)
G2020 = nand(G4780, G4787)
G2040 = nand(G4791, G4794)
G4795 = not(G4791)
G2065 = nand(G4799, G4802)
G4803 = not(G4799)
G2097 = nand(G4807, G4810)
G4811 = not(G4807)
G2119 = and(G1966, G1995)
G2122 = and(G1966, G1995)
G5124 = not(G5118)
G5125 = not(G5121)
G3452 = nand(G5129, G5132)
G5133 = not(G5129)
G5140 = not(G5134)
G3462 = nand(G5134, G5141)
G5168 = not(G5162)
G5169 = not(G5165)
G5176 = not(G5170)
G5177 = not(G5173)
G3484 = nand(G5181, G5184)
G5185 = not(G5181)
G3515 = nor(G3513, G3514)
G3518 = nor(G3516, G3517)
G3857 = not(G3853)
G3860 = nand(G5263, G5266)
G3861 = nand(G5260, G5267)
G3869 = nand(G5271, G5274)
G3870 = nand(G5268, G5275)
G3878 = not(G3874)
G3881 = nand(G5299, G5302)
G3882 = nand(G5296, G5303)
G3890 = nand(G5307, G5310)
G3954 = and(G3901, G3906, G3937)
G3957 = and(G3897, G3910, G3941)
G4021 = and(G3353, G3979, G3998)
G4099 = not(G3170)
G4236 = buf(G1071)
G4354 = not(G4348)
G4406 = buf(G1324)
G4470 = not(G4464)
G4552 = buf(G1412)
G4679 = buf(G1829)
G4687 = buf(G1704)
G4695 = buf(G1704)
G4703 = buf(G1712)
G4711 = buf(G1712)
G4724 = buf(G1749)
G4818 = not(G4812)
G4855 = buf(G1958)
G4865 = buf(G1966)
G4870 = buf(G2001)
G4913 = buf(G1958)
G4923 = buf(G1966)
G4951 = buf(G2106)
G5006 = buf(G2089)
G5039 = buf(G2106)
G5148 = not(G5142)
G5149 = not(G5145)
G5158 = not(G5152)
G5159 = not(G5155)
G5192 = not(G5186)
G5193 = not(G5189)
G5202 = not(G5196)
G5203 = not(G5199)
G5284 = nand(G5279, G5282)
G5285 = nand(G5276, G5283)
G5320 = nand(G5315, G5318)
G5321 = nand(G5312, G5319)
G5386 = nand(G5330, G5331)
G5404 = nand(G5399, G5402)
G598 = and(G595, G596, G597)
G609 = not(G3350)
G1021 = nand(G4119, G4122)
G1032 = nand(G4127, G4130)
G1050 = nand(G4135, G4138)
G1078 = nand(G4143, G4146)
G1087 = nand(G4151, G4154)
G1098 = nand(G4159, G4162)
G1114 = nand(G4167, G4170)
G1132 = nand(G4175, G4178)
G1150 = nand(G4183, G4186)
G1277 = nand(G4276, G4283)
G1288 = nand(G4284, G4291)
G1306 = nand(G4292, G4299)
G1331 = nand(G4300, G4307)
G1343 = nand(G4308, G4315)
G1364 = nand(G4316, G4323)
G1389 = nand(G4324, G4331)
G1421 = nand(G4332, G4339)
G1429 = nand(G4340, G4347)
G1728 = nand(G4631, G4634)
G1756 = nand(G4639, G4642)
G1765 = nand(G4647, G4650)
G1778 = nand(G1776, G1777)
G1792 = nand(G4663, G4666)
G1810 = nand(G4671, G4674)
G1983 = nand(G4764, G4771)
G2008 = nand(G4772, G4779)
G2021 = nand(G2019, G2020)
G2041 = nand(G4788, G4795)
G2066 = nand(G4796, G4803)
G2098 = nand(G4804, G4811)
G3443 = nand(G5121, G5124)
G3444 = nand(G5118, G5125)
G3453 = nand(G5126, G5133)
G3461 = nand(G5137, G5140)
G3466 = nand(G5165, G5168)
G3467 = nand(G5162, G5169)
G3475 = nand(G5173, G5176)
G3476 = nand(G5170, G5177)
G3485 = nand(G5178, G5185)
G5243 = not(G5239)
G3862 = nand(G3860, G3861)
G3871 = nand(G3869, G3870)
G3883 = nand(G3881, G3882)
G3892 = nand(G3890, G3891)
G3956 = nor(G3954, G3955)
G3959 = nor(G3957, G3958)
G4756 = or(G1837, G1875)
G5150 = nand(G5145, G5148)
G5151 = nand(G5142, G5149)
G5160 = nand(G5155, G5158)
G5161 = nand(G5152, G5159)
G5194 = nand(G5189, G5192)
G5195 = nand(G5186, G5193)
G5204 = nand(G5199, G5202)
G5205 = nand(G5196, G5203)
G5236 = nand(G3518, G3515)
G5286 = buf(G3350)
G5379 = nand(G5284, G5285)
G5389 = nand(G5320, G5321)
G5425 = nand(G5404, G5405)
G610 = and(G607, G608, G609)
G1023 = nand(G1021, G1022)
G1034 = nand(G1032, G1033)
G1052 = nand(G1050, G1051)
G1080 = nand(G1078, G1079)
G1089 = nand(G1087, G1088)
G1100 = nand(G1098, G1099)
G1116 = nand(G1114, G1115)
G1134 = nand(G1132, G1133)
G1152 = nand(G1150, G1151)
G4242 = not(G4236)
G1278 = nand(G1276, G1277)
G1289 = nand(G1287, G1288)
G1307 = nand(G1305, G1306)
G1332 = nand(G1330, G1331)
G1344 = nand(G1342, G1343)
G1365 = nand(G1363, G1364)
G1390 = nand(G1388, G1389)
G1422 = nand(G1420, G1421)
G1430 = nand(G1428, G1429)
G1730 = nand(G1728, G1729)
G1758 = nand(G1756, G1757)
G1767 = nand(G1765, G1766)
G1794 = nand(G1792, G1793)
G1812 = nand(G1810, G1811)
G1876 = nand(G4679, G4682)
G4683 = not(G4679)
G4691 = not(G4687)
G4699 = not(G4695)
G4707 = not(G4703)
G4715 = not(G4711)
G4730 = not(G4724)
G1984 = nand(G1982, G1983)
G2009 = nand(G2007, G2008)
G2042 = nand(G2040, G2041)
G2067 = nand(G2065, G2066)
G2099 = nand(G2097, G2098)
G4869 = not(G4865)
G4927 = not(G4923)
G3445 = nand(G3443, G3444)
G3454 = nand(G3452, G3453)
G3463 = nand(G3461, G3462)
G3468 = nand(G3466, G3467)
G3477 = nand(G3475, G3476)
G3486 = nand(G3484, G3485)
G4103 = and(G4099, G3170)
G4412 = not(G4406)
G4558 = not(G4552)
G4859 = not(G4855)
G4876 = not(G4870)
G4917 = not(G4913)
G4955 = not(G4951)
G5012 = not(G5006)
G5043 = not(G5039)
G5216 = nand(G5160, G5161)
G5219 = nand(G5150, G5151)
G5226 = nand(G5204, G5205)
G5229 = nand(G5194, G5195)
G5392 = not(G5386)
G5422 = nand(G3959, G3956)
G1866 = and(G1778, G1806)
G1877 = nand(G4676, G4683)
G4762 = not(G4756)
G2142 = and(G2021, G2059)
G2146 = and(G2021, G2059)
G5242 = not(G5236)
G3532 = nand(G5236, G5243)
G3866 = not(G3862)
G3887 = not(G3883)
G3918 = buf(G3871)
G3922 = buf(G3871)
G3926 = buf(G3892)
G3930 = buf(G3892)
G5429 = not(G5425)
G4104 = or(G4099, G4103)
G4743 = buf(G1778)
G4991 = buf(G2021)
G5001 = buf(G2021)
G5292 = not(G5286)
G5295 = nand(G5286, G5293)
G5383 = not(G5379)
G5393 = not(G5389)
G5394 = nand(G5389, G5392)
G1439 = and(G1278, G1301)
G1440 = and(G1289, G1278, G1318)
G1441 = and(G1307, G1278, G1324, G1289)
G1847 = and(G1730, G1704, G1749, G1712)
G1168 = and(G1023, G1046)
G1169 = and(G1034, G1023, G1064)
G1170 = and(G1052, G1023, G1071, G1034)
G2117 = and(G1984, G1958, G2001, G1966)
G1086 = not(G1080)
G1166 = and(G1034, G1080, G1052, G1023)
G1171 = and(G1034, G1064)
G1172 = and(G1052, G1071, G1034)
G1173 = and(G1080, G1052, G1034)
G1174 = and(G1034, G1064)
G1175 = and(G1071, G1052, G1034)
G1176 = and(G1052, G1071)
G1177 = and(G1080, G1052)
G1178 = and(G1052, G1071)
G1179 = and(G1100, G1152, G1116, G1089, G1134)
G1181 = and(G1089, G1111)
G1182 = and(G1100, G1089, G1128)
G1183 = and(G1116, G1089, G1145, G1100)
G1184 = and(G1134, G1116, G1089, G1160, G1100)
G1188 = and(G1100, G1128)
G1189 = and(G1116, G1145, G1100)
G1190 = and(G1134, G1116, G1160, G1100)
G1191 = and(G4, G1152, G1116, G1134, G1100)
G1192 = and(G1145, G1116)
G1193 = and(G1134, G1116, G1160)
G1194 = and(G4, G1152, G1116, G1134)
G1195 = and(G1134, G1160)
G1196 = and(G4, G1152, G1134)
G1197 = and(G4, G1152)
G1437 = and(G1422, G1307, G1289, G1278)
G1442 = and(G1289, G1318)
G1443 = and(G1307, G1324, G1289)
G1444 = and(G1422, G1307, G1289)
G1445 = and(G1289, G1318)
G1446 = and(G1307, G1324, G1289)
G1447 = and(G1307, G1324)
G1451 = and(G1430, G1390, G1365, G1344, G1332)
G1454 = and(G1332, G1359)
G1455 = and(G1344, G1332, G1382)
G1456 = and(G1365, G1332, G1404, G1344)
G1457 = and(G1390, G1365, G1332, G1412, G1344)
G1465 = and(G1344, G1382)
G1466 = and(G1365, G1404, G1344)
G1467 = and(G1390, G1365, G1412, G1344)
G1468 = and(G1430, G1365, G1344, G1390)
G1469 = and(G1344, G1382)
G1470 = and(G1365, G1404, G1344)
G1471 = and(G1390, G1365, G1412, G1344)
G1472 = and(G1365, G1404)
G1473 = and(G1390, G1365, G1412)
G1474 = and(G1430, G1365, G1390)
G1475 = and(G1365, G1404)
G1476 = and(G1390, G1365, G1412)
G1477 = and(G1390, G1412)
G1481 = and(G1422, G1307)
G1482 = and(G1430, G1390)
G1764 = not(G1758)
G1843 = and(G1712, G1758, G1730, G1704)
G1850 = and(G1730, G1749, G1712)
G1851 = and(G1758, G1730, G1712)
G1853 = and(G1749, G1730, G1712)
G1854 = and(G1730, G1749)
G1855 = and(G1758, G1730)
G1856 = and(G1730, G1749)
G1857 = and(G1778, G1829, G1794, G1767, G1812)
G1859 = and(G1767, G1789)
G1860 = and(G1778, G1767, G1806)
G1861 = and(G1794, G1767, G1823, G1778)
G1862 = and(G1812, G1794, G1767, G1837, G1778)
G1867 = and(G1794, G1823, G1778)
G1868 = and(G1812, G1794, G1837, G1778)
G1869 = and(G54, G1829, G1794, G1812, G1778)
G1870 = and(G1823, G1794)
G1871 = and(G1812, G1794, G1837)
G1872 = and(G54, G1829, G1794, G1812)
G1873 = and(G1812, G1837)
G1874 = and(G54, G1829, G1812)
G1878 = nand(G1876, G1877)
G2113 = and(G2099, G1984, G1966, G1958)
G2120 = and(G1984, G2001, G1966)
G2121 = and(G2099, G1984, G1966)
G2123 = and(G1984, G2001, G1966)
G2124 = and(G1984, G2001)
G2128 = and(G2106, G2067, G2042, G2021, G2009)
G2131 = and(G2009, G2036)
G2132 = and(G2021, G2009, G2059)
G2133 = and(G2042, G2009, G2081, G2021)
G2134 = and(G2067, G2042, G2009, G2089, G2021)
G2143 = and(G2042, G2081, G2021)
G2144 = and(G2067, G2042, G2089, G2021)
G2145 = and(G2106, G2042, G2021, G2067)
G2147 = and(G2042, G2081, G2021)
G2148 = and(G2067, G2042, G2089, G2021)
G2149 = and(G2042, G2081)
G2150 = and(G2067, G2042, G2089)
G2151 = and(G2106, G2042, G2067)
G2152 = and(G2042, G2081)
G2153 = and(G2067, G2042, G2089)
G2154 = and(G2067, G2089)
G2158 = and(G2099, G1984)
G2159 = and(G2106, G2067)
G3449 = not(G3445)
G3458 = not(G3454)
G3472 = not(G3468)
G3481 = not(G3477)
G3497 = buf(G3463)
G3501 = buf(G3463)
G3505 = buf(G3486)
G3509 = buf(G3486)
G3531 = nand(G5239, G5242)
G5428 = not(G5422)
G3967 = nand(G5422, G5429)
G4191 = buf(G1152)
G4199 = buf(G1023)
G4207 = buf(G1023)
G4215 = buf(G1034)
G4223 = buf(G1034)
G4231 = buf(G1052)
G4239 = buf(G1052)
G4247 = buf(G1089)
G4255 = buf(G1100)
G4263 = buf(G1116)
G4271 = buf(G1134)
G4371 = buf(G1422)
G4381 = buf(G1307)
G4391 = buf(G1278)
G4401 = buf(G1289)
G4429 = buf(G1422)
G4439 = buf(G1307)
G4449 = buf(G1278)
G4459 = buf(G1289)
G4497 = buf(G1430)
G4507 = buf(G1390)
G4517 = buf(G1332)
G4527 = buf(G1365)
G4537 = buf(G1344)
G4547 = buf(G1344)
G4585 = buf(G1430)
G4595 = buf(G1390)
G4605 = buf(G1332)
G4615 = buf(G1365)
G4719 = buf(G1730)
G4727 = buf(G1730)
G4735 = buf(G1767)
G4751 = buf(G1794)
G4759 = buf(G1812)
G4835 = buf(G2099)
G4845 = buf(G1984)
G4893 = buf(G2099)
G4903 = buf(G1984)
G4961 = buf(G2067)
G4971 = buf(G2009)
G4981 = buf(G2042)
G5049 = buf(G2067)
G5059 = buf(G2009)
G5069 = buf(G2042)
G5222 = not(G5216)
G5223 = not(G5219)
G5232 = not(G5226)
G5233 = not(G5229)
G5294 = nand(G5289, G5292)
G5395 = nand(G5386, G5393)
G589 = or(G1286, G1439, G1440, G1441)
G616 = or(G3167, G1845, G1846, G1847)
G619 = or(G1031, G1168, G1169, G1170)
G627 = or(G3167, G2115, G2116, G2117)
G1185 = or(G1097, G1181, G1182, G1183, G1184)
G1448 = or(G1318, G1447)
G1458 = or(G1341, G1454, G1455, G1456, G1457)
G1478 = or(G1404, G1477)
G1863 = or(G1775, G1859, G1860, G1861, G1862)
G4747 = not(G4743)
G2125 = or(G1995, G2124)
G2135 = or(G2018, G2131, G2132, G2133, G2134)
G2155 = or(G2081, G2154)
G4995 = not(G4991)
G5005 = not(G5001)
G3533 = nand(G3531, G3532)
G3921 = not(G3918)
G3925 = not(G3922)
G3929 = not(G3926)
G3933 = not(G3930)
G3943 = and(G3862, G3853, G3918)
G3946 = and(G3866, G3857, G3922)
G3949 = and(G3883, G3874, G3926)
G3952 = and(G3887, G3878, G3930)
G3966 = nand(G5425, G5428)
G4107 = nand(G4104, G132)
G4196 = or(G1046, G1171, G1172, G1173)
G4204 = nor(G1046, G1174, G1175)
G4212 = or(G1064, G1176, G1177)
G4220 = nor(G1064, G1178)
G4244 = or(G1111, G1188, G1189, G1190, G1191)
G4252 = or(G1128, G1192, G1193, G1194)
G4260 = or(G1145, G1195, G1196)
G4268 = or(G1160, G1197)
G4361 = or(G1301, G1442, G1443, G1444)
G4419 = nor(G1301, G1445, G1446)
G4467 = or(G1382, G1472, G1473, G1474)
G4487 = or(G1359, G1465, G1466, G1467, G1468)
G4555 = nor(G1382, G1475, G1476)
G4575 = nor(G1359, G1469, G1470, G1471)
G4684 = or(G1724, G1849, G1850, G1851)
G4692 = nor(G1724, G1852, G1853)
G4700 = or(G1742, G1854, G1855)
G4708 = nor(G1742, G1856)
G4732 = or(G1789, G1866, G1867, G1868, G1869)
G4740 = or(G1806, G1870, G1871, G1872)
G4748 = or(G1823, G1873, G1874)
G4825 = or(G1978, G2119, G2120, G2121)
G4883 = nor(G1978, G2122, G2123)
G4928 = or(G2059, G2149, G2150, G2151)
G4941 = or(G2036, G2142, G2143, G2144, G2145)
G5009 = nor(G2059, G2152, G2153)
G5029 = nor(G2036, G2146, G2147, G2148)
G5224 = nand(G5219, G5222)
G5225 = nand(G5216, G5223)
G5234 = nand(G5229, G5232)
G5235 = nand(G5226, G5233)
G5376 = nand(G5294, G5295)
G5417 = nand(G5394, G5395)
G576 = not(G1878)
G588 = and(G1437, G1451)
G615 = and(G1843, G1857)
G626 = and(G2113, G2128)
G632 = and(G1166, G1179)
G1198 = nand(G4191, G4194)
G4195 = not(G4191)
G4203 = not(G4199)
G4211 = not(G4207)
G4219 = not(G4215)
G4227 = not(G4223)
G1217 = nand(G4231, G4234)
G4235 = not(G4231)
G1221 = nand(G4239, G4242)
G4243 = not(G4239)
G1224 = and(G1179, G4)
G4251 = not(G4247)
G4259 = not(G4255)
G4267 = not(G4263)
G4275 = not(G4271)
G1453 = not(G1451)
G4405 = not(G4401)
G4463 = not(G4459)
G4541 = not(G4537)
G4551 = not(G4547)
G1895 = nand(G4719, G4722)
G4723 = not(G4719)
G1899 = nand(G4727, G4730)
G4731 = not(G4727)
G1902 = and(G1857, G54)
G4739 = not(G4735)
G4755 = not(G4751)
G1929 = nand(G4759, G4762)
G4763 = not(G4759)
G2130 = not(G2128)
G3500 = not(G3497)
G3504 = not(G3501)
G3508 = not(G3505)
G3512 = not(G3509)
G3520 = and(G3454, G3445, G3497)
G3523 = and(G3458, G3449, G3501)
G3526 = and(G3477, G3468, G3505)
G3529 = and(G3481, G3472, G3509)
G1002 = buf(G3533)
G3837 = and(G1878, G3795, G3823)
G3942 = and(G3857, G3862, G3921)
G3945 = and(G3853, G3866, G3925)
G3948 = and(G3878, G3883, G3929)
G3951 = and(G3874, G3887, G3933)
G3968 = nand(G3966, G3967)
G4375 = not(G4371)
G4385 = not(G4381)
G4395 = not(G4391)
G4433 = not(G4429)
G4443 = not(G4439)
G4453 = not(G4449)
G4501 = not(G4497)
G4511 = not(G4507)
G4521 = not(G4517)
G4531 = not(G4527)
G4619 = not(G4615)
G4589 = not(G4585)
G4599 = not(G4595)
G4609 = not(G4605)
G4839 = not(G4835)
G4849 = not(G4845)
G4897 = not(G4893)
G4907 = not(G4903)
G4965 = not(G4961)
G4975 = not(G4971)
G4985 = not(G4981)
G5073 = not(G5069)
G5053 = not(G5049)
G5063 = not(G5059)
G5247 = nand(G5224, G5225)
G5255 = nand(G5234, G5235)
G590 = and(G1437, G1458)
G617 = and(G1863, G1843)
G620 = and(G1185, G1166)
G628 = and(G2113, G2135)
G3535 = not(G3533)
G1199 = nand(G4188, G4195)
G4202 = not(G4196)
G1204 = nand(G4196, G4203)
G4210 = not(G4204)
G1207 = nand(G4204, G4211)
G4218 = not(G4212)
G1211 = nand(G4212, G4219)
G4226 = not(G4220)
G1214 = nand(G4220, G4227)
G1218 = nand(G4228, G4235)
G1222 = nand(G4236, G4243)
G1225 = or(G1185, G1224)
G4250 = not(G4244)
G1237 = nand(G4244, G4251)
G4258 = not(G4252)
G1242 = nand(G4252, G4259)
G4266 = not(G4260)
G1247 = nand(G4260, G4267)
G4274 = not(G4268)
G1252 = nand(G4268, G4275)
G1462 = not(G1458)
G4690 = not(G4684)
G1882 = nand(G4684, G4691)
G4698 = not(G4692)
G1885 = nand(G4692, G4699)
G4706 = not(G4700)
G1889 = nand(G4700, G4707)
G4714 = not(G4708)
G1892 = nand(G4708, G4715)
G1896 = nand(G4716, G4723)
G1900 = nand(G4724, G4731)
G1903 = or(G1863, G1902)
G4738 = not(G4732)
G1915 = nand(G4732, G4739)
G4746 = not(G4740)
G1920 = nand(G4740, G4747)
G4754 = not(G4748)
G1925 = nand(G4748, G4755)
G1930 = nand(G4756, G4763)
G2139 = not(G2135)
G3519 = and(G3449, G3454, G3500)
G3522 = and(G3445, G3458, G3504)
G3525 = and(G3472, G3477, G3508)
G3528 = and(G3468, G3481, G3512)
G3848 = or(G3836, G3837, G3838)
G3944 = nor(G3942, G3943)
G3947 = nor(G3945, G3946)
G3950 = nor(G3948, G3949)
G3953 = nor(G3951, G3952)
G5421 = not(G5417)
G1004 = buf(G3968)
G4111 = and(G4104, G4107)
G4112 = and(G4107, G132)
G4351 = or(G1448, G1481)
G4365 = not(G4361)
G4409 = not(G1448)
G4423 = not(G4419)
G4471 = not(G4467)
G4472 = nand(G4467, G4470)
G4477 = or(G1478, G1482)
G4491 = not(G4487)
G4559 = not(G4555)
G4560 = nand(G4555, G4558)
G4565 = not(G1478)
G4579 = not(G4575)
G4815 = or(G2125, G2158)
G4829 = not(G4825)
G4873 = not(G2125)
G4887 = not(G4883)
G4931 = or(G2155, G2159)
G4934 = not(G4928)
G4945 = not(G4941)
G5013 = not(G5009)
G5014 = nand(G5009, G5012)
G5019 = not(G2155)
G5033 = not(G5029)
G5382 = not(G5376)
G5385 = nand(G5376, G5383)
G591 = or(G589, G590)
G618 = or(G616, G617)
G621 = or(G619, G620)
G629 = or(G627, G628)
G3970 = not(G3968)
G1200 = nand(G1198, G1199)
G1203 = nand(G4199, G4202)
G1206 = nand(G4207, G4210)
G1210 = nand(G4215, G4218)
G1213 = nand(G4223, G4226)
G1219 = nand(G1217, G1218)
G1223 = nand(G1221, G1222)
G1236 = nand(G4247, G4250)
G1241 = nand(G4255, G4258)
G1246 = nand(G4263, G4266)
G1251 = nand(G4271, G4274)
G1881 = nand(G4687, G4690)
G1884 = nand(G4695, G4698)
G1888 = nand(G4703, G4706)
G1891 = nand(G4711, G4714)
G1897 = nand(G1895, G1896)
G1901 = nand(G1899, G1900)
G1914 = nand(G4735, G4738)
G1919 = nand(G4743, G4746)
G1924 = nand(G4751, G4754)
G1931 = nand(G1929, G1930)
G3521 = nor(G3519, G3520)
G3524 = nor(G3522, G3523)
G3527 = nor(G3525, G3526)
G3530 = nor(G3528, G3529)
G5251 = not(G5247)
G5259 = not(G5255)
G4113 = or(G4111, G4112)
G4473 = nand(G4464, G4471)
G4561 = nand(G4552, G4559)
G5015 = nand(G5006, G5013)
G5384 = nand(G5379, G5382)
G5406 = nand(G3947, G3944)
G5414 = nand(G3953, G3950)
G1664 = and(G3848, G1621, G1645)
G2335 = and(G3848, G2293, G2316)
G718 = and(G3848, G2430, G2454)
G822 = not(G3848)
G855 = and(G3848, G2488, G2512)
G1205 = nand(G1203, G1204)
G1208 = nand(G1206, G1207)
G1212 = nand(G1210, G1211)
G1215 = nand(G1213, G1214)
G1220 = not(G1219)
G1231 = not(G1225)
G1238 = nand(G1236, G1237)
G1243 = nand(G1241, G1242)
G1248 = nand(G1246, G1247)
G1253 = nand(G1251, G1252)
G1272 = and(G1225, G1086)
G1483 = and(G1462, G1453)
G1883 = nand(G1881, G1882)
G1886 = nand(G1884, G1885)
G1890 = nand(G1888, G1889)
G1893 = nand(G1891, G1892)
G1898 = not(G1897)
G1909 = not(G1903)
G1916 = nand(G1914, G1915)
G1921 = nand(G1919, G1920)
G1926 = nand(G1924, G1925)
G1953 = and(G1903, G1764)
G2160 = and(G2139, G2130)
G4355 = not(G4351)
G4356 = nand(G4351, G4354)
G4413 = not(G4409)
G4414 = nand(G4409, G4412)
G4474 = nand(G4472, G4473)
G4481 = not(G4477)
G4562 = nand(G4560, G4561)
G4569 = not(G4565)
G4819 = not(G4815)
G4820 = nand(G4815, G4818)
G4877 = not(G4873)
G4878 = nand(G4873, G4876)
G4935 = not(G4931)
G4936 = nand(G4931, G4934)
G5016 = nand(G5014, G5015)
G5023 = not(G5019)
G5244 = nand(G3524, G3521)
G5252 = nand(G3530, G3527)
G5409 = nand(G5384, G5385)
G566 = not(G1200)
G577 = not(G1931)
G3733 = and(G4113, G3724, G3721)
G1209 = not(G1208)
G1216 = not(G1215)
G1257 = and(G1225, G1205)
G1262 = and(G1225, G1212)
G1267 = and(G1225, G1220)
G1887 = not(G1886)
G1894 = not(G1893)
G1935 = and(G1903, G1883)
G1943 = and(G1903, G1890)
G1948 = and(G1903, G1898)
G3779 = and(G1200, G3737, G3765)
G3840 = and(G1931, G3795, G3823)
G5412 = not(G5406)
G5420 = not(G5414)
G3964 = nand(G5414, G5421)
G4357 = nand(G4348, G4355)
G4415 = nand(G4406, G4413)
G4821 = nand(G4812, G4819)
G4879 = nand(G4870, G4877)
G4937 = nand(G4928, G4935)
G567 = not(G1253)
G568 = not(G1248)
G569 = not(G1243)
G570 = not(G1238)
G578 = not(G1926)
G579 = not(G1921)
G580 = not(G1916)
G1256 = and(G1209, G1231)
G1261 = and(G1216, G1231)
G1266 = and(G1223, G1231)
G1271 = and(G1080, G1231)
G1486 = not(G1483)
G1934 = and(G1887, G1909)
G1942 = and(G1894, G1909)
G1947 = and(G1901, G1909)
G1952 = and(G1758, G1909)
G2163 = not(G2160)
G5250 = not(G5244)
G3537 = nand(G5244, G5251)
G5258 = not(G5252)
G3542 = nand(G5252, G5259)
G3782 = and(G1253, G3737, G3765)
G3785 = and(G1248, G3737, G3765)
G3788 = and(G1243, G3737, G3765)
G3790 = or(G3778, G3779, G3780)
G3843 = and(G1926, G3795, G3823)
G3846 = and(G1921, G3795, G3823)
G3849 = or(G3839, G3840, G3841)
G3960 = nand(G5409, G5412)
G5413 = not(G5409)
G3963 = nand(G5417, G5420)
G4010 = and(G1238, G3972, G3998)
G4068 = and(G1916, G4030, G4056)
G4358 = nand(G4356, G4357)
G4416 = nand(G4414, G4415)
G4480 = not(G4474)
G4483 = nand(G4474, G4481)
G4568 = not(G4562)
G4571 = nand(G4562, G4569)
G4822 = nand(G4820, G4821)
G4880 = nand(G4878, G4879)
G4938 = nand(G4936, G4937)
G5022 = not(G5016)
G5025 = nand(G5016, G5023)
G1258 = or(G1256, G1257)
G1263 = or(G1261, G1262)
G1268 = or(G1266, G1267)
G1273 = or(G1271, G1272)
G1936 = or(G1934, G1935)
G1944 = or(G1942, G1943)
G1949 = or(G1947, G1948)
G1954 = or(G1952, G1953)
G3536 = nand(G5247, G5250)
G3541 = nand(G5255, G5258)
G3791 = or(G3781, G3782, G3783)
G3792 = or(G3784, G3785, G3786)
G3793 = or(G3787, G3788, G3789)
G3850 = or(G3842, G3843, G3844)
G3851 = or(G3845, G3846, G3847)
G3961 = nand(G5406, G5413)
G3965 = nand(G3963, G3964)
G4024 = or(G4009, G4010, G4011)
G4082 = or(G4067, G4068, G4069)
G4482 = nand(G4477, G4480)
G4570 = nand(G4565, G4568)
G5024 = nand(G5019, G5022)
G1666 = and(G3790, G1609, G1645)
G1670 = and(G3849, G1621, G1645)
G2337 = and(G3790, G2281, G2316)
G2341 = and(G3849, G2293, G2316)
G719 = and(G3790, G2418, G2454)
G758 = and(G3849, G2430, G2454)
G798 = and(G3849, G2488, G2512)
G838 = not(G3849)
G856 = and(G3790, G2476, G2512)
G861 = not(G3790)
G3538 = nand(G3536, G3537)
G3543 = nand(G3541, G3542)
G3962 = nand(G3960, G3961)
G4364 = not(G4358)
G4367 = nand(G4358, G4365)
G4422 = not(G4416)
G4425 = nand(G4416, G4423)
G4484 = nand(G4482, G4483)
G4572 = nand(G4570, G4571)
G4828 = not(G4822)
G4831 = nand(G4822, G4829)
G4886 = not(G4880)
G4889 = nand(G4880, G4887)
G4944 = not(G4938)
G4947 = nand(G4938, G4945)
G5026 = nand(G5024, G5025)
G571 = not(G1273)
G572 = not(G1268)
G573 = not(G1263)
G574 = not(G1258)
G581 = not(G1954)
G582 = not(G1949)
G583 = not(G1944)
G584 = not(G1936)
G623 = not(G1936)
G1576 = and(G4082, G1540, G1564)
G1578 = and(G4024, G1528, G1564)
G659 = or(G1664, G1666, G1667, G1668)
G1672 = and(G3791, G1609, G1645)
G1676 = and(G3850, G1621, G1645)
G1678 = and(G3792, G1609, G1645)
G1682 = and(G3851, G1621, G1645)
G1684 = and(G3793, G1609, G1645)
G2250 = and(G4082, G2215, G2238)
G2252 = and(G4024, G2203, G2238)
G691 = or(G2335, G2337, G2338, G2339)
G2343 = and(G3791, G2281, G2316)
G2347 = and(G3850, G2293, G2316)
G2349 = and(G3792, G2281, G2316)
G2353 = and(G3851, G2293, G2316)
G2355 = and(G3793, G2281, G2316)
G722 = or(G718, G719, G720, G721)
G743 = and(G4082, G3570, G3594)
G744 = and(G4024, G3558, G3594)
G748 = and(G3851, G2430, G2454)
G749 = and(G3793, G2418, G2454)
G753 = and(G3850, G2430, G2454)
G754 = and(G3792, G2418, G2454)
G759 = and(G3791, G2418, G2454)
G783 = and(G4082, G3672, G3696)
G784 = and(G4024, G3660, G3696)
G788 = and(G3851, G2488, G2512)
G789 = and(G3793, G2476, G2512)
G793 = and(G3850, G2488, G2512)
G794 = and(G3792, G2476, G2512)
G799 = and(G3791, G2476, G2512)
G3735 = and(G1936, G3724, G3717)
G832 = not(G4082)
G834 = not(G3851)
G836 = not(G3850)
G3835 = not(G3965)
G859 = or(G855, G856, G857, G858)
G871 = not(G4024)
G873 = not(G3793)
G875 = not(G3792)
G877 = not(G3791)
G998 = buf(G3538)
G1000 = buf(G3543)
G3651 = and(G3965, G3632)
G4013 = and(G1273, G3972, G3998)
G4016 = and(G1268, G3972, G3998)
G4019 = and(G1263, G3972, G3998)
G4022 = and(G1258, G3972, G3998)
G4071 = and(G1954, G4030, G4056)
G4074 = and(G1949, G4030, G4056)
G4077 = and(G1944, G4030, G4056)
G4080 = and(G1936, G4030, G4056)
G4096 = nand(G4113, G1936)
G4366 = nand(G4361, G4364)
G4424 = nand(G4419, G4422)
G4830 = nand(G4825, G4828)
G4888 = nand(G4883, G4886)
G4946 = nand(G4941, G4944)
G575 = and(G566, G567, G568, G569, G570, G571, G572, G573, G574)
G585 = and(G576, G577, G578, G579, G580, G581, G582, G583, G584)
G640 = or(G1576, G1578, G1579, G1580)
G661 = and(G659, G1606)
G662 = or(G1670, G1672, G1673, G1674)
G665 = or(G1676, G1678, G1679, G1680)
G668 = or(G1682, G1684, G1685, G1686)
G674 = or(G2250, G2252, G2253, G2254)
G693 = and(G691, G2279)
G694 = or(G2341, G2343, G2344, G2345)
G697 = or(G2347, G2349, G2350, G2351)
G700 = or(G2353, G2355, G2356, G2357)
G747 = or(G743, G744, G745, G746)
G752 = or(G748, G749, G750, G751)
G757 = or(G753, G754, G755, G756)
G762 = or(G758, G759, G760, G761)
G787 = or(G783, G784, G785, G786)
G792 = or(G788, G789, G790, G791)
G797 = or(G793, G794, G795, G796)
G802 = or(G798, G799, G800, G801)
G817 = or(G3731, G3733, G3734, G3735)
G839 = and(G3835, G3803, G3823)
G3540 = not(G3538)
G3545 = not(G3543)
G3777 = not(G3962)
G3648 = and(G3962, G3632)
G4025 = or(G4012, G4013, G4014)
G4026 = or(G4015, G4016, G4017)
G4027 = or(G4018, G4019, G4020)
G4028 = or(G4021, G4022, G4023)
G4083 = or(G4070, G4071, G4072)
G4084 = or(G4073, G4074, G4075)
G4085 = or(G4076, G4077, G4078)
G4086 = or(G4079, G4080, G4081)
G4368 = nand(G4366, G4367)
G4426 = nand(G4424, G4425)
G4490 = not(G4484)
G4493 = nand(G4484, G4491)
G4578 = not(G4572)
G4581 = nand(G4572, G4579)
G4832 = nand(G4830, G4831)
G4890 = nand(G4888, G4889)
G4948 = nand(G4946, G4947)
G5032 = not(G5026)
G5035 = nand(G5026, G5033)
G642 = and(G640, G1526)
G664 = and(G662, G1606)
G667 = and(G665, G1606)
G670 = and(G668, G1606)
G676 = and(G674, G2202)
G696 = and(G694, G2279)
G699 = and(G697, G2279)
G702 = and(G700, G2279)
G811 = and(G4113, G4096)
G812 = and(G4096, G1936)
G818 = and(G816, G817)
G853 = and(G562, G3540, G3545, G3535, G3970)
G878 = and(G3777, G3745, G3765)
G4492 = nand(G4487, G4490)
G4580 = nand(G4575, G4578)
G5034 = nand(G5029, G5032)
G1582 = and(G4083, G1540, G1564)
G1584 = and(G4025, G1528, G1564)
G1588 = and(G4084, G1540, G1564)
G1590 = and(G4026, G1528, G1564)
G1594 = and(G4085, G1540, G1564)
G1596 = and(G4027, G1528, G1564)
G1600 = and(G4086, G1540, G1564)
G1602 = and(G4028, G1528, G1564)
G2256 = and(G4083, G2215, G2238)
G2258 = and(G4025, G2203, G2238)
G2262 = and(G4084, G2215, G2238)
G2264 = and(G4026, G2203, G2238)
G2268 = and(G4085, G2215, G2238)
G2270 = and(G4027, G2203, G2238)
G2274 = and(G4086, G2215, G2238)
G2276 = and(G4028, G2203, G2238)
G708 = and(G4086, G3672, G3696)
G709 = and(G4028, G3660, G3696)
G723 = and(G4086, G3570, G3594)
G724 = and(G4028, G3558, G3594)
G728 = and(G4085, G3570, G3594)
G729 = and(G4027, G3558, G3594)
G733 = and(G4084, G3570, G3594)
G734 = and(G4026, G3558, G3594)
G738 = and(G4083, G3570, G3594)
G739 = and(G4025, G3558, G3594)
G768 = and(G4085, G3672, G3696)
G769 = and(G4027, G3660, G3696)
G773 = and(G4084, G3672, G3696)
G774 = and(G4026, G3660, G3696)
G778 = and(G4083, G3672, G3696)
G779 = and(G4025, G3660, G3696)
G813 = or(G811, G812)
G824 = not(G4086)
G826 = not(G4085)
G828 = not(G4084)
G830 = not(G4083)
G854 = and(G852, G853, G245)
G863 = not(G4028)
G865 = not(G4027)
G867 = not(G4026)
G869 = not(G4025)
G4374 = not(G4368)
G4377 = nand(G4368, G4375)
G4432 = not(G4426)
G4435 = nand(G4426, G4433)
G4494 = nand(G4492, G4493)
G4582 = nand(G4580, G4581)
G4838 = not(G4832)
G4841 = nand(G4832, G4839)
G4896 = not(G4890)
G4899 = nand(G4890, G4897)
G4954 = not(G4948)
G4957 = nand(G4948, G4955)
G5036 = nand(G5034, G5035)
G643 = or(G1582, G1584, G1585, G1586)
G646 = or(G1588, G1590, G1591, G1592)
G649 = or(G1594, G1596, G1597, G1598)
G652 = or(G1600, G1602, G1603, G1604)
G677 = or(G2256, G2258, G2259, G2260)
G680 = or(G2262, G2264, G2265, G2266)
G683 = or(G2268, G2270, G2271, G2272)
G686 = or(G2274, G2276, G2277, G2278)
G712 = or(G708, G709, G710, G711)
G727 = or(G723, G724, G725, G726)
G732 = or(G728, G729, G730, G731)
G737 = or(G733, G734, G735, G736)
G742 = or(G738, G739, G740, G741)
G772 = or(G768, G769, G770, G771)
G777 = or(G773, G774, G775, G776)
G782 = or(G778, G779, G780, G781)
G4376 = nand(G4371, G4374)
G4434 = nand(G4429, G4432)
G4840 = nand(G4835, G4838)
G4898 = nand(G4893, G4896)
G4956 = nand(G4951, G4954)
G645 = and(G643, G1526)
G648 = and(G646, G1526)
G651 = and(G649, G1526)
G654 = and(G652, G1526)
G679 = and(G677, G2202)
G682 = and(G680, G2202)
G685 = and(G683, G2202)
G688 = and(G686, G2202)
G4378 = nand(G4376, G4377)
G4436 = nand(G4434, G4435)
G4500 = not(G4494)
G4503 = nand(G4494, G4501)
G4588 = not(G4582)
G4591 = nand(G4582, G4589)
G4842 = nand(G4840, G4841)
G4900 = nand(G4898, G4899)
G4958 = nand(G4956, G4957)
G5042 = not(G5036)
G5045 = nand(G5036, G5043)
G4502 = nand(G4497, G4500)
G4590 = nand(G4585, G4588)
G5044 = nand(G5039, G5042)
G4384 = not(G4378)
G4387 = nand(G4378, G4385)
G4442 = not(G4436)
G4445 = nand(G4436, G4443)
G4504 = nand(G4502, G4503)
G4592 = nand(G4590, G4591)
G4848 = not(G4842)
G4851 = nand(G4842, G4849)
G4906 = not(G4900)
G4909 = nand(G4900, G4907)
G4964 = not(G4958)
G4967 = nand(G4958, G4965)
G5046 = nand(G5044, G5045)
G4386 = nand(G4381, G4384)
G4444 = nand(G4439, G4442)
G4850 = nand(G4845, G4848)
G4908 = nand(G4903, G4906)
G4966 = nand(G4961, G4964)
G4388 = nand(G4386, G4387)
G4446 = nand(G4444, G4445)
G4510 = not(G4504)
G4513 = nand(G4504, G4511)
G4598 = not(G4592)
G4601 = nand(G4592, G4599)
G4852 = nand(G4850, G4851)
G4910 = nand(G4908, G4909)
G4968 = nand(G4966, G4967)
G5052 = not(G5046)
G5055 = nand(G5046, G5053)
G4512 = nand(G4507, G4510)
G4600 = nand(G4595, G4598)
G5054 = nand(G5049, G5052)
G4394 = not(G4388)
G4397 = nand(G4388, G4395)
G4452 = not(G4446)
G4455 = nand(G4446, G4453)
G4514 = nand(G4512, G4513)
G4602 = nand(G4600, G4601)
G4858 = not(G4852)
G4861 = nand(G4852, G4859)
G4916 = not(G4910)
G4919 = nand(G4910, G4917)
G4974 = not(G4968)
G4977 = nand(G4968, G4975)
G5056 = nand(G5054, G5055)
G4396 = nand(G4391, G4394)
G4454 = nand(G4449, G4452)
G4860 = nand(G4855, G4858)
G4918 = nand(G4913, G4916)
G4976 = nand(G4971, G4974)
G4398 = nand(G4396, G4397)
G4456 = nand(G4454, G4455)
G4520 = not(G4514)
G4523 = nand(G4514, G4521)
G4608 = not(G4602)
G4611 = nand(G4602, G4609)
G4862 = nand(G4860, G4861)
G4920 = nand(G4918, G4919)
G4978 = nand(G4976, G4977)
G5062 = not(G5056)
G5065 = nand(G5056, G5063)
G4522 = nand(G4517, G4520)
G4610 = nand(G4605, G4608)
G5064 = nand(G5059, G5062)
G4404 = not(G4398)
G1488 = nand(G4398, G4405)
G4462 = not(G4456)
G1493 = nand(G4456, G4463)
G4868 = not(G4862)
G2165 = nand(G4862, G4869)
G4926 = not(G4920)
G2170 = nand(G4920, G4927)
G4524 = nand(G4522, G4523)
G4612 = nand(G4610, G4611)
G4984 = not(G4978)
G4987 = nand(G4978, G4985)
G5066 = nand(G5064, G5065)
G1487 = nand(G4401, G4404)
G1492 = nand(G4459, G4462)
G2164 = nand(G4865, G4868)
G2169 = nand(G4923, G4926)
G4986 = nand(G4981, G4984)
G1489 = nand(G1487, G1488)
G1494 = nand(G1492, G1493)
G2166 = nand(G2164, G2165)
G2171 = nand(G2169, G2170)
G4530 = not(G4524)
G4533 = nand(G4524, G4531)
G4618 = not(G4612)
G4543 = nand(G4612, G4619)
G4988 = nand(G4986, G4987)
G5072 = not(G5066)
G4997 = nand(G5066, G5073)
G4532 = nand(G4527, G4530)
G4542 = nand(G4615, G4618)
G4996 = nand(G5069, G5072)
G1513 = and(G1494, G1462, G1502)
G1514 = and(G1489, G1458, G1502)
G1515 = and(G1494, G1483, G1497)
G1516 = and(G1489, G1486, G1497)
G4994 = not(G4988)
G2184 = nand(G4988, G4995)
G2190 = and(G2171, G2139, G2179)
G2191 = and(G2166, G2135, G2179)
G2192 = and(G2171, G2160, G2174)
G2193 = and(G2166, G2163, G2174)
G4534 = nand(G4532, G4533)
G4544 = nand(G4542, G4543)
G4998 = nand(G4996, G4997)
G2183 = nand(G4991, G4994)
G4620 = or(G1513, G1514, G1515, G1516)
G5074 = or(G2190, G2191, G2192, G2193)
G4540 = not(G4534)
G1507 = nand(G4534, G4541)
G4550 = not(G4544)
G1510 = nand(G4544, G4551)
G2185 = nand(G2183, G2184)
G5004 = not(G4998)
G2187 = nand(G4998, G5005)
G1506 = nand(G4537, G4540)
G1509 = nand(G4547, G4550)
G4626 = not(G4620)
G2186 = nand(G5001, G5004)
G2195 = and(G2174, G2185)
G5080 = not(G5074)
G1508 = nand(G1506, G1507)
G1511 = nand(G1509, G1510)
G2188 = nand(G2186, G2187)
G1512 = not(G1511)
G1518 = and(G1497, G1508)
G2189 = not(G2188)
G1517 = and(G1512, G1502)
G2194 = and(G2189, G2179)
G4623 = or(G1517, G1518)
G5077 = or(G2194, G2195)
G1519 = nand(G4623, G4626)
G4627 = not(G4623)
G2196 = nand(G5077, G5080)
G5081 = not(G5077)
G1520 = nand(G4620, G4627)
G2197 = nand(G5074, G5081)
G1521 = nand(G1519, G1520)
G2198 = nand(G2196, G2197)
G840 = and(G2198, G3795, G3823)
G879 = and(G1521, G3737, G3765)
G1524 = not(G1521)
G2201 = not(G2198)
G843 = or(G839, G840, G841, G842)
G882 = or(G878, G879, G880, G881)
G3649 = and(G1524, G3628)
G3652 = and(G2201, G3628)
G3657 = or(G3648, G3649)
G3658 = or(G3651, G3652)
G3636 = and(G3657, G3622)
G3639 = and(G3658, G3622)
G3642 = and(G3657, G3622)
G3645 = and(G3658, G3622)
G3653 = or(G3636, G3637)
G3654 = or(G3639, G3640)
G3655 = or(G3642, G3643)
G3656 = or(G3645, G3646)
G763 = and(G3656, G2430, G2454)
G764 = and(G3655, G2418, G2454)
G803 = and(G3656, G2488, G2512)
G804 = and(G3655, G2476, G2512)
G1657 = and(G3654, G1621, G1645)
G1659 = and(G3653, G1609, G1645)
G2328 = and(G3654, G2293, G2316)
G2330 = and(G3653, G2281, G2316)
G1662 = or(G1657, G1659, G1660, G1661)
G2333 = or(G2328, G2330, G2331, G2332)
G767 = or(G763, G764, G765, G766)
G807 = or(G803, G804, G805, G806)
G657 = and(G1662, G1606)
G689 = and(G2333, G2279)
G658 = not(G657)
G690 = not(G689)