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