0 init
1 set check 1
2 set subsumemineff 0
3 set ternaryocclim 1
4 add -3
5 add 8
6 add 0
7 add -3
8 add -5
9 add 0
10 add -4
11 add 6
12 add 7
13 add 0
14 add 2
15 add -9
16 add 0
17 add 3
18 add -8
19 add 7
20 add 0
21 add 6
22 add 3
23 add 5
24 add 0
25 add 7
26 add -9
27 add 4
28 add 0
29 add 3
30 add -9
31 add -7
32 add 0
33 add -6
34 add 5
35 add 3
36 add 0
37 add 4
38 add 6
39 add -1
40 add 0
41 add 5
42 add 6
43 add -7
44 add 0
45 add -5
46 add -7
47 add -2
48 add 0
49 add 4
50 add 6
51 add 1
52 add 0
53 add -7
54 add 4
55 add -5
56 add 0
57 add -8
58 add -6
59 add -5
60 add 0
61 add -5
62 add -7
63 add 2
64 add 0
65 add 9
66 add 5
67 add -8
68 add 0
69 constrain -5
70 constrain 7
71 constrain -2
72 constrain 0
73 add 14
74 add -8
75 add 7
76 add 0
77 add 14
78 add 7
79 add -9
80 add 0
81 add -13
82 add -6
83 add -9
84 add 0
85 add 10
86 add 14
87 add 11
88 add 0
89 add 10
90 add -8
91 add -7
92 add -9
93 add 0
94 add 14
95 add 12
96 add -8
97 add 0
98 add -8
99 add -12
100 add 6
101 add -11
102 add 0
103 add -10
104 add 7
105 add 0
106 add 11
107 add -12
108 add -14
109 add 8
110 add 0
111 add -13
112 add 9
113 add 7
114 add 0
115 add -8
116 add 10
117 add -14
118 add 0
119 add -9
120 add 7
121 add -11
122 add 0
123 add -9
124 add 6
125 add 14
126 add -12
127 add 0
128 add -7
129 add -13
130 add -14
131 add -10
132 add 0
133 add 13
134 add 12
135 add 0
136 add -6
137 add -7
138 add -12
139 add 0
140 add -10
141 add -8
142 add 11
143 add 0
144 add -12
145 add -6
146 add -11
147 add 9
148 add 0
149 constrain -13
150 constrain -7
151 constrain -6
152 constrain 12
153 constrain 0
154 simplify 1 0