/*
www-ATLAS of Group Representations.
2^5.L5(2) represented as permutations on 7440 points.
*/

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