\form#0:$k-1$
\form#1:$\mathrm{MIP}$
\form#2:$0$
\form#3:$\mathrm{PIP}$
\form#4:$\mathrm{Node}$
\form#5:$\mathrm{Sol}$
\form#6:$\cP$
\form#7:$\Rset^3$
\form#8:$\leq$
\form#9:$\bowtie$
\form#0:$k-1$
\form#1:$\mathrm{MIP}$
\form#2:$0$
\form#3:$\mathrm{PIP}$
\form#4:$\mathrm{Node}$
\form#5:$\mathrm{Sol}$
\form#6:$\cP$
\form#7:$\Rset^3$
\form#8:$\leq$
\form#9:$\bowtie$
::
::
::
