/*
Realisation of the presentation in L232P4 as 2 x 2 matrices over GF(32).
Generators are x and y and the symplectic form is B.
*/

F<w>:=FiniteField(32);

G<x,y>:=MatrixGroup<2,F|[
1,0,
w^-1,1]
,[
0,1,
1,1]
>;

B:=GL(2,F)![
0,1,
1,0];