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

F:=GF(3);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"20000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00200000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00020000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000200000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000002000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000200000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000002000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000200000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000002000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000020000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000200000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000002000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000200000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000002000000000000000000000000000000000",
"00000000000000000000000200000000000000000000000000000000",
"22222221022002102201110012000011101100011200020222202111",
"12021110110200001000012002200112002202102022200201010101",
"00000000000000000000000002000000000000000000000000000000",
"21101122001020210002101212202100020012002020202121020112",
"00000000000000000000000000200000000000000000000000000000",
"21212200200121200202211002221111212100010010001202102212",
"11200212001121001102002122112022002110020000121121220210",
"00000000000000000000000000002000000000000000000000000000",
"22202112111012000100220120110220121112021002101102102121",
"00000000000000000000000000000200000000000000000000000000",
"21122012011221002221201122202101200120001022220012020200",
"12111020112001001100021211022021002221002200120202011100",
"00000000000000000000000000000002000000000000000000000000",
"10112102011011021211201010010000222012001110202011000000",
"11012100120010022102022210211000120221122022222210111122",
"00000000000000000000000000000000020000000000000000000000",
"20010012012210002222112102221112100100211122111122102210",
"00000000000000000000000000000000002000000000000000000000",
"12021022011000120112211120101122010022122222000110011122"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"02202200200000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"20012102100000000200001000001000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"10220221111221022000211002210221202212212010211102102202",
"21001201201001201010202202101020120122012222210221202121",
"12110211211021121210212102101201112012000011200101012020",
"00001121122122020020210222010112201212101010122021120101",
"11101120100100200100120200212011100000111100002200120112",
"12012102012102120002000111121011001210021212002102110202",
"11122222110001002121222201101220112200100220011002101100",
"01010211111002000100222120010202222121011010222201122120",
"02000211121020201112001210120120102221101121000002212220",
"10112200012200011010101102002120212211201221110201222010",
"10000000000000000000000000000000000000000000000000000000",
"00202122220202220222121222000020100110220110201120022011",
"00202110112202002122202210021210021212011222212112201111",
"01122210211020121120201202100202102220220100011111010020",
"21110200012201022022110201111220000000002210122112211020",
"02101200120222220211020202112112210001220011120002021022",
"01221200221110211211220212200001102211012001201110110120",
"22200202011210210022122200111112021000002120022010121101",
"02101201212101000120011121111000222100020001210120120000",
"00022001010211021120202020020200121000102220122012112010",
"02212101211212121111001212222101222011121000221011222102"]);

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