/*
www-ATLAS of Group Representations.
2.M12.2 represented as 88 x 88 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,88,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2022000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1201000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"2122222101020000100222110222001021011222212112101011012120002211200120220101100101211202",
"1210101121002211020002211221121000102101220000211101111211012102001110121211222122111200",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0010220122221201022220112211002012202200122202021000111021012121101001021020100202022101",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"1022102222011220120022002220001221201000221021111002100212222022210021222200220121210021",
"0010110120022220000120202201212001112122110122002221022212001102120010211212101012111212",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0001220001002100012121002112211102102002212202012021111220222222100221022120121002200102",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"2110020211222102010201202202012112112010120102221120212012121202102222020111210112211110",
"1010122122022020022101220102000001210102200122010100120110001222221202000200011220111220",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"2210111111002112101000220222122222212110212100110010002002100200221221020222201222210011",
"1111020002122220002211101012210002220212211220101000021221212211101200211011201010001212",
"2121222221212010011011122110110110220022021111000022220011101012111202101000122200010200",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"1001021211022022000200211110101112122012101100202022100000001001010010220011101202011200",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000"]);

y:=CambridgeMatrix(1,F,88,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"1210121020202201222001202211210100202021022101221120001102201012202100002021110002221212",
"0012012111100101020022201111002222102102110201210212211221201020220122221012221201201111",
"0122200010112012002001000022001212002020200212220120110101012000120122001020201020200221",
"1211011210202210121112110012122110211121120212222222211212200222001020011012001211011211",
"1110222020100200120020012122122111122111200011222102222020002201110021220100002120022022",
"2010002120011112101001200201000020202001202220122200201112200101102110102101112111012211",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"1211002222202001211012022220222100010200022000200221001100101200111110120022021002021111",
"2111121021110102122201201122220221111022202110112101212022122012001112210221022120210121",
"1101101020011002122100210202222011102121021000010110000102120202220111200212200010001012",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"1202002101112210102101002102211100222002220122111122211120020200022212021101100020110220",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"1201120002122022112210101220111011101202001221201000121201002020221010121101221110202220",
"0111010112002200211021212210011222110011022122200121011110011210221212022010001021212000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"2221011121022201222002121222012111121220101010220012201020010002022120212022112100120101",
"1112221012001001121210111210022220220201012200210120000111111200120210212011001200021222",
"0121210222100112211110201212200010222002110022121120020022212100221001010100010011110122",
"2212120021010022202121120120111010202120020101010002222001222012020210211022101122012112",
"0011222110022020010202010220111121111212120000202102101200012022020120102002201222002101"]);

G<x,y>:=MatrixGroup<88,F|x,y>;
print "Group G is 2.M12.2 < GL(88,GF(3))";