atpg-ls/benchmark/b04.bench
2023-03-09 03:31:16 +00:00

663 lines
22 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_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_8)
INPUT(NET_9)
OUTPUT(NET_1308)
OUTPUT(NET_1309)
OUTPUT(NET_344)
OUTPUT(NET_345)
OUTPUT(NET_346)
OUTPUT(NET_347)
OUTPUT(NET_348)
OUTPUT(NET_349)
OUTPUT(NET_350)
OUTPUT(NET_351)
OUTPUT(NET_352)
OUTPUT(NET_353)
OUTPUT(NET_354)
OUTPUT(NET_355)
OUTPUT(NET_356)
OUTPUT(NET_357)
OUTPUT(NET_358)
OUTPUT(NET_359)
OUTPUT(NET_360)
OUTPUT(NET_361)
OUTPUT(NET_362)
OUTPUT(NET_363)
OUTPUT(NET_364)
OUTPUT(NET_365)
OUTPUT(NET_366)
OUTPUT(NET_367)
OUTPUT(NET_368)
OUTPUT(NET_369)
OUTPUT(NET_370)
OUTPUT(NET_371)
OUTPUT(NET_372)
OUTPUT(NET_373)
OUTPUT(NET_374)
OUTPUT(NET_375)
OUTPUT(NET_376)
OUTPUT(NET_377)
OUTPUT(NET_378)
OUTPUT(NET_379)
OUTPUT(NET_380)
OUTPUT(NET_381)
OUTPUT(NET_382)
OUTPUT(NET_383)
OUTPUT(NET_489)
OUTPUT(NET_490)
OUTPUT(NET_491)
OUTPUT(NET_492)
OUTPUT(NET_493)
OUTPUT(NET_494)
OUTPUT(NET_495)
OUTPUT(NET_496)
OUTPUT(NET_530)
OUTPUT(NET_531)
OUTPUT(NET_532)
OUTPUT(NET_533)
OUTPUT(NET_534)
OUTPUT(NET_535)
OUTPUT(NET_536)
OUTPUT(NET_537)
OUTPUT(NET_572)
OUTPUT(NET_573)
OUTPUT(NET_574)
OUTPUT(NET_583)
OUTPUT(NET_589)
OUTPUT(NET_593)
OUTPUT(NET_596)
OUTPUT(NET_597)
OUTPUT(NET_78)
OUTPUT(NET_79)
OUTPUT(NET_80)
OUTPUT(NET_81)
OUTPUT(NET_82)
OUTPUT(NET_83)
OUTPUT(NET_84)
OUTPUT(NET_85)
new_n152_ = NOT ( NET_77 )
new_n153_ = NOR ( new_n152_, NET_76 )
new_n154_ = NOT ( NET_76 )
new_n155_ = NOR ( NET_77, new_n154_ )
NET_1308 = OR ( new_n155_, new_n153_ )
NET_1309 = NOR ( NET_77, NET_76 )
new_n158_ = NOT ( NET_4 )
new_n159_ = NOR ( NET_77, NET_3 )
new_n160_ = OR ( new_n159_, new_n154_ )
new_n161_ = OR ( new_n160_, new_n158_ )
new_n162_ = NOT ( NET_28 )
new_n163_ = NOR ( new_n159_, NET_1309 )
new_n164_ = OR ( new_n163_, new_n162_ )
NET_344 = NAND ( new_n164_, new_n161_ )
new_n166_ = NOT ( NET_5 )
new_n167_ = OR ( new_n160_, new_n166_ )
new_n168_ = NOT ( NET_29 )
new_n169_ = OR ( new_n163_, new_n168_ )
NET_345 = NAND ( new_n169_, new_n167_ )
new_n171_ = NOT ( NET_6 )
new_n172_ = OR ( new_n160_, new_n171_ )
new_n173_ = NOT ( NET_30 )
new_n174_ = OR ( new_n163_, new_n173_ )
NET_346 = NAND ( new_n174_, new_n172_ )
new_n176_ = NOT ( NET_7 )
new_n177_ = OR ( new_n160_, new_n176_ )
new_n178_ = NOT ( NET_31 )
new_n179_ = OR ( new_n163_, new_n178_ )
NET_347 = NAND ( new_n179_, new_n177_ )
new_n181_ = NOT ( NET_8 )
new_n182_ = OR ( new_n160_, new_n181_ )
new_n183_ = NOT ( NET_32 )
new_n184_ = OR ( new_n163_, new_n183_ )
NET_348 = NAND ( new_n184_, new_n182_ )
new_n186_ = NOT ( NET_9 )
new_n187_ = OR ( new_n160_, new_n186_ )
new_n188_ = NOT ( NET_33 )
new_n189_ = OR ( new_n163_, new_n188_ )
NET_349 = NAND ( new_n189_, new_n187_ )
new_n191_ = NOT ( NET_10 )
new_n192_ = OR ( new_n160_, new_n191_ )
new_n193_ = NOT ( NET_34 )
new_n194_ = OR ( new_n163_, new_n193_ )
NET_350 = NAND ( new_n194_, new_n192_ )
new_n196_ = NOT ( NET_11 )
new_n197_ = OR ( new_n160_, new_n196_ )
new_n198_ = NOT ( NET_35 )
new_n199_ = OR ( new_n163_, new_n198_ )
NET_351 = NAND ( new_n199_, new_n197_ )
new_n201_ = NAND ( new_n155_, NET_4 )
new_n202_ = NOT ( NET_36 )
new_n203_ = OR ( NET_1308, new_n202_ )
NET_352 = NAND ( new_n203_, new_n201_ )
new_n205_ = NAND ( new_n155_, NET_5 )
new_n206_ = NOT ( NET_37 )
new_n207_ = OR ( NET_1308, new_n206_ )
NET_353 = NAND ( new_n207_, new_n205_ )
new_n209_ = NAND ( new_n155_, NET_6 )
new_n210_ = NOT ( NET_38 )
new_n211_ = OR ( NET_1308, new_n210_ )
NET_354 = NAND ( new_n211_, new_n209_ )
new_n213_ = NAND ( new_n155_, NET_7 )
new_n214_ = NOT ( NET_39 )
new_n215_ = OR ( NET_1308, new_n214_ )
NET_355 = NAND ( new_n215_, new_n213_ )
new_n217_ = NAND ( new_n155_, NET_8 )
new_n218_ = NOT ( NET_40 )
new_n219_ = OR ( NET_1308, new_n218_ )
NET_356 = NAND ( new_n219_, new_n217_ )
new_n221_ = NAND ( new_n155_, NET_9 )
new_n222_ = NOT ( NET_41 )
new_n223_ = OR ( NET_1308, new_n222_ )
NET_357 = NAND ( new_n223_, new_n221_ )
new_n225_ = NAND ( new_n155_, NET_10 )
new_n226_ = NOT ( NET_42 )
new_n227_ = OR ( NET_1308, new_n226_ )
NET_358 = NAND ( new_n227_, new_n225_ )
new_n229_ = NAND ( new_n155_, NET_11 )
new_n230_ = NOT ( NET_43 )
new_n231_ = OR ( NET_1308, new_n230_ )
NET_359 = NAND ( new_n231_, new_n229_ )
new_n233_ = NAND ( new_n155_, NET_36 )
new_n234_ = NOT ( NET_44 )
new_n235_ = OR ( NET_1308, new_n234_ )
NET_360 = NAND ( new_n235_, new_n233_ )
new_n237_ = NAND ( new_n155_, NET_37 )
new_n238_ = NOT ( NET_45 )
new_n239_ = OR ( NET_1308, new_n238_ )
NET_361 = NAND ( new_n239_, new_n237_ )
new_n241_ = NAND ( new_n155_, NET_38 )
new_n242_ = NOT ( NET_46 )
new_n243_ = OR ( NET_1308, new_n242_ )
NET_362 = NAND ( new_n243_, new_n241_ )
new_n245_ = NAND ( new_n155_, NET_39 )
new_n246_ = NOT ( NET_47 )
new_n247_ = OR ( NET_1308, new_n246_ )
NET_363 = NAND ( new_n247_, new_n245_ )
new_n249_ = NAND ( new_n155_, NET_40 )
new_n250_ = NOT ( NET_48 )
new_n251_ = OR ( NET_1308, new_n250_ )
NET_364 = NAND ( new_n251_, new_n249_ )
new_n253_ = NAND ( new_n155_, NET_41 )
new_n254_ = NOT ( NET_49 )
new_n255_ = OR ( NET_1308, new_n254_ )
NET_365 = NAND ( new_n255_, new_n253_ )
new_n257_ = NAND ( new_n155_, NET_42 )
new_n258_ = NOT ( NET_50 )
new_n259_ = OR ( NET_1308, new_n258_ )
NET_366 = NAND ( new_n259_, new_n257_ )
new_n261_ = NAND ( new_n155_, NET_43 )
new_n262_ = NOT ( NET_51 )
new_n263_ = OR ( NET_1308, new_n262_ )
NET_367 = NAND ( new_n263_, new_n261_ )
new_n265_ = NAND ( new_n155_, NET_44 )
new_n266_ = NOT ( NET_52 )
new_n267_ = OR ( NET_1308, new_n266_ )
NET_368 = NAND ( new_n267_, new_n265_ )
new_n269_ = NAND ( new_n155_, NET_45 )
new_n270_ = NOT ( NET_53 )
new_n271_ = OR ( NET_1308, new_n270_ )
NET_369 = NAND ( new_n271_, new_n269_ )
new_n273_ = NAND ( new_n155_, NET_46 )
new_n274_ = NOT ( NET_54 )
new_n275_ = OR ( NET_1308, new_n274_ )
NET_370 = NAND ( new_n275_, new_n273_ )
new_n277_ = NAND ( new_n155_, NET_47 )
new_n278_ = NOT ( NET_55 )
new_n279_ = OR ( NET_1308, new_n278_ )
NET_371 = NAND ( new_n279_, new_n277_ )
new_n281_ = NAND ( new_n155_, NET_48 )
new_n282_ = NOT ( NET_56 )
new_n283_ = OR ( NET_1308, new_n282_ )
NET_372 = NAND ( new_n283_, new_n281_ )
new_n285_ = NAND ( new_n155_, NET_49 )
new_n286_ = NOT ( NET_57 )
new_n287_ = OR ( NET_1308, new_n286_ )
NET_373 = NAND ( new_n287_, new_n285_ )
new_n289_ = NAND ( new_n155_, NET_50 )
new_n290_ = NOT ( NET_58 )
new_n291_ = OR ( NET_1308, new_n290_ )
NET_374 = NAND ( new_n291_, new_n289_ )
new_n293_ = NAND ( new_n155_, NET_51 )
new_n294_ = NOT ( NET_59 )
new_n295_ = OR ( NET_1308, new_n294_ )
NET_375 = NAND ( new_n295_, new_n293_ )
new_n297_ = NAND ( new_n155_, NET_52 )
new_n298_ = NOT ( NET_60 )
new_n299_ = OR ( NET_1308, new_n298_ )
NET_376 = NAND ( new_n299_, new_n297_ )
new_n301_ = NAND ( new_n155_, NET_53 )
new_n302_ = NOT ( NET_61 )
new_n303_ = OR ( NET_1308, new_n302_ )
NET_377 = NAND ( new_n303_, new_n301_ )
new_n305_ = NAND ( new_n155_, NET_54 )
new_n306_ = NOT ( NET_62 )
new_n307_ = OR ( NET_1308, new_n306_ )
NET_378 = NAND ( new_n307_, new_n305_ )
new_n309_ = NAND ( new_n155_, NET_55 )
new_n310_ = NOT ( NET_63 )
new_n311_ = OR ( NET_1308, new_n310_ )
NET_379 = NAND ( new_n311_, new_n309_ )
new_n313_ = NAND ( new_n155_, NET_56 )
new_n314_ = NOT ( NET_64 )
new_n315_ = OR ( NET_1308, new_n314_ )
NET_380 = NAND ( new_n315_, new_n313_ )
new_n317_ = NAND ( new_n155_, NET_57 )
new_n318_ = NOT ( NET_65 )
new_n319_ = OR ( NET_1308, new_n318_ )
NET_381 = NAND ( new_n319_, new_n317_ )
new_n321_ = NAND ( new_n155_, NET_58 )
new_n322_ = NOT ( NET_66 )
new_n323_ = OR ( NET_1308, new_n322_ )
NET_382 = NAND ( new_n323_, new_n321_ )
new_n325_ = NAND ( new_n155_, NET_59 )
new_n326_ = NOT ( NET_67 )
new_n327_ = OR ( NET_1308, new_n326_ )
NET_383 = NAND ( new_n327_, new_n325_ )
new_n329_ = NOT ( NET_1309 )
new_n330_ = NAND ( new_n158_, NET_12 )
new_n331_ = AND ( NET_18, new_n191_ )
new_n332_ = OR ( new_n331_, NET_19, new_n196_ )
new_n333_ = OR ( new_n186_, NET_17 )
new_n334_ = OR ( NET_18, new_n191_ )
new_n335_ = NAND ( new_n334_, new_n333_, new_n332_ )
new_n336_ = NAND ( new_n181_, NET_16 )
new_n337_ = NAND ( new_n186_, NET_17 )
new_n338_ = NAND ( new_n337_, new_n336_, new_n335_ )
new_n339_ = OR ( new_n176_, NET_15 )
new_n340_ = OR ( new_n181_, NET_16 )
new_n341_ = NAND ( new_n340_, new_n339_, new_n338_ )
new_n342_ = NAND ( new_n171_, NET_14 )
new_n343_ = NAND ( new_n176_, NET_15 )
new_n344_ = NAND ( new_n343_, new_n342_, new_n341_ )
new_n345_ = OR ( new_n166_, NET_13 )
new_n346_ = OR ( new_n171_, NET_14 )
new_n347_ = NAND ( new_n346_, new_n345_, new_n344_ )
new_n348_ = OR ( new_n158_, NET_12 )
new_n349_ = NAND ( new_n166_, NET_13 )
new_n350_ = NAND ( new_n349_, new_n348_, new_n347_ )
new_n351_ = AND ( new_n350_, new_n330_ )
new_n352_ = NAND ( new_n351_, new_n152_ )
new_n353_ = NAND ( new_n352_, new_n329_ )
new_n354_ = NAND ( new_n353_, NET_12 )
new_n355_ = OR ( new_n351_, new_n154_ )
new_n356_ = NAND ( new_n355_, new_n152_ )
new_n357_ = NAND ( new_n356_, NET_4 )
NET_489 = NAND ( new_n357_, new_n354_ )
new_n359_ = NAND ( new_n353_, NET_13 )
new_n360_ = NAND ( new_n356_, NET_5 )
NET_490 = NAND ( new_n360_, new_n359_ )
new_n362_ = NAND ( new_n353_, NET_14 )
new_n363_ = NAND ( new_n356_, NET_6 )
NET_491 = NAND ( new_n363_, new_n362_ )
new_n365_ = NAND ( new_n353_, NET_15 )
new_n366_ = NAND ( new_n356_, NET_7 )
NET_492 = NAND ( new_n366_, new_n365_ )
new_n368_ = NAND ( new_n353_, NET_16 )
new_n369_ = NAND ( new_n356_, NET_8 )
NET_493 = NAND ( new_n369_, new_n368_ )
new_n371_ = NAND ( new_n353_, NET_17 )
new_n372_ = NAND ( new_n356_, NET_9 )
NET_494 = NAND ( new_n372_, new_n371_ )
new_n374_ = NAND ( new_n353_, NET_18 )
new_n375_ = NAND ( new_n356_, NET_10 )
NET_495 = NAND ( new_n375_, new_n374_ )
new_n377_ = NAND ( new_n353_, NET_19 )
new_n378_ = NAND ( new_n356_, NET_11 )
NET_496 = NAND ( new_n378_, new_n377_ )
new_n380_ = OR ( new_n158_, NET_20 )
new_n381_ = OR ( NET_26, new_n191_ )
new_n382_ = NAND ( new_n381_, NET_27, new_n196_ )
new_n383_ = NAND ( new_n186_, NET_25 )
new_n384_ = NAND ( NET_26, new_n191_ )
new_n385_ = NAND ( new_n384_, new_n383_, new_n382_ )
new_n386_ = OR ( new_n181_, NET_24 )
new_n387_ = OR ( new_n186_, NET_25 )
new_n388_ = NAND ( new_n387_, new_n386_, new_n385_ )
new_n389_ = NAND ( new_n176_, NET_23 )
new_n390_ = NAND ( new_n181_, NET_24 )
new_n391_ = NAND ( new_n390_, new_n389_, new_n388_ )
new_n392_ = OR ( new_n171_, NET_22 )
new_n393_ = OR ( new_n176_, NET_23 )
new_n394_ = NAND ( new_n393_, new_n392_, new_n391_ )
new_n395_ = NAND ( new_n166_, NET_21 )
new_n396_ = NAND ( new_n171_, NET_22 )
new_n397_ = NAND ( new_n396_, new_n395_, new_n394_ )
new_n398_ = NAND ( new_n158_, NET_20 )
new_n399_ = OR ( new_n166_, NET_21 )
new_n400_ = NAND ( new_n399_, new_n398_, new_n397_ )
new_n401_ = NAND ( new_n400_, new_n380_ )
new_n402_ = NAND ( new_n401_, new_n351_, NET_76 )
new_n403_ = NAND ( new_n402_, new_n152_ )
new_n404_ = NAND ( new_n403_, NET_4 )
new_n405_ = NAND ( new_n401_, new_n351_ )
new_n406_ = NAND ( new_n405_, new_n152_ )
new_n407_ = NAND ( new_n406_, new_n329_ )
new_n408_ = NAND ( new_n407_, NET_20 )
NET_530 = NAND ( new_n408_, new_n404_ )
new_n410_ = NAND ( new_n403_, NET_5 )
new_n411_ = NAND ( new_n407_, NET_21 )
NET_531 = NAND ( new_n411_, new_n410_ )
new_n413_ = NAND ( new_n403_, NET_6 )
new_n414_ = NAND ( new_n407_, NET_22 )
NET_532 = NAND ( new_n414_, new_n413_ )
new_n416_ = NAND ( new_n403_, NET_7 )
new_n417_ = NAND ( new_n407_, NET_23 )
NET_533 = NAND ( new_n417_, new_n416_ )
new_n419_ = NAND ( new_n403_, NET_8 )
new_n420_ = NAND ( new_n407_, NET_24 )
NET_534 = NAND ( new_n420_, new_n419_ )
new_n422_ = NAND ( new_n403_, NET_9 )
new_n423_ = NAND ( new_n407_, NET_25 )
NET_535 = NAND ( new_n423_, new_n422_ )
new_n425_ = NAND ( new_n403_, NET_10 )
new_n426_ = NAND ( new_n407_, NET_26 )
NET_536 = NAND ( new_n426_, new_n425_ )
new_n428_ = NAND ( new_n403_, NET_11 )
new_n429_ = NAND ( new_n407_, NET_27 )
NET_537 = NAND ( new_n429_, new_n428_ )
new_n431_ = OR ( new_n181_, NET_1 )
new_n432_ = NAND ( NET_16, NET_1 )
new_n433_ = NAND ( new_n432_, new_n431_ )
new_n434_ = OR ( new_n314_, NET_1 )
new_n435_ = NAND ( NET_24, NET_1 )
new_n436_ = NAND ( new_n435_, new_n434_ )
new_n437_ = OR ( new_n436_, new_n433_ )
new_n438_ = NAND ( new_n436_, new_n433_ )
new_n439_ = NAND ( new_n438_, new_n437_ )
new_n440_ = OR ( new_n186_, NET_1 )
new_n441_ = NAND ( NET_17, NET_1 )
new_n442_ = NAND ( new_n441_, new_n440_ )
new_n443_ = OR ( new_n318_, NET_1 )
new_n444_ = NAND ( NET_25, NET_1 )
new_n445_ = NAND ( new_n444_, new_n443_ )
new_n446_ = NAND ( new_n445_, new_n442_ )
new_n447_ = OR ( new_n196_, NET_1 )
new_n448_ = NAND ( NET_19, NET_1 )
new_n449_ = NAND ( new_n448_, new_n447_ )
new_n450_ = OR ( new_n326_, NET_1 )
new_n451_ = NAND ( NET_27, NET_1 )
new_n452_ = NAND ( new_n451_, new_n450_ )
new_n453_ = NAND ( new_n452_, new_n449_ )
new_n454_ = NOR ( NET_66, NET_1 )
new_n455_ = NOT ( NET_1 )
new_n456_ = NOR ( NET_26, new_n455_ )
new_n457_ = OR ( new_n456_, new_n454_ )
new_n458_ = OR ( new_n457_, new_n453_ )
new_n459_ = OR ( new_n191_, NET_1 )
new_n460_ = NAND ( NET_18, NET_1 )
new_n461_ = NAND ( new_n460_, new_n459_ )
new_n462_ = NAND ( new_n457_, new_n453_ )
new_n463_ = NAND ( new_n462_, new_n461_ )
new_n464_ = NAND ( new_n463_, new_n458_ )
new_n465_ = OR ( new_n445_, new_n442_ )
new_n466_ = NAND ( new_n465_, new_n464_ )
new_n467_ = NAND ( new_n466_, new_n446_, new_n439_ )
new_n468_ = NAND ( new_n466_, new_n446_ )
new_n469_ = NAND ( new_n468_, new_n438_, new_n437_ )
new_n470_ = NAND ( new_n469_, new_n467_ )
new_n471_ = NOT ( new_n155_ )
new_n472_ = NOT ( NET_3 )
new_n473_ = NOR ( new_n472_, NET_2 )
new_n474_ = NOR ( new_n473_, NET_1 )
new_n475_ = NOR ( new_n474_, new_n471_ )
new_n476_ = NOT ( new_n475_ )
new_n477_ = OR ( new_n158_, NET_1 )
new_n478_ = NAND ( NET_12, NET_1 )
new_n479_ = NAND ( new_n478_, new_n477_ )
new_n480_ = OR ( new_n298_, NET_1 )
new_n481_ = NAND ( NET_20, NET_1 )
new_n482_ = NAND ( new_n481_, new_n480_ )
new_n483_ = OR ( new_n166_, NET_1 )
new_n484_ = NAND ( NET_13, NET_1 )
new_n485_ = NAND ( new_n484_, new_n483_ )
new_n486_ = NOT ( new_n485_ )
new_n487_ = OR ( new_n302_, NET_1 )
new_n488_ = NAND ( NET_21, NET_1 )
new_n489_ = NAND ( new_n488_, new_n487_ )
new_n490_ = NOT ( new_n489_ )
new_n491_ = OR ( new_n322_, NET_1 )
new_n492_ = NAND ( NET_26, NET_1 )
new_n493_ = NAND ( new_n492_, new_n491_ )
new_n494_ = NAND ( new_n493_, new_n461_ )
new_n495_ = NAND ( new_n494_, new_n453_ )
new_n496_ = OR ( new_n493_, new_n461_ )
new_n497_ = NAND ( new_n496_, new_n495_, new_n465_ )
new_n498_ = NAND ( new_n497_, new_n446_, new_n438_ )
new_n499_ = OR ( new_n176_, NET_1 )
new_n500_ = NAND ( NET_15, NET_1 )
new_n501_ = NAND ( new_n500_, new_n499_ )
new_n502_ = OR ( new_n310_, NET_1 )
new_n503_ = NAND ( NET_23, NET_1 )
new_n504_ = NAND ( new_n503_, new_n502_ )
new_n505_ = OR ( new_n504_, new_n501_ )
new_n506_ = NAND ( new_n505_, new_n498_, new_n437_ )
new_n507_ = NAND ( new_n504_, new_n501_ )
new_n508_ = OR ( new_n171_, NET_1 )
new_n509_ = NAND ( NET_14, NET_1 )
new_n510_ = NAND ( new_n509_, new_n508_ )
new_n511_ = OR ( new_n306_, NET_1 )
new_n512_ = NAND ( NET_22, NET_1 )
new_n513_ = NAND ( new_n512_, new_n511_ )
new_n514_ = NAND ( new_n513_, new_n510_ )
new_n515_ = NAND ( new_n514_, new_n507_, new_n506_ )
new_n516_ = OR ( new_n489_, new_n485_ )
new_n517_ = NOR ( new_n513_, new_n510_ )
new_n518_ = NOT ( new_n517_ )
new_n519_ = NAND ( new_n518_, new_n516_, new_n515_ )
new_n521_ = NAND ( new_n482_, new_n479_ )
new_n522_ = OR ( new_n482_, new_n479_ )
new_n523_ = NAND ( new_n489_, new_n485_ )
new_n524_ = NAND ( new_n482_, new_n479_ )
new_n525_ = NAND ( new_n524_, new_n523_, new_n519_, new_n522_ )
new_n526_ = NAND ( new_n525_, new_n521_ )
new_n527_ = OR ( new_n526_, new_n476_ )
new_n528_ = OR ( new_n527_, new_n470_ )
new_n529_ = NAND ( new_n526_, new_n475_ )
new_n530_ = NOT ( new_n529_ )
new_n531_ = XOR ( new_n452_, new_n449_ )
new_n532_ = AND ( new_n452_, new_n449_ )
new_n533_ = OR ( new_n461_, new_n532_ )
new_n534_ = NAND ( new_n461_, new_n532_ )
new_n535_ = NAND ( new_n534_, new_n533_, new_n492_, new_n491_ )
new_n536_ = NOR ( new_n457_, new_n532_ )
new_n537_ = OR ( new_n536_, new_n461_ )
new_n538_ = NAND ( new_n461_, new_n458_ )
new_n539_ = NAND ( new_n538_, new_n537_ )
new_n540_ = NAND ( new_n539_, new_n535_ )
new_n541_ = OR ( new_n540_, new_n531_ )
new_n542_ = NAND ( new_n540_, new_n531_ )
new_n543_ = AND ( new_n542_, new_n541_ )
new_n544_ = NAND ( new_n465_, new_n446_ )
new_n545_ = XNOR ( new_n544_, new_n464_ )
new_n546_ = AND ( new_n545_, new_n541_ )
new_n547_ = NOR ( new_n545_, new_n541_ )
new_n548_ = NOR ( new_n547_, new_n546_ )
new_n549_ = OR ( new_n548_, new_n543_ )
new_n550_ = XOR ( new_n547_, new_n470_ )
new_n551_ = NAND ( new_n550_, new_n549_ )
new_n552_ = OR ( new_n550_, new_n549_ )
new_n553_ = NAND ( new_n552_, new_n551_, new_n530_ )
new_n554_ = AND ( new_n155_, NET_3, new_n455_ )
new_n555_ = NAND ( new_n554_, NET_2 )
new_n556_ = OR ( new_n555_, new_n318_ )
new_n557_ = NOT ( NET_73 )
new_n558_ = NOR ( NET_1308, new_n557_ )
new_n559_ = NAND ( new_n155_, new_n472_, new_n455_ )
new_n560_ = NOR ( new_n559_, new_n188_ )
new_n561_ = NOR ( new_n560_, new_n558_ )
NET_572 = NAND ( new_n561_, new_n556_, new_n553_, new_n528_ )
new_n563_ = NOT ( new_n527_ )
new_n564_ = NAND ( new_n545_, new_n563_ )
new_n565_ = NAND ( new_n548_, new_n543_ )
new_n566_ = NAND ( new_n565_, new_n549_, new_n530_ )
new_n567_ = OR ( new_n555_, new_n322_ )
new_n568_ = NOT ( NET_74 )
new_n569_ = NOR ( NET_1308, new_n568_ )
new_n570_ = NOR ( new_n559_, new_n193_ )
new_n571_ = NOR ( new_n570_, new_n569_ )
NET_573 = NAND ( new_n571_, new_n567_, new_n566_, new_n564_ )
new_n573_ = NAND ( new_n540_, new_n563_ )
new_n574_ = NAND ( new_n543_, new_n530_ )
new_n575_ = OR ( new_n555_, new_n326_ )
new_n576_ = NOT ( NET_75 )
new_n577_ = NOR ( NET_1308, new_n576_ )
new_n578_ = NOR ( new_n559_, new_n198_ )
new_n579_ = NOR ( new_n578_, new_n577_ )
NET_574 = NAND ( new_n579_, new_n575_, new_n574_, new_n573_ )
new_n581_ = NAND ( new_n547_, new_n470_ )
new_n582_ = NAND ( new_n468_, new_n437_ )
new_n583_ = NAND ( new_n582_, new_n438_ )
new_n584_ = XOR ( new_n504_, new_n501_ )
new_n585_ = XOR ( new_n584_, new_n583_ )
new_n586_ = NAND ( new_n585_, new_n581_ )
new_n587_ = OR ( new_n585_, new_n581_ )
new_n588_ = AND ( new_n587_, new_n586_ )
new_n589_ = NAND ( new_n588_, new_n552_ )
new_n590_ = OR ( new_n588_, new_n552_ )
new_n591_ = NAND ( new_n590_, new_n589_, new_n530_ )
new_n592_ = NAND ( new_n585_, new_n563_ )
new_n593_ = OR ( new_n555_, new_n314_ )
new_n594_ = NOT ( NET_72 )
new_n595_ = NOR ( NET_1308, new_n594_ )
new_n596_ = NOR ( new_n559_, new_n183_ )
new_n597_ = NOR ( new_n596_, new_n595_ )
NET_583 = NAND ( new_n597_, new_n593_, new_n592_, new_n591_ )
new_n599_ = NAND ( new_n507_, new_n582_, new_n438_ )
new_n600_ = NAND ( new_n599_, new_n505_ )
new_n601_ = NAND ( new_n518_, new_n514_ )
new_n602_ = XNOR ( new_n601_, new_n600_ )
new_n603_ = XNOR ( new_n602_, new_n587_ )
new_n604_ = NAND ( new_n603_, new_n590_ )
new_n605_ = OR ( new_n603_, new_n590_ )
new_n606_ = NAND ( new_n605_, new_n604_, new_n530_ )
new_n607_ = OR ( new_n602_, new_n527_ )
new_n608_ = OR ( new_n555_, new_n310_ )
new_n609_ = NOT ( NET_71 )
new_n610_ = NOR ( NET_1308, new_n609_ )
new_n611_ = NOR ( new_n559_, new_n178_ )
new_n612_ = NOR ( new_n611_, new_n610_ )
NET_589 = NAND ( new_n612_, new_n608_, new_n607_, new_n606_ )
new_n614_ = OR ( new_n600_, new_n517_ )
new_n615_ = OR ( new_n489_, new_n486_ )
new_n616_ = OR ( new_n490_, new_n485_ )
new_n617_ = NAND ( new_n616_, new_n615_, new_n614_, new_n514_ )
new_n618_ = NAND ( new_n600_, new_n514_ )
new_n619_ = NAND ( new_n616_, new_n615_ )
new_n620_ = NAND ( new_n619_, new_n618_, new_n518_ )
new_n621_ = NAND ( new_n620_, new_n617_ )
new_n622_ = NOR ( new_n585_, new_n581_ )
new_n623_ = AND ( new_n602_, new_n622_ )
new_n624_ = XOR ( new_n623_, new_n621_ )
new_n625_ = XNOR ( new_n624_, new_n605_ )
new_n626_ = NOR ( new_n625_, new_n529_ )
new_n627_ = OR ( new_n621_, new_n527_ )
new_n628_ = OR ( new_n555_, new_n306_ )
new_n629_ = NOT ( NET_70 )
new_n630_ = OR ( NET_1308, new_n629_ )
new_n631_ = OR ( new_n559_, new_n173_ )
new_n632_ = NAND ( new_n631_, new_n630_, new_n628_, new_n627_ )
NET_593 = OR ( new_n632_, new_n626_ )
new_n634_ = NOT ( NET_2 )
new_n635_ = NAND ( new_n554_, new_n634_ )
new_n636_ = NAND ( new_n155_, NET_1 )
new_n637_ = NAND ( new_n636_, new_n635_ )
new_n638_ = AND ( new_n637_, new_n526_ )
new_n639_ = NAND ( new_n638_, new_n623_, new_n621_, new_n605_ )
new_n640_ = OR ( new_n555_, new_n298_ )
new_n641_ = OR ( new_n559_, new_n162_ )
new_n642_ = NOT ( NET_68 )
new_n643_ = OR ( NET_1308, new_n642_ )
NET_596 = NAND ( new_n643_, new_n641_, new_n640_, new_n639_ )
new_n645_ = OR ( new_n624_, new_n605_ )
new_n646_ = NAND ( new_n623_, new_n621_ )
new_n647_ = OR ( new_n646_, new_n645_ )
new_n648_ = NAND ( new_n646_, new_n645_ )
new_n649_ = NAND ( new_n648_, new_n647_, new_n638_ )
new_n650_ = OR ( new_n555_, new_n302_ )
new_n651_ = OR ( new_n559_, new_n168_ )
new_n652_ = NOT ( NET_69 )
new_n653_ = OR ( NET_1308, new_n652_ )
NET_597 = NAND ( new_n653_, new_n651_, new_n650_, new_n649_ )
NET_78 = BUF ( NET_68 )
NET_79 = BUF ( NET_69 )
NET_80 = BUF ( NET_70 )
NET_81 = BUF ( NET_71 )
NET_82 = BUF ( NET_72 )
NET_83 = BUF ( NET_73 )
NET_84 = BUF ( NET_74 )
NET_85 = BUF ( NET_75 )