/* www-ATLAS of Group Representations. 2.L3(4):2a represented as 90 x 90 matrices over GF(9). */ F:=GF(9); x:=CambridgeMatrix(1,F,90,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "618701500040000000100020000000000000000000000000000000000000000000000000000000000000000000", "167850010000100400000200000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "577550700000200000100000200000000100000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "168264126666651640165488322341618372750643246848075803468521734405016216685110777258372227", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "053728773106653363821023433826044513417377626267313230077400737201655818418177502302468080", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "421554314161021826815848634075831885670781566105773678105536474830733261604023760208335502", "872114085030375262426403386857728755665402030670402488185123337688375043856472343148177800", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "014322710850741027456281054606385652006005134183543366621661476120665367180388728860277457", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "488420102001004000008000004000000008000000010000000000000000200000000000010000000000000000", "676541802311227268465634088505665061124800208272582822040103263661063786055715002420855866", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "407453570321352585754765102545675850650341118058871360478027440125311203864807270684858668", "034370474814013165457761151055603324387881147461537578358578818163113451075340483612881482", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "455833278277835401745331063040600188564037356565815055268748530734144734222046472604118150", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "147425558282743285747642612851715176636301531308552154420004803356734723814030223506207082", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "064476013768250137323711306783568656610804441570433773368237475831745102440681016070234551", "006354725148317086261375063667628113044083504387733380840127682255718433727838254454341151", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "622680005604444225133846174167762454850821077218240381621486813421824450606220357774668456", "664874016320377651883347718255072576076042245627727110314388070420447380134251260261267153"]); y:=CambridgeMatrix(1,F,90,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "822000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "102010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "655330485338017373203620542628370513747768787167433477611276034267672544612451256020561812", "088287627166022671875444813605142668364787058043402067221130284645028730670214746540615786", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "870613108828424768544042315243657041637202561048452183183500867137054576524422100451663564", "724775762321601120812123374351060151325621182526636672438163082265072774018723872126461410", "031803538801150463867834126288625313512014337182143418233706108745036760032120500121765687", "477574340886233128312677228674566230242083747121742688014478782778018253663256373556211480", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "713512707461026063637086675344133388516522008023237505355018450427027257338084423721447231", "423424375263836688687568088444874827265303565123758341764207343677426537644541484030674455", "421365062485782046480423465877346372371628600435456668568667647277406825228475454263203804", "451636043534178480541548283158747536540116515173557801633083874367138058877041616340142736", "160236858156387752127430082712777477127868181861064040722840480578148843842301785282585564", "360552073641544313148067651884237537665113786742431700682168565014152510131723288505048734", "462743278807016020668362732383518313435735001707708783532723355780633522675307352213316334", "747840172661885056566047644436560478685408427644442487625547181713066558185762828884080665", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "173060215057651543073708233460807424064160186088117884605213355144033024578845215527731513", "761723865777614014785000403813650560176664250078361636763543106117076206055653568087631533", "134165655532875766487562510185887664143651032440283640287572636073854046750366026863806638", "801755803215345141346384485742060773314584843357677081715456646814332884632411034860070320", "450213358213614580285353555803684452710106285556445725711353768535871254253416826707556158", "506754500522885148662327648415377136172812366247346463824303641733504127766214187217654862", "378515621372412057007747543817002061278826123682665014650807211866203438858808473128037565", "281832865517227378085531822258808553286151148235171230312562552548162884520250201407154688", "742258248781842743418738860305680264730741244534106736530437138226702456765275348083685518"]); G:=MatrixGroup<90,F|x,y>; print "Group G is 2.L3(4):2a < GL(90,GF(9))";