Example bounded by z+y=2, z=1-x^2 in first octant.
Information: Example bounded by z+y=2, z=1-x^2 in first octant.