/*
www-ATLAS of Group Representations.
G2(4) represented as 64 x 64 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"2100200122010201001110221011012011122120011221102221211202102110",
"0000000000000000000000000000010000000000000000000000000000000000",
"0210102022121202222010202021212212200110112110011220211012212202",
"1001111210112121102220000200111022200010120201020012001220211101",
"0000000000000000000000000000000100000000000000000000000000000000",
"2002110112222100022122221201110211021100200212222010112200110001",
"0000000000000000000000000000000010000000000000000000000000000000",
"2000111002111021010021012020120220210020011012011112202100012102",
"2202112010121110111222112002011201000101011201122122010002121000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0121102110002002220001200101200210201111111122011201121101122210",
"1011212022102212202110011102222112000022022102101012100212122101",
"0000000000000000000000000000000000001000000000000000000000000000",
"1020112120222121220011222211000101100120222010011212210121212110",
"0000000000000000000000000000000000000100000000000000000000000000",
"0220211111011220100010010011000112011210101001102001122222211121",
"1100022021122201120110010110202121002001201101010001220022112122",
"0000000000000000000000000000000000000001000000000000000000000000",
"1110220121112221201020102220001220122110001101001011220201221110",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"2220120120100000000000000000000000000000000000000000000000000000",
"0220220020000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0202212101010111212010120221122221122010120100112012121221100110",
"0201000010000100210121212001102121002022122002121020122211021120",
"0000001000000000000000000000000000000000000000000000000000000000",
"2202112212202202112101221022002212221000121201122100212000221022",
"0011121100121001022021200122010122220201101210020120002111220000",
"2010211112212212121111011022210212212201202001002110210120102100",
"2102222220101010022020212011011201220020200001000120010122222010",
"0212002201221200200002010221110111020101000200002022211020112012",
"1211220101020022211002100112120111100002220022200010002001111102",
"1011020002102110020002200102200002000001221100010012112120101220",
"1202220220102002222101101200212221112001001210200102220012010121",
"2121020022212222112122210210202121120001111010221020020121101111",
"2101222210002220011200022210121002122220021012000101212011211001",
"0000000001000000000000000000000000000000000000000000000000000000",
"0010102000210102210010202220221101211010022122121120110222210021",
"1221000102102020002011221002102201011021112210221221012221011112",
"0211020001021210102220011011210212122101101120201221211100120222",
"1022021100220211122202102220211212122101021011021102111221122212",
"0020101202102211012211222120221200021021211221102202210121021210",
"2200002122011011110000011122212101021200101020001011002202022111",
"0120202222010021221102100111211111210112021011001112122112101010",
"1011002202110012212211111021102011022100110222010100210221201212",
"2110222020011121210011002120222212202220100011201212221222022001",
"2211110102201112101021210001220201221102100001020222010212202112"]);

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