/*
www-ATLAS of Group Representations.
A12 represented as permutations on 2520 points.
*/

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