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