/* www-ATLAS of Group Representations. A11 represented as permutations on 462 points. */ G:=PermutationGroup<462|\[ 1,4,3,6,10,2,7,16,14,12,22,5,8,18,29,13,34,9,28,39,33,24,44,11,20, 21,17,38,30,15,53,32,26,27,59,36,37,19,25,67,49,71,66,45,23,42,43,40,69,35, 83,51,54,31,55,89,57,58,50,96,97,62,63,64,65,47,48,107,41,81,46,115,93,118,114, 74,75,72,73,68,111,60,52,91,129,84,85,88,90,56,86,92,79,94,95,82,99,144,61,112, 101,150,103,104,105,106,80,159,135,110,70,126,113,77,78,168,124,76,173,156,119,120,116,170,108, 100,127,131,87,183,181,130,109,187,133,134,137,188,139,140,141,142,193,146,197,98,143,202,204,151, 102,209,153,213,155,122,157,158,125,160,161,162,163,164,165,166,167,123,178,117,179,172,121,176,191, 234,175,221,230,185,128,182,132,241,222,184,136,189,138,249,177,192,147,255,257,254,198,145,195,196, 194,203,148,206,267,149,212,207,210,152,273,208,214,154,271,279,217,283,219,286,169,180,291,294,225, 298,301,247,229,171,275,307,236,174,237,310,312,238,239,240,186,316,242,244,228,318,245,246,250,190, 321,252,253,200,201,325,199,328,329,327,259,260,258,256,332,265,268,205,215,340,269,270,274,211,277, 349,231,276,281,353,216,355,285,358,218,288,363,220,366,290,292,223,369,296,373,224,365,300,378,226, 302,227,351,304,305,306,309,338,232,233,339,235,313,314,315,243,352,248,394,319,322,251,323,324,264, 326,262,263,261,403,330,266,411,333,412,308,335,336,342,272,414,311,341,413,418,344,345,303,278,317, 348,350,354,280,356,282,387,360,421,284,357,297,364,287,362,367,289,430,370,293,434,375,374,295,436, 439,382,380,416,299,376,440,441,383,385,397,361,444,388,390,391,400,438,320,395,386,396,392,447,398, 399,402,331,404,405,406,407,408,409,410,334,337,346,343,379,415,449,347,359,417,419,445,422,426,456, 448,425,457,428,431,368,451,432,435,371,372,393,437,381,377,384,446,442,389,423,443,401,424,420,450, 433,452,453,454,455,427,429,462,458,460,461,459] ,\[ 2,5,1,8,11,13,3,17,4,20,23,25,27,6,7,32,35,36,9,40,10,42,31,46,48, 12,50,14,19,28,15,55,16,57,60,61,18,63,65,68,21,72,22,74,76,78,24,80,26,82, 29,30,84,86,88,33,92,34,94,51,98,37,101,38,103,39,105,108,109,41,113,116,43,119,44, 121,45,123,47,125,49,52,91,128,53,131,54,127,133,135,56,137,58,139,59,141,143,145,147,62, 149,64,153,66,155,67,157,112,160,69,162,70,164,71,166,169,73,172,174,75,176,77,178,79,126, 81,83,180,118,85,185,87,99,89,97,90,159,93,168,95,173,96,194,195,148,199,201,100,205,136, 134,102,212,104,216,106,218,107,190,220,110,222,111,224,114,226,115,227,171,228,117,231,232,233,120, 236,122,179,124,204,238,129,167,130,206,132,181,245,247,138,140,142,253,256,258,144,259,261,263,146, 264,250,249,242,211,243,150,151,269,271,152,215,275,277,154,280,156,284,158,287,161,290,163,295,165, 299,251,303,170,305,254,308,235,304,175,237,177,313,182,183,219,184,186,187,200,188,196,189,319,320, 191,192,239,193,323,207,326,281,285,197,283,198,279,208,202,203,335,337,339,209,342,210,344,346,348, 213,351,214,292,282,291,217,357,359,361,362,289,365,221,368,248,246,223,350,297,352,225,376,379,381, 383,384,385,229,386,230,388,316,389,390,234,392,312,240,241,252,244,394,396,397,398,400,402,255,404, 406,257,408,410,260,262,329,265,266,333,267,334,268,309,413,270,307,272,417,273,420,274,288,311,276, 286,278,422,423,424,426,399,428,315,429,401,375,382,377,372,302,301,371,354,353,293,294,364,363,296, 425,298,435,314,434,427,300,442,443,349,444,306,431,430,446,310,393,317,391,318,338,336,331,321,330, 322,332,324,449,325,340,327,451,328,448,409,450,453,452,341,343,366,412,345,367,347,358,360,437,355, 438,356,378,380,415,416,369,370,458,459,407,373,374,395,455,460,421,419,461,387,457,441,403,440,405, 462,411,436,414,418,445,439,432,433,447,456,454] >; print "Group G is A11 < Sym(462)";