/*
www-ATLAS of Group Representations.
S12 represented as permutations on 5775 points.
*/

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