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

F:=GF(5);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000100000000000000000000000000000",
"30001443124023342010041032333010443402404441013214213122",
"00000000000000000000000000010000000000000000000000000000",
"02111414020444404123001034444142040010003232344010314003",
"40230031241022324132031213333003240430134101300340024023",
"00000000000000000000000000000100000000000000000000000000",
"22033033141432323320240202400240012441013224011113434311",
"00000000000000000000000000000001000000000000000000000000",
"34103332140244323224104222232440342233311114443432101123",
"00000000000000000000000000000000100000000000000000000000",
"32400133304142113411314030121214210101330010344423434240",
"03143430120404421343330421240010430344113414444023103222",
"00000000000000000000000000000000001000000000000000000000",
"33034441030210211103420420340243222221043134440012404313",
"32214032040320203314304320223214213122014313434340003024",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"02042112012110211431420001233400013100112221224241003202"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"10441101400000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"44013400400000000000000000000000000000000000000000000000",
"44004400400000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"31344024202314414122122210400030334114011430011233131424",
"00000000000010000000000000000000000000000000000000000000",
"43012024320314140231314124333434340133102221131404224322",
"33030023002421230141233423004224114231143204301044020103",
"12001433011102113032120102034242414101422233220101134203",
"20004414130313232434313000000131122333422322032133200100",
"32010231301313004410423010110201330432234400240431234024",
"31430210012241304342443221121344211324331204214111443434",
"00000000000000100000000000000000000000000000000000000000",
"14331421433132133442112440200122323024303333214133144220",
"02314134234444110021321203032010122341011213023044343030",
"21340001311233310413324422442343201434414440434320320033",
"01112411440402412224224322443020301441401423401320344244",
"00441240321230023143132204413312010002023140342340210301",
"03411023222011034110034000010204144213343143221140131441",
"43023021424122430341423110203123432200132010210202324311",
"33100112431402213040014023222040122103101113042341342433",
"12413100311402042011003143431314314110233203340001124422"]);

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