0 0 m -1 0.333 l -1 -0.333 l h 0 0 m -1 0.333 l -1 -0.333 l h 0.6 0 0 0.6 0 0 e 0.4 0 0 0.4 0 0 e 0.6 0 0 0.6 0 0 e 0.5 0 0 0.5 0 0 e 0.6 0 0 0.6 0 0 e 0.4 0 0 0.4 0 0 e -0.6 -0.6 m 0.6 -0.6 l 0.6 0.6 l -0.6 0.6 l h -0.4 -0.4 m 0.4 -0.4 l 0.4 0.4 l -0.4 0.4 l h -0.6 -0.6 m 0.6 -0.6 l 0.6 0.6 l -0.6 0.6 l h -0.5 -0.5 m 0.5 -0.5 l 0.5 0.5 l -0.5 0.5 l h -0.6 -0.6 m 0.6 -0.6 l 0.6 0.6 l -0.6 0.6 l h -0.4 -0.4 m 0.4 -0.4 l 0.4 0.4 l -0.4 0.4 l h -0.43 -0.57 m 0.57 0.43 l 0.43 0.57 l -0.57 -0.43 l h -0.43 0.57 m 0.57 -0.43 l 0.43 -0.57 l -0.57 0.43 l h 0 0 m -1 0.333 l -1 -0.333 l h 0 0 m -1 0.333 l -0.8 0 l -1 -0.333 l h 0 0 m -1 0.333 l -0.8 0 l -1 -0.333 l h -1 0.333 m 0 0 l -1 -0.333 l 0 0 m -1 0.333 l -1 -0.333 l h -1 0 m -2 0.333 l -2 -0.333 l h 0 0 m -1 0.333 l -1 -0.333 l h -1 0 m -2 0.333 l -2 -0.333 l h 64 832 m 144 832 l 144 816 l 64 816 l 64 832 l 80 832 m 80 816 l 96 832 m 96 816 l 96 816 l 128 832 m 128 816 l $x_1$ $x_2$ $...$ $x_n$ 64 808 m 144 808 l 64 792 m 144 792 l $F$ $\exists$ $\forall$ 8 0 0 8 192 816 e 8 0 0 8 176 784 e 179.578 791.155 m 188.422 808.845 l 195.578 808.845 m 208 784 l 160 752 m 172.422 776.845 l 179.578 776.845 m 192 752 l