/*
www-ATLAS of Group Representations.
2.U6(2) 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",
"00000000000000000010000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00122112222110111020000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00211122220112100020110000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"21122112120110200020000100000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00122010000000000002000000001100000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"12000102021012002000010010000010000200000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00211022000110000120002002200000110001000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"12102201212020101000000020000001001100000000020000000000",
"00000000000000000000000010000000000000000000000000000000",
"12000101122220201211000020110202000110002000010000000000",
"00000000000000000000000001000000000000000000000000000000",
"21221210010000000001000001020200000002101000000000000000",
"00211021000220000210000001120000000002011000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"12112121021020002202002000120101010000001100020000000000",
"21020010201200102212002010110100010200002010000000000000",
"12211121021122002220010011100000000202000001000000000000",
"21010222010211000112021000220101020000001000120000000000",
"00000000000000000000000000000001000000000000000000000000",
"21211021200222100110011010200001020200000000021000000000",
"00112021000020000001000001020200000002001000000100000000",
"12221010002202001010010000020002000000001000010010000000",
"12122211012220001011000022010202000101002000010001000000",
"00112121221121102022020000010100000000002000000000100000",
"00112120021200002111001001220200020002001000000000010000",
"12010220011102002221010012100200000201000000000000001000",
"00211220112102201221012020120201010100001000020000000100",
"21010122020010000200001000110000020000002000000000000010",
"12221212112111201021022000020200010000001000000000000001"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"02202200200000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"20012102100000000200001000010000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000",
"21202212200010000020000102000000100000010000000000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"01012022200122000212102101121020100012110001000002000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"02200120020000100102002202011020100000020101000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"22221201202202002101220010111122011200102210110200001000",
"00000000000000000000000000000000000000000000000000000010",
"01012120121021120012201100021010200000010002001000000000",
"00000000000000000000000000000000000000000000000000000001",
"12102020011102112121102220111210221011200212001120011100",
"12211022211002012002101110222220110210211122211211002102",
"20012221202202222200001000222002220212200222011211101101",
"20020210000111100202202012210120221212111121110010212111",
"21010210100202200112111000210212022122110001112101011220",
"12201211220202111211110021120212202200022001112021000200",
"11122202120002001210112122110012110220101202122110212120",
"01022202012010000101011000010202010000002200010000000000",
"22120220020121011201012122120212202212221200202210201200"]);

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