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);