/*
www-ATLAS of Group Representations.
G2(4) represented as permutations on 2016 points.
*/

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