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