/*
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",
"22221102111111202022000112111211112122120100202120010122220221220002000112010112212102222202002222000001",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"10012012021020010221221001102012200101021121210022011221000021012012202012000101221001101020201220121012",
"01120101011110211220110212200211222120100110220212010211120210112120211222001100000112011112212000112210",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"12002221111222100121001020120012010000001110012211122122212021121100122100122022100200121210211220221022",
"00101012001020111220122212102011021212010212202022010222211020102210202002120122220111120000210211011211",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"12101011020122201020221202101222222202012212112210122102101201000101122010110202110200002200021122212010",
"22111210020120102022000202201010022111022100212011220111001101001010010002002210221220221110221100200021",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"21101122112121001101202210000111000210200012110012011122002101021100202122222210200022002010010210201001",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"11120110000221200110022000210202211222000201102011111021222001021202120211122211122102101202001200120210",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"12000021000212211110120200210101120210021221122200122200010111000202221220222022112011210221021202011212",
"22222000021122000121210110011121200020022002011221202220202011110022101102111001211222002002122012112222",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"11221110122022001221111210002002100112220011201220020201102221022111102002111222100210000101200010001102",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"12221022221210220020012220000111202121202200011012121002002012201000020100211212101111002120000201100200",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"01011112001001210221222202210001121202001102212102201122112112222012001102102212120112101122000212222020",
"10120211222001011221100012210121021221210100210121221102000020202022101111110110221120020110222012112101",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"02112021121201022221120110112210022211120112221012210112211201110121022021212212201212211022002001211111",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"21201100022010101200212211010110102120201010210000220220120001100122100101201011102222201202112102210220",
"11111022012011111122200102222101022101111200201000211122202211112011211010110021102000011022110022210122",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"11000020222220020011221220020101111022122002000102101101110020010100001220210012100210101121120101002010",
"00110110212112120110112021021012220111110122202220111010202020201112221202211222112222110000120102222120"]);

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",
"02121011122021022020220101102100222211102110012102222120112020111110020212012122012101021220001010022000",
"02021102101022021011101102220020100201201100112011012000021221112112201121200201010211002021001101001022",
"02010222111020210110012201002020211101220102110102111121020220120120102021221011100200102121111002001202",
"10011002110220022220101121221112120002102101011111121212201120001202210110222221221002220120110110202212",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00220002100100010011212002110021122102212020022210121211102210110000000202201022211112200012210001220020",
"02100102201221002001001120222100222210222110000211120122211021020012222102100001010020112222120011120000",
"02010102122210111210200222222211220000222111010210212210210112001200120221211101222110101110021000210201",
"20222101111102101201012020212000222100111211200210110200100210002211110110100122210210120010022121010001",
"01021001222101001122002220022101101021120101022212211012120022200002202200020000000221202102011222022120",
"11101122001110000112021100122221112111202012121122120022100221211211022102212210102210001012111020201021",
"10120002110200220212101122002010220112210001110000200221110210220202202121120010110021122021120121020021",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000110002002220200022200201011122112101110111002020200202121220022112220211020200221001021122200110012",
"20022102200112022112000202222022200212121100011020120112112021001111011101122111200200120121211012001021",
"01200122100120110202211110201122121100111201110020012101201021020201102210012220210212000121111012000021",
"22210020111010000000111021200122022111201210012011211200100001010001012022021011211212222002100212001100",
"11110011222211212121212222010210110102122022010220120001210022121110121202122002102102100011201221121022",
"21221021020220021012211100212120222200002022112211010121122201020202110120110110010122222101122200120001",
"20120020000011012021010210120001002012120002011101102110000012221201200212211201000022221021202102210000",
"10101110110200000012001000021122202122011021210121201212211110001002211000210021100200201200110020020211",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"02220021010101220102011012212002120110201001200001210020112010211222012000220100210101011200200212102101",
"10201011011201200011010020210012020110111021102012122212120010210210211022101222200102211100222010200001",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"22112222112001010100011022100100020010021120101001110222212000000222112022222011011010222001110212212012",
"12212011212220210012222220020012110021111121001122000222002120021012221112202011210011101122110021110122",
"00021000222110102021012201200000100101202010210012220202102022002122100102202020012222211220021201011222",
"21211110212121212121111122121210212002202120112122100111112212120011000110112021111122012211221210220022",
"10201121222211011122200102000101121212200100012221102102201022121120222100212001001021102121210012201111",
"00020010222111012020222222011102212210201000110210122122100000011120112002202121122110212121110012111220"]);

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