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

478 lines
16 KiB
Plaintext

# generated by verilog2bench.py https://gitea.yuhangq.com/YuhangQ/any2bench
INPUT(NET_1)
INPUT(NET_10)
INPUT(NET_11)
INPUT(NET_12)
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_6)
INPUT(NET_7)
INPUT(NET_8)
INPUT(NET_9)
OUTPUT(NET_183)
OUTPUT(NET_184)
OUTPUT(NET_185)
OUTPUT(NET_186)
OUTPUT(NET_189)
OUTPUT(NET_206)
OUTPUT(NET_209)
OUTPUT(NET_240)
OUTPUT(NET_241)
OUTPUT(NET_242)
OUTPUT(NET_243)
OUTPUT(NET_244)
OUTPUT(NET_249)
OUTPUT(NET_263)
OUTPUT(NET_289)
OUTPUT(NET_290)
OUTPUT(NET_291)
OUTPUT(NET_292)
OUTPUT(NET_328)
OUTPUT(NET_329)
OUTPUT(NET_330)
OUTPUT(NET_331)
OUTPUT(NET_341)
OUTPUT(NET_342)
OUTPUT(NET_343)
OUTPUT(NET_344)
OUTPUT(NET_353)
OUTPUT(NET_354)
OUTPUT(NET_355)
OUTPUT(NET_356)
OUTPUT(NET_369)
OUTPUT(NET_370)
OUTPUT(NET_371)
OUTPUT(NET_372)
OUTPUT(NET_382)
OUTPUT(NET_383)
OUTPUT(NET_384)
OUTPUT(NET_385)
OUTPUT(NET_395)
OUTPUT(NET_396)
OUTPUT(NET_397)
OUTPUT(NET_398)
OUTPUT(NET_410)
OUTPUT(NET_411)
OUTPUT(NET_412)
OUTPUT(NET_413)
OUTPUT(NET_418)
OUTPUT(NET_419)
OUTPUT(NET_420)
OUTPUT(NET_51)
OUTPUT(NET_52)
OUTPUT(NET_53)
OUTPUT(NET_54)
OUTPUT(NET_55)
OUTPUT(NET_56)
OUTPUT(NET_57)
OUTPUT(NET_58)
new_n108_ = NOT ( NET_23 )
new_n109_ = NOT ( NET_24 )
new_n110_ = NAND ( NET_25, new_n109_, new_n108_ )
new_n111_ = OR ( new_n110_, NET_22 )
new_n112_ = NOT ( NET_25 )
new_n113_ = NAND ( new_n112_, NET_24, new_n108_, NET_22 )
new_n114_ = NAND ( new_n113_, new_n111_ )
new_n115_ = NOT ( NET_48 )
new_n116_ = OR ( NET_50, NET_49 )
new_n117_ = NOR ( new_n116_, new_n115_ )
new_n118_ = NAND ( new_n117_, new_n114_ )
new_n119_ = NOT ( NET_34 )
new_n120_ = OR ( new_n117_, new_n119_ )
NET_183 = NAND ( new_n120_, new_n118_ )
new_n122_ = NOT ( NET_36 )
new_n123_ = OR ( new_n117_, new_n122_ )
NET_184 = NAND ( new_n123_, new_n118_ )
new_n125_ = NOT ( NET_44 )
new_n126_ = OR ( new_n117_, new_n125_ )
NET_185 = NAND ( new_n126_, new_n118_ )
new_n128_ = NOT ( NET_47 )
new_n129_ = OR ( new_n117_, new_n128_ )
NET_186 = NAND ( new_n129_, new_n118_ )
new_n131_ = NOR ( new_n109_, NET_22 )
new_n132_ = OR ( new_n131_, new_n112_, new_n108_ )
new_n133_ = NAND ( new_n132_, new_n113_, new_n110_ )
new_n134_ = NAND ( new_n133_, new_n117_ )
new_n135_ = NOT ( NET_35 )
new_n136_ = OR ( new_n117_, new_n135_ )
NET_189 = NAND ( new_n136_, new_n134_ )
new_n138_ = NAND ( NET_49, NET_48 )
new_n139_ = NOT ( NET_18 )
new_n140_ = NOT ( NET_19 )
new_n141_ = NOR ( new_n112_, new_n109_ )
new_n142_ = AND ( new_n141_, NET_23 )
new_n143_ = NOT ( NET_20 )
new_n144_ = NOT ( NET_21 )
new_n145_ = AND ( NET_22, new_n144_, new_n143_ )
new_n146_ = NAND ( new_n145_, new_n142_, new_n140_, new_n139_ )
new_n147_ = NOR ( new_n146_, new_n138_ )
new_n148_ = NOR ( NET_49, NET_48 )
new_n149_ = NOR ( new_n148_, new_n147_ )
new_n150_ = OR ( new_n149_, NET_1 )
new_n151_ = NOR ( NET_50, NET_48 )
new_n152_ = NOT ( new_n151_ )
NET_206 = NAND ( new_n152_, new_n150_, new_n116_ )
new_n154_ = NOT ( new_n114_ )
new_n155_ = NAND ( new_n141_, new_n108_, NET_22 )
new_n156_ = NAND ( new_n155_, new_n154_ )
new_n157_ = NAND ( new_n156_, new_n117_ )
new_n158_ = NOT ( NET_46 )
new_n159_ = OR ( new_n117_, new_n158_ )
NET_209 = NAND ( new_n159_, new_n157_ )
new_n161_ = NOT ( NET_49 )
new_n162_ = NOT ( NET_1 )
new_n163_ = NOR ( new_n146_, new_n162_ )
new_n164_ = NOR ( new_n163_, new_n161_ )
new_n165_ = OR ( new_n164_, new_n115_ )
new_n166_ = NOT ( NET_50 )
new_n167_ = NOR ( new_n166_, new_n161_ )
new_n168_ = NOT ( new_n167_ )
NET_240 = NAND ( new_n168_, new_n165_ )
new_n170_ = NAND ( new_n146_, NET_49, NET_48 )
new_n171_ = NAND ( NET_50, new_n115_, NET_1 )
new_n172_ = NAND ( new_n171_, new_n170_, new_n168_ )
NET_241 = NOR ( new_n172_, new_n139_ )
NET_242 = NOR ( new_n172_, new_n140_ )
NET_243 = NOR ( new_n172_, new_n143_ )
NET_244 = NOR ( new_n172_, new_n144_ )
new_n177_ = NOT ( NET_22 )
new_n178_ = NAND ( new_n109_, new_n108_, new_n177_ )
new_n179_ = NAND ( new_n178_, new_n155_, new_n154_ )
new_n180_ = NAND ( new_n179_, new_n117_ )
new_n181_ = NOT ( NET_45 )
new_n182_ = OR ( new_n117_, new_n181_ )
NET_249 = NAND ( new_n182_, new_n180_ )
new_n184_ = NOR ( new_n146_, NET_1 )
new_n185_ = NOR ( new_n184_, NET_50 )
new_n186_ = NOR ( new_n185_, new_n151_ )
new_n187_ = OR ( new_n186_, new_n161_ )
new_n188_ = NAND ( NET_50, new_n161_, NET_1 )
new_n189_ = NAND ( NET_50, NET_48 )
NET_263 = NAND ( new_n189_, new_n188_, new_n187_ )
new_n191_ = NOT ( new_n148_ )
new_n192_ = NAND ( new_n172_, new_n191_ )
new_n193_ = NOT ( new_n192_ )
new_n194_ = NAND ( new_n193_, new_n142_, new_n177_ )
new_n195_ = OR ( new_n148_, new_n142_ )
new_n196_ = NAND ( new_n195_, new_n172_ )
new_n197_ = NAND ( new_n196_, NET_22 )
NET_289 = NAND ( new_n197_, new_n194_ )
new_n199_ = NAND ( new_n193_, new_n141_, new_n108_ )
new_n200_ = OR ( new_n148_, new_n141_ )
new_n201_ = NAND ( new_n200_, new_n172_ )
new_n202_ = NAND ( new_n201_, NET_23 )
NET_290 = NAND ( new_n202_, new_n199_ )
new_n204_ = NAND ( new_n193_, NET_25, new_n109_ )
new_n205_ = OR ( new_n148_, NET_25 )
new_n206_ = NAND ( new_n205_, new_n172_ )
new_n207_ = NAND ( new_n206_, NET_24 )
NET_291 = NAND ( new_n207_, new_n204_ )
new_n209_ = OR ( new_n192_, NET_25 )
new_n210_ = OR ( new_n172_, new_n112_ )
NET_292 = NAND ( new_n210_, new_n209_ )
new_n212_ = NOT ( NET_17 )
new_n213_ = NOR ( new_n191_, new_n166_ )
new_n214_ = NOR ( new_n213_, new_n147_ )
new_n215_ = NOR ( new_n214_, NET_1 )
new_n216_ = NOT ( NET_33 )
new_n217_ = NOR ( NET_31, NET_30 )
new_n218_ = NOR ( NET_29, NET_28, NET_27, NET_26 )
new_n219_ = NAND ( new_n218_, new_n217_, new_n216_, NET_32 )
new_n220_ = NAND ( new_n219_, new_n215_, NET_48 )
new_n221_ = OR ( new_n220_, new_n212_ )
new_n222_ = NOT ( NET_9 )
new_n223_ = OR ( new_n215_, new_n222_ )
new_n224_ = NAND ( new_n166_, new_n161_, NET_40 )
new_n225_ = OR ( new_n189_, new_n181_ )
new_n226_ = OR ( NET_48, new_n216_ )
new_n227_ = NAND ( new_n226_, new_n225_, new_n224_, new_n138_ )
new_n228_ = OR ( new_n138_, new_n212_ )
new_n229_ = NAND ( new_n166_, NET_49, NET_48 )
new_n230_ = NAND ( new_n229_, NET_33 )
new_n231_ = NAND ( new_n230_, new_n228_ )
new_n232_ = AND ( new_n231_, new_n227_ )
new_n233_ = NOR ( new_n231_, new_n227_ )
new_n234_ = OR ( new_n233_, new_n232_ )
new_n235_ = NAND ( new_n215_, NET_48 )
new_n236_ = NOR ( new_n219_, new_n235_ )
new_n237_ = NOT ( new_n236_ )
new_n238_ = OR ( new_n237_, new_n234_ )
NET_328 = NAND ( new_n238_, new_n223_, new_n221_ )
new_n240_ = NAND ( new_n148_, NET_50, NET_1 )
new_n241_ = OR ( new_n219_, new_n170_ )
new_n242_ = NAND ( new_n241_, new_n240_ )
new_n243_ = NAND ( new_n242_, NET_48 )
new_n244_ = OR ( new_n243_, new_n234_ )
new_n245_ = OR ( new_n242_, new_n212_ )
NET_329 = NAND ( new_n245_, new_n244_ )
new_n247_ = NOR ( NET_49, new_n115_ )
new_n248_ = NOT ( new_n247_ )
new_n249_ = OR ( new_n248_, new_n234_ )
new_n250_ = NOR ( new_n151_, new_n161_ )
new_n251_ = NOR ( new_n250_, new_n148_ )
new_n252_ = OR ( new_n251_, new_n216_ )
new_n253_ = AND ( new_n251_, new_n115_ )
new_n254_ = NAND ( new_n253_, new_n179_ )
NET_330 = NAND ( new_n254_, new_n252_, new_n249_ )
new_n256_ = NAND ( new_n168_, NET_40 )
new_n257_ = OR ( new_n234_, new_n168_ )
NET_331 = NAND ( new_n257_, new_n256_ )
new_n259_ = NOT ( NET_16 )
new_n260_ = OR ( new_n138_, new_n259_ )
new_n261_ = NAND ( new_n229_, NET_32 )
new_n262_ = NAND ( new_n261_, new_n260_ )
new_n263_ = NOR ( new_n262_, new_n232_ )
new_n264_ = NOT ( new_n232_ )
new_n265_ = NOT ( new_n262_ )
new_n266_ = NOR ( new_n265_, new_n264_ )
new_n267_ = NAND ( new_n166_, new_n161_, NET_39 )
new_n268_ = NOT ( NET_32 )
new_n269_ = OR ( NET_48, new_n268_ )
new_n270_ = OR ( new_n189_, new_n135_ )
new_n271_ = NAND ( new_n270_, new_n269_, new_n267_ )
new_n272_ = OR ( new_n271_, new_n266_, new_n263_ )
new_n273_ = NAND ( new_n271_, new_n264_ )
new_n274_ = NAND ( new_n273_, new_n265_ )
new_n275_ = NAND ( new_n271_, new_n232_ )
new_n276_ = NAND ( new_n275_, new_n262_ )
new_n277_ = NAND ( new_n276_, new_n274_ )
new_n278_ = NAND ( new_n277_, new_n272_ )
new_n279_ = NAND ( new_n278_, new_n236_ )
new_n280_ = NOT ( NET_8 )
new_n281_ = OR ( new_n215_, new_n280_ )
new_n282_ = OR ( new_n220_, new_n259_ )
NET_341 = NAND ( new_n282_, new_n281_, new_n279_ )
new_n284_ = NOT ( new_n243_ )
new_n285_ = NAND ( new_n278_, new_n284_ )
new_n286_ = OR ( new_n242_, new_n259_ )
NET_342 = NAND ( new_n286_, new_n285_ )
new_n288_ = NAND ( new_n278_, new_n247_ )
new_n289_ = NAND ( new_n253_, new_n114_ )
new_n290_ = NOR ( new_n131_, new_n108_ )
new_n291_ = OR ( new_n290_, new_n109_ )
new_n292_ = NAND ( new_n291_, new_n253_, NET_25 )
new_n293_ = OR ( new_n251_, new_n268_ )
NET_343 = NAND ( new_n293_, new_n292_, new_n289_, new_n288_ )
new_n295_ = NAND ( new_n168_, NET_39 )
new_n296_ = NAND ( new_n278_, new_n167_ )
NET_344 = NAND ( new_n296_, new_n295_ )
new_n298_ = NOT ( NET_15 )
new_n299_ = OR ( new_n138_, new_n298_ )
new_n300_ = NAND ( new_n229_, NET_31 )
new_n301_ = NAND ( new_n300_, new_n299_ )
new_n302_ = NAND ( new_n166_, new_n161_, NET_43 )
new_n303_ = NOT ( NET_31 )
new_n304_ = OR ( NET_48, new_n303_ )
new_n305_ = OR ( new_n189_, new_n158_ )
new_n306_ = NAND ( new_n305_, new_n304_, new_n302_ )
new_n307_ = NAND ( new_n306_, new_n301_ )
new_n308_ = OR ( new_n306_, new_n301_ )
new_n309_ = NAND ( new_n308_, new_n307_ )
new_n310_ = OR ( new_n271_, new_n232_ )
new_n311_ = NAND ( new_n310_, new_n262_ )
new_n312_ = NAND ( new_n311_, new_n275_ )
new_n313_ = XOR ( new_n312_, new_n309_ )
new_n314_ = OR ( new_n313_, new_n237_ )
new_n315_ = NOT ( NET_7 )
new_n316_ = OR ( new_n215_, new_n315_ )
new_n317_ = OR ( new_n220_, new_n298_ )
NET_353 = NAND ( new_n317_, new_n316_, new_n314_ )
new_n319_ = OR ( new_n313_, new_n243_ )
new_n320_ = OR ( new_n242_, new_n298_ )
NET_354 = NAND ( new_n320_, new_n319_ )
new_n322_ = OR ( new_n313_, new_n248_ )
new_n323_ = OR ( new_n251_, new_n303_ )
new_n324_ = NAND ( new_n253_, new_n156_ )
NET_355 = NAND ( new_n324_, new_n323_, new_n322_ )
new_n326_ = NAND ( new_n168_, NET_43 )
new_n327_ = OR ( new_n313_, new_n168_ )
NET_356 = NAND ( new_n327_, new_n326_ )
new_n329_ = NOT ( NET_14 )
new_n330_ = OR ( new_n138_, new_n329_ )
new_n331_ = NAND ( new_n229_, NET_30 )
new_n332_ = NAND ( new_n331_, new_n330_ )
new_n333_ = NAND ( new_n166_, new_n161_, NET_37 )
new_n334_ = NOT ( NET_30 )
new_n335_ = OR ( NET_48, new_n334_ )
new_n336_ = OR ( new_n189_, new_n119_ )
new_n337_ = NAND ( new_n336_, new_n335_, new_n333_ )
new_n338_ = NAND ( new_n337_, new_n332_ )
new_n339_ = OR ( new_n337_, new_n332_ )
new_n340_ = NAND ( new_n339_, new_n338_ )
new_n341_ = NAND ( new_n312_, new_n308_ )
new_n342_ = NAND ( new_n341_, new_n340_, new_n307_ )
new_n343_ = NAND ( new_n341_, new_n307_ )
new_n344_ = NAND ( new_n343_, new_n339_, new_n338_ )
new_n345_ = NAND ( new_n344_, new_n342_ )
new_n346_ = OR ( new_n345_, new_n237_ )
new_n347_ = NOT ( NET_6 )
new_n348_ = OR ( new_n215_, new_n347_ )
new_n349_ = OR ( new_n220_, new_n329_ )
NET_369 = NAND ( new_n349_, new_n348_, new_n346_ )
new_n351_ = OR ( new_n345_, new_n243_ )
new_n352_ = OR ( new_n242_, new_n329_ )
NET_370 = NAND ( new_n352_, new_n351_ )
new_n354_ = OR ( new_n345_, new_n248_ )
new_n355_ = OR ( new_n251_, new_n334_ )
NET_371 = NAND ( new_n355_, new_n354_, new_n289_ )
new_n357_ = NAND ( new_n168_, NET_37 )
new_n358_ = OR ( new_n345_, new_n168_ )
NET_372 = NAND ( new_n358_, new_n357_ )
new_n360_ = NAND ( new_n166_, new_n161_, NET_41 )
new_n361_ = NOT ( NET_29 )
new_n362_ = OR ( NET_48, new_n361_ )
new_n363_ = OR ( new_n189_, new_n125_ )
new_n364_ = NAND ( new_n363_, new_n362_, new_n360_ )
new_n365_ = NOT ( NET_13 )
new_n366_ = OR ( new_n138_, new_n365_ )
new_n367_ = NAND ( new_n229_, NET_29 )
new_n368_ = NAND ( new_n367_, new_n366_ )
new_n369_ = NAND ( new_n368_, new_n364_ )
new_n370_ = OR ( new_n368_, new_n364_ )
new_n371_ = NAND ( new_n370_, new_n369_ )
new_n372_ = NAND ( new_n343_, new_n339_ )
new_n373_ = NAND ( new_n372_, new_n338_ )
new_n374_ = XOR ( new_n373_, new_n371_ )
new_n375_ = OR ( new_n374_, new_n237_ )
new_n376_ = NOT ( NET_5 )
new_n377_ = OR ( new_n215_, new_n376_ )
new_n378_ = OR ( new_n220_, new_n365_ )
NET_382 = NAND ( new_n378_, new_n377_, new_n375_ )
new_n380_ = OR ( new_n374_, new_n243_ )
new_n381_ = OR ( new_n242_, new_n365_ )
NET_383 = NAND ( new_n381_, new_n380_ )
new_n383_ = OR ( new_n374_, new_n248_ )
new_n384_ = OR ( new_n251_, new_n361_ )
NET_384 = NAND ( new_n384_, new_n383_, new_n289_ )
new_n386_ = NAND ( new_n168_, NET_41 )
new_n387_ = OR ( new_n374_, new_n168_ )
NET_385 = NAND ( new_n387_, new_n386_ )
new_n389_ = NAND ( new_n166_, new_n161_, NET_38 )
new_n390_ = NOT ( NET_28 )
new_n391_ = OR ( NET_48, new_n390_ )
new_n392_ = OR ( new_n189_, new_n122_ )
new_n393_ = NAND ( new_n392_, new_n391_, new_n389_ )
new_n394_ = NOT ( NET_12 )
new_n395_ = OR ( new_n138_, new_n394_ )
new_n396_ = NAND ( new_n229_, NET_28 )
new_n397_ = NAND ( new_n396_, new_n395_ )
new_n398_ = OR ( new_n397_, new_n393_ )
new_n399_ = NAND ( new_n397_, new_n393_ )
new_n400_ = NAND ( new_n399_, new_n398_ )
new_n401_ = NAND ( new_n369_, new_n372_, new_n338_ )
new_n402_ = NAND ( new_n401_, new_n370_ )
new_n403_ = XNOR ( new_n402_, new_n400_ )
new_n404_ = OR ( new_n403_, new_n237_ )
new_n405_ = NOT ( NET_4 )
new_n406_ = OR ( new_n215_, new_n405_ )
new_n407_ = OR ( new_n220_, new_n394_ )
NET_395 = NAND ( new_n407_, new_n406_, new_n404_ )
new_n409_ = OR ( new_n403_, new_n243_ )
new_n410_ = OR ( new_n242_, new_n394_ )
NET_396 = NAND ( new_n410_, new_n409_ )
new_n412_ = OR ( new_n403_, new_n248_ )
new_n413_ = OR ( new_n251_, new_n390_ )
NET_397 = NAND ( new_n413_, new_n412_, new_n289_ )
new_n415_ = NAND ( new_n168_, NET_38 )
new_n416_ = OR ( new_n403_, new_n168_ )
NET_398 = NAND ( new_n416_, new_n415_ )
new_n418_ = NAND ( new_n166_, new_n161_, NET_42 )
new_n419_ = NOT ( NET_27 )
new_n420_ = OR ( NET_48, new_n419_ )
new_n421_ = OR ( new_n189_, new_n128_ )
new_n422_ = NAND ( new_n421_, new_n420_, new_n418_ )
new_n423_ = NOT ( NET_11 )
new_n424_ = OR ( new_n138_, new_n423_ )
new_n425_ = NAND ( new_n229_, NET_27 )
new_n426_ = NAND ( new_n425_, new_n424_ )
new_n427_ = NAND ( new_n426_, new_n422_ )
new_n428_ = NOR ( new_n426_, new_n422_ )
new_n429_ = NOT ( new_n428_ )
new_n430_ = NAND ( new_n429_, new_n427_ )
new_n431_ = NAND ( new_n402_, new_n399_ )
new_n432_ = NAND ( new_n431_, new_n398_ )
new_n433_ = XNOR ( new_n432_, new_n430_ )
new_n434_ = OR ( new_n433_, new_n237_ )
new_n435_ = NOT ( NET_3 )
new_n436_ = OR ( new_n215_, new_n435_ )
new_n437_ = OR ( new_n220_, new_n423_ )
NET_410 = NAND ( new_n437_, new_n436_, new_n434_ )
new_n439_ = OR ( new_n433_, new_n243_ )
new_n440_ = OR ( new_n242_, new_n423_ )
NET_411 = NAND ( new_n440_, new_n439_ )
new_n442_ = OR ( new_n433_, new_n248_ )
new_n443_ = OR ( new_n251_, new_n419_ )
NET_412 = NAND ( new_n443_, new_n442_, new_n289_ )
new_n445_ = NAND ( new_n168_, NET_42 )
new_n446_ = OR ( new_n433_, new_n168_ )
NET_413 = NAND ( new_n446_, new_n445_ )
new_n448_ = NAND ( new_n432_, new_n427_ )
new_n449_ = AND ( new_n448_, new_n429_ )
new_n450_ = NOT ( NET_10 )
new_n451_ = OR ( new_n138_, new_n450_ )
new_n452_ = OR ( new_n451_, new_n449_ )
new_n453_ = OR ( new_n432_, new_n428_ )
new_n454_ = NAND ( new_n453_, new_n427_ )
new_n455_ = NAND ( new_n454_, new_n451_ )
new_n456_ = NAND ( new_n455_, new_n452_ )
new_n457_ = NAND ( new_n456_, new_n236_ )
new_n458_ = NOT ( NET_2 )
new_n459_ = OR ( new_n215_, new_n458_ )
new_n460_ = OR ( new_n220_, new_n450_ )
NET_418 = NAND ( new_n460_, new_n459_, new_n457_ )
new_n462_ = NAND ( new_n456_, new_n284_ )
new_n463_ = OR ( new_n242_, new_n450_ )
NET_419 = NAND ( new_n463_, new_n462_ )
new_n465_ = NAND ( new_n456_, new_n247_ )
new_n466_ = NOT ( NET_26 )
new_n467_ = OR ( new_n251_, new_n466_ )
NET_420 = NAND ( new_n467_, new_n465_, new_n289_ )
NET_51 = BUF ( NET_2 )
NET_52 = BUF ( NET_3 )
NET_53 = BUF ( NET_4 )
NET_54 = BUF ( NET_5 )
NET_55 = BUF ( NET_6 )
NET_56 = BUF ( NET_7 )
NET_57 = BUF ( NET_8 )
NET_58 = BUF ( NET_9 )