atpg-ls/ITC99BENCH/b12.bench
2023-02-24 12:08:28 +08:00

1168 lines
41 KiB
Plaintext

# generated by verilog2bench.py https://gitea.yuhangq.com/YuhangQ/any2bench
INPUT(NET_1)
INPUT(NET_10)
INPUT(NET_100)
INPUT(NET_101)
INPUT(NET_102)
INPUT(NET_103)
INPUT(NET_104)
INPUT(NET_105)
INPUT(NET_106)
INPUT(NET_107)
INPUT(NET_108)
INPUT(NET_109)
INPUT(NET_11)
INPUT(NET_110)
INPUT(NET_111)
INPUT(NET_112)
INPUT(NET_113)
INPUT(NET_114)
INPUT(NET_115)
INPUT(NET_116)
INPUT(NET_117)
INPUT(NET_118)
INPUT(NET_119)
INPUT(NET_12)
INPUT(NET_120)
INPUT(NET_121)
INPUT(NET_122)
INPUT(NET_123)
INPUT(NET_124)
INPUT(NET_125)
INPUT(NET_126)
INPUT(NET_13)
INPUT(NET_14)
INPUT(NET_15)
INPUT(NET_16)
INPUT(NET_17)
INPUT(NET_18)
INPUT(NET_19)
INPUT(NET_2)
INPUT(NET_20)
INPUT(NET_21)
INPUT(NET_22)
INPUT(NET_23)
INPUT(NET_24)
INPUT(NET_25)
INPUT(NET_26)
INPUT(NET_27)
INPUT(NET_28)
INPUT(NET_29)
INPUT(NET_3)
INPUT(NET_30)
INPUT(NET_31)
INPUT(NET_32)
INPUT(NET_33)
INPUT(NET_34)
INPUT(NET_35)
INPUT(NET_36)
INPUT(NET_37)
INPUT(NET_38)
INPUT(NET_39)
INPUT(NET_4)
INPUT(NET_40)
INPUT(NET_41)
INPUT(NET_42)
INPUT(NET_43)
INPUT(NET_44)
INPUT(NET_45)
INPUT(NET_46)
INPUT(NET_47)
INPUT(NET_48)
INPUT(NET_49)
INPUT(NET_5)
INPUT(NET_50)
INPUT(NET_51)
INPUT(NET_52)
INPUT(NET_53)
INPUT(NET_54)
INPUT(NET_55)
INPUT(NET_56)
INPUT(NET_57)
INPUT(NET_58)
INPUT(NET_59)
INPUT(NET_6)
INPUT(NET_60)
INPUT(NET_61)
INPUT(NET_62)
INPUT(NET_63)
INPUT(NET_64)
INPUT(NET_65)
INPUT(NET_66)
INPUT(NET_67)
INPUT(NET_68)
INPUT(NET_69)
INPUT(NET_7)
INPUT(NET_70)
INPUT(NET_71)
INPUT(NET_72)
INPUT(NET_73)
INPUT(NET_74)
INPUT(NET_75)
INPUT(NET_76)
INPUT(NET_77)
INPUT(NET_78)
INPUT(NET_79)
INPUT(NET_8)
INPUT(NET_80)
INPUT(NET_81)
INPUT(NET_82)
INPUT(NET_83)
INPUT(NET_84)
INPUT(NET_85)
INPUT(NET_86)
INPUT(NET_87)
INPUT(NET_88)
INPUT(NET_89)
INPUT(NET_9)
INPUT(NET_90)
INPUT(NET_91)
INPUT(NET_92)
INPUT(NET_93)
INPUT(NET_94)
INPUT(NET_95)
INPUT(NET_96)
INPUT(NET_97)
INPUT(NET_98)
INPUT(NET_99)
OUTPUT(NET_1009)
OUTPUT(NET_1010)
OUTPUT(NET_1011)
OUTPUT(NET_1012)
OUTPUT(NET_1013)
OUTPUT(NET_1014)
OUTPUT(NET_1015)
OUTPUT(NET_1016)
OUTPUT(NET_1029)
OUTPUT(NET_1030)
OUTPUT(NET_1031)
OUTPUT(NET_1032)
OUTPUT(NET_1033)
OUTPUT(NET_1034)
OUTPUT(NET_1035)
OUTPUT(NET_1036)
OUTPUT(NET_127)
OUTPUT(NET_128)
OUTPUT(NET_129)
OUTPUT(NET_130)
OUTPUT(NET_131)
OUTPUT(NET_132)
OUTPUT(NET_2397)
OUTPUT(NET_2398)
OUTPUT(NET_2399)
OUTPUT(NET_2400)
OUTPUT(NET_616)
OUTPUT(NET_617)
OUTPUT(NET_618)
OUTPUT(NET_619)
OUTPUT(NET_620)
OUTPUT(NET_621)
OUTPUT(NET_622)
OUTPUT(NET_623)
OUTPUT(NET_624)
OUTPUT(NET_625)
OUTPUT(NET_626)
OUTPUT(NET_627)
OUTPUT(NET_628)
OUTPUT(NET_629)
OUTPUT(NET_630)
OUTPUT(NET_631)
OUTPUT(NET_632)
OUTPUT(NET_633)
OUTPUT(NET_634)
OUTPUT(NET_635)
OUTPUT(NET_636)
OUTPUT(NET_637)
OUTPUT(NET_638)
OUTPUT(NET_639)
OUTPUT(NET_640)
OUTPUT(NET_641)
OUTPUT(NET_642)
OUTPUT(NET_643)
OUTPUT(NET_644)
OUTPUT(NET_645)
OUTPUT(NET_646)
OUTPUT(NET_647)
OUTPUT(NET_745)
OUTPUT(NET_746)
OUTPUT(NET_747)
OUTPUT(NET_748)
OUTPUT(NET_749)
OUTPUT(NET_750)
OUTPUT(NET_751)
OUTPUT(NET_752)
OUTPUT(NET_753)
OUTPUT(NET_754)
OUTPUT(NET_755)
OUTPUT(NET_756)
OUTPUT(NET_757)
OUTPUT(NET_758)
OUTPUT(NET_759)
OUTPUT(NET_760)
OUTPUT(NET_761)
OUTPUT(NET_762)
OUTPUT(NET_763)
OUTPUT(NET_764)
OUTPUT(NET_765)
OUTPUT(NET_766)
OUTPUT(NET_767)
OUTPUT(NET_768)
OUTPUT(NET_769)
OUTPUT(NET_770)
OUTPUT(NET_771)
OUTPUT(NET_772)
OUTPUT(NET_773)
OUTPUT(NET_774)
OUTPUT(NET_775)
OUTPUT(NET_776)
OUTPUT(NET_809)
OUTPUT(NET_810)
OUTPUT(NET_811)
OUTPUT(NET_812)
OUTPUT(NET_813)
OUTPUT(NET_862)
OUTPUT(NET_863)
OUTPUT(NET_864)
OUTPUT(NET_870)
OUTPUT(NET_871)
OUTPUT(NET_872)
OUTPUT(NET_873)
OUTPUT(NET_909)
OUTPUT(NET_910)
OUTPUT(NET_911)
OUTPUT(NET_912)
OUTPUT(NET_913)
OUTPUT(NET_914)
OUTPUT(NET_915)
OUTPUT(NET_916)
OUTPUT(NET_918)
OUTPUT(NET_919)
OUTPUT(NET_955)
OUTPUT(NET_956)
OUTPUT(NET_957)
OUTPUT(NET_958)
OUTPUT(NET_959)
OUTPUT(NET_960)
OUTPUT(NET_961)
OUTPUT(NET_966)
OUTPUT(NET_967)
OUTPUT(NET_968)
OUTPUT(NET_981)
OUTPUT(NET_982)
OUTPUT(NET_983)
OUTPUT(NET_984)
OUTPUT(NET_985)
new_n254_ = NOT ( NET_122 )
new_n255_ = OR ( new_n254_, NET_1 )
new_n256_ = NOT ( NET_123 )
new_n257_ = NOR ( new_n256_, NET_1 )
new_n258_ = OR ( new_n257_, new_n255_ )
new_n259_ = NAND ( new_n258_, NET_75 )
new_n260_ = NOT ( NET_80 )
new_n261_ = OR ( new_n255_, new_n260_ )
new_n262_ = NAND ( new_n261_, new_n259_ )
new_n263_ = NAND ( new_n258_, NET_77 )
new_n264_ = NOT ( NET_82 )
new_n265_ = OR ( new_n255_, new_n264_ )
new_n266_ = NAND ( new_n265_, new_n263_ )
new_n267_ = NAND ( new_n258_, NET_79 )
new_n268_ = NOT ( NET_84 )
new_n269_ = OR ( new_n255_, new_n268_ )
new_n270_ = NAND ( new_n269_, new_n267_ )
new_n271_ = NAND ( new_n258_, NET_78 )
new_n272_ = NOT ( NET_83 )
new_n273_ = OR ( new_n255_, new_n272_ )
new_n274_ = NAND ( new_n273_, new_n271_ )
new_n275_ = AND ( new_n274_, new_n270_ )
new_n276_ = NAND ( new_n258_, NET_76 )
new_n277_ = NOT ( NET_81 )
new_n278_ = OR ( new_n255_, new_n277_ )
new_n279_ = NAND ( new_n278_, new_n276_ )
new_n280_ = NAND ( new_n279_, new_n275_, new_n266_ )
new_n281_ = XOR ( new_n280_, new_n262_ )
new_n282_ = XOR ( NET_83, NET_78 )
new_n283_ = XOR ( NET_81, NET_76 )
new_n284_ = NOR ( new_n283_, new_n282_ )
new_n285_ = XNOR ( NET_80, NET_75 )
new_n286_ = XNOR ( NET_84, NET_79 )
new_n287_ = XNOR ( NET_82, NET_77 )
new_n288_ = NAND ( new_n287_, new_n286_, new_n285_, new_n284_ )
new_n289_ = NOT ( NET_124 )
new_n290_ = NOR ( new_n289_, NET_1 )
new_n291_ = NOT ( NET_95 )
new_n292_ = NOT ( NET_96 )
new_n293_ = NOR ( NET_94, NET_93 )
new_n294_ = NOR ( NET_98, NET_97 )
new_n295_ = NAND ( new_n294_, new_n293_, new_n292_, new_n291_ )
new_n296_ = NOT ( new_n295_ )
new_n297_ = OR ( new_n256_, NET_1 )
new_n298_ = OR ( new_n289_, NET_1 )
new_n299_ = OR ( new_n298_, new_n297_ )
new_n300_ = NOT ( NET_125 )
new_n301_ = NOR ( new_n300_, NET_1 )
new_n302_ = NOR ( NET_126, NET_1 )
new_n303_ = OR ( new_n302_, new_n301_ )
new_n304_ = NOR ( new_n303_, new_n299_ )
new_n305_ = NAND ( new_n304_, new_n296_, new_n288_ )
new_n306_ = OR ( new_n300_, NET_1 )
new_n307_ = OR ( NET_126, NET_1 )
new_n308_ = OR ( new_n307_, new_n306_ )
new_n309_ = NOT ( new_n308_ )
new_n310_ = NOR ( new_n254_, NET_1 )
new_n311_ = NOR ( new_n257_, new_n310_ )
new_n312_ = NAND ( new_n311_, new_n309_, new_n298_ )
new_n313_ = OR ( new_n302_, new_n306_ )
new_n314_ = OR ( new_n257_, new_n310_ )
new_n315_ = OR ( new_n314_, new_n298_ )
new_n316_ = OR ( new_n315_, new_n313_ )
new_n317_ = OR ( new_n316_, new_n295_ )
new_n318_ = NAND ( new_n317_, new_n312_, new_n305_ )
new_n319_ = NAND ( new_n318_, new_n290_, new_n288_ )
new_n320_ = OR ( new_n319_, new_n281_ )
new_n321_ = NOT ( NET_75 )
new_n322_ = OR ( new_n318_, new_n321_ )
NET_1009 = NAND ( new_n322_, new_n320_ )
new_n324_ = OR ( new_n314_, new_n303_ )
new_n325_ = OR ( new_n324_, new_n290_ )
new_n326_ = OR ( new_n303_, new_n299_ )
new_n327_ = NAND ( NET_84, NET_83, NET_82 )
new_n328_ = NOR ( new_n327_, new_n277_, new_n260_ )
new_n329_ = OR ( new_n328_, new_n326_, new_n295_, new_n288_ )
new_n330_ = AND ( new_n329_, new_n325_ )
new_n331_ = NOR ( new_n302_, new_n301_ )
new_n332_ = NOR ( new_n298_, new_n255_ )
new_n333_ = NAND ( new_n332_, new_n331_, new_n288_ )
new_n334_ = OR ( new_n290_, new_n297_ )
new_n335_ = OR ( new_n334_, new_n308_ )
new_n336_ = OR ( new_n307_, new_n301_ )
new_n337_ = OR ( new_n290_, new_n255_ )
new_n338_ = OR ( new_n337_, new_n257_ )
new_n339_ = OR ( new_n338_, new_n336_ )
new_n340_ = AND ( new_n339_, new_n335_, new_n333_ )
new_n341_ = OR ( new_n340_, new_n295_ )
new_n342_ = NAND ( new_n341_, new_n330_ )
new_n343_ = NAND ( new_n342_, new_n290_ )
new_n344_ = OR ( new_n343_, new_n281_ )
new_n345_ = OR ( new_n342_, new_n260_ )
NET_1010 = NAND ( new_n345_, new_n344_ )
new_n347_ = OR ( new_n315_, new_n303_ )
new_n348_ = NOR ( new_n295_, new_n288_ )
new_n349_ = NAND ( new_n332_, new_n348_, new_n331_ )
new_n350_ = AND ( new_n349_, new_n347_ )
new_n351_ = OR ( new_n338_, new_n313_ )
new_n352_ = NAND ( new_n328_, new_n348_, new_n304_ )
new_n353_ = AND ( new_n352_, new_n351_ )
new_n354_ = NAND ( new_n307_, new_n290_, new_n297_ )
new_n355_ = OR ( new_n303_, new_n298_ )
new_n356_ = OR ( new_n334_, new_n307_ )
new_n357_ = OR ( new_n337_, new_n336_ )
new_n358_ = NAND ( new_n357_, new_n356_, new_n355_, new_n354_ )
new_n359_ = NAND ( new_n358_, new_n295_ )
new_n360_ = OR ( new_n313_, new_n299_ )
new_n361_ = NOR ( new_n307_, new_n301_ )
new_n362_ = NAND ( new_n361_, new_n257_ )
new_n363_ = NAND ( new_n362_, new_n360_ )
new_n364_ = NAND ( new_n363_, new_n255_ )
new_n365_ = OR ( new_n315_, new_n308_ )
new_n366_ = NAND ( new_n332_, new_n303_, new_n297_ )
new_n367_ = NOR ( new_n297_, new_n255_ )
new_n368_ = NAND ( new_n367_, new_n306_, new_n298_ )
new_n369_ = AND ( new_n368_, new_n366_, new_n365_ )
new_n370_ = AND ( new_n369_, new_n364_, new_n359_ )
new_n371_ = NAND ( new_n370_, new_n353_, new_n350_ )
new_n372_ = OR ( new_n290_, new_n310_ )
new_n373_ = NOT ( new_n372_ )
new_n374_ = NAND ( new_n373_, new_n371_, new_n306_ )
new_n375_ = NAND ( new_n361_, new_n290_, new_n296_ )
new_n376_ = OR ( new_n306_, new_n299_ )
new_n377_ = NAND ( new_n376_, new_n314_ )
new_n378_ = NAND ( new_n377_, new_n296_ )
new_n379_ = OR ( new_n338_, new_n306_ )
new_n380_ = NOT ( NET_2 )
new_n381_ = NOT ( NET_3 )
new_n382_ = NOR ( NET_5, NET_4 )
new_n383_ = AND ( new_n382_, new_n381_, new_n380_ )
new_n384_ = NOR ( new_n383_, new_n372_ )
new_n385_ = NOR ( new_n314_, new_n301_ )
new_n386_ = NOR ( new_n385_, new_n384_ )
new_n387_ = NAND ( new_n386_, new_n379_, new_n378_, new_n375_ )
new_n388_ = NAND ( new_n387_, NET_87 )
new_n389_ = OR ( new_n297_, new_n255_ )
new_n390_ = OR ( new_n307_, new_n257_ )
new_n391_ = OR ( new_n311_, new_n303_ )
new_n392_ = NAND ( new_n391_, new_n390_, new_n389_ )
new_n393_ = NAND ( new_n392_, new_n295_ )
new_n394_ = NOT ( new_n383_ )
new_n395_ = OR ( new_n394_, new_n372_ )
new_n396_ = OR ( new_n306_, new_n290_ )
new_n397_ = NAND ( new_n396_, new_n303_, new_n295_ )
new_n398_ = NAND ( new_n397_, new_n395_, new_n393_ )
new_n399_ = AND ( new_n294_, new_n292_ )
new_n400_ = NAND ( new_n399_, new_n291_ )
new_n401_ = NOR ( new_n400_, NET_94 )
new_n402_ = XOR ( new_n401_, NET_93 )
new_n403_ = NAND ( new_n402_, new_n398_ )
new_n404_ = NAND ( new_n403_, new_n388_ )
new_n405_ = NAND ( new_n404_, new_n371_ )
new_n406_ = NAND ( new_n370_, new_n353_, new_n350_, NET_93 )
NET_1011 = NAND ( new_n406_, new_n405_, new_n374_ )
new_n408_ = NAND ( new_n384_, new_n301_ )
new_n409_ = OR ( new_n315_, new_n301_ )
new_n410_ = AND ( new_n409_, new_n408_ )
new_n411_ = NAND ( new_n410_, new_n379_, new_n378_, new_n375_ )
new_n412_ = NAND ( new_n411_, new_n371_, NET_88 )
new_n413_ = NAND ( new_n383_, new_n373_, new_n301_ )
new_n414_ = NAND ( new_n303_, new_n290_, new_n295_ )
new_n415_ = NAND ( new_n414_, new_n413_, new_n393_ )
new_n416_ = AND ( new_n415_, new_n371_ )
new_n417_ = NOT ( NET_94 )
new_n418_ = NAND ( new_n400_, new_n417_ )
new_n419_ = OR ( new_n400_, new_n417_ )
new_n420_ = NAND ( new_n419_, new_n418_, new_n416_ )
new_n421_ = OR ( new_n371_, new_n417_ )
NET_1012 = NAND ( new_n421_, new_n420_, new_n412_ )
new_n423_ = NAND ( new_n411_, new_n371_, NET_90 )
new_n424_ = OR ( new_n294_, NET_96 )
new_n425_ = NAND ( new_n294_, NET_96 )
new_n426_ = NAND ( new_n425_, new_n424_, new_n416_ )
new_n427_ = OR ( new_n371_, new_n292_ )
NET_1013 = NAND ( new_n427_, new_n426_, new_n423_ )
new_n429_ = NAND ( new_n411_, new_n371_, NET_91 )
new_n430_ = NOT ( NET_97 )
new_n431_ = NOT ( NET_98 )
new_n432_ = NOR ( new_n431_, new_n430_ )
new_n433_ = OR ( new_n432_, new_n294_ )
new_n434_ = NAND ( new_n433_, new_n416_ )
new_n435_ = OR ( new_n371_, new_n430_ )
NET_1014 = NAND ( new_n435_, new_n434_, new_n429_ )
new_n437_ = OR ( new_n371_, new_n431_ )
new_n438_ = NAND ( new_n387_, NET_92 )
new_n439_ = NAND ( new_n398_, new_n431_ )
new_n440_ = NAND ( new_n439_, new_n438_ )
new_n441_ = NAND ( new_n440_, new_n371_ )
NET_1015 = NAND ( new_n441_, new_n437_, new_n374_ )
new_n443_ = NAND ( new_n410_, new_n379_, new_n378_ )
new_n444_ = NAND ( new_n443_, NET_89 )
new_n445_ = OR ( new_n399_, new_n291_ )
new_n446_ = NAND ( new_n445_, new_n400_ )
new_n447_ = NAND ( new_n446_, new_n415_ )
new_n448_ = NOT ( NET_89 )
new_n449_ = OR ( new_n298_, new_n448_ )
new_n450_ = NAND ( new_n332_, new_n301_ )
new_n451_ = NAND ( new_n450_, new_n449_, new_n391_, new_n389_ )
new_n452_ = NAND ( new_n451_, new_n296_ )
new_n453_ = NAND ( new_n452_, new_n447_, new_n444_ )
new_n454_ = NAND ( new_n453_, new_n371_ )
new_n455_ = OR ( new_n371_, new_n291_ )
NET_1016 = NAND ( new_n455_, new_n454_ )
new_n457_ = NAND ( new_n348_, new_n331_, new_n290_, new_n297_ )
new_n458_ = OR ( new_n389_, new_n295_ )
new_n459_ = AND ( new_n458_, new_n457_, new_n324_ )
new_n460_ = OR ( new_n308_, new_n298_ )
new_n461_ = OR ( new_n307_, new_n290_ )
new_n462_ = NAND ( new_n461_, new_n314_, new_n303_ )
new_n463_ = NAND ( new_n462_, new_n460_ )
new_n464_ = NAND ( new_n463_, new_n296_ )
new_n465_ = OR ( new_n372_, new_n297_ )
new_n466_ = AND ( new_n465_, new_n338_ )
new_n467_ = OR ( new_n466_, new_n313_ )
new_n468_ = OR ( new_n308_, new_n299_ )
new_n469_ = OR ( new_n468_, new_n310_ )
new_n470_ = NAND ( new_n469_, new_n467_, new_n464_, new_n459_ )
new_n471_ = NOR ( new_n373_, new_n309_ )
new_n472_ = NOR ( new_n471_, new_n297_ )
new_n473_ = NOT ( new_n332_ )
new_n474_ = OR ( new_n473_, new_n313_ )
new_n475_ = OR ( new_n303_, new_n258_ )
new_n476_ = NAND ( new_n475_, new_n474_, new_n409_, new_n338_ )
new_n477_ = NOR ( new_n476_, new_n472_ )
new_n478_ = NAND ( new_n477_, new_n470_ )
new_n479_ = NAND ( new_n478_, NET_71 )
new_n480_ = NAND ( new_n470_, new_n367_, new_n302_ )
new_n481_ = AND ( new_n472_, new_n470_ )
new_n482_ = NAND ( new_n481_, NET_86, NET_85 )
new_n483_ = AND ( new_n476_, new_n470_ )
new_n484_ = NAND ( new_n483_, NET_121, NET_120 )
NET_1029 = NAND ( new_n484_, new_n482_, new_n480_, new_n479_ )
new_n486_ = NAND ( new_n478_, NET_72 )
new_n487_ = NOT ( NET_86 )
new_n488_ = NAND ( new_n481_, new_n487_, NET_85 )
new_n489_ = NOT ( NET_121 )
new_n490_ = NAND ( new_n483_, new_n489_, NET_120 )
NET_1030 = NAND ( new_n490_, new_n488_, new_n486_, new_n480_ )
new_n492_ = NAND ( new_n478_, NET_73 )
new_n493_ = NOT ( NET_85 )
new_n494_ = NAND ( new_n481_, NET_86, new_n493_ )
new_n495_ = NOR ( new_n489_, NET_120 )
new_n496_ = NAND ( new_n495_, new_n483_ )
NET_1031 = NAND ( new_n496_, new_n494_, new_n492_, new_n480_ )
new_n498_ = NOT ( NET_120 )
new_n499_ = NAND ( new_n483_, new_n489_, new_n498_ )
new_n500_ = NAND ( new_n478_, NET_74 )
new_n501_ = NAND ( new_n481_, new_n487_, new_n493_ )
NET_1032 = NAND ( new_n501_, new_n500_, new_n499_, new_n480_ )
new_n503_ = OR ( new_n311_, new_n298_ )
new_n504_ = NAND ( new_n503_, new_n389_ )
new_n505_ = NOR ( new_n335_, new_n296_ )
new_n506_ = NAND ( new_n505_, new_n394_ )
new_n507_ = AND ( new_n506_, new_n353_ )
new_n508_ = OR ( new_n389_, new_n302_ )
new_n509_ = OR ( new_n313_, new_n255_ )
new_n510_ = NAND ( new_n509_, new_n508_ )
new_n511_ = NAND ( new_n510_, new_n296_ )
new_n512_ = NAND ( new_n511_, new_n507_, new_n350_ )
new_n513_ = NAND ( new_n512_, new_n504_ )
new_n514_ = NOT ( NET_99 )
new_n515_ = OR ( new_n512_, new_n514_ )
NET_1033 = NAND ( new_n515_, new_n513_ )
new_n517_ = NOT ( new_n382_ )
new_n518_ = OR ( new_n517_, new_n372_ )
new_n519_ = NAND ( new_n409_, new_n338_ )
new_n520_ = NAND ( new_n519_, NET_120 )
new_n521_ = NAND ( new_n520_, new_n518_ )
new_n522_ = NAND ( new_n521_, new_n512_ )
new_n523_ = NOT ( NET_100 )
new_n524_ = OR ( new_n512_, new_n523_ )
NET_1034 = NAND ( new_n524_, new_n522_ )
new_n526_ = NOR ( NET_4, new_n381_ )
new_n527_ = OR ( new_n526_, NET_5 )
new_n528_ = OR ( new_n527_, new_n372_ )
new_n529_ = OR ( new_n257_, new_n489_ )
new_n530_ = NAND ( new_n529_, new_n528_, new_n473_ )
new_n531_ = NAND ( new_n530_, new_n512_ )
new_n532_ = NAND ( new_n511_, new_n507_, new_n350_, NET_101 )
NET_1035 = NAND ( new_n532_, new_n531_ )
new_n534_ = NAND ( new_n355_, new_n335_ )
new_n535_ = NAND ( new_n534_, new_n255_ )
new_n536_ = OR ( new_n302_, new_n298_ )
new_n537_ = NAND ( new_n536_, new_n313_ )
new_n538_ = NAND ( new_n537_, new_n297_ )
new_n539_ = NAND ( new_n367_, new_n331_, new_n298_ )
new_n540_ = NAND ( new_n539_, new_n538_, new_n535_ )
new_n541_ = NAND ( new_n461_, new_n303_, new_n310_ )
new_n542_ = OR ( new_n336_, new_n299_ )
new_n543_ = NAND ( new_n309_, new_n290_, new_n297_ )
new_n544_ = NAND ( new_n543_, new_n542_, new_n541_, new_n360_ )
new_n545_ = NAND ( new_n544_, new_n296_ )
new_n546_ = NAND ( new_n545_, new_n507_, new_n459_ )
new_n547_ = NAND ( new_n546_, new_n540_ )
new_n548_ = NOT ( NET_110 )
new_n549_ = OR ( new_n546_, new_n548_ )
NET_1036 = NAND ( new_n549_, new_n547_ )
NET_2397 = NOT ( NET_6 )
NET_2398 = XOR ( NET_6, NET_117 )
new_n553_ = NOT ( NET_7 )
new_n554_ = NAND ( NET_113, NET_103, NET_102 )
new_n555_ = NAND ( NET_106, NET_105, NET_104 )
new_n556_ = NOR ( new_n555_, new_n554_ )
new_n557_ = OR ( new_n556_, new_n553_ )
new_n558_ = NAND ( new_n556_, NET_107 )
NET_616 = NAND ( new_n558_, new_n557_ )
new_n560_ = NOT ( NET_8 )
new_n561_ = OR ( new_n556_, new_n560_ )
new_n562_ = NAND ( new_n556_, NET_108 )
NET_617 = NAND ( new_n562_, new_n561_ )
new_n564_ = NOT ( NET_106 )
new_n565_ = NAND ( new_n564_, NET_105, NET_104 )
new_n566_ = OR ( new_n565_, new_n554_ )
new_n567_ = NAND ( new_n566_, NET_9 )
new_n568_ = NOT ( NET_107 )
new_n569_ = OR ( new_n566_, new_n568_ )
NET_618 = NAND ( new_n569_, new_n567_ )
new_n571_ = NAND ( new_n566_, NET_10 )
new_n572_ = NOT ( NET_108 )
new_n573_ = OR ( new_n566_, new_n572_ )
NET_619 = NAND ( new_n573_, new_n571_ )
new_n575_ = NOT ( NET_105 )
new_n576_ = NAND ( NET_106, new_n575_, NET_104 )
new_n577_ = OR ( new_n576_, new_n554_ )
new_n578_ = NAND ( new_n577_, NET_11 )
new_n579_ = OR ( new_n577_, new_n568_ )
NET_620 = NAND ( new_n579_, new_n578_ )
new_n581_ = NAND ( new_n577_, NET_12 )
new_n582_ = OR ( new_n577_, new_n572_ )
NET_621 = NAND ( new_n582_, new_n581_ )
new_n584_ = NAND ( new_n564_, new_n575_, NET_104 )
new_n585_ = OR ( new_n584_, new_n554_ )
new_n586_ = NAND ( new_n585_, NET_13 )
new_n587_ = OR ( new_n585_, new_n568_ )
NET_622 = NAND ( new_n587_, new_n586_ )
new_n589_ = NAND ( new_n585_, NET_14 )
new_n590_ = OR ( new_n585_, new_n572_ )
NET_623 = NAND ( new_n590_, new_n589_ )
new_n592_ = NOT ( NET_104 )
new_n593_ = NAND ( NET_106, NET_105, new_n592_ )
new_n594_ = OR ( new_n593_, new_n554_ )
new_n595_ = NAND ( new_n594_, NET_15 )
new_n596_ = OR ( new_n594_, new_n568_ )
NET_624 = NAND ( new_n596_, new_n595_ )
new_n598_ = NAND ( new_n594_, NET_16 )
new_n599_ = OR ( new_n594_, new_n572_ )
NET_625 = NAND ( new_n599_, new_n598_ )
new_n601_ = NAND ( new_n564_, NET_105, new_n592_ )
new_n602_ = OR ( new_n601_, new_n554_ )
new_n603_ = NAND ( new_n602_, NET_17 )
new_n604_ = OR ( new_n602_, new_n568_ )
NET_626 = NAND ( new_n604_, new_n603_ )
new_n606_ = NAND ( new_n602_, NET_18 )
new_n607_ = OR ( new_n602_, new_n572_ )
NET_627 = NAND ( new_n607_, new_n606_ )
new_n609_ = NAND ( NET_106, new_n575_, new_n592_ )
new_n610_ = OR ( new_n609_, new_n554_ )
new_n611_ = NAND ( new_n610_, NET_19 )
new_n612_ = OR ( new_n610_, new_n568_ )
NET_628 = NAND ( new_n612_, new_n611_ )
new_n614_ = NAND ( new_n610_, NET_20 )
new_n615_ = OR ( new_n610_, new_n572_ )
NET_629 = NAND ( new_n615_, new_n614_ )
new_n617_ = NOT ( NET_21 )
new_n618_ = NAND ( new_n564_, new_n575_, new_n592_ )
new_n619_ = NOR ( new_n618_, new_n554_ )
new_n620_ = OR ( new_n619_, new_n617_ )
new_n621_ = NAND ( new_n619_, NET_107 )
NET_630 = NAND ( new_n621_, new_n620_ )
new_n623_ = NOT ( NET_22 )
new_n624_ = OR ( new_n619_, new_n623_ )
new_n625_ = NAND ( new_n619_, NET_108 )
NET_631 = NAND ( new_n625_, new_n624_ )
new_n627_ = NOT ( NET_102 )
new_n628_ = NAND ( NET_113, NET_103, new_n627_ )
new_n629_ = OR ( new_n628_, new_n555_ )
new_n630_ = NAND ( new_n629_, NET_39 )
new_n631_ = OR ( new_n629_, new_n568_ )
NET_632 = NAND ( new_n631_, new_n630_ )
new_n633_ = NAND ( new_n629_, NET_40 )
new_n634_ = OR ( new_n629_, new_n572_ )
NET_633 = NAND ( new_n634_, new_n633_ )
new_n636_ = OR ( new_n628_, new_n565_ )
new_n637_ = NAND ( new_n636_, NET_41 )
new_n638_ = OR ( new_n636_, new_n568_ )
NET_634 = NAND ( new_n638_, new_n637_ )
new_n640_ = NAND ( new_n636_, NET_42 )
new_n641_ = OR ( new_n636_, new_n572_ )
NET_635 = NAND ( new_n641_, new_n640_ )
new_n643_ = NOT ( NET_43 )
new_n644_ = NOR ( new_n628_, new_n576_ )
new_n645_ = OR ( new_n644_, new_n643_ )
new_n646_ = NAND ( new_n644_, NET_107 )
NET_636 = NAND ( new_n646_, new_n645_ )
new_n648_ = NOT ( NET_44 )
new_n649_ = OR ( new_n644_, new_n648_ )
new_n650_ = NAND ( new_n644_, NET_108 )
NET_637 = NAND ( new_n650_, new_n649_ )
new_n652_ = NOT ( NET_45 )
new_n653_ = NOR ( new_n628_, new_n584_ )
new_n654_ = OR ( new_n653_, new_n652_ )
new_n655_ = NAND ( new_n653_, NET_107 )
NET_638 = NAND ( new_n655_, new_n654_ )
new_n657_ = NOT ( NET_46 )
new_n658_ = OR ( new_n653_, new_n657_ )
new_n659_ = NAND ( new_n653_, NET_108 )
NET_639 = NAND ( new_n659_, new_n658_ )
new_n661_ = NOT ( NET_47 )
new_n662_ = NOR ( new_n628_, new_n593_ )
new_n663_ = OR ( new_n662_, new_n661_ )
new_n664_ = NAND ( new_n662_, NET_107 )
NET_640 = NAND ( new_n664_, new_n663_ )
new_n666_ = NOT ( NET_48 )
new_n667_ = OR ( new_n662_, new_n666_ )
new_n668_ = NAND ( new_n662_, NET_108 )
NET_641 = NAND ( new_n668_, new_n667_ )
new_n670_ = NOT ( NET_49 )
new_n671_ = NOR ( new_n628_, new_n601_ )
new_n672_ = OR ( new_n671_, new_n670_ )
new_n673_ = NAND ( new_n671_, NET_107 )
NET_642 = NAND ( new_n673_, new_n672_ )
new_n675_ = NOT ( NET_50 )
new_n676_ = OR ( new_n671_, new_n675_ )
new_n677_ = NAND ( new_n671_, NET_108 )
NET_643 = NAND ( new_n677_, new_n676_ )
new_n679_ = OR ( new_n628_, new_n609_ )
new_n680_ = NAND ( new_n679_, NET_51 )
new_n681_ = OR ( new_n679_, new_n568_ )
NET_644 = NAND ( new_n681_, new_n680_ )
new_n683_ = NAND ( new_n679_, NET_52 )
new_n684_ = OR ( new_n679_, new_n572_ )
NET_645 = NAND ( new_n684_, new_n683_ )
new_n686_ = OR ( new_n628_, new_n618_ )
new_n687_ = NAND ( new_n686_, NET_53 )
new_n688_ = OR ( new_n686_, new_n568_ )
NET_646 = NAND ( new_n688_, new_n687_ )
new_n690_ = NAND ( new_n686_, NET_54 )
new_n691_ = OR ( new_n686_, new_n572_ )
NET_647 = NAND ( new_n691_, new_n690_ )
new_n693_ = NOT ( NET_103 )
new_n694_ = NAND ( NET_113, new_n693_, NET_102 )
new_n695_ = OR ( new_n694_, new_n555_ )
new_n696_ = NAND ( new_n695_, NET_23 )
new_n697_ = OR ( new_n695_, new_n568_ )
NET_745 = NAND ( new_n697_, new_n696_ )
new_n699_ = NAND ( new_n695_, NET_24 )
new_n700_ = OR ( new_n695_, new_n572_ )
NET_746 = NAND ( new_n700_, new_n699_ )
new_n702_ = NOT ( NET_25 )
new_n703_ = NOR ( new_n694_, new_n565_ )
new_n704_ = OR ( new_n703_, new_n702_ )
new_n705_ = NAND ( new_n703_, NET_107 )
NET_747 = NAND ( new_n705_, new_n704_ )
new_n707_ = NOT ( NET_26 )
new_n708_ = OR ( new_n703_, new_n707_ )
new_n709_ = NAND ( new_n703_, NET_108 )
NET_748 = NAND ( new_n709_, new_n708_ )
new_n711_ = NOT ( NET_27 )
new_n712_ = NOR ( new_n694_, new_n576_ )
new_n713_ = OR ( new_n712_, new_n711_ )
new_n714_ = NAND ( new_n712_, NET_107 )
NET_749 = NAND ( new_n714_, new_n713_ )
new_n716_ = NOT ( NET_28 )
new_n717_ = OR ( new_n712_, new_n716_ )
new_n718_ = NAND ( new_n712_, NET_108 )
NET_750 = NAND ( new_n718_, new_n717_ )
new_n720_ = NOT ( NET_29 )
new_n721_ = NOR ( new_n694_, new_n584_ )
new_n722_ = OR ( new_n721_, new_n720_ )
new_n723_ = NAND ( new_n721_, NET_107 )
NET_751 = NAND ( new_n723_, new_n722_ )
new_n725_ = NOT ( NET_30 )
new_n726_ = OR ( new_n721_, new_n725_ )
new_n727_ = NAND ( new_n721_, NET_108 )
NET_752 = NAND ( new_n727_, new_n726_ )
new_n729_ = NOT ( NET_31 )
new_n730_ = NOR ( new_n694_, new_n593_ )
new_n731_ = OR ( new_n730_, new_n729_ )
new_n732_ = NAND ( new_n730_, NET_107 )
NET_753 = NAND ( new_n732_, new_n731_ )
new_n734_ = NOT ( NET_32 )
new_n735_ = OR ( new_n730_, new_n734_ )
new_n736_ = NAND ( new_n730_, NET_108 )
NET_754 = NAND ( new_n736_, new_n735_ )
new_n738_ = NOT ( NET_33 )
new_n739_ = NOR ( new_n694_, new_n601_ )
new_n740_ = OR ( new_n739_, new_n738_ )
new_n741_ = NAND ( new_n739_, NET_107 )
NET_755 = NAND ( new_n741_, new_n740_ )
new_n743_ = NOT ( NET_34 )
new_n744_ = OR ( new_n739_, new_n743_ )
new_n745_ = NAND ( new_n739_, NET_108 )
NET_756 = NAND ( new_n745_, new_n744_ )
new_n747_ = NOT ( NET_35 )
new_n748_ = NOR ( new_n694_, new_n609_ )
new_n749_ = OR ( new_n748_, new_n747_ )
new_n750_ = NAND ( new_n748_, NET_107 )
NET_757 = NAND ( new_n750_, new_n749_ )
new_n752_ = NOT ( NET_36 )
new_n753_ = OR ( new_n748_, new_n752_ )
new_n754_ = NAND ( new_n748_, NET_108 )
NET_758 = NAND ( new_n754_, new_n753_ )
new_n756_ = OR ( new_n694_, new_n618_ )
new_n757_ = NAND ( new_n756_, NET_37 )
new_n758_ = OR ( new_n756_, new_n568_ )
NET_759 = NAND ( new_n758_, new_n757_ )
new_n760_ = NAND ( new_n756_, NET_38 )
new_n761_ = OR ( new_n756_, new_n572_ )
NET_760 = NAND ( new_n761_, new_n760_ )
new_n763_ = NAND ( NET_113, new_n693_, new_n627_ )
new_n764_ = OR ( new_n763_, new_n555_ )
new_n765_ = NAND ( new_n764_, NET_55 )
new_n766_ = OR ( new_n764_, new_n568_ )
NET_761 = NAND ( new_n766_, new_n765_ )
new_n768_ = NAND ( new_n764_, NET_56 )
new_n769_ = OR ( new_n764_, new_n572_ )
NET_762 = NAND ( new_n769_, new_n768_ )
new_n771_ = NOT ( NET_57 )
new_n772_ = NOR ( new_n763_, new_n565_ )
new_n773_ = OR ( new_n772_, new_n771_ )
new_n774_ = NAND ( new_n772_, NET_107 )
NET_763 = NAND ( new_n774_, new_n773_ )
new_n776_ = NOT ( NET_58 )
new_n777_ = OR ( new_n772_, new_n776_ )
new_n778_ = NAND ( new_n772_, NET_108 )
NET_764 = NAND ( new_n778_, new_n777_ )
new_n780_ = NOT ( NET_59 )
new_n781_ = NOR ( new_n763_, new_n576_ )
new_n782_ = OR ( new_n781_, new_n780_ )
new_n783_ = NAND ( new_n781_, NET_107 )
NET_765 = NAND ( new_n783_, new_n782_ )
new_n785_ = NOT ( NET_60 )
new_n786_ = OR ( new_n781_, new_n785_ )
new_n787_ = NAND ( new_n781_, NET_108 )
NET_766 = NAND ( new_n787_, new_n786_ )
new_n789_ = NOT ( NET_61 )
new_n790_ = NOR ( new_n763_, new_n584_ )
new_n791_ = OR ( new_n790_, new_n789_ )
new_n792_ = NAND ( new_n790_, NET_107 )
NET_767 = NAND ( new_n792_, new_n791_ )
new_n794_ = NOT ( NET_62 )
new_n795_ = OR ( new_n790_, new_n794_ )
new_n796_ = NAND ( new_n790_, NET_108 )
NET_768 = NAND ( new_n796_, new_n795_ )
new_n798_ = NOT ( NET_63 )
new_n799_ = NOR ( new_n763_, new_n593_ )
new_n800_ = OR ( new_n799_, new_n798_ )
new_n801_ = NAND ( new_n799_, NET_107 )
NET_769 = NAND ( new_n801_, new_n800_ )
new_n803_ = NOT ( NET_64 )
new_n804_ = OR ( new_n799_, new_n803_ )
new_n805_ = NAND ( new_n799_, NET_108 )
NET_770 = NAND ( new_n805_, new_n804_ )
new_n807_ = NOT ( NET_65 )
new_n808_ = NOR ( new_n763_, new_n601_ )
new_n809_ = OR ( new_n808_, new_n807_ )
new_n810_ = NAND ( new_n808_, NET_107 )
NET_771 = NAND ( new_n810_, new_n809_ )
new_n812_ = NOT ( NET_66 )
new_n813_ = OR ( new_n808_, new_n812_ )
new_n814_ = NAND ( new_n808_, NET_108 )
NET_772 = NAND ( new_n814_, new_n813_ )
new_n816_ = NOT ( NET_67 )
new_n817_ = NOR ( new_n763_, new_n609_ )
new_n818_ = OR ( new_n817_, new_n816_ )
new_n819_ = NAND ( new_n817_, NET_107 )
NET_773 = NAND ( new_n819_, new_n818_ )
new_n821_ = NOT ( NET_68 )
new_n822_ = OR ( new_n817_, new_n821_ )
new_n823_ = NAND ( new_n817_, NET_108 )
NET_774 = NAND ( new_n823_, new_n822_ )
new_n825_ = OR ( new_n763_, new_n618_ )
new_n826_ = NAND ( new_n825_, NET_69 )
new_n827_ = OR ( new_n825_, new_n568_ )
NET_775 = NAND ( new_n827_, new_n826_ )
new_n829_ = NAND ( new_n825_, NET_70 )
new_n830_ = OR ( new_n825_, new_n572_ )
NET_776 = NAND ( new_n830_, new_n829_ )
new_n832_ = NAND ( NET_116, NET_115 )
new_n833_ = NOT ( new_n832_ )
new_n834_ = NOR ( new_n833_, NET_114 )
new_n835_ = NOR ( new_n514_, NET_101 )
new_n836_ = NOR ( new_n835_, NET_100 )
new_n837_ = OR ( new_n836_, NET_114 )
new_n838_ = NAND ( new_n836_, NET_114 )
new_n839_ = NOT ( NET_115 )
new_n840_ = NOT ( NET_116 )
new_n841_ = OR ( new_n840_, NET_101 )
new_n842_ = NAND ( new_n841_, new_n839_ )
new_n843_ = NAND ( new_n842_, NET_100 )
new_n844_ = NAND ( NET_99, NET_101 )
new_n845_ = NAND ( new_n844_, new_n841_ )
new_n846_ = NAND ( new_n845_, NET_115 )
new_n847_ = NAND ( new_n846_, new_n843_, new_n838_ )
new_n848_ = NAND ( new_n847_, new_n837_ )
new_n849_ = NOR ( new_n514_, new_n523_ )
new_n850_ = NOT ( new_n849_ )
new_n851_ = NAND ( new_n850_, new_n848_, NET_110 )
NET_809 = NOR ( new_n851_, new_n834_ )
new_n853_ = NOR ( NET_116, NET_115 )
NET_810 = NOR ( new_n853_, new_n851_, new_n833_ )
NET_811 = NOR ( new_n851_, NET_116 )
new_n856_ = NAND ( new_n360_, new_n335_ )
new_n857_ = NAND ( new_n856_, new_n296_ )
NET_812 = NAND ( new_n857_, new_n352_, new_n337_, new_n473_ )
new_n859_ = NAND ( new_n311_, new_n307_, new_n298_ )
new_n860_ = NAND ( new_n859_, NET_113 )
NET_813 = NAND ( new_n860_, new_n312_ )
new_n862_ = NOT ( new_n316_ )
new_n863_ = NAND ( new_n348_, new_n862_ )
new_n864_ = NOT ( new_n505_ )
new_n865_ = OR ( new_n334_, new_n309_ )
new_n866_ = AND ( new_n865_, new_n542_, new_n389_ )
new_n867_ = NOR ( new_n328_, new_n295_ )
new_n868_ = OR ( new_n867_, new_n326_ )
new_n869_ = OR ( new_n360_, new_n296_ )
new_n870_ = AND ( new_n869_, new_n468_ )
new_n871_ = AND ( new_n870_, new_n868_, new_n866_, new_n864_ )
NET_862 = NAND ( new_n871_, new_n863_, new_n305_ )
new_n873_ = NAND ( new_n308_, new_n303_ )
new_n874_ = NAND ( new_n873_, new_n298_, new_n297_ )
new_n875_ = NAND ( new_n874_, new_n864_, new_n365_ )
new_n876_ = OR ( new_n316_, new_n296_ )
new_n877_ = OR ( new_n372_, new_n303_ )
new_n878_ = AND ( new_n877_, new_n450_, new_n324_ )
new_n879_ = NAND ( new_n878_, new_n876_, new_n870_ )
new_n880_ = NOR ( new_n879_, new_n875_ )
new_n881_ = AND ( new_n862_, new_n288_ )
new_n882_ = NOR ( new_n337_, new_n308_ )
new_n883_ = NOR ( new_n882_, new_n881_ )
NET_863 = NAND ( new_n883_, new_n880_, new_n349_, new_n329_ )
new_n885_ = OR ( new_n849_, new_n848_ )
new_n886_ = NAND ( new_n885_, NET_112, NET_110 )
new_n887_ = OR ( new_n885_, new_n548_, NET_109 )
NET_864 = NAND ( new_n887_, new_n886_ )
new_n889_ = NAND ( new_n312_, NET_107 )
new_n890_ = NAND ( new_n311_, new_n309_, new_n298_, NET_118 )
NET_870 = NAND ( new_n890_, new_n889_ )
new_n892_ = NAND ( new_n312_, NET_108 )
new_n893_ = NAND ( new_n311_, new_n309_, new_n298_, NET_119 )
NET_871 = NAND ( new_n893_, new_n892_ )
new_n895_ = OR ( new_n584_, new_n789_ )
new_n896_ = OR ( new_n576_, new_n780_ )
new_n897_ = OR ( new_n565_, new_n771_ )
new_n898_ = NAND ( NET_55, NET_106, NET_105, NET_104 )
new_n899_ = NAND ( new_n898_, new_n897_, new_n896_, new_n895_ )
new_n900_ = NAND ( NET_69, new_n564_, new_n575_, new_n592_ )
new_n901_ = OR ( new_n609_, new_n816_ )
new_n902_ = OR ( new_n601_, new_n807_ )
new_n903_ = OR ( new_n593_, new_n798_ )
new_n904_ = NAND ( new_n903_, new_n902_, new_n901_, new_n900_ )
new_n905_ = NOR ( new_n904_, new_n899_ )
new_n906_ = NOR ( new_n905_, NET_102 )
new_n907_ = OR ( new_n584_, new_n720_ )
new_n908_ = OR ( new_n576_, new_n711_ )
new_n909_ = OR ( new_n565_, new_n702_ )
new_n910_ = NAND ( NET_23, NET_106, NET_105, NET_104 )
new_n911_ = NAND ( new_n910_, new_n909_, new_n908_, new_n907_ )
new_n912_ = NAND ( NET_37, new_n564_, new_n575_, new_n592_ )
new_n913_ = OR ( new_n609_, new_n747_ )
new_n914_ = OR ( new_n601_, new_n738_ )
new_n915_ = OR ( new_n593_, new_n729_ )
new_n916_ = NAND ( new_n915_, new_n914_, new_n913_, new_n912_ )
new_n917_ = NOR ( new_n916_, new_n911_ )
new_n918_ = NOR ( new_n917_, new_n627_ )
new_n919_ = NOR ( new_n918_, new_n906_ )
new_n920_ = NOR ( new_n919_, NET_103 )
new_n921_ = OR ( new_n584_, new_n652_ )
new_n922_ = OR ( new_n576_, new_n643_ )
new_n923_ = NAND ( NET_41, new_n564_, NET_105, NET_104 )
new_n924_ = NAND ( NET_39, NET_106, NET_105, NET_104 )
new_n925_ = NAND ( new_n924_, new_n923_, new_n922_, new_n921_ )
new_n926_ = NAND ( NET_53, new_n564_, new_n575_, new_n592_ )
new_n927_ = NAND ( NET_51, NET_106, new_n575_, new_n592_ )
new_n928_ = OR ( new_n601_, new_n670_ )
new_n929_ = OR ( new_n593_, new_n661_ )
new_n930_ = NAND ( new_n929_, new_n928_, new_n927_, new_n926_ )
new_n931_ = NOR ( new_n930_, new_n925_ )
new_n932_ = NOR ( new_n931_, NET_102 )
new_n933_ = NAND ( NET_13, new_n564_, new_n575_, NET_104 )
new_n934_ = NAND ( NET_11, NET_106, new_n575_, NET_104 )
new_n935_ = NAND ( NET_9, new_n564_, NET_105, NET_104 )
new_n936_ = OR ( new_n555_, new_n553_ )
new_n937_ = NAND ( new_n936_, new_n935_, new_n934_, new_n933_ )
new_n938_ = OR ( new_n618_, new_n617_ )
new_n939_ = NAND ( NET_19, NET_106, new_n575_, new_n592_ )
new_n940_ = NAND ( NET_17, new_n564_, NET_105, new_n592_ )
new_n941_ = NAND ( NET_15, NET_106, NET_105, new_n592_ )
new_n942_ = NAND ( new_n941_, new_n940_, new_n939_, new_n938_ )
new_n943_ = NOR ( new_n942_, new_n937_ )
new_n944_ = NOR ( new_n943_, new_n627_ )
new_n945_ = NOR ( new_n944_, new_n932_ )
new_n946_ = NOR ( new_n945_, new_n693_ )
NET_872 = OR ( new_n946_, new_n920_ )
new_n948_ = OR ( new_n584_, new_n794_ )
new_n949_ = OR ( new_n576_, new_n785_ )
new_n950_ = OR ( new_n565_, new_n776_ )
new_n951_ = NAND ( NET_56, NET_106, NET_105, NET_104 )
new_n952_ = NAND ( new_n951_, new_n950_, new_n949_, new_n948_ )
new_n953_ = NAND ( NET_70, new_n564_, new_n575_, new_n592_ )
new_n954_ = OR ( new_n609_, new_n821_ )
new_n955_ = OR ( new_n601_, new_n812_ )
new_n956_ = OR ( new_n593_, new_n803_ )
new_n957_ = NAND ( new_n956_, new_n955_, new_n954_, new_n953_ )
new_n958_ = NOR ( new_n957_, new_n952_ )
new_n959_ = NOR ( new_n958_, NET_102 )
new_n960_ = OR ( new_n584_, new_n725_ )
new_n961_ = OR ( new_n576_, new_n716_ )
new_n962_ = OR ( new_n565_, new_n707_ )
new_n963_ = NAND ( NET_24, NET_106, NET_105, NET_104 )
new_n964_ = NAND ( new_n963_, new_n962_, new_n961_, new_n960_ )
new_n965_ = NAND ( NET_38, new_n564_, new_n575_, new_n592_ )
new_n966_ = OR ( new_n609_, new_n752_ )
new_n967_ = OR ( new_n601_, new_n743_ )
new_n968_ = OR ( new_n593_, new_n734_ )
new_n969_ = NAND ( new_n968_, new_n967_, new_n966_, new_n965_ )
new_n970_ = NOR ( new_n969_, new_n964_ )
new_n971_ = NOR ( new_n970_, new_n627_ )
new_n972_ = NOR ( new_n971_, new_n959_ )
new_n973_ = NOR ( new_n972_, NET_103 )
new_n974_ = OR ( new_n584_, new_n657_ )
new_n975_ = OR ( new_n576_, new_n648_ )
new_n976_ = NAND ( NET_42, new_n564_, NET_105, NET_104 )
new_n977_ = NAND ( NET_40, NET_106, NET_105, NET_104 )
new_n978_ = NAND ( new_n977_, new_n976_, new_n975_, new_n974_ )
new_n979_ = NAND ( NET_54, new_n564_, new_n575_, new_n592_ )
new_n980_ = NAND ( NET_52, NET_106, new_n575_, new_n592_ )
new_n981_ = OR ( new_n601_, new_n675_ )
new_n982_ = OR ( new_n593_, new_n666_ )
new_n983_ = NAND ( new_n982_, new_n981_, new_n980_, new_n979_ )
new_n984_ = NOR ( new_n983_, new_n978_ )
new_n985_ = NOR ( new_n984_, NET_102 )
new_n986_ = NAND ( NET_14, new_n564_, new_n575_, NET_104 )
new_n987_ = NAND ( NET_12, NET_106, new_n575_, NET_104 )
new_n988_ = NAND ( new_n564_, NET_105, NET_104, NET_10 )
new_n989_ = OR ( new_n555_, new_n560_ )
new_n990_ = NAND ( new_n989_, new_n988_, new_n987_, new_n986_ )
new_n991_ = OR ( new_n618_, new_n623_ )
new_n992_ = NAND ( NET_20, NET_106, new_n575_, new_n592_ )
new_n993_ = NAND ( NET_18, new_n564_, NET_105, new_n592_ )
new_n994_ = NAND ( NET_16, NET_106, NET_105, new_n592_ )
new_n995_ = NAND ( new_n994_, new_n993_, new_n992_, new_n991_ )
new_n996_ = NOR ( new_n995_, new_n990_ )
new_n997_ = NOR ( new_n996_, new_n627_ )
new_n998_ = NOR ( new_n997_, new_n985_ )
new_n999_ = NOR ( new_n998_, new_n693_ )
NET_873 = OR ( new_n999_, new_n973_ )
new_n1001_ = NAND ( new_n332_, new_n331_ )
new_n1002_ = NAND ( new_n1001_, new_n316_, new_n326_ )
new_n1003_ = NAND ( new_n1002_, new_n295_ )
new_n1004_ = OR ( new_n336_, new_n315_ )
new_n1005_ = AND ( new_n1004_, new_n1003_, new_n870_ )
new_n1006_ = NAND ( NET_121, NET_120 )
new_n1007_ = NAND ( new_n1006_, NET_2 )
new_n1008_ = NAND ( new_n1007_, new_n381_ )
new_n1009_ = NAND ( NET_3, new_n489_, NET_120 )
new_n1010_ = NAND ( new_n1009_, new_n1008_, new_n382_ )
new_n1011_ = NOT ( NET_4 )
new_n1012_ = NOR ( new_n495_, new_n1011_ )
new_n1013_ = OR ( new_n1012_, NET_5 )
new_n1014_ = NAND ( NET_5, new_n489_, new_n498_ )
new_n1015_ = NAND ( new_n1014_, new_n1013_ )
new_n1016_ = NAND ( new_n1015_, new_n1010_ )
new_n1017_ = NAND ( new_n1016_, new_n505_ )
new_n1018_ = OR ( new_n473_, new_n308_ )
new_n1019_ = NAND ( new_n361_, new_n332_ )
new_n1020_ = AND ( new_n1019_, new_n1018_, new_n542_, new_n365_ )
new_n1021_ = OR ( new_n313_, new_n290_ )
new_n1022_ = AND ( new_n1021_, new_n1020_, new_n474_ )
NET_909 = NAND ( new_n1022_, new_n1017_, new_n1005_, new_n350_ )
new_n1024_ = OR ( new_n389_, new_n307_ )
new_n1025_ = NAND ( new_n1020_, new_n1024_, new_n340_ )
new_n1026_ = NAND ( new_n1025_, new_n296_ )
new_n1027_ = OR ( new_n381_, NET_121 )
new_n1028_ = NAND ( new_n381_, NET_2, NET_121 )
new_n1029_ = NAND ( new_n1028_, new_n1027_ )
new_n1030_ = NAND ( new_n1029_, new_n382_ )
new_n1031_ = NAND ( new_n1030_, NET_120 )
new_n1032_ = NOR ( NET_5, NET_121 )
new_n1033_ = NOR ( NET_5, new_n1011_ )
new_n1034_ = NOR ( new_n1033_, new_n489_ )
new_n1035_ = NOR ( new_n1034_, new_n1032_ )
new_n1036_ = OR ( new_n1035_, NET_120 )
new_n1037_ = NAND ( new_n1036_, new_n1031_, new_n505_ )
new_n1038_ = NAND ( new_n508_, new_n474_ )
new_n1039_ = NAND ( new_n1038_, new_n295_ )
new_n1040_ = OR ( new_n372_, new_n362_ )
new_n1041_ = AND ( new_n1040_, new_n1039_, new_n1037_, new_n312_ )
NET_910 = NAND ( new_n1041_, new_n1026_, new_n1005_, new_n883_ )
new_n1043_ = OR ( new_n338_, new_n303_ )
new_n1044_ = OR ( new_n396_, new_n314_ )
new_n1045_ = NAND ( new_n1044_, new_n1043_, new_n1040_ )
new_n1046_ = NAND ( new_n362_, new_n313_ )
new_n1047_ = NAND ( new_n1046_, new_n1045_ )
new_n1048_ = OR ( new_n1047_, new_n321_ )
new_n1049_ = NAND ( new_n308_, new_n255_ )
new_n1050_ = NAND ( new_n1049_, new_n1045_ )
new_n1051_ = OR ( new_n1050_, new_n260_ )
new_n1052_ = OR ( new_n1045_, new_n627_ )
NET_911 = NAND ( new_n1052_, new_n1051_, new_n1048_ )
new_n1054_ = NOT ( NET_76 )
new_n1055_ = OR ( new_n1047_, new_n1054_ )
new_n1056_ = OR ( new_n1050_, new_n277_ )
new_n1057_ = OR ( new_n1045_, new_n693_ )
NET_912 = NAND ( new_n1057_, new_n1056_, new_n1055_ )
new_n1059_ = NOT ( NET_77 )
new_n1060_ = OR ( new_n1047_, new_n1059_ )
new_n1061_ = OR ( new_n1050_, new_n264_ )
new_n1062_ = OR ( new_n1045_, new_n592_ )
NET_913 = NAND ( new_n1062_, new_n1061_, new_n1060_ )
new_n1064_ = NOT ( NET_78 )
new_n1065_ = OR ( new_n1047_, new_n1064_ )
new_n1066_ = OR ( new_n1050_, new_n272_ )
new_n1067_ = OR ( new_n1045_, new_n575_ )
NET_914 = NAND ( new_n1067_, new_n1066_, new_n1065_ )
new_n1069_ = NOT ( NET_79 )
new_n1070_ = OR ( new_n1047_, new_n1069_ )
new_n1071_ = OR ( new_n1050_, new_n268_ )
new_n1072_ = OR ( new_n1045_, new_n564_ )
NET_915 = NAND ( new_n1072_, new_n1071_, new_n1070_ )
new_n1074_ = OR ( new_n885_, new_n548_ )
new_n1075_ = NAND ( new_n1074_, NET_109 )
NET_916 = NAND ( new_n1075_, new_n887_ )
new_n1077_ = NAND ( new_n330_, NET_87 )
new_n1078_ = NOT ( new_n330_ )
new_n1079_ = NOT ( NET_87 )
new_n1080_ = NOT ( NET_88 )
new_n1081_ = NOT ( NET_90 )
new_n1082_ = NOR ( NET_92, NET_91 )
new_n1083_ = NAND ( new_n1082_, new_n1081_ )
new_n1084_ = NOR ( new_n1083_, NET_89 )
new_n1085_ = AND ( new_n1084_, new_n1080_ )
new_n1086_ = NAND ( new_n1085_, new_n1079_ )
new_n1087_ = OR ( new_n1085_, new_n1079_ )
new_n1088_ = NAND ( new_n1087_, new_n1086_, new_n257_ )
new_n1089_ = NAND ( new_n1088_, new_n1078_ )
NET_918 = NAND ( new_n1089_, new_n1077_ )
new_n1091_ = NAND ( new_n330_, NET_92 )
new_n1092_ = NOT ( NET_92 )
new_n1093_ = NOR ( new_n297_, new_n1092_ )
new_n1094_ = OR ( new_n1093_, new_n330_ )
NET_919 = NAND ( new_n1094_, new_n1091_ )
new_n1096_ = NAND ( new_n275_, new_n266_ )
new_n1097_ = OR ( new_n275_, new_n266_ )
new_n1098_ = NAND ( new_n1097_, new_n1096_ )
new_n1099_ = OR ( new_n1098_, new_n319_ )
new_n1100_ = OR ( new_n318_, new_n1059_ )
NET_955 = NAND ( new_n1100_, new_n1099_ )
new_n1102_ = NOR ( new_n274_, new_n270_ )
new_n1103_ = NOR ( new_n1102_, new_n275_ )
new_n1104_ = NAND ( new_n1103_, new_n318_, new_n290_, new_n288_ )
new_n1105_ = OR ( new_n318_, new_n1064_ )
NET_956 = NAND ( new_n1105_, new_n1104_ )
new_n1107_ = OR ( new_n319_, new_n270_ )
new_n1108_ = OR ( new_n318_, new_n1069_ )
NET_957 = NAND ( new_n1108_, new_n1107_ )
new_n1110_ = NOR ( new_n330_, new_n297_ )
new_n1111_ = OR ( new_n1084_, NET_88 )
new_n1112_ = NAND ( new_n1084_, NET_88 )
new_n1113_ = NAND ( new_n1112_, new_n1111_, new_n1110_ )
new_n1114_ = NAND ( new_n330_, NET_88 )
NET_958 = NAND ( new_n1114_, new_n1113_ )
new_n1116_ = NAND ( new_n1083_, new_n448_ )
new_n1117_ = OR ( new_n1083_, new_n448_ )
new_n1118_ = NAND ( new_n1117_, new_n1116_, new_n1110_ )
new_n1119_ = NAND ( new_n330_, NET_89 )
NET_959 = NAND ( new_n1119_, new_n1118_ )
new_n1121_ = OR ( new_n1082_, NET_90 )
new_n1122_ = NAND ( new_n1082_, NET_90 )
new_n1123_ = NAND ( new_n1122_, new_n1121_, new_n1110_ )
new_n1124_ = NAND ( new_n330_, NET_90 )
NET_960 = NAND ( new_n1124_, new_n1123_ )
new_n1126_ = OR ( new_n1092_, NET_91 )
new_n1127_ = NOT ( NET_91 )
new_n1128_ = OR ( NET_92, new_n1127_ )
new_n1129_ = NAND ( new_n1128_, new_n1126_, new_n1110_ )
new_n1130_ = NAND ( new_n330_, NET_91 )
NET_961 = NAND ( new_n1130_, new_n1129_ )
new_n1132_ = NAND ( new_n506_, NET_85 )
new_n1133_ = OR ( new_n506_, new_n517_ )
NET_966 = NAND ( new_n1133_, new_n1132_ )
new_n1135_ = OR ( new_n527_, new_n506_ )
new_n1136_ = NAND ( new_n506_, NET_86 )
NET_967 = NAND ( new_n1136_, new_n1135_ )
new_n1138_ = OR ( new_n335_, new_n295_ )
new_n1139_ = NAND ( new_n1138_, new_n1017_, new_n325_ )
new_n1140_ = NAND ( new_n1139_, new_n257_ )
new_n1141_ = NAND ( new_n1138_, new_n1017_, new_n325_, NET_111 )
NET_968 = NAND ( new_n1141_, new_n1140_ )
new_n1143_ = XOR ( new_n279_, new_n1096_ )
new_n1144_ = OR ( new_n1143_, new_n319_ )
new_n1145_ = OR ( new_n318_, new_n1054_ )
NET_981 = NAND ( new_n1145_, new_n1144_ )
new_n1147_ = OR ( new_n1143_, new_n343_ )
new_n1148_ = OR ( new_n342_, new_n277_ )
NET_982 = NAND ( new_n1148_, new_n1147_ )
new_n1150_ = OR ( new_n1098_, new_n343_ )
new_n1151_ = OR ( new_n342_, new_n264_ )
NET_983 = NAND ( new_n1151_, new_n1150_ )
new_n1153_ = NAND ( new_n1103_, new_n342_, new_n290_ )
new_n1154_ = OR ( new_n342_, new_n272_ )
NET_984 = NAND ( new_n1154_, new_n1153_ )
new_n1156_ = OR ( new_n343_, new_n270_ )
new_n1157_ = OR ( new_n342_, new_n268_ )
NET_985 = NAND ( new_n1157_, new_n1156_ )
NET_127 = BUF ( NET_111 )
NET_128 = BUF ( NET_71 )
NET_129 = BUF ( NET_72 )
NET_130 = BUF ( NET_73 )
NET_131 = BUF ( NET_74 )
NET_132 = BUF ( NET_112 )
NET_2399 = XOR ( NET_6, NET_117 )
NET_2400 = NOT ( NET_6 )