0 init 1 set compactint 1 2 set compactmin 1 3 add 1 4 add -4 5 add 0 6 add -1 7 add -4 8 add 0 9 solve 0