#   combinational logic example "c880"
# -------------------------------------------------------------
# 
# 
#   total number of lines in the netlist ..............   880
#   simplistically reduced equivalent fault set size =    942
#         lines from primary input  gates .......    60
#         lines from primary output gates .......    26
#         lines from interior gate outputs ......   357
#         lines from **   125 ** fanout stems ...   437
# 
#         avg_fanin  =  1.90,     max_fanin  =  4
#         avg_fanout =  3.50,     max_fanout =  8
# 
# 
# 
# 
# 
INPUT(G1gat)
INPUT(G8gat)
INPUT(G13gat)
INPUT(G17gat)
INPUT(G26gat)
INPUT(G29gat)
INPUT(G36gat)
INPUT(G42gat)
INPUT(G51gat)
INPUT(G55gat)
INPUT(G59gat)
INPUT(G68gat)
INPUT(G72gat)
INPUT(G73gat)
INPUT(G74gat)
INPUT(G75gat)
INPUT(G80gat)
INPUT(G85gat)
INPUT(G86gat)
INPUT(G87gat)
INPUT(G88gat)
INPUT(G89gat)
INPUT(G90gat)
INPUT(G91gat)
INPUT(G96gat)
INPUT(G101gat)
INPUT(G106gat)
INPUT(G111gat)
INPUT(G116gat)
INPUT(G121gat)
INPUT(G126gat)
INPUT(G130gat)
INPUT(G135gat)
INPUT(G138gat)
INPUT(G143gat)
INPUT(G146gat)
INPUT(G149gat)
INPUT(G152gat)
INPUT(G153gat)
INPUT(G156gat)
INPUT(G159gat)
INPUT(G165gat)
INPUT(G171gat)
INPUT(G177gat)
INPUT(G183gat)
INPUT(G189gat)
INPUT(G195gat)
INPUT(G201gat)
INPUT(G207gat)
INPUT(G210gat)
INPUT(G219gat)
INPUT(G228gat)
INPUT(G237gat)
INPUT(G246gat)
INPUT(G255gat)
INPUT(G259gat)
INPUT(G260gat)
INPUT(G261gat)
INPUT(G267gat)
INPUT(G268gat)
OUTPUT(G388gat)
OUTPUT(G389gat)
OUTPUT(G390gat)
OUTPUT(G391gat)
OUTPUT(G418gat)
OUTPUT(G419gat)
OUTPUT(G420gat)
OUTPUT(G421gat)
OUTPUT(G422gat)
OUTPUT(G423gat)
OUTPUT(G446gat)
OUTPUT(G447gat)
OUTPUT(G448gat)
OUTPUT(G449gat)
OUTPUT(G450gat)
OUTPUT(G767gat)
OUTPUT(G768gat)
OUTPUT(G850gat)
OUTPUT(G863gat)
OUTPUT(G864gat)
OUTPUT(G865gat)
OUTPUT(G866gat)
OUTPUT(G874gat)
OUTPUT(G878gat)
OUTPUT(G879gat)
OUTPUT(G880gat)

G269gat = nand(G1gat, G8gat, G13gat, G17gat)
G270gat = nand(G1gat, G26gat, G13gat, G17gat)
G273gat = and(G29gat, G36gat, G42gat)
G276gat = and(G1gat, G26gat, G51gat)
G279gat = nand(G1gat, G8gat, G51gat, G17gat)
G280gat = nand(G1gat, G8gat, G13gat, G55gat)
G284gat = nand(G59gat, G42gat, G68gat, G72gat)
G285gat = nand(G29gat, G68gat)
G286gat = nand(G59gat, G68gat, G74gat)
G287gat = and(G29gat, G75gat, G80gat)
G290gat = and(G29gat, G75gat, G42gat)
G291gat = and(G29gat, G36gat, G80gat)
G292gat = and(G29gat, G36gat, G42gat)
G293gat = and(G59gat, G75gat, G80gat)
G294gat = and(G59gat, G75gat, G42gat)
G295gat = and(G59gat, G36gat, G80gat)
G296gat = and(G59gat, G36gat, G42gat)
G297gat = and(G85gat, G86gat)
G298gat = or(G87gat, G88gat)
G301gat = nand(G91gat, G96gat)
G302gat = or(G91gat, G96gat)
G303gat = nand(G101gat, G106gat)
G304gat = or(G101gat, G106gat)
G305gat = nand(G111gat, G116gat)
G306gat = or(G111gat, G116gat)
G307gat = nand(G121gat, G126gat)
G308gat = or(G121gat, G126gat)
G309gat = and(G8gat, G138gat)
G310gat = not(G268gat)
G316gat = and(G51gat, G138gat)
G317gat = and(G17gat, G138gat)
G318gat = and(G152gat, G138gat)
G319gat = nand(G59gat, G156gat)
G322gat = nor(G17gat, G42gat)
G323gat = and(G17gat, G42gat)
G324gat = nand(G159gat, G165gat)
G325gat = or(G159gat, G165gat)
G326gat = nand(G171gat, G177gat)
G327gat = or(G171gat, G177gat)
G328gat = nand(G183gat, G189gat)
G329gat = or(G183gat, G189gat)
G330gat = nand(G195gat, G201gat)
G331gat = or(G195gat, G201gat)
G332gat = and(G210gat, G91gat)
G333gat = and(G210gat, G96gat)
G334gat = and(G210gat, G101gat)
G335gat = and(G210gat, G106gat)
G336gat = and(G210gat, G111gat)
G337gat = and(G255gat, G259gat)
G338gat = and(G210gat, G116gat)
G339gat = and(G255gat, G260gat)
G340gat = and(G210gat, G121gat)
G341gat = and(G255gat, G267gat)
G342gat = not(G269gat)
G343gat = not(G273gat)
G344gat = or(G270gat, G273gat)
G345gat = not(G276gat)
G346gat = not(G276gat)
G347gat = not(G279gat)
G348gat = nor(G280gat, G284gat)
G349gat = or(G280gat, G285gat)
G350gat = or(G280gat, G286gat)
G351gat = not(G293gat)
G352gat = not(G294gat)
G353gat = not(G295gat)
G354gat = not(G296gat)
G355gat = nand(G89gat, G298gat)
G356gat = and(G90gat, G298gat)
G357gat = nand(G301gat, G302gat)
G360gat = nand(G303gat, G304gat)
G363gat = nand(G305gat, G306gat)
G366gat = nand(G307gat, G308gat)
G369gat = not(G310gat)
G375gat = nor(G322gat, G323gat)
G376gat = nand(G324gat, G325gat)
G379gat = nand(G326gat, G327gat)
G382gat = nand(G328gat, G329gat)
G385gat = nand(G330gat, G331gat)
G388gat = buf(G290gat)
G389gat = buf(G291gat)
G390gat = buf(G292gat)
G391gat = buf(G297gat)
G392gat = or(G270gat, G343gat)
G393gat = not(G345gat)
G399gat = not(G346gat)
G400gat = and(G348gat, G73gat)
G401gat = not(G349gat)
G402gat = not(G350gat)
G403gat = not(G355gat)
G404gat = not(G357gat)
G405gat = not(G360gat)
G406gat = and(G357gat, G360gat)
G407gat = not(G363gat)
G408gat = not(G366gat)
G409gat = and(G363gat, G366gat)
G410gat = nand(G347gat, G352gat)
G411gat = not(G376gat)
G412gat = not(G379gat)
G413gat = and(G376gat, G379gat)
G414gat = not(G382gat)
G415gat = not(G385gat)
G416gat = and(G382gat, G385gat)
G417gat = and(G210gat, G369gat)
G418gat = buf(G342gat)
G419gat = buf(G344gat)
G420gat = buf(G351gat)
G421gat = buf(G353gat)
G422gat = buf(G354gat)
G423gat = buf(G356gat)
G424gat = not(G400gat)
G425gat = and(G404gat, G405gat)
G426gat = and(G407gat, G408gat)
G427gat = and(G319gat, G393gat, G55gat)
G432gat = and(G393gat, G17gat, G287gat)
G437gat = nand(G393gat, G287gat, G55gat)
G442gat = nand(G375gat, G59gat, G156gat, G393gat)
G443gat = nand(G393gat, G319gat, G17gat)
G444gat = and(G411gat, G412gat)
G445gat = and(G414gat, G415gat)
G446gat = buf(G392gat)
G447gat = buf(G399gat)
G448gat = buf(G401gat)
G449gat = buf(G402gat)
G450gat = buf(G403gat)
G451gat = not(G424gat)
G460gat = nor(G406gat, G425gat)
G463gat = nor(G409gat, G426gat)
G466gat = nand(G442gat, G410gat)
G475gat = and(G143gat, G427gat)
G476gat = and(G310gat, G432gat)
G477gat = and(G146gat, G427gat)
G478gat = and(G310gat, G432gat)
G479gat = and(G149gat, G427gat)
G480gat = and(G310gat, G432gat)
G481gat = and(G153gat, G427gat)
G482gat = and(G310gat, G432gat)
G483gat = nand(G443gat, G1gat)
G488gat = or(G369gat, G437gat)
G489gat = or(G369gat, G437gat)
G490gat = or(G369gat, G437gat)
G491gat = or(G369gat, G437gat)
G492gat = nor(G413gat, G444gat)
G495gat = nor(G416gat, G445gat)
G498gat = nand(G130gat, G460gat)
G499gat = or(G130gat, G460gat)
G500gat = nand(G463gat, G135gat)
G501gat = or(G463gat, G135gat)
G502gat = and(G91gat, G466gat)
G503gat = nor(G475gat, G476gat)
G504gat = and(G96gat, G466gat)
G505gat = nor(G477gat, G478gat)
G506gat = and(G101gat, G466gat)
G507gat = nor(G479gat, G480gat)
G508gat = and(G106gat, G466gat)
G509gat = nor(G481gat, G482gat)
G510gat = and(G143gat, G483gat)
G511gat = and(G111gat, G466gat)
G512gat = and(G146gat, G483gat)
G513gat = and(G116gat, G466gat)
G514gat = and(G149gat, G483gat)
G515gat = and(G121gat, G466gat)
G516gat = and(G153gat, G483gat)
G517gat = and(G126gat, G466gat)
G518gat = nand(G130gat, G492gat)
G519gat = or(G130gat, G492gat)
G520gat = nand(G495gat, G207gat)
G521gat = or(G495gat, G207gat)
G522gat = and(G451gat, G159gat)
G523gat = and(G451gat, G165gat)
G524gat = and(G451gat, G171gat)
G525gat = and(G451gat, G177gat)
G526gat = and(G451gat, G183gat)
G527gat = nand(G451gat, G189gat)
G528gat = nand(G451gat, G195gat)
G529gat = nand(G451gat, G201gat)
G530gat = nand(G498gat, G499gat)
G533gat = nand(G500gat, G501gat)
G536gat = nor(G309gat, G502gat)
G537gat = nor(G316gat, G504gat)
G538gat = nor(G317gat, G506gat)
G539gat = nor(G318gat, G508gat)
G540gat = nor(G510gat, G511gat)
G541gat = nor(G512gat, G513gat)
G542gat = nor(G514gat, G515gat)
G543gat = nor(G516gat, G517gat)
G544gat = nand(G518gat, G519gat)
G547gat = nand(G520gat, G521gat)
G550gat = not(G530gat)
G551gat = not(G533gat)
G552gat = and(G530gat, G533gat)
G553gat = nand(G536gat, G503gat)
G557gat = nand(G537gat, G505gat)
G561gat = nand(G538gat, G507gat)
G565gat = nand(G539gat, G509gat)
G569gat = nand(G488gat, G540gat)
G573gat = nand(G489gat, G541gat)
G577gat = nand(G490gat, G542gat)
G581gat = nand(G491gat, G543gat)
G585gat = not(G544gat)
G586gat = not(G547gat)
G587gat = and(G544gat, G547gat)
G588gat = and(G550gat, G551gat)
G589gat = and(G585gat, G586gat)
G590gat = nand(G553gat, G159gat)
G593gat = or(G553gat, G159gat)
G596gat = and(G246gat, G553gat)
G597gat = nand(G557gat, G165gat)
G600gat = or(G557gat, G165gat)
G605gat = and(G246gat, G557gat)
G606gat = nand(G561gat, G171gat)
G609gat = or(G561gat, G171gat)
G615gat = and(G246gat, G561gat)
G616gat = nand(G565gat, G177gat)
G619gat = or(G565gat, G177gat)
G624gat = and(G246gat, G565gat)
G625gat = nand(G569gat, G183gat)
G628gat = or(G569gat, G183gat)
G631gat = and(G246gat, G569gat)
G632gat = nand(G573gat, G189gat)
G635gat = or(G573gat, G189gat)
G640gat = and(G246gat, G573gat)
G641gat = nand(G577gat, G195gat)
G644gat = or(G577gat, G195gat)
G650gat = and(G246gat, G577gat)
G651gat = nand(G581gat, G201gat)
G654gat = or(G581gat, G201gat)
G659gat = and(G246gat, G581gat)
G660gat = nor(G552gat, G588gat)
G661gat = nor(G587gat, G589gat)
G662gat = not(G590gat)
G665gat = and(G593gat, G590gat)
G669gat = nor(G596gat, G522gat)
G670gat = not(G597gat)
G673gat = and(G600gat, G597gat)
G677gat = nor(G605gat, G523gat)
G678gat = not(G606gat)
G682gat = and(G609gat, G606gat)
G686gat = nor(G615gat, G524gat)
G687gat = not(G616gat)
G692gat = and(G619gat, G616gat)
G696gat = nor(G624gat, G525gat)
G697gat = not(G625gat)
G700gat = and(G628gat, G625gat)
G704gat = nor(G631gat, G526gat)
G705gat = not(G632gat)
G708gat = and(G635gat, G632gat)
G712gat = nor(G337gat, G640gat)
G713gat = not(G641gat)
G717gat = and(G644gat, G641gat)
G721gat = nor(G339gat, G650gat)
G722gat = not(G651gat)
G727gat = and(G654gat, G651gat)
G731gat = nor(G341gat, G659gat)
G732gat = nand(G654gat, G261gat)
G733gat = nand(G644gat, G654gat, G261gat)
G734gat = nand(G635gat, G644gat, G654gat, G261gat)
G735gat = not(G662gat)
G736gat = and(G228gat, G665gat)
G737gat = and(G237gat, G662gat)
G738gat = not(G670gat)
G739gat = and(G228gat, G673gat)
G740gat = and(G237gat, G670gat)
G741gat = not(G678gat)
G742gat = and(G228gat, G682gat)
G743gat = and(G237gat, G678gat)
G744gat = not(G687gat)
G745gat = and(G228gat, G692gat)
G746gat = and(G237gat, G687gat)
G747gat = not(G697gat)
G748gat = and(G228gat, G700gat)
G749gat = and(G237gat, G697gat)
G750gat = not(G705gat)
G751gat = and(G228gat, G708gat)
G752gat = and(G237gat, G705gat)
G753gat = not(G713gat)
G754gat = and(G228gat, G717gat)
G755gat = and(G237gat, G713gat)
G756gat = not(G722gat)
G757gat = nor(G727gat, G261gat)
G758gat = and(G727gat, G261gat)
G759gat = and(G228gat, G727gat)
G760gat = and(G237gat, G722gat)
G761gat = nand(G644gat, G722gat)
G762gat = nand(G635gat, G713gat)
G763gat = nand(G635gat, G644gat, G722gat)
G764gat = nand(G609gat, G687gat)
G765gat = nand(G600gat, G678gat)
G766gat = nand(G600gat, G609gat, G687gat)
G767gat = buf(G660gat)
G768gat = buf(G661gat)
G769gat = nor(G736gat, G737gat)
G770gat = nor(G739gat, G740gat)
G771gat = nor(G742gat, G743gat)
G772gat = nor(G745gat, G746gat)
G773gat = nand(G750gat, G762gat, G763gat, G734gat)
G777gat = nor(G748gat, G749gat)
G778gat = nand(G753gat, G761gat, G733gat)
G781gat = nor(G751gat, G752gat)
G782gat = nand(G756gat, G732gat)
G785gat = nor(G754gat, G755gat)
G786gat = nor(G757gat, G758gat)
G787gat = nor(G759gat, G760gat)
G788gat = nor(G700gat, G773gat)
G789gat = and(G700gat, G773gat)
G790gat = nor(G708gat, G778gat)
G791gat = and(G708gat, G778gat)
G792gat = nor(G717gat, G782gat)
G793gat = and(G717gat, G782gat)
G794gat = and(G219gat, G786gat)
G795gat = nand(G628gat, G773gat)
G796gat = nand(G795gat, G747gat)
G802gat = nor(G788gat, G789gat)
G803gat = nor(G790gat, G791gat)
G804gat = nor(G792gat, G793gat)
G805gat = nor(G340gat, G794gat)
G806gat = nor(G692gat, G796gat)
G807gat = and(G692gat, G796gat)
G808gat = and(G219gat, G802gat)
G809gat = and(G219gat, G803gat)
G810gat = and(G219gat, G804gat)
G811gat = nand(G805gat, G787gat, G731gat, G529gat)
G812gat = nand(G619gat, G796gat)
G813gat = nand(G609gat, G619gat, G796gat)
G814gat = nand(G600gat, G609gat, G619gat, G796gat)
G815gat = nand(G738gat, G765gat, G766gat, G814gat)
G819gat = nand(G741gat, G764gat, G813gat)
G822gat = nand(G744gat, G812gat)
G825gat = nor(G806gat, G807gat)
G826gat = nor(G335gat, G808gat)
G827gat = nor(G336gat, G809gat)
G828gat = nor(G338gat, G810gat)
G829gat = not(G811gat)
G830gat = nor(G665gat, G815gat)
G831gat = and(G665gat, G815gat)
G832gat = nor(G673gat, G819gat)
G833gat = and(G673gat, G819gat)
G834gat = nor(G682gat, G822gat)
G835gat = and(G682gat, G822gat)
G836gat = and(G219gat, G825gat)
G837gat = nand(G826gat, G777gat, G704gat)
G838gat = nand(G827gat, G781gat, G712gat, G527gat)
G839gat = nand(G828gat, G785gat, G721gat, G528gat)
G840gat = not(G829gat)
G841gat = nand(G815gat, G593gat)
G842gat = nor(G830gat, G831gat)
G843gat = nor(G832gat, G833gat)
G844gat = nor(G834gat, G835gat)
G845gat = nor(G334gat, G836gat)
G846gat = not(G837gat)
G847gat = not(G838gat)
G848gat = not(G839gat)
G849gat = and(G735gat, G841gat)
G850gat = buf(G840gat)
G851gat = and(G219gat, G842gat)
G852gat = and(G219gat, G843gat)
G853gat = and(G219gat, G844gat)
G854gat = nand(G845gat, G772gat, G696gat)
G855gat = not(G846gat)
G856gat = not(G847gat)
G857gat = not(G848gat)
G858gat = not(G849gat)
G859gat = nor(G417gat, G851gat)
G860gat = nor(G332gat, G852gat)
G861gat = nor(G333gat, G853gat)
G862gat = not(G854gat)
G863gat = buf(G855gat)
G864gat = buf(G856gat)
G865gat = buf(G857gat)
G866gat = buf(G858gat)
G867gat = nand(G859gat, G769gat, G669gat)
G868gat = nand(G860gat, G770gat, G677gat)
G869gat = nand(G861gat, G771gat, G686gat)
G870gat = not(G862gat)
G871gat = not(G867gat)
G872gat = not(G868gat)
G873gat = not(G869gat)
G874gat = buf(G870gat)
G875gat = not(G871gat)
G876gat = not(G872gat)
G877gat = not(G873gat)
G878gat = buf(G875gat)
G879gat = buf(G876gat)
G880gat = buf(G877gat)
