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

F:=GF(7);

x:=CambridgeMatrix(1,F,100,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"6633463316352526563566263665216126445601041303452201264613426214004415013460435554331636643460055462",
"0000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000",
"1044213312662426166462435061223411122615000412065110300024250034622665423055364212512644625641004016",
"0000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000",
"6654060116022124154342635333412225556613535401542225421205112312433321212330620561256150066402266012",
"2634422412600420331542220635241134110634261100650145330216411641655610413040335431533033610246402230",
"0000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000",
"1255142324624414453650326641424424463422542333214151312445533045411644542620151645231413114033140313",
"3462316066664421646341400220250052601151243552461262532403456432206162236330201062521530121634302202",
"0000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000",
"4135460014255360305322433101205355653344044243535403204303461250206054043424534415056200454404252410",
"2266030243014622050043504246402256145014042122400300134251224650045412232114642423163163606545311323",
"0000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000",
"4056250102601123422324302411020366421302431006664115613221611500161425051314532153043554450401435324",
"0000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000",
"0430645560451143315551500100321526342025124600360256010202461304322013543644066126014451214030041242",
"2133446642061343525004256623162310252543211304036534260663002636430234115326445663046026656065510315",
"0650102302046216200244360305305130515500521606414404562234025452240462016442366023446364242060044445",
"0000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000",
"0605313445334321004466432060206445560236412066302656036513436063563122524420531653540564513360513654",
"0000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000",
"3353544533463664355210501625566166044143353644254414426532116211603622610154120003631063115050200065",
"0363220060240036356524060565231365051444150534105445434055026424354112214335200563242240605541324555",
"0000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000",
"5542104656005455145600366333016562456460144223306524635301130053025346465064213633066235410363522531",
"5020014251065633622561314465200231356443413301135200411350105602621320562451321113221313411546200212",
"0000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000",
"5211215060154624005533032255004051542030460363123460463240424350611101132560206114035610060211160103",
"3056265566616312156423245201342051055362261333234051306112340422023066362215263255436612061236006005",
"0000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000",
"2226366642564665240600665626021430320625166414121135132601064146552552106060664131361520316066143245",
"0000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,100,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5666000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6600010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"5631112414054363314466256101654652206355253252550545120365440212164222320644130524631431641016262442",
"4216203255020053051340345514014665050321464450636031415311026103323365510141561151353255520610366113",
"5410342535404165663334652642452636336413540155651566433121653615201360666205415360524326630246453403",
"4504603006036353215252055544102014004532063413523433642150651365213134622043452004333016055264430243",
"1636606104454666623165243136020206211263256626205316412634506063045463606516153162621521654351341543",
"2335403422621053256231311243664045040605444556265236161444540253041020321031540630304634166244020002",
"1102665451163600635341264061626321035261611533535543024202656052423051045265532460053413126124515410",
"6216535151110125060141222635534434401631022022233454202365641505325362332512432210150344452211250226",
"1214006660214205262144641560312252100466262306346561643301420001022166244306060455414443334614545262",
"1466013263524554551445610651531442331543155516033243161444250543501536304263253542263262220446652334",
"0635501340262233041364241301401323615424504200144313254626544025266135044045213030463365061642061246",
"0664320615153560245546655145402151012421611555013345562562310263045344115633216225522425426064025205",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3115430310166616044655101135023611610106463662546261643242452305602604515466454365052443143650362663",
"2332466406356226526106656214421150642112530665346230644624104324310345521663614016214116051622046362",
"4042106653246312244161321134536413645554305522255465334254645534662362126335331012034326256542160514",
"6112442335555030144634565223036562165212540131313051625410051514641155456003261032235330066241654250",
"3234105414521612105406205456032423551135311550656132103212342653446115422515142512333436365655066665",
"6130364200115050601300565152563035234333423321603550131552561401105455014414640360051232110214152245",
"5322620102214306605230323101164314451610231165441141441423612124333565450500142120565011343464512310",
"4032412212266611043120550420604432501352043314602351204252635566053051102340314654441115604455310404",
"1313503643064411455105512012136006512215420240351316351156112026366104462515102451315653624622265040",
"5051333240606634145316516400111645206303212151215556516205366400001260020230523316423115360141611334",
"3304262024645650264005433160425020200110412111202426553240651505234436520130535326543150151266535416",
"5130101663400601056005626055020350032342361412340165335223002310260646602566615413524366430265133421",
"4215055162526435621501203454163164006513563405323660610501142100433520531562550463452503442602053131",
"4345215330040510213342566222206163205152001412103165233304002443044163461301265526262450653126251254",
"3003313401020246234552523265111626516110601261313614031644001413562125113240102622616132246642546205",
"6403214404404610462010360542623452240054335252343202556344242434616642466606363215244543445255143341",
"5523514561065251444451134542550135004156255414051235104240650410444102544562441252016051506012520602",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6652054222436200541534014405161360010003504222110055615440360362024535450536346425612412230454500012",
"0614023041200510261042604121054322612031563510514614545041032545443045433161163653025563263230444225",
"1652360501606262055645311032543625231255533224366231604421611102025043645620026245560136533140651323",
"4232005331050401311014444635114306155001054644352250446540212511142046550404554420402410606051504206"]);

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