/* www-ATLAS of Group Representations. 2.J2.2 represented as 116 x 116 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,116,[ "01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "60000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "00000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "00000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "00000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "00000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "00000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "00000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "00000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "00000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "00000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "00000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "00000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "00000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "00000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000", "36636126123126425346223651414003435242342214324251653416422323045031061501621011610632600222455032642314663243333162", "41210100020646555533125642003566642616653324365231545161644515055033116614416322514432546123501122244313546366252443", "00000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000", "00354060605511201330250126213355014440145112101636246503106243461246363060042606544321260346456652533353215432222615", "00000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000", "15260565431034631204005204335340236040254645634540214252245245244040012103216246004664366416624330261650122404302303", "00000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000", "46263633506136153106625243361425635502522141510151152353043061135044262013641500125361323245505214202262220046466052", "62426520545432326664201513134614432622311333413663456032464054066321545226464561250006140626503012400132045026345103", "00000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000", "45522566136311331254510354513236345530442430241422413341242600410030641552110205365044110125123640264320263121456622", "36351152220336121222625004155201506143562333335403443320346641240664010056200414306334346212255544520515652446042252", "00000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000", "61055454466211011121243344636300224514116156466350110004522554060651631340333245226350110122506440326661011335063555", "00000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000", "10441624633426424110052365261206162006625535033365120451222642040411431135623433623264460436121434640503041245430141", "15162143535016161326535166612232463062064541203503643112121654406066615614415222632405306604360564412651605660402445", "03604322351643361123501433204633322444015564003615451605612163233016123520100265344613565163020424425533021454306220", "00000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000", "20634131061550655045422124411246403023444334661014545246632035220260643645214604440646354414122562406163561330053540", "00000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000", "31104301236516624343455405621025552405645343105213620336214431225605461240436252322040602401166051655113652212421610", "02311464330341104510513445231002661056050604005445260525153612630310053255334411503063242352011623264215605245164531", "00000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000", "24063420536154136222132665023655032646654252462641566401626225366423410365242102330311523665013435100264362056056365", "31660626332045440154063243440346512051323445246654263054340160602066161126126641250542136421354001455513660311420336", "00000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000", "54304612401635542542432335004453003454316641350556123161352605042660240663305552364423051301154112421316124006652620", "65001631102511525431633463362352314234521413400405622614033152151523461265661125145611232334220510456161534453415560", "00000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000", "36665653516154220165466341402265226342511460155463121466030463012230560665666023110135245134520501434502160405631334", "00000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000", "55000223514100423622616616653013352020362113240540446355463101124234120166430660544102522134045063443166200120436636", "33330514660164005661211036110335616363545063605644144120264155314643215604663122122403363425165015363053620402450364", "64213416335660626655106441246116244634625231526501156446434522265055256440630300403035240542301606435415305256316430", "00000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000", "10354444542221143144464214021231014334450241440333525644632434061330514600203134065230011653120446161420362043103044", "00000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000"]); y:=CambridgeMatrix(1,F,116,[ "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "46600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "56106001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "52154644646601166346620140322303563166610254113600522042066000661316442453260606021041433315040015054346324046525511", "16003260453161535010446020243304040323344042043515004342562311433251444321411314415515430245551306462143533642152301", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "34624205100444241340366460202622066643344030436324553146136203513432215421562246634564314550514461013540022363360602", "55544325443241265466044233446422215206663423011646125155424054302014522265442552315142521112160250244563655256101446", "35612165155211641322244433424514642400140532416443440054516306111300355436000511544435510126660143216305204304420513", "23402121133202651501036622441305066225423265660530136515261560603233523512450024310346061222460423423302214365340515", "15425046316163545212145524511515503536013100435050650145306603506345610166104224451255621401514253365653201066620154", "23035026466213506254046132014401355664101253455320462010155425520335563232262112602541530333566006300132503510313400", "66556300655430531062622521343403623424263335036654314530520434643622020510351063644516316031060031303205236640252260", "02420506130664325261530265420542430215330015431303561141302160266406542151614100453650212534432223261554526256136165", "63416434542232544421366430355444636266411322044653640034033625335440522516410063621336315155365540331402044562131251", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "13140354451322340122646553613466111136123550546633366044201260364400605502504505600004046163420400435230100010505002", "31522602623064055663235452351625206512053305452466344203523342143352623260552440054156106010231645116162613166455563", "53002115432200451631113125132041465124502061553430551214046243264620452665112024051062534046560060501254000526316352", "36334153462335360000031222516526240632042402134341623465125335053520516142266241520620223303114611222564444650163644", "03064406315215256430154051334240441111136102115023102122144551166003222353503613512513531163554154531515142510306534", "62522556340266642402231154525100436004620315456415515360204615321040250163000145421006246211422560046363152140315323", "05334105601141244351513611154665366443412545266302111550601414651465166666124224646614125332130343343465633442601610", "55004441505232142026525515141143251506306142113143346401060350261152530615021050513445253235341353412150310665453326", "26460352221033430425105662124005650631064623422043421614126454400634255166344514503113050352510456201066351053332316", "44205345066154225130642450613342501153656642643501020004651040014544010132031211522110306540453015030112656231462242", "20564366165143426601663245114505350605111414240415201510430562562053444352231414216026066544555453444104166110132132", "56105036452410644304132011216025656661165162513204631533431000536305202566056344356420512552620153506414436031525111", "12213204351136135646241032136405125521404336611211343663250553262250144040355514154330446663620532601445015555240336", "46340144635046632055235604240620000324356422646615311525025040124241553420103001024100454434535106662261620201634515", "52610413136052636604164063122204014123035325413210554004412015616342052342450266562342243103613350313145145256335132", "03501421132264224461365332204161204144255645504250565065012611451266211044616325154154361533151102245421332632104016", "55442460522510430266342054033636545326115622320050344240203405522030454511461431435546561012354161124135136113312052", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "61113164021314225621404535510034343453322103302363416604110442411014131012131210454356304003220466022110241316125434", "13220514634630450636052153255430225621466355102603136430020331405226364444561316423032626624135345645550046022012006", "01425521460464421644000556364311120245242140023502131224306010321544454350336151651106525604120312042036041512000341", "51220206035064541226545452665352523324520546505506364211051551106102006446632360010641240326056061316214443334241406", "56454414525414616444255241561164421610210405335500463255231625534614400401000553364404321363216030105542242131431450", "51516641354406340643506655126111426260030153234460660355133033350106325316425444205005233030034203114064566556500020", "51335556555053460214102455546031556102522463355503013255531251644061412036534632334406366364646305205434545643240655", "31144625566235003260346633624432612251313600545564604056344252663266164243345321625561451634345631011435525131433136", "52133606122544546524304506023121341461615305463346643363144412210354323564432664022355223064603233622534540055511310", "30554256064322266033145103154400054530623636551255240430154115406163352340056513000401016245345102036153321350620643"]); G:=MatrixGroup<116,F|x,y>; print "Group G is 2.J2.2 < GL(116,GF(7))";