Lines Matching refs:x7
36 +4x1+4x2+12x3+4x4+8x5-4x6-2x7+4x8<=192
37 +16x1+8x2+28x3+28x4+24x5-4x6-2x7+4x8<=640
39 +8x1+8x3+8x4+8x5-4x6-2x7<=192
40 +12x1+4x2+16x3+16x4+16x5-4x6-2x7<=384
41 +20x1+12x2+42x3+42x4+36x5-4x6-2x7+6x8<=960
42 +9x1+1x2+11x3+9x4+10x5-3x6-2x7+1x8<=240
43 -2x1-2x2-4x3+4x6+2x7<=0
44 +22x1+4x2+24x3+28x4+24x5-8x6-4x7+4x8<=640
45 +60x1+20x2+76x3+84x4+72x5-20x6-10x7+12x8<=1920
46 +32x1+22x2+84x3+84x4+72x5-4x6-2x7+12x8<=1920
47 +28x1+10x2+44x3+36x4+40x5-8x6-4x7+4x8<=960
48 +36x1+12x2+52x3+44x4+48x5-12x6-6x7+4x8<=1152
49 +23x1+7x2+33x3+27x4+30x5-7x6-4x7+3x8<=720
50 +48x1+24x2+88x3+72x4+80x5-12x6-6x7+8x8<=1920
51 +96x1+40x2+160x3+128x4+144x5-28x6-14x7+16x8<=3456
52 +15x1+7x2+26x3+20x4+24x5-4x6-2x7+4x8<=576
53 +12x1+4x2+20x3+12x4+16x5-4x6-2x7<=384
54 +11x1+3x2+17x3+11x4+14x5-3x6-2x7+1x8<=336
55 +8x1+12x3+4x4+8x5-4x6-2x7<=192
56 +4x3-4x4-4x6-2x7<=0
57 -2x2+8x3-8x4-8x6-4x7+2x8<=0
58 +12x1-12x2+28x3-12x4+8x5-20x6-10x7+4x8<=192
59 +12x1-12x2+20x3-4x4+8x5-12x6-6x7+2x8<=192
60 +48x1+24x2+92x3+60x4+80x5-12x6-6x7+4x8<=1920
61 +15x1+7x2+28x3+18x4+24x5-4x6-2x7+2x8<=576
62 +42x1+18x2+76x3+40x4+64x5-12x6-6x7+8x8<=1536
63 +12x1+4x2+20x3-4x4+16x5-4x6-2x7+4x8<=384
64 +60x1+20x2+102x3-18x4+76x5-14x6-10x7+18x8<=1920
65 +60x1+20x2+102x3+46x4+76x5-14x6-10x7+2x8<=1920
66 +22x1+6x2+37x3+17x4+26x5-5x6-4x7+1x8<=672
67 +22x1+4x2+36x3+16x4+24x5-4x6-4x7<=640
68 +40x1+64x3+16x4+32x5-8x6-10x7<=960
69 +4x1-4x2+8x3-2x7<=64
70 -8x2+6x3-2x4-4x5+2x6-2x7<=0
71 -8x1-18x2+8x3-8x5+8x6-2x7<=0
72 -36x1-60x2+28x3+4x4-24x5+28x6-6x7+4x8<=64
73 -28x1-36x2+20x3+12x4-8x5+20x6-2x7+4x8<=192
80 +30x1+8x2+48x3+20x4+40x5-8x6-4x7+4x8<=960
81 +32x1+8x2+52x3+20x4+40x5-12x6-6x7+4x8<=960
82 +32x1+8x2+52x3-44x4+40x5-12x6-6x7+20x8<=960
83 +30x1+8x2+48x3-12x4+40x5-8x6-4x7+12x8<=960
84 +16x1+6x2+28x3+12x4+24x5-4x6-2x7+4x8<=576
85 +8x1+8x3+8x4+8x5-4x6-2x7+2x8<=208
86 +7x1-1x2+5x3+7x4+6x5-3x6-2x7+1x8<=160
87 +12x1-12x2+8x4+8x5-8x6-6x7<=192
88 +9x1-7x2+1x3+7x4+6x5-5x6-4x7+1x8<=160
89 +20x1+4x2+20x3+28x4+24x5-4x6-2x7+4x8<=640
90 +5x1-3x2+2x3+4x4+4x5-2x6-2x7<=96
92 +18x1+2x2+17x3+21x4+18x5-7x6-4x7+3x8<=480
93 +19x1+3x2+20x3+22x4+20x5-8x6-4x7+4x8<=528
94 +30x1+4x2+32x3+36x4+40x5-4x6-2x7+4x8<=960
95 +36x1+4x2+32x3+40x4+48x5-2x7+8x8<=1152
96 +36x1+12x2+48x3+40x4+48x5-8x6-6x7+8x8<=1152
97 +8x1+4x3+4x4+8x5-4x6-2x7+4x8<=192
99 +12x1+4x2+8x3+8x4+16x5-4x6-2x7+8x8<=384
100 +48x1+24x2+48x3+40x4+80x5-12x6-6x7+40x8<=1920
101 +16x1-2x2+20x3+12x4+16x5-4x6-4x7<=384
102 +24x1+32x3+16x4+24x5-8x6-6x7<=576
103 +17x1+1x2+23x3+13x4+18x5-5x6-4x7+1x8<=432
104 +28x1-12x2+36x3+12x4+24x5-12x6-10x7+4x8<=576
105 +52x1-36x2+92x3-12x4+40x5-52x6-26x7+12x8<=960
106 -4x2+14x3-10x4-4x5-6x6-6x7+2x8<=0
107 +72x1+32x2+120x3+104x4+112x5-16x6-10x7+8x8<=2688
108 -8x2+20x3-12x4-56x5+12x6-2x7+4x8<=0
109 +4x1-4x2+16x3-8x4-24x5+4x6-2x7<=64
110 +8x1+16x3-2x7<=192
111 -8x1-16x2+20x3+4x4-24x5+12x6-2x7+4x8<=64
113 +13x1-3x2+12x3+10x4+12x5-6x6-4x7+2x8<=288
114 +14x1-2x2+15x3+11x4+14x5-7x6-4x7+3x8<=336
116 -12x1+20x3+12x4-8x5-4x6-2x7+4x8<=192
117 -4x1-8x2+6x3-2x4-4x5+2x6-2x7+2x8<=0
118 +12x1-12x2+28x3-28x4+8x5-20x6-10x7+12x8<=192
119 +4x3-16x4-4x6-2x7+6x8<=0
120 +4x3-40x4-4x6-2x7+12x8<=0
121 +8x1+12x3-44x4+8x5-4x6-2x7+12x8<=192
123 +12x1-12x2+20x3-300x4+8x5-12x6-6x7+76x8<=192
124 +40x1+64x3-208x4+32x5-8x6-10x7+56x8<=960
125 +72x1+16x2+120x3-120x4+80x5-16x6-14x7+48x8<=2112
126 +16x1+4x2+26x3-6x4+20x5-2x6-2x7+6x8<=512
127 +16x1+4x2+26x3+10x4+20x5-2x6-2x7+2x8<=512
128 +16x1+24x3+8x4+16x5-2x7<=448
129 -24x1-8x2+68x3+20x4-56x5-12x6-6x7+20x8<=448
130 -8x1-2x2+24x3+8x4-16x5-4x6-2x7+8x8<=192
131 -16x1+36x3+4x4-24x5-12x6-6x7+12x8<=192
132 +13x1+5x2+23x3+13x4+18x5-3x6-2x7+1x8<=448
134 -2x1+2x2+4x3-4x4-4x6-2x7+2x8<=0
135 +22x3-22x4-4x5-14x6-10x7<=0
136 +22x3-82x4-4x5-14x6-10x7+30x8<=0
137 -4x2+14x3-34x4-4x5-6x6-6x7+14x8<=0
138 +21x1-3x2+20x3+18x4+20x5-8x6-6x7+2x8<=480
139 +19x1-1x2+16x3+18x4+20x5-4x6-4x7+2x8<=480
140 +52x1+44x3+52x4+56x5-12x6-10x7+4x8<=1344
141 +22x1+12x3+24x4+24x5-4x6-4x7<=576
142 +28x1+4x2+24x3+32x4+32x5-8x6-6x7<=768
143 +28x1+4x2-40x3+32x4+32x5+8x6-6x7<=768
144 +22x1-20x3+24x4+24x5+4x6-4x7<=576
145 +12x1-10x3+14x4+12x5+2x6-2x7+2x8<=320
146 +7x1-1x2-3x3+7x4+6x5-1x6-2x7+1x8<=160
147 -2x1-2x2+12x3-8x4-16x5-4x6-2x7+4x8<=0
148 -22x1-14x2+52x3-16x4-80x5-12x6-6x7+16x8<=0
149 -32x1-16x2+68x3+4x4-88x5-12x6-6x7+20x8<=192
150 -18x1-10x2+36x3+8x4-48x5-4x6-2x7+8x8<=128
151 -8x1-8x2+20x3+4x4-24x5+4x6-2x7+4x8<=64
153 -4x1-8x2+14x3-2x4-20x5+4x6-2x7+2x8<=0
154 -1x1-7x2+11x3-3x4-14x5+3x6-2x7+1x8<=0
155 -8x2+12x3-4x4-16x5+4x6-2x7<=0
156 -4x1-12x2+20x3-4x4-32x5+8x6-2x7<=0
157 -24x2+44x3-20x4-64x5+16x6-6x7<=0
158 -4x2+10x3-6x4-12x5+2x6-2x7+2x8<=0
159 -14x1-22x2+44x3-8x4-64x5+12x6-6x7+8x8<=0
160 -6x1-10x2+18x3-2x4-28x5+6x6-2x7+2x8<=0
161 -28x1-36x2+52x3+12x4-72x5+36x6-2x7+12x8<=192
164 -12x2+10x3-6x4-12x5+6x6-2x7+2x8<=0
166 -16x1-24x2+44x3+12x4-72x5+28x6-2x7+12x8<=192
167 -4x1-12x2+14x3-2x4-20x5+8x6-2x7+2x8<=0
168 -1x1-9x2+11x3-3x4-14x5+5x6-2x7+1x8<=0
169 -32x1-40x2+68x3+4x4-88x5+36x6-6x7+20x8<=192
172 -4x1-12x2+20x3-4x4-40x5+12x6-2x7+4x8<=0
173 -10x2+16x3-8x4-24x5+8x6-2x7<=0
174 +12x1-12x2+40x3-16x4-32x5+8x6-6x7<=192
175 -24x2+34x3-14x4-44x5+14x6-6x7+2x8<=0
176 +4x1-4x2+16x3-8x4-16x5-2x7<=64
177 -8x2+20x3-12x4-32x5-2x7<=0
178 -4x2+14x3-10x4-20x5-2x6-2x7+2x8<=0
180 -24x2+44x3-20x4-72x5+20x6-6x7+4x8<=0
181 -24x2+60x3-36x4-104x5+4x6-6x7+4x8<=0
182 -6x1-10x2+16x3-4x4-24x5+8x6-2x7+4x8<=0
184 -6x1-18x2+16x3-4x4-24x5+12x6-2x7+4x8<=0
186 +12x1+4x2+12x3+20x4+8x5-4x6-2x7+4x8<=384
187 +16x1+8x2+20x3+36x4+8x5-4x6-2x7+4x8<=640
188 +20x1+12x2+32x3+56x4+8x5-4x6-2x7+4x8<=960
190 +6x1+14x2+60x3+80x4+4x6-2x7<=1280
191 +2x1+10x2+52x3+64x4+4x6-2x7<=1024
192 +12x1+12x2+48x3+56x4+16x5-2x7+8x8<=1024
193 -8x1+4x2+24x3+24x4-2x7<=384
194 -4x1+4x2+16x3+16x4-2x6-2x7<=256
195 +16x2+56x3+56x4+16x5-8x6-6x7+8x8<=1024
196 +16x2+52x3+52x4+16x5-12x6-6x7+8x8<=960
197 +96x1+72x2+280x3+280x4+240x5-8x6-6x7+40x8<=6400
198 +16x1+12x2+42x3+42x4+36x5-2x6-2x7+6x8<=960
199 +48x1+40x2+168x3+168x4+144x5-2x7+24x8<=3840
200 +72x1+48x2+178x3+178x4+148x5-10x6-6x7+26x8<=4032
201 +20x1+14x2+52x3+52x4+40x5-4x6-2x7+8x8<=1152
202 -2x1+2x2-2x6-2x7<=0
204 +4x1+4x2+8x3+8x4+8x5-4x6-2x7<=192
205 +176x1+88x2+288x3+288x4+288x5-40x6-26x7<=6912
206 +48x1+24x2+80x3+80x4+80x5-10x6-6x7<=1920
207 +12x1+10x2+24x3+24x4+24x5-6x6-4x7<=576
208 +168x1+64x2+264x3+216x4+240x5-48x6-26x7+24x8<=5760
209 +48x1-24x2+36x3+36x4+40x5-20x6-18x7+4x8<=960
210 +44x1-12x2+28x3+36x4+40x5-12x6-14x7+4x8<=960
211 +12x1-12x2-4x3+4x4+8x5-4x6-6x7+4x8<=192
212 +56x1-48x2+20x3+36x4+40x5-28x6-26x7+4x8<=960
214 +24x1+28x3+12x4+24x5-4x6-6x7+4x8<=576
218 +32x1+36x3+20x4+40x5+4x6-2x7+4x8<=960
222 +23x1+3x2+25x3+27x4+30x5-3x6-2x7+3x8<=720
223 +21x1+1x2+27x3+17x4+26x5-1x6-2x7+1x8<=624
224 +26x1+32x3+20x4+32x5-2x7<=768
225 +62x1+80x3+44x4+64x5-16x6-14x7<=1536
226 +42x1+12x2+64x3+44x4+56x5-12x6-6x7+4x8<=1344
227 +90x1+28x2+128x3+108x4+120x5-28x6-14x7+12x8<=2880
229 +30x1+24x3+28x4+32x5-6x6-6x7+4x8<=768
230 +24x1+20x3+20x4+24x5-8x6-6x7+4x8<=576
231 +24x1+15x3+23x4+22x5-9x6-6x7+5x8<=576
232 +8x1-12x3+4x4+8x5+4x6-2x7+4x8<=192
234 +8x3-8x4-8x5-4x6-2x7<=0
235 +12x1-12x2+76x3-76x4-88x5-20x6-10x7+12x8<=192
236 -6x2+28x3-28x4-40x5-8x6-4x7+6x8<=0
237 +15x1+7x2+29x3+15x4+22x5-3x6-2x7+1x8<=576
238 +13x1+5x2+25x3+7x4+14x5-3x6-2x7+1x8<=448
239 +14x1+6x2+26x3+14x4+20x5-4x6-2x7+2x8<=512
240 +13x1+5x2+23x3+5x4+18x5-3x6-2x7+3x8<=448
243 -8x1-8x2+24x3-8x4-48x5-2x7+8x8<=0
245 +4x1+4x2-12x3+12x4-72x5+4x6-2x7+12x8<=192
246 +6x3-6x4-4x5-2x6-2x7<=0
247 +12x1+4x2+22x3+6x4+12x5-2x6-2x7<=384
248 +31x1+15x2+59x3+37x4+50x5-7x6-4x7+3x8<=1216
249 +20x1+16x2+42x3+42x4+36x5-10x6-6x7+6x8<=960
250 +72x1+20x2+112x3+64x4+96x5-16x6-10x7+8x8<=2304
251 +42x1+12x2+64x3+36x4+56x5-8x6-6x7+6x8<=1344
252 +36x1+12x2+56x3+32x4+48x5-8x6-6x7+4x8<=1152
253 +12x1+4x2+16x3+8x4+16x5-2x7<=384
255 +26x1+10x2+43x3+31x4+38x5-5x6-4x7+1x8<=912
256 +27x1+11x2+46x3+32x4+40x5-6x6-4x7+2x8<=960
257 +39x1+15x2+66x3+44x4+56x5-10x6-6x7+4x8<=1344
258 +120x1+48x2+200x3+152x4+176x5-32x6-18x7+16x8<=4224
259 +132x1+60x2+240x3+168x4+208x5-32x6-18x7+16x8<=4992
260 +96x1+40x2+168x3+104x4+144x5-24x6-14x7+16x8<=3456
261 +76x1+28x2+128x3+72x4+112x5-16x6-10x7+16x8<=2688
262 +29x1+9x2+46x3+28x4+40x5-6x6-4x7+4x8<=960
263 -2x1+2x2-12x3+4x6-2x7<=0
264 +20x1+20x2-134x3+42x4+36x5+38x6-10x7+6x8<=960
265 +60x1+20x2-148x3+84x4+72x5+36x6-10x7+12x8<=1920
266 +68x1+12x2-100x3+84x4+72x5+20x6-14x7+12x8<=1920
267 +12x1+6x3+14x4+12x5-2x6-2x7+2x8<=320
268 +40x1+26x3+42x4+36x5-18x6-10x7+6x8<=960
269 +12x1+8x2+22x3+30x4+12x5-2x6-2x7+6x8<=576
270 +12x1+10x2+8x3+24x4+24x5+2x6-4x7<=576
271 +56x1+32x2+80x3+96x4+96x5-8x6-10x7<=2304
272 +20x1+20x2+38x3+42x4+36x5-20x6-10x7+6x8<=960
275 +8x1+4x3-28x4+8x5+4x6-2x7+12x8<=192
276 +8x1+4x3-60x4+8x5+4x6-2x7+20x8<=192
278 +28x1+20x2+80x3+88x4+48x5-2x7+16x8<=1792
280 +204x1+100x2+384x3+264x4+336x5-48x6-26x7+24x8<=8064
281 +48x1+24x2+88x3+56x4+80x5-8x6-6x7+8x8<=1920
282 +12x1+4x2+16x3-8x4+16x5-2x7+8x8<=384
283 +12x1-12x2+12x3+4x4+8x5-4x6-6x7<=192
284 +12x1-12x2+12x3-12x4+8x5-4x6-6x7+8x8<=192
285 +12x1-12x2-4x3-60x4+8x5+12x6-6x7+28x8<=192
286 +8x3-8x4-16x5-2x7<=0
288 +4x1+4x2-16x3+12x4+4x6-2x7<=192
289 +20x1+12x2-40x3+48x4+8x6-6x7<=768
290 +14x1+6x2-20x3+32x4+4x6-2x7<=512
292 +60x1-12x2+68x3+44x4+56x5-20x6-18x7+4x8<=1344
293 +92x1-12x2+116x3+60x4+88x5-28x6-26x7+4x8<=2112
294 +44x1-12x2+52x3+28x4+40x5-12x6-14x7<=960
295 +48x1+24x2+72x3+56x4+80x5-8x6-6x7+24x8<=1920
296 +5x1-3x2+4x3+2x4+4x5-2x7<=96
297 -2x2+8x3-24x4-8x6-4x7+10x8<=0
298 -4x1-4x2+16x3-8x4-112x5+16x6-2x7+8x8<=0
299 +12x1+4x2+24x3-2x7<=384
300 -2x1+2x2+4x3-16x4-4x6-2x7+8x8<=0
301 +4x1-4x2+20x3-20x4-24x5-4x6-2x7+2x8<=64
302 +6x1-2x2+20x3-16x4-16x5-4x6-2x7+2x8<=128
303 +8x1+20x3-12x4-8x5-4x6-2x7<=192
304 +4x1+14x3-10x4-8x5-4x6-2x7+2x8<=96
305 +20x1-4x2+76x3-60x4-56x5-20x6-10x7+12x8<=448
307 +12x1+4x2+24x4-16x5-4x6-2x7+8x8<=384
308 +8x1-4x3+12x4-8x5-4x6-2x7+4x8<=192
309 -12x1-20x2+20x3+12x4-8x5+12x6-2x7+4x8<=192
310 -12x1-4x2+20x3+12x4-8x5+4x6-2x7+4x8<=192
311 -76x1-20x2+84x3+12x4-72x5+4x6-18x7+12x8<=192
312 -20x1-12x2+28x3+4x4-24x5+4x6-6x7+4x8<=64
313 -20x1-44x2+28x3+4x4-24x5+20x6-6x7+4x8<=64
314 -12x1-36x2+22x3-2x4-20x5+14x6-6x7+2x8<=0
315 -4x1-10x2+8x3-8x5+4x6-2x7<=0
316 -4x1-6x2+8x3-8x5+2x6-2x7<=0
317 -4x1+6x3-2x4-4x5-2x6-2x7+2x8<=0
318 -4x2+6x3-2x4-4x5-2x7<=0
320 -8x1-8x2+16x3-24x5+4x6-2x7<=0
321 -20x1-4x2+28x3+4x4-24x5-4x6-6x7+4x8<=64
322 -20x1-4x2+24x3-24x5-4x6-6x7<=0
323 -8x1+8x3-8x5-4x6-2x7<=0
324 -5x1+1x2+6x3-2x4-4x5-4x6-2x7+2x8<=0
325 -24x1+28x3+4x4-24x5-12x6-6x7+4x8<=64
326 -46x1+10x2+42x3+6x4-36x5-18x6-14x7+6x8<=96
327 -18x1+6x2+14x3+2x4-12x5-10x6-6x7+2x8<=32
328 -112x1+40x2+84x3+12x4-72x5-76x6-38x7+12x8<=192
329 -6x1+2x2+4x3-4x5-4x6-2x7<=0
330 -16x4-2x7+8x8<=0
331 +12x1-12x2-4x3-28x4+8x5-4x6-6x7+20x8<=192
332 +40x1-38x3+42x4+36x5-2x6-10x7+6x8<=960
333 +40x1-8x2+20x3+36x4+40x5-4x6-10x7+4x8<=960
334 +8x1-2x2+8x4+8x5-2x7<=192
335 +18x1-6x2+4x3+16x4+16x5-4x6-6x7<=384
336 +8x1-8x3+8x4+8x5-2x7<=192
337 +20x1-20x2-10x3+14x4+12x5-14x6-10x7+2x8<=320
340 -16x1+8x2+20x3+12x4-8x5-12x6-6x7+4x8<=192
341 -12x1+20x2+60x3+52x4+8x5-20x6-10x7+12x8<=960
342 +12x1+8x2+26x3+26x4+20x5-4x6-2x7+4x8<=576
343 +48x1+24x2+68x3+100x4+40x5-12x6-6x7+20x8<=1920
344 +16x1+8x2+32x3+16x4+24x5-4x6-2x7<=640
345 +12x1+4x2+24x3+8x5-4x6-2x7<=384
346 +8x1+36x3-44x4-24x5-12x6-6x7+12x8<=192
347 +8x1+36x3-76x4-24x5-12x6-6x7+20x8<=192
348 +6x1-2x2+20x3-40x4-16x5-4x6-2x7+8x8<=128
349 +4x1-4x2+20x3-60x4-24x5-4x6-2x7+12x8<=64
351 +21x1+5x2+34x3+16x4+24x5-4x6-4x7<=624
352 +12x1+4x2+20x3+12x4+16x5-2x6-2x7<=400
354 +16x1+8x2+8x3+40x4-48x5-2x7+16x8<=640
355 +48x1+24x2+24x3+120x4-80x5-8x6-6x7+40x8<=1920
356 -8x1-8x2+22x3+6x4-36x5+10x6-2x7+6x8<=96
357 -8x1-8x2+16x3-32x5+8x6-2x7<=0
358 +72x1+16x2+120x3+40x4+80x5-16x6-14x7+8x8<=2112
359 +100x1+36x2+160x3+120x4+144x5-24x6-14x7+16x8<=3456
360 +36x1+12x2+59x3+27x4+46x5-7x6-6x7+3x8<=1152
361 +48x1+24x2+96x3+32x4+64x5-8x6-6x7<=1920
362 +16x1+8x2+32x3-2x7<=640
364 +20x1+12x2+32x3+56x4-16x5-2x7+16x8<=960
365 +48x1+24x2-216x3+80x4+80x5+64x6-6x7<=1920
366 +12x1+4x2-32x3+16x4+16x5+8x6-2x7<=384
371 +8x1+16x3-32x4-2x7+8x8<=192
372 +8x1+20x3-28x4-8x5-4x6-2x7+4x8<=192
373 +8x3-28x4-8x5-4x6-2x7+8x8<=0
374 +6x3-34x4-4x5-2x6-2x7+10x8<=0
375 +12x1+4x2+22x3-2x4+12x5-2x6-2x7+2x8<=384
376 +12x1-12x2-28x3+12x4-8x5-12x6-6x7+4x8<=192
377 +24x1+8x3+24x4+16x5-8x6-6x7+8x8<=576
378 +8x1+2x3+10x4+4x5-4x6-2x7+2x8<=192
379 +8x2+40x3+40x4+16x5-2x7+8x8<=768
380 +56x2+200x3+200x4+80x5-24x6-18x7+40x8<=3840
381 +6x2+20x3+20x4+8x5-4x6-2x7+4x8<=384
382 +12x1+10x2+36x3+36x4+24x5-4x6-2x7+6x8<=768
383 +8x1+20x3-28x4-88x5+12x6-2x7+4x8<=192
384 +4x1-4x2+20x3-52x4-200x5+28x6-2x7+12x8<=64
385 -8x2+24x3-72x4-336x5+48x6-2x7+24x8<=0
388 +4x1+20x2+88x3+112x4+8x6-6x7<=1792
389 -4x1+12x2+40x3+48x4-6x7<=768
390 +4x2+10x3+10x4+4x5-2x6-2x7+2x8<=192
391 +5x1-3x2-1x3+5x4+2x5-3x6-2x7+1x8<=96
392 -6x1+2x2+10x3+6x4-4x5-2x6-2x7+2x8<=96
393 -9x1+11x2+35x3+29x4+2x5-9x6-6x7+7x8<=528
394 -38x1+18x2+50x3+30x4-20x5-22x6-14x7+10x8<=480
395 -12x1+12x2+40x3+40x4-8x6-6x7<=640
396 +3x1-3x2+14x3-8x4-24x5+4x6-2x7<=48
397 -2x1+6x2+20x3+24x4-144x5-4x6-2x7+24x8<=384
399 +24x1+16x2+56x3+72x4+16x5-2x7+16x8<=1344
400 +60x1+36x2+112x3+152x4+56x5-12x6-6x7+28x8<=2880
401 +24x1+16x2+56x3+72x4+24x5-4x6-2x7+12x8<=1344
402 +6x1+6x2+12x3+24x4-2x7<=384
403 +4x1-4x2-4x3+4x4-4x6-2x7<=64
404 +12x1+4x2-48x3+8x4+16x5+16x6-2x7+8x8<=384
407 +22x3-194x4-4x5-14x6-10x7+58x8<=0
408 +4x1-4x2+8x3-96x4-2x7+24x8<=64
410 +12x1+4x2-16x3+24x4-80x5-2x7+16x8<=384
412 +12x1+4x2-48x3+24x4-144x5-2x7+24x8<=384
413 +8x1-4x3+12x4-4x6-2x7<=192
414 +12x1+4x2-16x3+24x4-16x5-2x7+8x8<=384
417 +56x1-8x2+60x3+44x4+56x5-12x6-14x7+4x8<=1344
419 +48x1+24x2-296x3+40x4+80x5+104x6-6x7+40x8<=1920
422 +16x1+8x2-68x3+28x4+24x5+20x6-2x7+4x8<=640
423 -10x1-2x2+12x3-160x5+20x6-2x7<=0
424 -3x1+1x2+6x3-4x4-40x5+2x6-2x7+4x8<=0
425 -8x1+8x2+24x3-24x4-80x5-8x6-10x7+8x8<=0
426 -116x1+36x2+80x3-80x5-64x6-38x7<=0
427 -136x1+56x2+120x3-40x4-80x5-104x6-58x7+40x8<=0
428 -14x1+6x2+12x3-4x4-8x5-12x6-6x7+4x8<=0
429 -10x1+6x2+12x3-8x4-16x5-12x6-6x7+8x8<=0
430 -8x1+8x2+20x3+4x4-88x5-12x6-6x7+20x8<=192
431 +16x2+52x3+52x4-248x5-12x6-6x7+52x8<=960
436 +48x1+24x2+72x3+72x4+80x5-4x6-6x7+8x8<=1920
437 +4x1+4x2-4x3+4x4+8x5+4x6-2x7+4x8<=192
438 +68x1+12x2+60x3+84x4+72x5-20x6-14x7+12x8<=1920
441 +4x1-4x2+20x3-52x4-72x5+12x6-2x7+12x8<=64
442 +8x1+20x3-28x4-24x5+4x6-2x7+4x8<=192
443 +16x1+36x3-28x4-56x5+12x6-2x7+4x8<=448
444 +8x1+4x2+2x3+18x4-12x5-2x6-2x7+6x8<=288
445 +4x1+4x2-12x3+12x4-8x5+4x6-2x7+4x8<=192
446 +12x1-12x2-14x3+10x4+4x5-10x6-6x7+2x8<=192
447 +8x1-36x3+12x4-72x5-4x6-2x7+12x8<=192
448 +24x1+16x2+36x3+84x4-120x5+12x6-2x7+36x8<=1344
449 +20x1+12x2+20x3+60x4-72x5+4x6-2x7+24x8<=960
450 +16x1+8x2+20x3+36x4-4x6-2x7+8x8<=640
451 +12x1+8x2+18x3+34x4+4x5-2x6-2x7+2x8<=576
452 +4x1+4x2+4x3+12x4-4x6-2x7<=192
453 +4x1+4x2+6x3+10x4+4x5-4x6-2x7+2x8<=192
454 +4x1+4x2-36x3+4x4+8x5+12x6-2x7+4x8<=192
455 +4x1+4x2-28x3+8x4+8x5+8x6-2x7<=192
456 +4x1+4x2-4x3+8x4+8x5+2x6-2x7<=192
457 +20x1+20x2-22x3+42x4+36x5+10x6-10x7+6x8<=960
458 +12x1+4x2-16x3+8x4+16x5+8x6-2x7+8x8<=384
460 +48x1+24x2+24x3+56x4+80x5+16x6-6x7+24x8<=1920
461 +48x1+24x2-72x3+40x4+80x5+48x6-6x7+40x8<=1920
464 +8x3-24x4-80x5+8x6-2x7+8x8<=0
465 +4x1-4x2+20x3-20x4-72x5+12x6-2x7+4x8<=64
466 +8x1+20x3-12x4-24x5+4x6-2x7<=192
468 +8x3-24x4-16x5-2x7+8x8<=0
471 +4x1+14x3-10x4-20x5+2x6-2x7+2x8<=96
472 +4x1-4x2+20x3-52x4-40x5+4x6-2x7+12x8<=64
473 +12x1-12x2+60x3-188x4-152x5+28x6-6x7+36x8<=192
475 -16x1-24x2+52x3-12x4-120x5+12x6-2x7+12x8<=0
476 -14x2+18x3-6x4-20x5+6x6-4x7<=0
477 +8x1+8x2+20x3+36x4-24x5+4x6-2x7+12x8<=576
478 +16x1+8x2-24x3+40x4-48x5+8x6-2x7+16x8<=640
480 +20x1+4x2-16x3+40x4-48x5-2x7+16x8<=640
481 +20x1+12x2+4x3+60x4-168x5+12x6-2x7+36x8<=960
482 +16x1+8x2-24x3+40x4-176x5+8x6-2x7+32x8<=640
483 +16x1+8x2-56x3+40x4-240x5+8x6-2x7+40x8<=640
484 +20x1+12x2-28x3+60x4-296x5+20x6-2x7+52x8<=960
486 +48x1+24x2-156x3+100x4+40x5+44x6-6x7+20x8<=1920
487 +12x1+4x2-20x3+20x4+8x5+4x6-2x7+4x8<=384
488 +8x1-6x3+10x4+4x5-2x6-2x7+2x8<=192
490 +12x1-12x2-4x3-12x4+8x5+12x6-6x7+4x8<=192
491 +8x1+4x3-4x4+8x5+4x6-2x7<=192
493 -3x1-11x2+9x3-1x4-10x5+5x6-2x7+1x8<=0
495 +48x1+24x2+48x3+112x4-32x5-8x6-6x7+32x8<=1920
496 +16x1+8x2+8x3+40x4-16x5-2x7+8x8<=640
497 +12x1+12x2+52x3+60x4+24x5+4x6-2x7+12x8<=1152
498 +60x1+36x2+112x3+152x4+48x5-8x6-6x7+32x8<=2880
499 -8x1-16x2+36x3-12x4-120x5+28x6-2x7+12x8<=0
501 -4x2+16x3-16x4-48x5+8x6-2x7+4x8<=0
502 -4x1-4x2+16x3-8x4-48x5+8x6-2x7+8x8<=0
503 +6x1-2x2+2x3+6x4+4x5-2x6-2x7<=128
504 +7x1-1x2-1x3+9x4+2x5-3x6-2x7+1x8<=160
505 +8x1+4x2+2x3+18x4-2x6-2x7<=288
506 +20x1+12x2-8x3+48x4-6x7<=768
507 -8x1-96x5+16x6-2x7<=0
508 -4x1+4x2-12x3+12x4-72x5+20x6-2x7+12x8<=192
509 -6x1+2x2-12x3-48x5+12x6-2x7<=0
510 -12x1+4x2+8x3-96x5+8x6-6x7<=0
511 -16x1+16x2+12x3+12x4-72x5-4x6-14x7+12x8<=192
512 -14x1+10x2+4x3-48x5-4x6-10x7<=0
513 +16x1+8x2-32x3+40x4+8x6-2x7<=640
514 +48x1+24x2-104x3+120x4-80x5+24x6-6x7+40x8<=1920
515 +48x1+24x2-116x3+108x4-8x5+36x6-6x7+28x8<=1920
516 +16x1+8x2-24x3+40x4-16x5+8x6-2x7+8x8<=640
522 +12x1+4x2-16x3+24x4-2x7<=384
523 +12x1+4x2+24x4-4x6-2x7<=384
524 +48x1+24x2+56x3+56x4+80x5+8x6-6x7+8x8<=1920
525 -20x1-4x2+24x3-288x5+40x6-6x7<=0
527 -10x1+6x2+4x3-16x5-4x6-6x7<=0
528 -14x1+6x2+8x3-8x5-8x6-6x7<=0
529 -20x1+4x2+16x3-16x5-8x6-6x7<=0
530 -8x1-2x2+8x3-8x5-2x7<=0
531 -32x1+32x3-32x5-8x6-10x7<=0
532 -19x1+1x2+21x3+3x4-18x5-5x6-6x7+3x8<=48
533 +18x1+14x2+50x3+62x4+20x5-2x6-2x7+10x8<=1152
534 -2x1+2x2+2x3-2x4-4x5-2x6-2x7+2x8<=0
538 +4x1-4x2+20x3-20x4-40x5+4x6-2x7+4x8<=64
539 +12x1-12x2+52x3-36x4-104x5+20x6-6x7+4x8<=192
541 +12x1+4x2+24x3-32x4-64x5+8x6-2x7<=384
542 +6x3-18x4-4x5-2x6-2x7+6x8<=0
543 +8x3-20x4-8x5-4x6-2x7+6x8<=0
544 -8x2+24x3-40x4-208x5+32x6-2x7+16x8<=0
545 -8x2+24x3-40x4-144x5+24x6-2x7+16x8<=0
546 -8x2+24x3-40x4-112x5+16x6-2x7+16x8<=0
547 +8x1+20x3-60x4-152x5+20x6-2x7+4x8<=192
548 +4x1-4x2+20x3-84x4-264x5+36x6-2x7+12x8<=64
549 +16x1+12x2+26x3+42x4+36x5+6x6-2x7+6x8<=960
550 +20x1+12x2+34x3+42x4+36x5-2x7+6x8<=960
551 +20x1+16x2+18x3+42x4+36x5+2x6-6x7+6x8<=960
552 +8x1+8x2+20x3+36x4-88x5+4x6-2x7+20x8<=576
553 -132x1+60x2+84x3+12x4-72x5-76x6-58x7+12x8<=192
554 -20x1+12x2+20x3+12x4-8x5-12x6-10x7+4x8<=192
555 -3x1+3x2+6x3+6x4-2x6-2x7<=96
556 -16x1+16x2+48x3+48x4-8x6-10x7<=768
559 -4x1-12x2+32x3-24x4-176x5+32x6-2x7+16x8<=0
560 +12x1-12x2+60x3-60x4-152x5+28x6-6x7+4x8<=192
561 +12x1-12x2+76x3-76x4-184x5+28x6-10x7+12x8<=192
562 -48x4-2x7+16x8<=0
563 +12x1+8x2+12x3+36x4-24x5-2x7+12x8<=576
564 +4x1+4x2+4x3+12x4-8x5-4x6-2x7+4x8<=192
565 -12x2+32x3-32x4-96x5+16x6-2x7+8x8<=0
566 -24x1+8x2+24x3-8x4-16x5-16x6-10x7+8x8<=0
567 -52x1+28x2+64x3-40x4-80x5-48x6-30x7+40x8<=0
568 +12x1-12x2-20x3-156x4+8x5+28x6-6x7+60x8<=192
569 +12x1-12x2-20x3-380x4+8x5+28x6-6x7+116x8<=192
572 -8x2+36x3-28x4-152x5+20x6-6x7+4x8<=0
573 +2x1-2x2+12x3-8x4-32x5+4x6-2x7<=32
577 +16x1+12x2+48x3+48x4+32x5-4x6-2x7+8x8<=1024
578 +23x1+15x2+55x3+57x4+42x5-3x6-2x7+9x8<=1248
579 +24x1+16x2+58x3+66x4+36x5-2x6-2x7+12x8<=1344
580 +21x1+13x2+45x3+51x4+30x5-3x6-2x7+9x8<=1056
581 +20x1+12x2+40x3+48x4+24x5-4x6-2x7+8x8<=960
582 -8x2+24x3-24x4-112x5+20x6-2x7+8x8<=0
583 -4x1-12x2+32x3-24x4-144x5+24x6-2x7+16x8<=0
584 -8x2+24x3-24x4-80x5+12x6-2x7+8x8<=0
585 -8x1+8x3-24x4-80x5+8x6-2x7+24x8<=0
586 -6x1+2x2+4x3-16x4-48x5-4x6-2x7+16x8<=0
587 -14x1+10x2+20x3-16x4-48x5-20x6-10x7+16x8<=0
588 -20x1+12x2+32x3-24x4-80x5-16x6-14x7+24x8<=0
589 -14x1+2x2+20x3-8x4-16x5-12x6-6x7+8x8<=0
590 -12x1+4x2+16x3-8x4-16x5-8x6-6x7+8x8<=0
592 -4x1+4x2+12x3+4x4-88x5-4x6-2x7+20x8<=192
593 -1x1+3x2+4x3+6x4-36x5-2x7+6x8<=96
594 -4x1+12x2+4x3+12x4-72x5-12x6-10x7+12x8<=192
595 +4x1+4x2-22x3+10x4+4x5+6x6-2x7+2x8<=192
596 +28x1+16x2+54x3+62x4+44x5-2x6-2x7+10x8<=1344
597 +36x1+28x2+120x3+144x4+32x5+8x6-2x7+32x8<=2688
602 -12x1-20x2+48x3-24x4-240x5+48x6-2x7+24x8<=0
603 +80x1+56x2+216x3+216x4+176x5-8x6-6x7+32x8<=4864
604 +32x1+24x2+104x3+104x4+80x5-2x7+16x8<=2304
605 +24x1+14x2+44x3+60x4+24x5-4x6-2x7+12x8<=1152
607 +28x1+20x2+64x3+104x4-48x5+8x6-2x7+32x8<=1728
608 +24x1+16x2+36x3+84x4-88x5+12x6-2x7+28x8<=1344
609 -8x1+8x2+12x3+12x4-8x5-4x6-6x7+4x8<=192
610 -48x1+32x2+28x3+12x4-72x5-20x6-30x7+12x8<=192
611 +48x1+24x2+44x3+108x4-8x5-4x6-6x7+28x8<=1920
612 +20x1+12x2+20x3+60x4-40x5+4x6-2x7+16x8<=960
613 +28x1+16x2+28x3+84x4-40x5+4x6-2x7+20x8<=1344
615 +32x1+24x2+68x3+132x4-152x5+20x6-2x7+52x8<=2112
620 -4x1+4x2+12x3+12x4-4x6-2x7<=192
623 +36x1+28x2+96x3+152x4-16x5+8x6-2x7+16x8<=2496
624 +12x1+12x2+36x3+60x4-8x5+4x6-2x7+4x8<=960
625 +18x1+26x2+76x3+120x4+4x6-6x7<=1920
626 +42x1+34x2+116x3+144x4+48x5-4x6-6x7+24x8<=2688
627 +17x1+11x2+37x3+43x4+22x5-3x6-2x7+7x8<=864
628 +60x1+36x2+118x3+142x4+76x5-10x6-6x7+26x8<=2880
632 +12x1-12x2+40x3-240x4-32x5+8x6-6x7+56x8<=192
634 -4x2+16x3-16x4-80x5+12x6-2x7+4x8<=0
636 +36x1+12x2+60x3+20x4+40x5-4x6-6x7+4x8<=1152
641 +10x1+6x2+12x3+24x4-16x5-4x6-2x7+8x8<=416
642 +4x1+4x2-6x3+10x4+4x5+2x6-2x7+2x8<=192
643 +4x1+4x2-8x3+12x4+2x6-2x7<=192
644 -4x1+2x2+3x3-1x4-2x5-3x6-2x7+1x8<=0
645 +12x1+12x2+44x3+52x4+16x5-4x6-2x7+8x8<=960
646 +8x1+8x2+28x3+28x4+16x5-4x6-2x7+4x8<=576
647 -3x1-5x2+9x3-1x4-10x5+1x6-2x7+1x8<=0
648 -3x1-7x2+9x3-1x4-10x5+3x6-2x7+1x8<=0
649 +16x1+24x2+88x3+88x4+48x5-8x6-6x7+16x8<=1792
650 +15x1+11x2+39x3+41x4+26x5-3x6-2x7+7x8<=864
651 +11x1+9x2+31x3+33x4+18x5-3x6-2x7+5x8<=672
652 +16x1+12x2+42x3+50x4+20x5-2x6-2x7+8x8<=960
653 +80x1+40x2+154x3+90x4+132x5-18x6-10x7+6x8<=3200
654 +48x1+24x2+94x3+46x4+76x5-10x6-6x7+2x8<=1920
655 +12x1+12x2+50x3+58x4+4x5+2x6-2x7+14x8<=1056
656 +12x1+12x2+44x3+52x4+8x5-4x6-2x7+12x8<=960
657 -6x2+20x3-20x4-56x5+8x6-2x7+6x8<=0
658 -8x1-8x2+24x3+8x4-16x5+8x6-2x7+8x8<=192
663 +64x1+40x2+144x3+176x4+96x5+8x6-2x7+32x8<=3648
665 +6x2+28x3+36x4+4x6-2x7<=576
666 +60x1+52x2+200x3+240x4+96x5+8x6-6x7+48x8<=4608
667 +18x1+14x2+48x3+60x4+24x5-2x7+12x8<=1152
668 +34x1+22x2+80x3+92x4+56x5-2x7+16x8<=1920
669 +36x1+22x2+74x3+82x4+52x5-8x6-4x7+14x8<=1728
670 +28x1+20x2+40x3+80x4-96x5-8x6-6x7+32x8<=1344
671 +12x1+8x2+12x3+36x4-56x5-2x7+16x8<=576
672 +13x1+7x2+16x3+30x4-4x5-4x6-2x7+8x8<=528
673 +12x1-12x2+48x3-40x4-80x5+16x6-6x7+8x8<=192
674 +12x1-12x2+48x3-200x4-80x5+16x6-6x7+48x8<=192
680 +14x1+6x2+4x3+32x4-2x6-2x7<=512
681 +16x1+8x2+8x3+40x4-2x6-2x7<=640
682 +20x1+14x2+20x3+60x4-2x6-4x7<=960
683 +20x1+12x2+4x3+60x4-72x5+12x6-2x7+20x8<=960
684 +20x1+12x2+4x3+60x4-104x5+12x6-2x7+28x8<=960
685 +12x1-12x2-20x3-36x4+8x5+28x6-6x7<=192
687 -28x1+4x2+44x3+4x4-24x5-20x6-10x7+12x8<=192
688 -8x1+12x3+4x4-8x5-4x6-2x7+2x8<=64
689 -14x1-6x2+36x3+16x4-32x5-4x6-2x7+8x8<=256
692 -12x1-36x2+28x3-12x4-56x5+28x6-2x7+12x8<=0
693 -4x1-4x2+8x3-8x5-2x7<=0
694 -4x1-8x2+12x3+4x4-8x5+4x6-2x7<=64
695 -12x1-12x2+36x3+28x4-8x5+12x6-2x7+4x8<=448
698 +16x1+16x2+88x3+88x4+48x5-2x7+16x8<=1792
699 -6x1+10x2+20x3+24x4-4x6-6x7<=384
700 +12x1+28x2+104x3+144x4+8x6-6x7<=2304
701 +48x1+40x2+168x3+200x4+80x5+8x6-2x7+40x8<=3840
702 -8x2+6x3-10x4-4x5+2x6-2x7+4x8<=0
703 -4x1-8x2+6x3-18x4-4x5+2x6-2x7+10x8<=0
704 +16x1+10x2+16x3+48x4-24x5+2x6-2x7+12x8<=768
705 +56x1+32x2+32x3+144x4-96x5-8x6-10x7+48x8<=2304
706 +48x1+24x2+16x3+112x4-8x6-10x7<=1792
707 +56x1+32x2+32x3+144x4-8x6-10x7<=2304
711 +60x1+36x2+96x3+168x4+16x5-8x6-6x7+16x8<=2880
721 +4x1-4x2-20x3+4x4-24x5-4x6-2x7+4x8<=64
722 +56x1+32x2+96x3+96x4+96x5-16x6-10x7<=2304
723 +30x1+32x3+28x4+32x5-8x6-6x7<=768
730 -1x7<=0