/*
www-ATLAS of Group Representations.
L2(16):4 represented as 32 x 32 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,32,[
"01000000000000000000000000000000",
"10000000000000000000000000000000",
"00010000000000000000000000000000",
"00100000000000000000000000000000",
"00000010000000000000000000000000",
"00000001000000000000000000000000",
"00001000000000000000000000000000",
"00000100000000000000000000000000",
"00000000000100000000000000000000",
"00000000000001000000000000000000",
"00000000000000010000000000000000",
"00000000100000000000000000000000",
"00000000000000000010000000000000",
"00000000010000000000000000000000",
"00000000000000000000100000000000",
"00000000001000000000000000000000",
"00000000000000000000000100000000",
"00000000000000000000000001000000",
"00000000000010000000000000000000",
"00000000000000000000000000001000",
"00000000000000100000000000000000",
"11110000111110001110010001111110",
"11110000111101111101101101001000",
"00000000000000001000000000000000",
"01100000110001101101101110011110",
"00000000000000000100000000000000",
"00000000000000100000100000100000",
"00000000000000000000000000000001",
"00000000000000000001000000000000",
"11111111100100000101100001111101",
"11111111111101111100000101100010",
"00000000000000000000000000010000"]);

y:=CambridgeMatrix(1,F,32,[
"00100000000000000000000000000000",
"01100000000000000000000000000000",
"00001000000000000000000000000000",
"00000100000000000000000000000000",
"10101000000000000000000000000000",
"00000000100000000000000000000000",
"00000000010000000000000000000000",
"00000000001000000000000000000000",
"00000000000010000000000000000000",
"00000000000000100000000000000000",
"00000000000000001000000000000000",
"00000000000000000100000000000000",
"00010000000000000000000000000000",
"00000000000000000001000000000000",
"00000000000000000000010000000000",
"00000000000000000000001000000000",
"00000000000000000000000010000000",
"00000000000000000000000000100000",
"00000000000000000000000000010000",
"00000000000000000000000000000100",
"00000000000000000000000000000010",
"00000010000000000000000000000000",
"01110001100100000101110111010010",
"00010100111100100110110010111110",
"00000001000000000000000000000000",
"11101110101111010111110011111010",
"01111001111111010000010001111100",
"00110001101110010000101011011011",
"01100101001011010101111101001110",
"00010101111011101111111100010011",
"00001001111111110111001001000010",
"01001011100010101101110101000011"]);

G<x,y>:=MatrixGroup<32,F|x,y>;
print "Group G is L2(16):4 < GL(32,GF(2))";