
print "The Lie group 2 F(4, 2)   ( twisted F(4, 2) )";
print "represented as a permutation group of degree 1755. ";
print "Order: 35,942,400 = 2^12 * 3^3 * 5^2 * 13;  Base: 1,2,3,6. ";
print "Group: G";

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