int from (6/x) to 7-x of ((int from 1 to 6 of (xdx))dy)