$0=(n=int($0/30.17+.58))*++n*(n-.5)/3