DOM2D2Pn1 := {i, j, k, l | 0<i<2*k, 0<j<10+l , 0<k<10, 0<l<10};
DOM2D2Pn2 := {i, j, k, l | 0 >i>-2*k, 0>j>-10+l , 0<k<10, 0<l<10};
DOM2D2Pn3 := {i, j, k, l | 2k>i>-2, 10+l>j>=-1 , 0<k<10, 0<l<10};
DOM2D2Pn4 := {i, j, k, l | 2k>i, 10+l>j>0 , 0<k<10, 0<l<10};
DOM2D2Pn5 := {i, j, k, l | 2k>i>0, 10+l>j>0 , 0<k<10, 0<l};
