gap> gamma:=HAP_CongruenceSubgroupGamma0(13);;
gap> Y:=GComplexToRegularCWComplex(K,gamma);;
gap> Homology(Y,1);
[ 0 ]
gap> Display( GraphOfRegularCWComplex( Y ));
