X∧4+4Y∧4X∧3-3X∧2-2X+216X∧2-9Y∧2+32X+16X∧4+X∧2Y∧2+Y∧4