/*
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",
"101101111001001010011011011111110110100111010001101110",
"000000000000000000000000000000010000000000000000000000",
"110011101011011000110001110100111001000101100000000000",
"000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000100000000000000000000",
"111010110011010110001010100000101000001011011101110011",
"000111010011111101100110010000101010010001010000011011",
"100111000101111001000101011011011011110011101000000010",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000010000000000000000",
"001110000110000011000111101111001001111111100010001111",
"011111010110000101110001110110001110101111100011011100",
"000101000001011000011100000101011001101011110000011110",
"000000000000000000000000000000000000000000010000000000"]);

y:=CambridgeMatrix(1,F,54,[
"001000000000000000000000000000000000000000000000000000",
"011000000000000000000000000000000000000000000000000000",
"101000000000000000000000000000000000000000000000000000",
"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",
"000010100101101100111101100001101001110111110001001010",
"000000000000000000000001000000000000000000000000000000",
"100010010011010100110111000101111011011001010000110011",
"101100110111000111100100100010001000001100011000001110",
"000000000000000000000000010000000000000000000000000000",
"001011101110100100000100010111001011100000010101001000",
"001111101010110111111111010110111101101001000011110011",
"100011100110001001101001101100000001001000100001100100",
"001111100011000110001111001110000101101111110110100001",
"000000000000000000000000000010000000000000000000000000",
"101010101001100011110011101001001100010110110100001110",
"101100011111101000000011010110000111000111110000110111",
"101001000110011001001111111001101001101100110101000111"]);

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