gap> R:=ResolutionFiniteGroup(pi_1,4);;
gap> C:=HomToGModule(R,pi_2);;
gap> CH:=CohomologyModule(C,3);;
gap> AbelianInvariants(ActedGroup(CH));
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ]
