#axiom
R(0)
#rules
R(x) : x<85 -> R(x+1)[+(x*137.5)-(x)X]