\ Equation counts \ Total E G L N X C B \ 177 162 15 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 479 479 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 3599 1194 2405 0 \ Minimize obj: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 Subject To e2: - x2 - x18 - x34 - x50 + x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 = 0 e3: - x3 - x19 - x35 - x51 + x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 - x226 - x227 - x228 - x229 = 0 e4: - x4 - x20 - x36 - x52 + x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 = 0 e5: - x5 - x21 - x37 - x53 + x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 = 0 e6: - x6 - x22 - x38 - x54 + x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280 = 0 e7: - x7 - x23 - x39 - x55 + x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 = 0 e8: - x8 - x24 - x40 - x56 + x298 - x299 - x300 - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 = 0 e9: - x9 - x25 - x41 - x57 + x315 - x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 = 0 e10: - x10 - x26 - x42 - x58 + x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 = 0 e11: - x11 - x27 - x43 - x59 + x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364 - x365 = 0 e12: - x12 - x28 - x44 - x60 + x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 = 0 e13: - x13 - x29 - x45 - x61 + x383 - x384 - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 = 0 e14: - x14 - x30 - x46 - x62 + x400 - x401 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 = 0 e15: - x15 - x31 - x47 - x63 - x417 - x418 - x419 - x420 - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 = -85 e16: - x16 - x32 - x48 - x64 - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444 - x445 - x446 - x447 - x448 = -100 e17: - x17 - x33 - x49 - x65 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 = -75 e18: x196 - x197 - x214 - x231 - x248 - x265 - x282 - x299 - x316 - x333 - x350 - x367 - x384 - x401 - x417 - x433 - x449 - x465 = 0 e19: - x198 + x213 - x215 - x232 - x249 - x266 - x283 - x300 - x317 - x334 - x351 - x368 - x385 - x402 - x418 - x434 - x450 - x466 = 0 e20: - x199 - x216 + x230 - x233 - x250 - x267 - x284 - x301 - x318 - x335 - x352 - x369 - x386 - x403 - x419 - x435 - x451 - x467 = 0 e21: - x200 - x217 - x234 + x247 - x251 - x268 - x285 - x302 - x319 - x336 - x353 - x370 - x387 - x404 - x420 - x436 - x452 - x468 = 0 e22: - x201 - x218 - x235 - x252 + x264 - x269 - x286 - x303 - x320 - x337 - x354 - x371 - x388 - x405 - x421 - x437 - x453 - x469 = 0 e23: - x202 - x219 - x236 - x253 - x270 + x281 - x287 - x304 - x321 - x338 - x355 - x372 - x389 - x406 - x422 - x438 - x454 - x470 = 0 e24: - x203 - x220 - x237 - x254 - x271 - x288 + x298 - x305 - x322 - x339 - x356 - x373 - x390 - x407 - x423 - x439 - x455 - x471 = 0 e25: - x204 - x221 - x238 - x255 - x272 - x289 - x306 + x315 - x323 - x340 - x357 - x374 - x391 - x408 - x424 - x440 - x456 - x472 = 0 e26: - x205 - x222 - x239 - x256 - x273 - x290 - x307 - x324 + x332 - x341 - x358 - x375 - x392 - x409 - x425 - x441 - x457 - x473 = 0 e27: - x206 - x223 - x240 - x257 - x274 - x291 - x308 - x325 - x342 + x349 - x359 - x376 - x393 - x410 - x426 - x442 - x458 - x474 = 0 e28: - x207 - x224 - x241 - x258 - x275 - x292 - x309 - x326 - x343 - x360 + x366 - x377 - x394 - x411 - x427 - x443 - x459 - x475 = 0 e29: - x208 - x225 - x242 - x259 - x276 - x293 - x310 - x327 - x344 - x361 - x378 + x383 - x395 - x412 - x428 - x444 - x460 - x476 = 0 e30: - x209 - x226 - x243 - x260 - x277 - x294 - x311 - x328 - x345 - x362 - x379 - x396 + x400 - x413 - x429 - x445 - x461 - x477 = 0 e31: - x210 - x227 - x244 - x261 - x278 - x295 - x312 - x329 - x346 - x363 - x380 - x397 - x414 - x430 - x446 - x462 - x478 = -45 e32: - x211 - x228 - x245 - x262 - x279 - x296 - x313 - x330 - x347 - x364 - x381 - x398 - x415 - x431 - x447 - x463 - x479 = -80 e33: - x212 - x229 - x246 - x263 - x280 - x297 - x314 - x331 - x348 - x365 - x382 - x399 - x416 - x432 - x448 - x464 - x480 = -175 e34: - 2 x2 - 7 x18 - 7 x34 - 6 x50 - 625 x210 - 587 x211 - 644 x212 + [ x66 * x196 - x131 * x197 - x136 * x198 - x141 * x199 - x146 * x200 - x151 * x201 - x156 * x202 - x161 * x203 - x166 * x204 - x171 * x205 - x176 * x206 - x181 * x207 - x186 * x208 - x191 * x209 ] = 0 e35: - 9 x2 - 6 x18 - 9 x34 - 9 x50 - 995 x210 - 691 x211 - 1003 x212 + [ x67 * x196 - x132 * x197 - x137 * x198 - x142 * x199 - x147 * x200 - x152 * x201 - x157 * x202 - x162 * x203 - x167 * x204 - x172 * x205 - x177 * x206 - x182 * x207 - x187 * x208 - x192 * x209 ] = 0 e36: - 8 x2 - 4 x18 - 7 x34 - 8 x50 - 870 x210 - 796 x211 - 667 x212 + [ x68 * x196 - x133 * x197 - x138 * x198 - x143 * x199 - x148 * x200 - x153 * x201 - x158 * x202 - x163 * x203 - x168 * x204 - x173 * x205 - x178 * x206 - x183 * x207 - x188 * x208 - x193 * x209 ] = 0 e37: - x2 - 6 x18 - x34 - 724 x210 - 836 x211 - 920 x212 + [ x69 * x196 - x134 * x197 - x139 * x198 - x144 * x199 - x149 * x200 - x154 * x201 - x159 * x202 - x164 * x203 - x169 * x204 - x174 * x205 - x179 * x206 - x184 * x207 - x189 * x208 - x194 * x209 ] = 0 e38: - 3 x18 - 4 x50 - 834 x210 - 923 x211 - 984 x212 + [ x70 * x196 - x135 * x197 - x140 * x198 - x145 * x199 - x150 * x200 - x155 * x201 - x160 * x202 - x165 * x203 - x170 * x204 - x175 * x205 - x180 * x206 - x185 * x207 - x190 * x208 - x195 * x209 ] = 0 e39: - 2 x3 - 7 x19 - 7 x35 - 6 x51 - 625 x227 - 587 x228 - 644 x229 + [ x71 * x213 - x131 * x214 - x136 * x215 - x141 * x216 - x146 * x217 - x151 * x218 - x156 * x219 - x161 * x220 - x166 * x221 - x171 * x222 - x176 * x223 - x181 * x224 - x186 * x225 - x191 * x226 ] = 0 e40: - 9 x3 - 6 x19 - 9 x35 - 9 x51 - 995 x227 - 691 x228 - 1003 x229 + [ x72 * x213 - x132 * x214 - x137 * x215 - x142 * x216 - x147 * x217 - x152 * x218 - x157 * x219 - x162 * x220 - x167 * x221 - x172 * x222 - x177 * x223 - x182 * x224 - x187 * x225 - x192 * x226 ] = 0 e41: - 8 x3 - 4 x19 - 7 x35 - 8 x51 - 870 x227 - 796 x228 - 667 x229 + [ x73 * x213 - x133 * x214 - x138 * x215 - x143 * x216 - x148 * x217 - x153 * x218 - x158 * x219 - x163 * x220 - x168 * x221 - x173 * x222 - x178 * x223 - x183 * x224 - x188 * x225 - x193 * x226 ] = 0 e42: - x3 - 6 x19 - x35 - 724 x227 - 836 x228 - 920 x229 + [ x74 * x213 - x134 * x214 - x139 * x215 - x144 * x216 - x149 * x217 - x154 * x218 - x159 * x219 - x164 * x220 - x169 * x221 - x174 * x222 - x179 * x223 - x184 * x224 - x189 * x225 - x194 * x226 ] = 0 e43: - 3 x19 - 4 x51 - 834 x227 - 923 x228 - 984 x229 + [ x75 * x213 - x135 * x214 - x140 * x215 - x145 * x216 - x150 * x217 - x155 * x218 - x160 * x219 - x165 * x220 - x170 * x221 - x175 * x222 - x180 * x223 - x185 * x224 - x190 * x225 - x195 * x226 ] = 0 e44: - 2 x4 - 7 x20 - 7 x36 - 6 x52 - 625 x244 - 587 x245 - 644 x246 + [ x76 * x230 - x131 * x231 - x136 * x232 - x141 * x233 - x146 * x234 - x151 * x235 - x156 * x236 - x161 * x237 - x166 * x238 - x171 * x239 - x176 * x240 - x181 * x241 - x186 * x242 - x191 * x243 ] = 0 e45: - 9 x4 - 6 x20 - 9 x36 - 9 x52 - 995 x244 - 691 x245 - 1003 x246 + [ x77 * x230 - x132 * x231 - x137 * x232 - x142 * x233 - x147 * x234 - x152 * x235 - x157 * x236 - x162 * x237 - x167 * x238 - x172 * x239 - x177 * x240 - x182 * x241 - x187 * x242 - x192 * x243 ] = 0 e46: - 8 x4 - 4 x20 - 7 x36 - 8 x52 - 870 x244 - 796 x245 - 667 x246 + [ x78 * x230 - x133 * x231 - x138 * x232 - x143 * x233 - x148 * x234 - x153 * x235 - x158 * x236 - x163 * x237 - x168 * x238 - x173 * x239 - x178 * x240 - x183 * x241 - x188 * x242 - x193 * x243 ] = 0 e47: - x4 - 6 x20 - x36 - 724 x244 - 836 x245 - 920 x246 + [ x79 * x230 - x134 * x231 - x139 * x232 - x144 * x233 - x149 * x234 - x154 * x235 - x159 * x236 - x164 * x237 - x169 * x238 - x174 * x239 - x179 * x240 - x184 * x241 - x189 * x242 - x194 * x243 ] = 0 e48: - 3 x20 - 4 x52 - 834 x244 - 923 x245 - 984 x246 + [ x80 * x230 - x135 * x231 - x140 * x232 - x145 * x233 - x150 * x234 - x155 * x235 - x160 * x236 - x165 * x237 - x170 * x238 - x175 * x239 - x180 * x240 - x185 * x241 - x190 * x242 - x195 * x243 ] = 0 e49: - 2 x5 - 7 x21 - 7 x37 - 6 x53 - 625 x261 - 587 x262 - 644 x263 + [ x81 * x247 - x131 * x248 - x136 * x249 - x141 * x250 - x146 * x251 - x151 * x252 - x156 * x253 - x161 * x254 - x166 * x255 - x171 * x256 - x176 * x257 - x181 * x258 - x186 * x259 - x191 * x260 ] = 0 e50: - 9 x5 - 6 x21 - 9 x37 - 9 x53 - 995 x261 - 691 x262 - 1003 x263 + [ x82 * x247 - x132 * x248 - x137 * x249 - x142 * x250 - x147 * x251 - x152 * x252 - x157 * x253 - x162 * x254 - x167 * x255 - x172 * x256 - x177 * x257 - x182 * x258 - x187 * x259 - x192 * x260 ] = 0 e51: - 8 x5 - 4 x21 - 7 x37 - 8 x53 - 870 x261 - 796 x262 - 667 x263 + [ x83 * x247 - x133 * x248 - x138 * x249 - x143 * x250 - x148 * x251 - x153 * x252 - x158 * x253 - x163 * x254 - x168 * x255 - x173 * x256 - x178 * x257 - x183 * x258 - x188 * x259 - x193 * x260 ] = 0 e52: - x5 - 6 x21 - x37 - 724 x261 - 836 x262 - 920 x263 + [ x84 * x247 - x134 * x248 - x139 * x249 - x144 * x250 - x149 * x251 - x154 * x252 - x159 * x253 - x164 * x254 - x169 * x255 - x174 * x256 - x179 * x257 - x184 * x258 - x189 * x259 - x194 * x260 ] = 0 e53: - 3 x21 - 4 x53 - 834 x261 - 923 x262 - 984 x263 + [ x85 * x247 - x135 * x248 - x140 * x249 - x145 * x250 - x150 * x251 - x155 * x252 - x160 * x253 - x165 * x254 - x170 * x255 - x175 * x256 - x180 * x257 - x185 * x258 - x190 * x259 - x195 * x260 ] = 0 e54: - 2 x6 - 7 x22 - 7 x38 - 6 x54 - 625 x278 - 587 x279 - 644 x280 + [ x86 * x264 - x131 * x265 - x136 * x266 - x141 * x267 - x146 * x268 - x151 * x269 - x156 * x270 - x161 * x271 - x166 * x272 - x171 * x273 - x176 * x274 - x181 * x275 - x186 * x276 - x191 * x277 ] = 0 e55: - 9 x6 - 6 x22 - 9 x38 - 9 x54 - 995 x278 - 691 x279 - 1003 x280 + [ x87 * x264 - x132 * x265 - x137 * x266 - x142 * x267 - x147 * x268 - x152 * x269 - x157 * x270 - x162 * x271 - x167 * x272 - x172 * x273 - x177 * x274 - x182 * x275 - x187 * x276 - x192 * x277 ] = 0 e56: - 8 x6 - 4 x22 - 7 x38 - 8 x54 - 870 x278 - 796 x279 - 667 x280 + [ x88 * x264 - x133 * x265 - x138 * x266 - x143 * x267 - x148 * x268 - x153 * x269 - x158 * x270 - x163 * x271 - x168 * x272 - x173 * x273 - x178 * x274 - x183 * x275 - x188 * x276 - x193 * x277 ] = 0 e57: - x6 - 6 x22 - x38 - 724 x278 - 836 x279 - 920 x280 + [ x89 * x264 - x134 * x265 - x139 * x266 - x144 * x267 - x149 * x268 - x154 * x269 - x159 * x270 - x164 * x271 - x169 * x272 - x174 * x273 - x179 * x274 - x184 * x275 - x189 * x276 - x194 * x277 ] = 0 e58: - 3 x22 - 4 x54 - 834 x278 - 923 x279 - 984 x280 + [ x90 * x264 - x135 * x265 - x140 * x266 - x145 * x267 - x150 * x268 - x155 * x269 - x160 * x270 - x165 * x271 - x170 * x272 - x175 * x273 - x180 * x274 - x185 * x275 - x190 * x276 - x195 * x277 ] = 0 e59: - 2 x7 - 7 x23 - 7 x39 - 6 x55 - 625 x295 - 587 x296 - 644 x297 + [ x91 * x281 - x131 * x282 - x136 * x283 - x141 * x284 - x146 * x285 - x151 * x286 - x156 * x287 - x161 * x288 - x166 * x289 - x171 * x290 - x176 * x291 - x181 * x292 - x186 * x293 - x191 * x294 ] = 0 e60: - 9 x7 - 6 x23 - 9 x39 - 9 x55 - 995 x295 - 691 x296 - 1003 x297 + [ x92 * x281 - x132 * x282 - x137 * x283 - x142 * x284 - x147 * x285 - x152 * x286 - x157 * x287 - x162 * x288 - x167 * x289 - x172 * x290 - x177 * x291 - x182 * x292 - x187 * x293 - x192 * x294 ] = 0 e61: - 8 x7 - 4 x23 - 7 x39 - 8 x55 - 870 x295 - 796 x296 - 667 x297 + [ x93 * x281 - x133 * x282 - x138 * x283 - x143 * x284 - x148 * x285 - x153 * x286 - x158 * x287 - x163 * x288 - x168 * x289 - x173 * x290 - x178 * x291 - x183 * x292 - x188 * x293 - x193 * x294 ] = 0 e62: - x7 - 6 x23 - x39 - 724 x295 - 836 x296 - 920 x297 + [ x94 * x281 - x134 * x282 - x139 * x283 - x144 * x284 - x149 * x285 - x154 * x286 - x159 * x287 - x164 * x288 - x169 * x289 - x174 * x290 - x179 * x291 - x184 * x292 - x189 * x293 - x194 * x294 ] = 0 e63: - 3 x23 - 4 x55 - 834 x295 - 923 x296 - 984 x297 + [ x95 * x281 - x135 * x282 - x140 * x283 - x145 * x284 - x150 * x285 - x155 * x286 - x160 * x287 - x165 * x288 - x170 * x289 - x175 * x290 - x180 * x291 - x185 * x292 - x190 * x293 - x195 * x294 ] = 0 e64: - 2 x8 - 7 x24 - 7 x40 - 6 x56 - 625 x312 - 587 x313 - 644 x314 + [ x96 * x298 - x131 * x299 - x136 * x300 - x141 * x301 - x146 * x302 - x151 * x303 - x156 * x304 - x161 * x305 - x166 * x306 - x171 * x307 - x176 * x308 - x181 * x309 - x186 * x310 - x191 * x311 ] = 0 e65: - 9 x8 - 6 x24 - 9 x40 - 9 x56 - 995 x312 - 691 x313 - 1003 x314 + [ x97 * x298 - x132 * x299 - x137 * x300 - x142 * x301 - x147 * x302 - x152 * x303 - x157 * x304 - x162 * x305 - x167 * x306 - x172 * x307 - x177 * x308 - x182 * x309 - x187 * x310 - x192 * x311 ] = 0 e66: - 8 x8 - 4 x24 - 7 x40 - 8 x56 - 870 x312 - 796 x313 - 667 x314 + [ x98 * x298 - x133 * x299 - x138 * x300 - x143 * x301 - x148 * x302 - x153 * x303 - x158 * x304 - x163 * x305 - x168 * x306 - x173 * x307 - x178 * x308 - x183 * x309 - x188 * x310 - x193 * x311 ] = 0 e67: - x8 - 6 x24 - x40 - 724 x312 - 836 x313 - 920 x314 + [ x99 * x298 - x134 * x299 - x139 * x300 - x144 * x301 - x149 * x302 - x154 * x303 - x159 * x304 - x164 * x305 - x169 * x306 - x174 * x307 - x179 * x308 - x184 * x309 - x189 * x310 - x194 * x311 ] = 0 e68: - 3 x24 - 4 x56 - 834 x312 - 923 x313 - 984 x314 + [ x100 * x298 - x135 * x299 - x140 * x300 - x145 * x301 - x150 * x302 - x155 * x303 - x160 * x304 - x165 * x305 - x170 * x306 - x175 * x307 - x180 * x308 - x185 * x309 - x190 * x310 - x195 * x311 ] = 0 e69: - 2 x9 - 7 x25 - 7 x41 - 6 x57 - 625 x329 - 587 x330 - 644 x331 + [ x101 * x315 - x131 * x316 - x136 * x317 - x141 * x318 - x146 * x319 - x151 * x320 - x156 * x321 - x161 * x322 - x166 * x323 - x171 * x324 - x176 * x325 - x181 * x326 - x186 * x327 - x191 * x328 ] = 0 e70: - 9 x9 - 6 x25 - 9 x41 - 9 x57 - 995 x329 - 691 x330 - 1003 x331 + [ x102 * x315 - x132 * x316 - x137 * x317 - x142 * x318 - x147 * x319 - x152 * x320 - x157 * x321 - x162 * x322 - x167 * x323 - x172 * x324 - x177 * x325 - x182 * x326 - x187 * x327 - x192 * x328 ] = 0 e71: - 8 x9 - 4 x25 - 7 x41 - 8 x57 - 870 x329 - 796 x330 - 667 x331 + [ x103 * x315 - x133 * x316 - x138 * x317 - x143 * x318 - x148 * x319 - x153 * x320 - x158 * x321 - x163 * x322 - x168 * x323 - x173 * x324 - x178 * x325 - x183 * x326 - x188 * x327 - x193 * x328 ] = 0 e72: - x9 - 6 x25 - x41 - 724 x329 - 836 x330 - 920 x331 + [ x104 * x315 - x134 * x316 - x139 * x317 - x144 * x318 - x149 * x319 - x154 * x320 - x159 * x321 - x164 * x322 - x169 * x323 - x174 * x324 - x179 * x325 - x184 * x326 - x189 * x327 - x194 * x328 ] = 0 e73: - 3 x25 - 4 x57 - 834 x329 - 923 x330 - 984 x331 + [ x105 * x315 - x135 * x316 - x140 * x317 - x145 * x318 - x150 * x319 - x155 * x320 - x160 * x321 - x165 * x322 - x170 * x323 - x175 * x324 - x180 * x325 - x185 * x326 - x190 * x327 - x195 * x328 ] = 0 e74: - 2 x10 - 7 x26 - 7 x42 - 6 x58 - 625 x346 - 587 x347 - 644 x348 + [ x106 * x332 - x131 * x333 - x136 * x334 - x141 * x335 - x146 * x336 - x151 * x337 - x156 * x338 - x161 * x339 - x166 * x340 - x171 * x341 - x176 * x342 - x181 * x343 - x186 * x344 - x191 * x345 ] = 0 e75: - 9 x10 - 6 x26 - 9 x42 - 9 x58 - 995 x346 - 691 x347 - 1003 x348 + [ x107 * x332 - x132 * x333 - x137 * x334 - x142 * x335 - x147 * x336 - x152 * x337 - x157 * x338 - x162 * x339 - x167 * x340 - x172 * x341 - x177 * x342 - x182 * x343 - x187 * x344 - x192 * x345 ] = 0 e76: - 8 x10 - 4 x26 - 7 x42 - 8 x58 - 870 x346 - 796 x347 - 667 x348 + [ x108 * x332 - x133 * x333 - x138 * x334 - x143 * x335 - x148 * x336 - x153 * x337 - x158 * x338 - x163 * x339 - x168 * x340 - x173 * x341 - x178 * x342 - x183 * x343 - x188 * x344 - x193 * x345 ] = 0 e77: - x10 - 6 x26 - x42 - 724 x346 - 836 x347 - 920 x348 + [ x109 * x332 - x134 * x333 - x139 * x334 - x144 * x335 - x149 * x336 - x154 * x337 - x159 * x338 - x164 * x339 - x169 * x340 - x174 * x341 - x179 * x342 - x184 * x343 - x189 * x344 - x194 * x345 ] = 0 e78: - 3 x26 - 4 x58 - 834 x346 - 923 x347 - 984 x348 + [ x110 * x332 - x135 * x333 - x140 * x334 - x145 * x335 - x150 * x336 - x155 * x337 - x160 * x338 - x165 * x339 - x170 * x340 - x175 * x341 - x180 * x342 - x185 * x343 - x190 * x344 - x195 * x345 ] = 0 e79: - 2 x11 - 7 x27 - 7 x43 - 6 x59 - 625 x363 - 587 x364 - 644 x365 + [ x111 * x349 - x131 * x350 - x136 * x351 - x141 * x352 - x146 * x353 - x151 * x354 - x156 * x355 - x161 * x356 - x166 * x357 - x171 * x358 - x176 * x359 - x181 * x360 - x186 * x361 - x191 * x362 ] = 0 e80: - 9 x11 - 6 x27 - 9 x43 - 9 x59 - 995 x363 - 691 x364 - 1003 x365 + [ x112 * x349 - x132 * x350 - x137 * x351 - x142 * x352 - x147 * x353 - x152 * x354 - x157 * x355 - x162 * x356 - x167 * x357 - x172 * x358 - x177 * x359 - x182 * x360 - x187 * x361 - x192 * x362 ] = 0 e81: - 8 x11 - 4 x27 - 7 x43 - 8 x59 - 870 x363 - 796 x364 - 667 x365 + [ x113 * x349 - x133 * x350 - x138 * x351 - x143 * x352 - x148 * x353 - x153 * x354 - x158 * x355 - x163 * x356 - x168 * x357 - x173 * x358 - x178 * x359 - x183 * x360 - x188 * x361 - x193 * x362 ] = 0 e82: - x11 - 6 x27 - x43 - 724 x363 - 836 x364 - 920 x365 + [ x114 * x349 - x134 * x350 - x139 * x351 - x144 * x352 - x149 * x353 - x154 * x354 - x159 * x355 - x164 * x356 - x169 * x357 - x174 * x358 - x179 * x359 - x184 * x360 - x189 * x361 - x194 * x362 ] = 0 e83: - 3 x27 - 4 x59 - 834 x363 - 923 x364 - 984 x365 + [ x115 * x349 - x135 * x350 - x140 * x351 - x145 * x352 - x150 * x353 - x155 * x354 - x160 * x355 - x165 * x356 - x170 * x357 - x175 * x358 - x180 * x359 - x185 * x360 - x190 * x361 - x195 * x362 ] = 0 e84: - 2 x12 - 7 x28 - 7 x44 - 6 x60 - 625 x380 - 587 x381 - 644 x382 + [ x116 * x366 - x131 * x367 - x136 * x368 - x141 * x369 - x146 * x370 - x151 * x371 - x156 * x372 - x161 * x373 - x166 * x374 - x171 * x375 - x176 * x376 - x181 * x377 - x186 * x378 - x191 * x379 ] = 0 e85: - 9 x12 - 6 x28 - 9 x44 - 9 x60 - 995 x380 - 691 x381 - 1003 x382 + [ x117 * x366 - x132 * x367 - x137 * x368 - x142 * x369 - x147 * x370 - x152 * x371 - x157 * x372 - x162 * x373 - x167 * x374 - x172 * x375 - x177 * x376 - x182 * x377 - x187 * x378 - x192 * x379 ] = 0 e86: - 8 x12 - 4 x28 - 7 x44 - 8 x60 - 870 x380 - 796 x381 - 667 x382 + [ x118 * x366 - x133 * x367 - x138 * x368 - x143 * x369 - x148 * x370 - x153 * x371 - x158 * x372 - x163 * x373 - x168 * x374 - x173 * x375 - x178 * x376 - x183 * x377 - x188 * x378 - x193 * x379 ] = 0 e87: - x12 - 6 x28 - x44 - 724 x380 - 836 x381 - 920 x382 + [ x119 * x366 - x134 * x367 - x139 * x368 - x144 * x369 - x149 * x370 - x154 * x371 - x159 * x372 - x164 * x373 - x169 * x374 - x174 * x375 - x179 * x376 - x184 * x377 - x189 * x378 - x194 * x379 ] = 0 e88: - 3 x28 - 4 x60 - 834 x380 - 923 x381 - 984 x382 + [ x120 * x366 - x135 * x367 - x140 * x368 - x145 * x369 - x150 * x370 - x155 * x371 - x160 * x372 - x165 * x373 - x170 * x374 - x175 * x375 - x180 * x376 - x185 * x377 - x190 * x378 - x195 * x379 ] = 0 e89: - 2 x13 - 7 x29 - 7 x45 - 6 x61 - 625 x397 - 587 x398 - 644 x399 + [ x121 * x383 - x131 * x384 - x136 * x385 - x141 * x386 - x146 * x387 - x151 * x388 - x156 * x389 - x161 * x390 - x166 * x391 - x171 * x392 - x176 * x393 - x181 * x394 - x186 * x395 - x191 * x396 ] = 0 e90: - 9 x13 - 6 x29 - 9 x45 - 9 x61 - 995 x397 - 691 x398 - 1003 x399 + [ x122 * x383 - x132 * x384 - x137 * x385 - x142 * x386 - x147 * x387 - x152 * x388 - x157 * x389 - x162 * x390 - x167 * x391 - x172 * x392 - x177 * x393 - x182 * x394 - x187 * x395 - x192 * x396 ] = 0 e91: - 8 x13 - 4 x29 - 7 x45 - 8 x61 - 870 x397 - 796 x398 - 667 x399 + [ x123 * x383 - x133 * x384 - x138 * x385 - x143 * x386 - x148 * x387 - x153 * x388 - x158 * x389 - x163 * x390 - x168 * x391 - x173 * x392 - x178 * x393 - x183 * x394 - x188 * x395 - x193 * x396 ] = 0 e92: - x13 - 6 x29 - x45 - 724 x397 - 836 x398 - 920 x399 + [ x124 * x383 - x134 * x384 - x139 * x385 - x144 * x386 - x149 * x387 - x154 * x388 - x159 * x389 - x164 * x390 - x169 * x391 - x174 * x392 - x179 * x393 - x184 * x394 - x189 * x395 - x194 * x396 ] = 0 e93: - 3 x29 - 4 x61 - 834 x397 - 923 x398 - 984 x399 + [ x125 * x383 - x135 * x384 - x140 * x385 - x145 * x386 - x150 * x387 - x155 * x388 - x160 * x389 - x165 * x390 - x170 * x391 - x175 * x392 - x180 * x393 - x185 * x394 - x190 * x395 - x195 * x396 ] = 0 e94: - 2 x14 - 7 x30 - 7 x46 - 6 x62 - 625 x414 - 587 x415 - 644 x416 + [ x126 * x400 - x131 * x401 - x136 * x402 - x141 * x403 - x146 * x404 - x151 * x405 - x156 * x406 - x161 * x407 - x166 * x408 - x171 * x409 - x176 * x410 - x181 * x411 - x186 * x412 - x191 * x413 ] = 0 e95: - 9 x14 - 6 x30 - 9 x46 - 9 x62 - 995 x414 - 691 x415 - 1003 x416 + [ x127 * x400 - x132 * x401 - x137 * x402 - x142 * x403 - x147 * x404 - x152 * x405 - x157 * x406 - x162 * x407 - x167 * x408 - x172 * x409 - x177 * x410 - x182 * x411 - x187 * x412 - x192 * x413 ] = 0 e96: - 8 x14 - 4 x30 - 7 x46 - 8 x62 - 870 x414 - 796 x415 - 667 x416 + [ x128 * x400 - x133 * x401 - x138 * x402 - x143 * x403 - x148 * x404 - x153 * x405 - x158 * x406 - x163 * x407 - x168 * x408 - x173 * x409 - x178 * x410 - x183 * x411 - x188 * x412 - x193 * x413 ] = 0 e97: - x14 - 6 x30 - x46 - 724 x414 - 836 x415 - 920 x416 + [ x129 * x400 - x134 * x401 - x139 * x402 - x144 * x403 - x149 * x404 - x154 * x405 - x159 * x406 - x164 * x407 - x169 * x408 - x174 * x409 - x179 * x410 - x184 * x411 - x189 * x412 - x194 * x413 ] = 0 e98: - 3 x30 - 4 x62 - 834 x414 - 923 x415 - 984 x416 + [ x130 * x400 - x135 * x401 - x140 * x402 - x145 * x403 - x150 * x404 - x155 * x405 - x160 * x406 - x165 * x407 - x170 * x408 - x175 * x409 - x180 * x410 - x185 * x411 - x190 * x412 - x195 * x413 ] = 0 e99: - 2 x15 - 7 x31 - 7 x47 - 6 x63 - 625 x430 - 587 x431 - 644 x432 + [ - x131 * x417 - x136 * x418 - x141 * x419 - x146 * x420 - x151 * x421 - x156 * x422 - x161 * x423 - x166 * x424 - x171 * x425 - x176 * x426 - x181 * x427 - x186 * x428 - x191 * x429 ] >= -13090 e100: - 9 x15 - 6 x31 - 9 x47 - 9 x63 - 995 x430 - 691 x431 - 1003 x432 + [ - x132 * x417 - x137 * x418 - x142 * x419 - x147 * x420 - x152 * x421 - x157 * x422 - x162 * x423 - x167 * x424 - x172 * x425 - x177 * x426 - x182 * x427 - x187 * x428 - x192 * x429 ] >= -75310 e101: - 8 x15 - 4 x31 - 7 x47 - 8 x63 - 870 x430 - 796 x431 - 667 x432 + [ - x133 * x417 - x138 * x418 - x143 * x419 - x148 * x420 - x153 * x421 - x158 * x422 - x163 * x423 - x168 * x424 - x173 * x425 - x178 * x426 - x183 * x427 - x188 * x428 - x193 * x429 ] >= -64090 e102: - x15 - 6 x31 - x47 - 724 x430 - 836 x431 - 920 x432 + [ - x134 * x417 - x139 * x418 - x144 * x419 - x149 * x420 - x154 * x421 - x159 * x422 - x164 * x423 - x169 * x424 - x174 * x425 - x179 * x426 - x184 * x427 - x189 * x428 - x194 * x429 ] >= -13345 e103: - 3 x31 - 4 x63 - 834 x430 - 923 x431 - 984 x432 + [ - x135 * x417 - x140 * x418 - x145 * x419 - x150 * x420 - x155 * x421 - x160 * x422 - x165 * x423 - x170 * x424 - x175 * x425 - x180 * x426 - x185 * x427 - x190 * x428 - x195 * x429 ] >= -6715 e104: - 2 x16 - 7 x32 - 7 x48 - 6 x64 - 625 x446 - 587 x447 - 644 x448 + [ - x131 * x433 - x136 * x434 - x141 * x435 - x146 * x436 - x151 * x437 - x156 * x438 - x161 * x439 - x166 * x440 - x171 * x441 - x176 * x442 - x181 * x443 - x186 * x444 - x191 * x445 ] >= -19400 e105: - 9 x16 - 6 x32 - 9 x48 - 9 x64 - 995 x446 - 691 x447 - 1003 x448 + [ - x132 * x433 - x137 * x434 - x142 * x435 - x147 * x436 - x152 * x437 - x157 * x438 - x162 * x439 - x167 * x440 - x172 * x441 - x177 * x442 - x182 * x443 - x187 * x444 - x192 * x445 ] >= -36600 e106: - 8 x16 - 4 x32 - 7 x48 - 8 x64 - 870 x446 - 796 x447 - 667 x448 + [ - x133 * x433 - x138 * x434 - x143 * x435 - x148 * x436 - x153 * x437 - x158 * x438 - x163 * x439 - x168 * x440 - x173 * x441 - x178 * x442 - x183 * x443 - x188 * x444 - x193 * x445 ] >= -55200 e107: - x16 - 6 x32 - x48 - 724 x446 - 836 x447 - 920 x448 + [ - x134 * x433 - x139 * x434 - x144 * x435 - x149 * x436 - x154 * x437 - x159 * x438 - x164 * x439 - x169 * x440 - x174 * x441 - x179 * x442 - x184 * x443 - x189 * x444 - x194 * x445 ] >= -67200 e108: - 3 x32 - 4 x64 - 834 x446 - 923 x447 - 984 x448 + [ - x135 * x433 - x140 * x434 - x145 * x435 - x150 * x436 - x155 * x437 - x160 * x438 - x165 * x439 - x170 * x440 - x175 * x441 - x180 * x442 - x185 * x443 - x190 * x444 - x195 * x445 ] >= -81700 e109: - 2 x17 - 7 x33 - 7 x49 - 6 x65 - 625 x462 - 587 x463 - 644 x464 + [ - x131 * x449 - x136 * x450 - x141 * x451 - x146 * x452 - x151 * x453 - x156 * x454 - x161 * x455 - x166 * x456 - x171 * x457 - x176 * x458 - x181 * x459 - x186 * x460 - x191 * x461 ] >= -34200 e110: - 9 x17 - 6 x33 - 9 x49 - 9 x65 - 995 x462 - 691 x463 - 1003 x464 + [ - x132 * x449 - x137 * x450 - x142 * x451 - x147 * x452 - x152 * x453 - x157 * x454 - x162 * x455 - x167 * x456 - x172 * x457 - x177 * x458 - x182 * x459 - x187 * x460 - x192 * x461 ] >= -69825 e111: - 8 x17 - 4 x33 - 7 x49 - 8 x65 - 870 x462 - 796 x463 - 667 x464 + [ - x133 * x449 - x138 * x450 - x143 * x451 - x148 * x452 - x153 * x453 - x158 * x454 - x163 * x455 - x168 * x456 - x173 * x457 - x178 * x458 - x183 * x459 - x188 * x460 - x193 * x461 ] >= -10650 e112: - x17 - 6 x33 - x49 - 724 x462 - 836 x463 - 920 x464 + [ - x134 * x449 - x139 * x450 - x144 * x451 - x149 * x452 - x154 * x453 - x159 * x454 - x164 * x455 - x169 * x456 - x174 * x457 - x179 * x458 - x184 * x459 - x189 * x460 - x194 * x461 ] >= -55800 e113: - 3 x33 - 4 x65 - 834 x462 - 923 x463 - 984 x464 + [ - x135 * x449 - x140 * x450 - x145 * x451 - x150 * x452 - x155 * x453 - x160 * x454 - x165 * x455 - x170 * x456 - x175 * x457 - x180 * x458 - x185 * x459 - x190 * x460 - x195 * x461 ] >= -72675 e114: [ x66 * x196 - x131 * x196 ] = -92140 e115: [ x67 * x196 - x132 * x196 ] = -52428 e116: [ x68 * x196 - x133 * x196 ] = -51476 e117: [ x69 * x196 - x134 * x196 ] = -42534 e118: [ x70 * x196 - x135 * x196 ] = -10098 e119: [ x71 * x213 - x136 * x213 ] = -162874 e120: [ x72 * x213 - x137 * x213 ] = -740 e121: [ x73 * x213 - x138 * x213 ] = -67784 e122: [ x74 * x213 - x139 * x213 ] = -92056 e123: [ x75 * x213 - x140 * x213 ] = -64602 e124: [ x76 * x230 - x141 * x230 ] = -11934 e125: [ x77 * x230 - x142 * x230 ] = -50076 e126: [ x78 * x230 - x143 * x230 ] = -35282 e127: [ x79 * x230 - x144 * x230 ] = -11440 e128: [ x80 * x230 - x145 * x230 ] = -36140 e129: [ x81 * x247 - x146 * x247 ] = -75810 e130: [ x82 * x247 - x147 * x247 ] = -97546 e131: [ x83 * x247 - x148 * x247 ] = -29488 e132: [ x84 * x247 - x149 * x247 ] = -39368 e133: [ x85 * x247 - x150 * x247 ] = -77026 e134: [ x86 * x264 - x151 * x264 ] = -130410 e135: [ x87 * x264 - x152 * x264 ] = -87010 e136: [ x88 * x264 - x153 * x264 ] = -44590 e137: [ x89 * x264 - x154 * x264 ] = -175840 e138: [ x90 * x264 - x155 * x264 ] = -32900 e139: [ x91 * x281 - x156 * x281 ] = -103895 e140: [ x92 * x281 - x157 * x281 ] = -28875 e141: [ x93 * x281 - x158 * x281 ] = -33440 e142: [ x94 * x281 - x159 * x281 ] = -119900 e143: [ x95 * x281 - x160 * x281 ] = -103565 e144: [ x96 * x298 - x161 * x298 ] = -3850 e145: [ x97 * x298 - x162 * x298 ] = -53450 e146: [ x98 * x298 - x163 * x298 ] = -61500 e147: [ x99 * x298 - x164 * x298 ] = -84300 e148: [ x100 * x298 - x165 * x298 ] = -69900 e149: [ x101 * x315 - x166 * x315 ] = -22178 e150: [ x102 * x315 - x167 * x315 ] = -17082 e151: [ x103 * x315 - x168 * x315 ] = -44252 e152: [ x104 * x315 - x169 * x315 ] = -27456 e153: [ x105 * x315 - x170 * x315 ] = -2184 e154: [ x106 * x332 - x171 * x332 ] = -14994 e155: [ x107 * x332 - x172 * x332 ] = -167384 e156: [ x108 * x332 - x173 * x332 ] = -172186 e157: [ x109 * x332 - x174 * x332 ] = -142100 e158: [ x110 * x332 - x175 * x332 ] = -288708 e159: [ x111 * x349 - x176 * x349 ] = -8550 e160: [ x112 * x349 - x177 * x349 ] = -69255 e161: [ x113 * x349 - x178 * x349 ] = -103170 e162: [ x114 * x349 - x179 * x349 ] = -150480 e163: [ x115 * x349 - x180 * x349 ] = -125590 e164: [ x116 * x366 - x181 * x366 ] = -175015 e165: [ x117 * x366 - x182 * x366 ] = -133195 e166: [ x118 * x366 - x183 * x366 ] = -83810 e167: [ x119 * x366 - x184 * x366 ] = -49725 e168: [ x120 * x366 - x185 * x366 ] = -226015 e169: [ x121 * x383 - x186 * x383 ] = -72485 e170: [ x122 * x383 - x187 * x383 ] = -226955 e171: [ x123 * x383 - x188 * x383 ] = -179930 e172: [ x124 * x383 - x189 * x383 ] = -218120 e173: [ x125 * x383 - x190 * x383 ] = -185250 e174: [ x126 * x400 - x191 * x400 ] = -72200 e175: [ x127 * x400 - x192 * x400 ] = -109400 e176: [ x128 * x400 - x193 * x400 ] = -199300 e177: [ x129 * x400 - x194 * x400 ] = -84600 e178: [ x130 * x400 - x195 * x400 ] = -110800 Bounds x2 <= 100000 x3 <= 100000 x4 <= 100000 x5 <= 100000 x6 <= 100000 x7 <= 100000 x8 <= 100000 x9 <= 100000 x10 <= 100000 x11 <= 100000 x12 <= 100000 x13 <= 100000 x14 <= 100000 x15 <= 100000 x16 <= 100000 x17 <= 100000 x18 <= 100000 x19 <= 100000 x20 <= 100000 x21 <= 100000 x22 <= 100000 x23 <= 100000 x24 <= 100000 x25 <= 100000 x26 <= 100000 x27 <= 100000 x28 <= 100000 x29 <= 100000 x30 <= 100000 x31 <= 100000 x32 <= 100000 x33 <= 100000 x34 <= 100000 x35 <= 100000 x36 <= 100000 x37 <= 100000 x38 <= 100000 x39 <= 100000 x40 <= 100000 x41 <= 100000 x42 <= 100000 x43 <= 100000 x44 <= 100000 x45 <= 100000 x46 <= 100000 x47 <= 100000 x48 <= 100000 x49 <= 100000 x50 <= 100000 x51 <= 100000 x52 <= 100000 x53 <= 100000 x54 <= 100000 x55 <= 100000 x56 <= 100000 x57 <= 100000 x58 <= 100000 x59 <= 100000 x60 <= 100000 x61 <= 100000 x62 <= 100000 x63 <= 100000 x64 <= 100000 x65 <= 100000 x66 <= 201 x67 <= 1116 x68 <= 1004 x69 <= 1159 x70 <= 1447 x71 <= 633 x72 <= 941 x73 <= 288 x74 <= 1499 x75 <= 270 x76 <= 457 x77 <= 664 x78 <= 1380 x79 <= 242 x80 <= 456 x81 <= 726 x82 <= 143 x83 <= 1232 x84 <= 1393 x85 <= 886 x86 <= 698 x87 <= 1124 x88 <= 330 x89 <= 310 x90 <= 1486 x91 <= 745 x92 <= 64 x93 <= 1421 x94 <= 474 x95 <= 9 x96 <= 189 x97 <= 1498 x98 <= 1196 x99 <= 944 x100 <= 397 x101 <= 190 x102 <= 871 x103 <= 114 x104 <= 1424 x105 <= 992 x106 <= 279 x107 <= 1086 x108 <= 100 x109 <= 161 x110 <= 32 x111 <= 1455 x112 <= 673 x113 <= 655 x114 <= 985 x115 <= 492 x116 <= 663 x117 <= 329 x118 <= 934 x119 <= 902 x120 <= 341 x121 <= 167 x122 <= 168 x123 <= 521 x124 <= 628 x125 <= 666 x126 <= 166 x127 <= 1124 x128 <= 737 x129 <= 92 x130 <= 1407 x131 <= 2911 x132 <= 2658 x133 <= 2518 x134 <= 2410 x135 <= 1744 x136 <= 2834 x137 <= 951 x138 <= 1204 x139 <= 2743 x140 <= 1143 x141 <= 916 x142 <= 2590 x143 <= 2737 x144 <= 682 x145 <= 1846 x146 <= 2721 x147 <= 2710 x148 <= 2008 x149 <= 2429 x150 <= 2913 x151 <= 2561 x152 <= 2367 x153 <= 967 x154 <= 2822 x155 <= 1956 x156 <= 2634 x157 <= 589 x158 <= 2029 x159 <= 2654 x160 <= 1892 x161 <= 266 x162 <= 2567 x163 <= 2426 x164 <= 2630 x165 <= 1795 x166 <= 1043 x167 <= 1528 x168 <= 1816 x169 <= 2480 x170 <= 1076 x171 <= 432 x172 <= 2794 x173 <= 1857 x174 <= 1611 x175 <= 2978 x176 <= 1545 x177 <= 1402 x178 <= 1741 x179 <= 2569 x180 <= 1814 x181 <= 2722 x182 <= 1896 x183 <= 1920 x184 <= 1487 x185 <= 3000 x186 <= 930 x187 <= 2557 x188 <= 2415 x189 <= 2924 x190 <= 2616 x191 <= 888 x192 <= 2218 x193 <= 2730 x194 <= 938 x195 <= 2515 x196 <= 34 x197 <= 100000 x198 <= 100000 x199 <= 100000 x200 <= 100000 x201 <= 100000 x202 <= 100000 x203 <= 100000 x204 <= 100000 x205 <= 100000 x206 <= 100000 x207 <= 100000 x208 <= 100000 x209 <= 100000 x210 <= 100000 x211 <= 100000 x212 <= 100000 x213 <= 74 x214 <= 100000 x215 <= 100000 x216 <= 100000 x217 <= 100000 x218 <= 100000 x219 <= 100000 x220 <= 100000 x221 <= 100000 x222 <= 100000 x223 <= 100000 x224 <= 100000 x225 <= 100000 x226 <= 100000 x227 <= 100000 x228 <= 100000 x229 <= 100000 x230 <= 26 x231 <= 100000 x232 <= 100000 x233 <= 100000 x234 <= 100000 x235 <= 100000 x236 <= 100000 x237 <= 100000 x238 <= 100000 x239 <= 100000 x240 <= 100000 x241 <= 100000 x242 <= 100000 x243 <= 100000 x244 <= 100000 x245 <= 100000 x246 <= 100000 x247 <= 38 x248 <= 100000 x249 <= 100000 x250 <= 100000 x251 <= 100000 x252 <= 100000 x253 <= 100000 x254 <= 100000 x255 <= 100000 x256 <= 100000 x257 <= 100000 x258 <= 100000 x259 <= 100000 x260 <= 100000 x261 <= 100000 x262 <= 100000 x263 <= 100000 x264 <= 70 x265 <= 100000 x266 <= 100000 x267 <= 100000 x268 <= 100000 x269 <= 100000 x270 <= 100000 x271 <= 100000 x272 <= 100000 x273 <= 100000 x274 <= 100000 x275 <= 100000 x276 <= 100000 x277 <= 100000 x278 <= 100000 x279 <= 100000 x280 <= 100000 x281 <= 55 x282 <= 100000 x283 <= 100000 x284 <= 100000 x285 <= 100000 x286 <= 100000 x287 <= 100000 x288 <= 100000 x289 <= 100000 x290 <= 100000 x291 <= 100000 x292 <= 100000 x293 <= 100000 x294 <= 100000 x295 <= 100000 x296 <= 100000 x297 <= 100000 x298 <= 50 x299 <= 100000 x300 <= 100000 x301 <= 100000 x302 <= 100000 x303 <= 100000 x304 <= 100000 x305 <= 100000 x306 <= 100000 x307 <= 100000 x308 <= 100000 x309 <= 100000 x310 <= 100000 x311 <= 100000 x312 <= 100000 x313 <= 100000 x314 <= 100000 x315 <= 26 x316 <= 100000 x317 <= 100000 x318 <= 100000 x319 <= 100000 x320 <= 100000 x321 <= 100000 x322 <= 100000 x323 <= 100000 x324 <= 100000 x325 <= 100000 x326 <= 100000 x327 <= 100000 x328 <= 100000 x329 <= 100000 x330 <= 100000 x331 <= 100000 x332 <= 98 x333 <= 100000 x334 <= 100000 x335 <= 100000 x336 <= 100000 x337 <= 100000 x338 <= 100000 x339 <= 100000 x340 <= 100000 x341 <= 100000 x342 <= 100000 x343 <= 100000 x344 <= 100000 x345 <= 100000 x346 <= 100000 x347 <= 100000 x348 <= 100000 x349 <= 95 x350 <= 100000 x351 <= 100000 x352 <= 100000 x353 <= 100000 x354 <= 100000 x355 <= 100000 x356 <= 100000 x357 <= 100000 x358 <= 100000 x359 <= 100000 x360 <= 100000 x361 <= 100000 x362 <= 100000 x363 <= 100000 x364 <= 100000 x365 <= 100000 x366 <= 85 x367 <= 100000 x368 <= 100000 x369 <= 100000 x370 <= 100000 x371 <= 100000 x372 <= 100000 x373 <= 100000 x374 <= 100000 x375 <= 100000 x376 <= 100000 x377 <= 100000 x378 <= 100000 x379 <= 100000 x380 <= 100000 x381 <= 100000 x382 <= 100000 x383 <= 95 x384 <= 100000 x385 <= 100000 x386 <= 100000 x387 <= 100000 x388 <= 100000 x389 <= 100000 x390 <= 100000 x391 <= 100000 x392 <= 100000 x393 <= 100000 x394 <= 100000 x395 <= 100000 x396 <= 100000 x397 <= 100000 x398 <= 100000 x399 <= 100000 x400 <= 100 x401 <= 100000 x402 <= 100000 x403 <= 100000 x404 <= 100000 x405 <= 100000 x406 <= 100000 x407 <= 100000 x408 <= 100000 x409 <= 100000 x410 <= 100000 x411 <= 100000 x412 <= 100000 x413 <= 100000 x414 <= 100000 x415 <= 100000 x416 <= 100000 x417 <= 100000 x418 <= 100000 x419 <= 100000 x420 <= 100000 x421 <= 100000 x422 <= 100000 x423 <= 100000 x424 <= 100000 x425 <= 100000 x426 <= 100000 x427 <= 100000 x428 <= 100000 x429 <= 100000 x430 <= 100000 x431 <= 100000 x432 <= 100000 x433 <= 100000 x434 <= 100000 x435 <= 100000 x436 <= 100000 x437 <= 100000 x438 <= 100000 x439 <= 100000 x440 <= 100000 x441 <= 100000 x442 <= 100000 x443 <= 100000 x444 <= 100000 x445 <= 100000 x446 <= 100000 x447 <= 100000 x448 <= 100000 x449 <= 100000 x450 <= 100000 x451 <= 100000 x452 <= 100000 x453 <= 100000 x454 <= 100000 x455 <= 100000 x456 <= 100000 x457 <= 100000 x458 <= 100000 x459 <= 100000 x460 <= 100000 x461 <= 100000 x462 <= 100000 x463 <= 100000 x464 <= 100000 x465 <= 100000 x466 <= 100000 x467 <= 100000 x468 <= 100000 x469 <= 100000 x470 <= 100000 x471 <= 100000 x472 <= 100000 x473 <= 100000 x474 <= 100000 x475 <= 100000 x476 <= 100000 x477 <= 100000 x478 <= 100000 x479 <= 100000 x480 <= 100000 End