/*
www-ATLAS of Group Representations.
3.M22 represented as permutations on 2016 points.
*/

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