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

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