# c1355.dat
#  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(1gat)	#... primary input
INPUT(8gat)	#... primary input
INPUT(15gat)	#... primary input
INPUT(22gat)	#... primary input
INPUT(29gat)	#... primary input
INPUT(36gat)	#... primary input
INPUT(43gat)	#... primary input
INPUT(50gat)	#... primary input
INPUT(57gat)	#... primary input
INPUT(64gat)	#... primary input
INPUT(71gat)	#... primary input
INPUT(78gat)	#... primary input
INPUT(85gat)	#... primary input
INPUT(92gat)	#... primary input
INPUT(99gat)	#... primary input
INPUT(106gat)	#... primary input
INPUT(113gat)	#... primary input
INPUT(120gat)	#... primary input
INPUT(127gat)	#... primary input
INPUT(134gat)	#... primary input
INPUT(141gat)	#... primary input
INPUT(148gat)	#... primary input
INPUT(155gat)	#... primary input
INPUT(162gat)	#... primary input
INPUT(169gat)	#... primary input
INPUT(176gat)	#... primary input
INPUT(183gat)	#... primary input
INPUT(190gat)	#... primary input
INPUT(197gat)	#... primary input
INPUT(204gat)	#... primary input
INPUT(211gat)	#... primary input
INPUT(218gat)	#... primary input
INPUT(225gat)	#... primary input
INPUT(226gat)	#... primary input
INPUT(227gat)	#... primary input
INPUT(228gat)	#... primary input
INPUT(229gat)	#... primary input
INPUT(230gat)	#... primary input
INPUT(231gat)	#... primary input
INPUT(232gat)	#... primary input
INPUT(233gat)	#... primary input
#
#
OUTPUT(1324gat)	#... primary output
OUTPUT(1325gat)	#... primary output
OUTPUT(1326gat)	#... primary output
OUTPUT(1327gat)	#... primary output
OUTPUT(1328gat)	#... primary output
OUTPUT(1329gat)	#... primary output
OUTPUT(1330gat)	#... primary output
OUTPUT(1331gat)	#... primary output
OUTPUT(1332gat)	#... primary output
OUTPUT(1333gat)	#... primary output
OUTPUT(1334gat)	#... primary output
OUTPUT(1335gat)	#... primary output
OUTPUT(1336gat)	#... primary output
OUTPUT(1337gat)	#... primary output
OUTPUT(1338gat)	#... primary output
OUTPUT(1339gat)	#... primary output
OUTPUT(1340gat)	#... primary output
OUTPUT(1341gat)	#... primary output
OUTPUT(1342gat)	#... primary output
OUTPUT(1343gat)	#... primary output
OUTPUT(1344gat)	#... primary output
OUTPUT(1345gat)	#... primary output
OUTPUT(1346gat)	#... primary output
OUTPUT(1347gat)	#... primary output
OUTPUT(1348gat)	#... primary output
OUTPUT(1349gat)	#... primary output
OUTPUT(1350gat)	#... primary output
OUTPUT(1351gat)	#... primary output
OUTPUT(1352gat)	#... primary output
OUTPUT(1353gat)	#... primary output
OUTPUT(1354gat)	#... primary output
OUTPUT(1355gat)	#... primary output
#
#
#	Output		Type	Inputs...
#	------		----	---------
	242gat = 	and(	225gat,	233gat)
	245gat = 	and(	226gat,	233gat)
	248gat = 	and(	227gat,	233gat)
	251gat = 	and(	228gat,	233gat)
	254gat = 	and(	229gat,	233gat)
	257gat = 	and(	230gat,	233gat)
	260gat = 	and(	231gat,	233gat)
	263gat = 	and(	232gat,	233gat)
	266gat = 	nand(	1gat,	8gat)
	269gat = 	nand(	15gat,	22gat)
	272gat = 	nand(	29gat,	36gat)
	275gat = 	nand(	43gat,	50gat)
	278gat = 	nand(	57gat,	64gat)
	281gat = 	nand(	71gat,	78gat)
	284gat = 	nand(	85gat,	92gat)
	287gat = 	nand(	99gat,	106gat)
	290gat = 	nand(	113gat,	120gat)
	293gat = 	nand(	127gat,	134gat)
	296gat = 	nand(	141gat,	148gat)
	299gat = 	nand(	155gat,	162gat)
	302gat = 	nand(	169gat,	176gat)
	305gat = 	nand(	183gat,	190gat)
	308gat = 	nand(	197gat,	204gat)
	311gat = 	nand(	211gat,	218gat)
	314gat = 	nand(	1gat,	29gat)
	317gat = 	nand(	57gat,	85gat)
	320gat = 	nand(	8gat,	36gat)
	323gat = 	nand(	64gat,	92gat)
	326gat = 	nand(	15gat,	43gat)
	329gat = 	nand(	71gat,	99gat)
	332gat = 	nand(	22gat,	50gat)
	335gat = 	nand(	78gat,	106gat)
	338gat = 	nand(	113gat,	141gat)
	341gat = 	nand(	169gat,	197gat)
	344gat = 	nand(	120gat,	148gat)
	347gat = 	nand(	176gat,	204gat)
	350gat = 	nand(	127gat,	155gat)
	353gat = 	nand(	183gat,	211gat)
	356gat = 	nand(	134gat,	162gat)
	359gat = 	nand(	190gat,	218gat)
	362gat = 	nand(	1gat,	266gat)
	363gat = 	nand(	8gat,	266gat)
	364gat = 	nand(	15gat,	269gat)
	365gat = 	nand(	22gat,	269gat)
	366gat = 	nand(	29gat,	272gat)
	367gat = 	nand(	36gat,	272gat)
	368gat = 	nand(	43gat,	275gat)
	369gat = 	nand(	50gat,	275gat)
	370gat = 	nand(	57gat,	278gat)
	371gat = 	nand(	64gat,	278gat)
	372gat = 	nand(	71gat,	281gat)
	373gat = 	nand(	78gat,	281gat)
	374gat = 	nand(	85gat,	284gat)
	375gat = 	nand(	92gat,	284gat)
	376gat = 	nand(	99gat,	287gat)
	377gat = 	nand(	106gat,	287gat)
	378gat = 	nand(	113gat,	290gat)
	379gat = 	nand(	120gat,	290gat)
	380gat = 	nand(	127gat,	293gat)
	381gat = 	nand(	134gat,	293gat)
	382gat = 	nand(	141gat,	296gat)
	383gat = 	nand(	148gat,	296gat)
	384gat = 	nand(	155gat,	299gat)
	385gat = 	nand(	162gat,	299gat)
	386gat = 	nand(	169gat,	302gat)
	387gat = 	nand(	176gat,	302gat)
	388gat = 	nand(	183gat,	305gat)
	389gat = 	nand(	190gat,	305gat)
	390gat = 	nand(	197gat,	308gat)
	391gat = 	nand(	204gat,	308gat)
	392gat = 	nand(	211gat,	311gat)
	393gat = 	nand(	218gat,	311gat)
	394gat = 	nand(	1gat,	314gat)
	395gat = 	nand(	29gat,	314gat)
	396gat = 	nand(	57gat,	317gat)
	397gat = 	nand(	85gat,	317gat)
	398gat = 	nand(	8gat,	320gat)
	399gat = 	nand(	36gat,	320gat)
	400gat = 	nand(	64gat,	323gat)
	401gat = 	nand(	92gat,	323gat)
	402gat = 	nand(	15gat,	326gat)
	403gat = 	nand(	43gat,	326gat)
	404gat = 	nand(	71gat,	329gat)
	405gat = 	nand(	99gat,	329gat)
	406gat = 	nand(	22gat,	332gat)
	407gat = 	nand(	50gat,	332gat)
	408gat = 	nand(	78gat,	335gat)
	409gat = 	nand(	106gat,	335gat)
	410gat = 	nand(	113gat,	338gat)
	411gat = 	nand(	141gat,	338gat)
	412gat = 	nand(	169gat,	341gat)
	413gat = 	nand(	197gat,	341gat)
	414gat = 	nand(	120gat,	344gat)
	415gat = 	nand(	148gat,	344gat)
	416gat = 	nand(	176gat,	347gat)
	417gat = 	nand(	204gat,	347gat)
	418gat = 	nand(	127gat,	350gat)
	419gat = 	nand(	155gat,	350gat)
	420gat = 	nand(	183gat,	353gat)
	421gat = 	nand(	211gat,	353gat)
	422gat = 	nand(	134gat,	356gat)
	423gat = 	nand(	162gat,	356gat)
	424gat = 	nand(	190gat,	359gat)
	425gat = 	nand(	218gat,	359gat)
	426gat = 	nand(	362gat,	363gat)
	429gat = 	nand(	364gat,	365gat)
	432gat = 	nand(	366gat,	367gat)
	435gat = 	nand(	368gat,	369gat)
	438gat = 	nand(	370gat,	371gat)
	441gat = 	nand(	372gat,	373gat)
	444gat = 	nand(	374gat,	375gat)
	447gat = 	nand(	376gat,	377gat)
	450gat = 	nand(	378gat,	379gat)
	453gat = 	nand(	380gat,	381gat)
	456gat = 	nand(	382gat,	383gat)
	459gat = 	nand(	384gat,	385gat)
	462gat = 	nand(	386gat,	387gat)
	465gat = 	nand(	388gat,	389gat)
	468gat = 	nand(	390gat,	391gat)
	471gat = 	nand(	392gat,	393gat)
	474gat = 	nand(	394gat,	395gat)
	477gat = 	nand(	396gat,	397gat)
	480gat = 	nand(	398gat,	399gat)
	483gat = 	nand(	400gat,	401gat)
	486gat = 	nand(	402gat,	403gat)
	489gat = 	nand(	404gat,	405gat)
	492gat = 	nand(	406gat,	407gat)
	495gat = 	nand(	408gat,	409gat)
	498gat = 	nand(	410gat,	411gat)
	501gat = 	nand(	412gat,	413gat)
	504gat = 	nand(	414gat,	415gat)
	507gat = 	nand(	416gat,	417gat)
	510gat = 	nand(	418gat,	419gat)
	513gat = 	nand(	420gat,	421gat)
	516gat = 	nand(	422gat,	423gat)
	519gat = 	nand(	424gat,	425gat)
	522gat = 	nand(	426gat,	429gat)
	525gat = 	nand(	432gat,	435gat)
	528gat = 	nand(	438gat,	441gat)
	531gat = 	nand(	444gat,	447gat)
	534gat = 	nand(	450gat,	453gat)
	537gat = 	nand(	456gat,	459gat)
	540gat = 	nand(	462gat,	465gat)
	543gat = 	nand(	468gat,	471gat)
	546gat = 	nand(	474gat,	477gat)
	549gat = 	nand(	480gat,	483gat)
	552gat = 	nand(	486gat,	489gat)
	555gat = 	nand(	492gat,	495gat)
	558gat = 	nand(	498gat,	501gat)
	561gat = 	nand(	504gat,	507gat)
	564gat = 	nand(	510gat,	513gat)
	567gat = 	nand(	516gat,	519gat)
	570gat = 	nand(	426gat,	522gat)
	571gat = 	nand(	429gat,	522gat)
	572gat = 	nand(	432gat,	525gat)
	573gat = 	nand(	435gat,	525gat)
	574gat = 	nand(	438gat,	528gat)
	575gat = 	nand(	441gat,	528gat)
	576gat = 	nand(	444gat,	531gat)
	577gat = 	nand(	447gat,	531gat)
	578gat = 	nand(	450gat,	534gat)
	579gat = 	nand(	453gat,	534gat)
	580gat = 	nand(	456gat,	537gat)
	581gat = 	nand(	459gat,	537gat)
	582gat = 	nand(	462gat,	540gat)
	583gat = 	nand(	465gat,	540gat)
	584gat = 	nand(	468gat,	543gat)
	585gat = 	nand(	471gat,	543gat)
	586gat = 	nand(	474gat,	546gat)
	587gat = 	nand(	477gat,	546gat)
	588gat = 	nand(	480gat,	549gat)
	589gat = 	nand(	483gat,	549gat)
	590gat = 	nand(	486gat,	552gat)
	591gat = 	nand(	489gat,	552gat)
	592gat = 	nand(	492gat,	555gat)
	593gat = 	nand(	495gat,	555gat)
	594gat = 	nand(	498gat,	558gat)
	595gat = 	nand(	501gat,	558gat)
	596gat = 	nand(	504gat,	561gat)
	597gat = 	nand(	507gat,	561gat)
	598gat = 	nand(	510gat,	564gat)
	599gat = 	nand(	513gat,	564gat)
	600gat = 	nand(	516gat,	567gat)
	601gat = 	nand(	519gat,	567gat)
	602gat = 	nand(	570gat,	571gat)
	607gat = 	nand(	572gat,	573gat)
	612gat = 	nand(	574gat,	575gat)
	617gat = 	nand(	576gat,	577gat)
	622gat = 	nand(	578gat,	579gat)
	627gat = 	nand(	580gat,	581gat)
	632gat = 	nand(	582gat,	583gat)
	637gat = 	nand(	584gat,	585gat)
	642gat = 	nand(	586gat,	587gat)
	645gat = 	nand(	588gat,	589gat)
	648gat = 	nand(	590gat,	591gat)
	651gat = 	nand(	592gat,	593gat)
	654gat = 	nand(	594gat,	595gat)
	657gat = 	nand(	596gat,	597gat)
	660gat = 	nand(	598gat,	599gat)
	663gat = 	nand(	600gat,	601gat)
	666gat = 	nand(	602gat,	607gat)
	669gat = 	nand(	612gat,	617gat)
	672gat = 	nand(	602gat,	612gat)
	675gat = 	nand(	607gat,	617gat)
	678gat = 	nand(	622gat,	627gat)
	681gat = 	nand(	632gat,	637gat)
	684gat = 	nand(	622gat,	632gat)
	687gat = 	nand(	627gat,	637gat)
	690gat = 	nand(	602gat,	666gat)
	691gat = 	nand(	607gat,	666gat)
	692gat = 	nand(	612gat,	669gat)
	693gat = 	nand(	617gat,	669gat)
	694gat = 	nand(	602gat,	672gat)
	695gat = 	nand(	612gat,	672gat)
	696gat = 	nand(	607gat,	675gat)
	697gat = 	nand(	617gat,	675gat)
	698gat = 	nand(	622gat,	678gat)
	699gat = 	nand(	627gat,	678gat)
	700gat = 	nand(	632gat,	681gat)
	701gat = 	nand(	637gat,	681gat)
	702gat = 	nand(	622gat,	684gat)
	703gat = 	nand(	632gat,	684gat)
	704gat = 	nand(	627gat,	687gat)
	705gat = 	nand(	637gat,	687gat)
	706gat = 	nand(	690gat,	691gat)
	709gat = 	nand(	692gat,	693gat)
	712gat = 	nand(	694gat,	695gat)
	715gat = 	nand(	696gat,	697gat)
	718gat = 	nand(	698gat,	699gat)
	721gat = 	nand(	700gat,	701gat)
	724gat = 	nand(	702gat,	703gat)
	727gat = 	nand(	704gat,	705gat)
	730gat = 	nand(	242gat,	718gat)
	733gat = 	nand(	245gat,	721gat)
	736gat = 	nand(	248gat,	724gat)
	739gat = 	nand(	251gat,	727gat)
	742gat = 	nand(	254gat,	706gat)
	745gat = 	nand(	257gat,	709gat)
	748gat = 	nand(	260gat,	712gat)
	751gat = 	nand(	263gat,	715gat)
	754gat = 	nand(	242gat,	730gat)
	755gat = 	nand(	718gat,	730gat)
	756gat = 	nand(	245gat,	733gat)
	757gat = 	nand(	721gat,	733gat)
	758gat = 	nand(	248gat,	736gat)
	759gat = 	nand(	724gat,	736gat)
	760gat = 	nand(	251gat,	739gat)
	761gat = 	nand(	727gat,	739gat)
	762gat = 	nand(	254gat,	742gat)
	763gat = 	nand(	706gat,	742gat)
	764gat = 	nand(	257gat,	745gat)
	765gat = 	nand(	709gat,	745gat)
	766gat = 	nand(	260gat,	748gat)
	767gat = 	nand(	712gat,	748gat)
	768gat = 	nand(	263gat,	751gat)
	769gat = 	nand(	715gat,	751gat)
	770gat = 	nand(	754gat,	755gat)
	773gat = 	nand(	756gat,	757gat)
	776gat = 	nand(	758gat,	759gat)
	779gat = 	nand(	760gat,	761gat)
	782gat = 	nand(	762gat,	763gat)
	785gat = 	nand(	764gat,	765gat)
	788gat = 	nand(	766gat,	767gat)
	791gat = 	nand(	768gat,	769gat)
	794gat = 	nand(	642gat,	770gat)
	797gat = 	nand(	645gat,	773gat)
	800gat = 	nand(	648gat,	776gat)
	803gat = 	nand(	651gat,	779gat)
	806gat = 	nand(	654gat,	782gat)
	809gat = 	nand(	657gat,	785gat)
	812gat = 	nand(	660gat,	788gat)
	815gat = 	nand(	663gat,	791gat)
	818gat = 	nand(	642gat,	794gat)
	819gat = 	nand(	770gat,	794gat)
	820gat = 	nand(	645gat,	797gat)
	821gat = 	nand(	773gat,	797gat)
	822gat = 	nand(	648gat,	800gat)
	823gat = 	nand(	776gat,	800gat)
	824gat = 	nand(	651gat,	803gat)
	825gat = 	nand(	779gat,	803gat)
	826gat = 	nand(	654gat,	806gat)
	827gat = 	nand(	782gat,	806gat)
	828gat = 	nand(	657gat,	809gat)
	829gat = 	nand(	785gat,	809gat)
	830gat = 	nand(	660gat,	812gat)
	831gat = 	nand(	788gat,	812gat)
	832gat = 	nand(	663gat,	815gat)
	833gat = 	nand(	791gat,	815gat)
	834gat = 	nand(	818gat,	819gat)
	847gat = 	nand(	820gat,	821gat)
	860gat = 	nand(	822gat,	823gat)
	873gat = 	nand(	824gat,	825gat)
	886gat = 	nand(	828gat,	829gat)
	899gat = 	nand(	832gat,	833gat)
	912gat = 	nand(	830gat,	831gat)
	925gat = 	nand(	826gat,	827gat)
	938gat = 	not(	834gat)
	939gat = 	not(	847gat)
	940gat = 	not(	860gat)
	941gat = 	not(	834gat)
	942gat = 	not(	847gat)
	943gat = 	not(	873gat)
	944gat = 	not(	834gat)
	945gat = 	not(	860gat)
	946gat = 	not(	873gat)
	947gat = 	not(	847gat)
	948gat = 	not(	860gat)
	949gat = 	not(	873gat)
	950gat = 	not(	886gat)
	951gat = 	not(	899gat)
	952gat = 	not(	886gat)
	953gat = 	not(	912gat)
	954gat = 	not(	925gat)
	955gat = 	not(	899gat)
	956gat = 	not(	925gat)
	957gat = 	not(	912gat)
	958gat = 	not(	925gat)
	959gat = 	not(	886gat)
	960gat = 	not(	912gat)
	961gat = 	not(	925gat)
	962gat = 	not(	886gat)
	963gat = 	not(	899gat)
	964gat = 	not(	925gat)
	965gat = 	not(	912gat)
	966gat = 	not(	899gat)
	967gat = 	not(	886gat)
	968gat = 	not(	912gat)
	969gat = 	not(	899gat)
	970gat = 	not(	847gat)
	971gat = 	not(	873gat)
	972gat = 	not(	847gat)
	973gat = 	not(	860gat)
	974gat = 	not(	834gat)
	975gat = 	not(	873gat)
	976gat = 	not(	834gat)
	977gat = 	not(	860gat)
	978gat = 	and(	938gat,	939gat,	940gat,	873gat)
	979gat = 	and(	941gat,	942gat,	860gat,	943gat)
	980gat = 	and(	944gat,	847gat,	945gat,	946gat)
	981gat = 	and(	834gat,	947gat,	948gat,	949gat)
	982gat = 	and(	958gat,	959gat,	960gat,	899gat)
	983gat = 	and(	961gat,	962gat,	912gat,	963gat)
	984gat = 	and(	964gat,	886gat,	965gat,	966gat)
	985gat = 	and(	925gat,	967gat,	968gat,	969gat)
	986gat = 	or(	978gat,	979gat,	980gat,	981gat)
	991gat = 	or(	982gat,	983gat,	984gat,	985gat)
	996gat = 	and(	925gat,	950gat,	912gat,	951gat,	986gat)
	1001gat = 	and(	925gat,	952gat,	953gat,	899gat,	986gat)
	1006gat = 	and(	954gat,	886gat,	912gat,	955gat,	986gat)
	1011gat = 	and(	956gat,	886gat,	957gat,	899gat,	986gat)
	1016gat = 	and(	834gat,	970gat,	860gat,	971gat,	991gat)
	1021gat = 	and(	834gat,	972gat,	973gat,	873gat,	991gat)
	1026gat = 	and(	974gat,	847gat,	860gat,	975gat,	991gat)
	1031gat = 	and(	976gat,	847gat,	977gat,	873gat,	991gat)
	1036gat = 	and(	834gat,	996gat)
	1039gat = 	and(	847gat,	996gat)
	1042gat = 	and(	860gat,	996gat)
	1045gat = 	and(	873gat,	996gat)
	1048gat = 	and(	834gat,	1001gat)
	1051gat = 	and(	847gat,	1001gat)
	1054gat = 	and(	860gat,	1001gat)
	1057gat = 	and(	873gat,	1001gat)
	1060gat = 	and(	834gat,	1006gat)
	1063gat = 	and(	847gat,	1006gat)
	1066gat = 	and(	860gat,	1006gat)
	1069gat = 	and(	873gat,	1006gat)
	1072gat = 	and(	834gat,	1011gat)
	1075gat = 	and(	847gat,	1011gat)
	1078gat = 	and(	860gat,	1011gat)
	1081gat = 	and(	873gat,	1011gat)
	1084gat = 	and(	925gat,	1016gat)
	1087gat = 	and(	886gat,	1016gat)
	1090gat = 	and(	912gat,	1016gat)
	1093gat = 	and(	899gat,	1016gat)
	1096gat = 	and(	925gat,	1021gat)
	1099gat = 	and(	886gat,	1021gat)
	1102gat = 	and(	912gat,	1021gat)
	1105gat = 	and(	899gat,	1021gat)
	1108gat = 	and(	925gat,	1026gat)
	1111gat = 	and(	886gat,	1026gat)
	1114gat = 	and(	912gat,	1026gat)
	1117gat = 	and(	899gat,	1026gat)
	1120gat = 	and(	925gat,	1031gat)
	1123gat = 	and(	886gat,	1031gat)
	1126gat = 	and(	912gat,	1031gat)
	1129gat = 	and(	899gat,	1031gat)
	1132gat = 	nand(	1gat,	1036gat)
	1135gat = 	nand(	8gat,	1039gat)
	1138gat = 	nand(	15gat,	1042gat)
	1141gat = 	nand(	22gat,	1045gat)
	1144gat = 	nand(	29gat,	1048gat)
	1147gat = 	nand(	36gat,	1051gat)
	1150gat = 	nand(	43gat,	1054gat)
	1153gat = 	nand(	50gat,	1057gat)
	1156gat = 	nand(	57gat,	1060gat)
	1159gat = 	nand(	64gat,	1063gat)
	1162gat = 	nand(	71gat,	1066gat)
	1165gat = 	nand(	78gat,	1069gat)
	1168gat = 	nand(	85gat,	1072gat)
	1171gat = 	nand(	92gat,	1075gat)
	1174gat = 	nand(	99gat,	1078gat)
	1177gat = 	nand(	106gat,	1081gat)
	1180gat = 	nand(	113gat,	1084gat)
	1183gat = 	nand(	120gat,	1087gat)
	1186gat = 	nand(	127gat,	1090gat)
	1189gat = 	nand(	134gat,	1093gat)
	1192gat = 	nand(	141gat,	1096gat)
	1195gat = 	nand(	148gat,	1099gat)
	1198gat = 	nand(	155gat,	1102gat)
	1201gat = 	nand(	162gat,	1105gat)
	1204gat = 	nand(	169gat,	1108gat)
	1207gat = 	nand(	176gat,	1111gat)
	1210gat = 	nand(	183gat,	1114gat)
	1213gat = 	nand(	190gat,	1117gat)
	1216gat = 	nand(	197gat,	1120gat)
	1219gat = 	nand(	204gat,	1123gat)
	1222gat = 	nand(	211gat,	1126gat)
	1225gat = 	nand(	218gat,	1129gat)
	1228gat = 	nand(	1gat,	1132gat)
	1229gat = 	nand(	1036gat,	1132gat)
	1230gat = 	nand(	8gat,	1135gat)
	1231gat = 	nand(	1039gat,	1135gat)
	1232gat = 	nand(	15gat,	1138gat)
	1233gat = 	nand(	1042gat,	1138gat)
	1234gat = 	nand(	22gat,	1141gat)
	1235gat = 	nand(	1045gat,	1141gat)
	1236gat = 	nand(	29gat,	1144gat)
	1237gat = 	nand(	1048gat,	1144gat)
	1238gat = 	nand(	36gat,	1147gat)
	1239gat = 	nand(	1051gat,	1147gat)
	1240gat = 	nand(	43gat,	1150gat)
	1241gat = 	nand(	1054gat,	1150gat)
	1242gat = 	nand(	50gat,	1153gat)
	1243gat = 	nand(	1057gat,	1153gat)
	1244gat = 	nand(	57gat,	1156gat)
	1245gat = 	nand(	1060gat,	1156gat)
	1246gat = 	nand(	64gat,	1159gat)
	1247gat = 	nand(	1063gat,	1159gat)
	1248gat = 	nand(	71gat,	1162gat)
	1249gat = 	nand(	1066gat,	1162gat)
	1250gat = 	nand(	78gat,	1165gat)
	1251gat = 	nand(	1069gat,	1165gat)
	1252gat = 	nand(	85gat,	1168gat)
	1253gat = 	nand(	1072gat,	1168gat)
	1254gat = 	nand(	92gat,	1171gat)
	1255gat = 	nand(	1075gat,	1171gat)
	1256gat = 	nand(	99gat,	1174gat)
	1257gat = 	nand(	1078gat,	1174gat)
	1258gat = 	nand(	106gat,	1177gat)
	1259gat = 	nand(	1081gat,	1177gat)
	1260gat = 	nand(	113gat,	1180gat)
	1261gat = 	nand(	1084gat,	1180gat)
	1262gat = 	nand(	120gat,	1183gat)
	1263gat = 	nand(	1087gat,	1183gat)
	1264gat = 	nand(	127gat,	1186gat)
	1265gat = 	nand(	1090gat,	1186gat)
	1266gat = 	nand(	134gat,	1189gat)
	1267gat = 	nand(	1093gat,	1189gat)
	1268gat = 	nand(	141gat,	1192gat)
	1269gat = 	nand(	1096gat,	1192gat)
	1270gat = 	nand(	148gat,	1195gat)
	1271gat = 	nand(	1099gat,	1195gat)
	1272gat = 	nand(	155gat,	1198gat)
	1273gat = 	nand(	1102gat,	1198gat)
	1274gat = 	nand(	162gat,	1201gat)
	1275gat = 	nand(	1105gat,	1201gat)
	1276gat = 	nand(	169gat,	1204gat)
	1277gat = 	nand(	1108gat,	1204gat)
	1278gat = 	nand(	176gat,	1207gat)
	1279gat = 	nand(	1111gat,	1207gat)
	1280gat = 	nand(	183gat,	1210gat)
	1281gat = 	nand(	1114gat,	1210gat)
	1282gat = 	nand(	190gat,	1213gat)
	1283gat = 	nand(	1117gat,	1213gat)
	1284gat = 	nand(	197gat,	1216gat)
	1285gat = 	nand(	1120gat,	1216gat)
	1286gat = 	nand(	204gat,	1219gat)
	1287gat = 	nand(	1123gat,	1219gat)
	1288gat = 	nand(	211gat,	1222gat)
	1289gat = 	nand(	1126gat,	1222gat)
	1290gat = 	nand(	218gat,	1225gat)
	1291gat = 	nand(	1129gat,	1225gat)
	1292gat = 	nand(	1228gat,	1229gat)
	1293gat = 	nand(	1230gat,	1231gat)
	1294gat = 	nand(	1232gat,	1233gat)
	1295gat = 	nand(	1234gat,	1235gat)
	1296gat = 	nand(	1236gat,	1237gat)
	1297gat = 	nand(	1238gat,	1239gat)
	1298gat = 	nand(	1240gat,	1241gat)
	1299gat = 	nand(	1242gat,	1243gat)
	1300gat = 	nand(	1244gat,	1245gat)
	1301gat = 	nand(	1246gat,	1247gat)
	1302gat = 	nand(	1248gat,	1249gat)
	1303gat = 	nand(	1250gat,	1251gat)
	1304gat = 	nand(	1252gat,	1253gat)
	1305gat = 	nand(	1254gat,	1255gat)
	1306gat = 	nand(	1256gat,	1257gat)
	1307gat = 	nand(	1258gat,	1259gat)
	1308gat = 	nand(	1260gat,	1261gat)
	1309gat = 	nand(	1262gat,	1263gat)
	1310gat = 	nand(	1264gat,	1265gat)
	1311gat = 	nand(	1266gat,	1267gat)
	1312gat = 	nand(	1268gat,	1269gat)
	1313gat = 	nand(	1270gat,	1271gat)
	1314gat = 	nand(	1272gat,	1273gat)
	1315gat = 	nand(	1274gat,	1275gat)
	1316gat = 	nand(	1276gat,	1277gat)
	1317gat = 	nand(	1278gat,	1279gat)
	1318gat = 	nand(	1280gat,	1281gat)
	1319gat = 	nand(	1282gat,	1283gat)
	1320gat = 	nand(	1284gat,	1285gat)
	1321gat = 	nand(	1286gat,	1287gat)
	1322gat = 	nand(	1288gat,	1289gat)
	1323gat = 	nand(	1290gat,	1291gat)
	1324gat = 	buff(	1292gat)
	1325gat = 	buff(	1293gat)
	1326gat = 	buff(	1294gat)
	1327gat = 	buff(	1295gat)
	1328gat = 	buff(	1296gat)
	1329gat = 	buff(	1297gat)
	1330gat = 	buff(	1298gat)
	1331gat = 	buff(	1299gat)
	1332gat = 	buff(	1300gat)
	1333gat = 	buff(	1301gat)
	1334gat = 	buff(	1302gat)
	1335gat = 	buff(	1303gat)
	1336gat = 	buff(	1304gat)
	1337gat = 	buff(	1305gat)
	1338gat = 	buff(	1306gat)
	1339gat = 	buff(	1307gat)
	1340gat = 	buff(	1308gat)
	1341gat = 	buff(	1309gat)
	1342gat = 	buff(	1310gat)
	1343gat = 	buff(	1311gat)
	1344gat = 	buff(	1312gat)
	1345gat = 	buff(	1313gat)
	1346gat = 	buff(	1314gat)
	1347gat = 	buff(	1315gat)
	1348gat = 	buff(	1316gat)
	1349gat = 	buff(	1317gat)
	1350gat = 	buff(	1318gat)
	1351gat = 	buff(	1319gat)
	1352gat = 	buff(	1320gat)
	1353gat = 	buff(	1321gat)
	1354gat = 	buff(	1322gat)
	1355gat = 	buff(	1323gat)