/*
www-ATLAS of Group Representations.
4.M22 represented as 64 x 64 matrices over GF(9).
*/

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,64,[
"1000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0100000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"0000000000000000000000000000000100000000000000000000000000000000",
"1275204663221171350362703636017654643041585274681666348502324066",
"1165474132160103645888481513570806122361180075458023218643050275",
"0000000000000000000000000000000001000000000000000000000000000000",
"5664117265775433151087047141570248061818014402218675712131154027",
"8586808801553382457664671184208630564361486115307821418115135643",
"0000000000000000000000000000000000010000000000000000000000000000",
"2517123471170742455177227562121840777212052521364781343540864653",
"5552320386048163230807564546384336642542554705470822153470418400",
"0000000000000000000000000000000000000100000000000000000000000000",
"5186045700247043342347284268515234644846272087366213476215525801",
"0000000000000000000000000000000000000001000000000000000000000000",
"3736405330218567720576434034087307538463870688231308040250016466",
"0000000000000000000000000000000000000000100000000000000000000000",
"2010483260243840587326512027865847370484306347874757004116668102",
"5123472877876081384132113584232422647837434604708271168614423651",
"8884046881816313111204284537540628202062566616781734363858680308",
"2130275866372854485521245053323024734180322054235644248078211054",
"0000000000000000000000000000000000000000000010000000000000000000"]);

y:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000001000000000000000000000000000000000000000000000000000",
"4765386713603432787323428455277216168404170251086628616722786778",
"8468526228274053267460434781021078080286060833287375378723363404",
"0005005813463163763137576510474025731131058568173566802512085303",
"2665774330033531661500423227886244604667021752748812768576724123",
"0000000000000010000000000000000000000000000000000000000000000000",
"6208630062225260637310575150776718605618103654274652267487461627",
"4437162631253422121835105802481462255578773217816565562316247488",
"7520314000361307883565132267713104512783110382833880737385805274",
"0000000000000000000000000000000000000000000100000000000000000000",
"3011407474181854844027040676706442241770330412852475350838676850",
"2647132254867038185344110252865072714231461457125147201655177277",
"8884546104302863170267557117781186746467508236050536703181120474",
"0000000000000000010000000000000000000000000000000000000000000000",
"2471810278556467613037132252417770581864777656568671858224532253",
"0344576576508171262223356328342001626607205833852085810232866101",
"7363774448405261441376140355885172454802884025434647031054373076",
"4326151684752423200278024756348013815703142457144002464426448776",
"0000000000000000000000000000000000001000000000000000000000000000",
"4106041458481067016277135233862750641173318802426645688402248131"]);

G<x,y>:=MatrixGroup<64,F|x,y>;
print "Group G is 4.M22 < GL(64,GF(9))";