/* www-ATLAS of Group Representations. L3(4) represented as 90 x 90 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,90,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "324400000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "410100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "140041104000000400100100000000000000000000000000000000000000000000000000000000000000000000", "003400000000000040010001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "234112000012230000001000020000000000000200000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "322400244100002004000000000020000034000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "432030300240024420033440010234040001002043000000100003004000001000000400004000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "311143420200443033242232413102233012333120223033242211213402241043211102403240042440043100", "002243333142402320440322444310133241003404410131131004022010421034422420000100340332201300", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "302041434243103400440420221022233211424121000010130233443004044240120114011400324012212304", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "402321021443112431302324413230032013043003324131004231303010112010140233011204301202230001", "044401030043331310132040441021402344222314204103411400301010033420342033014300212422244001", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "430010121002103344214000420023000333203234030032122003043004402121000400003300022010022000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "112412404100410124333400014130000001441003000004100003000000001040000000000000000040040000", "441210312010044231200014100014020442210441322003422121132001104430024431010100300131201301", "003441311210144202211133410102004014221421123324112441343033401043213343024200110214332300", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "230333413432310142201440434412203203404123000010430233413004244043120414011100330032210304", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "130311412021334210420204313002112241342324404134130410104010340104313021012300312022224240", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000"]); y:=CambridgeMatrix(1,F,90,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "410000112400000000000000000010000012000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "140041104000000400100100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "233200000022430000000000000000000000000200000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "230032203000000300200000000000000400004000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "140041104000000400100000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "433342034244212242313020223440020042030002000000300000020000200303000300000200012020003000", "140101042310241104142024141411343241312212413032032030142033200431001233034400240141432000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "231132021240032242244144230140234411213031243304214343331403412230303013001100030214024000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "242024000000000030020003000000000000000000000000000002000000004000004000000000000100000000", "044322143124232323013023022420222402444031141024110320200440302424424014421100212313020400", "212111300343120412320133342133213312333113031432440120010444342021240241021304020143212304", "033044142404141044420400130333330021044112120041202000004212334102441403241441013422224140", "234024112003000011414302342110302404410411043304412122334004140134332041042300113103033103", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "302041434243103400440420221022233211424121000010130233443004044240120114011400324012212304", "400240032143002104332411044004230400210132122441222431112422002013032144020404040202144403", "420033324210431232333130141041244134310103102440111142041102201330402213122014443242044404", "301102404023410312133310101030004410040322034003410232120040113204241221002000033323030200", "322332021413030243232212212312132314321022331212303002133240020244330211203400414433141222", "414022432030120213201011440041444320202240134133233231122431203110300141034100220032432400", "014240134014103202343104203303014421132123344002202243242410203240232123404000042030032300", "244012000000000010040001000000000000000000000000000002000000004000003000000000000200000000", "024321444000423142413013133443222142144113003033334221401142033301302311133241134020214033", "324333434414120312442040413433342040010200204120201301344000220422240434030400224111023001", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "111010011131202313313101324332401343232142334032241111040332401422223432023200234401014200", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "032000422320113232003202423302440311022001323402024003303122221342411220122314304134444412"]); G:=MatrixGroup<90,F|x,y>; print "Group G is L3(4) < GL(90,GF(5))";