/*
www-ATLAS of Group Representations.
U3(8):6 represented as 54 x 54 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,54,[
"010000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000001000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000001000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"001101111100101111101100011001100100010001110001010000",
"000000000000000000000000000000010000000000000000000000",
"101000000111000110010010101011110001110001100111110000",
"100100100001011110011111011100011111001010110111011110",
"000000000000000000000000000000000100000000000000000000",
"110111000110000011100010100101000101111010101101000001",
"001001001010000010101010101111010010010011110010111111",
"000010011011111110010110110101111100100101011000111110",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000010000000000000000",
"001101010001110001010001011110100011000010011110111100",
"010100000110001011011100001101001000000100000111000100",
"111100010001011111001010111101001001110001100111000110",
"101011110110100101001001100111100001110111101111101111"]);

y:=CambridgeMatrix(1,F,54,[
"100000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"111000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000010000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000010000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000001000000",
"000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000010",
"000000000000000000000010000000000000000000000000000000",
"110011011001000101000111001101101011100101100001100100",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001",
"111101000110111010010001110101011111001010110001110010",
"000000000000000000000000010000000000000000000000000000",
"011110010111110110111001010000110101000111111100000101",
"100111100111101001000011000100010100100001000100110110",
"101011111001010101010011111001010011001010000011100010",
"111111011001010010001000110101001101000011000010000000",
"000000000000000000000000000010000000000000000000000000",
"111101110101011010110001000100101010101101110101010101",
"111101111000111101110101010101101110100001110001010011",
"000000000000000000000000000000001000000000000000000000"]);

G<x,y>:=MatrixGroup<54,F|x,y>;
print "Group G is U3(8):6 < GL(54,GF(2))";