/*
www-ATLAS of Group Representations.
S12 represented as permutations on 10395 points.
*/

G<x,y>:=PermutationGroup<10395|\[
2,1,7,9,11,6,3,16,4,10,5,21,18,14,25,8,29,13,19,33,12,37,39,41,15,
45,47,28,17,52,54,55,20,58,60,36,22,65,23,68,24,72,57,44,26,77,27,81,83,50,
86,30,90,31,32,95,43,34,99,35,103,91,63,106,38,110,67,40,113,70,115,42,119,121,75,
98,46,126,79,129,48,133,49,137,138,51,142,144,89,53,62,92,93,151,56,155,157,76,59,161,
101,164,61,168,170,64,174,176,109,66,181,183,69,187,71,190,192,118,73,196,74,198,148,200,202,
78,206,207,80,211,213,132,82,218,219,136,84,85,224,209,141,87,230,88,234,236,238,123,241,243,
94,246,248,154,96,252,97,254,256,258,100,262,263,102,267,269,167,104,274,105,277,265,173,107,283,
108,287,289,179,292,111,296,112,300,280,186,114,306,210,116,311,117,315,194,318,120,322,122,326,124,
330,125,333,334,205,127,128,341,140,189,130,345,131,349,309,216,352,134,135,240,221,222,357,139,361,
363,291,228,367,143,371,232,373,145,377,146,380,147,384,220,149,387,150,390,266,152,382,153,397,250,
400,156,404,158,408,159,412,160,415,417,261,162,163,424,172,245,165,413,166,432,393,272,435,169,275,
440,171,444,446,185,281,410,175,452,285,455,177,459,178,462,227,180,466,427,295,182,470,392,299,184,
475,476,478,304,480,188,484,486,215,394,191,491,313,494,193,498,500,195,504,506,321,197,511,324,514,
199,518,428,329,201,523,332,203,204,526,528,337,531,339,533,208,537,539,541,212,545,347,548,214,552,
554,217,558,560,355,563,223,492,567,360,225,571,226,573,575,488,229,579,581,370,231,585,233,587,589,
376,235,593,594,237,530,247,383,239,602,604,242,608,610,244,614,298,271,310,395,619,249,623,625,251,
629,631,403,253,636,406,639,255,643,282,411,257,268,414,259,650,260,652,654,420,657,422,660,264,664,
666,294,328,651,430,671,270,675,677,273,681,683,438,600,276,688,690,443,278,694,279,696,616,617,668,
700,284,703,704,286,708,710,458,288,715,716,290,719,706,465,293,724,468,726,297,730,659,473,733,301,
302,738,303,741,305,744,746,483,307,750,308,751,366,599,490,312,358,755,314,759,761,497,316,766,317,
769,757,503,319,775,320,779,781,509,784,323,788,789,325,644,793,517,327,785,798,521,800,331,804,806,
335,810,336,814,381,338,819,340,822,824,536,342,828,343,830,344,832,834,544,346,838,839,348,843,845,
551,350,850,351,853,841,557,353,859,354,863,865,356,868,586,870,359,873,569,876,362,880,364,884,365,
752,640,578,368,833,369,895,583,702,372,565,374,900,375,902,591,904,378,379,753,596,656,910,489,439,
913,385,916,386,875,606,919,388,922,389,924,925,613,391,929,448,449,932,396,936,938,622,398,943,399,
946,934,628,401,952,402,956,958,634,731,405,964,965,407,577,969,642,409,515,974,976,978,980,982,416,
429,418,988,419,992,597,421,997,472,423,1001,1003,663,425,1007,426,1009,450,1012,1013,431,1017,1019,674,433,
1024,434,1027,1015,680,436,1033,437,1037,1039,1041,707,441,1045,442,1049,692,1052,445,1056,447,1060,1062,1064,451,
1068,584,453,454,1072,464,687,456,1076,457,1080,1044,713,1083,460,461,931,718,463,918,1089,722,1092,467,1095,
469,1099,1100,729,471,635,1103,474,1107,1109,736,737,477,1088,1113,479,1117,758,481,1121,482,1124,748,1125,485,
487,576,595,1128,493,1131,502,743,495,1135,496,1139,1120,764,1142,499,767,1146,501,1147,1151,1119,773,1134,505,
1157,777,1159,507,1163,508,1167,1168,510,519,1172,787,512,513,1178,1170,1067,516,1184,795,1187,1189,520,1193,522,
1197,1199,803,524,1204,525,1208,808,987,527,1213,1215,813,529,1219,1221,1223,818,532,1228,842,534,1232,535,1236,
826,1239,538,1243,540,961,542,580,543,979,836,986,546,547,1254,556,821,549,1258,550,1262,1231,848,1265,553,
851,1269,555,1272,1274,1276,857,1279,559,1283,861,1285,561,1289,562,1293,867,564,1297,566,1301,994,568,1306,605,
570,1311,1112,879,572,1317,882,1320,574,1324,886,930,1326,1327,890,1011,1331,893,968,582,1069,1337,1339,1341,588,
1345,590,1348,592,1350,1096,907,1353,1354,598,1248,1357,601,1360,1362,603,917,720,607,1369,1371,609,935,611,612,
1379,927,1380,615,887,717,618,1385,627,923,620,1389,621,1393,1376,941,1396,624,944,1400,626,1404,1405,1375,950,
1388,630,1411,954,1413,632,1417,633,1419,1420,831,1423,963,637,638,1428,1102,894,641,1434,971,1437,1439,645,1443,
646,1447,647,835,648,1452,649,1456,1458,985,837,809,653,1464,1466,991,655,1470,872,1473,996,658,1478,1480,1016,
661,1484,662,1488,1005,1491,665,1495,667,1499,891,669,670,1502,679,1000,672,1506,673,1510,1483,1022,1513,676,1025,
1517,678,1521,1523,1525,1031,1528,682,1532,1035,1534,684,1538,685,1542,686,1546,1547,712,689,1552,1047,1554,691,1558,
1374,693,1563,1565,1055,695,1570,1058,1573,697,1577,698,1579,699,1581,1066,792,701,896,1587,1589,705,1593,1595,1596,
709,1600,1078,1602,711,1606,1365,714,1611,1613,1086,1616,739,721,1618,1549,723,1621,1623,725,906,1378,1098,727,728,
1631,967,732,1636,1638,1106,734,1642,735,1646,1648,878,740,1650,1115,1412,742,1653,772,763,745,1122,1368,747,749,
1659,1127,754,1582,1662,756,1401,1667,774,760,1467,1137,1672,762,1518,1358,765,1680,1590,1145,768,770,1663,1149,1686,
771,1688,1481,1654,1691,1282,776,1695,778,1696,1698,1162,780,1701,1702,1166,782,783,1706,791,1449,786,1712,1174,1715,
1176,1717,790,1721,1723,1462,1182,1727,794,1731,1733,796,1736,797,1739,1741,1192,799,1744,1746,1196,801,1751,802,1755,
1757,1759,1203,805,1763,1765,1207,807,1770,1709,1463,1212,811,1775,812,1366,1217,1777,815,1781,816,1783,817,1785,1787,
1226,1789,820,1793,1794,847,823,1797,1234,1799,825,1803,1370,827,1808,1810,1242,829,1814,1245,1544,1247,911,1422,1584,
1819,1821,1822,840,1825,1827,1829,844,1833,1260,1835,846,1839,1361,849,1844,1622,1268,852,1848,1271,854,1852,855,1854,
856,1795,1796,858,1830,1860,1156,860,1863,862,1864,1737,1288,864,1869,1870,1292,866,1694,1760,1875,869,1879,1553,1300,
871,1885,1782,1633,1305,874,1889,1890,1472,1310,877,1895,1897,1899,1315,1901,881,1905,1460,883,1857,1910,1323,885,1915,
888,889,1440,1367,1920,892,1356,1925,1450,1335,1774,897,1930,898,1933,899,1937,1939,1344,901,1944,1708,903,1947,905,
1949,1951,908,909,1355,1332,912,1141,1816,914,1264,915,1958,1364,1082,1216,1329,1123,920,1238,921,1966,1373,1051,949,
940,1377,1097,926,928,1972,1382,1975,1976,933,1980,1981,951,937,1985,1391,1987,939,1991,1953,942,1994,1996,1399,945,
1132,1999,1403,947,948,2002,2004,1969,2005,1531,953,1116,955,2007,2009,1416,957,2012,959,960,2016,1249,962,2021,1425,
2024,2026,966,2030,1924,2033,1432,2036,970,2040,1974,972,2044,973,1328,2047,1442,975,2050,2052,1446,977,2057,1171,1334,
2061,981,2064,2066,1455,983,2071,984,2074,1319,2077,1181,1211,989,2082,990,1136,1468,2084,993,2088,1309,995,2090,2092,
1476,2095,998,2099,999,1153,2100,1021,1002,1813,1486,2106,1004,2110,1964,1006,2115,2117,1494,1008,2122,1497,1591,1010,2125,
2127,1014,2131,2133,2135,1018,2139,1508,2142,1020,2146,1956,1023,2151,2153,1516,1026,1140,2157,1520,1028,2161,1029,2163,1030,
2101,2102,1032,2136,2170,1410,1034,2173,1036,2174,2176,1537,1038,2181,2182,1541,1040,2006,1246,1545,1042,1043,2188,1091,2103,
1551,1046,1299,1048,2193,2195,1557,1050,2200,2201,2192,1562,1053,2207,1054,2209,2211,1568,2214,1057,2218,2068,1059,2167,2223,
1576,1061,2228,1063,2232,1065,1129,2059,1250,1585,2239,1070,2241,1071,1144,1498,1592,1073,2245,1074,1075,2247,2249,1599,1077,
2253,1079,2255,2257,1605,1081,2262,2263,2254,1610,1084,2269,1085,2271,2273,1087,2277,1090,2281,2123,1093,1267,1094,2287,1625,
1971,1627,2105,1629,1970,1101,2295,1304,1634,1986,1104,2299,1105,2301,1640,2141,1108,2306,1644,2300,1110,2310,1111,2238,1114,
2312,2313,1118,1154,1965,1656,1963,1658,1126,2321,1968,1130,1148,1977,1665,2010,1133,2326,1858,1832,2094,1138,2331,2128,1675,
2178,2197,2330,1679,1143,2340,2259,2343,2345,2334,1150,2348,1152,2352,2303,1155,2355,2357,1294,1158,1160,2360,1161,2362,2364,
1164,1165,2316,1704,2367,1169,2371,1347,1210,1710,2375,1173,2379,2381,1175,2385,1177,2388,2390,1720,1179,2394,1180,2396,2398,
2399,1183,2403,2405,1730,1185,2410,1186,2412,2401,1188,1287,2045,1190,2418,1191,1742,2419,1194,2423,1195,2425,2213,1749,2428,
1198,2432,1753,2424,1200,2436,1201,2439,1202,1295,1761,2442,1205,2446,1206,2447,2449,1768,2451,1209,2455,2456,2416,1336,1214,
2460,1218,2464,2466,1780,1220,1303,1222,2473,1224,2475,1225,2479,1227,2483,2485,1792,1229,1230,1277,1278,1233,1908,1235,2494,
2496,1802,1237,2266,2337,2493,1807,1240,2504,1241,2506,2508,1485,1244,2512,1359,2514,2080,1251,2518,1252,1253,2521,1824,1255,
2525,1256,2527,1257,1280,2531,1670,1259,2534,1261,2536,2538,1838,1263,2542,2543,2535,1843,1266,2548,2550,2552,1270,2554,2159,
2556,1273,2560,1275,2564,2566,1321,1669,2569,1281,2573,2575,1284,1286,2579,2581,2179,2583,1290,1291,2491,1872,2083,2588,1296,
2592,2104,1878,1298,2596,2597,1960,1883,2600,1302,2603,2605,2198,1307,1308,2611,2472,1893,2471,1312,2616,1313,2620,1314,2623,
1316,2529,2626,1904,1318,2630,2624,1798,2572,1322,2636,2602,1913,2639,1325,2643,2189,1918,2081,1330,2649,2248,1923,1430,1333,
2515,2417,1962,2657,1338,2172,1932,1340,2664,2510,1936,1342,2668,1343,2532,2023,1942,2672,1346,2676,2260,1349,2018,1351,2681,
1352,2685,1395,2687,1955,1512,2513,1363,2574,1882,2695,1928,1657,1490,1655,1372,2701,1661,1408,1630,1626,1381,2708,1436,1383,
1384,1664,2710,1979,1386,1387,2714,2168,2138,1390,1635,1392,2718,2720,1990,1394,2717,1993,1397,2727,1398,2035,2731,1402,2734,
2736,1406,2740,1407,1409,1543,1414,2744,1415,1666,2747,1418,2704,2014,2750,1421,2754,1948,2019,2758,1424,2762,1941,1426,2766,
1427,2769,2771,2029,1429,2775,2776,1431,2604,1997,1433,2780,2782,2039,1435,2787,2788,2711,1438,1738,2792,1441,2048,2793,1444,
2797,1445,2798,2800,2055,2803,1448,2807,1583,2613,1451,2062,2809,1453,2812,1454,2814,1572,2069,2818,1457,2821,2813,1459,2825,
2827,1461,2830,2777,1818,1919,1465,1873,1469,2836,2838,2087,1471,2842,1474,2844,1475,2847,1671,1477,2851,2853,2098,1479,1482,
1526,1527,1550,1877,1628,1487,2863,2865,2109,1489,2729,2733,2862,2114,1492,2874,1493,2746,2878,2120,2880,1496,1620,2724,1500,
2888,1501,1674,2891,2130,1503,2876,1504,2896,1505,1529,2900,1984,1507,2886,1641,1509,2905,2907,2145,1511,2912,2913,2904,2150,
1514,2919,1515,2921,2923,2925,1519,2927,1850,2930,1522,2933,1524,2937,2221,2940,1574,1983,2943,1530,2947,1931,1533,1535,2951,
1536,2953,1676,1867,2956,1539,1540,2859,2184,2716,2689,2857,1548,1917,2963,2191,1561,1555,2967,1556,2890,1677,1888,2971,1559,
1560,2974,2976,2498,2205,2966,1564,2981,1566,2984,1567,2987,1748,1569,2898,2991,2217,1571,2995,2989,2165,2946,1575,3001,2511,
2226,3005,1578,3008,2962,2231,1580,3012,3014,2235,3017,2791,1649,1586,2240,1588,3023,3024,3026,1594,2881,1597,1922,1598,2901,
2251,2828,1601,1609,1603,3038,1604,3040,1682,1946,3043,1607,1608,3047,3049,1804,2267,3053,1612,3057,1614,3060,1615,3063,2275,
2939,1617,3067,2279,3068,1619,2608,3072,2284,2285,2884,1624,2948,3079,3081,3082,2707,2706,2294,1632,3085,2871,2867,1637,1645,
1639,3089,1690,3091,3092,1643,3095,3097,2309,1647,3102,1651,1652,3103,2315,1703,3106,2700,2319,2699,1660,3110,3111,2721,3113,
1668,3116,2802,2817,1678,1673,3120,2909,1685,2978,3124,1805,2338,3128,1681,3132,3052,1683,3136,1684,3138,3127,1687,3141,2350,
3143,1689,3147,3099,1692,3148,1693,3149,3151,1697,3155,1699,3157,1700,3159,3160,1705,3163,3165,2370,1707,3169,2614,3170,1711,
3173,3175,2378,1713,3180,1714,3182,3172,2384,1716,3187,2402,1718,2691,1719,3192,2392,3195,1722,3199,1724,3203,1725,1726,3206,
1735,2387,1728,2823,1729,3212,3189,2408,3215,1732,3219,1734,3222,3223,2415,1773,1927,1740,1743,3230,3232,2422,1745,1754,1747,
3238,3240,1750,3244,3246,2431,1752,3250,3208,2435,1756,3255,3257,1758,2474,3262,1762,3266,3268,2445,1764,1766,2767,1767,3274,
1769,3278,3280,2454,1771,1772,3286,3288,3290,1776,2702,3293,2463,1778,3156,1779,3301,3105,2469,3133,1894,1892,1784,2440,1786,
3309,3311,2478,1788,3315,3317,2482,1790,3322,1791,3326,3328,2488,3331,3333,1871,3334,1806,1800,3338,1801,2916,2204,3074,3341,
3343,2502,3337,1809,3347,1811,3350,1812,3353,1935,2225,1815,1957,1817,1926,2902,2517,1820,3362,2520,1823,3363,2893,3225,1826,
3367,1828,3370,1902,3372,1831,1940,3374,1834,1842,1836,3380,1837,3382,2910,3384,1840,1841,3390,3392,2546,3394,1845,3398,1846,
3402,1847,3405,1849,3409,1851,3411,2558,2932,1853,3415,2562,3417,1855,3421,1856,3424,3425,1859,3429,2571,1909,1861,1959,1862,
3308,2577,3436,1865,3440,1866,3443,1868,3445,2585,2958,3282,1874,3451,2590,3046,1876,3457,2594,3004,1880,1881,3430,3461,1884,
3464,1912,1886,2034,1887,3469,2607,2282,2609,2973,1891,3475,2060,2373,2680,1896,3480,2618,2983,1898,3484,3485,1900,1907,3373,
1903,3491,2628,3493,1906,3497,3499,3501,2634,2845,1911,3507,2833,1914,3512,2858,2642,1916,3503,3517,3453,2899,2648,1921,3524,
3525,3527,3529,2808,3532,3534,1929,2697,2659,3188,3537,2662,3539,1934,3371,2666,3544,1938,3354,3432,3549,1943,3553,3555,2675,
1945,3559,2678,3045,2615,1950,3562,2683,3059,1952,3565,1954,3426,2186,3568,2389,2692,3446,3572,1961,3575,2658,3576,2320,2318,
1967,2461,3578,2013,3580,2293,2292,1973,3582,1978,2043,3584,3586,1982,3589,2185,1992,1988,3593,1989,2324,3596,3598,2124,2725,
3602,1995,3605,2111,3608,1998,2784,2112,2000,3614,2001,3616,2738,3617,2003,3621,3622,3624,2008,3628,2118,2011,3632,3634,2015,
3637,3638,2753,2017,3642,3306,3010,2020,3646,3648,2761,2022,3653,3654,3644,2025,2448,2779,2027,3661,2028,3665,2773,3668,2031,
2032,2079,3675,2768,2037,3678,2038,3681,2732,2785,3684,2041,2042,3610,2790,2237,2046,2049,3694,3696,2796,2051,2053,3658,2054,
3703,2328,2056,3707,3709,2806,2058,2654,2063,3714,3716,2065,2073,2067,3647,3723,2329,2070,3726,3728,2072,3732,2404,2824,2075,
3737,2076,2252,2829,2078,3742,3743,2638,3664,2835,2085,3629,2086,3751,2840,3606,2089,3260,2091,2635,3758,2093,3762,3764,2850,
2096,3768,2097,3772,2855,3775,2187,2641,2183,3030,3583,2113,2107,3781,2108,3595,2298,3785,3612,3788,2297,2872,3780,2116,3793,
2132,3631,2119,3798,2121,2246,3800,2883,2286,3803,2140,2887,2126,3808,2196,2129,3783,2523,3812,3814,2134,3817,2215,2647,2137,
2250,2516,3810,2149,2143,3825,2144,3827,2333,2540,3830,2147,2148,3834,3836,2497,2917,3840,2152,3844,2154,3847,2155,3850,2156,
3853,2158,3855,2929,2160,3857,2559,2162,3861,2935,3863,2164,3867,2276,2166,3869,3870,2169,3873,2945,2222,2171,2288,3261,3879,
2175,3883,2177,3886,2955,2180,3888,2586,3891,3571,2961,2230,2190,3874,3895,2206,2194,3666,3852,2970,2199,3900,2610,2202,3903,
2203,3719,2335,3906,3056,2208,3911,2619,2210,3913,3914,2212,3917,2220,3819,2216,3923,2993,3925,2219,3929,3931,3933,2999,3936,
2224,3940,3590,2595,2227,3946,3007,2229,3949,2757,3011,2233,3954,2234,3955,3957,2236,3960,3962,3964,3965,3967,2242,2243,3971,
2244,3973,3818,3029,2860,3799,3876,3356,3821,3981,3983,3984,2256,3987,2258,3990,3042,2261,3992,2679,2591,2264,3995,2265,3731,
3607,2342,2268,3985,4002,2980,2270,4005,2684,2272,4007,4008,2274,3909,3976,3514,2278,2280,3999,3673,3071,2283,3871,2499,4021,
3820,3077,4024,2289,4026,2290,2291,3162,3100,2296,3790,3087,4030,2302,4033,2304,2305,4037,3094,2307,4041,2308,4031,2354,3084,
4044,2311,2314,4045,2468,2317,3667,4047,3131,2322,2323,3601,2325,4054,4056,2327,3735,4059,4060,2332,4063,3839,3915,2336,3724,
3611,2347,2339,4061,4072,3109,2341,2470,4009,4075,2344,4049,2346,4076,4080,2349,4084,2351,4069,4087,3146,2353,2356,2358,4093,
2359,4096,4097,3154,2361,2465,2363,4102,2365,2366,4105,3083,2368,3566,2369,4109,3167,4110,2372,2374,4115,2383,2376,3721,2377,
4122,4106,3178,4125,2380,4129,2382,4132,4134,3185,3700,2386,2660,2407,3190,3713,2391,3897,4046,2393,4146,4148,3198,2395,4152,
3201,4014,2397,4156,4158,2400,4161,2434,3739,3210,4165,2406,4169,4171,2409,4175,4177,3218,2411,3660,3221,2413,2414,4182,2524,
4183,4184,4108,3229,2420,4189,2421,4193,3234,3904,4197,4118,2426,4200,2427,4066,4205,3243,2429,4209,2430,4213,3248,3996,2433,
4218,4220,3454,4222,2437,4139,2438,4226,3259,2843,2949,2441,3412,4229,3265,2443,4233,2444,4236,3270,4239,4241,4243,2450,4247,
4249,3277,2452,4253,2453,4257,2587,3283,4261,4263,2457,4267,2458,4270,2459,3291,3573,2462,4275,3579,3296,4064,4027,3299,4274,
2467,4284,3312,4287,4289,2756,4292,2576,2476,4295,2477,3303,3313,4297,2480,4298,2481,4300,3777,3320,4304,2484,4306,3324,4299,
2486,4310,2487,4244,4313,2489,4315,2490,2492,4317,4319,2503,2495,3670,4322,2500,4104,2501,3715,4112,3397,2505,4296,3630,2507,
4259,4332,2509,2669,4335,3033,4338,4119,4153,3360,4341,2519,2522,4347,3365,3795,2526,4351,4353,2528,2665,2530,2625,2533,4358,
3756,3377,4360,4361,2537,4364,2539,4368,2541,4370,3386,3832,3388,3833,2544,4240,2545,3727,2547,4362,4380,3346,2549,4384,3400,
3846,2551,4262,4388,2553,4328,3407,3854,2555,4248,2557,3263,4394,4396,2561,4400,2563,4377,4403,3420,2565,4032,3423,2567,2568,
2688,4199,3428,2570,2598,4356,2670,3433,3659,3878,2578,4420,4422,3439,2580,3441,3885,2582,4254,2584,2693,4430,4432,4433,3450,
2589,4382,2646,3253,4436,3456,2593,4440,4019,4442,2599,3893,3662,2601,4318,4450,3467,3809,2606,4454,4455,4079,4089,3474,2612,
4461,4462,4464,4329,2617,4133,4405,3483,2621,2622,3486,4471,4473,3489,3755,2627,4478,2629,4482,4484,3496,2631,4424,2632,4489,
2633,4491,2644,4294,4494,3506,2637,4498,4092,3757,3511,2640,4502,3066,3515,3935,2645,4507,4509,4137,4512,3522,4514,2650,2651,
4520,2652,4523,2653,4527,4528,2655,4532,2656,4535,4416,2661,4538,2663,4542,4544,3542,4410,2667,4549,4550,4552,4554,2671,4055,
3679,3552,2673,4352,2674,4564,3557,3989,2677,4568,4570,2682,4573,3564,2686,3164,4577,2690,4579,4371,2960,2694,3292,4273,2696,
2698,4070,2703,3295,2705,4584,2709,2861,2712,4588,2713,4590,4591,2715,3003,4594,4596,2719,4599,2866,2722,4603,2723,4606,4586,
3112,2726,4597,4610,2728,2841,3051,2730,4057,2789,3126,2869,3613,2735,4617,2737,2739,4608,4623,3620,2741,2742,4627,2743,4630,
4631,3627,2745,2837,3349,2877,2748,4638,2749,3683,3645,2751,2752,4643,3640,4644,2755,4647,2765,3636,2759,2815,2760,4652,4640,
3651,4654,2763,2764,4457,4659,3657,2799,3434,3220,2770,3463,3663,2834,2772,2968,3107,2774,4670,3339,3671,3672,3070,4676,2778,
4052,4130,2781,3551,4682,2783,4686,3635,2786,4690,4692,3687,3688,4695,4696,4697,4642,3693,2794,4702,2795,4705,3698,4708,3186,
4675,4712,2801,4716,4718,3706,2804,4722,2805,4726,3711,4729,3191,2810,3344,2811,4734,3718,2977,4557,3174,4739,2816,3125,4742,
2819,3393,2820,4749,3730,3050,2822,4754,4756,3117,4758,2826,4663,3209,4674,4763,2831,2832,4769,4669,3746,4600,4772,3749,4665,
2839,4776,4673,4779,3490,3376,3510,2846,4277,3760,4595,2848,4785,2849,4787,3766,4790,2852,4792,3770,4786,2854,4797,4694,2856,
4800,3319,4587,4803,2873,2864,4666,2892,4602,2868,4810,4053,2870,4732,3086,4814,3843,2875,4818,3366,4350,4820,2879,3031,2882,
4825,4827,2885,4639,4228,4039,4831,2889,3468,2903,4809,2894,4838,2895,4841,4843,2897,3028,2990,3076,3034,4837,4846,4847,2906,
4850,2908,4853,3829,2911,4855,3387,3389,2914,4709,2915,4745,4601,3122,2918,4848,4866,3792,2920,4870,3401,2922,4730,4873,2924,
4817,2969,2926,3408,2928,4717,2931,4882,4884,4886,2934,4890,2936,4863,4893,3866,2938,4897,2941,2942,3073,4901,2944,2964,4844,
3032,3877,3435,2950,4910,4912,3882,2952,4917,3442,2954,4723,2957,4921,4923,2959,4926,3462,4336,2965,4000,3193,4793,4929,2972,
4931,4933,2975,3235,4937,2979,4938,4940,3064,4280,2982,4943,2985,2986,3123,3916,2988,4947,4949,4950,3921,4953,2992,4957,2994,
4961,4963,3928,2996,4966,2997,4968,2998,4971,3516,3000,4974,4976,3939,3002,4981,4626,4664,4973,3945,3006,4986,4952,3009,4989,
4991,4993,4995,3013,3015,5000,3016,5003,5005,3018,5009,3019,5012,3020,3021,5016,3022,5019,5021,3970,3025,5025,3027,5026,4900,
3065,5029,5031,4593,5033,3035,5036,3036,3037,3054,4506,3039,5041,3558,3041,5043,3044,5045,5047,3048,3249,5052,5054,3069,3896,
5056,3055,4868,5060,3058,5063,3061,3062,3134,4010,4667,4906,5038,3202,4015,4504,5059,5072,3459,4190,3075,4656,5075,3078,5079,
3080,3298,4028,4821,3088,3098,3422,3090,4034,4035,4835,3093,5085,3806,5087,3096,5090,4151,3101,3104,3194,3108,5092,3137,4050,
4051,3676,3787,3114,3550,3115,3609,4058,3118,3119,3129,5098,3121,3297,4874,3241,4978,4616,3144,3577,5105,3130,5109,4074,3135,
3139,4077,4668,3472,3140,5097,5112,4083,3142,5110,5108,3145,5117,3473,5120,4091,3509,3150,5094,4095,3152,3153,5099,4486,4100,
5100,3158,4658,3342,3161,3177,4107,3228,3166,3168,5134,3345,4113,5137,3171,5140,4225,3237,3358,4120,5143,3176,5147,4578,3179,
5152,5076,4128,3181,3677,4131,3183,3481,3184,5159,5131,3520,5162,3256,4583,4733,4805,4143,4731,4145,3196,5168,3197,4736,4150,
4043,3200,3359,4710,5176,3204,5179,3205,4784,4160,3207,4636,5035,4624,3211,5184,5186,4168,3213,4871,3214,4879,5183,4174,3216,
5195,3217,4918,5198,5200,5201,3224,3226,3227,5209,5133,4187,4812,3231,4020,4191,5132,3233,5216,5136,4859,3236,5171,3427,3239,
5224,4202,4605,4880,3242,5228,4207,4860,3245,4919,4211,5227,3247,5236,5238,4872,5241,3251,5245,3252,5221,3254,5248,4760,4117,
3258,5251,3805,3264,5254,4231,5257,3267,4234,5253,3269,5261,5263,3271,3391,3272,5268,3273,3329,4245,4678,3275,3410,3276,5273,
4251,5276,3279,3444,4255,5272,3281,5282,3351,5285,3284,3403,3285,5291,5292,4266,3287,4268,5298,3289,4271,5303,3574,3300,3294,
5307,3759,4582,5310,3910,5312,5306,4283,3302,5317,4303,3304,5322,3305,5323,5325,3307,5327,3504,3310,3348,3314,3316,3325,3318,
5332,4713,4286,3321,5335,3323,5338,5340,4309,3327,5344,5275,3330,5348,3332,5351,3335,3465,3336,4378,4783,3340,4925,4324,5192,
4948,5269,3406,3479,5141,4331,3352,4333,4448,3355,3894,5359,3357,5361,5363,3361,5367,5369,4344,4345,4807,3364,5270,5374,3796,
3368,3554,3369,4354,4662,3431,4649,3375,4829,3378,3379,3395,5384,3381,5387,4366,4852,3383,5277,3385,3570,5391,4881,4737,4375,
5395,3418,4320,5398,3396,5402,3452,5350,3399,5148,4752,4387,3404,4389,4672,5149,4741,4393,3413,5410,3414,5382,5414,4399,3416,
5412,5401,3419,5419,3482,5422,4898,4408,4899,3543,4902,4412,4903,5428,5425,3536,5432,5376,4419,3437,5337,3438,5385,3498,4425,
5441,5154,4746,4429,3447,5447,3448,3449,5256,5450,3455,5453,4438,5456,3458,5459,3460,5023,4444,5455,5121,4447,4334,5463,3466,
5156,4895,4453,3470,3471,5470,3655,5473,4459,5126,3476,3477,5480,3478,5027,4466,5128,5485,4469,5440,3487,5489,3488,5491,5326,
5493,4477,3492,5497,4781,4481,3494,5501,3495,4914,4099,4661,5505,3500,5508,3502,5511,5509,3505,5515,4979,5517,3508,5329,4500,
5522,3513,5287,4016,5526,3986,3518,5460,3519,5130,5378,3521,5535,3523,5539,5541,4517,4518,4999,3526,5304,5548,3528,5483,4525,
5081,3530,3531,5556,5030,4531,3533,4533,5562,3535,5566,5568,3538,5571,4801,4541,3540,5577,3541,5581,5461,5584,4679,3545,3546,
5589,3547,5592,3548,5594,4556,3720,5596,5597,4560,4842,5601,4681,3556,5605,5607,4567,3560,5610,3561,5614,4572,3563,5618,4575,
5620,3567,4124,3569,5623,5624,4278,4140,3581,5626,3600,3778,3585,4802,3587,3588,4614,3979,3591,3761,3592,3603,5634,3594,3747,
3838,3784,3597,5639,4203,3599,5627,3618,5643,3604,5647,5648,4613,4592,5649,4068,3615,5633,5653,4620,5651,5646,3619,4164,4625,
3942,3623,5628,4629,3625,3626,5635,5503,4634,5636,4162,5664,3633,3804,3650,4641,3692,3639,3641,5669,4646,3643,5103,4357,4650,
5675,3649,5393,3652,5682,4022,4657,4103,3656,5687,4487,4355,3738,3943,3750,3782,4011,4078,3745,3669,5696,4390,3753,3740,3701,
3674,5704,4246,4548,4878,4563,3680,5708,5710,4685,3682,5570,5531,5707,3685,5717,3686,5550,3774,3689,3690,3691,5725,5668,4700,
5727,3695,4703,5667,3697,5733,5671,3699,3835,4154,5468,3702,4302,4714,5632,3704,3856,3705,5743,4720,5746,3708,3887,4724,5742,
3710,5753,5755,3712,3848,4144,3789,4141,3717,5763,4149,4374,5767,3722,5706,4392,3725,5772,4744,3837,4428,4747,5771,3729,5780,
5782,4386,5785,3733,5789,3734,5768,3736,5793,4224,5792,5796,3741,5800,4765,5803,4767,5806,3744,5810,5812,3748,5695,5694,4775,
3752,5817,5818,3754,5017,4480,5674,4321,4159,3763,3771,3765,5825,5309,3767,5827,3769,3898,5831,5833,4796,3773,5837,5839,3776,
4540,4589,3779,4864,4142,5631,4346,4840,3811,3786,5848,4188,5656,3791,5850,5377,3851,3794,5854,3797,4029,4822,5855,5857,3801,
5861,3802,4828,4359,5864,3807,5868,5870,4834,4036,5740,3822,3813,5865,4808,3815,4561,3816,3875,5728,3823,3824,3841,5883,3826,
5886,4367,3828,5747,3831,5890,5892,5188,4196,4208,5896,5898,3864,4804,5901,3842,5905,4003,5841,3845,4170,4216,3849,4065,4875,
5692,5909,4680,4172,4204,4373,3858,5474,3859,5917,3860,5881,5920,4889,3862,5918,5904,3865,5925,4452,5928,3868,4407,4409,3975,
3872,4411,4413,5935,5931,4012,5938,5876,4909,3880,5829,3881,5884,4485,4915,5948,3884,4178,4210,5679,3889,5572,3890,5955,4323,
3892,5749,5776,3899,5622,3901,5532,3902,5960,4935,5961,3905,3907,5965,3908,5967,5853,3912,5969,4945,5226,3918,4326,3919,3920,
5478,3948,3922,5976,5978,4956,3924,5983,5975,4960,3926,5988,3927,5844,5774,3930,5993,3932,5996,5702,3934,5822,3944,3937,6000,
3938,6003,4067,4496,6005,3941,6008,6010,4984,5877,3947,5757,6015,3950,6009,3951,5095,3952,6021,3953,6025,6027,4998,4519,3956,
5807,6031,3958,5968,3959,6037,6038,5008,3961,5010,6044,3963,5013,5529,5819,3966,4780,5018,3968,5411,3969,6056,4443,5985,3972,
3974,4465,6060,3977,4530,3978,5657,3980,6063,4163,3982,5583,4013,6068,6069,3988,6073,3991,5684,3993,5551,3994,6081,5049,5915,
6083,3997,6085,3998,6088,4001,6091,5058,4017,4004,6094,5062,4006,6098,5065,5954,5360,5527,5091,5528,6104,4018,6105,5690,4023,
4127,5862,6109,4025,5080,4526,5874,5760,5084,4038,6114,4040,6116,5847,4042,5069,4048,6119,4094,4992,5712,4081,4062,4098,4101,
5980,6012,4648,6128,4071,6032,5107,4086,4073,4085,6125,4082,6134,6136,6137,6139,4088,6140,5693,4090,4446,6124,5123,6121,6131,
4460,6148,4467,6144,4510,4136,4192,4186,4111,6156,4195,4114,6159,5139,4116,4330,5252,4121,6162,6164,5146,4123,4385,4391,6161,
5151,4126,6172,4427,6175,4451,6177,6179,4135,6183,5932,4138,6187,6188,5762,5166,5761,4147,6193,6194,4198,6196,5173,6198,6186,
4155,6201,5178,4157,5637,6205,5845,4173,4166,6210,4167,5887,4858,6214,6080,6217,4325,5193,6220,4176,6224,6097,4179,6228,4180,
4181,6232,5203,6234,5205,6237,5207,6239,4185,6243,5873,6169,6155,6154,5215,4194,6250,6251,6167,6253,4221,5689,5770,4201,5846,
4946,4212,4206,6260,5971,5888,6263,6265,6267,5235,4214,6272,4215,6275,6174,4217,6280,6282,5244,4219,5790,6288,4223,6290,5941,
4227,5142,4235,4230,6297,4434,4232,6299,6296,5260,4237,6304,4238,6307,6308,5266,5701,4242,4327,4348,6314,4256,4250,6316,4312,
4252,4369,6320,6321,6323,5281,4258,6327,6329,4260,6332,4503,6334,5973,5290,4264,4265,6287,6236,5295,6344,6346,4269,6029,6349,
5301,6352,4272,4521,6355,4282,4276,5697,4789,4279,6359,4281,5734,6157,5625,5343,4285,6366,5342,5320,6367,4288,4290,6371,4291,
4475,4293,6376,4499,6379,6380,4301,6383,5745,4305,6387,4421,4307,6390,4308,6381,5319,5316,4311,6395,6325,6396,4314,6365,4383,
4316,6401,5739,5354,6293,6402,5665,5574,4337,5067,4339,6406,4340,6138,6411,5366,4342,6415,4343,6419,6115,5640,5373,4349,6425,
4418,4816,4511,6430,5380,6431,4397,6386,4363,4423,6435,4365,6165,5775,5390,4372,6441,4653,5894,4376,6447,6448,4379,6451,5400,
4402,4381,5403,5953,5908,5958,5913,5737,5409,4395,5020,4401,6434,4398,6463,6465,6467,6468,4404,6471,5698,4406,6016,6474,4415,
6045,6477,4414,6481,6483,6485,4417,6489,6433,5435,6491,6427,6453,5992,4470,4426,6436,6077,5952,5758,5446,4431,6504,6302,4435,
5451,5713,4437,5914,4445,4439,6510,5458,4441,4508,4546,6343,4449,5911,6517,5466,5947,4711,5469,4456,6515,5599,4458,4883,6524,
5476,5963,4951,5479,4463,6101,5482,4524,6531,4468,5970,6534,5543,4472,6538,4474,5997,4476,6541,5981,6543,4479,6375,5499,6546,
4483,6399,4633,6550,4488,6552,6065,4490,4493,5510,4492,6559,6496,6002,4495,6564,4497,5769,5519,6007,6567,4501,6318,6571,6512,
4505,5068,5070,5014,5530,4688,4932,6238,6578,4513,6581,5828,5538,4515,6587,4516,6591,5488,6184,5804,5546,6549,4522,5549,4693,
5046,6597,5553,5880,5555,4529,6602,5805,5559,6605,6040,4534,5933,6611,5565,4536,6616,4537,5569,4687,4539,4922,6400,5358,5575,
6620,4543,6099,5579,5842,4545,6626,5037,4547,6630,6631,5587,5705,4551,6049,6636,4553,6639,4555,6233,4558,4559,6641,5472,6646,
4562,6649,6537,5604,4565,6067,4566,6655,5738,4569,6658,6404,5613,4571,6048,5616,5719,4574,6054,4576,6665,4930,4580,4581,5315,
4585,4607,4628,6018,5630,4806,4715,4618,4598,4632,4635,5180,6673,4604,5372,5672,6677,4609,6679,5645,4622,4611,4612,4615,6680,
4621,6671,4619,6687,5709,4813,5032,5658,6670,5660,6668,6682,6695,4637,5357,6692,4704,4699,4645,6701,4707,5641,5673,4782,4651,
6704,6111,5678,4920,6703,5681,4655,6712,5044,6715,6284,4660,6719,5222,5074,6721,4876,5119,4774,4773,4671,5308,5421,6730,6731,
5267,4970,5703,4677,5588,4740,4689,4683,5655,4684,6580,5096,5452,6742,5715,6745,4691,6747,5617,6750,5721,6575,5723,6017,4698,
6756,4701,4845,6709,6700,6699,5732,4706,5313,6765,6019,5408,5609,5353,4836,6769,4725,4719,6773,5334,4721,4854,6777,4927,6780,
6782,5752,4727,6785,4728,6788,4987,5445,6792,5083,5167,5165,4735,6797,6798,6667,4738,4757,5518,5223,4748,4743,6804,4965,5389,
4928,6808,6810,5779,4750,6815,4751,6817,6714,4753,6821,6823,5788,4755,5246,6828,4761,4759,6831,6833,4762,6837,6838,5799,4764,
6842,6734,4766,5545,5558,4768,5001,6848,5809,4770,6722,4771,5866,6757,6853,5836,4777,4778,5015,6055,6830,4972,6859,6860,4788,
6863,4791,5537,4911,6669,4794,6869,4795,6861,6358,5816,4798,6873,4799,6856,4869,5580,5879,4964,5182,5225,5089,4811,6686,4815,
6883,6884,4942,4819,4823,6372,4824,6887,6118,5860,4826,5077,6593,4830,4839,5813,5867,4832,6426,4833,6899,6212,5211,5082,6522,
4908,4985,5878,5843,5554,4887,6864,4849,4913,6907,4851,5187,5231,6706,4856,6582,4857,6915,5394,6916,4861,6919,4862,6674,6921,
4865,6924,5903,4892,4867,6035,6617,5405,4877,6925,5464,6576,5407,5454,5050,5916,4885,4891,6906,4888,6938,6940,6942,6944,4894,
6946,6723,4896,6949,6609,4905,5161,5563,6953,4904,6955,6957,4907,6961,6905,5250,5942,6964,6902,6927,6877,5467,4916,6908,6972,
6596,5444,5404,5066,4924,6963,6979,5406,6981,4934,4936,6983,5477,6882,4939,6428,4941,5004,4944,5486,5230,6584,5289,6991,4959,
4954,6994,4955,6996,5101,5495,6998,4958,7001,5024,5986,7005,4962,6876,6807,6812,5439,4967,7012,7013,4969,5492,7018,7020,4975,
6969,5514,4977,7025,4980,7027,5520,4982,4990,4983,7030,5102,6775,7033,4988,5423,5724,5629,5736,7037,4994,7040,7042,6024,4996,
7046,4997,7049,5299,7008,5002,5106,6033,6867,5906,6036,5006,5007,6827,5561,6041,7057,7053,5011,5426,7062,6047,5615,5590,6050,
6370,6052,6457,5619,5820,5022,7071,7073,6684,5028,7076,7077,5034,6294,5507,6066,5606,5039,5040,7085,7086,6072,5042,7090,6075,
6914,5443,7094,6079,5190,5048,6767,5051,7100,5053,6768,6087,5055,7105,6090,5057,6574,6843,5061,6929,6096,5197,5064,5578,6791,
5481,7116,7117,5071,5073,7121,6986,6619,5078,7124,5677,6901,7127,5086,5371,5088,6793,5859,5093,7132,5124,6707,6744,5122,5111,
6497,7004,5104,6450,7134,5125,6132,7140,5113,7141,5114,5115,5364,5116,5118,7145,7131,7135,5129,7147,7148,6724,5127,7150,7152,
7139,7153,7155,5214,5213,5135,5314,7159,5138,7160,5150,5144,7163,5145,5388,7166,5219,7169,5212,6170,7172,5153,7175,5240,5155,
7179,5157,7181,5158,7183,6181,7185,5160,5544,6185,5175,5163,5164,6725,7190,7156,6223,5169,5170,6800,5172,7196,5174,6733,7199,
5177,7203,7205,7003,5181,7208,6231,7210,7211,5185,7214,5872,7089,5189,7217,6934,5191,7219,6690,5194,7212,7225,6192,5196,7069,
6976,7227,5199,7191,6230,6207,5202,5595,5204,7222,5294,5206,5533,5208,7239,7241,6242,5210,6726,7128,7245,6762,7157,6270,5217,
5218,7096,5220,7252,7254,6520,6920,7257,7259,5229,7263,7165,5232,7267,5233,7269,5234,7260,6988,6249,7273,5237,7275,7276,5239,
7249,7112,7280,6279,5242,7284,5243,7271,5686,6285,7289,5293,5247,6720,5249,7296,7297,5355,6064,7300,5259,5255,6727,5258,6763,
7158,5449,6326,5262,6525,7304,5264,5265,7308,7309,6736,6312,7312,5271,7314,5274,7317,5523,7319,5278,5279,7324,5280,7315,5346,
6303,5283,6535,5284,7328,7329,5286,7303,5288,7333,7193,6752,6338,7336,6990,7339,7341,5462,5296,7346,5297,7349,7055,5300,7354,
6466,5302,7358,7360,5305,6382,6751,5835,5311,7364,6789,7180,7366,6368,5349,5318,5321,6364,6369,6051,5324,5856,6373,6527,5498,
5328,7255,7253,5330,5331,5341,6356,5333,7377,6784,5383,5336,7379,7380,5339,7383,7385,7305,7387,5345,5347,6728,6398,5502,5573,
5352,5356,7392,5612,7393,5362,7396,6408,6688,7097,5365,7399,6413,6943,5368,7113,6417,7398,5370,7406,6879,6878,6759,6424,5375,
5869,5437,5966,6753,5379,5381,7082,5434,5413,5386,5442,6912,6911,6776,6440,5392,7421,7422,7041,6445,6918,5396,5397,7370,6129,
5399,7415,5438,6454,7431,7047,6053,7433,7168,6460,6980,6532,5415,7439,5416,6351,5417,5418,6469,6945,5420,7445,7391,5424,7447,
7051,5427,7451,6801,6480,5429,7456,5430,7457,5431,7460,6487,7017,5433,7427,5436,7465,7467,7469,6729,5513,6126,7472,7474,7475,
7177,6502,7478,5448,7480,6893,6507,6741,6509,5457,7302,5525,6513,7486,5471,7343,5465,6931,7491,6256,6638,5875,6523,5475,6305,
6634,6374,6528,7288,7501,5484,6462,6533,5487,6328,7508,5603,5490,7511,7198,5494,7513,5496,7000,6822,5500,7291,7519,5547,5504,
6650,5506,7517,6732,6555,6960,6557,6858,5512,7529,6977,6562,7024,5516,7533,7534,5521,7536,7510,7322,5524,7541,6573,6092,5722,
5912,7546,5534,6579,5711,5536,5891,7378,5972,6585,7551,5540,6930,6589,6865,5542,7557,5863,7293,7413,5951,5552,7564,7189,6600,
7567,5557,6845,7571,5560,7575,7577,7237,5930,7453,5564,7582,6629,6614,7524,5567,5907,7589,6108,5576,7091,7594,7390,7226,6625,
5582,7598,7600,6613,5585,5586,6754,7604,6526,6635,5591,7607,6521,5593,6640,5598,7610,6766,7603,6834,5600,7613,6790,5602,6551,
6891,7618,6653,6740,5608,7067,6657,5611,7624,7625,6897,6662,6749,6664,5621,7327,5766,5661,5830,5659,5652,6970,5638,5899,7635,
7633,5642,6923,5644,5650,7632,5662,6683,6059,6738,5849,5654,6409,7645,6219,7638,5666,7647,6743,5663,7648,7641,7649,5731,5730,
5670,7650,5680,5676,7653,5889,6122,7656,5729,6710,7660,5683,7663,5784,5685,7667,7669,7671,5688,6289,5691,5811,5927,6147,6189,
6244,6298,6397,6495,5699,5700,6554,6199,5802,7681,6311,6874,6685,7684,6654,6508,5714,6694,6123,5716,7683,5718,7690,6663,5720,
6357,6337,6429,6632,7694,5726,5814,7036,6423,7698,7696,6247,6300,7496,5735,6643,6082,6086,5741,7702,7703,7246,5744,7705,6013,
6439,5748,7711,6904,5750,7713,5751,7704,6385,5754,7506,7717,5756,6361,6648,6100,5759,6117,7223,7721,6813,5764,5765,7724,6195,
6479,7727,7728,5773,7732,7655,5990,5777,7657,5778,7729,5991,6796,7738,5781,7740,5783,7723,7744,6967,5786,6545,5787,7736,6825,
7750,6039,5791,7356,5821,5794,7757,5795,6645,6835,7631,5797,5798,7759,6840,7760,5801,6093,7762,6603,7765,7756,5808,7769,6862,
6898,7718,5815,7772,7774,5840,6857,6558,5823,5824,5834,6850,5826,5882,6590,7778,6034,7781,5832,7783,7785,7787,5838,6737,6875,
5989,5946,6422,6421,7792,7251,5964,5851,5852,7796,6886,5858,7009,7125,7800,6651,6892,6506,7363,6895,7408,6661,6851,5871,7807,
6112,5944,7130,6779,5940,5919,5885,5949,7052,7547,6438,6437,7815,6076,5893,5895,7820,6446,5897,6257,5900,7825,6678,5902,5910,
7810,5945,6928,6095,6588,6518,7606,7831,6216,7545,7489,7833,5921,7835,5922,7837,5923,6414,5924,6470,5926,7844,7795,5929,7846,
7847,7848,5934,7725,5936,7853,5937,7856,6959,6556,5939,7824,5956,5943,7861,7863,6820,7675,6001,6672,7868,5950,7871,7872,7873,
6226,6561,7830,5957,6461,5959,7878,5962,6993,6985,6107,7881,6269,7883,6340,5974,7885,6984,5977,7811,5979,7890,5982,7892,6544,
5984,7747,6204,6127,5987,7777,7899,6030,6888,7741,7409,5994,5995,7897,7104,7016,6488,5998,7909,5999,7860,7912,7870,6563,6004,
7915,6006,7917,7919,6011,7922,7710,6014,7925,7035,6758,6020,7038,7644,6022,6444,6023,7931,7044,7839,6026,6456,7930,6028,7939,
6476,6909,6043,7944,6348,7947,6042,7949,7951,7544,7851,6046,7956,7958,7960,7664,6656,7369,6225,7070,6057,7966,6058,7701,7970,
6061,6062,7975,7977,7080,7755,6432,7761,7798,6070,6071,7812,7088,6213,6074,6621,7708,7989,6078,7991,6252,6410,7098,7994,6084,
7997,7823,7103,7015,6089,7826,7107,7849,8005,7789,8008,6277,6416,7114,8012,6102,6103,8016,8017,8018,6106,7122,8021,6110,6889,
7928,6113,6245,8026,6903,6142,6120,7659,6130,6143,7933,8033,8031,6151,6133,6135,8037,8038,7374,6141,8040,6145,6146,8030,6149,
8042,6150,6152,8045,6153,6191,6248,6301,6158,6160,8047,7247,6163,8050,6262,6166,8053,6459,6168,7734,7643,6171,8048,8059,6173,
7368,6501,8061,6176,6362,6178,8063,6180,8067,6182,8057,8070,7188,6599,6190,6229,7192,6336,7194,8073,6197,7436,6540,6200,8077,
7221,7202,6202,7562,6203,8082,7642,6206,7234,6208,6209,6221,8087,6211,7805,7817,6215,8090,6218,7842,7201,6235,6794,7937,6222,
6624,6227,7228,7676,7244,7397,7232,7697,7209,8097,8103,6608,8106,6240,8108,6241,8111,7261,7230,6246,6772,7162,8116,6276,7250,
6881,6254,6378,6255,6377,7896,6258,7686,6259,6268,7243,8121,6261,7985,7265,7819,6264,8054,6266,8128,6283,8130,6271,8134,6273,
6274,7882,7677,7279,6278,8119,7282,7894,6281,8137,8132,8100,6529,6286,8147,6547,7753,6594,7758,7295,6291,6292,7616,8139,6295,
7316,6511,6333,6306,6393,7306,7630,6309,6310,7726,7493,6313,8160,6315,6324,7301,6317,7492,6319,8164,7321,6570,8166,6322,7926,
7950,6666,6330,6331,7678,7331,7665,6335,8173,8175,6339,8179,8181,6341,8151,6342,7375,6516,7685,7345,6345,8161,8192,6347,7381,
8182,7352,8199,6350,8203,6829,8205,6353,8208,6354,8212,7668,6894,6360,8217,6363,7497,7176,7068,6449,7559,8153,8222,7144,7342,
7572,6384,6583,6388,6389,7350,8169,6391,8231,6392,8233,6394,8234,8060,6623,6473,6403,6405,7754,8118,6407,7231,6418,6412,8243,
7986,8246,8247,8088,7405,6420,8252,6896,7011,8027,7411,7791,6595,7499,6452,8259,7934,8052,7419,8262,6442,6443,7993,8266,7921,
7426,6490,8270,8272,8269,6455,8011,6458,8278,8155,7197,7437,7834,6464,8167,8284,8055,8092,7444,6472,7634,6475,7522,7827,7450,
6478,8295,6610,7454,7852,6482,6484,7458,7679,6486,8257,7980,7463,8303,6492,8230,6493,8083,6494,8308,8238,6498,8311,6499,6500,
8314,8171,6503,7990,6505,7722,8318,7483,7699,7597,6514,7509,8322,6936,7490,6519,7318,7311,7592,7495,6764,7367,7608,7414,8332,
6530,8334,7609,7504,7505,6786,8209,6536,7487,6569,6539,7889,6542,8165,8340,8342,6553,8220,6548,8346,7521,7448,8345,6615,7907,
8084,7646,7528,6560,8071,7821,7532,6565,6566,8356,6568,8360,8361,7539,8337,6572,8235,8366,7060,6935,6577,6910,8370,8372,7790,
6586,7813,8377,8228,8086,7556,6592,8382,7371,8385,7941,7204,7780,6598,7877,7692,6601,8394,7752,8210,6604,7376,7784,7574,6606,
8162,6607,8034,8239,7580,7786,6612,8412,7602,8107,8240,7587,8417,6618,8404,8420,7494,8422,6622,8426,8191,7485,6627,8213,6628,
8431,7584,6644,6633,7670,6932,6637,7498,7503,6642,8437,7707,6647,8441,8442,7298,7858,6652,8445,8446,7803,7622,8448,6659,6660,
7739,8451,7628,7716,7307,6836,6681,6676,7446,6675,8455,8454,6691,8457,8456,6697,7207,7171,7039,6689,7527,6693,6696,6698,6702,
8464,8113,6705,8467,6806,6708,6809,7927,7133,6711,8465,8473,6713,7066,7332,8474,6716,7362,6717,7605,6718,8471,8350,7674,6968,
7229,7278,7330,7459,8484,6735,8487,6746,6739,7344,7258,8492,8493,8206,6748,8496,7566,8043,6755,8501,6761,7233,6760,7484,7700,
7074,6770,6771,6783,6774,8325,7612,7092,7709,7032,6778,8508,6781,8511,8513,7629,6787,6852,7719,7730,6795,7481,6818,6799,6954,
7310,6802,6803,6811,7720,8307,6805,8521,7170,8523,6824,8525,6814,7626,6816,7010,8462,7743,6819,8518,7746,7002,7865,8527,6826,
8507,7569,7292,7394,7081,6847,6832,7294,6839,6841,7083,6844,8224,8546,6846,8542,7767,8549,6849,8553,8476,6854,8110,6855,8185,
8399,7006,6866,8559,7563,6868,8194,6870,7573,6871,7581,6872,8039,7110,7550,7412,6880,8565,7797,6948,6885,7794,7084,8265,6890,
8569,8028,7621,8216,7215,7806,6900,8563,8568,6926,6995,7087,7552,8578,6913,8580,7216,8351,7266,6917,7531,8586,7102,6962,6922,
7106,7449,8592,8588,6978,6933,8596,6937,7438,6939,8509,6941,8601,7045,8000,8604,7220,8606,6947,8609,6950,6951,6952,7108,7850,
7061,7455,6956,7854,8616,6958,8384,7617,8621,7021,6965,8561,6966,8626,7748,8566,8627,6971,8630,7023,6973,6974,6975,8637,8638,
8387,7565,6982,8641,7901,6987,7277,6989,8321,6992,8470,8277,7942,7512,6997,8506,6999,8647,7283,8649,7256,7014,8589,7007,8655,
7880,8290,7903,8254,8654,8094,7525,8461,7019,8374,8558,7022,8524,8583,7026,8469,7028,8669,7029,8241,7425,7031,7923,8029,7034,
7325,7658,7126,8674,7048,7043,8472,7136,7417,8680,8682,7224,7938,7050,8687,7561,7888,8690,7054,8693,8540,7056,8696,7058,7326,
7059,8702,8703,7954,8705,7063,8709,7064,8046,7065,8712,8400,8714,7995,8186,7072,8713,7968,8718,7075,8721,7972,8722,7974,7078,
8725,7079,8726,8728,7462,8556,8577,7983,8731,7264,7401,7987,8735,7093,7479,7095,8516,7423,7099,7964,8741,7101,8745,8747,7840,
8543,8617,8444,8591,7109,8754,8755,7111,8759,8530,7432,7115,8554,8198,8292,7118,7119,7120,8768,8632,7123,8590,8766,8024,8099,
7129,7410,7802,7924,7149,7138,8685,7137,7578,8691,8329,7142,7143,7788,7146,8485,7151,7693,8044,7154,7959,7161,7173,8782,7164,
8215,7418,7167,7268,7442,8644,7186,8677,7174,7389,7178,8062,7182,8115,8793,8066,7184,8791,8790,7187,7530,8517,7195,8800,8256,
8076,7200,8477,8369,8803,8804,7206,7468,7526,8503,7555,7213,7404,8481,7218,8598,7443,8744,7906,8613,8096,7235,8809,8025,7287,
8817,8573,7236,8777,8414,7238,7585,7240,8824,7773,7242,8829,7652,8114,8064,7248,8832,7395,7281,8834,7262,8836,8645,8532,8125,
8599,8646,7270,8662,7272,8844,7286,8133,7274,8847,8849,7285,8835,7299,8584,8853,8855,8857,8831,8482,8801,7290,8863,8865,8866,
7340,8152,7372,8846,7435,8156,8541,8871,8453,7313,7347,7576,8468,7320,7514,7323,7440,8879,7382,8880,7477,8172,7334,8833,7335,
8775,8494,8178,7337,8889,7338,7351,8893,8184,7775,7965,8432,8896,8189,8504,7596,7348,8779,7782,8195,8258,8903,8014,7353,8905,
8907,8202,7355,8760,7357,7689,8207,7359,7507,7570,8211,7361,7599,8915,8051,7804,7365,8232,8737,7518,8331,7373,8922,7763,8924,
8495,8781,7554,8928,7466,7384,8218,7386,7388,7542,8699,8830,7471,7579,7586,7920,8783,7400,8937,8938,7402,7403,8943,8945,8317,
8947,7407,8547,7904,8773,8075,7461,8196,7416,8734,8875,7420,8579,8955,7799,7424,8953,8587,7430,7428,8962,7429,8963,8694,8965,
8276,7887,7434,8901,8970,8785,8522,8283,7441,8667,8607,8976,8787,8289,7902,8788,8015,8293,8981,7452,8614,8985,8367,8498,8538,
8301,8704,7464,8333,8407,8488,7731,7470,8936,8310,7473,8312,8665,7476,9001,9003,8250,7482,8529,8381,7884,7488,9007,8324,7706,
8911,9009,8425,8036,9006,8221,7500,8304,7502,8895,8820,7540,8794,8339,7515,9020,7516,8430,8869,7523,7520,9024,8483,9022,7673,
7818,8810,8634,8608,8355,7535,9034,8358,8628,7537,7538,8925,8825,8661,8365,7543,8298,8602,8079,7548,8898,7549,9042,7910,8610,
8958,7553,9049,9050,8899,8320,7558,8822,7857,7560,8989,7876,8643,8564,8390,8821,8560,8393,7568,8991,8799,9062,8398,7776,7962,
8929,8402,8505,7590,8458,8406,8305,8620,8930,9067,8411,7583,8762,8105,8933,9040,7588,9075,9076,7591,9078,7593,9081,8424,8328,
7595,8763,8931,8717,8343,7601,8187,9087,8711,8499,8436,7611,9089,8439,8567,7614,7615,9093,8003,7619,7620,8519,7623,9094,8450,
7627,8807,8159,7637,7636,7640,7639,8405,9099,9097,7908,7742,9100,7651,7661,9088,7654,8163,7916,7886,7672,7932,7662,7666,8475,
7771,8078,8478,8816,9105,8089,8145,8348,7680,8041,9111,7682,8306,8819,8544,8900,7687,7688,8177,8226,7691,9011,8299,8435,8555,
7695,8740,8085,8190,8403,7891,7751,7712,7836,9128,7714,9077,7715,9131,9132,7992,8072,7745,8447,9056,7733,8282,7735,7913,7737,
9138,7749,8528,8319,8010,8992,8124,8993,9144,9027,9129,9146,8300,9148,7946,8157,7766,8001,8490,8545,7764,8253,9086,7768,9155,
9157,8552,7770,8013,8500,7981,8557,7911,7779,8392,7862,8916,7808,8389,7793,7866,8440,7809,7801,9118,9063,9165,8102,8894,8778,
8902,7982,7814,8263,7816,9169,9041,7914,8140,9028,7822,8268,7829,7898,8022,8004,7828,9178,9180,8595,7832,9117,8091,8126,8957,
7838,8368,8978,7841,9116,7843,8286,8354,7845,8375,8967,9192,8095,8296,8997,7855,8002,9199,8619,8408,7859,9013,8751,9065,9114,
7864,7867,8359,9205,7869,8689,8020,8633,8353,9124,8636,7874,7875,9115,9216,7879,9218,8388,8056,8123,8127,7893,9223,7895,8904,
9096,9159,8653,7905,7900,8968,8950,8969,9187,9232,8364,8129,9044,9227,8313,9074,8285,9238,7918,9102,9126,8672,9219,7929,9241,
8884,8058,9243,9220,7935,9247,7936,9249,9251,8032,9253,7940,9119,8631,7943,8035,9256,7945,8274,9260,7948,9261,8698,8236,9098,
8701,7952,7953,8302,7955,9265,9267,8708,7957,9140,8434,7961,7967,7963,9275,8919,8429,7969,8767,8748,7971,7973,9160,9231,7976,
7978,9284,7979,9193,9289,7984,9209,9134,8260,7988,9158,8219,9296,9069,8502,7996,9299,8743,8093,7998,9164,7999,8720,8941,9305,
8623,9307,9309,8006,8007,9314,8757,9133,8009,8204,9318,8413,8427,9321,9322,8023,8719,8019,9010,9123,9310,9328,8255,8808,8176,
9269,8104,8575,8193,8823,8227,8049,8242,9106,8281,9174,8288,8291,8789,8069,8068,9333,8065,8338,9340,9342,9344,9188,8396,8074,
8146,9172,8080,8081,9347,8806,8452,8774,8098,8352,9298,9109,9348,8917,8980,8479,8101,9121,8489,8336,8391,8383,8780,8109,8363,
8918,9337,8828,8112,8237,8144,8117,8174,8120,8138,8122,9291,9168,9173,9339,9142,9136,9242,8131,9357,8154,8135,9016,8136,9036,
9364,9335,8141,9367,8142,9369,8143,9371,9372,9355,9373,9125,8148,9374,8149,8150,9379,9356,8344,9255,8158,9383,8873,9384,8261,
8876,9386,9388,8168,8170,9259,9015,8883,8676,9182,9394,8887,9176,8180,9215,9398,9154,8183,8574,8335,8188,9203,8371,8380,8491,
8279,8576,8197,8650,8200,9409,8201,9292,9331,9413,8326,9352,8913,9152,8214,8562,8814,8826,8716,9085,8934,8223,9422,8225,8362,
9130,9354,8229,8401,8409,8428,9300,8415,8921,9137,8309,8244,8245,9430,8940,8749,9343,8248,9433,8249,9428,8251,9435,9404,8657,
9185,9438,8267,9441,8264,9444,8600,8376,9443,9446,9103,8271,8273,9451,8275,9437,8611,8656,8658,8280,9457,9221,9184,9460,9461,
8287,9101,8603,9448,8815,8294,9293,9469,9150,8297,9473,9475,9264,8386,9406,8395,8531,8533,9206,8995,9207,8615,9244,9282,9000,
8315,9489,8316,9492,9210,8330,8323,9351,8327,8769,8497,9012,8622,9095,8882,8848,9334,9127,9019,8341,9225,8349,9023,8347,9508,
9509,8535,8585,9402,9236,9345,9032,9513,8357,9286,8850,9389,9516,9277,8416,8582,8373,9521,8663,9522,9211,9047,9190,8378,8379,
9295,9423,9254,9529,9055,8520,9271,9425,9059,9202,9151,8397,8571,9143,8624,9535,8410,9294,8739,9538,9531,9415,9541,8666,8418,
8419,8512,8421,9429,9080,8423,9323,9273,9552,8920,8548,8433,8466,8438,9556,9091,9283,8443,8449,9014,8651,8460,8700,8459,8463,
8977,8670,8961,9104,8480,8784,9555,9562,8812,9495,8486,9564,9113,8625,8639,8605,8597,8570,8688,9416,8818,9122,8770,8635,8862,
8671,9018,8510,8536,8926,8514,8515,8758,8733,9561,8842,8935,8526,9481,8710,9579,8841,9064,8534,9582,8537,9584,8539,9586,8984,
9061,8914,9589,8892,8550,9581,8551,8736,8652,8723,9161,9547,9464,8746,8572,9454,9417,8838,8581,9566,9519,8802,8839,8786,9400,
8888,9455,8593,9485,8594,9609,8885,9496,8973,8951,9488,8659,8798,9615,9048,9616,8612,8729,9620,9332,9622,9618,9606,8618,9625,
9554,9060,8897,9497,8629,8994,8996,9585,8732,9005,9046,9601,9213,9636,8890,8640,9641,8642,8673,8679,8972,9644,8648,9646,9021,
9405,8664,9228,9568,9456,8724,8660,9533,9546,9534,9030,9653,8668,9655,9571,8675,8843,8678,8998,9245,9465,8681,9662,8683,9570,
8684,9657,8686,9053,8870,8692,9667,9258,8881,8695,8697,9482,9669,8988,8706,9577,8707,9574,8776,9675,9057,9272,9083,9599,8715,
9682,9039,9306,9685,9280,9596,8999,9092,8727,9592,9035,9287,9595,8730,9629,8837,8908,8982,9068,9051,8738,9297,8811,8742,8932,
9605,9567,9303,9325,8750,9278,8752,9704,8753,8771,9311,9312,9614,8756,9693,9633,9317,8761,9712,9578,8764,8765,9082,9544,9304,
9716,9717,8772,9718,9558,8909,9195,8792,9017,8852,9722,8827,9418,8840,8795,9726,8796,8942,8797,9031,9543,8805,8813,9671,9393,
9008,8912,9494,8927,8860,8868,8845,9612,9663,9733,9572,9576,9672,8851,9697,9645,8854,9670,8856,9591,8858,8859,8861,8864,9375,
9746,9594,9378,8867,9751,9753,9610,8872,8874,9608,8877,9758,8878,9037,9390,9573,9638,9350,8886,9742,9498,9602,8891,9767,9175,
9499,9029,9665,8949,9226,8990,9419,9731,8906,9689,9686,9777,8910,9587,9072,9120,9167,9338,9407,9510,9421,8923,9052,9604,9058,
9736,9787,8946,9079,8939,9714,9698,8944,9791,8948,9507,8966,8952,9769,9757,8954,9637,8959,8956,9642,8960,9701,8979,9449,9800,
8964,9569,9765,9166,9177,9230,8971,9679,9659,8974,8975,9711,9563,9163,9246,9786,9788,9810,8983,9817,9607,9472,8986,9821,8987,
9823,9590,9825,9761,9827,9139,9262,9673,9719,9179,9674,9694,9186,9002,9835,9491,9004,9839,9353,9110,9183,9204,9396,9401,9842,
9846,9725,9503,9741,9738,9553,9436,9025,9026,9420,9851,9813,9033,9728,9632,9038,9617,9623,9171,9658,9043,9045,9611,9628,9525,
9681,9747,9863,9054,9770,9071,9867,9233,9235,9066,9630,9634,9070,9874,9875,9073,9877,9346,9324,9880,9234,9162,9797,9549,9593,
9886,9084,9506,9201,9107,9090,9557,9330,9892,9743,9135,9108,9463,9112,9895,9170,9302,9229,9452,9250,9240,9361,9391,9268,9906,
9362,9266,9320,9141,9910,9156,9145,9878,9147,9208,9149,9414,9916,9153,9477,9370,9285,9550,9377,9288,9281,9914,9924,9274,9866,
9212,9397,9879,9424,9301,9198,9471,9385,9181,9382,9523,9358,9884,9313,9189,9191,9517,9197,9772,9194,9919,9196,9518,9935,9200,
9938,9940,9524,9290,9536,9943,9515,9316,9537,9928,9214,9442,9392,9869,9640,9217,9445,9807,9222,9366,9224,9806,9881,9902,9683,
9771,9882,9237,9946,9239,9925,9252,9520,9459,9828,9661,9248,9359,9809,9403,9912,9257,9893,9263,9368,9349,9363,9483,9486,9270,
9969,9721,9841,9458,9680,9526,9276,9650,9870,9279,9411,9979,9907,9410,9897,9768,9900,9315,9487,9905,9696,9365,9432,9699,9958,
9447,9923,9988,9308,9927,9932,9942,9708,9936,9710,9462,9319,9997,9431,9899,9326,9327,9329,9484,9729,9677,9336,9965,9964,9502,
9341,9896,9514,9720,9805,9408,9985,9360,10006,10007,9426,9953,9505,9739,9831,9504,9395,9560,10003,9911,9376,9527,9903,9749,10019,
9380,9890,9381,10023,9931,9926,9440,9387,9840,9894,9479,10028,9783,9934,9453,9843,9399,9691,9439,9530,9651,9619,9891,9798,9933,
9982,9412,10030,9978,9780,10021,9918,9763,10011,10000,9466,9427,9467,10014,9901,9434,10024,9952,9930,9898,9796,9548,9774,9966,9450,
9801,9929,10025,10050,9730,9647,9643,9808,9664,9468,10005,9956,9512,10060,9994,10044,9470,10002,9819,9955,9474,9937,9476,9971,9478,
10071,9480,9660,9981,9995,9740,10037,9989,10078,9490,10048,9837,9990,9493,9759,9678,9500,9766,9858,9859,9501,10026,10001,10012,9961,
9511,10091,10062,9951,10093,10035,10022,9844,9845,9957,10094,9941,9528,9922,10036,9600,9532,9998,9639,9684,9975,9949,10047,9539,9540,
9876,9542,9583,9603,9545,9648,9652,10065,9613,9944,9551,10110,9888,10111,9752,9773,9559,9668,9760,9565,9727,9690,9795,9715,9692,
9790,9649,9748,10115,9695,9575,9688,10119,10121,9580,9745,9666,10125,9597,9976,9588,10129,9782,9621,10131,10116,9864,9702,9598,9656,
9756,9705,9635,9802,9794,9755,9706,9775,9764,9624,9709,9822,9626,10123,9627,9862,9707,9631,9885,10141,9654,10144,10146,9872,9950,
9854,9793,9737,10107,9820,9812,9860,9700,10056,10075,9850,10149,10073,9724,9723,9799,10127,10134,9676,10082,9824,10118,10055,9974,9871,
9915,10083,9779,9687,10164,9829,9776,10126,10122,9732,10102,10151,9703,9833,9838,10137,10132,10174,9815,9830,9996,9713,9868,10105,9785,
9848,9818,9744,10084,9811,9734,9735,10156,10101,10117,9784,9849,10085,9789,10162,10104,10187,10157,9750,10133,9781,9857,9754,9792,9803,
9847,10080,9762,10120,9778,10040,10032,10106,10179,9856,9865,9832,10167,10202,10031,10193,10185,10043,9816,10204,10181,9873,9836,10207,9804,
10136,10114,10196,10140,9973,9959,10089,10159,10135,9814,10168,9853,10063,10210,9883,10221,10153,10068,10069,10169,9826,10139,9963,10205,9960,
10160,10176,9834,10211,10027,10145,9970,9977,10004,10013,10225,10216,10226,10057,10199,9852,10171,9855,9861,10180,10142,10130,10098,10194,10236,
10009,9986,10186,10016,9999,10033,9954,10234,10200,9887,9889,10188,10245,10052,9904,9921,10010,9972,9908,10029,9909,9984,9939,10247,9913,
9983,9967,10242,9917,10097,9920,9992,10020,9968,10059,10051,9991,10249,10072,10054,9945,10096,10228,9947,10081,9948,10254,10241,9962,10252,
9987,10212,10067,10246,10213,10008,10018,10271,10058,10076,10238,10015,10231,9980,10276,10258,10038,10061,10070,10277,10092,10274,10257,9993,10260,
10077,10250,10178,10034,10095,10046,10248,10284,10267,10042,10103,10017,10112,10289,10269,10290,10292,10041,10099,10239,10053,10255,10232,10090,10109,
10275,10039,10287,10045,10074,10251,10049,10294,10261,10064,10079,10152,10155,10295,10264,10087,10270,10272,10273,10268,10066,10259,10266,10224,10086,
10088,10317,10143,10282,10314,10163,10198,10262,10108,10300,10100,10288,10161,10195,10293,10148,10128,10313,10301,10113,10154,10124,10182,10138,10177,
10206,10150,10329,10147,10197,10256,10173,10166,10222,10175,10209,10233,10263,10215,10334,10223,10184,10220,10190,10217,10158,10218,10219,10172,10201,
10165,10170,10326,10338,10337,10341,10229,10331,10183,10323,10320,10203,10237,10189,10191,10336,10192,10240,10208,10214,10351,10340,10298,10354,10235,
10244,10327,10333,10328,10357,10307,10306,10356,10343,10335,10330,10358,10243,10230,10318,10346,10227,10315,10344,10286,10349,10347,10285,10350,10353,
10278,10302,10304,10253,10311,10283,10369,10303,10265,10310,10291,10280,10279,10368,10297,10281,10364,10309,10319,10373,10316,10322,10372,10321,10324,
10296,10366,10325,10299,10379,10308,10305,10312,10381,10376,10375,10374,10371,10342,10378,10352,10382,10339,10332,10385,10363,10348,10345,10362,10361,
10360,10386,10365,10355,10389,10359,10367,10388,10387,10370,10377,10384,10383,10380,10394,10393,10395,10391,10390,10392]
,\[
3,5,8,1,12,2,14,17,10,4,19,22,6,24,7,27,30,9,32,11,35,38,13,42,43,
15,48,16,50,53,18,56,57,20,61,21,63,66,33,23,70,73,74,25,75,26,79,82,28,85,
29,88,31,91,93,96,97,62,34,101,104,36,105,37,108,69,39,44,40,114,41,117,120,122,123,
45,84,46,128,47,131,134,135,49,139,140,51,145,52,136,148,54,150,55,153,156,158,58,137,59,
163,60,166,169,171,172,64,177,65,179,67,68,185,188,118,71,193,72,194,127,197,199,121,76,77,
204,78,208,209,80,214,81,216,203,220,83,221,222,225,226,86,228,87,232,235,89,90,240,92,244,
154,94,249,95,250,162,253,255,98,99,260,100,264,265,102,270,103,272,257,275,278,279,106,281,107,
285,288,109,291,110,294,111,298,112,302,113,304,307,115,309,116,313,316,317,119,320,323,324,327,328,
124,283,125,335,126,337,339,342,343,129,215,130,347,350,132,351,133,354,157,356,219,236,138,359,362,
364,141,366,142,369,143,289,144,375,378,379,146,382,147,386,310,149,295,391,151,393,152,395,398,399,
155,402,405,406,409,410,159,413,160,418,161,420,422,425,426,164,271,165,430,433,167,434,168,437,439,
170,442,445,447,173,449,174,451,175,454,176,457,460,461,178,463,464,180,210,181,468,182,471,183,473,
184,477,186,241,187,482,485,189,488,190,489,191,493,192,496,499,501,502,195,507,196,509,512,513,198,
516,301,519,200,521,201,202,370,290,527,205,530,206,478,207,535,538,540,211,543,212,547,213,550,553,
555,556,217,561,218,564,360,223,568,224,569,372,572,574,227,363,577,229,582,230,583,231,247,233,590,
234,591,585,595,596,237,599,238,490,239,605,606,242,243,612,615,245,617,246,618,248,621,624,626,627,
251,632,252,634,637,638,254,641,297,644,256,578,647,258,544,259,462,653,261,656,262,659,263,662,665,
667,266,267,268,670,269,673,676,678,679,273,684,274,686,443,276,691,277,692,453,695,697,280,446,282,
701,334,284,705,706,286,711,287,713,702,717,718,720,721,292,722,293,427,296,728,731,299,486,300,735,
514,739,740,303,483,305,747,306,748,492,730,308,753,754,311,376,312,756,757,314,762,315,764,752,767,
770,771,318,773,319,777,780,321,783,322,786,331,790,791,325,794,326,795,797,329,541,330,802,332,333,
808,811,812,336,816,817,338,536,340,825,341,826,546,829,611,831,344,835,345,836,346,840,841,348,846,
349,848,833,851,854,855,352,857,353,861,864,355,867,603,357,358,642,874,875,361,878,881,882,885,886,
365,889,367,890,368,893,896,897,371,598,373,491,374,517,903,868,377,906,539,908,594,380,381,911,383,
384,915,385,917,609,394,387,921,388,613,389,926,390,927,586,392,931,933,934,396,939,397,941,930,944,
947,948,400,950,401,954,957,403,960,404,962,416,966,967,407,970,408,971,973,411,412,979,414,415,984,
417,589,989,990,419,994,995,421,999,663,423,1004,424,1005,669,1008,1010,428,429,1014,1015,431,1020,432,1022,
1011,1025,1028,1029,435,1031,436,1035,1038,438,1042,440,1044,441,1047,1050,1051,444,1054,1057,1058,1061,448,450,1066,
1069,452,910,465,1073,1074,455,712,456,1078,1081,458,1082,459,1085,666,1087,716,639,1088,1090,1091,466,1094,467,
1097,469,1101,470,784,1102,472,1105,474,1110,475,476,563,1112,1114,1115,479,480,1120,481,1122,688,744,484,822,
737,487,745,1129,729,1132,1133,494,763,495,1137,1140,497,1141,498,1144,608,500,1148,1150,1152,503,1154,504,782,
505,1117,506,1161,1164,1165,508,1169,1170,510,1173,511,1174,1176,1179,1180,515,1182,1185,1186,518,1190,1191,520,1195,
522,1200,523,1202,524,1206,525,902,526,1211,1214,1157,528,1217,529,1222,1224,531,1226,532,533,1231,534,1234,1237,
1238,537,1241,1244,1245,1189,1247,542,1248,1250,904,545,909,736,1255,1256,548,847,549,1260,1263,551,1264,552,1267,
602,554,1270,1273,1275,557,1278,558,1281,559,724,560,1287,1290,1291,562,1295,1296,565,1299,566,567,1304,1307,1308,
1309,570,1313,571,1315,1318,1319,573,1322,888,719,575,576,1328,1329,579,580,1332,581,1334,1336,1338,584,587,1343,
588,1347,1349,988,592,1352,593,1302,597,1355,1356,600,1359,601,1363,1364,1366,604,1368,607,1372,1373,610,1376,1377,
707,758,614,842,616,1383,1098,1386,1387,619,940,620,1391,1394,622,1395,623,1398,919,625,1402,1159,1406,628,1408,
629,959,630,1412,631,1415,1285,1418,633,1421,635,1424,636,1425,991,1429,1430,640,1432,1435,1436,643,1440,1441,645,
1445,646,1128,1450,1451,648,1454,649,1459,650,651,652,1463,1465,1467,654,1468,655,1472,1474,657,1476,658,1481,660,
1483,661,1486,1489,1490,664,1493,1496,1497,727,668,1354,1106,1503,1504,671,1021,672,1508,1511,674,1512,675,1515,913,
677,1519,1522,1524,680,1527,681,1530,682,1092,683,1536,1539,1540,685,1544,1232,687,1549,1550,689,1437,690,1556,1559,
1560,1561,693,1566,694,1568,1571,1572,696,1575,1063,751,698,832,699,1582,700,1584,1586,703,704,1591,1594,1375,708,
1598,709,1187,710,1604,1607,1608,1609,714,1614,715,1346,1096,1617,1619,1089,1620,723,1624,1625,725,1626,726,1627,1629,
1632,1633,1634,732,1639,733,1640,734,1644,1647,738,1118,1595,1276,1113,741,1652,742,743,1654,1166,924,746,1001,1657,
749,750,787,1348,755,1664,1666,1668,759,1167,760,1636,761,1674,1676,1677,1678,765,1682,766,1149,768,1685,769,1158,
1687,1689,772,1151,774,775,1694,776,1223,778,1699,779,852,1693,1703,781,1704,1192,1707,1708,785,1710,1713,1714,788,
980,789,1719,1722,1724,792,1726,793,1729,1732,1734,1735,796,1738,1740,1691,798,1742,799,1747,800,1749,801,1753,1756,
803,1282,804,1761,805,1766,806,1768,807,809,1773,810,1774,1220,1411,813,1215,814,1779,815,1305,1784,953,1786,818,
1695,819,1791,820,821,1796,1553,823,1499,824,1801,1804,1805,1806,827,1811,828,1541,1815,958,830,1648,963,834,1818,
837,838,839,1823,1826,1828,843,1831,844,1642,845,1837,1840,1841,1842,849,1846,850,1271,1849,853,1850,1284,1853,1855,
1798,856,1274,1857,858,1861,859,1294,860,1765,862,1866,863,1867,1862,1871,865,1872,866,1874,1876,1877,869,1881,870,
1883,871,872,1887,873,1888,1880,1891,1892,876,1893,877,1898,879,1757,880,1903,892,1906,1907,883,1911,884,1913,887,
1917,1739,1919,1327,891,1922,1924,894,1927,895,1771,907,1213,1931,898,1935,899,1940,900,1942,901,1945,1946,1938,1212,
905,1952,1292,1310,1899,1306,1545,912,1954,1955,914,1551,1959,1960,916,1961,918,1963,1658,920,1656,1967,1968,922,923,
1969,935,925,1016,1971,928,929,1370,932,1978,1413,1982,936,1419,937,1986,938,1989,1534,1554,1992,942,1602,943,1403,
945,1672,946,1146,2001,2003,949,1405,951,952,2006,1799,1473,955,1835,956,1269,2013,2014,1442,2017,961,2019,2022,2023,
964,965,2028,2031,2032,968,2035,969,2038,2041,2042,2043,972,2045,2046,1858,974,2048,975,2053,976,2055,977,978,2060,
1832,2062,981,2067,982,2069,983,1599,2075,985,986,987,2080,2081,1471,1985,2083,1466,992,2086,993,2089,1390,2091,996,
2094,997,2097,998,2004,1794,1000,2102,2103,1002,2105,1003,2108,2111,2112,2113,1006,2118,1007,2120,2078,2092,1009,2124,1012,
1013,2129,2132,2134,1017,2137,1018,2141,1019,2144,2147,2148,2149,1023,2154,1024,1520,1026,2158,1027,2159,1533,2162,2164,2165,
1030,1523,2167,1032,2171,1033,1543,1034,2052,1036,2177,1037,2179,2172,2183,1039,2184,1040,1484,1041,1121,2187,1043,1650,2190,
1045,2191,1046,2192,1048,2196,1049,2198,2189,2202,2203,1052,2205,1053,1653,2210,1055,2213,1056,2216,1065,2219,2220,1059,2224,
1060,2226,1062,2230,1064,2234,1723,1067,2237,1068,1764,2173,1070,1592,1071,2243,1072,1975,1601,1525,2246,1075,2250,1076,2251,
1077,2254,1079,2258,1080,2260,2248,2264,2265,1083,2267,1084,1095,2272,1086,2275,2278,2279,2282,2283,2284,1093,2285,2288,2289,
2290,1380,1099,1379,1100,2293,2296,1637,1480,1103,2298,1104,1407,2302,2303,1107,2305,1108,1547,1109,2308,2311,1439,1111,1119,
1116,2314,2315,2316,1123,1124,2318,1125,2319,1126,1127,1665,1130,2324,1131,1671,2325,2327,1134,1135,1136,2330,1138,2333,1139,
2328,2335,2336,1142,2338,1143,2342,1145,1147,2347,1162,2349,2350,2353,1153,1829,1155,1156,2358,1785,1686,1160,1253,2363,1163,
1288,1667,2366,1702,1168,2369,2372,1643,1171,2374,1172,2377,2380,2382,2383,1175,1720,1177,2391,1178,2392,1725,2395,2397,1181,
2400,2401,1183,2406,1184,2408,2079,1878,2413,2414,2415,1188,2416,2417,1745,2005,1741,1193,2421,1194,1409,2426,1196,2355,1197,
2430,1198,1596,1199,2434,2437,2438,1201,1531,1203,1759,1204,2444,1205,1410,2448,1207,2357,1208,2453,1209,1210,2458,2459,1229,
1216,2462,1218,2467,1219,2469,1221,2472,1775,2474,2476,2477,1225,2481,1227,2486,1228,2488,2104,1230,2491,1353,1233,2493,1235,
2497,1236,2498,2490,2500,2501,1239,2502,1240,1651,2507,1242,1243,2511,1252,1246,1249,2072,2516,1251,2253,1824,2522,1254,2523,
1834,2526,2528,2529,1257,2532,1258,1873,1259,2535,1261,2539,1262,2540,2530,2544,2545,1265,2546,1266,2551,1268,1438,2555,1374,
1272,2558,2561,2562,2565,1277,2568,1279,1280,2571,2574,1283,2576,1701,1286,2582,1365,1289,2585,1827,2587,1870,1293,2589,2590,
2593,1901,1297,2594,1298,2598,1300,1885,1301,2602,1303,2606,1358,2607,2609,2612,2613,1783,1311,1900,1312,2618,2621,2622,1314,
2624,1316,2627,1317,2628,2631,2632,1320,1321,2634,2637,1323,2596,1324,2641,1325,2645,1326,2058,2647,1330,2651,1331,2653,1928,
1333,2656,1335,1337,1464,2660,1339,2662,1340,2665,1341,2666,1342,1552,2670,1344,2600,1345,2674,2677,1361,2678,1350,1649,1351,
2683,2686,1357,2688,2689,1360,1362,2691,2693,2694,2696,1367,2698,1369,1371,2700,2702,2703,2704,1378,2706,2294,1381,1382,2478,
1979,1384,1987,1385,1400,2713,2715,1388,1389,2716,2106,2717,1392,2142,1393,1517,2723,1396,2725,1397,1589,1399,1401,1662,1404,
2737,2738,2741,2100,2135,2742,2010,1414,1822,1416,1417,1981,2749,2012,1420,2752,2755,1422,2757,1423,2760,2763,2764,2765,1426,
2029,1427,2772,1428,2773,2034,2644,2657,1431,2778,2711,1433,2783,1434,2785,2604,2295,2789,2790,2791,2051,2168,2047,1443,2795,
1444,1983,2799,1446,2802,1447,2805,1448,1449,2065,2138,2061,1452,2811,1453,1984,2815,1455,2817,1456,2820,1457,1458,2823,2826,
1460,2828,1461,1462,2831,2832,1479,2833,2834,1469,2839,1470,2840,2082,2843,2845,2846,1475,2090,2849,1477,2854,1478,2855,2857,
1482,2859,2860,1485,2861,2862,1487,2866,1488,2204,2858,2869,2870,1491,2872,1492,2312,2877,1494,2800,1495,2882,1498,2885,2886,
1500,2130,1501,2892,1502,2893,2140,2895,2897,2898,1505,2901,1506,2185,1507,2903,2904,1509,2908,1510,2910,2899,2914,2915,1513,
2917,1514,1621,2922,1516,1518,2044,2928,2929,1521,1565,2934,2935,2938,2939,1526,2942,1528,1529,2945,2948,1532,2949,2178,1535,
1736,2954,1537,2955,1538,1613,2133,2959,2182,1542,1546,2214,2961,1548,2964,1814,2965,2197,1555,2299,2969,1557,2970,1558,1590,
1663,2975,2977,1562,2978,1563,2212,1564,1698,2985,2986,1567,2988,2989,1569,2992,1570,2993,2996,2997,1573,1574,2999,3002,1576,
3004,1577,2940,1578,3009,1579,2943,1580,3015,1581,1583,3019,1585,3020,1587,2577,1588,3025,1593,1810,3028,3029,1597,3030,3032,
3033,1600,3035,3036,2259,1603,2306,3041,1605,3042,1606,1622,1848,3048,3050,1610,3052,1611,3055,1612,1737,3061,3062,1615,2449,
1616,2384,3045,2024,1618,3070,2200,3073,3026,3074,1623,3076,3078,3080,2779,1628,1630,3083,1631,3084,2973,1635,3086,3087,1638,
3088,3090,2301,1641,3093,3094,1645,3098,1646,3100,2983,1807,1802,3104,2508,3105,1655,2388,1966,1659,2323,1660,1661,3112,3114,
2087,1973,1669,1670,3118,2334,1673,3122,1675,3123,3125,1679,3127,1680,3130,1681,3134,3135,1683,2974,1684,3139,2422,3142,2064,
1688,3145,2354,1690,2425,1692,2447,3150,1696,3153,1697,1838,3158,2984,1700,3161,2370,1705,3166,1706,3167,2373,1709,3171,3172,
1711,3176,1712,3178,2808,1936,3183,3184,1715,3185,1716,1717,3189,1718,3190,3193,3194,1721,3197,3200,3201,2229,2603,2642,3207,
2521,1727,2407,1728,3210,3213,1730,3214,1731,3217,1733,3220,3102,3224,3225,1752,3226,3227,3228,1743,3233,1744,3234,1746,3237,
3239,1748,3242,1750,3247,1751,3248,1754,3252,1755,3253,3256,3258,3259,1758,1760,3264,1762,3269,1763,3270,3187,3272,3273,1767,
3276,1769,3281,1770,3283,1948,1772,3289,1934,3291,1776,3294,1777,3296,1778,3299,3302,1780,3304,1781,1782,2418,2239,3307,2076,
3310,3312,1787,3313,1788,3318,1789,3320,1790,3324,3327,1792,3330,1793,1795,3328,1797,3336,2313,1800,2297,3340,1953,1803,3342,
3344,3103,1808,2509,1809,1843,3351,3352,1812,1813,3355,2675,1816,2238,1817,3358,1819,3360,1820,1821,2291,3364,1964,1825,3365,
3368,2098,2708,3371,1830,2597,2389,1833,3376,3378,2362,1836,2304,3383,1956,1839,3386,3388,3391,3393,3157,1844,3396,1845,3400,
3403,3404,1847,3407,3410,3047,1851,2364,1852,2431,3416,2071,1854,3419,2567,3422,1856,3426,3427,1859,3430,1860,3432,3263,3434,
3435,1863,1864,3438,1865,3441,3444,3060,1868,2583,1869,3448,3449,3452,3453,1875,3455,2682,1908,1879,3459,1904,3460,1882,3463,
1884,3466,2623,1886,3467,3470,2273,1889,2343,1890,3473,2617,3476,1894,1895,2697,1896,2552,1897,3482,3478,2473,3486,3487,1902,
3489,3492,2668,1905,3495,3498,3500,1909,3503,1910,3505,3508,1912,3510,1914,3514,1915,3515,1916,3518,1918,3520,1920,3522,1921,
3526,1923,3530,1925,1926,3535,2659,1929,1930,3536,1932,2575,1933,3541,3543,3334,1937,3546,1939,3548,1941,3551,1943,3556,1944,
3557,3287,3537,1947,1949,2658,1950,3527,1951,3563,3561,3566,3567,2687,1957,3570,1958,2365,3573,3574,3479,1962,2769,1965,3163,
3412,2346,2701,3579,1970,2402,1972,2709,1974,1976,1977,1980,3587,2835,2705,3590,3591,2721,1988,2127,1990,1991,3599,1993,3601,
1994,3604,1995,1996,1997,3610,1998,1999,3612,2000,3229,3236,2809,2002,3619,2300,3623,2007,3626,2008,2009,3631,2011,3635,2753,
2015,3639,2016,3640,2756,2018,3643,3644,2020,3649,2021,3651,2515,3655,3656,3657,2025,2026,2732,2027,3663,3666,3667,2030,3670,
3672,2033,3676,2036,2784,2037,3620,3682,2039,3683,2040,3686,3081,3689,2731,3690,3691,3692,2049,3697,2050,3698,3700,3701,3702,
2054,2798,3705,2056,3710,2057,3711,2059,3713,2063,3717,3718,2066,3721,3722,2068,2814,3725,2070,3729,3730,2073,3734,2074,3454,
3738,3496,3739,2077,3552,2519,3744,3662,3745,2084,3746,2085,3749,3752,3753,2088,2792,3755,2827,3757,3759,3760,2093,3765,2095,
3766,2096,3770,3773,3774,2099,2880,2101,3777,2499,3778,3779,2867,2107,2871,3784,2109,2110,3787,3789,2114,3790,2115,2879,2116,
2117,3796,3797,2119,3024,2121,3801,2122,2123,3804,3805,2125,3377,2126,2128,3082,3811,3613,2131,3815,2850,2292,3818,2136,2963,
3820,2139,3822,3823,2909,2143,3091,3828,2145,3829,2146,2153,2157,3835,3837,2150,3839,2151,3842,2152,2176,3848,3849,2155,3852,
2156,2195,3856,2345,3834,2160,2161,3243,3862,2818,2163,3865,2941,2245,3868,2166,3871,3872,2169,3874,2170,3876,3267,3878,2174,
3881,2175,2257,3887,2556,3847,2180,2181,3892,2186,2221,2188,2217,3894,3606,2193,2987,2194,3899,2211,3855,2199,2201,3902,2982,
3904,3905,2976,2206,2207,3909,2208,2209,3912,3908,3915,3916,3918,3919,2215,3921,3924,3544,2218,3927,3930,3932,2222,3935,2223,
3938,3941,2225,3943,3944,2227,2228,3423,3950,2231,2232,3428,2233,2247,3956,2235,2514,2236,3963,2242,2240,2241,3969,2496,3972,
3072,2244,3975,3976,2883,2249,3978,3979,2252,3982,3775,2255,3986,2256,2538,3991,3965,3886,2261,2262,2263,3994,3058,3996,3997,
2266,3049,3999,2268,3101,2269,3064,2270,2271,4006,4004,4009,4010,2274,2276,2277,4014,4016,2280,4018,2281,4020,3884,3971,2286,
4023,2287,2580,2520,4027,3645,4028,2375,3046,2460,4029,2878,4031,3636,3809,4034,4035,4038,4039,3099,2307,2387,4043,2309,3262,
2310,3059,3343,3156,2322,3111,2317,2320,2321,4049,4051,4052,2796,4055,2326,4057,2329,3762,2331,4062,2332,4065,3133,4066,4067,
2337,3124,4069,2339,4073,2340,3137,2341,3331,4076,4077,2344,3474,3315,2348,4082,2356,4085,2351,4088,2352,2411,2435,4091,3292,
4094,2359,4098,2360,4100,2361,3392,3322,3483,2445,3893,2367,4106,2368,4107,3906,4047,2371,4112,3007,4116,4117,3177,2376,4120,
4123,2378,4124,2379,4127,2381,4130,4133,4135,4136,2385,4138,2386,2524,4140,2390,4142,3038,3120,4144,2393,3380,2394,4150,3961,
4153,2396,4155,2398,2399,4159,4162,2403,2404,4164,2405,4167,4170,4172,4173,2409,4178,2410,3221,4033,2412,3085,4181,3988,3223,
2650,4185,4186,2419,4187,2420,4191,4194,4195,2423,2424,4198,3646,4201,4202,2427,4206,2428,4207,2429,4211,4214,4215,2432,3148,
2433,4221,3411,2436,2684,3261,4225,4227,3257,2439,2440,3450,2441,4230,2442,4231,2443,4234,4237,4238,2446,4242,4244,4245,2450,
4250,2451,4251,2452,4255,4258,2454,4260,2455,2456,4265,2457,4268,4264,4271,2695,2461,4273,4276,2463,4278,2464,2465,4280,2466,
4282,4285,2468,4288,2470,2471,4293,2475,3506,3316,4056,4296,3311,2479,2735,2480,3115,4301,2482,4303,2483,3152,2484,3911,2485,
4308,4311,3109,2487,4314,3132,2489,3068,3425,2492,3629,2494,3353,2495,4323,3143,3348,4189,4325,2503,2504,4328,2505,2506,3417,
4327,4045,4333,2510,4336,2512,2513,4339,2517,3374,2518,4343,4345,4348,2747,2525,2806,4352,2527,2727,3164,4355,2531,4357,2533,
4359,2534,3768,2536,4363,2537,4366,4369,3990,2541,2956,2542,2971,2543,4374,3399,4209,4376,4377,2547,4381,2548,3406,2549,3043,
2550,4386,4383,4102,4389,2553,2925,2554,4392,3633,3456,2557,2559,2560,4398,2570,4401,2563,4404,2564,3458,4407,2566,4408,4410,
2751,4411,2569,4412,3499,2572,4415,2573,4416,4417,4418,2578,4423,2579,4425,3384,2581,4428,4421,3564,2584,2586,4318,4003,2588,
4074,2680,4435,2591,4437,2592,4438,2595,4441,4443,4444,2599,4446,4447,2601,4442,2923,2605,4452,4291,2608,2610,4458,2611,4459,
2889,2614,2615,2616,4465,2619,4468,2620,4469,2842,3485,4472,2625,3203,2626,4476,4479,4480,2629,4485,2630,4486,3502,4488,4406,
3509,2633,4492,2635,4495,2636,4496,4490,2638,4499,2639,4500,2640,4504,3333,2643,4015,4508,2646,4511,2648,3372,2649,4516,4518,
4521,4522,2652,4525,3533,2654,4530,2655,4533,4529,4536,4537,2661,4540,2663,4545,2664,4547,4548,2667,4551,2669,4555,4556,2671,
4559,2672,4560,2673,3511,4565,4512,2676,4566,2679,2681,4571,4574,2685,4575,4371,2926,3571,2690,4581,2692,3661,3446,3910,4050,
3637,2699,3576,3107,3582,2707,3688,2710,4587,2712,3693,3720,2714,4592,4593,4595,2718,4598,2719,2720,4602,2722,4605,3936,2724,
3598,4608,2726,4611,3609,2728,2729,4613,2730,4615,2733,4080,2734,4324,2736,4619,4621,2739,4165,2740,3219,4625,3298,4628,2743,
4632,2744,4634,2745,2746,4396,4331,2748,3265,3357,2750,4640,4641,4000,4070,2754,4378,4648,4484,2758,3650,2759,4650,4653,2761,
4579,2762,4656,3678,4658,4660,4661,2766,2767,2768,4577,2770,3589,2771,4666,4667,4668,4669,2774,4672,2775,4674,2776,2777,4594,
4678,2780,4680,2781,2782,4684,4687,4688,4689,2786,4693,2787,2788,3898,3013,4698,4699,2793,4700,2794,4703,4706,4707,2797,4710,
4711,4713,4714,2801,4719,2803,4720,2804,4724,4727,4728,2807,4731,4145,2810,4143,4735,4736,2812,2813,4738,4740,3928,2816,4743,
4744,2819,4747,4750,4751,2821,3735,2822,4757,2824,2825,3445,3308,4761,2829,2830,4765,4767,4677,4770,3668,2836,2837,3665,2838,
4774,4777,4778,2841,4781,2844,3763,4591,4783,3758,2847,3585,2848,3588,4788,4789,2851,3625,2852,4793,2853,4795,4798,4799,3605,
2856,3577,4802,4600,2863,3798,2864,2865,4808,4809,2868,3794,4812,4813,3788,2873,2874,4817,2875,2876,4816,4821,4822,2881,3945,
4826,2884,3617,4321,4829,2887,2888,4833,2890,2891,4836,4837,2894,3706,4842,2896,3602,4190,2900,3715,2902,4845,4790,2905,4849,
2906,2907,4854,2930,4853,2911,2912,2913,4859,3845,4860,4861,2916,3836,4863,2918,4867,2919,3851,2920,2921,4872,4869,4874,4875,
2924,4877,4453,2927,4880,4604,4375,2931,2932,2933,4888,2944,4891,2936,4894,2937,4440,4898,2962,4900,3695,4902,3014,3931,2946,
4905,2947,4907,4908,2950,4913,2951,4915,2952,2953,4919,4911,4387,2957,2958,3277,4334,2960,4580,4708,2966,2967,2968,4927,4393,
2972,4934,4935,4936,4811,3984,2979,2980,4941,2981,4942,4944,4945,3895,4239,3914,4946,4948,4042,2990,4952,2991,4955,4958,4959,
2994,4964,2995,4099,3934,4967,4969,3942,2998,4972,4973,3000,4977,3001,4979,4970,3003,4982,4983,3005,4984,3006,3008,3097,4990,
3010,3011,3012,4997,3208,5001,5002,3016,3017,5007,3018,5010,5006,5013,5015,3021,5017,3022,5022,3023,5024,4612,3077,3027,5028,
3870,3031,4755,5032,3034,4481,5037,4729,5038,3037,3949,4011,3039,3040,5042,5039,4429,3044,5048,5049,5051,5053,3051,4032,3053,
3054,5058,3056,3057,5061,5064,5065,3983,4261,4008,3063,3065,3066,5069,3067,5070,3069,5073,3071,5075,3973,3075,5078,4924,3079,
4772,4024,3584,4064,3162,3989,3089,5081,3812,3785,3092,5083,4365,5086,3095,5089,3096,5091,4989,4233,3106,4060,3108,5093,3110,
3578,4297,3113,5095,3117,4818,5096,3116,4716,5097,3119,5099,4078,3121,4304,5101,5102,3126,5104,3128,3129,5107,4310,3131,4059,
4247,4075,3136,3138,5110,3140,5113,3141,3181,5115,3144,3205,5118,3146,3147,4450,3149,5121,5122,3151,5123,3903,5125,3154,5126,
3155,4253,3159,3160,5130,5131,4584,3165,4814,5133,3168,4361,3169,3170,5138,5141,4585,3173,3174,5087,3175,5145,5148,5149,5150,
3179,5154,3180,4131,5156,3182,4079,4139,5158,5160,4134,3186,5163,3188,3593,3191,3825,3192,5165,3195,5166,3196,3338,3198,4993,
3199,5172,5174,3202,5177,4971,3204,4160,5180,3206,3314,4163,3209,5182,5183,3211,5187,3212,5188,4999,4338,5190,5191,3215,5193,
3216,4827,5197,3218,3222,5202,5203,5205,5207,4463,5210,4110,3230,5212,3231,4109,3232,5214,5217,5218,3235,4129,5221,3238,4526,
4204,3917,3240,3241,5226,5229,5230,3244,5232,3245,4938,3246,5234,5237,5239,3249,3250,5243,3251,3558,5247,5000,3254,3255,5250,
4048,4474,3260,4433,5255,5256,3266,4885,4868,3268,5259,5262,5264,4932,3271,5266,4248,4353,5269,4243,3274,5271,3275,3369,5274,
5275,3278,5278,3279,4940,3280,5280,5283,3282,5286,5287,3284,5289,3285,5293,3286,5295,5297,3288,5300,5302,3290,4058,3293,5306,
5308,3295,4275,3297,3793,3300,5314,3301,5316,5318,3303,5320,4284,4384,3305,3306,4477,3323,3309,5329,5027,3611,4638,3317,5331,
5333,3319,4300,4061,3321,5337,3325,5341,3326,5343,5345,3329,4466,5349,5350,3332,3433,3335,4702,3337,3339,3863,5353,3341,4819,
3345,3346,5356,3347,3349,3350,4319,4332,3354,4949,5358,3356,3461,5362,3359,5365,3361,5370,3362,3596,3363,5372,4636,3366,3367,
4986,3375,5377,3370,5378,3373,5361,5380,5381,4722,5382,3379,5385,4390,3381,3830,3382,5389,5383,4567,3385,3387,3389,5394,3390,
5396,5397,3394,3395,5400,5282,3397,3398,5046,3401,5405,3402,4360,4388,3405,3408,5407,3409,5408,3413,5412,3414,5415,3415,3545,
5417,3418,4505,5420,3420,3421,5423,4044,3424,5425,5426,4222,3429,3431,5430,5431,5433,5434,3436,5435,3437,3913,5438,3439,5440,
3440,3442,5444,3443,5445,3447,4502,4354,3451,4298,5451,5454,5455,3457,5458,5460,5461,4445,3572,3462,4554,4093,3464,3465,4471,
3468,5465,3469,5466,5468,3471,3472,5474,4105,3475,5476,5478,3477,5481,5483,3480,3481,5486,4432,3484,5488,4090,4092,3488,3490,
5494,3491,5495,5379,5498,3493,5499,3494,5503,5504,4046,3497,5506,4344,3501,5509,5512,3504,5514,5516,4171,3507,5519,5521,4295,
3512,5524,3513,5525,3516,3517,5528,5529,5530,3519,5533,5534,3521,5537,3523,5542,3524,4568,3525,5545,5547,4306,5549,3528,3957,
3529,5552,5554,3531,5557,3532,5559,5561,3534,5564,5567,4315,5569,3538,5573,3539,5575,3540,5579,5582,3542,5585,5586,5587,5469,
5590,4317,3547,5593,4558,3654,3549,3550,5598,5599,3553,3554,3555,5603,5606,5608,3559,5609,3560,5612,5045,3562,5616,5619,5463,
3565,5518,3568,5622,3569,5496,3575,3580,4596,3581,3583,4617,4828,3586,5629,5631,4682,3748,5632,4586,5633,3592,5635,4614,3594,
3595,4886,5354,3597,4953,3723,3600,5642,3603,5645,4797,3607,3675,3608,5650,3614,5651,3615,5143,3616,5654,3618,4158,3621,4335,
3622,5657,5659,3624,5660,4695,5662,3627,3684,3628,3630,3632,4759,3634,4487,3817,3638,4864,5668,3641,3642,5672,5664,3647,4041,
3648,5677,5679,5680,3652,5684,3653,4663,5686,5688,4659,3658,3659,3660,3664,5692,5690,5693,5694,4775,3669,5698,3671,5700,3673,
5702,3674,4681,3677,5706,3679,5707,3680,5711,3681,4858,5705,5713,5714,5715,3685,3802,5719,3687,5630,5721,5723,4157,5726,4644,
3694,5729,4643,3696,5731,5734,5735,5736,3699,5738,4717,4843,5739,4712,3703,5741,3704,3816,5744,5745,3707,5748,3708,5749,3709,
5751,5754,5756,5757,3712,5759,3714,3716,5762,5764,5765,3719,5768,5769,4741,3724,4963,5773,5774,3726,3727,5776,3728,5778,5781,
5783,3731,3732,5787,3733,4370,5791,5792,3736,3737,5795,3740,5798,3741,5802,3742,5805,3743,5808,5811,3747,4917,3750,5815,3751,
5816,5330,4776,4870,3754,3769,3756,4692,3761,5639,3764,5824,5826,4787,4597,3767,5829,5830,3771,5834,3772,5836,5838,5840,5841,
3776,4806,5727,3780,3781,3782,3783,5843,5846,5373,3786,5849,5845,4847,3791,3792,5852,5853,3795,4803,5257,4820,3799,3800,5859,
5862,5079,3803,5863,3806,5866,3807,5871,3808,3810,5637,5873,5084,3813,3814,5877,3821,5879,3819,4851,5746,5881,3824,5884,4876,
3826,3827,5888,5882,5390,3831,3832,3833,5894,5895,5897,3838,5900,3840,3841,5903,5753,3843,3844,5906,3846,5908,4846,5276,4873,
3850,5910,3853,3854,5913,3857,3966,3858,5915,3859,5918,3860,5921,3861,4549,5923,3864,5526,5926,3866,3867,4030,5930,3869,5931,
4118,5933,3873,3875,5937,3877,5939,5940,3879,5942,3880,4929,5945,3882,5947,3883,5950,3885,5952,3888,4223,3889,5954,3890,3891,
5522,3896,3897,5878,3900,5959,3901,4083,4883,4054,5962,4087,5964,3907,5966,4180,5968,4399,5970,4351,5850,5092,4951,5972,4626,
3920,5974,5975,3922,5979,3923,5981,5880,5984,3925,5986,3926,4633,5990,3929,4148,5994,5366,4899,3933,5997,5998,5641,4978,3937,
6002,6004,3939,5916,3940,4177,6009,6011,6012,3946,6014,3947,3948,6016,6017,5673,3951,6020,3952,6023,3953,6028,3954,3955,6029,
6030,6032,6033,3958,5935,3959,6039,3960,6041,6043,3962,6046,6048,3964,4289,6050,6051,3967,6052,3968,5062,6057,3970,6058,5799,
4025,3974,4219,4906,3977,6061,5031,4358,3980,3981,6065,6067,4897,3985,3987,6071,6074,6075,3992,6078,3993,6079,4922,5596,3995,
6084,4403,5055,6086,3998,6089,4001,4507,4002,6093,6095,4005,6096,6099,5601,4007,4012,4013,6103,5803,4017,4494,6106,4019,5893,
4021,4022,6110,5080,4026,5072,4036,6112,4037,4232,5310,6115,4040,6117,5867,5493,4095,6120,4053,6122,6123,6124,4933,5340,4063,
6127,5103,4068,5332,4096,4071,5960,4072,6131,5875,4081,4114,6135,4084,6138,4086,4168,6141,4089,5848,5584,6143,6144,4097,6146,
6147,4101,4103,4104,6152,4226,4108,6154,5215,4111,4113,5139,5898,4115,4616,5142,4119,6161,4121,6165,4122,4881,5932,6167,6168,
4125,6170,4126,6174,4128,5224,4132,6180,6181,6102,4137,6185,4254,4141,6190,4734,4146,5170,4147,4149,4151,6197,4152,6148,4154,
6087,6202,4156,5510,6204,4161,6207,6208,5117,4166,6212,6213,5016,4169,6216,6218,4174,6140,4175,6222,4176,6226,6227,4179,6008,
6230,5907,6233,4182,6236,4183,6175,4184,6241,6244,4188,6246,4192,6248,4193,6249,6133,5216,4196,4197,4210,4199,4200,6256,4203,
5626,4205,6259,6261,5228,4208,6264,4212,6268,4213,6270,6273,5479,6276,4216,6278,4217,6283,4218,6285,4220,6281,5546,4224,6292,
4419,4228,4229,6296,6298,5254,5912,4235,6301,4236,6303,6305,5403,5261,4240,5517,4241,6311,6101,4246,5472,4249,6315,6317,5273,
6318,4252,5484,4256,6324,4257,6326,6328,4259,5482,6333,5471,4262,6336,4263,6338,5855,6341,4266,6343,4267,6347,6083,4269,6350,
4270,6353,4503,4272,4274,6193,6356,6357,4277,5387,4279,5315,4281,6362,4283,6363,6364,5319,4286,4329,4287,5307,6370,4290,6372,
4292,6375,4294,6378,4299,6381,6382,6384,4302,6386,4305,6291,5342,4307,5169,6392,4309,6393,6394,5346,4312,4313,6397,5344,6399,
6400,4316,4320,4322,4326,6403,4330,4553,5658,4337,6405,6407,6408,4340,6412,4341,6413,4342,6417,6420,4346,6422,4347,6423,4349,
4350,6428,6429,4356,4758,6432,6433,4362,4943,6323,4364,5951,4367,6438,4368,6439,4372,4373,6444,6445,5357,6316,6449,4379,5969,
4380,6453,4382,4385,6456,4391,6458,6459,4394,6460,4395,6462,4397,4988,6464,4400,6415,4402,6469,6472,4405,6085,5298,4409,6466,
6476,4413,6479,4414,6484,6486,6487,6054,6490,6329,4420,4422,6493,4424,6495,6496,4426,4427,6500,6501,4430,6502,4431,4434,4785,
5120,4436,6506,4921,4931,6508,4439,5200,6512,5303,4449,4448,6515,4451,6518,4926,4454,6520,4455,6312,4456,4457,6522,5571,4460,
5198,4461,6527,4462,6528,5501,4464,6530,4467,6532,5577,4470,6536,4834,4473,6376,4475,5088,6542,4578,4478,5446,6545,5327,4482,
6548,4483,4583,6551,4998,6482,4489,6554,6556,4491,6557,6560,4493,4624,6562,6565,6105,4497,4923,4498,6568,6569,4501,6572,5963,
6573,4506,6575,5532,5450,4509,4510,6577,5335,6579,4513,6583,4514,6585,4515,6589,6592,4517,4519,6595,4520,5551,4792,5548,4523,
4524,6598,4527,6599,4528,6600,6603,4531,5592,4532,6607,6608,4534,6612,4535,6614,5572,4800,5568,4538,6178,4539,6618,4541,5351,
4542,6622,4543,5060,4544,6624,6627,4546,6629,5114,6632,6177,4550,6634,6549,4552,6638,4562,6640,4557,6643,6644,6645,5597,4561,
6648,4563,6651,4564,5023,6404,6653,6656,6288,6657,4569,6658,4570,5026,4572,5422,4573,6661,6504,6663,4576,6667,5018,5173,4582,
4629,4588,4589,5675,4590,6669,5857,6670,5649,5833,4599,4601,4603,6675,4606,4607,5825,4630,4609,6680,4610,6682,6684,4620,4686,
5710,4618,5137,6688,4622,4623,6060,4627,6691,6692,4631,6694,4635,5674,4637,4639,4642,6699,5732,4645,4646,6673,4647,4649,6703,
4651,6706,4652,5222,6708,4654,6710,4655,6714,4657,6717,5788,5071,4662,4664,4665,6723,6724,6725,4670,5699,4671,6729,4673,6497,
4675,6733,4676,6555,4679,6736,6737,5712,4683,5872,6740,4685,6741,6743,6744,4690,6697,4691,6749,4694,6752,4696,6715,4697,6755,
6757,6758,4701,6760,4704,6762,4705,6763,6764,5733,6766,4709,4723,5856,4715,6770,4718,6772,6774,5743,6775,4721,6778,6779,4725,
6783,4726,6300,6786,6373,6789,6790,4730,6689,4732,4733,6795,6796,5116,5763,4737,5624,4746,5553,4739,4742,6803,6805,5772,4745,
6807,4748,6811,4749,6813,5418,5178,6818,4752,6820,4753,6824,4754,6825,4756,6822,6829,6066,4760,6834,6835,4762,6839,4763,6840,
4764,6844,5052,4766,6846,4987,4768,6849,4769,6850,5823,5886,4771,4773,6854,6855,5305,5810,4779,4780,4782,4784,4786,6861,6862,
6771,6864,4791,6866,6867,5835,4794,6189,6871,4796,6295,6872,5272,6874,5837,6876,4801,4804,4805,4807,6878,4810,6880,6881,6882,
4815,6885,6837,6234,5359,4823,6838,4824,6889,4825,5623,5030,6891,6892,4830,6894,4831,6895,4832,6072,6900,4835,6901,4838,4839,
4840,6903,4841,6904,4844,6905,4848,5909,6782,4850,6909,4852,6911,4855,6913,4856,6914,4857,5891,6917,4893,5899,6920,4862,6773,
6922,4865,6925,4866,6927,6929,4871,6930,4889,6931,4878,4879,6933,4882,6934,4884,6509,6936,4887,6015,6939,4890,6943,4892,4976,
6947,4895,6919,4896,6239,6951,4901,6952,4903,6954,4904,6958,6959,5914,6962,4909,6963,4910,4912,6966,4914,6968,6969,4916,6973,
4918,6974,4920,6976,6664,4925,4928,4930,6982,6137,5112,4939,4937,6984,6985,5988,6513,6987,6467,5411,4947,6989,4950,6992,5644,
5980,4954,6116,6997,4956,5409,4957,5076,7002,4960,7004,4961,7007,4962,7009,4965,4966,6024,6956,4968,7015,7017,7019,4974,7022,
4975,6886,5186,7026,6946,4980,4981,6609,5806,7029,7031,6010,4985,7034,7035,6044,6019,4991,4992,6450,7038,4994,7043,4995,7044,
4996,6090,7050,7051,6035,6679,6491,6031,5003,5004,5005,6480,5029,7055,5008,6636,5009,7059,7060,5011,7063,5012,7064,5014,5819,
7066,5323,5019,5020,5021,7069,7072,6108,5025,7075,5034,5033,7079,5035,7082,5036,5614,7083,7084,5040,7087,5041,7088,7091,6646,
5043,5044,7095,6136,5047,7097,5050,5414,5057,7101,7102,5054,7103,7106,5056,7107,5059,7110,5797,7111,6465,5063,7113,5448,5066,
5067,5068,7118,6107,7120,7119,5074,5077,7122,7000,5082,7126,5085,5812,7128,6424,7129,5090,6523,6365,5094,7133,6856,6380,5098,
5100,5106,7135,5105,5108,7138,5109,5111,5146,7142,6983,7040,7143,6142,6217,7144,5119,7146,6128,5124,7010,7149,6435,5127,5128,
5129,7154,5132,7156,5134,6158,5135,5136,5627,5140,7161,6134,5144,5874,7165,5147,7168,7170,5151,7141,5152,7174,5153,7177,7178,
5155,6631,5157,6279,7184,5785,5159,7187,5161,6543,5162,6828,6194,5164,6210,5167,5168,7191,7192,5171,7194,7197,6695,5175,5176,
7201,7204,5179,7207,7018,5181,7209,6739,5184,7213,5185,5864,7216,7025,5189,6225,7218,7220,5192,7222,5194,6113,5195,6229,5196,
7226,7145,7228,5199,6253,5201,7231,7233,7234,5204,7236,7237,5206,5961,5208,7242,5209,7243,6685,5211,5355,5213,7247,7248,5312,
6243,5219,7251,5220,5223,7253,5225,5227,7260,7261,6937,5231,7265,5399,6269,5233,6191,7272,5235,6299,5236,7274,5413,5238,7278,
6272,5240,7281,5241,7282,5242,5965,7286,5244,7288,5245,5246,7292,5248,7294,5249,7298,5251,5252,5253,6223,7301,5717,6302,5258,
6172,5260,7302,6368,6151,5263,6297,7307,5265,5267,7311,5268,5270,5604,7315,7316,7318,6516,5277,7321,6325,5279,6192,7326,5281,
7305,7327,6330,6448,5284,5285,7330,6327,7332,5288,7334,5290,6538,5291,5292,7340,5294,7343,7344,5296,5555,7350,5299,7352,7355,
5301,5613,7359,5304,6367,7362,6358,5309,7363,5311,5313,7365,5324,5625,5317,5347,6369,5321,5322,7368,7070,6546,5325,5326,7284,
7371,5328,7373,6396,6157,7375,5670,7376,6385,5334,7291,7378,5336,5338,6145,5339,7386,5449,5352,6331,6398,6383,5348,5611,7389,
6625,6533,7303,5360,7394,6613,6410,6198,5363,5364,5663,7400,7150,5367,7402,5368,6069,5369,7404,7407,5371,7409,7410,5374,7411,
5375,5376,6842,7413,7309,5505,6897,7314,5384,7198,5386,5388,7417,7418,5391,7419,5392,5393,7423,6005,5395,7425,7427,7193,5398,
5436,5401,7430,5402,5404,7432,5406,7434,7435,6308,5410,6426,7437,7440,7100,5416,7046,6473,6214,5419,7443,7441,5421,7446,5424,
7047,7449,5427,7453,5428,7454,5429,6047,7456,7458,5578,6552,5432,7462,7464,7255,5437,7468,5439,7471,6732,5441,5442,5443,7476,
7477,6334,5447,6832,5452,5890,5453,7482,5456,7483,5457,6237,5459,5462,7488,5464,7489,6620,5467,7493,5470,6581,5473,7495,5475,
5477,7499,5491,5480,7502,7503,6587,5485,7505,5487,7509,5489,7254,5490,5492,6440,7514,7117,5497,7516,7517,5500,7520,5502,6000,
5821,7522,5507,7524,5508,7525,5648,5511,7527,6561,5513,5892,5515,7531,7372,5520,6642,7537,7538,5523,7539,7542,6205,5527,7544,
5531,6582,5827,6578,5535,7548,5536,7549,5538,6387,5539,7553,5540,6068,5541,7555,7558,5543,5544,7561,5550,7016,7565,7566,6430,
5556,5610,7570,5558,7573,5560,7578,6950,5562,5563,7580,7583,5565,7584,5566,7586,5570,7590,5574,7592,5576,6150,5580,7596,5581,
7597,7599,5583,7602,6242,7239,7008,5588,7546,5589,7606,5591,7608,5809,5725,5594,5595,7611,7396,6843,7612,5600,7615,6314,5602,
7617,5605,5928,5607,7621,7474,6187,7623,5615,5617,7421,5618,7627,5620,7628,5621,7630,5628,7631,6860,5634,5636,7633,5638,7636,
5640,7638,5643,6964,6687,5646,7640,5647,7642,5652,5653,7644,7199,5655,5656,7258,6677,5661,6802,6907,5665,5666,5667,7223,5669,
6702,5671,7651,6707,5676,7655,5678,7657,5681,7659,5682,7662,5683,7665,7666,5685,7670,5687,7673,5689,6730,5691,7675,6728,7676,
5695,5696,5697,7678,6857,6970,5701,7679,5703,5704,6567,6722,5708,5709,7685,6748,7686,7687,6742,6668,5716,6751,5718,7689,6875,
5720,7691,5722,5724,7695,7696,6745,7697,5728,5992,5730,7172,7699,6121,6756,5957,5737,5740,5860,6126,5742,7704,6761,7706,7707,
5747,7709,6436,7005,6784,5750,6794,7715,5752,7716,6427,5755,7718,6785,6070,5758,7720,5760,5761,7163,7722,6355,6792,5766,5767,
5770,5771,7729,7730,5924,5775,6994,6812,5777,7190,7737,5779,7300,5780,7739,5782,7742,6815,5784,7745,7746,5786,6979,7749,7205,
5789,5790,7753,7754,5793,7756,5794,6639,6094,6731,5796,6206,6672,7750,7702,5800,7313,5801,7763,5804,7383,5807,7767,7770,7771,
5813,5814,6153,7773,5820,5817,5818,5822,6750,6853,7775,6698,7776,7777,5828,7779,7780,5831,6693,5832,7786,5842,7329,6863,5839,
7789,5844,7790,5847,7793,5851,7794,5941,7490,6361,5854,6769,5858,7799,5861,6893,6114,5865,7802,6359,5868,5869,5870,7805,7808,
6910,5876,7809,7760,7246,5883,7811,5885,7812,5887,7813,5889,7816,7817,7345,5920,5902,5896,7822,7823,7824,7826,5901,5943,6942,
5904,7829,5905,6215,6442,6457,5911,6443,7832,5917,7408,5919,5978,7836,7820,5922,7839,7840,6948,5925,7843,7841,5927,7426,5929,
5934,7041,7849,7851,6038,5936,7854,7852,7508,5938,7858,7859,6921,7860,5944,7864,5946,7866,7867,5948,5949,7574,6007,6455,5953,
7875,5955,5956,7521,5958,7098,7071,7879,7880,7297,5967,7384,5971,7884,5973,6159,7886,5976,7887,5977,6164,7891,7835,5982,5983,
7894,7895,5985,7001,7897,5987,7900,5989,7637,5991,5993,7902,7904,5995,7906,5996,7907,7908,7023,7910,5999,7913,6001,6003,7914,
7911,7444,6006,7920,7610,7798,6013,7923,7926,7160,6018,6923,7037,6021,7929,6022,6678,7932,7933,6025,7935,6026,6027,7937,7940,
7941,6034,6036,6037,7946,6040,7948,6042,7952,7448,6045,7954,7957,7959,6049,7962,6053,6055,7965,6056,7485,7967,7013,6059,7971,
7972,7868,6062,7978,6063,6064,7980,7981,7982,7983,6836,7984,6940,6073,7986,6499,6076,6077,7114,6626,6080,7993,6081,6082,7996,
7998,7999,7312,6088,7797,8002,8003,6091,6092,8007,8009,6097,8011,6098,6100,6986,8015,7543,6104,8019,7080,7057,6109,8023,6111,
8025,8026,8027,8028,6118,6119,8030,7382,6125,8031,6129,6130,8035,6132,7131,7169,7380,6160,6139,8039,7882,7139,8041,7148,7399,
6149,8043,6507,8046,7159,7211,6155,6156,7250,7885,7781,6162,8049,6163,8052,7890,6166,7176,8054,8055,6169,8057,6171,6271,7180,
6173,8060,8037,8062,6176,6635,6179,8065,6184,8068,6182,8071,6183,6186,6188,6360,6798,6195,6474,6196,8075,7989,6199,6991,6200,
8079,6201,6935,6540,8081,6203,7646,7528,7215,8085,7244,6209,6793,7229,6211,8086,7532,8091,7727,8093,6219,6759,6220,6221,8096,
6224,7210,7227,6228,6231,8099,6232,8100,8101,6235,8104,8105,6238,7848,6240,7188,8112,8113,6245,7185,6247,8115,6252,6250,6251,
8063,8114,6254,8118,6255,6257,7276,6258,7157,8120,6700,6260,8122,6262,6998,6263,8124,6265,8127,6266,6267,8131,8132,6277,7391,
7279,6274,7263,6275,6883,8138,8139,6280,8141,6282,8143,6284,8145,8146,6286,6287,8149,6289,8151,6290,8152,7020,6294,6293,7304,
6712,6309,6304,7306,6306,6307,8155,8156,8106,6310,8158,8159,6313,7158,8161,6701,8162,6978,8163,6319,7618,6320,6321,8168,6322,
8170,6335,6454,7331,7317,6332,8171,8172,8174,6337,8177,6339,6340,7356,8183,8184,6342,8187,8188,6344,8189,6345,6346,8194,8196,
6348,8198,6349,8201,8204,6351,6352,8206,8209,8210,6354,8214,8215,7806,8117,6659,6366,8218,6371,6374,8221,6377,8223,6379,6388,
8225,6787,8227,7556,7134,6389,6390,8230,6391,7056,8229,7357,6395,8236,6401,6402,8238,6483,6416,6406,8240,6409,6411,8242,8244,
6414,6696,6418,8249,6419,8250,8253,6421,8254,8255,7127,6425,6588,6431,6434,6437,8260,8261,7319,6441,8264,8265,7167,6446,8268,
6447,8269,6451,6452,8274,8275,7874,7903,7877,8279,6461,7166,6463,8282,8258,6468,6470,8286,6471,7788,8288,8289,6475,8291,6477,
8293,6478,8296,6831,6481,6637,8298,7457,6485,8300,6488,8295,6489,8304,7328,6492,8306,7470,8307,6494,7467,8309,6498,7752,8312,
7990,8315,7726,6503,7153,6505,8319,8045,6510,6511,7504,6514,8323,7551,6517,8324,6519,8327,6521,7132,6524,6525,6526,8331,6529,
6662,8208,8335,6531,7392,6534,6535,7846,6539,6537,7295,6541,8266,8220,6544,7979,8343,6547,7463,8235,6550,8347,6553,8348,8349,
6558,8351,6559,7545,6563,8353,6564,6570,8354,6566,8358,6650,8362,6961,6571,8364,7507,6574,8367,6576,8368,6580,8371,8373,6584,
8375,6586,8378,6590,8380,6591,8381,8383,6593,6594,8386,6596,6597,8389,7478,8391,8392,6601,6602,8397,8398,6604,8401,6605,8402,
6606,8405,8407,6610,8366,6611,8410,8413,8414,6615,8416,6616,6617,7663,8419,6619,6932,6621,8424,6623,8428,7366,6666,7601,8430,
6628,7487,6630,7181,6633,8108,8044,8434,6641,8436,8438,8147,8439,6647,8443,6649,8441,8361,6652,6654,8259,6655,8449,8450,7501,
6660,8452,8334,6665,7664,6858,6671,8453,6674,7968,7529,6676,8456,6681,8459,6683,8460,6686,8073,6721,6690,7641,8463,7650,7700,
6869,6704,8466,6705,8468,7269,8469,6709,7656,8471,6711,6814,7668,6713,7589,8169,8475,6716,8477,6720,8479,6718,8481,6719,6852,
6851,6726,6727,8483,6734,8486,6735,6738,6859,8489,8491,7398,6746,6747,8495,8497,6753,6754,7674,8502,7660,6877,7671,6767,6765,
6768,7759,7717,8504,8505,6902,6908,6776,7800,6777,8507,6780,8510,6781,8514,6791,7719,7705,6788,7653,7155,6799,6797,6981,6800,
6801,7740,7721,8519,7649,6804,8520,6806,6808,6809,6810,8526,8527,6819,7743,6816,7732,6817,7094,8531,7469,6821,6823,8534,8535,
6826,6827,8537,8538,6830,8540,8211,6833,7289,7701,6841,8544,8284,6845,7783,6847,8017,6848,8551,8554,8555,7179,8482,7624,6865,
8549,8556,8557,8387,7784,7632,6868,8561,6870,7947,8560,8205,6873,8418,7125,6879,7232,7807,7256,6884,8566,6887,6888,8567,8568,
6890,8571,6896,6898,8574,6899,8317,8575,8511,6906,8577,7024,7416,6912,7987,7557,8581,6915,6916,8584,6918,8587,8461,8588,6993,
8590,6924,6926,8594,6928,8595,7918,7795,6938,8599,8576,8125,6941,8603,7634,6944,6945,8607,8503,6949,8611,8178,8602,8613,6953,
8614,6955,7607,7944,6957,8618,6960,8601,8622,8623,7830,6965,8625,7865,6967,7863,8628,8629,6971,6972,8632,8633,8635,6975,8639,
6977,6980,8596,8642,8129,8390,6988,8609,6990,8644,7888,8524,6995,6996,8645,8589,8283,6999,8648,8650,7003,8512,7006,8653,7325,
7011,8657,7012,8658,7014,8660,8661,8021,7927,8662,7021,7831,8664,8665,7032,7027,8668,7028,7252,8666,7030,7086,7422,7033,8523,
7466,7036,7039,8675,7042,8677,8678,7931,7045,8681,7048,8684,7049,8320,8688,7452,7052,7053,8692,7054,8695,8406,8697,8698,7058,
8700,8272,7061,8005,7062,8707,8710,7690,8234,8711,7065,8570,7067,7068,8716,7387,7619,7073,7074,8393,7338,7681,7076,7077,8310,
7078,7085,8727,7081,8725,8729,8730,8360,8732,7089,8734,7090,7092,8517,7093,8638,7096,8738,7308,7099,8742,8743,8746,8748,7104,
7105,8750,8751,7108,8753,7109,8756,8757,8553,7112,8761,7333,7115,7116,8765,7974,8767,7850,8769,7121,8585,7123,8772,7124,7889,
8773,8051,7654,7130,8040,8775,7136,7147,7137,8776,7140,8166,7202,8778,8779,7151,7405,8780,7152,8318,7497,8508,7162,7271,7772,
7164,8781,8339,8785,8786,7171,7262,7173,8789,7175,8047,8061,8791,7182,8794,7183,7604,8796,7186,8084,8798,7189,8696,7195,8578,
7196,8038,7200,8802,7203,8805,8806,7206,7208,8808,7212,7792,7214,7217,7257,8811,7219,8094,7221,7224,8565,7225,7230,8815,8816,
8605,7235,8819,8820,8764,8821,7238,8823,7240,7241,8827,8830,8831,7245,8119,7480,7249,8833,7259,7264,8835,8837,7266,8839,7267,
7268,8841,8842,7270,8800,8840,8845,7273,7625,7275,7277,7280,8851,8121,7283,8854,7285,8858,7287,8860,8861,8862,7290,7560,7293,
8868,7600,7296,7299,8870,7878,7310,8872,8747,8873,7320,8874,8875,8876,7322,8825,7323,8499,7324,8878,8881,7991,7393,8882,8883,
7335,8886,7336,8887,7337,7511,7339,8186,8103,7341,7342,8895,8897,8898,7346,7347,8195,7348,8902,7349,8197,7351,8904,8494,7353,
8908,7354,8219,8892,8207,8911,7358,7367,8213,8912,7360,8913,7361,8515,8916,7364,8828,8919,7369,7370,8920,8024,7533,7374,8923,
7377,8926,7379,7381,8548,8929,7385,8411,8713,7388,8931,7390,8303,7395,7614,7397,8935,8467,8659,7401,8940,8042,7403,8946,7774,
7406,7626,7523,8564,8949,7412,7414,7415,8951,8579,8952,8953,7420,8956,8957,8958,7424,8960,8889,8961,7428,8704,7429,8964,8966,
7431,7433,8969,7893,7436,7438,8973,7439,8547,7442,8975,7445,8977,7648,7447,8979,7450,8270,7451,8983,8984,7455,8987,7459,8989,
7460,7461,8991,8154,7465,7473,8992,8528,8994,7472,8995,8997,7475,8999,9002,7479,7481,8849,7917,7484,7486,7587,8429,7796,7491,
7492,8433,7494,7496,7498,8850,9012,7500,8451,9015,7506,7510,7512,7513,9018,7515,8355,8925,7518,7519,9022,9025,9026,8807,7526,
9028,7530,9030,9031,7534,9032,7535,7871,7536,8627,9036,8326,7540,9038,7541,9039,8006,9040,7547,7622,8777,8465,9043,7550,9045,
7552,9047,8848,7554,9052,8116,7629,8384,7559,9054,8867,7562,7563,8262,7564,9057,9058,7567,9059,7568,7569,8400,7765,7571,7572,
9064,8231,7575,7576,9065,7577,8408,7579,7581,9068,7582,9069,8933,9071,7585,9073,9074,7588,8421,9077,7591,9079,7593,7960,7594,
9083,7595,9084,7598,9085,9023,7603,7605,9062,7609,7698,8478,8740,7711,7613,9090,9091,8763,7616,8365,8370,7620,8301,8717,7958,
9095,9034,7909,7635,9097,8676,7647,7639,8705,8722,7643,7645,9101,7713,7652,7736,8476,8372,9102,7658,7731,7661,9104,8464,8474,
7667,9106,7669,9107,7672,9109,7677,9110,8545,7680,9112,9113,7682,7683,7684,8199,8484,9117,7688,9118,8493,8847,7692,7693,7694,
9121,8426,7703,7708,9123,7710,9125,9126,7712,9129,7862,7714,7949,9127,7723,7724,7725,7728,7733,9133,7815,7734,9136,7735,8074,
9135,9139,7738,7741,7744,9141,7747,7748,9108,8719,7751,9147,7976,7755,9150,7757,7758,7761,8604,7762,8448,7764,7766,9111,7768,
9158,7769,7964,9152,8804,9041,8420,7778,9160,7782,9162,7785,7787,7791,8817,8621,8001,8128,8672,7801,8774,7803,7804,9167,8337,
7810,8934,9168,7814,9169,9170,7818,7819,9173,7821,7919,9175,9176,7825,8673,7827,9177,7828,9181,7883,9182,7833,7834,9184,7837,
9186,7838,9179,9187,7842,8090,9189,7844,9165,7845,9191,7847,9194,9195,7853,9197,7855,9200,7856,7857,9202,8137,8689,7861,7869,
8082,9204,7922,9206,7977,7870,9209,9210,7872,9212,7873,9213,9215,8357,7876,8066,8829,7881,9219,9220,7892,9222,9224,8070,8651,
7896,7898,8278,7899,9227,7901,9230,9231,7905,9233,8529,9234,7912,9143,9236,7915,7916,8080,8485,7921,7924,7925,7928,8076,8034,
7930,9242,9229,7934,9245,8273,8685,7936,9252,7938,7939,8134,8257,7942,8701,7943,9257,9258,7945,8232,8458,9262,9241,7950,8592,
7951,8033,8173,7953,9256,7955,9268,7956,8739,9264,9271,9272,7961,9274,7963,9276,7966,8160,7969,7970,9279,9027,7973,7975,9149,
8088,9285,9286,9288,9290,8018,9157,7985,9293,8164,7988,7992,9070,7994,7995,9297,9300,8417,7997,9302,8252,8616,8801,8000,9250,
9306,8004,9310,9311,9312,8427,8768,8008,9316,8010,9319,8012,8013,8014,9323,8016,9324,9325,8157,8020,8022,9329,9330,8029,8032,
9263,8036,8330,9331,9332,8048,8641,8050,8053,9335,8787,8056,8058,9218,8059,9337,8064,8077,9339,8067,9343,8069,9345,8072,8674,
8078,9346,9232,8462,9144,9132,8083,9283,8087,8089,8095,8092,8097,8098,9328,8818,9350,8102,9351,8822,9352,8107,9260,8432,8109,
8110,9354,8111,8737,9353,8518,9355,9356,8446,9357,8643,9188,8123,9359,8126,9103,9360,8130,8980,9363,8133,9119,8135,8647,8136,
9338,8140,9019,8344,8846,8142,9370,8859,8144,8857,9153,9295,9205,8148,9375,9377,8150,9380,8153,9382,8619,9010,8455,8287,9385,
8580,8165,8167,8445,9390,9392,8885,8496,8175,8176,9395,9396,8179,8271,8180,8181,8182,8191,8185,8893,9401,9402,8896,8190,8192,
8193,9405,8345,9407,8909,8200,8917,9412,8202,8203,9076,9414,9094,8212,9122,9417,8216,8217,8715,9014,8222,9420,8224,8552,8226,
9423,8228,9425,9369,8233,8423,8237,8239,8241,9428,8243,9056,9429,8245,8803,8246,8247,9239,8248,8447,9434,9284,8251,8598,8256,
9437,9439,9440,8263,9080,9254,8938,9445,8267,9447,9448,9449,8305,9450,8440,9453,8276,8277,8981,9456,8280,8281,9459,8285,9462,
9463,9464,8290,9466,8292,9467,8294,9470,9259,9471,8297,9476,8299,9478,8302,9480,9481,8308,9483,8947,8311,9485,8313,9487,8314,
8395,8341,9490,8316,8321,8322,9495,8325,9280,8328,8329,8832,8332,8333,9500,8336,8338,9502,8340,9503,8342,9506,8346,8636,9479,
9115,8350,9510,8352,9511,9512,8976,8356,9217,8359,9516,8363,9518,9519,9341,8369,8403,9044,8374,9183,8376,8714,8377,9524,9526,
8379,9527,8382,9530,8385,8388,8901,9532,8928,8394,8396,8404,8399,9513,9534,8409,9348,9537,8516,8412,9539,8415,9542,9543,9421,
9545,9546,9228,9548,8422,9549,8425,8435,9427,9553,8431,9373,8437,9555,8444,9087,8442,9433,9509,9489,8454,9192,8457,8690,8470,
9559,9100,8472,9089,8473,9561,8943,8480,9563,8669,8490,9565,9422,8487,8488,8492,9568,8948,8498,8500,9050,8501,8608,8506,9570,
8863,8509,8569,8936,8513,8766,9347,8812,8521,8522,9575,8525,9296,9577,8530,8797,8532,8533,9581,8536,9472,9061,9585,8539,9587,
8541,8542,8543,8546,8924,8550,8573,9593,8558,9595,8559,9596,8562,8563,9599,8572,9600,9601,9602,9029,8582,8583,9604,8586,8945,
8591,9606,8624,8593,8693,9607,9610,8597,9611,8600,9613,9614,8606,8959,8610,9617,9618,8612,9621,9255,8615,9304,8617,8754,9626,
8620,9627,8626,9629,8783,9630,8630,8631,9633,9522,8634,9635,9386,8637,9638,9639,8640,9342,9172,9642,8646,8686,8793,8652,8649,
8654,9648,8655,8656,9649,9650,9651,8937,8856,8663,8974,8667,9303,8670,8671,9261,9657,8836,8679,8970,8680,9660,8682,9664,8683,
8834,9666,9620,8687,8691,9098,9668,9669,8694,8699,9670,9671,8702,8703,9269,8706,8813,9674,8708,8709,9677,9007,8712,9679,9680,
8910,8718,8720,9686,8721,8723,8724,8726,9689,9690,9691,8728,9051,8871,8944,8731,8733,9694,8735,8736,9696,9340,8741,9698,8760,
8744,9701,8745,8749,9702,9305,8962,8752,9096,9705,9148,9383,8755,9707,8758,9704,8759,9710,9578,8762,9287,9714,8799,9715,9636,
8770,8771,9067,9719,9720,9498,9721,8782,8784,8788,8790,8814,8792,9725,9646,8795,9662,9605,8826,9727,9645,9579,8809,8810,9729,
9521,9001,8824,9730,9364,8890,9731,8838,9732,9569,8843,8844,9735,9736,8852,8853,9738,8855,9741,8864,9416,9088,9744,9092,9398,
8865,9748,8866,9749,9752,8869,8971,9755,9317,9756,9757,8877,9760,8879,9538,8880,9004,8884,9763,9764,9394,8888,9766,8891,8894,
9769,9603,8899,8900,9772,8903,9774,8905,9580,8906,8907,9778,9779,9781,8914,8915,9166,8918,8921,9746,8922,9564,9046,8927,9785,
8930,8932,8939,9656,9488,8941,8942,9790,9789,9557,8950,9665,9060,9017,9658,9793,8954,8955,9795,9797,9393,9615,9799,9253,8963,
9801,8965,9804,8967,8968,9807,9808,8972,9810,9811,9465,9654,9813,9137,8978,9734,9814,8982,9491,9773,9818,8985,9819,8986,9378,
9824,8988,9826,8990,9501,9409,8993,9829,8996,9831,8998,9833,9000,9834,9836,9003,9837,9005,9006,9842,9008,9009,9011,9013,9840,
9016,9847,9388,9020,9021,9821,9024,9653,9751,9225,9728,9852,9632,9033,9035,9759,9037,9855,9856,9042,9858,9859,9048,9861,9049,
9862,9784,9053,9589,9865,9055,9868,9063,9870,9871,9066,9873,9718,9540,9072,9876,9875,9878,9075,9598,9881,9078,9883,9884,9081,
9082,9888,9890,9086,9249,9161,9093,9099,9812,9105,9894,9120,9895,9896,9897,9114,9116,9900,9124,9901,9128,9130,9131,9134,9907,
9138,9909,9140,9535,9142,9145,9435,9146,9913,9914,9640,9474,9151,9556,9154,9155,9156,9921,9159,9923,9869,9163,9164,9925,9411,
9361,9926,9171,9292,9174,9927,9178,9180,9199,9676,9358,9185,9517,9899,9190,9460,9201,9931,9193,9933,9934,9661,9196,9198,9267,
9939,9843,9203,9942,9904,9207,9208,9943,9211,9945,9946,9214,9948,9949,9216,9950,9458,9221,9699,9223,9953,9226,9955,9806,9309,
9956,9235,9957,9237,9238,9240,9244,9243,9246,9960,9247,9961,9248,9963,9251,9962,9964,9936,9667,9965,9327,9265,9266,9968,9938,
9270,9970,9273,9972,9616,9275,9974,9277,9278,9321,9978,9281,9282,9981,9326,9982,9289,9291,9905,9294,9322,9298,9985,9299,9301,
9987,9308,9307,9990,9967,9313,9992,9314,9315,9886,9318,9995,9320,9441,9920,9384,9419,9988,9999,9436,9623,9333,9334,9336,10000,
9739,9344,9349,9937,10004,9365,9930,9839,9362,10008,10009,9366,10011,9367,9368,10012,9371,9372,10014,9374,10016,9376,10018,9753,9379,
10021,9399,10022,9381,10019,9442,10024,9796,9387,10026,9389,9391,10006,9932,9397,10031,10032,9400,10034,9403,9404,10035,9406,9776,9408,
9410,9430,10036,10038,9413,9917,9415,9418,9424,10028,9426,10042,9431,9432,10045,9541,9438,10048,9443,10050,9444,10001,9446,10051,10052,
9675,9451,9452,10054,9454,9455,10056,9508,9457,9952,10058,9461,10059,9954,9468,9469,10062,10064,9800,9473,10066,9475,10067,9477,10069,
9918,9780,9482,9980,9484,10075,9486,10077,9528,9902,10079,10080,9492,9525,9493,9494,10082,9496,9497,9499,10085,10086,9504,9505,9507,
10090,10088,9514,9515,10027,9872,9520,9768,10094,9523,10096,10013,10097,9529,10100,9531,9743,9977,9533,9597,9941,9536,10041,10102,9841,
9584,10103,10104,9544,9708,10106,9547,10108,9851,9550,10060,9551,9877,9552,9754,9554,9558,9560,9867,9562,10115,9687,9566,9567,9798,
9803,9571,9572,9573,9574,9622,9835,9576,10073,9644,9582,9583,10126,10127,9586,10128,9588,9590,9591,9592,10130,9594,10132,10131,9652,
10133,9892,9608,9609,9612,9976,9619,10136,9693,9692,9624,9625,10138,10137,9685,9628,9631,9854,9634,10142,10143,9637,9713,10147,9924,
9641,9643,10149,9647,10150,10151,10152,9655,9659,10155,10156,9663,10114,10119,10117,9672,9673,10157,10068,9887,9678,10159,9681,9874,9682,
9683,9684,10162,9880,9688,10165,10166,9695,9697,10168,9700,10169,10144,9703,10171,9706,10173,9709,9711,10176,9712,10177,9716,9717,9722,
9723,9724,9726,10040,9733,10181,9822,9740,10084,9737,10184,9857,9742,10185,9745,10186,9747,10189,10190,9750,10192,10193,10098,10141,9758,
10196,9761,10187,9762,9765,10198,9846,9767,9770,9771,9775,9777,10201,9782,9783,9786,10203,9787,9788,10205,9791,9792,10120,9794,10209,
9815,10210,9802,10055,9805,10212,9809,10214,10215,10216,9816,10218,9817,10219,9820,10113,10207,9823,9916,9825,10223,9827,9828,9830,10076,
9832,10200,10043,10227,10228,9838,10230,9844,9845,10232,10183,9848,9849,9850,10234,10139,9853,9996,10140,9860,10235,10236,9863,9864,10237,
9866,10239,10240,9986,9879,9922,9882,10208,9885,10063,10116,9889,9891,9893,10111,9898,9903,9906,10247,9908,9969,9910,9911,9912,9915,
10253,10254,10255,10256,9919,10258,10099,9983,9928,9929,10259,9935,10260,9940,9944,10261,10089,9993,10262,9947,10263,10265,9951,10267,10242,
10044,10268,9958,9959,10270,10002,9966,9971,10095,9973,9975,10231,9979,10093,10074,10091,9984,10277,10269,9989,10278,9991,10280,9998,9994,
10282,10283,9997,10003,10005,10030,10007,10010,10287,10015,10241,10047,10017,10286,10279,10020,10039,10289,10023,10025,10290,10029,10288,10033,10037,
10296,10297,10299,10110,10250,10046,10302,10049,10303,10304,10053,10154,10057,10272,10092,10307,10061,10309,10251,10065,10178,10070,10313,10071,10072,
10078,10308,10318,10081,10158,10083,10320,10087,10321,10285,10322,10238,10101,10323,10324,10105,10107,10109,10112,10326,10118,10134,10121,10122,10123,
10124,10125,10331,10135,10332,10245,10129,10334,10170,10335,10145,10197,10271,10146,10330,10148,10167,10306,10153,10327,10338,10160,10161,10163,10164,
10314,10329,10174,10172,10340,10175,10344,10345,10179,10180,10182,10346,10188,10347,10233,10191,10298,10194,10195,10199,10352,10353,10202,10355,10204,
10206,10357,10350,10358,10211,10213,10343,10217,10359,10220,10221,10222,10361,10224,10225,10226,10363,10317,10229,10364,10243,10365,10366,10367,10244,
10368,10246,10248,10249,10252,10301,10370,10257,10372,10305,10264,10266,10374,10273,10274,10275,10276,10281,10375,10377,10284,10291,10292,10293,10294,
10295,10315,10380,10311,10382,10300,10369,10310,10383,10312,10384,10316,10319,10351,10379,10339,10325,10385,10328,10360,10333,10337,10336,10388,10341,
10342,10390,10348,10349,10392,10354,10362,10356,10389,10393,10371,10373,10394,10376,10381,10378,10395,10386,10387,10391]
>;
print "Group G is S12 < Sym(10395)";