/* www-ATLAS of Group Representations. M24 represented as 45 x 45 matrices over GF(9). */ F:=GF(9); x:=CambridgeMatrix(1,F,45,[ "200000000550057705770707550100010001200077707", "000006030216311262213231123001001010010312132", "000003030213611161123261126020100100001321231", "000100200322162123321621162003006100002232126", "000002010311261213312321132003003020020262123", "057020001075505770077077505000000001100705550", "000200100232113622231126612001002300006223621", "077010001507750075707550077100020000000750055", "000001010262116611132216621010200300003226321", "622770262200232161525116770057131311750002116", "611213705010131507161552213311507611750010226", "057216232001507262232223123611161075840200750", "075126131216213010075057002621261044770312322", "611550161770126200611622020321707055213321255", "311216705213751001311322200055162077123077322", "321123505162020200131231525750223570312077223", "055213231505100010705261161480750116321321223", "621770261132001001161505232570113113077312552", "321770231612057131177002622216770550322010322", "312213707257311705322100611213770216075002311", "077123132612611161322010057550440126311200057", "322570162162057226010200262621707057113571231", "075223261162622750001010507612162084750123261", "311113505527322116200001161077261057116123707", "611116505321002612550261177322705321770162001", "622570132312020257216505322075232621770261200", "075226231077200612213231322311131077440505020", "100000010075570386226550707231621162161433262", "002000001611226643116213231707055707705433232", "010770100311116000570123261132321132262000507", "001000002161231231338312321507075705505311646", "100000020705505261338055077262322232132322383", "010570200131132707000321621161622262231075000", "001100707750000611621000750131322231161113123", "010020000113863311612646223507075707705116213", "100001000116863057055383113232622132131750550", "200001000334321770707131338132612131231507077", "010020000668312123231161338505077507707232621", "001200507000077213261705000162621161132131321", "077223232002770077002611126880770113621261231", "312750262010123321100322550770123116077517132", "321226705200213312020177216770126750321132707", "312116507123727226770223020226570126057213200", "077226262126262226216750002570840216322770010", "321570161550262772213113100223570770311123001"]); y:=CambridgeMatrix(1,F,45,[ "312116262075057261622131262213226100700055770", "157113232322322707075705705216223100200321213", "621570705311311162611232161550750700100312123", "216100161161517132055550311262705075321200216", "550002262507132162055216057727161611077020126", "213020507262261505044213611131262311621002770", "213261312020075804075116312550020611321116261", "550505312200622507311226077123200057312113725", "123162275001322705322750612126001311077750132", "612622322000550216216132231132621075010000057", "312075057386213213126231261707055000200364322", "077611622386216550770707707162612000001638311", "321113231505000116226131131223116055010770000", "077223261231364570570507705226226000001123866", "621750505132638113116232161570570000200126866", "123751116116200707621570621010622612057311077", "213126226570001808077226321100075312611622612", "770213570226020707321223077001611077311155621", "216612010257223161057770322057216077611132020", "550621100612570131057126075311752312057231001", "126055001612226705084216311611216321622505100", "131550001020505321231044750622311322311226216", "232216200001132312707077113057311075322223752", "507126020100231077132077116322155311075570216", "232275113507622311705322550001216322057100162", "131312223161311611161057440200550622611002707", "705312570131155057262311770020213075622020132", "705100621312010077162075216572131321077261077", "232001321612200321505057126213705077612517321", "131010055077001312132084770213232621621132621", "262162262113116311131055840507020612612075100", "161261515226750611705321750131200312055322020", "507505262551113057232312570161001055621622002", "621161368075055123216262131863231100000055570", "612262634311621770550507705863261020000621223", "055705000322321213213161161000707001057612226", "321686213216131570570505505621683010000131232", "621686216770705116113132162612346200000705507", "077000550213232113223162261055000001055161131", "000611132123312010200600006113612002020262116", "213075707770055100020000000570077020002507750", "000622231213321001002600003116312100200232113", "000226611322232060600020010132116100100321262", "262570057057507000000001100505570020001055507", "000223311311131060300100001231226002020621232"]); G:=MatrixGroup<45,F|x,y>; print "Group G is M24 < GL(45,GF(9))";