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

F:=GF(2);

x:=CambridgeMatrix(1,F,52,[
"0000000000000000000000000011111001000001011011010011",
"0000000000000000000000000000000110101011011001000000",
"0000000000000000000000000010101111100100001111010111",
"0000000000000000000000000011110110111010110110111111",
"0000000000000000000000000011001111100101100101011101",
"0000000000000000000000000011101101100011000000110000",
"0000000000000000000000000011001100100010010110001001",
"0000000000000000000000000000110110111010011010011100",
"0000000000000000000000000010000110101100001000111001",
"0000000000000000000000000001111000001111001001000100",
"0000000000000000000000000011100110111010110010011001",
"0000000000000000000000000000100110101100110001000001",
"0000000000000000000000000011011011001011010110101110",
"0000000000000000000000000010011110011000111010000111",
"0000000000000000000000000011010100111110101001101011",
"0000000000000000000000000010110011000110101101111010",
"0000000000000000000000000010011001111101001001001011",
"0000000000000000000000000010100010010000101011110101",
"0000000000000000000000000010110010001110011110100000",
"0000000000000000000000000011110000011011110011111100",
"0000000000000000000000000010010010001001111111011110",
"0000000000000000000000000001100010000001110110001101",
"0000000000000000000000000011001010101110011010110111",
"0000000000000000000000000011011110000010000100110010",
"0000000000000000000000000001000100010111001100101011",
"0000000000000000000000000010001101111011110011111101",
"0011111101111000000110000000000000000000000000000000",
"1001011001000001001111011100000000000000000000000000",
"1110010001111010111100010100000000000000000000000000",
"1110000010111111110010000100000000000000000000000000",
"1001101101010001010011000100000000000000000000000000",
"0011000100111101001110000100000000000000000000000000",
"1101101111001110110100011000000000000000000000000000",
"0101100101110010101101111100000000000000000000000000",
"1110110111001011001100001000000000000000000000000000",
"1110101100100110000111001100000000000000000000000000",
"0101111101011000001101000100000000000000000000000000",
"1010111101000001010011011100000000000000000000000000",
"0111000001011101111100101000000000000000000000000000",
"1011111100011011101000001100000000000000000000000000",
"0000011011100110001010010100000000000000000000000000",
"0110110100100111110111110100000000000000000000000000",
"0100111011011010001000000100000000000000000000000000",
"0010000001110000000111011100000000000000000000000000",
"1100111101000111101111000100000000000000000000000000",
"1111010011011011010000000100000000000000000000000000",
"1010110011111101000001010000000000000000000000000000",
"0011010000101101011100001000000000000000000000000000",
"1001001010000010000010101100000000000000000000000000",
"1000110011001011000000110100000000000000000000000000",
"1111000011011001110100111100000000000000000000000000",
"1000110001010001111001111100000000000000000000000000"]);

y:=CambridgeMatrix(1,F,52,[
"1010111111100100110000101100000000000000000000000000",
"0110010010001010111110110000000000000000000000000000",
"0001111000111011111100110000000000000000000000000000",
"1000000010101011111001110100000000000000000000000000",
"0011000011110110010111111000000000000000000000000000",
"1110010101010010111101101100000000000000000000000000",
"0111011111110110101011010000000000000000000000000000",
"1110101110011010100101101100000000000000000000000000",
"1011110100100011101001100100000000000000000000000000",
"1111000110011101100110100100000000000000000000000000",
"0010101000000011011101010100000000000000000000000000",
"0111101000100101001001011000000000000000000000000000",
"1000110111001011001101100000000000000000000000000000",
"0000101110100011011111101100000000000000000000000000",
"1011001100000001110000110100000000000000000000000000",
"0010000001000001000010111000000000000000000000000000",
"1100101111000100110010010000000000000000000000000000",
"1011011110100001011100111100000000000000000000000000",
"0101100110010100010010111100000000000000000000000000",
"0001101001011101110110010000000000000000000000000000",
"1101101111111001101111000000000000000000000000000000",
"1000101011000000001111110000000000000000000000000000",
"1111011000000001001000000100000000000000000000000000",
"0011110100100011100010111100000000000000000000000000",
"1110110010110101100011110100000000000000000000000000",
"0110001011110110100101100000000000000000000000000000",
"0000000000000000000000000011111000010011111001100001",
"0000000000000000000000000000001111001011111010001100",
"0000000000000000000000000001110010100110100000111001",
"0000000000000000000000000001010110110011001111001100",
"0000000000000000000000000011101110011101001110110101",
"0000000000000000000000000010110011111010101101000001",
"0000000000000000000000000001110111011110001100001011",
"0000000000000000000000000011100001011010011000110011",
"0000000000000000000000000010001010111101110001001000",
"0000000000000000000000000001101011000010111011011111",
"0000000000000000000000000011111100010000001000110001",
"0000000000000000000000000010000001110101010100110010",
"0000000000000000000000000011101000010011111001000001",
"0000000000000000000000000010000101111001100100110001",
"0000000000000000000000000011111101010111001101111001",
"0000000000000000000000000000100110001011101001010011",
"0000000000000000000000000010000110000101011110000110",
"0000000000000000000000000011010000010110110010010101",
"0000000000000000000000000001100100010001101011100011",
"0000000000000000000000000011001110111010101110101101",
"0000000000000000000000000011000110110001001111101100",
"0000000000000000000000000010100000110010011111101100",
"0000000000000000000000000001000111100000110100001001",
"0000000000000000000000000011001001010100011011100010",
"0000000000000000000000000000000000100000101110101110",
"0000000000000000000000000000000110111011100111111101"]);

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