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