/*
www-ATLAS of Group Representations.
2.J2.2 represented as 112 x 112 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,112,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"2612560633364401333054060602262242233001450044214421220215521152003332223205022503633040636354505536623242246660",
"0000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000",
"3566221500165534424411340665104450115421324631202362411114160000204366266321241422415006106632541232316204566244",
"3265363001466151515534322435655406146603403232115103305103211516236626462432101230013602104440016314431160212451",
"0000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000",
"5313000054343455641164046011103666615331112526452663555636506554200526611642616034265261452341053164044152346454",
"0000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000",
"5613260004006405266115426552231566642665604625544216025516451313546022355044035365062510103666554050132615045151",
"3414354403342435364336120353561300612022134206445365411252145151536631450204355302126351411212000341446631234341",
"0000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000",
"3613661210264063560645136002552413123656466422226253364442115140316614030355551155256305620400244401425561523635",
"1420623650453243401420362544620631424353535012243061410026342165354366546102006103211161252216514646326655542155",
"0000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000",
"5456140525052600410030135602416125610535000655221512053126662411652012360440230312310626551553123304440546345605",
"5556531543544352541144021160205505516314236500225253302132666461422006303412365006415144103023630102516623214610",
"0000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000",
"5566121053156145245234460212564660312330400131102525265615421422312030516023611023423614132452246505421000665520",
"0000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000",
"4013242012014454331104450046600424111243560145562104025655402164566344645124166663305626264660352622410510304434",
"2202113015601030602450643006030536420516322015105364050316604206414215230022642345354033023214663034022013466102",
"0000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000",
"0500025400525663466061656243551052354012426154561315541132204031204663305105123154204466360636542010066443051405",
"0520435032320132343251535440521462541210051554426660561144562246312506320443500003643002556203262453405406610322",
"0000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000",
"3505560123610554314532115535353032520050412434610652265254625222460543130400322245231311306155320342606540316160",
"0000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000",
"6110014263153561543642423243352416411040300320214131333154130200536266023432030505350515623535002026315262261114",
"6625552566544036202243512131514634100502066343033060162333463626114516620341603500661503623220536011541226056343",
"0515165525455105226156433131516354016236115143222213562135460315440135060365554154500215304146556034116562266356",
"0000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000",
"1045613033212341306354046202036022412413624560611524056103023400630526120235612034653424512463003634301552335014",
"0000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000",
"0440024663262001124431110245522016112252236165300212553500434406455241153413221504242542563112040516152340322004",
"0014261100614066010435045200564314415560402206304344534314531016642432250254564213535015443152541243405324612120",
"0000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000",
"1031321422656463416134265162305104600300334114143623106355510053431444122331002564645016454046445035023044322102",
"0000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000",
"5051353064421661064656221454166062053064201515051021251620053142622100243124416266455511330601011246262140004020"]);

y:=CambridgeMatrix(1,F,112,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2660530160400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3660660060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"5211261246033634644436405104220334600255623532623614615021262225244365224322600226456461015245344544325032050234",
"3026601045244305450466503423630406505206233036004525305466104201434405205323023353441363051034462455513321011425",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1106604003450551416251620535516664322466134325150630016252313556115054025344060041422214430151323336535343113535",
"3024233154060045663223534104652431112222163123142065332300205034160565213146422041503550622214040511665500056513",
"5056623412645265552315360660454306105045460132264024411006434246142505155325546331443214234150151423136532255426",
"1620012533456241036343330101600012644250634613151445215060656224225334646020403025026324455265131034151000051152",
"2333321562121404440300351216160610003140434443161345646444013645506402364645155132425512060550615344663362244332",
"3125314445106061212201324351526555560444411640622354035033262421333416420202366526132605023326305561500352413432",
"0146223112441325154664622213001120051550634003422123555465632062302220162451552442006525340122101525302464363406",
"6430402165602032605503230642546641265021606630113351151052125143641610512343256442164453204121435010150543160262",
"2602622036003551043510141130540266222502265062260461614563235242634666506050360416151350121641020036544105112402",
"4420014444463545115101633651052610006223651165312534155561406466136161251510611411620440013524454125422062604516",
"2362241464322323164311003651233362344226052330620115605240264454554166355631610222206511133054144001612215261635",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1233236462334525314320553633053142505540664600361164401354416545026261044316115061314013410340505565631353563301",
"3265252262062245234021055021101024210532660440515112101345451420005340554561203142535212603056244111666434206032",
"4241651335552162610332041016544125432523505266206543612252666561466451503066335344456253433152461642105215334316",
"5523310205266200515221025532300143520351153042651355324130311403626661254655311531232446403036464451532150141211",
"0035162126314144403231210064043236616443042025133152204433305051636512211262036112022031423554504206116260456663",
"3336546040324001142404331145051016234233206125566511344234006424163252452040212150436452056112350356526245012540",
"0526535405150453566020561102336661206116541612164525233656503605165140100151264424520235651440423354060130444552",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"4501446312142212214211333665032045400345620600531353666304513644602022424242461616025524125602512224252115322656",
"6040002216624264431541551064504503615333263251450251055235210243630610350550004654323350064552032543400600344654",
"0221544530454015655135046041026203111650023056225213011541635243630652304566532256032252411063146050413644215530",
"5356165616660161301143065240313311004533304543052551562120015150235542530150133410205343414341250260646352315003",
"1646614630353022503461642503153243364265031064335300645355560626522511632212254314111266531164551421143505450122",
"0166104250404645622113146046152513206402401621650152161235240240033244450041650642634524515310326050026200262665",
"0401110305304001500366640502002013214121111055420643144416050043655130650544260262034652663622040664453062232530",
"4450521403403254360253555603366102120335514643015245314641161052432665254063206621331100320150130243616463446261",
"6354153215312516255501465336140121311000643221234264032054261516122506113261611202210144142204413252065612231060",
"5360012163301360551650101023050411503236264111160642460444423645020051666522254520525002035232221215020520004061",
"3232525410643443456560415330510433200040262136145453264250520500313601252214363511420162444236621631310616541213",
"2264636146563012215645066523151004026006035040102452325400204344121321512254463025066432203566323060556560413100",
"4561110521305312364050360511454535143502116616663205210453254406253622100421301024130225254634134236123532331331",
"6334254552434321356541224305231206634046501606533021334341444026133416655365225350114426403442140403462404654165",
"0135611521431464561456242042153563003556200623022430016416454125301264502226646620064646521052321050612043301035",
"5525303644603135323354266311601015065401225653323412401024106244113501642611331012253450431110146465343223534230"]);

G<x,y>:=MatrixGroup<112,F|x,y>;
print "Group G is 2.J2.2 < GL(112,GF(7))";