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