/*
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",
"1011000000000000000000000000000000000000000000000000000000000000000000000000",
"1101000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000",
"1001111101001010001100101010000100000010101010001101111110000101100100000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000",
"1001000011111101010100101010110010110001001110010111001000001110000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000010110000000000000000000000001000000000000000000000001000000000",
"0000000000000100001001000000000000000000000000000001000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"1001111100000010001010100110100010000101100011111110101101010111000101100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000000000001",
"0101000001001110111101111011101010001101001011110001101101110001000111000100",
"0000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000"]);

y:=CambridgeMatrix(1,F,76,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000",
"0011010010000001110000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0110000100100000000001000000000000000000000000000000000000000000000000000000",
"0001100001000011000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"1011001100101000001001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"1001000011101101011100101010110010110001001110010111001001001110010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000",
"0001000110111111010010010101101011010000111101010001110100010000001000110000",
"1010001100000100101110000101101001001000000111101001111101101001010010010000",
"1101010001110001111100110101100101011111111000111010000000001011110111100000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000",
"1100101010000010001001100100110110000100111010010100010011000000100001101000",
"1000110011001001101110000001101001110010110011000011111011110011001000110000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"1110110001100101100010111111000101000011011100001011010111100000011011100100",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"1010011111001111100100101000010101111001100110101000001010111111011000111100",
"1001001011110100100011010000100110101100000111111101111100000000110000100101",
"0111000101010011101101010011000111010010100000000000100101011110010100100111"]);

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