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

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