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

F:=GF(2);

x:=CambridgeMatrix(1,F,84,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"001001111011001101001110110001001111001101010010100100001011111111111100000001000011",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"101011101001010000001101000110010001111111010110111110011111010101010110111001011001",
"110011010111010100101010000110001011101111110110110011011110001010110011000111000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"010100010011111011100000000000100000110111011110101111110110110100100111000011010001",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"110010111010011111100110100011101110110110010011111101101001101100110000000110110100",
"110110111110111111000001000001000000001101011100010001100110001100000100000001111111",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"110000000000010111110010111110010011101011101111110100101111100110000001010001101000",
"111101001101100001100011111111101111101111111010000111100010101111110011101000010110",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"010001110111011000010100110010011001110111101100000000011101100111001000111001101110",
"010010111010110110100100100100010000010110100111010100101011000011011010100010111010",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000010110110110010100110000010011011100111011110100011000001011101000011111000101011",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"010010001100010101110101000101100001101110101010011111100101110100000001111001010011",
"110001010011000100111010010010011011000111011001111100100001100011111001110100011100",
"000011110010000011110110111011011010000111111000100100011011000110100100001011011100",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"101010011011110010001100110011101001101000011000011011000001101000100100101010111101",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"001101111110100011000001100000010101011100100000110010001101100000111111100011110001",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,84,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"111000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"011000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"101011001000001101010111111011110111110001110110111101111010101111110100111011001000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"001001000011101100100010000000011101100011101110111110110001010011010100100110011000",
"111011010111110000100001001001100010101100011000110101010001111100110000011101100111",
"100010111010110000100011111011001101100100100100110111010100111100001001100100011100",
"101110010101010100000011000001110110100011101001011001010000010101111101101110111100",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"111011011010000101111100110011100011010110100000010101000101001110101010111000110010",
"011000110000111011010111000101111111010011001111001011010100000000110010110101101010",
"001111000110110000000000000110011000101110001111110010011000011011100110011010001111",
"110101101000011100110011110110111101111001101001000101110110110101000000100101100001",
"100111000110111001101111100100101100010100011110101110011100000111110011111000000011",
"000111100000001100110000101001000010101110001100110110100100111111000110010000011010",
"010001110000111000100001011011111100001100111111011001110011100110011010101000010100",
"000100000100100100000101010100001101011011011000101010110011011100100100011010001111",
"110010101000000001001100011010100010100101111101111100100100100111001110110000011011",
"110001111111010010110000101101011111111111111010101101100010100111101001000111010101",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"100101100100010000111001010101111110001010101011011000110110101011010001100111011001",
"101000110010111100001111001100110011110100011110010100101100011100001011101001110110",
"011000110001110010000011100010110100111111101010101000000010101110100000110011111100",
"011111001000100000010000111101110001100101101101010000110111110010110011001010101111",
"110010101010100011001111001000011001100110010010011001001100100110010010000111011110",
"110001111001101100001100011110111110000111001001110011001111001010011010110101011001",
"010011100101100001110100110001110000100000100101101000001011110110100010011011010110",
"010011100001101110110001001000101001011010100010000001110111110011001110010110111001",
"110100100111001001111001111110011000010001101001111111010001110110011000001011111111",
"100111100101100101010100010110111100001011011111011110111110111111101010010001000111",
"101111001010111100010010001100100101111110010011101111101011001011111110000100110011",
"001001011010111110111010001011101011000100010101010111101111111111101110001110100111",
"101001000110111111010001100001011100010111100110010011001100111000001110010010011111"]);

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