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

G<x,y>:=PermutationGroup<4032|\[
1,6,3,11,5,2,12,15,17,21,4,7,25,28,8,16,9,35,22,27,10,19,23,43,13,
46,20,14,29,49,50,32,55,34,18,59,60,38,62,64,65,42,24,44,69,26,73,48,30,31,
77,52,53,80,33,85,84,87,36,37,91,39,63,40,41,99,98,68,45,103,71,105,47,108,75,
76,51,113,115,54,118,82,121,57,56,126,58,88,128,129,61,135,93,137,138,140,97,67,66,147,
148,102,70,152,72,106,154,74,160,157,159,163,78,114,79,116,171,81,175,120,83,181,180,178,185,
86,127,89,90,191,131,132,194,134,92,199,94,95,139,96,206,205,209,144,212,204,100,101,217,150,
220,104,153,107,155,225,110,158,111,109,233,235,112,239,237,238,167,244,169,247,117,251,249,253,119,
176,257,124,261,123,122,267,266,260,125,271,270,273,189,190,130,278,280,133,283,285,287,282,136,200,
291,202,294,146,142,141,302,301,143,210,305,145,308,298,215,311,149,314,219,151,319,318,322,224,156,
328,325,327,229,333,231,232,161,326,162,342,165,166,164,350,347,349,353,168,358,357,170,248,173,363,
172,367,174,369,255,256,177,258,373,184,179,379,378,376,384,183,182,389,390,187,186,395,188,274,397,
399,402,192,279,193,409,198,195,414,196,286,197,288,324,419,201,421,423,203,425,377,428,214,431,424,
208,207,438,304,211,306,441,213,444,310,216,448,447,218,454,453,345,222,221,461,460,223,465,289,227,
234,228,226,329,471,473,476,230,334,480,482,337,338,467,487,469,236,491,457,317,495,241,490,242,240,
503,505,243,508,355,511,246,245,516,360,361,518,250,521,520,524,252,528,254,532,371,372,259,374,535,
264,296,263,262,543,542,545,538,265,551,550,548,388,268,269,391,560,558,564,272,396,275,398,276,400,
401,277,575,466,574,406,580,408,281,584,586,588,583,284,415,594,596,472,290,601,292,603,293,300,295,
607,540,297,429,610,299,615,614,618,539,436,613,303,625,440,307,442,628,309,445,633,313,312,449,636,
638,452,316,315,645,501,344,494,649,321,320,654,463,464,323,404,339,660,341,470,330,418,331,474,475,
332,477,478,479,335,481,336,675,672,674,678,340,683,682,348,343,687,648,458,346,694,691,693,646,699,
456,702,351,692,352,506,710,354,668,510,356,512,717,715,721,359,724,362,519,365,364,728,729,366,733,
731,527,368,529,737,740,370,744,534,375,536,747,383,435,427,752,381,380,757,382,761,760,387,765,386,
385,771,770,773,764,776,557,393,559,392,561,562,780,394,565,786,567,568,569,570,790,572,791,405,403,
798,795,797,801,407,805,804,413,410,809,411,587,412,813,815,591,812,819,416,595,417,597,598,822,600,
420,826,422,604,830,832,426,836,609,430,611,839,437,433,432,847,846,434,852,851,854,622,857,843,439,
862,627,443,865,630,631,632,446,634,635,450,637,451,639,871,709,642,872,870,455,499,877,493,459,883,
882,880,888,462,891,656,657,892,893,468,661,897,898,664,665,666,667,509,669,670,903,484,673,485,483,
910,911,486,914,895,917,489,488,922,923,924,492,927,929,930,497,504,498,496,941,938,940,944,500,948,
947,502,703,951,952,934,957,936,641,507,960,963,713,823,514,716,513,718,969,966,515,973,972,517,725,
978,979,522,523,985,526,987,525,991,992,994,530,738,739,531,741,1001,743,533,1006,746,537,1012,1011,1014,
1015,541,1020,1019,1017,756,544,1027,1010,547,546,1033,1034,555,549,766,1039,1037,1044,553,552,1049,554,774,1052,
556,1057,1056,779,563,1061,782,1064,784,785,566,1068,788,1070,571,573,792,1075,1076,577,1074,578,576,1084,1086,
579,1088,803,582,581,1092,1093,1094,585,810,1099,592,589,1104,590,1107,1108,1110,593,820,821,599,714,1117,1116,
602,1122,1120,1125,605,1129,606,1132,834,1131,608,1138,838,612,840,1142,1145,624,1148,1141,617,616,1153,1127,1155,
620,619,1160,621,1164,1163,623,858,1168,860,1172,626,1175,864,629,1180,1181,868,869,644,640,643,1190,1189,1192,
1187,647,1196,1195,652,1200,651,650,1206,1205,1208,1199,653,889,1212,655,658,659,894,680,896,662,663,1226,1223,
1225,1228,671,1229,1230,906,1232,908,1234,676,677,1219,1238,679,915,1221,681,1246,1245,1243,1250,684,685,686,1254,
926,688,1105,689,690,1262,1259,1261,706,1267,708,1270,696,1260,697,695,1277,1279,698,1281,1282,701,700,1286,950,
704,705,1290,954,955,1293,707,958,1297,711,961,1301,712,1303,1304,720,967,968,719,1310,1311,723,722,1316,1317,
976,1320,726,727,1325,1323,982,1328,1322,730,1332,732,988,1334,1336,734,735,993,736,1343,996,1345,1347,999,1349,
742,1351,1350,1354,1005,745,1007,1307,1359,759,749,748,1362,750,751,1366,755,1369,754,753,1021,1374,1376,1368,1379,
1026,758,1028,1383,1178,1385,1158,762,763,1392,1391,768,1038,767,1040,1041,1042,1395,769,1402,1401,1399,1405,772,1050,
1390,775,1053,1054,1414,778,777,1419,1059,1060,781,1423,1422,783,1427,1066,1067,787,1431,789,1071,1072,1073,796,793,
794,1442,1439,1441,1218,1081,1437,1449,799,1440,800,1087,802,1434,1090,1455,806,807,808,1459,1096,1458,1462,811,1100,
1389,1466,1463,814,928,1469,816,817,1475,818,1111,1112,1479,1481,1115,825,824,1486,1487,828,1489,827,1493,1494,829,
1126,849,1498,831,1501,835,833,1133,1506,1135,1509,1365,837,1514,1140,845,841,1143,1144,842,1520,1519,844,1149,1516,
1524,1523,848,1257,850,1156,1530,1032,1534,853,1537,1162,856,855,1544,1518,1167,859,1169,1549,1171,861,1554,1553,863,
1556,1552,1030,1179,866,867,1562,1561,1184,1185,1563,876,1566,874,873,1315,875,1571,1572,879,878,1575,1576,887,881,
1580,1352,1579,1585,885,884,1589,886,1209,1592,1211,890,1596,1214,1215,1216,1217,1080,912,1220,916,1603,900,1224,901,
899,1610,902,904,905,1435,907,1615,909,1617,1618,1237,913,1622,1620,1624,1242,920,1628,919,918,1247,1633,1627,921,
1635,1252,1636,925,1255,1256,1154,1639,932,939,933,931,1263,1642,1644,1647,935,1652,1651,937,1658,1655,1657,1550,1663,
1640,942,1656,943,1669,945,946,1675,1674,1672,949,1287,1288,1289,953,1681,1683,956,1294,1649,1296,959,1298,1690,1300,
962,1692,964,965,1305,1696,1008,1308,1695,970,971,1703,1702,1700,1191,974,975,1708,1709,977,1321,984,981,1711,980,
1715,1717,983,1329,1720,1471,986,1723,989,1335,990,1725,1728,1339,1722,1341,1733,995,1344,997,1738,998,1348,1000,1003,
1002,1202,1744,1004,1584,1747,1357,1358,1009,1749,1499,1013,1751,1752,1137,1016,1757,1024,1018,1763,1762,1760,1373,1022,1375,
1023,1377,1771,1025,1776,1775,1382,1029,1384,1031,1782,1781,1533,1101,1051,1036,1035,1790,1394,1043,1396,1397,1398,1047,1795,
1046,1045,1403,1794,1048,1406,1803,1408,1409,1754,1787,1810,1413,1055,1815,1814,1813,1418,1058,1420,1421,1063,1062,1823,1824,
1426,1065,1428,1429,1830,1069,1432,1433,1089,1231,1436,1082,1836,1078,1085,1079,1077,1443,1844,1846,1446,1850,1448,1083,1840,
1842,1833,1852,1598,1091,1616,1853,1097,1095,1858,1860,1098,1103,1464,1789,1102,1865,1864,1106,1470,1331,1869,1871,1474,1109,
1785,1477,1877,1113,1878,1114,1880,1483,1881,1701,1118,1119,1686,1121,1887,1748,1890,1123,1124,1495,1496,1895,1128,1361,1750,
1130,1897,1731,1504,1896,1134,1904,1903,1136,1510,1786,1512,1513,1139,1515,1150,1517,1166,1147,1146,1908,1909,1152,1151,1525,
1913,1527,1799,1529,1157,1919,1532,1388,1159,1923,1922,1161,1928,1927,1732,1541,1542,1926,1165,1710,1770,1547,1548,1170,1274,
1816,1177,1174,1173,1555,1176,1937,1558,1559,1942,1183,1182,1186,1564,1948,1188,1950,1949,1925,1946,1193,1194,1956,1955,1197,
1198,1961,1960,1203,1201,1581,1965,1967,1355,1204,1973,1972,1970,1207,1590,1687,1210,1593,1594,1595,1213,1982,1454,1599,1600,
1601,1602,1222,1985,1987,1606,1607,1608,1990,1227,1986,1612,1991,1992,1233,1456,1235,1236,1994,1240,1996,1239,1623,1241,2000,
1626,1249,1244,2006,2005,2003,1632,1248,1634,1251,1253,2011,2010,1258,1276,1641,1264,2013,1265,1645,1646,1266,1800,1295,2021,
1269,1268,2025,2026,1272,1278,1273,1271,1659,2034,2036,2039,1275,1718,2042,2030,2043,2032,1280,2046,2044,1285,2050,1284,1283,
2055,1677,2049,1679,1680,1291,1682,1292,1980,1685,1488,1591,2065,1689,1299,2069,1302,2071,1694,1309,1306,1697,1698,2076,1314,
1485,1313,1312,2081,2082,2078,2085,1318,1319,1545,1324,2091,2089,1714,1326,1716,1327,1664,1719,1330,2097,1340,1333,1724,1337,
2101,1727,1338,1729,1730,1503,1540,1342,2108,2107,1736,1737,1346,1921,1740,1741,2114,2116,1353,1745,2120,1356,1491,1360,1500,
1363,1364,2123,1410,1755,2122,1367,2127,1875,1372,2130,1371,1370,2135,2134,1766,2129,1768,1769,1546,1378,1772,1773,2141,1381,
1380,2040,1778,1779,1832,1387,1386,1783,2148,1476,1511,1411,1788,1465,1393,1791,1792,1793,1404,1400,2133,2156,2155,1528,1648,
1801,1802,1407,2161,1805,2162,1807,1932,1855,1412,1811,1873,1417,1416,1415,1551,2166,1818,1819,2169,1821,1822,1424,1425,2145,
1826,1827,1828,1829,1430,2174,1780,1452,1993,1983,1438,2179,2176,2178,1450,1841,1451,1843,1444,2177,1445,1847,1848,2186,1447,
2189,1453,1457,2191,1809,1856,2190,1460,2196,1461,1861,1862,2197,1468,1467,1866,1867,1868,1472,2201,1473,2202,1812,1874,1759,
1876,1478,1480,1879,1482,1484,1882,2080,2079,2207,2211,1490,1888,2214,1492,2217,2215,1893,1894,1497,1505,1502,2223,2224,1900,
2225,1902,1508,1507,1968,1906,1907,1521,1522,2221,1911,1912,1526,2234,1915,1962,1917,1918,1531,2238,1739,1536,1535,2241,1569,
1543,1539,1538,1929,1930,1931,1808,2244,1934,1935,1936,1557,2017,2248,1940,1941,1560,2252,2250,2253,1570,1947,1565,1568,1567,
2242,1952,2255,2260,1574,1573,1957,2264,2266,1578,1577,1916,2087,1964,1582,1966,1583,1905,2273,1588,2276,1587,1586,1974,2281,
2283,2275,2284,1979,1684,1981,1597,1835,2289,1604,1611,1605,1988,1989,1609,1613,1614,1834,1619,1995,1621,2300,1998,1999,1625,
2306,2002,1631,2308,1630,1629,2314,2313,2316,1638,1637,2012,1643,2323,2015,2016,1938,2328,2205,2331,1650,2336,2335,2333,1653,
1654,2341,2338,2340,1666,2346,1668,2033,1660,2339,1661,2037,2038,1662,1777,2095,1665,1667,1671,2357,1670,2047,2048,1678,1673,
2366,2365,2363,2054,1676,2056,2057,2058,2059,2060,2061,2062,2376,2378,1688,2382,2381,2068,1691,2070,1693,2385,2386,2074,2075,
1699,2077,1706,1884,1883,1704,1705,2083,2391,1707,2393,1963,2395,1713,2239,1712,2398,2093,2094,2041,2096,1721,2098,2099,2100,
1726,2397,2103,2405,2406,2203,1735,1734,2109,2407,2111,2112,2113,1742,2409,1743,2411,2212,2119,1746,2147,1756,1753,2416,2417,
2164,1758,2420,1767,1761,2422,2421,1796,1765,1764,2428,2137,2138,2383,2140,1774,2431,2353,2144,1825,2146,2121,1784,2149,2437,
2151,2152,2441,2154,1798,1797,2443,2426,2414,2160,1804,1806,2419,2126,2165,1817,2167,2168,1820,2451,2171,2172,2173,1831,2455,
1838,1845,1839,1837,2462,2459,2461,2183,2466,2185,1849,2187,2188,1851,1857,1854,2474,2475,2476,2195,1859,1863,2472,2199,2481,
1870,1872,2106,2484,2019,2206,1885,2208,2483,2210,1886,2118,2213,1889,1892,2492,1891,2218,2495,2220,1910,2454,1898,1899,1901,
2502,2272,2505,2229,2508,2231,2511,2512,1914,2515,2236,2516,1920,2090,2240,1924,1951,2243,1933,2524,2246,2526,1939,2530,1944,
2533,1943,1945,2254,1953,2478,2257,2258,2259,1954,2539,2541,2263,1958,2265,1959,2547,2513,2548,2550,2271,2227,1969,2554,1977,
1971,2560,2559,2557,2280,1975,2282,1976,1978,2568,2567,2287,2288,1984,2573,2571,2572,2577,2579,2581,2296,2297,2583,2570,1997,
2587,2302,2303,2304,2305,2001,2590,2004,2593,2592,2591,2597,2008,2007,2601,2009,2604,2318,2319,2603,2321,2608,2014,2614,2611,
2613,2617,2018,2329,2621,2020,2624,2024,2626,2023,2022,2630,2028,2035,2029,2027,2641,2638,2640,2644,2031,2347,2648,2349,2634,
2651,2636,2143,2553,2646,2356,2045,2660,2658,2360,2662,2362,2053,2666,2052,2051,2670,2669,2672,2665,2371,2372,2373,2374,2375,
2063,2675,2064,2379,2678,2067,2066,2139,2384,2072,2073,2399,2686,2389,2390,2084,2392,2086,2690,2088,2519,2102,2092,2387,2697,
2401,2700,2702,2703,2104,2105,2110,2708,2115,2710,2117,2713,2712,2159,2436,2124,2125,2718,2163,2128,2132,2131,2423,2723,2726,
2158,2729,2136,2732,2733,2142,2738,2737,2740,2435,2415,2150,2747,2746,2748,2153,2751,2157,2754,2755,2756,2447,2448,2449,2450,
2170,2762,2761,2222,2175,2764,2766,2767,2181,2765,2182,2180,2772,2774,2775,2184,2777,2468,2469,2470,2471,2198,2709,2192,2193,
2194,2782,2256,2753,2749,2200,2482,2209,2204,2574,2788,2487,2507,2790,2792,2794,2216,2797,2796,2219,2496,2801,2498,2804,2806,
2654,2226,2812,2811,2228,2815,2488,2230,2820,2819,2232,2233,2268,2514,2235,2237,2635,2825,2396,2827,2521,2522,2523,2245,2833,
2247,2835,2528,2529,2249,2838,2839,2251,2842,2841,2844,2845,2538,2261,2847,2262,2850,2814,2852,2545,2854,2267,2269,2549,2270,
2862,2861,2354,2274,2555,2866,2279,2869,2278,2277,2874,2873,2664,2868,2865,2877,2286,2285,2569,2299,2291,2292,2290,2485,2884,
2886,2293,2887,2294,2888,2295,2889,2298,2885,2882,2891,2301,2588,2894,2307,2311,2310,2309,2899,2595,2898,2312,2902,2900,2905,
2315,2908,2320,2317,2911,2912,2913,2322,2914,2915,2325,2612,2326,2324,2923,2925,2327,2618,2876,2620,2330,2622,2930,2332,2625,
2334,2935,2933,2937,2337,2943,2940,2942,2350,2517,2352,2944,2343,2941,2344,2342,2952,2954,2345,2645,2355,2647,2348,2649,2910,
2351,2960,2959,2501,2962,2858,2963,2359,2965,2358,2966,2361,2969,2563,2370,2364,2896,2971,2368,2367,2976,2369,2673,2977,2377,
2981,2677,2380,2985,2984,2982,2988,2990,2684,2974,2388,2992,2688,2689,2394,2994,2995,2693,2998,3000,2934,2400,3003,3004,2402,
3008,2403,2404,2704,2705,2706,2707,2408,2473,2410,2711,2413,2412,3018,2715,3021,3022,2418,3026,3025,2721,2722,2424,3031,2725,
2425,2727,3035,2427,3039,3038,2429,2430,3041,2993,3044,2433,2432,3049,2434,3053,3052,2743,3055,2745,2439,2438,2440,2480,2750,
2442,3033,2479,2444,2445,2446,3071,3072,2759,3075,2453,2452,2763,2456,2460,2457,2458,3081,3048,3080,3083,2463,3082,2464,2465,
3089,2467,3090,2779,3093,3094,2477,3096,3097,3098,2786,2787,2486,3102,2489,2791,2490,3107,2491,2795,2494,2493,3111,2964,3112,
2497,2802,3116,2499,3118,2500,3120,3043,3121,2961,2504,2503,2901,2543,2506,3127,2817,3130,2510,2509,3115,2822,3136,2824,2518,
2826,2520,3140,3139,3001,3141,2832,2525,2926,2527,3143,2837,2531,2532,3104,2535,2534,3146,2536,2537,3148,2540,3088,3149,2542,
3126,2544,3154,2546,3156,3155,2857,2656,2859,3161,2552,2551,3166,2864,2565,2556,2867,2564,2558,3170,3168,3173,2562,2561,3178,
2619,2566,3182,3181,3184,3180,2585,3028,2575,2584,2576,2578,2580,2582,2973,2586,3191,3192,2589,2909,2667,2897,2596,2594,2599,
2813,2598,3195,3193,2600,3197,2972,2602,2895,2650,2605,2606,2607,2609,2610,3207,3204,3206,2919,3212,2921,2922,2615,3205,2616,
2834,2927,2928,2929,2623,3222,3224,2628,2696,2627,2936,2629,3029,3229,2632,2639,2633,2631,2637,3242,3239,3241,3233,2949,3235,
2951,2642,3240,2643,2955,3254,2957,3256,2653,2652,2810,2655,2657,2799,2659,2661,3263,2968,2663,3266,2668,2907,2890,2685,3267,
2671,2674,3271,3270,3272,2676,2681,3232,2680,2679,3279,3054,2682,2989,2683,2991,2687,2735,2691,2692,3287,3288,2694,2999,2695,
2830,3293,2698,2699,3157,3298,3007,2701,3009,3289,3189,3012,3304,3014,3015,3305,3190,2714,3019,3308,2716,2717,3311,3312,2720,
2719,3315,2883,2938,3030,2724,3318,2752,3034,2728,3036,3323,2731,2730,3327,2734,3042,2808,2736,3334,3333,3331,2769,2739,3339,
3051,2742,2741,2987,2744,3056,3345,3058,3059,3347,3344,3062,3348,3064,3211,3066,3320,3351,3307,3070,2757,2758,3073,3074,2760,
3356,3355,3145,3079,2770,2768,2773,2771,3358,3150,3199,3357,2848,2776,2778,3091,3360,2780,2781,3363,2783,2784,2785,3186,3367,
3101,2789,3103,2840,3105,3370,2793,3108,3236,3375,2798,2800,3380,3114,2821,2803,3385,2805,3388,2807,2809,3393,3392,3124,3391,
2851,2816,3128,3129,2818,3131,3401,3399,3403,3404,2823,3137,3274,2829,2828,2831,3142,2836,3144,3078,2843,3147,2846,2849,3085,
3412,3152,3414,2853,2856,2855,3005,3158,3349,3160,2860,3423,3422,3420,3165,2863,3167,2871,3275,2870,3171,3429,2872,3437,3436,
3434,3177,2875,3237,2881,2879,2878,3444,2880,3185,3099,3187,3188,3011,3017,2892,2893,2904,3450,2903,3451,2906,3454,3086,3455,
3456,3458,3459,2917,2924,2918,2916,3208,3467,3469,3065,2920,3213,3303,3215,3216,3463,3475,3465,3220,3221,2931,3223,2932,3225,
3480,3296,3228,2939,3481,3276,2983,2948,3234,2950,3109,3179,3490,2946,2953,2947,2945,3243,3498,3500,3246,3504,3248,3249,3250,
3494,3496,3506,2956,3509,2958,3512,3510,3259,3514,3261,3515,2967,3264,3518,2970,2975,3522,3521,2979,2978,2980,3273,3138,3169,
3231,3484,3527,2986,3280,3281,3446,3283,3284,3285,3533,2996,2997,3010,3290,3539,3292,3002,3543,3541,3227,3297,3006,3299,3300,
3548,3547,3214,3013,3016,3306,3069,3020,3553,3554,3023,3024,3557,3556,3027,3316,3317,3032,3560,3067,3563,3322,3037,3568,3566,
3386,3040,3328,3572,3330,3047,3461,3046,3045,3335,3578,3580,3575,3050,3340,3341,3342,3343,3061,3057,3346,3060,3063,3159,3350,
3068,3369,3353,3354,3077,3076,3087,3084,3359,3092,3569,3592,3095,3482,3594,3366,3100,3368,3352,3106,3599,3597,3373,3374,3110,
3604,3602,3378,3431,3113,3608,3610,3383,3384,3117,3326,3570,3119,3612,3525,3125,3123,3122,3394,3617,3619,3620,3520,3133,3400,
3132,3402,3134,3135,3405,3406,3407,3408,3409,3410,3411,3151,3558,3153,3627,3416,3417,3478,3419,3164,3593,3163,3162,3424,3632,
3629,3427,3428,3172,3460,3379,3637,3433,3176,3641,3175,3174,3438,3646,3640,3441,3567,3489,3183,3445,3282,3447,3448,3449,3194,
3196,3651,3654,3198,3200,3201,3657,3202,3203,3430,3332,3542,3217,3659,3219,3466,3209,3658,3210,3470,3471,3472,3473,3667,3218,
3670,3477,3418,3671,3226,3230,3364,3526,3277,3485,3486,3487,3488,3443,3238,3677,3674,3676,3251,3528,3252,3497,3244,3675,3245,
3501,3502,3689,3247,3692,3253,3507,3508,3255,3258,3656,3257,3698,3260,3262,3699,3517,3265,3653,3398,3269,3268,3702,3524,3390,
3483,3278,3495,3703,3701,3531,3532,3286,3705,3535,3536,3706,3708,3291,3711,3295,3462,3294,3544,3545,3546,3302,3301,3549,3717,
3719,3552,3309,3310,3721,3314,3313,3413,3559,3319,3561,3724,3321,3729,3728,3325,3442,3324,3361,3387,3732,3329,3735,3623,3338,
3664,3577,3336,3579,3337,3581,3582,3583,3712,3615,3586,3741,3695,3697,3745,3591,3362,3421,3365,3595,3596,3372,3614,3371,3600,
3751,3377,3753,3376,3605,3710,3636,3381,3759,3382,3611,3389,3761,3598,3585,3616,3395,3618,3396,3397,3650,3622,3574,3624,3625,
3626,3415,3681,3426,3747,3631,3425,3633,3634,3635,3607,3432,3773,3648,3440,3435,3778,3777,3775,3645,3439,3647,3639,3731,3621,
3452,3652,3519,3453,3655,3511,3457,3468,3464,3752,3791,3662,3663,3576,3665,3713,3474,3790,3802,3476,3479,3672,3805,3492,3499,
3493,3491,3678,3813,3815,3628,3804,3704,3684,3685,3809,3687,3811,3503,3690,3691,3505,3693,3694,3588,3696,3589,3513,3516,3700,
3530,3523,3529,3683,3534,3537,3707,3538,3833,3606,3540,3584,3666,3714,3736,3748,3550,3836,3551,3720,3555,3739,3723,3562,3725,
3726,3838,3565,3564,3843,3649,3571,3733,3734,3573,3715,3737,3767,3722,3766,3587,3742,3743,3744,3590,3850,3630,3716,3763,3750,
3601,3660,3603,3858,3856,3756,3840,3758,3609,3760,3613,3762,3749,3764,3765,3740,3738,3768,3866,3770,3771,3772,3638,3798,3644,
3873,3643,3642,3779,3876,3872,3782,3783,3879,3785,3786,3881,3788,3789,3668,3661,3792,3884,3886,3795,3890,3797,3774,3818,3800,
3855,3669,3803,3682,3673,3901,3898,3900,3686,3810,3688,3812,3679,3899,3680,3816,3817,3799,3819,3820,3821,3822,3823,3824,3825,
3826,3827,3828,3829,3830,3831,3835,3709,3834,3832,3718,3837,3727,3920,3757,3919,3842,3730,3844,3845,3846,3847,3928,3929,3746,
3851,3930,3853,3854,3801,3755,3932,3754,3859,3923,3861,3921,3863,3864,3891,3769,3867,3938,3869,3870,3871,3781,3776,3940,3875,
3780,3877,3878,3784,3945,3787,3947,3883,3793,3885,3794,3887,3888,3935,3796,3865,3892,3893,3956,3895,3958,3897,3807,3814,3808,
3806,3902,3962,3904,3905,3960,3907,3948,3909,3910,3911,3918,3916,3914,3915,3913,3917,3912,3841,3839,3862,3965,3860,3966,3925,
3926,3927,3848,3849,3852,3931,3857,3933,3971,3889,3936,3937,3868,3939,3874,3961,3975,3943,3944,3880,3946,3882,3908,3949,3950,
3951,3952,3953,3976,3977,3894,3980,3896,3983,3906,3941,3903,3984,3986,3922,3924,3967,3968,3969,3970,3934,3972,3973,3974,3942,
3954,3955,3994,3979,3957,3981,3990,3959,3963,3985,3964,3987,3988,3989,3982,3991,3992,3995,3978,3993,4007,3997,4008,3999,4000,
4010,4002,4013,4014,4016,4017,3996,3998,4022,4001,4011,4026,4003,4004,4015,4005,4006,4018,4019,4020,4021,4009,4023,4024,4025,
4012,4027,4028,4029,4030,4031,4032]
,\[
2,7,8,1,9,14,18,19,20,3,23,4,5,29,30,6,31,26,36,37,38,10,41,11,42,
12,13,48,51,52,53,15,16,17,58,40,47,61,21,22,66,67,35,24,25,28,27,74,75,76,
56,78,79,32,82,33,34,88,89,90,92,59,39,49,96,70,100,43,60,44,45,46,50,109,110,
111,112,81,86,116,54,119,55,120,124,57,127,130,131,132,133,94,62,63,64,141,65,142,145,104,
68,69,150,71,87,72,73,156,106,161,162,164,165,77,166,170,80,173,176,177,178,83,84,146,85,
184,188,189,190,101,192,193,195,91,197,93,200,128,95,203,207,208,97,98,186,99,213,215,102,218,
103,219,105,129,107,226,227,108,228,232,139,155,236,240,241,242,113,114,115,248,249,117,198,118,255,
182,258,259,121,260,264,122,123,214,163,125,126,274,275,276,277,136,149,281,284,134,254,135,288,290,
137,138,295,140,296,299,210,303,256,143,144,307,272,147,309,148,310,315,316,212,151,152,153,154,324,
329,330,331,157,158,159,336,337,160,338,343,344,345,346,245,351,352,167,355,168,169,360,252,362,171,
365,172,237,174,370,175,371,268,374,375,376,179,180,382,181,383,387,183,185,238,393,187,396,223,400,
401,403,404,191,405,410,194,412,286,361,196,416,417,199,420,287,201,202,363,426,427,204,205,432,206,
433,436,306,209,372,211,442,443,445,446,402,216,217,451,320,455,220,308,458,221,222,463,224,466,447,
225,311,470,334,474,475,229,478,230,231,483,484,485,233,234,235,291,492,493,494,496,497,239,498,502,
354,359,506,243,509,244,510,514,246,517,247,519,520,250,523,251,526,253,530,439,533,257,534,380,536,
537,261,538,540,262,263,546,547,548,265,266,554,267,555,558,269,270,562,271,563,567,568,273,569,293,
323,573,576,577,578,278,279,280,378,585,282,589,283,591,285,595,597,289,599,422,491,292,604,294,606,
429,608,373,297,298,612,616,617,300,301,621,302,622,304,305,627,629,630,631,449,634,574,473,312,313,
639,314,640,643,462,317,318,647,319,648,652,321,655,322,656,658,325,326,327,663,664,328,665,477,481,
667,332,668,333,669,335,671,488,676,677,339,680,340,341,342,686,391,688,689,690,695,696,697,347,348,
349,703,704,350,705,709,353,711,713,714,715,356,357,719,358,720,593,725,522,726,425,364,730,731,366,
735,367,737,368,739,369,742,626,745,746,544,748,749,377,751,379,584,755,381,758,552,762,763,384,764,
768,385,386,774,775,388,389,779,390,780,392,783,784,441,394,395,423,657,464,397,398,399,792,793,794,
581,799,800,406,803,407,408,409,808,587,518,411,811,814,413,817,414,415,820,685,718,598,418,670,419,
824,421,828,571,424,833,834,611,428,535,430,840,431,841,844,619,848,849,434,435,855,856,437,438,860,
440,863,864,456,866,507,444,512,637,448,471,450,869,476,479,452,453,873,454,874,457,878,879,880,459,
460,886,461,887,572,789,465,661,467,895,468,469,899,900,901,472,641,642,823,480,580,904,482,905,909,
679,684,912,486,915,487,916,920,489,490,925,926,529,561,931,932,495,933,937,700,942,943,499,759,500,
501,950,953,954,955,503,504,505,632,960,962,508,633,821,965,511,966,513,675,970,702,515,516,975,977,
831,521,981,983,734,986,524,989,525,993,527,996,528,998,594,531,1002,532,1003,1007,1008,1009,750,1013,539,
1016,1017,541,542,1023,543,1024,1028,545,1029,1031,772,1035,1036,1037,549,550,1042,551,1043,1047,553,1050,777,1053,
1054,556,557,1059,1060,559,560,787,1065,564,628,565,566,570,1071,1073,662,894,1077,1078,575,1079,1083,802,806,
1087,579,1089,1090,875,582,583,1095,1096,586,1100,588,1102,816,1105,590,1109,592,1112,1114,596,1115,600,1118,601,
1120,602,1124,603,1127,605,1130,1133,1134,607,1135,609,610,1140,1143,1144,613,614,990,615,1045,1151,853,877,618,
1154,1158,620,1161,858,1165,1166,623,624,1170,625,1171,1176,1177,1178,646,635,636,1184,638,1185,1188,1091,1191,644,
645,1194,884,1197,1198,649,1199,1203,650,651,1209,1210,872,653,654,1215,1217,1219,659,1220,660,1221,1222,902,1227,
1182,666,1192,801,804,672,673,674,722,1235,1236,1237,678,1240,1241,1242,1243,681,682,1179,683,1249,1010,1253,1123,
1085,1255,687,1256,1258,1263,1264,1265,691,692,693,1271,1272,694,1273,1206,945,949,984,698,699,1030,1285,701,1287,
1288,1289,958,1291,1292,706,1295,707,708,1299,710,910,951,712,1305,1306,716,717,903,911,721,952,1314,723,1318,
724,1321,1251,1323,727,1326,728,1329,729,1330,1333,1334,732,1149,733,1337,1339,995,1341,736,1344,738,1000,740,741,
1345,1352,1353,743,744,1300,837,1358,914,747,921,1360,807,1257,1364,1021,1367,752,1368,1372,753,754,1377,1378,756,
757,1382,1283,1384,760,1386,761,1387,1389,1040,1393,1394,765,1395,766,767,1150,1398,1399,769,770,1403,771,1404,1408,
773,1409,1058,1412,776,1413,1417,778,1062,1420,1421,781,782,1425,1069,785,786,1429,788,1432,1434,790,893,791,896,
1438,1443,1444,1445,795,796,797,1093,1363,798,1128,1452,1119,907,1454,805,1193,928,1457,1375,1460,809,810,1396,1464,
812,1046,813,1467,924,815,1471,1473,1111,1476,818,1478,819,1482,1483,822,1485,1453,825,1488,826,1491,827,1495,1117,
829,929,830,1499,1502,832,1504,980,1507,1508,835,836,1512,838,987,839,1038,1146,1517,1518,842,843,1522,845,846,
1525,847,1526,1195,1032,850,851,1027,852,1533,1538,854,1539,1542,1169,1545,857,1546,859,1550,1551,1001,861,862,1479,
1066,1557,1011,865,1322,1559,867,868,1462,1513,870,871,1567,1568,1303,1456,1570,876,1531,1573,948,1207,1577,1578,1579,
881,882,1583,883,1584,1588,885,1590,1213,1593,888,1189,889,890,1598,891,897,892,1600,1601,1602,1560,1604,898,1605,
1609,1183,1612,1487,1571,906,1216,908,1616,964,974,1619,1620,913,1252,1247,1625,1626,917,1627,1631,918,919,1558,1234,
922,923,1637,1281,1450,1451,927,1174,1173,930,1480,1641,1268,1645,1646,934,1649,935,936,1654,1659,1660,1661,938,939,
940,1493,941,1589,944,1671,1672,946,947,1677,1678,1633,1632,1679,1680,1294,1298,1684,956,1686,957,1687,959,1357,961,
1229,963,1693,1694,1307,1697,967,968,969,1230,1700,971,972,1705,973,1706,1422,1200,976,1308,1098,978,1710,979,1713,
1716,982,1719,1670,1721,985,1519,1335,1724,988,1725,1727,991,1730,992,1732,994,1735,1346,1737,997,1739,999,1741,1061,
1743,1355,1489,1745,1004,1005,1006,1139,1617,1250,1012,1750,1014,1753,1015,1755,1758,1759,1760,1018,1019,1766,1020,1767,1022,
1769,1380,1772,1773,1025,1026,1778,1779,1676,1780,1783,1784,1033,1785,1034,1145,1788,1397,1791,1792,1039,1041,1103,1793,1044,
1794,1798,1800,1801,1385,1048,1049,1806,1807,1051,1052,1811,1812,1813,1055,1056,1475,1057,1543,1424,1820,1821,1744,1063,1761,
1064,1825,1067,1828,1068,1829,1833,1070,1834,1072,1074,1075,1837,1838,1076,1839,1843,1447,1847,1848,1080,1081,1082,1500,1084,
1086,1231,1088,1233,1449,1092,1854,1094,1856,1859,1097,1564,1099,1465,1101,1863,1866,1104,1331,1106,1328,1107,1872,1108,1874,
1875,1110,1640,1317,1113,1553,1348,1514,1116,1883,1316,1885,1886,1748,1121,1889,1122,1892,1893,1497,1125,1126,1361,1359,1129,
1831,1898,1131,1714,1132,1901,1510,1905,1722,1136,1137,1565,1138,1882,1141,1142,1521,1715,1770,1790,1147,1910,1148,1912,1914,
1915,1152,1153,1155,1388,1156,1157,1383,1524,1159,1160,1925,1709,1746,1162,1163,1930,1164,1931,1932,1757,1167,1168,1734,1259,
1260,1172,1350,1937,1175,1940,1428,1180,1607,1181,1941,1944,1946,1186,1187,1702,1844,1845,1190,1952,1953,1954,1920,1196,1286,
1959,1581,1962,1319,1963,1201,1202,1968,1969,1970,1204,1205,1976,1977,1978,1208,1979,1597,1211,1212,1981,1214,1983,1218,1436,
1437,1599,1984,1613,1943,1223,1224,1225,1668,1667,1226,1988,1228,1232,1433,1498,1455,1852,1623,1995,1238,1704,1239,1998,1634,
2001,2002,2003,1244,1245,1302,1246,1312,1248,1618,2009,1470,1254,1880,1261,2014,2015,1262,2016,1648,1653,1980,1266,1494,1267,
1591,2024,1269,2027,2028,1270,2029,2033,1664,2037,2038,1274,1815,1275,1276,1277,1278,1279,2044,1280,2047,2048,1282,2049,2053,
1284,2056,2057,1622,1596,2058,1290,2059,1960,1293,2064,1576,1296,1297,2068,1301,2071,2072,2073,1304,2074,1320,1309,1310,1414,
1311,2078,2080,1313,2083,2084,1315,2087,1929,2088,2089,1324,1900,1325,2093,1718,2094,1327,2096,1830,2098,1332,2099,1515,2100,
1336,2025,1720,1338,2105,1340,1935,2107,1342,1544,1343,2110,1351,2090,1347,2113,1349,2117,2118,1810,1354,2119,1356,1362,1635,
1749,2121,2124,1365,1373,1366,2126,1764,2128,1826,1369,2129,2132,1370,1371,1756,2137,1374,1509,1376,2138,1777,2139,1379,2140,
1665,1381,1535,2144,2145,2114,2146,1529,2149,1771,1390,1391,2150,1392,2151,1516,1862,2153,2154,2155,1400,1401,2159,1402,1804,
1652,1405,1781,1406,1407,1808,2163,1410,1411,1541,1816,2165,1871,1926,2082,1415,1416,1418,1419,1879,1939,1423,1708,1922,2131,
1426,1427,1896,2173,1824,1430,1431,1992,1835,1435,2175,2180,2181,2182,1439,1440,1441,1595,1594,1442,1894,1849,1851,1446,2187,
1448,1751,2115,2192,1458,1768,1459,2194,1861,1787,1461,1463,2198,1466,1802,2200,1468,1469,1865,1472,2079,1747,1474,2167,2203,
1477,1817,1556,1481,2206,2207,1484,1846,1486,2210,1888,2212,1490,1904,2215,1492,1945,2219,1496,2220,1501,2221,1899,1503,1505,
2226,1506,2227,2218,1906,1511,1520,1723,2223,2232,1523,1803,2103,1916,2235,1527,1528,1530,2236,1532,1534,1913,2239,1536,1566,
1537,2085,1967,1540,2168,2243,1933,1547,1548,1549,1552,2246,1554,1555,2249,1989,2250,1561,1666,1562,2254,1563,2255,1692,2176,
1569,1698,2259,2261,1572,2262,1574,1575,2267,2268,1867,1966,2269,1580,2116,1582,2272,1974,2196,2274,1585,2275,2279,1586,1587,
1610,1611,2285,2286,1592,2287,2288,1614,2290,2291,1603,2292,1606,1608,2294,1990,1993,1615,2296,2298,2081,1621,2302,1624,2303,
2007,2307,2177,1628,1703,2311,1629,1630,2317,1636,2319,1638,1639,2324,2325,2326,1642,1643,1644,1647,2333,1650,1651,1805,2104,
2337,2342,2343,2344,1655,1656,1657,2281,2280,1658,2349,2040,1776,2108,1662,1663,2166,2355,2356,1669,2359,2321,2361,2362,2363,
1673,1674,2369,1675,2370,1957,2373,1895,1982,1681,1682,1683,1685,2066,2379,1688,1689,2383,1690,1691,1733,2258,2366,2387,1695,
1696,1699,1814,1701,2178,1950,2390,2086,2392,1949,1707,2394,2092,2112,1711,2396,1712,1860,2399,1717,1870,2401,1868,2402,2403,
1909,1726,1728,1729,2106,1731,1927,2385,1736,1936,1738,1740,2190,1921,1742,2410,2412,2413,1873,2273,1832,1752,2414,2125,1754,
2245,2418,2136,2172,2421,1762,2423,1763,2424,1795,1765,1857,1786,2429,2386,2042,1774,1775,1924,1869,2434,1782,2435,1918,2438,
2439,1789,2157,2442,2416,2197,1796,1797,2445,1799,2447,2395,2164,1809,1877,2391,1818,1819,2449,1822,1823,1827,2122,2097,2309,
2456,1836,2457,2458,2184,2463,2464,1840,1841,1842,2468,2470,1850,2471,1853,2472,2193,1855,2477,1858,2282,2474,2479,1864,1961,
2422,2214,2204,1876,1878,2486,2487,1881,1884,2070,1917,2489,1887,2225,2491,1890,2494,1891,2022,2496,2497,1897,2499,2484,2501,
2503,2504,1902,1903,1907,1908,2233,1911,2513,2211,2360,1919,2371,2519,1923,2130,1928,2109,2523,1934,2525,1938,2528,2531,2532,
1942,2043,1987,2537,2538,1947,1948,1951,2077,2540,2542,2543,1955,1956,1958,2546,2067,2377,2549,1964,1965,2553,2476,2555,2556,
2557,1971,1972,2563,1973,2564,1975,1985,2566,2023,2332,2061,2569,2570,2574,2575,2576,1986,2580,1991,2188,1994,2301,1996,2585,
1997,2189,2469,1999,2000,2589,2315,2591,2004,2005,2595,2006,2596,2599,2008,2602,2605,2010,2372,2011,2012,2013,2610,2329,2615,
2616,2017,2619,2018,2019,2161,2020,2625,2021,2405,2628,2631,2632,2026,2633,2637,2347,2642,2643,2030,2646,2031,2032,2217,2034,
2035,2036,2039,2041,2656,2657,2658,2045,2517,2046,2367,2663,2664,2050,2665,2388,2051,2052,2518,2607,2054,2055,2265,2060,2062,
2673,2063,2676,2284,2065,2677,2681,2660,2069,2684,2685,2669,2075,2076,2655,2688,2209,2120,2691,2692,2693,2091,2101,2696,2095,
2699,2701,2404,2102,2704,2420,2706,2111,2148,2711,2582,2408,2452,2714,2123,2716,2244,2719,2127,2720,2722,2723,2724,2725,2133,
2134,2135,2156,2432,2141,2735,2142,2143,2741,2742,2147,2744,2440,2509,2152,2749,2444,2752,2158,2446,2160,2757,2162,2583,2169,
2759,2170,2171,2174,2581,2584,2594,2334,2768,2179,2769,2771,2465,2467,2183,2450,2185,2588,2186,2297,2304,2778,2191,2780,2524,
2733,2783,2195,2480,2199,2266,2201,2202,2787,2205,2609,2789,2208,2791,2213,2795,2796,2216,2799,2800,2374,2802,2222,2805,2224,
2808,2809,2506,2813,2257,2228,2229,2817,2230,2231,2754,2822,2823,2234,2378,2260,2237,2238,2826,2240,2241,2242,2831,2832,2527,
2834,2247,2306,2248,2836,2485,2840,2289,2251,2252,2253,2539,2846,2256,2848,2849,2544,2851,2263,2264,2312,2855,2857,2551,2859,
2270,2271,2830,2864,2561,2867,2672,2276,2868,2871,2277,2278,2650,2652,2283,2878,2879,2880,2375,2882,2592,2308,2883,2578,2608,
2526,2866,2293,2577,2411,2571,2295,2890,2299,2824,2300,2892,2305,2895,2896,2897,2898,2886,2310,2481,2514,2900,2313,2903,2314,
2904,2909,2316,2488,2606,2318,2320,2876,2322,2916,2917,2323,2918,2922,2618,2622,2926,2327,2858,2328,2887,2330,2331,2931,2460,
2933,2335,2936,2336,2939,2492,2870,2558,2338,2339,2340,2945,2946,2341,2947,2951,2645,2649,2839,2345,2865,2346,2579,2348,2350,
2516,2351,2352,2353,2354,2690,2661,2964,2357,2683,2358,2967,2671,2970,2960,2686,2364,2365,2687,2974,2368,2636,2495,2376,2979,
2586,2567,2982,2380,2381,2987,2382,2384,2961,2739,2991,2389,2734,2393,2843,2453,2996,2997,2397,2398,2698,3001,2400,3005,3006,
2510,2756,3010,2770,2406,2590,2407,3012,2409,3015,2863,2534,3016,3019,2415,2730,2417,3024,2838,3027,2419,3029,3030,2727,3032,
3033,2425,2426,2718,2427,2428,2935,2993,2430,3042,2431,3043,3047,2433,3050,2743,3054,2436,3056,2437,3057,3060,3062,3064,2441,
2512,3061,2443,3067,2703,3070,2459,2448,3073,2451,3074,2807,2454,2841,2455,2533,3003,2623,2627,2461,3084,3085,2462,3086,2707,
2466,2529,3091,2473,3040,2475,3095,2784,2478,2482,2483,3078,3100,2604,3103,2793,3105,2490,3108,2798,2635,3109,2493,2653,3113,
3114,2803,2498,3117,2695,2804,2500,2786,3122,2502,3123,2891,2816,2505,3126,2507,3128,2508,3129,3133,2511,3135,2598,2515,2541,
2828,3137,2520,2521,2522,2994,3017,3076,2536,3011,3013,2530,3028,2844,2712,2572,2899,2535,2794,2847,2814,2666,3150,3089,3151,
2853,3152,2545,3127,3157,2547,2928,2548,3159,2550,3160,3164,2552,2956,2554,3167,2875,2913,3168,2559,3171,2560,3172,3176,2562,
2565,3179,2679,3183,3185,2568,3187,3188,3072,2573,3189,2888,2710,2593,2776,3191,2773,2587,2659,2777,3088,3071,3079,2884,3075,
2597,3193,2774,3087,2894,2600,2601,2965,3199,2603,3201,3058,2634,2758,3203,3208,3209,3210,2611,2612,2613,3165,3215,2614,3216,
3104,2617,2620,2621,3222,3223,2624,3225,2626,3184,3226,3112,2629,3230,3231,2630,3232,3236,3238,3243,3244,3245,2638,2639,2640,
3119,3249,2641,3250,2644,2647,2648,2651,2825,3258,2654,2811,3260,3196,2990,2732,3264,2662,3265,2972,2992,2667,2668,2930,2670,
2934,3270,2674,3053,2675,2815,3274,2678,3156,3277,2680,3280,2981,2682,3283,3284,3285,2689,3023,3286,2914,2999,3289,2694,2995,
3292,2697,3295,3296,2763,3299,2700,3301,2702,3302,2705,3144,2708,2709,3221,2781,2713,3306,3020,2715,3309,3021,2717,3177,3313,
3143,2835,2721,2829,3099,3316,3036,3319,2726,3320,2728,2729,3025,3325,2731,2782,3329,3330,3331,2736,2737,3337,2738,3338,3098,
2740,3138,3342,3014,3343,3202,3346,2745,2746,3068,2747,2968,2748,3349,2750,2751,3134,2753,2755,3352,2764,3353,3142,3354,3120,
2760,2761,2762,2765,2766,3049,2767,3257,2893,3198,2906,2772,2775,3083,3359,3092,2779,3361,3093,3364,2902,2850,3366,2785,3077,
2788,2908,3220,2790,3369,2792,3372,3253,3374,2797,3377,3379,2978,3381,2801,3383,2953,3386,2806,3389,3390,3394,3395,2810,2812,
3398,2911,2969,3261,3399,2818,2819,2821,2820,3405,3097,3406,2827,3407,2932,3146,2833,3082,2837,2842,2885,2845,3149,2971,2958,
3413,3059,2852,3300,2854,3227,3417,2856,3419,3404,3420,2860,2861,3218,2862,3426,3255,3428,2869,3429,3432,3433,3434,2872,2873,
3037,2874,3440,3229,2877,3275,3442,2986,3445,3446,2881,3080,3409,3448,2889,3304,2973,3355,2901,3048,2905,3452,2907,3200,2910,
3457,2912,3460,3461,2915,3462,3466,3213,3470,3471,2919,3066,2920,2921,3373,3427,2923,2924,2925,2927,2929,3477,3478,3181,3479,
3228,2937,2938,2977,3482,3483,3484,2940,2941,2942,3488,2943,3491,3492,2944,3493,3497,3247,3501,3502,2948,2949,2950,3362,3310,
2952,2954,2955,3507,2957,3510,2959,3192,2962,3402,2963,2966,3517,3063,3131,3519,3263,2975,2976,3339,3481,3136,2980,3224,2983,
2984,3525,2985,3526,3282,2988,2989,3531,3147,3532,3378,3367,3535,3537,2998,3000,3540,3541,3002,3314,3139,3004,3546,3415,3007,
3069,3008,3009,3305,3397,3550,3018,3552,3252,3022,3555,3400,3441,3026,3356,3360,3031,3384,3561,3562,3034,3035,3566,3038,3569,
3039,3570,3041,3335,3573,3574,3044,3575,3489,3045,3046,3315,3534,3180,3051,3052,3480,3388,3055,3583,3153,3585,3347,3350,3065,
3090,3549,3410,3101,3311,3195,3081,3588,3590,3591,3251,3094,3593,3595,3096,3581,3357,3102,3596,3597,3106,3474,3107,3601,3602,
3110,3291,3111,3276,3606,3609,3115,3522,3116,3527,3553,3118,3612,3194,3613,3121,3614,3616,3396,3618,3124,3125,3530,3621,3130,
3548,3132,3345,3624,3212,3582,3625,3140,3141,3145,3148,3515,3524,3412,3154,3155,3418,3158,3424,3628,3161,3629,3630,3162,3163,
3476,3166,3634,3635,3169,3170,3438,3638,3639,3173,3640,3644,3174,3175,3324,3178,3648,3182,3649,3516,3447,3186,3449,3190,3392,
3651,3652,3197,3653,3266,3521,3416,3456,3333,3444,3443,3607,3204,3205,3206,3661,3662,3207,3663,3472,3473,3211,3214,3217,3668,
3219,3268,3408,3269,3273,3421,3486,3617,3393,3233,3234,3235,3577,3237,3673,3678,3679,3680,3239,3240,3241,3645,3684,3242,3685,
3503,3505,3246,3690,3248,3693,3458,3254,3626,3695,3256,3451,3259,3694,3514,3262,3506,3508,3700,3267,3518,3701,3271,3272,3422,
3598,3567,3278,3279,3281,3368,3411,3586,3287,3308,3288,3707,3290,3326,3544,3712,3293,3636,3294,3297,3592,3298,3716,3303,3718,
3307,3671,3703,3721,3365,3312,3622,3317,3318,3723,3564,3725,3726,3321,3322,3327,3323,3387,3702,3385,3328,3733,3579,3724,3736,
3332,3334,3430,3336,3557,3340,3341,3554,3344,3740,3348,3351,3743,3358,3746,3699,3620,3747,3363,3571,3600,3704,3370,3749,3371,
3605,3752,3375,3755,3376,3660,3380,3757,3611,3650,3382,3739,3762,3763,3391,3487,3672,3513,3764,3766,3722,3401,3403,3633,3545,
3414,3520,3523,3528,3768,3423,3761,3425,3578,3714,3431,3771,3647,3774,3659,3775,3435,3436,3687,3437,3781,3439,3463,3464,3450,
3783,3784,3785,3455,3453,3454,3536,3459,3790,3465,3792,3793,3794,3467,3468,3469,3798,3800,3475,3801,3657,3485,3806,3807,3490,
3808,3812,3682,3816,3817,3494,3495,3496,3756,3782,3498,3499,3500,3821,3772,3504,3823,3627,3509,3826,3511,3512,3734,3558,3830,
3559,3710,3731,3529,3533,3789,3709,3831,3538,3539,3834,3560,3542,3543,3547,3738,3835,3720,3748,3551,3767,3556,3713,3737,3730,
3745,3563,3758,3841,3565,3568,3844,3846,3572,3847,3706,3576,3580,3584,3705,3615,3587,3848,3589,3838,3742,3837,3594,3851,3599,
3853,3855,3856,3603,3819,3604,3860,3608,3861,3610,3863,3741,3760,3711,3619,3715,3623,3865,3631,3632,3824,3637,3869,3779,3871,
3641,3872,3874,3642,3643,3820,3646,3878,3787,3880,3654,3655,3656,3658,3877,3883,3796,3887,3888,3664,3665,3666,3892,3667,3894,
3895,3681,3669,3670,3881,3777,3776,3857,3674,3675,3676,3903,3904,3677,3905,3802,3818,3683,3686,3688,3854,3689,3870,3691,3692,
3827,3696,3697,3698,3786,3717,3708,3913,3915,3916,3917,3719,3919,3727,3728,3922,3729,3923,3735,3732,3911,3927,3849,3744,3907,
3890,3750,3909,3751,3859,3902,3753,3924,3754,3921,3908,3759,3935,3765,3867,3936,3769,3770,3910,3773,3809,3810,3940,3925,3778,
3941,3780,3828,3901,3882,3946,3788,3948,3949,3791,3950,3889,3891,3795,3931,3797,3954,3799,3896,3957,3803,3804,3929,3805,3947,
3961,3811,3920,3963,3934,3813,3814,3815,3822,3825,3829,3832,3964,3833,3864,3912,3906,3836,3839,3850,3840,3933,3942,3842,3843,
3845,3926,3873,3968,3969,3852,3966,3858,3862,3939,3972,3866,3973,3868,3974,3914,3875,3876,3879,3932,3951,3952,3900,3899,3960,
3884,3885,3886,3955,3893,3978,3959,3981,3897,3898,3970,3965,3918,3943,3987,3937,3928,3953,3944,3930,3975,3945,3967,3938,3989,
3990,3992,3993,3956,3995,3998,3958,3999,3986,3962,4002,4003,3971,4005,3994,3976,3996,3977,3983,3982,3979,3980,3997,4006,3984,
3985,4012,4011,3988,4015,3991,4018,4020,4000,4024,4001,4023,4027,4019,4004,4029,4030,4026,4007,4013,4008,4021,4009,4017,4010,
4032,4031,4014,4025,4016,4022,4028]
>;
print "Group G is 6.U6(2) < Sym(4032)";