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