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

F:=GF(3);

x:=CambridgeMatrix(1,F,34,[
"1110011210110001101020012212210121",
"2211221210200110011220121112012002",
"0211112210111012120001121201020020",
"0101220010102220211110000111021122",
"1221200212211002110221100101110211",
"2011220002001111100102110110011021",
"0020120000012211210012112110001011",
"1212002112221202110211020000202212",
"1110211020021211011101011101202200",
"2020212210122012122120122110112221",
"1122000020222120200200202220110120",
"0020122000022211210012112110001011",
"2101122221121212110002022101020120",
"2021011220021011201120110022100001",
"2112021022222120220120211120200011",
"2102112221111221000202221101001120",
"2210020001202221221011220221112221",
"2101220110202010001121021100200020",
"1220112111100220121121102002202012",
"1222000112222002100110120012011221",
"2221010000101201201120120101002001",
"2001220021102101121012100011002222",
"0100010110112201111221012200101112",
"1110201022012222100020000020002222",
"0212001020201221022011020112000200",
"0000012220222221111211222112000112",
"1021221202111020010012002121021201",
"0102101020212010010221000011200020",
"1021001011112012002012220122001210",
"0021110101120020200112110212222210",
"1111021110022200101112122220021220",
"0100211120210002100202111102021110",
"2211222100120120011200111000110012",
"2100001002020100012010121102102221"]);

y:=CambridgeMatrix(1,F,34,[
"0022200221201121102021110212120200",
"1111101220122210002201022011001102",
"2010201111202100222100102021111111",
"0111112010200110022111212022100111",
"0211212110010001202010012100222200",
"1120220220101100000000100200010021",
"2111102010101122211102122210022122",
"2020100220120101002110000220021202",
"2010120122211111221102010020211101",
"0022001110010002012010022002112102",
"2212210220110210002001111212000012",
"0112011200212212220212212202110202",
"0012211001022211011100100011222010",
"2200001212022222201120201112222000",
"1210112020221020011022220011211110",
"1201102012011100120200200101212102",
"1021220120010202122022201021010220",
"1112220200011101020110122000012121",
"2000222111011210122122020210120022",
"0120002021002121012221221011122111",
"0012221002121110101200201120202222",
"1001110112111112110000021021220011",
"0122011112020011001002000221112020",
"0102210110101022120202002110022102",
"2102202100010211110200112220220102",
"1002100201020112122111221001212110",
"0011012100211020212120222121001021",
"0011002210112102011021000001201022",
"0020202222200112010201112201210201",
"2012000001002120202120201211002212",
"2220222202000221120002111201000220",
"0022102121010111110102111022100122",
"0121211011102222212100101000202122",
"0012120121020011201022101020122200"]);

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