/*
www-ATLAS of Group Representations.
L2(16):4 represented as 60 x 60 matrices over GF(9).
*/

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,60,[
"010000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000",
"000000000000001000002000001000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000001000000000000000000000000000000",
"866582845876333867384308072110015475804360213742585608800051",
"000000000000000000000000000000100000000000000000000000000000",
"000000000000001000000000001000000000000000002000000000000000",
"441674513760123647166130385213226554656026800870517451573781",
"000000000000000000000000000000000100000000000000000000000000",
"337125731161060601044034021100202674216284280141467724485700",
"000000000000000000000000000000000010000000000000000000000000",
"383036357383200188214531671427810303125282331450511388682066",
"446511875675242767224832046561381105130053370623440832542800",
"000000000000000000000000000000000000100000000000000000000000",
"548763755237328537362446336125678088808025176613231862327630",
"000000000000000000000000000000000000010000000000000000000000",
"037465265147705757782252422662667322603885334531887516252302",
"000000000000000000000000000000000000000100000000000000000000",
"231710808755462612475524163434372048706745067326402676362250",
"000000000000000000000000000000000000000010000000000000000000",
"174477651482206558263851728432408130362153548623411216844330",
"783865166463584712566333807783751037365673443645540862446534"]);

y:=CambridgeMatrix(1,F,60,[
"001000000000000000000000000000000000000000000000000000000000",
"022000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000",
"102010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000100000000000000",
"010200100000000000100000000000020000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000010000000",
"000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000001",
"000000000000010000000000000000000000000000000000000000000000",
"580751512164234580207271081561103764574011787422536702618845",
"657078732888155884060262250122806410633656068570712737874223",
"005287710088676656455122810175330164505655543858278023836716",
"172880481634673870120587236335857303445567261217251186532031",
"000000000000000100000000000000000000000000000000000000000000",
"818076183775464544410751533336520846450866257232723775842455",
"155324663344008345873452481027060147287482585731344004181580",
"620600205007576215605880036038887617341523787462047577818326",
"406827476285433083722688378623357132845670372087511367153453",
"888285528702716414773438010551654385787864543860746112171785",
"063063171126183183813547225045413078850477000045314012638542",
"832262623181657503301040325088075882238442515884757400715031",
"753454442352560488600311214525123384245215206831370726270550",
"000000000000000000100000000000000000000000000000000000000000",
"140787625168554447112304844323248336521761055428764148327526",
"167688807176804031374431453275174458150313600761267560508730",
"668133311701113247718408113565834087310180281412440761452251"]);

G<x,y>:=MatrixGroup<60,F|x,y>;
print "Group G is L2(16):4 < GL(60,GF(9))";