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

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"10000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000",
"10010100100000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"66601000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00100010600001616116601061060100160000661010106001000100",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"66662665160000156561106604110106610616126666001514146466",
"00000000000000001000000000000000000000000000000000000000",
"00010016111116605066660002011161016605610606000666010000",
"10015116006660605000001261000101000006600010060001011101",
"10606166266060156661200166010100010000016000001616060500",
"00000000000000000010000000000000000000000000000000000000",
"12101603333601021060621502160162111102601122036260606636",
"01166010505563626120622140050010151260651132066203010301",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"01160016006002006000010056001100000066000010000000006060",
"65000615666601605616001156161100660016600000061610000166",
"05610066160000160600160006000000600011016160001616060606",
"00000000000000000000000010000000000000000000000000000000",
"00010116601215001100056021610006006606000665000666011060",
"12110003123010022200611513000001100162661121026351620120",
"60060015565000006010066106600606060665100666060600100151",
"10116110006061606110001160000100160060661010100001000100",
"00060000066000060000100066000000000000000000100010060600",
"00000000000000000000000000000000000000000000000010000000",
"60061015665061006011006165000006060665100606060600166050",
"65601006666000161611106015000016660010106056001616160666",
"11010063223016113060010522000601010102000101620260620026",
"65501105055060156601166104010006600606116656061515150550",
"00000000000000000000000000000000000000000000000000000001",
"00001652212115162550006526110600620011116050611005066516",
"00000000000000000000000000000000000000000000000000000100"]);

y:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"66601000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00600000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000600000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"66600015006001005000000166001160600006610000001506000060",
"00000000000001000000000000000000000000000000000000000000",
"66600015100000064660000160111261616615626606001505000660",
"06005005555000665606151156001006660016600060051620000160",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000060000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000100000000000000000000000000000000000000",
"01001610121601616100610001060161101000601021016060000010",
"00110662113215001166060624016101116620000005116001000626",
"00000100000001000001000000000100000000000000000000000000",
"06000660060105660666150000006000000620100056160620050516",
"10000061000006001000000011006610100001160000006101000010",
"10005115165166562066051453016262216404000515156502060002",
"00000000000000000000001000000000000000000000000000000000",
"00610016210060006661160106000160001600010060011505060506",
"60600015006001005000000156001160600006610000001606000060",
"06005015664661604016001340060100060006600010050612000261",
"06600014066000664666060156001150600615610660061415060660",
"66011601112106610106660013006161100620001006116601060626",
"02250601400602012110620566060616060261061122006301010201",
"00601101206662101111020066000001100151100111110161000610",
"60260501401010012016000516060616660111061160000110000106",
"01165026405602625226611151061000060166561031066102020462",
"00661106066601160601010664001006600160016001001005000660",
"01002001011000112111616620006616100061160000016160100000",
"10016000101204606166050114016161116516000605106601000610",
"06600005666600065600000105001006600006616600661605001151",
"01000001110661616100611161006001201060061021006162000111",
"11000163211006102101010022016611210051160010016252010011",
"01160002601110113110016511000610006101160100116201010010"]);

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