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