/* www-ATLAS of Group Representations. U3(7) represented as permutations on 1376 points. */ G:=PermutationGroup<1376|\[ 1,4,5,2,3,10,11,12,13,6,7,8,9,22,23,24,25,26,27,28,29,14,15,16,17, 18,19,20,21,46,47,48,49,50,35,51,52,53,54,40,55,56,57,58,59,30,31,32,33,34, 36,37,38,39,41,42,43,44,45,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100, 101,102,103,104,105,106,107,108,109,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75, 76,77,78,79,80,81,82,83,84,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169, 170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194, 195,196,197,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131, 132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,259,260,261, 262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,220,281,282,283,284,285, 286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,241,301,302,303,304,305,306,307,308,309, 310,311,312,313,314,315,316,317,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214, 215,216,217,218,219,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240, 242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,368,412,413,414,322,415,416,417, 418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442, 372,443,444,445,386,357,356,371,446,447,448,449,378,450,451,452,453,318,454,455,358,351,411,456,457, 458,459,363,460,461,462,463,464,465,466,355,467,468,469,470,471,472,473,474,475,476,477,478,399,479, 480,481,482,483,484,485,486,487,488,489,373,319,320,321,323,324,325,326,327,328,329,330,331,332,333, 334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,352,353,354,359,360,361,362,364, 365,366,367,369,370,374,375,376,377,379,380,381,382,383,384,385,387,388,389,390,391,392,393,394,395, 396,397,398,400,401,402,403,404,405,406,407,408,409,410,613,614,525,615,616,617,618,497,619,543,620, 621,622,528,623,624,625,626,627,604,628,511,629,630,631,632,633,634,635,636,637,638,639,640,641,492, 642,643,503,644,645,646,647,648,649,650,536,560,651,652,653,654,655,499,656,657,563,658,659,660,661, 568,662,663,575,664,665,666,667,668,537,669,670,546,671,672,673,674,551,675,676,585,677,678,679,554, 680,681,578,682,683,684,685,686,687,571,688,689,602,690,691,692,693,694,695,696,697,698,699,700,701, 702,588,703,509,704,606,705,706,707,708,709,710,490,491,493,494,495,496,498,500,501,502,504,505,506, 507,508,510,512,513,514,515,516,517,518,519,520,521,522,523,524,526,527,529,530,531,532,533,534,535, 538,539,540,541,542,544,545,547,548,549,550,552,553,555,556,557,558,559,561,562,564,565,566,567,569, 570,572,573,574,576,577,579,580,581,582,583,584,586,587,589,590,591,592,593,594,595,596,597,598,599, 600,601,603,605,607,608,609,610,611,612,847,782,848,787,849,752,819,850,851,852,853,854,855,856,857, 858,859,802,860,861,801,862,863,864,865,866,829,867,827,821,789,868,869,826,870,842,871,872,873,874, 875,716,876,877,878,845,879,825,880,881,882,762,883,884,885,793,886,887,888,770,889,835,773,832,890, 891,892,893,894,895,896,712,897,898,899,900,714,901,741,902,903,904,766,905,906,907,908,909,910,911, 731,728,912,804,913,914,915,916,917,918,919,920,921,922,923,924,925,843,717,926,740,927,928,929,758, 744,739,930,737,931,932,774,933,934,772,935,936,937,938,939,940,746,818,941,756,942,711,713,715,718, 719,720,721,722,723,724,725,726,727,729,730,732,733,734,735,736,738,742,743,745,747,748,749,750,751, 753,754,755,757,759,760,761,763,764,765,767,768,769,771,775,776,777,778,779,780,781,783,784,785,786, 788,790,791,792,794,795,796,797,798,799,800,803,805,806,807,808,809,810,811,812,813,814,815,816,817, 820,822,823,824,828,830,831,833,834,836,837,838,839,840,841,844,846,1057,1076,945,989,1077,1078,1079,1080, 1081,1003,1082,1083,1084,1085,1005,1011,1086,1032,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1021,1100, 1073,1001,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,946,1061,991,1023,1012,1112,1113,1114,1115,1116,1117,1118, 977,1119,952,1120,957,1121,1007,1122,1123,1124,958,993,1125,1126,1127,1128,1129,1130,1131,1020,974,1031,992,1132,1133, 1134,1051,1135,1136,1137,1022,960,1138,1139,1140,1036,1141,1046,1142,1143,1144,1145,1056,1146,1147,1038,1148,1149,1150,1151, 1027,1074,1152,1153,1154,1043,943,1155,1156,1157,990,1158,1159,1160,1161,1162,1163,1164,1165,1166,1167,1168,976,1052,1075, 944,947,948,949,950,951,953,954,955,956,959,961,962,963,964,965,966,967,968,969,970,971,972,973,975, 978,979,980,981,982,983,984,985,986,987,988,994,995,996,997,998,999,1000,1002,1004,1006,1008,1009,1010,1013, 1014,1015,1016,1017,1018,1019,1024,1025,1026,1028,1029,1030,1033,1034,1035,1037,1039,1040,1041,1042,1044,1045,1047,1048,1049, 1050,1053,1054,1055,1058,1059,1060,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1234,1264,1178,1172,1265,1266,1228, 1176,1220,1171,1201,1267,1268,1269,1192,1222,1236,1270,1191,1271,1272,1273,1187,1183,1274,1212,1275,1276,1213,1251,1277,1278, 1179,1243,1233,1208,1279,1280,1281,1204,1282,1283,1211,1194,1197,1284,1224,1285,1286,1287,1288,1177,1257,1184,1289,1215,1239, 1226,1290,1175,1291,1238,1292,1232,1203,1169,1293,1185,1253,1230,1225,1294,1295,1296,1202,1297,1298,1254,1247,1299,1300,1301, 1198,1263,1237,1246,1302,1303,1221,1304,1305,1306,1307,1262,1252,1170,1173,1174,1180,1181,1182,1186,1188,1189,1190,1193,1195, 1196,1199,1200,1205,1206,1207,1209,1210,1214,1216,1217,1218,1219,1223,1227,1229,1231,1235,1240,1241,1242,1244,1245,1248,1249, 1250,1255,1256,1258,1259,1260,1261,1350,1348,1351,1335,1336,1352,1326,1323,1353,1349,1347,1345,1331,1346,1322,1315,1341,1328, 1314,1354,1325,1355,1356,1320,1333,1332,1334,1311,1312,1357,1338,1340,1339,1324,1358,1359,1360,1319,1321,1318,1309,1317,1308, 1310,1313,1316,1327,1329,1330,1337,1342,1343,1344,1367,1371,1372,1368,1373,1369,1361,1364,1366,1374,1362,1363,1365,1370,1376, 1375] ,\[ 2,3,1,6,8,7,4,9,5,14,16,18,20,15,10,17,11,19,12,21,13,30,32,34,36, 38,40,42,44,31,22,33,23,35,24,37,25,39,26,41,27,43,28,45,29,60,62,64,65,67, 69,71,73,75,77,79,48,81,83,61,46,63,47,57,66,49,68,50,70,51,72,52,74,53,76, 54,78,55,80,56,82,58,84,59,110,112,114,115,117,119,121,123,125,127,87,129,131,133,135,137, 138,140,142,144,146,148,100,150,152,111,85,113,86,95,116,88,118,89,120,90,122,91,124,92,126, 93,128,94,130,96,132,97,134,98,136,99,107,139,101,141,102,143,103,145,104,147,105,149,106,151, 108,153,109,198,200,202,203,205,207,209,211,178,213,156,215,216,218,220,222,223,224,226,228,169,161, 230,165,212,231,232,234,236,238,170,179,240,242,244,176,246,247,249,251,253,190,255,257,199,154,201, 155,164,204,157,206,158,208,159,210,160,175,162,214,163,177,217,166,219,167,221,168,174,184,225,171, 227,172,229,173,189,185,233,180,235,181,237,182,239,183,241,186,243,187,245,188,195,248,191,250,192, 252,193,254,194,256,196,258,197,318,320,322,323,325,327,329,306,332,333,261,335,337,286,340,341,295, 344,346,347,349,351,353,355,357,359,361,339,363,365,367,369,371,373,375,277,343,377,273,379,381,383, 385,387,389,267,391,331,393,395,397,399,400,402,404,406,310,408,410,319,259,321,260,269,324,262,326, 263,328,264,330,265,266,304,334,268,336,270,338,271,272,297,342,274,275,345,276,294,348,278,350,279, 352,280,354,281,356,282,358,283,360,284,362,285,364,287,366,288,368,289,370,290,372,291,374,292,376, 293,378,296,380,298,382,299,384,300,386,301,388,302,390,303,392,305,394,307,396,308,398,309,315,401, 311,403,312,405,313,407,314,409,316,411,317,490,492,493,495,497,499,501,503,413,505,507,448,510,480, 512,514,424,516,518,520,522,524,526,528,529,530,477,533,535,537,538,441,540,542,544,546,509,548,550, 552,554,556,557,453,436,559,561,563,565,435,567,569,571,573,575,576,466,578,580,582,584,586,588,590, 592,532,594,596,511,598,600,602,603,605,607,609,483,611,491,412,420,494,414,496,415,498,416,500,417, 502,418,504,419,506,421,508,422,423,428,425,513,426,515,427,517,429,519,430,521,431,523,432,525,433, 527,434,461,456,531,437,438,534,439,536,440,443,539,442,541,444,543,445,545,446,547,447,549,449,551, 450,553,451,555,452,455,558,454,560,457,562,458,564,459,566,460,568,462,570,463,572,464,574,465,468, 577,467,579,469,581,470,583,471,585,472,587,473,589,474,591,475,593,476,595,478,597,479,599,481,601, 482,488,604,484,606,485,608,486,610,487,612,489,711,712,713,715,717,613,719,642,722,723,725,702,621, 728,730,732,734,735,737,739,741,629,743,745,747,748,750,637,752,721,754,756,673,758,760,675,645,763, 765,766,767,651,769,771,684,774,667,776,778,780,782,784,786,788,683,790,792,794,796,798,649,800,762, 802,804,806,807,614,678,809,659,773,811,701,814,815,687,817,819,821,823,824,826,828,830,693,832,834, 813,727,836,838,840,841,843,845,652,705,618,680,714,615,716,616,718,617,720,619,620,625,724,622,726, 623,624,729,626,731,627,733,628,634,736,630,738,631,740,632,742,633,744,635,746,636,640,749,638,751, 639,753,641,755,643,757,644,759,646,761,647,648,764,650,654,709,768,653,770,655,772,656,657,775,658, 777,660,779,661,781,662,783,663,785,664,787,665,789,666,791,668,793,669,795,670,797,671,799,672,801, 674,803,676,805,677,681,808,679,810,682,812,685,686,689,816,688,818,690,820,691,822,692,698,825,694, 827,695,829,696,831,697,833,699,835,700,837,703,839,704,710,842,706,844,707,846,708,943,945,849,947, 948,950,952,954,956,958,959,960,961,857,963,965,917,968,970,866,971,973,975,977,979,981,982,984,907, 987,876,988,990,992,994,995,997,881,999,1001,1003,1004,1006,1008,1010,1012,1014,872,887,1016,1017,1018,897,1020, 1022,1024,1025,902,850,1027,986,1028,1030,1032,1034,1036,1038,1040,906,1042,967,1044,858,1046,1048,1050,1052,1054,924, 1055,1057,1059,1061,1063,931,865,1065,1067,856,934,1068,1070,1072,896,941,1074,944,847,946,848,905,949,851,951, 852,953,853,955,854,957,855,935,860,919,962,859,964,861,966,862,863,969,864,932,972,867,974,868,976, 869,978,870,980,871,894,983,873,985,874,875,877,989,878,991,879,993,880,884,996,882,998,883,1000,885, 1002,886,895,1005,888,1007,889,1009,890,1011,891,1013,892,1015,893,940,899,1019,898,1021,900,1023,901,904,1026, 903,915,1029,908,1031,909,1033,910,1035,911,1037,912,1039,913,1041,914,1043,916,1045,918,1047,920,1049,921,1051, 922,1053,923,925,1056,926,1058,927,1060,928,1062,929,1064,930,1066,933,936,1069,937,1071,938,1073,939,1075,942, 1143,1133,1134,1077,1171,1173,1123,1176,1177,1179,1181,1183,1161,1185,1087,1187,1097,1190,1192,1096,1156,1189,1100,1194,1193, 1099,1108,1196,1197,1103,1142,1200,1195,1201,1110,1203,1204,1206,1207,1209,1211,1213,1168,1216,1107,1218,1111,1175,1220,1222, 1223,1225,1166,1227,1167,1128,1230,1079,1170,1232,1234,1094,1236,1151,1239,1240,1199,1169,1242,1244,1246,1248,1250,1252,1083, 1238,1140,1153,1254,1159,1095,1125,1154,1255,1113,1184,1256,1258,1260,1262,1131,1229,1215,1076,1078,1172,1080,1174,1081,1082, 1150,1178,1084,1180,1085,1182,1086,1090,1088,1186,1089,1188,1091,1092,1191,1093,1137,1098,1101,1102,1105,1198,1104,1106,1120, 1202,1109,1122,1205,1112,1160,1208,1114,1210,1115,1212,1116,1214,1117,1118,1217,1119,1219,1121,1221,1124,1157,1224,1126,1226, 1127,1228,1129,1130,1231,1132,1233,1135,1235,1136,1237,1138,1139,1152,1241,1141,1243,1144,1245,1145,1247,1146,1249,1147,1251, 1148,1253,1149,1158,1155,1257,1162,1259,1163,1261,1164,1263,1165,1308,1307,1311,1304,1314,1301,1292,1318,1320,1288,1272,1275, 1276,1278,1322,1323,1302,1325,1327,1328,1285,1330,1282,1331,1321,1333,1303,1336,1317,1338,1279,1340,1342,1343,1296,1344,1297, 1316,1324,1335,1313,1346,1348,1310,1309,1264,1265,1312,1266,1267,1315,1268,1269,1270,1319,1271,1274,1273,1277,1294,1280,1326, 1281,1286,1329,1283,1284,1332,1287,1334,1289,1290,1337,1291,1339,1293,1341,1295,1298,1300,1345,1299,1347,1305,1349,1306,1357, 1350,1361,1363,1365,1354,1366,1351,1368,1360,1370,1362,1352,1364,1353,1355,1367,1356,1369,1358,1359,1374,1376,1372,1375,1371, 1373] >; print "Group G is U3(7) < Sym(1376)";