/*
Realisation of the presentation in L232d5P1 as 10 x 10 matrices over GF(2).
Generators are a, b, c and d and the symplectic form is B.
*/

F:=FiniteField(2);

a:=CambridgeMatrix(1,F,10,[
"1000000000",
"0100000000",
"0010000000",
"0001000000",
"0000100000",
"1000010000",
"0100001000",
"0010000100",
"0001000010",
"0000100001"]);

b:=CambridgeMatrix(1,F,10,[
"1101100000",
"1100100000",
"1100000000",
"0110000000",
"0011000000",
"0000011111",
"0000011011",
"0000011001",
"0000011000",
"0000001100"]);

c:=CambridgeMatrix(1,F,10,[
"0000010000",
"0000001000",
"0000000100",
"0000000010",
"0000000001",
"1000000000",
"0100000000",
"0010000000",
"0001000000",
"0000100000"]);

d:=CambridgeMatrix(1,F,10,[
"1000000000",
"0010000000",
"0000100000",
"0101000000",
"1011000000",
"0000010000",
"0000000100",
"0000000001",
"0000001010",
"0000010110"]);

G<a,b,c,d>:=MatrixGroup<10,F|a,b,c,d>;

B:=CambridgeMatrix(1,F,10,[
"0000010010",
"0000000101",
"0000001011",
"0000010110",
"0000001100",
"1001000000",
"0010100000",
"0101100000",
"1011000000",
"0110000000"]);