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

F:=GF(7);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"5551501010001006000606001060600000010000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000100000000000000000000000000000000",
"1163642645161062032556306556652036054201316442053211520512223311",
"0000000000000000000000000000000010000000000000000000000000000000",
"2163416636016005000500002050000000000000000000010000000000000000",
"5142620065436552535012016035315402644104511310004363632305205604",
"0000000000000000000000000000000000100000000000000000000000000000",
"6625242163030614556100652545124005603114314626255340222265245634",
"6005661062412211533026621001053043424424420336402400013455442313",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"3044045043516314341145261156623021266650235352504530111032643050",
"0000000000000000000000000000000000000010000000000000000000000000",
"5635114504165132433546411142635423233226533302313446161531603341",
"0000000000000000000000000000000000000000100000000000000000000000",
"5630025045120406364244466613411133152240425654211313255645163023",
"0000000000000000000000000000000000000000010000000000000000000000",
"6243106306303415013435635532621053260635242102323506351132605535",
"0000000000000000000000000000000000000000000100000000000000000000",
"6022040664041224212652235063632252226663005622461056444516551605",
"1423560145661143526664005365326440024524061302602402436611253251"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"6323020430000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"6002610610000000000000000000000000000000000000000000000000000000",
"0566660060000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000001",
"0000000000000010000000000000000000000000000000000000000000000000",
"6513220231346216132243135434643635652540144306632224230666012253",
"3532211434405120360550253055466020212004012521460554431102354033",
"2113630334650066161114130632450323560466101021032412250516100420",
"3124605331131445563501426032223612234511665314130114146050226663",
"2460122046366530455055031042243564434065412461062223230363453624",
"0000000000000000000000000000100000000000000000000000000000000000",
"3201320431612136163235100431243121644344633105504066656306422232",
"0010005006016000000000000000000002000000001000000000600100000000",
"1634613231026422311432101332562060413351561113025615452432200343",
"5261165125061214444561230034264423456561064222242613241303001443",
"6036302430250544161611565633544241531234230320022441643103025121",
"2240551666305333404511022034401601415460512454146066011024406523",
"0000000000000000001000000000000000000000000000000000000000000000",
"1631335402616453301355326430442250505055222216536600201026436404",
"5206055433363426435016526515346646001452545526005402003106425452",
"0030406001032000000000000000000003000000002000000000400300000000",
"6621221000110046502002045650324664610531333005254450065666130352",
"2200031103535655544254256425661426002546160466656164045355216344"]);

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