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

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