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

F:=GF(3);

x:=CambridgeMatrix(1,F,50,[
"10100100010102011200210121221222001122111010122202",
"20100220112200010202020212102022210222112222221211",
"02111221200002100222201110012010201220011201000021",
"22100110210021000212201120020011200011201100110121",
"21201001200001020022011120021110011022100012122100",
"22220001220122112102020020210002020011221110111221",
"20022102122220110111202100000021100110222110110222",
"01102102201102110111101022100120001211120220202202",
"00202120020202101210110020120212222122222020021102",
"11012021120110212010122001120002210201212110111210",
"01000202222200222002112122201202112112111211210121",
"00002222221011022012121001210001111012111111101021",
"20210102222202010110011111220011012212122012002001",
"22121222012101010002210202010101020200001200120121",
"02220011110012201102200011212222101102002011100001",
"22010112011200021112102000100022020000201002022000",
"20001120021200012012011221020111021122000011022221",
"22021010211221221121100002002020111010111001110001",
"11022121010102122220200020020112022021201000222022",
"20000111002000010121201101212021112000002102101220",
"10202021020200022021210002022011211222101110101112",
"22102222122000010222102210121011120212120001010101",
"21020011002121212101222202102010222211012122101202",
"02121110001100002200200101020000021202100201201222",
"22001010121111021021211122210120200001012111111110",
"10010122220020111221010100212211011221212021001110",
"11102022211020010022100201000100102220222201012222",
"12010110110010212011102012122221012101122000212021",
"10220200201222022001122111212120202120220211221120",
"12121101101122001212201110101200002120011210210220",
"02212210110202112121122121210211010110020202212122",
"11200011102021011212020200111001212001010221210012",
"22011212020111122001010000020201222111112011220010",
"20220002211001221212002110212010221201111000202201",
"00120211112011200010012012212111221000021121112202",
"20121021202100122212102011012002002210000220211100",
"22001112121220120021120110110012022122122022022201",
"00121001020122022212201202211220120121110010020210",
"10102200020102020002002000100120222111100022111200",
"20221200022202121011101221211112011202201122010210",
"20102121111111110212011011011221200212001122002221",
"21222222211122222120000010112110220121200002021101",
"20102211110202101111110110011001201010002212201010",
"22101100122011020112220212100001112022201121202021",
"01012210112010012202110001220100211002102112202021",
"00000010212011001111122222022211001011010201002001",
"11202010121122122022220202000201220021212202221022",
"00002111002021120110112110012002000100112200000101",
"12100000110211221012221200201201020000110222201022",
"01010101202110010012212120102012100221200200202010"]);

y:=CambridgeMatrix(1,F,50,[
"10011120022120021212221010211012012221120200010202",
"01002122112212211200110022221021022100021100201022",
"11222121100011001200021112220220122011010211000021",
"10221100200220111201120120002202102122121202110002",
"02022012221220200201211011221022121210121112021200",
"01000021001200101210200101212021000112200011200102",
"20020201001122122102102112102012001200102000222120",
"02102100201021022111110220221110220012000201102220",
"00211021022121212221101022202221212200110110022121",
"11222010112011100012202212122010122021202100110111",
"10022021211012211012220001101201221011122101001121",
"20220100121100021211012220001012010020221220212012",
"00102200212000022210011201221010000121101011200111",
"20210102201222121012111000200211110212121001022102",
"00101000201112122102201000222200120220002111120221",
"02112121221211010000212101210220201220001000011212",
"02210101121222122001020220211020122012101200011202",
"11021100212002222200112112122002100022220112122211",
"21222020000212122211010000120010120110201021102100",
"11021222211010010020220022101021222100011121112201",
"02211112100120011200001101100021012121000200012102",
"11010001111011022010111001222002220210122111122220",
"02211122110001022200201211100202110110211221120211",
"11021211212112012012011010021012000001000020112011",
"22001202121221120002202222102210100211022210020101",
"11110121200111210000120111100222101210202102020002",
"12121100211121020202100112211211100100212121000110",
"21001210202121021222211112112010020021201000211202",
"12021010201020020122011121111021211020201110202001",
"01220020112121210122020121201211112021102201221021",
"11122112012112110000102112211110100021002011000012",
"20212022121020020020012110201220022022111220000112",
"11102220202021022210120122221211010112221001222121",
"11201202120120022110021112111200221201022212011120",
"20200000100201200111201102002222100210020111221102",
"10222211020100201122020021100100100110001000101120",
"00110212000221120221112221021121021000111212120212",
"22210210010010000000002100012111100112102010101020",
"02122220202111122122102201210221001110102121210001",
"22002021101110220001012011121220110111100210022212",
"10000222221010210111011121100112021000212220102112",
"01200212000021021000212110212120112020101120002221",
"10121010021121001102200011110111011102110202110121",
"11111100020000100220211112212002122201010001212121",
"20111110000112110112002202222101110000201021201121",
"22020211121212000102101221102210120212011021221120",
"22121021222002020111100111220200021012110020012110",
"00122021021020102100220011222121222110222222011110",
"12121020101001001022010200201112210001010210112112",
"02111210112020121000220021020012001110010210220012"]);

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