/*
www-ATLAS of Group Representations.
(2^2 x 3).U6(2) represented as permutations on 8064 points.
*/

G<x,y>:=PermutationGroup<8064|\[
2,1,11,8,16,10,19,4,24,6,3,25,28,30,34,5,20,38,7,17,42,44,48,9,12,
52,55,13,43,14,62,49,54,15,46,50,70,18,73,47,75,21,29,22,82,35,40,23,32,36,
90,26,93,33,27,76,96,97,79,102,81,31,106,107,85,109,111,112,89,37,91,116,39,120,41,
56,122,123,59,128,61,45,132,133,65,135,137,138,69,51,71,142,53,146,121,57,58,150,125,126,
153,60,158,157,160,63,64,164,66,136,67,68,172,171,141,72,176,144,178,74,95,77,78,184,99,
100,187,80,192,191,194,83,84,198,86,110,87,88,206,205,115,92,210,118,212,94,215,182,183,98,
220,222,101,225,189,228,104,103,233,105,195,235,236,108,242,200,244,245,247,204,114,113,254,255,209,
117,260,119,213,262,265,148,149,124,269,271,127,274,155,277,130,129,282,131,161,284,285,134,290,166,
292,293,295,170,140,139,302,303,175,143,307,145,179,309,147,315,312,314,318,151,270,152,272,326,154,
330,276,156,336,335,333,340,159,283,162,163,346,286,287,349,289,165,354,167,168,294,169,363,362,366,
299,369,361,173,174,375,374,305,379,177,308,180,384,310,181,387,389,390,185,221,186,223,398,188,402,
227,190,408,407,405,412,193,234,196,197,238,239,418,241,199,423,201,202,246,203,430,429,433,251,436,
428,207,208,441,258,444,211,261,214,264,449,217,388,218,216,457,459,219,463,461,462,394,468,396,471,
224,475,473,477,226,403,481,231,485,230,229,491,490,484,232,495,494,497,416,417,237,502,504,240,507,
509,511,506,243,514,424,516,426,519,520,253,249,248,528,527,250,434,531,252,534,524,439,537,257,256,
542,543,443,259,548,547,551,448,263,555,556,266,313,267,268,566,564,565,322,571,324,574,273,578,576,
580,275,331,584,280,588,279,278,594,593,587,281,598,597,600,344,345,288,606,608,610,605,291,356,614,
358,617,301,297,296,625,624,298,367,628,300,631,621,372,634,304,637,378,306,642,641,645,383,311,651,
648,650,560,656,562,553,316,649,317,665,320,321,319,673,670,672,676,323,681,680,325,575,328,686,327,
690,329,692,582,583,332,585,696,339,334,702,701,699,707,338,337,712,713,342,341,718,343,601,720,722,
725,347,541,348,732,353,350,737,351,609,352,611,741,355,745,357,747,749,359,360,755,754,758,371,761,
753,365,364,768,627,368,629,771,370,774,633,373,780,779,777,503,376,377,790,789,668,381,380,797,796,
382,801,456,804,385,386,808,807,778,453,813,455,816,392,393,391,824,821,823,827,395,832,831,397,472,
400,752,399,840,401,842,479,480,404,482,846,411,406,851,850,849,856,410,409,861,862,414,413,867,415,
498,869,871,874,422,419,879,420,510,421,512,647,884,425,886,888,427,890,700,893,438,896,889,432,431,
903,530,435,532,906,437,909,536,440,913,912,442,919,918,819,446,445,926,925,447,930,612,451,458,452,
450,809,936,938,941,454,814,945,947,750,803,932,952,934,460,956,793,546,960,465,955,466,464,968,970,
467,973,829,976,470,469,981,834,835,983,474,986,985,989,476,993,478,997,844,845,483,847,1000,488,619,
487,486,1008,1007,1010,1003,489,1016,1015,1013,860,492,493,863,1025,1023,1029,496,868,499,870,500,872,873,501,
1040,931,1039,744,1045,786,505,1049,1051,1053,1048,508,880,1059,1061,513,1064,1063,729,515,1070,517,1072,518,660,
1076,577,526,522,521,1084,1083,523,894,1087,525,1092,1091,1095,1080,901,1090,529,1102,905,533,907,1105,535,910,
1110,540,559,539,538,914,1117,1119,1113,1122,731,1125,917,545,544,1132,966,667,959,1136,550,549,1141,928,929,
552,1146,661,554,1150,1114,558,557,652,1154,1115,1157,561,657,1161,563,1164,922,640,1168,568,1163,569,567,1176,
1178,570,1181,678,1184,573,572,1189,683,684,1191,1082,1078,1195,579,1199,581,1203,694,695,586,697,1206,591,590,
589,1212,1211,1214,1209,592,1220,1219,1217,711,595,596,714,1229,1227,1233,599,719,602,721,603,723,724,604,1241,
1243,1245,1240,607,738,1251,1253,937,613,1258,615,1260,616,623,618,1264,1005,620,759,1267,622,1272,1271,1275,1004,
766,1270,626,1282,770,630,772,1285,632,775,1290,636,635,781,1293,1295,788,639,638,1302,1174,818,1167,1306,644,
643,1311,799,800,646,727,662,1317,664,1153,653,883,654,1155,1156,655,1158,1159,1160,658,1162,659,1332,1329,1331,
1335,663,1340,1339,671,666,1344,1135,794,669,1351,1348,1350,1133,1356,792,1359,674,1349,675,1179,1367,677,1325,1183,
679,1185,1374,1372,1378,682,1381,685,1192,688,687,1385,1386,689,1390,1388,1198,691,1200,1394,1397,693,1401,1205,698,
1207,1404,706,900,892,1409,704,703,1414,705,1418,1417,710,1422,709,708,1428,1427,1430,1421,1433,1226,716,1228,715,
1230,1231,1437,717,1234,1443,1074,1236,1144,1237,1447,1239,1448,728,726,1455,1452,1454,1458,730,1462,1461,736,733,1466,
734,1244,735,1470,1472,1248,1469,1476,739,1252,740,1254,743,742,1255,1482,1484,1486,1257,746,1491,748,1261,1032,1495,
751,1498,838,1501,765,1504,837,757,756,1510,1266,760,1268,1513,767,763,762,1521,1520,764,1526,1525,1528,1279,1531,
1517,769,1536,1284,773,1539,1287,1288,1289,776,1291,1543,784,806,811,1292,782,1294,783,1553,1552,785,1558,1557,787,
1296,1562,1541,1299,1565,1561,791,964,1570,958,795,1576,1575,1573,1581,798,1584,1313,1034,1314,802,1588,1587,1590,805,
1595,1594,935,810,939,940,812,942,943,944,815,946,822,817,1602,1305,923,820,1609,1606,1608,1303,1614,921,1617,
825,1607,826,971,1624,828,1564,975,830,977,1630,1628,1633,833,1636,836,984,1638,1639,839,1643,1641,992,841,994,
1647,1650,843,1654,999,848,1001,1657,855,1660,853,852,1665,854,1669,1668,859,1673,858,857,1679,1678,1681,1672,1684,
1022,865,1024,864,1026,1027,1688,866,1030,1694,1033,1035,1697,1037,878,875,1700,876,1052,877,1704,1706,1056,1703,1710,
881,1060,882,1062,1065,1713,1069,885,1717,887,1073,1721,1723,891,1727,1086,895,1088,1730,902,898,897,1738,1737,899,
1743,1742,1745,1099,1748,1734,904,1753,1104,908,1756,1107,1108,1109,911,1111,1116,915,1118,916,1126,1762,1366,1129,1763,
1761,920,1172,1768,1166,924,1774,1773,1771,1779,927,1782,1143,1145,1783,1784,933,1591,1788,1789,1598,1547,1481,1563,974,
1599,1487,1794,949,1586,950,948,1801,1802,951,1805,1786,1808,954,953,1813,1814,1815,957,1818,1820,1821,962,969,963,
961,1832,1829,1831,1835,965,1839,1838,967,1618,1842,1843,1825,1848,1827,1298,972,1851,1854,1542,1714,979,1629,978,1478,
1860,1857,980,1864,1863,982,1637,1870,1871,987,988,1877,991,1879,990,1883,1884,1886,995,1648,1649,996,1651,1893,1653,
998,1898,1656,1002,1904,1903,1906,1907,1006,1912,1911,1909,1664,1009,1919,1902,1012,1011,1925,1926,1020,1014,1674,1931,1929,
1936,1018,1017,1941,1019,1682,1944,1021,1949,1948,1687,1028,1953,1690,1956,1692,1693,1031,1960,1696,1962,1036,1038,1544,1967,
1968,1042,1966,1043,1041,1976,1978,1044,1980,1555,1047,1046,1984,1985,1987,1050,1701,1992,1057,1054,1997,1055,2000,2001,2003,
1058,1711,1375,1712,2008,1323,1066,2012,1067,2015,1068,1327,1627,2018,2017,1071,2023,2021,2026,1075,2029,2030,1077,2034,2035,
1079,2039,2038,1081,2043,2042,2046,1725,2041,1085,2052,1729,1089,1731,2056,2059,1101,2062,2055,1094,1093,2067,2036,2069,1097,
1096,2074,1098,2078,2077,1100,1749,2082,1751,2086,1103,2089,1755,1106,2094,1128,1370,1112,1449,2097,2098,1322,2100,1759,2103,
2096,1121,1120,2110,1460,2113,1124,1123,2116,1760,1131,1127,1324,1182,1130,2123,2122,2125,2120,1134,2129,2128,1139,2133,1138,
1137,2139,2138,2141,2132,1140,1780,2145,1142,2150,1330,1148,1147,2153,1149,1318,2154,2158,1152,1151,2163,2164,1321,1326,2167,
2168,1165,2171,2173,2174,1170,1177,1171,1169,2185,2182,2184,2188,1173,2192,2191,1175,1360,2195,2196,2178,2201,2180,1180,2204,
2207,1488,1187,1373,1186,2213,2210,1188,2217,2216,1190,1382,1193,1194,2226,1197,2228,1196,2232,2233,2235,1201,1395,1396,1202,
1398,2242,1400,1204,2247,1403,1208,2253,2252,1210,2257,2256,2254,1413,1213,2264,2251,1216,1215,2270,2271,1224,1218,1423,2276,
2274,2281,1222,1221,2286,1223,1431,2289,1225,2294,2293,1436,1232,2298,1439,2301,1441,1442,1235,2305,1445,1238,2309,2310,1242,
1467,2315,1249,1246,2320,1247,2323,2324,2326,1250,1477,1479,1256,1371,2333,2332,1259,2338,2336,2341,1262,2345,1263,2348,1508,
2347,1265,2354,1512,1269,1514,2358,2361,1281,2364,2357,1274,1273,2369,2343,2371,1277,1276,2376,1278,2380,2379,1280,1532,2384,
1534,2388,1283,2391,1538,1286,2396,2397,1549,1560,1301,1297,1300,2406,2405,2408,2403,1304,2412,2411,1309,2416,1308,1307,2422,
2421,2424,2415,1310,1582,2428,1312,1315,1316,2031,1337,2155,1319,1320,2442,2439,2441,2444,1328,2445,2446,2028,2448,2152,2450,
1333,1334,2435,2454,1336,2156,2437,1338,2462,2461,2459,2466,1341,1342,1343,2470,2170,1345,1998,1346,1347,2478,2475,2477,1363,
2483,1365,2486,1353,2476,1354,1352,2493,2495,1355,2497,2498,1358,1357,2502,2194,1361,1362,2506,2198,2199,2509,1364,2202,2513,
1368,2205,2517,1369,2519,2521,1377,2211,2212,1376,2527,2528,1380,1379,2534,2533,2536,2220,2539,1383,1384,2544,2542,2223,2547,
2541,1387,2551,1389,2229,2553,2555,1391,1392,2234,1393,2562,2237,2564,2566,2240,2568,1399,2571,2570,2574,2246,1402,2248,2524,
2579,1416,1406,1405,2582,1407,1408,2587,1412,2590,1411,1410,2258,2595,2597,2589,2600,2263,1415,2265,2604,2092,2606,2374,1419,
1420,2613,2612,1425,2275,1424,2277,2278,2279,2616,1426,2623,2622,2620,2626,1429,2287,2611,1432,2290,2291,2635,1435,1434,2640,
2296,2297,1438,2645,2644,1440,2649,2303,2304,1444,2653,1446,2307,2308,2095,1453,1450,1451,2664,2661,2663,2434,2106,2659,2671,
1456,2662,1457,2013,1459,2656,2112,2677,1463,1464,2679,1465,2682,2312,2681,2686,1468,2316,2690,2692,2688,1471,1819,2695,1473,
1474,2701,1475,2327,2328,2705,2707,1480,2711,2712,2710,1483,1979,2718,1485,2331,1490,1489,2723,2724,1493,2726,1492,2730,2731,
1494,2342,1797,1496,1497,1785,2736,2738,1499,1500,1523,2743,1503,1502,2746,1509,1506,1505,2349,2753,1507,2756,2757,2351,2760,
2750,1511,2765,2356,1519,1515,2359,2360,1516,2772,2771,1518,2365,2767,2776,2775,1522,2473,1524,2372,2782,2269,2786,1527,2789,
2378,1530,1529,2796,2769,2383,1533,2385,2801,2387,1535,2806,2805,1537,2812,2811,1922,2395,1540,1965,1551,1545,1546,2818,1548,
2822,2821,1550,2827,2826,1973,2816,2832,2825,1554,2834,1982,1556,2836,2837,1559,2400,2401,2839,1569,2842,1567,1566,2847,1568,
2849,2850,1572,1571,2853,2854,1580,1574,2860,2859,2857,2865,1578,1577,2869,1579,2425,2872,2427,1583,2876,2430,2431,2432,1585,
2880,1799,1589,1592,1787,1806,2817,1593,2889,2888,2886,2893,1596,1597,2897,2895,1600,1601,2900,1817,1603,2321,1604,1605,2905,
2807,2904,1621,2910,1623,2913,1611,2903,1612,1610,2920,2922,1613,2924,2925,1616,1615,2929,1841,1619,1620,2933,1845,1846,2936,
1622,1849,2940,1625,1852,2944,1626,2845,2946,1632,1858,1859,1631,2952,2953,1635,1634,2957,2958,1868,2960,2754,1874,2964,2742,
1640,2968,1642,1880,2970,2972,1644,1645,1885,1646,2979,1888,2569,2982,1891,2984,1652,2985,2643,2987,1897,1655,1899,2949,2992,
1667,1659,1658,1663,2997,1662,1661,1913,3002,3003,2996,3006,1918,1666,1920,3010,2394,3012,2072,1670,1671,3017,2770,1676,1930,
1675,1932,1933,1934,3020,1677,3026,3025,3023,3029,1680,1942,3016,1683,1945,1946,3038,1686,1685,3043,1951,1952,1689,3047,3046,
1691,3051,1958,1959,1695,3055,1963,1964,1698,1699,3059,1989,3058,3062,1702,1993,2610,3066,3063,1705,2172,3069,1707,1708,3075,
1709,2004,2005,2809,3080,2016,1716,1715,3085,3086,1719,3088,1718,3092,3093,1720,2027,1740,3097,1722,3100,1726,1724,2044,3105,
2049,3108,2586,1728,3113,2054,1736,1732,2057,2058,1733,3119,3118,1735,2063,3115,3123,3122,1739,2583,1741,2070,3129,1924,3133,
1744,3136,2076,1747,1746,3143,3117,2081,1750,2083,3148,2085,1752,3152,3151,1754,3154,2804,2267,2093,1757,1758,3160,3159,2117,
2118,3161,1767,3164,1765,1764,2532,1766,3169,3170,1770,1769,3173,3174,1778,1772,3178,2572,3177,3183,1776,1775,3187,1777,2142,
3190,2144,1781,3194,2147,2148,2149,2709,1972,1803,2883,1807,3201,1791,2896,1792,1790,3208,1793,1795,1796,2657,1798,3213,1800,
3215,3216,2737,1804,3220,3218,3222,2885,1811,3226,1810,1809,2890,3231,3225,1812,3233,2898,3234,1816,2901,2902,2068,3237,1823,
1830,1824,1822,2906,3240,3242,3245,1826,3250,3249,1828,3256,3253,3255,3149,3261,3238,1833,3254,1834,3267,1836,1837,3273,3272,
3270,1840,2930,2931,2932,1844,3281,3283,1847,2937,3247,2939,1850,2941,3290,2943,1853,3292,1855,3295,1856,2947,3298,1900,2950,
3297,1861,1862,3305,3304,3302,2407,1866,1865,3311,1867,3312,3313,1869,2961,1876,1873,3315,1872,3319,3321,1875,2965,3324,3071,
1878,3327,1881,2971,1882,3329,3332,2975,3326,2977,3337,1887,2980,1889,3342,1890,2983,1892,2238,1895,1894,2418,3350,1896,3182,
3353,2990,2991,1901,3355,3098,1905,2370,3357,3358,2353,1908,3363,1916,1910,3369,3368,3366,3001,1914,2683,1915,3004,3378,1917,
3383,3382,3009,1921,3011,1923,3389,3388,3132,2317,1943,1928,1927,3397,3019,1935,2687,3021,3022,1939,3402,1938,1937,3027,3401,
1940,3030,3410,3032,3033,3360,3394,3417,3037,1947,3422,3421,3420,3042,1950,3044,3045,2244,1955,1954,3431,3432,3050,1957,3052,
3053,3439,1961,2879,2881,1981,2447,2815,1974,3445,1970,1977,1971,1969,2828,3453,3455,2714,3459,2831,1975,3449,3451,3442,3461,
3196,1983,3214,1986,3464,1990,1988,2596,3469,3471,1991,2617,1996,3064,1994,3475,1995,3478,3477,1999,3070,2967,3482,3484,3074,
2002,3474,3077,3490,2006,3492,2007,3494,2433,2011,2009,2010,3500,2668,3503,3499,3504,2014,3505,3082,3506,3508,2019,2020,3286,
2022,3514,3513,3517,2024,2025,3094,3095,3522,3056,2032,2453,2033,3527,3525,3529,2225,2037,2994,3462,2040,3533,3532,3536,2051,
3103,3531,2045,2222,3542,2047,2048,3549,3548,2050,3109,3553,3111,3112,2053,3114,2064,3116,2080,2273,2061,2060,3562,3563,2066,
2065,3124,3567,3126,3406,3128,2071,3574,3131,3015,2073,3578,3577,2075,3584,3583,3587,3140,3141,3582,2079,3541,3558,3146,3147,
2084,2917,3599,2393,2088,2087,2176,3603,2329,3153,2091,2090,3608,3156,2658,2107,2157,2099,3157,3614,2102,2101,3618,3619,2109,
2105,2104,2665,3626,3628,2670,2108,3623,2111,2878,2114,2115,3310,2119,3162,3633,2121,3636,3635,2208,3581,2124,3631,2126,2127,
3644,3643,2130,2131,3649,3648,2136,3651,2135,2134,3179,3654,3656,2988,2137,3662,3661,3659,2140,3188,3287,2143,3191,3192,3193,
2146,3671,2835,2654,2151,2655,3674,2436,3675,2458,2161,3679,2160,2159,2463,3277,3678,2162,3683,2166,2440,2165,2468,3689,2169,
2471,2472,2183,2177,2175,2479,3693,3695,3698,2179,3703,3702,2181,3709,3706,3708,2802,3714,3491,2186,3707,2187,3720,2189,2190,
3726,3725,3723,2193,2503,2504,2505,2197,3732,3734,2200,2510,3700,2512,2203,2514,3741,2516,2206,3743,2209,2522,3746,2249,2525,
3745,2214,2215,3751,3634,3750,2218,2219,3585,2221,2540,3557,3756,2224,2548,3759,2697,2227,3761,2230,2554,2231,3762,3765,2558,
3551,2560,3768,2236,2563,3349,2239,2567,2241,2243,3429,2245,2864,3776,2577,2578,2250,3463,2744,3594,2261,2255,3781,3780,3779,
2594,2259,2260,2598,3787,2262,3792,3791,2603,2266,2605,2268,3797,3796,2785,2288,2272,3560,2615,2280,2618,2619,2284,3803,2283,
2282,2624,3802,2285,2627,3811,2629,2630,3538,3559,3589,2634,2292,3822,3821,3820,2639,2295,2641,2642,2300,2299,3829,3830,2648,
2302,2650,2651,3836,2306,2735,3839,2313,2311,3844,3846,2314,2319,2689,3396,2318,3851,3850,2322,2696,2550,3855,3857,2700,2325,
3392,2703,3863,3607,2330,3865,2720,3866,3303,2334,2335,3737,2337,3872,3354,3875,2339,2340,2732,2733,3880,2344,2581,3356,2346,
3882,3335,2751,3881,2350,3889,3888,2352,2761,3393,2763,2764,2355,2766,2366,2768,2382,2363,2362,3893,3894,2368,2367,2777,3898,
2779,3807,2781,2373,3904,2784,2609,2375,3908,3907,2377,3913,3912,3336,2793,2794,3911,2381,3314,3377,2799,2800,2386,2490,3423,
2390,2389,2810,2392,3601,2814,2819,3925,2399,2398,2402,2840,3931,2404,3933,3932,3910,3929,2409,2410,3939,3938,2413,2414,3944,
3943,2419,2417,2861,3948,3950,2575,2420,3956,3955,3953,2423,2870,3738,2426,2873,2874,2875,2429,3965,2676,3495,3523,3609,3610,
2438,3968,3970,3685,3686,3612,3973,2443,3969,3496,3975,3976,2449,2678,2451,2452,3978,2456,3980,2455,3528,2457,3984,3677,2465,
2460,3990,3989,3987,3278,2464,3682,2467,2469,3995,3994,2474,2492,3692,2480,3997,2481,3696,3697,2482,3808,2511,4005,2485,2484,
4009,4010,2488,2494,2489,2487,3710,4018,4020,4023,2491,3322,4026,4014,4027,4016,2496,4030,4028,2501,4034,2500,2499,4039,3728,
4033,2891,3230,3730,3731,2507,3733,2508,3669,3736,2725,2871,4049,3740,2515,4053,2518,4056,4055,2520,3744,2526,2523,3747,3748,
4061,2531,3084,2530,2529,4067,4068,4063,4071,2838,2535,2537,2538,3144,2543,4077,4075,3545,2545,3755,2546,3262,3758,2549,4083,
2559,2552,3555,2556,4087,3764,2557,3766,3767,3102,3139,2561,4095,4094,3769,3347,2565,3576,3771,3772,4102,3341,4105,2981,2573,
3775,4110,2576,3090,2580,3099,2584,2585,4113,2631,3374,4112,2588,4117,3861,2593,4120,2592,2591,4125,4124,3784,4119,3361,3786,
3552,3145,2599,3788,3789,4131,2602,2601,4024,3579,3794,3441,2608,2607,3572,4138,3076,3110,2632,3799,3065,2614,3556,3800,3801,
2625,2621,4148,4147,4145,2780,3699,3809,3810,2628,4153,3813,4155,3815,3593,3841,2633,3818,3859,2638,2637,2636,3150,4159,3824,
3825,4162,3827,2986,3828,2646,2647,4166,4135,3832,3833,3834,3835,2652,4170,3387,2674,3977,3966,2660,4175,4172,4174,2672,3622,
2673,3624,2666,4173,2667,3501,3627,4182,2669,4185,2675,2745,2993,2680,4188,3817,3842,4187,2684,4193,2685,3847,3848,2702,2691,
4196,2694,2693,3852,3853,3854,2698,4201,2699,4204,3819,3860,3778,3862,2704,2919,2706,3864,2708,3197,3210,4212,4213,2716,2713,
3456,4216,2715,2717,2719,2721,3867,2722,4220,4203,4218,4223,2728,2727,3873,4226,2729,4229,4227,3878,3879,2734,3198,4233,2740,
4235,2739,3221,2741,4237,2752,2748,2747,4243,4242,2749,4246,3034,3885,4239,2797,2755,4250,4249,3318,4252,3887,2759,2758,3657,
2976,3376,2762,3891,3328,3398,2962,2798,3035,3018,3892,2773,2774,4262,3896,3897,2778,4265,3900,3945,3902,3390,3903,2783,4271,
3343,2788,2787,3385,4274,2846,2795,2791,2790,2959,4279,2792,3914,3036,3915,3916,4277,3415,2995,4283,3919,4285,3920,2803,3605,
3155,4287,2808,4290,3600,3923,3079,2813,3199,3200,4294,3206,3924,2820,4298,4296,4299,2823,2824,4303,4302,3450,2833,3452,4301,
2829,3457,2830,4310,4311,2848,3930,2841,2955,2844,2843,4318,4278,4276,3935,4313,4323,2852,2851,3940,4327,4330,2856,2855,3901,
2858,4334,3947,2862,3949,2863,3550,4340,2868,4343,2867,2866,3957,4348,4350,4342,4351,3962,3284,3964,2877,3838,4217,2882,2884,
4358,3224,2892,2887,4362,4066,3232,2894,4366,3204,3205,4368,4367,2899,4371,4370,3239,2907,4289,2908,3243,3244,2909,3407,2938,
4379,2912,2911,4089,4382,2915,2921,2916,2914,3257,4390,4392,4395,2918,3757,4398,4386,4399,4388,2923,4402,4400,2928,4406,2927,
2926,4411,3275,4405,3279,3280,2934,3282,2935,3963,3285,3087,3189,4420,3289,2942,4424,2945,3296,2951,2948,3299,3300,4429,2956,
2954,4317,4431,4316,3320,2963,3715,3323,2966,4436,2969,2973,4439,3331,2974,3333,3334,2978,3340,3906,3344,3345,4447,4336,3351,
2989,4449,3488,3000,2999,2998,4146,4453,3372,4451,3375,3005,3379,3380,4458,3008,3007,4396,3386,3837,3014,3013,4464,3395,3399,
3400,3028,3024,4123,4469,4468,3127,3246,3408,3409,3031,4474,3412,4475,3414,3917,3466,3418,3486,3041,3040,3039,4478,3425,3426,
4479,3428,3430,3048,3049,4461,3435,3436,3437,3438,3054,3795,3672,3057,4485,3416,3467,4484,3060,4490,3061,3472,3473,4491,3068,
3067,3479,3480,3481,3072,4494,3073,4495,3419,3487,3365,3489,3078,3493,3081,3083,3507,4065,4064,4499,4267,3089,3515,4505,3091,
4508,4506,3520,3521,3096,3104,3101,4261,4513,3539,4514,3547,3107,3106,3951,3554,3561,3120,3121,4240,3565,3566,3125,4523,3569,
3650,3571,3573,3130,4527,3770,3135,3134,4530,3167,3142,3138,3137,3588,3590,3591,3816,4533,3596,3598,4001,4536,3606,3613,3158,
4540,4538,4541,3168,3632,3163,3166,3165,4531,3640,4543,4548,3172,3171,3645,4552,4554,3176,3175,3570,4073,3653,3180,3655,3181,
3890,4561,3186,4564,3185,3184,3663,4569,4571,4563,4572,3668,3735,3670,3195,3444,4577,3202,3209,3203,3974,4295,3207,3971,3211,
3212,3443,3217,4234,3219,4588,4356,4357,3223,4594,4360,3229,4596,3228,3227,4602,4601,4604,3236,3235,4372,3241,4611,4374,4375,
3921,4616,4293,4619,3248,4624,4623,4621,3251,3252,4629,4626,4628,3264,4634,3266,4389,3258,4627,3259,4393,4394,3260,3384,4081,
3263,3265,3269,4645,3268,4403,4404,3276,3271,4655,4654,4652,4410,3274,4328,4412,4413,4414,4415,4416,4417,4665,4667,3288,4671,
4670,4423,3291,4425,3294,3293,4674,4675,4427,4428,3301,4430,3308,3869,3868,3681,3306,3307,4432,4682,3309,4684,3946,4686,3317,
4528,3316,4689,4194,4434,4025,4202,3325,4200,4437,4438,3330,4696,3704,4441,4698,4699,4207,3339,3338,4444,4700,4108,4272,4445,
4446,3346,4702,4703,3348,4705,4503,4098,4205,3352,4137,3362,3359,4711,4712,4477,3364,4715,3373,3367,4717,4716,3804,3371,3370,
4723,4455,4257,4672,4457,3381,4726,4641,4275,3434,4462,4111,3391,4268,4732,4258,4195,4736,4467,3405,3782,3404,3403,4742,4741,
4709,4473,3411,4748,3413,4751,4282,4209,3424,4206,4280,3427,4224,4755,4481,3433,4759,4482,4483,3440,4761,3447,3454,3448,3446,
4768,4765,4767,4215,4772,4307,3458,4308,4309,3460,4780,3468,3465,4783,4784,4785,4489,3470,4079,4142,3476,4790,4493,4793,4084,
3483,4082,3510,3485,4109,4160,4093,4796,4158,4377,4498,3497,3498,4801,4179,3502,3673,3511,4500,3509,4795,4502,3512,4163,4504,
3516,3519,4812,3518,4509,4816,4511,3524,3979,3526,4821,3530,4463,3540,3895,4823,3535,3534,4829,4496,3537,4832,4749,3544,3543,
4695,3546,4835,4339,4838,4518,4128,4141,4842,4520,3883,3564,4847,4848,3568,4851,3871,4139,4525,4852,3575,4099,4529,3580,4134,
3639,3592,3638,3586,4161,4532,4157,3595,4861,3597,4292,3602,4865,3694,3604,4870,4286,4003,3611,3972,3616,4876,3615,3617,4880,
3625,3621,3620,4886,4885,4888,4181,4183,4184,3629,3630,4542,3641,4787,4545,3754,3752,3637,4862,4546,4859,4547,3642,4897,4896,
4551,3646,4040,4553,3647,4906,4905,4904,3652,4908,3774,4911,4559,4254,3658,4915,3666,3660,4921,4920,4918,4568,3664,4570,3665,
3667,4929,4928,4575,4576,3982,3983,3676,4934,3986,4936,3680,4940,4939,4942,3684,3688,3687,4947,3691,3690,3996,4952,3999,4000,
4956,4210,4747,3701,4962,4961,3705,4967,4964,4966,3717,4972,3719,4017,3711,4965,3712,4021,4022,3713,3793,4435,3716,3718,3722,
4982,3721,4031,4032,3729,3724,4676,4990,4988,4038,3727,4041,4042,4043,4044,4045,4046,4999,5001,3739,5005,5004,4052,3742,4054,
5008,4059,4060,3749,4062,3753,4069,5013,4080,4397,3760,4085,4086,3763,4688,4090,5020,5021,4096,4100,4101,3773,5022,3777,5025,
3785,4758,3783,4739,4127,5006,4130,3790,5030,4978,3831,4136,4238,3798,5036,5038,4144,3806,3805,5040,4721,4825,4152,3812,3814,
4714,4116,3823,3826,5048,4165,4168,4169,3843,3840,4789,5052,5053,4192,3845,3849,4781,4198,3856,3858,4245,4830,4211,3870,4219,
5059,4222,4107,4225,3874,3877,5066,3876,4230,5069,4232,4760,3884,3886,5074,4560,5077,4256,5080,4260,5083,5084,3899,5086,4269,
5087,3905,4076,4273,3909,3934,4281,3918,5095,5096,3922,5100,3927,5103,3926,3928,4312,3936,5055,4315,4320,4322,3937,4894,5110,
4326,3941,4329,3942,5116,4849,5117,5119,4338,4516,3952,5123,3960,3954,5129,5128,5126,4347,3958,4349,3959,3961,5137,5136,4354,
4355,3967,5142,5140,5141,5146,5148,5150,4778,4818,5152,5153,3981,5157,4779,4931,4932,4933,3985,5160,3988,5164,5163,5161,5168,
3992,3991,5172,3993,5175,4949,4950,5174,4649,5179,3998,5185,5182,5184,5188,4002,4957,5192,4004,5195,4008,5197,4007,4006,5201,
4012,4019,4013,4011,5212,5209,5211,5215,4015,4973,5219,4815,5205,5222,5207,4133,5122,5217,4981,4029,5231,5229,4985,4609,5233,
4987,4037,5237,4036,4035,5241,5240,5243,5236,4995,4996,4902,4997,4998,4047,5246,4048,5002,5249,4051,4050,4129,5007,4057,4058,
4407,4690,5259,5011,5261,5012,4070,4808,4072,5265,4074,5090,4440,4078,4677,5272,5016,5275,5277,4251,4088,5280,4091,4092,4097,
5285,4103,4104,5289,4106,5292,5291,5293,4151,4731,4114,4115,5298,4476,4118,4122,4121,5026,5303,5306,4471,5309,4126,5312,5313,
4132,5318,5317,5320,5034,4710,4140,5327,5326,5328,4143,5331,5332,4454,5335,4150,4149,5340,5341,5342,5044,4378,4154,4248,5045,
4156,5046,5047,5349,4164,5353,5352,4452,4167,4512,4171,5359,5361,5362,4177,5360,4178,4176,5367,5369,5370,4180,5372,4804,4805,
4890,4891,4584,4590,4186,4492,5374,4189,4190,4191,5380,4314,5383,4486,4197,5386,5387,4199,5058,4221,4208,5392,5393,5358,5395,
4214,5399,5400,4774,4775,5061,4840,4683,5403,5405,5407,4228,5410,5409,4637,4231,5070,4585,5414,5139,4236,5417,4241,5419,4472,
5071,5035,5424,4244,4497,5428,4247,4855,5432,4253,5437,5436,4255,5440,4807,5442,4259,5446,5445,5448,5450,4263,4264,4556,5085,
4266,4270,5461,5460,4833,5463,5092,5093,4321,5094,4284,4319,5471,5472,4288,5477,5476,5098,5099,4291,5483,5482,5143,5162,5484,
4297,5487,5486,5489,4300,5492,5491,5493,5490,4305,4304,5498,4306,5479,4776,4777,5500,5108,4549,5502,4325,4324,5506,5505,5508,
5114,4662,5510,4333,4332,4331,5514,4335,5118,5517,4337,5522,5521,4979,4341,5124,5526,4346,5530,4345,4344,5535,5534,5537,5529,
5525,5541,4353,4352,5138,4591,4592,4593,4359,5547,4361,5548,5549,4364,4363,5553,4365,5555,5554,5557,5559,4369,5402,4606,4607,
5562,4373,5570,5567,5569,4376,4617,5575,5577,5578,4381,4380,5582,4384,4391,4385,4383,5592,5589,5591,5595,4387,4635,5599,5586,
5459,5587,4460,4914,5597,4644,4401,5254,5605,4648,5608,4651,4409,5611,4408,5614,5258,5528,5610,4660,4661,4663,4664,4418,5618,
4419,4668,5621,4422,4421,4456,4673,4426,5014,5628,4679,4681,4433,5009,5632,4692,5635,5636,5637,4442,4443,4448,5640,5641,4450,
4718,5356,5646,5379,4459,5651,5650,5653,4730,4827,4465,5659,4466,5455,4470,5452,5662,5663,4746,4750,4752,4753,4480,5668,5667,
5286,4487,4488,5671,4544,5339,5329,4794,4501,5676,4806,5079,5678,5680,5682,4507,5685,5684,4510,4817,4826,5690,5225,4515,5696,
5695,4517,5698,5062,4519,5703,5702,4521,4522,4850,4524,4526,5206,5707,4687,5709,4857,4858,4860,4534,4535,5716,4868,4869,4537,
5719,5720,4539,5723,5722,5725,5726,4893,5728,4550,5731,5439,5733,4901,5735,4555,4557,4909,4558,5743,5742,4642,4562,4916,5747,
4567,5750,4566,4565,5755,5754,5235,5749,5746,5758,4574,4573,4930,4820,4579,4580,4578,4873,5765,5767,4581,5768,4582,5769,4583,
5770,4586,4587,5773,5772,5774,4589,5373,5777,4595,4599,4874,4598,4597,5784,5388,5781,4600,5787,5785,5790,4603,5793,4608,4605,
5796,5797,5798,4610,5799,5800,4613,5568,4614,4612,5808,5810,4615,5473,5757,5574,4618,5576,5815,4620,5344,4622,5820,5818,5822,
4625,5828,5825,5827,4638,5088,4640,5830,4631,5826,4632,4630,5838,5840,4633,5596,4643,5598,4636,5600,5844,4639,5847,5846,5073,
5849,5739,5850,4647,5852,4646,5853,4650,5856,5132,4659,4653,5779,5858,4657,4656,5863,4658,5616,5864,4666,5868,5620,4669,5872,
5871,5869,5875,4983,5877,5470,5878,4992,4678,5880,4680,5882,5630,5467,4685,5884,5885,5431,5888,5890,5891,4691,5894,5895,4693,
5899,4694,5901,5902,4697,5638,5639,5287,5288,4701,5051,5283,5284,4704,5518,4707,4706,4708,5914,5423,5917,5918,4713,5922,5921,
5348,5355,4719,5927,5645,4720,5336,5931,4722,5935,5934,4724,4725,5939,5883,5942,4728,4727,5947,4729,5951,5950,5656,5953,5658,
4734,4733,4735,5057,5660,4737,4738,5967,5966,4740,5307,5971,5969,5056,4743,4744,4745,5978,5196,5979,5980,5982,5301,4754,5665,
5986,4757,4756,5990,5302,5027,5418,4799,4762,4766,4763,4764,5995,5946,5994,5997,4769,5996,4770,4771,6005,4773,5158,4782,6009,
5669,6012,6013,5029,4786,6017,6018,4788,6021,6022,4791,4792,5166,6026,5675,5427,4797,4798,5783,4800,5766,6031,6030,4802,4803,
6035,4948,4809,5679,4810,6040,4811,5683,4814,4813,6044,6045,6046,4819,5763,6048,4822,5357,4824,5451,6053,6055,5295,4828,6059,
6058,5391,4831,6063,6062,5268,4834,6067,6068,6066,4837,4836,6074,5112,4839,6077,4841,5700,6082,4844,4843,6087,4845,6089,4846,
5420,5041,6091,5705,5039,6096,5881,5706,4976,4854,4853,5708,4856,6102,6101,6103,5264,6104,5714,5256,4863,4864,5189,6108,5782,
4867,4866,6111,4889,6112,5718,4872,4871,4875,6037,4878,4877,6116,4879,4884,4882,4881,4883,6121,6118,6122,6120,4887,6125,4892,
6127,4895,6034,6128,4899,4898,6132,4900,6135,4903,6138,6139,6137,4907,5738,5603,4910,5290,5740,6147,4913,4912,6152,5745,4926,
4917,5748,4993,4925,4919,6157,6155,6160,4923,4922,6165,4924,5795,6167,5573,4927,6171,6170,6173,6169,6176,4935,4937,4938,6180,
6179,6182,4941,4944,4943,6186,4945,6187,4946,6144,6188,4951,6190,6191,5829,6192,4954,5183,4955,4953,6200,6202,5540,5191,4958,
5193,4959,4960,5937,6206,6208,4963,6214,6211,6213,4975,4977,6215,4969,6212,4970,4968,6223,6225,4971,5216,4980,5218,4974,5220,
6098,6072,5516,6228,4984,6229,5938,4986,6232,4994,4989,6177,6233,4991,6237,5244,6238,5000,6076,5248,5003,6245,6244,6242,6248,
6250,5861,5010,6252,5263,5819,5015,6119,6254,5017,5018,5019,5281,5282,5023,5024,6262,6261,6264,5305,5028,6016,6014,6267,5032,
5031,6271,5033,6275,6274,5323,6277,5325,5037,5330,5929,5042,5043,6284,5350,6287,5050,5049,5376,6290,5054,6292,6131,6293,5390,
5060,6297,5063,5404,5064,6302,5065,5408,5068,5067,6306,5851,6307,6309,5072,6311,5941,6312,5848,5076,5075,5786,5078,6136,5443,
6319,5082,5081,6052,5454,5458,5089,5462,5091,6327,6326,5892,6328,5469,5811,5097,6329,5481,5101,5102,6299,5105,5104,6332,5106,
5107,6334,5109,6004,6335,5111,6075,5113,6340,5115,6342,6341,5515,5227,5519,6347,5121,5120,6352,5524,5134,5125,5527,5133,5127,
6356,6354,6359,5131,5130,6364,5190,5135,6368,6367,6370,6366,5415,5983,5144,5396,5145,5147,5149,5151,5860,5155,5154,5156,6378,
6379,5159,5794,5238,6178,5167,5475,5394,5165,5170,5697,5169,6384,6382,5171,6386,5859,5173,5778,5538,5176,5177,5178,5180,5181,
6396,6393,6395,6196,6401,6198,6199,5186,6394,5187,5715,6109,6142,6203,5194,6411,6413,5199,5631,5198,6207,5200,5925,6418,5203,
5210,5204,5202,5565,5208,6431,6428,6430,6422,6220,6424,6222,5213,6429,5214,6226,6443,6227,5221,6446,5224,5223,5694,5226,5228,
5687,5230,5232,6453,6231,5234,6456,5239,5792,5771,5627,6457,5242,5245,6462,6460,6463,5247,5252,6466,5251,5250,6471,6276,5253,
6249,5255,5257,6251,5260,5457,5262,5315,5266,5267,6479,6480,5269,5903,5270,5271,5712,6485,5273,5274,6343,6490,6256,5276,6257,
5278,5279,5889,6497,6375,5912,6500,6008,6143,6501,6376,5906,6502,5294,6054,6505,5296,5297,6508,6509,5300,5299,6512,6185,5823,
5992,5304,6515,5661,5970,5308,5972,6520,5311,5310,6524,5579,5607,5314,6266,5692,5316,6532,6531,6529,5364,5319,6538,6273,5322,
5321,6247,5324,6278,6544,6279,6079,6547,6543,6019,6548,6025,6550,6095,6553,5334,5333,6557,5338,5930,5337,5932,6562,6559,6563,
6504,6283,5343,5345,5346,6567,5347,5764,6285,6286,5351,6571,6570,6115,5354,6209,5926,6117,5365,5363,5368,5366,6574,6336,6573,
6572,6576,6537,5729,5371,6235,6189,5908,5375,6023,6578,5377,5378,5648,6581,5647,5381,5382,5960,6585,5384,5385,6010,6589,5962,
5389,6372,6592,6296,5398,5397,6129,6593,5503,5401,6298,5485,6300,6597,5406,6303,6425,6603,5411,5412,5413,6609,5416,6610,6140,
6090,5704,5421,5915,5422,6617,6618,5426,5425,6331,6622,5430,5429,6625,6626,5435,5433,5434,6631,6630,6315,5602,6629,5438,5732,
5619,5441,6639,5957,6317,6318,5444,6320,6644,6642,6648,5447,6649,5449,6051,5453,6517,6654,6655,5964,5456,6658,5601,6324,6662,
5465,5464,5466,5468,6381,6666,6114,5474,5812,6380,5478,5480,6330,6107,5989,5488,5993,5495,5633,5497,5494,5496,6669,6388,5499,
6333,5501,5504,6032,6671,5673,5507,6338,6675,5509,5699,5513,5511,5512,6050,6344,5813,5909,5560,6549,6346,5520,6686,6685,6683,
6351,5523,6691,6353,5532,6695,5531,6357,6694,5533,6703,6702,6700,6363,5536,6708,5539,6710,5545,5543,5542,6714,5544,6371,6294,
5546,5612,5780,5551,5550,6718,5552,6719,6234,5924,5556,5558,5561,6007,5563,5564,5566,6726,6723,6725,5804,6552,5806,5807,5571,
6724,5572,5814,6565,6738,5580,5821,5581,5991,6461,5584,5590,5585,5583,5588,6753,6750,6752,6745,5835,6747,5837,5593,6751,5594,
5841,5843,5604,5606,6765,5855,5609,5613,6184,6006,6766,5615,5617,6770,6769,6657,5624,6421,5623,5622,6775,5952,5625,5876,5626,
5879,5629,6782,5634,6786,5898,5900,6481,6789,6790,5643,5642,6793,5644,6796,5940,5649,6801,6800,6798,5652,6711,5949,5655,5654,
5874,5657,5954,5956,6810,6400,6614,5977,5664,5984,5985,5666,6815,6816,5670,6818,5672,5674,6175,6822,6029,5677,6036,5721,6038,
6825,5681,6041,6748,6830,5686,5688,6835,5689,6838,5691,5693,6843,6842,6071,6841,6080,6081,5701,6083,6849,6851,6682,6099,6465,
5711,5710,5713,5717,6113,6060,5724,6126,5727,5730,5999,6859,6133,6861,5734,5737,5736,5896,6141,6590,6146,5741,6870,6869,6867,
6151,5744,6154,5752,6467,5751,6158,6876,5753,6884,6883,6881,6164,5756,6426,5762,5760,5759,6891,5761,6174,6027,6377,6720,5905,
5911,6373,5775,5776,6110,6105,5789,6899,5788,6900,5791,6903,6124,6904,6905,6907,6908,5802,5809,5803,5801,6727,6916,6918,6281,
5805,6730,6788,6732,6733,6912,6924,6914,6595,6680,5816,6737,5817,6739,6929,6784,6742,5824,6930,6772,6243,5834,6746,5836,6042,
6365,6939,5832,5839,5833,5831,6754,6947,6949,6757,6953,6759,6760,6761,6943,6945,6955,5842,6958,6959,5845,6962,6960,6635,6964,
6641,6965,5854,6586,6968,5857,5862,6972,6971,5866,6210,5865,5867,6771,6325,5870,6355,6744,6976,6979,5873,6776,6777,6716,6779,
6780,6781,6985,5886,5887,6258,6498,6991,6664,5893,6995,6993,6741,6785,5897,6787,6674,7000,6999,6731,7002,5904,6482,7005,5907,
5910,5913,6612,5976,5916,7009,7010,5919,5920,7013,7012,5923,6794,6795,5928,7016,6092,7019,6561,5933,7024,7022,6620,5936,7027,
6583,7030,6627,5945,7034,5944,5943,6802,7038,7040,7033,6003,5948,6806,6807,6808,6809,5959,5955,7047,6640,5958,5961,6145,5963,
6811,6197,5965,7053,7051,6650,5968,7056,5974,7059,6519,5973,5975,6824,6204,7066,5981,6813,6814,5988,5987,6001,6000,5998,7068,
6002,6588,6011,7025,7072,6015,6931,6526,7074,6020,6454,7054,6577,6024,6345,6821,6028,6033,6823,6409,6812,6039,7083,7081,6828,
7085,6829,6043,7089,7087,6833,7091,6878,6047,6049,7094,6503,7097,6282,6836,6837,6056,6057,7103,6523,7026,6061,7105,7104,6064,
6065,6528,7109,6073,6070,6069,6844,7115,7117,6449,7119,7113,6970,6078,6546,6451,6085,6848,6084,7125,6850,7123,6086,6088,6556,
7055,7127,7129,6093,6094,6852,6241,6097,7136,6853,6854,6100,6855,6484,6856,6106,6857,7140,6123,6858,6130,7014,7143,6492,6134,
7145,6863,6864,6927,6410,6866,6323,6150,7149,6149,6148,6871,7152,7148,6874,6153,7156,6875,6159,6156,7159,6834,7161,6880,6163,
7165,6162,6161,6885,7170,7164,6888,6166,7134,6168,6272,7052,7173,6172,6892,6474,6894,6181,6183,6374,7178,7036,6194,6201,6195,
6193,6397,7185,7187,6402,6495,6404,6405,7181,7192,7183,6412,6205,6414,7044,6488,6417,6973,6468,6219,6423,6221,6304,7201,6217,
6224,6218,6216,6432,7209,7211,6435,7215,6437,6438,6439,7205,7207,7217,6230,6236,7220,7219,6240,6239,6464,6420,6933,7102,6246,
6472,6473,6893,6475,6476,6477,6253,7228,6416,6489,6255,6491,6403,6259,6260,7233,7232,6263,6513,6514,6265,7236,6270,6910,6269,
6268,6533,7241,7243,7238,6539,6540,6541,6542,6280,6551,6596,6568,6569,6288,6289,7248,6291,7195,7249,6591,6295,6594,6564,6301,
7254,7252,6600,6602,6305,7259,7257,6606,6697,6308,6615,6616,6310,7263,6977,6316,6314,6313,6632,7268,7270,7271,6643,6321,6646,
6322,6656,6660,6661,6663,6665,6667,6670,6337,7234,6339,7276,6677,6678,7138,6681,6350,7073,6349,6348,6687,7281,7278,6690,6693,
6358,6909,6608,7286,6699,6362,7290,6361,6360,6704,7295,7289,6707,7023,6938,6369,6715,6778,6717,6897,6898,6895,6896,6383,6385,
7300,7303,6387,6389,6390,7306,6391,6392,6877,6799,7227,6406,7308,6408,7184,6398,7307,6399,7188,7189,7050,7190,7316,6407,7319,
7065,6679,7320,6415,6419,6582,7222,6773,7197,7198,7199,7200,6890,6427,7326,7323,7325,6440,7223,6441,7208,6433,7324,6434,7212,
7213,7338,6436,7341,6442,7154,7155,6444,6445,6448,7346,6447,7349,6450,6452,7351,7218,6455,7302,6638,6459,6458,6743,7354,7133,
6469,6840,7196,6470,7206,7355,7357,7225,7226,6478,7358,7101,7107,7359,7361,6483,7364,6487,7180,6486,7229,7230,7231,6494,6493,
7064,6496,7371,7373,6499,7376,7378,7100,6506,6507,7381,6511,6510,6672,7235,6516,7057,7386,6518,7391,7390,6522,6889,6521,6579,
6621,6525,7383,7395,6527,7398,7126,6536,6530,7401,6722,7240,6534,7242,6535,7405,7244,7245,6740,7121,7385,6545,7112,7077,6921,
6555,6712,6554,6587,6651,6558,7017,7399,6560,7414,7413,7365,7417,7001,6926,6566,7419,6575,7348,7423,7247,6580,6868,6584,7250,
7427,7049,7428,7430,7251,6599,7265,6598,7255,6601,7435,6605,7437,6604,7260,6607,7370,7285,6611,7445,7444,6613,7130,7448,7008,
6987,6774,6619,6624,6623,7451,6988,7453,6628,7454,7253,7048,6637,7267,6633,7269,6634,7460,6636,7353,7045,7299,6647,7272,6645,
7032,6652,7467,6653,7098,7457,7146,6975,6709,7305,6659,7274,6865,7471,6668,7345,7470,6673,7275,6676,7132,7474,6689,6684,7475,
7280,6688,7282,6956,6957,6692,7283,7284,6696,7262,6698,7482,7297,6706,6701,7488,7487,7485,7294,6705,7296,7421,6713,7288,7408,
7441,7344,6721,7452,6994,6734,7484,6736,6915,6728,7403,6729,6919,6920,6922,7502,6735,7505,7380,6819,6978,6934,6935,6936,6937,
6749,7511,7508,7510,6762,6980,6763,6946,6755,7509,6756,6950,6951,7522,6758,7525,6764,6967,6768,6767,7394,6932,6944,7450,6983,
6984,6911,6783,6996,6997,6998,6792,6791,6860,7015,6797,7273,6805,7313,7037,6803,7039,6804,7042,7043,7266,7071,6817,6820,7075,
7080,6827,7111,6826,7084,7538,6832,7540,6831,7090,7363,7160,6839,7477,7082,7246,7114,6845,7116,6846,6847,7124,7237,7137,7144,
6862,7330,6873,7425,7151,6872,7153,7157,7158,7093,6879,7555,7174,6887,6882,7560,7559,7557,7169,6886,7171,7163,7393,7122,6901,
7494,6969,6902,7495,7135,6906,6917,6913,7539,7573,7498,7499,7239,7500,7527,6923,7572,7584,6925,6928,7506,7587,6941,6948,6942,
6940,7512,7595,7597,7277,7601,7526,7517,7518,7591,7520,7593,6952,7523,7524,6954,7434,7350,7177,7141,6961,7469,7069,6963,7343,
6966,7493,7120,6974,6981,7516,6982,6986,6989,7372,6990,7619,7261,6992,7062,7501,7528,7531,7426,7092,7003,7360,7004,7624,7400,
7006,7626,7007,7449,7194,7011,7406,7028,7409,7046,7018,7410,7411,7628,7021,7020,7633,7298,7221,7029,7529,7530,7031,7058,7375,
7035,7532,7186,7464,7041,7382,7461,7175,7384,7387,7388,7639,7061,7060,7644,7462,7063,7431,7067,7472,7172,7473,7070,7649,7279,
7369,7076,7078,7652,7079,7418,7545,7537,7342,7086,7496,7088,7660,7658,7543,7176,7630,7466,7096,7095,7667,7468,7099,7379,7224,
7106,7179,7108,7110,7544,7536,7131,7546,7547,7118,7407,7416,7535,7404,7641,7443,7128,7447,7347,7142,7139,7420,7422,7147,7150,
7550,7264,7683,7552,7553,7554,7162,7689,7182,7168,7693,7167,7166,7561,7696,7692,7564,7352,7301,7304,7436,7701,7311,7312,7314,
7366,7191,7690,7600,7193,7321,7711,7203,7210,7204,7202,7327,7719,7721,7586,7356,7333,7334,7715,7336,7717,7214,7339,7340,7216,
7332,7315,7367,7396,7397,7368,7402,7549,7548,7463,7456,7433,7256,7309,7258,7739,7737,7440,7455,7432,7458,7459,7534,7533,7476,
7743,7479,7480,7481,7287,7580,7293,7750,7292,7291,7489,7753,7749,7492,7662,7756,7647,7610,7758,7612,7621,7317,7310,7702,7761,
7763,7638,7767,7706,7556,7724,7708,7736,7318,7710,7515,7322,7778,7775,7777,7335,7716,7337,7718,7328,7776,7329,7722,7723,7504,
7331,7707,7725,7726,7727,7728,7729,7686,7730,7568,7645,7570,7676,7677,7672,7698,7622,7664,7362,7678,7571,7617,7625,7374,7623,
7377,7668,7389,7802,7442,7801,7643,7392,7650,7651,7731,7669,7577,7412,7812,7465,7803,7632,7415,7611,7818,7567,7820,7424,7634,
7635,7429,7732,7823,7734,7735,7709,7439,7826,7438,7740,7565,7806,7618,7674,7804,7446,7627,7637,7682,7741,7615,7815,7665,7813,
7613,7614,7620,7839,7840,7768,7670,7478,7744,7844,7608,7746,7747,7483,7503,7748,7491,7486,7848,7752,7490,7754,7616,7852,7853,
7497,7574,7855,7857,7860,7579,7602,7582,7657,7585,7507,7869,7866,7868,7519,7592,7521,7594,7513,7867,7514,7598,7599,7581,7603,
7604,7605,7606,7607,7609,7636,7653,7875,7655,7656,7583,7542,7877,7541,7661,7671,7861,7551,7684,7881,7687,7688,7691,7563,7558,
7883,7695,7562,7697,7828,7566,7888,7569,7890,7854,7575,7856,7576,7858,7859,7841,7578,7681,7847,7862,7899,7864,7901,7786,7589,
7596,7590,7588,7870,7905,7872,7873,7903,7822,7891,7774,7825,7846,7908,7836,7832,7829,7797,7835,7800,7798,7793,7796,7830,7795,
7631,7629,7642,7666,7912,7663,7913,7817,7821,7833,7834,7640,7675,7914,7673,7915,7808,7646,7916,7648,7809,7784,7654,7876,7787,
7659,7878,7755,7792,7799,7921,7791,7810,7811,7794,7790,7922,7923,7679,7680,7766,7879,7880,7685,7882,7788,7769,7694,7904,7930,
7886,7699,7700,7760,7703,7762,7704,7764,7765,7705,7742,7770,7939,7772,7941,7713,7720,7714,7712,7779,7944,7781,7782,7942,7733,
7824,7738,7827,7842,7843,7745,7845,7751,7943,7950,7851,7931,7757,7932,7759,7785,7933,7934,7935,7936,7937,7951,7952,7771,7955,
7773,7958,7783,7849,7780,7959,7961,7789,7962,7963,7964,7805,7807,7814,7816,7819,7924,7925,7945,7946,7831,7837,7838,7917,7918,
7947,7948,7949,7969,7850,7887,7889,7892,7893,7894,7895,7896,7971,7863,7974,7865,7874,7884,7871,7919,7920,7926,7927,7928,7885,
7897,7898,7983,7973,7900,7975,7979,7902,7906,7977,7907,7909,7910,7911,7966,7965,7968,7967,7929,7978,7938,7992,7954,7940,7956,
8000,7960,7970,7957,8001,8003,7984,7953,7982,8012,8007,8013,7991,7995,8015,7988,7972,7994,7993,7989,8021,8023,8024,8026,7976,
7980,8028,7981,8005,8004,8029,7986,8030,8031,8032,8033,7985,7987,8038,7990,8022,8042,8043,8045,8046,7996,8016,7997,7998,8027,
7999,8025,8002,8006,8008,8009,8010,8011,8055,8050,8048,8056,8014,8044,8057,8058,8017,8018,8039,8019,8020,8049,8036,8047,8035,
8052,8051,8059,8060,8034,8037,8040,8041,8053,8054,8064,8063,8062,8061]
,\[
3,7,12,13,1,14,20,21,2,22,27,31,32,33,4,36,5,6,41,45,46,47,8,50,9,
10,56,57,11,58,39,63,64,65,15,68,16,69,17,18,76,77,19,78,53,83,84,85,23,88,
24,89,25,26,95,98,99,100,28,29,30,105,67,74,108,34,35,113,114,82,37,38,75,40,121,
124,125,126,42,43,44,131,87,94,134,48,49,139,140,62,51,52,55,54,147,148,149,103,151,152,
59,155,60,61,161,162,163,165,132,66,122,169,117,173,70,133,71,72,73,123,181,182,183,129,185,
186,79,189,80,81,195,196,197,199,106,86,96,203,143,207,90,107,91,92,93,97,216,217,218,219,
154,159,223,101,226,102,227,231,104,234,237,238,239,240,167,109,110,111,248,112,249,252,177,115,116,
258,118,160,119,120,263,266,267,268,188,193,272,127,275,128,276,280,130,283,256,286,287,288,201,135,
136,137,296,138,297,300,211,141,142,305,144,194,145,146,311,213,316,317,319,320,150,321,325,153,328,
331,332,333,156,157,253,158,339,343,344,345,208,347,348,350,164,352,166,356,235,168,360,364,365,170,
171,341,172,370,372,174,175,377,176,378,178,236,179,180,386,359,385,391,392,184,393,397,187,400,403,
404,405,190,191,301,192,411,415,416,417,355,376,419,198,421,200,424,284,202,427,431,432,204,205,413,
206,437,439,209,442,210,443,212,285,214,450,451,215,452,456,294,310,460,464,465,466,220,221,222,472,
473,224,353,225,479,337,482,483,228,484,488,229,230,371,318,232,233,498,499,500,501,291,304,505,508,
241,478,242,512,243,515,244,245,246,521,247,522,525,367,529,480,250,251,533,496,254,535,255,536,540,
257,544,545,369,259,260,261,262,553,264,557,558,265,559,563,567,568,569,269,270,271,575,576,273,422,
274,582,409,585,586,277,587,591,278,279,438,390,281,282,601,602,603,604,607,289,581,290,611,613,292,
293,618,295,619,622,434,626,583,298,299,630,599,302,632,303,633,638,639,436,306,307,308,309,647,652,
653,654,312,313,314,659,660,315,661,666,667,668,669,469,674,675,322,678,323,324,683,476,685,326,688,
327,461,329,693,330,694,492,697,698,699,334,335,705,336,706,710,338,340,462,716,342,719,382,723,724,
726,727,346,728,733,349,735,510,684,351,739,740,354,743,746,511,357,358,750,752,756,757,361,362,762,
363,763,766,532,366,695,368,772,773,775,776,777,373,374,783,375,784,787,549,791,379,534,794,380,381,
799,383,802,384,803,741,809,810,811,387,388,389,817,818,819,820,572,825,826,394,829,395,396,834,579,
836,398,838,399,564,401,843,402,844,595,847,848,849,406,407,854,408,855,859,410,412,565,865,414,868,
447,872,873,875,418,877,609,835,420,881,882,423,885,610,425,426,686,891,892,428,429,897,430,898,901,
629,433,845,435,907,908,910,911,725,440,441,916,643,920,444,631,923,445,446,928,448,931,912,449,634,
935,657,939,940,453,943,454,455,948,949,950,457,458,459,516,957,958,959,961,962,463,963,967,677,682,
971,467,974,468,975,979,470,982,471,984,985,474,988,475,991,477,995,769,998,481,999,703,1001,1002,485,
1003,1005,486,487,1011,1012,1013,489,490,1019,491,1020,1023,493,494,1027,495,1028,1032,1033,497,1034,518,552,1038,
1041,1042,1043,502,503,504,850,1050,506,1054,507,1056,509,1060,1062,1063,513,1066,514,1068,748,956,517,1073,1075,
519,1078,520,588,1081,759,1085,696,523,524,1089,1093,1094,526,527,1098,528,1099,530,531,1104,1106,1107,1108,781,
1111,1112,537,1113,1115,538,539,1120,1121,541,542,1126,543,1127,1130,798,546,547,1134,548,1135,1139,550,1142,551,
1143,1147,1148,556,554,555,779,1153,814,1155,1156,560,1159,561,562,614,1165,1166,1167,1169,1170,566,1171,1175,828,
833,1179,570,1182,571,1183,1187,573,1190,574,1192,577,1194,578,1197,580,1201,904,1204,584,1205,852,1207,1208,1209,
1083,589,590,1215,1216,1217,592,593,1223,594,1224,1227,596,597,1231,598,1232,1074,1236,600,1144,616,646,701,1242,
605,1246,606,1248,608,1252,1254,612,1256,887,1164,615,1261,617,1263,894,1265,846,620,621,1269,1273,1274,623,624,
1278,625,1279,627,628,1284,1286,1287,1288,914,1291,1039,938,635,636,1296,637,1297,1300,927,640,641,1304,642,1305,
1309,644,1312,645,1313,1315,648,649,650,1320,1321,651,1322,942,946,1324,655,1325,656,1326,658,1328,953,1333,1334,
662,1337,663,664,665,1343,714,1345,1346,1347,1352,1353,1354,670,671,672,1360,1361,673,1362,1366,676,1368,1370,1371,
1372,679,680,1376,681,1377,1058,1382,987,1383,890,687,1387,1388,689,1392,690,1394,691,1396,692,1399,1103,1402,1403,
1009,1405,1406,700,1408,702,1241,1412,704,1415,1017,1419,1420,707,1421,1425,708,709,1431,1432,711,712,1436,713,1437,
715,1440,1441,771,717,718,888,1314,929,720,721,722,1449,1450,1451,1046,1456,1457,729,1460,730,731,732,1465,1052,
983,734,1468,1471,736,1474,737,738,1477,1342,1478,1065,1480,808,742,1483,744,1487,745,1489,747,1493,1238,749,1496,
807,751,1500,753,754,1505,755,1506,1508,1088,758,1000,760,1514,761,1515,1518,1096,1522,1523,764,765,1529,1530,767,
768,1534,770,1537,1538,792,1540,1180,774,1185,1118,1544,1545,778,1547,780,1154,782,1550,1123,1554,1555,785,786,1560,
1157,1160,788,789,1566,790,1567,793,1571,1572,1573,795,796,1579,797,1580,1239,1585,800,801,1556,1151,1589,804,1592,
805,806,1597,1598,1158,1162,1563,812,1564,813,1599,815,816,1601,863,1603,1604,1605,1610,1611,1612,821,822,823,1618,
1619,824,1620,1541,827,1625,1542,1627,1628,830,831,1631,832,1632,1250,1637,1193,837,1640,1641,839,1645,840,1647,841,
1649,842,1652,1283,1655,1656,1213,1658,1659,851,1049,1663,853,1666,1221,1670,1671,856,1672,1676,857,858,1682,1683,860,
861,1687,862,1688,864,1691,1692,906,866,867,1145,869,870,871,874,1699,1244,1191,876,1702,1705,878,1708,879,880,
1711,1600,1375,1255,883,1327,884,1715,886,1719,1036,889,1724,1725,1268,893,1206,895,1731,896,1732,1735,1276,1739,1740,
899,900,1746,1747,902,903,1751,905,1754,1755,921,1757,972,909,977,1294,913,936,915,1760,941,944,917,918,1764,
919,1765,922,1769,1770,1771,924,925,1777,926,1778,1037,1446,930,1318,932,1786,933,934,1790,1791,1792,937,1298,1299,
1714,945,1045,1795,947,1796,1800,1336,1341,1803,951,1806,952,1807,1811,954,955,1816,1817,994,1026,1822,1823,960,1824,
1828,1357,1833,1834,964,1416,965,966,1841,1844,1845,1846,968,969,970,1289,1851,1853,973,1290,1712,1856,976,1857,978,
1588,1861,1359,980,981,1867,1869,1722,986,1873,1875,1391,1878,989,1881,990,1885,992,1888,993,1890,1059,996,1894,997,
1895,1899,1900,1901,1407,1905,1004,1908,1909,1006,1007,1915,1008,1916,1920,1010,1921,1923,1429,1927,1928,1929,1014,1015,1934,
1016,1935,1939,1018,1942,1434,1945,1946,1021,1022,1951,1952,1024,1025,1444,1957,1029,1105,1030,1031,1035,1963,1965,1319,1785,
1969,1970,1040,1971,1975,1459,1463,1979,1044,1981,1982,1568,1047,1048,1988,1989,1051,1993,1053,1995,1473,1998,1055,2002,1057,
2005,2007,1186,1061,1591,1064,2010,1485,2013,1067,2016,1161,1069,2019,1070,2021,1071,2025,1072,2014,1499,1076,2032,1077,1502,
2036,1079,1080,2040,2044,2045,1082,2048,1084,2049,1086,1087,2054,2057,2058,1090,1091,1882,1092,1937,2065,1527,1570,1095,2068,
2072,1097,2075,1532,2079,2080,1100,1101,2084,1102,2085,2090,2091,2092,1133,1109,1110,2095,1546,2031,1114,2099,1116,1117,2104,
1119,2105,2108,1559,2111,1122,2112,1766,1124,2117,1125,2118,1128,1129,2121,1983,2124,1131,1132,2127,1577,2130,2131,1136,2132,
2136,1137,1138,2142,2143,1565,1140,1141,2148,1237,1146,2114,1865,1596,2154,1149,2156,1150,2157,2161,1152,2165,2166,1488,1163,
2169,2170,1200,1230,2175,2176,1168,2177,2181,1615,2186,2187,1172,1667,1173,1174,2194,2197,2198,2199,1176,1177,1178,2204,2206,
1181,1479,2209,1184,2210,1332,2214,1617,1188,1189,2219,2221,2222,2224,1644,2227,1195,2230,1196,2234,1198,2237,1199,2239,1251,
1202,2243,1203,2244,2248,2249,2250,1503,1986,2254,1210,1211,2260,1212,2261,2265,1214,2266,2268,1680,2272,2273,2274,1218,1219,
2279,1220,2280,2284,1222,2287,1685,2290,2291,1225,1226,2296,2297,1228,1229,1695,2302,1233,1285,1234,1235,2307,1240,2311,2312,
1243,2316,1245,2318,1707,2321,1247,2325,1249,2328,2330,1253,2331,1257,2334,1258,2336,1259,2340,1260,2343,1262,2346,2349,2350,
1264,2351,1266,1267,2356,2359,2360,1270,1271,2231,1272,2282,2367,1744,1768,1275,2370,2374,1277,2377,1749,2381,2382,1280,1281,
2386,1282,2387,2392,2393,2394,1303,1292,1293,2400,1295,2401,2404,2115,2407,1301,1302,2410,1775,2413,2414,1306,2415,2419,1307,
1308,2425,2426,1763,1310,1311,2431,2433,2435,1316,2436,1317,2437,2438,1793,2443,2398,1323,2125,1458,1461,1329,1330,1331,1634,
2451,2452,2453,1335,2456,2457,2458,2459,1338,1339,2093,1340,2465,1902,2469,2024,2109,2471,1344,2472,2474,2479,2480,2481,1348,
1349,1350,2487,2488,1351,2489,2422,1836,1840,1876,1355,1356,1922,2501,1358,2503,2504,2505,1849,2507,2508,1363,2511,1364,1365,
2515,1367,2029,1842,1369,2522,2523,1373,1374,2113,2153,1378,1843,2531,1379,1380,2537,1381,2540,2467,2542,1384,2545,1385,2548,
1386,2549,2552,2553,1389,2063,1390,2556,2558,1887,2560,1393,2563,1395,1892,1397,1398,2569,2572,2573,1400,1401,2516,1511,2578,
1805,1404,1812,2580,1698,2583,2585,1913,2588,1409,2589,2593,1410,1411,2598,2599,1413,1414,2603,2499,2605,1417,2607,1418,2608,
2610,1932,2614,2615,1422,2616,1423,1424,2064,2619,2620,1426,1427,2624,1428,2625,2629,1430,2630,1950,2633,1433,2634,2638,1435,
1954,2641,2642,1438,1439,2647,1961,1442,1443,2651,1445,2654,2656,1447,1784,1448,1787,2660,2665,2666,2667,1452,1453,1454,2309,
2584,1455,2344,2674,2020,1798,2676,1462,2126,1819,1464,2680,2683,2684,1466,1467,2687,2689,1469,1938,1470,2693,1815,1472,2697,
2699,2004,2702,1475,2704,1476,2708,2709,1481,2713,1482,2715,2717,1484,2335,2720,1486,2722,2675,1490,2725,1491,2728,1492,2732,
2018,1494,1495,2520,2736,1497,2737,1498,2740,2741,1820,1501,2473,2744,2747,1504,2748,2751,2047,2258,2754,1507,2758,2759,1509,
1510,2763,1512,2228,1513,2275,2060,2768,2769,1516,1517,2774,1519,1520,2777,1521,2778,2128,2269,1524,1525,2264,1526,2785,2790,
1528,2791,2794,2083,2797,1531,2798,1533,2802,2803,1893,1535,1536,2809,1958,2813,1903,1539,2541,2030,1543,2155,2817,2101,2819,
1548,1549,2824,2828,2829,1551,1552,1985,1553,2037,2151,2835,2408,1557,1558,2409,2686,2764,1561,1562,2843,2844,2845,2678,2848,
1569,2783,2851,2192,2140,2855,2856,2857,1574,1575,2863,1576,2864,2868,1578,2870,2146,2873,1581,2122,1582,1583,2878,1584,2879,
1586,1587,2535,2883,1590,2884,2885,2886,1593,1594,2395,1595,2892,2894,2009,2823,2251,2899,2339,1977,2901,1602,2902,2808,2906,
2907,2908,1606,1607,1608,2914,2915,1609,2916,2139,2189,2193,2225,1613,1614,2267,2928,1616,2930,2931,2932,2202,2934,2935,1621,
2938,1622,1623,2942,1624,1801,2195,1626,2947,2948,1629,1630,1794,1802,1633,2196,2956,1635,2858,1636,2961,2962,1638,2965,1639,
2966,2969,2970,1642,2365,1643,2973,2975,2236,2977,1646,2980,1648,2241,1650,1651,2564,2859,2986,1653,1654,2943,1728,2991,2034,
1657,2162,2993,2995,1660,2996,3000,1661,1662,3004,3005,1664,1665,3009,2926,3011,1668,3013,1669,3014,2690,2277,3018,3019,1673,
3020,1674,1675,2366,3022,3023,1677,1678,3027,1679,3028,3032,1681,3033,2295,3036,1684,3037,3041,1686,2299,3044,3045,1689,1690,
3049,2306,1693,1694,3053,1696,2834,1697,2172,3057,2596,3060,1700,1701,2617,3064,1703,2283,1704,3067,2168,1706,3071,3073,2327,
3076,1709,3078,1710,3081,3082,1713,3084,2719,1716,3087,1717,3090,1718,3094,2333,1720,2173,1721,3098,3101,1723,3103,1872,3106,
3107,1726,1727,3111,1729,1879,1730,1930,2362,3116,3117,1733,1734,3121,1736,1737,3124,1738,3125,2411,1924,1741,1742,1919,1743,
3132,3137,1745,3138,3141,2385,3144,1748,3145,1750,3149,3150,2242,1752,1753,2705,2303,3155,2252,1756,2742,3157,1758,1759,3062,
3112,1761,1762,3165,3166,2519,2838,3168,1767,3130,3171,1839,2423,3175,3176,3177,1772,1773,3181,1774,3182,3186,1776,3188,2429,
3191,1779,2405,1780,1781,3196,1782,1788,1783,3198,3199,3200,2820,3202,1789,3203,3207,2399,3210,2724,2849,1797,2432,1799,3214,
2208,2218,3217,3218,1804,2468,2463,3223,3224,1808,3225,3229,1809,1810,2814,2450,1813,1814,3235,2924,2716,2833,1818,2390,2389,
1821,3079,3239,2484,3243,3244,1825,3247,1826,1827,3252,3257,3258,3259,1829,1830,1831,3092,1832,3187,1835,3269,3270,1837,1838,
3275,3276,3277,3278,3279,3280,2510,2514,3284,1847,3286,1848,3287,1850,2577,1852,2718,1854,3294,1855,3296,2524,3299,1858,1859,
1860,2836,3302,1862,1863,3307,1864,3308,3310,1866,3046,2416,1868,2525,1991,1870,3314,1871,3317,3320,1874,3323,3268,3325,1877,
3118,2554,3328,1880,3329,3331,1883,3334,1884,3336,1886,3339,2565,3341,1889,3343,1891,3345,3347,2298,3348,2575,3088,3351,1896,
1897,1898,2053,3215,2466,1904,3356,2171,1906,3359,1907,3361,3364,3365,3366,1910,1911,3372,1912,3373,1914,3376,2601,3379,3380,
1917,1918,3385,3386,3274,3387,3390,3391,1925,3392,1926,2361,3395,2618,3398,3399,1931,1933,1996,3400,1936,3401,3405,3407,3408,
2606,1940,1941,3413,3414,1943,1944,3418,3419,3420,1947,1948,3075,1949,3142,2646,3427,1953,3428,3429,1955,3433,1956,3434,1959,
3437,1960,3438,3442,1962,3443,1964,1966,1967,3446,3447,1968,3448,3452,2669,3456,3457,1972,1973,1974,3099,1976,1978,2447,1980,
2449,2671,1984,3462,3465,1987,3467,2259,3470,1990,2840,2276,1992,2691,3474,1994,3476,3479,1997,2967,1999,2964,2000,3485,2001,
3487,3488,2003,3491,2536,2006,3151,2567,2098,2008,3496,3498,3501,2011,2038,2012,2735,3086,2015,2765,2017,3509,2957,3511,3512,
3513,2022,3516,2023,3519,3520,2734,2026,2027,2028,3523,3524,3525,2033,2898,2163,2035,2994,2992,2039,3530,3534,3535,2041,2042,
3318,2043,3374,3541,2046,3544,3546,2761,3550,3551,2050,2051,2841,2052,3507,2055,2056,2773,3557,2059,3558,3560,2061,3564,2062,
3566,3568,3569,2066,2067,2069,3015,2070,2071,3010,2776,2073,2074,3581,3585,3586,2076,2077,3590,2078,3591,3593,3594,2081,2082,
3597,2807,2903,2086,2570,3601,2087,2088,2958,2089,2388,3606,2650,2094,2096,2097,3610,3611,3205,2100,3613,3616,2102,3620,2103,
3621,3624,2830,3627,2106,2107,2745,2110,3630,2882,3169,2832,2116,3631,2119,2120,3634,3453,3454,3637,2123,2217,3640,3641,3642,
3575,2129,2929,3647,2861,3650,2959,2133,2988,3652,2134,2135,3657,3658,3659,2137,2138,3665,3666,3667,2141,3668,2877,2144,2145,
3670,2147,3672,3504,2149,2150,2152,3609,2890,3676,3677,2158,3678,3293,2159,2160,3156,2534,3158,3684,2164,3687,2167,3690,2497,
2672,2673,2174,2706,3692,2911,3696,3697,2178,3700,2179,2180,3705,3710,3711,3712,2182,2183,2184,2730,2185,2869,2188,3722,3723,
2190,2191,3728,3729,3231,3230,3730,3731,2937,2941,3735,2200,3737,2201,3738,2203,2990,2205,2445,2207,3744,2949,3747,2211,2212,
2213,2446,3750,2215,2216,3753,3754,2644,2220,2950,2314,3755,2223,3758,3721,3760,2226,2771,2971,3555,2229,3762,3764,2232,3767,
2233,3587,2235,3592,2981,2238,3770,2240,3772,3774,2726,3775,2245,2246,2247,2355,3295,2893,2253,3777,3778,3779,2255,2256,3784,
2257,3785,3552,3007,3788,3789,2262,2263,3579,3794,3727,3795,3572,3798,2270,2271,3799,3021,3556,3800,2278,2319,3801,2281,3802,
3806,3808,3809,3012,2285,2286,3814,3815,2288,2289,3818,3819,3820,2292,2293,2701,2294,2795,3048,3826,3827,3350,2300,3367,2301,
3831,2304,3834,2305,3835,2308,3840,2310,3842,3845,2313,3162,2315,3065,2317,3849,3852,2320,2550,2322,2547,2323,3858,2324,3860,
3861,2326,3238,2329,2805,2983,3113,2332,3868,2533,3870,3871,3354,2337,3874,2338,3877,3878,3096,2341,2342,2581,2579,2345,3440,
3883,2347,3545,2348,3886,3109,3890,3326,2352,2353,3163,2354,3867,2357,2358,3120,3319,3377,3397,2363,3895,2364,3897,3899,3900,
2368,2369,2371,2609,2372,2373,2604,3123,2375,2376,3910,3313,3352,2378,2379,3915,2380,3916,3917,3363,2383,2384,3338,2475,2476,
2643,3608,2391,3923,3052,2396,3686,2397,3924,3927,3929,2402,2403,3304,3500,3625,2406,3935,3936,3937,3905,2412,2502,3942,3179,
3945,2538,3946,2417,2418,3951,3952,3953,2420,2421,3959,3960,3961,2424,3962,3195,2427,2428,3964,2430,3966,2434,2658,2659,3197,
3967,3497,3615,2439,2440,2441,3266,3265,2442,3974,2444,2448,2655,3097,2677,3461,3221,3979,2454,3752,2455,3982,3232,3985,3986,
3987,2460,2461,2945,2462,2954,2464,3216,3993,2696,2470,3494,2477,3998,3999,2478,4000,3246,3251,3669,2482,2731,2483,2871,4008,
2485,4011,4012,2486,4013,4017,3262,4021,4022,2490,3422,2491,2492,2493,2494,2495,4028,2496,4031,4032,2498,4033,4037,2500,4040,
4041,2529,2889,3527,2876,4042,2506,4043,3648,2509,4048,2854,2512,2513,4052,2517,4055,2518,4057,2837,4058,2521,4059,2539,2526,
2527,2635,2528,4063,4065,2530,4069,4070,2532,2743,3505,4073,3914,4074,4075,2543,3539,2544,4079,3322,4080,2546,4082,3439,4084,
2551,4085,3114,4086,2555,4089,3324,2557,4092,2559,3920,4094,2561,3143,2562,4097,2985,4099,2566,4101,2568,4104,4106,2571,4107,
3417,2574,4109,2576,2582,3233,3355,4111,4114,2586,3001,2587,4116,3370,4118,3832,2590,4119,4122,2591,2592,3540,4127,2594,2595,
3108,2597,4128,3384,4129,2600,4130,3263,2602,3134,4134,4135,4102,4136,3128,4139,3378,2611,2612,4140,2613,4141,3115,3848,4143,
4144,4145,2621,2622,4151,2623,3411,3703,2626,3388,2627,2628,3415,4156,2631,2632,3140,3423,4158,3857,3911,4068,2636,2637,2639,
2640,3493,3604,4163,2645,3651,3577,2997,4167,2648,2649,3881,4169,3432,2652,2653,3976,3444,2657,4171,4176,4177,4178,2661,2662,
2663,2875,2874,2664,3521,3458,3460,2668,4183,2670,3357,3529,2679,4186,4189,2681,3375,2682,4191,3472,3559,2685,2688,3787,3017,
4197,2692,3409,4199,2694,2695,3478,2698,4203,3776,2700,4206,4207,2703,3823,2904,3154,2707,4211,2710,3971,2711,4214,2712,3192,
3502,2714,3463,4217,3503,4218,2721,2953,3455,2723,4222,3515,2989,4224,2727,3549,4227,2729,3617,4231,2733,4232,2815,3528,4234,
2738,3306,2739,3311,3054,2746,4238,4240,3537,4244,2976,2749,2750,2752,2753,4248,4249,2755,3885,2756,4253,2757,4254,4230,3554,
2968,2760,3016,2762,2766,2767,4194,3003,2770,4258,2772,3761,4261,4263,2775,3410,4090,3570,4266,2779,2780,2781,2782,4269,2784,
2786,3567,4272,2787,2788,2842,2789,4276,3656,3588,2987,3598,2792,2793,4280,4281,2796,3595,4282,2799,2800,2978,2801,3039,2804,
4286,2806,3865,2810,2811,4291,2812,4292,2816,3495,3926,2818,3972,4296,2821,3717,2822,3718,4300,4304,4305,2825,2826,3193,2827,
3879,3629,4308,2831,3838,4312,2839,4313,4316,3743,4172,4319,2846,2847,3748,4322,4324,2850,4325,2852,2853,4331,4332,3853,3655,
4334,4335,2860,4336,2862,4339,3663,4193,4341,2865,4342,4346,2866,2867,3618,3688,4352,4353,2872,4354,4355,3673,2880,2881,4356,
3682,4359,4360,4056,2887,2888,2891,4365,3211,2895,2896,3719,2897,4369,3070,2900,4373,4374,2905,4375,3699,3704,3963,2909,3093,
2910,3189,4154,2912,4383,4384,2913,4385,4389,3715,4393,4394,2917,3822,2918,2919,2920,2921,2922,4400,2923,4403,4404,2925,4405,
4409,2927,4328,4412,3220,3194,4413,2933,4414,3943,2936,4419,3174,2939,2940,4423,2944,4318,4426,2946,4427,2960,2951,2952,3038,
4220,2955,4432,4433,3757,4434,2963,4202,3836,4200,4437,4438,2972,4009,3759,2974,4443,4277,2979,4076,2982,4446,2984,4448,3589,
4205,3782,4450,3435,4451,4452,2998,2999,3362,4455,3002,4257,3793,4456,3006,4457,3716,3008,4275,4461,4447,4462,4268,4465,3473,
4466,4467,4468,3024,3025,4472,3026,3812,3250,3029,3796,3030,3031,3816,4476,3034,3035,3599,4209,3484,3582,4431,3040,3042,3043,
3864,3922,3047,3312,3907,4121,3050,3051,3531,4483,3830,3055,3056,4103,4486,3058,3786,3059,4488,3847,3394,3061,3063,4492,3066,
3810,4333,3068,3069,3851,3072,4064,3353,3074,4160,4496,3077,3424,3080,4498,4499,3083,3626,3085,4502,3873,4503,3089,3889,4506,
3091,3928,4510,3095,4511,3100,4262,3884,3102,3104,4515,3105,4516,4509,3891,3110,3119,3327,4243,4521,3122,3811,4441,3901,4524,
3126,3127,3129,4525,3131,3133,3898,4528,3135,3164,3136,4071,3950,3139,4161,4532,3918,3146,3147,3148,3152,3153,4537,4295,4538,
3159,3264,3160,4542,3161,4543,3292,4213,3167,3300,4547,4549,3170,4550,3172,3173,4555,4556,3480,3949,4557,3178,4105,3180,4560,
3957,4490,4562,3183,4563,4567,3184,3185,3208,3209,4573,4574,3190,4575,4576,3212,4578,4579,3201,4580,3204,3206,4582,3685,3973,
3977,3213,4584,4586,4317,3219,4590,3222,4591,3991,4595,4173,3226,3751,4599,3227,3228,4605,3234,4607,3236,3237,4612,4613,4614,
3240,3241,3242,3245,4621,3248,3249,3813,4442,4625,4630,4631,4632,3253,3254,3255,4569,4568,3256,4637,4024,3383,4095,3260,3261,
4159,4643,4644,3267,4647,4649,4650,4651,4652,3271,3272,4658,3273,4659,3940,4662,3522,3671,3281,3282,3283,3285,4050,4668,3288,
3289,4672,3290,3291,3337,4301,4546,4676,4677,3297,3298,3301,3421,3303,4302,3305,3933,4681,4072,4683,3932,3309,4685,4078,4445,
3315,4687,3316,3846,4690,3321,3856,4692,3854,4693,4694,3563,3330,4091,3332,3333,4093,3335,3912,4674,3340,3605,3342,3542,3344,
4484,3576,3346,3600,4704,4706,4707,3349,3859,4561,3441,3358,4709,4115,3360,4534,4713,4126,4482,4716,3368,4718,3369,4719,3803,
3371,3468,3393,4724,4675,4026,3381,3382,3909,3482,4729,3389,4730,3903,4733,4734,3396,4149,4737,4711,3402,4196,3781,3403,3404,
4744,3406,4746,3412,4749,4157,3416,3863,4682,3425,3426,4752,4754,3430,3431,4758,3780,3436,4112,4083,4597,4762,3445,4763,4764,
4180,4769,4770,3449,3450,3451,4774,4776,3459,4777,3773,3464,4781,4190,3466,4786,3469,4349,3471,3475,4789,4791,3477,3944,3481,
4759,3483,3508,4226,3486,3824,4208,3489,3490,3492,4798,4368,4800,4802,3499,4804,4311,4806,3506,4174,3510,4425,3902,4809,3514,
4252,4811,3517,4814,3518,4006,4817,4778,4819,4067,3526,4436,3837,3532,4824,3533,4825,4828,4247,3536,4830,3538,4251,4100,4833,
3543,4834,4836,4837,3547,3548,3553,4841,3561,3562,4845,4846,4264,3565,4849,4267,3571,3573,4648,3574,4660,4855,3578,4166,3580,
3635,3583,3584,4340,3825,4444,4284,4860,3596,4862,4863,3693,3602,3603,4868,4871,4872,3607,4874,3612,4875,3614,4399,4294,4881,
3619,4882,4883,4306,4887,3622,3623,4890,3628,4891,3674,4892,4893,3632,3633,3821,3636,3768,4320,3638,3639,4430,4895,4898,4899,
3643,3644,3645,3646,4903,4051,4666,3649,4907,4909,4910,3653,3654,4914,4785,4916,4917,4918,3660,3661,4924,3662,4925,3664,4366,
4927,4007,4620,4045,4930,4779,3675,4931,4363,4935,3679,4937,3680,3681,4943,4944,3683,4946,4948,3689,4950,3691,4953,4954,4955,
3694,3695,3698,4748,3701,3702,4963,4968,4969,4970,3706,3707,3708,4348,4347,3709,4815,4396,3792,4285,3713,3714,4478,4980,4981,
3720,4984,4609,4986,4987,4988,3724,3725,4993,3726,4994,4902,3880,3965,3732,3733,3734,3736,4421,5002,3739,3740,5006,3741,3742,
4655,5009,3745,3746,3749,5012,4321,4808,5014,3756,5016,5017,5018,3894,3763,3765,3766,4245,3769,3771,4187,3906,5023,5024,4454,
4168,5026,5027,3783,3843,5028,5008,4398,3790,3791,3855,5033,3797,5034,5037,4470,5039,4829,4491,3804,3805,5042,3807,5044,4686,
4477,3817,5013,5046,3828,3829,3833,4239,3839,4790,4487,3841,5054,3844,4570,4783,5056,3850,4717,4505,4497,3862,5060,5061,3866,
3869,4054,5063,3872,4514,5065,3875,5068,3876,4380,5070,3882,4796,5073,5075,5076,3887,3888,3892,3893,4522,3896,4905,4223,4985,
3904,4995,5090,3908,4120,3913,4096,5094,3919,3921,5098,5101,5102,3925,4027,3970,5107,5108,3930,3931,3934,4062,5109,5111,5112,
3938,3939,3941,5115,4422,5000,5118,3947,3948,5122,5053,5124,5125,5126,3954,3955,5132,3956,5133,3958,3968,5135,4381,4959,4416,
5138,5139,5143,5144,5145,3969,5149,3975,4309,3978,4589,3980,5155,3981,4310,4805,3983,3984,5159,4603,5161,3988,3989,5166,3990,
5167,5170,3992,5173,5176,3994,4661,3995,3996,3997,5181,4617,5186,5187,4001,5190,4002,4003,4474,4004,5196,4005,5020,5199,5202,
5203,4010,5204,5208,4635,5213,5214,4014,5217,4015,4016,4508,4018,4019,4020,4023,4025,5227,5228,5229,4029,4853,4030,4372,4656,
5234,5235,4034,5236,5010,4035,4036,4854,5178,4038,4039,4553,4044,4046,5244,4047,5247,4351,4049,5248,5252,5254,4053,5256,5257,
4678,5258,4060,4061,4066,5226,5263,4501,4110,5266,5267,5268,4077,4439,5271,4081,5274,5276,4697,4087,4250,4088,5281,5025,5283,
4098,4138,5287,5290,5151,4708,5049,4108,5294,4113,5296,4283,5299,4117,5300,5302,5303,5304,5305,4123,4124,4125,4469,4727,4131,
5315,4132,4133,5321,5322,4137,5324,4735,5081,4142,5329,4743,4146,4147,4148,4453,5338,4150,4745,4152,5343,4153,5344,5346,4155,
4449,5152,4162,4756,5350,4164,4165,5355,5356,4170,5358,5154,5165,4960,5363,4175,5364,5366,4771,4773,4179,5047,4181,5373,4182,
4818,4932,4184,4185,4464,5375,4188,5377,5095,5379,5381,4192,4195,5384,5385,4792,4198,4554,4201,4204,5391,4210,5180,4212,5396,
5397,4803,4215,5158,4216,5401,4219,4221,5404,4225,5408,5409,4228,5412,4229,5413,4663,4233,4822,4235,5415,4236,4237,5420,5421,
4241,4242,5425,5426,5427,4246,4533,5431,5433,5434,4839,5438,4315,4255,4256,4843,5443,4259,4260,5449,5451,5452,5454,5456,4265,
5001,4323,4270,4271,5462,4273,4274,4278,4279,5468,5469,5470,4866,4287,5474,4288,4289,4594,4290,5480,4873,5097,4293,5475,5485,
4577,4297,4298,4299,5150,4361,5262,4622,4303,5494,5496,4889,4753,4307,4585,4592,4894,5501,4314,5503,5504,4544,4900,5507,4326,
4327,4329,4600,4330,5511,5512,5354,5515,4912,5518,5519,4337,4338,5466,5524,4922,5527,5528,4343,5529,5532,4344,4345,5538,5539,
4350,5542,5543,5544,4664,4775,4357,4358,5546,4941,5548,5388,4362,5457,5551,4364,5153,5392,5556,4367,5560,5561,5563,4370,4996,
4371,5566,4957,5571,5572,5573,4376,4377,4378,4379,4698,5580,5583,5584,4382,5585,5588,4973,5593,5594,4386,5597,4387,4388,4390,
4391,4392,4395,4397,5603,5604,5605,4401,5088,4402,4991,5609,5537,4406,5610,4407,4408,5089,5565,4410,4411,4415,4417,5616,4418,
5619,4572,4420,5620,5624,5231,4424,5627,5240,4428,4429,5602,5630,5631,4435,5634,5447,5019,4440,5638,4715,5394,4701,5642,5643,
5644,5645,5031,4458,5648,4459,4460,5654,5655,4463,5657,4788,5387,5041,5661,4471,5043,4473,5398,4475,5414,4479,5665,4480,4481,
4485,4861,5313,5672,4489,5057,4493,4494,4495,5478,5677,4500,5679,4504,5683,5684,4507,5687,5688,4997,4512,4513,5692,5693,5078,
5697,4545,4517,4518,5700,4519,4520,5340,5705,4523,4667,4548,4526,4527,5708,4529,4530,4531,5713,5714,5715,4535,4934,4536,5717,
4797,5721,4942,4539,4540,4541,4897,5727,5729,5730,5113,5732,4551,4552,4938,5736,5738,5120,5740,4558,4559,5712,5745,5130,5748,
5243,4564,5749,5752,4565,4566,5221,5223,4571,5759,5760,5761,4998,5763,5261,4936,5764,5147,5179,5096,5747,4581,5146,4705,5554,
4583,5771,5772,4587,5706,4588,5775,4593,5778,5779,5780,4596,5781,5782,4598,4904,5085,5785,4601,5788,4602,5789,5794,4604,5062,
5177,4606,4608,5757,4610,5801,5802,4611,5803,5807,5189,5193,5811,4615,5739,4616,5768,4618,4619,5816,4884,5818,4623,5821,4624,
5824,4812,5531,4919,4626,4627,4628,5831,5832,4629,5833,5837,5216,5220,5720,4633,5746,4634,5148,4636,4638,5087,4639,4640,4641,
4642,5265,5232,5851,4645,5626,4646,5854,5242,5857,5847,5628,4653,4654,5629,5861,4657,5587,4816,4665,5866,5156,4928,5869,4669,
4670,5874,4671,5255,4673,5848,5319,5260,5879,4679,5881,4680,5314,4684,5724,5050,5886,5887,4688,4689,5273,5892,4691,5896,5897,
5082,5663,4695,4696,5904,5365,4699,5160,4700,5906,4702,5547,4703,5909,5744,5104,5910,5912,5915,4710,5333,4712,5920,5719,5923,
4714,5925,5926,5307,5928,5929,4720,4721,5298,4722,4723,5937,5883,4725,5940,4726,5941,5945,4728,5948,5323,5952,4731,5954,4732,
5955,5958,5960,5962,4736,5084,5641,4738,4739,5969,4740,4741,5973,4742,5974,5637,5977,4765,4766,4747,5981,4750,4751,4877,5984,
4755,5985,5691,4757,5991,5992,4760,5140,5486,4761,4876,5894,5345,5579,4767,5998,5999,4768,6000,5288,4772,5099,4933,4780,6010,
4782,5936,4784,6014,6015,5382,4787,6019,5968,6023,5040,6025,4793,4794,4795,5989,5558,6028,4799,5722,4820,5194,4801,6032,5284,
5402,4807,6036,5406,6038,4810,6041,5411,5206,6042,4813,5601,6047,6006,5458,4821,6002,4823,6051,5422,6054,4826,4827,6057,5270,
5310,6060,5424,4831,4832,6065,4978,5390,6069,4835,6070,6048,5441,4838,6075,4840,6078,6080,4842,6081,6085,4844,6088,5278,6090,
5689,6092,4847,6094,4848,5550,4850,4851,4852,4896,4965,5464,6099,4856,4857,4858,4859,5990,6105,6066,6106,6108,4864,4879,4865,
5540,6110,4867,4869,5907,4870,5987,5983,5489,5349,5141,5784,4878,5407,4880,5103,5767,6119,5198,4885,6123,4886,6124,4888,5728,
5439,5237,6129,6125,5077,6130,5509,6133,4901,6136,5169,6140,4906,5488,6142,4908,6143,5523,6145,4911,6146,6150,4913,6153,4915,
6154,5536,5207,5829,6155,4920,6158,4921,6159,6163,4923,6166,4975,4976,4926,6168,5250,6172,6174,4929,6007,6177,6178,6179,4939,
6003,4940,6181,5163,6185,5476,5526,4945,5557,5022,6189,4947,5564,4949,4951,6193,6194,4952,6195,6199,5473,5576,5516,4956,6187,
4958,6204,6206,4961,6207,4962,6210,5066,5751,5127,4964,4966,6216,6217,4967,6218,6222,5596,5600,5484,4971,5525,4972,5559,4974,
4977,4979,5514,5607,6045,4982,4983,6230,5615,6167,5259,4989,4990,5878,4992,5069,4999,6240,5416,5136,6242,5003,5004,6247,5005,
5007,5652,6251,5011,5647,5633,6103,5015,6050,6255,5342,6258,5495,5021,6259,6260,5483,6263,5336,6265,5820,5029,6266,5030,6067,
6270,5032,6272,5656,6276,5035,6278,5036,6280,5038,5959,5280,6283,5045,6285,5048,6286,5429,5051,5052,6291,5673,5055,5058,5059,
6295,5175,6298,5681,6300,5064,6303,5686,5461,6304,5067,5224,6308,5071,5448,5072,5675,6313,5074,6314,5774,5699,6132,5079,6317,
5080,6318,6093,5083,6323,5086,5110,5710,6324,5091,5092,5093,5884,5911,5106,5905,5913,5100,5924,5725,5291,5162,5882,5105,5682,
5502,5505,5611,6336,6005,6337,5734,6338,5114,6077,6343,5116,5813,5117,6345,5119,6346,6350,5121,5842,5123,6353,5756,5798,6354,
5128,6357,5129,6358,6362,5131,5134,6365,5622,6369,6371,5137,6373,6374,5982,5142,6375,5769,5289,5492,5499,6377,5555,6378,5497,
5157,5230,5479,6034,6030,6117,6380,5164,6186,6287,5168,6382,5498,6033,5777,5171,5172,5852,6388,5174,6390,6279,5586,5347,6392,
6397,6398,6399,5182,5183,5184,6151,6404,5185,6405,6299,5188,5191,5192,6411,6412,5195,6414,5197,6173,6415,6046,5200,6419,6420,
5201,6421,6425,5205,6427,6432,6433,6434,5209,5210,5211,6061,6438,5212,6439,5215,5218,5219,5562,5222,5707,6448,5225,5695,6450,
6385,6250,5646,6454,5233,6455,5859,6252,5238,5239,5815,5241,5819,6460,5245,6275,5246,5698,6465,5249,6139,6469,5251,6472,5868,
5253,6475,5979,6476,6477,5993,5765,5264,6064,6478,6111,5889,6481,5269,5885,5578,6484,5272,6487,6488,5357,6491,5275,6493,5277,
5980,6497,5279,6499,5282,6113,5285,5286,6410,5378,5292,6330,5293,6503,5916,5295,6506,5917,5297,6164,6510,6329,5477,5301,5711,
6294,6513,5932,6516,5306,6517,5308,5309,5921,6522,5311,6370,5312,5671,6527,6528,6529,5316,5317,6535,5318,6536,6026,5320,6100,
6541,5908,6542,6545,6546,5325,5326,6024,5327,5855,5328,6549,5330,5331,5332,6261,6555,5334,6558,5335,6559,5337,5659,6086,5339,
5341,6564,5359,6565,6566,5799,6568,5348,6114,6569,6311,5351,5352,5353,5919,5465,6027,5360,5361,5947,5362,6447,6049,6575,6183,
5367,5368,5369,5370,5997,5371,5372,5374,6577,6011,5376,6579,6012,5467,6582,5380,6180,5731,6231,5383,6587,6588,6289,5386,6590,
6591,5389,5988,5393,5395,6271,6387,5399,5400,6188,6595,5403,6596,5405,6599,6601,6602,5410,6605,6607,6608,5865,6576,5417,5418,
6611,5419,6612,6056,6615,5423,5839,6619,6620,5668,5428,6058,6624,5430,5903,5432,6627,6628,6632,6633,5435,5436,5437,5549,6638,
5440,6190,6640,5442,6232,6641,6642,5444,5445,5704,5446,6647,6224,6650,6652,5450,6322,5453,6656,5455,6018,5459,5460,6660,5463,
6661,6205,6664,6116,5640,5666,5471,6037,5472,5639,5664,5996,5481,5482,5487,5773,5490,5491,6668,5493,5651,6659,5776,5791,6122,
5500,6335,5858,6097,6672,5506,6673,6079,5508,6674,5796,5510,6131,6416,6678,5513,5574,6680,5517,6681,6682,6683,5520,5521,6407,
5522,6689,5598,6692,6693,5530,6694,6698,6699,6700,5533,5534,5933,5535,6706,6234,6709,6461,5541,6467,6712,5873,6715,6716,5545,
5606,6004,5978,5986,6718,6001,6176,5552,5553,6720,6284,6144,6229,6573,6721,5956,6722,6727,6728,6729,5567,5568,5569,6351,6732,
5570,6733,5575,6737,5577,6739,6740,6307,5581,6743,6744,5582,6466,6748,6749,6754,6755,6756,5589,5590,5591,6310,6760,5592,6761,
5595,5599,6764,5877,6586,5608,6645,5880,5612,5613,5614,5891,6769,5617,5951,5618,6662,5621,6342,6773,5623,6776,6076,5625,6779,
6780,6781,5632,6784,6787,5635,5636,6494,5670,6363,6791,6112,5716,6794,5972,6797,6798,5649,5650,6804,6805,6293,5653,6325,6808,
6008,6809,6391,5658,5975,5660,5662,6812,6813,6107,6814,6063,5667,5669,6021,6819,5787,6821,5674,6288,5676,5793,6409,5678,6824,
5680,6827,6442,6829,5685,6832,6834,6239,6836,5690,6839,6840,6844,6845,5694,5696,5856,6451,6654,5701,5702,5703,6852,6853,5709,
6854,5817,6332,6120,5718,5723,5766,5726,6128,6233,5845,6860,5957,5733,6492,5735,6741,6864,5737,6866,6655,6867,5741,5742,6735,
5743,6873,6444,6875,5750,6876,6879,6880,6881,5753,5754,5965,5755,6887,6418,5758,6695,6889,6246,6892,6893,5762,5994,6856,6895,
5770,6118,6502,5860,6897,5783,6815,5786,6121,5790,6901,5792,6389,5795,6906,5797,6909,6910,5800,6911,6915,6402,6919,6920,5804,
6095,5805,5806,6600,6690,5808,5809,5810,5812,5814,6926,6927,6170,6928,6417,5822,5823,6238,6931,6932,6933,5825,5826,5827,6937,
5828,6940,6941,5830,6942,6946,6436,6950,6951,5834,5835,5836,6580,6623,5838,5840,5841,6956,5843,5844,6960,5846,6379,5849,6850,
5850,5853,6967,5961,6320,6969,6453,5862,5863,6711,5864,6973,6138,5867,6413,6976,5870,5871,6977,5872,6978,6474,5875,5876,6983,
6126,6984,6606,6822,6987,6989,5888,5890,6992,6993,5893,6792,6101,5895,6998,6862,5898,5976,5899,5900,5901,7003,5902,6087,6789,
6847,6501,7006,5914,7008,6763,5918,7011,6848,6707,5922,6666,6816,5927,6837,7017,7018,5930,5931,7022,5934,7025,5935,7026,5938,
5939,6533,7031,7032,5942,7033,6938,5943,5944,6793,7041,5946,6366,5949,5950,7044,6838,5953,7045,6191,6339,7048,6547,6551,6196,
5963,5964,7051,5966,7054,5967,7055,7057,7058,5970,5971,6277,6009,7064,7065,6833,6592,6857,6029,6508,6537,5995,6445,7067,6184,
6500,7070,7071,6440,6013,7073,7075,6016,6017,6810,6020,6762,7078,6022,6811,7042,6572,6031,6035,6109,7080,7081,6039,6923,6040,
6226,7086,7087,6043,6483,6044,6182,6468,7092,6235,7095,7096,6052,6053,6972,6055,7100,7102,6441,7103,6059,7104,6062,6383,7106,
7101,7108,7110,6068,7111,7114,6634,7116,6071,6072,6073,6074,7120,7121,6134,6228,7122,6082,7123,6083,6084,6282,6639,6979,7009,
6089,7128,6091,7131,7132,6401,6096,7134,6098,7043,7137,6738,6102,7139,6104,6384,6115,6511,7141,6127,7027,6975,6982,6256,6671,
6135,6137,6679,6141,6203,6687,7146,7147,6147,7148,7150,6148,6149,6925,6152,7154,6227,7157,7158,6243,6156,6157,6704,7162,7163,
6160,7164,7168,6161,6162,6521,6165,7172,6610,6214,6169,7174,6171,7175,6966,6717,6175,6570,7176,6665,7179,7159,7034,6192,7180,
7184,6730,7188,7189,6197,6198,6828,6874,6200,6201,6202,7138,6367,7194,6742,6208,6209,7195,7196,6211,6212,6213,7200,7202,7203,
6215,7204,7208,6758,7212,7213,6219,6220,6221,6817,6507,6223,6225,6646,7218,6765,6236,6237,6538,6930,6241,6244,7109,6245,7222,
6778,6248,6249,7225,6333,7226,7140,6253,6326,6254,7231,6676,6257,6636,6643,6888,6262,6571,6578,6264,6616,6802,7237,6267,7238,
7173,6268,6269,6512,6986,6273,6274,6929,6622,7246,6281,7001,6667,6296,6625,7247,6290,7149,7250,6292,7244,6593,6297,7251,7252,
6301,7191,6302,7256,7257,6305,6496,6306,6772,7261,7220,6309,7263,6637,7264,6312,7265,7267,6846,7269,6315,6316,6319,7000,6321,
6544,6552,7245,7274,6327,6328,6331,6334,6965,7133,6859,6340,6341,6865,6344,6871,7277,6347,7278,7279,6348,6349,7193,6352,7283,
7284,6355,6356,6885,7287,7288,6359,7289,7293,6360,6361,6554,6364,7297,6368,7298,7028,6894,6372,6896,6376,6898,6381,6842,7300,
7301,6386,7302,6708,7219,6677,6905,6800,6714,6713,7093,6393,6394,6395,7310,7311,6396,7312,6921,6922,6400,6403,6406,7317,6408,
6458,6855,6459,6464,6868,6935,7115,6631,6422,6423,6424,7037,6426,7322,7327,7328,7329,6428,6429,6430,7169,7333,6431,7334,6952,
6954,6435,7339,6437,7342,6907,6443,7144,6456,7345,6446,6900,6449,7350,6964,6452,7085,7155,7352,6457,6968,7353,6684,6462,6463,
6843,6685,7082,7052,6470,6471,6473,6594,6670,7049,6479,6505,6480,7360,6482,6523,6996,7365,6485,7160,6486,6489,7248,6490,7369,
6495,6556,7372,6498,6786,7377,6504,7380,7355,7381,6584,6509,7272,6514,6515,7384,7020,7387,7388,6518,6519,6524,6520,6621,7394,
6618,7217,6525,6526,7396,7039,7399,7400,6890,6530,6531,6532,6696,6534,7233,6567,6539,6540,6771,7010,6543,7178,7407,6548,6550,
6557,6553,6651,7354,6649,7409,7060,7410,7411,6560,6561,6562,6563,6788,6767,7077,7420,7421,6574,7424,7351,7271,7425,6581,7076,
6583,6585,7429,6589,7084,7356,6597,7432,6598,7434,7090,7436,6603,7439,6604,7441,7309,6609,7442,7098,7446,7299,6613,6614,7320,
6617,7023,7450,7416,7451,6820,6626,7242,6869,7455,7456,6629,6630,6936,7321,7118,7458,6635,7461,6777,7105,7462,7463,6644,6957,
6648,7465,7130,7457,6653,7382,7282,6657,7419,6658,7091,6997,6663,7229,7385,7472,6669,6766,6675,7143,7153,6974,6980,7475,7476,
6686,7477,6688,7047,6691,7275,7038,7367,6891,6697,7480,7171,7483,7484,7485,6701,6702,7336,6703,7491,6705,7493,6710,6912,6913,
7494,6719,6971,6863,7262,6723,6724,6725,7497,7498,6726,7499,7050,7190,6731,6734,7503,6736,6768,7198,7268,6745,6746,6747,7240,
7507,7512,7513,7514,6750,6751,6752,7294,7517,6753,7518,7214,7216,6757,7523,6759,7343,6955,7125,7357,6770,7253,6774,6775,6823,
6858,6782,7285,6783,6785,7072,6790,7124,6795,6796,7529,7386,7531,6799,6801,6877,6803,7013,6806,6807,7534,7383,7119,6818,7029,
7255,7526,6825,7536,6826,7260,7539,6830,7542,6831,7496,6835,7406,7544,7545,6841,7199,7506,6963,7546,7548,6849,6851,7230,6861,
6970,7221,7223,7550,6870,7454,6872,7241,7528,6878,7553,7296,7556,7308,7557,6882,6883,7520,6884,7563,6886,7181,7182,6899,7565,
7566,7567,6904,6902,6903,6988,6908,7572,6914,7574,7575,7576,6916,6917,6918,7580,7582,6924,7583,7452,6934,7588,7589,6939,7590,
7594,7331,7598,7599,6943,6944,6945,7440,7492,6947,6948,6949,7605,7554,6953,7607,7145,6958,6959,7611,7068,6961,6962,7397,7156,
7234,7616,7235,7370,7408,6981,7015,6985,7571,7362,7617,6990,6991,7620,7056,6994,6995,6999,7533,7002,7621,7374,7622,7004,7005,
7625,7379,7426,7007,7306,7549,7012,7014,7527,7016,7532,7392,7428,7019,7466,7631,7021,7024,7363,7634,7636,7030,7637,7402,7371,
7185,7035,7036,7040,7066,7046,7358,7053,7366,7415,7423,7059,7443,7642,7061,7062,7266,7063,7645,7646,7647,7069,7628,7418,7627,
7074,7650,7639,7431,7112,7079,7653,7083,7276,7655,7657,7658,7088,7603,7089,7662,7663,7094,7664,7665,7449,7097,7535,7099,7393,
7464,7107,7669,7670,7430,7468,7113,7471,7117,7530,7368,7232,7404,7126,7673,7127,7674,7129,7135,7136,7678,7679,7142,7205,7668,
7681,7682,7151,7152,7686,7161,7687,7489,7690,7691,7165,7692,7694,7166,7167,7604,7170,7698,7699,7177,7183,7702,7703,7704,7186,
7187,7689,7708,7192,7709,7197,7712,7713,7201,7714,7718,7515,7722,7723,7206,7207,7543,7564,7209,7210,7211,7727,7481,7215,7729,
7224,7227,7228,7731,7236,7359,7239,7243,7405,7249,7732,7254,7734,7736,7737,7258,7725,7259,7417,7447,7364,7270,7375,7273,7742,
7280,7281,7608,7286,7746,7561,7748,7290,7749,7751,7291,7292,7726,7295,7755,7569,7757,7303,7304,7305,7307,7754,7760,7578,7764,
7765,7313,7314,7315,7769,7316,7771,7772,7474,7318,7319,7758,7487,7486,7659,7323,7324,7325,7780,7781,7326,7782,7600,7602,7330,
7505,7332,7335,7337,7735,7338,7747,7340,7341,7344,7613,7346,7347,7348,7349,7610,7376,7361,7792,7794,7403,7444,7373,7796,7798,
7799,7378,7801,7389,7390,7805,7391,7806,7398,7395,7790,7810,7401,7803,7412,7413,7814,7414,7815,7676,7648,7819,7422,7784,7453,
7427,7822,7767,7433,7825,7435,7661,7779,7437,7807,7438,7828,7813,7829,7785,7445,7830,7448,7833,7834,7459,7460,7804,7837,7467,
7469,7470,7835,7680,7473,7684,7841,7842,7478,7479,7524,7846,7482,7847,7697,7591,7592,7848,7808,7488,7849,7490,7568,7700,7495,
7854,7705,7858,7859,7500,7501,7502,7863,7864,7504,7853,7559,7558,7738,7508,7509,7510,7871,7872,7511,7873,7584,7724,7516,7519,
7521,7656,7522,7688,7525,7836,7860,7537,7787,7538,7740,7870,7540,7816,7541,7547,7744,7879,7551,7552,7788,7555,7715,7716,7883,
7817,7560,7884,7562,7614,7778,7759,7889,7570,7891,7892,7573,7893,7766,7768,7577,7824,7579,7897,7581,7773,7900,7585,7586,7840,
7587,7890,7904,7593,7802,7906,7831,7595,7596,7597,7601,7606,7609,7612,7615,7618,7909,7619,7741,7623,7910,7624,7791,7874,7626,
7640,7649,7629,7630,7827,7850,7632,7633,7635,7809,7638,7652,7641,7878,7885,7643,7644,7750,7789,7918,7651,7720,7919,7654,7728,
7913,7660,7677,7795,7783,7666,7667,7821,7882,7671,7672,7721,7675,7693,7925,7845,7926,7683,7927,7685,7730,7929,7928,7793,7695,
7696,7869,7932,7922,7933,7701,7934,7811,7861,7876,7706,7707,7865,7940,7710,7820,7711,7908,7943,7717,7812,7911,7838,7719,7945,
7733,7915,7739,7947,7743,7948,7745,7949,7797,7752,7753,7756,7826,7894,7895,7777,7776,7903,7761,7762,7763,7898,7770,7953,7902,
7956,7774,7775,7920,7914,7832,7786,7936,7851,7886,7800,7965,7843,7966,7880,7877,7818,7937,7887,7823,7950,7868,7930,7839,7896,
7888,7924,7844,7938,7970,7852,7935,7867,7942,7855,7856,7857,7862,7972,7907,7975,7866,7946,7912,7931,7875,7916,7917,7881,7978,
7979,7981,7982,7899,7984,7987,7901,7988,7963,7905,7991,7993,7994,7962,7996,7997,7921,7923,8000,8002,8003,8004,7939,8005,8008,
7941,7944,8010,7983,7951,7985,7952,7958,7957,7954,7955,7986,8011,7959,7960,8017,7961,8018,8019,7964,8022,8016,7967,7968,7992,
7969,8027,8006,7971,7976,7973,7974,8007,7977,8025,7980,8034,8036,7989,8040,7990,8001,8044,8039,7995,8047,8009,8049,8050,7998,
8035,7999,8053,8055,8048,8057,8059,8060,8045,8012,8023,8013,8056,8014,8042,8015,8054,8062,8020,8063,8037,8061,8021,8064,8029,
8024,8026,8041,8028,8043,8030,8033,8031,8058,8032,8038,8051,8052,8046]
>;
print "Group G is (2^2 x 3).U6(2) < Sym(8064)";