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