/*
www-ATLAS of Group Representations.
L3(5):2 represented as permutations on 775 points.
*/

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