/* www-ATLAS of Group Representations. A11 represented as permutations on 2520 points. */ G:=PermutationGroup<2520|\[ 2,3,1,8,11,14,17,9,4,23,13,27,5,15,6,35,19,40,7,44,47,49,24,10,56, 59,29,64,12,69,72,21,75,78,36,16,85,88,31,42,94,18,98,45,20,104,32,108,50,22, 115,113,119,122,124,57,25,131,61,135,26,140,143,66,146,28,150,153,71,157,30,39,162,165,76, 33,172,79,34,177,175,182,185,186,86,37,193,90,197,38,201,77,205,95,41,212,215,100,217,43, 54,222,225,105,46,232,235,110,240,48,63,245,118,249,116,51,256,52,120,53,264,101,269,125,55, 275,273,280,283,285,132,58,292,68,137,298,60,303,170,142,308,62,111,314,317,147,65,324,327,152, 331,67,134,337,339,139,159,345,70,350,353,163,73,359,167,363,74,83,369,156,373,92,211,380,181, 384,178,80,391,123,81,183,82,400,168,187,84,311,406,412,415,417,194,87,424,97,199,430,89,435, 202,91,441,444,206,93,154,451,454,457,378,214,463,96,196,467,219,472,99,476,479,223,102,486,226, 103,448,382,493,496,497,233,106,504,237,507,107,512,367,242,519,109,523,372,246,112,531,534,250,114, 541,539,546,549,551,257,117,278,313,129,558,561,563,265,121,570,394,259,180,577,262,581,279,585,276, 126,592,550,127,281,128,601,260,606,286,130,612,610,617,620,622,294,627,133,632,635,638,300,643,136, 646,649,305,652,138,654,149,310,161,141,408,663,268,316,667,144,318,145,348,676,678,681,684,326,688, 148,307,694,696,312,333,702,151,707,244,449,207,299,341,716,155,403,722,725,347,730,158,674,733,352, 735,160,309,717,439,513,511,746,360,164,753,755,365,760,166,764,515,227,370,169,771,335,374,171,779, 777,783,173,787,381,174,492,793,385,176,799,797,804,807,809,392,179,816,574,342,191,822,825,827,401, 184,833,395,398,470,411,840,188,845,808,189,413,190,855,396,860,418,192,865,863,870,873,875,426,500, 195,884,887,890,432,895,198,899,901,437,904,200,729,743,909,442,203,914,446,917,204,918,368,711,922, 453,925,208,455,209,932,459,937,210,940,941,377,465,844,213,950,469,954,216,837,958,473,218,962,560, 478,965,220,481,605,221,230,971,727,974,487,224,484,981,984,284,228,494,229,992,482,498,231,999,881, 1003,882,1006,505,234,1012,509,1016,236,1020,738,514,744,238,239,447,1028,1030,520,241,1037,1038,525,1040,243, 1043,254,1046,1049,1050,532,247,1056,536,1059,248,529,1064,545,1067,542,251,1073,471,252,547,253,1081,527,258, 552,255,1089,752,1092,1095,1097,559,261,953,271,1102,564,263,1107,1105,1112,1114,1115,571,266,1121,1123,267,1126, 713,579,1132,270,973,582,272,1140,1035,586,274,1148,1147,1152,533,1156,593,277,1162,1164,480,290,1166,1169,526, 602,282,1175,987,596,491,1182,599,647,616,1187,613,287,1194,1155,288,618,289,1009,597,705,623,291,1211,1214, 302,629,1220,293,1224,1226,633,295,1229,637,1008,296,639,297,328,1240,1243,338,1248,1251,648,1184,301,626,1258, 631,653,304,656,1106,306,1264,1267,409,1270,1273,1275,330,1279,1282,323,669,376,315,1287,944,1291,1278,319,438, 677,320,679,321,1302,683,1306,322,666,1311,1313,671,690,1318,325,1322,673,1238,640,1330,698,1333,329,1227,1340, 1218,704,1345,332,1110,1350,709,1352,334,1354,336,1357,1129,1358,349,718,740,340,1364,1367,1086,724,1370,343,726, 344,488,832,675,731,346,1382,715,720,737,1388,351,357,1392,354,1397,383,355,356,1402,747,358,1409,1407,868, 1414,1091,754,361,757,1418,362,1173,1424,761,364,1428,1431,766,1435,366,1439,1442,1284,1445,772,371,1452,1455,769, 1458,668,1462,780,375,1467,416,462,867,930,1475,788,379,389,521,1368,650,742,1484,791,835,803,1488,800,386, 1239,445,387,805,388,634,789,848,810,390,1504,1503,450,1509,1510,818,1513,393,1517,1520,1523,823,397,1256,404, 1532,828,399,1535,839,1539,1376,834,402,1487,1544,405,1549,1537,841,407,794,1554,947,659,686,607,410,1560,1531, 422,959,1564,1565,856,414,1570,1286,850,782,853,1575,869,970,866,419,1472,1412,420,871,421,1585,851,553,876, 423,1592,996,434,1596,425,989,916,885,427,821,889,1607,428,891,429,460,912,1613,896,431,1618,1011,900,433, 879,1624,883,906,1627,436,1631,1634,910,440,466,1323,1639,915,443,903,802,516,1646,1648,1651,813,1652,1587,927, 763,452,1657,1659,1471,1661,933,456,695,1666,928,939,1290,458,892,942,461,1601,687,1637,1675,464,1351,1678,911, 978,1682,475,955,468,1689,843,544,1261,1691,1693,964,1696,474,966,477,1137,1348,1055,1259,972,483,1136,975,485, 1716,1714,1681,1722,1724,982,489,929,985,490,1383,1179,1374,502,878,1732,993,495,665,988,990,1739,1742,1000,499, 1749,1440,1004,501,1404,1007,503,1233,1203,1710,1606,1014,1764,506,1767,1018,1594,508,1773,1022,1776,510,1777,522,751, 1779,1782,1029,517,1031,518,1432,1045,1482,1144,1794,790,1024,1797,1041,524,1247,600,1802,1790,1047,528,1807,537,1051, 530,1812,1811,1746,1705,590,1818,1820,1061,1823,535,1826,562,1065,538,1134,1068,540,1834,736,1837,1839,1074,543,894, 1577,556,628,1846,1848,1082,548,1310,595,1076,1369,1079,1512,874,1838,554,1093,555,1861,1077,1865,1099,1868,557,568, 931,1063,923,1873,1111,1263,1108,565,1713,621,566,1113,567,1100,1116,569,1887,1890,1688,1892,1122,572,1124,573,1899, 1127,575,1904,576,1906,1516,1133,578,1668,712,580,1702,1915,1142,1141,583,1916,1920,584,1138,1923,1151,1149,587,1104, 588,1153,589,1927,1198,1157,591,1933,1932,801,1363,1163,594,1084,1940,1167,598,1833,608,708,1948,1801,1423,1951,1176, 603,1953,1561,604,1955,1558,847,1737,609,1039,1962,1188,611,1469,1965,1969,1963,1786,1195,614,902,1866,615,1946,1645, 1977,1978,619,1980,1880,1199,1984,1201,1285,956,1212,624,1986,1216,1995,625,1871,1343,1997,1078,1852,2001,2003,1225,630, 651,1338,1497,806,2011,1349,645,636,1454,2017,2019,2007,1326,1160,1242,661,641,1244,642,1386,1774,1800,1250,2029,644, 1232,2034,1465,1235,1192,1529,1237,792,864,2039,852,960,655,1265,657,2044,1268,658,685,1272,1816,660,1241,2050,1277, 1540,662,692,1280,664,2018,994,2055,775,1987,1572,1289,2057,670,1669,1292,672,1221,2063,2064,1625,1094,2067,2068,1673, 1850,1303,680,1799,1298,1308,2077,682,1300,1557,1269,2084,846,2082,1676,1260,2088,1319,689,1408,1783,1324,893,691,1983, 693,1662,2043,1665,934,1960,706,1335,2105,697,1853,948,699,1473,1342,2111,700,701,1274,1346,703,714,1703,2013,1332, 1337,1170,1872,1355,710,2119,1135,1347,1405,2123,2126,2127,1937,1366,1697,719,734,795,721,1371,723,1602,2131,995,1507, 728,2139,2142,749,1447,2145,1384,1730,732,1373,2025,980,1070,1842,2149,2152,1393,739,1174,2135,1062,1398,741,1989,1359, 2157,1403,745,1719,1400,2163,1379,2093,1410,748,2033,750,2171,1025,1090,2172,1992,1420,2175,756,1461,2178,758,1425,759, 2181,1547,1430,2184,762,926,1788,1276,1421,1437,2022,765,2188,1441,1752,767,1443,768,2193,1446,770,1884,2196,2199,1736, 2202,1453,773,2016,1457,1281,774,1459,776,2207,1434,1463,778,2209,2036,1096,1468,781,1806,1193,785,784,2109,2215,1476, 786,921,2217,1502,1130,2132,1791,1329,842,1701,826,796,1489,798,2073,2210,1789,1695,814,2228,2231,2008,1660,849,1481, 1496,1870,1508,1505,811,1177,1542,812,1494,1511,815,1857,1514,817,2240,1908,1519,1491,819,1521,820,2246,886,2248,831, 2250,2252,2253,824,1205,859,1486,1527,2255,1536,829,830,2133,1525,1433,1381,1375,2235,1545,836,1058,2183,961,1550,838, 1543,2266,1919,957,2108,946,1083,1957,2232,1499,1954,2272,1699,861,1566,854,2275,1792,2280,1571,857,858,2284,1604,1576, 862,1085,943,2288,1982,1416,2254,2276,2290,1586,872,1654,2257,1334,1583,2293,1593,877,1771,2129,1598,1580,880,2028,2296, 1578,2137,2300,2186,2150,898,1609,2303,888,1735,1021,2305,1075,2307,2309,2310,2312,1620,2314,897,1610,1314,1200,1196,2066, 2078,1629,2098,905,2320,1633,2321,907,1635,908,2325,1674,1617,1640,913,1361,1711,2328,2329,1623,1647,919,1650,1723,920, 1477,1103,2338,924,2339,1897,936,2341,983,1945,1101,2097,1492,2348,1483,1667,935,1066,938,1422,949,2206,1309,945,1556, 2086,1976,1671,1672,1692,951,1684,2238,952,1726,1027,1988,1882,1210,1569,1262,1924,1548,1756,2227,1698,2130,963,1708,1886, 2222,967,968,2366,969,2287,979,1563,2322,1760,2099,1709,1878,1720,1877,1717,976,1534,1005,977,1636,1707,2334,1387,2373, 2316,2374,1727,2358,986,1438,1733,991,2187,1621,2191,1959,1464,1740,997,2104,1743,998,2189,1626,1804,1202,1069,1750,1001, 1207,1002,1391,1694,2015,1754,1023,1874,1798,1010,1190,2391,1019,1766,1490,1013,1769,2396,1015,1835,1017,1942,1763,2005,2400, 1611,1757,1584,1781,2297,1026,1686,2085,1036,2403,1470,2406,1032,1663,1033,1034,2279,2408,1784,1215,1785,1185,2390,1894,1042, 1950,1803,1044,1054,2412,1189,1808,1048,1353,1805,1815,1813,1052,2324,1053,2049,1704,1819,1057,1546,2420,1655,1824,1060,2347, 1396,1362,2423,1071,2426,1888,1830,1944,1748,1943,2083,1829,1415,1840,1072,2432,2148,2385,1528,1847,1087,2116,1849,1080,2071, 2299,1293,2107,1413,2244,2413,1088,2435,1755,2170,1297,2438,2417,1821,1466,1974,1967,1869,1098,1479,1913,1809,1150,2092,2258, 2355,2369,1109,1858,1530,2337,1119,1700,1380,1881,1883,1889,1910,1117,1891,1118,1893,1120,1304,2446,2110,2340,2042,1900,1125, 2053,2165,2004,1905,1128,1480,2442,1131,2441,1831,2060,2450,1217,1146,1145,1139,2274,2451,2101,1922,2357,1143,1914,1680,2090, 2383,1928,1154,2455,1918,2437,1936,1934,1158,2453,1159,1161,2439,1901,1941,1165,2395,1770,1168,1498,1206,1249,1949,1171,1172, 1394,2174,1506,1178,1956,1180,1181,2264,1183,2102,2216,1964,1255,1186,1761,2461,2440,1952,1970,1191,2205,2285,2447,1197,2212, 2115,1208,1747,1307,1981,1204,1597,2000,1751,2177,1991,1209,2360,2156,1925,1213,2173,2398,1223,1795,1451,1998,1219,1252,1325, 2002,1222,1994,2367,1246,1429,1257,1228,2469,1775,2012,1230,1231,2168,1859,1234,1254,1456,2020,1236,1599,2091,2472,2106,1245, 1312,1961,2021,1947,2122,2479,2023,2169,1999,2480,1253,2428,2009,1316,1567,2047,2243,2100,2045,1266,2062,2362,2147,1271,1344, 2422,1851,1939,2354,2056,1283,2058,1288,2485,2449,1294,2162,2061,2065,1295,1296,1305,2069,1299,1630,1301,1856,1765,2489,1729, 2081,1979,1745,2203,2409,2204,1622,2281,2026,1321,1315,2473,2089,1317,1990,1436,1758,1320,1643,1515,2491,1327,2318,1642,1328, 1553,1331,2493,2381,1589,2476,1336,2270,1339,2378,2113,2103,1341,1895,1677,1845,1683,2179,2120,1356,1780,2478,2125,1591,1360, 1641,1827,2393,2294,1365,1385,1500,2260,2500,2153,2134,1372,2389,2140,1377,2035,2143,1378,2411,1541,2460,2482,1389,2151,2302, 1390,1753,1395,1931,1935,1399,2158,1401,1573,1971,1921,2046,2164,1406,2448,2219,2468,2471,1411,2430,1854,1581,1417,1968,2176, 1419,2289,1670,2404,1907,2182,1426,1427,2006,1787,1574,2376,1731,2192,1478,1450,1744,2194,1444,2498,2198,1474,1448,2200,1449, 2452,1996,2467,2076,2160,1679,2208,1460,1738,1518,2201,2332,1966,1929,2197,2027,2190,1615,2502,2507,1653,1485,2487,2242,2224, 2474,1493,2229,1495,1612,1501,2259,1875,2087,1551,2359,2236,2117,2444,2095,2291,2225,1898,2283,2427,2247,1522,2249,1524,2251, 1526,1533,1844,2268,1718,2031,2292,2233,1559,1538,2059,2457,2486,2377,2510,2267,1552,1582,2051,1555,1972,2273,1562,2365,2040, 1590,1706,2370,1568,1690,1836,2514,1855,2159,2271,1579,2277,2286,1985,1778,2488,1588,2124,1595,2475,2298,2121,1600,2052,2301, 1603,1605,2304,1608,2230,1793,2308,1614,2218,2311,1616,1638,2343,2315,1619,1685,2484,1628,1862,2070,2323,1712,1632,2415,1721, 2074,1938,2094,2330,1644,2394,1975,2505,1649,1912,1725,1885,2221,1822,1656,2342,1658,2516,1664,2508,2096,2419,2344,2226,2519, 2350,2054,2128,2352,2443,2477,2161,2075,2237,1687,2499,2041,2382,2263,1917,1817,1903,2418,1715,2513,2517,2466,2336,1728,2245, 1734,1958,1896,1926,2363,1741,2380,2379,1863,2434,2144,2356,2416,2501,1759,2392,1762,2353,2515,1772,2397,1768,2465,2220,2010, 2388,2167,1796,2118,2462,2185,1973,2306,2464,2520,2386,1810,2072,2405,1814,2401,2384,2459,1825,1864,2454,2269,2425,2265,1828, 1832,2375,2481,1909,1860,2146,2433,1841,1843,1879,2239,2154,2319,2327,1867,2429,2180,1876,2436,2295,2114,2407,1902,1911,2335, 1930,2211,2155,2495,2214,2470,2483,2372,2368,2431,2213,2414,2317,2080,1993,2458,2079,2402,2038,2509,2014,2032,2234,2349,2445, 2024,2387,2030,2256,2141,2037,2048,2262,2463,2261,2364,2490,2241,2326,2223,2346,2371,2112,2496,2421,2503,2195,2497,2511,2136, 2138,2166,2494,2333,2504,2410,2399,2518,2456,2424,2361,2282,2278,2512,2331,2313,2492,2345,2351,2506] ,\[ 3,5,7,1,12,2,18,19,21,4,26,28,30,32,11,6,38,41,43,8,48,9,52,54,10, 60,62,65,67,70,13,74,14,15,81,83,16,89,17,92,58,96,99,101,63,20,107,109,111,113, 22,110,23,123,24,127,129,25,133,136,138,141,27,144,87,148,151,29,155,158,160,47,31,166,168, 170,33,139,175,34,180,35,98,36,189,191,37,195,198,200,39,204,40,208,210,213,42,216,218,220, 221,44,45,228,230,46,236,238,241,243,244,49,248,50,252,254,51,235,260,262,53,267,270,271,273, 55,278,56,284,57,288,290,293,59,296,299,301,304,61,306,309,311,71,315,64,320,322,325,66,329, 332,334,335,68,340,69,343,346,348,351,72,355,357,73,362,364,366,368,75,372,76,376,77,78,383, 79,387,389,80,393,394,396,398,82,90,404,406,84,410,85,416,86,420,422,425,88,428,431,433,436, 97,439,91,445,100,448,93,452,94,458,95,461,464,466,227,468,470,234,474,477,480,482,484,102,488, 382,103,491,104,471,105,500,502,106,506,508,510,513,108,517,258,521,524,526,527,529,112,535,537,539, 114,544,115,550,116,554,556,117,118,557,119,562,120,566,568,121,573,122,257,578,580,124,584,125,588, 590,126,579,595,597,599,128,604,607,608,610,130,615,131,621,132,625,628,630,134,636,135,641,179,644, 647,137,650,490,259,655,140,658,215,660,662,142,143,665,668,670,152,673,145,672,146,682,147,686,689, 691,692,149,697,150,700,703,705,708,710,153,713,154,592,717,719,156,723,157,728,361,732,349,159,501, 736,224,738,161,742,162,165,163,749,751,164,756,758,379,762,765,167,767,446,769,169,774,775,777,171, 782,172,785,173,789,791,174,794,795,797,176,802,177,808,178,812,814,817,819,181,821,182,826,183,829, 831,184,185,312,186,839,187,843,188,847,849,851,853,190,858,523,861,863,192,868,193,874,194,878,880, 882,196,888,197,893,443,897,666,199,902,905,907,201,479,202,722,347,203,916,559,783,205,920,206,207, 924,926,796,214,930,209,935,938,551,211,602,212,944,946,948,951,952,846,956,957,217,959,483,963,219, 586,841,967,968,561,969,970,222,973,223,977,979,302,225,226,986,987,989,990,229,434,996,881,231,1002, 232,1005,233,1009,1011,1013,1015,1017,540,1021,237,1023,1025,1026,534,239,958,240,1033,1035,606,242,1039,572,1042, 1044,1045,245,649,246,1053,1054,247,1058,1060,1062,1063,249,984,250,1069,1071,251,558,901,1077,1079,253,1084,1086, 1087,752,255,1090,256,1096,1098,1100,923,261,725,1043,1103,1105,263,1110,264,569,265,1117,1119,266,1030,1125,268, 269,1130,594,1134,1135,1056,1138,272,1143,1145,1147,274,1116,275,1155,276,1159,1160,277,1123,279,702,280,1170,281, 1172,1174,282,1178,283,1181,1183,813,285,1186,286,1190,1192,287,1197,531,459,1201,289,1205,1207,1208,451,291,1215, 292,1218,1221,1222,337,294,367,1129,295,1231,856,1234,305,1237,297,1241,298,1246,1249,300,1253,1255,1256,1257,1097, 303,1259,879,1261,1262,505,307,318,308,1271,310,1276,1278,313,1283,314,1284,1286,444,1288,316,317,1293,1294,319, 1296,1297,326,1300,321,1304,1307,1194,1309,323,1314,324,1316,1187,1320,1323,1325,327,1328,328,1115,1334,1336,330,1341, 331,1122,714,1347,1349,333,922,680,1353,399,515,336,481,338,339,1360,1272,1362,1365,341,342,522,507,1372,352, 1373,344,1375,345,1378,1380,1383,1385,350,1386,1389,1390,536,353,1395,354,1399,574,1400,356,1405,1407,358,1384,359, 1093,360,1415,1416,1417,1419,553,1422,363,1426,810,1429,365,1433,1436,1438,1440,369,663,370,1448,1450,371,1456,1226, 373,1461,374,1464,936,375,1470,1471,377,1474,378,1478,862,1481,380,651,381,1483,1485,1486,384,866,385,1491,833, 386,469,903,1494,1496,388,1499,1462,1501,1503,390,1507,391,754,392,1512,835,1515,1518,395,1524,1525,1527,397,734, 712,1533,1535,1089,400,1540,401,1542,1543,402,403,1547,405,1551,1427,1275,407,1412,408,1556,409,493,1558,1561,411, 1418,412,761,413,1568,1569,414,1014,415,514,1173,417,1577,418,1154,1579,419,1581,1582,683,1583,421,1588,937,1590, 676,423,1595,424,1597,1599,1600,426,511,743,427,1605,1608,918,437,1200,429,1612,430,1301,1616,1619,432,1082,1622, 1623,1482,435,1625,1628,1292,1632,438,674,724,440,441,442,1641,1643,1645,476,576,447,1649,449,460,450,1653,1655, 755,1656,453,454,1660,455,475,1664,456,1199,457,1668,1351,1480,1576,1670,1506,462,1673,463,908,656,1677,465,1162, 1680,1683,467,1686,1322,1287,1001,478,1690,472,473,1695,1697,1591,1699,1701,1140,1340,1704,1706,1707,1709,1711,1712,1714, 485,1719,486,1723,487,1441,1727,489,1728,1648,1729,753,492,857,815,494,1735,1737,495,496,1274,497,498,1745,1747, 499,1751,898,1754,1755,1756,1203,503,949,504,1074,1762,1765,1644,1768,828,741,1717,509,1775,1575,633,855,512,1778, 1780,516,864,985,525,1786,518,1665,519,1793,520,1099,1193,1580,1346,1798,1128,1801,1057,1139,1804,1805,528,726,1810, 1811,530,1466,1112,532,1817,533,1821,875,1075,1209,1827,1828,1829,1830,538,1832,1834,567,541,1838,542,1841,1842,543, 545,1844,546,1847,547,1851,1852,548,1265,549,1855,1856,552,1858,1859,1860,721,816,555,1863,1866,1867,1163,1870,1853, 560,1355,1872,563,1342,564,1691,1876,565,1233,1880,1882,1883,1739,1886,1887,1888,570,1682,571,1895,1896,1897,1822,1131, 1901,652,575,793,1907,577,1909,909,1177,1912,1299,581,1809,582,1789,1917,583,1921,870,1352,585,1335,966,1925,587, 1740,1239,1918,589,1929,1930,1932,591,1935,1432,593,1938,1364,1900,596,1394,1802,598,1725,1947,600,939,601,1952,1953, 1065,603,1865,1884,605,1638,1958,1196,1960,609,1963,1331,1965,611,1968,612,925,613,1050,1972,614,1959,1975,616,617, 1330,618,1460,619,1982,620,1985,1986,622,623,1282,669,624,1993,1996,1161,626,709,627,2000,1230,1685,629,2005,940, 2007,631,632,2010,634,1414,635,1836,2015,637,638,1971,639,640,1220,654,2002,648,2023,642,759,643,1640,2030,2031, 2032,645,1974,646,983,2037,2038,1179,1927,653,2040,2041,1149,1171,2043,657,2046,733,659,1266,1741,1092,1675,661,1437, 838,1733,2052,792,2053,664,1459,995,1367,667,1295,1498,1398,2059,671,2061,2062,1878,1642,675,1376,1816,677,678,2070, 679,706,2073,1797,681,2076,2078,2079,2080,684,2082,685,1081,2019,687,1258,688,1046,1526,2092,690,921,2094,1618,2095, 1948,693,2099,694,800,695,696,2103,869,1973,2106,698,1532,699,2110,2112,2114,2115,701,1121,1759,1240,704,1379,1976, 707,913,1994,1771,2118,711,2122,1905,715,2124,716,2128,718,1101,1908,1787,2131,720,2133,1022,2065,2136,1784,727,2138, 1875,729,2072,730,2144,731,1957,1146,778,1451,1260,735,2146,1281,2150,737,2153,1267,739,1038,740,2051,2123,2155,2063, 744,2159,1777,745,2162,746,2166,747,1874,2160,748,2170,750,2045,1402,1734,934,2174,1411,1393,757,2179,1064,766,1854, 1955,760,1806,1216,1254,2171,763,1914,764,1840,2093,919,2189,1598,1454,1118,2191,945,768,1674,2196,770,2197,771,2201, 772,2203,2204,773,2086,1469,1176,1657,2206,776,1413,1672,2209,2211,779,780,2212,2214,781,1051,2058,917,784,2216,891, 2217,786,1650,787,788,803,790,1788,2220,1493,2223,2224,2225,2210,798,1730,799,801,2142,804,1555,805,806,2143,807, 1502,809,2233,2182,2180,811,1961,2235,1954,892,1774,1667,1654,929,1710,818,2242,1182,834,1578,2244,820,1541,2049,2188, 822,1423,823,1158,824,825,2069,1428,827,2173,2257,2258,830,1732,2245,832,2200,2014,1538,943,836,1430,837,2047,962, 1229,840,842,2268,844,2033,845,1072,848,1447,2253,850,852,1721,2275,1792,854,1308,1152,2281,1150,1020,859,860,2286, 2287,1049,865,1291,867,2289,1339,1981,871,1321,1920,872,927,873,2084,876,2195,1285,877,1387,1529,1604,2036,1904,2297, 883,884,885,886,2301,887,1180,1922,1898,889,890,1943,900,894,895,2310,896,2313,1837,2255,899,2316,2317,1306,2219, 904,1602,1546,1024,906,1204,2322,1312,2324,2152,910,911,912,2230,1361,2327,914,2158,915,2208,2236,1607,2333,1688,1743, 2335,2336,2156,1941,1396,1381,1977,928,2344,2345,982,931,932,2277,933,2240,1088,2178,2349,1716,941,942,2351,2352,2353, 947,1962,2354,950,2355,1004,2356,2004,2357,953,2359,954,955,994,2361,964,960,2362,961,1936,2185,2338,1238,1263,965, 2364,2365,1530,1227,1964,1980,1442,971,2050,972,2311,2367,974,1562,975,2370,2147,976,1452,2296,978,1742,1889,1924,980, 981,1903,1511,1689,2375,988,2377,1621,991,1073,992,2379,993,1978,2380,997,2382,1626,998,2383,999,1678,1000,1445,2386, 1531,2013,1003,1687,1040,2247,1006,1007,1008,1106,1010,2305,1012,1332,1236,1849,2394,1374,2342,1016,1157,1018,2064,1019,2303, 2190,1873,1783,2401,2391,2402,2302,1027,1028,1029,2405,1031,2340,1032,1989,1217,1034,2409,1913,1036,1037,1465,2016,1041,1250, 1879,1991,2266,2411,2413,1047,1468,2250,1048,1902,1473,2414,2285,1052,2417,1055,2186,1151,1915,2418,1091,1059,2350,2320,1061, 2422,1942,2424,2172,2165,1066,1845,1067,1446,1068,1070,2430,1969,2431,2432,2397,1175,1076,2428,1078,2372,1273,1983,2299,1080, 2283,2154,1083,1085,1421,2029,2435,2437,1892,2121,2290,1094,1815,1095,2332,1610,1279,1681,2441,2442,1102,2164,2443,1104,1107, 1910,1108,2048,1109,1184,1111,1298,2090,1113,1114,1702,1520,1669,2444,2378,2113,2111,2446,1120,1557,2198,2249,1124,1165,1586, 1144,1126,1127,1807,2163,2181,1603,1369,2034,1132,1133,1919,1136,1137,2373,1663,2222,1141,1142,2193,1571,2238,1990,1148,2453, 1153,2346,2454,2295,1492,1156,2307,1593,2457,2387,2088,2439,2459,1164,2104,1348,1166,1167,1769,1168,1169,2450,2425,1455,1666, 1760,2263,1676,2109,1705,2381,2091,1522,1631,1818,1185,1761,1487,2102,2176,1188,1189,1698,2271,2462,1191,1472,1195,2264,1617, 1198,2267,2463,1202,1694,1606,1338,1206,2385,1992,2089,1289,1210,1211,1212,1614,1213,1999,1214,1401,2467,1225,2074,1219,1513, 2241,1489,2326,1223,2300,1224,1758,1776,1228,1553,1944,2168,1359,1232,1800,1970,2472,1235,2100,1949,1242,1243,1358,1244,1319, 1245,1247,1248,1475,1773,2473,1345,1251,2461,1252,2455,2471,2416,1939,2026,1270,1264,1357,1899,1519,2423,1268,1269,1703,2001, 1277,2260,1790,1280,2475,2192,2483,1592,1536,1290,2068,1354,2487,2035,2415,1382,2276,1490,1848,1624,1350,1302,2488,1303,1305, 1615,2363,1633,2319,2246,1310,2291,1311,2149,1313,2226,1315,1324,1782,1317,1318,2083,2009,1794,1392,1326,2130,1327,2492,2490, 1329,1552,2491,1333,1564,1408,2494,1337,2259,1637,1862,2495,2447,2496,2366,1343,1344,1449,1476,2478,1356,1425,2486,2498,1696, 1366,1635,2119,1363,1940,1812,1368,2132,1370,1371,2318,2145,1779,1391,2480,1377,2448,2116,1589,2502,1803,1388,1505,1609,1763, 2237,1692,2098,1397,2161,2308,1781,1573,2376,1403,1404,1457,2205,2469,1406,2108,1409,1410,1998,1497,1750,2434,1819,2227,2395, 1634,1420,1594,2027,1424,2304,2101,1636,2489,1431,1434,1435,2282,2504,1439,1458,1443,2505,2334,1444,2485,2403,1945,2081,1979, 1549,2077,2105,2024,1453,2054,2056,2452,2055,1463,2075,2022,1467,1744,2501,1893,2374,1477,1479,2169,1484,2293,2343,1967,2270, 1488,2451,2400,1611,1495,1868,1500,2278,1504,2508,1508,1509,1510,1514,2175,1516,1869,1517,1523,1521,2509,2436,1584,2044,1934, 1877,2325,1715,1528,2404,1534,1659,2482,1537,1560,1539,1544,1545,1548,1550,2399,1708,2384,1554,2474,1559,2187,2177,1563,2321, 1565,1566,1567,1799,2421,2025,1570,1572,1843,1574,1627,2323,1861,2292,2306,1585,1587,1824,2465,1596,2468,1766,2008,1601,2500, 2248,1825,2085,2408,2139,1613,1630,2464,1620,2071,2371,1651,2265,1748,2426,2348,2215,1826,1629,1926,1722,2294,1720,2157,2429, 1639,1911,1813,2517,1850,1646,1647,2309,1700,1956,1795,1652,1916,2097,2134,1738,1679,1658,1928,2120,1661,1662,2288,1726,1671, 2207,2017,2330,2184,2239,1891,2272,1684,2231,2067,2127,2135,1693,2420,2507,2232,1808,1713,2513,2280,1718,1724,2398,2129,2456, 1731,1885,1736,2096,1881,2107,2360,2511,1746,1749,2493,1752,1753,1757,1984,2328,2126,1764,1839,1767,2512,2445,1770,1772,2243, 2141,1966,1871,1785,2481,2339,1791,2519,2337,1796,2438,2458,2256,1933,2202,1814,2412,2410,1820,1846,1823,2183,2396,2427,2341, 2466,1831,1833,1835,2388,1950,2510,2515,2254,2520,1857,2262,2066,1864,2006,2140,2419,2470,1946,1890,2218,1894,2003,1906,2042, 2274,1923,2194,1987,2514,1931,2368,1937,2011,1951,2251,2369,2261,1988,2229,1995,2407,1997,2167,2012,2213,2390,2018,2020,2021, 2039,2028,2347,2314,2228,2518,2151,2449,2057,2252,2060,2315,2221,2479,2087,2406,2234,2499,2433,2497,2460,2117,2477,2125,2137, 2284,2440,2148,2503,2476,2199,2393,2329,2506,2358,2269,2273,2279,2298,2312,2331,2516,2392,2484,2389] >; print "Group G is A11 < Sym(2520)";