0 init
1 set elimint 0
2 add -1
3 add -2
4 add 0
5 add -1
6 add 2
7 add 0
8 assume 1
9 solve 0
10 assume -2
11 solve 0