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

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