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