
gap> R:=FreeGResolution(KK,2);;
gap> S:=ResolutionFiniteSubgroup(R,N);;
gap> C:=TensorWithIntegers(S);;
gap> D:=ContractedComplex(C);;
gap> Homology(D,1);
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 
  4, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 16, 16, 16, 16,
  16, 16, 16, 16, 16, 16, 16, 32, 96, 96, 672, 8471771350548821313678624, 
  127076570258232319705179360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
  0, 0, 0, 0, 0 ]
