/*
www-ATLAS of Group Representations.
3.U6(2) represented as permutations on 2016 points.
*/

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