/*
www-ATLAS of Group Representations.
L3(4) 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",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000010000000000000000000000000000000",
"023410200002304402103413124440131002112304434340021141134133431",
"000000000000000000000000000000001000000000000000000000000000000",
"230444201321122104100343432234413341213201204422323334413041004",
"000000000000000000000000000000000010000000000000000000000000000",
"234401201112342104114102204444001144021323111421304122330312442",
"124142041302030233321021011243404404034411222020111423412311114",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"324443310420023112324422130321013143444323222334400412412440112",
"242423134301013210114242313414432213024001300224333412110111132",
"000000000000000000000000000000000000000100000000000000000000000",
"434334324230413120120003224011410303221123231324030443410022033",
"000000000000000000000000000000000000000001000000000000000000000",
"333311201110133132340101220204003120330210134003101440342331024",
"000000000000000000000000000000000000000000100000000000000000000",
"122311242140141230232202303403131221432421220303033333342334231",
"000000000000000000000000000000000000000000001000000000000000000"]);

y:=CambridgeMatrix(1,F,63,[
"001000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"100410014000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"144044013000000000000000000000000000000000000000000000000000000",
"040044004000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"222320343103300300010400303020000002000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010",
"010122003441403113111332142214320134022144433011110333224131204",
"021213222131440041132044212143040100413112142143023103013434324",
"000000000000001000000000000000000000000000000000000000000000000",
"403222233024422022323300240400200312033032120313233302320010014",
"141210120300431114321231112220001331143433030311201100331404220",
"230344232410431004130141420000232100323400413114321004113210224",
"111304244341200240014022120103204213240400201421214042140234041",
"000000000000000000000000000010000000000000000000000000000000000",
"121103120421204320004323024042213032322340234423400331130003323",
"303040100301300000000000000000000000000000040000000010003000000",
"112130032331333141204102204223113111240231034244304130214340340",
"444140131003100100040100401000000003001000000000000000000000000",
"410333101140340222041140324114110442031243040124201000303232021",
"432300324014411433021142213140410143122232221242211212444432400",
"421111022431123321330240211440030030423220440230202243213431032",
"000000000000000000100000000000000000000000000000000000000000000",
"302433122004100011441130042331040333034314041031412132301214200",
"432224243343010123042221024420210012341231022331402311002330320",
"424040000401300000000000000000000400000000000000000010004000000"]);

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