sum_{r=3}^{12}(binomial(r-1,2)/binomial(12,3)(3 + harmonicnumber(12-r)))