gap> A:=AbelianPcpGroup([0]);;
gap> K:=EilenbergMacLaneSimplicialFreeAbelianGroup(A,3,15);;
gap> Cohomology(K,3);
[ 0 ]
gap> Cohomology(K,14);
[  ]
