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

F:=GF(7);

x:=CambridgeMatrix(1,F,89,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"24516643544361463064455120665442416423524240010655140112345062251545113253444363352051604",
"02030252253560463463022511003166401256151266055013260352410526452304461510342311004162045",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"32452421106364624024016534500554625206241040534520410264164265566043542250162340103451325",
"22164542610430433055520621550531215200255324020545524550451402005135146014334561260010333",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"06622304204416666551210543355015335560152151352132400046426651605615430246143341010545363",
"11145445305646161124203001125023255156656215426245333513112625616321010654211044342242554",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"26663235305022566541126364212354346251665643342233004645326222266144103525434553614315166",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"16460004152341012315004136343626020431625130505266425640555565662322563020344342666341614",
"45652223663406164566426423341040566045261500032135062466216422406435663033246552433026114",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"35315262106534400502443446445535233513323126352500016536341264155433313013023536646561134",
"14621632334005354242241662135540203360264434064116256643055004434264411231053342105530602",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"56554162516265012344543613021666555413462514631252514010313262625212105556163602232462135",
"10202253310502220613400513532515605042121315355162303310021552520552224416655250144231316",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"01360345135325434506420500512560665201142212203121162242522332455504624061125535346100130",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"01020612060330334020164051214066112261262255261463303456506253631146633566206636651005302",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"05600146634655140122130340000202525236031302033342221366144245101623446330523445240103545",
"44431600435555336106622035402021012002503425635453524211401043265042632600334415223243314",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"55530610600032125200052624430146022534251552133411410650625526221041044303625135363656145",
"61256330056530143266545114200603201342233424315446651331636323435531246400504353623352060"]);

y:=CambridgeMatrix(1,F,89,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"46600000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"56106001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"36060044006465212331541560056455516341554532005063463651633624232605626644306030200243524",
"46063666444464453001430135315651260636335321252420665516650055530042652346220143616346150",
"00104140124241244062544233625520215165140460530364143424245224615333602116442063101605565",
"23155256261052605655145352166256536040466514461135554305130122230056102501036104121135220",
"52035423330210601101125325660365332336025162252160134362421421142411054002031135302036026",
"26015631035613606353223145042201032320204425400644353100343506550566606661202015561156236",
"05140352101136052532456040116434563024541250025001064615634655141206252353605661566110401",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"41335022615054056051102525543644311610602623631005351014324334210213055465255041351114455",
"30046442205306012264121164231613351161060320404010316201004422350264444160000526103251465",
"63106006413125320010144056625540252113334036131520004451466500263531204421466316350521522",
"34665125545302010501653104540244402360361626263601106441326410622503034666051002604665526",
"54314503655301153526524305643005514421304005114301420045126201104322562642101612106514445",
"10211423512025425612404153454612220344414402460630111602165613121155561400315232333166235",
"36351442100516365104331210016041221656301050431340535444440646033041605626525005423423524",
"41320602416014262231343562405560032601321501264036121346401016612201360164203035201002336",
"65050052361165566225553113603435001050016550122403666634234264654141362461046144136041456",
"53314503605450515033252661525643445636036142532406656354460113634121501013242251036405615",
"60045115162243656653556035216136015551344212442624351433262120201350511442413266532033242",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"01420432032663422116440210100161064002446414316216126234240104535611141305345254366544026",
"32066360640060463616504503011344341522653635623101302214221535145540652565645222241461144",
"50523162421265162315642114130521544155601032064463640552635506632302421011156226204554336",
"62642260142215232431161653016325533311326161023644005013353022310435202641211140514552052",
"11000310000035166000450442231261240112262321564431113045352665132135234160026554341531300",
"10025042400051532064460244545413262134433056245433604156454215203334361465203150536631001",
"42631635120252115454443334641365555200314226331110362003132224516540161015616244102420134",
"22041313342643261010546231266134332400653045610516104032333161011222424051236066515543355",
"30524634250326323124104066614565406206152135045640545563133353441101341252111261644141623",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"20612362626230414263602206516146555240612355433223640534243433021403220264634025364061163"]);

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