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