/*
www-ATLAS of Group Representations.
2.L3(4) represented as 70 x 70 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,70,[
"0100000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"1100000000001000010001000001000040000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"1100000000000000000000000000410000000000000000000000000000400000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"4004000000000000000000000000000000040040000000000000000010000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"3002143120431041321121343112023224404030204333013313201122304032342000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0110000000000000000000000000010000000000000001001000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"1100000000000000000000400000000000000010000040000000000000000000000000",
"4000000000000000000000000000000000000040000000000000000000000000000100",
"0011404000000000000000000000000000000000000000000000000000004000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000400000000000400000000000040000000",
"1001104010040000000000000000000000000000000000000000400000000000100000",
"0440104010040000000000000000000000000001000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0100000000000000000000000000010000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"0000000000000000000000000000000000000000000000000000000000000000000010"]);

y:=CambridgeMatrix(1,F,70,[
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0440000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"1040100000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"1001114014041000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"1001000100001001000000000000000000000000000000000000000000000000000000",
"0044041000400000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000001000010000000400000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0422421434001014010040410010114000040404010000100010004000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"1341243040030000010020300002411441031142400123441143400044103011401000",
"4401411313312242141431422313111104204014033122031103430240403303120400",
"3331323003331212233142344134340302442010423041211030420244213104202000",
"0102100430004014310014011441421440030043401114041104404044103011312000",
"4243222344210143034102110041434020101344121401241130030441014340020400",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"2100314320421424210042014143430003141344001241030441314402033121023340",
"0243103440030000240001304104144010024013100442014041100011402444143000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"2403344110441001231031344113124114414022104442013412100121403043243000",
"4302333241422041201422444112133210424130144442413313101111303042233000",
"0000104010040000000000000000000000000000000000000000000000000000010000",
"3021201214213023124142222334302241311412212222133231203323310024133400",
"0000004400040100400000001000000000000000000000000000040000000000000000",
"1444122200021233200143014104014130010412210343104042131012312333203404"]);

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