/*
www-ATLAS of Group Representations.
G2(5) represented as permutations on 7750 points.
*/

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