
C := { N,M | };


P1 := {i,j,k,N,M | 1 <= i <= k, i <= j <= M, 0 <= k <= 20 };
P2 := {i,j,k,N,M | N=k };
P3 := P2 inter P1;
P4 := {i,j,k,N,M | 1 <= i <= k, i <= j <= M, 0 <= k };
initvisu(3,C);

