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