/*
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",
"26610360005000000010006000000000000000000000000000000000",
"62166003000010050000060000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"25122340241262064231336260240330605546064544132043360565",
"00000000000000000000000000000100000000000000000000000000",
"16611060000060000010000060000000010000000100000000000000",
"00000000000000000000000000000010000000000000000000000000",
"04300151544010534646315211222430152260026432313163232103",
"00000000000000000000000000000001000000000000000000000000",
"13134661115006210662441604261610006551065014460054421134",
"00000000000000000000000000000000100000000000000000000000",
"66312535633520552231212032561430450342012331346546166423",
"46020435103145120212243512352101163410161633102410020325",
"00000000000000000000000000000000001000000000000000000000",
"06160666051511246646100655203112336501354462355431661400",
"12262143236110610561650413323560546363536036543314451040",
"00000000000000000000000000000000000010000000000000000000",
"65206566210251505604522242654036255356351030442231631635",
"00000000000000000000000000000000000000100000000000000000",
"00213101032053154032104153342103245015452500142231634044"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"26600000000000000000000000000000000000000000000000000000",
"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",
"33614035653601144201434565214030211601222436242236320314",
"60355101332001411465413234664104605204554116131241155336",
"00000000000001000000000000000000000000000000000000000000",
"55146065125226111460502214626123651551343004312522625201",
"66160261144422626366501362264041324035033140114511422150",
"13004152466253415465303510320420056250265036411046205166",
"00000000000000010000000000000000000000000000000000000000",
"66241644100103344042465311651552064503226616311321453002",
"35040333232620336160626022044132503213360614444135565603",
"11062524322544552623364630160426505662405535141332135221",
"06546206115243140352224233352655262322662046150463665605",
"53122326641206615100401236661006306001651234214566355551",
"10223601624025004330125435025351553561001340152435064533",
"54225560023022322563642242152111632442314652212305106315",
"04106426653340454641421000454562254032641642113156631366",
"34400510305310520625623200066100014603662413200520621262",
"00000000000000000010000000000000000000000000000000000000"]);

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