F:=FreeGroup(3);;x:=F.1;;y:=F.2;;z:=F.3;;
rels:=[x*y*x*(y*x*y)^-1, y*z*y*(z*y*z)^-1, z*x*z*(x*z*x)^-1];;
R:=ResolutionAsphericalPresentation(F/rels,3);;
Print(Homology(TensorWithIntegers(R),2),"\n");;
