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

F:=GF(2);

x:=CambridgeMatrix(1,F,84,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"111100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000011101100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000100001000100010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000011111011110101111000001101100000001100001000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"110110100000110001111101100111101011100001101000000100000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"010000000000000000010001001000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"010000000000000000000000001000100101010000010100100010010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"110100000000000000000000000000000000000000000010000001000000000100000000000000000000",
"010101011001010001001000100100100101110100010000010000110000000000100000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"100011111001100010100100010010101101000110110100001010001000000000000000000000000000",
"010110110001101011110010011110010101000010110011011000000100000100100000000000000000",
"111001011001011010001010010000010000000010000001001001000010000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000001011000111010110001011000000100110010110000000100100100000000000000000",
"110100000000000000000000000000000000000000000000000000000000010000000000000000000000",
"111010100101101111011110100011100001010011000111011001010000001100101000010000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000010000000000010000100000000000000",
"011011111100111110010011000100001101100111111001011011000000000001101000010000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"110000000000000000010001000001100011000000001010000100000001000100010000010000000000",
"110101011011000110010000010000110010000000000111000110000001000100001000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"111010100010101111110010011100110010000110000001011101000000000100100010000000000000",
"101010110011110111111001011110010110000010110101011111000001000100100001010000000000",
"000110110011101110110010110010100000100000100100000010000001000000000000110000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000100000010000000000000000100001000000000",
"000100010011000100010101100001101011100000001110000110000000000100000100000100000000",
"000101011110101001001110110010010001010011001100011000010000000100101100010010000000",
"000010100000001000010111001010101001000100100100000010000000000000000000000001000000",
"111111101010110110111101010010101011000010100110001111000001000000000000010000100000",
"000100010011000100010101100000101001100000000100000010000001000000000100010000010000",
"000111101010101110100010111011000010100100101010000100000000000100000100000000001000",
"111110100000001000010111001010101001000100100110000011000000000000000000000000000100",
"110110110001011001001110100100001000100000000000000000000000000000000000000000000010",
"000001011011001100000010100000000000100000000100000010000000000000000100000000000001"]);

y:=CambridgeMatrix(1,F,84,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"010000000000000000100010011000101100010000110000100010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"001000000010010111011101011111101011001100100110010010000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"100011111001100010100100010010101101000110110100001010001000000000000000000000000000",
"010110110001101011110010011110010101000010110011011000000100000100100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"100111111011111110101110010010101101000100110100000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"010101110101001001000000000100011101010010110011010000001100000100100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000010111101111010001101100010001100000010010000000001100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000010110001001001010101001001000001011010001111010000011000001110110011010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"100000111101001000000000000010001101000000010100001010011100000000000000000000000000",
"000000000000000000100010000000000001000000000110000000000111000000001001000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"010101011110000011101001101000111101010011111100011000010000000100101100010000000000",
"100011010100001000010110001010101100010000100100100000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000010100000001000010111001010101001000100100100000010000000000000000000000001000000",
"110001001010010101001000010111101010101111011011000011001101111000001011110110100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"011011101000010100000001100100010010000101001010101111011001000100001000000100011000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"110110110001011001001110100100001000100000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"010000101001011011010100101001001101000110011000010101010111011001111010010101001000",
"100000110000110111000001011010010011000000100001011000000011011000110011110101101010"]);

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