#  QCP written by GAMS Convert at 02/15/18 15:46:12
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        618      567       15       36        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        635      635        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2179     1211      968        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 9.848857802;
var x3 >= 0, <= 9.848857802;
var x4 >= 0, <= 9.848857802;
var x5 >= 0, <= 9.848857802;
var x6 >= 0, <= 9.848857802;
var x7 >= 0, <= 9.848857802;
var x8 >= 0, <= 9.848857802;
var x9 >= 0, <= 9.848857802;
var x10 >= 0, <= 9.848857802;
var x11 >= 0, <= 9.848857802;
var x12 >= 0, <= 9.848857802;
var x13 >= 0, <= 9.848857802;
var x14 >= 0, <= 9.848857802;
var x15 >= 0, <= 9.848857802;
var x16 >= 0, <= 9.848857802;
var x17 >= 0, <= 9.848857802;
var x18 >= 0, <= 9.848857802;
var x19 >= 0, <= 9.848857802;
var x20 >= 0, <= 9.848857802;
var x21 >= 0, <= 9.848857802;
var x22 >= 0, <= 9.848857802;
var x23 >= 0, <= 9.848857802;
var x24 >= 0, <= 9.848857802;
var x25 >= 0, <= 9.848857802;
var x26 >= -9.848857802, <= 9.848857802;
var x27 >= -9.848857802, <= 9.848857802;
var x28 >= -9.848857802, <= 9.848857802;
var x29 >= -9.848857802, <= 9.848857802;
var x30 >= -9.848857802, <= 9.848857802;
var x31 >= -9.848857802, <= 9.848857802;
var x32 >= -9.848857802, <= 9.848857802;
var x33 >= -9.848857802, <= 9.848857802;
var x34 >= -9.848857802, <= 9.848857802;
var x35 >= -9.848857802, <= 9.848857802;
var x36 >= -9.848857802, <= 9.848857802;
var x37 >= -9.848857802, <= 9.848857802;
var x38 >= -9.848857802, <= 9.848857802;
var x39 >= -9.848857802, <= 9.848857802;
var x40 >= -9.848857802, <= 9.848857802;
var x41 >= -9.848857802, <= 9.848857802;
var x42 >= -9.848857802, <= 9.848857802;
var x43 >= -9.848857802, <= 9.848857802;
var x44 >= -9.848857802, <= 9.848857802;
var x45 >= -9.848857802, <= 9.848857802;
var x46 >= -9.848857802, <= 9.848857802;
var x47 >= -9.848857802, <= 9.848857802;
var x48 >= -9.848857802, <= 9.848857802;
var x49 >= -9.848857802, <= 9.848857802;
var x50 >= 0, <= 9.848857802;
var x51 >= 0, <= 9.848857802;
var x52 >= 0, <= 9.848857802;
var x53 >= 0, <= 9.848857802;
var x54 >= 0, <= 9.848857802;
var x55 >= 0, <= 9.848857802;
var x56 >= 0, <= 9.848857802;
var x57 >= 0, <= 9.848857802;
var x58 >= 0, <= 9.848857802;
var x59 >= 0, <= 9.848857802;
var x60 >= 0, <= 9.848857802;
var x61 >= 0, <= 9.848857802;
var x62 >= 0, <= 9.848857802;
var x63 >= 0, <= 9.848857802;
var x64 >= 0, <= 9.848857802;
var x65 >= 0, <= 9.848857802;
var x66 >= 0, <= 9.848857802;
var x67 >= 0, <= 9.848857802;
var x68 >= 0, <= 9.848857802;
var x69 >= 0, <= 9.848857802;
var x70 >= 0, <= 9.848857802;
var x71 >= 0, <= 9.848857802;
var x72 >= 0, <= 9.848857802;
var x73 >= 0, <= 9.848857802;
var x74 >= 0, <= 9.848857802;
var x75 >= 0, <= 9.848857802;
var x76 >= 0, <= 9.848857802;
var x77 >= 0, <= 9.848857802;
var x78 >= 0, <= 9.848857802;
var x79 >= 0, <= 9.848857802;
var x80 >= 0, <= 9.848857802;
var x81 >= 0, <= 9.848857802;
var x82 >= 0, <= 9.848857802;
var x83 >= 0, <= 9.848857802;
var x84 >= 0, <= 9.848857802;
var x85 >= 0, <= 9.848857802;
var x86 >= 0, <= 9.848857802;
var x87 >= 0, <= 9.848857802;
var x88 >= 0, <= 9.848857802;
var x89 >= 0, <= 9.848857802;
var x90 >= 0, <= 9.848857802;
var x91 >= 0, <= 9.848857802;
var x92 >= 0, <= 9.848857802;
var x93 >= 0, <= 9.848857802;
var x94 >= 0, <= 9.848857802;
var x95 >= 0, <= 9.848857802;
var x96 >= 0, <= 9.848857802;
var x97 >= 0, <= 9.848857802;
var x98 >= 0, <= 9.848857802;
var x99 >= 0, <= 9.848857802;
var x100 >= 0, <= 9.848857802;
var x101 >= 0, <= 9.848857802;
var x102 >= 0, <= 9.848857802;
var x103 >= 0, <= 9.848857802;
var x104 >= 0, <= 9.848857802;
var x105 >= 0, <= 9.848857802;
var x106 >= 0, <= 9.848857802;
var x107 >= 0, <= 9.848857802;
var x108 >= 0, <= 9.848857802;
var x109 >= 0, <= 9.848857802;
var x110 >= 0, <= 9.848857802;
var x111 >= 0, <= 9.848857802;
var x112 >= 0, <= 9.848857802;
var x113 >= 0, <= 9.848857802;
var x114 >= 0, <= 9.848857802;
var x115 >= 0, <= 9.848857802;
var x116 >= 0, <= 9.848857802;
var x117 >= 0, <= 9.848857802;
var x118 >= 0, <= 9.848857802;
var x119 >= 0, <= 9.848857802;
var x120 >= 0, <= 9.848857802;
var x121 >= 0, <= 9.848857802;
var x122 >= -9.848857802, <= 9.848857802;
var x123 >= -9.848857802, <= 9.848857802;
var x124 >= -9.848857802, <= 9.848857802;
var x125 >= -9.848857802, <= 9.848857802;
var x126 >= -9.848857802, <= 9.848857802;
var x127 >= -9.848857802, <= 9.848857802;
var x128 >= -9.848857802, <= 9.848857802;
var x129 >= -9.848857802, <= 9.848857802;
var x130 >= -9.848857802, <= 9.848857802;
var x131 >= -9.848857802, <= 9.848857802;
var x132 >= -9.848857802, <= 9.848857802;
var x133 >= -9.848857802, <= 9.848857802;
var x134 >= -9.848857802, <= 9.848857802;
var x135 >= -9.848857802, <= 9.848857802;
var x136 >= -9.848857802, <= 9.848857802;
var x137 >= -9.848857802, <= 9.848857802;
var x138 >= -9.848857802, <= 9.848857802;
var x139 >= -9.848857802, <= 9.848857802;
var x140 >= -9.848857802, <= 9.848857802;
var x141 >= -9.848857802, <= 9.848857802;
var x142 >= -9.848857802, <= 9.848857802;
var x143 >= -9.848857802, <= 9.848857802;
var x144 >= -9.848857802, <= 9.848857802;
var x145 >= -9.848857802, <= 9.848857802;
var x146 >= -9.848857802, <= 9.848857802;
var x147 >= -9.848857802, <= 9.848857802;
var x148 >= -9.848857802, <= 9.848857802;
var x149 >= -9.848857802, <= 9.848857802;
var x150 >= -9.848857802, <= 9.848857802;
var x151 >= -9.848857802, <= 9.848857802;
var x152 >= -9.848857802, <= 9.848857802;
var x153 >= -9.848857802, <= 9.848857802;
var x154 >= -9.848857802, <= 9.848857802;
var x155 >= -9.848857802, <= 9.848857802;
var x156 >= -9.848857802, <= 9.848857802;
var x157 >= -9.848857802, <= 9.848857802;
var x158 >= -9.848857802, <= 9.848857802;
var x159 >= -9.848857802, <= 9.848857802;
var x160 >= -9.848857802, <= 9.848857802;
var x161 >= -9.848857802, <= 9.848857802;
var x162 >= -9.848857802, <= 9.848857802;
var x163 >= -9.848857802, <= 9.848857802;
var x164 >= -9.848857802, <= 9.848857802;
var x165 >= -9.848857802, <= 9.848857802;
var x166 >= -9.848857802, <= 9.848857802;
var x167 >= -9.848857802, <= 9.848857802;
var x168 >= -9.848857802, <= 9.848857802;
var x169 >= -9.848857802, <= 9.848857802;
var x170 >= -9.848857802, <= 9.848857802;
var x171 >= -9.848857802, <= 9.848857802;
var x172 >= -9.848857802, <= 9.848857802;
var x173 >= -9.848857802, <= 9.848857802;
var x174 >= -9.848857802, <= 9.848857802;
var x175 >= -9.848857802, <= 9.848857802;
var x176 >= -9.848857802, <= 9.848857802;
var x177 >= -9.848857802, <= 9.848857802;
var x178 >= -9.848857802, <= 9.848857802;
var x179 >= -9.848857802, <= 9.848857802;
var x180 >= -9.848857802, <= 9.848857802;
var x181 >= -9.848857802, <= 9.848857802;
var x182 >= -9.848857802, <= 9.848857802;
var x183 >= -9.848857802, <= 9.848857802;
var x184 >= -9.848857802, <= 9.848857802;
var x185 >= -9.848857802, <= 9.848857802;
var x186 >= -9.848857802, <= 9.848857802;
var x187 >= -9.848857802, <= 9.848857802;
var x188 >= -9.848857802, <= 9.848857802;
var x189 >= -9.848857802, <= 9.848857802;
var x190 >= -9.848857802, <= 9.848857802;
var x191 >= -9.848857802, <= 9.848857802;
var x192 >= -9.848857802, <= 9.848857802;
var x193 >= -9.848857802, <= 9.848857802;
var x194 >= -9.848857802, <= 9.848857802;
var x195 >= -9.848857802, <= 9.848857802;
var x196 >= -9.848857802, <= 9.848857802;
var x197 >= -9.848857802, <= 9.848857802;
var x198 >= -9.848857802, <= 9.848857802;
var x199 >= -9.848857802, <= 9.848857802;
var x200 >= -9.848857802, <= 9.848857802;
var x201 >= -9.848857802, <= 9.848857802;
var x202 >= -9.848857802, <= 9.848857802;
var x203 >= -9.848857802, <= 9.848857802;
var x204 >= -9.848857802, <= 9.848857802;
var x205 >= -9.848857802, <= 9.848857802;
var x206 >= -9.848857802, <= 9.848857802;
var x207 >= -9.848857802, <= 9.848857802;
var x208 >= -9.848857802, <= 9.848857802;
var x209 >= -9.848857802, <= 9.848857802;
var x210 >= -9.848857802, <= 9.848857802;
var x211 >= -9.848857802, <= 9.848857802;
var x212 >= 0, <= 36;
var x213 >= 0, <= 9;
var x214 <= 9.848857802;
var x215 >= 0, <= 4;
var x216 <= 9.848857802;
var x217 <= 9.848857802;
var x218 <= 9.848857802;
var x219 <= 9.848857802;
var x220 <= 9.848857802;
var x221 <= 9.848857802;
var x222 <= 9.848857802;
var x223 >= 0, <= 9;
var x224 <= 9.848857802;
var x225 >= 0, <= 4;
var x226 <= 9.848857802;
var x227 <= 9.848857802;
var x228 <= 9.848857802;
var x229 <= 9.848857802;
var x230 <= 9.848857802;
var x231 <= 9.848857802;
var x232 <= 9.848857802;
var x233 >= 0, <= 9;
var x234 <= 9.848857802;
var x235 >= 0, <= 4;
var x236 <= 9.848857802;
var x237 <= 9.848857802;
var x238 <= 9.848857802;
var x239 <= 9.848857802;
var x240 <= 9.848857802;
var x241 <= 9.848857802;
var x242 <= 9.848857802;
var x243 <= 9.848857802;
var x244 <= 9.848857802;
var x245 <= 9.848857802;
var x246 <= 9.848857802;
var x247 <= 9.848857802;
var x248 <= 9.848857802;
var x249 <= 9.848857802;
var x250 <= 9.848857802;
var x251 <= 9.848857802;
var x252 <= 9.848857802;
var x253 <= 9.848857802;
var x254 <= 9.848857802;
var x255 <= 9.848857802;
var x256 <= 9.848857802;
var x257 <= 9.848857802;
var x258 <= 9.848857802;
var x259 <= 9.848857802;
var x260 <= 9.848857802;
var x261 <= 9.848857802;
var x262 <= 9.848857802;
var x263 <= 9.848857802;
var x264 <= 9.848857802;
var x265 <= 9.848857802;
var x266 <= 9.848857802;
var x267 >= 0, <= 9;
var x268 >= -9.848857802, <= 9.848857802;
var x269 >= 0, <= 4;
var x270 >= -9.848857802, <= 9.848857802;
var x271 >= -9.848857802, <= 9.848857802;
var x272 >= -9.848857802, <= 9.848857802;
var x273 >= -9.848857802, <= 9.848857802;
var x274 >= -9.848857802, <= 9.848857802;
var x275 >= -9.848857802, <= 9.848857802;
var x276 >= -9.848857802, <= 9.848857802;
var x277 >= 0, <= 9;
var x278 >= -9.848857802, <= 9.848857802;
var x279 >= 0, <= 4;
var x280 >= -9.848857802, <= 9.848857802;
var x281 >= -9.848857802, <= 9.848857802;
var x282 >= -9.848857802, <= 9.848857802;
var x283 >= -9.848857802, <= 9.848857802;
var x284 >= -9.848857802, <= 9.848857802;
var x285 >= -9.848857802, <= 9.848857802;
var x286 >= -9.848857802, <= 9.848857802;
var x287 >= 0, <= 9;
var x288 >= -9.848857802, <= 9.848857802;
var x289 >= 0, <= 4;
var x290 >= -9.848857802, <= 9.848857802;
var x291 >= -9.848857802, <= 9.848857802;
var x292 >= -9.848857802, <= 9.848857802;
var x293 >= -9.848857802, <= 9.848857802;
var x294 >= -9.848857802, <= 9.848857802;
var x295 >= -9.848857802, <= 9.848857802;
var x296 >= -9.848857802, <= 9.848857802;
var x297 >= 0, <= 9;
var x298 >= -9.848857802, <= 9.848857802;
var x299 >= 0, <= 4;
var x300 >= -9.848857802, <= 9.848857802;
var x301 >= -9.848857802, <= 9.848857802;
var x302 >= -9.848857802, <= 9.848857802;
var x303 >= -9.848857802, <= 9.848857802;
var x304 >= -9.848857802, <= 9.848857802;
var x305 >= -9.848857802, <= 9.848857802;
var x306 >= -9.848857802, <= 9.848857802;
var x307 >= 0, <= 9;
var x308 >= -9.848857802, <= 9.848857802;
var x309 >= 0, <= 4;
var x310 >= -9.848857802, <= 9.848857802;
var x311 >= -9.848857802, <= 9.848857802;
var x312 >= -9.848857802, <= 9.848857802;
var x313 >= -9.848857802, <= 9.848857802;
var x314 >= -9.848857802, <= 9.848857802;
var x315 >= -9.848857802, <= 9.848857802;
var x316 >= -9.848857802, <= 9.848857802;
var x317 >= 0, <= 9;
var x318 >= -9.848857802, <= 9.848857802;
var x319 >= 0, <= 4;
var x320 >= -9.848857802, <= 9.848857802;
var x321 >= -9.848857802, <= 9.848857802;
var x322 >= -9.848857802, <= 9.848857802;
var x323 >= -9.848857802, <= 9.848857802;
var x324 >= -9.848857802, <= 9.848857802;
var x325 >= -9.848857802, <= 9.848857802;
var x326 >= -9.848857802, <= 9.848857802;
var x327 >= 0, <= 9;
var x328 >= -9.848857802, <= 9.848857802;
var x329 >= 0, <= 4;
var x330 >= -9.848857802, <= 9.848857802;
var x331 >= -9.848857802, <= 9.848857802;
var x332 >= -9.848857802, <= 9.848857802;
var x333 >= -9.848857802, <= 9.848857802;
var x334 >= -9.848857802, <= 9.848857802;
var x335 >= -9.848857802, <= 9.848857802;
var x336 >= -9.848857802, <= 9.848857802;
var x337 >= 0, <= 9;
var x338 >= -9.848857802, <= 9.848857802;
var x339 >= 0, <= 4;
var x340 >= -9.848857802, <= 9.848857802;
var x341 >= -9.848857802, <= 9.848857802;
var x342 >= -9.848857802, <= 9.848857802;
var x343 >= -9.848857802, <= 9.848857802;
var x344 >= -9.848857802, <= 9.848857802;
var x345 >= -9.848857802, <= 9.848857802;
var x346 >= -9.848857802, <= 9.848857802;
var x347 >= 0, <= 9;
var x348 >= -9.848857802, <= 9.848857802;
var x349 >= 0, <= 4;
var x350 >= -9.848857802, <= 9.848857802;
var x351 >= -9.848857802, <= 9.848857802;
var x352 >= -9.848857802, <= 9.848857802;
var x353 >= -9.848857802, <= 9.848857802;
var x354 >= -9.848857802, <= 9.848857802;
var x355 >= -9.848857802, <= 9.848857802;
var x356 >= -9.848857802, <= 9.848857802;
var x357 >= 0, <= 9;
var x358 >= -9.848857802, <= 9.848857802;
var x359 >= 0, <= 4;
var x360 >= -9.848857802, <= 9.848857802;
var x361 >= -9.848857802, <= 9.848857802;
var x362 >= -9.848857802, <= 9.848857802;
var x363 >= -9.848857802, <= 9.848857802;
var x364 >= -9.848857802, <= 9.848857802;
var x365 >= -9.848857802, <= 9.848857802;
var x366 >= -9.848857802, <= 9.848857802;
var x367 >= 0, <= 9;
var x368 >= -9.848857802, <= 9.848857802;
var x369 >= 0, <= 4;
var x370 >= -9.848857802, <= 9.848857802;
var x371 >= -9.848857802, <= 9.848857802;
var x372 >= -9.848857802, <= 9.848857802;
var x373 >= -9.848857802, <= 9.848857802;
var x374 >= -9.848857802, <= 9.848857802;
var x375 >= -9.848857802, <= 9.848857802;
var x376 >= -9.848857802, <= 9.848857802;
var x377 >= 0, <= 9;
var x378 >= -9.848857802, <= 9.848857802;
var x379 >= 0, <= 4;
var x380 >= -9.848857802, <= 9.848857802;
var x381 >= -9.848857802, <= 9.848857802;
var x382 >= -9.848857802, <= 9.848857802;
var x383 >= -9.848857802, <= 9.848857802;
var x384 >= -9.848857802, <= 9.848857802;
var x385 >= -9.848857802, <= 9.848857802;
var x386 >= -9.848857802, <= 9.848857802;
var x387 >= 0, <= 9;
var x388 >= -9.848857802, <= 9.848857802;
var x389 >= 0, <= 4;
var x390 >= -9.848857802, <= 9.848857802;
var x391 >= -9.848857802, <= 9.848857802;
var x392 >= -9.848857802, <= 9.848857802;
var x393 >= -9.848857802, <= 9.848857802;
var x394 >= -9.848857802, <= 9.848857802;
var x395 >= -9.848857802, <= 9.848857802;
var x396 >= -9.848857802, <= 9.848857802;
var x397 >= 0, <= 9;
var x398 >= -9.848857802, <= 9.848857802;
var x399 >= 0, <= 4;
var x400 >= -9.848857802, <= 9.848857802;
var x401 >= -9.848857802, <= 9.848857802;
var x402 >= -9.848857802, <= 9.848857802;
var x403 >= -9.848857802, <= 9.848857802;
var x404 >= -9.848857802, <= 9.848857802;
var x405 >= -9.848857802, <= 9.848857802;
var x406 >= -9.848857802, <= 9.848857802;
var x407 >= 0, <= 9;
var x408 >= -9.848857802, <= 9.848857802;
var x409 >= 0, <= 4;
var x410 >= -9.848857802, <= 9.848857802;
var x411 >= -9.848857802, <= 9.848857802;
var x412 >= -9.848857802, <= 9.848857802;
var x413 >= -9.848857802, <= 9.848857802;
var x414 >= -9.848857802, <= 9.848857802;
var x415 >= -9.848857802, <= 9.848857802;
var x416 >= -9.848857802, <= 9.848857802;
var x417 >= 0, <= 9;
var x418 >= -9.848857802, <= 9.848857802;
var x419 >= 0, <= 4;
var x420 >= -9.848857802, <= 9.848857802;
var x421 >= -9.848857802, <= 9.848857802;
var x422 >= -9.848857802, <= 9.848857802;
var x423 >= -9.848857802, <= 9.848857802;
var x424 >= -9.848857802, <= 9.848857802;
var x425 >= -9.848857802, <= 9.848857802;
var x426 >= -9.848857802, <= 9.848857802;
var x427 >= 0, <= 9;
var x428 >= -9.848857802, <= 9.848857802;
var x429 >= 0, <= 4;
var x430 >= -9.848857802, <= 9.848857802;
var x431 >= -9.848857802, <= 9.848857802;
var x432 >= -9.848857802, <= 9.848857802;
var x433 >= -9.848857802, <= 9.848857802;
var x434 >= -9.848857802, <= 9.848857802;
var x435 >= -9.848857802, <= 9.848857802;
var x436 >= -9.848857802, <= 9.848857802;
var x437 >= 0, <= 9;
var x438 >= -9.848857802, <= 9.848857802;
var x439 >= 0, <= 4;
var x440 >= -9.848857802, <= 9.848857802;
var x441 >= -9.848857802, <= 9.848857802;
var x442 >= -9.848857802, <= 9.848857802;
var x443 >= -9.848857802, <= 9.848857802;
var x444 >= -9.848857802, <= 9.848857802;
var x445 >= -9.848857802, <= 9.848857802;
var x446 >= -9.848857802, <= 9.848857802;
var x447 := 2.89, >= 2.89, <= 36;
var x448 := 1.2, >= 1.2, <= 4.5;
var x449 >= 0, <= 9;
var x450 := 1.2, >= 1.2, <= 2;
var x451 >= 0, <= 4;
var x452 := 0.6, >= 0.6, <= 8.4;
var x453 := 0.6, >= 0.6, <= 3.4;
var x454 := 0.8, >= 0.8, <= 8.2;
var x455 := 0.8, >= 0.8, <= 3.2;
var x456 := 1.7, >= 1.7, <= 7.3;
var x457 := 1.7, >= 1.7, <= 2.3;
var x458 := 1.3, >= 1.3, <= 7.7;
var x459 := 1.3, >= 1.3, <= 2.7;
var x460 := 0.5, >= 0.5, <= 8.5;
var x461 := 0.5, >= 0.5, <= 3.5;
var x462 >= 0, <= 9;
var x463 >= 0, <= 4;
var x464 >= 0, <= 9;
var x465 >= 0, <= 4;
var x466 >= 0, <= 9;
var x467 >= 0, <= 4;
var x468 >= 0, <= 9;
var x469 >= 0, <= 4;
var x470 >= 0, <= 9;
var x471 >= 0, <= 4;
var x472 >= 0, <= 9;
var x473 >= 0, <= 4;
var x474 >= 0, <= 9;
var x475 >= 0, <= 4;
var x476 >= 0, <= 9;
var x477 >= 0, <= 4;
var x478 >= 0, <= 9;
var x479 >= 0, <= 4;
var x480 >= 0, <= 9;
var x481 >= 0, <= 4;
var x482 >= 0, <= 9;
var x483 >= 0, <= 4;
var x484 >= 0, <= 9;
var x485 >= 0, <= 4;
var x486 >= -0.8, <= 0.8;
var x487 >= -0.5, <= 0.5;
var x488 >= -0.8, <= 0.8;
var x489 >= -0.5, <= 0.5;
var x490 >= -0.8, <= 0.8;
var x491 >= -0.5, <= 0.5;
var x492 >= -0.8, <= 0.8;
var x493 >= 0, <= 9;
var x494 >= -0.5, <= 0.5;
var x495 >= 0, <= 4;
var x496 >= -1, <= 1;
var x497 >= -1, <= 1;
var x498 >= -1, <= 1;
var x499 >= -1, <= 1;
var x500 >= -1, <= 1;
var x501 >= -1, <= 1;
var x502 >= -1, <= 1;
var x503 >= 0, <= 9;
var x504 >= -1, <= 1;
var x505 >= 0, <= 4;
var x506 >= -0.3, <= 0.3;
var x507 >= -0.4, <= 0.4;
var x508 >= -0.3, <= 0.3;
var x509 >= -0.4, <= 0.4;
var x510 >= -0.3, <= 0.3;
var x511 >= -0.4, <= 0.4;
var x512 >= -0.3, <= 0.3;
var x513 >= 0, <= 9;
var x514 >= -0.4, <= 0.4;
var x515 >= 0, <= 4;
var x516 >= -1, <= 1;
var x517 >= -1, <= 1;
var x518 >= -1, <= 1;
var x519 >= -1, <= 1;
var x520 >= -1, <= 1;
var x521 >= -1, <= 1;
var x522 >= -1, <= 1;
var x523 >= -1, <= 1;
var x524 >= -1, <= 1;
var x525 >= -1, <= 1;
var x526 >= -1, <= 1;
var x527 >= -1, <= 1;
var x528 >= -1, <= 1;
var x529 >= -1, <= 1;
var x530 >= -1, <= 1;
var x531 >= -1, <= 1;
var x532 >= -1, <= 1;
var x533 >= -1, <= 1;
var x534 >= -1, <= 1;
var x535 >= -1, <= 1;
var x536 >= -1, <= 1;
var x537 >= -1, <= 1;
var x538 >= -1, <= 1;
var x539 >= -1, <= 1;
var x540 >= -1, <= 1;
var x541 >= -1, <= 1;
var x542 >= -1, <= 1;
var x543 >= -1, <= 1;
var x544 >= -1, <= 1;
var x545 >= -1, <= 1;
var x546 >= -1, <= 1;
var x547 >= -1, <= 1;
var x548 >= -1, <= 1;
var x549 >= -1, <= 1;
var x550 >= -1, <= 1;
var x551 >= -1, <= 1;
var x552 >= -1, <= 1;
var x553 >= -1, <= 1;
var x554 >= -1, <= 1;
var x555 >= -1, <= 1;
var x556 >= -1, <= 1;
var x557 >= -1, <= 1;
var x558 >= -1, <= 1;
var x559 >= -1, <= 1;
var x560 >= -1, <= 1;
var x561 >= -1, <= 1;
var x562 >= -1, <= 1;
var x563 >= -1, <= 1;
var x564 >= -1, <= 1;
var x565 >= -1, <= 1;
var x566 >= -1, <= 1;
var x567 >= -1, <= 1;
var x568 >= -1, <= 1;
var x569 >= -1, <= 1;
var x570 >= -1, <= 1;
var x571 >= -1, <= 1;
var x572 >= -1, <= 1;
var x573 >= -1, <= 1;
var x574 >= -1, <= 1;
var x575 >= -1, <= 1;
var x576 >= -1, <= 1;
var x577 >= -1, <= 1;
var x578 >= -1, <= 1;
var x579 >= -1, <= 1;
var x580 >= -1, <= 1;
var x581 >= -1, <= 1;
var x582 >= -1, <= 1;
var x583 >= -1, <= 1;
var x584 >= -1, <= 1;
var x585 >= -1, <= 1;
var x586 >= -1, <= 1;
var x587 >= -1, <= 1;
var x588 >= -1, <= 1;
var x589 >= -1, <= 1;
var x590 >= -1, <= 1;
var x591 >= -1, <= 1;
var x592 >= -1, <= 1;
var x593 >= -1, <= 1;
var x594 >= -1, <= 1;
var x595 >= -1, <= 1;
var x596 >= -1, <= 1;
var x597 >= -1, <= 1;
var x598 >= -1, <= 1;
var x599 >= -1, <= 1;
var x600 >= -9.848857802, <= 9.848857802;
var x601 >= -9.848857802, <= 9.848857802;
var x602 >= -9.848857802, <= 9.848857802;
var x603 >= -9.848857802, <= 9.848857802;
var x604 >= -9.848857802, <= 9.848857802;
var x605 >= -9.848857802, <= 9.848857802;
var x606 >= -9.848857802, <= 9.848857802;
var x607 >= -9.848857802, <= 9.848857802;
var x608 >= -9.848857802, <= 9.848857802;
var x609 >= -9.848857802, <= 9.848857802;
var x610 >= -9.848857802, <= 9.848857802;
var x611 >= -9.848857802, <= 9.848857802;
var x612 >= -9.848857802, <= 9.848857802;
var x613 >= -9.848857802, <= 9.848857802;
var x614 >= -9.848857802, <= 9.848857802;
var x615 >= -9.848857802, <= 9.848857802;
var x616 >= -9.848857802, <= 9.848857802;
var x617 >= -9.848857802, <= 9.848857802;
var x618 >= -9.848857802, <= 9.848857802;
var x619 >= -9.848857802, <= 9.848857802;
var x620 >= -9.848857802, <= 9.848857802;
var x621 >= -9.848857802, <= 9.848857802;
var x622 >= -9.848857802, <= 9.848857802;
var x623 >= -9.848857802, <= 9.848857802;
var x624 >= -9.848857802, <= 9.848857802;
var x625 >= -9.848857802, <= 9.848857802;
var x626 >= -9.848857802, <= 9.848857802;
var x627 >= -9.848857802, <= 9.848857802;
var x628 >= -9.848857802, <= 9.848857802;
var x629 >= -9.848857802, <= 9.848857802;
var x630 >= -9.848857802, <= 9.848857802;
var x631 >= -9.848857802, <= 9.848857802;
var x632 >= -9.848857802, <= 9.848857802;
var x633 >= -9.848857802, <= 9.848857802;
var x634 >= -9.848857802, <= 9.848857802;
var x635 >= -9.848857802, <= 9.848857802;

minimize obj:    x212;

subject to

e2:    x212 - x447 = -24.35937859;

e3:    x448 - x449 <= -1.2;

e4:    x450 - x451 <= -1.2;

e5:  - x449 + x452 <= -0.6;

e6:  - x451 + x453 <= -0.6;

e7:  - x449 + x454 <= -0.8;

e8:  - x451 + x455 <= -0.8;

e9:  - x449 + x456 <= -1.7;

e10:  - x451 + x457 <= -1.7;

e11:  - x449 + x458 <= -1.3;

e12:  - x451 + x459 <= -1.3;

e13:  - x449 + x460 <= -0.5;

e14:  - x451 + x461 <= -0.5;

e15:  - x449 + x462 <= 0;

e16:  - x451 + x463 <= 0;

e17:  - x449 + x464 <= 0;

e18:  - x451 + x465 <= 0;

e19:  - x449 + x466 <= 0;

e20:  - x451 + x467 <= 0;

e21:  - x449 + x468 <= 0;

e22:  - x451 + x469 <= 0;

e23:  - x449 + x470 <= 0;

e24:  - x451 + x471 <= 0;

e25:  - x449 + x472 <= 0;

e26:  - x451 + x473 <= 0;

e27:  - x449 + x474 <= 0;

e28:  - x451 + x475 <= 0;

e29:  - x449 + x476 <= 0;

e30:  - x451 + x477 <= 0;

e31:  - x449 + x478 <= 0;

e32:  - x451 + x479 <= 0;

e33:  - x449 + x480 <= 0;

e34:  - x451 + x481 <= 0;

e35:  - x449 + x482 <= 0;

e36:  - x451 + x483 <= 0;

e37:  - x449 + x484 <= 0;

e38:  - x451 + x485 <= 0;

e39:    x462 - x464 + x486 = 0;

e40:    x463 - x465 + x487 = 0;

e41:    x464 - x466 + x488 = 0;

e42:    x465 - x467 + x489 = 0;

e43:    x466 - x468 + x490 = 0;

e44:    x467 - x469 + x491 = 0;

e45:  - x462 + 2*x468 + x492 - x493 = 0;

e46:  - x463 + 2*x469 + x494 - x495 = 0;

e47:    x470 - x472 + x496 = 0;

e48:    x471 - x473 + x497 = 0;

e49:    x472 - x474 + x498 = 0;

e50:    x473 - x475 + x499 = 0;

e51:    x474 - x476 + x500 = 0;

e52:    x475 - x477 + x501 = 0;

e53:  - x470 + 2*x476 + x502 - x503 = 0;

e54:  - x471 + 2*x477 + x504 - x505 = 0;

e55:    x478 - x480 + x506 = 0;

e56:    x479 - x481 + x507 = 0;

e57:    x480 - x482 + x508 = 0;

e58:    x481 - x483 + x509 = 0;

e59:    x482 - x484 + x510 = 0;

e60:    x483 - x485 + x511 = 0;

e61:  - x478 + 2*x484 + x512 - x513 = 0;

e62:  - x479 + 2*x485 + x514 - x515 = 0;

e63:    x486 + x490 = 0;

e64:    x487 + x491 = 0;

e65:    x488 + x492 = 0;

e66:    x489 + x494 = 0;

e67:    x496 + x500 = 0;

e68:    x497 + x501 = 0;

e69:    x498 + x502 = 0;

e70:    x499 + x504 = 0;

e71:    x506 + x510 = 0;

e72:    x507 + x511 = 0;

e73:    x508 + x512 = 0;

e74:    x509 + x514 = 0;

e75:  - x516 + x517 = 0;

e76:  - x518 + x519 = 0;

e77:  - x520 + x521 = 0;

e78:    x522 + x523 = 0;

e79:    x524 + x525 = 0;

e80:    x526 + x527 = 0;

e81:  - x528 + x529 = 0;

e82:  - x530 + x531 = 0;

e83:  - x532 + x533 = 0;

e84:  - x534 + x535 = 0;

e85:  - x536 + x537 = 0;

e86:  - x538 + x539 = 0;

e87:  - x540 + x541 = 0;

e88:  - x542 + x543 = 0;

e89:  - x544 + x545 = 0;

e90:  - x546 + x547 = 0;

e91:  - x548 + x549 = 0;

e92:  - x550 + x551 = 0;

e93:  - x552 + x553 = 0;

e94:  - x554 + x555 = 0;

e95:  - x556 + x557 = 0;

e96:  - x558 + x559 = 0;

e97:  - x560 + x561 = 0;

e98:  - x562 + x563 = 0;

e99:    x564 + x565 = 0;

e100:    x566 + x567 = 0;

e101:    x568 + x569 = 0;

e102:    x570 + x571 = 0;

e103:    x572 + x573 = 0;

e104:    x574 + x575 = 0;

e105:    x576 + x577 = 0;

e106:    x578 + x579 = 0;

e107:    x580 + x581 = 0;

e108:    x582 + x583 = 0;

e109:    x584 + x585 = 0;

e110:    x586 + x587 = 0;

e111:    x588 + x589 = 0;

e112:    x590 + x591 = 0;

e113:    x592 + x593 = 0;

e114:    x594 + x595 = 0;

e115:    x596 + x597 = 0;

e116:    x598 + x599 = 0;

e117:    1.2*x529 + x600 = 0;

e118:    1.2*x565 + x601 = 0;

e119:    0.6*x531 + x602 = 0;

e120:    0.6*x567 + x603 = 0;

e121:    0.8*x533 + x604 = 0;

e122:    0.8*x569 + x605 = 0;

e123:    1.7*x535 + x606 = 0;

e124:    1.7*x571 + x607 = 0;

e125:    1.3*x537 + x608 = 0;

e126:    1.3*x573 + x609 = 0;

e127:    0.5*x539 + x610 = 0;

e128:    0.5*x575 + x611 = 0;

e129:    1.2*x541 + x612 = 0;

e130:    1.2*x577 + x613 = 0;

e131:    0.6*x543 + x614 = 0;

e132:    0.6*x579 + x615 = 0;

e133:    0.8*x545 + x616 = 0;

e134:    0.8*x581 + x617 = 0;

e135:    1.7*x547 + x618 = 0;

e136:    1.7*x583 + x619 = 0;

e137:    1.3*x549 + x620 = 0;

e138:    1.3*x585 + x621 = 0;

e139:    0.5*x551 + x622 = 0;

e140:    0.5*x587 + x623 = 0;

e141:    1.2*x553 + x624 = 0;

e142:    1.2*x589 + x625 = 0;

e143:    0.6*x555 + x626 = 0;

e144:    0.6*x591 + x627 = 0;

e145:    0.8*x557 + x628 = 0;

e146:    0.8*x593 + x629 = 0;

e147:    1.7*x559 + x630 = 0;

e148:    1.7*x595 + x631 = 0;

e149:    1.3*x561 + x632 = 0;

e150:    1.3*x597 + x633 = 0;

e151:    0.5*x563 + x634 = 0;

e152:    0.5*x599 + x635 = 0;

e153: -x451*x449 + x447 = 0;

e154: x522*x26 + x213 + x214 - x462 = 0;

e155: x516*x26 + x215 + x216 - x463 = 0;

e156: x522*x27 + x213 + x217 - x464 = 0;

e157: x516*x27 + x215 + x218 - x465 = 0;

e158: x522*x28 + x213 + x219 - x466 = 0;

e159: x516*x28 + x215 + x220 - x467 = 0;

e160: x522*x29 + x213 + x221 - x468 = 0;

e161: x516*x29 + x215 + x222 - x469 = 0;

e162: x524*x30 + x223 + x224 - x462 = 0;

e163: x518*x30 + x225 + x226 - x463 = 0;

e164: x524*x31 + x223 + x227 - x464 = 0;

e165: x518*x31 + x225 + x228 - x465 = 0;

e166: x524*x32 + x223 + x229 - x466 = 0;

e167: x518*x32 + x225 + x230 - x467 = 0;

e168: x524*x33 + x223 + x231 - x468 = 0;

e169: x518*x33 + x225 + x232 - x469 = 0;

e170: x526*x38 + x233 + x234 - x470 = 0;

e171: x520*x38 + x235 + x236 - x471 = 0;

e172: x526*x39 + x233 + x237 - x472 = 0;

e173: x520*x39 + x235 + x238 - x473 = 0;

e174: x526*x40 + x233 + x239 - x474 = 0;

e175: x520*x40 + x235 + x240 - x475 = 0;

e176: x526*x41 + x233 + x241 - x476 = 0;

e177: x520*x41 + x235 + x242 - x477 = 0;

e178: x522*x34 + x213 + x243 - x470 = 0;

e179: x516*x34 + x215 + x244 - x471 = 0;

e180: x522*x35 + x213 + x245 - x472 = 0;

e181: x516*x35 + x215 + x246 - x473 = 0;

e182: x522*x36 + x213 + x247 - x474 = 0;

e183: x516*x36 + x215 + x248 - x475 = 0;

e184: x522*x37 + x213 + x249 - x476 = 0;

e185: x516*x37 + x215 + x250 - x477 = 0;

e186: x524*x42 + x223 + x251 - x478 = 0;

e187: x518*x42 + x225 + x252 - x479 = 0;

e188: x524*x43 + x223 + x253 - x480 = 0;

e189: x518*x43 + x225 + x254 - x481 = 0;

e190: x524*x44 + x223 + x255 - x482 = 0;

e191: x518*x44 + x225 + x256 - x483 = 0;

e192: x524*x45 + x223 + x257 - x484 = 0;

e193: x518*x45 + x225 + x258 - x485 = 0;

e194: x526*x46 + x233 + x259 - x478 = 0;

e195: x520*x46 + x235 + x260 - x479 = 0;

e196: x526*x47 + x233 + x261 - x480 = 0;

e197: x520*x47 + x235 + x262 - x481 = 0;

e198: x526*x48 + x233 + x263 - x482 = 0;

e199: x520*x48 + x235 + x264 - x483 = 0;

e200: x526*x49 + x233 + x265 - x484 = 0;

e201: x520*x49 + x235 + x266 - x485 = 0;

e202: -x517*x2 + x214 = 0;

e203: -x523*x2 + x216 = 0;

e204: -x517*x3 + x217 = 0;

e205: -x523*x3 + x218 = 0;

e206: -x517*x4 + x219 = 0;

e207: -x523*x4 + x220 = 0;

e208: -x517*x5 + x221 = 0;

e209: -x523*x5 + x222 = 0;

e210: -x519*x6 + x224 = 0;

e211: -x525*x6 + x226 = 0;

e212: -x519*x7 + x227 = 0;

e213: -x525*x7 + x228 = 0;

e214: -x519*x8 + x229 = 0;

e215: -x525*x8 + x230 = 0;

e216: -x519*x9 + x231 = 0;

e217: -x525*x9 + x232 = 0;

e218: -x521*x14 + x234 = 0;

e219: -x527*x14 + x236 = 0;

e220: -x521*x15 + x237 = 0;

e221: -x527*x15 + x238 = 0;

e222: -x521*x16 + x239 = 0;

e223: -x527*x16 + x240 = 0;

e224: -x521*x17 + x241 = 0;

e225: -x527*x17 + x242 = 0;

e226: x517*x10 + x243 = 0;

e227: x523*x10 + x244 = 0;

e228: x517*x11 + x245 = 0;

e229: x523*x11 + x246 = 0;

e230: x517*x12 + x247 = 0;

e231: x523*x12 + x248 = 0;

e232: x517*x13 + x249 = 0;

e233: x523*x13 + x250 = 0;

e234: x519*x18 + x251 = 0;

e235: x525*x18 + x252 = 0;

e236: x519*x19 + x253 = 0;

e237: x525*x19 + x254 = 0;

e238: x519*x20 + x255 = 0;

e239: x525*x20 + x256 = 0;

e240: x519*x21 + x257 = 0;

e241: x525*x21 + x258 = 0;

e242: x521*x22 + x259 = 0;

e243: x527*x22 + x260 = 0;

e244: x521*x23 + x261 = 0;

e245: x527*x23 + x262 = 0;

e246: x521*x24 + x263 = 0;

e247: x527*x24 + x264 = 0;

e248: x521*x25 + x265 = 0;

e249: x527*x25 + x266 = 0;

e250: x564*x122 + x267 + x268 - x462 = 0;

e251: x528*x122 + x269 + x270 - x463 = 0;

e252: x564*x123 + x267 + x271 - x464 = 0;

e253: x528*x123 + x269 + x272 - x465 = 0;

e254: x564*x124 + x267 + x273 - x466 = 0;

e255: x528*x124 + x269 + x274 - x467 = 0;

e256: x564*x125 + x267 + x275 - x468 = 0;

e257: x528*x125 + x269 + x276 - x469 = 0;

e258: x566*x126 + x277 + x278 - x462 = 0;

e259: x530*x126 + x279 + x280 - x463 = 0;

e260: x566*x127 + x277 + x281 - x464 = 0;

e261: x530*x127 + x279 + x282 - x465 = 0;

e262: x566*x128 + x277 + x283 - x466 = 0;

e263: x530*x128 + x279 + x284 - x467 = 0;

e264: x566*x129 + x277 + x285 - x468 = 0;

e265: x530*x129 + x279 + x286 - x469 = 0;

e266: x568*x130 + x287 + x288 - x462 = 0;

e267: x532*x130 + x289 + x290 - x463 = 0;

e268: x568*x131 + x287 + x291 - x464 = 0;

e269: x532*x131 + x289 + x292 - x465 = 0;

e270: x568*x132 + x287 + x293 - x466 = 0;

e271: x532*x132 + x289 + x294 - x467 = 0;

e272: x568*x133 + x287 + x295 - x468 = 0;

e273: x532*x133 + x289 + x296 - x469 = 0;

e274: x570*x134 + x297 + x298 - x462 = 0;

e275: x534*x134 + x299 + x300 - x463 = 0;

e276: x570*x135 + x297 + x301 - x464 = 0;

e277: x534*x135 + x299 + x302 - x465 = 0;

e278: x570*x136 + x297 + x303 - x466 = 0;

e279: x534*x136 + x299 + x304 - x467 = 0;

e280: x570*x137 + x297 + x305 - x468 = 0;

e281: x534*x137 + x299 + x306 - x469 = 0;

e282: x572*x138 + x307 + x308 - x462 = 0;

e283: x536*x138 + x309 + x310 - x463 = 0;

e284: x572*x139 + x307 + x311 - x464 = 0;

e285: x536*x139 + x309 + x312 - x465 = 0;

e286: x572*x140 + x307 + x313 - x466 = 0;

e287: x536*x140 + x309 + x314 - x467 = 0;

e288: x572*x141 + x307 + x315 - x468 = 0;

e289: x536*x141 + x309 + x316 - x469 = 0;

e290: x574*x142 + x317 + x318 - x462 = 0;

e291: x538*x142 + x319 + x320 - x463 = 0;

e292: x574*x143 + x317 + x321 - x464 = 0;

e293: x538*x143 + x319 + x322 - x465 = 0;

e294: x574*x144 + x317 + x323 - x466 = 0;

e295: x538*x144 + x319 + x324 - x467 = 0;

e296: x574*x145 + x317 + x325 - x468 = 0;

e297: x538*x145 + x319 + x326 - x469 = 0;

e298: x576*x146 + x327 + x328 - x470 = 0;

e299: x540*x146 + x329 + x330 - x471 = 0;

e300: x576*x147 + x327 + x331 - x472 = 0;

e301: x540*x147 + x329 + x332 - x473 = 0;

e302: x576*x148 + x327 + x333 - x474 = 0;

e303: x540*x148 + x329 + x334 - x475 = 0;

e304: x576*x149 + x327 + x335 - x476 = 0;

e305: x540*x149 + x329 + x336 - x477 = 0;

e306: x578*x150 + x337 + x338 - x470 = 0;

e307: x542*x150 + x339 + x340 - x471 = 0;

e308: x578*x151 + x337 + x341 - x472 = 0;

e309: x542*x151 + x339 + x342 - x473 = 0;

e310: x578*x152 + x337 + x343 - x474 = 0;

e311: x542*x152 + x339 + x344 - x475 = 0;

e312: x578*x153 + x337 + x345 - x476 = 0;

e313: x542*x153 + x339 + x346 - x477 = 0;

e314: x580*x154 + x347 + x348 - x470 = 0;

e315: x544*x154 + x349 + x350 - x471 = 0;

e316: x580*x155 + x347 + x351 - x472 = 0;

e317: x544*x155 + x349 + x352 - x473 = 0;

e318: x580*x156 + x347 + x353 - x474 = 0;

e319: x544*x156 + x349 + x354 - x475 = 0;

e320: x580*x157 + x347 + x355 - x476 = 0;

e321: x544*x157 + x349 + x356 - x477 = 0;

e322: x582*x158 + x357 + x358 - x470 = 0;

e323: x546*x158 + x359 + x360 - x471 = 0;

e324: x582*x159 + x357 + x361 - x472 = 0;

e325: x546*x159 + x359 + x362 - x473 = 0;

e326: x582*x160 + x357 + x363 - x474 = 0;

e327: x546*x160 + x359 + x364 - x475 = 0;

e328: x582*x161 + x357 + x365 - x476 = 0;

e329: x546*x161 + x359 + x366 - x477 = 0;

e330: x584*x162 + x367 + x368 - x470 = 0;

e331: x548*x162 + x369 + x370 - x471 = 0;

e332: x584*x163 + x367 + x371 - x472 = 0;

e333: x548*x163 + x369 + x372 - x473 = 0;

e334: x584*x164 + x367 + x373 - x474 = 0;

e335: x548*x164 + x369 + x374 - x475 = 0;

e336: x584*x165 + x367 + x375 - x476 = 0;

e337: x548*x165 + x369 + x376 - x477 = 0;

e338: x586*x166 + x377 + x378 - x470 = 0;

e339: x550*x166 + x379 + x380 - x471 = 0;

e340: x586*x167 + x377 + x381 - x472 = 0;

e341: x550*x167 + x379 + x382 - x473 = 0;

e342: x586*x168 + x377 + x383 - x474 = 0;

e343: x550*x168 + x379 + x384 - x475 = 0;

e344: x586*x169 + x377 + x385 - x476 = 0;

e345: x550*x169 + x379 + x386 - x477 = 0;

e346: x588*x170 + x387 + x388 - x478 = 0;

e347: x552*x170 + x389 + x390 - x479 = 0;

e348: x588*x171 + x387 + x391 - x480 = 0;

e349: x552*x171 + x389 + x392 - x481 = 0;

e350: x588*x172 + x387 + x393 - x482 = 0;

e351: x552*x172 + x389 + x394 - x483 = 0;

e352: x588*x173 + x387 + x395 - x484 = 0;

e353: x552*x173 + x389 + x396 - x485 = 0;

e354: x590*x174 + x397 + x398 - x478 = 0;

e355: x554*x174 + x399 + x400 - x479 = 0;

e356: x590*x175 + x397 + x401 - x480 = 0;

e357: x554*x175 + x399 + x402 - x481 = 0;

e358: x590*x176 + x397 + x403 - x482 = 0;

e359: x554*x176 + x399 + x404 - x483 = 0;

e360: x590*x177 + x397 + x405 - x484 = 0;

e361: x554*x177 + x399 + x406 - x485 = 0;

e362: x592*x178 + x407 + x408 - x478 = 0;

e363: x556*x178 + x409 + x410 - x479 = 0;

e364: x592*x179 + x407 + x411 - x480 = 0;

e365: x556*x179 + x409 + x412 - x481 = 0;

e366: x592*x180 + x407 + x413 - x482 = 0;

e367: x556*x180 + x409 + x414 - x483 = 0;

e368: x592*x181 + x407 + x415 - x484 = 0;

e369: x556*x181 + x409 + x416 - x485 = 0;

e370: x594*x182 + x417 + x418 - x478 = 0;

e371: x558*x182 + x419 + x420 - x479 = 0;

e372: x594*x183 + x417 + x421 - x480 = 0;

e373: x558*x183 + x419 + x422 - x481 = 0;

e374: x594*x184 + x417 + x423 - x482 = 0;

e375: x558*x184 + x419 + x424 - x483 = 0;

e376: x594*x185 + x417 + x425 - x484 = 0;

e377: x558*x185 + x419 + x426 - x485 = 0;

e378: x596*x186 + x427 + x428 - x478 = 0;

e379: x560*x186 + x429 + x430 - x479 = 0;

e380: x596*x187 + x427 + x431 - x480 = 0;

e381: x560*x187 + x429 + x432 - x481 = 0;

e382: x596*x188 + x427 + x433 - x482 = 0;

e383: x560*x188 + x429 + x434 - x483 = 0;

e384: x596*x189 + x427 + x435 - x484 = 0;

e385: x560*x189 + x429 + x436 - x485 = 0;

e386: x598*x190 + x437 + x438 - x478 = 0;

e387: x562*x190 + x439 + x440 - x479 = 0;

e388: x598*x191 + x437 + x441 - x480 = 0;

e389: x562*x191 + x439 + x442 - x481 = 0;

e390: x598*x192 + x437 + x443 - x482 = 0;

e391: x562*x192 + x439 + x444 - x483 = 0;

e392: x598*x193 + x437 + x445 - x484 = 0;

e393: x562*x193 + x439 + x446 - x485 = 0;

e394: x564*x194 + x267 - x448 + x600 = 0;

e395: x528*x194 + x269 - x450 + x601 = 0;

e396: x566*x197 + x277 - x452 + x602 = 0;

e397: x530*x197 + x279 - x453 + x603 = 0;

e398: x568*x200 + x287 - x454 + x604 = 0;

e399: x532*x200 + x289 - x455 + x605 = 0;

e400: x570*x203 + x297 - x456 + x606 = 0;

e401: x534*x203 + x299 - x457 + x607 = 0;

e402: x572*x206 + x307 - x458 + x608 = 0;

e403: x536*x206 + x309 - x459 + x609 = 0;

e404: x574*x209 + x317 - x460 + x610 = 0;

e405: x538*x209 + x319 - x461 + x611 = 0;

e406: x576*x195 + x327 - x448 + x612 = 0;

e407: x540*x195 + x329 - x450 + x613 = 0;

e408: x578*x198 + x337 - x452 + x614 = 0;

e409: x542*x198 + x339 - x453 + x615 = 0;

e410: x580*x201 + x347 - x454 + x616 = 0;

e411: x544*x201 + x349 - x455 + x617 = 0;

e412: x582*x204 + x357 - x456 + x618 = 0;

e413: x546*x204 + x359 - x457 + x619 = 0;

e414: x584*x207 + x367 - x458 + x620 = 0;

e415: x548*x207 + x369 - x459 + x621 = 0;

e416: x586*x210 + x377 - x460 + x622 = 0;

e417: x550*x210 + x379 - x461 + x623 = 0;

e418: x588*x196 + x387 - x448 + x624 = 0;

e419: x552*x196 + x389 - x450 + x625 = 0;

e420: x590*x199 + x397 - x452 + x626 = 0;

e421: x554*x199 + x399 - x453 + x627 = 0;

e422: x592*x202 + x407 - x454 + x628 = 0;

e423: x556*x202 + x409 - x455 + x629 = 0;

e424: x594*x205 + x417 - x456 + x630 = 0;

e425: x558*x205 + x419 - x457 + x631 = 0;

e426: x596*x208 + x427 - x458 + x632 = 0;

e427: x560*x208 + x429 - x459 + x633 = 0;

e428: x598*x211 + x437 - x460 + x634 = 0;

e429: x562*x211 + x439 - x461 + x635 = 0;

e430: -x529*x50 + x268 = 0;

e431: -x565*x50 + x270 = 0;

e432: -x529*x51 + x271 = 0;

e433: -x565*x51 + x272 = 0;

e434: -x529*x52 + x273 = 0;

e435: -x565*x52 + x274 = 0;

e436: -x529*x53 + x275 = 0;

e437: -x565*x53 + x276 = 0;

e438: -x531*x54 + x278 = 0;

e439: -x567*x54 + x280 = 0;

e440: -x531*x55 + x281 = 0;

e441: -x567*x55 + x282 = 0;

e442: -x531*x56 + x283 = 0;

e443: -x567*x56 + x284 = 0;

e444: -x531*x57 + x285 = 0;

e445: -x567*x57 + x286 = 0;

e446: -x533*x58 + x288 = 0;

e447: -x569*x58 + x290 = 0;

e448: -x533*x59 + x291 = 0;

e449: -x569*x59 + x292 = 0;

e450: -x533*x60 + x293 = 0;

e451: -x569*x60 + x294 = 0;

e452: -x533*x61 + x295 = 0;

e453: -x569*x61 + x296 = 0;

e454: -x535*x62 + x298 = 0;

e455: -x571*x62 + x300 = 0;

e456: -x535*x63 + x301 = 0;

e457: -x571*x63 + x302 = 0;

e458: -x535*x64 + x303 = 0;

e459: -x571*x64 + x304 = 0;

e460: -x535*x65 + x305 = 0;

e461: -x571*x65 + x306 = 0;

e462: -x537*x66 + x308 = 0;

e463: -x573*x66 + x310 = 0;

e464: -x537*x67 + x311 = 0;

e465: -x573*x67 + x312 = 0;

e466: -x537*x68 + x313 = 0;

e467: -x573*x68 + x314 = 0;

e468: -x537*x69 + x315 = 0;

e469: -x573*x69 + x316 = 0;

e470: -x539*x70 + x318 = 0;

e471: -x575*x70 + x320 = 0;

e472: -x539*x71 + x321 = 0;

e473: -x575*x71 + x322 = 0;

e474: -x539*x72 + x323 = 0;

e475: -x575*x72 + x324 = 0;

e476: -x539*x73 + x325 = 0;

e477: -x575*x73 + x326 = 0;

e478: -x541*x74 + x328 = 0;

e479: -x577*x74 + x330 = 0;

e480: -x541*x75 + x331 = 0;

e481: -x577*x75 + x332 = 0;

e482: -x541*x76 + x333 = 0;

e483: -x577*x76 + x334 = 0;

e484: -x541*x77 + x335 = 0;

e485: -x577*x77 + x336 = 0;

e486: -x543*x78 + x338 = 0;

e487: -x579*x78 + x340 = 0;

e488: -x543*x79 + x341 = 0;

e489: -x579*x79 + x342 = 0;

e490: -x543*x80 + x343 = 0;

e491: -x579*x80 + x344 = 0;

e492: -x543*x81 + x345 = 0;

e493: -x579*x81 + x346 = 0;

e494: -x545*x82 + x348 = 0;

e495: -x581*x82 + x350 = 0;

e496: -x545*x83 + x351 = 0;

e497: -x581*x83 + x352 = 0;

e498: -x545*x84 + x353 = 0;

e499: -x581*x84 + x354 = 0;

e500: -x545*x85 + x355 = 0;

e501: -x581*x85 + x356 = 0;

e502: -x547*x86 + x358 = 0;

e503: -x583*x86 + x360 = 0;

e504: -x547*x87 + x361 = 0;

e505: -x583*x87 + x362 = 0;

e506: -x547*x88 + x363 = 0;

e507: -x583*x88 + x364 = 0;

e508: -x547*x89 + x365 = 0;

e509: -x583*x89 + x366 = 0;

e510: -x549*x90 + x368 = 0;

e511: -x585*x90 + x370 = 0;

e512: -x549*x91 + x371 = 0;

e513: -x585*x91 + x372 = 0;

e514: -x549*x92 + x373 = 0;

e515: -x585*x92 + x374 = 0;

e516: -x549*x93 + x375 = 0;

e517: -x585*x93 + x376 = 0;

e518: -x551*x94 + x378 = 0;

e519: -x587*x94 + x380 = 0;

e520: -x551*x95 + x381 = 0;

e521: -x587*x95 + x382 = 0;

e522: -x551*x96 + x383 = 0;

e523: -x587*x96 + x384 = 0;

e524: -x551*x97 + x385 = 0;

e525: -x587*x97 + x386 = 0;

e526: -x553*x98 + x388 = 0;

e527: -x589*x98 + x390 = 0;

e528: -x553*x99 + x391 = 0;

e529: -x589*x99 + x392 = 0;

e530: -x553*x100 + x393 = 0;

e531: -x589*x100 + x394 = 0;

e532: -x553*x101 + x395 = 0;

e533: -x589*x101 + x396 = 0;

e534: -x555*x102 + x398 = 0;

e535: -x591*x102 + x400 = 0;

e536: -x555*x103 + x401 = 0;

e537: -x591*x103 + x402 = 0;

e538: -x555*x104 + x403 = 0;

e539: -x591*x104 + x404 = 0;

e540: -x555*x105 + x405 = 0;

e541: -x591*x105 + x406 = 0;

e542: -x557*x106 + x408 = 0;

e543: -x593*x106 + x410 = 0;

e544: -x557*x107 + x411 = 0;

e545: -x593*x107 + x412 = 0;

e546: -x557*x108 + x413 = 0;

e547: -x593*x108 + x414 = 0;

e548: -x557*x109 + x415 = 0;

e549: -x593*x109 + x416 = 0;

e550: -x559*x110 + x418 = 0;

e551: -x595*x110 + x420 = 0;

e552: -x559*x111 + x421 = 0;

e553: -x595*x111 + x422 = 0;

e554: -x559*x112 + x423 = 0;

e555: -x595*x112 + x424 = 0;

e556: -x559*x113 + x425 = 0;

e557: -x595*x113 + x426 = 0;

e558: -x561*x114 + x428 = 0;

e559: -x597*x114 + x430 = 0;

e560: -x561*x115 + x431 = 0;

e561: -x597*x115 + x432 = 0;

e562: -x561*x116 + x433 = 0;

e563: -x597*x116 + x434 = 0;

e564: -x561*x117 + x435 = 0;

e565: -x597*x117 + x436 = 0;

e566: -x563*x118 + x438 = 0;

e567: -x599*x118 + x440 = 0;

e568: -x563*x119 + x441 = 0;

e569: -x599*x119 + x442 = 0;

e570: -x563*x120 + x443 = 0;

e571: -x599*x120 + x444 = 0;

e572: -x563*x121 + x445 = 0;

e573: -x599*x121 + x446 = 0;

e574: x448^2 - 2*x452*x448 + x450^2 - 2*x453*x450 + x452^2 + x453*x453 >= 3.24;

e575: x448^2 - 2*x454*x448 + x450^2 - 2*x455*x450 + x454^2 + x455*x455 >= 4;

e576: x448^2 - 2*x456*x448 + x450^2 - 2*x457*x450 + x456^2 + x457*x457 >= 8.41;

e577: x448^2 - 2*x458*x448 + x450^2 - 2*x459*x450 + x458^2 + x459*x459 >= 6.25;

e578: x448^2 - 2*x460*x448 + x450^2 - 2*x461*x450 + x460^2 + x461*x461 >= 2.89;

e579: x452^2 - 2*x454*x452 + x453^2 - 2*x455*x453 + x454^2 + x455*x455 >= 1.96;

e580: x452^2 - 2*x456*x452 + x453^2 - 2*x457*x453 + x456^2 + x457*x457 >= 5.29;

e581: x452^2 - 2*x458*x452 + x453^2 - 2*x459*x453 + x458^2 + x459*x459 >= 3.61;

e582: x452^2 - 2*x460*x452 + x453^2 - 2*x461*x453 + x460^2 + x461*x461 >= 1.21;

e583: x454^2 - 2*x456*x454 + x455^2 - 2*x457*x455 + x456^2 + x457*x457 >= 6.25;

e584: x454^2 - 2*x458*x454 + x455^2 - 2*x459*x455 + x458^2 + x459*x459 >= 4.41;

e585: x454^2 - 2*x460*x454 + x455^2 - 2*x461*x455 + x460^2 + x461*x461 >= 1.69;

e586: x456^2 - 2*x458*x456 + x457^2 - 2*x459*x457 + x458^2 + x459*x459 >= 9;

e587: x456^2 - 2*x460*x456 + x457^2 - 2*x461*x457 + x460^2 + x461*x461 >= 4.84;

e588: x458^2 - 2*x460*x458 + x459^2 - 2*x461*x459 + x460^2 + x461*x461 >= 3.24;

e589: x486^2 + x487^2 = 0.25;

e590: x496^2 + x497^2 = 1;

e591: x506^2 + x507^2 = 0.16;

e592: x488^2 + x489^2 = 0.64;

e593: x498^2 + x499^2 = 1;

e594: x508^2 + x509^2 = 0.09;

e595: x516^2 + x522^2 = 1;

e596: x518^2 + x524^2 = 1;

e597: x520^2 + x526^2 = 1;

e598: x528^2 + x564^2 = 1;

e599: x530^2 + x566^2 = 1;

e600: x532^2 + x568^2 = 1;

e601: x534^2 + x570^2 = 1;

e602: x536^2 + x572^2 = 1;

e603: x538^2 + x574^2 = 1;

e604: x540^2 + x576^2 = 1;

e605: x542^2 + x578^2 = 1;

e606: x544^2 + x580^2 = 1;

e607: x546^2 + x582^2 = 1;

e608: x548^2 + x584^2 = 1;

e609: x550^2 + x586^2 = 1;

e610: x552^2 + x588^2 = 1;

e611: x554^2 + x590^2 = 1;

e612: x556^2 + x592^2 = 1;

e613: x558^2 + x594^2 = 1;

e614: x560^2 + x596^2 = 1;

e615: x562^2 + x598^2 = 1;

e616: x488*x486 + x489*x487 = 0;

e617: x498*x496 + x499*x497 = 0;

e618: x508*x506 + x509*x507 = 0;