/*
www-ATLAS of Group Representations.
A12 represented as 55 x 55 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,55,[
"0100000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000010000000000000000000",
"3032222301001334312310202040100402020000000000000000000",
"0000000000000000000000000000000000000010000000000000000",
"0000001000000000000000000000000000000000000000000000000",
"4303400432003222342402213040300101010030000000000000000",
"3413204330442312020300403010300300020010000000000000000",
"2013300314403143141101204130200100040040000000000000000",
"0000000100000000000000000000000000000000000000000000000",
"3141122223442424234001101011100203000000000000000000000",
"2201104340024243002103203030300003040000000000000000000",
"3240133212333423331301401010210202020010000000000000000",
"1331300411224422144301101040301100020020000000000000000",
"0342130313303224344300203000100203020000000000000000000",
"1143422003443002100404000000300012010020000000000000000",
"0000000001000000000000000000000000000000000000000000000",
"4110132300134444414403401030100401110040000000000000000",
"1034401123232034411201200010100401040010000000000000000",
"0104313420421421023003101040400302001000000000000000000",
"4432343114304432144202301010300102030130000000000000000",
"0000000000010000000000000000000000000000000000000000000",
"2142124330443141144002304030400101000041000000000000000",
"2330234204414443303201201040200003030030100000000000000",
"1242032001320230024201303020000300030020010000000000000",
"4100011331440311222401402010400302010000001000000000000",
"2112113242320203042000203030200101000030000100000000000",
"1212210410341144244104404020100101040020000010000000000",
"2404022301320242013000303030300401000030000001000000000",
"4412402214411313021403202020200300010010000000100000000",
"1024241032422024012404200030100401010040000000010000000",
"4140130440320241014201003020400401030020000000001000000",
"2300203301014333331401302040200203010030000000000100000",
"2300024422304402332202201010300201030030000000000010000",
"4100211243422021404403200010400003010000000000000001000",
"4031001313234444443200001030100104030020000000000000100",
"4313201000424230320304003020000300020040000000000000010",
"0411224033222441041002401010400101000010000000000000001"]);

y:=CambridgeMatrix(1,F,55,[
"0010000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000",
"0400044000040000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000100000000000000000",
"3001341011023404211313224042401402200010000000000000000",
"2414231023144224041143340040101402310010000000000000000",
"0000000000000000000000000000000000000001000000000000000",
"1420123431144312132432111103004203420030000000000000000",
"0000000000000000000000000000000000000000100000000000000",
"0431400431212344303220402022001104030010000000000000000",
"0000000000000000000000000000000000000000010000000000000",
"0233113011123104341344440004214104200000000000000000000",
"0000000000000000000000000000000000000000001000000000000",
"4244032310342421033003024042211211320040040000000000000",
"4422132430404220023422121012301014010040000000000000000",
"3440044203241414213421422143223400131221010000000000000",
"1212224424332003244430232042003000110010000000000000000",
"2333310030403122343330432044122001201240030000000000000",
"4432442203244202422113344014403000131030000000000000000",
"0000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000010000000000",
"3323134144033143420034304000203303000030000000000000000",
"0000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000100",
"2142331210041021231131202040214104033113021043411001000",
"0000000000000000000000000000000000000000000000000000010",
"2110004333331403312310232431331231013302201313333003010",
"0000000000000000000000000000000000000000000000000000001",
"1014242401314331144220132321422402433123214130001032104",
"4444023112101141100044310243242001112200332322130112111",
"4132222401222331411004112112100424330402122102003401341",
"2312111410134224433223243243334231324123210210101334203"]);

G<x,y>:=MatrixGroup<55,F|x,y>;
print "Group G is A12 < GL(55,GF(5))";