;  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
;
;
;
;
;
(:inputs
1gat                            	;... primary input
18gat                           	;... primary input
35gat                           	;... primary input
52gat                           	;... primary input
69gat                           	;... primary input
86gat                           	;... primary input
103gat                          	;... primary input
120gat                          	;... primary input
137gat                          	;... primary input
154gat                          	;... primary input
171gat                          	;... primary input
188gat                          	;... primary input
205gat                          	;... primary input
222gat                          	;... primary input
239gat                          	;... primary input
256gat                          	;... primary input
273gat                          	;... primary input
290gat                          	;... primary input
307gat                          	;... primary input
324gat                          	;... primary input
341gat                          	;... primary input
358gat                          	;... primary input
375gat                          	;... primary input
392gat                          	;... primary input
409gat                          	;... primary input
426gat                          	;... primary input
443gat                          	;... primary input
460gat                          	;... primary input
477gat                          	;... primary input
494gat                          	;... primary input
511gat                          	;... primary input
528gat                          	;... primary input
)                                	;... primary input
;
;
(:outputs
545gat                          	;... primary output
1581gat                         	;... primary output
1901gat                         	;... primary output
2223gat                         	;... primary output
2548gat                         	;... primary output
2877gat                         	;... primary output
3211gat                         	;... primary output
3552gat                         	;... primary output
3895gat                         	;... primary output
4241gat                         	;... primary output
4591gat                         	;... primary output
4946gat                         	;... primary output
5308gat                         	;... primary output
5672gat                         	;... primary output
5971gat                         	;... primary output
6123gat                         	;... primary output
6150gat                         	;... primary output
6160gat                         	;... primary output
6170gat                         	;... primary output
6180gat                         	;... primary output
6190gat                         	;... primary output
6200gat                         	;... primary output
6210gat                         	;... primary output
6220gat                         	;... primary output
6230gat                         	;... primary output
6240gat                         	;... primary output
6250gat                         	;... primary output
6260gat                         	;... primary output
6270gat                         	;... primary output
6280gat                         	;... primary output
6287gat                         	;... primary output
6288gat                         	;... primary output
)                                	;... primary output
;
;
;	Output	Type	Inputs...
;	------	----	---------
(:gates
	(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)
)