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

F:=GF(2);

x:=CambridgeMatrix(1,F,28,[
"0100000000000000000000000000",
"1000000000000000000000000000",
"0000100000000000000000000000",
"0000001000000000000000000000",
"0010000000000000000000000000",
"0000000001000000000000000000",
"0001000000000000000000000000",
"0000000000001000000000000000",
"0000000000000010000000000000",
"0000010000000000000000000000",
"0000000000000000100000000000",
"0000000000000000010000000000",
"0000000100000000000000000000",
"0000000000000000000010000000",
"0000000010000000000000000000",
"0000000000000000000000100000",
"0000000000100000000000000000",
"0000000000010000000000000000",
"0000000000000000000000000010",
"1000010110001000100110101000",
"0000000000000100000000000000",
"0111110010111110010001111111",
"0000000000000001000000000000",
"0100110111011110000011001100",
"1100010011100111100010101000",
"0001110110010111100001000111",
"0000000000000000001000000000",
"0100001111000011101010011100"]);

y:=CambridgeMatrix(1,F,28,[
"0010000000000000000000000000",
"0001000000000000000000000000",
"0000010000000000000000000000",
"0000000100000000000000000000",
"0000000010000000000000000000",
"0000000000100000000000000000",
"0000000000010000000000000000",
"0000000000000100000000000000",
"0100110010000000000000000000",
"0000000000000001000000000000",
"1100010110000100000000000000",
"0000000000000000001000000000",
"0000000000000000000100000000",
"1111110010100100000000000000",
"0000000000000000000001000000",
"0000000000000000000000010000",
"0000000000000000000000001000",
"0000000000000000000000000100",
"1011010100110110011111101110",
"0000000000000000000000000001",
"0000001101110000100011011001",
"0100101100111010111110100111",
"1010011000101111000001000000",
"1001111111010011010101010101",
"0110010111011100000001101001",
"0111000110111011100110110110",
"0001101000111101101100101011",
"0000001100110101111011110111"]);

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