0 init
1 set check 1
2 add -1
3 add -3
4 add 0
5 add 2
6 add 3
7 add 0
8 add -4
9 add 1
10 add 0
11 constrain 1
12 constrain 4
13 constrain -3
14 constrain 0
15 assume -2
16 solve 0