int 1 dzdxdy with z from 0 to 4-x-y, x from (4-y)/2 to 4-y, y from 0 to 4