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

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00110610001000000060006000000000000000000000000000000000",
"00111006000060010000060000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"30253156033155230110664016054633056552564621030165252245",
"00000000000000000000000000000001000000000000000000000000",
"10103454541242531410642554261102262012344320043531314202",
"40146352445356365123642115312546160565016260054323240431",
"00000000000000000000000000000000010000000000000000000000",
"33565245016516136005344650424455255061442214601621620520",
"62532262410242302145264123441431504203550220403423246401",
"00000000000000000000000000000000000100000000000000000000",
"62213631252511443446614015214051124411532443021001614141",
"00000000000000000000000000000000000010000000000000000000",
"41614104421163063160365624023062012513425620155553416405",
"26065460021344061145530366634141234503003256520343632420",
"00000000000000000000000000000000000000100000000000000000",
"43054203413242145341622021142365261166566256546256256354",
"21551003044655443006300030501602200324016214262640441661"]);

y:=CambridgeMatrix(1,F,56,[
"16000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"06606000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"16606000100000100000600000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"16010010000600000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000010000000000000000000000000000000000000000",
"31403122120313346620516535352112446535454361566513605505",
"56054640536246063216030305641644200616564003126333035523",
"20221642061343353640066401563234023020430002213221042551",
"46304545655105235225135555251104440542360006320145213311",
"66426410166314556144241242162046462542004305466053640233",
"44566653512631131352661326411310052142023214214326266314",
"63413614044365125300402146365466341300104441201360241550",
"00000000000000000010000000000000000000000000000000000000",
"62213631252511443446614015214051124411532443021001614141",
"24024555656512661356530540200030605024421564642162620354",
"14262115231221115051352520153055651352543026162652233460",
"22566504211302661665615145506525223453644503565425513625",
"34302164302152352503435511263661501142010533160550526544",
"32402536466203410015363626161610623231361504222663642350"]);

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