/*
www-ATLAS of Group Representations.
M23 represented as 104 x 104 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,104,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000200000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000100000000000000000200000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"02100221001010100212012002012200122121122012221212200201110011101202102102222010020010111102211122122220",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"02101021021101110112100010001110222011002111021202002120210111201120100010102012012111000110001011221202",
"02020011221120121220101200211200111002200112221122201220001122211011101010000010000202121021212011102202",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"10100001100122020202022211021010212111010022111202221110011001000020012122222012220222020221211212102201",
"00212112110002012112010211011120121011011212020201221010200022021022101122220201210111101020201110212222",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"10110102000222211212201100101012122020112101011021122112222012022121020021112000100212221020210210001011",
"02002102201121010010222122001000220010220102202021221212022102221122110221222211212010122200011210201000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"01000210201002022000102202221001012220211222221021211002100200021200201010212211220221122222101102002120",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"11211000022011102021222221011221201200202212010000001020201112110012120220112111101011222211010012100120",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"20212011110211220112000102222120020120121012122121020002212022021112002002010002002111120211012012220101",
"12122220200211112010020200101102211112102221222011110122112221012012220112021002010000111120222110122111",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"21000201010000002112111222122022011101202011010111201011010010211120022011200010022121200101112000102011",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"22212110211201111111211011221111202100121111110101012110110121202221000222102212200020000210121220100111",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"02111102020120211210121012200120001221210210102101102220020100211200111120200212212222201022101220020100",
"00000121100201101201211100121001202101200001212012022211100001001001002212012200211121112200210021012221",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"02120200121021222112112101101002211010100100021111200211002220122020220011111221202111202110002001222022",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"01111010121001221210212210010111101021212002112001121202220002020100000222212002000010220222212222102201",
"01110111011112021122012010022120010112120012012001110122210101210101011220021222222000002201000110000011",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"01020100002111110020102000000100000002112022122122000211101001101121000202001121101101111202210011011212",
"21202111012112002112212202022222020122212011011210110110221122212001001102012120102202221011212010201101"]);

y:=CambridgeMatrix(1,F,104,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"02200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10201000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010110201202100210021112002021222120201100200012202222120022111110122120010120202102220220200100121012",
"10121202102211002201100101012200012120100221102122121211211100111210012010121222212011110210110002200102",
"20002210220100122222201000122202200022210102122010212010022001011100212102010212112100001200201101010022",
"10222110021121001020211212001100101211021002202012010221001112012122221102020212122020201220112012221020",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10122010101222122121001122111102212200112222220210101221120020120221202202210122221012012010000121201122",
"12111212220221212000001011121121000020221021100210121120001111012011122221121212022222200211200012220021",
"20201020102222202110000000022111112200210100200012100002210020211112221122211221222121222200000212112000",
"10000012200022100101222011222210121211210001102222100212012012112112211212001211212102020220101220002200",
"00211000001102022121112201002011120200020022011021111210120011011100210121222000112101101100010211221111",
"22021100102020200222011212110222020121200222122101112112112221211102111212101100010010211222010121011000",
"10102202022211210210211122111110020002221120220200000100100120121100021111120200222210011121100211220222",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"02221111012212012010001211002021221201102011200011112012010122112010122012211110010101021021122101112001",
"11112021212212112011221120210212211112002211102101101102112020200220121112001022101121221010202212221022",
"21002221220101102222102001221102212000011010202202122201122210111111221212001221202220102220001002101101",
"01020102021120020021102011210011111121120020200121111212021121102120012101112022021211210210021220101110",
"21210110210220121110221010022000222122112011212102021200210202102221122100101221100110221221010122201122",
"20020110010102112012211221211201102012200121022220211220112211102110121212020210021202220012000010111200",
"21100100100112120100220001012002021211211221202222202212002022222121010011112100220001200001120201110001",
"20112010000002210002021010002101121020220202001122102111010001221002011020221212220100102021101000122100",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"21001102110022112100200010012122220001210202100220120100221201002121202001200201111111222122101002201221",
"12112101100001121020210222210202012012221200102220022111020200220221021112011001211120100210210212222201",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"20122201021011201212210001111201021120002020012121112221000202111120022100002221120220011012122221200021",
"21012010110020112200122121212212122001001221112121011022010011122121211222021020001201022222010021201110",
"11202200122220201000102012200120211222212221221020122220120012001210211111102002212112020010001121200121",
"02102220022112010202222001010111010121120212110020110001121121020202002121021122121212200020101020011100",
"00222001012012100002002010101111222110210200211102000100200120120201102201210211001220201200121211101100",
"11222210111110022101100212100121122022100122012100221011022000102202221122221202200102220012021100020200"]);

G<x,y>:=MatrixGroup<104,F|x,y>;
print "Group G is M23 < GL(104,GF(3))";