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