
C := { N,M | };

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

