\ Equation counts \ Total E G L N X C B \ 768 60 337 371 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 734 382 352 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 5491 3421 2070 0 \ Minimize obj: 40.03777778 x2 + 65.06138889 x3 + 75.07083333 x4 + 100.0944444 x5 + 120.1133333 x6 + 110.1038889 x7 + 150.1416667 x8 + 210.1983333 x9 + 280.2644444 x10 + 245.2313889 x11 + 75.07083333 x12 + 150.1416667 x13 + 280.2644444 x14 + 245.2313889 x15 + 40.03777778 x16 + 15.01416667 x17 + 40.03777778 x18 + 55.05194444 x19 + 75.07083333 x20 + 90.085 x21 + 90.085 x22 + 125.1180556 x23 + 180.17 x24 + 260.2455556 x25 + 215.2030556 x26 + 55.05194444 x27 + 125.1180556 x28 + 260.2455556 x29 + 215.2030556 x30 + 15.01416667 x31 + 40.03777778 x32 + 35.03305556 x33 + 30.02833333 x34 + 65.06138889 x35 + 100.0944444 x36 + 85.08027778 x37 + 115.1086111 x38 + 170.1605556 x39 + 240.2266667 x40 + 220.2077778 x41 + 30.02833333 x42 + 115.1086111 x43 + 240.2266667 x44 + 220.2077778 x45 + 40.03777778 x46 + 85.08027778 x47 + 80.07555556 x48 + 55.05194444 x49 + 100.0944444 x50 + 140.1322222 x51 + 120.1133333 x52 + 140.1322222 x53 + 180.17 x54 + 245.2313889 x55 + 245.2313889 x56 + 55.05194444 x57 + 140.1322222 x58 + 245.2313889 x59 + 245.2313889 x60 + 85.08027778 x61 + 95.08972222 x62 + 70.06611111 x63 + 55.05194444 x64 + 45.0425 x65 + 75.07083333 x66 + 45.0425 x67 + 40.03777778 x68 + 75.07083333 x69 + 150.1416667 x70 + 150.1416667 x71 + 55.05194444 x72 + 40.03777778 x73 + 150.1416667 x74 + 150.1416667 x75 + 95.08972222 x76 + 80.07555556 x77 + 70.06611111 x78 + 40.03777778 x79 + 90.085 x80 + 125.1180556 x81 + 100.0944444 x82 + 120.1133333 x83 + 150.1416667 x84 + 230.2172222 x85 + 230.2172222 x86 + 40.03777778 x87 + 120.1133333 x88 + 230.2172222 x89 + 230.2172222 x90 + 80.07555556 x91 + 70.06611111 x92 + 45.0425 x93 + 30.02833333 x94 + 40.03777778 x95 + 75.07083333 x96 + 50.04722222 x97 + 60.05666667 x98 + 100.0944444 x99 + 175.1652778 x100 + 165.1558333 x101 + 30.02833333 x102 + 60.05666667 x103 + 175.1652778 x104 + 165.1558333 x105 + 70.06611111 x106 + 3980.413333 x107 + 2990.289722 x108 + 1177.970833 x109 + 3945.380278 x110 + 3980.413333 x111 + 3950.385 x112 + 2975.275556 x113 + 2990.289722 x114 + 1263.051111 x115 + 1293.079444 x116 + 2280.870833 x117 + 3264.775556 x118 + 1373.351111 x119 + 1403.379444 x120 + 2822.313333 x121 + 3880.318889 x122 + 3900.337778 x123 + 3910.347222 x124 + 3930.366111 x125 + 3930.366111 x126 + 3960.394444 x127 + 4020.451111 x128 + 4090.517222 x129 + 4050.479444 x130 + 3900.337778 x131 + 3960.394444 x132 + 4090.517222 x133 + 4050.479444 x134 + 3865.304722 x135 + 2915.218889 x136 + 2925.228333 x137 + 2925.228333 x138 + 2955.256667 x139 + 2945.247222 x140 + 2975.275556 x141 + 3035.332222 x142 + 3110.403056 x143 + 3075.37 x144 + 2925.228333 x145 + 2975.275556 x146 + 3110.403056 x147 + 3075.37 x148 + 2915.218889 x149 + 1142.937778 x150 + 1132.928333 x151 + 1142.937778 x152 + 1182.975556 x153 + 1162.956667 x154 + 1182.975556 x155 + 1243.032222 x156 + 1313.098333 x157 + 1293.079444 x158 + 1107.904722 x159 + 1182.975556 x160 + 1313.098333 x161 + 1293.079444 x162 + 1142.937778 x163 + 3910.347222 x164 + 3890.328333 x165 + 3900.337778 x166 + 3900.337778 x167 + 3875.314167 x168 + 3910.347222 x169 + 3970.403889 x170 + 4040.47 x171 + 4010.441667 x172 + 3900.337778 x173 + 3910.347222 x174 + 4040.47 x175 + 4010.441667 x176 + 3910.347222 x177 + 3930.366111 x178 + 3920.356667 x179 + 3940.375556 x180 + 3900.337778 x181 + 3885.323611 x182 + 3910.347222 x183 + 3970.403889 x184 + 4040.47 x185 + 3980.413333 x186 + 3940.375556 x187 + 3910.347222 x188 + 4040.47 x189 + 3980.413333 x190 + 3930.366111 x191 + 3930.366111 x192 + 3910.347222 x193 + 3920.356667 x194 + 3875.314167 x195 + 3885.323611 x196 + 3890.328333 x197 + 3960.394444 x198 + 4030.460556 x199 + 3990.422778 x200 + 3920.356667 x201 + 3890.328333 x202 + 4030.460556 x203 + 3990.422778 x204 + 3930.366111 x205 + 2995.294444 x206 + 2975.275556 x207 + 2975.275556 x208 + 2945.247222 x209 + 2945.247222 x210 + 2925.228333 x211 + 2955.256667 x212 + 3025.322778 x213 + 2995.294444 x214 + 2975.275556 x215 + 2900.204722 x216 + 3025.322778 x217 + 2995.294444 x218 + 2995.294444 x219 + 3055.351111 x220 + 3035.332222 x221 + 3035.332222 x222 + 3005.303889 x223 + 3005.303889 x224 + 2995.294444 x225 + 2955.256667 x226 + 2965.266111 x227 + 2995.294444 x228 + 3035.332222 x229 + 2955.256667 x230 + 2965.266111 x231 + 2995.294444 x232 + 3055.351111 x233 + 1333.117222 x234 + 1318.103056 x235 + 1313.098333 x236 + 1283.07 x237 + 1283.07 x238 + 1273.060556 x239 + 1233.022778 x240 + 1172.966111 x241 + 1213.003889 x242 + 1313.098333 x243 + 1233.022778 x244 + 1107.904722 x245 + 1213.003889 x246 + 1333.117222 x247 + 1293.079444 x248 + 1283.07 x249 + 1293.079444 x250 + 1253.041667 x251 + 1223.013333 x252 + 1233.022778 x253 + 1202.994444 x254 + 1202.994444 x255 + 1213.003889 x256 + 1293.079444 x257 + 1202.994444 x258 + 1213.003889 x259 + 1107.904722 x260 + 1293.079444 x261 + 2245.837778 x262 + 2235.828333 x263 + 2210.804722 x264 + 2245.837778 x265 + 2285.875556 x266 + 2265.856667 x267 + 2285.875556 x268 + 2345.932222 x269 + 2415.998333 x270 + 2395.979444 x271 + 2285.875556 x272 + 2415.998333 x273 + 2395.979444 x274 + 2245.837778 x275 + 3284.794444 x276 + 3264.775556 x277 + 3264.775556 x278 + 3234.747222 x279 + 3234.747222 x280 + 3214.728333 x281 + 3189.704722 x282 + 3244.756667 x283 + 3314.822778 x284 + 3284.794444 x285 + 3264.775556 x286 + 3314.822778 x287 + 3284.794444 x288 + 3284.794444 x289 + 1443.417222 x290 + 1428.403056 x291 + 1423.398333 x292 + 1393.37 x293 + 1393.37 x294 + 1383.360556 x295 + 1343.322778 x296 + 1283.266111 x297 + 1218.204722 x298 + 1323.303889 x299 + 1423.398333 x300 + 1343.322778 x301 + 1323.303889 x302 + 1443.417222 x303 + 1403.379444 x304 + 1393.37 x305 + 1403.379444 x306 + 1363.341667 x307 + 1333.313333 x308 + 1343.322778 x309 + 1313.294444 x310 + 1313.294444 x311 + 1323.303889 x312 + 1218.204722 x313 + 1403.379444 x314 + 1313.294444 x315 + 1323.303889 x316 + 1403.379444 x317 + 2707.204722 x318 + 2722.218889 x319 + 2742.237778 x320 + 2752.247222 x321 + 2772.266111 x322 + 2772.266111 x323 + 2802.294444 x324 + 2862.351111 x325 + 2932.417222 x326 + 2892.379444 x327 + 2742.237778 x328 + 2802.294444 x329 + 2932.417222 x330 + 2892.379444 x331 + 150.1416667 x332 + 135.1275 x333 + 100.0944444 x334 + 90.085 x335 + 40.03777778 x336 + 70.06611111 x337 + 45.0425 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 + 4984 b384 + 8099 b385 + 9345 b386 + 12460 b387 + 14952 b388 + 13706 b389 + 18690 b390 + 26166 b391 + 34888 b392 + 30527 b393 + 9345 b394 + 18690 b395 + 34888 b396 + 30527 b397 + 4984 b398 + 1869 b399 + 4984 b400 + 6853 b401 + 9345 b402 + 11214 b403 + 11214 b404 + 15575 b405 + 22428 b406 + 32396 b407 + 26789 b408 + 6853 b409 + 15575 b410 + 32396 b411 + 26789 b412 + 1869 b413 + 4984 b414 + 4361 b415 + 3738 b416 + 8099 b417 + 12460 b418 + 10591 b419 + 14329 b420 + 21182 b421 + 29904 b422 + 27412 b423 + 3738 b424 + 14329 b425 + 29904 b426 + 27412 b427 + 4984 b428 + 10591 b429 + 9968 b430 + 6853 b431 + 12460 b432 + 17444 b433 + 14952 b434 + 17444 b435 + 22428 b436 + 30527 b437 + 30527 b438 + 6853 b439 + 17444 b440 + 30527 b441 + 30527 b442 + 10591 b443 + 11837 b444 + 8722 b445 + 6853 b446 + 5607 b447 + 9345 b448 + 5607 b449 + 4984 b450 + 9345 b451 + 18690 b452 + 18690 b453 + 6853 b454 + 4984 b455 + 18690 b456 + 18690 b457 + 11837 b458 + 9968 b459 + 8722 b460 + 4984 b461 + 11214 b462 + 15575 b463 + 12460 b464 + 14952 b465 + 18690 b466 + 28658 b467 + 28658 b468 + 4984 b469 + 14952 b470 + 28658 b471 + 28658 b472 + 9968 b473 + 8722 b474 + 5607 b475 + 3738 b476 + 4984 b477 + 9345 b478 + 6230 b479 + 7476 b480 + 12460 b481 + 21805 b482 + 20559 b483 + 3738 b484 + 7476 b485 + 21805 b486 + 20559 b487 + 8722 b488 + 14952 b489 + 11837 b490 + 9345 b491 + 10591 b492 + 14952 b493 + 11214 b494 + 9968 b495 + 11837 b496 + 19936 b497 + 23674 b498 + 9345 b499 + 9968 b500 + 19936 b501 + 23674 b502 + 14952 b503 + 2492 b504 + 4984 b505 + 6230 b506 + 8722 b507 + 8722 b508 + 12460 b509 + 19936 b510 + 28658 b511 + 23674 b512 + 4984 b513 + 12460 b514 + 28658 b515 + 23674 b516 + 623 b517 + 2492 b518 + 3738 b519 + 3738 b520 + 7476 b521 + 6230 b522 + 9968 b523 + 17444 b524 + 26789 b525 + 22428 b526 + 3738 b527 + 9968 b528 + 26789 b529 + 22428 b530 + 2492 b531 + 4984 b532 + 3738 b533 + 4984 b534 + 9968 b535 + 7476 b536 + 9968 b537 + 17444 b538 + 26166 b539 + 23674 b540 + 623 b541 + 9968 b542 + 26166 b543 + 23674 b544 + 4984 b545 + 6230 b546 + 3738 b547 + 4984 b548 + 4984 b549 + 1869 b550 + 6230 b551 + 13706 b552 + 22428 b553 + 18690 b554 + 4984 b555 + 6230 b556 + 22428 b557 + 18690 b558 + 6230 b559 + 8722 b560 + 7476 b561 + 9968 b562 + 4984 b563 + 3115 b564 + 6230 b565 + 13706 b566 + 22428 b567 + 14952 b568 + 9968 b569 + 6230 b570 + 22428 b571 + 14952 b572 + 8722 b573 + 8722 b574 + 6230 b575 + 7476 b576 + 1869 b577 + 3115 b578 + 3738 b579 + 12460 b580 + 21182 b581 + 16198 b582 + 7476 b583 + 3738 b584 + 21182 b585 + 16198 b586 + 8722 b587 + 12460 b588 + 9968 b589 + 9968 b590 + 6230 b591 + 6230 b592 + 3738 b593 + 7476 b594 + 16198 b595 + 12460 b596 + 9968 b597 + 623 b598 + 16198 b599 + 12460 b600 + 12460 b601 + 19936 b602 + 17444 b603 + 17444 b604 + 13706 b605 + 13706 b606 + 12460 b607 + 7476 b608 + 8722 b609 + 12460 b610 + 17444 b611 + 7476 b612 + 8722 b613 + 12460 b614 + 19936 b615 + 28658 b616 + 26789 b617 + 26166 b618 + 22428 b619 + 22428 b620 + 21182 b621 + 16198 b622 + 8722 b623 + 13706 b624 + 26166 b625 + 16198 b626 + 623 b627 + 13706 b628 + 28658 b629 + 23674 b630 + 22428 b631 + 23674 b632 + 18690 b633 + 14952 b634 + 16198 b635 + 12460 b636 + 12460 b637 + 13706 b638 + 23674 b639 + 12460 b640 + 13706 b641 + 623 b642 + 23674 b643 + 4984 b644 + 3738 b645 + 623 b646 + 4984 b647 + 9968 b648 + 7476 b649 + 9968 b650 + 17444 b651 + 26166 b652 + 23674 b653 + 9968 b654 + 26166 b655 + 23674 b656 + 4984 b657 + 12460 b658 + 9968 b659 + 9968 b660 + 6230 b661 + 6230 b662 + 3738 b663 + 623 b664 + 7476 b665 + 16198 b666 + 12460 b667 + 9968 b668 + 16198 b669 + 12460 b670 + 12460 b671 + 28658 b672 + 26789 b673 + 26166 b674 + 22428 b675 + 22428 b676 + 21182 b677 + 16198 b678 + 8722 b679 + 623 b680 + 13706 b681 + 26166 b682 + 16198 b683 + 13706 b684 + 28658 b685 + 23674 b686 + 22428 b687 + 23674 b688 + 18690 b689 + 14952 b690 + 16198 b691 + 12460 b692 + 12460 b693 + 13706 b694 + 623 b695 + 23674 b696 + 12460 b697 + 13706 b698 + 23674 b699 + 623 b700 + 2492 b701 + 4984 b702 + 6230 b703 + 8722 b704 + 8722 b705 + 12460 b706 + 19936 b707 + 28658 b708 + 23674 b709 + 4984 b710 + 12460 b711 + 28658 b712 + 23674 b713 + 18690 b714 + 16821 b715 + 12460 b716 + 11214 b717 + 4984 b718 + 8722 b719 + 5607 b720 + 48901 b721 + 36676 b722 + 13972 b723 + 48901 b724 + 48901 b725 + 48901 b726 + 36676 b727 + 36676 b728 + 13972 b729 + 13972 b730 + 27944 b731 + 40344 b732 + 15369 b733 + 15369 b734 + 34231 b735 Subject To e2: - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13 - x14 - x15 - x16 - x332 <= -20 e3: - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x333 <= -50 e4: - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 - x46 - x334 <= -47.5 e5: - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57 - x58 - x59 - x60 - x61 - x335 <= -28 e6: - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72 - x73 - x74 - x75 - x76 - x336 <= -100 e7: - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84 - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x337 <= -30 e8: - x92 - x93 - x94 - x95 - x96 - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x338 <= -25 e9: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x332 <= 20 e10: x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x333 <= 50 e11: x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x334 <= 47.5 e12: x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x335 <= 28 e13: x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x336 <= 100 e14: x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x337 <= 30 e15: x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x338 <= 25 e16: x107 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 - 300.5 b721 <= 0 e17: x108 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 - 300.5 b722 <= 0 e18: x109 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 - 300.5 b723 <= 0 e19: x110 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 - 300.5 b724 <= 0 e20: x111 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 - 300.5 b725 <= 0 e21: x112 + x192 + x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 - 300.5 b726 <= 0 e22: x113 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 - 300.5 b727 <= 0 e23: x114 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 - 300.5 b728 <= 0 e24: x115 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 - 300.5 b729 <= 0 e25: x116 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 - 300.5 b730 <= 0 e26: x117 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 - 300.5 b731 <= 0 e27: x118 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 - 300.5 b732 <= 0 e28: x119 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 - 300.5 b733 <= 0 e29: x120 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 - 300.5 b734 <= 0 e30: x121 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 - 300.5 b735 <= 0 e31: - x107 - x108 - x109 - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121 - x332 - x333 - x334 - x335 - x336 - x337 - x338 <= -300.5 e32: x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x332 + x333 + x334 + x335 + x336 + x337 + x338 <= 300.5 e33: x2 + x17 + x32 + x47 + x62 + x77 + x92 - x107 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135 + x136 + x150 + x164 + x178 + x192 + x206 + x220 + x234 + x248 + x262 + x276 + x290 + x304 + x318 = 0 e34: x3 + x18 + x33 + x48 + x63 + x78 + x93 - x108 + x122 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149 + x151 + x165 + x179 + x193 + x207 + x221 + x235 + x249 + x263 + x277 + x291 + x305 + x319 = 0 e35: x4 + x19 + x34 + x49 + x64 + x79 + x94 - x109 + x123 + x137 - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162 - x163 + x166 + x180 + x194 + x208 + x222 + x236 + x250 + x264 + x278 + x292 + x306 + x320 = 0 e36: x5 + x20 + x35 + x50 + x65 + x80 + x95 - x110 + x124 + x138 + x152 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 + x181 + x195 + x209 + x223 + x237 + x251 + x265 + x279 + x293 + x307 + x321 = 0 e37: x6 + x21 + x36 + x51 + x66 + x81 + x96 - x111 + x125 + x139 + x153 + x167 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 + x196 + x210 + x224 + x238 + x252 + x266 + x280 + x294 + x308 + x322 = 0 e38: x7 + x22 + x37 + x52 + x67 + x82 + x97 - x112 + x126 + x140 + x154 + x168 + x182 - x192 - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 + x211 + x225 + x239 + x253 + x267 + x281 + x295 + x309 + x323 = 0 e39: x8 + x23 + x38 + x53 + x68 + x83 + x98 - x113 + x127 + x141 + x155 + x169 + x183 + x197 - x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 + x226 + x240 + x254 + x268 + x282 + x296 + x310 + x324 = 0 e40: x9 + x24 + x39 + x54 + x69 + x84 + x99 - x114 + x128 + x142 + x156 + x170 + x184 + x198 + x212 - x220 - x221 - x222 - x223 - x224 - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 + x241 + x255 + x269 + x283 + x297 + x311 + x325 = 0 e41: x10 + x25 + x40 + x55 + x70 + x85 + x100 - x115 + x129 + x143 + x157 + x171 + x185 + x199 + x213 + x227 - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 - x247 + x256 + x270 + x284 + x298 + x312 + x326 = 0 e42: x11 + x26 + x41 + x56 + x71 + x86 + x101 - x116 + x130 + x144 + x158 + x172 + x186 + x200 + x214 + x228 + x242 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 + x271 + x285 + x299 + x313 + x327 = 0 e43: x12 + x27 + x42 + x57 + x72 + x87 + x102 - x117 + x131 + x145 + x159 + x173 + x187 + x201 + x215 + x229 + x243 + x257 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 + x286 + x300 + x314 + x328 = 0 e44: x13 + x28 + x43 + x58 + x73 + x88 + x103 - x118 + x132 + x146 + x160 + x174 + x188 + x202 + x216 + x230 + x244 + x258 + x272 - x276 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 + x301 + x315 + x329 = 0 e45: x14 + x29 + x44 + x59 + x74 + x89 + x104 - x119 + x133 + x147 + x161 + x175 + x189 + x203 + x217 + x231 + x245 + x259 + x273 + x287 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 + x316 + x330 = 0 e46: x15 + x30 + x45 + x60 + x75 + x90 + x105 - x120 + x134 + x148 + x162 + x176 + x190 + x204 + x218 + x232 + x246 + x260 + x274 + x288 + x302 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 + x331 = 0 e47: x16 + x31 + x46 + x61 + x76 + x91 + x106 - x121 + x135 + x149 + x163 + x177 + x191 + x205 + x219 + x233 + x247 + x261 + x275 + x289 + x303 + x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 = 0 e48: x2 - 0.2 b384 >= 0 e49: x3 - 0.2 b385 >= 0 e50: x4 - 0.2 b386 >= 0 e51: x5 - 0.2 b387 >= 0 e52: x6 - 0.2 b388 >= 0 e53: x7 - 0.2 b389 >= 0 e54: x8 - 0.2 b390 >= 0 e55: x9 - 0.2 b391 >= 0 e56: x10 - 0.2 b392 >= 0 e57: x11 - 0.2 b393 >= 0 e58: x12 - 0.2 b394 >= 0 e59: x13 - 0.2 b395 >= 0 e60: x14 - 0.2 b396 >= 0 e61: x15 - 0.2 b397 >= 0 e62: x16 - 0.2 b398 >= 0 e63: x17 - 0.2 b399 >= 0 e64: x18 - 0.2 b400 >= 0 e65: x19 - 0.2 b401 >= 0 e66: x20 - 0.2 b402 >= 0 e67: x21 - 0.2 b403 >= 0 e68: x22 - 0.2 b404 >= 0 e69: x23 - 0.2 b405 >= 0 e70: x24 - 0.2 b406 >= 0 e71: x25 - 0.2 b407 >= 0 e72: x26 - 0.2 b408 >= 0 e73: x27 - 0.2 b409 >= 0 e74: x28 - 0.2 b410 >= 0 e75: x29 - 0.2 b411 >= 0 e76: x30 - 0.2 b412 >= 0 e77: x31 - 0.2 b413 >= 0 e78: x32 - 0.2 b414 >= 0 e79: x33 - 0.2 b415 >= 0 e80: x34 - 0.2 b416 >= 0 e81: x35 - 0.2 b417 >= 0 e82: x36 - 0.2 b418 >= 0 e83: x37 - 0.2 b419 >= 0 e84: x38 - 0.2 b420 >= 0 e85: x39 - 0.2 b421 >= 0 e86: x40 - 0.2 b422 >= 0 e87: x41 - 0.2 b423 >= 0 e88: x42 - 0.2 b424 >= 0 e89: x43 - 0.2 b425 >= 0 e90: x44 - 0.2 b426 >= 0 e91: x45 - 0.2 b427 >= 0 e92: x46 - 0.2 b428 >= 0 e93: x47 - 0.2 b429 >= 0 e94: x48 - 0.2 b430 >= 0 e95: x49 - 0.2 b431 >= 0 e96: x50 - 0.2 b432 >= 0 e97: x51 - 0.2 b433 >= 0 e98: x52 - 0.2 b434 >= 0 e99: x53 - 0.2 b435 >= 0 e100: x54 - 0.2 b436 >= 0 e101: x55 - 0.2 b437 >= 0 e102: x56 - 0.2 b438 >= 0 e103: x57 - 0.2 b439 >= 0 e104: x58 - 0.2 b440 >= 0 e105: x59 - 0.2 b441 >= 0 e106: x60 - 0.2 b442 >= 0 e107: x61 - 0.2 b443 >= 0 e108: x62 - 0.2 b444 >= 0 e109: x63 - 0.2 b445 >= 0 e110: x64 - 0.2 b446 >= 0 e111: x65 - 0.2 b447 >= 0 e112: x66 - 0.2 b448 >= 0 e113: x67 - 0.2 b449 >= 0 e114: x68 - 0.2 b450 >= 0 e115: x69 - 0.2 b451 >= 0 e116: x70 - 0.2 b452 >= 0 e117: x71 - 0.2 b453 >= 0 e118: x72 - 0.2 b454 >= 0 e119: x73 - 0.2 b455 >= 0 e120: x74 - 0.2 b456 >= 0 e121: x75 - 0.2 b457 >= 0 e122: x76 - 0.2 b458 >= 0 e123: x77 - 0.2 b459 >= 0 e124: x78 - 0.2 b460 >= 0 e125: x79 - 0.2 b461 >= 0 e126: x80 - 0.2 b462 >= 0 e127: x81 - 0.2 b463 >= 0 e128: x82 - 0.2 b464 >= 0 e129: x83 - 0.2 b465 >= 0 e130: x84 - 0.2 b466 >= 0 e131: x85 - 0.2 b467 >= 0 e132: x86 - 0.2 b468 >= 0 e133: x87 - 0.2 b469 >= 0 e134: x88 - 0.2 b470 >= 0 e135: x89 - 0.2 b471 >= 0 e136: x90 - 0.2 b472 >= 0 e137: x91 - 0.2 b473 >= 0 e138: x92 - 0.2 b474 >= 0 e139: x93 - 0.2 b475 >= 0 e140: x94 - 0.2 b476 >= 0 e141: x95 - 0.2 b477 >= 0 e142: x96 - 0.2 b478 >= 0 e143: x97 - 0.2 b479 >= 0 e144: x98 - 0.2 b480 >= 0 e145: x99 - 0.2 b481 >= 0 e146: x100 - 0.2 b482 >= 0 e147: x101 - 0.2 b483 >= 0 e148: x102 - 0.2 b484 >= 0 e149: x103 - 0.2 b485 >= 0 e150: x104 - 0.2 b486 >= 0 e151: x105 - 0.2 b487 >= 0 e152: x106 - 0.2 b488 >= 0 e153: x2 - 20 b384 <= 0 e154: x3 - 20 b385 <= 0 e155: x4 - 20 b386 <= 0 e156: x5 - 20 b387 <= 0 e157: x6 - 20 b388 <= 0 e158: x7 - 20 b389 <= 0 e159: x8 - 20 b390 <= 0 e160: x9 - 20 b391 <= 0 e161: x10 - 20 b392 <= 0 e162: x11 - 20 b393 <= 0 e163: x12 - 20 b394 <= 0 e164: x13 - 20 b395 <= 0 e165: x14 - 20 b396 <= 0 e166: x15 - 20 b397 <= 0 e167: x16 - 20 b398 <= 0 e168: x17 - 50 b399 <= 0 e169: x18 - 50 b400 <= 0 e170: x19 - 50 b401 <= 0 e171: x20 - 50 b402 <= 0 e172: x21 - 50 b403 <= 0 e173: x22 - 50 b404 <= 0 e174: x23 - 50 b405 <= 0 e175: x24 - 50 b406 <= 0 e176: x25 - 50 b407 <= 0 e177: x26 - 50 b408 <= 0 e178: x27 - 50 b409 <= 0 e179: x28 - 50 b410 <= 0 e180: x29 - 50 b411 <= 0 e181: x30 - 50 b412 <= 0 e182: x31 - 50 b413 <= 0 e183: x32 - 47.5 b414 <= 0 e184: x33 - 47.5 b415 <= 0 e185: x34 - 47.5 b416 <= 0 e186: x35 - 47.5 b417 <= 0 e187: x36 - 47.5 b418 <= 0 e188: x37 - 47.5 b419 <= 0 e189: x38 - 47.5 b420 <= 0 e190: x39 - 47.5 b421 <= 0 e191: x40 - 47.5 b422 <= 0 e192: x41 - 47.5 b423 <= 0 e193: x42 - 47.5 b424 <= 0 e194: x43 - 47.5 b425 <= 0 e195: x44 - 47.5 b426 <= 0 e196: x45 - 47.5 b427 <= 0 e197: x46 - 47.5 b428 <= 0 e198: x47 - 28 b429 <= 0 e199: x48 - 28 b430 <= 0 e200: x49 - 28 b431 <= 0 e201: x50 - 28 b432 <= 0 e202: x51 - 28 b433 <= 0 e203: x52 - 28 b434 <= 0 e204: x53 - 28 b435 <= 0 e205: x54 - 28 b436 <= 0 e206: x55 - 28 b437 <= 0 e207: x56 - 28 b438 <= 0 e208: x57 - 28 b439 <= 0 e209: x58 - 28 b440 <= 0 e210: x59 - 28 b441 <= 0 e211: x60 - 28 b442 <= 0 e212: x61 - 28 b443 <= 0 e213: x62 - 100 b444 <= 0 e214: x63 - 100 b445 <= 0 e215: x64 - 100 b446 <= 0 e216: x65 - 100 b447 <= 0 e217: x66 - 100 b448 <= 0 e218: x67 - 100 b449 <= 0 e219: x68 - 100 b450 <= 0 e220: x69 - 100 b451 <= 0 e221: x70 - 100 b452 <= 0 e222: x71 - 100 b453 <= 0 e223: x72 - 100 b454 <= 0 e224: x73 - 100 b455 <= 0 e225: x74 - 100 b456 <= 0 e226: x75 - 100 b457 <= 0 e227: x76 - 100 b458 <= 0 e228: x77 - 30 b459 <= 0 e229: x78 - 30 b460 <= 0 e230: x79 - 30 b461 <= 0 e231: x80 - 30 b462 <= 0 e232: x81 - 30 b463 <= 0 e233: x82 - 30 b464 <= 0 e234: x83 - 30 b465 <= 0 e235: x84 - 30 b466 <= 0 e236: x85 - 30 b467 <= 0 e237: x86 - 30 b468 <= 0 e238: x87 - 30 b469 <= 0 e239: x88 - 30 b470 <= 0 e240: x89 - 30 b471 <= 0 e241: x90 - 30 b472 <= 0 e242: x91 - 30 b473 <= 0 e243: x92 - 25 b474 <= 0 e244: x93 - 25 b475 <= 0 e245: x94 - 25 b476 <= 0 e246: x95 - 25 b477 <= 0 e247: x96 - 25 b478 <= 0 e248: x97 - 25 b479 <= 0 e249: x98 - 25 b480 <= 0 e250: x99 - 25 b481 <= 0 e251: x100 - 25 b482 <= 0 e252: x101 - 25 b483 <= 0 e253: x102 - 25 b484 <= 0 e254: x103 - 25 b485 <= 0 e255: x104 - 25 b486 <= 0 e256: x105 - 25 b487 <= 0 e257: x106 - 25 b488 <= 0 e258: x107 - 0.2 b489 >= 0 e259: x108 - 0.2 b490 >= 0 e260: x109 - 0.2 b491 >= 0 e261: x110 - 0.2 b492 >= 0 e262: x111 - 0.2 b493 >= 0 e263: x112 - 0.2 b494 >= 0 e264: x113 - 0.2 b495 >= 0 e265: x114 - 0.2 b496 >= 0 e266: x115 - 0.2 b497 >= 0 e267: x116 - 0.2 b498 >= 0 e268: x117 - 0.2 b499 >= 0 e269: x118 - 0.2 b500 >= 0 e270: x119 - 0.2 b501 >= 0 e271: x120 - 0.2 b502 >= 0 e272: x121 - 0.2 b503 >= 0 e273: x107 - 300.5 b489 <= 0 e274: x108 - 300.5 b490 <= 0 e275: x109 - 300.5 b491 <= 0 e276: x110 - 300.5 b492 <= 0 e277: x111 - 300.5 b493 <= 0 e278: x112 - 300.5 b494 <= 0 e279: x113 - 300.5 b495 <= 0 e280: x114 - 300.5 b496 <= 0 e281: x115 - 300.5 b497 <= 0 e282: x116 - 300.5 b498 <= 0 e283: x117 - 300.5 b499 <= 0 e284: x118 - 300.5 b500 <= 0 e285: x119 - 300.5 b501 <= 0 e286: x120 - 300.5 b502 <= 0 e287: x121 - 300.5 b503 <= 0 e288: x332 - 0.2 b714 >= 0 e289: x333 - 0.2 b715 >= 0 e290: x334 - 0.2 b716 >= 0 e291: x335 - 0.2 b717 >= 0 e292: x336 - 0.2 b718 >= 0 e293: x337 - 0.2 b719 >= 0 e294: x338 - 0.2 b720 >= 0 e295: x332 - 20 b714 <= 0 e296: x333 - 50 b715 <= 0 e297: x334 - 47.5 b716 <= 0 e298: x335 - 28 b717 <= 0 e299: x336 - 100 b718 <= 0 e300: x337 - 30 b719 <= 0 e301: x338 - 25 b720 <= 0 e302: x136 - 0.2 b518 >= 0 e303: x150 - 0.2 b532 >= 0 e304: x164 - 0.2 b546 >= 0 e305: x178 - 0.2 b560 >= 0 e306: x192 - 0.2 b574 >= 0 e307: x206 - 0.2 b588 >= 0 e308: x220 - 0.2 b602 >= 0 e309: x234 - 0.2 b616 >= 0 e310: x248 - 0.2 b630 >= 0 e311: x262 - 0.2 b644 >= 0 e312: x276 - 0.2 b658 >= 0 e313: x290 - 0.2 b672 >= 0 e314: x304 - 0.2 b686 >= 0 e315: x318 - 0.2 b700 >= 0 e316: x122 - 0.2 b504 >= 0 e317: x151 - 0.2 b533 >= 0 e318: x165 - 0.2 b547 >= 0 e319: x179 - 0.2 b561 >= 0 e320: x193 - 0.2 b575 >= 0 e321: x207 - 0.2 b589 >= 0 e322: x221 - 0.2 b603 >= 0 e323: x235 - 0.2 b617 >= 0 e324: x249 - 0.2 b631 >= 0 e325: x263 - 0.2 b645 >= 0 e326: x277 - 0.2 b659 >= 0 e327: x291 - 0.2 b673 >= 0 e328: x305 - 0.2 b687 >= 0 e329: x319 - 0.2 b701 >= 0 e330: x123 - 0.2 b505 >= 0 e331: x137 - 0.2 b519 >= 0 e332: x166 - 0.2 b548 >= 0 e333: x180 - 0.2 b562 >= 0 e334: x194 - 0.2 b576 >= 0 e335: x208 - 0.2 b590 >= 0 e336: x222 - 0.2 b604 >= 0 e337: x236 - 0.2 b618 >= 0 e338: x250 - 0.2 b632 >= 0 e339: x264 - 0.2 b646 >= 0 e340: x278 - 0.2 b660 >= 0 e341: x292 - 0.2 b674 >= 0 e342: x306 - 0.2 b688 >= 0 e343: x320 - 0.2 b702 >= 0 e344: x124 - 0.2 b506 >= 0 e345: x138 - 0.2 b520 >= 0 e346: x152 - 0.2 b534 >= 0 e347: x181 - 0.2 b563 >= 0 e348: x195 - 0.2 b577 >= 0 e349: x209 - 0.2 b591 >= 0 e350: x223 - 0.2 b605 >= 0 e351: x237 - 0.2 b619 >= 0 e352: x251 - 0.2 b633 >= 0 e353: x265 - 0.2 b647 >= 0 e354: x279 - 0.2 b661 >= 0 e355: x293 - 0.2 b675 >= 0 e356: x307 - 0.2 b689 >= 0 e357: x321 - 0.2 b703 >= 0 e358: x125 - 0.2 b507 >= 0 e359: x139 - 0.2 b521 >= 0 e360: x153 - 0.2 b535 >= 0 e361: x167 - 0.2 b549 >= 0 e362: x196 - 0.2 b578 >= 0 e363: x210 - 0.2 b592 >= 0 e364: x224 - 0.2 b606 >= 0 e365: x238 - 0.2 b620 >= 0 e366: x252 - 0.2 b634 >= 0 e367: x266 - 0.2 b648 >= 0 e368: x280 - 0.2 b662 >= 0 e369: x294 - 0.2 b676 >= 0 e370: x308 - 0.2 b690 >= 0 e371: x322 - 0.2 b704 >= 0 e372: x126 - 0.2 b508 >= 0 e373: x140 - 0.2 b522 >= 0 e374: x154 - 0.2 b536 >= 0 e375: x168 - 0.2 b550 >= 0 e376: x182 - 0.2 b564 >= 0 e377: x211 - 0.2 b593 >= 0 e378: x225 - 0.2 b607 >= 0 e379: x239 - 0.2 b621 >= 0 e380: x253 - 0.2 b635 >= 0 e381: x267 - 0.2 b649 >= 0 e382: x281 - 0.2 b663 >= 0 e383: x295 - 0.2 b677 >= 0 e384: x309 - 0.2 b691 >= 0 e385: x323 - 0.2 b705 >= 0 e386: x127 - 0.2 b509 >= 0 e387: x141 - 0.2 b523 >= 0 e388: x155 - 0.2 b537 >= 0 e389: x169 - 0.2 b551 >= 0 e390: x183 - 0.2 b565 >= 0 e391: x197 - 0.2 b579 >= 0 e392: x226 - 0.2 b608 >= 0 e393: x240 - 0.2 b622 >= 0 e394: x254 - 0.2 b636 >= 0 e395: x268 - 0.2 b650 >= 0 e396: x282 - 0.2 b664 >= 0 e397: x296 - 0.2 b678 >= 0 e398: x310 - 0.2 b692 >= 0 e399: x324 - 0.2 b706 >= 0 e400: x128 - 0.2 b510 >= 0 e401: x142 - 0.2 b524 >= 0 e402: x156 - 0.2 b538 >= 0 e403: x170 - 0.2 b552 >= 0 e404: x184 - 0.2 b566 >= 0 e405: x198 - 0.2 b580 >= 0 e406: x212 - 0.2 b594 >= 0 e407: x241 - 0.2 b623 >= 0 e408: x255 - 0.2 b637 >= 0 e409: x269 - 0.2 b651 >= 0 e410: x283 - 0.2 b665 >= 0 e411: x297 - 0.2 b679 >= 0 e412: x311 - 0.2 b693 >= 0 e413: x325 - 0.2 b707 >= 0 e414: x129 - 0.2 b511 >= 0 e415: x143 - 0.2 b525 >= 0 e416: x157 - 0.2 b539 >= 0 e417: x171 - 0.2 b553 >= 0 e418: x185 - 0.2 b567 >= 0 e419: x199 - 0.2 b581 >= 0 e420: x213 - 0.2 b595 >= 0 e421: x227 - 0.2 b609 >= 0 e422: x256 - 0.2 b638 >= 0 e423: x270 - 0.2 b652 >= 0 e424: x284 - 0.2 b666 >= 0 e425: x298 - 0.2 b680 >= 0 e426: x312 - 0.2 b694 >= 0 e427: x326 - 0.2 b708 >= 0 e428: x130 - 0.2 b512 >= 0 e429: x144 - 0.2 b526 >= 0 e430: x158 - 0.2 b540 >= 0 e431: x172 - 0.2 b554 >= 0 e432: x186 - 0.2 b568 >= 0 e433: x200 - 0.2 b582 >= 0 e434: x214 - 0.2 b596 >= 0 e435: x228 - 0.2 b610 >= 0 e436: x242 - 0.2 b624 >= 0 e437: x271 - 0.2 b653 >= 0 e438: x285 - 0.2 b667 >= 0 e439: x299 - 0.2 b681 >= 0 e440: x313 - 0.2 b695 >= 0 e441: x327 - 0.2 b709 >= 0 e442: x131 - 0.2 b513 >= 0 e443: x145 - 0.2 b527 >= 0 e444: x159 - 0.2 b541 >= 0 e445: x173 - 0.2 b555 >= 0 e446: x187 - 0.2 b569 >= 0 e447: x201 - 0.2 b583 >= 0 e448: x215 - 0.2 b597 >= 0 e449: x229 - 0.2 b611 >= 0 e450: x243 - 0.2 b625 >= 0 e451: x257 - 0.2 b639 >= 0 e452: x286 - 0.2 b668 >= 0 e453: x300 - 0.2 b682 >= 0 e454: x314 - 0.2 b696 >= 0 e455: x328 - 0.2 b710 >= 0 e456: x132 - 0.2 b514 >= 0 e457: x146 - 0.2 b528 >= 0 e458: x160 - 0.2 b542 >= 0 e459: x174 - 0.2 b556 >= 0 e460: x188 - 0.2 b570 >= 0 e461: x202 - 0.2 b584 >= 0 e462: x216 - 0.2 b598 >= 0 e463: x230 - 0.2 b612 >= 0 e464: x244 - 0.2 b626 >= 0 e465: x258 - 0.2 b640 >= 0 e466: x272 - 0.2 b654 >= 0 e467: x301 - 0.2 b683 >= 0 e468: x315 - 0.2 b697 >= 0 e469: x329 - 0.2 b711 >= 0 e470: x133 - 0.2 b515 >= 0 e471: x147 - 0.2 b529 >= 0 e472: x161 - 0.2 b543 >= 0 e473: x175 - 0.2 b557 >= 0 e474: x189 - 0.2 b571 >= 0 e475: x203 - 0.2 b585 >= 0 e476: x217 - 0.2 b599 >= 0 e477: x231 - 0.2 b613 >= 0 e478: x245 - 0.2 b627 >= 0 e479: x259 - 0.2 b641 >= 0 e480: x273 - 0.2 b655 >= 0 e481: x287 - 0.2 b669 >= 0 e482: x316 - 0.2 b698 >= 0 e483: x330 - 0.2 b712 >= 0 e484: x134 - 0.2 b516 >= 0 e485: x148 - 0.2 b530 >= 0 e486: x162 - 0.2 b544 >= 0 e487: x176 - 0.2 b558 >= 0 e488: x190 - 0.2 b572 >= 0 e489: x204 - 0.2 b586 >= 0 e490: x218 - 0.2 b600 >= 0 e491: x232 - 0.2 b614 >= 0 e492: x246 - 0.2 b628 >= 0 e493: x260 - 0.2 b642 >= 0 e494: x274 - 0.2 b656 >= 0 e495: x288 - 0.2 b670 >= 0 e496: x302 - 0.2 b684 >= 0 e497: x331 - 0.2 b713 >= 0 e498: x135 - 0.2 b517 >= 0 e499: x149 - 0.2 b531 >= 0 e500: x163 - 0.2 b545 >= 0 e501: x177 - 0.2 b559 >= 0 e502: x191 - 0.2 b573 >= 0 e503: x205 - 0.2 b587 >= 0 e504: x219 - 0.2 b601 >= 0 e505: x233 - 0.2 b615 >= 0 e506: x247 - 0.2 b629 >= 0 e507: x261 - 0.2 b643 >= 0 e508: x275 - 0.2 b657 >= 0 e509: x289 - 0.2 b671 >= 0 e510: x303 - 0.2 b685 >= 0 e511: x317 - 0.2 b699 >= 0 e512: x136 - 300.5 b518 <= 0 e513: x150 - 300.5 b532 <= 0 e514: x164 - 300.5 b546 <= 0 e515: x178 - 300.5 b560 <= 0 e516: x192 - 300.5 b574 <= 0 e517: x206 - 300.5 b588 <= 0 e518: x220 - 300.5 b602 <= 0 e519: x234 - 300.5 b616 <= 0 e520: x248 - 300.5 b630 <= 0 e521: x262 - 300.5 b644 <= 0 e522: x276 - 300.5 b658 <= 0 e523: x290 - 300.5 b672 <= 0 e524: x304 - 300.5 b686 <= 0 e525: x318 - 300.5 b700 <= 0 e526: x122 - 300.5 b504 <= 0 e527: x151 - 300.5 b533 <= 0 e528: x165 - 300.5 b547 <= 0 e529: x179 - 300.5 b561 <= 0 e530: x193 - 300.5 b575 <= 0 e531: x207 - 300.5 b589 <= 0 e532: x221 - 300.5 b603 <= 0 e533: x235 - 300.5 b617 <= 0 e534: x249 - 300.5 b631 <= 0 e535: x263 - 300.5 b645 <= 0 e536: x277 - 300.5 b659 <= 0 e537: x291 - 300.5 b673 <= 0 e538: x305 - 300.5 b687 <= 0 e539: x319 - 300.5 b701 <= 0 e540: x123 - 300.5 b505 <= 0 e541: x137 - 300.5 b519 <= 0 e542: x166 - 300.5 b548 <= 0 e543: x180 - 300.5 b562 <= 0 e544: x194 - 300.5 b576 <= 0 e545: x208 - 300.5 b590 <= 0 e546: x222 - 300.5 b604 <= 0 e547: x236 - 300.5 b618 <= 0 e548: x250 - 300.5 b632 <= 0 e549: x264 - 300.5 b646 <= 0 e550: x278 - 300.5 b660 <= 0 e551: x292 - 300.5 b674 <= 0 e552: x306 - 300.5 b688 <= 0 e553: x320 - 300.5 b702 <= 0 e554: x124 - 300.5 b506 <= 0 e555: x138 - 300.5 b520 <= 0 e556: x152 - 300.5 b534 <= 0 e557: x181 - 300.5 b563 <= 0 e558: x195 - 300.5 b577 <= 0 e559: x209 - 300.5 b591 <= 0 e560: x223 - 300.5 b605 <= 0 e561: x237 - 300.5 b619 <= 0 e562: x251 - 300.5 b633 <= 0 e563: x265 - 300.5 b647 <= 0 e564: x279 - 300.5 b661 <= 0 e565: x293 - 300.5 b675 <= 0 e566: x307 - 300.5 b689 <= 0 e567: x321 - 300.5 b703 <= 0 e568: x125 - 300.5 b507 <= 0 e569: x139 - 300.5 b521 <= 0 e570: x153 - 300.5 b535 <= 0 e571: x167 - 300.5 b549 <= 0 e572: x196 - 300.5 b578 <= 0 e573: x210 - 300.5 b592 <= 0 e574: x224 - 300.5 b606 <= 0 e575: x238 - 300.5 b620 <= 0 e576: x252 - 300.5 b634 <= 0 e577: x266 - 300.5 b648 <= 0 e578: x280 - 300.5 b662 <= 0 e579: x294 - 300.5 b676 <= 0 e580: x308 - 300.5 b690 <= 0 e581: x322 - 300.5 b704 <= 0 e582: x126 - 300.5 b508 <= 0 e583: x140 - 300.5 b522 <= 0 e584: x154 - 300.5 b536 <= 0 e585: x168 - 300.5 b550 <= 0 e586: x182 - 300.5 b564 <= 0 e587: x211 - 300.5 b593 <= 0 e588: x225 - 300.5 b607 <= 0 e589: x239 - 300.5 b621 <= 0 e590: x253 - 300.5 b635 <= 0 e591: x267 - 300.5 b649 <= 0 e592: x281 - 300.5 b663 <= 0 e593: x295 - 300.5 b677 <= 0 e594: x309 - 300.5 b691 <= 0 e595: x323 - 300.5 b705 <= 0 e596: x127 - 300.5 b509 <= 0 e597: x141 - 300.5 b523 <= 0 e598: x155 - 300.5 b537 <= 0 e599: x169 - 300.5 b551 <= 0 e600: x183 - 300.5 b565 <= 0 e601: x197 - 300.5 b579 <= 0 e602: x226 - 300.5 b608 <= 0 e603: x240 - 300.5 b622 <= 0 e604: x254 - 300.5 b636 <= 0 e605: x268 - 300.5 b650 <= 0 e606: x282 - 300.5 b664 <= 0 e607: x296 - 300.5 b678 <= 0 e608: x310 - 300.5 b692 <= 0 e609: x324 - 300.5 b706 <= 0 e610: x128 - 300.5 b510 <= 0 e611: x142 - 300.5 b524 <= 0 e612: x156 - 300.5 b538 <= 0 e613: x170 - 300.5 b552 <= 0 e614: x184 - 300.5 b566 <= 0 e615: x198 - 300.5 b580 <= 0 e616: x212 - 300.5 b594 <= 0 e617: x241 - 300.5 b623 <= 0 e618: x255 - 300.5 b637 <= 0 e619: x269 - 300.5 b651 <= 0 e620: x283 - 300.5 b665 <= 0 e621: x297 - 300.5 b679 <= 0 e622: x311 - 300.5 b693 <= 0 e623: x325 - 300.5 b707 <= 0 e624: x129 - 300.5 b511 <= 0 e625: x143 - 300.5 b525 <= 0 e626: x157 - 300.5 b539 <= 0 e627: x171 - 300.5 b553 <= 0 e628: x185 - 300.5 b567 <= 0 e629: x199 - 300.5 b581 <= 0 e630: x213 - 300.5 b595 <= 0 e631: x227 - 300.5 b609 <= 0 e632: x256 - 300.5 b638 <= 0 e633: x270 - 300.5 b652 <= 0 e634: x284 - 300.5 b666 <= 0 e635: x298 - 300.5 b680 <= 0 e636: x312 - 300.5 b694 <= 0 e637: x326 - 300.5 b708 <= 0 e638: x130 - 300.5 b512 <= 0 e639: x144 - 300.5 b526 <= 0 e640: x158 - 300.5 b540 <= 0 e641: x172 - 300.5 b554 <= 0 e642: x186 - 300.5 b568 <= 0 e643: x200 - 300.5 b582 <= 0 e644: x214 - 300.5 b596 <= 0 e645: x228 - 300.5 b610 <= 0 e646: x242 - 300.5 b624 <= 0 e647: x271 - 300.5 b653 <= 0 e648: x285 - 300.5 b667 <= 0 e649: x299 - 300.5 b681 <= 0 e650: x313 - 300.5 b695 <= 0 e651: x327 - 300.5 b709 <= 0 e652: x131 - 300.5 b513 <= 0 e653: x145 - 300.5 b527 <= 0 e654: x159 - 300.5 b541 <= 0 e655: x173 - 300.5 b555 <= 0 e656: x187 - 300.5 b569 <= 0 e657: x201 - 300.5 b583 <= 0 e658: x215 - 300.5 b597 <= 0 e659: x229 - 300.5 b611 <= 0 e660: x243 - 300.5 b625 <= 0 e661: x257 - 300.5 b639 <= 0 e662: x286 - 300.5 b668 <= 0 e663: x300 - 300.5 b682 <= 0 e664: x314 - 300.5 b696 <= 0 e665: x328 - 300.5 b710 <= 0 e666: x132 - 300.5 b514 <= 0 e667: x146 - 300.5 b528 <= 0 e668: x160 - 300.5 b542 <= 0 e669: x174 - 300.5 b556 <= 0 e670: x188 - 300.5 b570 <= 0 e671: x202 - 300.5 b584 <= 0 e672: x216 - 300.5 b598 <= 0 e673: x230 - 300.5 b612 <= 0 e674: x244 - 300.5 b626 <= 0 e675: x258 - 300.5 b640 <= 0 e676: x272 - 300.5 b654 <= 0 e677: x301 - 300.5 b683 <= 0 e678: x315 - 300.5 b697 <= 0 e679: x329 - 300.5 b711 <= 0 e680: x133 - 300.5 b515 <= 0 e681: x147 - 300.5 b529 <= 0 e682: x161 - 300.5 b543 <= 0 e683: x175 - 300.5 b557 <= 0 e684: x189 - 300.5 b571 <= 0 e685: x203 - 300.5 b585 <= 0 e686: x217 - 300.5 b599 <= 0 e687: x231 - 300.5 b613 <= 0 e688: x245 - 300.5 b627 <= 0 e689: x259 - 300.5 b641 <= 0 e690: x273 - 300.5 b655 <= 0 e691: x287 - 300.5 b669 <= 0 e692: x316 - 300.5 b698 <= 0 e693: x330 - 300.5 b712 <= 0 e694: x134 - 300.5 b516 <= 0 e695: x148 - 300.5 b530 <= 0 e696: x162 - 300.5 b544 <= 0 e697: x176 - 300.5 b558 <= 0 e698: x190 - 300.5 b572 <= 0 e699: x204 - 300.5 b586 <= 0 e700: x218 - 300.5 b600 <= 0 e701: x232 - 300.5 b614 <= 0 e702: x246 - 300.5 b628 <= 0 e703: x260 - 300.5 b642 <= 0 e704: x274 - 300.5 b656 <= 0 e705: x288 - 300.5 b670 <= 0 e706: x302 - 300.5 b684 <= 0 e707: x331 - 300.5 b713 <= 0 e708: x135 - 300.5 b517 <= 0 e709: x149 - 300.5 b531 <= 0 e710: x163 - 300.5 b545 <= 0 e711: x177 - 300.5 b559 <= 0 e712: x191 - 300.5 b573 <= 0 e713: x205 - 300.5 b587 <= 0 e714: x219 - 300.5 b601 <= 0 e715: x233 - 300.5 b615 <= 0 e716: x247 - 300.5 b629 <= 0 e717: x261 - 300.5 b643 <= 0 e718: x275 - 300.5 b657 <= 0 e719: x289 - 300.5 b671 <= 0 e720: x303 - 300.5 b685 <= 0 e721: x317 - 300.5 b699 <= 0 e722: 10 x2 + 80 x17 + 40 x32 + 120 x47 + 50 x62 + 5 x77 + 100 x92 + [ - x107 * x339 - x122 * x339 - x123 * x339 - x124 * x339 - x125 * x339 - x126 * x339 - x127 * x339 - x128 * x339 - x129 * x339 - x130 * x339 - x131 * x339 - x132 * x339 - x133 * x339 - x134 * x339 - x135 * x339 + 0.1 x136 * x342 + 0.1 x150 * x345 + 0.1 x164 * x348 + 0.1 x178 * x351 + 0.1 x192 * x354 + 0.1 x206 * x357 + 0.1 x220 * x360 + 0.1 x234 * x363 + 0.1 x248 * x366 + 0.1 x262 * x369 + 0.1 x276 * x372 + 0.1 x290 * x375 + 0.1 x304 * x378 + 0.1 x318 * x381 ] = 0 e723: 25 x2 + 87.5 x17 + 4 x32 + 50 x47 + 35 x62 + 5 x77 + 2.5 x92 + [ - x107 * x340 - x122 * x340 - x123 * x340 - x124 * x340 - x125 * x340 - x126 * x340 - x127 * x340 - x128 * x340 - x129 * x340 - x130 * x340 - x131 * x340 - x132 * x340 - x133 * x340 - x134 * x340 - x135 * x340 + 0.05 x136 * x343 + 0.05 x150 * x346 + 0.05 x164 * x349 + 0.05 x178 * x352 + 0.05 x192 * x355 + 0.05 x206 * x358 + 0.05 x220 * x361 + 0.05 x234 * x364 + 0.05 x248 * x367 + 0.05 x262 * x370 + 0.05 x276 * x373 + 0.05 x290 * x376 + 0.05 x304 * x379 + 0.05 x318 * x382 ] = 0 e724: 500 x2 + 2000 x17 + 100 x32 + 400 x47 + 250 x62 + 50 x77 + 150 x92 + [ - x107 * x341 - x122 * x341 - x123 * x341 - x124 * x341 - x125 * x341 - x126 * x341 - x127 * x341 - x128 * x341 - x129 * x341 - x130 * x341 - x131 * x341 - x132 * x341 - x133 * x341 - x134 * x341 - x135 * x341 + x136 * x344 + x150 * x347 + x164 * x350 + x178 * x353 + x192 * x356 + x206 * x359 + x220 * x362 + x234 * x365 + x248 * x368 + x262 * x371 + x276 * x374 + x290 * x377 + x304 * x380 + x318 * x383 ] = 0 e725: 12.5 x3 + 100 x18 + 50 x33 + 150 x48 + 62.5 x63 + 6.25 x78 + 125 x93 + [ - x108 * x342 + 0.125 x122 * x339 - x136 * x342 - x137 * x342 - x138 * x342 - x139 * x342 - x140 * x342 - x141 * x342 - x142 * x342 - x143 * x342 - x144 * x342 - x145 * x342 - x146 * x342 - x147 * x342 - x148 * x342 - x149 * x342 + 0.125 x151 * x345 + 0.125 x165 * x348 + 0.125 x179 * x351 + 0.125 x193 * x354 + 0.125 x207 * x357 + 0.125 x221 * x360 + 0.125 x235 * x363 + 0.125 x249 * x366 + 0.125 x263 * x369 + 0.125 x277 * x372 + 0.125 x291 * x375 + 0.125 x305 * x378 + 0.125 x319 * x381 ] = 0 e726: 250 x3 + 875 x18 + 40 x33 + 500 x48 + 350 x63 + 50 x78 + 25 x93 + [ - x108 * x343 + 0.5 x122 * x340 - x136 * x343 - x137 * x343 - x138 * x343 - x139 * x343 - x140 * x343 - x141 * x343 - x142 * x343 - x143 * x343 - x144 * x343 - x145 * x343 - x146 * x343 - x147 * x343 - x148 * x343 - x149 * x343 + 0.5 x151 * x346 + 0.5 x165 * x349 + 0.5 x179 * x352 + 0.5 x193 * x355 + 0.5 x207 * x358 + 0.5 x221 * x361 + 0.5 x235 * x364 + 0.5 x249 * x367 + 0.5 x263 * x370 + 0.5 x277 * x373 + 0.5 x291 * x376 + 0.5 x305 * x379 + 0.5 x319 * x382 ] = 0 e727: 250 x3 + 1000 x18 + 50 x33 + 200 x48 + 125 x63 + 25 x78 + 75 x93 + [ - x108 * x344 + 0.5 x122 * x341 - x136 * x344 - x137 * x344 - x138 * x344 - x139 * x344 - x140 * x344 - x141 * x344 - x142 * x344 - x143 * x344 - x144 * x344 - x145 * x344 - x146 * x344 - x147 * x344 - x148 * x344 - x149 * x344 + 0.5 x151 * x347 + 0.5 x165 * x350 + 0.5 x179 * x353 + 0.5 x193 * x356 + 0.5 x207 * x359 + 0.5 x221 * x362 + 0.5 x235 * x365 + 0.5 x249 * x368 + 0.5 x263 * x371 + 0.5 x277 * x374 + 0.5 x291 * x377 + 0.5 x305 * x380 + 0.5 x319 * x383 ] = 0 e728: x4 + 8 x19 + 4 x34 + 12 x49 + 5 x64 + 0.5 x79 + 10 x94 + [ - x109 * x345 + 0.01 x123 * x339 + 0.01 x137 * x342 - x150 * x345 - x151 * x345 - x152 * x345 - x153 * x345 - x154 * x345 - x155 * x345 - x156 * x345 - x157 * x345 - x158 * x345 - x159 * x345 - x160 * x345 - x161 * x345 - x162 * x345 - x163 * x345 + 0.01 x166 * x348 + 0.01 x180 * x351 + 0.01 x194 * x354 + 0.01 x208 * x357 + 0.01 x222 * x360 + 0.01 x236 * x363 + 0.01 x250 * x366 + 0.01 x264 * x369 + 0.01 x278 * x372 + 0.01 x292 * x375 + 0.01 x306 * x378 + 0.01 x320 * x381 ] = 0 e729: 50 x4 + 175 x19 + 8 x34 + 100 x49 + 70 x64 + 10 x79 + 5 x94 + [ - x109 * x346 + 0.1 x123 * x340 + 0.1 x137 * x343 - x150 * x346 - x151 * x346 - x152 * x346 - x153 * x346 - x154 * x346 - x155 * x346 - x156 * x346 - x157 * x346 - x158 * x346 - x159 * x346 - x160 * x346 - x161 * x346 - x162 * x346 - x163 * x346 + 0.1 x166 * x349 + 0.1 x180 * x352 + 0.1 x194 * x355 + 0.1 x208 * x358 + 0.1 x222 * x361 + 0.1 x236 * x364 + 0.1 x250 * x367 + 0.1 x264 * x370 + 0.1 x278 * x373 + 0.1 x292 * x376 + 0.1 x306 * x379 + 0.1 x320 * x382 ] = 0 e730: 25 x4 + 100 x19 + 5 x34 + 20 x49 + 12.5 x64 + 2.5 x79 + 7.5 x94 + [ - x109 * x347 + 0.05 x123 * x341 + 0.05 x137 * x344 - x150 * x347 - x151 * x347 - x152 * x347 - x153 * x347 - x154 * x347 - x155 * x347 - x156 * x347 - x157 * x347 - x158 * x347 - x159 * x347 - x160 * x347 - x161 * x347 - x162 * x347 - x163 * x347 + 0.05 x166 * x350 + 0.05 x180 * x353 + 0.05 x194 * x356 + 0.05 x208 * x359 + 0.05 x222 * x362 + 0.05 x236 * x365 + 0.05 x250 * x368 + 0.05 x264 * x371 + 0.05 x278 * x374 + 0.05 x292 * x377 + 0.05 x306 * x380 + 0.05 x320 * x383 ] = 0 e731: 100 x5 + 800 x20 + 400 x35 + 1200 x50 + 500 x65 + 50 x80 + 1000 x95 + [ - x110 * x348 + x124 * x339 + x138 * x342 + x152 * x345 - x164 * x348 - x165 * x348 - x166 * x348 - x167 * x348 - x168 * x348 - x169 * x348 - x170 * x348 - x171 * x348 - x172 * x348 - x173 * x348 - x174 * x348 - x175 * x348 - x176 * x348 - x177 * x348 + x181 * x351 + x195 * x354 + x209 * x357 + x223 * x360 + x237 * x363 + x251 * x366 + x265 * x369 + x279 * x372 + x293 * x375 + x307 * x378 + x321 * x381 ] = 0 e732: 125 x5 + 437.5 x20 + 20 x35 + 250 x50 + 175 x65 + 25 x80 + 12.5 x95 + [ - x110 * x349 + 0.25 x124 * x340 + 0.25 x138 * x343 + 0.25 x152 * x346 - x164 * x349 - x165 * x349 - x166 * x349 - x167 * x349 - x168 * x349 - x169 * x349 - x170 * x349 - x171 * x349 - x172 * x349 - x173 * x349 - x174 * x349 - x175 * x349 - x176 * x349 - x177 * x349 + 0.25 x181 * x352 + 0.25 x195 * x355 + 0.25 x209 * x358 + 0.25 x223 * x361 + 0.25 x237 * x364 + 0.25 x251 * x367 + 0.25 x265 * x370 + 0.25 x279 * x373 + 0.25 x293 * x376 + 0.25 x307 * x379 + 0.25 x321 * x382 ] = 0 e733: 125 x5 + 500 x20 + 25 x35 + 100 x50 + 62.5 x65 + 12.5 x80 + 37.5 x95 + [ - x110 * x350 + 0.25 x124 * x341 + 0.25 x138 * x344 + 0.25 x152 * x347 - x164 * x350 - x165 * x350 - x166 * x350 - x167 * x350 - x168 * x350 - x169 * x350 - x170 * x350 - x171 * x350 - x172 * x350 - x173 * x350 - x174 * x350 - x175 * x350 - x176 * x350 - x177 * x350 + 0.25 x181 * x353 + 0.25 x195 * x356 + 0.25 x209 * x359 + 0.25 x223 * x362 + 0.25 x237 * x365 + 0.25 x251 * x368 + 0.25 x265 * x371 + 0.25 x279 * x374 + 0.25 x293 * x377 + 0.25 x307 * x380 + 0.25 x321 * x383 ] = 0 e734: 10 x6 + 80 x21 + 40 x36 + 120 x51 + 50 x66 + 5 x81 + 100 x96 + [ - x111 * x351 + 0.1 x125 * x339 + 0.1 x139 * x342 + 0.1 x153 * x345 + 0.1 x167 * x348 - x178 * x351 - x179 * x351 - x180 * x351 - x181 * x351 - x182 * x351 - x183 * x351 - x184 * x351 - x185 * x351 - x186 * x351 - x187 * x351 - x188 * x351 - x189 * x351 - x190 * x351 - x191 * x351 + 0.1 x196 * x354 + 0.1 x210 * x357 + 0.1 x224 * x360 + 0.1 x238 * x363 + 0.1 x252 * x366 + 0.1 x266 * x369 + 0.1 x280 * x372 + 0.1 x294 * x375 + 0.1 x308 * x378 + 0.1 x322 * x381 ] = 0 e735: 50 x6 + 175 x21 + 8 x36 + 100 x51 + 70 x66 + 10 x81 + 5 x96 + [ - x111 * x352 + 0.1 x125 * x340 + 0.1 x139 * x343 + 0.1 x153 * x346 + 0.1 x167 * x349 - x178 * x352 - x179 * x352 - x180 * x352 - x181 * x352 - x182 * x352 - x183 * x352 - x184 * x352 - x185 * x352 - x186 * x352 - x187 * x352 - x188 * x352 - x189 * x352 - x190 * x352 - x191 * x352 + 0.1 x196 * x355 + 0.1 x210 * x358 + 0.1 x224 * x361 + 0.1 x238 * x364 + 0.1 x252 * x367 + 0.1 x266 * x370 + 0.1 x280 * x373 + 0.1 x294 * x376 + 0.1 x308 * x379 + 0.1 x322 * x382 ] = 0 e736: 400 x6 + 1600 x21 + 80 x36 + 320 x51 + 200 x66 + 40 x81 + 120 x96 + [ - x111 * x353 + 0.8 x125 * x341 + 0.8 x139 * x344 + 0.8 x153 * x347 + 0.8 x167 * x350 - x178 * x353 - x179 * x353 - x180 * x353 - x181 * x353 - x182 * x353 - x183 * x353 - x184 * x353 - x185 * x353 - x186 * x353 - x187 * x353 - x188 * x353 - x189 * x353 - x190 * x353 - x191 * x353 + 0.8 x196 * x356 + 0.8 x210 * x359 + 0.8 x224 * x362 + 0.8 x238 * x365 + 0.8 x252 * x368 + 0.8 x266 * x371 + 0.8 x280 * x374 + 0.8 x294 * x377 + 0.8 x308 * x380 + 0.8 x322 * x383 ] = 0 e737: 100 x7 + 800 x22 + 400 x37 + 1200 x52 + 500 x67 + 50 x82 + 1000 x97 + [ - x112 * x354 + x126 * x339 + x140 * x342 + x154 * x345 + x168 * x348 + x182 * x351 - x192 * x354 - x193 * x354 - x194 * x354 - x195 * x354 - x196 * x354 - x197 * x354 - x198 * x354 - x199 * x354 - x200 * x354 - x201 * x354 - x202 * x354 - x203 * x354 - x204 * x354 - x205 * x354 + x211 * x357 + x225 * x360 + x239 * x363 + x253 * x366 + x267 * x369 + x281 * x372 + x295 * x375 + x309 * x378 + x323 * x381 ] = 0 e738: 500 x7 + 1750 x22 + 80 x37 + 1000 x52 + 700 x67 + 100 x82 + 50 x97 + [ - x112 * x355 + x126 * x340 + x140 * x343 + x154 * x346 + x168 * x349 + x182 * x352 - x192 * x355 - x193 * x355 - x194 * x355 - x195 * x355 - x196 * x355 - x197 * x355 - x198 * x355 - x199 * x355 - x200 * x355 - x201 * x355 - x202 * x355 - x203 * x355 - x204 * x355 - x205 * x355 + x211 * x358 + x225 * x361 + x239 * x364 + x253 * x367 + x267 * x370 + x281 * x373 + x295 * x376 + x309 * x379 + x323 * x382 ] = 0 e739: 25 x7 + 100 x22 + 5 x37 + 20 x52 + 12.5 x67 + 2.5 x82 + 7.5 x97 + [ - x112 * x356 + 0.05 x126 * x341 + 0.05 x140 * x344 + 0.05 x154 * x347 + 0.05 x168 * x350 + 0.05 x182 * x353 - x192 * x356 - x193 * x356 - x194 * x356 - x195 * x356 - x196 * x356 - x197 * x356 - x198 * x356 - x199 * x356 - x200 * x356 - x201 * x356 - x202 * x356 - x203 * x356 - x204 * x356 - x205 * x356 + 0.05 x211 * x359 + 0.05 x225 * x362 + 0.05 x239 * x365 + 0.05 x253 * x368 + 0.05 x267 * x371 + 0.05 x281 * x374 + 0.05 x295 * x377 + 0.05 x309 * x380 + 0.05 x323 * x383 ] = 0 e740: 100 x8 + 800 x23 + 400 x38 + 1200 x53 + 500 x68 + 50 x83 + 1000 x98 + [ - x113 * x357 + x127 * x339 + x141 * x342 + x155 * x345 + x169 * x348 + x183 * x351 + x197 * x354 - x206 * x357 - x207 * x357 - x208 * x357 - x209 * x357 - x210 * x357 - x211 * x357 - x212 * x357 - x213 * x357 - x214 * x357 - x215 * x357 - x216 * x357 - x217 * x357 - x218 * x357 - x219 * x357 + x226 * x360 + x240 * x363 + x254 * x366 + x268 * x369 + x282 * x372 + x296 * x375 + x310 * x378 + x324 * x381 ] = 0 e741: 65 x8 + 227.5 x23 + 10.4 x38 + 130 x53 + 91 x68 + 13 x83 + 6.5 x98 + [ - x113 * x358 + 0.13 x127 * x340 + 0.13 x141 * x343 + 0.13 x155 * x346 + 0.13 x169 * x349 + 0.13 x183 * x352 + 0.13 x197 * x355 - x206 * x358 - x207 * x358 - x208 * x358 - x209 * x358 - x210 * x358 - x211 * x358 - x212 * x358 - x213 * x358 - x214 * x358 - x215 * x358 - x216 * x358 - x217 * x358 - x218 * x358 - x219 * x358 + 0.13 x226 * x361 + 0.13 x240 * x364 + 0.13 x254 * x367 + 0.13 x268 * x370 + 0.13 x282 * x373 + 0.13 x296 * x376 + 0.13 x310 * x379 + 0.13 x324 * x382 ] = 0 e742: 50 x8 + 200 x23 + 10 x38 + 40 x53 + 25 x68 + 5 x83 + 15 x98 + [ - x113 * x359 + 0.1 x127 * x341 + 0.1 x141 * x344 + 0.1 x155 * x347 + 0.1 x169 * x350 + 0.1 x183 * x353 + 0.1 x197 * x356 - x206 * x359 - x207 * x359 - x208 * x359 - x209 * x359 - x210 * x359 - x211 * x359 - x212 * x359 - x213 * x359 - x214 * x359 - x215 * x359 - x216 * x359 - x217 * x359 - x218 * x359 - x219 * x359 + 0.1 x226 * x362 + 0.1 x240 * x365 + 0.1 x254 * x368 + 0.1 x268 * x371 + 0.1 x282 * x374 + 0.1 x296 * x377 + 0.1 x310 * x380 + 0.1 x324 * x383 ] = 0 e743: 0.5 x9 + 4 x24 + 2 x39 + 6 x54 + 2.5 x69 + 0.25 x84 + 5 x99 + [ - x114 * x360 + 0.005 x128 * x339 + 0.005 x142 * x342 + 0.005 x156 * x345 + 0.005 x170 * x348 + 0.005 x184 * x351 + 0.005 x198 * x354 + 0.005 x212 * x357 - x220 * x360 - x221 * x360 - x222 * x360 - x223 * x360 - x224 * x360 - x225 * x360 - x226 * x360 - x227 * x360 - x228 * x360 - x229 * x360 - x230 * x360 - x231 * x360 - x232 * x360 - x233 * x360 + 0.005 x241 * x363 + 0.005 x255 * x366 + 0.005 x269 * x369 + 0.005 x283 * x372 + 0.005 x297 * x375 + 0.005 x311 * x378 + 0.005 x325 * x381 ] = 0 e744: 500 x9 + 1750 x24 + 80 x39 + 1000 x54 + 700 x69 + 100 x84 + 50 x99 + [ - x114 * x361 + x128 * x340 + x142 * x343 + x156 * x346 + x170 * x349 + x184 * x352 + x198 * x355 + x212 * x358 - x220 * x361 - x221 * x361 - x222 * x361 - x223 * x361 - x224 * x361 - x225 * x361 - x226 * x361 - x227 * x361 - x228 * x361 - x229 * x361 - x230 * x361 - x231 * x361 - x232 * x361 - x233 * x361 + x241 * x364 + x255 * x367 + x269 * x370 + x283 * x373 + x297 * x376 + x311 * x379 + x325 * x382 ] = 0 e745: 500 x9 + 2000 x24 + 100 x39 + 400 x54 + 250 x69 + 50 x84 + 150 x99 + [ - x114 * x362 + x128 * x341 + x142 * x344 + x156 * x347 + x170 * x350 + x184 * x353 + x198 * x356 + x212 * x359 - x220 * x362 - x221 * x362 - x222 * x362 - x223 * x362 - x224 * x362 - x225 * x362 - x226 * x362 - x227 * x362 - x228 * x362 - x229 * x362 - x230 * x362 - x231 * x362 - x232 * x362 - x233 * x362 + x241 * x365 + x255 * x368 + x269 * x371 + x283 * x374 + x297 * x377 + x311 * x380 + x325 * x383 ] = 0 e746: 90 x10 + 720 x25 + 360 x40 + 1080 x55 + 450 x70 + 45 x85 + 900 x100 + [ - x115 * x363 + 0.9 x129 * x339 + 0.9 x143 * x342 + 0.9 x157 * x345 + 0.9 x171 * x348 + 0.9 x185 * x351 + 0.9 x199 * x354 + 0.9 x213 * x357 + 0.9 x227 * x360 - x234 * x363 - x235 * x363 - x236 * x363 - x237 * x363 - x238 * x363 - x239 * x363 - x240 * x363 - x241 * x363 - x242 * x363 - x243 * x363 - x244 * x363 - x245 * x363 - x246 * x363 - x247 * x363 + 0.9 x256 * x366 + 0.9 x270 * x369 + 0.9 x284 * x372 + 0.9 x298 * x375 + 0.9 x312 * x378 + 0.9 x326 * x381 ] = 0 e747: 5 x10 + 17.5 x25 + 0.8 x40 + 10 x55 + 7 x70 + x85 + 0.5 x100 + [ - x115 * x364 + 0.01 x129 * x340 + 0.01 x143 * x343 + 0.01 x157 * x346 + 0.01 x171 * x349 + 0.01 x185 * x352 + 0.01 x199 * x355 + 0.01 x213 * x358 + 0.01 x227 * x361 - x234 * x364 - x235 * x364 - x236 * x364 - x237 * x364 - x238 * x364 - x239 * x364 - x240 * x364 - x241 * x364 - x242 * x364 - x243 * x364 - x244 * x364 - x245 * x364 - x246 * x364 - x247 * x364 + 0.01 x256 * x367 + 0.01 x270 * x370 + 0.01 x284 * x373 + 0.01 x298 * x376 + 0.01 x312 * x379 + 0.01 x326 * x382 ] = 0 e748: 500 x10 + 2000 x25 + 100 x40 + 400 x55 + 250 x70 + 50 x85 + 150 x100 + [ - x115 * x365 + x129 * x341 + x143 * x344 + x157 * x347 + x171 * x350 + x185 * x353 + x199 * x356 + x213 * x359 + x227 * x362 - x234 * x365 - x235 * x365 - x236 * x365 - x237 * x365 - x238 * x365 - x239 * x365 - x240 * x365 - x241 * x365 - x242 * x365 - x243 * x365 - x244 * x365 - x245 * x365 - x246 * x365 - x247 * x365 + x256 * x368 + x270 * x371 + x284 * x374 + x298 * x377 + x312 * x380 + x326 * x383 ] = 0 e749: 30 x11 + 240 x26 + 120 x41 + 360 x56 + 150 x71 + 15 x86 + 300 x101 + [ - x116 * x366 + 0.3 x130 * x339 + 0.3 x144 * x342 + 0.3 x158 * x345 + 0.3 x172 * x348 + 0.3 x186 * x351 + 0.3 x200 * x354 + 0.3 x214 * x357 + 0.3 x228 * x360 + 0.3 x242 * x363 - x248 * x366 - x249 * x366 - x250 * x366 - x251 * x366 - x252 * x366 - x253 * x366 - x254 * x366 - x255 * x366 - x256 * x366 - x257 * x366 - x258 * x366 - x259 * x366 - x260 * x366 - x261 * x366 + 0.3 x271 * x369 + 0.3 x285 * x372 + 0.3 x299 * x375 + 0.3 x313 * x378 + 0.3 x327 * x381 ] = 0 e750: 400 x11 + 1400 x26 + 64 x41 + 800 x56 + 560 x71 + 80 x86 + 40 x101 + [ - x116 * x367 + 0.8 x130 * x340 + 0.8 x144 * x343 + 0.8 x158 * x346 + 0.8 x172 * x349 + 0.8 x186 * x352 + 0.8 x200 * x355 + 0.8 x214 * x358 + 0.8 x228 * x361 + 0.8 x242 * x364 - x248 * x367 - x249 * x367 - x250 * x367 - x251 * x367 - x252 * x367 - x253 * x367 - x254 * x367 - x255 * x367 - x256 * x367 - x257 * x367 - x258 * x367 - x259 * x367 - x260 * x367 - x261 * x367 + 0.8 x271 * x370 + 0.8 x285 * x373 + 0.8 x299 * x376 + 0.8 x313 * x379 + 0.8 x327 * x382 ] = 0 e751: 350 x11 + 1400 x26 + 70 x41 + 280 x56 + 175 x71 + 35 x86 + 105 x101 + [ - x116 * x368 + 0.7 x130 * x341 + 0.7 x144 * x344 + 0.7 x158 * x347 + 0.7 x172 * x350 + 0.7 x186 * x353 + 0.7 x200 * x356 + 0.7 x214 * x359 + 0.7 x228 * x362 + 0.7 x242 * x365 - x248 * x368 - x249 * x368 - x250 * x368 - x251 * x368 - x252 * x368 - x253 * x368 - x254 * x368 - x255 * x368 - x256 * x368 - x257 * x368 - x258 * x368 - x259 * x368 - x260 * x368 - x261 * x368 + 0.7 x271 * x371 + 0.7 x285 * x374 + 0.7 x299 * x377 + 0.7 x313 * x380 + 0.7 x327 * x383 ] = 0 e752: x12 + 8 x27 + 4 x42 + 12 x57 + 5 x72 + 0.5 x87 + 10 x102 + [ - x117 * x369 + 0.01 x131 * x339 + 0.01 x145 * x342 + 0.01 x159 * x345 + 0.01 x173 * x348 + 0.01 x187 * x351 + 0.01 x201 * x354 + 0.01 x215 * x357 + 0.01 x229 * x360 + 0.01 x243 * x363 + 0.01 x257 * x366 - x262 * x369 - x263 * x369 - x264 * x369 - x265 * x369 - x266 * x369 - x267 * x369 - x268 * x369 - x269 * x369 - x270 * x369 - x271 * x369 - x272 * x369 - x273 * x369 - x274 * x369 - x275 * x369 + 0.01 x286 * x372 + 0.01 x300 * x375 + 0.01 x314 * x378 + 0.01 x328 * x381 ] = 0 e753: 50 x12 + 175 x27 + 8 x42 + 100 x57 + 70 x72 + 10 x87 + 5 x102 + [ - x117 * x370 + 0.1 x131 * x340 + 0.1 x145 * x343 + 0.1 x159 * x346 + 0.1 x173 * x349 + 0.1 x187 * x352 + 0.1 x201 * x355 + 0.1 x215 * x358 + 0.1 x229 * x361 + 0.1 x243 * x364 + 0.1 x257 * x367 - x262 * x370 - x263 * x370 - x264 * x370 - x265 * x370 - x266 * x370 - x267 * x370 - x268 * x370 - x269 * x370 - x270 * x370 - x271 * x370 - x272 * x370 - x273 * x370 - x274 * x370 - x275 * x370 + 0.1 x286 * x373 + 0.1 x300 * x376 + 0.1 x314 * x379 + 0.1 x328 * x382 ] = 0 e754: 25 x12 + 100 x27 + 5 x42 + 20 x57 + 12.5 x72 + 2.5 x87 + 7.5 x102 + [ - x117 * x371 + 0.05 x131 * x341 + 0.05 x145 * x344 + 0.05 x159 * x347 + 0.05 x173 * x350 + 0.05 x187 * x353 + 0.05 x201 * x356 + 0.05 x215 * x359 + 0.05 x229 * x362 + 0.05 x243 * x365 + 0.05 x257 * x368 - x262 * x371 - x263 * x371 - x264 * x371 - x265 * x371 - x266 * x371 - x267 * x371 - x268 * x371 - x269 * x371 - x270 * x371 - x271 * x371 - x272 * x371 - x273 * x371 - x274 * x371 - x275 * x371 + 0.05 x286 * x374 + 0.05 x300 * x377 + 0.05 x314 * x380 + 0.05 x328 * x383 ] = 0 e755: 100 x13 + 800 x28 + 400 x43 + 1200 x58 + 500 x73 + 50 x88 + 1000 x103 + [ - x118 * x372 + x132 * x339 + x146 * x342 + x160 * x345 + x174 * x348 + x188 * x351 + x202 * x354 + x216 * x357 + x230 * x360 + x244 * x363 + x258 * x366 + x272 * x369 - x276 * x372 - x277 * x372 - x278 * x372 - x279 * x372 - x280 * x372 - x281 * x372 - x282 * x372 - x283 * x372 - x284 * x372 - x285 * x372 - x286 * x372 - x287 * x372 - x288 * x372 - x289 * x372 + x301 * x375 + x315 * x378 + x329 * x381 ] = 0 e756: 65 x13 + 227.5 x28 + 10.4 x43 + 130 x58 + 91 x73 + 13 x88 + 6.5 x103 + [ - x118 * x373 + 0.13 x132 * x340 + 0.13 x146 * x343 + 0.13 x160 * x346 + 0.13 x174 * x349 + 0.13 x188 * x352 + 0.13 x202 * x355 + 0.13 x216 * x358 + 0.13 x230 * x361 + 0.13 x244 * x364 + 0.13 x258 * x367 + 0.13 x272 * x370 - x276 * x373 - x277 * x373 - x278 * x373 - x279 * x373 - x280 * x373 - x281 * x373 - x282 * x373 - x283 * x373 - x284 * x373 - x285 * x373 - x286 * x373 - x287 * x373 - x288 * x373 - x289 * x373 + 0.13 x301 * x376 + 0.13 x315 * x379 + 0.13 x329 * x382 ] = 0 e757: 50 x13 + 200 x28 + 10 x43 + 40 x58 + 25 x73 + 5 x88 + 15 x103 + [ - x118 * x374 + 0.1 x132 * x341 + 0.1 x146 * x344 + 0.1 x160 * x347 + 0.1 x174 * x350 + 0.1 x188 * x353 + 0.1 x202 * x356 + 0.1 x216 * x359 + 0.1 x230 * x362 + 0.1 x244 * x365 + 0.1 x258 * x368 + 0.1 x272 * x371 - x276 * x374 - x277 * x374 - x278 * x374 - x279 * x374 - x280 * x374 - x281 * x374 - x282 * x374 - x283 * x374 - x284 * x374 - x285 * x374 - x286 * x374 - x287 * x374 - x288 * x374 - x289 * x374 + 0.1 x301 * x377 + 0.1 x315 * x380 + 0.1 x329 * x383 ] = 0 e758: 90 x14 + 720 x29 + 360 x44 + 1080 x59 + 450 x74 + 45 x89 + 900 x104 + [ - x119 * x375 + 0.9 x133 * x339 + 0.9 x147 * x342 + 0.9 x161 * x345 + 0.9 x175 * x348 + 0.9 x189 * x351 + 0.9 x203 * x354 + 0.9 x217 * x357 + 0.9 x231 * x360 + 0.9 x245 * x363 + 0.9 x259 * x366 + 0.9 x273 * x369 + 0.9 x287 * x372 - x290 * x375 - x291 * x375 - x292 * x375 - x293 * x375 - x294 * x375 - x295 * x375 - x296 * x375 - x297 * x375 - x298 * x375 - x299 * x375 - x300 * x375 - x301 * x375 - x302 * x375 - x303 * x375 + 0.9 x316 * x378 + 0.9 x330 * x381 ] = 0 e759: 5 x14 + 17.5 x29 + 0.8 x44 + 10 x59 + 7 x74 + x89 + 0.5 x104 + [ - x119 * x376 + 0.01 x133 * x340 + 0.01 x147 * x343 + 0.01 x161 * x346 + 0.01 x175 * x349 + 0.01 x189 * x352 + 0.01 x203 * x355 + 0.01 x217 * x358 + 0.01 x231 * x361 + 0.01 x245 * x364 + 0.01 x259 * x367 + 0.01 x273 * x370 + 0.01 x287 * x373 - x290 * x376 - x291 * x376 - x292 * x376 - x293 * x376 - x294 * x376 - x295 * x376 - x296 * x376 - x297 * x376 - x298 * x376 - x299 * x376 - x300 * x376 - x301 * x376 - x302 * x376 - x303 * x376 + 0.01 x316 * x379 + 0.01 x330 * x382 ] = 0 e760: 500 x14 + 2000 x29 + 100 x44 + 400 x59 + 250 x74 + 50 x89 + 150 x104 + [ - x119 * x377 + x133 * x341 + x147 * x344 + x161 * x347 + x175 * x350 + x189 * x353 + x203 * x356 + x217 * x359 + x231 * x362 + x245 * x365 + x259 * x368 + x273 * x371 + x287 * x374 - x290 * x377 - x291 * x377 - x292 * x377 - x293 * x377 - x294 * x377 - x295 * x377 - x296 * x377 - x297 * x377 - x298 * x377 - x299 * x377 - x300 * x377 - x301 * x377 - x302 * x377 - x303 * x377 + x316 * x380 + x330 * x383 ] = 0 e761: 30 x15 + 240 x30 + 120 x45 + 360 x60 + 150 x75 + 15 x90 + 300 x105 + [ - x120 * x378 + 0.3 x134 * x339 + 0.3 x148 * x342 + 0.3 x162 * x345 + 0.3 x176 * x348 + 0.3 x190 * x351 + 0.3 x204 * x354 + 0.3 x218 * x357 + 0.3 x232 * x360 + 0.3 x246 * x363 + 0.3 x260 * x366 + 0.3 x274 * x369 + 0.3 x288 * x372 + 0.3 x302 * x375 - x304 * x378 - x305 * x378 - x306 * x378 - x307 * x378 - x308 * x378 - x309 * x378 - x310 * x378 - x311 * x378 - x312 * x378 - x313 * x378 - x314 * x378 - x315 * x378 - x316 * x378 - x317 * x378 + 0.3 x331 * x381 ] = 0 e762: 400 x15 + 1400 x30 + 64 x45 + 800 x60 + 560 x75 + 80 x90 + 40 x105 + [ - x120 * x379 + 0.8 x134 * x340 + 0.8 x148 * x343 + 0.8 x162 * x346 + 0.8 x176 * x349 + 0.8 x190 * x352 + 0.8 x204 * x355 + 0.8 x218 * x358 + 0.8 x232 * x361 + 0.8 x246 * x364 + 0.8 x260 * x367 + 0.8 x274 * x370 + 0.8 x288 * x373 + 0.8 x302 * x376 - x304 * x379 - x305 * x379 - x306 * x379 - x307 * x379 - x308 * x379 - x309 * x379 - x310 * x379 - x311 * x379 - x312 * x379 - x313 * x379 - x314 * x379 - x315 * x379 - x316 * x379 - x317 * x379 + 0.8 x331 * x382 ] = 0 e763: 350 x15 + 1400 x30 + 70 x45 + 280 x60 + 175 x75 + 35 x90 + 105 x105 + [ - x120 * x380 + 0.7 x134 * x341 + 0.7 x148 * x344 + 0.7 x162 * x347 + 0.7 x176 * x350 + 0.7 x190 * x353 + 0.7 x204 * x356 + 0.7 x218 * x359 + 0.7 x232 * x362 + 0.7 x246 * x365 + 0.7 x260 * x368 + 0.7 x274 * x371 + 0.7 x288 * x374 + 0.7 x302 * x377 - x304 * x380 - x305 * x380 - x306 * x380 - x307 * x380 - x308 * x380 - x309 * x380 - x310 * x380 - x311 * x380 - x312 * x380 - x313 * x380 - x314 * x380 - x315 * x380 - x316 * x380 - x317 * x380 + 0.7 x331 * x383 ] = 0 e764: 10 x16 + 80 x31 + 40 x46 + 120 x61 + 50 x76 + 5 x91 + 100 x106 + [ - x121 * x381 + 0.1 x135 * x339 + 0.1 x149 * x342 + 0.1 x163 * x345 + 0.1 x177 * x348 + 0.1 x191 * x351 + 0.1 x205 * x354 + 0.1 x219 * x357 + 0.1 x233 * x360 + 0.1 x247 * x363 + 0.1 x261 * x366 + 0.1 x275 * x369 + 0.1 x289 * x372 + 0.1 x303 * x375 + 0.1 x317 * x378 - x318 * x381 - x319 * x381 - x320 * x381 - x321 * x381 - x322 * x381 - x323 * x381 - x324 * x381 - x325 * x381 - x326 * x381 - x327 * x381 - x328 * x381 - x329 * x381 - x330 * x381 - x331 * x381 ] = 0 e765: 25 x16 + 87.5 x31 + 4 x46 + 50 x61 + 35 x76 + 5 x91 + 2.5 x106 + [ - x121 * x382 + 0.05 x135 * x340 + 0.05 x149 * x343 + 0.05 x163 * x346 + 0.05 x177 * x349 + 0.05 x191 * x352 + 0.05 x205 * x355 + 0.05 x219 * x358 + 0.05 x233 * x361 + 0.05 x247 * x364 + 0.05 x261 * x367 + 0.05 x275 * x370 + 0.05 x289 * x373 + 0.05 x303 * x376 + 0.05 x317 * x379 - x318 * x382 - x319 * x382 - x320 * x382 - x321 * x382 - x322 * x382 - x323 * x382 - x324 * x382 - x325 * x382 - x326 * x382 - x327 * x382 - x328 * x382 - x329 * x382 - x330 * x382 - x331 * x382 ] = 0 e766: 500 x16 + 2000 x31 + 100 x46 + 400 x61 + 250 x76 + 50 x91 + 150 x106 + [ - x121 * x383 + x135 * x341 + x149 * x344 + x163 * x347 + x177 * x350 + x191 * x353 + x205 * x356 + x219 * x359 + x233 * x362 + x247 * x365 + x261 * x368 + x275 * x371 + x289 * x374 + x303 * x377 + x317 * x380 - x318 * x383 - x319 * x383 - x320 * x383 - x321 * x383 - x322 * x383 - x323 * x383 - x324 * x383 - x325 * x383 - x326 * x383 - x327 * x383 - x328 * x383 - x329 * x383 - x330 * x383 - x331 * x383 ] = 0 e767: - 5 x107 - 5 x108 - 5 x109 - 5 x110 - 5 x111 - 5 x112 - 5 x113 - 5 x114 - 5 x115 - 5 x116 - 5 x117 - 5 x118 - 5 x119 - 5 x120 - 5 x121 + 95 x332 + 795 x333 + 395 x334 + 1195 x335 + 495 x336 + 45 x337 + 995 x338 + [ x107 * x339 + x108 * x342 + x109 * x345 + x110 * x348 + x111 * x351 + x112 * x354 + x113 * x357 + x114 * x360 + x115 * x363 + x116 * x366 + x117 * x369 + x118 * x372 + x119 * x375 + x120 * x378 + x121 * x381 ] <= 0 e768: - 5 x107 - 5 x108 - 5 x109 - 5 x110 - 5 x111 - 5 x112 - 5 x113 - 5 x114 - 5 x115 - 5 x116 - 5 x117 - 5 x118 - 5 x119 - 5 x120 - 5 x121 + 495 x332 + 1745 x333 + 75 x334 + 995 x335 + 695 x336 + 95 x337 + 45 x338 + [ x107 * x340 + x108 * x343 + x109 * x346 + x110 * x349 + x111 * x352 + x112 * x355 + x113 * x358 + x114 * x361 + x115 * x364 + x116 * x367 + x117 * x370 + x118 * x373 + x119 * x376 + x120 * x379 + x121 * x382 ] <= 0 e769: - 10 x107 - 10 x108 - 10 x109 - 10 x110 - 10 x111 - 10 x112 - 10 x113 - 10 x114 - 10 x115 - 10 x116 - 10 x117 - 10 x118 - 10 x119 - 10 x120 - 10 x121 + 490 x332 + 1990 x333 + 90 x334 + 390 x335 + 240 x336 + 40 x337 + 140 x338 + [ x107 * x341 + x108 * x344 + x109 * x347 + x110 * x350 + x111 * x353 + x112 * x356 + x113 * x359 + x114 * x362 + x115 * x365 + x116 * x368 + x117 * x371 + x118 * x374 + x119 * x377 + x120 * x380 + x121 * x383 ] <= 0 Bounds x2 <= 20 x3 <= 20 x4 <= 20 x5 <= 20 x6 <= 20 x7 <= 20 x8 <= 20 x9 <= 20 x10 <= 20 x11 <= 20 x12 <= 20 x13 <= 20 x14 <= 20 x15 <= 20 x16 <= 20 x17 <= 50 x18 <= 50 x19 <= 50 x20 <= 50 x21 <= 50 x22 <= 50 x23 <= 50 x24 <= 50 x25 <= 50 x26 <= 50 x27 <= 50 x28 <= 50 x29 <= 50 x30 <= 50 x31 <= 50 x32 <= 47.5 x33 <= 47.5 x34 <= 47.5 x35 <= 47.5 x36 <= 47.5 x37 <= 47.5 x38 <= 47.5 x39 <= 47.5 x40 <= 47.5 x41 <= 47.5 x42 <= 47.5 x43 <= 47.5 x44 <= 47.5 x45 <= 47.5 x46 <= 47.5 x47 <= 28 x48 <= 28 x49 <= 28 x50 <= 28 x51 <= 28 x52 <= 28 x53 <= 28 x54 <= 28 x55 <= 28 x56 <= 28 x57 <= 28 x58 <= 28 x59 <= 28 x60 <= 28 x61 <= 28 x62 <= 100 x63 <= 100 x64 <= 100 x65 <= 100 x66 <= 100 x67 <= 100 x68 <= 100 x69 <= 100 x70 <= 100 x71 <= 100 x72 <= 100 x73 <= 100 x74 <= 100 x75 <= 100 x76 <= 100 x77 <= 30 x78 <= 30 x79 <= 30 x80 <= 30 x81 <= 30 x82 <= 30 x83 <= 30 x84 <= 30 x85 <= 30 x86 <= 30 x87 <= 30 x88 <= 30 x89 <= 30 x90 <= 30 x91 <= 30 x92 <= 25 x93 <= 25 x94 <= 25 x95 <= 25 x96 <= 25 x97 <= 25 x98 <= 25 x99 <= 25 x100 <= 25 x101 <= 25 x102 <= 25 x103 <= 25 x104 <= 25 x105 <= 25 x106 <= 25 x107 <= 300.5 x108 <= 300.5 x109 <= 300.5 x110 <= 300.5 x111 <= 300.5 x112 <= 300.5 x113 <= 300.5 x114 <= 300.5 x115 <= 300.5 x116 <= 300.5 x117 <= 300.5 x118 <= 300.5 x119 <= 300.5 x120 <= 300.5 x121 <= 300.5 x122 <= 300.5 x123 <= 300.5 x124 <= 300.5 x125 <= 300.5 x126 <= 300.5 x127 <= 300.5 x128 <= 300.5 x129 <= 300.5 x130 <= 300.5 x131 <= 300.5 x132 <= 300.5 x133 <= 300.5 x134 <= 300.5 x135 <= 300.5 x136 <= 300.5 x137 <= 300.5 x138 <= 300.5 x139 <= 300.5 x140 <= 300.5 x141 <= 300.5 x142 <= 300.5 x143 <= 300.5 x144 <= 300.5 x145 <= 300.5 x146 <= 300.5 x147 <= 300.5 x148 <= 300.5 x149 <= 300.5 x150 <= 300.5 x151 <= 300.5 x152 <= 300.5 x153 <= 300.5 x154 <= 300.5 x155 <= 300.5 x156 <= 300.5 x157 <= 300.5 x158 <= 300.5 x159 <= 300.5 x160 <= 300.5 x161 <= 300.5 x162 <= 300.5 x163 <= 300.5 x164 <= 300.5 x165 <= 300.5 x166 <= 300.5 x167 <= 300.5 x168 <= 300.5 x169 <= 300.5 x170 <= 300.5 x171 <= 300.5 x172 <= 300.5 x173 <= 300.5 x174 <= 300.5 x175 <= 300.5 x176 <= 300.5 x177 <= 300.5 x178 <= 300.5 x179 <= 300.5 x180 <= 300.5 x181 <= 300.5 x182 <= 300.5 x183 <= 300.5 x184 <= 300.5 x185 <= 300.5 x186 <= 300.5 x187 <= 300.5 x188 <= 300.5 x189 <= 300.5 x190 <= 300.5 x191 <= 300.5 x192 <= 300.5 x193 <= 300.5 x194 <= 300.5 x195 <= 300.5 x196 <= 300.5 x197 <= 300.5 x198 <= 300.5 x199 <= 300.5 x200 <= 300.5 x201 <= 300.5 x202 <= 300.5 x203 <= 300.5 x204 <= 300.5 x205 <= 300.5 x206 <= 300.5 x207 <= 300.5 x208 <= 300.5 x209 <= 300.5 x210 <= 300.5 x211 <= 300.5 x212 <= 300.5 x213 <= 300.5 x214 <= 300.5 x215 <= 300.5 x216 <= 300.5 x217 <= 300.5 x218 <= 300.5 x219 <= 300.5 x220 <= 300.5 x221 <= 300.5 x222 <= 300.5 x223 <= 300.5 x224 <= 300.5 x225 <= 300.5 x226 <= 300.5 x227 <= 300.5 x228 <= 300.5 x229 <= 300.5 x230 <= 300.5 x231 <= 300.5 x232 <= 300.5 x233 <= 300.5 x234 <= 300.5 x235 <= 300.5 x236 <= 300.5 x237 <= 300.5 x238 <= 300.5 x239 <= 300.5 x240 <= 300.5 x241 <= 300.5 x242 <= 300.5 x243 <= 300.5 x244 <= 300.5 x245 <= 300.5 x246 <= 300.5 x247 <= 300.5 x248 <= 300.5 x249 <= 300.5 x250 <= 300.5 x251 <= 300.5 x252 <= 300.5 x253 <= 300.5 x254 <= 300.5 x255 <= 300.5 x256 <= 300.5 x257 <= 300.5 x258 <= 300.5 x259 <= 300.5 x260 <= 300.5 x261 <= 300.5 x262 <= 300.5 x263 <= 300.5 x264 <= 300.5 x265 <= 300.5 x266 <= 300.5 x267 <= 300.5 x268 <= 300.5 x269 <= 300.5 x270 <= 300.5 x271 <= 300.5 x272 <= 300.5 x273 <= 300.5 x274 <= 300.5 x275 <= 300.5 x276 <= 300.5 x277 <= 300.5 x278 <= 300.5 x279 <= 300.5 x280 <= 300.5 x281 <= 300.5 x282 <= 300.5 x283 <= 300.5 x284 <= 300.5 x285 <= 300.5 x286 <= 300.5 x287 <= 300.5 x288 <= 300.5 x289 <= 300.5 x290 <= 300.5 x291 <= 300.5 x292 <= 300.5 x293 <= 300.5 x294 <= 300.5 x295 <= 300.5 x296 <= 300.5 x297 <= 300.5 x298 <= 300.5 x299 <= 300.5 x300 <= 300.5 x301 <= 300.5 x302 <= 300.5 x303 <= 300.5 x304 <= 300.5 x305 <= 300.5 x306 <= 300.5 x307 <= 300.5 x308 <= 300.5 x309 <= 300.5 x310 <= 300.5 x311 <= 300.5 x312 <= 300.5 x313 <= 300.5 x314 <= 300.5 x315 <= 300.5 x316 <= 300.5 x317 <= 300.5 x318 <= 300.5 x319 <= 300.5 x320 <= 300.5 x321 <= 300.5 x322 <= 300.5 x323 <= 300.5 x324 <= 300.5 x325 <= 300.5 x326 <= 300.5 x327 <= 300.5 x328 <= 300.5 x329 <= 300.5 x330 <= 300.5 x331 <= 300.5 x332 <= 20 x333 <= 50 x334 <= 47.5 x335 <= 28 x336 <= 100 x337 <= 30 x338 <= 25 x339 <= 120 x340 <= 87.5 x341 <= 2000 x342 <= 150 x343 <= 875 x344 <= 1000 x345 <= 12 x346 <= 175 x347 <= 100 x348 <= 1200 x349 <= 437.5 x350 <= 500 x351 <= 120 x352 <= 175 x353 <= 1600 x354 <= 1200 x355 <= 1750 x356 <= 100 x357 <= 1200 x358 <= 227.5 x359 <= 200 x360 <= 6 x361 <= 1750 x362 <= 2000 x363 <= 1080 x364 <= 17.5 x365 <= 2000 x366 <= 360 x367 <= 1400 x368 <= 1400 x369 <= 12 x370 <= 175 x371 <= 100 x372 <= 1200 x373 <= 227.5 x374 <= 200 x375 <= 1080 x376 <= 17.5 x377 <= 2000 x378 <= 360 x379 <= 1400 x380 <= 1400 x381 <= 120 x382 <= 87.5 x383 <= 2000 Binary b384 b385 b386 b387 b388 b389 b390 b391 b392 b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 b458 b459 b460 b461 b462 b463 b464 b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 b505 b506 b507 b508 b509 b510 b511 b512 b513 b514 b515 b516 b517 b518 b519 b520 b521 b522 b523 b524 b525 b526 b527 b528 b529 b530 b531 b532 b533 b534 b535 b536 b537 b538 b539 b540 b541 b542 b543 b544 b545 b546 b547 b548 b549 b550 b551 b552 b553 b554 b555 b556 b557 b558 b559 b560 b561 b562 b563 b564 b565 b566 b567 b568 b569 b570 b571 b572 b573 b574 b575 b576 b577 b578 b579 b580 b581 b582 b583 b584 b585 b586 b587 b588 b589 b590 b591 b592 b593 b594 b595 b596 b597 b598 b599 b600 b601 b602 b603 b604 b605 b606 b607 b608 b609 b610 b611 b612 b613 b614 b615 b616 b617 b618 b619 b620 b621 b622 b623 b624 b625 b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 b641 b642 b643 b644 b645 b646 b647 b648 b649 b650 b651 b652 b653 b654 b655 b656 b657 b658 b659 b660 b661 b662 b663 b664 b665 b666 b667 b668 b669 b670 b671 b672 b673 b674 b675 b676 b677 b678 b679 b680 b681 b682 b683 b684 b685 b686 b687 b688 b689 b690 b691 b692 b693 b694 b695 b696 b697 b698 b699 b700 b701 b702 b703 b704 b705 b706 b707 b708 b709 b710 b711 b712 b713 b714 b715 b716 b717 b718 b719 b720 b721 b722 b723 b724 b725 b726 b727 b728 b729 b730 b731 b732 b733 b734 b735 End