int boole(x^2+2 y^2<z<6-2x^2-y^2), x=-oo,oo, y=-oo..oo, z=-oo..oo