#   combinational logic example "c1355"
# -------------------------------------------------------------
# 
# 
#   total number of lines in the netlist ..............  1355
#   simplistically reduced equivalent fault set size =   1574
#         lines from primary input  gates .......    41
#         lines from primary output gates .......    32
#         lines from interior gate outputs ......   514
#         lines from **   259 ** fanout stems ...   768
# 
#         avg_fanin  =  1.95,     max_fanin  =  5
#         avg_fanout =  2.97,     max_fanout = 12
# 
# 
# 
# 
# 
INPUT(G1gat)
INPUT(G8gat)
INPUT(G15gat)
INPUT(G22gat)
INPUT(G29gat)
INPUT(G36gat)
INPUT(G43gat)
INPUT(G50gat)
INPUT(G57gat)
INPUT(G64gat)
INPUT(G71gat)
INPUT(G78gat)
INPUT(G85gat)
INPUT(G92gat)
INPUT(G99gat)
INPUT(G106gat)
INPUT(G113gat)
INPUT(G120gat)
INPUT(G127gat)
INPUT(G134gat)
INPUT(G141gat)
INPUT(G148gat)
INPUT(G155gat)
INPUT(G162gat)
INPUT(G169gat)
INPUT(G176gat)
INPUT(G183gat)
INPUT(G190gat)
INPUT(G197gat)
INPUT(G204gat)
INPUT(G211gat)
INPUT(G218gat)
INPUT(G225gat)
INPUT(G226gat)
INPUT(G227gat)
INPUT(G228gat)
INPUT(G229gat)
INPUT(G230gat)
INPUT(G231gat)
INPUT(G232gat)
INPUT(G233gat)
OUTPUT(G1324gat)
OUTPUT(G1325gat)
OUTPUT(G1326gat)
OUTPUT(G1327gat)
OUTPUT(G1328gat)
OUTPUT(G1329gat)
OUTPUT(G1330gat)
OUTPUT(G1331gat)
OUTPUT(G1332gat)
OUTPUT(G1333gat)
OUTPUT(G1334gat)
OUTPUT(G1335gat)
OUTPUT(G1336gat)
OUTPUT(G1337gat)
OUTPUT(G1338gat)
OUTPUT(G1339gat)
OUTPUT(G1340gat)
OUTPUT(G1341gat)
OUTPUT(G1342gat)
OUTPUT(G1343gat)
OUTPUT(G1344gat)
OUTPUT(G1345gat)
OUTPUT(G1346gat)
OUTPUT(G1347gat)
OUTPUT(G1348gat)
OUTPUT(G1349gat)
OUTPUT(G1350gat)
OUTPUT(G1351gat)
OUTPUT(G1352gat)
OUTPUT(G1353gat)
OUTPUT(G1354gat)
OUTPUT(G1355gat)

G242gat = and(G225gat, G233gat)
G245gat = and(G226gat, G233gat)
G248gat = and(G227gat, G233gat)
G251gat = and(G228gat, G233gat)
G254gat = and(G229gat, G233gat)
G257gat = and(G230gat, G233gat)
G260gat = and(G231gat, G233gat)
G263gat = and(G232gat, G233gat)
G266gat = nand(G1gat, G8gat)
G269gat = nand(G15gat, G22gat)
G272gat = nand(G29gat, G36gat)
G275gat = nand(G43gat, G50gat)
G278gat = nand(G57gat, G64gat)
G281gat = nand(G71gat, G78gat)
G284gat = nand(G85gat, G92gat)
G287gat = nand(G99gat, G106gat)
G290gat = nand(G113gat, G120gat)
G293gat = nand(G127gat, G134gat)
G296gat = nand(G141gat, G148gat)
G299gat = nand(G155gat, G162gat)
G302gat = nand(G169gat, G176gat)
G305gat = nand(G183gat, G190gat)
G308gat = nand(G197gat, G204gat)
G311gat = nand(G211gat, G218gat)
G314gat = nand(G1gat, G29gat)
G317gat = nand(G57gat, G85gat)
G320gat = nand(G8gat, G36gat)
G323gat = nand(G64gat, G92gat)
G326gat = nand(G15gat, G43gat)
G329gat = nand(G71gat, G99gat)
G332gat = nand(G22gat, G50gat)
G335gat = nand(G78gat, G106gat)
G338gat = nand(G113gat, G141gat)
G341gat = nand(G169gat, G197gat)
G344gat = nand(G120gat, G148gat)
G347gat = nand(G176gat, G204gat)
G350gat = nand(G127gat, G155gat)
G353gat = nand(G183gat, G211gat)
G356gat = nand(G134gat, G162gat)
G359gat = nand(G190gat, G218gat)
G362gat = nand(G1gat, G266gat)
G363gat = nand(G8gat, G266gat)
G364gat = nand(G15gat, G269gat)
G365gat = nand(G22gat, G269gat)
G366gat = nand(G29gat, G272gat)
G367gat = nand(G36gat, G272gat)
G368gat = nand(G43gat, G275gat)
G369gat = nand(G50gat, G275gat)
G370gat = nand(G57gat, G278gat)
G371gat = nand(G64gat, G278gat)
G372gat = nand(G71gat, G281gat)
G373gat = nand(G78gat, G281gat)
G374gat = nand(G85gat, G284gat)
G375gat = nand(G92gat, G284gat)
G376gat = nand(G99gat, G287gat)
G377gat = nand(G106gat, G287gat)
G378gat = nand(G113gat, G290gat)
G379gat = nand(G120gat, G290gat)
G380gat = nand(G127gat, G293gat)
G381gat = nand(G134gat, G293gat)
G382gat = nand(G141gat, G296gat)
G383gat = nand(G148gat, G296gat)
G384gat = nand(G155gat, G299gat)
G385gat = nand(G162gat, G299gat)
G386gat = nand(G169gat, G302gat)
G387gat = nand(G176gat, G302gat)
G388gat = nand(G183gat, G305gat)
G389gat = nand(G190gat, G305gat)
G390gat = nand(G197gat, G308gat)
G391gat = nand(G204gat, G308gat)
G392gat = nand(G211gat, G311gat)
G393gat = nand(G218gat, G311gat)
G394gat = nand(G1gat, G314gat)
G395gat = nand(G29gat, G314gat)
G396gat = nand(G57gat, G317gat)
G397gat = nand(G85gat, G317gat)
G398gat = nand(G8gat, G320gat)
G399gat = nand(G36gat, G320gat)
G400gat = nand(G64gat, G323gat)
G401gat = nand(G92gat, G323gat)
G402gat = nand(G15gat, G326gat)
G403gat = nand(G43gat, G326gat)
G404gat = nand(G71gat, G329gat)
G405gat = nand(G99gat, G329gat)
G406gat = nand(G22gat, G332gat)
G407gat = nand(G50gat, G332gat)
G408gat = nand(G78gat, G335gat)
G409gat = nand(G106gat, G335gat)
G410gat = nand(G113gat, G338gat)
G411gat = nand(G141gat, G338gat)
G412gat = nand(G169gat, G341gat)
G413gat = nand(G197gat, G341gat)
G414gat = nand(G120gat, G344gat)
G415gat = nand(G148gat, G344gat)
G416gat = nand(G176gat, G347gat)
G417gat = nand(G204gat, G347gat)
G418gat = nand(G127gat, G350gat)
G419gat = nand(G155gat, G350gat)
G420gat = nand(G183gat, G353gat)
G421gat = nand(G211gat, G353gat)
G422gat = nand(G134gat, G356gat)
G423gat = nand(G162gat, G356gat)
G424gat = nand(G190gat, G359gat)
G425gat = nand(G218gat, G359gat)
G426gat = nand(G362gat, G363gat)
G429gat = nand(G364gat, G365gat)
G432gat = nand(G366gat, G367gat)
G435gat = nand(G368gat, G369gat)
G438gat = nand(G370gat, G371gat)
G441gat = nand(G372gat, G373gat)
G444gat = nand(G374gat, G375gat)
G447gat = nand(G376gat, G377gat)
G450gat = nand(G378gat, G379gat)
G453gat = nand(G380gat, G381gat)
G456gat = nand(G382gat, G383gat)
G459gat = nand(G384gat, G385gat)
G462gat = nand(G386gat, G387gat)
G465gat = nand(G388gat, G389gat)
G468gat = nand(G390gat, G391gat)
G471gat = nand(G392gat, G393gat)
G474gat = nand(G394gat, G395gat)
G477gat = nand(G396gat, G397gat)
G480gat = nand(G398gat, G399gat)
G483gat = nand(G400gat, G401gat)
G486gat = nand(G402gat, G403gat)
G489gat = nand(G404gat, G405gat)
G492gat = nand(G406gat, G407gat)
G495gat = nand(G408gat, G409gat)
G498gat = nand(G410gat, G411gat)
G501gat = nand(G412gat, G413gat)
G504gat = nand(G414gat, G415gat)
G507gat = nand(G416gat, G417gat)
G510gat = nand(G418gat, G419gat)
G513gat = nand(G420gat, G421gat)
G516gat = nand(G422gat, G423gat)
G519gat = nand(G424gat, G425gat)
G522gat = nand(G426gat, G429gat)
G525gat = nand(G432gat, G435gat)
G528gat = nand(G438gat, G441gat)
G531gat = nand(G444gat, G447gat)
G534gat = nand(G450gat, G453gat)
G537gat = nand(G456gat, G459gat)
G540gat = nand(G462gat, G465gat)
G543gat = nand(G468gat, G471gat)
G546gat = nand(G474gat, G477gat)
G549gat = nand(G480gat, G483gat)
G552gat = nand(G486gat, G489gat)
G555gat = nand(G492gat, G495gat)
G558gat = nand(G498gat, G501gat)
G561gat = nand(G504gat, G507gat)
G564gat = nand(G510gat, G513gat)
G567gat = nand(G516gat, G519gat)
G570gat = nand(G426gat, G522gat)
G571gat = nand(G429gat, G522gat)
G572gat = nand(G432gat, G525gat)
G573gat = nand(G435gat, G525gat)
G574gat = nand(G438gat, G528gat)
G575gat = nand(G441gat, G528gat)
G576gat = nand(G444gat, G531gat)
G577gat = nand(G447gat, G531gat)
G578gat = nand(G450gat, G534gat)
G579gat = nand(G453gat, G534gat)
G580gat = nand(G456gat, G537gat)
G581gat = nand(G459gat, G537gat)
G582gat = nand(G462gat, G540gat)
G583gat = nand(G465gat, G540gat)
G584gat = nand(G468gat, G543gat)
G585gat = nand(G471gat, G543gat)
G586gat = nand(G474gat, G546gat)
G587gat = nand(G477gat, G546gat)
G588gat = nand(G480gat, G549gat)
G589gat = nand(G483gat, G549gat)
G590gat = nand(G486gat, G552gat)
G591gat = nand(G489gat, G552gat)
G592gat = nand(G492gat, G555gat)
G593gat = nand(G495gat, G555gat)
G594gat = nand(G498gat, G558gat)
G595gat = nand(G501gat, G558gat)
G596gat = nand(G504gat, G561gat)
G597gat = nand(G507gat, G561gat)
G598gat = nand(G510gat, G564gat)
G599gat = nand(G513gat, G564gat)
G600gat = nand(G516gat, G567gat)
G601gat = nand(G519gat, G567gat)
G602gat = nand(G570gat, G571gat)
G607gat = nand(G572gat, G573gat)
G612gat = nand(G574gat, G575gat)
G617gat = nand(G576gat, G577gat)
G622gat = nand(G578gat, G579gat)
G627gat = nand(G580gat, G581gat)
G632gat = nand(G582gat, G583gat)
G637gat = nand(G584gat, G585gat)
G642gat = nand(G586gat, G587gat)
G645gat = nand(G588gat, G589gat)
G648gat = nand(G590gat, G591gat)
G651gat = nand(G592gat, G593gat)
G654gat = nand(G594gat, G595gat)
G657gat = nand(G596gat, G597gat)
G660gat = nand(G598gat, G599gat)
G663gat = nand(G600gat, G601gat)
G666gat = nand(G602gat, G607gat)
G669gat = nand(G612gat, G617gat)
G672gat = nand(G602gat, G612gat)
G675gat = nand(G607gat, G617gat)
G678gat = nand(G622gat, G627gat)
G681gat = nand(G632gat, G637gat)
G684gat = nand(G622gat, G632gat)
G687gat = nand(G627gat, G637gat)
G690gat = nand(G602gat, G666gat)
G691gat = nand(G607gat, G666gat)
G692gat = nand(G612gat, G669gat)
G693gat = nand(G617gat, G669gat)
G694gat = nand(G602gat, G672gat)
G695gat = nand(G612gat, G672gat)
G696gat = nand(G607gat, G675gat)
G697gat = nand(G617gat, G675gat)
G698gat = nand(G622gat, G678gat)
G699gat = nand(G627gat, G678gat)
G700gat = nand(G632gat, G681gat)
G701gat = nand(G637gat, G681gat)
G702gat = nand(G622gat, G684gat)
G703gat = nand(G632gat, G684gat)
G704gat = nand(G627gat, G687gat)
G705gat = nand(G637gat, G687gat)
G706gat = nand(G690gat, G691gat)
G709gat = nand(G692gat, G693gat)
G712gat = nand(G694gat, G695gat)
G715gat = nand(G696gat, G697gat)
G718gat = nand(G698gat, G699gat)
G721gat = nand(G700gat, G701gat)
G724gat = nand(G702gat, G703gat)
G727gat = nand(G704gat, G705gat)
G730gat = nand(G242gat, G718gat)
G733gat = nand(G245gat, G721gat)
G736gat = nand(G248gat, G724gat)
G739gat = nand(G251gat, G727gat)
G742gat = nand(G254gat, G706gat)
G745gat = nand(G257gat, G709gat)
G748gat = nand(G260gat, G712gat)
G751gat = nand(G263gat, G715gat)
G754gat = nand(G242gat, G730gat)
G755gat = nand(G718gat, G730gat)
G756gat = nand(G245gat, G733gat)
G757gat = nand(G721gat, G733gat)
G758gat = nand(G248gat, G736gat)
G759gat = nand(G724gat, G736gat)
G760gat = nand(G251gat, G739gat)
G761gat = nand(G727gat, G739gat)
G762gat = nand(G254gat, G742gat)
G763gat = nand(G706gat, G742gat)
G764gat = nand(G257gat, G745gat)
G765gat = nand(G709gat, G745gat)
G766gat = nand(G260gat, G748gat)
G767gat = nand(G712gat, G748gat)
G768gat = nand(G263gat, G751gat)
G769gat = nand(G715gat, G751gat)
G770gat = nand(G754gat, G755gat)
G773gat = nand(G756gat, G757gat)
G776gat = nand(G758gat, G759gat)
G779gat = nand(G760gat, G761gat)
G782gat = nand(G762gat, G763gat)
G785gat = nand(G764gat, G765gat)
G788gat = nand(G766gat, G767gat)
G791gat = nand(G768gat, G769gat)
G794gat = nand(G642gat, G770gat)
G797gat = nand(G645gat, G773gat)
G800gat = nand(G648gat, G776gat)
G803gat = nand(G651gat, G779gat)
G806gat = nand(G654gat, G782gat)
G809gat = nand(G657gat, G785gat)
G812gat = nand(G660gat, G788gat)
G815gat = nand(G663gat, G791gat)
G818gat = nand(G642gat, G794gat)
G819gat = nand(G770gat, G794gat)
G820gat = nand(G645gat, G797gat)
G821gat = nand(G773gat, G797gat)
G822gat = nand(G648gat, G800gat)
G823gat = nand(G776gat, G800gat)
G824gat = nand(G651gat, G803gat)
G825gat = nand(G779gat, G803gat)
G826gat = nand(G654gat, G806gat)
G827gat = nand(G782gat, G806gat)
G828gat = nand(G657gat, G809gat)
G829gat = nand(G785gat, G809gat)
G830gat = nand(G660gat, G812gat)
G831gat = nand(G788gat, G812gat)
G832gat = nand(G663gat, G815gat)
G833gat = nand(G791gat, G815gat)
G834gat = nand(G818gat, G819gat)
G847gat = nand(G820gat, G821gat)
G860gat = nand(G822gat, G823gat)
G873gat = nand(G824gat, G825gat)
G886gat = nand(G828gat, G829gat)
G899gat = nand(G832gat, G833gat)
G912gat = nand(G830gat, G831gat)
G925gat = nand(G826gat, G827gat)
G938gat = not(G834gat)
G939gat = not(G847gat)
G940gat = not(G860gat)
G941gat = not(G834gat)
G942gat = not(G847gat)
G943gat = not(G873gat)
G944gat = not(G834gat)
G945gat = not(G860gat)
G946gat = not(G873gat)
G947gat = not(G847gat)
G948gat = not(G860gat)
G949gat = not(G873gat)
G950gat = not(G886gat)
G951gat = not(G899gat)
G952gat = not(G886gat)
G953gat = not(G912gat)
G954gat = not(G925gat)
G955gat = not(G899gat)
G956gat = not(G925gat)
G957gat = not(G912gat)
G958gat = not(G925gat)
G959gat = not(G886gat)
G960gat = not(G912gat)
G961gat = not(G925gat)
G962gat = not(G886gat)
G963gat = not(G899gat)
G964gat = not(G925gat)
G965gat = not(G912gat)
G966gat = not(G899gat)
G967gat = not(G886gat)
G968gat = not(G912gat)
G969gat = not(G899gat)
G970gat = not(G847gat)
G971gat = not(G873gat)
G972gat = not(G847gat)
G973gat = not(G860gat)
G974gat = not(G834gat)
G975gat = not(G873gat)
G976gat = not(G834gat)
G977gat = not(G860gat)
G978gat = and(G938gat, G939gat, G940gat, G873gat)
G979gat = and(G941gat, G942gat, G860gat, G943gat)
G980gat = and(G944gat, G847gat, G945gat, G946gat)
G981gat = and(G834gat, G947gat, G948gat, G949gat)
G982gat = and(G958gat, G959gat, G960gat, G899gat)
G983gat = and(G961gat, G962gat, G912gat, G963gat)
G984gat = and(G964gat, G886gat, G965gat, G966gat)
G985gat = and(G925gat, G967gat, G968gat, G969gat)
G986gat = or(G978gat, G979gat, G980gat, G981gat)
G991gat = or(G982gat, G983gat, G984gat, G985gat)
G996gat = and(G925gat, G950gat, G912gat, G951gat, G986gat)
G1001gat = and(G925gat, G952gat, G953gat, G899gat, G986gat)
G1006gat = and(G954gat, G886gat, G912gat, G955gat, G986gat)
G1011gat = and(G956gat, G886gat, G957gat, G899gat, G986gat)
G1016gat = and(G834gat, G970gat, G860gat, G971gat, G991gat)
G1021gat = and(G834gat, G972gat, G973gat, G873gat, G991gat)
G1026gat = and(G974gat, G847gat, G860gat, G975gat, G991gat)
G1031gat = and(G976gat, G847gat, G977gat, G873gat, G991gat)
G1036gat = and(G834gat, G996gat)
G1039gat = and(G847gat, G996gat)
G1042gat = and(G860gat, G996gat)
G1045gat = and(G873gat, G996gat)
G1048gat = and(G834gat, G1001gat)
G1051gat = and(G847gat, G1001gat)
G1054gat = and(G860gat, G1001gat)
G1057gat = and(G873gat, G1001gat)
G1060gat = and(G834gat, G1006gat)
G1063gat = and(G847gat, G1006gat)
G1066gat = and(G860gat, G1006gat)
G1069gat = and(G873gat, G1006gat)
G1072gat = and(G834gat, G1011gat)
G1075gat = and(G847gat, G1011gat)
G1078gat = and(G860gat, G1011gat)
G1081gat = and(G873gat, G1011gat)
G1084gat = and(G925gat, G1016gat)
G1087gat = and(G886gat, G1016gat)
G1090gat = and(G912gat, G1016gat)
G1093gat = and(G899gat, G1016gat)
G1096gat = and(G925gat, G1021gat)
G1099gat = and(G886gat, G1021gat)
G1102gat = and(G912gat, G1021gat)
G1105gat = and(G899gat, G1021gat)
G1108gat = and(G925gat, G1026gat)
G1111gat = and(G886gat, G1026gat)
G1114gat = and(G912gat, G1026gat)
G1117gat = and(G899gat, G1026gat)
G1120gat = and(G925gat, G1031gat)
G1123gat = and(G886gat, G1031gat)
G1126gat = and(G912gat, G1031gat)
G1129gat = and(G899gat, G1031gat)
G1132gat = nand(G1gat, G1036gat)
G1135gat = nand(G8gat, G1039gat)
G1138gat = nand(G15gat, G1042gat)
G1141gat = nand(G22gat, G1045gat)
G1144gat = nand(G29gat, G1048gat)
G1147gat = nand(G36gat, G1051gat)
G1150gat = nand(G43gat, G1054gat)
G1153gat = nand(G50gat, G1057gat)
G1156gat = nand(G57gat, G1060gat)
G1159gat = nand(G64gat, G1063gat)
G1162gat = nand(G71gat, G1066gat)
G1165gat = nand(G78gat, G1069gat)
G1168gat = nand(G85gat, G1072gat)
G1171gat = nand(G92gat, G1075gat)
G1174gat = nand(G99gat, G1078gat)
G1177gat = nand(G106gat, G1081gat)
G1180gat = nand(G113gat, G1084gat)
G1183gat = nand(G120gat, G1087gat)
G1186gat = nand(G127gat, G1090gat)
G1189gat = nand(G134gat, G1093gat)
G1192gat = nand(G141gat, G1096gat)
G1195gat = nand(G148gat, G1099gat)
G1198gat = nand(G155gat, G1102gat)
G1201gat = nand(G162gat, G1105gat)
G1204gat = nand(G169gat, G1108gat)
G1207gat = nand(G176gat, G1111gat)
G1210gat = nand(G183gat, G1114gat)
G1213gat = nand(G190gat, G1117gat)
G1216gat = nand(G197gat, G1120gat)
G1219gat = nand(G204gat, G1123gat)
G1222gat = nand(G211gat, G1126gat)
G1225gat = nand(G218gat, G1129gat)
G1228gat = nand(G1gat, G1132gat)
G1229gat = nand(G1036gat, G1132gat)
G1230gat = nand(G8gat, G1135gat)
G1231gat = nand(G1039gat, G1135gat)
G1232gat = nand(G15gat, G1138gat)
G1233gat = nand(G1042gat, G1138gat)
G1234gat = nand(G22gat, G1141gat)
G1235gat = nand(G1045gat, G1141gat)
G1236gat = nand(G29gat, G1144gat)
G1237gat = nand(G1048gat, G1144gat)
G1238gat = nand(G36gat, G1147gat)
G1239gat = nand(G1051gat, G1147gat)
G1240gat = nand(G43gat, G1150gat)
G1241gat = nand(G1054gat, G1150gat)
G1242gat = nand(G50gat, G1153gat)
G1243gat = nand(G1057gat, G1153gat)
G1244gat = nand(G57gat, G1156gat)
G1245gat = nand(G1060gat, G1156gat)
G1246gat = nand(G64gat, G1159gat)
G1247gat = nand(G1063gat, G1159gat)
G1248gat = nand(G71gat, G1162gat)
G1249gat = nand(G1066gat, G1162gat)
G1250gat = nand(G78gat, G1165gat)
G1251gat = nand(G1069gat, G1165gat)
G1252gat = nand(G85gat, G1168gat)
G1253gat = nand(G1072gat, G1168gat)
G1254gat = nand(G92gat, G1171gat)
G1255gat = nand(G1075gat, G1171gat)
G1256gat = nand(G99gat, G1174gat)
G1257gat = nand(G1078gat, G1174gat)
G1258gat = nand(G106gat, G1177gat)
G1259gat = nand(G1081gat, G1177gat)
G1260gat = nand(G113gat, G1180gat)
G1261gat = nand(G1084gat, G1180gat)
G1262gat = nand(G120gat, G1183gat)
G1263gat = nand(G1087gat, G1183gat)
G1264gat = nand(G127gat, G1186gat)
G1265gat = nand(G1090gat, G1186gat)
G1266gat = nand(G134gat, G1189gat)
G1267gat = nand(G1093gat, G1189gat)
G1268gat = nand(G141gat, G1192gat)
G1269gat = nand(G1096gat, G1192gat)
G1270gat = nand(G148gat, G1195gat)
G1271gat = nand(G1099gat, G1195gat)
G1272gat = nand(G155gat, G1198gat)
G1273gat = nand(G1102gat, G1198gat)
G1274gat = nand(G162gat, G1201gat)
G1275gat = nand(G1105gat, G1201gat)
G1276gat = nand(G169gat, G1204gat)
G1277gat = nand(G1108gat, G1204gat)
G1278gat = nand(G176gat, G1207gat)
G1279gat = nand(G1111gat, G1207gat)
G1280gat = nand(G183gat, G1210gat)
G1281gat = nand(G1114gat, G1210gat)
G1282gat = nand(G190gat, G1213gat)
G1283gat = nand(G1117gat, G1213gat)
G1284gat = nand(G197gat, G1216gat)
G1285gat = nand(G1120gat, G1216gat)
G1286gat = nand(G204gat, G1219gat)
G1287gat = nand(G1123gat, G1219gat)
G1288gat = nand(G211gat, G1222gat)
G1289gat = nand(G1126gat, G1222gat)
G1290gat = nand(G218gat, G1225gat)
G1291gat = nand(G1129gat, G1225gat)
G1292gat = nand(G1228gat, G1229gat)
G1293gat = nand(G1230gat, G1231gat)
G1294gat = nand(G1232gat, G1233gat)
G1295gat = nand(G1234gat, G1235gat)
G1296gat = nand(G1236gat, G1237gat)
G1297gat = nand(G1238gat, G1239gat)
G1298gat = nand(G1240gat, G1241gat)
G1299gat = nand(G1242gat, G1243gat)
G1300gat = nand(G1244gat, G1245gat)
G1301gat = nand(G1246gat, G1247gat)
G1302gat = nand(G1248gat, G1249gat)
G1303gat = nand(G1250gat, G1251gat)
G1304gat = nand(G1252gat, G1253gat)
G1305gat = nand(G1254gat, G1255gat)
G1306gat = nand(G1256gat, G1257gat)
G1307gat = nand(G1258gat, G1259gat)
G1308gat = nand(G1260gat, G1261gat)
G1309gat = nand(G1262gat, G1263gat)
G1310gat = nand(G1264gat, G1265gat)
G1311gat = nand(G1266gat, G1267gat)
G1312gat = nand(G1268gat, G1269gat)
G1313gat = nand(G1270gat, G1271gat)
G1314gat = nand(G1272gat, G1273gat)
G1315gat = nand(G1274gat, G1275gat)
G1316gat = nand(G1276gat, G1277gat)
G1317gat = nand(G1278gat, G1279gat)
G1318gat = nand(G1280gat, G1281gat)
G1319gat = nand(G1282gat, G1283gat)
G1320gat = nand(G1284gat, G1285gat)
G1321gat = nand(G1286gat, G1287gat)
G1322gat = nand(G1288gat, G1289gat)
G1323gat = nand(G1290gat, G1291gat)
G1324gat = buf(G1292gat)
G1325gat = buf(G1293gat)
G1326gat = buf(G1294gat)
G1327gat = buf(G1295gat)
G1328gat = buf(G1296gat)
G1329gat = buf(G1297gat)
G1330gat = buf(G1298gat)
G1331gat = buf(G1299gat)
G1332gat = buf(G1300gat)
G1333gat = buf(G1301gat)
G1334gat = buf(G1302gat)
G1335gat = buf(G1303gat)
G1336gat = buf(G1304gat)
G1337gat = buf(G1305gat)
G1338gat = buf(G1306gat)
G1339gat = buf(G1307gat)
G1340gat = buf(G1308gat)
G1341gat = buf(G1309gat)
G1342gat = buf(G1310gat)
G1343gat = buf(G1311gat)
G1344gat = buf(G1312gat)
G1345gat = buf(G1313gat)
G1346gat = buf(G1314gat)
G1347gat = buf(G1315gat)
G1348gat = buf(G1316gat)
G1349gat = buf(G1317gat)
G1350gat = buf(G1318gat)
G1351gat = buf(G1319gat)
G1352gat = buf(G1320gat)
G1353gat = buf(G1321gat)
G1354gat = buf(G1322gat)
G1355gat = buf(G1323gat)