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

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"55515010100010060006060010606000000100000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000010000000000000000000000000000",
"43624456520116000661020036513203300146216020303200004602",
"56163530502523240434423004242042635245540600206505004505",
"00000000000000000000000000000100000000000000000000000000",
"36413363325413560134106041655616666325350066606106002503",
"00000000000000000000000000000001000000000000000000000000",
"56456322456014613146565361214652456130010060264506003000",
"00000000000000000000000000000000100000000000000000000000",
"21634166360160050005000020500000000000000000000100000000",
"35613223162622204320336403403032566410200000205366001002",
"00000000000000000000000000000000001000000000000000000000",
"23406542006041616114164661242110546136040010005506603600",
"64245230155402534026402430343540523640440050005403064004",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"10045302211454150242406012534145065665430010500205006564",
"00000000000000000000000000000000000000100000000000000000"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"63230204300000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"60026106100000000000000000000000000000000000000000000000",
"05666600600000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000010000000000000000000000000000000000000000000",
"62552232652122153424513202035030012663045366106615013663",
"01104534065545163462360530313453310456633214411300121642",
"00000000000000000000000000000000000100000000000000000000",
"43120602104262120263352325025336144263150244513361500422",
"04406011232523641055332251253601606343453612563330420611",
"15255665633413011016656605116251260612406022050213220653",
"00000000000000100000000000000000000000000000000000000000",
"26500423065413164640103004541616566615634124413125061655",
"01560323630662011532606324531603203505555510562334031255",
"11364020541236654612453604645313015130243655526005555461",
"52262632014662133325264026435336351063325154264654642623",
"46260546542221350565356215523142555423123323346245461063",
"00000000000000000000000000001000000000000000000000000000",
"56356522200213664011162621020160344434036264561302445443",
"24651516634021600645315040531216442261400114164624221435",
"54615623505316532422350450455226620114442636633531264336",
"51114256303321033203152123136561251223534516465162546023"]);

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