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