/*
www-ATLAS of Group Representations.
U4(5) represented as permutations on 756 points.
*/

G<x,y>:=PermutationGroup<756|\[
239,503,106,141,532,242,649,209,670,642,736,192,604,61,500,318,658,367,514,36,140,41,216,327,546,
227,241,441,597,474,42,520,665,332,231,20,585,338,305,706,22,31,631,529,568,543,53,708,49,638,
602,52,47,254,475,426,250,530,468,733,14,289,152,756,381,432,127,481,336,522,641,563,261,273,283,
425,666,407,79,80,712,252,87,545,551,581,83,718,348,128,483,542,609,223,262,96,436,482,619,636,
461,229,230,104,490,3,595,721,435,626,450,298,118,672,512,153,466,113,365,693,491,547,654,263,704,
694,67,90,392,414,134,419,232,131,443,725,454,664,506,21,4,727,549,513,467,299,594,288,345,625,
526,63,116,644,371,517,472,537,228,523,205,600,648,608,702,752,675,738,679,170,177,172,518,346,643,
311,171,668,478,363,703,484,304,423,525,302,410,558,601,190,442,12,320,713,221,208,470,662,571,651,
647,433,385,744,161,566,459,196,8,372,293,445,301,448,388,23,493,295,750,730,195,497,94,586,341,
735,26,159,102,103,35,133,243,723,661,356,492,265,1,749,27,6,233,308,390,544,541,504,343,57,
515,82,535,54,394,637,584,678,401,314,73,95,124,330,238,266,632,364,284,659,280,645,74,655,337,
560,277,589,728,271,519,405,75,269,285,463,507,148,62,352,351,591,211,412,218,697,747,112,146,540,
213,186,716,183,39,313,567,244,473,399,176,676,306,260,315,598,317,16,686,193,630,369,508,499,452,
700,24,755,743,264,460,34,495,480,444,69,275,38,354,548,225,561,249,615,149,174,476,89,582,556,
291,290,731,339,402,236,573,746,489,498,610,696,180,268,119,667,18,536,322,370,155,210,382,374,741,
710,429,701,384,538,65,373,533,379,203,386,627,215,739,245,505,129,446,255,471,690,534,421,310,599,
259,355,403,462,282,612,78,656,409,187,623,294,413,130,605,742,669,527,132,674,398,751,184,650,76,
56,737,614,377,692,456,66,202,565,109,97,726,633,451,477,28,191,135,335,212,393,714,214,740,111,
439,325,681,137,628,431,524,564,207,331,101,404,286,592,745,117,145,59,673,197,395,157,309,30,55,
347,440,179,479,334,68,98,91,182,705,616,603,754,359,105,121,237,217,683,333,691,222,360,324,15,
593,677,2,248,391,139,287,323,509,617,671,115,144,19,251,516,156,173,281,32,521,70,160,457,185,
151,418,606,44,58,554,5,383,397,253,368,158,380,577,300,247,92,46,246,84,25,122,340,143,575,
85,620,587,531,613,350,640,188,682,276,342,657,72,458,434,206,307,45,646,748,199,722,357,574,550,
660,539,724,687,732,86,349,583,257,37,224,553,729,278,621,292,464,501,147,107,629,29,316,400,162,
189,51,487,13,415,528,607,164,93,361,639,406,555,428,344,486,510,652,99,552,590,753,411,624,150,
110,387,455,596,321,43,267,438,707,653,100,256,50,611,557,71,10,175,154,272,569,201,163,7,424,
200,618,635,123,274,408,562,17,270,576,235,198,699,138,33,77,366,178,417,9,511,114,469,420,167,
312,502,258,169,684,453,559,494,680,685,319,579,688,734,396,496,430,120,126,717,362,296,698,663,326,
378,165,181,125,485,40,634,48,709,376,711,81,194,447,715,303,695,88,719,720,108,572,234,578,136,
437,142,279,588,220,353,580,60,689,226,11,427,168,389,449,375,416,329,204,465,358,297,570,240,219,
422,166,622,488,328,64]
,\[
338,420,368,38,262,540,578,301,150,493,90,487,20,364,15,325,500,589,523,213,110,207,618,198,287,
407,218,386,381,711,336,95,61,452,286,36,23,692,657,283,667,102,75,570,724,489,100,315,138,430,
529,244,499,88,14,369,642,65,519,749,240,423,674,638,626,92,10,652,196,184,689,217,431,388,721,
281,542,370,608,456,720,164,295,104,603,350,9,536,625,320,748,324,185,233,418,69,636,507,160,442,
174,300,50,208,237,134,468,215,296,463,459,93,216,292,193,322,556,697,644,128,346,664,706,78,268,
341,474,158,83,562,308,718,108,229,225,366,44,591,527,492,278,191,40,359,734,525,537,30,131,154,
609,662,59,87,243,670,754,690,255,358,728,13,349,569,707,345,251,79,412,204,384,727,614,89,436,
86,335,756,696,465,181,555,561,502,482,289,656,354,682,612,539,306,403,103,704,405,475,24,49,437,
681,147,247,167,242,751,203,304,209,66,211,741,162,81,340,365,51,454,390,43,378,282,630,151,457,
226,130,98,513,230,32,367,392,750,639,532,647,248,68,582,342,222,538,109,643,666,22,5,580,545,
170,470,466,615,159,659,257,592,305,548,416,238,448,317,47,377,435,294,506,307,680,686,137,736,376,
28,631,737,496,56,568,205,709,673,149,552,53,311,524,425,148,655,669,577,356,52,334,505,528,653,
422,177,678,84,497,566,648,285,272,411,91,672,309,55,266,348,460,613,510,330,491,279,740,210,560,
746,12,105,280,11,17,232,58,503,434,31,234,624,254,133,152,389,161,444,397,583,114,628,467,410,
123,327,714,658,142,129,16,543,312,111,168,382,634,314,450,521,522,509,329,660,2,261,600,139,73,
597,48,725,483,8,200,26,677,353,732,547,57,178,421,80,187,417,227,107,60,395,579,671,175,607,
343,488,508,730,96,755,362,297,428,176,236,461,516,414,270,553,94,231,684,650,241,380,424,557,479,
484,221,246,574,194,708,391,533,302,486,439,29,518,399,554,202,265,206,344,473,97,82,453,195,113,
426,7,651,632,293,219,722,277,462,694,572,360,744,443,480,679,593,729,223,117,192,122,77,250,440,
601,331,35,586,735,235,112,588,635,546,564,352,512,39,584,258,179,703,118,530,116,752,490,25,477,
119,719,408,253,406,373,620,115,738,693,64,633,106,455,726,616,733,201,541,337,551,332,398,599,146,
256,619,701,72,6,481,310,598,498,1,606,441,742,355,495,153,445,99,275,127,675,276,400,413,472,
136,478,372,197,698,252,62,501,45,357,385,393,585,267,526,471,661,663,447,273,717,169,621,303,188,
688,125,34,166,641,581,33,712,534,649,290,379,587,156,239,199,321,163,594,710,339,544,702,186,269,
41,602,165,705,695,54,260,361,745,351,713,691,676,63,596,549,299,629,374,228,573,623,622,535,101,
333,190,699,37,685,743,27,402,274,451,645,511,637,531,716,753,687,640,558,446,559,328,415,654,371,
263,590,42,563,347,432,46,575,565,124,172,126,76,550,214,409,476,318,514,18,19,144,604,173,715,
668,132,429,504,605,438,419,182,189,469,313,387,212,326,120,627,700,731,264,271,140,739,683,316,4,
617,433,67,723,284,610,85,375,143,404,291,121,157,171,485,245,571,383,70,665,220,135,449,646,427,
515,567,401,394,595,319,183,517,145,180,363,747,3,494,323,576,155,458,21,224,71,141,288,396,520,
464,259,249,611,298,74]
>;
print "Group G is U4(5) < Sym(756)";