0 init
1 set check 1
2 add 1
3 add 0
4 assume 1
5 assume -1
6 solve 0
7 failed 1
9 failed -1
10 reset