## Tutorial Example -- from page 6 -- data for paint example with sets set P:=blue gold; # paint colours param t:=40; # total time available param: p r m:= blue 10 40 1000 gold 15 30 860;