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

F:=GF(5);

x:=CambridgeMatrix(1,F,90,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"323332422342423121321341414142333021303100114333044430304444200344213140402112142422413124",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"142304443402040033434422440231422012410030112334014221322223242420330244224102022443431202",
"034122240143242210101433002210230101111200100212131311300404014243111313214400000334220030",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"210004134203444120242342444431430433012344324241323213303143314404221034232424212212221310",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"314312022422412000211030211404102013003000130213441232211332014304134443430400343320230114",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"400301000043144423414420433103111012143220300341334031134044243122020222322034011122310013",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"030400001342431413014012241030000134301410430104011103042344043313343110100001303120110343",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"431001144403300330020242034140400403433143444442440410130142400102131411124042201201213342",
"222113234423120212442404232103301321223324111031421222200122134020430134214313103433400303",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"203322133104002132432402112102412424010310344043130140330144043221302204213200224124110132",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"301430213331332414110144022130233122243210011034110132233124241043311101301313301302000103",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"123134424241112033114014323213131423402443400402034424432042340410243434203420340412100131",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"222431043312324330122014113204140101200101303020214002100242334001013340243134343424141142",
"340140034224114434034033120323002004322120130300423134221123404301030413444040340024033200"]);

y:=CambridgeMatrix(1,F,90,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100410014000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"144044013000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"040044004000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"222320343103300300010400303020000002000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"303040100301300000000000000000000000000000040000000010003000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"444140131003100100040100401000000003001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"424040000401300000000000000000000400000000000000000010004000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"432110230121142423012004301241110132234244022202211132402443200120130003403130424004140443",
"200240413314340040133424144224120111031331113303130102343440131244343434322100441302140042",
"103304423421134021403122400424243101303212140424332240001013131144403100424102143001331242",
"110041114322024030221121223024333000133323302021340110141440043321430002124341423140331004",
"420413432404312120201243114342302430121411441034143341322212414402120010413403202223103210",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"102410242032402213341034240423242340443413314010324313302213101044122303041044202110112034",
"014420444331331414011140031220221443234112124004401121331023240342132203014301130432241311",
"434303330022031230211303000440420112143303400130012401042402133322332041023244243432021413",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"441240302311342142422221301330242132244200112224202224102112101034413322031244410320112100",
"433012333410311444432113244341324300330112303123223243002310212312241241133041420300020403",
"102010400100100000000000000000000000000000010000000040001000000000000000000000000000000000",
"021400333300340303330403102342004301422412333333002444130244000221313223022414303101401314",
"011223231112210122431401344411143333440304422030130240124234333444210140331330310111210202",
"223032011020213314230344314423100132230031224241002413132004243402042243211044210142040230",
"242023021410324110314022030430200044011001133132302221014242233414234204014344312032312400",
"211324223203114440013414244004114424301304421421044404411021024141304314213021221240413422",
"320321402421134021403132400424243101203312140424332240001013132144403100424102243001331242",
"114410422024023301312222404021432040402411332012042121212441430443221121101420443224301321",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"232214140322434433034441033212223302204020121430324133112012331120142433044023443303344444",
"201204143403034003243242112122020130321430404223404432022114433211032442342224201413444304",
"213444000240032022144301434032302142442303430011320303321220123024443011341433200432132343"]);

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