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