/*
www-ATLAS of Group Representations.
Co3 represented as permutations on 276 points.
*/

G<x,y>:=PermutationGroup<276|\[
245,42,112,15,131,7,188,75,132,10,11,187,186,265,22,159,256,43,101,123,134,4,32,209,238,
35,45,235,126,5,19,60,66,80,154,251,117,206,71,118,93,87,167,271,221,261,182,155,47,230,
172,236,109,191,76,156,73,116,147,23,127,231,38,53,122,210,24,68,86,255,196,139,149,21,111,
203,252,72,262,114,214,9,181,174,85,95,2,250,257,243,90,158,170,148,69,105,249,263,16,54,
31,115,51,104,125,219,92,46,64,204,8,266,225,34,175,145,161,180,237,241,224,169,269,12,96,
129,189,190,29,17,30,82,143,74,168,13,227,217,78,258,220,178,228,146,58,254,273,215,57,106,
77,110,50,26,248,260,274,107,99,253,37,25,272,44,52,119,18,201,65,41,233,103,246,200,102,
160,198,207,157,40,223,49,267,79,1,136,124,6,61,268,100,70,98,171,121,39,62,211,208,84,
135,97,55,152,141,63,142,259,67,33,177,173,14,242,94,113,240,264,150,205,27,183,83,195,216,
163,247,133,36,153,197,140,194,120,270,165,166,162,218,138,234,81,91,89,185,212,137,48,202,276,
229,151,176,144,192,130,244,232,199,56,108,184,193,239,213,3,222,128,20,28,164,226,59,179,275,
88]
,\[
204,203,33,236,5,172,77,76,47,146,133,224,229,53,84,16,223,228,130,131,252,190,13,263,242,
10,32,196,199,65,246,209,40,99,241,198,269,251,75,118,176,271,183,116,197,238,22,29,178,26,
174,129,2,153,272,257,41,12,59,20,27,175,106,159,218,259,137,258,261,164,262,189,45,177,260,
85,25,15,226,96,24,1,274,148,264,132,48,117,36,60,171,201,101,253,95,120,142,213,165,51,
115,44,103,167,243,66,141,108,88,97,276,30,139,222,166,173,231,3,73,239,56,170,82,162,163,
207,145,128,52,104,90,216,220,155,74,237,28,4,113,273,230,270,248,180,206,50,250,78,127,150,
54,232,217,121,69,156,6,125,210,86,89,46,184,211,265,93,19,138,23,126,43,188,102,244,219,
192,256,83,58,144,181,187,91,158,205,235,147,157,114,9,152,57,39,64,143,67,119,161,87,200,
111,79,14,123,21,149,122,191,61,194,266,225,31,81,62,160,151,112,215,254,234,72,17,179,105,
267,227,18,169,249,109,208,275,68,233,168,55,124,80,240,35,7,212,100,245,98,195,247,107,182,
42,185,94,11,255,135,154,221,63,193,134,71,214,8,34,70,202,268,37,110,38,136,140,49,186,
92]
>;
print "Group G is Co3 < Sym(276)";