int (1-a-b) db da, b=0 to min((1-a)/2,1-2a), a=0 to 1/2