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

param c := x1 3 x2 3;
param b := u1 456 u2 3;
param a : x1 x2 := u1 4 64 u2 5 2;