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

F:=GF(2);

x:=CambridgeMatrix(1,F,78,[
"110000011011010000010110001111001101001010000010001001111111101011011001101000",
"101100100111000100011001010010010010111011000100001001100111011011110110100001",
"010000011100000010000010001110000100001110010111001000111000111100111110010111",
"000001110111010011010011011101100110010111000010100001110011100101100000101101",
"110101010111010111100101011100001110100111010000110111101100001110101010100110",
"011101011010010111111110100100101001110101001100110100000100110111000010110010",
"000011010100011010100011011110111111000011001101100110010100101100010100111011",
"001000100100001001100010110110000101010011101000001111111101010101011000101001",
"111101101001100100111101011101011100100000110000110110110110000000100111011011",
"101000111011001011111100001100000100011100001100000001110101100110111101110110",
"001000110101111110100100100101100100000100011110010010010100010011101010101111",
"001110000110111111011010101110001000000000111101110110001100010011000110100110",
"110101010110011101010101110000001011101000010111111101010001110010010110011000",
"101101110010010111111100101001101011011000010011010110010110100001100010001100",
"100001101100100111110101101111101011100100111101101101011111001011101101010000",
"010110111101101110011000110110110100001010101111100101000100111011110111010011",
"111000001010101101000000000010001000100101111011111010110011101010001000000000",
"110100000110100110010011101001011011011101100000011111100001110010000110011110",
"111111000101001111011000011001111010001011010100000111111101111000001101000100",
"110101101111001100011101010001101100110000101111110100001010000110010100001001",
"000001110100100101100000100001001001010010101100000001001100010110010000000011",
"111101110000100000000111101000001001000100001101111111101110110010011000111110",
"101100101000100111000101011010010011001010101110011001101000010010111010001001",
"110100101101010100010010011010110001101001011100110000011100110001001110000100",
"010110101111010010100010110100000110010011010110001011001101000001100000101011",
"000001100001000100011011111100100110011010101011000001011110111010011001100111",
"101000101100010001011111000100110101010010111110000100110111111011100000010011",
"001010100100101010000001110010001000111000101111000111000000000011100011011111",
"111011110001111010110100010111100000111011010101111110111001100001000110011011",
"000011000111101111100010111101110010111010001111111010001001010000110111101010",
"111101000110100010011010110011111000000010110011011111110001100110001110010111",
"001010011001101001000110011110001000101000110100101111000111100001010000101111",
"111100011100001111000111100010001011101011110111110010110111111011011001010111",
"101110001110001011001011011011111010001101001000000110001110011111001010001100",
"001011001001110000001111011110010000000101001000011010101101110000100000100100",
"110101011101101000000111111111111001000100111100000010011001100010011101110110",
"111000111010011000000100110011110010101010010101110010110100100000010110010000",
"001100100001000110100100111101111100100001101000110000000101001101011011101001",
"010100000011000101001001101110001000000000000010100010111101000101110000111001",
"111111101100011000100010100001110101110010010000001010111011000011011110101011",
"111001000111110100101110001000101111111111101101110010011001100010000111001000",
"101110000010101110011011000011011111111110111111010111100110111111110100000111",
"001100111010000011001101111010000010101011000101000101001111011100010100011001",
"001101011011101110110001011100100010101110101001010100001001100101101011110111",
"110001010010100111110101101010100011001101111100111100010011010011101010011101",
"111101111110001001110101010111110010000001000100011100001110001001111101000010",
"011010011001110100001011110001010111101100100101111111110001010011110011001111",
"000010111010010001100001110111100011001010001011000000001110000101000111101110",
"001111110111100111010100111101100001010101000100100100111100110001001101000101",
"010000110100000000101100010100010100111000011000010101001110110000111100000000",
"100101011000011001100100000101110000100000001010000001110000101011001010000011",
"010111000010011100011100101111110101010101011100000101111000000000001011100001",
"010010011100100010001010011100001111011100101110111111011101001001100001111010",
"101101000101100101001111111101101000010110111110110100100011110100010111111100",
"000110011100011000011011010001010011000111000011011011011110110111000010100100",
"101110010111111100001111001011101111011100111011101011011010011100111111100011",
"010000001111011000010000101111100010011111010101110100111100010110011111010111",
"101001100101101101111000100010011100000011111101000001001101111001011000011001",
"100011000011111011011000110000010000111110010110000101110011000010001011100111",
"110000010011011010011110101011100100000010010110110110100001110011011100001000",
"100101100111110111001010001000011011110001011000001110011000110000001111000111",
"010010100100101000100011100101011111010100100011111000100101010100001110000011",
"001101100101110110001010110111010001100100001011100100100100001100000111011010",
"000011100111000001010011001101110111111101111111101101100111100100000100001111",
"110010110011011100100100110000000100010001010100100010100010011111110101101110",
"110110000011100011001011010011111001000100101100110010100000010011110100111011",
"001100101010001111110101101100000001011110001010100001101100110110110111111011",
"111000010011111111101111010011011101010011100000110111000111011011001100011011",
"000000111001001100110010111011100100101010111011110011110011001111011001101010",
"001100110111011100101111101001010110011110100100101000010111101110010001110111",
"010111110010111100110100100010010000100010000011111011111011001111010001100000",
"001100110000011011001110000000101111100101111101110000110100111110010000010101",
"110000101001011010101110110011001011111101011010001000000001001101000000010110",
"111101101101001100000001001000111110110011100101011010111000111101110111101011",
"101110000110100011100001001001100100010110010011000010101000100100101100001101",
"100110110011011110000001010110100001000000110011101001011111001001001011000110",
"111011111000100100101111000011101011111010011110110110110100000100110110111010",
"001011010100101110111001101000000011101001100011001101110100100001000000110001"]);

y:=CambridgeMatrix(1,F,78,[
"011000100100111110000001001110000111001010100010110100100100101011111100111100",
"000110001000000010011101010110000001000111110110100100101000111010010100111010",
"101111110001111100110001011000110101101110100111011111000110010111010111110001",
"111110011111011100011101011110100101001101100110001010010111010101001111011011",
"101110100100011010011111000001100010110111100001110110000000000000011001110000",
"011101101101001001111101111000110110011000001000010111101001000000111001000010",
"100100001001001101001101101110111111001101000011010100101000100100100010001101",
"110000100011101001000111101001111111001101100101010111011111001001110100000100",
"000010101001000100001001100101010111111011001010100110100001100001011101011100",
"010010010010001000101110110100011011101000011000011100100001101011000001110001",
"100001010001011011110010011101010100011011000011000010100111010101111111000011",
"110110100111110111001100110011001011110100011101010010110100001101001110111101",
"101101111001101010100001010011011111111010001001011111010110010011111001001110",
"000001011100001110010101000011011001000100111110011000001000111001010110001101",
"110000111110011001100101110110001001101001100100100110011000111000110110110000",
"000110100011001100001101111001110101011110111110000000100100010010111000110101",
"111101101010110111001101001101011001010110100001110010010011100101011100000000",
"001011000101001100000111000011010011010110001110110100111010011110001100010001",
"000001011011100111011110101000000001011000000100111111110110001110101010111010",
"110011000101000101001100111110100010110100110110111110111101101010000011100111",
"101010101001011001001110110100100010000000000001001111000110101001001011011010",
"110010000111110000010011011110000101000011100000111101000110110101101000111000",
"101110101101011010011111101101101000011000101110010100000100100000000011010011",
"110100011010000011011101010110110101010101011111100000101010001111110001011011",
"011001001110010111000101000001011001001001111110010111111011100101010100010111",
"101110001110011000110010101101011110000100001100010001000010101000110010100010",
"001100101001100110000111100101111101011011100110000001100010101100000101101100",
"101001111011101001111110000100100101100001010111000100000000010111100011101101",
"110111011110010110101000011010110010111100000101110101110000011000000011110010",
"100101111011011101010001000011111110010111001001111010101001100000011010001100",
"100011110010011001110000011110101111010101100001101101101110111101000001011010",
"110011011110010110000011001111000100111101011101101010101110101111111100001111",
"011010110010101101010101100000110001110001011100001001110101110101100110010000",
"011000000001000110101001110011001000100111000001110000010000101010011100100111",
"011011000000011110111110110000101101010100110000101111100001101101011100010000",
"001100010000100000101111100010010111100100110100111100100011101101001001011111",
"100001010011110110101100011010010010011011111110001111010111101111111001110001",
"001101001010100110010001011011000101001101100111000111001111111001010111000111",
"110110110011111011100011101011101010001001010011111000011111100110111100011000",
"101001011011011011000100100011011110010011001110100111111011011000110101010010",
"000010110011101010010100101111010100011000101001000010001110111000111111011011",
"100001111000000111110011101100011110000101111001111000001001010111000110011111",
"001001111000001100011001111010001100110111011100101011000101001110110101110100",
"101000000001011000101001001111111011000011001000001100100101100010000110001101",
"100000000011010001010101111011110011111011110000011000001010110000100110111000",
"011000001111110101010011010101000010110000010101111011101010011000101111001100",
"100010001000101001101101010011100000101101101010110101110011010100010100011011",
"100001000101011000011101101010000011011001001111001011000001001100110001001011",
"010100010110100110010010111110011100011100111101001110110101011111101011011011",
"100101110111010001111101011110111010100100000000001010100100100111001000100101",
"100100000011111011110110011111111010000010000110111000010011101110110010111101",
"101100100001000100001001001001011111011000100000000010101001111111010100101000",
"101110101111111111010100000100111111110010011100011011101111001110100001100001",
"100100001110000000100100010100010101101110100101101111111000110001111110110111",
"000011101101000111000010101000011010001000000110011101111000100100111101110010",
"100010110011100001100010101110010110100110000011111101111100100101110001111100",
"000000010011110001000011101110010011101011111010000001000001000110111000110010",
"001010000110001110000111100011100010011000100010000010010011011010100111000010",
"100000011101010010101000110010101001010001101100001000000110011011000100111100",
"100011111010101111101110110011101101010100100010111000000000111000010011010001",
"000011011110111001001111010010010011011011001110101010001110001000110001101010",
"000110101000110001011000110111111011010111001100011010110111010010100100001101",
"100111011000110010011001001100111101100111111000010011011001010100110011101011",
"010001111011101100111111100010100110111010000011000011110010101010001000100101",
"111101110000100011010010100100101101100101011001010010011000010000101111000001",
"001010100000111000100010011001111101110001100010010111111101010001001100001000",
"111111100010101111011101010010111011111101100111000011111111011111110001001100",
"101101111100110110111000001010011101100011001111110010100110000010111110111101",
"010000110001000110100000010111000001001111010111011000110000011011011111001111",
"111101101110111111000110111100100011011100101101111001001011100000100101010011",
"100000001001000110011001000011110001000111001000010111010011010111001010110011",
"110110110011111000111100001010000010000010100000001000111011100101110010100100",
"110000110011101010100110110100001111100111100101111100011010100011101000101011",
"110110011110100010000000101111100010011000011010001100010000000101010011111111",
"010101000101101010101000010000001001011111001111010110101111110010010110100011",
"111100010010011101110001010011100111110101001110110001000110000011001111100010",
"100111010000110111100110111000000101000100111010010000110111001100101000000000",
"110111100100110011101110010110000110100101010100110000110100101110010101011110"]);

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