gap> K:=ContractibleGcomplex("SL(2,O-23)");;
gap> R:=FreeGResolution(K,10);;
gap> List([0..9],n->Homology(TensorWithIntegers(R),n));
[ [ 0 ], [ 12, 0, 0, 0 ], [ 2, 2, 12, 0, 0 ], [ 2, 2, 12 ], [ 2, 2, 12 ], 
  [ 2, 2, 12 ], [ 2, 2, 12 ], [ 2, 2, 12 ], [ 2, 2, 12 ], [ 2, 2, 12 ] ]

gap> K:=BianchiGcomplex(-23);;
gap> R:=FreeGResolution(K,10);;
gap> List([0..9],n->Homology(TensorWithIntegers(R),n));
[ [ 0 ], [ 12, 0, 0, 0 ], [ 2, 2, 12, 0, 0 ], [ 2, 2, 12 ], [ 2, 2, 12 ], 
  [ 2, 2, 12 ], [ 2, 2, 12 ], [ 2, 2, 12 ], [ 2, 2, 12 ], [ 2, 2, 12 ] ]
