/*
www-ATLAS of Group Representations.
HS represented as 55 x 55 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,55,[
"0100000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000",
"0000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000010000000000000000000",
"0000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000",
"0000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000100000000000",
"0000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000",
"0000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000001000",
"0000000000000000000000100000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001",
"1431242443443041303222432124124001414241113233333332310",
"0000000000000000000000000100000000000000000000000000000",
"1413113424041430340143322332432302024122133433033331310",
"0101300142000244230342040241304124101000222423024334020",
"0000000000000000000000000001000000000000000000000000000",
"4314034111320300142014323442141344043202441402104223112",
"0000000000000000000000000000100000000000000000000000000",
"0332303312243420140404440431123111301323130413001332444",
"1213342100041402123232040223233021042444213132234010202",
"0000000000000000000000000000001000000000000000000000000",
"3032432031023032340333333133432344413303110103111034442",
"0323323040021102112401230114222100010303100303102433440",
"0000000000000000000000000000000010000000000000000000000",
"1214204111114031024303311202134143433343120403401040442",
"0000000000000000000000000000000001000000000000000000000",
"3220230113334122304001302213120134123333324344144140034",
"2132422244402233201223114124343414132303100203001334403",
"0000000000000000000000000000000000001000000000000000000"]);

y:=CambridgeMatrix(1,F,55,[
"2300000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000",
"3420100300000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000001000000000000000000000",
"0001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000010",
"0043203124213333122441114223011132203210243333120222440",
"2012233042234240321241441204224003310302014012341433113",
"2021120444024041104231100110122434424240312012200230344",
"1042201332420024220022122231221334331342022030402224034",
"0000001000000000000000000000000000000000000000000000000",
"3443020200303023204414322214031300202112430343010040223",
"3330401340034202314011210331311140020431232144310401303",
"3231031004122223343211314144132241444101041144321421142",
"3112204431130430421112311242003203143233120211031222423",
"4131020221121120022012224240443024430130000324404121023",
"4131111344302122333332434334020113234312432114004341004",
"0441023434004124402311240443431214420304042412224020414",
"0000000010000000000000000000000000000000000000000000000",
"2324212441203404014330143204110034314233022200202430202",
"1224001221441223134101121323333201200032110400223441322",
"3130211134103223331442201112020423010400201142431201002",
"2340434144340314114311244032011221242103123012444014214",
"0111443402214004304322013030234230001014241240301411213",
"1014142101142044334111012442322310123001124222440434231",
"3220040332333340401400142324011143443203012401201134341"]);

G<x,y>:=MatrixGroup<55,F|x,y>;
print "Group G is HS < GL(55,GF(5))";