int from 1 to 6 of ((int from (6/x) to 7-x of (xdy))dx)