/*
www-ATLAS of Group Representations.
S14 represented as permutations on 2002 points.
*/

G<x,y>:=PermutationGroup<2002|\[
1,4,3,2,9,6,7,13,5,17,11,12,8,23,15,16,10,29,31,20,21,22,14,38,25,
40,27,28,18,46,19,49,33,52,35,36,37,24,39,26,62,42,43,44,45,30,70,48,32,74,
51,34,78,54,55,56,57,58,59,77,61,41,90,64,93,66,67,68,69,47,71,72,73,50,75,
76,60,53,109,91,112,114,83,117,85,86,87,88,89,63,80,92,65,130,95,96,97,98,99,100,
138,102,103,104,105,106,107,108,79,149,151,81,155,82,159,116,84,164,119,166,121,154,123,124,125,
126,127,146,129,94,178,132,181,134,135,136,137,101,189,140,141,142,143,195,145,128,147,148,110,202,
111,205,153,122,113,210,212,158,115,216,218,188,163,118,224,120,228,179,169,232,171,235,173,227,175,
176,177,131,168,180,133,246,183,184,185,186,187,162,139,234,191,257,193,194,144,196,197,198,199,200,
201,150,203,204,152,206,261,208,209,156,280,157,213,214,215,160,286,161,288,220,221,222,223,165,295,
226,174,167,301,303,305,170,309,190,172,314,237,238,277,240,241,242,317,266,245,182,326,327,329,331,
251,252,253,254,255,256,192,340,259,260,207,262,263,346,265,244,267,268,269,270,353,272,273,274,275,
276,239,278,279,211,281,366,283,284,285,217,287,219,375,290,339,292,293,294,225,382,297,298,299,300,
229,389,230,392,231,395,397,308,233,400,311,403,313,236,408,410,243,394,414,320,417,386,323,324,325,
247,248,426,249,429,250,432,333,334,436,336,337,338,291,258,443,342,343,344,345,264,347,348,349,350,
351,352,271,457,355,356,357,358,359,448,361,362,363,364,467,282,470,368,369,370,371,372,373,374,289,
376,377,378,379,380,381,296,383,384,385,322,387,388,302,390,391,304,393,318,306,504,307,398,399,310,
511,512,312,404,405,406,407,315,519,316,523,525,413,319,529,458,321,534,522,420,464,422,423,424,541,
328,453,428,330,430,482,332,552,553,444,335,557,559,439,555,441,442,341,435,445,446,567,360,449,450,
571,452,427,454,455,456,354,416,459,577,461,462,463,421,465,466,365,586,584,367,471,472,593,474,475,
476,477,478,479,589,481,431,483,484,485,486,487,488,609,490,491,492,493,494,495,617,497,498,499,500,
501,502,503,396,505,506,629,508,509,510,401,402,637,514,639,516,517,518,409,646,521,419,411,651,412,
654,655,657,415,660,591,663,533,418,667,536,625,572,539,673,425,676,543,544,614,546,547,548,683,550,
551,433,434,689,440,556,437,695,438,698,561,562,563,564,565,703,447,706,569,570,451,538,573,714,575,
576,460,719,579,580,710,582,583,469,585,468,728,588,480,590,531,592,473,734,595,596,597,598,599,717,
601,602,603,604,605,606,607,608,489,732,611,612,613,545,615,616,496,754,619,620,621,622,745,624,537,
626,627,762,507,766,631,632,633,634,635,636,513,775,515,640,641,642,643,644,645,520,647,648,649,650,
524,652,653,526,527,797,528,658,659,530,804,662,532,664,665,666,535,811,813,796,815,739,540,819,675,
542,824,678,737,789,723,682,549,830,685,686,687,716,554,836,691,692,693,694,558,842,697,560,845,846,
848,850,566,854,705,568,858,853,861,581,711,865,866,574,868,688,600,718,578,873,721,722,681,724,725,
726,727,587,879,880,731,610,875,594,735,736,679,738,672,885,741,742,743,744,623,746,747,895,749,750,
751,752,753,618,903,756,757,758,759,760,761,628,912,764,910,630,767,768,918,770,771,772,773,774,638,
925,923,915,779,867,781,782,783,784,785,786,787,788,680,790,791,941,793,794,795,670,656,798,799,950,
801,802,803,661,956,806,958,808,809,810,668,965,669,814,671,970,917,973,674,977,979,822,823,677,892,
985,967,909,829,684,831,891,889,900,835,690,837,838,839,840,841,696,843,844,699,700,1003,701,1004,702,
1006,852,708,704,1011,856,857,707,1016,860,709,1018,863,864,712,713,780,715,1029,870,871,872,720,1024,733,
876,877,878,729,730,1041,882,883,1039,740,886,1032,1048,833,1031,832,825,994,894,748,1055,1021,898,1058,834,
901,902,755,1063,905,906,1053,908,828,765,911,763,1070,914,778,916,817,769,1075,920,921,922,777,924,776,
1083,927,1061,929,930,931,932,933,934,935,936,937,938,939,940,792,1095,943,944,945,946,947,948,1101,800,
1105,952,953,954,955,805,1113,807,959,960,961,962,963,964,812,966,827,1125,969,816,1129,1112,818,974,975,
976,820,1136,821,1139,981,982,983,1087,826,1144,1100,988,989,1086,1078,1093,993,893,995,996,997,998,999,1000,
1001,1002,847,849,1159,851,1161,1008,1009,1010,855,1047,1013,1014,1015,859,1172,862,1176,1163,897,1022,1023,874,1025,
1183,1027,1028,869,1187,890,887,1033,1034,1035,1036,1037,1038,884,1040,881,1199,1200,1202,1045,1046,1012,888,1049,1185,
1051,1209,907,1054,896,1214,1215,899,1217,1060,928,1062,904,1222,1065,1066,1067,1068,1069,913,1228,1229,1073,1224,919,
1076,1180,991,1079,1080,1081,1082,926,1243,1233,990,984,1088,1247,1090,1091,1092,992,1094,942,1255,1097,1098,1099,987,
949,1262,1103,1261,951,1106,1267,1108,1109,1110,1111,972,957,1275,1273,1265,1216,1118,1119,1120,1121,1122,1123,1124,968,
1288,1127,1128,971,1130,1131,1294,1133,1134,1135,978,1300,1138,980,1303,1141,1283,1143,986,1309,1287,1312,1148,1281,1270,
1151,1152,1153,1154,1155,1156,1157,1158,1005,1160,1007,1162,1020,1164,1165,1326,1167,1168,1169,1170,1171,1017,1334,1174,1175,
1019,1339,1333,1341,1077,1181,1182,1026,1346,1050,1186,1030,1350,1189,1190,1353,1192,1193,1194,1195,1196,1197,1198,1042,1043,
1361,1044,1365,1367,1205,1363,1207,1208,1052,1372,1323,1212,1213,1056,1057,1117,1059,1383,1219,1349,1221,1064,1378,1074,1225,
1226,1227,1071,1072,1396,1313,1394,1085,1234,1386,1402,1237,1238,1239,1240,1241,1242,1084,1408,1385,1246,1089,1411,1375,1250,
1414,1252,1253,1254,1096,1419,1257,1409,1259,1260,1104,1102,1426,1264,1116,1266,1107,1431,1269,1150,1271,1272,1115,1274,1114,
1439,1277,1417,1279,1280,1149,1282,1142,1284,1285,1286,1146,1126,1450,1290,1291,1292,1453,1132,1295,1296,1297,1298,1299,1137,
1301,1302,1140,1466,1305,1461,1465,1308,1145,1310,1311,1147,1231,1314,1459,1316,1317,1318,1319,1320,1321,1322,1211,1324,1325,
1166,1327,1370,1329,1330,1331,1332,1178,1173,1401,1336,1337,1338,1177,1340,1179,1495,1497,1478,1345,1184,1347,1348,1220,1188,
1505,1507,1191,1354,1355,1356,1357,1358,1359,1360,1201,1514,1206,1364,1203,1517,1204,1467,1369,1328,1522,1210,1526,1374,1249,
1530,1377,1223,1379,1535,1381,1382,1218,1384,1245,1235,1387,1388,1389,1390,1391,1392,1393,1232,1395,1230,1550,1398,1399,1400,
1335,1236,1403,1537,1405,1406,1407,1244,1258,1410,1248,1561,1562,1251,1564,1416,1278,1418,1256,1462,1421,1422,1423,1424,1425,
1263,1573,1574,1429,1570,1268,1432,1532,1434,1435,1436,1437,1438,1276,1587,1588,1578,1443,1444,1445,1446,1447,1448,1449,1289,
1598,1452,1293,1602,1601,1597,1563,1458,1315,1460,1306,1420,1508,1464,1307,1304,1368,1615,1469,1470,1471,1472,1621,1474,1475,
1476,1477,1344,1479,1613,1481,1482,1483,1484,1485,1486,1487,1630,1489,1490,1491,1492,1635,1494,1342,1639,1343,1641,1629,1500,
1501,1627,1503,1504,1351,1648,1352,1463,1558,1510,1511,1512,1513,1362,1515,1516,1366,1518,1660,1662,1655,1371,1665,1524,1525,
1373,1670,1622,1672,1376,1675,1433,1625,1534,1380,1680,1404,1538,1683,1617,1649,1686,1543,1544,1545,1546,1547,1548,1549,1397,
1693,1695,1674,1554,1555,1556,1557,1509,1559,1560,1412,1413,1457,1415,1710,1566,1647,1568,1705,1430,1571,1572,1427,1428,1720,
1652,1718,1442,1579,1610,1726,1582,1583,1584,1585,1586,1440,1441,1732,1712,1591,1592,1701,1594,1595,1596,1456,1451,1740,1600,
1455,1454,1746,1604,1605,1606,1607,1608,1609,1580,1688,1612,1480,1614,1468,1757,1540,1756,1619,1620,1473,1528,1623,1624,1533,
1626,1502,1628,1499,1488,1698,1632,1633,1634,1493,1725,1637,1638,1496,1640,1498,1775,1769,1777,1645,1767,1567,1506,1541,1650,
1651,1576,1653,1654,1521,1656,1657,1658,1659,1519,1786,1520,1789,1787,1523,1793,1667,1668,1669,1527,1671,1529,1801,1553,1531,
1805,1806,1678,1679,1536,1681,1764,1539,1684,1685,1542,1687,1611,1689,1690,1691,1692,1551,1820,1552,1822,1697,1631,1699,1700,
1593,1827,1703,1704,1569,1706,1831,1708,1709,1565,1813,1590,1713,1714,1715,1716,1717,1577,1719,1575,1841,1819,1723,1724,1636,
1581,1727,1834,1729,1730,1731,1589,1833,1848,1849,1736,1737,1738,1773,1599,1741,1829,1743,1744,1745,1603,1858,1859,1853,1750,
1751,1845,1753,1780,1755,1618,1616,1761,1759,1760,1758,1762,1763,1682,1765,1852,1646,1768,1643,1770,1771,1772,1739,1774,1642,
1776,1644,1778,1779,1754,1781,1782,1783,1784,1785,1661,1664,1788,1663,1790,1791,1792,1666,1892,1795,1796,1797,1798,1895,1800,
1673,1899,1803,1804,1676,1677,1904,1890,1809,1810,1811,1812,1711,1911,1815,1830,1817,1818,1722,1694,1821,1696,1916,1900,1825,
1868,1702,1922,1742,1816,1707,1927,1733,1728,1881,1929,1837,1838,1839,1840,1721,1842,1935,1844,1752,1846,1847,1734,1735,1942,
1882,1766,1749,1946,1855,1856,1857,1747,1748,1949,1861,1862,1948,1912,1883,1866,1867,1826,1919,1870,1871,1872,1873,1874,1937,
1876,1877,1878,1879,1925,1835,1851,1865,1884,1885,1886,1887,1888,1889,1808,1921,1794,1893,1894,1799,1966,1897,1898,1802,1824,
1901,1902,1903,1807,1973,1965,1974,1908,1964,1910,1814,1864,1913,1914,1915,1823,1981,1980,1869,1983,1891,1828,1986,1957,1880,
1926,1832,1928,1836,1953,1976,1932,1933,1934,1843,1978,1875,1938,1939,1940,1941,1850,1943,1944,1945,1854,1947,1863,1860,1951,
1950,1952,1930,1954,1992,1956,1924,1958,1959,1960,1961,1962,1963,1909,1906,1896,1967,1968,1969,1970,1991,1972,1905,1907,1975,
1931,1977,1936,1979,1918,1917,1982,1920,1984,1985,1923,1998,1988,1989,1997,1971,1955,1993,1994,1995,1996,1990,1987,1999,2000,
2001,2002]
,\[
2,5,1,7,10,3,12,4,15,18,6,20,21,8,25,9,27,30,11,33,34,13,36,14,39,
16,42,17,44,47,24,19,51,53,22,55,23,57,59,60,26,64,28,66,29,68,50,31,72,32,
75,76,79,35,81,37,83,38,85,86,40,88,41,92,43,95,45,97,46,99,48,101,49,103,71,
105,52,107,110,54,113,56,116,58,119,120,61,122,62,124,63,127,128,65,132,67,134,69,136,70,
139,73,141,74,143,77,145,78,147,150,80,153,156,157,82,161,162,84,126,167,87,169,89,171,90,
91,173,174,93,176,94,180,96,183,98,185,100,187,190,102,192,104,194,106,196,108,198,109,200,152,
203,111,206,112,208,211,144,114,214,115,219,220,117,222,118,226,229,121,231,123,234,125,179,237,129,
239,130,241,131,243,244,133,248,135,250,137,252,138,254,218,140,258,142,260,261,263,146,265,148,267,
149,269,271,151,273,275,154,276,155,278,217,255,158,282,159,284,160,287,289,207,163,291,164,293,165,
297,166,299,302,168,306,307,170,311,312,172,316,175,318,177,320,178,247,322,181,324,182,328,184,332,
186,334,188,336,189,191,338,341,193,213,343,195,345,197,347,199,349,201,351,202,354,204,356,205,358,
359,209,361,210,363,212,367,215,369,216,371,337,373,296,221,376,223,378,224,380,225,383,227,385,228,
387,304,390,230,393,396,264,232,398,233,402,404,235,406,236,411,238,413,240,416,242,419,245,421,246,
423,420,330,427,249,430,433,251,435,253,438,256,439,257,441,444,259,446,262,308,448,450,266,452,268,
454,270,456,458,272,460,274,290,462,277,463,279,465,280,281,442,471,283,473,285,475,286,477,288,478,
480,292,482,294,484,295,486,488,298,490,300,492,301,494,496,303,498,500,305,502,401,505,507,309,509,
310,513,353,360,313,515,314,517,315,521,524,317,527,528,319,531,532,321,536,323,537,325,539,326,327,
543,545,329,547,546,331,550,434,333,554,555,335,560,561,339,563,340,564,445,342,566,344,569,346,414,
348,572,350,574,352,565,576,374,355,578,357,405,580,362,582,364,584,365,366,589,591,368,594,370,596,
372,459,598,375,600,377,602,379,604,381,606,382,608,384,611,386,613,388,615,389,618,391,620,392,622,
394,624,395,626,457,397,630,399,632,400,634,636,520,403,640,407,642,408,644,409,647,410,649,526,652,
412,656,451,658,415,662,664,417,665,418,669,670,422,672,424,675,425,678,426,680,428,681,429,431,685,
432,686,688,690,691,436,693,437,697,699,553,440,701,702,443,704,610,447,708,449,710,712,453,715,455,
717,718,720,461,533,464,722,466,724,467,726,468,469,731,470,512,472,551,735,474,737,476,619,479,559,
481,740,483,541,485,743,487,705,745,489,747,491,749,493,751,495,753,739,497,755,499,757,501,758,503,
760,504,506,764,767,508,769,510,771,511,592,773,514,577,778,516,780,518,782,519,784,786,522,788,523,
790,792,525,793,795,661,798,800,529,802,530,805,617,581,807,534,809,535,677,814,538,817,818,540,821,
822,542,825,544,827,828,548,829,549,832,833,552,834,721,696,837,556,683,557,840,558,601,843,729,562,
849,851,852,855,567,856,568,860,570,863,571,713,573,682,869,575,871,687,872,835,579,673,583,623,585,
875,586,877,587,588,882,590,593,885,887,595,888,597,599,890,603,605,653,607,893,609,861,612,897,614,
899,616,901,902,904,621,725,906,625,908,627,910,628,719,629,915,917,631,919,633,921,635,768,637,923,
638,639,928,641,929,643,931,645,933,646,935,648,937,650,939,651,942,943,654,945,655,947,754,657,951,
659,952,660,954,812,663,959,666,961,667,963,668,966,968,969,671,972,974,975,674,980,981,676,982,984,
679,831,987,988,989,684,990,991,992,689,905,994,692,694,823,695,998,779,698,1000,830,700,741,1005,736,
1007,1008,703,1009,859,1012,706,1014,707,1017,896,709,1020,711,1022,1024,714,1027,870,716,1030,1031,1032,723,1033,
727,1035,728,1037,1039,730,1043,732,733,1046,734,850,1049,738,848,742,744,1051,746,1053,748,1056,750,1059,752,
873,1061,1062,1064,756,911,759,1066,761,1065,762,1068,763,765,1073,766,774,1028,1076,770,1077,772,1079,775,1081,
776,777,844,1085,781,815,783,801,785,1088,787,1090,789,1092,791,1094,892,1096,794,1097,796,1099,797,799,1103,
1106,1107,803,1109,804,1111,806,903,1116,808,1117,810,1119,811,1121,1123,813,971,1126,1127,816,1130,941,874,1132,
819,1134,820,1138,891,1140,1141,824,1142,1143,826,1146,1147,1148,1149,1150,847,836,853,838,839,841,944,842,960,
845,846,983,930,1042,920,926,995,1162,854,1164,1166,857,1168,858,1170,1173,1174,862,1178,864,1095,865,1181,866,
867,1139,868,1185,1188,1189,1190,1191,876,985,878,1133,879,1195,880,1197,881,1201,883,884,1205,886,979,1050,889,
1208,894,1211,895,916,1057,898,1182,1218,900,1220,1186,1221,1151,907,1101,909,1224,912,1226,913,914,1231,918,1233,
1235,1236,922,1238,924,1183,925,1241,927,1245,932,934,1209,936,1249,938,1251,940,1253,1254,1256,1257,946,1259,948,
1261,949,1063,950,1265,1087,1268,953,1269,955,1271,956,1273,957,958,1278,1279,962,1280,964,1282,965,1284,967,1286,
1289,1290,970,1291,1137,973,1295,976,1296,977,1298,978,1301,1302,1304,1305,1306,1307,1308,986,1311,1313,1314,1315,1244,
993,996,997,999,1001,1002,1003,1004,1118,1006,1108,1239,1010,1324,1011,1327,1013,1328,1015,1330,1016,1332,1177,1335,1018,
1337,1019,1340,1021,1023,1344,1025,1345,1026,1347,1029,1348,1071,1351,1352,1354,1034,1036,1038,1357,1040,1144,1041,1297,1316,
1362,1363,1044,1045,1368,1047,1048,1371,1248,1052,1374,1054,1055,1266,1378,1058,1381,1219,1060,1384,1385,1386,1067,1388,1069,
1390,1070,1392,1394,1072,1398,1074,1400,1075,1160,1403,1078,1323,1080,1082,1128,1083,1346,1084,1158,1086,1409,1089,1412,1091,
1415,1093,1222,1417,1418,1420,1364,1098,1422,1100,1387,1424,1102,1104,1429,1105,1382,1432,1433,1110,1167,1112,1435,1113,1437,
1114,1115,1155,1442,1341,1120,1336,1122,1445,1124,1447,1125,1449,1246,1451,1452,1129,1131,1255,1456,1457,1135,1458,1136,1460,
1462,1463,1464,1467,1468,1310,1469,1470,1471,1145,1184,1472,1200,1473,1204,1152,1153,1154,1156,1157,1159,1161,1163,1436,1165,
1353,1272,1480,1169,1482,1171,1484,1172,1486,1488,1175,1489,1176,1491,1493,1494,1179,1180,1499,1500,1501,1502,1192,1187,1503,
1506,1440,1312,1349,1193,1194,1509,1196,1198,1199,1512,1366,1421,1202,1515,1203,1309,1519,1206,1207,1523,1524,1210,1528,1212,
1213,1214,1533,1215,1216,1450,1217,1537,1539,1540,1541,1223,1542,1225,1497,1227,1544,1228,1546,1229,1548,1230,1551,1232,1466,
1234,1288,1404,1237,1240,1242,1243,1292,1558,1247,1479,1413,1250,1534,1565,1252,1567,1538,1568,1318,1258,1530,1260,1570,1262,
1571,1263,1264,1576,1267,1578,1580,1581,1270,1583,1274,1535,1275,1585,1276,1277,1590,1281,1283,1593,1285,1595,1287,1419,1597,
1599,1600,1601,1293,1294,1508,1605,1606,1299,1608,1300,1610,1611,1612,1303,1614,1317,1616,1617,1618,1619,1620,1622,1319,1320,
1321,1322,1325,1326,1626,1329,1453,1331,1358,1333,1628,1334,1592,1631,1338,1633,1339,1496,1636,1637,1342,1640,1343,1643,1644,
1645,1646,1389,1350,1355,1397,1481,1356,1485,1359,1360,1405,1361,1653,1655,1365,1657,1367,1661,1369,1370,1623,1527,1666,1372,
1668,1373,1671,1375,1674,1376,1377,1678,1379,1679,1380,1682,1383,1427,1684,1685,1687,1391,1425,1393,1689,1395,1641,1396,1691,
1694,1399,1401,1402,1406,1407,1408,1621,1410,1411,1703,1705,1414,1708,1566,1416,1711,1712,1423,1714,1715,1426,1716,1718,1428,
1722,1430,1724,1431,1477,1727,1434,1625,1438,1638,1439,1632,1680,1441,1476,1443,1444,1734,1446,1736,1448,1738,1709,1741,1742,
1743,1744,1454,1455,1749,1672,1459,1667,1461,1752,1696,1710,1465,1754,1755,1758,1505,1759,1760,1761,1762,1522,1474,1475,1478,
1763,1483,1547,1487,1686,1766,1490,1719,1492,1768,1733,1770,1495,1771,1773,1774,1498,1681,1652,1778,1589,1504,1543,1507,1510,
1511,1513,1584,1514,1782,1516,1745,1517,1518,1555,1663,1787,1520,1521,1791,1794,1525,1795,1526,1797,1799,1800,1529,1713,1803,
1531,1532,1808,1809,1810,1536,1811,1812,1814,1747,1777,1647,1545,1816,1549,1572,1550,1650,1676,1775,1552,1553,1554,1556,1557,
1559,1560,1630,1561,1830,1562,1563,1833,1564,1834,1776,1835,1569,1836,1806,1837,1573,1838,1574,1839,1575,1842,1577,1740,1579,
1725,1728,1582,1586,1587,1588,1772,1591,1735,1594,1827,1596,1851,1598,1853,1660,1854,1855,1831,1602,1856,1603,1604,1780,1607,
1609,1863,1613,1864,1706,1615,1866,1624,1819,1868,1869,1870,1649,1627,1629,1871,1634,1873,1635,1875,1876,1639,1877,1878,1879,
1642,1867,1880,1648,1651,1654,1883,1656,1658,1659,1729,1887,1662,1857,1664,1699,1665,1753,1862,1859,1669,1846,1670,1802,1896,
1897,1673,1900,1675,1901,1903,1677,1906,1907,1908,1909,1783,1683,1721,1688,1765,1690,1692,1693,1817,1695,1717,1697,1698,1700,
1701,1921,1702,1704,1925,1926,1707,1929,1930,1931,1815,1804,1932,1904,1720,1933,1905,1723,1726,1730,1731,1732,1940,1942,1737,
1936,1739,1945,1947,1764,1898,1746,1893,1927,1748,1750,1751,1790,1917,1756,1951,1757,1952,1923,1849,1938,1767,1888,1769,1955,
1956,1881,1957,1958,1890,1779,1781,1959,1784,1785,1786,1961,1788,1789,1792,1793,1865,1796,1798,1885,1950,1967,1801,1968,1970,
1840,1805,1971,1972,1807,1928,1882,1975,1860,1813,1884,1818,1820,1821,1822,1980,1823,1824,1825,1826,1943,1984,1828,1829,1941,
1988,1989,1832,1974,1990,1982,1953,1902,1841,1973,1843,1844,1845,1847,1892,1848,1920,1850,1852,1992,1966,1919,1858,1969,1861,
1987,1965,1872,1874,1960,1916,1995,1985,1910,1886,1983,1889,1891,1894,1895,1944,1935,1914,1899,1998,1977,1999,1996,1993,1997,
1911,1912,1913,1915,2000,1934,1918,1954,1949,1922,1939,1924,1976,2002,1963,1937,1991,1946,1948,1978,1962,1964,1979,1981,2001,
1986,1994]
>;
print "Group G is S14 < Sym(2002)";