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