0 init
1 set check 1
2 set elimboundmin -1
3 add 9
4 add -2
5 add 7
6 add 0
7 add -2
8 add 1
9 add -9
10 add 0
11 add -7
12 add 10
13 add -6
14 add 0
15 add 6
16 add 0
17 add -6
18 add -4
19 add -3
20 add 0
21 add 4
22 add 9
23 add 8
24 add 0
25 add 2
26 add 8
27 add 0
28 add 3
29 add 0
30 constrain -8
31 constrain -5
32 constrain -10
33 constrain 0
34 simplify 3 0
35 constrain 13
36 constrain 15
37 constrain 14
38 constrain 11
39 constrain 12
40 constrain -11
41 constrain 0
42 freeze -7
43 solve 0