data;
set VARMAJOR := x1 x2;
set VARMINOR :=;
set VARFREE :=;
set CONSMAJOR :=;
set CONSMINOR :=;
set CONSEQUAL := u1 u2;

param c := x1 4 x2 5;
param b := u1 8 u2 6;
param a : x1 x2 := u1 3 4 u2 2 3;