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