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