#   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)
