G:=Group ;
AbelianQuotient(G);
N := NilpotentQuotient(G,2); N;
G3:=Group ;
H3:=Group ;
J3,gj3:=quo;
J3;
N3, n := NilpotentQuotient(J3,2);
N3;
li:=[n(gj3(G3.1)), n(gj3(G3.2)),n(gj3(G3.3)),n(gj3(G3.4)),n(gj3(G3.5))];
g:=homN3|li>;
k3:=Kernel(g);
A3,a3:=AbelianQuotient(k3);
A3;
x:=G3.3^-1*G3.4^-1*G3.3*G3.4*G3.5^-1*G3.5*(G3.3^-1*G3.4^-1*G3.3*G3.4*G3.5^-1)^-1*G3.5^-1;
g(x);
a3(x);