/*
www-ATLAS of Group Representations.
4b.L3(4):2a 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",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"01060010000000000010006000000000000000000000000000000000",
"10601000000010000000060000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"23500242116115323045624121433242664012654452356123336630",
"00000000000000000000000000000100000000000000000000000000",
"61166010000060000010000060000000010000000100000000000000",
"00000000000000000000000000000010000000000000000000000000",
"21564651663560321615106214050540604401220351440405030035",
"00000000000000000000000000000001000000000000000000000000",
"00130146063446145141552200365245421016414616440166354013",
"00000000000000000000000000000000100000000000000000000000",
"66313643012215446444062324663056522245414143310243543034",
"50426001663560435636635654063406350214302123363403666333",
"00000000000000000000000000000000001000000000000000000000",
"22222411535646033405444235154045612651134426230355411345",
"52420260361231535451206046606650552044452115616066616216",
"00000000000000000000000000000000000010000000000000000000",
"51615443512255356240665152660411061103525150114203053205",
"00000000000000000000000000000000000000100000000000000000",
"00215506466430546015003242526065360635601503014233031211"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"06600000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"10601000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"52252504554436406135040314261556656256002450301402626554",
"66464503322026325246643260631006150443461632664151450052",
"00000000000001000000000000000000000000000000000000000000",
"02066664051001501324643462002644061240102513562520501546",
"11413405321252141500463601124656526014241504051325102004",
"12561534614546144244060016624132411662541665644456156420",
"00000000000000010000000000000000000000000000000000000000",
"10050246103351000140500344352553235055535664224160352313",
"22325046244032122032201205460011536560362044456364564364",
"56160534243026115140450466213143666236335630530541536115",
"36133441460101321130650600502224342433453453342633011152",
"23242421142043006015262161043636401661261524412220625654",
"14450545025256042145113205103350666154153403425542263310",
"51300330303120241335662612530525305364003056145636601041",
"56336224654044201022060665342532126266261430354451426660",
"61624441022563632022111364256145516204106402103041215142",
"00000000000000000010000000000000000000000000000000000000"]);

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