/*
www-ATLAS of Group Representations.
A9 represented as 56 x 56 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"16053012046665115224646415444522465603415030560064253152",
"43106022464654162523031433165263023255420113663325141041",
"00000000001000000000000000000000000000000000000000000000",
"65116334320451053163266356046265250661335203224521562605",
"05011101226252100532661505330030643023525100440436265326",
"10255051465243405654231225206213120456104365451114110560",
"32015204011010051351455626532221025150003405623303450312",
"16063131505055206510633233645651400124110362243431205560",
"60545005111061233464212330036044562322443512360442163421",
"00000000000010000000000000000000000000000000000000000000",
"13150624623151063315215525404300004660466203240546326052",
"00265615023444452333113666434635314201013646135051023314",
"63301551661415423014641051632115420361204544043563163215",
"25562202455006326526640402352536103400636503231040364114",
"35624105353346425350536102640642433363265140520564416520",
"00000000000000100000000000000000000000000000000000000000",
"23065405150631346426445401060550112414255343265360651264",
"40246325340540104244562135031004352633030611124625452600",
"15534211023666631250340565652563525112034641150231006040",
"24002641124005465223333451146413501224565114644466444555",
"60215061541155241120421211460506332026224134114464664164",
"00000000000000001000000000000000000000000000000000000000",
"53601243466352426221632621166225116234223163120660463241",
"64461515110656542011504141116020010230150454561621566632",
"34405556156635256462166331214324661266221514633550506026"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"06606000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"12101060000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"04346540422520114543335651343136130356323213250235202263",
"12014431004046161223564340104153040056142036505453126660",
"35234210505521651051216300651040425163662432550632563120",
"02343220063420505225352120542341465340655254644561626635",
"01256341634465022113516114136302435511224302400203654235",
"24654424125265554236213435265345223042232541312422004310",
"65234366213603615355360160006114620232262062011116016541",
"04023433143563554625353346222626362664303453521501610526",
"43550101231520052625621242556234402501153431135012012110",
"50421623425421065636621621142125011606533055362523553243",
"30165623614611152644452435043166423206430650561100153132",
"03002340246311514135314254332442604310055624315201452322",
"56350552323421166566023013044565125605064116254435056520",
"41623362631653031343344224205550115232500262031540660350",
"24002563105556514234566221102005542641622041260610543611",
"62446313505113404504060611631521531524044156123011240446",
"05435512143036036023366415650533422653025251233032650625",
"22155122303452542546560403503542232566664115654115402105",
"60035361503452554056310612516363353056010101053412506346",
"62120365061656551101003313456400046333356124521413324252",
"35620504665516120204132416314053653361543633050132641105",
"41243346343202631535606340625430105464101511436303513342",
"46112432526310621365012421026422144261026036125530412653",
"20113351524422302261431653655551606100662120660304025611",
"00562422643030533050213562245131112301062306123432246366"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is A9 < GL(56,GF(7))";