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

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