0 init
1 set check 1
2 set compactint 1
3 set compactmin 1
4 add 4
5 add -5
6 add 0
7 add -4
8 add 3
9 add 0
10 add -2
11 add -3
12 add 0
13 add -6
14 add -2
15 add 0
16 add 6
17 add -1
18 add 0
19 add 2
20 add -4
21 add 0
22 add -6
23 add 2
24 add 0
25 solve 0
26 assume 5
27 assume -7
28 solve 0
