set param var integer real binary implicit default priority sos do print check read forall minimize maximize subto defnumb defstrg defbool defset if vif then else end mod abs sgn floor ceil min with max sum prod card mod random ord length argmin argmax powerset subsets indexset cross union inter in cross without cross symdiff as by to cross and or sqrt log in exp substr ord proj infinity startval type1 type2 skip use fs match comment vabs match