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

F:=GF(5);

x:=CambridgeMatrix(1,F,63,[
"010000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"312004104334311331120413202234420224231224102331000134200103334",
"122021423020210034004104140424320012043141401143332214013400313",
"402012022121114024123204333234143320031413022002210201222344123",
"000000000000000000000000000000000000000010000000000000000000000",
"412101132421221433040141034200422314344300030240000324200431243",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"012312144444000301043010330033333324014402120444214314240214204",
"213042140233241111011400244033104212422301334433021140212030104",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"142103334010134342342102422440204043311132022121400133112423004",
"000000000000000000000000000000000000000000000001000000000000000"]);

y:=CambridgeMatrix(1,F,63,[
"410000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"241000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010",
"101033302330404400101243000102443121120024401111343220003011113",
"320300344133112200231223322102013043430244103012444143300420443",
"443402324440441400444114023224302013310042441232402331121241431",
"000000000000000000000000000010000000000000000000000000000000000",
"443044140434033223403320231424001023143024321410232423321020113",
"410142030114230243331311223043320233243331143420444444224213342",
"323113200244000023343141233211130302443040400312211310201332222",
"233324431104244330111312414042211240243013142011043231144413421",
"301200343031311313124424343232234204120212133112433030424340100",
"440001424200414204103331404103212121214041404024124342341001333",
"000000000000000000000000000000001000000000000000000000000000000",
"114041144043244203300311130102013313211223222044343121201120341",
"012233103322340132414010131020044210011412433001340022000441043",
"131400224111333242211432003102224110243004113204004342200412032",
"000000000000000000000000000000000010000000000000000000000000000",
"121334021144002030214030131304222242102423211421123344043411233"]);

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