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

F:=GF(2);

x:=CambridgeMatrix(1,F,76,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"0001101000000001000000010000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"0010010010000000000110000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0010011101100101000100011010101101010101001100101000011011010010101000001010",
"0011100000111101110100101111110000100010010100111011000010000011001010000110",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000011111000011010100101101111101111101011010101011111010010110010110001010",
"0011011000101111101011011100111010000010110000110001111011001110010000000010",
"1101100010101101101100111001100110011110011011010011101100011001001001001000",
"1110110000000011001101000111010000000010110000110011010011010101011010101000",
"1111101111001011110100100001001100010110101000011000011000011111010010011010",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000",
"0011000110010011010111010011111101001011111100101110001010111100101110111101"]);

y:=CambridgeMatrix(1,F,76,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"1101000000000000000000000000000000000000000000000000000000000000000000000000",
"1011000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"1001101000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"1000010000000000000110000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"1101000000100010100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0100000000011100000110000000000000000000000000000001000000000000000000001000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0011000000100001000000000000000100000000000000000000000000000001001000000000",
"0110010010000000000001000000000000000000000000000001010000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"1001111101101111111011100010010101001101001101000100101010010001100001011010",
"0001111110011111000111101001001110110111111111010000001100011101100011001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001",
"1010101010110001000011000111111000100010011011010001111110100100001000010101",
"1110100101011111100111000100100010110101001110111010001100001100000100011010",
"0111001010000010100010000001010101011110101011011000000111000110111111000101",
"1101010110011001111000011101001000110001100011011110011010100101001010000111",
"0000000000000000000000000000000000000000000000000000000001000000000000000000"]);

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