/*
www-ATLAS of Group Representations.
2.U6(2) represented as permutations on 2816 points.
*/

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