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

F:=GF(5);

x:=CambridgeMatrix(1,F,90,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"223203103431422043142442231214014111413210030023401301430344410202213343440134044023140032",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"112433222131411310122134011014331022412440144124011120430100041021322123211303010120002223",
"042221134104122441331013201012112012404002023002142140402032221302310112112201214023232331",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"333144312240400412313442213322421441401420421232222101140242001212242442332012433023411131",
"014222112434223102100101310413303122131044142404441021014431321112341313444024003430041401",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"004232120032441142113040430013100334314143041122210014042404032244324200443414311221331134",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"341214010124202042122132004143041223243230424104212142313023201044040220243344223242103233",
"321421401230104032134341123201121123223333121343220431344234412342204003100000213300002403",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"323100330211120043042442114432411104000243234102431142444400443103214331021214100114101433",
"311133434223313333431003030143433223241240104020104404231001233340201334030324040242040234",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"234141031223404402314130410141402112342420113320303043424031320033134001303103440341401004",
"104034320200440131014413034433144001131142420412100320431044101042011321004401114324043144",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"212004011413212230011021003442331302342311442011332223343432310011042322122214123013333323",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"221134234424204400340231440443410241133400113214122014401424040144410311213330434324023302",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"201420111412000423032342403013044334200402240332402040420342200000234013142223140144014022",
"434330310134212332112141041424313104012201334324434231004104243020233332240430412310001312",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"023420323013342332103411103140043204422214411043114444412230430033103230241102200431443021",
"430000030240434020421321202114323310023031343124303433142210221004424012110324004002112311",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,90,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"044000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"121040010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"120404001110001132341230044021431200433223140043442024210300042432140432010120411213011000",
"310441420321301100010121324110244312314020340033331144021314122132314102122223341224230202",
"323242404131212030441440130140011311233331210302313343232144220444341040311123221001433243",
"123421030212112330412024031022320433124433144403001221230214220021442244014030033221333334",
"020301422314001213200103103010232311111222244003001003122222221422310221300030022343101241",
"420322033223210144201244434340144341004223103143240444203003412041242104030311020000423200",
"223121322331401100130101313204332334032010230313143334301222002231304220203413310320130103",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"213124410301110213402313413003034424313433411222301104203324332424403013210422434231042310",
"144422133020444313210444022202013421444300130420234210134302432202344001140041103043404330",
"410104320401140201404312204323210442022104344324023240310412011023031002103334210443434333",
"123331012333431442113103024442440014440213023443433134324212402040400224000321010100424010",
"304234012020421001110012232303143000233033043134411202144120044024244120322431442441413341",
"212433302401443400201442341314301140242202340111424110113412112411412134444432012024231401",
"232300134010142234440322211442413302411324423431110123030102341102114430300113114242101222",
"214222022221210414334320221403341032243102024231002111433033041423443410042221442000123204",
"322414314343434403303244304131142112430313114301002404203422201104131414444314303341403000",
"043442212422021013344142421142234211210324033333311424241041020234030123212210102312302143",
"400243020444104010424024230434222004224412322203413324300132332102434232340030304244222143",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"412441113032440210211230404441442441320200221033003441022132333301024430143344301141144004",
"301441102311032422410441034101002114222044430333212030033110442313404141031222443303410210",
"000432303403013202010230232100134413312344402330432241243404241033422244031114320313321210",
"223334123303101403443443301131402332101313340001103331201340241144232110443224232244102301",
"224112324331421330200310130343104220241320111203111220333124321313343320100422342032004432",
"311334202224214304242032233211022212022444342044300313312110023331034224300210404131020402",
"003243022102414033021123241414112310021313120312001034033022100141023422042213302230141412",
"112203221200221223013303110231231340444013023411214423031022434110104204434400303244301331",
"310433443001110010313340113001402340120001411132440422121024101320413001432023402010323144",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"434213443401312233340344423411044404443023142134302411224231233401014242033120440233032023",
"344220330143313432113110130222042203301112330042222344323131231020010033032442322443301011"]);

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