/*
www-ATLAS of Group Representations.
2.O8+(3) represented as 56 x 56 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000010000000000000000000000000000000",
"11021012120001102121221101100120220020121120100200221111",
"00000000000000000000000001000000000000000000000000000000",
"21200011100011022220101222211000102110101110110212212020",
"01000122200100102201112222200000212121222000021222200212",
"00000000000000000000000000010000000000000000000000000000",
"20110220201001210111011121101112210002000021111120100101",
"11011120000222101000110220210102000112211001022001022211",
"00000000000000000000000000000100000000000000000000000000",
"22101102112112201000002011212122211021110212112110102122",
"00000000000000000000000000000010000000000000000000000000",
"22101100121001000000120001020022110021120102012112021012",
"22021220202202102101020120200221021011110110122222200112",
"00000000000000000000000000000000100000000000000000000000",
"21221111022222021121121020122201020010000100100000110000",
"00000000000000000000000000000000010000000000000000000000",
"01222121001100101010000001211002100011212211221200201212",
"12010021011002002222202010100220022010222211221121101010",
"00000000000000000000000000000000000100000000000000000000",
"02020021100211211012212110002011120202101211101202221002"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"01222200200000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"20200200002000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"21221202201002000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"01000020201001001122002212022002222101211212020112201212",
"10222200120000200222202121221121121121212210011001001001",
"02011202122000102212222100122102200202211202110121120020",
"22101100220200110121021002212112000120021010000102221122",
"11010121010121001210001121002002002001110101201202012010",
"02010110221200211112222110200210111100201000112221200011",
"00000010000000000000000000000000000000000000000000000000",
"22001111200222212222122200221220001012001221210002120222",
"11122022212002220012120200022022011120000221201121101200",
"11202020102221022112000100211100222100112100211001121001",
"01121121020201110100021221022220020221112010022101022112",
"01010100202001200121012010100212200210022222212211000200",
"20021020022220100110012121000012212211001001012101201022",
"22202120210121000220221120110021000100002122120211212020",
"02021021002220100011202012020010020102001120012212120201",
"20221202001020210012212210021011110012112221212201211122",
"20001212010021112020120011101020210021202001110221102010",
"02211211212210211202112112002202100211021220001112210121",
"12122000022021002111122110220201021220220001010202011111",
"00000000010000000000000000000000000000000000000000000000"]);

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