/*
www-ATLAS of Group Representations.
2.A8 represented as 64 x 64 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010",
"1233343403114424312340331141401324222130113123201423010244320014",
"1044010421213202041124130314423332144200241302102430004144123011",
"0330122324404424343214440232400011131131334340233013201110330104",
"4001231320444212322442034412130223030220444124340020402431130310",
"2313023001422211322113114334331231143313240421111021324322410442",
"0000000000001000000000000000000000000000000000000000000000000000",
"4111022331420143002313430202422201410230144141144303104030414320",
"4314422042342402113131412203224332431400230441233330030240133133",
"3100414023411230420332132010413232212444344040340434020411032433",
"1212000121340410341114204041331440332030221421304242223200241341",
"3123131204422324304010040312241033124004121140024434023431143242",
"0000000000000010000000000000000000000000000000000000000000000000",
"0332233402301014400020011104003202144302222004321203030301111011",
"2331224430300404021102342344224334010213300440242000200114414113",
"1244244312011042412214442022044343012403003233441312130234021040",
"2132423024004433123343041002042314321024022203332242110131204434",
"0414440231141434331030044013102123440311312211001342003244114242",
"3402414302011403224420442111233022444334431234134410402201013303",
"0000000000000000100000000000000000000000000000000000000000000000",
"0423222402312140103340311243234411223402322221242331111001423201",
"1013421130114031034414221220300203324022211121423130142331341231",
"0320012304133141432143132420402404332213434210441211112024144400",
"0000000000000000010000000000000000000000000000000000000000000000",
"3141344433413311224430203142024320114410133124121210331210011422",
"4023310301103102423241321131144320431104441110124420331333340001",
"3040233340214014202320320213213133024440331203300424103203333422",
"3142101233101302321441130124113214242421300231201434131132130331",
"1334212432421234031441004220442000331130334112044040324411204102",
"4433140023130400324441114104220432440102230120234213114010220003"]);

y:=CambridgeMatrix(1,F,64,[
"1400000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000001",
"0024432244432202012424320122330131103400403441140011001304234432",
"2323433043121122141040421002132100214004140330301134331132440301",
"2200121301011303301443220101144414032314303040240443001044303334",
"3134410402001010232221222441422443430242222320133312201421424441",
"0020422133102134442143411110140424412021233410114042341034401323",
"4134342031113013233403343313420142032444312420201120212400413444",
"4423213233432412323042320110133402231230034311011301010411423103",
"1113031011304040344131423414223430224144134200432244004443401000",
"0404004000004000000000040000000000000000000400000000000000000000",
"2303320324314414303323444440003410432202332333204411101000340304",
"1031424141220031314401210122424001423213211410204043013113430104",
"3200344340021313443400111211430112423144234410230214200011440243",
"2211021244323024042222244111404043011300343421321003002024034313",
"1034202244110000013203213112033000101304311102004112444101300230",
"4314303000314213231222111032044121204040424111020132002314001443",
"1221121403131211313220100241401133144013021024313410002001220040",
"2242240234104100123440423420033241313021414200443023212324223202",
"2143441123012323324021401012020212214220403332203001040401404403",
"2224034410314104021300133031411241120203041012103130013040242402",
"1231243110131341242314013413102404002232033124411021401142342124",
"4244330202044444044300412202212343410414133410212002332132324242",
"2322140241233104403434413320340024044401422440043431331440410213",
"0402213023133024422010403131334222102042130311130331201400112311",
"4020323033314022321430122332121221221421443312403144310011020321",
"1220213403044241343224420022314240331003243122013430410231433211",
"0301004323212001432203334144324030434220014434024043302042120044",
"2123031100103321220241433124424323040322411323232402313120023232",
"3113300111200403040113344334334020004214041103114210232231111441",
"0212010223011344013023410044301144330141230221332424324044030322"]);

G<x,y>:=MatrixGroup<64,F|x,y>;
print "Group G is 2.A8 < GL(64,GF(5))";