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

F:=GF(3);

x:=CambridgeMatrix(1,F,63,[
"010000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"222020001001011100112102102002122000200002000020000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"110202200221020121112211121122102201100201002020000000000000000",
"000101121100201002000000002210000020000002001000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"110001002100012101001101110110001000120100001000000000000000000",
"000101112110102011010012000102100001202000000020000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000200210021120120120212121002200001200221000020000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000201222112222011211211010112101001100100201020000000000000000",
"001111122100222100021220111002201002000101020020000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"222021011101101001121020010102201002000100000220000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"110100101001011201111120212111101002000102001012000000000000000",
"112120112022112122200112121210000001200201001000200000000000000",
"110001002102022101221210110122201001000100002020020000000000000",
"111110120002220000211221001020101002100001002000002000000000000",
"221011011111101211122002221122202000200201002020000200000000000",
"111210202010012012022111002201202001100002000010000020000000000",
"002021022112222011222210002101202001000002000010000002000000000",
"002022002210012112001101112210001000100102001000000000200000000",
"001112110211100112112012102202102001200002000020000000020000000",
"220001000100000100012011121010102001100201001000000000002000000",
"001110112002102200201002221002001000200201000020000000000200000",
"111012022202202000212020020001102002000200000010000000000020000",
"221212222222222221211210221110101001000201001000000000000002000",
"220002012211122210122201202022202000100002002020000000000000200",
"220001010100110202000101220222000000100200002020000000000000020",
"001110100002010000202100012000002000000102000000000000000000002"]);

y:=CambridgeMatrix(1,F,63,[
"001000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"022022002000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"200121021000000002000010000010000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000001",
"100000000000000000000000000000000000000000000000000000000000000",
"021220000221112011002011201222021102121200212222201002200002002",
"012010212102210001222102120010220112110100012210011022200012011",
"210022000220122122222001002121220201220021001101110110200101121",
"100000001100020211202212021002002002012111121002111000110122212",
"212022001122022121112011000212101020111002201122211012200212120",
"210212220012020200001112202221020200222021112200000111101122022",
"200020022221101010201111120101211102002122011010122111022020202",
"000122000221101011000102020100001112002100201112210210200211210",
"210101122211122221222101121010002111100011001200221100220220121",
"011220110102122000022011102211102111002200010010200101012210100",
"201121200102110111120020211010110101022220020201121111212202111",
"110012120101020220112002221102200011220011202021101211002112210",
"112212010212122200211101021121200221110101220100022011222202200",
"022121212000202220210212120001211022020121201111120121102012001",
"122202210211110122101222111211110221201220210221002222222100012",
"122202202101002210112020201011102201012222210112102211010121111",
"000212001101000211200221222121201102121121002211222111002200122"]);

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