/* www-ATLAS of Group Representations. L3(4) represented as 63 x 63 matrices over GF(9). */ F:=GF(9); x:=CambridgeMatrix(1,F,63,[ "010000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000", "000100101000100200020200102020000001000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000", "000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000010000000000000000000000000000000", "171563464752840342178231746268753216687212682365656300148231786", "000000000000000000000000000000001000000000000000000000000000000", "001021220201200100010000201000000000000000000001000000000000000", "271411757518207636062663241402616182751242488536183066341160403", "000000000000000000000000000000000010000000000000000000000000000", "060700144061065673260017237238257834618886168705418238507006564", "074852141334072071556724154228488413124683878486146260301028358", "000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000", "835484861118186161688418621404606587056300468515321211350822643", "000000000000000000000000000000000000001000000000000000000000000", "255003820401277140721147866623233143676653452761526745727721382", "000000000000000000000000000000000000000010000000000000000000000", "783132376685224725571847567381812471886322027400038247101577480", "000000000000000000000000000000000000000001000000000000000000000", "770443116171602418472562340245506661711767847775431875701324510", "000000000000000000000000000000000000000000010000000000000000000", "780760773684347012267168643282428675010173363034441246534108622"]); y:=CambridgeMatrix(1,F,63,[ "001000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000", "202002000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000", "200221021000000000000000000000000000000000000000000000000000000", "012222002000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000100000000000", "000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000", "000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000001", "571216028583804003374064275053778417765230074557721716725028288", "000000000000001000000000000000000000000000000000000000000000000", "772088542436267648516284361866680225815463605788732148358014467", "402647677308813030650785885132347481003852577477044502556436470", "414302317767653730084348601368188474748424222275854664337134887", "767876865756116415703248503052282845765704217877055833801741625", "412835172851520541026354851340223457438251008338430438481161351", "000000000000000000000000000010000000000000000000000000000000000", "507208278645267076374417686812572616646881000450768853730264771", "001000100201200000000000000000000200000000100000000020010000000", "446342536585614134782048842840751545113623152027225251263333010", "266001425874816165220215044621818174432288845436508868888560731", "862813235777678284875610374254730414418544340715064625704861506", "340503358813264500825210642256055444782343741344314510473702503", "000000000000000000100000000000000000000000000000000000000000000", "742328535476506515427624470017013630220663174614213748441777622", "857664582807402588218303342082884700217312772015884134112544818", "100010200102200000000000000000000000000000200000000000000000000", "687583240001532078832000554503133683488578788032360412265858431"]); G:=MatrixGroup<63,F|x,y>; print "Group G is L3(4) < GL(63,GF(9))";