
gap> Gamma0_SL3ZTopRationalHomology(31);
4
