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