stdin.get_s(1K).split(" "){a,b:it.split(" ").map(|v|v.to_i).to_a;b*~b*(b-3*a-1)/6-b/~a .p;}