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

F:=GF(2);

x:=CambridgeMatrix(1,F,54,[
"010000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000010000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000100000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000",
"000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000001000000000000000000000000000000000",
"110110101010100000101000010010010001111001010010010010",
"111110000101000010011010001001100111001100001101010101",
"000000000000000000000010000000000000000000000000000000",
"110010100110100111011011111001011010010000000111101110",
"000000000000000000000001000000000000000000000000000000",
"010100011001111110001110001100011111110111001101101000",
"111011001101011111110111010100010011100111100001111100",
"000000000000000000000000010000000000000000000000000000",
"101011111011010011001011010101111111010101100001001111",
"000000000000000000000000001000000000000000000000000000",
"010101101000110100010101000010001000110110001000011100",
"110001100110000100110011110101101111001011111001011100",
"000000000000000000000000000010000000000000000000000000",
"001110100001111110100011000001100011111100010010101110",
"111010101110011100111001100100010110010100000001001110",
"000000000000000000000000000000100000000000000000000000",
"100001100111110110000001011100110110011100011100010110",
"000000000000000000000000000000010000000000000000000000",
"111100000010111010000011110100000000110000010111011000",
"001010001010110100111010111110101011100110101001100101",
"001011100100111111100001111000111110010110100000101111"]);

y:=CambridgeMatrix(1,F,54,[
"001000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"011100000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000001",
"110110110100011000010010011010110111100001100000001010",
"110011101010011010101111101101100101101010110100000010",
"110100011011011110100110110010001011001000101010101110",
"100011100001100111100001101111100110111000101000001010",
"110000010100011001101110100010011101110001100000001011",
"110111010110010111110000001111110111010101001001101100",
"011101011110001000001000101011000100110011100110010001",
"111111011100101000001101000000000100000101010011011101",
"000001111011111111100011001001111100011011000100110000",
"101100011000011100101110101001101110010100110100000001",
"101111101101010111100111001101011111100001101010100110",
"110100011010000011100011001000010001001100000001001101",
"000100110001110110110010110001100111011010111101001001",
"100110110000000111110111011000111000100100001101100001",
"101000011100010011010011010101100111110110101101111101",
"011010101011001011101111101000000100001001100110001000",
"111110010110100100010001010110011011011010001110111001",
"010000010100001110001011011110011000011001110001011001",
"101110001101110100001110001010111010000110010010111001",
"011100001000100000101111101001100010000111001110011101"]);

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