# c6288.dat
#  combinational logic example "c6288"
#-------------------------------------------------------------
#
#
#  total number of lines in the netlist ..............  6288
#  simplistically reduced equivalent fault set size =   7744
#        lines from primary input  gates .......    32
#        lines from primary output gates .......    32
#        lines from interior gate outputs ......  2384
#        lines from **  1456 ** fanout stems ...  3840
#
#        avg_fanin  =  1.99,     max_fanin  =  2
#        avg_fanout =  2.64,     max_fanout = 16
#
#
#
#
#
INPUT(1gat)	#... primary input
INPUT(18gat)	#... primary input
INPUT(35gat)	#... primary input
INPUT(52gat)	#... primary input
INPUT(69gat)	#... primary input
INPUT(86gat)	#... primary input
INPUT(103gat)	#... primary input
INPUT(120gat)	#... primary input
INPUT(137gat)	#... primary input
INPUT(154gat)	#... primary input
INPUT(171gat)	#... primary input
INPUT(188gat)	#... primary input
INPUT(205gat)	#... primary input
INPUT(222gat)	#... primary input
INPUT(239gat)	#... primary input
INPUT(256gat)	#... primary input
INPUT(273gat)	#... primary input
INPUT(290gat)	#... primary input
INPUT(307gat)	#... primary input
INPUT(324gat)	#... primary input
INPUT(341gat)	#... primary input
INPUT(358gat)	#... primary input
INPUT(375gat)	#... primary input
INPUT(392gat)	#... primary input
INPUT(409gat)	#... primary input
INPUT(426gat)	#... primary input
INPUT(443gat)	#... primary input
INPUT(460gat)	#... primary input
INPUT(477gat)	#... primary input
INPUT(494gat)	#... primary input
INPUT(511gat)	#... primary input
INPUT(528gat)	#... primary input
#
#
OUTPUT(545gat)	#... primary output
OUTPUT(1581gat)	#... primary output
OUTPUT(1901gat)	#... primary output
OUTPUT(2223gat)	#... primary output
OUTPUT(2548gat)	#... primary output
OUTPUT(2877gat)	#... primary output
OUTPUT(3211gat)	#... primary output
OUTPUT(3552gat)	#... primary output
OUTPUT(3895gat)	#... primary output
OUTPUT(4241gat)	#... primary output
OUTPUT(4591gat)	#... primary output
OUTPUT(4946gat)	#... primary output
OUTPUT(5308gat)	#... primary output
OUTPUT(5672gat)	#... primary output
OUTPUT(5971gat)	#... primary output
OUTPUT(6123gat)	#... primary output
OUTPUT(6150gat)	#... primary output
OUTPUT(6160gat)	#... primary output
OUTPUT(6170gat)	#... primary output
OUTPUT(6180gat)	#... primary output
OUTPUT(6190gat)	#... primary output
OUTPUT(6200gat)	#... primary output
OUTPUT(6210gat)	#... primary output
OUTPUT(6220gat)	#... primary output
OUTPUT(6230gat)	#... primary output
OUTPUT(6240gat)	#... primary output
OUTPUT(6250gat)	#... primary output
OUTPUT(6260gat)	#... primary output
OUTPUT(6270gat)	#... primary output
OUTPUT(6280gat)	#... primary output
OUTPUT(6287gat)	#... primary output
OUTPUT(6288gat)	#... primary output
#
#
#	Output		Type	Inputs...
#	------		----	---------
	545gat = 	and(	1gat,	273gat)
	546gat = 	and(	1gat,	290gat)
	549gat = 	and(	1gat,	307gat)
	552gat = 	and(	1gat,	324gat)
	555gat = 	and(	1gat,	341gat)
	558gat = 	and(	1gat,	358gat)
	561gat = 	and(	1gat,	375gat)
	564gat = 	and(	1gat,	392gat)
	567gat = 	and(	1gat,	409gat)
	570gat = 	and(	1gat,	426gat)
	573gat = 	and(	1gat,	443gat)
	576gat = 	and(	1gat,	460gat)
	579gat = 	and(	1gat,	477gat)
	582gat = 	and(	1gat,	494gat)
	585gat = 	and(	1gat,	511gat)
	588gat = 	and(	1gat,	528gat)
	591gat = 	and(	18gat,	273gat)
	594gat = 	and(	18gat,	290gat)
	597gat = 	and(	18gat,	307gat)
	600gat = 	and(	18gat,	324gat)
	603gat = 	and(	18gat,	341gat)
	606gat = 	and(	18gat,	358gat)
	609gat = 	and(	18gat,	375gat)
	612gat = 	and(	18gat,	392gat)
	615gat = 	and(	18gat,	409gat)
	618gat = 	and(	18gat,	426gat)
	621gat = 	and(	18gat,	443gat)
	624gat = 	and(	18gat,	460gat)
	627gat = 	and(	18gat,	477gat)
	630gat = 	and(	18gat,	494gat)
	633gat = 	and(	18gat,	511gat)
	636gat = 	and(	18gat,	528gat)
	639gat = 	and(	35gat,	273gat)
	642gat = 	and(	35gat,	290gat)
	645gat = 	and(	35gat,	307gat)
	648gat = 	and(	35gat,	324gat)
	651gat = 	and(	35gat,	341gat)
	654gat = 	and(	35gat,	358gat)
	657gat = 	and(	35gat,	375gat)
	660gat = 	and(	35gat,	392gat)
	663gat = 	and(	35gat,	409gat)
	666gat = 	and(	35gat,	426gat)
	669gat = 	and(	35gat,	443gat)
	672gat = 	and(	35gat,	460gat)
	675gat = 	and(	35gat,	477gat)
	678gat = 	and(	35gat,	494gat)
	681gat = 	and(	35gat,	511gat)
	684gat = 	and(	35gat,	528gat)
	687gat = 	and(	52gat,	273gat)
	690gat = 	and(	52gat,	290gat)
	693gat = 	and(	52gat,	307gat)
	696gat = 	and(	52gat,	324gat)
	699gat = 	and(	52gat,	341gat)
	702gat = 	and(	52gat,	358gat)
	705gat = 	and(	52gat,	375gat)
	708gat = 	and(	52gat,	392gat)
	711gat = 	and(	52gat,	409gat)
	714gat = 	and(	52gat,	426gat)
	717gat = 	and(	52gat,	443gat)
	720gat = 	and(	52gat,	460gat)
	723gat = 	and(	52gat,	477gat)
	726gat = 	and(	52gat,	494gat)
	729gat = 	and(	52gat,	511gat)
	732gat = 	and(	52gat,	528gat)
	735gat = 	and(	69gat,	273gat)
	738gat = 	and(	69gat,	290gat)
	741gat = 	and(	69gat,	307gat)
	744gat = 	and(	69gat,	324gat)
	747gat = 	and(	69gat,	341gat)
	750gat = 	and(	69gat,	358gat)
	753gat = 	and(	69gat,	375gat)
	756gat = 	and(	69gat,	392gat)
	759gat = 	and(	69gat,	409gat)
	762gat = 	and(	69gat,	426gat)
	765gat = 	and(	69gat,	443gat)
	768gat = 	and(	69gat,	460gat)
	771gat = 	and(	69gat,	477gat)
	774gat = 	and(	69gat,	494gat)
	777gat = 	and(	69gat,	511gat)
	780gat = 	and(	69gat,	528gat)
	783gat = 	and(	86gat,	273gat)
	786gat = 	and(	86gat,	290gat)
	789gat = 	and(	86gat,	307gat)
	792gat = 	and(	86gat,	324gat)
	795gat = 	and(	86gat,	341gat)
	798gat = 	and(	86gat,	358gat)
	801gat = 	and(	86gat,	375gat)
	804gat = 	and(	86gat,	392gat)
	807gat = 	and(	86gat,	409gat)
	810gat = 	and(	86gat,	426gat)
	813gat = 	and(	86gat,	443gat)
	816gat = 	and(	86gat,	460gat)
	819gat = 	and(	86gat,	477gat)
	822gat = 	and(	86gat,	494gat)
	825gat = 	and(	86gat,	511gat)
	828gat = 	and(	86gat,	528gat)
	831gat = 	and(	103gat,	273gat)
	834gat = 	and(	103gat,	290gat)
	837gat = 	and(	103gat,	307gat)
	840gat = 	and(	103gat,	324gat)
	843gat = 	and(	103gat,	341gat)
	846gat = 	and(	103gat,	358gat)
	849gat = 	and(	103gat,	375gat)
	852gat = 	and(	103gat,	392gat)
	855gat = 	and(	103gat,	409gat)
	858gat = 	and(	103gat,	426gat)
	861gat = 	and(	103gat,	443gat)
	864gat = 	and(	103gat,	460gat)
	867gat = 	and(	103gat,	477gat)
	870gat = 	and(	103gat,	494gat)
	873gat = 	and(	103gat,	511gat)
	876gat = 	and(	103gat,	528gat)
	879gat = 	and(	120gat,	273gat)
	882gat = 	and(	120gat,	290gat)
	885gat = 	and(	120gat,	307gat)
	888gat = 	and(	120gat,	324gat)
	891gat = 	and(	120gat,	341gat)
	894gat = 	and(	120gat,	358gat)
	897gat = 	and(	120gat,	375gat)
	900gat = 	and(	120gat,	392gat)
	903gat = 	and(	120gat,	409gat)
	906gat = 	and(	120gat,	426gat)
	909gat = 	and(	120gat,	443gat)
	912gat = 	and(	120gat,	460gat)
	915gat = 	and(	120gat,	477gat)
	918gat = 	and(	120gat,	494gat)
	921gat = 	and(	120gat,	511gat)
	924gat = 	and(	120gat,	528gat)
	927gat = 	and(	137gat,	273gat)
	930gat = 	and(	137gat,	290gat)
	933gat = 	and(	137gat,	307gat)
	936gat = 	and(	137gat,	324gat)
	939gat = 	and(	137gat,	341gat)
	942gat = 	and(	137gat,	358gat)
	945gat = 	and(	137gat,	375gat)
	948gat = 	and(	137gat,	392gat)
	951gat = 	and(	137gat,	409gat)
	954gat = 	and(	137gat,	426gat)
	957gat = 	and(	137gat,	443gat)
	960gat = 	and(	137gat,	460gat)
	963gat = 	and(	137gat,	477gat)
	966gat = 	and(	137gat,	494gat)
	969gat = 	and(	137gat,	511gat)
	972gat = 	and(	137gat,	528gat)
	975gat = 	and(	154gat,	273gat)
	978gat = 	and(	154gat,	290gat)
	981gat = 	and(	154gat,	307gat)
	984gat = 	and(	154gat,	324gat)
	987gat = 	and(	154gat,	341gat)
	990gat = 	and(	154gat,	358gat)
	993gat = 	and(	154gat,	375gat)
	996gat = 	and(	154gat,	392gat)
	999gat = 	and(	154gat,	409gat)
	1002gat = 	and(	154gat,	426gat)
	1005gat = 	and(	154gat,	443gat)
	1008gat = 	and(	154gat,	460gat)
	1011gat = 	and(	154gat,	477gat)
	1014gat = 	and(	154gat,	494gat)
	1017gat = 	and(	154gat,	511gat)
	1020gat = 	and(	154gat,	528gat)
	1023gat = 	and(	171gat,	273gat)
	1026gat = 	and(	171gat,	290gat)
	1029gat = 	and(	171gat,	307gat)
	1032gat = 	and(	171gat,	324gat)
	1035gat = 	and(	171gat,	341gat)
	1038gat = 	and(	171gat,	358gat)
	1041gat = 	and(	171gat,	375gat)
	1044gat = 	and(	171gat,	392gat)
	1047gat = 	and(	171gat,	409gat)
	1050gat = 	and(	171gat,	426gat)
	1053gat = 	and(	171gat,	443gat)
	1056gat = 	and(	171gat,	460gat)
	1059gat = 	and(	171gat,	477gat)
	1062gat = 	and(	171gat,	494gat)
	1065gat = 	and(	171gat,	511gat)
	1068gat = 	and(	171gat,	528gat)
	1071gat = 	and(	188gat,	273gat)
	1074gat = 	and(	188gat,	290gat)
	1077gat = 	and(	188gat,	307gat)
	1080gat = 	and(	188gat,	324gat)
	1083gat = 	and(	188gat,	341gat)
	1086gat = 	and(	188gat,	358gat)
	1089gat = 	and(	188gat,	375gat)
	1092gat = 	and(	188gat,	392gat)
	1095gat = 	and(	188gat,	409gat)
	1098gat = 	and(	188gat,	426gat)
	1101gat = 	and(	188gat,	443gat)
	1104gat = 	and(	188gat,	460gat)
	1107gat = 	and(	188gat,	477gat)
	1110gat = 	and(	188gat,	494gat)
	1113gat = 	and(	188gat,	511gat)
	1116gat = 	and(	188gat,	528gat)
	1119gat = 	and(	205gat,	273gat)
	1122gat = 	and(	205gat,	290gat)
	1125gat = 	and(	205gat,	307gat)
	1128gat = 	and(	205gat,	324gat)
	1131gat = 	and(	205gat,	341gat)
	1134gat = 	and(	205gat,	358gat)
	1137gat = 	and(	205gat,	375gat)
	1140gat = 	and(	205gat,	392gat)
	1143gat = 	and(	205gat,	409gat)
	1146gat = 	and(	205gat,	426gat)
	1149gat = 	and(	205gat,	443gat)
	1152gat = 	and(	205gat,	460gat)
	1155gat = 	and(	205gat,	477gat)
	1158gat = 	and(	205gat,	494gat)
	1161gat = 	and(	205gat,	511gat)
	1164gat = 	and(	205gat,	528gat)
	1167gat = 	and(	222gat,	273gat)
	1170gat = 	and(	222gat,	290gat)
	1173gat = 	and(	222gat,	307gat)
	1176gat = 	and(	222gat,	324gat)
	1179gat = 	and(	222gat,	341gat)
	1182gat = 	and(	222gat,	358gat)
	1185gat = 	and(	222gat,	375gat)
	1188gat = 	and(	222gat,	392gat)
	1191gat = 	and(	222gat,	409gat)
	1194gat = 	and(	222gat,	426gat)
	1197gat = 	and(	222gat,	443gat)
	1200gat = 	and(	222gat,	460gat)
	1203gat = 	and(	222gat,	477gat)
	1206gat = 	and(	222gat,	494gat)
	1209gat = 	and(	222gat,	511gat)
	1212gat = 	and(	222gat,	528gat)
	1215gat = 	and(	239gat,	273gat)
	1218gat = 	and(	239gat,	290gat)
	1221gat = 	and(	239gat,	307gat)
	1224gat = 	and(	239gat,	324gat)
	1227gat = 	and(	239gat,	341gat)
	1230gat = 	and(	239gat,	358gat)
	1233gat = 	and(	239gat,	375gat)
	1236gat = 	and(	239gat,	392gat)
	1239gat = 	and(	239gat,	409gat)
	1242gat = 	and(	239gat,	426gat)
	1245gat = 	and(	239gat,	443gat)
	1248gat = 	and(	239gat,	460gat)
	1251gat = 	and(	239gat,	477gat)
	1254gat = 	and(	239gat,	494gat)
	1257gat = 	and(	239gat,	511gat)
	1260gat = 	and(	239gat,	528gat)
	1263gat = 	and(	256gat,	273gat)
	1266gat = 	and(	256gat,	290gat)
	1269gat = 	and(	256gat,	307gat)
	1272gat = 	and(	256gat,	324gat)
	1275gat = 	and(	256gat,	341gat)
	1278gat = 	and(	256gat,	358gat)
	1281gat = 	and(	256gat,	375gat)
	1284gat = 	and(	256gat,	392gat)
	1287gat = 	and(	256gat,	409gat)
	1290gat = 	and(	256gat,	426gat)
	1293gat = 	and(	256gat,	443gat)
	1296gat = 	and(	256gat,	460gat)
	1299gat = 	and(	256gat,	477gat)
	1302gat = 	and(	256gat,	494gat)
	1305gat = 	and(	256gat,	511gat)
	1308gat = 	and(	256gat,	528gat)
	1311gat = 	not(	591gat)
	1315gat = 	not(	639gat)
	1319gat = 	not(	687gat)
	1323gat = 	not(	735gat)
	1327gat = 	not(	783gat)
	1331gat = 	not(	831gat)
	1335gat = 	not(	879gat)
	1339gat = 	not(	927gat)
	1343gat = 	not(	975gat)
	1347gat = 	not(	1023gat)
	1351gat = 	not(	1071gat)
	1355gat = 	not(	1119gat)
	1359gat = 	not(	1167gat)
	1363gat = 	not(	1215gat)
	1367gat = 	not(	1263gat)
	1371gat = 	nor(	591gat,	1311gat)
	1372gat = 	not(	1311gat)
	1373gat = 	nor(	639gat,	1315gat)
	1374gat = 	not(	1315gat)
	1375gat = 	nor(	687gat,	1319gat)
	1376gat = 	not(	1319gat)
	1377gat = 	nor(	735gat,	1323gat)
	1378gat = 	not(	1323gat)
	1379gat = 	nor(	783gat,	1327gat)
	1380gat = 	not(	1327gat)
	1381gat = 	nor(	831gat,	1331gat)
	1382gat = 	not(	1331gat)
	1383gat = 	nor(	879gat,	1335gat)
	1384gat = 	not(	1335gat)
	1385gat = 	nor(	927gat,	1339gat)
	1386gat = 	not(	1339gat)
	1387gat = 	nor(	975gat,	1343gat)
	1388gat = 	not(	1343gat)
	1389gat = 	nor(	1023gat,	1347gat)
	1390gat = 	not(	1347gat)
	1391gat = 	nor(	1071gat,	1351gat)
	1392gat = 	not(	1351gat)
	1393gat = 	nor(	1119gat,	1355gat)
	1394gat = 	not(	1355gat)
	1395gat = 	nor(	1167gat,	1359gat)
	1396gat = 	not(	1359gat)
	1397gat = 	nor(	1215gat,	1363gat)
	1398gat = 	not(	1363gat)
	1399gat = 	nor(	1263gat,	1367gat)
	1400gat = 	not(	1367gat)
	1401gat = 	nor(	1371gat,	1372gat)
	1404gat = 	nor(	1373gat,	1374gat)
	1407gat = 	nor(	1375gat,	1376gat)
	1410gat = 	nor(	1377gat,	1378gat)
	1413gat = 	nor(	1379gat,	1380gat)
	1416gat = 	nor(	1381gat,	1382gat)
	1419gat = 	nor(	1383gat,	1384gat)
	1422gat = 	nor(	1385gat,	1386gat)
	1425gat = 	nor(	1387gat,	1388gat)
	1428gat = 	nor(	1389gat,	1390gat)
	1431gat = 	nor(	1391gat,	1392gat)
	1434gat = 	nor(	1393gat,	1394gat)
	1437gat = 	nor(	1395gat,	1396gat)
	1440gat = 	nor(	1397gat,	1398gat)
	1443gat = 	nor(	1399gat,	1400gat)
	1446gat = 	nor(	1401gat,	546gat)
	1450gat = 	nor(	1404gat,	594gat)
	1454gat = 	nor(	1407gat,	642gat)
	1458gat = 	nor(	1410gat,	690gat)
	1462gat = 	nor(	1413gat,	738gat)
	1466gat = 	nor(	1416gat,	786gat)
	1470gat = 	nor(	1419gat,	834gat)
	1474gat = 	nor(	1422gat,	882gat)
	1478gat = 	nor(	1425gat,	930gat)
	1482gat = 	nor(	1428gat,	978gat)
	1486gat = 	nor(	1431gat,	1026gat)
	1490gat = 	nor(	1434gat,	1074gat)
	1494gat = 	nor(	1437gat,	1122gat)
	1498gat = 	nor(	1440gat,	1170gat)
	1502gat = 	nor(	1443gat,	1218gat)
	1506gat = 	nor(	1401gat,	1446gat)
	1507gat = 	nor(	1446gat,	546gat)
	1508gat = 	nor(	1311gat,	1446gat)
	1511gat = 	nor(	1404gat,	1450gat)
	1512gat = 	nor(	1450gat,	594gat)
	1513gat = 	nor(	1315gat,	1450gat)
	1516gat = 	nor(	1407gat,	1454gat)
	1517gat = 	nor(	1454gat,	642gat)
	1518gat = 	nor(	1319gat,	1454gat)
	1521gat = 	nor(	1410gat,	1458gat)
	1522gat = 	nor(	1458gat,	690gat)
	1523gat = 	nor(	1323gat,	1458gat)
	1526gat = 	nor(	1413gat,	1462gat)
	1527gat = 	nor(	1462gat,	738gat)
	1528gat = 	nor(	1327gat,	1462gat)
	1531gat = 	nor(	1416gat,	1466gat)
	1532gat = 	nor(	1466gat,	786gat)
	1533gat = 	nor(	1331gat,	1466gat)
	1536gat = 	nor(	1419gat,	1470gat)
	1537gat = 	nor(	1470gat,	834gat)
	1538gat = 	nor(	1335gat,	1470gat)
	1541gat = 	nor(	1422gat,	1474gat)
	1542gat = 	nor(	1474gat,	882gat)
	1543gat = 	nor(	1339gat,	1474gat)
	1546gat = 	nor(	1425gat,	1478gat)
	1547gat = 	nor(	1478gat,	930gat)
	1548gat = 	nor(	1343gat,	1478gat)
	1551gat = 	nor(	1428gat,	1482gat)
	1552gat = 	nor(	1482gat,	978gat)
	1553gat = 	nor(	1347gat,	1482gat)
	1556gat = 	nor(	1431gat,	1486gat)
	1557gat = 	nor(	1486gat,	1026gat)
	1558gat = 	nor(	1351gat,	1486gat)
	1561gat = 	nor(	1434gat,	1490gat)
	1562gat = 	nor(	1490gat,	1074gat)
	1563gat = 	nor(	1355gat,	1490gat)
	1566gat = 	nor(	1437gat,	1494gat)
	1567gat = 	nor(	1494gat,	1122gat)
	1568gat = 	nor(	1359gat,	1494gat)
	1571gat = 	nor(	1440gat,	1498gat)
	1572gat = 	nor(	1498gat,	1170gat)
	1573gat = 	nor(	1363gat,	1498gat)
	1576gat = 	nor(	1443gat,	1502gat)
	1577gat = 	nor(	1502gat,	1218gat)
	1578gat = 	nor(	1367gat,	1502gat)
	1581gat = 	nor(	1506gat,	1507gat)
	1582gat = 	nor(	1511gat,	1512gat)
	1585gat = 	nor(	1516gat,	1517gat)
	1588gat = 	nor(	1521gat,	1522gat)
	1591gat = 	nor(	1526gat,	1527gat)
	1594gat = 	nor(	1531gat,	1532gat)
	1597gat = 	nor(	1536gat,	1537gat)
	1600gat = 	nor(	1541gat,	1542gat)
	1603gat = 	nor(	1546gat,	1547gat)
	1606gat = 	nor(	1551gat,	1552gat)
	1609gat = 	nor(	1556gat,	1557gat)
	1612gat = 	nor(	1561gat,	1562gat)
	1615gat = 	nor(	1566gat,	1567gat)
	1618gat = 	nor(	1571gat,	1572gat)
	1621gat = 	nor(	1576gat,	1577gat)
	1624gat = 	nor(	1266gat,	1578gat)
	1628gat = 	nor(	1582gat,	1508gat)
	1632gat = 	nor(	1585gat,	1513gat)
	1636gat = 	nor(	1588gat,	1518gat)
	1640gat = 	nor(	1591gat,	1523gat)
	1644gat = 	nor(	1594gat,	1528gat)
	1648gat = 	nor(	1597gat,	1533gat)
	1652gat = 	nor(	1600gat,	1538gat)
	1656gat = 	nor(	1603gat,	1543gat)
	1660gat = 	nor(	1606gat,	1548gat)
	1664gat = 	nor(	1609gat,	1553gat)
	1668gat = 	nor(	1612gat,	1558gat)
	1672gat = 	nor(	1615gat,	1563gat)
	1676gat = 	nor(	1618gat,	1568gat)
	1680gat = 	nor(	1621gat,	1573gat)
	1684gat = 	nor(	1266gat,	1624gat)
	1685gat = 	nor(	1624gat,	1578gat)
	1686gat = 	nor(	1582gat,	1628gat)
	1687gat = 	nor(	1628gat,	1508gat)
	1688gat = 	nor(	1585gat,	1632gat)
	1689gat = 	nor(	1632gat,	1513gat)
	1690gat = 	nor(	1588gat,	1636gat)
	1691gat = 	nor(	1636gat,	1518gat)
	1692gat = 	nor(	1591gat,	1640gat)
	1693gat = 	nor(	1640gat,	1523gat)
	1694gat = 	nor(	1594gat,	1644gat)
	1695gat = 	nor(	1644gat,	1528gat)
	1696gat = 	nor(	1597gat,	1648gat)
	1697gat = 	nor(	1648gat,	1533gat)
	1698gat = 	nor(	1600gat,	1652gat)
	1699gat = 	nor(	1652gat,	1538gat)
	1700gat = 	nor(	1603gat,	1656gat)
	1701gat = 	nor(	1656gat,	1543gat)
	1702gat = 	nor(	1606gat,	1660gat)
	1703gat = 	nor(	1660gat,	1548gat)
	1704gat = 	nor(	1609gat,	1664gat)
	1705gat = 	nor(	1664gat,	1553gat)
	1706gat = 	nor(	1612gat,	1668gat)
	1707gat = 	nor(	1668gat,	1558gat)
	1708gat = 	nor(	1615gat,	1672gat)
	1709gat = 	nor(	1672gat,	1563gat)
	1710gat = 	nor(	1618gat,	1676gat)
	1711gat = 	nor(	1676gat,	1568gat)
	1712gat = 	nor(	1621gat,	1680gat)
	1713gat = 	nor(	1680gat,	1573gat)
	1714gat = 	nor(	1684gat,	1685gat)
	1717gat = 	nor(	1686gat,	1687gat)
	1720gat = 	nor(	1688gat,	1689gat)
	1723gat = 	nor(	1690gat,	1691gat)
	1726gat = 	nor(	1692gat,	1693gat)
	1729gat = 	nor(	1694gat,	1695gat)
	1732gat = 	nor(	1696gat,	1697gat)
	1735gat = 	nor(	1698gat,	1699gat)
	1738gat = 	nor(	1700gat,	1701gat)
	1741gat = 	nor(	1702gat,	1703gat)
	1744gat = 	nor(	1704gat,	1705gat)
	1747gat = 	nor(	1706gat,	1707gat)
	1750gat = 	nor(	1708gat,	1709gat)
	1753gat = 	nor(	1710gat,	1711gat)
	1756gat = 	nor(	1712gat,	1713gat)
	1759gat = 	nor(	1714gat,	1221gat)
	1763gat = 	nor(	1717gat,	549gat)
	1767gat = 	nor(	1720gat,	597gat)
	1771gat = 	nor(	1723gat,	645gat)
	1775gat = 	nor(	1726gat,	693gat)
	1779gat = 	nor(	1729gat,	741gat)
	1783gat = 	nor(	1732gat,	789gat)
	1787gat = 	nor(	1735gat,	837gat)
	1791gat = 	nor(	1738gat,	885gat)
	1795gat = 	nor(	1741gat,	933gat)
	1799gat = 	nor(	1744gat,	981gat)
	1803gat = 	nor(	1747gat,	1029gat)
	1807gat = 	nor(	1750gat,	1077gat)
	1811gat = 	nor(	1753gat,	1125gat)
	1815gat = 	nor(	1756gat,	1173gat)
	1819gat = 	nor(	1714gat,	1759gat)
	1820gat = 	nor(	1759gat,	1221gat)
	1821gat = 	nor(	1624gat,	1759gat)
	1824gat = 	nor(	1717gat,	1763gat)
	1825gat = 	nor(	1763gat,	549gat)
	1826gat = 	nor(	1628gat,	1763gat)
	1829gat = 	nor(	1720gat,	1767gat)
	1830gat = 	nor(	1767gat,	597gat)
	1831gat = 	nor(	1632gat,	1767gat)
	1834gat = 	nor(	1723gat,	1771gat)
	1835gat = 	nor(	1771gat,	645gat)
	1836gat = 	nor(	1636gat,	1771gat)
	1839gat = 	nor(	1726gat,	1775gat)
	1840gat = 	nor(	1775gat,	693gat)
	1841gat = 	nor(	1640gat,	1775gat)
	1844gat = 	nor(	1729gat,	1779gat)
	1845gat = 	nor(	1779gat,	741gat)
	1846gat = 	nor(	1644gat,	1779gat)
	1849gat = 	nor(	1732gat,	1783gat)
	1850gat = 	nor(	1783gat,	789gat)
	1851gat = 	nor(	1648gat,	1783gat)
	1854gat = 	nor(	1735gat,	1787gat)
	1855gat = 	nor(	1787gat,	837gat)
	1856gat = 	nor(	1652gat,	1787gat)
	1859gat = 	nor(	1738gat,	1791gat)
	1860gat = 	nor(	1791gat,	885gat)
	1861gat = 	nor(	1656gat,	1791gat)
	1864gat = 	nor(	1741gat,	1795gat)
	1865gat = 	nor(	1795gat,	933gat)
	1866gat = 	nor(	1660gat,	1795gat)
	1869gat = 	nor(	1744gat,	1799gat)
	1870gat = 	nor(	1799gat,	981gat)
	1871gat = 	nor(	1664gat,	1799gat)
	1874gat = 	nor(	1747gat,	1803gat)
	1875gat = 	nor(	1803gat,	1029gat)
	1876gat = 	nor(	1668gat,	1803gat)
	1879gat = 	nor(	1750gat,	1807gat)
	1880gat = 	nor(	1807gat,	1077gat)
	1881gat = 	nor(	1672gat,	1807gat)
	1884gat = 	nor(	1753gat,	1811gat)
	1885gat = 	nor(	1811gat,	1125gat)
	1886gat = 	nor(	1676gat,	1811gat)
	1889gat = 	nor(	1756gat,	1815gat)
	1890gat = 	nor(	1815gat,	1173gat)
	1891gat = 	nor(	1680gat,	1815gat)
	1894gat = 	nor(	1819gat,	1820gat)
	1897gat = 	nor(	1269gat,	1821gat)
	1901gat = 	nor(	1824gat,	1825gat)
	1902gat = 	nor(	1829gat,	1830gat)
	1905gat = 	nor(	1834gat,	1835gat)
	1908gat = 	nor(	1839gat,	1840gat)
	1911gat = 	nor(	1844gat,	1845gat)
	1914gat = 	nor(	1849gat,	1850gat)
	1917gat = 	nor(	1854gat,	1855gat)
	1920gat = 	nor(	1859gat,	1860gat)
	1923gat = 	nor(	1864gat,	1865gat)
	1926gat = 	nor(	1869gat,	1870gat)
	1929gat = 	nor(	1874gat,	1875gat)
	1932gat = 	nor(	1879gat,	1880gat)
	1935gat = 	nor(	1884gat,	1885gat)
	1938gat = 	nor(	1889gat,	1890gat)
	1941gat = 	nor(	1894gat,	1891gat)
	1945gat = 	nor(	1269gat,	1897gat)
	1946gat = 	nor(	1897gat,	1821gat)
	1947gat = 	nor(	1902gat,	1826gat)
	1951gat = 	nor(	1905gat,	1831gat)
	1955gat = 	nor(	1908gat,	1836gat)
	1959gat = 	nor(	1911gat,	1841gat)
	1963gat = 	nor(	1914gat,	1846gat)
	1967gat = 	nor(	1917gat,	1851gat)
	1971gat = 	nor(	1920gat,	1856gat)
	1975gat = 	nor(	1923gat,	1861gat)
	1979gat = 	nor(	1926gat,	1866gat)
	1983gat = 	nor(	1929gat,	1871gat)
	1987gat = 	nor(	1932gat,	1876gat)
	1991gat = 	nor(	1935gat,	1881gat)
	1995gat = 	nor(	1938gat,	1886gat)
	1999gat = 	nor(	1894gat,	1941gat)
	2000gat = 	nor(	1941gat,	1891gat)
	2001gat = 	nor(	1945gat,	1946gat)
	2004gat = 	nor(	1902gat,	1947gat)
	2005gat = 	nor(	1947gat,	1826gat)
	2006gat = 	nor(	1905gat,	1951gat)
	2007gat = 	nor(	1951gat,	1831gat)
	2008gat = 	nor(	1908gat,	1955gat)
	2009gat = 	nor(	1955gat,	1836gat)
	2010gat = 	nor(	1911gat,	1959gat)
	2011gat = 	nor(	1959gat,	1841gat)
	2012gat = 	nor(	1914gat,	1963gat)
	2013gat = 	nor(	1963gat,	1846gat)
	2014gat = 	nor(	1917gat,	1967gat)
	2015gat = 	nor(	1967gat,	1851gat)
	2016gat = 	nor(	1920gat,	1971gat)
	2017gat = 	nor(	1971gat,	1856gat)
	2018gat = 	nor(	1923gat,	1975gat)
	2019gat = 	nor(	1975gat,	1861gat)
	2020gat = 	nor(	1926gat,	1979gat)
	2021gat = 	nor(	1979gat,	1866gat)
	2022gat = 	nor(	1929gat,	1983gat)
	2023gat = 	nor(	1983gat,	1871gat)
	2024gat = 	nor(	1932gat,	1987gat)
	2025gat = 	nor(	1987gat,	1876gat)
	2026gat = 	nor(	1935gat,	1991gat)
	2027gat = 	nor(	1991gat,	1881gat)
	2028gat = 	nor(	1938gat,	1995gat)
	2029gat = 	nor(	1995gat,	1886gat)
	2030gat = 	nor(	1999gat,	2000gat)
	2033gat = 	nor(	2001gat,	1224gat)
	2037gat = 	nor(	2004gat,	2005gat)
	2040gat = 	nor(	2006gat,	2007gat)
	2043gat = 	nor(	2008gat,	2009gat)
	2046gat = 	nor(	2010gat,	2011gat)
	2049gat = 	nor(	2012gat,	2013gat)
	2052gat = 	nor(	2014gat,	2015gat)
	2055gat = 	nor(	2016gat,	2017gat)
	2058gat = 	nor(	2018gat,	2019gat)
	2061gat = 	nor(	2020gat,	2021gat)
	2064gat = 	nor(	2022gat,	2023gat)
	2067gat = 	nor(	2024gat,	2025gat)
	2070gat = 	nor(	2026gat,	2027gat)
	2073gat = 	nor(	2028gat,	2029gat)
	2076gat = 	nor(	2030gat,	1176gat)
	2080gat = 	nor(	2001gat,	2033gat)
	2081gat = 	nor(	2033gat,	1224gat)
	2082gat = 	nor(	1897gat,	2033gat)
	2085gat = 	nor(	2037gat,	552gat)
	2089gat = 	nor(	2040gat,	600gat)
	2093gat = 	nor(	2043gat,	648gat)
	2097gat = 	nor(	2046gat,	696gat)
	2101gat = 	nor(	2049gat,	744gat)
	2105gat = 	nor(	2052gat,	792gat)
	2109gat = 	nor(	2055gat,	840gat)
	2113gat = 	nor(	2058gat,	888gat)
	2117gat = 	nor(	2061gat,	936gat)
	2121gat = 	nor(	2064gat,	984gat)
	2125gat = 	nor(	2067gat,	1032gat)
	2129gat = 	nor(	2070gat,	1080gat)
	2133gat = 	nor(	2073gat,	1128gat)
	2137gat = 	nor(	2030gat,	2076gat)
	2138gat = 	nor(	2076gat,	1176gat)
	2139gat = 	nor(	1941gat,	2076gat)
	2142gat = 	nor(	2080gat,	2081gat)
	2145gat = 	nor(	1272gat,	2082gat)
	2149gat = 	nor(	2037gat,	2085gat)
	2150gat = 	nor(	2085gat,	552gat)
	2151gat = 	nor(	1947gat,	2085gat)
	2154gat = 	nor(	2040gat,	2089gat)
	2155gat = 	nor(	2089gat,	600gat)
	2156gat = 	nor(	1951gat,	2089gat)
	2159gat = 	nor(	2043gat,	2093gat)
	2160gat = 	nor(	2093gat,	648gat)
	2161gat = 	nor(	1955gat,	2093gat)
	2164gat = 	nor(	2046gat,	2097gat)
	2165gat = 	nor(	2097gat,	696gat)
	2166gat = 	nor(	1959gat,	2097gat)
	2169gat = 	nor(	2049gat,	2101gat)
	2170gat = 	nor(	2101gat,	744gat)
	2171gat = 	nor(	1963gat,	2101gat)
	2174gat = 	nor(	2052gat,	2105gat)
	2175gat = 	nor(	2105gat,	792gat)
	2176gat = 	nor(	1967gat,	2105gat)
	2179gat = 	nor(	2055gat,	2109gat)
	2180gat = 	nor(	2109gat,	840gat)
	2181gat = 	nor(	1971gat,	2109gat)
	2184gat = 	nor(	2058gat,	2113gat)
	2185gat = 	nor(	2113gat,	888gat)
	2186gat = 	nor(	1975gat,	2113gat)
	2189gat = 	nor(	2061gat,	2117gat)
	2190gat = 	nor(	2117gat,	936gat)
	2191gat = 	nor(	1979gat,	2117gat)
	2194gat = 	nor(	2064gat,	2121gat)
	2195gat = 	nor(	2121gat,	984gat)
	2196gat = 	nor(	1983gat,	2121gat)
	2199gat = 	nor(	2067gat,	2125gat)
	2200gat = 	nor(	2125gat,	1032gat)
	2201gat = 	nor(	1987gat,	2125gat)
	2204gat = 	nor(	2070gat,	2129gat)
	2205gat = 	nor(	2129gat,	1080gat)
	2206gat = 	nor(	1991gat,	2129gat)
	2209gat = 	nor(	2073gat,	2133gat)
	2210gat = 	nor(	2133gat,	1128gat)
	2211gat = 	nor(	1995gat,	2133gat)
	2214gat = 	nor(	2137gat,	2138gat)
	2217gat = 	nor(	2142gat,	2139gat)
	2221gat = 	nor(	1272gat,	2145gat)
	2222gat = 	nor(	2145gat,	2082gat)
	2223gat = 	nor(	2149gat,	2150gat)
	2224gat = 	nor(	2154gat,	2155gat)
	2227gat = 	nor(	2159gat,	2160gat)
	2230gat = 	nor(	2164gat,	2165gat)
	2233gat = 	nor(	2169gat,	2170gat)
	2236gat = 	nor(	2174gat,	2175gat)
	2239gat = 	nor(	2179gat,	2180gat)
	2242gat = 	nor(	2184gat,	2185gat)
	2245gat = 	nor(	2189gat,	2190gat)
	2248gat = 	nor(	2194gat,	2195gat)
	2251gat = 	nor(	2199gat,	2200gat)
	2254gat = 	nor(	2204gat,	2205gat)
	2257gat = 	nor(	2209gat,	2210gat)
	2260gat = 	nor(	2214gat,	2211gat)
	2264gat = 	nor(	2142gat,	2217gat)
	2265gat = 	nor(	2217gat,	2139gat)
	2266gat = 	nor(	2221gat,	2222gat)
	2269gat = 	nor(	2224gat,	2151gat)
	2273gat = 	nor(	2227gat,	2156gat)
	2277gat = 	nor(	2230gat,	2161gat)
	2281gat = 	nor(	2233gat,	2166gat)
	2285gat = 	nor(	2236gat,	2171gat)
	2289gat = 	nor(	2239gat,	2176gat)
	2293gat = 	nor(	2242gat,	2181gat)
	2297gat = 	nor(	2245gat,	2186gat)
	2301gat = 	nor(	2248gat,	2191gat)
	2305gat = 	nor(	2251gat,	2196gat)
	2309gat = 	nor(	2254gat,	2201gat)
	2313gat = 	nor(	2257gat,	2206gat)
	2317gat = 	nor(	2214gat,	2260gat)
	2318gat = 	nor(	2260gat,	2211gat)
	2319gat = 	nor(	2264gat,	2265gat)
	2322gat = 	nor(	2266gat,	1227gat)
	2326gat = 	nor(	2224gat,	2269gat)
	2327gat = 	nor(	2269gat,	2151gat)
	2328gat = 	nor(	2227gat,	2273gat)
	2329gat = 	nor(	2273gat,	2156gat)
	2330gat = 	nor(	2230gat,	2277gat)
	2331gat = 	nor(	2277gat,	2161gat)
	2332gat = 	nor(	2233gat,	2281gat)
	2333gat = 	nor(	2281gat,	2166gat)
	2334gat = 	nor(	2236gat,	2285gat)
	2335gat = 	nor(	2285gat,	2171gat)
	2336gat = 	nor(	2239gat,	2289gat)
	2337gat = 	nor(	2289gat,	2176gat)
	2338gat = 	nor(	2242gat,	2293gat)
	2339gat = 	nor(	2293gat,	2181gat)
	2340gat = 	nor(	2245gat,	2297gat)
	2341gat = 	nor(	2297gat,	2186gat)
	2342gat = 	nor(	2248gat,	2301gat)
	2343gat = 	nor(	2301gat,	2191gat)
	2344gat = 	nor(	2251gat,	2305gat)
	2345gat = 	nor(	2305gat,	2196gat)
	2346gat = 	nor(	2254gat,	2309gat)
	2347gat = 	nor(	2309gat,	2201gat)
	2348gat = 	nor(	2257gat,	2313gat)
	2349gat = 	nor(	2313gat,	2206gat)
	2350gat = 	nor(	2317gat,	2318gat)
	2353gat = 	nor(	2319gat,	1179gat)
	2357gat = 	nor(	2266gat,	2322gat)
	2358gat = 	nor(	2322gat,	1227gat)
	2359gat = 	nor(	2145gat,	2322gat)
	2362gat = 	nor(	2326gat,	2327gat)
	2365gat = 	nor(	2328gat,	2329gat)
	2368gat = 	nor(	2330gat,	2331gat)
	2371gat = 	nor(	2332gat,	2333gat)
	2374gat = 	nor(	2334gat,	2335gat)
	2377gat = 	nor(	2336gat,	2337gat)
	2380gat = 	nor(	2338gat,	2339gat)
	2383gat = 	nor(	2340gat,	2341gat)
	2386gat = 	nor(	2342gat,	2343gat)
	2389gat = 	nor(	2344gat,	2345gat)
	2392gat = 	nor(	2346gat,	2347gat)
	2395gat = 	nor(	2348gat,	2349gat)
	2398gat = 	nor(	2350gat,	1131gat)
	2402gat = 	nor(	2319gat,	2353gat)
	2403gat = 	nor(	2353gat,	1179gat)
	2404gat = 	nor(	2217gat,	2353gat)
	2407gat = 	nor(	2357gat,	2358gat)
	2410gat = 	nor(	1275gat,	2359gat)
	2414gat = 	nor(	2362gat,	555gat)
	2418gat = 	nor(	2365gat,	603gat)
	2422gat = 	nor(	2368gat,	651gat)
	2426gat = 	nor(	2371gat,	699gat)
	2430gat = 	nor(	2374gat,	747gat)
	2434gat = 	nor(	2377gat,	795gat)
	2438gat = 	nor(	2380gat,	843gat)
	2442gat = 	nor(	2383gat,	891gat)
	2446gat = 	nor(	2386gat,	939gat)
	2450gat = 	nor(	2389gat,	987gat)
	2454gat = 	nor(	2392gat,	1035gat)
	2458gat = 	nor(	2395gat,	1083gat)
	2462gat = 	nor(	2350gat,	2398gat)
	2463gat = 	nor(	2398gat,	1131gat)
	2464gat = 	nor(	2260gat,	2398gat)
	2467gat = 	nor(	2402gat,	2403gat)
	2470gat = 	nor(	2407gat,	2404gat)
	2474gat = 	nor(	1275gat,	2410gat)
	2475gat = 	nor(	2410gat,	2359gat)
	2476gat = 	nor(	2362gat,	2414gat)
	2477gat = 	nor(	2414gat,	555gat)
	2478gat = 	nor(	2269gat,	2414gat)
	2481gat = 	nor(	2365gat,	2418gat)
	2482gat = 	nor(	2418gat,	603gat)
	2483gat = 	nor(	2273gat,	2418gat)
	2486gat = 	nor(	2368gat,	2422gat)
	2487gat = 	nor(	2422gat,	651gat)
	2488gat = 	nor(	2277gat,	2422gat)
	2491gat = 	nor(	2371gat,	2426gat)
	2492gat = 	nor(	2426gat,	699gat)
	2493gat = 	nor(	2281gat,	2426gat)
	2496gat = 	nor(	2374gat,	2430gat)
	2497gat = 	nor(	2430gat,	747gat)
	2498gat = 	nor(	2285gat,	2430gat)
	2501gat = 	nor(	2377gat,	2434gat)
	2502gat = 	nor(	2434gat,	795gat)
	2503gat = 	nor(	2289gat,	2434gat)
	2506gat = 	nor(	2380gat,	2438gat)
	2507gat = 	nor(	2438gat,	843gat)
	2508gat = 	nor(	2293gat,	2438gat)
	2511gat = 	nor(	2383gat,	2442gat)
	2512gat = 	nor(	2442gat,	891gat)
	2513gat = 	nor(	2297gat,	2442gat)
	2516gat = 	nor(	2386gat,	2446gat)
	2517gat = 	nor(	2446gat,	939gat)
	2518gat = 	nor(	2301gat,	2446gat)
	2521gat = 	nor(	2389gat,	2450gat)
	2522gat = 	nor(	2450gat,	987gat)
	2523gat = 	nor(	2305gat,	2450gat)
	2526gat = 	nor(	2392gat,	2454gat)
	2527gat = 	nor(	2454gat,	1035gat)
	2528gat = 	nor(	2309gat,	2454gat)
	2531gat = 	nor(	2395gat,	2458gat)
	2532gat = 	nor(	2458gat,	1083gat)
	2533gat = 	nor(	2313gat,	2458gat)
	2536gat = 	nor(	2462gat,	2463gat)
	2539gat = 	nor(	2467gat,	2464gat)
	2543gat = 	nor(	2407gat,	2470gat)
	2544gat = 	nor(	2470gat,	2404gat)
	2545gat = 	nor(	2474gat,	2475gat)
	2548gat = 	nor(	2476gat,	2477gat)
	2549gat = 	nor(	2481gat,	2482gat)
	2552gat = 	nor(	2486gat,	2487gat)
	2555gat = 	nor(	2491gat,	2492gat)
	2558gat = 	nor(	2496gat,	2497gat)
	2561gat = 	nor(	2501gat,	2502gat)
	2564gat = 	nor(	2506gat,	2507gat)
	2567gat = 	nor(	2511gat,	2512gat)
	2570gat = 	nor(	2516gat,	2517gat)
	2573gat = 	nor(	2521gat,	2522gat)
	2576gat = 	nor(	2526gat,	2527gat)
	2579gat = 	nor(	2531gat,	2532gat)
	2582gat = 	nor(	2536gat,	2533gat)
	2586gat = 	nor(	2467gat,	2539gat)
	2587gat = 	nor(	2539gat,	2464gat)
	2588gat = 	nor(	2543gat,	2544gat)
	2591gat = 	nor(	2545gat,	1230gat)
	2595gat = 	nor(	2549gat,	2478gat)
	2599gat = 	nor(	2552gat,	2483gat)
	2603gat = 	nor(	2555gat,	2488gat)
	2607gat = 	nor(	2558gat,	2493gat)
	2611gat = 	nor(	2561gat,	2498gat)
	2615gat = 	nor(	2564gat,	2503gat)
	2619gat = 	nor(	2567gat,	2508gat)
	2623gat = 	nor(	2570gat,	2513gat)
	2627gat = 	nor(	2573gat,	2518gat)
	2631gat = 	nor(	2576gat,	2523gat)
	2635gat = 	nor(	2579gat,	2528gat)
	2639gat = 	nor(	2536gat,	2582gat)
	2640gat = 	nor(	2582gat,	2533gat)
	2641gat = 	nor(	2586gat,	2587gat)
	2644gat = 	nor(	2588gat,	1182gat)
	2648gat = 	nor(	2545gat,	2591gat)
	2649gat = 	nor(	2591gat,	1230gat)
	2650gat = 	nor(	2410gat,	2591gat)
	2653gat = 	nor(	2549gat,	2595gat)
	2654gat = 	nor(	2595gat,	2478gat)
	2655gat = 	nor(	2552gat,	2599gat)
	2656gat = 	nor(	2599gat,	2483gat)
	2657gat = 	nor(	2555gat,	2603gat)
	2658gat = 	nor(	2603gat,	2488gat)
	2659gat = 	nor(	2558gat,	2607gat)
	2660gat = 	nor(	2607gat,	2493gat)
	2661gat = 	nor(	2561gat,	2611gat)
	2662gat = 	nor(	2611gat,	2498gat)
	2663gat = 	nor(	2564gat,	2615gat)
	2664gat = 	nor(	2615gat,	2503gat)
	2665gat = 	nor(	2567gat,	2619gat)
	2666gat = 	nor(	2619gat,	2508gat)
	2667gat = 	nor(	2570gat,	2623gat)
	2668gat = 	nor(	2623gat,	2513gat)
	2669gat = 	nor(	2573gat,	2627gat)
	2670gat = 	nor(	2627gat,	2518gat)
	2671gat = 	nor(	2576gat,	2631gat)
	2672gat = 	nor(	2631gat,	2523gat)
	2673gat = 	nor(	2579gat,	2635gat)
	2674gat = 	nor(	2635gat,	2528gat)
	2675gat = 	nor(	2639gat,	2640gat)
	2678gat = 	nor(	2641gat,	1134gat)
	2682gat = 	nor(	2588gat,	2644gat)
	2683gat = 	nor(	2644gat,	1182gat)
	2684gat = 	nor(	2470gat,	2644gat)
	2687gat = 	nor(	2648gat,	2649gat)
	2690gat = 	nor(	1278gat,	2650gat)
	2694gat = 	nor(	2653gat,	2654gat)
	2697gat = 	nor(	2655gat,	2656gat)
	2700gat = 	nor(	2657gat,	2658gat)
	2703gat = 	nor(	2659gat,	2660gat)
	2706gat = 	nor(	2661gat,	2662gat)
	2709gat = 	nor(	2663gat,	2664gat)
	2712gat = 	nor(	2665gat,	2666gat)
	2715gat = 	nor(	2667gat,	2668gat)
	2718gat = 	nor(	2669gat,	2670gat)
	2721gat = 	nor(	2671gat,	2672gat)
	2724gat = 	nor(	2673gat,	2674gat)
	2727gat = 	nor(	2675gat,	1086gat)
	2731gat = 	nor(	2641gat,	2678gat)
	2732gat = 	nor(	2678gat,	1134gat)
	2733gat = 	nor(	2539gat,	2678gat)
	2736gat = 	nor(	2682gat,	2683gat)
	2739gat = 	nor(	2687gat,	2684gat)
	2743gat = 	nor(	1278gat,	2690gat)
	2744gat = 	nor(	2690gat,	2650gat)
	2745gat = 	nor(	2694gat,	558gat)
	2749gat = 	nor(	2697gat,	606gat)
	2753gat = 	nor(	2700gat,	654gat)
	2757gat = 	nor(	2703gat,	702gat)
	2761gat = 	nor(	2706gat,	750gat)
	2765gat = 	nor(	2709gat,	798gat)
	2769gat = 	nor(	2712gat,	846gat)
	2773gat = 	nor(	2715gat,	894gat)
	2777gat = 	nor(	2718gat,	942gat)
	2781gat = 	nor(	2721gat,	990gat)
	2785gat = 	nor(	2724gat,	1038gat)
	2789gat = 	nor(	2675gat,	2727gat)
	2790gat = 	nor(	2727gat,	1086gat)
	2791gat = 	nor(	2582gat,	2727gat)
	2794gat = 	nor(	2731gat,	2732gat)
	2797gat = 	nor(	2736gat,	2733gat)
	2801gat = 	nor(	2687gat,	2739gat)
	2802gat = 	nor(	2739gat,	2684gat)
	2803gat = 	nor(	2743gat,	2744gat)
	2806gat = 	nor(	2694gat,	2745gat)
	2807gat = 	nor(	2745gat,	558gat)
	2808gat = 	nor(	2595gat,	2745gat)
	2811gat = 	nor(	2697gat,	2749gat)
	2812gat = 	nor(	2749gat,	606gat)
	2813gat = 	nor(	2599gat,	2749gat)
	2816gat = 	nor(	2700gat,	2753gat)
	2817gat = 	nor(	2753gat,	654gat)
	2818gat = 	nor(	2603gat,	2753gat)
	2821gat = 	nor(	2703gat,	2757gat)
	2822gat = 	nor(	2757gat,	702gat)
	2823gat = 	nor(	2607gat,	2757gat)
	2826gat = 	nor(	2706gat,	2761gat)
	2827gat = 	nor(	2761gat,	750gat)
	2828gat = 	nor(	2611gat,	2761gat)
	2831gat = 	nor(	2709gat,	2765gat)
	2832gat = 	nor(	2765gat,	798gat)
	2833gat = 	nor(	2615gat,	2765gat)
	2836gat = 	nor(	2712gat,	2769gat)
	2837gat = 	nor(	2769gat,	846gat)
	2838gat = 	nor(	2619gat,	2769gat)
	2841gat = 	nor(	2715gat,	2773gat)
	2842gat = 	nor(	2773gat,	894gat)
	2843gat = 	nor(	2623gat,	2773gat)
	2846gat = 	nor(	2718gat,	2777gat)
	2847gat = 	nor(	2777gat,	942gat)
	2848gat = 	nor(	2627gat,	2777gat)
	2851gat = 	nor(	2721gat,	2781gat)
	2852gat = 	nor(	2781gat,	990gat)
	2853gat = 	nor(	2631gat,	2781gat)
	2856gat = 	nor(	2724gat,	2785gat)
	2857gat = 	nor(	2785gat,	1038gat)
	2858gat = 	nor(	2635gat,	2785gat)
	2861gat = 	nor(	2789gat,	2790gat)
	2864gat = 	nor(	2794gat,	2791gat)
	2868gat = 	nor(	2736gat,	2797gat)
	2869gat = 	nor(	2797gat,	2733gat)
	2870gat = 	nor(	2801gat,	2802gat)
	2873gat = 	nor(	2803gat,	1233gat)
	2877gat = 	nor(	2806gat,	2807gat)
	2878gat = 	nor(	2811gat,	2812gat)
	2881gat = 	nor(	2816gat,	2817gat)
	2884gat = 	nor(	2821gat,	2822gat)
	2887gat = 	nor(	2826gat,	2827gat)
	2890gat = 	nor(	2831gat,	2832gat)
	2893gat = 	nor(	2836gat,	2837gat)
	2896gat = 	nor(	2841gat,	2842gat)
	2899gat = 	nor(	2846gat,	2847gat)
	2902gat = 	nor(	2851gat,	2852gat)
	2905gat = 	nor(	2856gat,	2857gat)
	2908gat = 	nor(	2861gat,	2858gat)
	2912gat = 	nor(	2794gat,	2864gat)
	2913gat = 	nor(	2864gat,	2791gat)
	2914gat = 	nor(	2868gat,	2869gat)
	2917gat = 	nor(	2870gat,	1185gat)
	2921gat = 	nor(	2803gat,	2873gat)
	2922gat = 	nor(	2873gat,	1233gat)
	2923gat = 	nor(	2690gat,	2873gat)
	2926gat = 	nor(	2878gat,	2808gat)
	2930gat = 	nor(	2881gat,	2813gat)
	2934gat = 	nor(	2884gat,	2818gat)
	2938gat = 	nor(	2887gat,	2823gat)
	2942gat = 	nor(	2890gat,	2828gat)
	2946gat = 	nor(	2893gat,	2833gat)
	2950gat = 	nor(	2896gat,	2838gat)
	2954gat = 	nor(	2899gat,	2843gat)
	2958gat = 	nor(	2902gat,	2848gat)
	2962gat = 	nor(	2905gat,	2853gat)
	2966gat = 	nor(	2861gat,	2908gat)
	2967gat = 	nor(	2908gat,	2858gat)
	2968gat = 	nor(	2912gat,	2913gat)
	2971gat = 	nor(	2914gat,	1137gat)
	2975gat = 	nor(	2870gat,	2917gat)
	2976gat = 	nor(	2917gat,	1185gat)
	2977gat = 	nor(	2739gat,	2917gat)
	2980gat = 	nor(	2921gat,	2922gat)
	2983gat = 	nor(	1281gat,	2923gat)
	2987gat = 	nor(	2878gat,	2926gat)
	2988gat = 	nor(	2926gat,	2808gat)
	2989gat = 	nor(	2881gat,	2930gat)
	2990gat = 	nor(	2930gat,	2813gat)
	2991gat = 	nor(	2884gat,	2934gat)
	2992gat = 	nor(	2934gat,	2818gat)
	2993gat = 	nor(	2887gat,	2938gat)
	2994gat = 	nor(	2938gat,	2823gat)
	2995gat = 	nor(	2890gat,	2942gat)
	2996gat = 	nor(	2942gat,	2828gat)
	2997gat = 	nor(	2893gat,	2946gat)
	2998gat = 	nor(	2946gat,	2833gat)
	2999gat = 	nor(	2896gat,	2950gat)
	3000gat = 	nor(	2950gat,	2838gat)
	3001gat = 	nor(	2899gat,	2954gat)
	3002gat = 	nor(	2954gat,	2843gat)
	3003gat = 	nor(	2902gat,	2958gat)
	3004gat = 	nor(	2958gat,	2848gat)
	3005gat = 	nor(	2905gat,	2962gat)
	3006gat = 	nor(	2962gat,	2853gat)
	3007gat = 	nor(	2966gat,	2967gat)
	3010gat = 	nor(	2968gat,	1089gat)
	3014gat = 	nor(	2914gat,	2971gat)
	3015gat = 	nor(	2971gat,	1137gat)
	3016gat = 	nor(	2797gat,	2971gat)
	3019gat = 	nor(	2975gat,	2976gat)
	3022gat = 	nor(	2980gat,	2977gat)
	3026gat = 	nor(	1281gat,	2983gat)
	3027gat = 	nor(	2983gat,	2923gat)
	3028gat = 	nor(	2987gat,	2988gat)
	3031gat = 	nor(	2989gat,	2990gat)
	3034gat = 	nor(	2991gat,	2992gat)
	3037gat = 	nor(	2993gat,	2994gat)
	3040gat = 	nor(	2995gat,	2996gat)
	3043gat = 	nor(	2997gat,	2998gat)
	3046gat = 	nor(	2999gat,	3000gat)
	3049gat = 	nor(	3001gat,	3002gat)
	3052gat = 	nor(	3003gat,	3004gat)
	3055gat = 	nor(	3005gat,	3006gat)
	3058gat = 	nor(	3007gat,	1041gat)
	3062gat = 	nor(	2968gat,	3010gat)
	3063gat = 	nor(	3010gat,	1089gat)
	3064gat = 	nor(	2864gat,	3010gat)
	3067gat = 	nor(	3014gat,	3015gat)
	3070gat = 	nor(	3019gat,	3016gat)
	3074gat = 	nor(	2980gat,	3022gat)
	3075gat = 	nor(	3022gat,	2977gat)
	3076gat = 	nor(	3026gat,	3027gat)
	3079gat = 	nor(	3028gat,	561gat)
	3083gat = 	nor(	3031gat,	609gat)
	3087gat = 	nor(	3034gat,	657gat)
	3091gat = 	nor(	3037gat,	705gat)
	3095gat = 	nor(	3040gat,	753gat)
	3099gat = 	nor(	3043gat,	801gat)
	3103gat = 	nor(	3046gat,	849gat)
	3107gat = 	nor(	3049gat,	897gat)
	3111gat = 	nor(	3052gat,	945gat)
	3115gat = 	nor(	3055gat,	993gat)
	3119gat = 	nor(	3007gat,	3058gat)
	3120gat = 	nor(	3058gat,	1041gat)
	3121gat = 	nor(	2908gat,	3058gat)
	3124gat = 	nor(	3062gat,	3063gat)
	3127gat = 	nor(	3067gat,	3064gat)
	3131gat = 	nor(	3019gat,	3070gat)
	3132gat = 	nor(	3070gat,	3016gat)
	3133gat = 	nor(	3074gat,	3075gat)
	3136gat = 	nor(	3076gat,	1236gat)
	3140gat = 	nor(	3028gat,	3079gat)
	3141gat = 	nor(	3079gat,	561gat)
	3142gat = 	nor(	2926gat,	3079gat)
	3145gat = 	nor(	3031gat,	3083gat)
	3146gat = 	nor(	3083gat,	609gat)
	3147gat = 	nor(	2930gat,	3083gat)
	3150gat = 	nor(	3034gat,	3087gat)
	3151gat = 	nor(	3087gat,	657gat)
	3152gat = 	nor(	2934gat,	3087gat)
	3155gat = 	nor(	3037gat,	3091gat)
	3156gat = 	nor(	3091gat,	705gat)
	3157gat = 	nor(	2938gat,	3091gat)
	3160gat = 	nor(	3040gat,	3095gat)
	3161gat = 	nor(	3095gat,	753gat)
	3162gat = 	nor(	2942gat,	3095gat)
	3165gat = 	nor(	3043gat,	3099gat)
	3166gat = 	nor(	3099gat,	801gat)
	3167gat = 	nor(	2946gat,	3099gat)
	3170gat = 	nor(	3046gat,	3103gat)
	3171gat = 	nor(	3103gat,	849gat)
	3172gat = 	nor(	2950gat,	3103gat)
	3175gat = 	nor(	3049gat,	3107gat)
	3176gat = 	nor(	3107gat,	897gat)
	3177gat = 	nor(	2954gat,	3107gat)
	3180gat = 	nor(	3052gat,	3111gat)
	3181gat = 	nor(	3111gat,	945gat)
	3182gat = 	nor(	2958gat,	3111gat)
	3185gat = 	nor(	3055gat,	3115gat)
	3186gat = 	nor(	3115gat,	993gat)
	3187gat = 	nor(	2962gat,	3115gat)
	3190gat = 	nor(	3119gat,	3120gat)
	3193gat = 	nor(	3124gat,	3121gat)
	3197gat = 	nor(	3067gat,	3127gat)
	3198gat = 	nor(	3127gat,	3064gat)
	3199gat = 	nor(	3131gat,	3132gat)
	3202gat = 	nor(	3133gat,	1188gat)
	3206gat = 	nor(	3076gat,	3136gat)
	3207gat = 	nor(	3136gat,	1236gat)
	3208gat = 	nor(	2983gat,	3136gat)
	3211gat = 	nor(	3140gat,	3141gat)
	3212gat = 	nor(	3145gat,	3146gat)
	3215gat = 	nor(	3150gat,	3151gat)
	3218gat = 	nor(	3155gat,	3156gat)
	3221gat = 	nor(	3160gat,	3161gat)
	3224gat = 	nor(	3165gat,	3166gat)
	3227gat = 	nor(	3170gat,	3171gat)
	3230gat = 	nor(	3175gat,	3176gat)
	3233gat = 	nor(	3180gat,	3181gat)
	3236gat = 	nor(	3185gat,	3186gat)
	3239gat = 	nor(	3190gat,	3187gat)
	3243gat = 	nor(	3124gat,	3193gat)
	3244gat = 	nor(	3193gat,	3121gat)
	3245gat = 	nor(	3197gat,	3198gat)
	3248gat = 	nor(	3199gat,	1140gat)
	3252gat = 	nor(	3133gat,	3202gat)
	3253gat = 	nor(	3202gat,	1188gat)
	3254gat = 	nor(	3022gat,	3202gat)
	3257gat = 	nor(	3206gat,	3207gat)
	3260gat = 	nor(	1284gat,	3208gat)
	3264gat = 	nor(	3212gat,	3142gat)
	3268gat = 	nor(	3215gat,	3147gat)
	3272gat = 	nor(	3218gat,	3152gat)
	3276gat = 	nor(	3221gat,	3157gat)
	3280gat = 	nor(	3224gat,	3162gat)
	3284gat = 	nor(	3227gat,	3167gat)
	3288gat = 	nor(	3230gat,	3172gat)
	3292gat = 	nor(	3233gat,	3177gat)
	3296gat = 	nor(	3236gat,	3182gat)
	3300gat = 	nor(	3190gat,	3239gat)
	3301gat = 	nor(	3239gat,	3187gat)
	3302gat = 	nor(	3243gat,	3244gat)
	3305gat = 	nor(	3245gat,	1092gat)
	3309gat = 	nor(	3199gat,	3248gat)
	3310gat = 	nor(	3248gat,	1140gat)
	3311gat = 	nor(	3070gat,	3248gat)
	3314gat = 	nor(	3252gat,	3253gat)
	3317gat = 	nor(	3257gat,	3254gat)
	3321gat = 	nor(	1284gat,	3260gat)
	3322gat = 	nor(	3260gat,	3208gat)
	3323gat = 	nor(	3212gat,	3264gat)
	3324gat = 	nor(	3264gat,	3142gat)
	3325gat = 	nor(	3215gat,	3268gat)
	3326gat = 	nor(	3268gat,	3147gat)
	3327gat = 	nor(	3218gat,	3272gat)
	3328gat = 	nor(	3272gat,	3152gat)
	3329gat = 	nor(	3221gat,	3276gat)
	3330gat = 	nor(	3276gat,	3157gat)
	3331gat = 	nor(	3224gat,	3280gat)
	3332gat = 	nor(	3280gat,	3162gat)
	3333gat = 	nor(	3227gat,	3284gat)
	3334gat = 	nor(	3284gat,	3167gat)
	3335gat = 	nor(	3230gat,	3288gat)
	3336gat = 	nor(	3288gat,	3172gat)
	3337gat = 	nor(	3233gat,	3292gat)
	3338gat = 	nor(	3292gat,	3177gat)
	3339gat = 	nor(	3236gat,	3296gat)
	3340gat = 	nor(	3296gat,	3182gat)
	3341gat = 	nor(	3300gat,	3301gat)
	3344gat = 	nor(	3302gat,	1044gat)
	3348gat = 	nor(	3245gat,	3305gat)
	3349gat = 	nor(	3305gat,	1092gat)
	3350gat = 	nor(	3127gat,	3305gat)
	3353gat = 	nor(	3309gat,	3310gat)
	3356gat = 	nor(	3314gat,	3311gat)
	3360gat = 	nor(	3257gat,	3317gat)
	3361gat = 	nor(	3317gat,	3254gat)
	3362gat = 	nor(	3321gat,	3322gat)
	3365gat = 	nor(	3323gat,	3324gat)
	3368gat = 	nor(	3325gat,	3326gat)
	3371gat = 	nor(	3327gat,	3328gat)
	3374gat = 	nor(	3329gat,	3330gat)
	3377gat = 	nor(	3331gat,	3332gat)
	3380gat = 	nor(	3333gat,	3334gat)
	3383gat = 	nor(	3335gat,	3336gat)
	3386gat = 	nor(	3337gat,	3338gat)
	3389gat = 	nor(	3339gat,	3340gat)
	3392gat = 	nor(	3341gat,	996gat)
	3396gat = 	nor(	3302gat,	3344gat)
	3397gat = 	nor(	3344gat,	1044gat)
	3398gat = 	nor(	3193gat,	3344gat)
	3401gat = 	nor(	3348gat,	3349gat)
	3404gat = 	nor(	3353gat,	3350gat)
	3408gat = 	nor(	3314gat,	3356gat)
	3409gat = 	nor(	3356gat,	3311gat)
	3410gat = 	nor(	3360gat,	3361gat)
	3413gat = 	nor(	3362gat,	1239gat)
	3417gat = 	nor(	3365gat,	564gat)
	3421gat = 	nor(	3368gat,	612gat)
	3425gat = 	nor(	3371gat,	660gat)
	3429gat = 	nor(	3374gat,	708gat)
	3433gat = 	nor(	3377gat,	756gat)
	3437gat = 	nor(	3380gat,	804gat)
	3441gat = 	nor(	3383gat,	852gat)
	3445gat = 	nor(	3386gat,	900gat)
	3449gat = 	nor(	3389gat,	948gat)
	3453gat = 	nor(	3341gat,	3392gat)
	3454gat = 	nor(	3392gat,	996gat)
	3455gat = 	nor(	3239gat,	3392gat)
	3458gat = 	nor(	3396gat,	3397gat)
	3461gat = 	nor(	3401gat,	3398gat)
	3465gat = 	nor(	3353gat,	3404gat)
	3466gat = 	nor(	3404gat,	3350gat)
	3467gat = 	nor(	3408gat,	3409gat)
	3470gat = 	nor(	3410gat,	1191gat)
	3474gat = 	nor(	3362gat,	3413gat)
	3475gat = 	nor(	3413gat,	1239gat)
	3476gat = 	nor(	3260gat,	3413gat)
	3479gat = 	nor(	3365gat,	3417gat)
	3480gat = 	nor(	3417gat,	564gat)
	3481gat = 	nor(	3264gat,	3417gat)
	3484gat = 	nor(	3368gat,	3421gat)
	3485gat = 	nor(	3421gat,	612gat)
	3486gat = 	nor(	3268gat,	3421gat)
	3489gat = 	nor(	3371gat,	3425gat)
	3490gat = 	nor(	3425gat,	660gat)
	3491gat = 	nor(	3272gat,	3425gat)
	3494gat = 	nor(	3374gat,	3429gat)
	3495gat = 	nor(	3429gat,	708gat)
	3496gat = 	nor(	3276gat,	3429gat)
	3499gat = 	nor(	3377gat,	3433gat)
	3500gat = 	nor(	3433gat,	756gat)
	3501gat = 	nor(	3280gat,	3433gat)
	3504gat = 	nor(	3380gat,	3437gat)
	3505gat = 	nor(	3437gat,	804gat)
	3506gat = 	nor(	3284gat,	3437gat)
	3509gat = 	nor(	3383gat,	3441gat)
	3510gat = 	nor(	3441gat,	852gat)
	3511gat = 	nor(	3288gat,	3441gat)
	3514gat = 	nor(	3386gat,	3445gat)
	3515gat = 	nor(	3445gat,	900gat)
	3516gat = 	nor(	3292gat,	3445gat)
	3519gat = 	nor(	3389gat,	3449gat)
	3520gat = 	nor(	3449gat,	948gat)
	3521gat = 	nor(	3296gat,	3449gat)
	3524gat = 	nor(	3453gat,	3454gat)
	3527gat = 	nor(	3458gat,	3455gat)
	3531gat = 	nor(	3401gat,	3461gat)
	3532gat = 	nor(	3461gat,	3398gat)
	3533gat = 	nor(	3465gat,	3466gat)
	3536gat = 	nor(	3467gat,	1143gat)
	3540gat = 	nor(	3410gat,	3470gat)
	3541gat = 	nor(	3470gat,	1191gat)
	3542gat = 	nor(	3317gat,	3470gat)
	3545gat = 	nor(	3474gat,	3475gat)
	3548gat = 	nor(	1287gat,	3476gat)
	3552gat = 	nor(	3479gat,	3480gat)
	3553gat = 	nor(	3484gat,	3485gat)
	3556gat = 	nor(	3489gat,	3490gat)
	3559gat = 	nor(	3494gat,	3495gat)
	3562gat = 	nor(	3499gat,	3500gat)
	3565gat = 	nor(	3504gat,	3505gat)
	3568gat = 	nor(	3509gat,	3510gat)
	3571gat = 	nor(	3514gat,	3515gat)
	3574gat = 	nor(	3519gat,	3520gat)
	3577gat = 	nor(	3524gat,	3521gat)
	3581gat = 	nor(	3458gat,	3527gat)
	3582gat = 	nor(	3527gat,	3455gat)
	3583gat = 	nor(	3531gat,	3532gat)
	3586gat = 	nor(	3533gat,	1095gat)
	3590gat = 	nor(	3467gat,	3536gat)
	3591gat = 	nor(	3536gat,	1143gat)
	3592gat = 	nor(	3356gat,	3536gat)
	3595gat = 	nor(	3540gat,	3541gat)
	3598gat = 	nor(	3545gat,	3542gat)
	3602gat = 	nor(	1287gat,	3548gat)
	3603gat = 	nor(	3548gat,	3476gat)
	3604gat = 	nor(	3553gat,	3481gat)
	3608gat = 	nor(	3556gat,	3486gat)
	3612gat = 	nor(	3559gat,	3491gat)
	3616gat = 	nor(	3562gat,	3496gat)
	3620gat = 	nor(	3565gat,	3501gat)
	3624gat = 	nor(	3568gat,	3506gat)
	3628gat = 	nor(	3571gat,	3511gat)
	3632gat = 	nor(	3574gat,	3516gat)
	3636gat = 	nor(	3524gat,	3577gat)
	3637gat = 	nor(	3577gat,	3521gat)
	3638gat = 	nor(	3581gat,	3582gat)
	3641gat = 	nor(	3583gat,	1047gat)
	3645gat = 	nor(	3533gat,	3586gat)
	3646gat = 	nor(	3586gat,	1095gat)
	3647gat = 	nor(	3404gat,	3586gat)
	3650gat = 	nor(	3590gat,	3591gat)
	3653gat = 	nor(	3595gat,	3592gat)
	3657gat = 	nor(	3545gat,	3598gat)
	3658gat = 	nor(	3598gat,	3542gat)
	3659gat = 	nor(	3602gat,	3603gat)
	3662gat = 	nor(	3553gat,	3604gat)
	3663gat = 	nor(	3604gat,	3481gat)
	3664gat = 	nor(	3556gat,	3608gat)
	3665gat = 	nor(	3608gat,	3486gat)
	3666gat = 	nor(	3559gat,	3612gat)
	3667gat = 	nor(	3612gat,	3491gat)
	3668gat = 	nor(	3562gat,	3616gat)
	3669gat = 	nor(	3616gat,	3496gat)
	3670gat = 	nor(	3565gat,	3620gat)
	3671gat = 	nor(	3620gat,	3501gat)
	3672gat = 	nor(	3568gat,	3624gat)
	3673gat = 	nor(	3624gat,	3506gat)
	3674gat = 	nor(	3571gat,	3628gat)
	3675gat = 	nor(	3628gat,	3511gat)
	3676gat = 	nor(	3574gat,	3632gat)
	3677gat = 	nor(	3632gat,	3516gat)
	3678gat = 	nor(	3636gat,	3637gat)
	3681gat = 	nor(	3638gat,	999gat)
	3685gat = 	nor(	3583gat,	3641gat)
	3686gat = 	nor(	3641gat,	1047gat)
	3687gat = 	nor(	3461gat,	3641gat)
	3690gat = 	nor(	3645gat,	3646gat)
	3693gat = 	nor(	3650gat,	3647gat)
	3697gat = 	nor(	3595gat,	3653gat)
	3698gat = 	nor(	3653gat,	3592gat)
	3699gat = 	nor(	3657gat,	3658gat)
	3702gat = 	nor(	3659gat,	1242gat)
	3706gat = 	nor(	3662gat,	3663gat)
	3709gat = 	nor(	3664gat,	3665gat)
	3712gat = 	nor(	3666gat,	3667gat)
	3715gat = 	nor(	3668gat,	3669gat)
	3718gat = 	nor(	3670gat,	3671gat)
	3721gat = 	nor(	3672gat,	3673gat)
	3724gat = 	nor(	3674gat,	3675gat)
	3727gat = 	nor(	3676gat,	3677gat)
	3730gat = 	nor(	3678gat,	951gat)
	3734gat = 	nor(	3638gat,	3681gat)
	3735gat = 	nor(	3681gat,	999gat)
	3736gat = 	nor(	3527gat,	3681gat)
	3739gat = 	nor(	3685gat,	3686gat)
	3742gat = 	nor(	3690gat,	3687gat)
	3746gat = 	nor(	3650gat,	3693gat)
	3747gat = 	nor(	3693gat,	3647gat)
	3748gat = 	nor(	3697gat,	3698gat)
	3751gat = 	nor(	3699gat,	1194gat)
	3755gat = 	nor(	3659gat,	3702gat)
	3756gat = 	nor(	3702gat,	1242gat)
	3757gat = 	nor(	3548gat,	3702gat)
	3760gat = 	nor(	3706gat,	567gat)
	3764gat = 	nor(	3709gat,	615gat)
	3768gat = 	nor(	3712gat,	663gat)
	3772gat = 	nor(	3715gat,	711gat)
	3776gat = 	nor(	3718gat,	759gat)
	3780gat = 	nor(	3721gat,	807gat)
	3784gat = 	nor(	3724gat,	855gat)
	3788gat = 	nor(	3727gat,	903gat)
	3792gat = 	nor(	3678gat,	3730gat)
	3793gat = 	nor(	3730gat,	951gat)
	3794gat = 	nor(	3577gat,	3730gat)
	3797gat = 	nor(	3734gat,	3735gat)
	3800gat = 	nor(	3739gat,	3736gat)
	3804gat = 	nor(	3690gat,	3742gat)
	3805gat = 	nor(	3742gat,	3687gat)
	3806gat = 	nor(	3746gat,	3747gat)
	3809gat = 	nor(	3748gat,	1146gat)
	3813gat = 	nor(	3699gat,	3751gat)
	3814gat = 	nor(	3751gat,	1194gat)
	3815gat = 	nor(	3598gat,	3751gat)
	3818gat = 	nor(	3755gat,	3756gat)
	3821gat = 	nor(	1290gat,	3757gat)
	3825gat = 	nor(	3706gat,	3760gat)
	3826gat = 	nor(	3760gat,	567gat)
	3827gat = 	nor(	3604gat,	3760gat)
	3830gat = 	nor(	3709gat,	3764gat)
	3831gat = 	nor(	3764gat,	615gat)
	3832gat = 	nor(	3608gat,	3764gat)
	3835gat = 	nor(	3712gat,	3768gat)
	3836gat = 	nor(	3768gat,	663gat)
	3837gat = 	nor(	3612gat,	3768gat)
	3840gat = 	nor(	3715gat,	3772gat)
	3841gat = 	nor(	3772gat,	711gat)
	3842gat = 	nor(	3616gat,	3772gat)
	3845gat = 	nor(	3718gat,	3776gat)
	3846gat = 	nor(	3776gat,	759gat)
	3847gat = 	nor(	3620gat,	3776gat)
	3850gat = 	nor(	3721gat,	3780gat)
	3851gat = 	nor(	3780gat,	807gat)
	3852gat = 	nor(	3624gat,	3780gat)
	3855gat = 	nor(	3724gat,	3784gat)
	3856gat = 	nor(	3784gat,	855gat)
	3857gat = 	nor(	3628gat,	3784gat)
	3860gat = 	nor(	3727gat,	3788gat)
	3861gat = 	nor(	3788gat,	903gat)
	3862gat = 	nor(	3632gat,	3788gat)
	3865gat = 	nor(	3792gat,	3793gat)
	3868gat = 	nor(	3797gat,	3794gat)
	3872gat = 	nor(	3739gat,	3800gat)
	3873gat = 	nor(	3800gat,	3736gat)
	3874gat = 	nor(	3804gat,	3805gat)
	3877gat = 	nor(	3806gat,	1098gat)
	3881gat = 	nor(	3748gat,	3809gat)
	3882gat = 	nor(	3809gat,	1146gat)
	3883gat = 	nor(	3653gat,	3809gat)
	3886gat = 	nor(	3813gat,	3814gat)
	3889gat = 	nor(	3818gat,	3815gat)
	3893gat = 	nor(	1290gat,	3821gat)
	3894gat = 	nor(	3821gat,	3757gat)
	3895gat = 	nor(	3825gat,	3826gat)
	3896gat = 	nor(	3830gat,	3831gat)
	3899gat = 	nor(	3835gat,	3836gat)
	3902gat = 	nor(	3840gat,	3841gat)
	3905gat = 	nor(	3845gat,	3846gat)
	3908gat = 	nor(	3850gat,	3851gat)
	3911gat = 	nor(	3855gat,	3856gat)
	3914gat = 	nor(	3860gat,	3861gat)
	3917gat = 	nor(	3865gat,	3862gat)
	3921gat = 	nor(	3797gat,	3868gat)
	3922gat = 	nor(	3868gat,	3794gat)
	3923gat = 	nor(	3872gat,	3873gat)
	3926gat = 	nor(	3874gat,	1050gat)
	3930gat = 	nor(	3806gat,	3877gat)
	3931gat = 	nor(	3877gat,	1098gat)
	3932gat = 	nor(	3693gat,	3877gat)
	3935gat = 	nor(	3881gat,	3882gat)
	3938gat = 	nor(	3886gat,	3883gat)
	3942gat = 	nor(	3818gat,	3889gat)
	3943gat = 	nor(	3889gat,	3815gat)
	3944gat = 	nor(	3893gat,	3894gat)
	3947gat = 	nor(	3896gat,	3827gat)
	3951gat = 	nor(	3899gat,	3832gat)
	3955gat = 	nor(	3902gat,	3837gat)
	3959gat = 	nor(	3905gat,	3842gat)
	3963gat = 	nor(	3908gat,	3847gat)
	3967gat = 	nor(	3911gat,	3852gat)
	3971gat = 	nor(	3914gat,	3857gat)
	3975gat = 	nor(	3865gat,	3917gat)
	3976gat = 	nor(	3917gat,	3862gat)
	3977gat = 	nor(	3921gat,	3922gat)
	3980gat = 	nor(	3923gat,	1002gat)
	3984gat = 	nor(	3874gat,	3926gat)
	3985gat = 	nor(	3926gat,	1050gat)
	3986gat = 	nor(	3742gat,	3926gat)
	3989gat = 	nor(	3930gat,	3931gat)
	3992gat = 	nor(	3935gat,	3932gat)
	3996gat = 	nor(	3886gat,	3938gat)
	3997gat = 	nor(	3938gat,	3883gat)
	3998gat = 	nor(	3942gat,	3943gat)
	4001gat = 	nor(	3944gat,	1245gat)
	4005gat = 	nor(	3896gat,	3947gat)
	4006gat = 	nor(	3947gat,	3827gat)
	4007gat = 	nor(	3899gat,	3951gat)
	4008gat = 	nor(	3951gat,	3832gat)
	4009gat = 	nor(	3902gat,	3955gat)
	4010gat = 	nor(	3955gat,	3837gat)
	4011gat = 	nor(	3905gat,	3959gat)
	4012gat = 	nor(	3959gat,	3842gat)
	4013gat = 	nor(	3908gat,	3963gat)
	4014gat = 	nor(	3963gat,	3847gat)
	4015gat = 	nor(	3911gat,	3967gat)
	4016gat = 	nor(	3967gat,	3852gat)
	4017gat = 	nor(	3914gat,	3971gat)
	4018gat = 	nor(	3971gat,	3857gat)
	4019gat = 	nor(	3975gat,	3976gat)
	4022gat = 	nor(	3977gat,	954gat)
	4026gat = 	nor(	3923gat,	3980gat)
	4027gat = 	nor(	3980gat,	1002gat)
	4028gat = 	nor(	3800gat,	3980gat)
	4031gat = 	nor(	3984gat,	3985gat)
	4034gat = 	nor(	3989gat,	3986gat)
	4038gat = 	nor(	3935gat,	3992gat)
	4039gat = 	nor(	3992gat,	3932gat)
	4040gat = 	nor(	3996gat,	3997gat)
	4043gat = 	nor(	3998gat,	1197gat)
	4047gat = 	nor(	3944gat,	4001gat)
	4048gat = 	nor(	4001gat,	1245gat)
	4049gat = 	nor(	3821gat,	4001gat)
	4052gat = 	nor(	4005gat,	4006gat)
	4055gat = 	nor(	4007gat,	4008gat)
	4058gat = 	nor(	4009gat,	4010gat)
	4061gat = 	nor(	4011gat,	4012gat)
	4064gat = 	nor(	4013gat,	4014gat)
	4067gat = 	nor(	4015gat,	4016gat)
	4070gat = 	nor(	4017gat,	4018gat)
	4073gat = 	nor(	4019gat,	906gat)
	4077gat = 	nor(	3977gat,	4022gat)
	4078gat = 	nor(	4022gat,	954gat)
	4079gat = 	nor(	3868gat,	4022gat)
	4082gat = 	nor(	4026gat,	4027gat)
	4085gat = 	nor(	4031gat,	4028gat)
	4089gat = 	nor(	3989gat,	4034gat)
	4090gat = 	nor(	4034gat,	3986gat)
	4091gat = 	nor(	4038gat,	4039gat)
	4094gat = 	nor(	4040gat,	1149gat)
	4098gat = 	nor(	3998gat,	4043gat)
	4099gat = 	nor(	4043gat,	1197gat)
	4100gat = 	nor(	3889gat,	4043gat)
	4103gat = 	nor(	4047gat,	4048gat)
	4106gat = 	nor(	1293gat,	4049gat)
	4110gat = 	nor(	4052gat,	570gat)
	4114gat = 	nor(	4055gat,	618gat)
	4118gat = 	nor(	4058gat,	666gat)
	4122gat = 	nor(	4061gat,	714gat)
	4126gat = 	nor(	4064gat,	762gat)
	4130gat = 	nor(	4067gat,	810gat)
	4134gat = 	nor(	4070gat,	858gat)
	4138gat = 	nor(	4019gat,	4073gat)
	4139gat = 	nor(	4073gat,	906gat)
	4140gat = 	nor(	3917gat,	4073gat)
	4143gat = 	nor(	4077gat,	4078gat)
	4146gat = 	nor(	4082gat,	4079gat)
	4150gat = 	nor(	4031gat,	4085gat)
	4151gat = 	nor(	4085gat,	4028gat)
	4152gat = 	nor(	4089gat,	4090gat)
	4155gat = 	nor(	4091gat,	1101gat)
	4159gat = 	nor(	4040gat,	4094gat)
	4160gat = 	nor(	4094gat,	1149gat)
	4161gat = 	nor(	3938gat,	4094gat)
	4164gat = 	nor(	4098gat,	4099gat)
	4167gat = 	nor(	4103gat,	4100gat)
	4171gat = 	nor(	1293gat,	4106gat)
	4172gat = 	nor(	4106gat,	4049gat)
	4173gat = 	nor(	4052gat,	4110gat)
	4174gat = 	nor(	4110gat,	570gat)
	4175gat = 	nor(	3947gat,	4110gat)
	4178gat = 	nor(	4055gat,	4114gat)
	4179gat = 	nor(	4114gat,	618gat)
	4180gat = 	nor(	3951gat,	4114gat)
	4183gat = 	nor(	4058gat,	4118gat)
	4184gat = 	nor(	4118gat,	666gat)
	4185gat = 	nor(	3955gat,	4118gat)
	4188gat = 	nor(	4061gat,	4122gat)
	4189gat = 	nor(	4122gat,	714gat)
	4190gat = 	nor(	3959gat,	4122gat)
	4193gat = 	nor(	4064gat,	4126gat)
	4194gat = 	nor(	4126gat,	762gat)
	4195gat = 	nor(	3963gat,	4126gat)
	4198gat = 	nor(	4067gat,	4130gat)
	4199gat = 	nor(	4130gat,	810gat)
	4200gat = 	nor(	3967gat,	4130gat)
	4203gat = 	nor(	4070gat,	4134gat)
	4204gat = 	nor(	4134gat,	858gat)
	4205gat = 	nor(	3971gat,	4134gat)
	4208gat = 	nor(	4138gat,	4139gat)
	4211gat = 	nor(	4143gat,	4140gat)
	4215gat = 	nor(	4082gat,	4146gat)
	4216gat = 	nor(	4146gat,	4079gat)
	4217gat = 	nor(	4150gat,	4151gat)
	4220gat = 	nor(	4152gat,	1053gat)
	4224gat = 	nor(	4091gat,	4155gat)
	4225gat = 	nor(	4155gat,	1101gat)
	4226gat = 	nor(	3992gat,	4155gat)
	4229gat = 	nor(	4159gat,	4160gat)
	4232gat = 	nor(	4164gat,	4161gat)
	4236gat = 	nor(	4103gat,	4167gat)
	4237gat = 	nor(	4167gat,	4100gat)
	4238gat = 	nor(	4171gat,	4172gat)
	4241gat = 	nor(	4173gat,	4174gat)
	4242gat = 	nor(	4178gat,	4179gat)
	4245gat = 	nor(	4183gat,	4184gat)
	4248gat = 	nor(	4188gat,	4189gat)
	4251gat = 	nor(	4193gat,	4194gat)
	4254gat = 	nor(	4198gat,	4199gat)
	4257gat = 	nor(	4203gat,	4204gat)
	4260gat = 	nor(	4208gat,	4205gat)
	4264gat = 	nor(	4143gat,	4211gat)
	4265gat = 	nor(	4211gat,	4140gat)
	4266gat = 	nor(	4215gat,	4216gat)
	4269gat = 	nor(	4217gat,	1005gat)
	4273gat = 	nor(	4152gat,	4220gat)
	4274gat = 	nor(	4220gat,	1053gat)
	4275gat = 	nor(	4034gat,	4220gat)
	4278gat = 	nor(	4224gat,	4225gat)
	4281gat = 	nor(	4229gat,	4226gat)
	4285gat = 	nor(	4164gat,	4232gat)
	4286gat = 	nor(	4232gat,	4161gat)
	4287gat = 	nor(	4236gat,	4237gat)
	4290gat = 	nor(	4238gat,	1248gat)
	4294gat = 	nor(	4242gat,	4175gat)
	4298gat = 	nor(	4245gat,	4180gat)
	4302gat = 	nor(	4248gat,	4185gat)
	4306gat = 	nor(	4251gat,	4190gat)
	4310gat = 	nor(	4254gat,	4195gat)
	4314gat = 	nor(	4257gat,	4200gat)
	4318gat = 	nor(	4208gat,	4260gat)
	4319gat = 	nor(	4260gat,	4205gat)
	4320gat = 	nor(	4264gat,	4265gat)
	4323gat = 	nor(	4266gat,	957gat)
	4327gat = 	nor(	4217gat,	4269gat)
	4328gat = 	nor(	4269gat,	1005gat)
	4329gat = 	nor(	4085gat,	4269gat)
	4332gat = 	nor(	4273gat,	4274gat)
	4335gat = 	nor(	4278gat,	4275gat)
	4339gat = 	nor(	4229gat,	4281gat)
	4340gat = 	nor(	4281gat,	4226gat)
	4341gat = 	nor(	4285gat,	4286gat)
	4344gat = 	nor(	4287gat,	1200gat)
	4348gat = 	nor(	4238gat,	4290gat)
	4349gat = 	nor(	4290gat,	1248gat)
	4350gat = 	nor(	4106gat,	4290gat)
	4353gat = 	nor(	4242gat,	4294gat)
	4354gat = 	nor(	4294gat,	4175gat)
	4355gat = 	nor(	4245gat,	4298gat)
	4356gat = 	nor(	4298gat,	4180gat)
	4357gat = 	nor(	4248gat,	4302gat)
	4358gat = 	nor(	4302gat,	4185gat)
	4359gat = 	nor(	4251gat,	4306gat)
	4360gat = 	nor(	4306gat,	4190gat)
	4361gat = 	nor(	4254gat,	4310gat)
	4362gat = 	nor(	4310gat,	4195gat)
	4363gat = 	nor(	4257gat,	4314gat)
	4364gat = 	nor(	4314gat,	4200gat)
	4365gat = 	nor(	4318gat,	4319gat)
	4368gat = 	nor(	4320gat,	909gat)
	4372gat = 	nor(	4266gat,	4323gat)
	4373gat = 	nor(	4323gat,	957gat)
	4374gat = 	nor(	4146gat,	4323gat)
	4377gat = 	nor(	4327gat,	4328gat)
	4380gat = 	nor(	4332gat,	4329gat)
	4384gat = 	nor(	4278gat,	4335gat)
	4385gat = 	nor(	4335gat,	4275gat)
	4386gat = 	nor(	4339gat,	4340gat)
	4389gat = 	nor(	4341gat,	1152gat)
	4393gat = 	nor(	4287gat,	4344gat)
	4394gat = 	nor(	4344gat,	1200gat)
	4395gat = 	nor(	4167gat,	4344gat)
	4398gat = 	nor(	4348gat,	4349gat)
	4401gat = 	nor(	1296gat,	4350gat)
	4405gat = 	nor(	4353gat,	4354gat)
	4408gat = 	nor(	4355gat,	4356gat)
	4411gat = 	nor(	4357gat,	4358gat)
	4414gat = 	nor(	4359gat,	4360gat)
	4417gat = 	nor(	4361gat,	4362gat)
	4420gat = 	nor(	4363gat,	4364gat)
	4423gat = 	nor(	4365gat,	861gat)
	4427gat = 	nor(	4320gat,	4368gat)
	4428gat = 	nor(	4368gat,	909gat)
	4429gat = 	nor(	4211gat,	4368gat)
	4432gat = 	nor(	4372gat,	4373gat)
	4435gat = 	nor(	4377gat,	4374gat)
	4439gat = 	nor(	4332gat,	4380gat)
	4440gat = 	nor(	4380gat,	4329gat)
	4441gat = 	nor(	4384gat,	4385gat)
	4444gat = 	nor(	4386gat,	1104gat)
	4448gat = 	nor(	4341gat,	4389gat)
	4449gat = 	nor(	4389gat,	1152gat)
	4450gat = 	nor(	4232gat,	4389gat)
	4453gat = 	nor(	4393gat,	4394gat)
	4456gat = 	nor(	4398gat,	4395gat)
	4460gat = 	nor(	1296gat,	4401gat)
	4461gat = 	nor(	4401gat,	4350gat)
	4462gat = 	nor(	4405gat,	573gat)
	4466gat = 	nor(	4408gat,	621gat)
	4470gat = 	nor(	4411gat,	669gat)
	4474gat = 	nor(	4414gat,	717gat)
	4478gat = 	nor(	4417gat,	765gat)
	4482gat = 	nor(	4420gat,	813gat)
	4486gat = 	nor(	4365gat,	4423gat)
	4487gat = 	nor(	4423gat,	861gat)
	4488gat = 	nor(	4260gat,	4423gat)
	4491gat = 	nor(	4427gat,	4428gat)
	4494gat = 	nor(	4432gat,	4429gat)
	4498gat = 	nor(	4377gat,	4435gat)
	4499gat = 	nor(	4435gat,	4374gat)
	4500gat = 	nor(	4439gat,	4440gat)
	4503gat = 	nor(	4441gat,	1056gat)
	4507gat = 	nor(	4386gat,	4444gat)
	4508gat = 	nor(	4444gat,	1104gat)
	4509gat = 	nor(	4281gat,	4444gat)
	4512gat = 	nor(	4448gat,	4449gat)
	4515gat = 	nor(	4453gat,	4450gat)
	4519gat = 	nor(	4398gat,	4456gat)
	4520gat = 	nor(	4456gat,	4395gat)
	4521gat = 	nor(	4460gat,	4461gat)
	4524gat = 	nor(	4405gat,	4462gat)
	4525gat = 	nor(	4462gat,	573gat)
	4526gat = 	nor(	4294gat,	4462gat)
	4529gat = 	nor(	4408gat,	4466gat)
	4530gat = 	nor(	4466gat,	621gat)
	4531gat = 	nor(	4298gat,	4466gat)
	4534gat = 	nor(	4411gat,	4470gat)
	4535gat = 	nor(	4470gat,	669gat)
	4536gat = 	nor(	4302gat,	4470gat)
	4539gat = 	nor(	4414gat,	4474gat)
	4540gat = 	nor(	4474gat,	717gat)
	4541gat = 	nor(	4306gat,	4474gat)
	4544gat = 	nor(	4417gat,	4478gat)
	4545gat = 	nor(	4478gat,	765gat)
	4546gat = 	nor(	4310gat,	4478gat)
	4549gat = 	nor(	4420gat,	4482gat)
	4550gat = 	nor(	4482gat,	813gat)
	4551gat = 	nor(	4314gat,	4482gat)
	4554gat = 	nor(	4486gat,	4487gat)
	4557gat = 	nor(	4491gat,	4488gat)
	4561gat = 	nor(	4432gat,	4494gat)
	4562gat = 	nor(	4494gat,	4429gat)
	4563gat = 	nor(	4498gat,	4499gat)
	4566gat = 	nor(	4500gat,	1008gat)
	4570gat = 	nor(	4441gat,	4503gat)
	4571gat = 	nor(	4503gat,	1056gat)
	4572gat = 	nor(	4335gat,	4503gat)
	4575gat = 	nor(	4507gat,	4508gat)
	4578gat = 	nor(	4512gat,	4509gat)
	4582gat = 	nor(	4453gat,	4515gat)
	4583gat = 	nor(	4515gat,	4450gat)
	4584gat = 	nor(	4519gat,	4520gat)
	4587gat = 	nor(	4521gat,	1251gat)
	4591gat = 	nor(	4524gat,	4525gat)
	4592gat = 	nor(	4529gat,	4530gat)
	4595gat = 	nor(	4534gat,	4535gat)
	4598gat = 	nor(	4539gat,	4540gat)
	4601gat = 	nor(	4544gat,	4545gat)
	4604gat = 	nor(	4549gat,	4550gat)
	4607gat = 	nor(	4554gat,	4551gat)
	4611gat = 	nor(	4491gat,	4557gat)
	4612gat = 	nor(	4557gat,	4488gat)
	4613gat = 	nor(	4561gat,	4562gat)
	4616gat = 	nor(	4563gat,	960gat)
	4620gat = 	nor(	4500gat,	4566gat)
	4621gat = 	nor(	4566gat,	1008gat)
	4622gat = 	nor(	4380gat,	4566gat)
	4625gat = 	nor(	4570gat,	4571gat)
	4628gat = 	nor(	4575gat,	4572gat)
	4632gat = 	nor(	4512gat,	4578gat)
	4633gat = 	nor(	4578gat,	4509gat)
	4634gat = 	nor(	4582gat,	4583gat)
	4637gat = 	nor(	4584gat,	1203gat)
	4641gat = 	nor(	4521gat,	4587gat)
	4642gat = 	nor(	4587gat,	1251gat)
	4643gat = 	nor(	4401gat,	4587gat)
	4646gat = 	nor(	4592gat,	4526gat)
	4650gat = 	nor(	4595gat,	4531gat)
	4654gat = 	nor(	4598gat,	4536gat)
	4658gat = 	nor(	4601gat,	4541gat)
	4662gat = 	nor(	4604gat,	4546gat)
	4666gat = 	nor(	4554gat,	4607gat)
	4667gat = 	nor(	4607gat,	4551gat)
	4668gat = 	nor(	4611gat,	4612gat)
	4671gat = 	nor(	4613gat,	912gat)
	4675gat = 	nor(	4563gat,	4616gat)
	4676gat = 	nor(	4616gat,	960gat)
	4677gat = 	nor(	4435gat,	4616gat)
	4680gat = 	nor(	4620gat,	4621gat)
	4683gat = 	nor(	4625gat,	4622gat)
	4687gat = 	nor(	4575gat,	4628gat)
	4688gat = 	nor(	4628gat,	4572gat)
	4689gat = 	nor(	4632gat,	4633gat)
	4692gat = 	nor(	4634gat,	1155gat)
	4696gat = 	nor(	4584gat,	4637gat)
	4697gat = 	nor(	4637gat,	1203gat)
	4698gat = 	nor(	4456gat,	4637gat)
	4701gat = 	nor(	4641gat,	4642gat)
	4704gat = 	nor(	1299gat,	4643gat)
	4708gat = 	nor(	4592gat,	4646gat)
	4709gat = 	nor(	4646gat,	4526gat)
	4710gat = 	nor(	4595gat,	4650gat)
	4711gat = 	nor(	4650gat,	4531gat)
	4712gat = 	nor(	4598gat,	4654gat)
	4713gat = 	nor(	4654gat,	4536gat)
	4714gat = 	nor(	4601gat,	4658gat)
	4715gat = 	nor(	4658gat,	4541gat)
	4716gat = 	nor(	4604gat,	4662gat)
	4717gat = 	nor(	4662gat,	4546gat)
	4718gat = 	nor(	4666gat,	4667gat)
	4721gat = 	nor(	4668gat,	864gat)
	4725gat = 	nor(	4613gat,	4671gat)
	4726gat = 	nor(	4671gat,	912gat)
	4727gat = 	nor(	4494gat,	4671gat)
	4730gat = 	nor(	4675gat,	4676gat)
	4733gat = 	nor(	4680gat,	4677gat)
	4737gat = 	nor(	4625gat,	4683gat)
	4738gat = 	nor(	4683gat,	4622gat)
	4739gat = 	nor(	4687gat,	4688gat)
	4742gat = 	nor(	4689gat,	1107gat)
	4746gat = 	nor(	4634gat,	4692gat)
	4747gat = 	nor(	4692gat,	1155gat)
	4748gat = 	nor(	4515gat,	4692gat)
	4751gat = 	nor(	4696gat,	4697gat)
	4754gat = 	nor(	4701gat,	4698gat)
	4758gat = 	nor(	1299gat,	4704gat)
	4759gat = 	nor(	4704gat,	4643gat)
	4760gat = 	nor(	4708gat,	4709gat)
	4763gat = 	nor(	4710gat,	4711gat)
	4766gat = 	nor(	4712gat,	4713gat)
	4769gat = 	nor(	4714gat,	4715gat)
	4772gat = 	nor(	4716gat,	4717gat)
	4775gat = 	nor(	4718gat,	816gat)
	4779gat = 	nor(	4668gat,	4721gat)
	4780gat = 	nor(	4721gat,	864gat)
	4781gat = 	nor(	4557gat,	4721gat)
	4784gat = 	nor(	4725gat,	4726gat)
	4787gat = 	nor(	4730gat,	4727gat)
	4791gat = 	nor(	4680gat,	4733gat)
	4792gat = 	nor(	4733gat,	4677gat)
	4793gat = 	nor(	4737gat,	4738gat)
	4796gat = 	nor(	4739gat,	1059gat)
	4800gat = 	nor(	4689gat,	4742gat)
	4801gat = 	nor(	4742gat,	1107gat)
	4802gat = 	nor(	4578gat,	4742gat)
	4805gat = 	nor(	4746gat,	4747gat)
	4808gat = 	nor(	4751gat,	4748gat)
	4812gat = 	nor(	4701gat,	4754gat)
	4813gat = 	nor(	4754gat,	4698gat)
	4814gat = 	nor(	4758gat,	4759gat)
	4817gat = 	nor(	4760gat,	576gat)
	4821gat = 	nor(	4763gat,	624gat)
	4825gat = 	nor(	4766gat,	672gat)
	4829gat = 	nor(	4769gat,	720gat)
	4833gat = 	nor(	4772gat,	768gat)
	4837gat = 	nor(	4718gat,	4775gat)
	4838gat = 	nor(	4775gat,	816gat)
	4839gat = 	nor(	4607gat,	4775gat)
	4842gat = 	nor(	4779gat,	4780gat)
	4845gat = 	nor(	4784gat,	4781gat)
	4849gat = 	nor(	4730gat,	4787gat)
	4850gat = 	nor(	4787gat,	4727gat)
	4851gat = 	nor(	4791gat,	4792gat)
	4854gat = 	nor(	4793gat,	1011gat)
	4858gat = 	nor(	4739gat,	4796gat)
	4859gat = 	nor(	4796gat,	1059gat)
	4860gat = 	nor(	4628gat,	4796gat)
	4863gat = 	nor(	4800gat,	4801gat)
	4866gat = 	nor(	4805gat,	4802gat)
	4870gat = 	nor(	4751gat,	4808gat)
	4871gat = 	nor(	4808gat,	4748gat)
	4872gat = 	nor(	4812gat,	4813gat)
	4875gat = 	nor(	4814gat,	1254gat)
	4879gat = 	nor(	4760gat,	4817gat)
	4880gat = 	nor(	4817gat,	576gat)
	4881gat = 	nor(	4646gat,	4817gat)
	4884gat = 	nor(	4763gat,	4821gat)
	4885gat = 	nor(	4821gat,	624gat)
	4886gat = 	nor(	4650gat,	4821gat)
	4889gat = 	nor(	4766gat,	4825gat)
	4890gat = 	nor(	4825gat,	672gat)
	4891gat = 	nor(	4654gat,	4825gat)
	4894gat = 	nor(	4769gat,	4829gat)
	4895gat = 	nor(	4829gat,	720gat)
	4896gat = 	nor(	4658gat,	4829gat)
	4899gat = 	nor(	4772gat,	4833gat)
	4900gat = 	nor(	4833gat,	768gat)
	4901gat = 	nor(	4662gat,	4833gat)
	4904gat = 	nor(	4837gat,	4838gat)
	4907gat = 	nor(	4842gat,	4839gat)
	4911gat = 	nor(	4784gat,	4845gat)
	4912gat = 	nor(	4845gat,	4781gat)
	4913gat = 	nor(	4849gat,	4850gat)
	4916gat = 	nor(	4851gat,	963gat)
	4920gat = 	nor(	4793gat,	4854gat)
	4921gat = 	nor(	4854gat,	1011gat)
	4922gat = 	nor(	4683gat,	4854gat)
	4925gat = 	nor(	4858gat,	4859gat)
	4928gat = 	nor(	4863gat,	4860gat)
	4932gat = 	nor(	4805gat,	4866gat)
	4933gat = 	nor(	4866gat,	4802gat)
	4934gat = 	nor(	4870gat,	4871gat)
	4937gat = 	nor(	4872gat,	1206gat)
	4941gat = 	nor(	4814gat,	4875gat)
	4942gat = 	nor(	4875gat,	1254gat)
	4943gat = 	nor(	4704gat,	4875gat)
	4946gat = 	nor(	4879gat,	4880gat)
	4947gat = 	nor(	4884gat,	4885gat)
	4950gat = 	nor(	4889gat,	4890gat)
	4953gat = 	nor(	4894gat,	4895gat)
	4956gat = 	nor(	4899gat,	4900gat)
	4959gat = 	nor(	4904gat,	4901gat)
	4963gat = 	nor(	4842gat,	4907gat)
	4964gat = 	nor(	4907gat,	4839gat)
	4965gat = 	nor(	4911gat,	4912gat)
	4968gat = 	nor(	4913gat,	915gat)
	4972gat = 	nor(	4851gat,	4916gat)
	4973gat = 	nor(	4916gat,	963gat)
	4974gat = 	nor(	4733gat,	4916gat)
	4977gat = 	nor(	4920gat,	4921gat)
	4980gat = 	nor(	4925gat,	4922gat)
	4984gat = 	nor(	4863gat,	4928gat)
	4985gat = 	nor(	4928gat,	4860gat)
	4986gat = 	nor(	4932gat,	4933gat)
	4989gat = 	nor(	4934gat,	1158gat)
	4993gat = 	nor(	4872gat,	4937gat)
	4994gat = 	nor(	4937gat,	1206gat)
	4995gat = 	nor(	4754gat,	4937gat)
	4998gat = 	nor(	4941gat,	4942gat)
	5001gat = 	nor(	1302gat,	4943gat)
	5005gat = 	nor(	4947gat,	4881gat)
	5009gat = 	nor(	4950gat,	4886gat)
	5013gat = 	nor(	4953gat,	4891gat)
	5017gat = 	nor(	4956gat,	4896gat)
	5021gat = 	nor(	4904gat,	4959gat)
	5022gat = 	nor(	4959gat,	4901gat)
	5023gat = 	nor(	4963gat,	4964gat)
	5026gat = 	nor(	4965gat,	867gat)
	5030gat = 	nor(	4913gat,	4968gat)
	5031gat = 	nor(	4968gat,	915gat)
	5032gat = 	nor(	4787gat,	4968gat)
	5035gat = 	nor(	4972gat,	4973gat)
	5038gat = 	nor(	4977gat,	4974gat)
	5042gat = 	nor(	4925gat,	4980gat)
	5043gat = 	nor(	4980gat,	4922gat)
	5044gat = 	nor(	4984gat,	4985gat)
	5047gat = 	nor(	4986gat,	1110gat)
	5051gat = 	nor(	4934gat,	4989gat)
	5052gat = 	nor(	4989gat,	1158gat)
	5053gat = 	nor(	4808gat,	4989gat)
	5056gat = 	nor(	4993gat,	4994gat)
	5059gat = 	nor(	4998gat,	4995gat)
	5063gat = 	nor(	1302gat,	5001gat)
	5064gat = 	nor(	5001gat,	4943gat)
	5065gat = 	nor(	4947gat,	5005gat)
	5066gat = 	nor(	5005gat,	4881gat)
	5067gat = 	nor(	4950gat,	5009gat)
	5068gat = 	nor(	5009gat,	4886gat)
	5069gat = 	nor(	4953gat,	5013gat)
	5070gat = 	nor(	5013gat,	4891gat)
	5071gat = 	nor(	4956gat,	5017gat)
	5072gat = 	nor(	5017gat,	4896gat)
	5073gat = 	nor(	5021gat,	5022gat)
	5076gat = 	nor(	5023gat,	819gat)
	5080gat = 	nor(	4965gat,	5026gat)
	5081gat = 	nor(	5026gat,	867gat)
	5082gat = 	nor(	4845gat,	5026gat)
	5085gat = 	nor(	5030gat,	5031gat)
	5088gat = 	nor(	5035gat,	5032gat)
	5092gat = 	nor(	4977gat,	5038gat)
	5093gat = 	nor(	5038gat,	4974gat)
	5094gat = 	nor(	5042gat,	5043gat)
	5097gat = 	nor(	5044gat,	1062gat)
	5101gat = 	nor(	4986gat,	5047gat)
	5102gat = 	nor(	5047gat,	1110gat)
	5103gat = 	nor(	4866gat,	5047gat)
	5106gat = 	nor(	5051gat,	5052gat)
	5109gat = 	nor(	5056gat,	5053gat)
	5113gat = 	nor(	4998gat,	5059gat)
	5114gat = 	nor(	5059gat,	4995gat)
	5115gat = 	nor(	5063gat,	5064gat)
	5118gat = 	nor(	5065gat,	5066gat)
	5121gat = 	nor(	5067gat,	5068gat)
	5124gat = 	nor(	5069gat,	5070gat)
	5127gat = 	nor(	5071gat,	5072gat)
	5130gat = 	nor(	5073gat,	771gat)
	5134gat = 	nor(	5023gat,	5076gat)
	5135gat = 	nor(	5076gat,	819gat)
	5136gat = 	nor(	4907gat,	5076gat)
	5139gat = 	nor(	5080gat,	5081gat)
	5142gat = 	nor(	5085gat,	5082gat)
	5146gat = 	nor(	5035gat,	5088gat)
	5147gat = 	nor(	5088gat,	5032gat)
	5148gat = 	nor(	5092gat,	5093gat)
	5151gat = 	nor(	5094gat,	1014gat)
	5155gat = 	nor(	5044gat,	5097gat)
	5156gat = 	nor(	5097gat,	1062gat)
	5157gat = 	nor(	4928gat,	5097gat)
	5160gat = 	nor(	5101gat,	5102gat)
	5163gat = 	nor(	5106gat,	5103gat)
	5167gat = 	nor(	5056gat,	5109gat)
	5168gat = 	nor(	5109gat,	5053gat)
	5169gat = 	nor(	5113gat,	5114gat)
	5172gat = 	nor(	5115gat,	1257gat)
	5176gat = 	nor(	5118gat,	579gat)
	5180gat = 	nor(	5121gat,	627gat)
	5184gat = 	nor(	5124gat,	675gat)
	5188gat = 	nor(	5127gat,	723gat)
	5192gat = 	nor(	5073gat,	5130gat)
	5193gat = 	nor(	5130gat,	771gat)
	5194gat = 	nor(	4959gat,	5130gat)
	5197gat = 	nor(	5134gat,	5135gat)
	5200gat = 	nor(	5139gat,	5136gat)
	5204gat = 	nor(	5085gat,	5142gat)
	5205gat = 	nor(	5142gat,	5082gat)
	5206gat = 	nor(	5146gat,	5147gat)
	5209gat = 	nor(	5148gat,	966gat)
	5213gat = 	nor(	5094gat,	5151gat)
	5214gat = 	nor(	5151gat,	1014gat)
	5215gat = 	nor(	4980gat,	5151gat)
	5218gat = 	nor(	5155gat,	5156gat)
	5221gat = 	nor(	5160gat,	5157gat)
	5225gat = 	nor(	5106gat,	5163gat)
	5226gat = 	nor(	5163gat,	5103gat)
	5227gat = 	nor(	5167gat,	5168gat)
	5230gat = 	nor(	5169gat,	1209gat)
	5234gat = 	nor(	5115gat,	5172gat)
	5235gat = 	nor(	5172gat,	1257gat)
	5236gat = 	nor(	5001gat,	5172gat)
	5239gat = 	nor(	5118gat,	5176gat)
	5240gat = 	nor(	5176gat,	579gat)
	5241gat = 	nor(	5005gat,	5176gat)
	5244gat = 	nor(	5121gat,	5180gat)
	5245gat = 	nor(	5180gat,	627gat)
	5246gat = 	nor(	5009gat,	5180gat)
	5249gat = 	nor(	5124gat,	5184gat)
	5250gat = 	nor(	5184gat,	675gat)
	5251gat = 	nor(	5013gat,	5184gat)
	5254gat = 	nor(	5127gat,	5188gat)
	5255gat = 	nor(	5188gat,	723gat)
	5256gat = 	nor(	5017gat,	5188gat)
	5259gat = 	nor(	5192gat,	5193gat)
	5262gat = 	nor(	5197gat,	5194gat)
	5266gat = 	nor(	5139gat,	5200gat)
	5267gat = 	nor(	5200gat,	5136gat)
	5268gat = 	nor(	5204gat,	5205gat)
	5271gat = 	nor(	5206gat,	918gat)
	5275gat = 	nor(	5148gat,	5209gat)
	5276gat = 	nor(	5209gat,	966gat)
	5277gat = 	nor(	5038gat,	5209gat)
	5280gat = 	nor(	5213gat,	5214gat)
	5283gat = 	nor(	5218gat,	5215gat)
	5287gat = 	nor(	5160gat,	5221gat)
	5288gat = 	nor(	5221gat,	5157gat)
	5289gat = 	nor(	5225gat,	5226gat)
	5292gat = 	nor(	5227gat,	1161gat)
	5296gat = 	nor(	5169gat,	5230gat)
	5297gat = 	nor(	5230gat,	1209gat)
	5298gat = 	nor(	5059gat,	5230gat)
	5301gat = 	nor(	5234gat,	5235gat)
	5304gat = 	nor(	1305gat,	5236gat)
	5308gat = 	nor(	5239gat,	5240gat)
	5309gat = 	nor(	5244gat,	5245gat)
	5312gat = 	nor(	5249gat,	5250gat)
	5315gat = 	nor(	5254gat,	5255gat)
	5318gat = 	nor(	5259gat,	5256gat)
	5322gat = 	nor(	5197gat,	5262gat)
	5323gat = 	nor(	5262gat,	5194gat)
	5324gat = 	nor(	5266gat,	5267gat)
	5327gat = 	nor(	5268gat,	870gat)
	5331gat = 	nor(	5206gat,	5271gat)
	5332gat = 	nor(	5271gat,	918gat)
	5333gat = 	nor(	5088gat,	5271gat)
	5336gat = 	nor(	5275gat,	5276gat)
	5339gat = 	nor(	5280gat,	5277gat)
	5343gat = 	nor(	5218gat,	5283gat)
	5344gat = 	nor(	5283gat,	5215gat)
	5345gat = 	nor(	5287gat,	5288gat)
	5348gat = 	nor(	5289gat,	1113gat)
	5352gat = 	nor(	5227gat,	5292gat)
	5353gat = 	nor(	5292gat,	1161gat)
	5354gat = 	nor(	5109gat,	5292gat)
	5357gat = 	nor(	5296gat,	5297gat)
	5360gat = 	nor(	5301gat,	5298gat)
	5364gat = 	nor(	1305gat,	5304gat)
	5365gat = 	nor(	5304gat,	5236gat)
	5366gat = 	nor(	5309gat,	5241gat)
	5370gat = 	nor(	5312gat,	5246gat)
	5374gat = 	nor(	5315gat,	5251gat)
	5378gat = 	nor(	5259gat,	5318gat)
	5379gat = 	nor(	5318gat,	5256gat)
	5380gat = 	nor(	5322gat,	5323gat)
	5383gat = 	nor(	5324gat,	822gat)
	5387gat = 	nor(	5268gat,	5327gat)
	5388gat = 	nor(	5327gat,	870gat)
	5389gat = 	nor(	5142gat,	5327gat)
	5392gat = 	nor(	5331gat,	5332gat)
	5395gat = 	nor(	5336gat,	5333gat)
	5399gat = 	nor(	5280gat,	5339gat)
	5400gat = 	nor(	5339gat,	5277gat)
	5401gat = 	nor(	5343gat,	5344gat)
	5404gat = 	nor(	5345gat,	1065gat)
	5408gat = 	nor(	5289gat,	5348gat)
	5409gat = 	nor(	5348gat,	1113gat)
	5410gat = 	nor(	5163gat,	5348gat)
	5413gat = 	nor(	5352gat,	5353gat)
	5416gat = 	nor(	5357gat,	5354gat)
	5420gat = 	nor(	5301gat,	5360gat)
	5421gat = 	nor(	5360gat,	5298gat)
	5422gat = 	nor(	5364gat,	5365gat)
	5425gat = 	nor(	5309gat,	5366gat)
	5426gat = 	nor(	5366gat,	5241gat)
	5427gat = 	nor(	5312gat,	5370gat)
	5428gat = 	nor(	5370gat,	5246gat)
	5429gat = 	nor(	5315gat,	5374gat)
	5430gat = 	nor(	5374gat,	5251gat)
	5431gat = 	nor(	5378gat,	5379gat)
	5434gat = 	nor(	5380gat,	774gat)
	5438gat = 	nor(	5324gat,	5383gat)
	5439gat = 	nor(	5383gat,	822gat)
	5440gat = 	nor(	5200gat,	5383gat)
	5443gat = 	nor(	5387gat,	5388gat)
	5446gat = 	nor(	5392gat,	5389gat)
	5450gat = 	nor(	5336gat,	5395gat)
	5451gat = 	nor(	5395gat,	5333gat)
	5452gat = 	nor(	5399gat,	5400gat)
	5455gat = 	nor(	5401gat,	1017gat)
	5459gat = 	nor(	5345gat,	5404gat)
	5460gat = 	nor(	5404gat,	1065gat)
	5461gat = 	nor(	5221gat,	5404gat)
	5464gat = 	nor(	5408gat,	5409gat)
	5467gat = 	nor(	5413gat,	5410gat)
	5471gat = 	nor(	5357gat,	5416gat)
	5472gat = 	nor(	5416gat,	5354gat)
	5473gat = 	nor(	5420gat,	5421gat)
	5476gat = 	nor(	5422gat,	1260gat)
	5480gat = 	nor(	5425gat,	5426gat)
	5483gat = 	nor(	5427gat,	5428gat)
	5486gat = 	nor(	5429gat,	5430gat)
	5489gat = 	nor(	5431gat,	726gat)
	5493gat = 	nor(	5380gat,	5434gat)
	5494gat = 	nor(	5434gat,	774gat)
	5495gat = 	nor(	5262gat,	5434gat)
	5498gat = 	nor(	5438gat,	5439gat)
	5501gat = 	nor(	5443gat,	5440gat)
	5505gat = 	nor(	5392gat,	5446gat)
	5506gat = 	nor(	5446gat,	5389gat)
	5507gat = 	nor(	5450gat,	5451gat)
	5510gat = 	nor(	5452gat,	969gat)
	5514gat = 	nor(	5401gat,	5455gat)
	5515gat = 	nor(	5455gat,	1017gat)
	5516gat = 	nor(	5283gat,	5455gat)
	5519gat = 	nor(	5459gat,	5460gat)
	5522gat = 	nor(	5464gat,	5461gat)
	5526gat = 	nor(	5413gat,	5467gat)
	5527gat = 	nor(	5467gat,	5410gat)
	5528gat = 	nor(	5471gat,	5472gat)
	5531gat = 	nor(	5473gat,	1212gat)
	5535gat = 	nor(	5422gat,	5476gat)
	5536gat = 	nor(	5476gat,	1260gat)
	5537gat = 	nor(	5304gat,	5476gat)
	5540gat = 	nor(	5480gat,	582gat)
	5544gat = 	nor(	5483gat,	630gat)
	5548gat = 	nor(	5486gat,	678gat)
	5552gat = 	nor(	5431gat,	5489gat)
	5553gat = 	nor(	5489gat,	726gat)
	5554gat = 	nor(	5318gat,	5489gat)
	5557gat = 	nor(	5493gat,	5494gat)
	5560gat = 	nor(	5498gat,	5495gat)
	5564gat = 	nor(	5443gat,	5501gat)
	5565gat = 	nor(	5501gat,	5440gat)
	5566gat = 	nor(	5505gat,	5506gat)
	5569gat = 	nor(	5507gat,	921gat)
	5573gat = 	nor(	5452gat,	5510gat)
	5574gat = 	nor(	5510gat,	969gat)
	5575gat = 	nor(	5339gat,	5510gat)
	5578gat = 	nor(	5514gat,	5515gat)
	5581gat = 	nor(	5519gat,	5516gat)
	5585gat = 	nor(	5464gat,	5522gat)
	5586gat = 	nor(	5522gat,	5461gat)
	5587gat = 	nor(	5526gat,	5527gat)
	5590gat = 	nor(	5528gat,	1164gat)
	5594gat = 	nor(	5473gat,	5531gat)
	5595gat = 	nor(	5531gat,	1212gat)
	5596gat = 	nor(	5360gat,	5531gat)
	5599gat = 	nor(	5535gat,	5536gat)
	5602gat = 	nor(	1308gat,	5537gat)
	5606gat = 	nor(	5480gat,	5540gat)
	5607gat = 	nor(	5540gat,	582gat)
	5608gat = 	nor(	5366gat,	5540gat)
	5611gat = 	nor(	5483gat,	5544gat)
	5612gat = 	nor(	5544gat,	630gat)
	5613gat = 	nor(	5370gat,	5544gat)
	5616gat = 	nor(	5486gat,	5548gat)
	5617gat = 	nor(	5548gat,	678gat)
	5618gat = 	nor(	5374gat,	5548gat)
	5621gat = 	nor(	5552gat,	5553gat)
	5624gat = 	nor(	5557gat,	5554gat)
	5628gat = 	nor(	5498gat,	5560gat)
	5629gat = 	nor(	5560gat,	5495gat)
	5630gat = 	nor(	5564gat,	5565gat)
	5633gat = 	nor(	5566gat,	873gat)
	5637gat = 	nor(	5507gat,	5569gat)
	5638gat = 	nor(	5569gat,	921gat)
	5639gat = 	nor(	5395gat,	5569gat)
	5642gat = 	nor(	5573gat,	5574gat)
	5645gat = 	nor(	5578gat,	5575gat)
	5649gat = 	nor(	5519gat,	5581gat)
	5650gat = 	nor(	5581gat,	5516gat)
	5651gat = 	nor(	5585gat,	5586gat)
	5654gat = 	nor(	5587gat,	1116gat)
	5658gat = 	nor(	5528gat,	5590gat)
	5659gat = 	nor(	5590gat,	1164gat)
	5660gat = 	nor(	5416gat,	5590gat)
	5663gat = 	nor(	5594gat,	5595gat)
	5666gat = 	nor(	5599gat,	5596gat)
	5670gat = 	nor(	1308gat,	5602gat)
	5671gat = 	nor(	5602gat,	5537gat)
	5672gat = 	nor(	5606gat,	5607gat)
	5673gat = 	nor(	5611gat,	5612gat)
	5676gat = 	nor(	5616gat,	5617gat)
	5679gat = 	nor(	5621gat,	5618gat)
	5683gat = 	nor(	5557gat,	5624gat)
	5684gat = 	nor(	5624gat,	5554gat)
	5685gat = 	nor(	5628gat,	5629gat)
	5688gat = 	nor(	5630gat,	825gat)
	5692gat = 	nor(	5566gat,	5633gat)
	5693gat = 	nor(	5633gat,	873gat)
	5694gat = 	nor(	5446gat,	5633gat)
	5697gat = 	nor(	5637gat,	5638gat)
	5700gat = 	nor(	5642gat,	5639gat)
	5704gat = 	nor(	5578gat,	5645gat)
	5705gat = 	nor(	5645gat,	5575gat)
	5706gat = 	nor(	5649gat,	5650gat)
	5709gat = 	nor(	5651gat,	1068gat)
	5713gat = 	nor(	5587gat,	5654gat)
	5714gat = 	nor(	5654gat,	1116gat)
	5715gat = 	nor(	5467gat,	5654gat)
	5718gat = 	nor(	5658gat,	5659gat)
	5721gat = 	nor(	5663gat,	5660gat)
	5725gat = 	nor(	5599gat,	5666gat)
	5726gat = 	nor(	5666gat,	5596gat)
	5727gat = 	nor(	5670gat,	5671gat)
	5730gat = 	nor(	5673gat,	5608gat)
	5734gat = 	nor(	5676gat,	5613gat)
	5738gat = 	nor(	5621gat,	5679gat)
	5739gat = 	nor(	5679gat,	5618gat)
	5740gat = 	nor(	5683gat,	5684gat)
	5743gat = 	nor(	5685gat,	777gat)
	5747gat = 	nor(	5630gat,	5688gat)
	5748gat = 	nor(	5688gat,	825gat)
	5749gat = 	nor(	5501gat,	5688gat)
	5752gat = 	nor(	5692gat,	5693gat)
	5755gat = 	nor(	5697gat,	5694gat)
	5759gat = 	nor(	5642gat,	5700gat)
	5760gat = 	nor(	5700gat,	5639gat)
	5761gat = 	nor(	5704gat,	5705gat)
	5764gat = 	nor(	5706gat,	1020gat)
	5768gat = 	nor(	5651gat,	5709gat)
	5769gat = 	nor(	5709gat,	1068gat)
	5770gat = 	nor(	5522gat,	5709gat)
	5773gat = 	nor(	5713gat,	5714gat)
	5776gat = 	nor(	5718gat,	5715gat)
	5780gat = 	nor(	5663gat,	5721gat)
	5781gat = 	nor(	5721gat,	5660gat)
	5782gat = 	nor(	5725gat,	5726gat)
	5785gat = 	nor(	5673gat,	5730gat)
	5786gat = 	nor(	5730gat,	5608gat)
	5787gat = 	nor(	5676gat,	5734gat)
	5788gat = 	nor(	5734gat,	5613gat)
	5789gat = 	nor(	5738gat,	5739gat)
	5792gat = 	nor(	5740gat,	729gat)
	5796gat = 	nor(	5685gat,	5743gat)
	5797gat = 	nor(	5743gat,	777gat)
	5798gat = 	nor(	5560gat,	5743gat)
	5801gat = 	nor(	5747gat,	5748gat)
	5804gat = 	nor(	5752gat,	5749gat)
	5808gat = 	nor(	5697gat,	5755gat)
	5809gat = 	nor(	5755gat,	5694gat)
	5810gat = 	nor(	5759gat,	5760gat)
	5813gat = 	nor(	5761gat,	972gat)
	5817gat = 	nor(	5706gat,	5764gat)
	5818gat = 	nor(	5764gat,	1020gat)
	5819gat = 	nor(	5581gat,	5764gat)
	5822gat = 	nor(	5768gat,	5769gat)
	5825gat = 	nor(	5773gat,	5770gat)
	5829gat = 	nor(	5718gat,	5776gat)
	5830gat = 	nor(	5776gat,	5715gat)
	5831gat = 	nor(	5780gat,	5781gat)
	5834gat = 	nor(	5785gat,	5786gat)
	5837gat = 	nor(	5787gat,	5788gat)
	5840gat = 	nor(	5789gat,	681gat)
	5844gat = 	nor(	5740gat,	5792gat)
	5845gat = 	nor(	5792gat,	729gat)
	5846gat = 	nor(	5624gat,	5792gat)
	5849gat = 	nor(	5796gat,	5797gat)
	5852gat = 	nor(	5801gat,	5798gat)
	5856gat = 	nor(	5752gat,	5804gat)
	5857gat = 	nor(	5804gat,	5749gat)
	5858gat = 	nor(	5808gat,	5809gat)
	5861gat = 	nor(	5810gat,	924gat)
	5865gat = 	nor(	5761gat,	5813gat)
	5866gat = 	nor(	5813gat,	972gat)
	5867gat = 	nor(	5645gat,	5813gat)
	5870gat = 	nor(	5817gat,	5818gat)
	5873gat = 	nor(	5822gat,	5819gat)
	5877gat = 	nor(	5773gat,	5825gat)
	5878gat = 	nor(	5825gat,	5770gat)
	5879gat = 	nor(	5829gat,	5830gat)
	5882gat = 	nor(	5834gat,	585gat)
	5886gat = 	nor(	5837gat,	633gat)
	5890gat = 	nor(	5789gat,	5840gat)
	5891gat = 	nor(	5840gat,	681gat)
	5892gat = 	nor(	5679gat,	5840gat)
	5895gat = 	nor(	5844gat,	5845gat)
	5898gat = 	nor(	5849gat,	5846gat)
	5902gat = 	nor(	5801gat,	5852gat)
	5903gat = 	nor(	5852gat,	5798gat)
	5904gat = 	nor(	5856gat,	5857gat)
	5907gat = 	nor(	5858gat,	876gat)
	5911gat = 	nor(	5810gat,	5861gat)
	5912gat = 	nor(	5861gat,	924gat)
	5913gat = 	nor(	5700gat,	5861gat)
	5916gat = 	nor(	5865gat,	5866gat)
	5919gat = 	nor(	5870gat,	5867gat)
	5923gat = 	nor(	5822gat,	5873gat)
	5924gat = 	nor(	5873gat,	5819gat)
	5925gat = 	nor(	5877gat,	5878gat)
	5928gat = 	nor(	5834gat,	5882gat)
	5929gat = 	nor(	5882gat,	585gat)
	5930gat = 	nor(	5730gat,	5882gat)
	5933gat = 	nor(	5837gat,	5886gat)
	5934gat = 	nor(	5886gat,	633gat)
	5935gat = 	nor(	5734gat,	5886gat)
	5938gat = 	nor(	5890gat,	5891gat)
	5941gat = 	nor(	5895gat,	5892gat)
	5945gat = 	nor(	5849gat,	5898gat)
	5946gat = 	nor(	5898gat,	5846gat)
	5947gat = 	nor(	5902gat,	5903gat)
	5950gat = 	nor(	5904gat,	828gat)
	5954gat = 	nor(	5858gat,	5907gat)
	5955gat = 	nor(	5907gat,	876gat)
	5956gat = 	nor(	5755gat,	5907gat)
	5959gat = 	nor(	5911gat,	5912gat)
	5962gat = 	nor(	5916gat,	5913gat)
	5966gat = 	nor(	5870gat,	5919gat)
	5967gat = 	nor(	5919gat,	5867gat)
	5968gat = 	nor(	5923gat,	5924gat)
	5971gat = 	nor(	5928gat,	5929gat)
	5972gat = 	nor(	5933gat,	5934gat)
	5975gat = 	nor(	5938gat,	5935gat)
	5979gat = 	nor(	5895gat,	5941gat)
	5980gat = 	nor(	5941gat,	5892gat)
	5981gat = 	nor(	5945gat,	5946gat)
	5984gat = 	nor(	5947gat,	780gat)
	5988gat = 	nor(	5904gat,	5950gat)
	5989gat = 	nor(	5950gat,	828gat)
	5990gat = 	nor(	5804gat,	5950gat)
	5993gat = 	nor(	5954gat,	5955gat)
	5996gat = 	nor(	5959gat,	5956gat)
	6000gat = 	nor(	5916gat,	5962gat)
	6001gat = 	nor(	5962gat,	5913gat)
	6002gat = 	nor(	5966gat,	5967gat)
	6005gat = 	nor(	5972gat,	5930gat)
	6009gat = 	nor(	5938gat,	5975gat)
	6010gat = 	nor(	5975gat,	5935gat)
	6011gat = 	nor(	5979gat,	5980gat)
	6014gat = 	nor(	5981gat,	732gat)
	6018gat = 	nor(	5947gat,	5984gat)
	6019gat = 	nor(	5984gat,	780gat)
	6020gat = 	nor(	5852gat,	5984gat)
	6023gat = 	nor(	5988gat,	5989gat)
	6026gat = 	nor(	5993gat,	5990gat)
	6030gat = 	nor(	5959gat,	5996gat)
	6031gat = 	nor(	5996gat,	5956gat)
	6032gat = 	nor(	6000gat,	6001gat)
	6035gat = 	nor(	5972gat,	6005gat)
	6036gat = 	nor(	6005gat,	5930gat)
	6037gat = 	nor(	6009gat,	6010gat)
	6040gat = 	nor(	6011gat,	684gat)
	6044gat = 	nor(	5981gat,	6014gat)
	6045gat = 	nor(	6014gat,	732gat)
	6046gat = 	nor(	5898gat,	6014gat)
	6049gat = 	nor(	6018gat,	6019gat)
	6052gat = 	nor(	6023gat,	6020gat)
	6056gat = 	nor(	5993gat,	6026gat)
	6057gat = 	nor(	6026gat,	5990gat)
	6058gat = 	nor(	6030gat,	6031gat)
	6061gat = 	nor(	6035gat,	6036gat)
	6064gat = 	nor(	6037gat,	636gat)
	6068gat = 	nor(	6011gat,	6040gat)
	6069gat = 	nor(	6040gat,	684gat)
	6070gat = 	nor(	5941gat,	6040gat)
	6073gat = 	nor(	6044gat,	6045gat)
	6076gat = 	nor(	6049gat,	6046gat)
	6080gat = 	nor(	6023gat,	6052gat)
	6081gat = 	nor(	6052gat,	6020gat)
	6082gat = 	nor(	6056gat,	6057gat)
	6085gat = 	nor(	6061gat,	588gat)
	6089gat = 	nor(	6037gat,	6064gat)
	6090gat = 	nor(	6064gat,	636gat)
	6091gat = 	nor(	5975gat,	6064gat)
	6094gat = 	nor(	6068gat,	6069gat)
	6097gat = 	nor(	6073gat,	6070gat)
	6101gat = 	nor(	6049gat,	6076gat)
	6102gat = 	nor(	6076gat,	6046gat)
	6103gat = 	nor(	6080gat,	6081gat)
	6106gat = 	nor(	6061gat,	6085gat)
	6107gat = 	nor(	6085gat,	588gat)
	6108gat = 	nor(	6005gat,	6085gat)
	6111gat = 	nor(	6089gat,	6090gat)
	6114gat = 	nor(	6094gat,	6091gat)
	6118gat = 	nor(	6073gat,	6097gat)
	6119gat = 	nor(	6097gat,	6070gat)
	6120gat = 	nor(	6101gat,	6102gat)
	6123gat = 	nor(	6106gat,	6107gat)
	6124gat = 	nor(	6111gat,	6108gat)
	6128gat = 	nor(	6094gat,	6114gat)
	6129gat = 	nor(	6114gat,	6091gat)
	6130gat = 	nor(	6118gat,	6119gat)
	6133gat = 	nor(	6111gat,	6124gat)
	6134gat = 	nor(	6124gat,	6108gat)
	6135gat = 	nor(	6128gat,	6129gat)
	6138gat = 	nor(	6133gat,	6134gat)
	6141gat = 	not(	6138gat)
	6145gat = 	nor(	6138gat,	6141gat)
	6146gat = 	not(	6141gat)
	6147gat = 	nor(	6124gat,	6141gat)
	6150gat = 	nor(	6145gat,	6146gat)
	6151gat = 	nor(	6135gat,	6147gat)
	6155gat = 	nor(	6135gat,	6151gat)
	6156gat = 	nor(	6151gat,	6147gat)
	6157gat = 	nor(	6114gat,	6151gat)
	6160gat = 	nor(	6155gat,	6156gat)
	6161gat = 	nor(	6130gat,	6157gat)
	6165gat = 	nor(	6130gat,	6161gat)
	6166gat = 	nor(	6161gat,	6157gat)
	6167gat = 	nor(	6097gat,	6161gat)
	6170gat = 	nor(	6165gat,	6166gat)
	6171gat = 	nor(	6120gat,	6167gat)
	6175gat = 	nor(	6120gat,	6171gat)
	6176gat = 	nor(	6171gat,	6167gat)
	6177gat = 	nor(	6076gat,	6171gat)
	6180gat = 	nor(	6175gat,	6176gat)
	6181gat = 	nor(	6103gat,	6177gat)
	6185gat = 	nor(	6103gat,	6181gat)
	6186gat = 	nor(	6181gat,	6177gat)
	6187gat = 	nor(	6052gat,	6181gat)
	6190gat = 	nor(	6185gat,	6186gat)
	6191gat = 	nor(	6082gat,	6187gat)
	6195gat = 	nor(	6082gat,	6191gat)
	6196gat = 	nor(	6191gat,	6187gat)
	6197gat = 	nor(	6026gat,	6191gat)
	6200gat = 	nor(	6195gat,	6196gat)
	6201gat = 	nor(	6058gat,	6197gat)
	6205gat = 	nor(	6058gat,	6201gat)
	6206gat = 	nor(	6201gat,	6197gat)
	6207gat = 	nor(	5996gat,	6201gat)
	6210gat = 	nor(	6205gat,	6206gat)
	6211gat = 	nor(	6032gat,	6207gat)
	6215gat = 	nor(	6032gat,	6211gat)
	6216gat = 	nor(	6211gat,	6207gat)
	6217gat = 	nor(	5962gat,	6211gat)
	6220gat = 	nor(	6215gat,	6216gat)
	6221gat = 	nor(	6002gat,	6217gat)
	6225gat = 	nor(	6002gat,	6221gat)
	6226gat = 	nor(	6221gat,	6217gat)
	6227gat = 	nor(	5919gat,	6221gat)
	6230gat = 	nor(	6225gat,	6226gat)
	6231gat = 	nor(	5968gat,	6227gat)
	6235gat = 	nor(	5968gat,	6231gat)
	6236gat = 	nor(	6231gat,	6227gat)
	6237gat = 	nor(	5873gat,	6231gat)
	6240gat = 	nor(	6235gat,	6236gat)
	6241gat = 	nor(	5925gat,	6237gat)
	6245gat = 	nor(	5925gat,	6241gat)
	6246gat = 	nor(	6241gat,	6237gat)
	6247gat = 	nor(	5825gat,	6241gat)
	6250gat = 	nor(	6245gat,	6246gat)
	6251gat = 	nor(	5879gat,	6247gat)
	6255gat = 	nor(	5879gat,	6251gat)
	6256gat = 	nor(	6251gat,	6247gat)
	6257gat = 	nor(	5776gat,	6251gat)
	6260gat = 	nor(	6255gat,	6256gat)
	6261gat = 	nor(	5831gat,	6257gat)
	6265gat = 	nor(	5831gat,	6261gat)
	6266gat = 	nor(	6261gat,	6257gat)
	6267gat = 	nor(	5721gat,	6261gat)
	6270gat = 	nor(	6265gat,	6266gat)
	6271gat = 	nor(	5782gat,	6267gat)
	6275gat = 	nor(	5782gat,	6271gat)
	6276gat = 	nor(	6271gat,	6267gat)
	6277gat = 	nor(	5666gat,	6271gat)
	6280gat = 	nor(	6275gat,	6276gat)
	6281gat = 	nor(	5727gat,	6277gat)
	6285gat = 	nor(	5727gat,	6281gat)
	6286gat = 	nor(	6281gat,	6277gat)
	6287gat = 	nor(	5602gat,	6281gat)
	6288gat = 	nor(	6285gat,	6286gat)