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

F:=GF(2);

x:=CambridgeMatrix(1,F,78,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"110000000000000000000000000000000000010000000001000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001",
"001010111100111001110100100000000011010011011001001011110101111100100101101001",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"110101010000100001011100101001100110010011110111001110000101111101100001101001",
"001011101011001010001101011010100100101111001111101110011001011100000001111001",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"111111111111111011001000000001001101000010011000011100100010001000100000000100",
"111010101111011110000011101110011100000000011101010100010000110100100001101100",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"110101101101001001110000011011101101011110011110010110100100111000100100000001",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"111111010001110000100100110110001011011100001001111000110101010000000101111000",
"111111110110100110100010011100000100001011000000101110000000001010000000010101",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"111111000001010000010101001101100100100100010011101110010001010100110101111001",
"000100101011011111101011011000101010011000000110011010000100000000001100000101",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"001011011111101011000100110001011101111100101100110100100100100001000110010000",
"110100111001111101011110100110011000100101110000110000000000100001100001010000",
"110001010100110100101110001000110101010100000110001110100100100000000100100101",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"110101001011011110000110101011100011010101000111000010110101010100000001100101",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000101100101000001000100100001010101100000101000101100100000000001000000010110",
"000000000000000000000000000000000000000000000000000010000000000000000000000000"]);

y:=CambridgeMatrix(1,F,78,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"010011001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"110001011000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"111111001010010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000",
"001111100101100101100011010000011111100111010111011110000011111101011110110000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010",
"100011101111101000010101111101001110101010110110110011011110100011001111010000",
"100101100111110101011100111010100011010101000111010000001101100101111010100101",
"001011101110001001000010000110100000011101101100110010001001101010111101011110",
"010100111000110001100000100010111010111110110110010010011010001001100111111010",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"011111100001100000101000100011011011011000010101111001001001100111011011011000",
"101101011000100011010011000111011110000111000000100011010110000101010110110100",
"110111000001111111001011001110001111101011100000111011111110111010110011101101",
"010100111110000010000001010101100100011110010011011010111001010000011100110011",
"010010001000100010011011011111011001111011000000001111010000000100000100110000",
"100001010000110011010011100011101010110001011100111001000100100110110100000110",
"000100111100101100110101010010000100101001111100100000101110010110010010001101",
"011011110000110110011100110111100000010110010000110000100100111001010100010000",
"110010000110011100110100011100111110011101101010100000011010101101100111000100",
"000010100000000001000010000000000000100000000010000000000000000000000000000000",
"101100001111000100011000001011011111110101001110000010010100011000110010100101",
"001000001011010111101000010010011011011101001000010001111011011100011010100111",
"100001001110111000001000111101110010000101000010100000101111100010011101011111",
"101000100010001011110101011010001101000110001100111010010001001001101110101110",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"111100101001011101101010011011100001101000111000100010001111100100101010011111",
"111001000000101011101101101011010010101001001010011100011000101010010111110100",
"011001111001000110110101010100010000000110001001000001000001101111111011000001",
"101010010000111001110011001101000101000101100010111000111011101000101000001101",
"101001000011010110010100010111101010110011011110110000000110001101011110011000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"100100000100001101000001010101011000000110001101010111000000010011100110111001"]);

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