/*
www-ATLAS of Group Representations.
U4(3):D8 represented as permutations on 5184 points.
*/

G<x,y>:=PermutationGroup<5184|\[
1,4,6,2,5,3,12,8,13,10,15,7,9,21,11,25,26,28,30,20,14,35,36,38,16,
17,44,18,47,19,50,52,53,34,22,23,58,24,62,63,65,67,51,27,72,73,29,77,79,31,
43,32,33,85,86,88,83,37,93,94,96,39,40,102,41,106,42,109,111,112,92,45,46,119,120,
122,48,126,49,129,130,132,57,134,54,55,140,56,143,145,146,71,59,60,152,61,156,157,159,161,
163,64,166,167,169,66,172,142,68,177,69,70,113,114,115,116,184,186,74,75,121,76,123,194,196,
78,200,201,80,81,206,82,210,84,135,213,214,215,207,87,220,108,89,144,90,91,229,148,231,150,
234,95,237,238,240,97,98,246,99,250,100,253,101,256,257,103,104,260,105,264,252,107,267,174,269,
176,110,274,276,180,279,280,282,117,185,118,287,188,289,190,292,192,294,124,298,125,301,302,304,127,
128,309,310,312,313,131,139,316,318,133,211,321,136,137,138,326,328,329,331,141,335,222,337,224,340,
226,342,228,147,347,149,350,352,151,354,315,153,154,359,155,363,364,366,368,319,158,373,374,376,160,
379,171,162,382,383,164,165,386,388,168,392,353,393,170,396,266,173,401,175,404,406,407,409,178,413,
179,416,418,181,182,281,183,283,425,285,427,187,431,189,434,435,191,438,193,441,442,444,195,448,449,
197,198,452,199,455,306,457,459,202,203,465,204,205,468,236,208,470,209,245,473,212,475,477,479,481,
216,485,217,218,489,219,492,333,334,221,497,223,499,501,225,502,227,505,507,508,510,230,514,453,232,
423,233,262,235,522,523,525,472,239,530,531,533,241,242,539,243,543,244,545,547,548,550,247,248,554,
249,557,559,251,562,563,254,255,569,571,258,574,259,576,577,579,261,263,584,585,265,588,590,591,593,
268,597,490,270,405,271,272,604,273,608,609,611,275,614,616,277,417,278,621,623,625,627,351,630,284,
633,286,542,637,639,288,432,605,290,291,647,462,293,439,652,295,296,657,297,660,661,663,299,300,666,
667,303,349,480,305,673,307,675,308,678,461,437,463,682,311,686,687,314,691,317,694,358,320,697,322,
476,323,478,324,454,325,610,704,706,327,710,712,714,330,403,718,332,721,723,724,725,336,729,338,602,
339,341,737,739,343,620,344,345,747,346,638,735,752,348,515,757,758,760,762,520,765,355,356,771,357,
773,775,776,778,360,361,782,362,786,787,789,791,670,365,796,797,428,367,802,369,804,370,371,549,372,
810,812,672,375,817,819,377,640,378,560,826,380,381,832,833,835,708,838,384,808,385,844,845,387,848,
389,390,853,391,809,856,689,859,394,395,864,866,397,589,398,399,871,400,875,850,828,402,880,881,883,
743,500,887,408,433,870,891,410,411,482,412,898,900,414,904,415,906,907,733,506,419,912,420,913,421,
917,422,885,920,424,768,924,426,634,928,930,429,511,430,558,934,936,937,849,940,696,436,945,947,948,
950,440,954,956,957,897,443,962,963,445,446,968,447,971,972,450,451,976,978,538,979,553,456,983,458,
676,677,460,990,991,992,464,995,996,997,466,467,1001,582,1003,469,1007,1008,471,1012,646,474,1015,699,700,
1017,1019,852,483,1023,484,1027,567,1028,486,1031,487,1034,488,1036,1037,1039,491,1041,955,493,869,494,495,496,
726,1048,728,498,1052,1053,732,619,734,512,1059,503,1063,504,822,1067,1069,601,744,1073,1075,509,1078,1079,1081,
1083,513,1087,1088,1090,1092,516,517,1097,518,1101,519,1056,1104,521,1107,1108,631,1111,1113,524,1117,526,1120,527,
528,1125,529,830,1011,1130,532,1134,1135,1137,534,535,1143,536,1147,537,792,1151,1152,1154,540,541,1157,1159,1160,
1162,544,1165,546,1169,1171,903,570,580,551,1177,552,813,952,1180,1182,555,1186,556,825,821,740,1191,1192,820,
561,1196,596,1198,779,1201,564,565,1206,566,1210,1126,568,1214,1164,1208,1216,1218,572,573,1222,1006,575,644,595,
1228,703,578,967,1127,581,1234,1235,583,860,1239,1241,1243,586,1247,587,1250,1251,722,606,592,1176,1255,1257,594,
1259,1232,1261,1249,598,599,1265,600,1268,628,1270,603,1025,908,1272,607,1276,1277,1064,1280,1246,656,612,1285,613,
1288,1289,807,615,905,617,618,889,1071,1297,1298,622,624,914,987,1303,626,1102,919,629,921,1309,1236,632,1313,
1314,982,635,1316,636,1319,1320,1093,641,1321,642,643,1325,1327,645,1330,1332,1294,989,648,1269,649,650,1337,651,
1322,814,1341,653,720,654,655,1347,1349,1350,1352,658,659,1355,1356,1357,854,662,1362,1363,664,665,1369,1370,1372,
668,977,669,671,980,981,927,674,984,1380,1382,915,1384,944,679,680,681,1389,1390,683,684,685,1278,1397,1399,
688,1374,690,1224,1401,847,692,693,1375,1407,780,695,1411,1413,698,1414,701,1416,702,1418,1419,1420,705,1024,888,
1425,707,709,1430,1431,711,1435,1437,713,1035,715,716,1038,717,1442,719,1444,1043,1044,1045,1046,1047,727,1449,1451,
1051,730,731,1454,1456,763,1457,1458,736,1461,1462,1123,738,894,1465,1185,741,1190,742,1471,909,1473,745,1476,746,
1480,1481,748,749,1483,750,1486,751,1489,1490,1492,753,754,1497,755,1501,756,933,1505,1507,1509,759,1513,1514,1516,
761,918,1103,764,1105,1523,766,767,1528,1530,769,1533,770,1535,1536,1538,772,1440,1541,774,1545,1122,1062,1405,777,
837,855,1553,1555,781,1131,1558,1560,783,784,1564,785,1568,1569,1571,1573,1575,788,1578,1579,1581,790,1583,1585,1586,
793,794,1591,795,1594,1596,798,1599,799,800,1525,801,1606,840,803,1609,1610,1612,805,1592,806,1584,1617,1619,1620,
872,811,1624,1626,815,1630,816,1593,1184,1066,818,1634,1635,1189,1068,823,824,1640,1194,1642,827,1646,829,1629,1650,
831,1653,1654,1656,1658,834,1306,841,1662,836,1666,1667,1669,839,1648,842,1649,843,1677,1678,1679,846,1683,1004,1684,
1686,1688,851,1692,1693,1287,877,1694,857,858,923,1697,1699,861,1702,862,1706,863,1704,1707,896,865,1711,879,867,
868,1715,1716,1717,873,1719,874,1264,876,1722,878,1295,1343,1258,882,1266,1726,884,946,886,1415,890,1273,1731,1733,
892,893,998,1279,895,1690,1738,1740,1718,899,1286,1231,901,902,1747,1749,1750,1752,943,1262,1755,910,911,1759,1760,
1762,1302,916,1766,1767,1207,1769,1771,922,1774,1728,1775,925,926,1779,929,1781,1782,931,932,935,951,1602,1524,938,
1326,939,1788,1790,941,1794,942,1797,1334,1335,1336,949,1801,1377,1802,953,1805,1263,1806,1807,1809,958,1813,959,960,
1817,961,1821,1822,964,965,966,1826,1682,1827,1829,969,970,1364,1835,1837,1839,1841,973,974,1847,975,1373,1002,1009,
1851,1339,1853,1554,985,1836,986,1861,988,1385,1386,1865,1388,993,994,1732,1870,1871,1748,1873,1875,999,1398,1000,1881,
1005,1885,1825,1887,1124,1417,1010,1892,1893,1894,1013,1897,1014,1016,1271,1018,1406,1020,1021,1022,1905,1529,1906,1908,1026,
1910,1911,1689,1912,1029,1030,1432,1918,1920,1032,1924,1033,1926,1927,1118,1441,1040,1932,1042,1935,1936,1937,1938,1049,1942,
1050,1945,1947,1054,1950,1055,1057,1058,1955,1956,1060,1061,1962,1963,1065,1965,1522,1967,1969,1844,1070,1972,1072,1974,1544,
1074,1979,1929,1842,1076,1077,1482,1080,1987,1988,1082,1990,1488,1084,1085,1995,1086,1999,2000,2001,2002,1089,2005,2006,2008,
1091,2011,1503,1504,1094,2015,1095,2018,1096,1510,2021,1512,1098,1099,1515,1100,2028,2029,2030,2031,2032,1467,1106,1324,1161,
1889,1890,1109,1422,1110,2039,2041,1112,2044,1114,1115,2047,1116,2051,1884,1119,2053,2054,1475,1121,2055,2056,2058,2059,1675,
2060,2062,1128,1379,1129,1863,2068,1132,2071,1133,2072,2074,2076,1136,2079,2080,1567,1138,1139,2085,1140,2089,1141,2092,1142,
2095,2096,1144,1145,2100,1146,2102,1148,1172,1149,1150,2107,2109,2111,2113,1153,1170,1183,1155,2119,1156,1597,2122,1158,1705,
1685,1323,1603,2128,2130,1163,2133,2135,1166,1167,1618,1168,2142,2104,1850,2143,1173,1611,1174,1175,2145,1622,1623,1178,2147,
1179,2105,2149,1199,1181,2153,2022,2036,1187,1188,2156,1725,1902,2157,1193,2159,1195,1857,2162,2164,1197,1744,1215,1217,1200,
2170,2171,1202,1203,2175,1204,1971,1205,2020,2179,2181,1209,2185,1814,1665,1211,1212,2188,1213,2192,2193,2195,2197,1848,1550,
2199,1219,1220,1221,1680,2205,1359,1223,1225,1601,1226,2214,1227,1428,1281,2218,1229,1230,1233,1695,2035,1237,2226,1238,2228,
1714,1240,2118,1244,1600,1242,1245,2238,2239,2241,1248,2244,2246,1701,1252,1253,1254,1284,1256,2154,1721,1260,1723,1724,1637,
1267,2255,1311,1823,2167,1274,1391,1275,2262,1735,2264,2212,1282,1739,1283,2267,1776,2037,1647,2269,2270,1290,1394,1291,1292,
1751,1293,1753,2279,1296,2132,2282,2284,1299,1300,1907,1301,1919,2290,2291,1304,1305,1921,1307,2268,1308,2300,2301,1310,1312,
1742,1777,2155,1315,2310,1317,1318,2315,2316,2318,2320,2252,1328,2322,1329,2324,2325,2097,1331,1795,2328,1333,2330,2331,2333,
1338,1340,2336,2338,1342,1344,1345,2343,1346,2345,2346,2003,1348,1664,2352,2139,1351,2355,2046,2040,1353,1354,1729,2360,1403,
1358,1360,2364,1361,2366,2367,2369,2371,1957,1365,1381,1366,2376,1367,2377,1368,1479,2379,1470,2381,1846,1371,1674,2057,1615,
1376,1852,1378,2372,2084,2351,1643,2390,2391,2393,1383,1862,1556,2396,1387,2399,2400,2275,2402,1392,1393,2406,1395,2408,1396,
2411,2412,2034,2222,2416,1400,2418,2419,1540,1402,2424,1404,2427,1526,1527,2428,1408,1409,1410,2433,2434,1412,1898,2437,2049,
2211,1638,2439,2441,1421,1423,1761,1424,2447,1426,1427,1429,2452,2078,2453,2455,2457,1433,1763,1434,1768,2462,2014,1436,1925,
1438,1439,2450,1478,2467,1997,1443,2469,2470,1445,1446,1447,1448,2478,2479,1941,1450,1943,2484,1452,2486,1453,2489,1949,1455,
1951,2492,2493,2494,1459,1460,1834,2498,2500,2501,2503,1463,1464,2509,1466,2512,1468,2515,1469,2518,1657,1472,2520,1474,2523,
1976,2525,1978,1477,1980,2529,2530,2502,2531,2533,2534,1484,1485,2537,1487,2023,2483,2542,2466,1491,2545,1931,2546,1493,1494,
1495,1496,1812,2004,1498,1499,2558,1500,2561,2562,1502,2563,2281,1923,1506,2565,2017,1508,2398,1659,1511,1632,1991,2573,2575,
2576,2577,1517,1518,1519,1520,1521,2499,1878,1696,1633,1743,2588,1531,1820,1532,2592,2593,1534,2596,1819,1537,2444,1900,2598,
1539,2083,1542,1543,1546,1547,1849,1548,1549,1551,2609,1552,2063,2612,2247,2066,2616,1557,2617,2619,1559,1561,2625,1562,2075,
1563,2630,1914,1565,1566,2634,2635,2052,1855,1570,2641,2642,2644,1572,2648,2208,1574,2651,2652,1576,1577,1793,2202,2658,1580,
2661,1582,2663,1614,1627,2666,1587,2655,1588,2670,1589,2673,1590,2114,2115,2677,2117,1703,1595,2680,2681,1598,2123,2683,2178,
2686,2127,1604,2689,1605,2693,1756,1607,2696,1608,2699,2700,2662,1816,2468,2702,1613,1616,2260,1621,2334,1625,2706,1628,2707,
2151,2708,1631,1720,1778,1636,1639,2339,1641,2717,2386,1644,2719,1645,2722,2723,1730,2724,2725,1651,1652,2172,2729,2730,1655,
2446,2177,2125,1660,2435,1661,2736,2266,2737,1663,2186,2742,1668,2627,2745,2747,1670,1671,2194,1672,2224,1673,2341,1676,2759,
2760,2098,2510,2608,1681,2766,2768,2091,2769,2770,1901,1737,2772,1687,2487,2216,2251,1691,2778,2779,2221,1879,2780,2196,2405,
1698,2782,1700,2229,2784,2234,2232,2233,2231,2688,2570,2790,1708,1709,2240,1710,2242,2798,1712,2245,1713,2065,2803,2805,2807,
2217,1787,2810,2481,1727,2407,2812,2258,2813,2144,2814,1734,2818,1736,2801,2183,1741,1770,1745,1746,2271,2826,2827,2274,1868,
2829,2831,2832,1754,2836,2013,1757,2841,1758,2292,2845,2413,2846,2744,1764,1765,2285,2850,2851,2329,2853,2854,2855,2299,1772,
1773,2302,2861,2304,2488,2860,2865,2866,2868,1780,2311,2871,2872,2874,1783,1784,2317,1785,2319,1786,2880,1789,2883,1791,1792,
2856,2888,1796,2295,1798,1799,2893,1800,2146,2895,1803,2337,1804,2158,2900,2198,2695,1808,2905,1810,1811,2909,2911,2912,2914,
1856,1815,2919,2902,1818,2920,2922,2765,2426,1824,2924,2567,2926,1828,2365,1830,1831,2368,1832,2797,1833,1854,2932,2933,2935,
1838,1840,2939,1843,2591,1845,2931,2809,2942,2820,2161,2945,2946,2389,1858,1859,2392,1860,2691,2950,1864,2951,2019,1866,1867,
2953,1869,2956,2958,2225,1872,2256,1874,2961,2962,1876,1877,2287,2966,2787,1880,2513,1882,1883,2971,2973,2974,2544,1886,2977,
2359,1888,1891,2981,2982,2431,2984,1895,1896,2180,2988,1899,2992,1903,2994,1904,2997,2629,2048,2987,2176,1909,2999,3001,1928,
3003,1913,1915,2698,1916,2704,1917,3010,3011,2460,3013,1922,3017,3018,3020,1994,1930,2140,1933,1934,3027,3028,2473,2944,3031,
2645,2477,1939,1940,3037,2254,2490,1992,1944,3042,1946,2215,2305,1948,2482,3049,1952,1953,1954,3034,3057,2497,1958,2033,1959,
1960,1983,1961,3065,3066,2506,3069,3071,1964,2203,2792,1966,2417,2925,1968,3080,2586,1970,3084,1973,3087,2522,1975,2597,1977,
3092,2556,2701,1981,1982,1984,3098,1985,1986,3102,3103,1989,3106,3036,3108,3110,1993,3112,2423,1996,1998,3118,2578,3120,3076,
2580,3124,3126,2554,3129,2527,3131,2007,3077,3133,2009,2010,2012,3140,2016,3143,2362,2907,3046,2236,3147,3149,2024,3153,2025,
2026,2027,2548,3160,2551,3163,3165,2835,3045,3169,2517,3060,2038,2757,3073,2380,2042,2043,3174,3176,2045,2524,2050,3181,3182,
2639,2602,2603,3022,2605,2606,3188,2204,2061,2721,3191,2064,3194,3058,3196,2067,2069,3201,2070,2620,3205,3207,2623,2980,2073,
3213,2189,3215,2443,2077,2631,3218,2955,2081,2082,3223,2637,2638,2601,3226,2086,2087,3231,2088,2476,3234,2647,2090,3238,2979,
2093,2094,3242,3244,2108,3247,3249,2099,2659,3251,2101,2138,2103,3255,3256,2106,3259,3260,3261,2110,2671,3266,2112,3269,3125,
3271,2116,3274,3275,2120,2121,2929,2124,3280,3282,2126,2687,2235,2129,3286,2394,3287,2131,3290,2342,2134,3294,2454,2136,2137,
2528,2141,3299,2456,3301,2148,2150,2152,3305,3306,3308,3310,3187,3312,2715,3314,2160,2718,2163,2720,2610,2165,2166,2168,2169,
2763,3228,3321,2173,2174,3322,3323,2985,3325,3327,2182,2184,3331,3332,3334,3335,2187,3203,2289,2190,2746,2191,3342,2749,3344,
2819,3171,2753,3074,2755,3348,2589,3350,2200,2201,3355,3356,2726,3358,2358,2206,2767,2207,2209,2210,2771,2213,2773,2786,3033,
3364,3365,2219,2220,2223,3367,2227,3371,2230,3032,2774,2415,3374,3375,2237,2791,2511,3378,2794,3380,3381,2370,2243,3384,2800,
2265,3029,2248,3387,2249,3389,2250,3393,2383,2253,3396,2257,2259,2261,3245,3104,3401,2263,2751,2385,3405,3406,3408,3410,2844,
2272,2273,3414,2276,3416,2277,2278,3420,3421,2583,2280,3019,3425,3426,3428,2283,2847,3079,2825,2286,2288,2842,3433,2849,2293,
2294,2852,2296,2297,2298,2326,3441,2858,3443,2306,2303,3447,3388,3448,2307,2308,3368,2309,3453,2870,2312,2313,2873,2314,3457,
3458,3362,3460,2879,2321,3464,3466,2323,3470,3472,3474,3476,2327,3479,3445,2891,3086,2332,3482,2335,3402,3016,3484,3486,2340,
3490,2354,2923,3354,2344,3137,2568,3283,2347,3498,2348,2349,2913,2350,3505,3506,3507,3509,2353,2356,3515,2357,2903,2361,2514,
2363,3377,3519,2682,2930,2382,2373,2374,2934,2375,3164,3523,3524,2378,3361,3424,2384,3528,2474,2387,2388,3533,3534,3536,2395,
2397,3539,2401,3318,2633,2403,3543,2404,3002,3541,2409,2410,3094,2964,3547,2414,3053,3549,3550,3111,2420,3502,2421,2422,2975,
2976,2425,3560,2650,2624,2429,2430,3564,2432,2733,3043,2445,2436,3568,3569,3571,2438,3574,2440,3577,3566,2442,3581,2448,3000,
2449,2959,2451,3586,3587,3006,3565,3008,3589,2458,2459,3594,2461,3596,3597,2897,2463,2464,2837,2465,3021,2604,3606,3608,3366,
3610,2471,2472,2802,3386,2475,2785,2775,2495,3613,2539,2480,3431,3617,3619,3051,2485,2986,3061,2584,2569,3624,3324,2491,3385,
3041,3627,2967,3141,3232,3631,2496,2614,3633,2587,3044,3062,3136,3634,2504,2505,3639,3641,2507,3642,2508,3646,2590,2754,3647,
2550,2559,3369,2843,2516,3653,3347,3655,2519,3659,2892,2521,3637,3662,3298,3638,2526,3666,2963,3134,3668,3669,2532,3672,3674,
3109,2535,2536,2816,3678,2538,3682,2540,3101,2541,2970,2543,3689,3690,3115,3157,3694,2547,3697,2549,3701,3702,3703,2552,2675,
2553,3707,3709,2555,3712,2557,3715,2560,3095,3538,3063,2906,3720,3722,2564,3054,3284,2566,3727,3729,3730,2571,3734,2572,3735,
3390,3737,2574,3741,3742,3156,3116,3746,3748,2579,3752,3753,2581,2936,2582,3166,3167,3168,2585,3170,2752,3758,3759,2594,3761,
2595,3764,3765,3767,3769,2599,2600,3773,3775,3776,3778,2713,2607,3632,3319,2611,3781,3782,2613,3785,2615,3788,3363,3199,3779,
2618,3792,2743,3427,2621,3795,2622,3799,3800,3801,3802,3804,2626,3807,2628,3383,3809,2632,3812,3220,3546,3222,2636,3815,3816,
2640,3819,2727,3229,3822,2643,3055,3784,2646,3827,3828,3559,2649,3831,3832,3834,2653,3817,2654,2815,3837,2656,3838,2657,3841,
2660,3818,3253,3500,2664,2665,3847,3848,2667,2668,2669,3854,3824,3856,3857,2672,3858,3454,2674,3518,2676,3861,3863,2678,2679,
3865,3866,3867,3869,2684,3871,2685,2908,3142,3874,2690,2692,3392,3529,2694,3879,3880,3882,2697,3886,3887,3889,3090,2703,3398,
2705,3893,3895,3897,2709,2710,3901,2711,3905,2712,3906,2714,3908,2716,3911,3343,3692,2954,3190,3914,2728,2731,2732,3048,2734,
3922,2735,3925,3926,3927,2738,2739,3932,2740,2741,3336,3579,3557,3936,3340,3938,2748,3316,2750,3943,3944,3082,2756,3813,2758,
3948,3949,3951,2904,2761,2762,3357,2764,3957,3360,2940,2877,3198,2776,2777,3025,2781,2867,3078,3526,2783,3964,3373,2788,2789,
3686,2927,2793,3415,2795,2796,3844,3216,2799,3050,3030,2804,2863,2806,3151,3973,3288,2808,3622,3395,2811,3976,3300,3790,3400,
2817,2896,3982,3984,2821,2822,3407,2823,3829,2824,3846,3988,3989,2828,3379,2830,3417,3418,3461,2833,2834,3422,3994,2941,2838,
2839,3204,2840,3429,3444,3038,3432,2848,3434,3872,3611,3563,3438,4001,4002,2857,4004,2859,3430,2890,4006,2862,2864,3621,3728,
4010,4012,2869,3268,4014,4015,2875,2876,3917,2878,3419,4020,4022,2881,4025,2882,4028,3468,4029,2884,4033,2885,3520,2886,4036,
2887,3583,4038,2889,4019,4042,2894,4044,2898,4047,2899,4049,3845,4051,2901,3491,4053,4054,3494,4056,3496,3733,2910,4060,3254,
3928,2972,4063,3504,2915,2916,2917,3508,2918,4071,4072,4074,4076,3665,2921,4080,3714,3270,2928,3473,4082,3522,2937,2938,3716,
3370,3609,2943,3289,3772,3544,4090,2947,2948,3774,2949,3826,3135,2952,4097,2960,4098,2957,3531,3545,3221,2965,3881,2968,2969,
4104,3552,4106,3554,4068,3556,3338,4108,3237,2978,4112,4113,3437,2983,3007,2996,4116,2989,2990,4118,2991,3628,3573,2993,3658,
3896,2995,3657,3337,3625,2998,3766,3477,3956,4123,3004,3005,4127,3009,3903,4130,3909,4132,3012,4134,3014,3015,4136,3599,3719,
3649,3656,4140,3604,4141,3023,4145,3024,3527,3026,3436,4147,3035,4150,4152,3732,3039,4154,3040,4157,3449,3394,3623,3047,3580,
3919,3052,3572,4163,4164,3056,3189,3059,3064,4169,4170,3088,3091,3067,4173,3068,3070,4088,3967,4016,3072,3075,3900,3601,4087,
3937,4179,3081,4181,3083,3602,3578,3575,3085,3706,4048,3089,4187,4188,3514,3093,4191,3096,3097,4128,3671,3099,4189,3100,3771,
3676,3677,3105,3679,4198,4200,3107,4203,3966,4204,3376,4206,3688,3113,3114,4211,3317,4212,3117,3695,4216,3119,4219,4220,4222,
3121,3122,3123,4168,3705,3660,3127,3933,3128,3710,3796,3130,4199,3517,3132,3525,4234,4235,3600,3138,4230,3139,4240,3724,3725,
4243,3144,3450,3145,3146,4244,3616,3497,3148,3150,3997,3152,4251,4252,4248,3154,3155,4255,4256,4257,3158,4261,3159,4263,4264,
4093,3161,3162,4270,3755,3756,4272,3172,3173,3760,3175,4081,4276,3177,3178,3582,3179,3913,3180,4281,3675,3530,3183,3535,3184,
3185,3953,3186,3200,3780,3192,3193,4291,3233,3195,3786,4292,3197,4294,3399,4296,3202,4299,4301,3206,3711,4304,4306,3208,3209,
3210,3211,4023,3212,4314,4315,3214,4319,3217,4320,4321,3219,3349,4325,3224,3225,3243,3252,3227,4094,3821,3230,4155,3263,4332,
3537,3235,3236,3409,4232,3239,3240,4337,3241,4340,4341,3246,3248,3884,4344,3250,4345,4101,3382,3488,3411,3257,3258,4349,3850,
4350,3924,4351,3262,3855,3264,3265,3267,4359,4300,3272,4361,3273,4364,3276,3277,3278,4367,3279,3870,3281,3435,3929,3285,4368,
3876,4369,4065,3291,3292,3548,3293,3883,3839,4346,3295,3296,3975,3297,4375,3891,3892,3302,4382,3303,3576,3304,4385,4386,3648,
3307,4391,3590,4393,3309,3311,4397,3313,3592,4400,3315,4183,3768,3320,4404,4405,3459,4407,3626,3920,4410,3326,4413,3852,3328,
3329,3330,3501,3873,4378,3931,3333,3708,4419,4420,3339,3651,3341,4422,3940,4423,4290,3345,3346,4428,4429,4431,3351,3352,4434,
3353,3952,3777,4372,4214,3584,3359,4122,3959,4102,4085,4440,3963,3372,4110,3684,3644,4444,4446,4161,4448,3972,3391,3974,3888,
3397,4451,4452,4453,4454,4439,3403,4459,3404,4461,4462,4447,3412,3413,4381,4463,4465,3993,3423,4467,4469,3736,4470,3999,4084,
3439,3440,4418,3442,4476,3446,4480,4333,4096,3451,4011,3452,4013,3455,3456,3645,4040,4483,3480,3462,4021,3463,3803,4175,3465,
4491,4492,3467,3469,4497,4031,4498,3471,4034,4279,3475,4504,3478,4133,4017,4182,3481,4481,3483,4508,4449,3485,3661,3487,4509,
3489,4414,3492,3493,4512,3495,4514,4482,4417,3499,4247,4516,3503,4275,3878,4519,4520,3555,4522,4229,3510,3511,4526,3512,4529,
3513,4515,4531,4533,3516,3762,3521,4536,4000,3961,4537,3650,3643,4539,3532,4327,4092,3751,3820,4285,4009,3540,3542,4411,4542,
3843,3960,4103,3551,4545,3553,4546,3558,4475,3965,4489,3561,3562,4398,4149,3567,4485,3570,4119,4553,4269,3958,3585,4457,4556,
4558,3588,3670,4562,3591,4250,3593,4039,3595,4564,3598,4567,4568,4570,3603,3605,4572,4412,4436,3607,4158,3612,4577,4115,3614,
4389,3615,4583,3618,3823,4226,3620,4146,4585,4530,3970,4162,3629,3630,4202,4478,4288,3704,3635,3636,4590,4354,3640,4178,4024,
4176,4593,4174,3652,4589,3654,4041,3912,4597,4284,4598,3663,3664,3673,4455,3667,4259,4511,4194,4604,4548,4432,3680,3713,3681,
4538,4165,3683,3685,4588,3687,4209,4611,4207,4614,3691,3693,4619,3955,4215,3696,4624,4625,3698,3699,4627,3700,4630,4632,4633,
4156,4634,4228,4070,3721,4637,3830,4640,3717,3718,4642,4635,4409,4643,3723,4644,4525,3726,3731,4586,4646,4061,3740,4647,4131,
3738,3739,4253,4608,3743,3744,3745,4654,4192,4260,3747,4659,3749,3750,4664,4666,4667,4669,4121,3754,4672,3757,4626,4550,4064,
3763,4677,4679,4035,4280,3770,4442,4283,4185,4095,4286,4287,4167,4682,3942,3783,3787,4683,3789,4334,3791,4689,4690,3793,3860,
3794,4696,4697,3797,4698,3798,4307,4700,4309,4701,4702,4703,4313,3805,3806,4707,4708,4377,3808,3810,3811,4715,4362,4324,3814,
4326,4091,4328,4435,4330,4717,3825,4008,4295,4720,4336,3833,4705,4721,3835,3836,4660,4684,3840,3842,3885,4347,4727,3849,3851,
3853,4729,4688,4172,4730,4732,4713,4734,3859,4639,3862,4323,4737,3864,4741,4366,3868,3875,3877,4744,4371,3954,4746,4748,3890,
4694,4318,3930,4752,4753,3990,3894,4757,4758,3898,3899,4762,4764,4151,4653,3902,4766,3904,4768,4769,4477,3907,4114,4399,3910,
4771,4616,4403,3915,3916,4774,3918,4770,4238,3921,4099,4143,3923,4052,4524,4416,4059,4003,3934,3935,4638,3939,3941,4781,4685,
4426,4782,3945,3946,4784,3947,4197,4671,3950,4329,4144,4580,4623,3981,3962,4576,4282,4518,3968,4791,3969,3987,3971,4046,4450,
3977,3978,3979,3980,4190,4796,4124,4596,3983,4460,3985,3986,3991,4464,3992,4704,3995,4799,3996,3998,4709,4501,4513,4742,4109,
4005,4396,4166,4805,4007,4043,4058,4018,4809,4117,4486,4812,4813,4111,4815,4026,4027,4817,4818,4591,4500,4030,4032,4823,4496,
4472,4826,4541,4037,4552,4829,4745,4045,4050,4750,4193,4055,4473,4057,4077,4062,4836,4443,4066,4067,4839,4069,4841,4415,4242,
4073,4844,4846,4075,4160,4078,4678,4079,4569,4850,4083,4086,4201,4089,4855,4503,4100,4857,4858,4105,4107,4861,4196,4549,4274,
4804,4505,4120,4554,4864,4125,4557,4126,4651,4775,4868,4129,4662,4135,4854,4872,4137,4138,4534,4139,4571,4142,4573,4876,4581,
4441,4148,4582,4755,4437,4575,4578,4153,4584,4159,4245,4628,4205,4180,4171,4495,4595,4177,4889,4592,4458,4184,4186,4892,4600,
4787,4832,4751,4195,4605,4606,4607,4254,4895,4897,4208,4900,4613,4210,4901,4402,4902,4761,4213,4905,4907,4908,4438,4217,4218,
4273,4221,4587,4915,4223,4918,4224,4225,4227,4237,4645,4231,4421,4360,4233,4924,4236,4239,4241,4636,4246,4249,4648,4930,4931,
4559,4932,4390,4258,4935,4811,4937,4938,4262,4342,4780,4563,4718,4265,4944,4266,4267,4668,4268,4863,4433,4271,4673,4674,4788,
4950,4277,4532,4278,4955,4956,4289,4293,4343,4425,4860,4687,4353,4297,4298,4961,4833,4962,4376,4695,4302,4303,4305,4731,4308,
4310,4311,4312,4466,4338,4794,4316,4317,4471,4968,4953,4974,4357,4714,4322,4977,4331,4663,4978,4335,4339,4969,4740,4747,4879,
4888,4348,4981,4352,4355,4699,4356,4988,4358,4867,4989,4363,4991,4992,4723,4365,4474,4995,4370,4507,4373,4724,4374,4967,4510,
4603,4379,4380,4999,4579,4923,4383,4384,5000,4982,4618,4387,4763,4388,4831,4392,4767,4394,4395,4408,4401,4959,4773,4406,4560,
4776,4870,4891,4896,4661,4424,4427,5008,4430,5010,4786,4601,4675,4789,5011,4445,5013,4793,4706,4795,4456,5014,4798,4468,4952,
4801,4802,4806,4551,4479,4803,5015,5003,4484,4810,4656,4487,4488,5021,4490,5023,4493,4494,5025,4820,5026,4976,4499,5030,4904,
4502,5024,4828,4506,4830,4765,4602,4692,4834,5032,4517,5034,4838,4521,5037,4523,4842,5038,4527,5040,4528,4913,5033,4849,4535,
4949,4852,5009,4565,4540,5041,4543,4544,4859,4686,4547,4862,4670,4555,5045,4866,4735,4561,4898,4777,5048,4566,4928,4874,4925,
4574,4877,4984,4725,5017,4881,4886,4883,5053,4958,4882,5054,4726,4594,5029,4778,4599,4893,5058,4609,4779,4610,4869,5060,4612,
4615,4617,5063,4825,4620,5065,4621,4622,4909,4910,5069,4943,4847,5071,4629,5073,4917,4631,4940,4970,5043,5074,4756,4641,4875,
5004,5019,4873,5080,4649,4650,4652,4933,5084,4655,5002,4657,4658,4939,4919,5059,4942,4912,4665,5088,5076,4947,5089,4851,4676,
4993,4800,4711,4954,4680,4681,4957,4885,4772,5050,4691,4693,4965,5081,4963,5079,4749,4710,4722,4920,4996,4972,4973,4712,5075,
4822,4716,4719,5006,5100,4728,4760,5102,4878,5072,5031,4987,4733,4736,4990,4738,4739,4951,4994,4743,4971,5012,5106,4754,4759,
5066,4936,4808,4926,5090,4979,5113,4783,4853,4785,4790,4997,4792,4797,4807,5115,4880,5018,4927,5117,4814,5027,4816,4827,4819,
4821,5022,5083,4890,4824,4986,4835,4848,4837,5122,5124,4840,4843,5039,4845,4856,5042,4921,5128,4865,5109,5047,4871,5092,4960,
5134,5135,4884,4887,5067,5056,5096,4894,4941,4899,5062,5061,4903,5139,4906,5001,5055,5108,4911,5126,4914,4985,4916,4922,4975,
4946,5143,5145,4966,4929,4964,5082,5028,4934,5148,5086,5125,4945,4948,5005,5101,5049,5093,5151,5095,5057,5147,5098,5132,4980,
5091,4983,5103,5104,5155,4998,5157,5068,5046,5158,5111,5112,5007,5114,5016,5137,5020,5118,5160,5121,5120,5035,5123,5036,5087,
5070,5127,5044,5164,5165,5152,5099,5133,5051,5052,5136,5116,5138,5064,5171,5154,5146,5077,5159,5078,5142,5097,5085,5178,5150,
5094,5131,5153,5141,5105,5156,5107,5110,5144,5119,5161,5175,5168,5129,5130,5166,5172,5163,5182,5174,5140,5167,5173,5170,5162,
5176,5177,5149,5179,5184,5181,5169,5183,5180]
,\[
2,5,1,8,9,10,3,4,7,14,6,17,19,22,23,11,27,12,31,13,33,16,37,15,40,
42,45,35,18,48,51,20,54,21,55,56,59,60,24,64,25,68,26,70,29,28,75,78,30,81,
32,34,84,83,87,89,36,91,39,95,38,98,100,103,104,41,107,110,43,113,44,115,117,46,121,
47,124,127,53,49,131,50,52,135,136,138,74,141,144,57,147,58,149,151,153,154,61,158,62,162,
63,137,66,168,65,171,173,67,175,69,166,179,181,71,182,72,185,73,188,190,191,192,76,195,77,
198,80,79,120,204,207,208,82,211,202,210,85,216,86,218,221,88,223,90,225,227,230,92,232,93,
94,235,97,239,96,242,244,247,248,99,251,254,212,101,102,258,259,261,262,105,106,265,268,108,270,
109,272,111,277,112,114,281,116,283,284,285,118,288,119,291,123,293,122,296,299,300,125,303,126,306,
184,128,129,264,130,315,133,317,132,165,320,134,167,323,324,327,139,330,140,333,336,142,338,143,316,
145,343,146,345,148,348,351,150,321,355,152,356,357,360,361,155,365,156,369,157,371,160,375,159,377,
380,161,381,164,163,384,386,387,389,390,170,312,169,395,397,172,399,174,402,405,176,408,177,411,178,
414,417,180,337,420,183,422,424,187,426,186,429,432,433,189,311,436,439,415,193,443,194,446,197,196,
252,249,453,253,199,456,200,201,461,463,203,466,214,205,206,469,471,236,209,255,474,213,478,480,215,
483,217,257,487,490,237,219,493,220,495,222,498,500,224,449,226,503,506,228,509,229,512,515,231,517,
233,519,234,521,472,524,526,238,528,241,532,240,535,537,540,541,243,412,546,245,549,246,551,552,451,
555,558,250,561,450,564,565,567,570,256,573,275,575,476,578,260,388,582,263,314,586,589,266,592,267,
595,289,269,599,271,601,603,605,606,273,610,274,612,615,276,617,278,619,279,624,280,628,282,460,631,
634,635,286,638,287,641,290,598,643,645,648,292,650,295,294,653,655,658,379,297,662,298,407,353,301,
302,668,305,304,671,623,373,307,676,308,679,309,681,310,684,394,313,689,341,692,319,318,695,340,698,
322,700,688,531,702,354,325,705,326,708,328,713,329,716,332,331,372,722,334,678,335,727,730,731,339,
733,735,738,342,741,344,743,745,748,749,346,751,347,754,756,349,759,350,763,352,766,767,769,719,772,
774,358,777,359,779,781,783,784,362,788,363,792,364,794,367,798,366,800,368,803,370,805,807,720,808,
811,813,374,815,818,376,821,823,824,378,827,828,830,670,834,382,837,383,840,841,842,385,711,846,849,
850,525,854,686,391,392,858,393,861,863,865,396,868,398,762,654,872,873,400,876,401,878,403,882,404,
885,406,888,889,410,890,409,893,895,544,896,899,413,902,440,905,639,416,909,418,725,419,458,914,915,
421,918,919,423,921,923,425,926,428,929,427,822,933,714,430,935,431,938,434,941,435,943,946,437,949,
438,952,955,441,958,442,960,445,444,965,588,969,545,447,448,609,548,977,452,454,604,455,981,457,985,
987,459,989,934,462,948,993,464,875,465,999,585,467,1002,468,1005,844,470,1010,1013,473,1015,477,475,1016,
479,482,481,1021,1024,1025,484,853,485,569,486,1032,1035,908,488,1038,489,529,491,492,1042,494,627,1045,1047,
496,1049,497,825,622,1054,499,1056,501,1058,502,1061,1064,1065,504,1068,505,1071,507,1074,508,717,511,1080,510,
1084,1085,513,1089,514,516,1093,1095,1098,1099,518,1102,1103,520,1105,1020,1109,522,1112,523,1115,1118,1119,527,1121,
1123,1040,1126,1128,530,1131,1132,534,1136,533,1139,1141,1144,1145,536,1148,1150,538,1153,539,1155,1004,1158,542,1161,
543,1164,1166,1167,1170,547,945,1173,550,1175,984,1178,912,553,1181,554,1184,1187,1188,556,1190,557,560,1193,559,
1194,964,1197,562,1200,563,1203,1205,1207,1208,566,1211,1212,568,1215,572,1217,571,1220,1221,1223,574,1225,857,1227,
576,577,1231,580,579,802,581,1236,1237,583,1240,584,1244,1245,1248,1249,587,1252,590,591,669,594,1256,593,1258,
1260,596,1262,597,1264,1000,1266,1233,600,1269,602,1271,973,980,1273,1274,607,1278,608,1281,1282,611,1284,1286,1287,
613,1290,614,1292,616,1057,1294,618,1296,620,621,814,1300,626,1302,625,642,1305,629,1306,1308,630,1311,1001,632,
1315,633,1185,1317,1017,636,637,640,680,1052,992,1323,1326,644,1328,1331,646,1333,647,1335,649,1336,683,1338,990,
651,1340,652,1343,870,1339,1345,1348,656,1351,657,833,1003,659,887,660,661,1360,664,663,1365,1367,665,666,667,
1186,1254,874,1374,672,1376,673,1378,674,1381,675,1314,677,726,1385,1386,1388,1257,682,1392,1192,1395,685,1398,687,
1400,797,1280,690,1402,691,1404,845,693,1408,694,1410,1412,696,697,699,1415,701,1243,703,900,704,1422,707,1424,
706,1427,1157,709,710,1433,1436,712,1046,715,1439,1391,1077,1316,718,898,1445,721,723,1276,724,1447,1448,1450,728,
729,917,1452,1455,732,906,734,1459,773,736,1463,737,1033,740,1466,739,1467,1113,1469,742,1472,744,1474,1477,1478,
746,747,880,1342,1484,976,750,1487,753,1491,752,1494,1496,1498,1499,755,1502,1504,757,1508,758,1511,761,1515,760,
795,1519,764,1520,1522,765,1457,1526,1529,768,1531,1534,1070,770,1537,771,1043,1230,1542,1543,1514,775,1547,776,1549,
1551,778,1554,780,1556,1018,1559,782,1561,1563,1565,1566,785,1570,786,1574,787,1550,790,1580,789,1582,1584,791,793,
1587,1589,1518,1592,1595,796,1598,799,1600,1602,1603,1604,801,1267,1607,1364,1611,804,1614,1616,962,806,1618,809,1621,
810,1623,1625,812,1628,1631,1528,816,1633,817,947,820,866,819,932,1637,1639,1051,1641,826,1644,1647,1648,829,1651,
1617,831,1655,832,1088,1659,836,1661,835,1664,839,1668,838,1671,1432,1673,1674,1675,843,1009,1680,1681,1420,847,1685,
848,1689,1690,851,852,1029,855,856,1239,1696,860,1698,859,1701,1703,1704,862,1324,881,1708,864,1709,867,1636,1277,
1713,1359,869,871,1718,1373,1037,998,1720,877,928,1723,879,1724,1725,884,883,1727,886,1428,1358,1729,892,1732,891,
1438,1735,1736,894,1737,1371,1739,897,1741,1742,901,1421,1743,1745,1748,903,1751,904,1754,907,910,1756,954,911,1761,
913,1764,927,916,1446,1768,920,1772,1414,922,925,924,1777,988,1765,1780,931,930,1784,1295,1722,936,1417,937,1728,
939,1744,1789,940,1792,942,1795,1798,944,975,1485,1799,951,950,1079,1803,953,1255,956,1808,957,1811,959,1814,1062,
1818,1819,961,963,1012,1235,1216,966,967,1828,968,1831,1833,970,1836,971,1840,972,1843,1845,974,1848,978,1471,979,
1852,982,1854,983,1856,1858,1859,986,1862,1344,1864,991,1867,1635,1146,994,1619,995,996,1874,997,1877,1232,1879,1882,
1883,1886,1006,1888,1007,1008,1891,1762,1011,1583,1895,1014,1898,1048,1900,1160,1019,1881,1903,1224,1022,1265,1023,1909,1320,
1026,1325,1027,1028,1914,1916,1030,1919,1031,1922,1464,1066,1034,1928,1036,1039,1246,1041,1740,1540,1044,1299,1939,1940,1050,
1943,1946,1053,1948,1055,1951,1953,1954,1060,1059,1958,1960,1816,1063,1964,1925,1966,1067,1970,1069,1971,1072,1638,1975,1073,
1977,1076,1980,1075,1982,1541,1078,1986,1082,1081,1926,1505,1083,1991,1993,1996,1997,1086,1615,1087,1171,2003,1091,2007,1090,
1149,1177,1092,2013,2014,1094,2016,2019,2020,1096,2022,1097,2023,2025,2026,1133,1100,1101,1253,1893,1104,2034,2035,1106,1107,
2037,1108,1949,1110,1927,2040,1111,2043,1114,1911,2046,2048,2049,1116,1117,2052,1957,1994,1120,2006,1122,2057,1124,2051,1125,
2061,1127,2063,1129,2065,2067,1130,2069,2027,1892,2073,1134,1135,2077,1138,2081,1137,2082,2084,2086,2087,1140,2090,2093,1470,
1142,1143,2097,2099,1869,1357,1147,2103,2010,2104,1569,2108,1151,2112,1152,1952,2115,1154,2117,2120,1897,1156,2123,2124,2126,
1159,1545,1163,2129,1162,1959,2134,1165,2137,2138,2140,2141,1168,1495,1169,1172,1793,1174,1839,1796,2146,1176,2012,2101,2148,
1889,1179,2150,1180,2152,1183,1182,1261,2154,1731,1189,2147,1191,2158,1488,2160,1726,1195,2163,1196,2166,1199,2168,1198,1834,
1202,1201,1835,2173,2176,1579,1204,2177,1851,1206,2182,2183,1209,2149,1210,2186,2187,2189,2190,1213,2194,1214,1624,1219,2198,
1218,2201,1407,2203,1890,2206,1222,2208,1509,2211,2212,1226,2215,1229,2217,1228,2220,2222,1697,1234,2224,2225,2227,2036,1238,
2229,2230,1242,2232,1241,2234,2236,1931,2240,1247,2011,1250,2221,1251,2247,2249,2251,1758,1393,2253,1259,1268,1263,1985,1907,
1829,1285,1270,2256,1272,2258,2259,2260,1275,2263,1279,1823,2265,1283,2266,1933,1321,2268,1288,1987,1289,2272,1291,2274,2276,
2277,1755,1293,1425,2280,2281,1297,1298,2285,2287,2289,1409,1301,1304,1303,2292,2294,2296,2297,1307,2298,1310,1309,2302,2304,
1312,2306,1313,2308,2311,2312,2313,1318,2317,1319,1322,1327,2321,2323,2165,1329,1652,1330,2326,1988,1332,2286,1334,2332,1337,
1750,1465,2337,1341,2340,1847,1567,2344,2047,1346,2347,1347,2349,2351,1349,1350,2354,1353,2356,1352,2358,1667,1354,1355,1356,
2359,2362,2365,1738,1361,2368,1362,2372,1363,1630,2373,2374,1366,1719,2378,2059,1368,2380,1369,1694,1370,2366,2382,1372,1375,
2384,1377,2385,2387,1379,2388,1380,1383,2392,1382,1665,1822,1384,2397,1453,1387,1786,1389,1390,1536,2404,1394,1533,2409,2162,
1396,2413,1397,2415,1399,2417,1776,2420,1401,2422,1403,2425,1626,1405,1406,2429,1512,2430,2431,2364,1411,2436,2396,1413,1783,
1416,1418,2440,1419,2443,1649,1423,1483,1426,2448,2450,2096,1429,2175,1430,2456,1431,2459,2460,1666,1434,2463,1435,2464,1437,
2157,1525,2466,1440,1441,1442,2468,1443,1444,2472,2474,1981,2476,1773,2480,1449,2482,1693,1451,2394,2398,2487,1632,1454,2490,
1458,1456,1530,1591,2367,2496,1460,2499,1461,2502,1462,2505,2507,2275,2510,2513,2032,1468,2516,2094,1850,2519,1473,2521,2524,
1475,1612,1476,2527,1937,1479,1656,1480,1481,1482,2535,2536,2144,1486,2239,2540,1489,1544,1490,2543,1493,2379,1492,2548,2355,
2551,2553,1609,1497,2556,1901,2559,1557,1500,1501,1781,1503,1506,1640,2564,2566,1507,2567,1510,2569,2570,1560,2572,1513,1546,
1517,1516,2578,2580,2582,2391,2585,1521,1524,2586,1523,2587,1527,2589,2453,1826,1532,2330,2594,1535,2597,1809,1539,1788,1538,
1577,2600,2601,2517,2604,1699,1548,2439,2592,2607,1552,2381,2611,1553,2614,1555,2560,2428,2618,1558,2621,2623,2626,2627,1562,
1844,2631,1564,2632,2633,2342,2636,1568,2638,2639,1572,2643,1571,2646,1841,1573,2649,1576,1575,2653,2655,2656,1578,1983,2659,
1581,2662,1824,2664,1585,1586,2454,2668,2080,1588,2671,2674,2433,1590,2676,1593,2678,1594,2679,1597,1596,2575,1913,2684,1599,
2418,1601,2687,2690,2691,1605,1606,2694,2697,2142,1608,2555,2408,1610,1613,2526,2209,2703,1620,2293,1622,1973,1627,2395,2399,
1629,2709,2710,2712,1634,2412,2714,1872,2715,1643,1642,2718,1790,2720,1645,1806,1646,2445,1650,2726,2371,1653,2411,1654,2107,
1657,2732,1658,2122,1660,2735,1663,1677,1662,2739,2741,1863,2743,1670,2746,1669,2749,2751,2752,2753,1672,2755,2756,2757,1676,
2738,1678,2762,1679,2764,2767,1682,2698,1683,1684,1687,2299,1686,2231,2774,1688,2776,2512,1691,1714,1692,2485,1695,2361,1846,
2781,1700,1769,2223,2785,1702,2786,1705,2787,1706,2789,1707,2792,2794,2795,2796,1710,1711,1923,1712,1880,2802,1715,2806,1716,
2400,1717,2811,1721,2377,2722,1730,2401,1734,2310,1733,2816,2245,2819,2161,2820,2821,1787,2823,1972,1746,2102,1747,1802,1749,
2830,1753,1752,2834,2837,2838,2839,1757,2842,2844,1759,2475,1760,1763,2783,2847,2849,1766,2015,1767,1770,2558,2213,1771,2856,
2858,2860,1774,2863,1775,2864,1778,2867,1779,2870,1930,2799,2873,1782,2876,2119,2878,2328,1785,2336,2599,2881,1791,2193,2885,
2887,1794,2890,1797,2891,2740,2894,2435,1800,1801,2825,2897,2898,1804,2901,1805,1807,2903,1810,2769,2907,2910,1812,2913,1813,
2916,2917,1815,1817,2181,2921,1820,2591,1821,2264,1825,2925,1827,2333,1830,2167,2928,2929,2118,1832,2931,2169,1838,2934,1837,
1899,2938,1842,2940,2629,2156,2941,1849,2180,2943,1853,1855,2947,1857,2948,2416,1945,2017,1860,1861,2937,1866,1865,2151,2952,
1868,2954,1870,2777,1871,1932,1873,2960,1876,1875,2964,2661,2965,1878,2801,2967,2968,2127,2969,2972,1884,2609,1885,1918,2978,
1887,2068,2980,2761,2033,2983,1894,2986,2704,1896,2989,2990,1902,2993,2995,2197,1904,2729,1905,1906,1908,2045,3000,1910,2998,
1912,3005,2042,1915,3007,3008,2953,1917,3012,1921,1920,3015,2800,3019,1924,1929,3022,2702,3024,3025,1934,3029,1935,2288,1936,
3032,1938,2988,3035,3038,1941,3039,1942,3041,1944,3043,3045,1947,3047,3048,1950,3051,3053,3054,1955,3058,1956,3060,2132,2933,
2695,3063,2588,1961,3067,1962,3070,1963,3073,3075,1965,2405,1968,1967,3078,3081,1969,3082,2320,3085,3088,1974,3090,1976,2444,
1978,3093,1979,3095,2902,2544,1984,3099,3101,2730,2271,3104,1989,1990,3109,1992,3111,3113,1995,3114,3116,1998,3119,1999,2000,
3123,2001,3127,2002,2004,3130,2005,2290,2009,2008,3134,3136,3138,2852,3141,2949,3144,2018,2771,3146,2021,3150,3151,2024,3154,
3155,3157,3159,2028,3162,2029,3166,2030,2031,3170,2056,2038,3171,3172,2039,2041,2091,3096,3175,2044,3178,2957,2078,2050,2532,
3183,2053,2054,3185,2055,2058,2315,2060,3190,2062,3192,2079,2064,3195,2066,3197,3199,3202,3203,2070,3206,2071,3209,2072,3211,
2075,3214,2074,2076,3217,3180,3219,3220,3087,2650,3224,2083,2667,3225,2085,3227,3229,3232,3233,2088,3235,2089,2754,3239,2092,
3240,2963,3243,2095,3246,3248,2098,2523,3250,2100,2610,2828,3253,2841,2105,3257,2106,2110,2109,3263,3265,2111,3267,2114,2113,
2116,3272,2930,3276,3056,3277,2121,3279,3281,2125,2226,3283,2128,3285,2131,2644,2130,3289,3291,2133,3292,2136,2135,2765,3296,
2139,3298,3300,2143,2145,3302,2850,3273,2172,3307,2153,3311,2155,2538,3313,2159,2768,2652,2745,3317,2164,2257,2770,3318,2630,
2498,2170,2171,3091,2446,2174,3324,2178,2179,3122,3328,3330,2184,3333,2185,3014,3336,3338,2188,2719,3339,3340,2191,3343,2192,
3346,2196,3347,2195,3310,2200,3349,2199,3352,3354,2202,3357,2204,3359,2205,3360,2207,2982,3361,2723,2210,2686,2214,3363,2216,
2219,2218,2999,3042,2305,3368,3369,2228,3372,2773,2233,3373,2235,3376,2484,2237,2924,2238,3379,2242,3382,2241,3140,2243,2244,
2246,3385,2846,2248,3374,3390,3391,2250,2252,3394,2254,2255,3397,3103,2261,3400,2262,3403,3404,2471,2534,2267,3409,2269,2270,
2426,3353,2273,3415,2896,3417,2835,2278,3422,2279,3423,2833,2283,3427,2282,2665,2829,2284,2329,3430,3395,3432,2291,2705,3435,
2489,2295,3437,2683,2872,3440,2300,3388,2301,3444,3445,2303,3366,2307,3438,3450,3452,3033,2309,2815,3454,2689,3455,2950,2314,
3189,2316,2319,2318,3462,3465,2322,3468,2324,3473,2325,3477,2390,2327,3480,2407,2331,2728,2334,2706,2335,2339,3485,2338,3488,
2530,2341,3491,2343,3126,2345,3443,2346,3496,2348,3499,3501,3503,2737,2350,2353,3508,2352,3511,3513,2357,2760,2360,2455,3518,
2784,2363,2680,2370,2369,3481,3268,3520,3521,2672,2375,2376,2469,3525,2547,2383,2958,3529,2386,3530,3532,2389,3535,2393,3537,
3538,2809,3188,3540,2402,2721,2403,2693,2406,2701,2658,3545,2410,2731,2414,2779,3168,2438,3551,2419,3553,2421,2853,2590,2423,
2424,3558,3412,2427,3561,2840,3563,3486,3565,2432,3371,2434,3567,2682,3570,2437,3573,3575,3576,2442,2441,3579,2447,3582,3583,
3050,2449,3584,2451,2766,2452,2793,2458,2457,3591,3593,3557,3028,2461,3598,2462,3600,3601,3603,3312,2465,3605,2467,2812,3609,
2470,3165,2994,3611,2473,3061,2868,2477,2478,3614,2479,3287,2481,3618,2483,3620,3381,3621,2486,3623,2488,3625,3001,3425,2491,
3626,2492,2493,3629,2494,2495,3574,3408,2497,3069,2500,2501,2504,2503,3635,3637,3640,2506,2727,3643,3644,2508,3414,2509,3648,
2511,2514,3649,2515,3651,2603,3654,2518,3657,2778,2520,3660,3661,2522,3663,2525,3664,3102,2528,3667,2529,2531,3670,3673,2533,
3407,3094,3676,3677,2537,3680,2539,3683,2541,3685,2542,3687,3097,3691,2545,3693,2546,3696,3698,3699,2549,2550,3704,3378,2552,
3706,3708,2554,3710,3713,3665,2557,3716,3717,2561,3718,2562,3721,2563,3724,3725,2565,3266,3728,2568,3731,3732,2571,3236,2574,
3736,2573,3739,3326,3743,2576,3745,2577,3749,3750,2579,3754,2798,2581,3756,3757,2583,2584,3198,3077,3581,3556,2593,3760,3762,
3027,2595,3766,2596,2598,3587,3771,3774,2602,3777,2605,2606,3247,2608,2975,3779,2613,2612,2640,2615,3786,2992,2616,3509,2617,
3790,2620,3645,2619,3793,3796,3797,2622,3215,2624,3803,2625,3631,3808,3210,2628,3810,3811,3783,3262,2634,2635,3813,2637,3784,
3817,3820,2641,2926,2642,3823,2645,3288,3825,3149,2647,2648,3829,3222,3833,2651,3772,3809,3686,2654,3004,3590,2657,3839,3842,
3638,2660,3740,2663,3844,3845,3329,2666,3849,3851,3804,2669,3855,2670,3522,3143,3859,2673,3630,2675,3860,3862,2677,3612,3864,
3459,3255,2681,3449,3727,2685,3337,3873,2688,3875,3031,3387,2692,3876,3877,3062,3881,2696,3884,2699,3888,2700,2959,3891,2987,
2871,3894,2707,2708,3711,3899,3902,3903,2711,3578,2713,3907,3909,2818,2716,2717,3542,3913,2724,2725,3916,3242,3919,2733,2744,
2734,3923,3258,2736,3928,3929,3931,2892,3933,3555,3869,2742,3921,2748,3937,2747,3939,3940,3941,2750,3471,3237,3064,3945,3946,
2758,3950,2759,3952,3890,3953,2763,3955,3295,3588,3958,2772,2775,3026,3421,2780,3264,3362,3962,2782,3270,3230,2788,2859,3965,
2791,2790,3624,3107,3682,3393,3969,2797,3970,2804,2803,3972,2805,3616,2808,3974,2807,3548,3386,2810,3668,3831,2813,2814,3979,
3980,2817,3983,3517,3785,3549,2822,3059,3986,3566,2824,2826,2827,3990,3429,3679,3991,2831,2832,3604,3761,3419,3995,2836,3997,
3985,3562,3934,2843,3856,2845,3998,3133,2848,4000,2851,3935,2854,2855,4003,2951,2857,3569,2862,4005,2861,4008,4009,2865,3925,
2866,2869,3870,4013,2875,2874,4017,3472,2877,4018,2879,4021,2880,3700,4026,2946,2882,3653,2883,4031,2884,4034,4035,2932,2886,
4014,2889,2888,4040,3461,2893,3135,2895,4046,4048,2985,2899,4050,2900,3074,4052,2904,2905,2906,2908,4057,2909,3299,3707,2911,
3275,2912,2915,2914,4065,4067,3932,4069,4070,2918,4073,2919,3017,2920,4078,2922,2923,2927,4081,3286,2936,2935,4083,4084,4086,
2939,2942,3049,2944,4088,2945,4091,4092,4094,4039,3964,4095,3871,3426,3914,2955,2956,4099,2961,4100,2962,3174,2966,4096,3341,
4105,2970,4107,2971,2973,2974,2976,4109,2977,3489,2979,2981,3912,4015,4115,2984,3274,4063,3495,4082,3536,2991,3169,3484,3187,
4120,4051,2996,3011,2997,3348,3086,3002,4122,3003,4125,3118,3006,4128,3009,4131,3010,4121,4133,3013,3332,4071,4137,3016,4077,
4138,3018,3021,3020,4142,4143,3023,3319,3959,3973,3030,3034,4148,4151,3036,3037,3948,3040,4155,3967,4158,3044,3046,4159,3767,
4160,4161,3052,3269,3055,4165,3057,4167,4168,3994,3065,4172,3066,3752,3068,4174,3218,3072,3204,3071,3516,4177,3076,3800,3079,
4098,3080,3672,4182,4183,3083,3951,3084,3396,4184,3089,4185,3544,4189,3092,4190,3173,3448,4130,3841,3098,4030,4194,3692,3100,
4195,3416,4196,3105,4199,3106,4202,3852,3108,4205,3110,4144,3112,4207,4209,3674,3115,4213,4214,3117,4217,3989,3121,4221,3120,
4223,3861,4179,3125,3124,4227,3729,3128,4228,4230,3129,4231,3132,3131,3977,4233,4043,4236,3137,4237,4239,3744,3139,4241,4242,
3142,3447,3145,4061,3633,3148,4245,3147,4247,3596,4249,4059,3152,3254,3153,3554,4254,3722,3156,4258,4259,3158,4262,3161,4265,
3160,4267,4268,3164,3163,4271,3167,3543,3528,4274,4275,3177,3176,4277,3883,4279,3436,3179,3956,3181,3918,3182,4282,3184,4284,
4286,3186,4287,4289,3191,3428,3221,3193,3194,3441,4256,3196,4146,3200,4295,3201,4164,4300,3205,4283,3208,4305,3207,4308,3650,
4132,4310,4312,4313,3212,3213,4317,3216,3245,3915,4322,4323,3457,3223,4188,4285,4326,3226,3822,4329,3228,4112,4330,3231,3748,
3234,3730,4288,3342,3238,3715,4336,4338,3666,3241,3244,4342,4343,3815,3249,4220,3252,3251,3868,4028,3256,3930,3592,3271,3259,
3684,3260,3261,4353,3961,4354,4355,4357,3474,4240,4360,3304,4362,4062,4126,4149,4087,3278,3872,3280,3405,3282,3284,3976,3439,
3527,4370,3290,4372,3431,3765,4374,3293,4041,3294,4375,4377,3355,4328,3297,4250,3301,4380,4045,3458,3303,3838,3305,4387,3306,
4389,3309,4392,3308,4395,3659,3993,4398,3315,3314,4402,3316,3988,3541,3320,3519,3321,3322,4408,3323,3325,4411,4400,3327,4415,
3837,4416,4064,4417,3331,4418,3874,4290,3334,3335,4421,4103,4369,4335,3345,4424,3344,4425,4427,3351,4430,3350,4433,3701,3413,
3577,3646,3887,3356,4436,3358,4437,3494,3364,3365,3367,4441,3370,4442,4053,3375,3377,3380,3383,4447,3384,3389,4450,4306,3392,
4244,3398,3399,3402,4455,3401,4457,4401,4460,3406,3411,3410,3608,4042,3490,4464,3418,3420,4466,4468,3424,4273,3434,3433,3896,
3523,4472,3442,4474,4477,4478,3446,3453,3906,3788,3451,3534,4379,4076,4482,3456,4314,4484,3460,4486,4487,3506,3463,3464,4489,
3467,3466,4494,4495,3469,4458,3470,4499,4501,3475,4502,3476,4058,3478,3885,3479,4047,3482,4506,3483,4166,4350,3487,4080,4111,
3658,3492,4510,4451,3493,3882,4038,3497,3498,3639,3500,3502,4517,3504,4518,3505,4521,3507,3510,3789,4523,4524,4349,4527,3512,
4530,3514,4532,3515,4535,4406,3572,4163,3634,3524,3867,3526,4538,3531,3742,4493,4238,3533,4423,4016,3539,4429,4541,4454,4462,
3546,3547,3550,4049,3552,3942,4253,4547,4548,3559,3560,4378,3594,3564,3987,4550,3568,4522,3571,3595,3580,4554,4020,3585,4557,
3586,4559,4561,3589,3854,4348,4390,4200,3927,3597,4465,3599,4569,3602,4483,3840,3607,3688,3606,4573,3610,4575,4578,3613,4579,
3615,4581,3617,4549,4358,3619,3655,3622,4226,3628,4586,3627,4341,4204,4588,3632,3799,4461,4440,4108,3636,3843,4591,3984,3641,
3642,4594,3647,4420,3652,3758,3656,4596,3782,4497,3662,4531,4141,3714,4600,4601,3669,3671,3675,3978,3832,3678,3735,4605,4154,
3681,4606,4181,4607,3836,4608,4610,3689,4613,3690,4616,4066,3695,4620,3694,4622,3770,3697,4384,4193,4024,4628,4631,3702,3703,
3705,4055,4635,3709,3898,4638,3712,4471,4224,4641,3719,4093,3720,3723,3850,3755,3726,4252,4068,4492,3733,4403,3734,3738,3737,
4106,4648,3741,4649,3780,4651,4652,3747,4655,3746,4657,4333,4660,4662,4665,3751,4668,4426,3753,4670,3763,4673,3759,4543,4439,
4675,4678,3764,3768,3769,4556,4682,3773,3776,3775,3816,4683,3778,4650,3781,4684,4001,3787,4685,4637,4687,3791,3792,4291,4693,
4694,3794,3795,4119,4699,3975,3798,3827,3801,4170,3802,3805,4704,3814,4705,3806,4709,3807,4711,4713,4175,4592,4716,3812,3926,
4718,3818,3819,3821,4719,3824,4361,3826,3828,3830,4568,4456,3835,3834,4722,4292,4724,4626,4725,4580,3846,3847,3848,4075,4218,
3938,3853,4603,3880,4731,3857,4156,3858,4553,4491,4646,4736,3863,4739,3865,3866,4619,4742,4743,4745,3878,3944,3879,4749,4750,
3886,4435,3889,3892,4754,3893,4755,3895,3897,4528,4760,4763,3900,4309,3901,4721,4767,4703,3904,4134,3905,4702,4514,3908,4407,
3910,4248,3911,3949,4773,3917,4414,4775,3920,4503,4368,3922,4777,3924,4011,4396,4347,4198,4449,3936,4225,4779,4780,4251,4269,
3943,4747,4397,4783,4519,4785,3947,4642,4787,3954,4280,4446,3957,3960,4790,3963,4304,3966,4453,3968,4792,4419,4536,3971,4010,
4793,4794,4795,4203,4337,3981,4032,3982,4797,4321,4085,4101,4452,3992,4444,4171,4339,3996,4381,4801,3999,4671,4002,4714,4004,
4803,4007,4405,4006,4558,4012,4808,4463,4810,4019,4811,4023,4022,4235,4025,4234,4246,4027,4346,4819,4029,4821,4822,4824,4033,
4383,4827,4036,4118,4037,4097,4044,4830,4756,4443,4054,4324,4056,4564,4060,4727,4837,4618,4432,4838,4814,4840,4598,4842,4072,
4114,4845,4074,4847,4505,4831,4848,4428,4079,4851,4852,4853,4089,4850,4090,4180,4689,4102,4104,4410,4859,4311,4110,4113,4862,
4116,4117,4860,4124,4123,4866,4365,4173,4867,4127,4869,4870,4129,4770,4135,4136,4873,4197,4139,4187,4140,4875,4663,4145,4734,
4147,4878,4366,4880,4150,4881,4152,4157,4153,4884,4885,4162,4316,4169,4832,4886,4176,4887,4890,4178,4883,4879,4565,4186,4467,
4765,4191,4192,4893,4201,4445,4691,4894,4206,4741,4898,4208,4768,4345,4210,4542,4211,4212,4904,4906,4215,4909,4216,4911,4639,
4219,4913,4914,4222,4917,4772,4634,4585,4846,4921,4229,4297,4625,4232,4922,4816,4584,4925,4927,4243,4686,4929,4529,4856,4255,
4293,4933,4257,4934,4936,4260,4902,4261,4448,4844,4263,4574,4264,4942,4266,4498,4798,4515,4560,4473,4270,4835,4809,4272,4949,
4276,4784,4953,4701,4278,4281,4303,4334,4958,4332,4294,4815,4296,4903,4959,4298,4299,4302,4817,4301,4963,4627,4966,4307,4653,
4969,4796,4970,4352,4900,4315,4877,4654,4972,4318,4973,4319,4475,4320,4976,4737,4325,4327,4331,4923,4602,4537,4340,4717,4367,
4344,4980,4351,4983,4985,4987,4961,4356,4707,4359,4990,4512,4363,4993,4364,4612,4776,4982,4984,4371,4422,4373,4751,4834,4748,
4376,4928,4998,4800,4590,4382,4826,4818,4385,4393,4386,4820,4388,4572,4391,5002,4394,4615,5003,4399,4766,4404,4806,4778,4409,
4412,4897,4413,4630,4481,5005,4520,4507,5009,4861,4431,5008,4434,4438,4857,4802,4789,4868,4571,4566,4849,4889,4459,4788,4469,
5016,4470,5017,4476,4891,4479,4480,4526,5019,4485,4865,4774,4769,4488,5022,4490,4647,5024,4762,4496,4599,5027,5028,5013,4500,
4920,4545,4504,4589,4570,4508,4509,4511,4513,4516,4872,4552,4907,5035,5031,4746,4988,4525,5039,4759,4715,4645,4534,4533,4758,
4544,4915,4955,4539,4667,4540,4829,4688,4735,4546,5042,5034,4551,5043,4555,5046,4946,4833,4563,5047,4562,5023,4604,4567,5051,
4962,4576,4805,4577,4614,5052,4582,4583,4757,4587,4807,5055,4593,4855,4595,4597,5057,5050,5059,4692,4609,4812,4908,4611,5061,
5062,4935,4617,4726,5064,4621,5066,5067,5068,4623,4892,4624,5070,5072,4940,4629,4841,4706,4632,4633,4636,5075,4640,5037,5077,
4643,5079,4644,4695,4991,4905,5082,4968,5085,4939,4656,4931,5049,4658,4659,4661,4964,4664,5087,4666,4669,4672,4674,5090,4899,
4676,4677,4680,4679,4723,5029,4681,4895,5076,4690,5093,5094,4943,4696,4697,5038,4698,4700,4753,4761,4708,4710,5097,4995,4712,
4919,5099,5096,4720,4947,4992,4728,5103,4729,4732,4730,4733,4843,4944,4738,4876,5104,5105,4740,5106,4744,4752,4954,4901,5014,
4764,5109,5100,4771,5111,4781,4782,5015,5114,5053,4786,4791,4825,4989,4799,5012,5116,4804,4948,4813,5032,4858,5120,4854,4999,
5036,5080,5074,4823,5033,4828,5102,4836,4863,5123,4839,4960,4978,4941,5125,5069,5011,5124,4864,5130,4957,4938,5132,4871,4874,
5108,4882,5010,5136,5122,4888,5063,4971,4896,5137,4918,5138,4912,5140,5141,5007,4950,4910,5126,5095,5089,4916,5135,5092,4979,
4924,5144,4926,4997,4945,4930,5115,4932,5146,5058,4937,5107,5149,5150,4951,4952,4956,4986,5081,4965,4967,4975,4974,4977,5118,
4981,5088,4996,5154,4994,5156,5000,5001,5110,5004,5159,5006,5026,5091,5073,5018,5060,5020,5021,5030,5025,5056,5113,5161,5127,
5040,5041,5162,5044,5166,5045,5054,5048,5169,5083,5168,5071,5121,5163,5086,5172,5065,5164,5078,5175,5134,5084,5151,5119,5117,
5174,5098,5101,5153,5179,5152,5178,5165,5112,5155,5129,5181,5128,5177,5160,5182,5131,5133,5176,5139,5145,5184,5142,5143,5157,
5147,5148,5183,5180,5158,5170,5167,5171,5173]
>;
print "Group G is U4(3):D8 < Sym(5184)";