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