
print "The Sporadic simple group of Suzuki represented as a permutation group";
print "of degree 1782.  This is a rank 3 representation with subdegrees 416,";
print "1365.  The stabilizer of a point is G(2, 4).";
print "Group: G";

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