/*
www-ATLAS of Group Representations.
TE6(2) represented as 78 x 78 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,78,[
"101011100011000111011000001001110100000111100100111110110100010110100101011101",
"011010100110110011010011011100101011000000011100100111110100100011001010110000",
"010001111010111000110111101100101111111100000000110100001011010111001010011111",
"100011100001010111100010000111001101010001101011001010100111001001000100101010",
"110100111000111101011110001001001111100000101110111001100010011001011111101000",
"111101001101010111000100011000011101010000110111101100010111000000010111100001",
"001101100100101110101001001011111010010000111010111001011000101101001101000110",
"100110000000111110001101100010111110000111111000011010100001101101011110000110",
"100100101100101011000101110001001000011000111011001000110110101111000001101001",
"001010001010010010001110010000100011010000110110011011011000000111110001010101",
"111011000101001101110100100101111010000000010110101000001011010110111100011011",
"100101011011111010000111111110111110000111011100001101001000010111010011001000",
"001111000100010001000111101001101000101110010101110101101000101001001001000001",
"110010011001101110010010111100000110111010000011100001010110101111010000101001",
"010111100101011101001001111110111011011110010100011111001010110000011010100111",
"010100111001011011011010110010111110110011111101001111111110101111011101111010",
"101101110111011100111110111010011001010000110101011110110001011010100000001110",
"110000100000010000011011111001011000101010010001111010101110111100001010111001",
"001100010110100000101010100100110010001011011100011111000000111101100010010100",
"110101001100010100110001001000101110000011010110101001011101011010001111101110",
"101111001110111001000001010001111111001001111010000011110001001010101001111000",
"101110000010100111010011000110011000010000100000110101110010110101011101010011",
"100010010110100110100001111101100011110001000000010010000000010001011101110101",
"111010101110000111011101100010000110010110111001011111011110000101101110011001",
"100111001100100001011101101110001000111101001110000100101100001001001110000110",
"101000000101000011000001010111000000110111001110111110011011101011110110011111",
"010101101011101001111011010100100011000001001111110010000010111011011001111101",
"110000110011100011100000111001011011110100100011000111111010111000010010010110",
"000000100100110000010100111100110111000010111101110111001011000011101010000011",
"111101011111110010011110001001010011101011110000011001110000110000011110011010",
"001000010100111010111110111111101100011001110000101101111101000100011110100001",
"011011101101001011101111011010010000000000010011010100000111010001011110000101",
"011110001110111110001000001001111100110010000111000110101100010111011111010001",
"011101111011110110110000110101011000100101100110111100110101001000110100101100",
"111100111011111011101101100011010110011011101110101110110000000011011110101111",
"000111100010101001101100101111000101110001101001011011001010101011000010101110",
"000110011111000010010010101100001100001101001101110010101010111011101101000100",
"001000010101011011011110011001000000011011011100011010011101101101010111100011",
"101011000101010110010010000011011101111101011111111011100111101100110100001111",
"011010110000010011100010000100110100110110101100011011101101111111111000111101",
"001111100100100001010001001001010111011000110110110111001100111010010000011010",
"101000000110000100010101100010000000110001110010111111100101010010011110101011",
"011111111001010001000010100001111000000000101010111101111000000000001100101100",
"010110011001001111111100101010010000000101110110001111101101100101111110000101",
"011110111101111111100111011011101111010101010001110111011110100011000000111011",
"111100111001001111111011101000000100000011000001010000000111000111101010010101",
"111100001000101010110000101011110110100110000000111001111001001001010001011010",
"101100111000111001001011000111111000100001010001111001101100100110001011101110",
"100101111010011000011001010110001001100110011000010010010100001011101101110011",
"100010010011101110101110010100000000101110110101110111001010100011001101010101",
"000000000101100100000011000011110010011000110111011011101111100101011111110001",
"100001011101101011100101101010000000100111100101011001010111110010111101111101",
"000100111110010101110111100000001100111111000111001010000110000111010111010111",
"111101010100010110011110111100010010110010001001001011101001010100010100111001",
"000110100010000011000011000110011011011010100010011011110001001111011010000011",
"010000101010001011101001100101010100000111100100111111110110000001110001101011",
"001010110011101100001100101011000111010100100101100011010001111011000100001010",
"001111111001000000000001111100110110000101001001110010011011110001110010001011",
"110101001100111000001110001010101011100110111100101000001001101010001000001100",
"101101111001010000010000000100010111110100010011111111101110111111011101010010",
"101011101011101101001101110111000001111010101001110101011000100001000110001101",
"101101000100001100001010010001011111000101011111001001110110001010011001110010",
"011101111100100000101110010101010101000001001001011101111011000010100010011100",
"011000110110110110011100101101000011010001101010101110001000110110011010101110",
"100110100101101111100000011001000010011001100100100011010100111010010010011100",
"101100100110010001110010111000000100100110010110001110001011100010100100010101",
"011001001010001111101011011001000011111111100101100100001110000000101011111111",
"100010100101101110000100011111010110010111011100101000101001000011101100010110",
"100111100000110000001100110001001001000110000110111010001011011100101100111011",
"000010111110000010101111010101001000101001100111010100011100001011110010100000",
"011011101010101100101111000010110011110001111000011010110000101000100000001001",
"101011101110100110010100110001100100001010101111001100111111010101101001111100",
"011110110101011010001100001000110100111101011111000000111111011001011011001010",
"101101011001001100010111001101101011011101000111101101111011101100001001000011",
"101100101011011011010110111101001010001001011110110010011001001110100111111101",
"010001000010001111001101101100110000101101101101000101101111010001000011110001",
"110111001001001100100000010001000101111010110010100101010001000110000110000110",
"100011011101000000011100110111111100101101111110001011101100000111110111101101"]);

y:=CambridgeMatrix(1,F,78,[
"000011011010101000000010101101011000101111001101010000001110010000011000000101",
"101101101111101011001000111100000001101001101011101011000100000000001100110001",
"100011011110110010000111000001011101001101111000000010111111001011101101110110",
"010010010110111110010100100111011001000000001011001000111111110101010010001111",
"111110110100011111011010110001101101100000000010110001101011001101111010111111",
"111000010110001011110011010001100100101111111000110101101001110011010010001100",
"011110101101110001111101011011011100010011011111011000111110010111110110101010",
"011010000101001100101100101011100001100011110111001110100111101100000010111001",
"000010111101010111110011001001011110010100000011100101111111101111101011001110",
"101110111110111000001011010110110101101100100010110010000100010101000110011000",
"100111000000110011000111110000011110001110011001101010101010101111111000100100",
"011101000011100011100011011001111110111011000000010001000111010111001100011010",
"111001010110010011000110101100100001001111100100100001011100110100111001010011",
"100101011110000101111110010010110010111011100000011010111001110100001100101000",
"101100000000011010101010111111100111100001000110001010001010001001000111101011",
"001011111110001011000101110011100110001100111101111101111010000000101010101000",
"001111111101000101110110100001111000001100000100111111001101100000100111010111",
"000011000010101010011100101010110000100101011001000001110011000010111100001001",
"100010111011100111111101100101100010111111100100101111100101000001111101100100",
"000110001011010000001110000100000000000010111010011110010011111101010100101111",
"011111100011101100001000010011001001001111101111111000011111010000111001101001",
"100100110010110011000010001110000011000101101101010011010010001010011111110111",
"011110000111011101100001001111111100010010001111001000010011111110001010110011",
"100111110110000110100010101001101101110001110111101100100011101101010000000001",
"101111011010111110010100111001110011111111011001001110101110101110101110000011",
"001101000000111110111010011110010111001001110001101100111001011001001101111000",
"110110100010011100100111000000011101100011001111100001110001011101101001000001",
"110011010000000111111001100001110000010111101000100000010000111111001101011011",
"100011110001001000000010101101011101000011011110010101101011100011010100001011",
"100100001100101110100110110110011100100111110110100110110011011111100110010011",
"010010010010001101011010111101010011100100110010010010011111001110011111100001",
"111101100001110111010100001110111010011011111000100111010101010001010111010101",
"101111000110100101010100110010011000001001101011101010101010110111010101010100",
"111100001101000110000011000110101101010011100101101110000110101101111010101001",
"101000110101111111111011001011010011011111100110110011101000011000000100010000",
"011001111111000010110101010100000000010001011110011010011010110001100101110000",
"011011000000101110110111011100000111110000000010000110000000110000100010010100",
"011110110000110111111000010100101111111000001000010010011111110010100001110100",
"101000101101100100100111110111010100101101000010010110101110101101001000100111",
"111011111101100100110001011111110000101100010011110100100011110010101001000001",
"110010011001001010110001110100100111011101100110111011101001110010110011010101",
"100011100101111011100011111100101110110001010110011011011110010010111001110001",
"110110011010101000100010100100000101110111110111110011011001001110011101010000",
"000001100110100101100000001111111111001110000110001110101011100111110010101011",
"000111011010000110000111011110111101111000101010001001111010011100111110001110",
"100101011011010111100010110110010110110111110010101011010111010111011110100011",
"110101101001100100111111001011100111111011011011101111011000000100001101001011",
"101100101000001000100010000001000101011011101000001011011100011101011110111110",
"111101111010000001111100100111001000110100011111101110011100001110101000110101",
"011101000011101110011111001010000100100000110100110111010100110011011111001110",
"011001110001000111110001111011111111001110001001001101010010001110010100110101",
"101100100010111110011000010010100011001101100100011110100111101000101010100010",
"111100011100000011001100011111101010101101100100110010011001110011010111000101",
"011100010111101010001110011001001001001001110001010010111001100010001001100101",
"111011001100001010101111111001010000001101010110101101110011100011010111111001",
"100011111011100000100110110010101110100011101011100010111101101101001000100110",
"100001111010011101111000111001110010001011010101001100110101100000010110010000",
"110110011001011101100011001110000110110111100101111101000111010010001100001010",
"000000101100110011110110011110001101001100010011110000001000001010010011101011",
"011010001101100111001001111101001001101011001101010100000010110110101010101001",
"010101111010000001001111000001001110101011110001110010000101010011111100100001",
"000111100011001111001011000110101110010101111011010100100010011010101111100001",
"010111110011011011010101110000001111001011000111010000010010010110000000110000",
"000111011101011000101110101111110110001000100110100111001101000010010111000101",
"010111000101000110101111001111111110001111100001000001100001001101100111111010",
"101001001111011100110111010100001001110010010101101010001110001000001000001011",
"111001010111110100110010010110010101011000110000110100000001101110010011111010",
"110010100101000000110111011010011011110001011110101010000100010111101100001100",
"010011010110011000100100111001010110111111011101011011110110000010100000100000",
"010110101001000111010111000111110001011111101010000001010001101111101110000111",
"101100100101011111011000011001111111111011100010110100001001100001110011111010",
"000110100110000101110111000011100000110111101001001100010001000101100000100101",
"110011010110111010110001111101101010011111111011000000100010100011010010010110",
"100010100010011100001010010111101100010011111101111001000111101110010110010110",
"101101100001011010000110101010101010110011011111000101010111100010010101011111",
"110111001010001011101000000111001000100001001000001100111111000000111000000110",
"110110101100010110010001111011101000111101111011010100010100101001110011000011",
"110110010100001000010100100101011110010111010101111111100100000100100111011100"]);

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