/* 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", "131657858362480782134271385254367215543212542756565700184271345", "000000000000000000000000000000001000000000000000000000000000000", "001021220201200100010000201000000000000000000001000000000000000", "231811363614203575052557281802515142361282844675147055781150807", "000000000000000000000000000000000010000000000000000000000000000", "050300188051056537250013273274263478514445154306814274603005658", "038462181778032031665328168224844817128547434845185250701024764", "000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000", "476848451114145151544814521808505643065700854616721211760422587", "000000000000000000000000000000000000001000000000000000000000000", "266007420801233180321183455527277187535567862351625386323321742", "000000000000000000000000000000000000000010000000000000000000000", "347172735546228326631483653741412831445722023800074283101633840", "000000000000000000000000000000000000000001000000000000000000000", "330887115131502814832652780286605551311353483336871436301728610", "000000000000000000000000000000000000000000010000000000000000000", "340350337548783012253154587242824536010137757078881285678104522"]); 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", "631215024647408007738058236067334813356270038663321315326024244", "000000000000001000000000000000000000000000000000000000000000000", "332044682875253584615248751455540226416857506344372184764018853", "802583533704417070560346446172783841007462633833088602665875830", "818702713353567370048784501754144838384828222236468558773178443", "353435456365115816307284607062242486356308213433066477401381526", "812476132461620681025768461780227863874261004774870874841151761", "000000000000000000000000000010000000000000000000000000000000000", "603204234586253035738813545412632515585441000860354467370258331", "001000100201200000000000000000000200000000100000000020010000000", "885782675646518178342084482480361686117527162023226261257777010", "255001826438415156220216088521414138872244486875604454444650371", "452417276333534248436510738268370818814688780316058526308451605", "780607764417258600426210582265066888342787381788718610837302607", "000000000000000000100000000000000000000000000000000000000000000", "382724676835605616823528830013017570220557138518217384881333522", "463558642403802644214707782042448300213712332016448178112688414", "100010200102200000000000000000000000000000200000000000000000000", "543647280001672034472000668607177547844634344072750812256464871"]); G:=MatrixGroup<63,F|x,y>; print "Group G is L3(4) < GL(63,GF(9))";