0 init
1 set compactint 1
2 set compactmin 1
3 add 2
4 add -1
5 add 0
6 add -1
7 add -2
8 add 0
9 assume -4
10 assume 1
11 solve 0
12 add -3
13 add -4
14 add 0
15 add 4
16 add -3
17 add 0
18 solve 0