0 init
1 set probe 0
2 limit preprocessing 1
3 set transred 0
4 add 1
5 add -3
6 add 0
7 add 2
8 add -1
9 add 0
10 add 1
11 add -2
12 add 0
13 add 1
14 add 2
15 add 0
16 freeze 2
17 add 4
18 add 3
19 add 0
20 add 4
21 add 3
22 add 0
23 add 3
24 add 4
25 add 0
26 assume 4
27 solve 0
