A/B/B/A:-A<B. A/B/A/B. m:-readln([A,B]),A/B/M/N,!,format("~d ",N*(N+1)*(3*M+1-N)/6),m.

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

download

return to the top page