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

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