/*
www-ATLAS of Group Representations.
U5(2):2 represented as permutations on 1408 points.
*/

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