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

F:=GF(2);

x:=CambridgeMatrix(1,F,80,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01110000000000000000000000000000000000000000000000000000000000000000000000000000",
"11010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000",
"11000110011110000001101011001101011100011110001011100011001111001000011010001110",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"11111001101100101001011011111000101010101010100000000010110001010001100010011001",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"10100011010101010010010011000101001000000111010101110111111010101011010101001011",
"11111111000100011100101101111100101010110101010011101001011010001100110100001101",
"11111011000110001111100110111100100111100001100011111110101000100110000001111101",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00111111011011000111101101111010110111110010111000101011000101000101100100001111",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00111101001111010011111110011001000010101110001011000111111010111010101110101001",
"10011101100100000110010001010101101111111000100001010110001011100111111110010110",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000",
"11001001011011111110010100101010100100100011101011010111010110001000011010010010",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000",
"10100100110100001001010011011001111010001000011001010001000101101010101011101110"]);

y:=CambridgeMatrix(1,F,80,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00010111001011000110101111110100101111100101001000100000001011000101110101100010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001",
"11101011000010011011010000010001101100101011101000100100000101010001011001111111",
"01001001001110010000011111111100101011011011010010110000101011110011110001011010",
"10101110010110000100001000100110110000101110010000100010110111001111100100111001",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"01100000001111101011000011001101111010110010110101010111000101011110111000111011",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000",
"01111000100100111101111110000010011100111100011100101100100001000000001001100000",
"10010001000010000100001110101101101110010000101101111010001000010101100101011100",
"00101111110100101110110100011001111101010001110001010111011110000100011010011001",
"10101011110111111110111011101111010000111111101101110001100010011001101110100101",
"11001111001011000110011001001101110111100001110100000001001000000100110001100011",
"01001011000000000001110000110111111100111101101101010011010110010010110011111110",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"11011110111011100110010110000011101100011000010001111110100110001001111111111010",
"00011010000011111010100100100100100011011110110010000001100101010010010001001011",
"11010110100101100110000010001010111000111000000100111011110011010001110000010010",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00011001011101111111001110110101011110001011001111001100010000010010011001111101",
"00011101000000101101000010100111101011000000000100100110011001011111111010100110"]);

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