/*
www-ATLAS of Group Representations.
J3:2 represented as permutations on 6156 points.
*/

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