param N:= 4;

param M:= 5;

param J:= 1 3
          2 -1
          3 -1
          4 -1;
param d:= 1 1
          2 1
          3 2
          4 1
          5 3;
          
param s:= 1 2
          2 4
          3 4
          4 3
          5 4;

param R:= 1 1
          2 1
          3 1
          4 1
          5 1;