z1 := (2,3,5)(4,6,9)(7,10,14)(8,11,16)(12,17,23)(13,18,25)(15,20,28)(19,26,35) (21,29,39)(22,30,41)(24,32,44)(27,36,49)(31,42,56)(33,45,60)(34,46,62) (37,50,67)(38,51,69)(40,53,72)(43,57,77)(47,63,65)(48,64,85)(52,70,90) (54,73,94)(55,74,96)(58,78,101)(59,79,103)(61,81,106)(66,83,108)(68,87, 113)(71,91,118)(75,97,125)(76,98,127)(80,104,134)(82,107,138)(84,109,141) (86,111,144)(88,114,148)(89,115,150)(92,119,155)(93,120,157)(95,122,160) (99,128,167)(100,129,139)(102,131,171)(105,135,176)(110,142,140)(112,145, 185)(116,151,192)(117,152,194)(121,158,201)(123,161,205)(124,162,207) (126,164,210)(130,169,216)(132,172,220)(133,173,222)(136,177,227)(137, 178,229)(143,182,233)(146,186,238)(147,187,181)(149,189,242)(153,195,249) (154,196,251)(156,198,254)(159,202,259)(163,208,266)(165,211,270)(166, 212,272)(168,214,275)(170,217,279)(174,223,286)(175,224,288)(179,230,265) (180,231,296)(183,234,300)(184,235,302)(188,240,308)(190,243,312)(191, 244,314)(193,246,317)(197,252,323)(199,255,327)(200,256,328)(203,260,333) (204,261,335)(206,263,338)(209,267,342)(213,273,348)(215,276,351)(218, 280,356)(219,281,358)(221,283,361)(225,289,368)(226,290,370)(228,292,373) (232,297,379)(236,303,386)(237,304,388)(239,306,391)(241,309,395)(245, 315,402)(247,318,406)(248,319,408)(250,321,410)(253,324,414)(257,329,419) (258,330,421)(262,336,427)(264,339,431)(268,343,436)(269,344,438)(271, 346,440)(274,349,444)(277,352,447)(278,353,449)(282,359,456)(284,362,460) (285,363,462)(287,365,465)(291,371,471)(293,374,475)(294,375,477)(295, 376,479)(298,380,484)(299,381,486)(301,383,489)(305,389,495)(307,392,498) (310,396,503)(311,397,505)(313,399,508)(316,403,513)(320,409,520)(322, 411,523)(325,415,528)(326,416,530)(331,422,537)(332,423,539)(334,405,515) (337,428,545)(340,432,549)(341,433,550)(345,439,554)(347,441,556)(350, 445,560)(354,450,566)(355,451,568)(357,453,571)(360,457,575)(364,463,581) (366,466,585)(367,467,435)(369,469,589)(372,472,593)(377,480,548)(378, 481,603)(382,487,610)(384,490,613)(385,491,615)(387,492,616)(390,496,455) (393,499,623)(394,500,625)(398,506,630)(400,509,632)(401,510,635)(404, 514,640)(407,517,644)(412,524,652)(413,525,654)(417,531,661)(418,532,663) (420,534,666)(424,540,672)(425,541,674)(426,542,676)(429,546,681)(430, 547,683)(434,551,685)(437,552,687)(442,557,692)(443,558,694)(446,561,697) (448,563,700)(452,569,706)(454,572,710)(458,576,715)(459,577,717)(461, 579,720)(464,582,723)(468,587,729)(470,590,732)(473,594,737)(474,595,739) (476,597,742)(478,599,745)(482,604,750)(483,605,752)(485,607,755)(488, 609,757)(493,617,764)(494,618,766)(497,621,770)(501,626,776)(504,628,779) (507,631,783)(511,636,787)(512,637,788)(516,642,793)(518,645,797)(519, 646,799)(521,648,801)(522,649,802)(526,655,808)(527,656,810)(529,658,719) (533,664,819)(535,574,712)(536,667,817)(538,669,824)(543,677,832)(544, 678,834)(553,688,845)(555,690,848)(559,695,852)(562,698,856)(564,701,860) (565,702,862)(567,651,804)(570,707,868)(573,711,873)(578,718,879)(580, 665,820)(583,724,885)(584,725,887)(586,727,889)(588,730,893)(591,733,897) (592,734,899)(596,740,906)(598,743,763)(600,746,913)(601,747,915)(602, 748,917)(606,753,923)(608,756,927)(611,759,930)(612,760,932)(614,761,934) (619,767,858)(620,768,941)(622,771,944)(624,773,947)(627,777,952)(629, 780,956)(633,784,961)(634,785,963)(638,789,967)(639,790,969)(641,792,971) (643,794,973)(647,800,980)(650,803,984)(653,806,987)(657,811,992)(659, 813,995)(660,814,997)(662,816,1000)(668,823,1006)(670,825,1009)(671,826, 1011)(673,828,1014)(675,830,1017)(679,835,1022)(680,836,1024)(682,838, 1027)(684,840,1030)(686,842,1033)(689,846,1037)(691,849,1041)(693,851, 1044)(696,853,1047)(699,857,1051)(703,863,1056)(704,864,1058)(705,865, 1060)(708,869,1065)(709,870,1067)(713,875,1073)(714,769,942)(716,877, 1076)(721,881,1081)(722,882,1082)(726,888,1089)(728,890,1092)(731,894, 939)(735,900,1102)(736,901,1104)(738,903,1107)(741,907,1112)(744,910, 1116)(749,918,1123)(751,920,1126)(754,924,1131)(762,935,1143)(765,937, 1146)(772,945,1153)(774,948,1155)(775,949,1157)(778,953,821)(781,957, 1166)(782,958,1100)(786,964,1172)(791,954,1162)(795,974,1182)(796,975, 1039)(798,977,1185)(805,985,1193)(807,988,1197)(809,990,1200)(812,993, 1203)(815,998,1209)(818,1001,1212)(822,1004,1215)(827,1012,1221)(829, 1015,1225)(831,1018,1229)(833,1020,1231)(837,1025,1237)(839,1028,1241) (841,1031,1245)(843,1021,1232)(844,1034,1248)(847,1038,1252)(850,1042, 1256)(854,921,1127)(855,1048,1263)(859,1052,1008)(861,1053,1268)(866, 1061,1273)(867,1062,1275)(871,1068,1282)(872,1069,1283)(874,1071,1286) (876,1074,1290)(878,1077,1293)(880,1079,1296)(883,1083,1278)(884,1084, 1301)(886,1086,1303)(891,1057,1272)(892,1093,1310)(895,1096,1313)(896, 1097,1314)(898,1099,1316)(902,1105,1322)(904,1108,1326)(905,1109,1328) (908,1113,1333)(909,1114,1334)(911,931,1138)(912,1117,1337)(914,1119, 1340)(916,1003,1214)(919,1124,1160)(922,1128,1348)(925,1132,1352)(926, 1133,1223)(928,1135,1227)(929,1136,1091)(933,1140,1357)(936,1144,1361) (938,1147,1365)(940,1148,1367)(943,1150,1370)(950,1158,978)(951,1159, 1379)(955,1163,1383)(959,1168,1233)(960,1169,1059)(962,1036,1250)(965, 1173,1394)(966,1174,1395)(968,1129,1349)(970,1177,1398)(972,1179,1400) (976,1183,1404)(979,1186,1407)(981,1188,1409)(982,1189,1411)(983,1190, 1413)(986,1194,1418)(989,1198,1421)(991,1201,1424)(994,1204,1369)(996, 1206,1429)(999,1210,1344)(1002,1213,1436)(1005,1216,1438)(1007,1218,1440) (1010,1220,1442)(1013,1222,1445)(1016,1226,1448)(1019,1230,1449)(1023, 1234,1453)(1026,1238,1458)(1029,1242,1463)(1032,1246,1465)(1035,1249, 1467)(1040,1253,1471)(1043,1257,1475)(1045,1259,1478)(1046,1260,1480) (1049,1264,1484)(1050,1265,1474)(1054,1269,1075)(1055,1270,1490)(1063, 1276,1298)(1064,1277,1497)(1066,1279,1498)(1070,1284,1504)(1072,1287, 1502)(1078,1294,1514)(1080,1297,1516)(1085,1302,1520)(1087,1304,1523) (1088,1305,1525)(1090,1307,1528)(1094,1311,1364)(1095,1208,1351)(1098, 1315,1536)(1101,1317,1534)(1103,1319,1346)(1106,1323,1121)(1110,1329, 1548)(1111,1330,1550)(1115,1335,1555)(1118,1338,1558)(1120,1341,1561) (1122,1342,1563)(1125,1345,1566)(1130,1175,1396)(1134,1235,1454)(1137, 1355,1573)(1139,1356,1575)(1141,1358,1578)(1142,1359,1579)(1145,1362, 1583)(1149,1368,1587)(1151,1371,1589)(1152,1372,1591)(1154,1373,1199) (1156,1375,1594)(1161,1380,1599)(1164,1384,1604)(1165,1385,1606)(1167, 1387,1609)(1170,1390,1611)(1171,1391,1452)(1176,1397,1618)(1178,1217, 1439)(1180,1401,1623)(1181,1402,1625)(1184,1405,1628)(1187,1408,1632) (1191,1414,1639)(1192,1415,1641)(1195,1419,1643)(1202,1425,1647)(1207, 1430,1652)(1211,1433,1656)(1219,1441,1663)(1224,1446,1669)(1228,1360, 1580)(1236,1455,1677)(1239,1459,1493)(1240,1460,1681)(1243,1327,1546) (1244,1464,1686)(1247,1466,1509)(1251,1469,1503)(1254,1472,1693)(1255, 1473,1366)(1258,1476,1697)(1261,1481,1700)(1262,1482,1702)(1266,1485, 1704)(1267,1486,1705)(1271,1491,1711)(1274,1494,1712)(1280,1499,1501) (1281,1500,1717)(1285,1505,1720)(1288,1507,1577)(1289,1508,1378)(1291, 1510,1492)(1292,1511,1699)(1295,1456,1678)(1299,1517,1730)(1300,1518, 1732)(1306,1526,1740)(1308,1529,1638)(1309,1530,1565)(1312,1532,1631) (1318,1468,1689)(1320,1539,1533)(1321,1540,1374)(1324,1543,1753)(1325, 1544,1754)(1331,1551,1496)(1332,1527,1741)(1336,1556,1763)(1339,1559, 1766)(1343,1564,1771)(1347,1567,1576)(1350,1569,1426)(1353,1571,1775) (1354,1572,1722)(1363,1522,1735)(1376,1595,1788)(1377,1596,1790)(1381, 1600,1727)(1382,1601,1701)(1386,1607,1621)(1388,1435,1658)(1389,1610, 1800)(1392,1613,1554)(1393,1614,1802)(1399,1620,1805)(1403,1626,1808) (1406,1629,1812)(1410,1634,1817)(1412,1636,1819)(1416,1531,1744)(1417, 1642,1823)(1420,1644,1825)(1422,1568,1650)(1423,1645,1826)(1427,1648, 1655)(1428,1649,1830)(1431,1653,1833)(1432,1654,1834)(1434,1657,1835) (1437,1659,1836)(1443,1665,1840)(1444,1666,1841)(1447,1670,1845)(1450, 1673,1718)(1451,1674,1617)(1457,1679,1854)(1461,1682,1858)(1462,1683, 1859)(1470,1690,1865)(1477,1640,1822)(1479,1687,1861)(1483,1703,1875) (1487,1706,1810)(1488,1707,1878)(1489,1708,1880)(1495,1713,1765)(1506, 1721,1747)(1512,1725,1892)(1513,1726,1885)(1515,1581,1547)(1519,1733, 1560)(1521,1734,1779)(1524,1737,1724)(1535,1746,1904)(1537,1605,1796) (1538,1748,1905)(1541,1751,1804)(1542,1752,1622)(1545,1755,1898)(1549, 1758,1603)(1552,1627,1809)(1553,1760,1914)(1557,1574,1662)(1562,1768, 1918)(1570,1773,1923)(1582,1778,1797)(1584,1780,1928)(1585,1781,1930) (1586,1782,1714)(1588,1783,1932)(1590,1715,1886)(1592,1785,1792)(1593, 1786,1934)(1597,1743,1902)(1598,1791,1938)(1602,1719,1848)(1608,1798, 1941)(1612,1671,1846)(1615,1637,1820)(1616,1803,1945)(1619,1749,1906) (1624,1806,1947)(1630,1813,1950)(1633,1815,1952)(1635,1729,1764)(1646, 1827,1960)(1651,1829,1814)(1660,1837,1784)(1661,1838,1965)(1664,1769, 1919)(1667,1842,1883)(1668,1843,1968)(1672,1847,1897)(1675,1850,1946) (1676,1851,1973)(1680,1855,1821)(1684,1828,1793)(1685,1860,1979)(1688, 1862,1879)(1691,1866,1984)(1692,1867,1985)(1694,1869,1986)(1695,1832, 1807)(1696,1870,1987)(1698,1759,1912)(1709,1881,1921)(1710,1882,1916) (1716,1887,1996)(1723,1890,1998)(1728,1894,1742)(1731,1895,1962)(1736, 1750,1907)(1738,1871,1988)(1739,1899,2002)(1745,1903,1839)(1756,1911, 1951)(1757,1776,1926)(1761,1774,1924)(1762,1915,1972)(1767,1901,2004) (1770,1920,1811)(1772,1909,1874)(1777,1824,1957)(1787,1935,1868)(1789, 1936,2015)(1794,1939,2016)(1795,1927,2010)(1799,1929,2011)(1801,1943, 1949)(1816,1953,1917)(1818,1955,1977)(1831,1961,1937)(1844,1891,1999) (1849,1970,1991)(1852,1974,1922)(1853,1975,2037)(1856,1872,1989)(1857, 1978,1983)(1863,1981,1896)(1864,1982,1888)(1873,1990,2043)(1876,1940, 2017)(1877,1992,2041)(1889,1997,1993)(1893,2000,2042)(1900,2003,2048) (1908,1994,2007)(1910,2006,2050)(1913,1971,2036)(1925,1933,2014)(1931, 2012,1967)(1942,2019,2035)(1944,2021,2026)(1948,2023,2001)(1954,2027, 2061)(1956,2028,2062)(1958,2029,1959)(1964,2031,2065)(1966,1980,2040) (1969,2034,1995)(1976,2038,2069)(2005,2008,2051)(2009,2052,2057)(2013, 2055,2067)(2018,2025,2024)(2020,2059,2073)(2022,2045,2071)(2030,2063, 2044)(2033,2039,2070)(2046,2053,2068)(2047,2064,2066)(2049,2054,2075) (2056,2060,2077)(2058,2076,2080)(2074,2078,2079);