/*
www-ATLAS of Group Representations.
2.L2(7).2i represented as permutations on 672 points.
*/

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