gap> delta:=ConnectingCohomologyHomomorphism(psi,2);;
gap> Size(ImageOfGOuterGroupHomomorphism(delta));
