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