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

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