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

F:=GF(5);

x:=CambridgeMatrix(1,F,63,[
"010000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"400400100001000000004000000000000000000040000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"044010001000004000000000000000000000040000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000001000000000000000000000000000000",
"023333301120014334342322143144410200023441020320321423304201030",
"000000000000000000000000000000000100000000000000000000000000000",
"014244220140400211442003324411044142010312113110040031400112411",
"322442030114244312422221102110414330422323023243024221344224014",
"000000000000000000000000000000000001000000000000000000000000000",
"143321331234144324212201334122221213432344243243401143114414021",
"003241140110143431402442413041110441201100443001004014000010020",
"000000000000000000000000000000000000001000000000000000000000000",
"044131032323210243421244240434430341030100424021431441334242012",
"432032404012120202321043234032324200240414404014144211104334241",
"000000000000000000000000000000000000000001000000000000000000000",
"144444330432320124310122312243130132314213001320113024324430241",
"000000000000000000000000000000000000000000100000000000000000000",
"321241304030334224034243132003323032304240430300444240202442412",
"240422003220232104322104243314133220304230023111104222130234324",
"000000000000000000000000000000000000000000001000000000000000000",
"312441020344014242410422102122000312332234324231443030234240310"]);

y:=CambridgeMatrix(1,F,63,[
"001000000000000000000000000000000000000000000000000000000000000",
"044000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"104010000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"400400100001400000004000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"004404040100000001000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000100",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001",
"224342313204343030311301043020421133034210022001213422000122222",
"232301341223012040013430131410231432241000002100032003133402004",
"144444330432320124310122312243130132314213001320113024324430241",
"002332231330223021310112422342113134403440022112100401100001121",
"410344014144133200413132334334130232313223000133323140001200010",
"304321301210123444102302021231224243144113403242244334242034200",
"000000000000000000100000000000000000000000000000000000000000000",
"044114101303443223131423244331123222101440334412120313313031113",
"100340341233004442021443243141340410413440404011303021044313140",
"033032434231222023301242041234041120433242140001103423323234324",
"342411240341304314044413332302010120004034113334134221302240330",
"040100010000000100000000000000100000000000000000000010000010000",
"044004000040000000400040000001000000000000400000000000000000000",
"010331231200423341424314330313043142233431341334120244444122133",
"043042014330022033344424242004120044101041430001003132211244333",
"100124420020344403321332410040231433421342100320044010404400400",
"240033114322434030414120411024030013213010040311024202242441140"]);

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