/*
www-ATLAS of Group Representations.
S6(3) represented as permutations on 7371 points.
*/

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