;  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
;
;
;
;
;
(:inputs
1gat                            	;... primary input
8gat                            	;... primary input
13gat                           	;... primary input
17gat                           	;... primary input
26gat                           	;... primary input
29gat                           	;... primary input
36gat                           	;... primary input
42gat                           	;... primary input
51gat                           	;... primary input
55gat                           	;... primary input
59gat                           	;... primary input
68gat                           	;... primary input
72gat                           	;... primary input
73gat                           	;... primary input
74gat                           	;... primary input
75gat                           	;... primary input
80gat                           	;... primary input
85gat                           	;... primary input
86gat                           	;... primary input
87gat                           	;... primary input
88gat                           	;... primary input
89gat                           	;... primary input
90gat                           	;... primary input
91gat                           	;... primary input
96gat                           	;... primary input
101gat                          	;... primary input
106gat                          	;... primary input
111gat                          	;... primary input
116gat                          	;... primary input
121gat                          	;... primary input
126gat                          	;... primary input
130gat                          	;... primary input
135gat                          	;... primary input
138gat                          	;... primary input
143gat                          	;... primary input
146gat                          	;... primary input
149gat                          	;... primary input
152gat                          	;... primary input
153gat                          	;... primary input
156gat                          	;... primary input
159gat                          	;... primary input
165gat                          	;... primary input
171gat                          	;... primary input
177gat                          	;... primary input
183gat                          	;... primary input
189gat                          	;... primary input
195gat                          	;... primary input
201gat                          	;... primary input
207gat                          	;... primary input
210gat                          	;... primary input
219gat                          	;... primary input
228gat                          	;... primary input
237gat                          	;... primary input
246gat                          	;... primary input
255gat                          	;... primary input
259gat                          	;... primary input
260gat                          	;... primary input
261gat                          	;... primary input
267gat                          	;... primary input
268gat                          	;... primary input
)                                	;... primary input
;
;
(:outputs
388gat                          	;... primary output
389gat                          	;... primary output
390gat                          	;... primary output
391gat                          	;... primary output
418gat                          	;... primary output
419gat                          	;... primary output
420gat                          	;... primary output
421gat                          	;... primary output
422gat                          	;... primary output
423gat                          	;... primary output
446gat                          	;... primary output
447gat                          	;... primary output
448gat                          	;... primary output
449gat                          	;... primary output
450gat                          	;... primary output
767gat                          	;... primary output
768gat                          	;... primary output
850gat                          	;... primary output
863gat                          	;... primary output
864gat                          	;... primary output
865gat                          	;... primary output
866gat                          	;... primary output
874gat                          	;... primary output
878gat                          	;... primary output
879gat                          	;... primary output
880gat                          	;... primary output
)                                	;... primary output
;
;
;	Output	Type	Inputs...
;	------	----	---------
(:gates
	(269gat	nand	1gat	8gat	13gat	17gat)
	(270gat	nand	1gat	26gat	13gat	17gat)
	(273gat	and	29gat	36gat	42gat)
	(276gat	and	1gat	26gat	51gat)
	(279gat	nand	1gat	8gat	51gat	17gat)
	(280gat	nand	1gat	8gat	13gat	55gat)
	(284gat	nand	59gat	42gat	68gat	72gat)
	(285gat	nand	29gat	68gat)
	(286gat	nand	59gat	68gat	74gat)
	(287gat	and	29gat	75gat	80gat)
	(290gat	and	29gat	75gat	42gat)
	(291gat	and	29gat	36gat	80gat)
	(292gat	and	29gat	36gat	42gat)
	(293gat	and	59gat	75gat	80gat)
	(294gat	and	59gat	75gat	42gat)
	(295gat	and	59gat	36gat	80gat)
	(296gat	and	59gat	36gat	42gat)
	(297gat	and	85gat	86gat)
	(298gat	or	87gat	88gat)
	(301gat	nand	91gat	96gat)
	(302gat	or	91gat	96gat)
	(303gat	nand	101gat	106gat)
	(304gat	or	101gat	106gat)
	(305gat	nand	111gat	116gat)
	(306gat	or	111gat	116gat)
	(307gat	nand	121gat	126gat)
	(308gat	or	121gat	126gat)
	(309gat	and	8gat	138gat)
	(310gat	not	268gat)
	(316gat	and	51gat	138gat)
	(317gat	and	17gat	138gat)
	(318gat	and	152gat	138gat)
	(319gat	nand	59gat	156gat)
	(322gat	nor	17gat	42gat)
	(323gat	and	17gat	42gat)
	(324gat	nand	159gat	165gat)
	(325gat	or	159gat	165gat)
	(326gat	nand	171gat	177gat)
	(327gat	or	171gat	177gat)
	(328gat	nand	183gat	189gat)
	(329gat	or	183gat	189gat)
	(330gat	nand	195gat	201gat)
	(331gat	or	195gat	201gat)
	(332gat	and	210gat	91gat)
	(333gat	and	210gat	96gat)
	(334gat	and	210gat	101gat)
	(335gat	and	210gat	106gat)
	(336gat	and	210gat	111gat)
	(337gat	and	255gat	259gat)
	(338gat	and	210gat	116gat)
	(339gat	and	255gat	260gat)
	(340gat	and	210gat	121gat)
	(341gat	and	255gat	267gat)
	(342gat	not	269gat)
	(343gat	not	273gat)
	(344gat	or	270gat	273gat)
	(345gat	not	276gat)
	(346gat	not	276gat)
	(347gat	not	279gat)
	(348gat	nor	280gat	284gat)
	(349gat	or	280gat	285gat)
	(350gat	or	280gat	286gat)
	(351gat	not	293gat)
	(352gat	not	294gat)
	(353gat	not	295gat)
	(354gat	not	296gat)
	(355gat	nand	89gat	298gat)
	(356gat	and	90gat	298gat)
	(357gat	nand	301gat	302gat)
	(360gat	nand	303gat	304gat)
	(363gat	nand	305gat	306gat)
	(366gat	nand	307gat	308gat)
	(369gat	not	310gat)
	(375gat	nor	322gat	323gat)
	(376gat	nand	324gat	325gat)
	(379gat	nand	326gat	327gat)
	(382gat	nand	328gat	329gat)
	(385gat	nand	330gat	331gat)
	(388gat	buff	290gat)
	(389gat	buff	291gat)
	(390gat	buff	292gat)
	(391gat	buff	297gat)
	(392gat	or	270gat	343gat)
	(393gat	not	345gat)
	(399gat	not	346gat)
	(400gat	and	348gat	73gat)
	(401gat	not	349gat)
	(402gat	not	350gat)
	(403gat	not	355gat)
	(404gat	not	357gat)
	(405gat	not	360gat)
	(406gat	and	357gat	360gat)
	(407gat	not	363gat)
	(408gat	not	366gat)
	(409gat	and	363gat	366gat)
	(410gat	nand	347gat	352gat)
	(411gat	not	376gat)
	(412gat	not	379gat)
	(413gat	and	376gat	379gat)
	(414gat	not	382gat)
	(415gat	not	385gat)
	(416gat	and	382gat	385gat)
	(417gat	and	210gat	369gat)
	(418gat	buff	342gat)
	(419gat	buff	344gat)
	(420gat	buff	351gat)
	(421gat	buff	353gat)
	(422gat	buff	354gat)
	(423gat	buff	356gat)
	(424gat	not	400gat)
	(425gat	and	404gat	405gat)
	(426gat	and	407gat	408gat)
	(427gat	and	319gat	393gat	55gat)
	(432gat	and	393gat	17gat	287gat)
	(437gat	nand	393gat	287gat	55gat)
	(442gat	nand	375gat	59gat	156gat	393gat)
	(443gat	nand	393gat	319gat	17gat)
	(444gat	and	411gat	412gat)
	(445gat	and	414gat	415gat)
	(446gat	buff	392gat)
	(447gat	buff	399gat)
	(448gat	buff	401gat)
	(449gat	buff	402gat)
	(450gat	buff	403gat)
	(451gat	not	424gat)
	(460gat	nor	406gat	425gat)
	(463gat	nor	409gat	426gat)
	(466gat	nand	442gat	410gat)
	(475gat	and	143gat	427gat)
	(476gat	and	310gat	432gat)
	(477gat	and	146gat	427gat)
	(478gat	and	310gat	432gat)
	(479gat	and	149gat	427gat)
	(480gat	and	310gat	432gat)
	(481gat	and	153gat	427gat)
	(482gat	and	310gat	432gat)
	(483gat	nand	443gat	1gat)
	(488gat	or	369gat	437gat)
	(489gat	or	369gat	437gat)
	(490gat	or	369gat	437gat)
	(491gat	or	369gat	437gat)
	(492gat	nor	413gat	444gat)
	(495gat	nor	416gat	445gat)
	(498gat	nand	130gat	460gat)
	(499gat	or	130gat	460gat)
	(500gat	nand	463gat	135gat)
	(501gat	or	463gat	135gat)
	(502gat	and	91gat	466gat)
	(503gat	nor	475gat	476gat)
	(504gat	and	96gat	466gat)
	(505gat	nor	477gat	478gat)
	(506gat	and	101gat	466gat)
	(507gat	nor	479gat	480gat)
	(508gat	and	106gat	466gat)
	(509gat	nor	481gat	482gat)
	(510gat	and	143gat	483gat)
	(511gat	and	111gat	466gat)
	(512gat	and	146gat	483gat)
	(513gat	and	116gat	466gat)
	(514gat	and	149gat	483gat)
	(515gat	and	121gat	466gat)
	(516gat	and	153gat	483gat)
	(517gat	and	126gat	466gat)
	(518gat	nand	130gat	492gat)
	(519gat	or	130gat	492gat)
	(520gat	nand	495gat	207gat)
	(521gat	or	495gat	207gat)
	(522gat	and	451gat	159gat)
	(523gat	and	451gat	165gat)
	(524gat	and	451gat	171gat)
	(525gat	and	451gat	177gat)
	(526gat	and	451gat	183gat)
	(527gat	nand	451gat	189gat)
	(528gat	nand	451gat	195gat)
	(529gat	nand	451gat	201gat)
	(530gat	nand	498gat	499gat)
	(533gat	nand	500gat	501gat)
	(536gat	nor	309gat	502gat)
	(537gat	nor	316gat	504gat)
	(538gat	nor	317gat	506gat)
	(539gat	nor	318gat	508gat)
	(540gat	nor	510gat	511gat)
	(541gat	nor	512gat	513gat)
	(542gat	nor	514gat	515gat)
	(543gat	nor	516gat	517gat)
	(544gat	nand	518gat	519gat)
	(547gat	nand	520gat	521gat)
	(550gat	not	530gat)
	(551gat	not	533gat)
	(552gat	and	530gat	533gat)
	(553gat	nand	536gat	503gat)
	(557gat	nand	537gat	505gat)
	(561gat	nand	538gat	507gat)
	(565gat	nand	539gat	509gat)
	(569gat	nand	488gat	540gat)
	(573gat	nand	489gat	541gat)
	(577gat	nand	490gat	542gat)
	(581gat	nand	491gat	543gat)
	(585gat	not	544gat)
	(586gat	not	547gat)
	(587gat	and	544gat	547gat)
	(588gat	and	550gat	551gat)
	(589gat	and	585gat	586gat)
	(590gat	nand	553gat	159gat)
	(593gat	or	553gat	159gat)
	(596gat	and	246gat	553gat)
	(597gat	nand	557gat	165gat)
	(600gat	or	557gat	165gat)
	(605gat	and	246gat	557gat)
	(606gat	nand	561gat	171gat)
	(609gat	or	561gat	171gat)
	(615gat	and	246gat	561gat)
	(616gat	nand	565gat	177gat)
	(619gat	or	565gat	177gat)
	(624gat	and	246gat	565gat)
	(625gat	nand	569gat	183gat)
	(628gat	or	569gat	183gat)
	(631gat	and	246gat	569gat)
	(632gat	nand	573gat	189gat)
	(635gat	or	573gat	189gat)
	(640gat	and	246gat	573gat)
	(641gat	nand	577gat	195gat)
	(644gat	or	577gat	195gat)
	(650gat	and	246gat	577gat)
	(651gat	nand	581gat	201gat)
	(654gat	or	581gat	201gat)
	(659gat	and	246gat	581gat)
	(660gat	nor	552gat	588gat)
	(661gat	nor	587gat	589gat)
	(662gat	not	590gat)
	(665gat	and	593gat	590gat)
	(669gat	nor	596gat	522gat)
	(670gat	not	597gat)
	(673gat	and	600gat	597gat)
	(677gat	nor	605gat	523gat)
	(678gat	not	606gat)
	(682gat	and	609gat	606gat)
	(686gat	nor	615gat	524gat)
	(687gat	not	616gat)
	(692gat	and	619gat	616gat)
	(696gat	nor	624gat	525gat)
	(697gat	not	625gat)
	(700gat	and	628gat	625gat)
	(704gat	nor	631gat	526gat)
	(705gat	not	632gat)
	(708gat	and	635gat	632gat)
	(712gat	nor	337gat	640gat)
	(713gat	not	641gat)
	(717gat	and	644gat	641gat)
	(721gat	nor	339gat	650gat)
	(722gat	not	651gat)
	(727gat	and	654gat	651gat)
	(731gat	nor	341gat	659gat)
	(732gat	nand	654gat	261gat)
	(733gat	nand	644gat	654gat	261gat)
	(734gat	nand	635gat	644gat	654gat	261gat)
	(735gat	not	662gat)
	(736gat	and	228gat	665gat)
	(737gat	and	237gat	662gat)
	(738gat	not	670gat)
	(739gat	and	228gat	673gat)
	(740gat	and	237gat	670gat)
	(741gat	not	678gat)
	(742gat	and	228gat	682gat)
	(743gat	and	237gat	678gat)
	(744gat	not	687gat)
	(745gat	and	228gat	692gat)
	(746gat	and	237gat	687gat)
	(747gat	not	697gat)
	(748gat	and	228gat	700gat)
	(749gat	and	237gat	697gat)
	(750gat	not	705gat)
	(751gat	and	228gat	708gat)
	(752gat	and	237gat	705gat)
	(753gat	not	713gat)
	(754gat	and	228gat	717gat)
	(755gat	and	237gat	713gat)
	(756gat	not	722gat)
	(757gat	nor	727gat	261gat)
	(758gat	and	727gat	261gat)
	(759gat	and	228gat	727gat)
	(760gat	and	237gat	722gat)
	(761gat	nand	644gat	722gat)
	(762gat	nand	635gat	713gat)
	(763gat	nand	635gat	644gat	722gat)
	(764gat	nand	609gat	687gat)
	(765gat	nand	600gat	678gat)
	(766gat	nand	600gat	609gat	687gat)
	(767gat	buff	660gat)
	(768gat	buff	661gat)
	(769gat	nor	736gat	737gat)
	(770gat	nor	739gat	740gat)
	(771gat	nor	742gat	743gat)
	(772gat	nor	745gat	746gat)
	(773gat	nand	750gat	762gat	763gat	734gat)
	(777gat	nor	748gat	749gat)
	(778gat	nand	753gat	761gat	733gat)
	(781gat	nor	751gat	752gat)
	(782gat	nand	756gat	732gat)
	(785gat	nor	754gat	755gat)
	(786gat	nor	757gat	758gat)
	(787gat	nor	759gat	760gat)
	(788gat	nor	700gat	773gat)
	(789gat	and	700gat	773gat)
	(790gat	nor	708gat	778gat)
	(791gat	and	708gat	778gat)
	(792gat	nor	717gat	782gat)
	(793gat	and	717gat	782gat)
	(794gat	and	219gat	786gat)
	(795gat	nand	628gat	773gat)
	(796gat	nand	795gat	747gat)
	(802gat	nor	788gat	789gat)
	(803gat	nor	790gat	791gat)
	(804gat	nor	792gat	793gat)
	(805gat	nor	340gat	794gat)
	(806gat	nor	692gat	796gat)
	(807gat	and	692gat	796gat)
	(808gat	and	219gat	802gat)
	(809gat	and	219gat	803gat)
	(810gat	and	219gat	804gat)
	(811gat	nand	805gat	787gat	731gat	529gat)
	(812gat	nand	619gat	796gat)
	(813gat	nand	609gat	619gat	796gat)
	(814gat	nand	600gat	609gat	619gat	796gat)
	(815gat	nand	738gat	765gat	766gat	814gat)
	(819gat	nand	741gat	764gat	813gat)
	(822gat	nand	744gat	812gat)
	(825gat	nor	806gat	807gat)
	(826gat	nor	335gat	808gat)
	(827gat	nor	336gat	809gat)
	(828gat	nor	338gat	810gat)
	(829gat	not	811gat)
	(830gat	nor	665gat	815gat)
	(831gat	and	665gat	815gat)
	(832gat	nor	673gat	819gat)
	(833gat	and	673gat	819gat)
	(834gat	nor	682gat	822gat)
	(835gat	and	682gat	822gat)
	(836gat	and	219gat	825gat)
	(837gat	nand	826gat	777gat	704gat)
	(838gat	nand	827gat	781gat	712gat	527gat)
	(839gat	nand	828gat	785gat	721gat	528gat)
	(840gat	not	829gat)
	(841gat	nand	815gat	593gat)
	(842gat	nor	830gat	831gat)
	(843gat	nor	832gat	833gat)
	(844gat	nor	834gat	835gat)
	(845gat	nor	334gat	836gat)
	(846gat	not	837gat)
	(847gat	not	838gat)
	(848gat	not	839gat)
	(849gat	and	735gat	841gat)
	(850gat	buff	840gat)
	(851gat	and	219gat	842gat)
	(852gat	and	219gat	843gat)
	(853gat	and	219gat	844gat)
	(854gat	nand	845gat	772gat	696gat)
	(855gat	not	846gat)
	(856gat	not	847gat)
	(857gat	not	848gat)
	(858gat	not	849gat)
	(859gat	nor	417gat	851gat)
	(860gat	nor	332gat	852gat)
	(861gat	nor	333gat	853gat)
	(862gat	not	854gat)
	(863gat	buff	855gat)
	(864gat	buff	856gat)
	(865gat	buff	857gat)
	(866gat	buff	858gat)
	(867gat	nand	859gat	769gat	669gat)
	(868gat	nand	860gat	770gat	677gat)
	(869gat	nand	861gat	771gat	686gat)
	(870gat	not	862gat)
	(871gat	not	867gat)
	(872gat	not	868gat)
	(873gat	not	869gat)
	(874gat	buff	870gat)
	(875gat	not	871gat)
	(876gat	not	872gat)
	(877gat	not	873gat)
	(878gat	buff	875gat)
	(879gat	buff	876gat)
	(880gat	buff	877gat)
)