/* www-ATLAS of Group Representations. J2:2 represented as 101 x 101 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,101,[ "01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "26304341146105240616421332144533450565061122552424002445504330452251630032424230315265522132601421446", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "03530220611104144634254541443052410366042515365634601101521163252046631100014432542451564432164153436", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "44404506445520324634254622040055022656101205416135654465044615226153511455654635423020115632052026255", "12536252326462066560132103552645554306521523151065514214652165150256032632552660422005541604065461420", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "31334646343242326610261022566625162653233113240061633345605555162152315125525055462014045634030164334", "10010110344005411463615660055542145542325163335100341254431405206533340463640344306336533331605103235", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "63241030251200403445526163501303615606463462456013144331214536510552120455606314065444526440053443643", "34021046251325441541466452045051304544560622501542151514631330201503121154254301520651641021044645361", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "20034225462516340241246625116626652051403215400202132602016345605306400516621301356646255045206552261", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "46503266213124034003436106431543455606336351540106334154221654306412144531200326324142063402163401204", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "46323350354400202300065623064036354313233036030262660500015466566565635565602626201144566150601411202", "15135546026001141343122630164211656244013021461333051420151425366401165452424643501306426005116031606", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "05661320330350005260423142354412100155224435234362553526635465361321451416136552240552006255244216526", "44023415503106030232061156543412544052135104251313444416124253610254242304335061524335131540556044151", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "13213330026322164352415234040030644465456005213614610360355200352464342365033552060033321343346450553", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "41003326523544545522616464102014612160050625460124001133146106011131456402404461656465064010536103165", "62534640310405642526650255122216236505026455246362561615503362545550021412551302414460535155501633023", "56061461465310504302423134135360121613456100020432542023036543653114064624165543611142452660205100165", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "51404100131034033043462225630333635143110224440411604660313341210124340066620135341543655611323150510", "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "10044136655502055260566031055540510365300444134511604162231142644566055662400255344511030363446411532", "25300104212024162305032545312525535302304421211012162666660154113156345044415242016130240101346543011", "00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000"]); y:=CambridgeMatrix(1,F,101,[ "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "26600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "23106001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "04303463031053024613302226622656244612621341246300335316361360303263532301655610525142432556122105212", "46304130664043633522602055145125250221453510660625323435001223436352341361333112410562105020364322641", "05414304643536650561402406052342145412320566052141415234523656442305141134004506453040342011324645356", "64333435005053451610323205302125160666505450630566402106341503351260244400515004561064263264503112450", "05150340332116466542456302540365132650110636263104055523013331342440422546626246466114335361031136264", "32141422314562164511643202146001021504220020255646411310360215255000134421004040424630366512200030323", "11012004530531461014346456451640346641505265112616506144036023532051226400342612561146366622515133522", "63505100253556052155613500054454251122515303604113402512232534613604523105161115644011064554132425064", "34465426161245562463131550100342056263134555664606116215134624003650523002336533512000400520266336421", "40103150411353551025320406613616515104343256323533140535626144531666035055066155655244416015221263216", "64502245151021360435221625420005346435445402035042146055505161125064036366521405423030323301050003516", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "26462226001605401311300443215421156036164224455556314053102253622036531514340001526122005564231205663", "36436216403624232164414104102624022051056106653231154610132311650016142650446534450506225265653466663", "16364600406530120533020535352424002066642652321010225261605400503465222613261265246222546155535240602", "54013630444055302644515200522035300133633204020464043156231516463145551503231140650446511114206320446", "33436454145353115026033230661056120635531442035441301614662454445364040654501366026236513524153011011", "56604413322303632265061336130040113632500411446205063121153642442115504212214656343515610350651343011", "21101560434514050331320501361331526462136121456211021210055215624656152255052332325341055346606522510", "11663251530354643325202315160120406066344262414650621331001245556436646524564610253356404621254563624", "34141615540532666202356450460241266551616352266101063263340662055643234556233511211220632246404211652", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "23066534100411625362420062342336133250521412523304042056564613134126601221645522023656423233215234421", "64553601165510451332314202554333033421646236511340251314526364212243066501534522540406250016204531312", "06131451054255046055005602210603466464424301016623224242534640215631033620404033104551634350043541454", "40516561635021522404034346361020163011631404633122063242551665200340425536622565426531004060103543300", "33514435023056024221532232351224502052216021364333554311605360650153202216124553440633616401656505651", "55462451443605232323530125010144556632144325620425016502546316302302036323303313352053641354020111415", "13613166241111304204623003351561056023321055035324425113311204341230102035116064662442321631403565340", "40261626220325405254230552041235561632622141412654265035154050633324551615464150503013023544616606141", "61242231121403600001244165113656324164223030650003102405034406302146456245044445302640250310111044565", "12165516150225032505214524064423550645435061323431211112121560364013642511066430066443363664146534323", "24041134201020200341456412620656063615123651456025151265250445120441550052363421412611655255245110245", "25532405306425521303503360412402514254051000132014231002262425312166210155002110412012126445662020022", "21613120656152414243310301052160030000140031162666253145061560400334045442652446535434440142355223324"]); G:=MatrixGroup<101,F|x,y>; print "Group G is J2:2 < GL(101,GF(7))";