do 30
pull a b
say(b+1)*b*(1-b+3*a)/6+(a<b)
end