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