z1 := (1,2,3)(4,6,7)(5,8,9)(10,14,15)(11,16,17)(12,18,19)(13,20,21)(23,28,29)
     (24,30,31)(25,32,33)(26,34,35)(27,36,37)(38,48,49)(39,50,51)(40,52,53)
     (41,54,42)(43,55,56)(44,57,58)(45,59,60)(46,61,62)(47,63,64)(65,80,81)
     (66,82,83)(67,84,85)(68,86,87)(69,88,89)(70,90,91)(71,92,93)(72,94,95)
     (73,96,97)(74,98,99)(75,100,101)(76,102,77)(78,103,104)(79,105,106)(107,
     134,135)(108,136,137)(109,138,139)(110,140,141)(111,142,143)(112,144,113)
     (114,145,146)(115,147,148)(116,149,150)(117,151,152)(118,119,153)(120,
     154,155)(121,156,157)(122,158,123)(124,159,160)(125,161,162)(126,163,164)
     (127,165,166)(128,167,168)(129,169,170)(130,171,172)(131,173,174)(132,
     175,176)(133,177,178)(179,218,219)(180,220,221)(181,222,223)(182,224,225)
     (183,226,227)(184,228,229)(185,230,231)(186,232,233)(187,234,235)(188,
     236,237)(189,238,208)(190,207,239)(191,240,241)(192,242,193)(194,243,244)
     (196,245,246)(197,247,248)(198,249,250)(199,251,252)(200,253,254)(201,
     255,256)(202,257,258)(203,259,260)(204,261,262)(205,263,264)(206,265,266)
     (209,267,268)(210,269,270)(211,271,272)(212,273,274)(213,275,214)(215,
     276,277)(216,278,279)(217,280,281)(282,342,343)(283,344,345)(284,285,346)
     (286,347,348)(287,349,350)(288,351,352)(289,353,354)(290,355,291)(292,
     356,357)(293,358,359)(294,360,361)(295,362,363)(296,364,365)(297,366,367)
     (298,368,369)(299,370,371)(300,372,301)(302,373,374)(303,375,376)(304,
     377,378)(305,379,380)(306,381,382)(307,383,308)(309,384,385)(310,386,387)
     (311,388,312)(313,341,389)(314,390,391)(315,392,393)(316,394,395)(317,
     396,397)(318,398,399)(319,400,401)(320,402,321)(322,403,404)(323,405,406)
     (324,407,408)(325,409,410)(326,411,412)(327,413,414)(328,415,416)(329,
     417,330)(331,418,419)(332,420,421)(333,422,423)(334,424,425)(335,426,427)
     (336,428,429)(337,430,431)(338,432,433)(339,434,435)(340,436,437)(438,
     516,517)(439,518,519)(440,520,521)(441,522,442)(443,523,524)(444,525,526)
     (445,527,528)(446,529,530)(447,531,532)(448,502,501)(449,500,533)(450,
     534,535)(451,536,469)(452,468,453)(454,537,538)(455,539,540)(456,541,542)
     (457,543,544)(458,545,546)(459,547,548)(460,549,550)(461,551,552)(462,
     553,463)(464,554,555)(465,556,557)(466,558,559)(467,560,561)(470,562,563)
     (471,564,565)(472,566,567)(473,568,569)(474,570,571)(475,572,573)(476,
     574,575)(477,576,577)(478,578,579)(479,580,581)(480,492,582)(481,583,584)
     (482,585,483)(484,586,587)(485,588,589)(486,590,591)(487,592,593)(488,
     594,504)(489,595,596)(490,597,491)(493,598,599)(494,600,601)(495,602,603)
     (496,604,605)(497,606,607)(498,608,609)(499,508,610)(503,611,612)(505,
     613,614)(506,615,616)(507,617,618)(509,619,620)(510,621,622)(511,623,512)
     (513,624,625)(514,626,627)(515,628,629)(630,708,719)(631,720,632)(633,
     721,722)(634,723,724)(635,725,636)(637,726,727)(638,710,728)(639,729,730)
     (640,731,732)(641,733,734)(642,735,736)(643,737,738)(644,739,740)(645,
     741,742)(646,743,744)(647,745,746)(648,747,748)(649,749,750)(650,751,752)
     (651,753,754)(652,755,756)(653,757,758)(654,759,760)(655,761,656)(657,
     762,763)(658,764,765)(659,686,685)(660,684,766)(661,767,693)(662,768,769)
     (663,717,770)(664,771,772)(665,773,774)(666,775,776)(667,777,778)(668,
     779,780)(669,781,782)(670,783,784)(671,785,786)(672,787,692)(674,718,788)
     (675,699,676)(677,698,789)(678,790,791)(679,792,793)(680,794,795)(681,
     796,797)(682,798,799)(683,800,801)(687,802,803)(688,712,804)(689,805,806)
     (690,807,808)(691,809,810)(694,811,812)(695,813,814)(696,815,816)(697,
     817,818)(700,819,820)(701,821,822)(702,823,703)(704,824,825)(705,709,826)
     (706,827,828)(707,829,830)(711,831,832)(713,833,834)(714,835,716)(836,
     928,929)(837,930,931)(838,932,933)(839,934,935)(840,936,937)(841,920,938)
     (842,939,940)(843,941,844)(845,942,874)(846,873,943)(847,944,848)(849,
     945,946)(850,947,948)(851,949,922)(852,921,898)(853,950,951)(854,952,953)
     (855,954,955)(856,956,957)(857,958,858)(859,959,960)(860,882,961)(861,
     893,962)(862,963,863)(864,964,965)(865,966,967)(866,968,969)(867,970,971)
     (868,972,973)(869,974,975)(870,976,977)(871,978,902)(875,979,980)(876,
     981,891)(877,982,983)(878,984,985)(879,986,987)(880,913,912)(881,925,988)
     (883,989,990)(884,991,992)(885,993,886)(887,994,995)(888,996,997)(889,
     998,890)(892,999,1000)(894,1001,1002)(895,1003,1004)(896,1005,897)(899,
     1006,1007)(900,1008,1009)(901,1010,1011)(903,1012,1013)(904,1014,905)
     (906,1015,1016)(907,1017,1018)(908,1019,1020)(909,1021,1022)(910,1023,
     1024)(911,1025,1026)(914,1027,1028)(915,1029,1030)(916,1031,1032)(917,
     1033,1034)(918,1035,1036)(919,1037,1038)(923,1039,1040)(924,1041,1042)
     (926,1043,1044)(927,1045,1046)(1047,1087,1144)(1048,1145,1146)(1049,1081,
     1147)(1050,1148,1149)(1051,1077,1150)(1052,1151,1152)(1053,1153,1154)
     (1054,1155,1156)(1055,1157,1114)(1056,1158,1159)(1057,1160,1059)(1058,
     1161,1162)(1060,1163,1164)(1061,1165,1166)(1062,1167,1168)(1063,1169,
     1170)(1064,1171,1065)(1066,1172,1173)(1067,1140,1074)(1068,1174,1175)
     (1069,1176,1177)(1070,1178,1179)(1071,1180,1181)(1072,1182,1183)(1073,
     1184,1096)(1075,1105,1185)(1076,1186,1187)(1078,1188,1079)(1080,1189,
     1190)(1082,1191,1192)(1083,1193,1194)(1084,1195,1196)(1085,1197,1198)
     (1086,1134,1110)(1088,1199,1200)(1089,1201,1128)(1090,1143,1202)(1091,
     1203,1092)(1093,1204,1205)(1094,1206,1207)(1095,1208,1126)(1097,1209,
     1210)(1098,1124,1211)(1099,1131,1130)(1100,1212,1213)(1101,1214,1137)
     (1102,1136,1215)(1103,1216,1217)(1104,1218,1219)(1106,1220,1221)(1107,
     1222,1223)(1108,1224,1225)(1109,1226,1227)(1111,1133,1112)(1113,1228,
     1229)(1115,1230,1231)(1116,1232,1233)(1117,1234,1235)(1118,1236,1237)
     (1119,1238,1138)(1120,1239,1240)(1121,1241,1242)(1122,1243,1244)(1123,
     1245,1246)(1125,1247,1248)(1127,1249,1250)(1129,1251,1252)(1132,1253,
     1254)(1135,1255,1256)(1139,1257,1258)(1141,1259,1260)(1142,1261,1262)
     (1263,1271,1346)(1264,1347,1348)(1265,1349,1350)(1266,1351,1352)(1267,
     1353,1354)(1268,1286,1284)(1269,1355,1270)(1272,1356,1273)(1274,1357,
     1358)(1275,1359,1360)(1276,1361,1279)(1277,1362,1363)(1278,1317,1364)
     (1280,1365,1343)(1281,1366,1282)(1283,1367,1368)(1287,1341,1369)(1288,
     1370,1371)(1289,1372,1373)(1290,1374,1375)(1291,1326,1376)(1292,1377,
     1378)(1293,1379,1380)(1294,1381,1382)(1295,1383,1296)(1297,1384,1385)
     (1298,1386,1387)(1299,1305,1300)(1301,1388,1389)(1302,1390,1391)(1303,
     1392,1393)(1304,1394,1395)(1306,1396,1397)(1307,1398,1399)(1308,1329,
     1400)(1309,1401,1402)(1310,1403,1404)(1311,1339,1405)(1312,1406,1407)
     (1313,1408,1409)(1314,1410,1411)(1315,1412,1413)(1316,1338,1414)(1318,
     1415,1327)(1319,1416,1320)(1321,1417,1418)(1322,1419,1420)(1323,1421,
     1422)(1324,1423,1424)(1325,1425,1426)(1328,1427,1428)(1330,1429,1430)
     (1331,1431,1432)(1332,1433,1434)(1333,1435,1436)(1334,1437,1438)(1335,
     1439,1440)(1336,1441,1442)(1337,1443,1444)(1342,1445,1446)(1344,1447,
     1345)(1448,1496,1467)(1449,1466,1497)(1450,1491,1451)(1452,1461,1498)
     (1453,1499,1500)(1454,1501,1502)(1455,1503,1456)(1457,1459,1504)(1458,
     1468,1479)(1460,1505,1506)(1462,1507,1508)(1463,1509,1510)(1464,1511,
     1477)(1465,1512,1513)(1469,1483,1514)(1470,1481,1515)(1471,1516,1517)
     (1472,1518,1473)(1474,1519,1520)(1476,1521,1522)(1478,1523,1524)(1480,
     1493,1488)(1482,1525,1526)(1484,1527,1528)(1485,1529,1530)(1486,1531,
     1532)(1487,1533,1534)(1489,1535,1536)(1490,1537,1538)(1492,1539,1540)
     (1494,1541,1542)(1495,1543,1544)(1545,1574,1568)(1546,1550,1575)(1547,
     1557,1576)(1548,1567,1577)(1549,1578,1564)(1551,1579,1560)(1552,1580,
     1581)(1553,1582,1555)(1554,1583,1584)(1558,1585,1565)(1561,1569,1586)
     (1562,1573,1571)(1563,1572,1587)(1566,1588,1570)(1589,1597,1594)(1590,
     1593,1592)(1591,1598,1595)(1596,1599,1600);