\ Equation counts \ Total E G L N X C B \ 563 516 0 47 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 608 608 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4111 3087 1024 0 \ Minimize obj: 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 - 10 x66 - 9.5 x67 - 9 x68 - 8.5 x69 - 8 x70 - 7.5 x71 - 7 x72 - 6.5 x73 - 6 x74 - 5.5 x75 - 5 x76 - 4.5 x77 - 4 x78 - 3.5 x79 - 3 x80 - 2.5 x81 - 10 x82 - 9.5 x83 - 9 x84 - 8.5 x85 - 8 x86 - 7.5 x87 - 7 x88 - 6.5 x89 - 6 x90 - 5.5 x91 - 5 x92 - 4.5 x93 - 4 x94 - 3.5 x95 - 3 x96 - 2.5 x97 - 9 x98 - 8.5 x99 - 8 x100 - 7.5 x101 - 7 x102 - 6.5 x103 - 6 x104 - 5.5 x105 - 5 x106 - 4.5 x107 - 4 x108 - 3.5 x109 - 3 x110 - 2.5 x111 - 2 x112 - 1.5 x113 - 9 x114 - 8.5 x115 - 8 x116 - 7.5 x117 - 7 x118 - 6.5 x119 - 6 x120 - 5.5 x121 - 5 x122 - 4.5 x123 - 4 x124 - 3.5 x125 - 3 x126 - 2.5 x127 - 2 x128 - 1.5 x129 - 9 x130 - 8.5 x131 - 8 x132 - 7.5 x133 - 7 x134 - 6.5 x135 - 6 x136 - 5.5 x137 - 5 x138 - 4.5 x139 - 4 x140 - 3.5 x141 - 3 x142 - 2.5 x143 - 2 x144 - 1.5 x145 - 8 x146 - 7.5 x147 - 7 x148 - 6.5 x149 - 6 x150 - 5.5 x151 - 5 x152 - 4.5 x153 - 4 x154 - 3.5 x155 - 3 x156 - 2.5 x157 - 2 x158 - 1.5 x159 - x160 - .5 x161 - 8 x162 - 7.5 x163 - 7 x164 - 6.5 x165 - 6 x166 - 5.5 x167 - 5 x168 - 4.5 x169 - 4 x170 - 3.5 x171 - 3 x172 - 2.5 x173 - 2 x174 - 1.5 x175 - x176 - .5 x177 - 8 x178 - 7.5 x179 - 7 x180 - 6.5 x181 - 6 x182 - 5.5 x183 - 5 x184 - 4.5 x185 - 4 x186 - 3.5 x187 - 3 x188 - 2.5 x189 - 2 x190 - 1.5 x191 - x192 - .5 x193 - 7 x194 - 6.5 x195 - 6 x196 - 5.5 x197 - 5 x198 - 4.5 x199 - 4 x200 - 3.5 x201 - 3 x202 - 2.5 x203 - 2 x204 - 1.5 x205 - x206 - .5 x207 + 0 x208 + .5 x209 - 7 x210 - 6.5 x211 - 6 x212 - 5.5 x213 - 5 x214 - 4.5 x215 - 4 x216 - 3.5 x217 - 3 x218 - 2.5 x219 - 2 x220 - 1.5 x221 - x222 - .5 x223 + 0 x224 + .5 x225 - 7 x226 - 6.5 x227 - 6 x228 - 5.5 x229 - 5 x230 - 4.5 x231 - 4 x232 - 3.5 x233 - 3 x234 - 2.5 x235 - 2 x236 - 1.5 x237 - x238 - .5 x239 + 0 x240 + .5 x241 - 7 x242 - 6.5 x243 - 6 x244 - 5.5 x245 - 5 x246 - 4.5 x247 - 4 x248 - 3.5 x249 - 3 x250 - 2.5 x251 - 2 x252 - 1.5 x253 - x254 - .5 x255 + 0 x256 + .5 x257 - 6 x258 - 5.5 x259 - 5 x260 - 4.5 x261 - 4 x262 - 3.5 x263 - 3 x264 - 2.5 x265 - 2 x266 - 1.5 x267 - x268 - .5 x269 + 0 x270 + .5 x271 + x272 + 1.5 x273 - 6 x274 - 5.5 x275 - 5 x276 - 4.5 x277 - 4 x278 - 3.5 x279 - 3 x280 - 2.5 x281 - 2 x282 - 1.5 x283 - x284 - .5 x285 + 0 x286 + .5 x287 + x288 + 1.5 x289 - 6 x290 - 5.5 x291 - 5 x292 - 4.5 x293 - 4 x294 - 3.5 x295 - 3 x296 - 2.5 x297 - 2 x298 - 1.5 x299 - x300 - .5 x301 + 0 x302 + .5 x303 + x304 + 1.5 x305 - 5 x306 - 4.5 x307 - 4 x308 - 3.5 x309 - 3 x310 - 2.5 x311 - 2 x312 - 1.5 x313 - x314 - .5 x315 + 0 x316 + .5 x317 + x318 + 1.5 x319 + 2 x320 + 2.5 x321 - 5 x322 - 4.5 x323 - 4 x324 - 3.5 x325 - 3 x326 - 2.5 x327 - 2 x328 - 1.5 x329 - x330 - .5 x331 + 0 x332 + .5 x333 + x334 + 1.5 x335 + 2 x336 + 2.5 x337 - 4 x338 - 3.5 x339 - 3 x340 - 2.5 x341 - 2 x342 - 1.5 x343 - x344 - .5 x345 + 0 x346 + .5 x347 + x348 + 1.5 x349 + 2 x350 + 2.5 x351 + 3 x352 + 3.5 x353 - 4 x354 - 3.5 x355 - 3 x356 - 2.5 x357 - 2 x358 - 1.5 x359 - x360 - .5 x361 + 0 x362 + .5 x363 + x364 + 1.5 x365 + 2 x366 + 2.5 x367 + 3 x368 + 3.5 x369 - 4 x370 - 3.5 x371 - 3 x372 - 2.5 x373 - 2 x374 - 1.5 x375 - x376 - .5 x377 + 0 x378 + .5 x379 + x380 + 1.5 x381 + 2 x382 + 2.5 x383 + 3 x384 + 3.5 x385 - 3 x386 - 2.5 x387 - 2 x388 - 1.5 x389 - x390 - .5 x391 + 0 x392 + .5 x393 + x394 + 1.5 x395 + 2 x396 + 2.5 x397 + 3 x398 + 3.5 x399 + 4 x400 + 4.5 x401 - 3 x402 - 2.5 x403 - 2 x404 - 1.5 x405 - x406 - .5 x407 + 0 x408 + .5 x409 + x410 + 1.5 x411 + 2 x412 + 2.5 x413 + 3 x414 + 3.5 x415 + 4 x416 + 4.5 x417 - 3 x418 - 2.5 x419 - 2 x420 - 1.5 x421 - x422 - .5 x423 + 0 x424 + .5 x425 + x426 + 1.5 x427 + 2 x428 + 2.5 x429 + 3 x430 + 3.5 x431 + 4 x432 + 4.5 x433 - 3 x434 - 2.5 x435 - 2 x436 - 1.5 x437 - x438 - .5 x439 + 0 x440 + .5 x441 + x442 + 1.5 x443 + 2 x444 + 2.5 x445 + 3 x446 + 3.5 x447 + 4 x448 + 4.5 x449 - 2 x450 - 1.5 x451 - x452 - .5 x453 + 0 x454 + .5 x455 + x456 + 1.5 x457 + 2 x458 + 2.5 x459 + 3 x460 + 3.5 x461 + 4 x462 + 4.5 x463 + 5 x464 + 5.5 x465 - 2 x466 - 1.5 x467 - x468 - .5 x469 + 0 x470 + .5 x471 + x472 + 1.5 x473 + 2 x474 + 2.5 x475 + 3 x476 + 3.5 x477 + 4 x478 + 4.5 x479 + 5 x480 + 5.5 x481 - 2 x482 - 1.5 x483 - x484 - .5 x485 + 0 x486 + .5 x487 + x488 + 1.5 x489 + 2 x490 + 2.5 x491 + 3 x492 + 3.5 x493 + 4 x494 + 4.5 x495 + 5 x496 + 5.5 x497 - x498 - .5 x499 + 0 x500 + .5 x501 + x502 + 1.5 x503 + 2 x504 + 2.5 x505 + 3 x506 + 3.5 x507 + 4 x508 + 4.5 x509 + 5 x510 + 5.5 x511 + 6 x512 + 6.5 x513 - x514 - .5 x515 + 0 x516 + .5 x517 + x518 + 1.5 x519 + 2 x520 + 2.5 x521 + 3 x522 + 3.5 x523 + 4 x524 + 4.5 x525 + 5 x526 + 5.5 x527 + 6 x528 + 6.5 x529 - x530 - .5 x531 + 0 x532 + .5 x533 + x534 + 1.5 x535 + 2 x536 + 2.5 x537 + 3 x538 + 3.5 x539 + 4 x540 + 4.5 x541 + 5 x542 + 5.5 x543 + 6 x544 + 6.5 x545 + 0 x546 + .5 x547 + x548 + 1.5 x549 + 2 x550 + 2.5 x551 + 3 x552 + 3.5 x553 + 4 x554 + 4.5 x555 + 5 x556 + 5.5 x557 + 6 x558 + 6.5 x559 + 7 x560 + 7.5 x561 + 0 x562 + .5 x563 + x564 + 1.5 x565 + 2 x566 + 2.5 x567 + 3 x568 + 3.5 x569 + 4 x570 + 4.5 x571 + 5 x572 + 5.5 x573 + 6 x574 + 6.5 x575 + 7 x576 + 7.5 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 Subject To e2: x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 <= 16 e3: x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 <= 16 e4: x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 <= 16 e5: x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 <= 16 e6: x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 <= 16 e7: x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 <= 16 e8: x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 <= 16 e9: x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 <= 16 e10: x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 <= 16 e11: x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 <= 16 e12: x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 + x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 + x577 <= 16 e13: x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 + x561 <= 16 e14: x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 <= 16 e15: x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 <= 16 e16: x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 + x577 <= 16 e17: x66 + x82 + x98 + x114 + x130 + x146 + x162 + x178 + x194 + x210 + x226 + x242 + x258 + x274 + x290 + x306 + x322 + x338 + x354 + x370 + x386 + x402 + x418 + x434 + x450 + x466 + x482 + x498 + x514 + x530 + x546 + x562 <= 1 e18: x67 + x83 + x99 + x115 + x131 + x147 + x163 + x179 + x195 + x211 + x227 + x243 + x259 + x275 + x291 + x307 + x323 + x339 + x355 + x371 + x387 + x403 + x419 + x435 + x451 + x467 + x483 + x499 + x515 + x531 + x547 + x563 <= 1 e19: x68 + x84 + x100 + x116 + x132 + x148 + x164 + x180 + x196 + x212 + x228 + x244 + x260 + x276 + x292 + x308 + x324 + x340 + x356 + x372 + x388 + x404 + x420 + x436 + x452 + x468 + x484 + x500 + x516 + x532 + x548 + x564 <= 1 e20: x69 + x85 + x101 + x117 + x133 + x149 + x165 + x181 + x197 + x213 + x229 + x245 + x261 + x277 + x293 + x309 + x325 + x341 + x357 + x373 + x389 + x405 + x421 + x437 + x453 + x469 + x485 + x501 + x517 + x533 + x549 + x565 <= 1 e21: x70 + x86 + x102 + x118 + x134 + x150 + x166 + x182 + x198 + x214 + x230 + x246 + x262 + x278 + x294 + x310 + x326 + x342 + x358 + x374 + x390 + x406 + x422 + x438 + x454 + x470 + x486 + x502 + x518 + x534 + x550 + x566 <= 1 e22: x71 + x87 + x103 + x119 + x135 + x151 + x167 + x183 + x199 + x215 + x231 + x247 + x263 + x279 + x295 + x311 + x327 + x343 + x359 + x375 + x391 + x407 + x423 + x439 + x455 + x471 + x487 + x503 + x519 + x535 + x551 + x567 <= 1 e23: x72 + x88 + x104 + x120 + x136 + x152 + x168 + x184 + x200 + x216 + x232 + x248 + x264 + x280 + x296 + x312 + x328 + x344 + x360 + x376 + x392 + x408 + x424 + x440 + x456 + x472 + x488 + x504 + x520 + x536 + x552 + x568 <= 1 e24: x73 + x89 + x105 + x121 + x137 + x153 + x169 + x185 + x201 + x217 + x233 + x249 + x265 + x281 + x297 + x313 + x329 + x345 + x361 + x377 + x393 + x409 + x425 + x441 + x457 + x473 + x489 + x505 + x521 + x537 + x553 + x569 <= 1 e25: x74 + x90 + x106 + x122 + x138 + x154 + x170 + x186 + x202 + x218 + x234 + x250 + x266 + x282 + x298 + x314 + x330 + x346 + x362 + x378 + x394 + x410 + x426 + x442 + x458 + x474 + x490 + x506 + x522 + x538 + x554 + x570 <= 1 e26: x75 + x91 + x107 + x123 + x139 + x155 + x171 + x187 + x203 + x219 + x235 + x251 + x267 + x283 + x299 + x315 + x331 + x347 + x363 + x379 + x395 + x411 + x427 + x443 + x459 + x475 + x491 + x507 + x523 + x539 + x555 + x571 <= 1 e27: x76 + x92 + x108 + x124 + x140 + x156 + x172 + x188 + x204 + x220 + x236 + x252 + x268 + x284 + x300 + x316 + x332 + x348 + x364 + x380 + x396 + x412 + x428 + x444 + x460 + x476 + x492 + x508 + x524 + x540 + x556 + x572 <= 1 e28: x77 + x93 + x109 + x125 + x141 + x157 + x173 + x189 + x205 + x221 + x237 + x253 + x269 + x285 + x301 + x317 + x333 + x349 + x365 + x381 + x397 + x413 + x429 + x445 + x461 + x477 + x493 + x509 + x525 + x541 + x557 + x573 <= 1 e29: x78 + x94 + x110 + x126 + x142 + x158 + x174 + x190 + x206 + x222 + x238 + x254 + x270 + x286 + x302 + x318 + x334 + x350 + x366 + x382 + x398 + x414 + x430 + x446 + x462 + x478 + x494 + x510 + x526 + x542 + x558 + x574 <= 1 e30: x79 + x95 + x111 + x127 + x143 + x159 + x175 + x191 + x207 + x223 + x239 + x255 + x271 + x287 + x303 + x319 + x335 + x351 + x367 + x383 + x399 + x415 + x431 + x447 + x463 + x479 + x495 + x511 + x527 + x543 + x559 + x575 <= 1 e31: x80 + x96 + x112 + x128 + x144 + x160 + x176 + x192 + x208 + x224 + x240 + x256 + x272 + x288 + x304 + x320 + x336 + x352 + x368 + x384 + x400 + x416 + x432 + x448 + x464 + x480 + x496 + x512 + x528 + x544 + x560 + x576 <= 1 e32: x81 + x97 + x113 + x129 + x145 + x161 + x177 + x193 + x209 + x225 + x241 + x257 + x273 + x289 + x305 + x321 + x337 + x353 + x369 + x385 + x401 + x417 + x433 + x449 + x465 + x481 + x497 + x513 + x529 + x545 + x561 + x577 <= 1 e33: .95 x66 + .95 x82 + .85 x98 + .85 x114 + .85 x130 + .75 x146 + .75 x162 + .75 x178 + .65 x194 + .65 x210 + .65 x226 + .65 x242 + .55 x258 + .55 x274 + .55 x290 + .45 x306 + .45 x322 + .35 x338 + .35 x354 + .35 x370 + .25 x386 + .25 x402 + .25 x418 + .25 x434 + .15 x450 + .15 x466 + .15 x482 + 5e-2 x498 + 5e-2 x514 + 5e-2 x530 - 5e-2 x546 - 5e-2 x562 <= 0 e34: .9 x67 + .9 x83 + .8 x99 + .8 x115 + .8 x131 + .7 x147 + .7 x163 + .7 x179 + .6 x195 + .6 x211 + .6 x227 + .6 x243 + .5 x259 + .5 x275 + .5 x291 + .4 x307 + .4 x323 + .3 x339 + .3 x355 + .3 x371 + .2 x387 + .2 x403 + .2 x419 + .2 x435 + 9.99999999999999e-2 x451 + 9.99999999999999e-2 x467 + 9.99999999999999e-2 x483 - .1 x547 - .1 x563 <= 0 e35: .85 x68 + .85 x84 + .75 x100 + .75 x116 + .75 x132 + .65 x148 + .65 x164 + .65 x180 + .55 x196 + .55 x212 + .55 x228 + .55 x244 + .45 x260 + .45 x276 + .45 x292 + .35 x308 + .35 x324 + .25 x340 + .25 x356 + .25 x372 + .15 x388 + .15 x404 + .15 x420 + .15 x436 + 5e-2 x452 + 5e-2 x468 + 5e-2 x484 - 4.99999999999998e-2 x500 - 4.99999999999998e-2 x516 - 4.99999999999998e-2 x532 - .15 x548 - .15 x564 <= 0 e36: .8 x69 + .8 x85 + .7 x101 + .7 x117 + .7 x133 + .6 x149 + .6 x165 + .6 x181 + .5 x197 + .5 x213 + .5 x229 + .5 x245 + .4 x261 + .4 x277 + .4 x293 + .3 x309 + .3 x325 + .2 x341 + .2 x357 + .2 x373 + .1 x389 + .1 x405 + .1 x421 + .1 x437 - 9.99999999999999e-2 x501 - 9.99999999999999e-2 x517 - 9.99999999999999e-2 x533 - .2 x549 - .2 x565 <= 0 e37: .75 x70 + .75 x86 + .65 x102 + .65 x118 + .65 x134 + .55 x150 + .55 x166 + .55 x182 + .45 x198 + .45 x214 + .45 x230 + .45 x246 + .35 x262 + .35 x278 + .35 x294 + .25 x310 + .25 x326 + .15 x342 + .15 x358 + .15 x374 + 5e-2 x390 + 5e-2 x406 + 5e-2 x422 + 5e-2 x438 - 5e-2 x454 - 5e-2 x470 - 5e-2 x486 - .15 x502 - .15 x518 - .15 x534 - .25 x550 - .25 x566 <= 0 e38: .7 x71 + .7 x87 + .6 x103 + .6 x119 + .6 x135 + .5 x151 + .5 x167 + .5 x183 + .4 x199 + .4 x215 + .4 x231 + .4 x247 + .3 x263 + .3 x279 + .3 x295 + .2 x311 + .2 x327 + 9.99999999999999e-2 x343 + 9.99999999999999e-2 x359 + 9.99999999999999e-2 x375 - .1 x455 - .1 x471 - .1 x487 - .2 x503 - .2 x519 - .2 x535 - .3 x551 - .3 x567 <= 0 e39: .65 x72 + .65 x88 + .55 x104 + .55 x120 + .55 x136 + .45 x152 + .45 x168 + .45 x184 + .35 x200 + .35 x216 + .35 x232 + .35 x248 + .25 x264 + .25 x280 + .25 x296 + .15 x312 + .15 x328 + 4.99999999999998e-2 x344 + 4.99999999999998e-2 x360 + 4.99999999999998e-2 x376 - 5e-2 x392 - 5e-2 x408 - 5e-2 x424 - 5e-2 x440 - .15 x456 - .15 x472 - .15 x488 - .25 x504 - .25 x520 - .25 x536 - .35 x552 - .35 x568 <= 0 e40: .6 x73 + .6 x89 + .5 x105 + .5 x121 + .5 x137 + .4 x153 + .4 x169 + .4 x185 + .3 x201 + .3 x217 + .3 x233 + .3 x249 + .2 x265 + .2 x281 + .2 x297 + .1 x313 + .1 x329 - 9.99999999999999e-2 x393 - 9.99999999999999e-2 x409 - 9.99999999999999e-2 x425 - 9.99999999999999e-2 x441 - .2 x457 - .2 x473 - .2 x489 - .3 x505 - .3 x521 - .3 x537 - .4 x553 - .4 x569 <= 0 e41: .55 x74 + .55 x90 + .45 x106 + .45 x122 + .45 x138 + .35 x154 + .35 x170 + .35 x186 + .25 x202 + .25 x218 + .25 x234 + .25 x250 + .15 x266 + .15 x282 + .15 x298 + 5e-2 x314 + 5e-2 x330 - 5e-2 x346 - 5e-2 x362 - 5e-2 x378 - .15 x394 - .15 x410 - .15 x426 - .15 x442 - .25 x458 - .25 x474 - .25 x490 - .35 x506 - .35 x522 - .35 x538 - .45 x554 - .45 x570 <= 0 e42: .5 x75 + .5 x91 + .4 x107 + .4 x123 + .4 x139 + .3 x155 + .3 x171 + .3 x187 + .2 x203 + .2 x219 + .2 x235 + .2 x251 + .1 x267 + .1 x283 + .1 x299 - .1 x347 - .1 x363 - .1 x379 - .2 x395 - .2 x411 - .2 x427 - .2 x443 - .3 x459 - .3 x475 - .3 x491 - .4 x507 - .4 x523 - .4 x539 - .5 x555 - .5 x571 <= 0 e43: .45 x76 + .45 x92 + .35 x108 + .35 x124 + .35 x140 + .25 x156 + .25 x172 + .25 x188 + .15 x204 + .15 x220 + .15 x236 + .15 x252 + 5e-2 x268 + 5e-2 x284 + 5e-2 x300 - 5e-2 x316 - 5e-2 x332 - .15 x348 - .15 x364 - .15 x380 - .25 x396 - .25 x412 - .25 x428 - .25 x444 - .35 x460 - .35 x476 - .35 x492 - .45 x508 - .45 x524 - .45 x540 - .55 x556 - .55 x572 <= 0 e44: .4 x77 + .4 x93 + .3 x109 + .3 x125 + .3 x141 + .2 x157 + .2 x173 + .2 x189 + 9.99999999999999e-2 x205 + 9.99999999999999e-2 x221 + 9.99999999999999e-2 x237 + 9.99999999999999e-2 x253 - .1 x317 - .1 x333 - .2 x349 - .2 x365 - .2 x381 - .3 x397 - .3 x413 - .3 x429 - .3 x445 - .4 x461 - .4 x477 - .4 x493 - .5 x509 - .5 x525 - .5 x541 - .6 x557 - .6 x573 <= 0 e45: .35 x78 + .35 x94 + .25 x110 + .25 x126 + .25 x142 + .15 x158 + .15 x174 + .15 x190 + 5e-2 x206 + 5e-2 x222 + 5e-2 x238 + 5e-2 x254 - 4.99999999999998e-2 x270 - 4.99999999999998e-2 x286 - 4.99999999999998e-2 x302 - .15 x318 - .15 x334 - .25 x350 - .25 x366 - .25 x382 - .35 x398 - .35 x414 - .35 x430 - .35 x446 - .45 x462 - .45 x478 - .45 x494 - .55 x510 - .55 x526 - .55 x542 - .65 x558 - .65 x574 <= 0 e46: .3 x79 + .3 x95 + .2 x111 + .2 x127 + .2 x143 + .1 x159 + .1 x175 + .1 x191 - 9.99999999999999e-2 x271 - 9.99999999999999e-2 x287 - 9.99999999999999e-2 x303 - .2 x319 - .2 x335 - .3 x351 - .3 x367 - .3 x383 - .4 x399 - .4 x415 - .4 x431 - .4 x447 - .5 x463 - .5 x479 - .5 x495 - .6 x511 - .6 x527 - .6 x543 - .7 x559 - .7 x575 <= 0 e47: .25 x80 + .25 x96 + .15 x112 + .15 x128 + .15 x144 + 5e-2 x160 + 5e-2 x176 + 5e-2 x192 - 5e-2 x208 - 5e-2 x224 - 5e-2 x240 - 5e-2 x256 - .15 x272 - .15 x288 - .15 x304 - .25 x320 - .25 x336 - .35 x352 - .35 x368 - .35 x384 - .45 x400 - .45 x416 - .45 x432 - .45 x448 - .55 x464 - .55 x480 - .55 x496 - .65 x512 - .65 x528 - .65 x544 - .75 x560 - .75 x576 <= 0 e48: .2 x81 + .2 x97 + 9.99999999999999e-2 x113 + 9.99999999999999e-2 x129 + 9.99999999999999e-2 x145 - .1 x209 - .1 x225 - .1 x241 - .1 x257 - .2 x273 - .2 x289 - .2 x305 - .3 x321 - .3 x337 - .4 x353 - .4 x369 - .4 x385 - .5 x401 - .5 x417 - .5 x433 - .5 x449 - .6 x465 - .6 x481 - .6 x497 - .7 x513 - .7 x529 - .7 x545 - .8 x561 - .8 x577 <= 0 e49: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 = 1 e50: x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 = 1 e51: x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 = 1 e52: x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 = 1 e53: x66 + [ - x2 * x578 ] = 0 e54: x67 + [ - x3 * x578 ] = 0 e55: x68 + [ - x4 * x578 ] = 0 e56: x69 + [ - x5 * x578 ] = 0 e57: x70 + [ - x6 * x578 ] = 0 e58: x71 + [ - x7 * x578 ] = 0 e59: x72 + [ - x8 * x578 ] = 0 e60: x73 + [ - x9 * x578 ] = 0 e61: x74 + [ - x10 * x578 ] = 0 e62: x75 + [ - x11 * x578 ] = 0 e63: x76 + [ - x12 * x578 ] = 0 e64: x77 + [ - x13 * x578 ] = 0 e65: x78 + [ - x14 * x578 ] = 0 e66: x79 + [ - x15 * x578 ] = 0 e67: x80 + [ - x16 * x578 ] = 0 e68: x81 + [ - x17 * x578 ] = 0 e69: x82 + [ - x34 * x579 ] = 0 e70: x83 + [ - x35 * x579 ] = 0 e71: x84 + [ - x36 * x579 ] = 0 e72: x85 + [ - x37 * x579 ] = 0 e73: x86 + [ - x38 * x579 ] = 0 e74: x87 + [ - x39 * x579 ] = 0 e75: x88 + [ - x40 * x579 ] = 0 e76: x89 + [ - x41 * x579 ] = 0 e77: x90 + [ - x42 * x579 ] = 0 e78: x91 + [ - x43 * x579 ] = 0 e79: x92 + [ - x44 * x579 ] = 0 e80: x93 + [ - x45 * x579 ] = 0 e81: x94 + [ - x46 * x579 ] = 0 e82: x95 + [ - x47 * x579 ] = 0 e83: x96 + [ - x48 * x579 ] = 0 e84: x97 + [ - x49 * x579 ] = 0 e85: x98 + [ - x2 * x580 ] = 0 e86: x99 + [ - x3 * x580 ] = 0 e87: x100 + [ - x4 * x580 ] = 0 e88: x101 + [ - x5 * x580 ] = 0 e89: x102 + [ - x6 * x580 ] = 0 e90: x103 + [ - x7 * x580 ] = 0 e91: x104 + [ - x8 * x580 ] = 0 e92: x105 + [ - x9 * x580 ] = 0 e93: x106 + [ - x10 * x580 ] = 0 e94: x107 + [ - x11 * x580 ] = 0 e95: x108 + [ - x12 * x580 ] = 0 e96: x109 + [ - x13 * x580 ] = 0 e97: x110 + [ - x14 * x580 ] = 0 e98: x111 + [ - x15 * x580 ] = 0 e99: x112 + [ - x16 * x580 ] = 0 e100: x113 + [ - x17 * x580 ] = 0 e101: x114 + [ - x18 * x581 ] = 0 e102: x115 + [ - x19 * x581 ] = 0 e103: x116 + [ - x20 * x581 ] = 0 e104: x117 + [ - x21 * x581 ] = 0 e105: x118 + [ - x22 * x581 ] = 0 e106: x119 + [ - x23 * x581 ] = 0 e107: x120 + [ - x24 * x581 ] = 0 e108: x121 + [ - x25 * x581 ] = 0 e109: x122 + [ - x26 * x581 ] = 0 e110: x123 + [ - x27 * x581 ] = 0 e111: x124 + [ - x28 * x581 ] = 0 e112: x125 + [ - x29 * x581 ] = 0 e113: x126 + [ - x30 * x581 ] = 0 e114: x127 + [ - x31 * x581 ] = 0 e115: x128 + [ - x32 * x581 ] = 0 e116: x129 + [ - x33 * x581 ] = 0 e117: x130 + [ - x34 * x582 ] = 0 e118: x131 + [ - x35 * x582 ] = 0 e119: x132 + [ - x36 * x582 ] = 0 e120: x133 + [ - x37 * x582 ] = 0 e121: x134 + [ - x38 * x582 ] = 0 e122: x135 + [ - x39 * x582 ] = 0 e123: x136 + [ - x40 * x582 ] = 0 e124: x137 + [ - x41 * x582 ] = 0 e125: x138 + [ - x42 * x582 ] = 0 e126: x139 + [ - x43 * x582 ] = 0 e127: x140 + [ - x44 * x582 ] = 0 e128: x141 + [ - x45 * x582 ] = 0 e129: x142 + [ - x46 * x582 ] = 0 e130: x143 + [ - x47 * x582 ] = 0 e131: x144 + [ - x48 * x582 ] = 0 e132: x145 + [ - x49 * x582 ] = 0 e133: x146 + [ - x2 * x583 ] = 0 e134: x147 + [ - x3 * x583 ] = 0 e135: x148 + [ - x4 * x583 ] = 0 e136: x149 + [ - x5 * x583 ] = 0 e137: x150 + [ - x6 * x583 ] = 0 e138: x151 + [ - x7 * x583 ] = 0 e139: x152 + [ - x8 * x583 ] = 0 e140: x153 + [ - x9 * x583 ] = 0 e141: x154 + [ - x10 * x583 ] = 0 e142: x155 + [ - x11 * x583 ] = 0 e143: x156 + [ - x12 * x583 ] = 0 e144: x157 + [ - x13 * x583 ] = 0 e145: x158 + [ - x14 * x583 ] = 0 e146: x159 + [ - x15 * x583 ] = 0 e147: x160 + [ - x16 * x583 ] = 0 e148: x161 + [ - x17 * x583 ] = 0 e149: x162 + [ - x18 * x584 ] = 0 e150: x163 + [ - x19 * x584 ] = 0 e151: x164 + [ - x20 * x584 ] = 0 e152: x165 + [ - x21 * x584 ] = 0 e153: x166 + [ - x22 * x584 ] = 0 e154: x167 + [ - x23 * x584 ] = 0 e155: x168 + [ - x24 * x584 ] = 0 e156: x169 + [ - x25 * x584 ] = 0 e157: x170 + [ - x26 * x584 ] = 0 e158: x171 + [ - x27 * x584 ] = 0 e159: x172 + [ - x28 * x584 ] = 0 e160: x173 + [ - x29 * x584 ] = 0 e161: x174 + [ - x30 * x584 ] = 0 e162: x175 + [ - x31 * x584 ] = 0 e163: x176 + [ - x32 * x584 ] = 0 e164: x177 + [ - x33 * x584 ] = 0 e165: x178 + [ - x34 * x585 ] = 0 e166: x179 + [ - x35 * x585 ] = 0 e167: x180 + [ - x36 * x585 ] = 0 e168: x181 + [ - x37 * x585 ] = 0 e169: x182 + [ - x38 * x585 ] = 0 e170: x183 + [ - x39 * x585 ] = 0 e171: x184 + [ - x40 * x585 ] = 0 e172: x185 + [ - x41 * x585 ] = 0 e173: x186 + [ - x42 * x585 ] = 0 e174: x187 + [ - x43 * x585 ] = 0 e175: x188 + [ - x44 * x585 ] = 0 e176: x189 + [ - x45 * x585 ] = 0 e177: x190 + [ - x46 * x585 ] = 0 e178: x191 + [ - x47 * x585 ] = 0 e179: x192 + [ - x48 * x585 ] = 0 e180: x193 + [ - x49 * x585 ] = 0 e181: x194 + [ - x2 * x586 ] = 0 e182: x195 + [ - x3 * x586 ] = 0 e183: x196 + [ - x4 * x586 ] = 0 e184: x197 + [ - x5 * x586 ] = 0 e185: x198 + [ - x6 * x586 ] = 0 e186: x199 + [ - x7 * x586 ] = 0 e187: x200 + [ - x8 * x586 ] = 0 e188: x201 + [ - x9 * x586 ] = 0 e189: x202 + [ - x10 * x586 ] = 0 e190: x203 + [ - x11 * x586 ] = 0 e191: x204 + [ - x12 * x586 ] = 0 e192: x205 + [ - x13 * x586 ] = 0 e193: x206 + [ - x14 * x586 ] = 0 e194: x207 + [ - x15 * x586 ] = 0 e195: x208 + [ - x16 * x586 ] = 0 e196: x209 + [ - x17 * x586 ] = 0 e197: x210 + [ - x18 * x587 ] = 0 e198: x211 + [ - x19 * x587 ] = 0 e199: x212 + [ - x20 * x587 ] = 0 e200: x213 + [ - x21 * x587 ] = 0 e201: x214 + [ - x22 * x587 ] = 0 e202: x215 + [ - x23 * x587 ] = 0 e203: x216 + [ - x24 * x587 ] = 0 e204: x217 + [ - x25 * x587 ] = 0 e205: x218 + [ - x26 * x587 ] = 0 e206: x219 + [ - x27 * x587 ] = 0 e207: x220 + [ - x28 * x587 ] = 0 e208: x221 + [ - x29 * x587 ] = 0 e209: x222 + [ - x30 * x587 ] = 0 e210: x223 + [ - x31 * x587 ] = 0 e211: x224 + [ - x32 * x587 ] = 0 e212: x225 + [ - x33 * x587 ] = 0 e213: x226 + [ - x34 * x588 ] = 0 e214: x227 + [ - x35 * x588 ] = 0 e215: x228 + [ - x36 * x588 ] = 0 e216: x229 + [ - x37 * x588 ] = 0 e217: x230 + [ - x38 * x588 ] = 0 e218: x231 + [ - x39 * x588 ] = 0 e219: x232 + [ - x40 * x588 ] = 0 e220: x233 + [ - x41 * x588 ] = 0 e221: x234 + [ - x42 * x588 ] = 0 e222: x235 + [ - x43 * x588 ] = 0 e223: x236 + [ - x44 * x588 ] = 0 e224: x237 + [ - x45 * x588 ] = 0 e225: x238 + [ - x46 * x588 ] = 0 e226: x239 + [ - x47 * x588 ] = 0 e227: x240 + [ - x48 * x588 ] = 0 e228: x241 + [ - x49 * x588 ] = 0 e229: x242 + [ - x50 * x589 ] = 0 e230: x243 + [ - x51 * x589 ] = 0 e231: x244 + [ - x52 * x589 ] = 0 e232: x245 + [ - x53 * x589 ] = 0 e233: x246 + [ - x54 * x589 ] = 0 e234: x247 + [ - x55 * x589 ] = 0 e235: x248 + [ - x56 * x589 ] = 0 e236: x249 + [ - x57 * x589 ] = 0 e237: x250 + [ - x58 * x589 ] = 0 e238: x251 + [ - x59 * x589 ] = 0 e239: x252 + [ - x60 * x589 ] = 0 e240: x253 + [ - x61 * x589 ] = 0 e241: x254 + [ - x62 * x589 ] = 0 e242: x255 + [ - x63 * x589 ] = 0 e243: x256 + [ - x64 * x589 ] = 0 e244: x257 + [ - x65 * x589 ] = 0 e245: x258 + [ - x18 * x590 ] = 0 e246: x259 + [ - x19 * x590 ] = 0 e247: x260 + [ - x20 * x590 ] = 0 e248: x261 + [ - x21 * x590 ] = 0 e249: x262 + [ - x22 * x590 ] = 0 e250: x263 + [ - x23 * x590 ] = 0 e251: x264 + [ - x24 * x590 ] = 0 e252: x265 + [ - x25 * x590 ] = 0 e253: x266 + [ - x26 * x590 ] = 0 e254: x267 + [ - x27 * x590 ] = 0 e255: x268 + [ - x28 * x590 ] = 0 e256: x269 + [ - x29 * x590 ] = 0 e257: x270 + [ - x30 * x590 ] = 0 e258: x271 + [ - x31 * x590 ] = 0 e259: x272 + [ - x32 * x590 ] = 0 e260: x273 + [ - x33 * x590 ] = 0 e261: x274 + [ - x34 * x591 ] = 0 e262: x275 + [ - x35 * x591 ] = 0 e263: x276 + [ - x36 * x591 ] = 0 e264: x277 + [ - x37 * x591 ] = 0 e265: x278 + [ - x38 * x591 ] = 0 e266: x279 + [ - x39 * x591 ] = 0 e267: x280 + [ - x40 * x591 ] = 0 e268: x281 + [ - x41 * x591 ] = 0 e269: x282 + [ - x42 * x591 ] = 0 e270: x283 + [ - x43 * x591 ] = 0 e271: x284 + [ - x44 * x591 ] = 0 e272: x285 + [ - x45 * x591 ] = 0 e273: x286 + [ - x46 * x591 ] = 0 e274: x287 + [ - x47 * x591 ] = 0 e275: x288 + [ - x48 * x591 ] = 0 e276: x289 + [ - x49 * x591 ] = 0 e277: x290 + [ - x50 * x592 ] = 0 e278: x291 + [ - x51 * x592 ] = 0 e279: x292 + [ - x52 * x592 ] = 0 e280: x293 + [ - x53 * x592 ] = 0 e281: x294 + [ - x54 * x592 ] = 0 e282: x295 + [ - x55 * x592 ] = 0 e283: x296 + [ - x56 * x592 ] = 0 e284: x297 + [ - x57 * x592 ] = 0 e285: x298 + [ - x58 * x592 ] = 0 e286: x299 + [ - x59 * x592 ] = 0 e287: x300 + [ - x60 * x592 ] = 0 e288: x301 + [ - x61 * x592 ] = 0 e289: x302 + [ - x62 * x592 ] = 0 e290: x303 + [ - x63 * x592 ] = 0 e291: x304 + [ - x64 * x592 ] = 0 e292: x305 + [ - x65 * x592 ] = 0 e293: x306 + [ - x34 * x593 ] = 0 e294: x307 + [ - x35 * x593 ] = 0 e295: x308 + [ - x36 * x593 ] = 0 e296: x309 + [ - x37 * x593 ] = 0 e297: x310 + [ - x38 * x593 ] = 0 e298: x311 + [ - x39 * x593 ] = 0 e299: x312 + [ - x40 * x593 ] = 0 e300: x313 + [ - x41 * x593 ] = 0 e301: x314 + [ - x42 * x593 ] = 0 e302: x315 + [ - x43 * x593 ] = 0 e303: x316 + [ - x44 * x593 ] = 0 e304: x317 + [ - x45 * x593 ] = 0 e305: x318 + [ - x46 * x593 ] = 0 e306: x319 + [ - x47 * x593 ] = 0 e307: x320 + [ - x48 * x593 ] = 0 e308: x321 + [ - x49 * x593 ] = 0 e309: x322 + [ - x50 * x594 ] = 0 e310: x323 + [ - x51 * x594 ] = 0 e311: x324 + [ - x52 * x594 ] = 0 e312: x325 + [ - x53 * x594 ] = 0 e313: x326 + [ - x54 * x594 ] = 0 e314: x327 + [ - x55 * x594 ] = 0 e315: x328 + [ - x56 * x594 ] = 0 e316: x329 + [ - x57 * x594 ] = 0 e317: x330 + [ - x58 * x594 ] = 0 e318: x331 + [ - x59 * x594 ] = 0 e319: x332 + [ - x60 * x594 ] = 0 e320: x333 + [ - x61 * x594 ] = 0 e321: x334 + [ - x62 * x594 ] = 0 e322: x335 + [ - x63 * x594 ] = 0 e323: x336 + [ - x64 * x594 ] = 0 e324: x337 + [ - x65 * x594 ] = 0 e325: x338 + [ - x18 * x595 ] = 0 e326: x339 + [ - x19 * x595 ] = 0 e327: x340 + [ - x20 * x595 ] = 0 e328: x341 + [ - x21 * x595 ] = 0 e329: x342 + [ - x22 * x595 ] = 0 e330: x343 + [ - x23 * x595 ] = 0 e331: x344 + [ - x24 * x595 ] = 0 e332: x345 + [ - x25 * x595 ] = 0 e333: x346 + [ - x26 * x595 ] = 0 e334: x347 + [ - x27 * x595 ] = 0 e335: x348 + [ - x28 * x595 ] = 0 e336: x349 + [ - x29 * x595 ] = 0 e337: x350 + [ - x30 * x595 ] = 0 e338: x351 + [ - x31 * x595 ] = 0 e339: x352 + [ - x32 * x595 ] = 0 e340: x353 + [ - x33 * x595 ] = 0 e341: x354 + [ - x34 * x596 ] = 0 e342: x355 + [ - x35 * x596 ] = 0 e343: x356 + [ - x36 * x596 ] = 0 e344: x357 + [ - x37 * x596 ] = 0 e345: x358 + [ - x38 * x596 ] = 0 e346: x359 + [ - x39 * x596 ] = 0 e347: x360 + [ - x40 * x596 ] = 0 e348: x361 + [ - x41 * x596 ] = 0 e349: x362 + [ - x42 * x596 ] = 0 e350: x363 + [ - x43 * x596 ] = 0 e351: x364 + [ - x44 * x596 ] = 0 e352: x365 + [ - x45 * x596 ] = 0 e353: x366 + [ - x46 * x596 ] = 0 e354: x367 + [ - x47 * x596 ] = 0 e355: x368 + [ - x48 * x596 ] = 0 e356: x369 + [ - x49 * x596 ] = 0 e357: x370 + [ - x50 * x597 ] = 0 e358: x371 + [ - x51 * x597 ] = 0 e359: x372 + [ - x52 * x597 ] = 0 e360: x373 + [ - x53 * x597 ] = 0 e361: x374 + [ - x54 * x597 ] = 0 e362: x375 + [ - x55 * x597 ] = 0 e363: x376 + [ - x56 * x597 ] = 0 e364: x377 + [ - x57 * x597 ] = 0 e365: x378 + [ - x58 * x597 ] = 0 e366: x379 + [ - x59 * x597 ] = 0 e367: x380 + [ - x60 * x597 ] = 0 e368: x381 + [ - x61 * x597 ] = 0 e369: x382 + [ - x62 * x597 ] = 0 e370: x383 + [ - x63 * x597 ] = 0 e371: x384 + [ - x64 * x597 ] = 0 e372: x385 + [ - x65 * x597 ] = 0 e373: x386 + [ - x2 * x598 ] = 0 e374: x387 + [ - x3 * x598 ] = 0 e375: x388 + [ - x4 * x598 ] = 0 e376: x389 + [ - x5 * x598 ] = 0 e377: x390 + [ - x6 * x598 ] = 0 e378: x391 + [ - x7 * x598 ] = 0 e379: x392 + [ - x8 * x598 ] = 0 e380: x393 + [ - x9 * x598 ] = 0 e381: x394 + [ - x10 * x598 ] = 0 e382: x395 + [ - x11 * x598 ] = 0 e383: x396 + [ - x12 * x598 ] = 0 e384: x397 + [ - x13 * x598 ] = 0 e385: x398 + [ - x14 * x598 ] = 0 e386: x399 + [ - x15 * x598 ] = 0 e387: x400 + [ - x16 * x598 ] = 0 e388: x401 + [ - x17 * x598 ] = 0 e389: x402 + [ - x18 * x599 ] = 0 e390: x403 + [ - x19 * x599 ] = 0 e391: x404 + [ - x20 * x599 ] = 0 e392: x405 + [ - x21 * x599 ] = 0 e393: x406 + [ - x22 * x599 ] = 0 e394: x407 + [ - x23 * x599 ] = 0 e395: x408 + [ - x24 * x599 ] = 0 e396: x409 + [ - x25 * x599 ] = 0 e397: x410 + [ - x26 * x599 ] = 0 e398: x411 + [ - x27 * x599 ] = 0 e399: x412 + [ - x28 * x599 ] = 0 e400: x413 + [ - x29 * x599 ] = 0 e401: x414 + [ - x30 * x599 ] = 0 e402: x415 + [ - x31 * x599 ] = 0 e403: x416 + [ - x32 * x599 ] = 0 e404: x417 + [ - x33 * x599 ] = 0 e405: x418 + [ - x34 * x600 ] = 0 e406: x419 + [ - x35 * x600 ] = 0 e407: x420 + [ - x36 * x600 ] = 0 e408: x421 + [ - x37 * x600 ] = 0 e409: x422 + [ - x38 * x600 ] = 0 e410: x423 + [ - x39 * x600 ] = 0 e411: x424 + [ - x40 * x600 ] = 0 e412: x425 + [ - x41 * x600 ] = 0 e413: x426 + [ - x42 * x600 ] = 0 e414: x427 + [ - x43 * x600 ] = 0 e415: x428 + [ - x44 * x600 ] = 0 e416: x429 + [ - x45 * x600 ] = 0 e417: x430 + [ - x46 * x600 ] = 0 e418: x431 + [ - x47 * x600 ] = 0 e419: x432 + [ - x48 * x600 ] = 0 e420: x433 + [ - x49 * x600 ] = 0 e421: x434 + [ - x50 * x601 ] = 0 e422: x435 + [ - x51 * x601 ] = 0 e423: x436 + [ - x52 * x601 ] = 0 e424: x437 + [ - x53 * x601 ] = 0 e425: x438 + [ - x54 * x601 ] = 0 e426: x439 + [ - x55 * x601 ] = 0 e427: x440 + [ - x56 * x601 ] = 0 e428: x441 + [ - x57 * x601 ] = 0 e429: x442 + [ - x58 * x601 ] = 0 e430: x443 + [ - x59 * x601 ] = 0 e431: x444 + [ - x60 * x601 ] = 0 e432: x445 + [ - x61 * x601 ] = 0 e433: x446 + [ - x62 * x601 ] = 0 e434: x447 + [ - x63 * x601 ] = 0 e435: x448 + [ - x64 * x601 ] = 0 e436: x449 + [ - x65 * x601 ] = 0 e437: x450 + [ - x2 * x602 ] = 0 e438: x451 + [ - x3 * x602 ] = 0 e439: x452 + [ - x4 * x602 ] = 0 e440: x453 + [ - x5 * x602 ] = 0 e441: x454 + [ - x6 * x602 ] = 0 e442: x455 + [ - x7 * x602 ] = 0 e443: x456 + [ - x8 * x602 ] = 0 e444: x457 + [ - x9 * x602 ] = 0 e445: x458 + [ - x10 * x602 ] = 0 e446: x459 + [ - x11 * x602 ] = 0 e447: x460 + [ - x12 * x602 ] = 0 e448: x461 + [ - x13 * x602 ] = 0 e449: x462 + [ - x14 * x602 ] = 0 e450: x463 + [ - x15 * x602 ] = 0 e451: x464 + [ - x16 * x602 ] = 0 e452: x465 + [ - x17 * x602 ] = 0 e453: x466 + [ - x18 * x603 ] = 0 e454: x467 + [ - x19 * x603 ] = 0 e455: x468 + [ - x20 * x603 ] = 0 e456: x469 + [ - x21 * x603 ] = 0 e457: x470 + [ - x22 * x603 ] = 0 e458: x471 + [ - x23 * x603 ] = 0 e459: x472 + [ - x24 * x603 ] = 0 e460: x473 + [ - x25 * x603 ] = 0 e461: x474 + [ - x26 * x603 ] = 0 e462: x475 + [ - x27 * x603 ] = 0 e463: x476 + [ - x28 * x603 ] = 0 e464: x477 + [ - x29 * x603 ] = 0 e465: x478 + [ - x30 * x603 ] = 0 e466: x479 + [ - x31 * x603 ] = 0 e467: x480 + [ - x32 * x603 ] = 0 e468: x481 + [ - x33 * x603 ] = 0 e469: x482 + [ - x50 * x604 ] = 0 e470: x483 + [ - x51 * x604 ] = 0 e471: x484 + [ - x52 * x604 ] = 0 e472: x485 + [ - x53 * x604 ] = 0 e473: x486 + [ - x54 * x604 ] = 0 e474: x487 + [ - x55 * x604 ] = 0 e475: x488 + [ - x56 * x604 ] = 0 e476: x489 + [ - x57 * x604 ] = 0 e477: x490 + [ - x58 * x604 ] = 0 e478: x491 + [ - x59 * x604 ] = 0 e479: x492 + [ - x60 * x604 ] = 0 e480: x493 + [ - x61 * x604 ] = 0 e481: x494 + [ - x62 * x604 ] = 0 e482: x495 + [ - x63 * x604 ] = 0 e483: x496 + [ - x64 * x604 ] = 0 e484: x497 + [ - x65 * x604 ] = 0 e485: x498 + [ - x2 * x605 ] = 0 e486: x499 + [ - x3 * x605 ] = 0 e487: x500 + [ - x4 * x605 ] = 0 e488: x501 + [ - x5 * x605 ] = 0 e489: x502 + [ - x6 * x605 ] = 0 e490: x503 + [ - x7 * x605 ] = 0 e491: x504 + [ - x8 * x605 ] = 0 e492: x505 + [ - x9 * x605 ] = 0 e493: x506 + [ - x10 * x605 ] = 0 e494: x507 + [ - x11 * x605 ] = 0 e495: x508 + [ - x12 * x605 ] = 0 e496: x509 + [ - x13 * x605 ] = 0 e497: x510 + [ - x14 * x605 ] = 0 e498: x511 + [ - x15 * x605 ] = 0 e499: x512 + [ - x16 * x605 ] = 0 e500: x513 + [ - x17 * x605 ] = 0 e501: x514 + [ - x18 * x606 ] = 0 e502: x515 + [ - x19 * x606 ] = 0 e503: x516 + [ - x20 * x606 ] = 0 e504: x517 + [ - x21 * x606 ] = 0 e505: x518 + [ - x22 * x606 ] = 0 e506: x519 + [ - x23 * x606 ] = 0 e507: x520 + [ - x24 * x606 ] = 0 e508: x521 + [ - x25 * x606 ] = 0 e509: x522 + [ - x26 * x606 ] = 0 e510: x523 + [ - x27 * x606 ] = 0 e511: x524 + [ - x28 * x606 ] = 0 e512: x525 + [ - x29 * x606 ] = 0 e513: x526 + [ - x30 * x606 ] = 0 e514: x527 + [ - x31 * x606 ] = 0 e515: x528 + [ - x32 * x606 ] = 0 e516: x529 + [ - x33 * x606 ] = 0 e517: x530 + [ - x50 * x607 ] = 0 e518: x531 + [ - x51 * x607 ] = 0 e519: x532 + [ - x52 * x607 ] = 0 e520: x533 + [ - x53 * x607 ] = 0 e521: x534 + [ - x54 * x607 ] = 0 e522: x535 + [ - x55 * x607 ] = 0 e523: x536 + [ - x56 * x607 ] = 0 e524: x537 + [ - x57 * x607 ] = 0 e525: x538 + [ - x58 * x607 ] = 0 e526: x539 + [ - x59 * x607 ] = 0 e527: x540 + [ - x60 * x607 ] = 0 e528: x541 + [ - x61 * x607 ] = 0 e529: x542 + [ - x62 * x607 ] = 0 e530: x543 + [ - x63 * x607 ] = 0 e531: x544 + [ - x64 * x607 ] = 0 e532: x545 + [ - x65 * x607 ] = 0 e533: x546 + [ - x2 * x608 ] = 0 e534: x547 + [ - x3 * x608 ] = 0 e535: x548 + [ - x4 * x608 ] = 0 e536: x549 + [ - x5 * x608 ] = 0 e537: x550 + [ - x6 * x608 ] = 0 e538: x551 + [ - x7 * x608 ] = 0 e539: x552 + [ - x8 * x608 ] = 0 e540: x553 + [ - x9 * x608 ] = 0 e541: x554 + [ - x10 * x608 ] = 0 e542: x555 + [ - x11 * x608 ] = 0 e543: x556 + [ - x12 * x608 ] = 0 e544: x557 + [ - x13 * x608 ] = 0 e545: x558 + [ - x14 * x608 ] = 0 e546: x559 + [ - x15 * x608 ] = 0 e547: x560 + [ - x16 * x608 ] = 0 e548: x561 + [ - x17 * x608 ] = 0 e549: x562 + [ - x50 * x609 ] = 0 e550: x563 + [ - x51 * x609 ] = 0 e551: x564 + [ - x52 * x609 ] = 0 e552: x565 + [ - x53 * x609 ] = 0 e553: x566 + [ - x54 * x609 ] = 0 e554: x567 + [ - x55 * x609 ] = 0 e555: x568 + [ - x56 * x609 ] = 0 e556: x569 + [ - x57 * x609 ] = 0 e557: x570 + [ - x58 * x609 ] = 0 e558: x571 + [ - x59 * x609 ] = 0 e559: x572 + [ - x60 * x609 ] = 0 e560: x573 + [ - x61 * x609 ] = 0 e561: x574 + [ - x62 * x609 ] = 0 e562: x575 + [ - x63 * x609 ] = 0 e563: x576 + [ - x64 * x609 ] = 0 e564: x577 + [ - x65 * x609 ] = 0 Bounds x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1 x68 <= 1 x69 <= 1 x70 <= 1 x71 <= 1 x72 <= 1 x73 <= 1 x74 <= 1 x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x82 <= 1 x83 <= 1 x84 <= 1 x85 <= 1 x86 <= 1 x87 <= 1 x88 <= 1 x89 <= 1 x90 <= 1 x91 <= 1 x92 <= 1 x93 <= 1 x94 <= 1 x95 <= 1 x96 <= 1 x97 <= 1 x98 <= 1 x99 <= 1 x100 <= 1 x101 <= 1 x102 <= 1 x103 <= 1 x104 <= 1 x105 <= 1 x106 <= 1 x107 <= 1 x108 <= 1 x109 <= 1 x110 <= 1 x111 <= 1 x112 <= 1 x113 <= 1 x114 <= 1 x115 <= 1 x116 <= 1 x117 <= 1 x118 <= 1 x119 <= 1 x120 <= 1 x121 <= 1 x122 <= 1 x123 <= 1 x124 <= 1 x125 <= 1 x126 <= 1 x127 <= 1 x128 <= 1 x129 <= 1 x130 <= 1 x131 <= 1 x132 <= 1 x133 <= 1 x134 <= 1 x135 <= 1 x136 <= 1 x137 <= 1 x138 <= 1 x139 <= 1 x140 <= 1 x141 <= 1 x142 <= 1 x143 <= 1 x144 <= 1 x145 <= 1 x146 <= 1 x147 <= 1 x148 <= 1 x149 <= 1 x150 <= 1 x151 <= 1 x152 <= 1 x153 <= 1 x154 <= 1 x155 <= 1 x156 <= 1 x157 <= 1 x158 <= 1 x159 <= 1 x160 <= 1 x161 <= 1 x162 <= 1 x163 <= 1 x164 <= 1 x165 <= 1 x166 <= 1 x167 <= 1 x168 <= 1 x169 <= 1 x170 <= 1 x171 <= 1 x172 <= 1 x173 <= 1 x174 <= 1 x175 <= 1 x176 <= 1 x177 <= 1 x178 <= 1 x179 <= 1 x180 <= 1 x181 <= 1 x182 <= 1 x183 <= 1 x184 <= 1 x185 <= 1 x186 <= 1 x187 <= 1 x188 <= 1 x189 <= 1 x190 <= 1 x191 <= 1 x192 <= 1 x193 <= 1 x194 <= 1 x195 <= 1 x196 <= 1 x197 <= 1 x198 <= 1 x199 <= 1 x200 <= 1 x201 <= 1 x202 <= 1 x203 <= 1 x204 <= 1 x205 <= 1 x206 <= 1 x207 <= 1 x208 <= 1 x209 <= 1 x210 <= 1 x211 <= 1 x212 <= 1 x213 <= 1 x214 <= 1 x215 <= 1 x216 <= 1 x217 <= 1 x218 <= 1 x219 <= 1 x220 <= 1 x221 <= 1 x222 <= 1 x223 <= 1 x224 <= 1 x225 <= 1 x226 <= 1 x227 <= 1 x228 <= 1 x229 <= 1 x230 <= 1 x231 <= 1 x232 <= 1 x233 <= 1 x234 <= 1 x235 <= 1 x236 <= 1 x237 <= 1 x238 <= 1 x239 <= 1 x240 <= 1 x241 <= 1 x242 <= 1 x243 <= 1 x244 <= 1 x245 <= 1 x246 <= 1 x247 <= 1 x248 <= 1 x249 <= 1 x250 <= 1 x251 <= 1 x252 <= 1 x253 <= 1 x254 <= 1 x255 <= 1 x256 <= 1 x257 <= 1 x258 <= 1 x259 <= 1 x260 <= 1 x261 <= 1 x262 <= 1 x263 <= 1 x264 <= 1 x265 <= 1 x266 <= 1 x267 <= 1 x268 <= 1 x269 <= 1 x270 <= 1 x271 <= 1 x272 <= 1 x273 <= 1 x274 <= 1 x275 <= 1 x276 <= 1 x277 <= 1 x278 <= 1 x279 <= 1 x280 <= 1 x281 <= 1 x282 <= 1 x283 <= 1 x284 <= 1 x285 <= 1 x286 <= 1 x287 <= 1 x288 <= 1 x289 <= 1 x290 <= 1 x291 <= 1 x292 <= 1 x293 <= 1 x294 <= 1 x295 <= 1 x296 <= 1 x297 <= 1 x298 <= 1 x299 <= 1 x300 <= 1 x301 <= 1 x302 <= 1 x303 <= 1 x304 <= 1 x305 <= 1 x306 <= 1 x307 <= 1 x308 <= 1 x309 <= 1 x310 <= 1 x311 <= 1 x312 <= 1 x313 <= 1 x314 <= 1 x315 <= 1 x316 <= 1 x317 <= 1 x318 <= 1 x319 <= 1 x320 <= 1 x321 <= 1 x322 <= 1 x323 <= 1 x324 <= 1 x325 <= 1 x326 <= 1 x327 <= 1 x328 <= 1 x329 <= 1 x330 <= 1 x331 <= 1 x332 <= 1 x333 <= 1 x334 <= 1 x335 <= 1 x336 <= 1 x337 <= 1 x338 <= 1 x339 <= 1 x340 <= 1 x341 <= 1 x342 <= 1 x343 <= 1 x344 <= 1 x345 <= 1 x346 <= 1 x347 <= 1 x348 <= 1 x349 <= 1 x350 <= 1 x351 <= 1 x352 <= 1 x353 <= 1 x354 <= 1 x355 <= 1 x356 <= 1 x357 <= 1 x358 <= 1 x359 <= 1 x360 <= 1 x361 <= 1 x362 <= 1 x363 <= 1 x364 <= 1 x365 <= 1 x366 <= 1 x367 <= 1 x368 <= 1 x369 <= 1 x370 <= 1 x371 <= 1 x372 <= 1 x373 <= 1 x374 <= 1 x375 <= 1 x376 <= 1 x377 <= 1 x378 <= 1 x379 <= 1 x380 <= 1 x381 <= 1 x382 <= 1 x383 <= 1 x384 <= 1 x385 <= 1 x386 <= 1 x387 <= 1 x388 <= 1 x389 <= 1 x390 <= 1 x391 <= 1 x392 <= 1 x393 <= 1 x394 <= 1 x395 <= 1 x396 <= 1 x397 <= 1 x398 <= 1 x399 <= 1 x400 <= 1 x401 <= 1 x402 <= 1 x403 <= 1 x404 <= 1 x405 <= 1 x406 <= 1 x407 <= 1 x408 <= 1 x409 <= 1 x410 <= 1 x411 <= 1 x412 <= 1 x413 <= 1 x414 <= 1 x415 <= 1 x416 <= 1 x417 <= 1 x418 <= 1 x419 <= 1 x420 <= 1 x421 <= 1 x422 <= 1 x423 <= 1 x424 <= 1 x425 <= 1 x426 <= 1 x427 <= 1 x428 <= 1 x429 <= 1 x430 <= 1 x431 <= 1 x432 <= 1 x433 <= 1 x434 <= 1 x435 <= 1 x436 <= 1 x437 <= 1 x438 <= 1 x439 <= 1 x440 <= 1 x441 <= 1 x442 <= 1 x443 <= 1 x444 <= 1 x445 <= 1 x446 <= 1 x447 <= 1 x448 <= 1 x449 <= 1 x450 <= 1 x451 <= 1 x452 <= 1 x453 <= 1 x454 <= 1 x455 <= 1 x456 <= 1 x457 <= 1 x458 <= 1 x459 <= 1 x460 <= 1 x461 <= 1 x462 <= 1 x463 <= 1 x464 <= 1 x465 <= 1 x466 <= 1 x467 <= 1 x468 <= 1 x469 <= 1 x470 <= 1 x471 <= 1 x472 <= 1 x473 <= 1 x474 <= 1 x475 <= 1 x476 <= 1 x477 <= 1 x478 <= 1 x479 <= 1 x480 <= 1 x481 <= 1 x482 <= 1 x483 <= 1 x484 <= 1 x485 <= 1 x486 <= 1 x487 <= 1 x488 <= 1 x489 <= 1 x490 <= 1 x491 <= 1 x492 <= 1 x493 <= 1 x494 <= 1 x495 <= 1 x496 <= 1 x497 <= 1 x498 <= 1 x499 <= 1 x500 <= 1 x501 <= 1 x502 <= 1 x503 <= 1 x504 <= 1 x505 <= 1 x506 <= 1 x507 <= 1 x508 <= 1 x509 <= 1 x510 <= 1 x511 <= 1 x512 <= 1 x513 <= 1 x514 <= 1 x515 <= 1 x516 <= 1 x517 <= 1 x518 <= 1 x519 <= 1 x520 <= 1 x521 <= 1 x522 <= 1 x523 <= 1 x524 <= 1 x525 <= 1 x526 <= 1 x527 <= 1 x528 <= 1 x529 <= 1 x530 <= 1 x531 <= 1 x532 <= 1 x533 <= 1 x534 <= 1 x535 <= 1 x536 <= 1 x537 <= 1 x538 <= 1 x539 <= 1 x540 <= 1 x541 <= 1 x542 <= 1 x543 <= 1 x544 <= 1 x545 <= 1 x546 <= 1 x547 <= 1 x548 <= 1 x549 <= 1 x550 <= 1 x551 <= 1 x552 <= 1 x553 <= 1 x554 <= 1 x555 <= 1 x556 <= 1 x557 <= 1 x558 <= 1 x559 <= 1 x560 <= 1 x561 <= 1 x562 <= 1 x563 <= 1 x564 <= 1 x565 <= 1 x566 <= 1 x567 <= 1 x568 <= 1 x569 <= 1 x570 <= 1 x571 <= 1 x572 <= 1 x573 <= 1 x574 <= 1 x575 <= 1 x576 <= 1 x577 <= 1 x578 <= 16 x579 <= 16 x580 <= 16 x581 <= 16 x582 <= 16 x583 <= 16 x584 <= 16 x585 <= 16 x586 <= 16 x587 <= 16 x588 <= 16 x589 <= 16 x590 <= 16 x591 <= 16 x592 <= 16 x593 <= 16 x594 <= 16 x595 <= 16 x596 <= 16 x597 <= 16 x598 <= 16 x599 <= 16 x600 <= 16 x601 <= 16 x602 <= 16 x603 <= 16 x604 <= 16 x605 <= 16 x606 <= 16 x607 <= 16 x608 <= 16 x609 <= 16 End