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

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000100000000000000000000000000000",
"55054265621162162210444546606355612413212366205343240633",
"23366554250645652634062116356563050423653123032104240261",
"00000000000000000000000000001000000000000000000000000000",
"16131421632515053204304510250204256313040365501441665063",
"00000000000000000000000000000010000000000000000000000000",
"45200102326521244300004520561450034511412026144434334346",
"00000000000000000000000000000001000000000000000000000000",
"21604035605412312416441141040012653362214064625426164314",
"00000000000000000000000000000000100000000000000000000000",
"42264325421515523215616033165364240523414003032565411502",
"45161130155225136203124301020354346001462655242124654045",
"00000000000000000000000000000000001000000000000000000000",
"36461666531424503140600340521464343042461424660030412206",
"00000000000000000000000000000000000010000000000000000000",
"03021051464533443045200000043266543324605340061365051633",
"00000000000000000000000000000000000001000000000000000000",
"25062322141065353554636133124415335543561126623563013152"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"21120000000000000000000000000000000000000000000000000000",
"66660000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"01001200000000000000060005000000000000000000000000000000",
"65123032440453522516240332160501124364551555163541001332",
"52111624214061014161416534046255146632434200644230063165",
"10054321403114226545362146205646412641466036244041645143",
"61221655011056020620160324413450664644550610020400066145",
"13314160310202154015114106603011641134124031220365613534",
"00000000000001000000000000000000000000000000000000000000",
"04323566144015450546256630543050542352463402326132562153",
"12600000000000100000000000000000000000100000000200000000",
"10006600000000000000010001000000000000000000000000000000",
"11525454263355264446446153653413502333435660060226222614",
"12653634545663633422511636631145462536412163410343500133",
"46265366513051220140223241365136446263204621265311041533",
"41533624140650166313605061113133045002360336155220160050",
"06603306564623064110436266136643220463000660644653046550",
"00000000000000001000000000000000000000000000000000000000",
"40543412126320205312463152235425464541360063666314305451",
"66060000000000000100000000000000000000600000000600000000"]);

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