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