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

F:=GF(5);

x:=CambridgeMatrix(1,F,72,[
"010000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"023223212112321014430030100343400001420424004124210103134110011342231203",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"442112212041342140334441243024424232444102213102011132324421132141440214",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"044014331142004020312322413431103124310112112023220144414111141041001140",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"332444310033134043420401020304303120243220141102031124324203301143120244",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"213103203122043041100234114401313213421103013330412213144440430204044031",
"000000000000000000000000000000030000040000000200000000100000100000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"242004123111421130040421141324240120232000112301221434322401110234412220",
"401324124124344424322030334021003224403311423001044344241121033424344121",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"101010134223010114144132004040211442131344122241011434044103000043241432",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"223422214101014443020320011111231024212414401123241221241321130422100322",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"022433343220303221023210400442400401303313041230242401320223001143324423",
"000000000000000000000000000000030000010000000400000000400000300000000004"]);

y:=CambridgeMatrix(1,F,72,[
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"221200000000000000000000000000000000000000000000000000000000000000000000",
"244400000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000",
"400011000000000000000200030000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000",
"220200000000004002000000000000000000002000000002000000000000000000000000",
"410023000000000000000100020000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000001",
"002443433424110401404342231112032321442224140423100223441123041400303021",
"122444222443433003442432134232144332444420411310413304110303443243430010",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"203201113310044004430001032304210120402121134141134403214001134210120141",
"422100000000002000000000000000000000004000000002000000000000000000000000",
"113121422000200100403144401221233411303022242034104043413043401333302100",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"414211122402100124120022202012431420220020314144440041230112304442121013",
"301132021104430314401222203322444000102010332033244334242323301111141032",
"141114120344330142114212102104403221234004114102310421444403034342240442",
"240421121304430431210241044334321200410143240221212013010303013030230031",
"120033441424300430340023033201442121432232121030442240114222133334044002",
"224101424213121444221424204241040204223033112322101423411443013111013034",
"311132324430303001103301441033321403114221213441211220110303333043124042",
"210413140032044332102330041414210143012320124023323233204404102010411201",
"140114043030311202222441244030412242220320120022310410234410124434003021",
"131130443030204143321122303400400320132204004031312243422241200010142324",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"014232123414310032344021114334304013103143300034230410231103343322102344",
"244413240112040034223320004422010303311144220224022020303100021102203302",
"330314011132231013421311222223133122020333142200201223310100232432004323"]);

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