/*
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",
"455642486435777453748704032110016836408750217382646504400061",
"000000000000000000000000000000100000000000000000000000000000",
"000000000000001000000000001000000000000000002000000000000000",
"881538617350127583155170746217225668565025400430613861637341",
"000000000000000000000000000000000100000000000000000000000000",
"773126371151050501088078021100202538215248240181853328846300",
"000000000000000000000000000000000010000000000000000000000000",
"747075763747200144218671531823410707126242771860611744542055",
"885611436536282353228472085651741106170067730527880472682400",
"000000000000000000000000000000000000100000000000000000000000",
"684357366273724673752885775126534044404026135517271452723570",
"000000000000000000000000000000000000010000000000000000000000",
"073856256183306363342262822552553722507446778671443615262702",
"000000000000000000000000000000000000000100000000000000000000",
"271310404366852512836628157878732084305386053725802535752260",
"000000000000000000000000000000000000000010000000000000000000",
"138833561842205664257461324872804170752167684527811215488770",
"347456155857648312655777403347361073756537887586680452885678"]);

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",
"640361612158278640203231041651107358638011343822675302514486",
"563034372444166448050252260122405810577565054630312373438227",
"006243310044535565866122410136770158606566687464234027475315",
"132440841578537430120643275776463707886653251213261145672071",
"000000000000000100000000000000000000000000000000000000000000",
"414035147336858688810361677775620485860455263272327336482866",
"166728557788004786437862841023050183243842646371788008141640",
"520500206003635216506440075074443513781627343852083633414725",
"805423835246877047322544734527763172486530732043611753167867",
"444246624302315818337874010661568746343458687450385112131346",
"057057131125147147417683226086817034460833000086718012574682",
"472252527141563607701080726044036442274882616448363800316071",
"367868882762650844500711218626127748286216205471730325230660",
"000000000000000000100000000000000000000000000000000000000000",
"180343526154668883112708488727284775621351066824358184723625",
"153544403135408071738871867236138864160717500351253650604370",
"554177711301117283314804117656478043710140241812880351862261"]);

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