(loop(format t"~D
"(loop as i to(min(setf m(read)n(read))m)sum(*(- m i)(- n i)))))