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

F:=GF(3);

x:=CambridgeMatrix(1,F,35,[
"01000000000000000000000000000000000",
"10000000000000000000000000000000000",
"00010000000000000000000000000000000",
"00100000000000000000000000000000000",
"00000010000000000000000000000000000",
"00000000100000000000000000000000000",
"00001000000000000000000000000000000",
"00000000000100000000000000000000000",
"00000100000000000000000000000000000",
"00000000000001000000000000000000000",
"00000000000000010000000000000000000",
"00000001000000000000000000000000000",
"00000000000000000010000000000000000",
"00000000010000000000000000000000000",
"00000000000000000000010000000000000",
"00000000001000000000000000000000000",
"00000000000000000000000010000000000",
"00000000000000000000000000100000000",
"00000000000010000000000000000000000",
"00000000000000000000000000000100000",
"00000000000000000000000000000001000",
"00000000000000100000000000000000000",
"20022211210012111212121120211101200",
"20202121012112012212212111022000210",
"00000000000000001000000000000000000",
"12001220012112021012212011200201220",
"00000000000000000100000000000000000",
"02000022212110022010121021120002110",
"22210110002110201110220121210200010",
"00000000000000000001000000000000000",
"22120121201010000110200222022121020",
"00000000000000000000100000000000000",
"00002021021122212122120020100201200",
"10012002000022122220101210222101120",
"11220102121212112211010020200100002"]);

y:=CambridgeMatrix(1,F,35,[
"00100000000000000000000000000000000",
"02200000000000000000000000000000000",
"00001000000000000000000000000000000",
"00000100000000000000000000000000000",
"00000001000000000000000000000000000",
"00000000010000000000000000000000000",
"00000000001000000000000000000000000",
"12102001000000000000000000000000000",
"00000000000010000000000000000000000",
"00000000000000100000000000000000000",
"00000000000000001000000000000000000",
"00000000000000000100000000000000000",
"00000000000000000001000000000000000",
"00000000000000000000100000000000000",
"00000000000000000000001000000000000",
"00000000000000000000000100000000000",
"00000000000000000000000001000000000",
"00000000000000000000000000010000000",
"00000000000000000000000000001000000",
"00000000000000000000000000000010000",
"00000000000000000000000000000000100",
"00000000000000000000000000000000010",
"00010000000000000000000000000000000",
"01202221120022102200201002010201020",
"00000000000000000000000000000000001",
"22011101021200120121220111222122122",
"02012220101011222010021002012011020",
"20200101011101202101220111121221212",
"00212111211201220120011222102122001",
"02001120110112112022101102010010202",
"22201000110222201221212101202100121",
"11000210001221221012102100110011212",
"12022022210012222021001012010000201",
"11022021001002101100222111210212002",
"11021220012221220000102110110002201"]);

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