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

F:=GF(5);

x:=CambridgeMatrix(1,F,85,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"1110212110042140333121040412242444410424440013412421414131211422003432042313024333031",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"3033143342313412341412122430023100041244030224043420214144421323420214213032021422101",
"1341414003132200024334302124203433044003431102141420123320401200312444233422240030403",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"1322041043404443012233122042144030313201324234032132000232203002442340012441034033433",
"4201044010423433104004112032131332023113001221231241230013231110232302104042033212110",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"1223101200223423212014343411223410440041032003320134234004110224243303034000433212322",
"3033403044303244143342224103403032442412020240342421001411121140133333413004311422333",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"4123000211003242410323422334140220310423224034113034244304014131143420210142032221332",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"1243312344104414332443340011333200024022041104031221042444412342343140340212241203232",
"4301112313202131241311322133021304321220440240332004322111420043104003003124104203013",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"2331332231321330420331342430442211321240203033122130400002122243044310104004121311033",
"4202134312212021423340124442233013233240032334444231200242103300012323031321044342201",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0101142430333240020213224024221212012402433214432212332433234033211400001300002223444",
"1404103304124203413402331004443204230331433342140214221202422041022030400203403202421",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"3320032013441121201302014311314123233034312122203331211003100220342214042012334011003",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0133140220404111043332320320134221311130003314332134402420242223310212342222102100244",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0244334342421224214201034142431424133213204310133120320140340141411003241240241041132"]);

y:=CambridgeMatrix(1,F,85,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0440000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"1210400100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"0212232101033102104422131324434002004031110420131413223413334144240020223401104114041",
"3031304241231300333002141224443344020114304433401012203313233332344311433301241301313",
"0240243043421242233332123243103301320031222141204422304212411243114234224111310304420",
"0021334224120034310012210042041310030421141010432200120404232022241432003442320211341",
"3041323012241340321400400043443412233430110413122440142312303130011010221004131114124",
"3214013400203001430020120402122140203140230001134003012433323424114323423240233111234",
"3340000213444231403042311132314330240423213422233144342142304430423434144111304003201",
"0301011412301112132303044231400203031044332000423010434241241224100404220300222224140",
"3324422033002440302124243204042440003203132430321410002303320001144401222113134110241",
"0304034232201220001334220204343214400342323404123331142420203132424013431431422114433",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"2101313104243102141102313231044332441101211032240130021203324324202110214144221144124",
"4400412242023321014242224112101003442142234334003102301130303140212334111044034403014",
"1331220020210042341121001241324430144313114213202403344031314140202434003000002201230",
"2330340341200033310142031324302241141310324431324043101120023442203311301222343130400",
"4040443042300204023334044434232434411104420233323244104204102021143242303130213204012",
"3414231240433413013021302112011220330331313101024322020011124413201411242023424023041",
"4034422204222033123132320311223010404142433330042104114111440400212012220443210023043",
"0322232412222421220100003244404203244123034204442343131332013323114434221120122230311",
"3344342044321404304411344343141403022412441011400111204331130122342110041430012314241",
"4234041230214141223443113232041101442301104030033333330010304212012231322210013432122",
"4402403233024220100220431304130033314411414120332024014430422323024143424301123020341",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"1114334311211432443332001142000121304103304133104121333221003021213112012131130334213",
"4324133312244121424434021210142433242044104421404104201033204004200010403312443021331",
"2214434042212020004233013401434444101314044441022123242113424114021143420203224440142",
"1022010433233013203320234121222101422234132013442134101400004240423413320322144021032",
"1312141402003223243102223242332313120344141314032104234413122020033404204030130234423",
"4322404221141121134203413323434103113231120413104202100022203044010102412240303303311",
"3001200433023124000043123300111430213112313120033424403034433322104104140332030030131"]);

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