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

F:=GF(5);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"4400000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0044000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000404000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000040040000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000400040000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000004000040000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000400000400000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000004000000400000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000400000004000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000004000000004000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000040000000004000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000004000000000040000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000040000000000400000000000000000000000000000000",
"0442441403043331330100310111411014104321023341100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000400000000000400000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000040000000000004000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000400000000000040000000000000000000000000",
"0220404320424341333140444113412242302413014020000003011000000000",
"0000000000000000000000000040000000000000400000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000400000000000004000000000000000000000",
"1141221211143340310020202142040134144214032010000324100011000000",
"0000000000000000000000000000004000000000000040000000000000000000",
"1333420100223040412103411131314212442213132333110321211411200000",
"0323443114414242131404123021301331144220331120241324233411300000",
"2342212004344021342203001313320441134324120104041142213022400000",
"0000000000000000000000000000000004000000000000004000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000040000000000000040000000000000",
"1402332124314220200030133211010312342001041130000413300000000011",
"0000000000000000000000000000000000000400000000000000400000000000",
"2204410123433203202322220113113043243223424043030411114200400011",
"2410414012443303242100013133112132240012040033123413102200100011",
"0000000000000000000000000000000000000000040000000000000400000000",
"2214000400401332443100210122412134440301423444412431431120233124",
"4113401023040033114412322433033214232141243243344241230124322142",
"4400314134223014030040421402102304343112014322041140210033000033",
"3434402204403111023310443220301213434344014224334120421034214003",
"1441112111200214143044232241441144440414110144432204403100342203",
"0000000000000000000000000000000000000000000000000400000000000400",
"2144443003213404004242312041314334141034424321024430420314421330",
"2432102334301442244211243410001203420414014023434230124330134331"]);

y:=CambridgeMatrix(1,F,64,[
"3400000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"3441402333442141143030302223421000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"4031102310342231212330401114010000040100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0434203311114323323310143332230003233000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"3143330244403244443024100340131000200300310000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"1211002221234143114420202341240004144000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"1324213232303444324023000403042000110300400000000100000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"3143431211322004001110220300100134104431012230330004001000000000",
"1000414231201012242042120223324003322200220000002200000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"2403311134314012441343102201131413003214134124110001221341200000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0432414330312232434224240311243033403111114423020104440120100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"2231024312401032401034010214313002211200130000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000001",
"0002142312340402431400310230033141401122043220300003002000300000",
"0340104323444010043102232203304134004220433012030004144400400041",
"0311112411314321334330403241440202322440000300200121304002030004",
"4224032124331210420000302201412401401203430130200302220310300000",
"3002303341143234314420403123110413134130410302412100021220233214",
"0301024114240040402142024233113342300122320201031320421011114040",
"3102222321312200430042414111122303133042221144030103420130200030",
"0212113414044340134211240323141042230410433321341144111040340004",
"3132032142221333222002033404001222442334114222242311330004021031",
"0014134331443023010112331123114221401201434111414342211022142040",
"2343310043020201314222142134103240242420440402024122230124421110",
"3113213313422004234231144433321024123101410003243342411030332023",
"1141134412144323014310421424323140440234412432400301224340200040"]);

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