/*
www-ATLAS of Group Representations.
Sz(8) represented as 63 x 63 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,63,[
"010000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"044313013000000000000010030001000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"104010200204200002000000000100000400000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000010",
"434142224233342310124141220310112402311302124301212242431334340",
"000000000000000000000000000000000000010000000000000000000000000",
"131332443200421344214212302420410434300310304210244210102333232",
"000000000000000000000000000000000000001000000000000000000000000",
"103222004310044203402331141233010202331134432322424033201211244",
"041230342201140140020120422014123202423121043421341322341124032",
"000000000000000000000000000000000000000010000000000000000000000",
"241322102440210331012004234440042304011223402220012303104134033",
"000000000000000000000000000000000000000000100000000000000000000",
"024331423311203301432032040032014223243412402010300434003424214",
"000000000000000000000000000000000000000000010000000000000000000",
"403213240141234203123341444031032422203411201444043022410103331",
"000000000000000000000000000000000000000000000100000000000000000",
"034421413134322323101031004140432000304124311340433144144101021",
"000000000000000000000000000000000000000000000010000000000000000",
"142432044141123030222434233212341422031014304244144343213211043"]);

y:=CambridgeMatrix(1,F,63,[
"001000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"022111042000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"400141001000000000000000000000000000000000000000000000000000000",
"044444004000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"122202032000000000000040020004400000000000000000000000000000000",
"044000100100100000000000000000000000000000000000000000000000000",
"000141001000000000000040010004000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"201020100104200000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100",
"001333403312334132131241422311021224441411000311421042124042440",
"000000000000000000000000000000000000000000000000000000000000001",
"240212140432032120430020202320413312134434112023244410103440100",
"000000000000000000100000000000000000000000000000000000000000000",
"323243031101333123314103132003441303013214442400343103002031444",
"440313230314440001421203400402444233203044224130200040200304323",
"322241411444314042233200322031134302134010113324231211331311212",
"202104442200030413440402433130230320122112143204103343141221420",
"432000101010043031021132441044401434202312234314011410123111323",
"024441010430020421103223013313221232024340323101121101411341141",
"000000000000000000000100000000000000000000000000000000000000000",
"041011404041122432401302004444144233022234241404411321004320422",
"000000000000000000000000000000000000000000001000000000000000000",
"301334224433424332203042204234344441243203030023313024313000201",
"000000000000000000000001000000000000000000000000000000000000000",
"323041404301432444410304040143040421331213204240411244341210043",
"310341212342304441111321242341311331313200240332312011323031220"]);

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