/*
www-ATLAS of Group Representations.
TF4(2)'.2 represented as permutations on 1755 points.
*/

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