\ Equation counts \ Total E G L N X C B \ 87 87 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 986 87 0 899 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1890 1186 704 0 \ Minimize obj: 0 x1 + 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 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 97.9597488 i89 + 158.4225984 i90 + 52.8477984 i91 + 57.5198112 i92 + 100.6294704 i93 + 135.0625344 i94 + 60.1895328 i95 + 147.07628160000002 i96 + 184.84649760000002 i97 + 155.0854464 i98 + 145.74142080000001 i99 + 140.4019776 i100 + 105.3014832 i101 + 143.7391296 i102 + 133.7276736 i103 + 102.6317616 i104 + 103.9666224 i105 + 80.60655840000001 i106 + 95.2900272 i107 + 200.8648272 i108 + 63.5266848 i109 + 64.8615456 i110 + 66.1964064 i111 + 193.5230928 i112 + 140.4019776 i113 + 187.51621920000002 i114 + 93.287736 i115 + 60.8569632 i116 + 91.9528752 i117 + 99.2946096 i118 + 196.1928144 i119 + 108.63863520000001 i120 + 185.51392800000002 i121 + 103.299192 i122 + 187.51621920000002 i123 + 190.1859408 i124 + 173.5001808 i125 + 205.53684 i126 + 83.27628 i127 + 105.96891360000001 i128 + 97.2923184 i129 + 112.64321760000001 i130 + 189.5185104 i131 + 190.1859408 i132 + 283.0795632 i133 + 199.5299664 i134 + 295.0933104 i135 + 97.2923184 i136 + 272.4006768 i137 + 186.18135840000002 i138 + 219.27956160000002 i139 + 231.29330879999998 i140 + 104.6340528 i141 + 184.17906720000002 i142 + 182.8442064 i143 + 147.07628160000002 i144 + 48.843216 i145 + 50.8455072 i146 + 190.1859408 i147 + 104.6340528 i148 + 105.96891360000001 i149 + 148.41114240000002 i150 + 50.1780768 i151 + 240.6373344 i152 + 52.180368 i153 + 174.1676112 i154 + 147.74371200000002 i155 + 131.7253824 i156 + 1e-3 i157 + 1e-3 i158 + 1e-3 i159 + 1e-3 i160 + 1e-3 i161 + 1e-3 i162 + 1e-3 i163 + 1e-3 i164 + 1e-3 i165 + 1e-3 i166 + 1e-3 i167 + 1e-3 i168 + 1e-3 i169 + 1e-3 i170 + 1e-3 i171 + 1e-3 i172 + 1e-3 i173 + 1e-3 i174 + 1e-3 i175 + 1e-3 i176 + 1e-3 i177 + 1e-3 i178 + 1e-3 i179 + 1e-3 i180 + 1e-3 i181 + 1e-3 i182 + 1e-3 i183 + 1e-3 i184 + 1e-3 i185 + 1e-3 i186 + 1e-3 i187 + 1e-3 i188 + 1e-3 i189 + 1e-3 i190 + 1e-3 i191 + 1e-3 i192 + 1e-3 i193 + 1e-3 i194 + 1e-3 i195 + 1e-3 i196 + 1e-3 i197 + 1e-3 i198 + 1e-3 i199 + 1e-3 i200 + 1e-3 i201 + 1e-3 i202 + 1e-3 i203 + 1e-3 i204 + 1e-3 i205 + 1e-3 i206 + 1e-3 i207 + 1e-3 i208 + 1e-3 i209 + 1e-3 i210 + 1e-3 i211 + 1e-3 i212 + 1e-3 i213 + 1e-3 i214 + 1e-3 i215 + 1e-3 i216 + 1e-3 i217 + 1e-3 i218 + 1e-3 i219 + 1e-3 i220 + 1e-3 i221 + 1e-3 i222 + 1e-3 i223 + 1e-3 i224 + 1e-3 i225 + 1e-3 i226 + 1e-3 i227 + 1e-3 i228 + 1e-3 i229 + 1e-3 i230 + 1e-3 i231 + 1e-3 i232 + 1e-3 i233 + 1e-3 i234 + 1e-3 i235 + 1e-3 i236 + 1e-3 i237 + 1e-3 i238 + 1e-3 i239 + 1e-3 i240 + 1e-3 i241 + 1e-3 i242 + 1e-3 i243 + 1e-3 i244 + 1e-3 i245 + 1e-3 i246 + 1e-3 i247 + 1e-3 i248 + 1e-3 i249 + 1e-3 i250 + 1e-3 i251 + 1e-3 i252 + 1e-3 i253 + 1e-3 i254 + 1e-3 i255 + 1e-3 i256 + 1e-3 i257 + 1e-3 i258 + 1e-3 i259 + 1e-3 i260 + 1e-3 i261 + 1e-3 i262 + 1e-3 i263 + 1e-3 i264 + 1e-3 i265 + 1e-3 i266 + 1e-3 i267 + 1e-3 i268 + 1e-3 i269 + 1e-3 i270 + 1e-3 i271 + 1e-3 i272 + 1e-3 i273 + 1e-3 i274 + 1e-3 i275 + 1e-3 i276 + 1e-3 i277 + 1e-3 i278 + 1e-3 i279 + 1e-3 i280 + 1e-3 i281 + 1e-3 i282 + 1e-3 i283 + 1e-3 i284 + 1e-3 i285 + 1e-3 i286 + 1e-3 i287 + 1e-3 i288 + 1e-3 i289 + 1e-3 i290 + 1e-3 i291 + 1e-3 i292 + 1e-3 i293 + 1e-3 i294 + 1e-3 i295 + 1e-3 i296 + 1e-3 i297 + 1e-3 i298 + 1e-3 i299 + 1e-3 i300 + 1e-3 i301 + 1e-3 i302 + 1e-3 i303 + 1e-3 i304 + 1e-3 i305 + 1e-3 i306 + 1e-3 i307 + 1e-3 i308 + 1e-3 i309 + 1e-3 i310 + 1e-3 i311 + 1e-3 i312 + 1e-3 i313 + 1e-3 i314 + 1e-3 i315 + 1e-3 i316 + 1e-3 i317 + 1e-3 i318 + 1e-3 i319 + 1e-3 i320 + 1e-3 i321 + 1e-3 i322 + 1e-3 i323 + 1e-3 i324 + 1e-3 i325 + 1e-3 i326 + 1e-3 i327 + 1e-3 i328 + 1e-3 i329 + 1e-3 i330 + 1e-3 i331 + 1e-3 i332 + 1e-3 i333 + 1e-3 i334 + 1e-3 i335 + 1e-3 i336 + 1e-3 i337 + 1e-3 i338 + 1e-3 i339 + 1e-3 i340 + 1e-3 i341 + 1e-3 i342 + 1e-3 i343 + 1e-3 i344 + 1e-3 i345 + 1e-3 i346 + 1e-3 i347 + 1e-3 i348 + 1e-3 i349 + 1e-3 i350 + 1e-3 i351 + 1e-3 i352 + 1e-3 i353 + 1e-3 i354 + 1e-3 i355 + 1e-3 i356 + 1e-3 i357 + 1e-3 i358 + 1e-3 i359 + 1e-3 i360 + 1e-3 i361 + 1e-3 i362 + 1e-3 i363 + 1e-3 i364 + 1e-3 i365 + 1e-3 i366 + 1e-3 i367 + 1e-3 i368 + 1e-3 i369 + 1e-3 i370 + 1e-3 i371 + 1e-3 i372 + 1e-3 i373 + 1e-3 i374 + 1e-3 i375 + 1e-3 i376 + 1e-3 i377 + 1e-3 i378 + 1e-3 i379 + 1e-3 i380 + 1e-3 i381 + 1e-3 i382 + 1e-3 i383 + 1e-3 i384 + 1e-3 i385 + 1e-3 i386 + 1e-3 i387 + 1e-3 i388 + 1e-3 i389 + 1e-3 i390 + 1e-3 i391 + 1e-3 i392 + 1e-3 i393 + 1e-3 i394 + 1e-3 i395 + 1e-3 i396 + 1e-3 i397 + 1e-3 i398 + 1e-3 i399 + 1e-3 i400 + 1e-3 i401 + 1e-3 i402 + 1e-3 i403 + 1e-3 i404 + 1e-3 i405 + 1e-3 i406 + 1e-3 i407 + 1e-3 i408 + 1e-3 i409 + 1e-3 i410 + 1e-3 i411 + 1e-3 i412 + 1e-3 i413 + 1e-3 i414 + 1e-3 i415 + 1e-3 i416 + 1e-3 i417 + 1e-3 i418 + 1e-3 i419 + 1e-3 i420 + 1e-3 i421 + 1e-3 i422 + 1e-3 i423 + 1e-3 i424 + 1e-3 i425 + 1e-3 i426 + 1e-3 i427 + 1e-3 i428 + 1e-3 i429 + 1e-3 i430 + 1e-3 i431 + 1e-3 i432 + 1e-3 i433 + 1e-3 i434 + 1e-3 i435 + 1e-3 i436 + 1e-3 i437 + 1e-3 i438 + 1e-3 i439 + 1e-3 i440 + 1e-3 i441 + 1e-3 i442 + 1e-3 i443 + 1e-3 i444 + 1e-3 i445 + 1e-3 i446 + 1e-3 i447 + 1e-3 i448 + 1e-3 i449 + 1e-3 i450 + 1e-3 i451 + 1e-3 i452 + 1e-3 i453 + 1e-3 i454 + 1e-3 i455 + 1e-3 i456 + 1e-3 i457 + 1e-3 i458 + 1e-3 i459 + 1e-3 i460 + 1e-3 i461 + 1e-3 i462 + 1e-3 i463 + 1e-3 i464 + 1e-3 i465 + 1e-3 i466 + 1e-3 i467 + 1e-3 i468 + 1e-3 i469 + 1e-3 i470 + 1e-3 i471 + 1e-3 i472 + 1e-3 i473 + 1e-3 i474 + 1e-3 i475 + 1e-3 i476 + 1e-3 i477 + 1e-3 i478 + 1e-3 i479 + 1e-3 i480 + 1e-3 i481 + 1e-3 i482 + 1e-3 i483 + 1e-3 i484 + 1e-3 i485 + 1e-3 i486 + 1e-3 i487 + 1e-3 i488 + 1e-3 i489 + 1e-3 i490 + 1e-3 i491 + 1e-3 i492 + 1e-3 i493 + 1e-3 i494 + 1e-3 i495 + 1e-3 i496 + 1e-3 i497 + 1e-3 i498 + 1e-3 i499 + 1e-3 i500 + 1e-3 i501 + 1e-3 i502 + 1e-3 i503 + 1e-3 i504 + 1e-3 i505 + 1e-3 i506 + 1e-3 i507 + 1e-3 i508 + 1e-3 i509 + 1e-3 i510 + 1e-3 i511 + 1e-3 i512 + 1e-3 i513 + 1e-3 i514 + 1e-3 i515 + 1e-3 i516 + 1e-3 i517 + 1e-3 i518 + 1e-3 i519 + 1e-3 i520 + 1e-3 i521 + 1e-3 i522 + 1e-3 i523 + 1e-3 i524 + 1e-3 i525 + 1e-3 i526 + 1e-3 i527 + 1e-3 i528 + 1e-3 i529 + 1e-3 i530 + 1e-3 i531 + 1e-3 i532 + 1e-3 i533 + 1e-3 i534 + 1e-3 i535 + 1e-3 i536 + 1e-3 i537 + 1e-3 i538 + 1e-3 i539 + 1e-3 i540 + 1e-3 i541 + 1e-3 i542 + 1e-3 i543 + 1e-3 i544 + 1e-3 i545 + 1e-3 i546 + 1e-3 i547 + 1e-3 i548 + 1e-3 i549 + 1e-3 i550 + 1e-3 i551 + 1e-3 i552 + 1e-3 i553 + 1e-3 i554 + 1e-3 i555 + 1e-3 i556 + 1e-3 i557 + 1e-3 i558 + 1e-3 i559 + 1e-3 i560 + 1e-3 i561 + 1e-3 i562 + 1e-3 i563 + 1e-3 i564 + 1e-3 i565 + 1e-3 i566 + 1e-3 i567 + 1e-3 i568 + 1e-3 i569 + 1e-3 i570 + 1e-3 i571 + 1e-3 i572 + 1e-3 i573 + 1e-3 i574 + 1e-3 i575 + 1e-3 i576 + 1e-3 i577 + 1e-3 i578 + 1e-3 i579 + 1e-3 i580 + 1e-3 i581 + 1e-3 i582 + 1e-3 i583 + 1e-3 i584 + 1e-3 i585 + 1e-3 i586 + 1e-3 i587 + 1e-3 i588 + 1e-3 i589 + 1e-3 i590 + 1e-3 i591 + 1e-3 i592 + 1e-3 i593 + 1e-3 i594 + 1e-3 i595 + 1e-3 i596 + 1e-3 i597 + 1e-3 i598 + 1e-3 i599 + 1e-3 i600 + 1e-3 i601 + 1e-3 i602 + 1e-3 i603 + 1e-3 i604 + 1e-3 i605 + 1e-3 i606 + 1e-3 i607 + 1e-3 i608 + 1e-3 i609 + 1e-3 i610 + 1e-3 i611 + 1e-3 i612 + 1e-3 i613 + 1e-3 i614 + 1e-3 i615 + 1e-3 i616 + 1e-3 i617 + 1e-3 i618 + 1e-3 i619 + 1e-3 i620 + 1e-3 i621 + 1e-3 i622 + 1e-3 i623 + 1e-3 i624 + 1e-3 i625 + 1e-3 i626 + 1e-3 i627 + 1e-3 i628 + 1e-3 i629 + 1e-3 i630 + 1e-3 i631 + 1e-3 i632 + 1e-3 i633 + 1e-3 i634 + 1e-3 i635 + 1e-3 i636 + 1e-3 i637 + 1e-3 i638 + 1e-3 i639 + 1e-3 i640 + 1e-3 i641 + 1e-3 i642 + 1e-3 i643 + 1e-3 i644 + 1e-3 i645 + 1e-3 i646 + 1e-3 i647 + 1e-3 i648 + 1e-3 i649 + 1e-3 i650 + 1e-3 i651 + 1e-3 i652 + 1e-3 i653 + 1e-3 i654 + 1e-3 i655 + 1e-3 i656 + 1e-3 i657 + 1e-3 i658 + 1e-3 i659 + 1e-3 i660 + 1e-3 i661 + 1e-3 i662 + 1e-3 i663 + 1e-3 i664 + 1e-3 i665 + 1e-3 i666 + 1e-3 i667 + 1e-3 i668 + 1e-3 i669 + 1e-3 i670 + 1e-3 i671 + 1e-3 i672 + 1e-3 i673 + 1e-3 i674 + 1e-3 i675 + 1e-3 i676 + 1e-3 i677 + 1e-3 i678 + 1e-3 i679 + 1e-3 i680 + 1e-3 i681 + 1e-3 i682 + 1e-3 i683 + 1e-3 i684 + 1e-3 i685 + 1e-3 i686 + 1e-3 i687 + 1e-3 i688 + 1e-3 i689 + 1e-3 i690 + 1e-3 i691 + 1e-3 i692 + 1e-3 i693 + 1e-3 i694 + 1e-3 i695 + 1e-3 i696 + 1e-3 i697 + 1e-3 i698 + 1e-3 i699 + 1e-3 i700 + 1e-3 i701 + 1e-3 i702 + 1e-3 i703 + 1e-3 i704 + 1e-3 i705 + 1e-3 i706 + 1e-3 i707 + 1e-3 i708 + 1e-3 i709 + 1e-3 i710 + 1e-3 i711 + 1e-3 i712 + 1e-3 i713 + 1e-3 i714 + 1e-3 i715 + 1e-3 i716 + 1e-3 i717 + 1e-3 i718 + 1e-3 i719 + 1e-3 i720 + 1e-3 i721 + 1e-3 i722 + 1e-3 i723 + 1e-3 i724 + 1e-3 i725 + 1e-3 i726 + 1e-3 i727 + 1e-3 i728 + 1e-3 i729 + 1e-3 i730 + 1e-3 i731 + 1e-3 i732 + 1e-3 i733 + 1e-3 i734 + 1e-3 i735 + 1e-3 i736 + 1e-3 i737 + 1e-3 i738 + 1e-3 i739 + 1e-3 i740 + 1e-3 i741 + 1e-3 i742 + 1e-3 i743 + 1e-3 i744 + 1e-3 i745 + 1e-3 i746 + 1e-3 i747 + 1e-3 i748 + 1e-3 i749 + 1e-3 i750 + 1e-3 i751 + 1e-3 i752 + 1e-3 i753 + 1e-3 i754 + 1e-3 i755 + 1e-3 i756 + 1e-3 i757 + 1e-3 i758 + 1e-3 i759 + 1e-3 i760 + 1e-3 i761 + 1e-3 i762 + 1e-3 i763 + 1e-3 i764 + 1e-3 i765 + 1e-3 i766 + 1e-3 i767 + 1e-3 i768 + 1e-3 i769 + 1e-3 i770 + 1e-3 i771 + 1e-3 i772 + 1e-3 i773 + 1e-3 i774 + 1e-3 i775 + 1e-3 i776 + 1e-3 i777 + 1e-3 i778 + 1e-3 i779 + 1e-3 i780 + 1e-3 i781 + 1e-3 i782 + 1e-3 i783 + 1e-3 i784 + 1e-3 i785 + 1e-3 i786 + 1e-3 i787 + 1e-3 i788 + 1e-3 i789 + 1e-3 i790 + 1e-3 i791 + 1e-3 i792 + 1e-3 i793 + 1e-3 i794 + 1e-3 i795 + 1e-3 i796 + 1e-3 i797 + 1e-3 i798 + 1e-3 i799 + 1e-3 i800 + 1e-3 i801 + 1e-3 i802 + 1e-3 i803 + 1e-3 i804 + 1e-3 i805 + 1e-3 i806 + 1e-3 i807 + 1e-3 i808 + 1e-3 i809 + 1e-3 i810 + 1e-3 i811 + 1e-3 i812 + 1e-3 i813 + 1e-3 i814 + 1e-3 i815 + 1e-3 i816 + 1e-3 i817 + 1e-3 i818 + 1e-3 i819 + 1e-3 i820 + 1e-3 i821 + 1e-3 i822 + 1e-3 i823 + 1e-3 i824 + 1e-3 i825 + 1e-3 i826 + 1e-3 i827 + 1e-3 i828 + 1e-3 i829 + 1e-3 i830 + 1e-3 i831 + 1e-3 i832 + 1e-3 i833 + 1e-3 i834 + 1e-3 i835 + 1e-3 i836 + 1e-3 i837 + 1e-3 i838 + 1e-3 i839 + 1e-3 i840 + 1e-3 i841 + 1e-3 i842 + 1e-3 i843 + 1e-3 i844 + 1e-3 i845 + 1e-3 i846 + 1e-3 i847 + 1e-3 i848 + 1e-3 i849 + 1e-3 i850 + 1e-3 i851 + 1e-3 i852 + 1e-3 i853 + 1e-3 i854 + 1e-3 i855 + 1e-3 i856 + 1e-3 i857 + 1e-3 i858 + 1e-3 i859 + 1e-3 i860 + 1e-3 i861 + 1e-3 i862 + 1e-3 i863 + 1e-3 i864 + 1e-3 i865 + 1e-3 i866 + 1e-3 i867 + 1e-3 i868 + 1e-3 i869 + 1e-3 i870 + 1e-3 i871 + 1e-3 i872 + 1e-3 i873 + 1e-3 i874 + 1e-3 i875 + 1e-3 i876 + 1e-3 i877 + 1e-3 i878 + 1e-3 i879 + 1e-3 i880 + 1e-3 i881 + 1e-3 i882 + 1e-3 i883 + 1e-3 i884 + 1e-3 i885 + 1e-3 i886 + 1e-3 i887 + 1e-3 i888 + 1e-3 i889 + 1e-3 i890 + 1e-3 i891 + 1e-3 i892 + 1e-3 i893 + 1e-3 i894 + 1e-3 i895 + 1e-3 i896 + 1e-3 i897 + 1e-3 i898 + 1e-3 i899 + 1e-3 i900 + 1e-3 i901 + 1e-3 i902 + 1e-3 i903 + 1e-3 i904 + 1e-3 i905 + 1e-3 i906 + 1e-3 i907 + 1e-3 i908 + 1e-3 i909 + 1e-3 i910 + 1e-3 i911 + 1e-3 i912 + 1e-3 i913 + 1e-3 i914 + 1e-3 i915 + 1e-3 i916 + 1e-3 i917 + 1e-3 i918 + 1e-3 i919 + 1e-3 i920 + 1e-3 i921 + 1e-3 i922 + 1e-3 i923 + 1e-3 i924 + 1e-3 i925 + 1e-3 i926 + 1e-3 i927 + 1e-3 i928 + 1e-3 i929 + 1e-3 i930 + 1e-3 i931 + 1e-3 i932 + 1e-3 i933 + 1e-3 i934 + 1e-3 i935 + 1e-3 i936 + 1e-3 i937 + 1e-3 i938 + 1e-3 i939 + 1e-3 i940 + 1e-3 i941 + 1e-3 i942 + 1e-3 i943 + 1e-3 i944 + 1e-3 i945 + 1e-3 i946 + 1e-3 i947 + 1e-3 i948 + 1e-3 i949 + 1e-3 i950 + 1e-3 i951 + 1e-3 i952 + 1e-3 i953 + 1e-3 i954 + 1e-3 i955 + 1e-3 i956 + 1e-3 i957 + 1e-3 i958 + 1e-3 i959 + 1e-3 i960 + 1e-3 i961 + 1e-3 i962 + 1e-3 i963 + 1e-3 i964 + 1e-3 i965 + 1e-3 i966 + 1e-3 i967 + 1e-3 i968 + 1e-3 i969 + 1e-3 i970 + 1e-3 i971 + 1e-3 i972 + 1e-3 i973 + 1e-3 i974 + 1e-3 i975 + 1e-3 i976 + 1e-3 i977 + 1e-3 i978 + 1e-3 i979 + 1e-3 i980 + 1e-3 i981 + 1e-3 i982 + 1e-3 i983 + 1e-3 i984 + 1e-3 i985 + 1e-3 i986 + 1e-3 i987 + 17.7230096 i89 i160 + 26.487212800000002 i90 i194 + 10.5356128 i91 i213 + 11.0155104 i92 i226 + 17.9972368 i93 i232 + 24.0877248 i94 i253 + 11.289737599999999 i95 i257 + 25.321747199999997 i96 i260 + 31.7550192 i97 i269 + 26.1444288 i98 i281 + 25.184633599999998 i99 i300 + 24.6361792 i100 i303 + 18.4771344 i101 i305 + 24.9789632 i102 i318 + 23.950611199999997 i103 i324 + 18.2029072 i104 i326 + 18.3400208 i105 i327 + 15.9405328 i106 i332 + 17.4487824 i107 i333 + 33.4003824 i108 i334 + 11.6325216 i109 i335 + 11.7696352 i110 i336 + 11.906748799999999 i111 i338 + 32.6462576 i112 i345 + 24.6361792 i113 i352 + 32.0292464 i114 i357 + 17.243112 i115 i430 + 11.3582944 i116 i436 + 17.1059984 i117 i451 + 17.8601232 i118 i499 + 32.9204848 i119 i507 + 18.8199184 i120 i519 + 31.823575999999996 i121 i527 + 18.271464 i122 i547 + 32.0292464 i123 i560 + 32.3034736 i124 i564 + 30.5895536 i125 i584 + 33.88028 i126 i597 + 16.21476 i127 i602 + 18.5456912 i128 i610 + 17.6544528 i129 i613 + 19.2312592 i130 i616 + 32.2349168 i131 i628 + 32.3034736 i132 i629 + 46.9524944 i133 i634 + 33.2632688 i134 i641 + 48.1865168 i135 i642 + 17.6544528 i136 i692 + 45.8555856 i137 i712 + 31.8921328 i138 i716 + 37.8455072 i139 i723 + 39.0795296 i140 i734 + 18.4085776 i141 i744 + 31.686462399999996 i142 i750 + 31.549348799999997 i143 i761 + 25.321747199999997 i144 i782 + 10.124272 i145 i784 + 10.3299424 i146 i787 + 32.3034736 i147 i792 + 18.4085776 i148 i818 + 18.5456912 i149 i823 + 25.4588608 i150 i832 + 10.2613856 i151 i836 + 40.0393248 i152 i850 + 10.467056 i153 i866 + 30.658110399999998 i154 i867 + 25.390304 i155 i887 + 23.744940800000002 i156 i930 Subject To e1: x1 - i121 - i123 - i132 - i137 - i139 - i140 = 0 e2: x2 - i89 - i90 - i119 - i123 - i128 - i150 = 0 e3: x3 - i119 - i121 - i128 - i132 - i137 - i139 - i140 - i150 = 0 e4: x4 - i97 - i100 - i101 - i102 - i124 - i125 - i134 - i138 - i152 = 0 e5: x5 - i91 - i101 - i108 - i112 = 0 e6: x6 - i95 - i125 - i138 = 0 e7: x7 - i92 - i93 - i94 - i96 - i97 - i100 - i102 - i124 - i126 - i130 - i133 - i134 - i135 - i152 = 0 e8: x8 - i108 - i112 - i126 - i130 - i133 - i135 = 0 e9: x9 - i97 - i98 - i121 - i123 - i124 - i125 - i137 - i138 - i139 - i140 = 0 e10: x10 - i121 - i123 - i124 - i125 - i137 - i138 - i139 - i140 = 0 e11: x11 - i97 - i99 - i124 - i125 - i134 - i138 - i152 = 0 e12: x12 - i89 - i106 - i114 - i118 - i141 - i142 - i143 - i148 = 0 e13: x13 - i101 - i105 - i110 - i111 - i113 - i118 - i141 - i142 - i143 = 0 e14: x14 - i103 - i104 - i107 - i109 - i148 = 0 e15: x15 - i99 - i108 - i126 - i131 - i132 - i133 - i134 - i135 = 0 e16: x16 - i99 - i108 - i126 - i131 - i132 - i133 - i134 - i135 = 0 e17: x17 - i103 - i122 - i129 - i136 - i147 - i155 = 0 e18: x18 - i94 - i129 - i133 - i136 - i139 - i154 - i156 = 0 e19: x19 - i94 - i122 - i133 - i139 - i147 - i154 - i155 - i156 = 0 e20: x20 - i90 - i113 - i155 = 0 e21: x21 - i90 - i97 - i103 - i104 - i105 - i113 - i115 - i116 - i117 - i122 - i129 - i136 - i147 = 0 e22: x22 - i98 - i99 - i132 - i134 - i152 = 0 e23: x23 - i95 - i125 - i138 = 0 e24: x24 - i89 - i106 - i114 - i118 - i141 - i142 - i143 - i148 = 0 e25: x25 - i89 - i90 - i118 - i123 - i128 - i150 = 0 e26: x26 - i96 - i114 - i119 - i120 - i121 - i135 - i137 - i140 - i142 - i143 = 0 e27: x27 - i122 - i144 - i147 - i149 - i154 - i156 = 0 e28: x28 - i96 - i135 - i140 - i143 - i149 - i156 = 0 e29: x29 - i114 - i119 - i137 - i142 - i144 - i147 - i154 = 0 e30: x30 - i123 - i124 - i125 = 0 e31: x31 - i102 - i107 - i124 - i127 - i150 = 0 e32: x32 - i90 - i93 - i97 - i100 - i129 - i152 = 0 e33: x33 - i90 - i92 - i93 - i97 - i100 - i102 - i106 - i120 - i123 - i124 - i126 - i128 - i130 - i150 - i152 = 0 e34: x34 - i93 - i100 - i102 - i115 - i117 - i127 - i136 - i151 = 0 e35: x35 - i103 - i104 - i105 - i109 - i110 - i113 - i116 - i127 = 0 e36: x36 - i93 - i100 - i102 - i103 - i104 - i105 - i113 - i115 - i116 - i117 - i136 - i151 = 0 e37: x37 - i107 - i111 - i115 - i117 - i150 - i151 = 0 e38: x38 - i105 - i110 - i111 - i113 - i115 - i127 = 0 e39: x39 - i98 - i112 - i131 - i152 = 0 e40: x40 - i98 - i112 - i131 - i152 = 0 e41: x41 - i137 - i144 - i145 - i146 - i147 = 0 e42: x42 - i119 - i121 - i137 - i139 - i140 - i155 = 0 e43: x43 - i94 - i133 - i139 - i144 - i149 - i155 = 0 e44: x44 - i94 - i96 - i114 - i120 - i133 - i135 - i141 - i142 - i143 - i148 = 0 e45: x45 - i103 - i104 - i107 - i109 - i117 - i138 = 0 e46: x46 - i119 - i145 - i153 - i154 = 0 e47: x47 - i114 - i119 - i137 - i144 - i146 - i147 - i153 - i154 = 0 e48: x48 - i114 - i119 - i137 - i142 - i144 - i147 - i154 = 0 e49: x49 - 3 i121 - 3 i123 - 3 i132 - 3 i137 - 3 i139 - 3 i140 - i121 i527 - i123 i560 - i132 i629 - i137 i712 - i139 i723 - i140 i734 = 0 e50: x50 - 3 i89 - 3 i90 - 3 i119 - 3 i123 - 3 i128 - 3 i150 - i89 i160 - i90 i194 - i119 i507 - i123 i560 - i128 i610 - i150 i832 = 0 e51: x51 - 3 i119 - 3 i121 - 3 i128 - 3 i132 - 3 i137 - 3 i139 - 3 i140 - 3 i150 - i119 i507 - i121 i527 - i128 i610 - i132 i629 - i137 i712 - i139 i723 - i140 i734 - i150 i832 = 0 e52: x52 - 3 i97 - 3 i100 - 3 i101 - 3 i102 - 3 i124 - 3 i125 - 3 i134 - 3 i138 - 3 i152 - i97 i269 - i100 i303 - i101 i305 - i102 i318 - i124 i564 - i125 i584 - i134 i641 - i138 i716 - i152 i850 = 0 e53: x53 - 3 i91 - 3 i101 - 3 i108 - 3 i112 - i91 i213 - i101 i305 - i108 i334 - i112 i345 = 0 e54: x54 - 3 i95 - 3 i125 - 3 i138 - i95 i257 - i125 i584 - i138 i716 = 0 e55: x55 - 3 i92 - 3 i93 - 3 i94 - 3 i96 - 3 i97 - 3 i100 - 3 i102 - 3 i124 - 3 i126 - 3 i130 - 3 i133 - 3 i134 - 3 i135 - 3 i152 - i92 i226 - i93 i232 - i94 i253 - i96 i260 - i97 i269 - i100 i303 - i102 i318 - i124 i564 - i126 i597 - i130 i616 - i133 i634 - i134 i641 - i135 i642 - i152 i850 = 0 e56: x56 - 3 i108 - 3 i112 - 3 i126 - 3 i130 - 3 i133 - 3 i135 - i108 i334 - i112 i345 - i126 i597 - i130 i616 - i133 i634 - i135 i642 = 0 e57: x57 - 3 i97 - 3 i98 - 3 i121 - 3 i123 - 3 i124 - 3 i125 - 3 i137 - 3 i138 - 3 i139 - 3 i140 - i97 i269 - i98 i281 - i121 i527 - i123 i560 - i124 i564 - i125 i584 - i137 i712 - i138 i716 - i139 i723 - i140 i734 = 0 e58: x58 - 3 i89 - 3 i106 - 3 i114 - 3 i118 - 3 i141 - 3 i142 - 3 i143 - 3 i148 - i89 i160 - i106 i332 - i114 i357 - i118 i499 - i141 i744 - i142 i750 - i143 i761 - i148 i818 = 0 e59: x59 - 3 i101 - 3 i105 - 3 i110 - 3 i111 - 3 i113 - 3 i118 - 3 i141 - 3 i142 - 3 i143 - i101 i305 - i105 i327 - i110 i336 - i111 i338 - i113 i352 - i118 i499 - i141 i744 - i142 i750 - i143 i761 = 0 e60: x60 - 3 i103 - 3 i104 - 3 i107 - 3 i109 - 3 i148 - i103 i324 - i104 i326 - i107 i333 - i109 i335 - i148 i818 = 0 e61: x61 - 3 i99 - 3 i108 - 3 i126 - 3 i131 - 3 i132 - 3 i133 - 3 i134 - 3 i135 - i99 i300 - i108 i334 - i126 i597 - i131 i628 - i132 i629 - i133 i634 - i134 i641 - i135 i642 = 0 e62: x62 - 3 i99 - 3 i108 - 3 i126 - 3 i131 - 3 i132 - 3 i133 - 3 i134 - 3 i135 - i99 i300 - i108 i334 - i126 i597 - i131 i628 - i132 i629 - i133 i634 - i134 i641 - i135 i642 = 0 e63: x63 - 3 i103 - 3 i122 - 3 i129 - 3 i136 - 3 i147 - 3 i155 - i103 i324 - i122 i547 - i129 i613 - i136 i692 - i147 i792 - i155 i887 = 0 e64: x64 - 3 i94 - 3 i122 - 3 i133 - 3 i139 - 3 i147 - 3 i154 - 3 i155 - 3 i156 - i94 i253 - i122 i547 - i133 i634 - i139 i723 - i147 i792 - i154 i867 - i155 i887 - i156 i930 = 0 e65: x65 - 3 i90 - 3 i97 - 3 i103 - 3 i104 - 3 i105 - 3 i113 - 3 i115 - 3 i116 - 3 i117 - 3 i122 - 3 i129 - 3 i136 - 3 i147 - i90 i194 - i97 i269 - i103 i324 - i104 i326 - i105 i327 - i113 i352 - i115 i430 - i116 i436 - i117 i451 - i122 i547 - i129 i613 - i136 i692 - i147 i792 = 0 e66: x66 - 3 i98 - 3 i99 - 3 i132 - 3 i134 - 3 i152 - i98 i281 - i99 i300 - i132 i629 - i134 i641 - i152 i850 = 0 e67: x67 - 3 i95 - 3 i125 - 3 i138 - i95 i257 - i125 i584 - i138 i716 = 0 e68: x68 - 3 i89 - 3 i106 - 3 i114 - 3 i118 - 3 i141 - 3 i142 - 3 i143 - 3 i148 - i89 i160 - i106 i332 - i114 i357 - i118 i499 - i141 i744 - i142 i750 - i143 i761 - i148 i818 = 0 e69: x69 - 3 i89 - 3 i90 - 3 i118 - 3 i123 - 3 i128 - 3 i150 - i89 i160 - i90 i194 - i118 i499 - i123 i560 - i128 i610 - i150 i832 = 0 e70: x70 - 3 i96 - 3 i114 - 3 i119 - 3 i120 - 3 i121 - 3 i135 - 3 i137 - 3 i140 - 3 i142 - 3 i143 - i96 i260 - i114 i357 - i119 i507 - i120 i519 - i121 i527 - i135 i642 - i137 i712 - i140 i734 - i142 i750 - i143 i761 = 0 e71: x71 - 3 i96 - 3 i135 - 3 i140 - 3 i143 - 3 i149 - 3 i156 - i96 i260 - i135 i642 - i140 i734 - i143 i761 - i149 i823 - i156 i930 = 0 e72: x72 - 3 i114 - 3 i119 - 3 i137 - 3 i142 - 3 i144 - 3 i147 - 3 i154 - i114 i357 - i119 i507 - i137 i712 - i142 i750 - i144 i782 - i147 i792 - i154 i867 = 0 e73: x73 - 3 i123 - 3 i124 - 3 i125 - i123 i560 - i124 i564 - i125 i584 = 0 e74: x74 - 3 i102 - 3 i107 - 3 i124 - 3 i127 - 3 i150 - i102 i318 - i107 i333 - i124 i564 - i127 i602 - i150 i832 = 0 e75: x75 - 3 i90 - 3 i93 - 3 i97 - 3 i100 - 3 i129 - 3 i152 - i90 i194 - i93 i232 - i97 i269 - i100 i303 - i129 i613 - i152 i850 = 0 e76: x76 - 3 i90 - 3 i92 - 3 i93 - 3 i97 - 3 i100 - 3 i102 - 3 i106 - 3 i120 - 3 i123 - 3 i124 - 3 i126 - 3 i128 - 3 i130 - 3 i150 - 3 i152 - i90 i194 - i92 i226 - i93 i232 - i97 i269 - i100 i303 - i102 i318 - i106 i332 - i120 i519 - i123 i560 - i124 i564 - i126 i597 - i128 i610 - i130 i616 - i150 i832 - i152 i850 = 0 e77: x77 - 3 i93 - 3 i100 - 3 i102 - 3 i115 - 3 i117 - 3 i127 - 3 i136 - 3 i151 - i93 i232 - i100 i303 - i102 i318 - i115 i430 - i117 i451 - i127 i602 - i136 i692 - i151 i836 = 0 e78: x78 - 3 i103 - 3 i104 - 3 i105 - 3 i109 - 3 i110 - 3 i113 - 3 i116 - 3 i127 - i103 i324 - i104 i326 - i105 i327 - i109 i335 - i110 i336 - i113 i352 - i116 i436 - i127 i602 = 0 e79: x79 - 3 i93 - 3 i100 - 3 i102 - 3 i103 - 3 i104 - 3 i105 - 3 i113 - 3 i115 - 3 i116 - 3 i117 - 3 i136 - 3 i151 - i93 i232 - i100 i303 - i102 i318 - i103 i324 - i104 i326 - i105 i327 - i113 i352 - i115 i430 - i116 i436 - i117 i451 - i136 i692 - i151 i836 = 0 e80: x80 - 3 i107 - 3 i111 - 3 i115 - 3 i117 - 3 i150 - 3 i151 - i107 i333 - i111 i338 - i115 i430 - i117 i451 - i150 i832 - i151 i836 = 0 e81: x81 - 3 i105 - 3 i110 - 3 i111 - 3 i113 - 3 i115 - 3 i127 - i105 i327 - i110 i336 - i111 i338 - i113 i352 - i115 i430 - i127 i602 = 0 e82: x82 - 3 i98 - 3 i112 - 3 i131 - 3 i152 - i98 i281 - i112 i345 - i131 i628 - i152 i850 = 0 e83: x83 - 3 i98 - 3 i112 - 3 i131 - 3 i152 - i98 i281 - i112 i345 - i131 i628 - i152 i850 = 0 e84: x84 - 3 i94 - 3 i96 - 3 i114 - 3 i120 - 3 i133 - 3 i135 - 3 i141 - 3 i142 - 3 i143 - 3 i148 - i94 i253 - i96 i260 - i114 i357 - i120 i519 - i133 i634 - i135 i642 - i141 i744 - i142 i750 - i143 i761 - i148 i818 = 0 e85: x85 - 3 i103 - 3 i104 - 3 i107 - 3 i109 - 3 i117 - 3 i138 - i103 i324 - i104 i326 - i107 i333 - i109 i335 - i117 i451 - i138 i716 = 0 e86: x86 - 3 i114 - 3 i119 - 3 i137 - 3 i144 - 3 i146 - 3 i147 - 3 i153 - 3 i154 - i114 i357 - i119 i507 - i137 i712 - i144 i782 - i146 i787 - i147 i792 - i153 i866 - i154 i867 = 0 e87: x87 - 3 i114 - 3 i119 - 3 i137 - 3 i142 - 3 i144 - 3 i147 - 3 i154 - i114 i357 - i119 i507 - i137 i712 - i142 i750 - i144 i782 - i147 i792 - i154 i867 = 0 Bounds 1 <= x1 <= 2 2 <= x2 <= 4 2 <= x3 <= 4 2 <= x4 <= 4 2 <= x5 <= 3 2 <= x6 <= 3 2 <= x7 <= 4 2 <= x8 <= 3 2 <= x9 <= 3 2 <= x10 <= 3 2 <= x11 <= 3 2 <= x12 <= 5 2 <= x13 <= 4 2 <= x14 <= 3 2 <= x15 <= 3 2 <= x16 <= 3 2 <= x17 <= 3 2 <= x18 <= 3 2 <= x19 <= 3 2 <= x20 <= 3 2 <= x21 <= 5 1 <= x22 <= 2 2 <= x23 <= 3 2 <= x24 <= 5 2 <= x25 <= 4 2 <= x26 <= 4 2 <= x27 <= 3 1 <= x28 <= 2 2 <= x29 <= 4 1 <= x30 <= 2 2 <= x31 <= 4 2 <= x32 <= 4 3 <= x33 <= 6 2 <= x34 <= 4 2 <= x35 <= 4 2 <= x36 <= 5 2 <= x37 <= 4 2 <= x38 <= 4 1 <= x39 <= 2 1 <= x40 <= 2 1 <= x41 <= 2 2 <= x42 <= 3 2 <= x43 <= 3 2 <= x44 <= 4 2 <= x45 <= 4 2 <= x46 <= 3 2 <= x47 <= 3 2 <= x48 <= 3 4 <= x49 17 <= x50 15 <= x51 12 <= x52 7 <= x53 8 <= x54 17 <= x55 8 <= x56 9 <= x57 23 <= x58 17 <= x59 9 <= x60 7 <= x61 7 <= x62 8 <= x63 7 <= x64 25 <= x65 4 <= x66 11 <= x67 20 <= x68 19 <= x69 13 <= x70 4 <= x71 10 <= x72 4 <= x73 12 <= x74 11 <= x75 40 <= x76 11 <= x77 15 <= x78 30 <= x79 16 <= x80 10 <= x81 4 <= x82 4 <= x83 16 <= x84 13 <= x85 9 <= x86 10 <= x87 i89 <= 1 i90 <= 1 i91 <= 1 i92 <= 1 i93 <= 1 i94 <= 1 i95 <= 1 i96 <= 1 i97 <= 1 i98 <= 1 i99 <= 1 i100 <= 1 i101 <= 1 i102 <= 1 i103 <= 1 i104 <= 1 i105 <= 1 i106 <= 1 i107 <= 1 i108 <= 1 i109 <= 1 i110 <= 1 i111 <= 1 i112 <= 1 i113 <= 1 i114 <= 1 i115 <= 1 i116 <= 1 i117 <= 1 i118 <= 1 i119 <= 1 i120 <= 1 i121 <= 1 i122 <= 1 i123 <= 1 i124 <= 1 i125 <= 1 i126 <= 1 i127 <= 1 i128 <= 1 i129 <= 1 i130 <= 1 i131 <= 1 i132 <= 1 i133 <= 1 i134 <= 1 i135 <= 1 i136 <= 1 i137 <= 1 i138 <= 1 i139 <= 1 i140 <= 1 i141 <= 1 i142 <= 1 i143 <= 1 i144 <= 1 i145 <= 1 i146 <= 1 i147 <= 1 i148 <= 1 i149 <= 1 i150 <= 1 i151 <= 1 i152 <= 1 i153 <= 1 i154 <= 1 i155 <= 1 i156 <= 1 i157 <= 12 i158 <= 12 i159 <= 12 i160 <= 12 i161 <= 12 i162 <= 12 i163 <= 12 i164 <= 12 i165 <= 12 i166 <= 12 i167 <= 12 i168 <= 12 i169 <= 12 i170 <= 12 i171 <= 12 i172 <= 12 i173 <= 12 i174 <= 12 i175 <= 12 i176 <= 12 i177 <= 12 i178 <= 12 i179 <= 12 i180 <= 12 i181 <= 12 i182 <= 12 i183 <= 12 i184 <= 12 i185 <= 12 i186 <= 12 i187 <= 12 i188 <= 12 i189 <= 12 i190 <= 12 i191 <= 12 i192 <= 12 i193 <= 12 i194 <= 12 i195 <= 12 i196 <= 12 i197 <= 12 i198 <= 12 i199 <= 12 i200 <= 12 i201 <= 12 i202 <= 12 i203 <= 12 i204 <= 12 i205 <= 12 i206 <= 12 i207 <= 12 i208 <= 12 i209 <= 12 i210 <= 12 i211 <= 12 i212 <= 12 i213 <= 12 i214 <= 12 i215 <= 12 i216 <= 12 i217 <= 12 i218 <= 12 i219 <= 12 i220 <= 12 i221 <= 12 i222 <= 12 i223 <= 12 i224 <= 12 i225 <= 12 i226 <= 12 i227 <= 12 i228 <= 12 i229 <= 12 i230 <= 12 i231 <= 12 i232 <= 12 i233 <= 12 i234 <= 12 i235 <= 12 i236 <= 12 i237 <= 12 i238 <= 12 i239 <= 12 i240 <= 12 i241 <= 12 i242 <= 12 i243 <= 12 i244 <= 12 i245 <= 12 i246 <= 12 i247 <= 12 i248 <= 12 i249 <= 12 i250 <= 12 i251 <= 12 i252 <= 12 i253 <= 12 i254 <= 12 i255 <= 12 i256 <= 12 i257 <= 12 i258 <= 12 i259 <= 12 i260 <= 12 i261 <= 12 i262 <= 12 i263 <= 12 i264 <= 12 i265 <= 12 i266 <= 12 i267 <= 12 i268 <= 12 i269 <= 12 i270 <= 12 i271 <= 12 i272 <= 12 i273 <= 12 i274 <= 12 i275 <= 12 i276 <= 12 i277 <= 12 i278 <= 12 i279 <= 12 i280 <= 12 i281 <= 12 i282 <= 12 i283 <= 12 i284 <= 12 i285 <= 12 i286 <= 12 i287 <= 12 i288 <= 12 i289 <= 12 i290 <= 12 i291 <= 12 i292 <= 12 i293 <= 12 i294 <= 12 i295 <= 12 i296 <= 12 i297 <= 12 i298 <= 12 i299 <= 12 i300 <= 12 i301 <= 12 i302 <= 12 i303 <= 12 i304 <= 12 i305 <= 12 i306 <= 12 i307 <= 12 i308 <= 12 i309 <= 12 i310 <= 12 i311 <= 12 i312 <= 12 i313 <= 12 i314 <= 12 i315 <= 12 i316 <= 12 i317 <= 12 i318 <= 12 i319 <= 12 i320 <= 12 i321 <= 12 i322 <= 12 i323 <= 12 i324 <= 12 i325 <= 12 i326 <= 12 i327 <= 12 i328 <= 12 i329 <= 12 i330 <= 12 i331 <= 12 i332 <= 12 i333 <= 12 i334 <= 12 i335 <= 12 i336 <= 12 i337 <= 12 i338 <= 12 i339 <= 12 i340 <= 12 i341 <= 12 i342 <= 12 i343 <= 12 i344 <= 12 i345 <= 12 i346 <= 12 i347 <= 12 i348 <= 12 i349 <= 12 i350 <= 12 i351 <= 12 i352 <= 12 i353 <= 12 i354 <= 12 i355 <= 12 i356 <= 12 i357 <= 12 i358 <= 12 i359 <= 12 i360 <= 12 i361 <= 12 i362 <= 12 i363 <= 12 i364 <= 12 i365 <= 12 i366 <= 12 i367 <= 12 i368 <= 12 i369 <= 12 i370 <= 12 i371 <= 12 i372 <= 12 i373 <= 12 i374 <= 12 i375 <= 12 i376 <= 12 i377 <= 12 i378 <= 12 i379 <= 12 i380 <= 12 i381 <= 12 i382 <= 12 i383 <= 12 i384 <= 12 i385 <= 12 i386 <= 12 i387 <= 12 i388 <= 12 i389 <= 12 i390 <= 12 i391 <= 12 i392 <= 12 i393 <= 12 i394 <= 12 i395 <= 12 i396 <= 12 i397 <= 12 i398 <= 12 i399 <= 12 i400 <= 12 i401 <= 12 i402 <= 12 i403 <= 12 i404 <= 12 i405 <= 12 i406 <= 12 i407 <= 12 i408 <= 12 i409 <= 12 i410 <= 12 i411 <= 12 i412 <= 12 i413 <= 12 i414 <= 12 i415 <= 12 i416 <= 12 i417 <= 12 i418 <= 12 i419 <= 12 i420 <= 12 i421 <= 12 i422 <= 12 i423 <= 12 i424 <= 12 i425 <= 12 i426 <= 12 i427 <= 12 i428 <= 12 i429 <= 12 i430 <= 12 i431 <= 12 i432 <= 12 i433 <= 12 i434 <= 12 i435 <= 12 i436 <= 12 i437 <= 12 i438 <= 12 i439 <= 12 i440 <= 12 i441 <= 12 i442 <= 12 i443 <= 12 i444 <= 12 i445 <= 12 i446 <= 12 i447 <= 12 i448 <= 12 i449 <= 12 i450 <= 12 i451 <= 12 i452 <= 12 i453 <= 12 i454 <= 12 i455 <= 12 i456 <= 12 i457 <= 12 i458 <= 12 i459 <= 12 i460 <= 12 i461 <= 12 i462 <= 12 i463 <= 12 i464 <= 12 i465 <= 12 i466 <= 12 i467 <= 12 i468 <= 12 i469 <= 12 i470 <= 12 i471 <= 12 i472 <= 12 i473 <= 12 i474 <= 12 i475 <= 12 i476 <= 12 i477 <= 12 i478 <= 12 i479 <= 12 i480 <= 12 i481 <= 12 i482 <= 12 i483 <= 12 i484 <= 12 i485 <= 12 i486 <= 12 i487 <= 12 i488 <= 12 i489 <= 12 i490 <= 12 i491 <= 12 i492 <= 12 i493 <= 12 i494 <= 12 i495 <= 12 i496 <= 12 i497 <= 12 i498 <= 12 i499 <= 12 i500 <= 12 i501 <= 12 i502 <= 12 i503 <= 12 i504 <= 12 i505 <= 12 i506 <= 12 i507 <= 12 i508 <= 12 i509 <= 12 i510 <= 12 i511 <= 12 i512 <= 12 i513 <= 12 i514 <= 12 i515 <= 12 i516 <= 12 i517 <= 12 i518 <= 12 i519 <= 12 i520 <= 12 i521 <= 12 i522 <= 12 i523 <= 12 i524 <= 12 i525 <= 12 i526 <= 12 i527 <= 12 i528 <= 12 i529 <= 12 i530 <= 12 i531 <= 12 i532 <= 12 i533 <= 12 i534 <= 12 i535 <= 12 i536 <= 12 i537 <= 12 i538 <= 12 i539 <= 12 i540 <= 12 i541 <= 12 i542 <= 12 i543 <= 12 i544 <= 12 i545 <= 12 i546 <= 12 i547 <= 12 i548 <= 12 i549 <= 12 i550 <= 12 i551 <= 12 i552 <= 12 i553 <= 12 i554 <= 12 i555 <= 12 i556 <= 12 i557 <= 12 i558 <= 12 i559 <= 12 i560 <= 12 i561 <= 12 i562 <= 12 i563 <= 12 i564 <= 12 i565 <= 12 i566 <= 12 i567 <= 12 i568 <= 12 i569 <= 12 i570 <= 12 i571 <= 12 i572 <= 12 i573 <= 12 i574 <= 12 i575 <= 12 i576 <= 12 i577 <= 12 i578 <= 12 i579 <= 12 i580 <= 12 i581 <= 12 i582 <= 12 i583 <= 12 i584 <= 12 i585 <= 12 i586 <= 12 i587 <= 12 i588 <= 12 i589 <= 12 i590 <= 12 i591 <= 12 i592 <= 12 i593 <= 12 i594 <= 12 i595 <= 12 i596 <= 12 i597 <= 12 i598 <= 12 i599 <= 12 i600 <= 12 i601 <= 12 i602 <= 12 i603 <= 12 i604 <= 12 i605 <= 12 i606 <= 12 i607 <= 12 i608 <= 12 i609 <= 12 i610 <= 12 i611 <= 12 i612 <= 12 i613 <= 12 i614 <= 12 i615 <= 12 i616 <= 12 i617 <= 12 i618 <= 12 i619 <= 12 i620 <= 12 i621 <= 12 i622 <= 12 i623 <= 12 i624 <= 12 i625 <= 12 i626 <= 12 i627 <= 12 i628 <= 12 i629 <= 12 i630 <= 12 i631 <= 12 i632 <= 12 i633 <= 12 i634 <= 12 i635 <= 12 i636 <= 12 i637 <= 12 i638 <= 12 i639 <= 12 i640 <= 12 i641 <= 12 i642 <= 12 i643 <= 12 i644 <= 12 i645 <= 12 i646 <= 12 i647 <= 12 i648 <= 12 i649 <= 12 i650 <= 12 i651 <= 12 i652 <= 12 i653 <= 12 i654 <= 12 i655 <= 12 i656 <= 12 i657 <= 12 i658 <= 12 i659 <= 12 i660 <= 12 i661 <= 12 i662 <= 12 i663 <= 12 i664 <= 12 i665 <= 12 i666 <= 12 i667 <= 12 i668 <= 12 i669 <= 12 i670 <= 12 i671 <= 12 i672 <= 12 i673 <= 12 i674 <= 12 i675 <= 12 i676 <= 12 i677 <= 12 i678 <= 12 i679 <= 12 i680 <= 12 i681 <= 12 i682 <= 12 i683 <= 12 i684 <= 12 i685 <= 12 i686 <= 12 i687 <= 12 i688 <= 12 i689 <= 12 i690 <= 12 i691 <= 12 i692 <= 12 i693 <= 12 i694 <= 12 i695 <= 12 i696 <= 12 i697 <= 12 i698 <= 12 i699 <= 12 i700 <= 12 i701 <= 12 i702 <= 12 i703 <= 12 i704 <= 12 i705 <= 12 i706 <= 12 i707 <= 12 i708 <= 12 i709 <= 12 i710 <= 12 i711 <= 12 i712 <= 12 i713 <= 12 i714 <= 12 i715 <= 12 i716 <= 12 i717 <= 12 i718 <= 12 i719 <= 12 i720 <= 12 i721 <= 12 i722 <= 12 i723 <= 12 i724 <= 12 i725 <= 12 i726 <= 12 i727 <= 12 i728 <= 12 i729 <= 12 i730 <= 12 i731 <= 12 i732 <= 12 i733 <= 12 i734 <= 12 i735 <= 12 i736 <= 12 i737 <= 12 i738 <= 12 i739 <= 12 i740 <= 12 i741 <= 12 i742 <= 12 i743 <= 12 i744 <= 12 i745 <= 12 i746 <= 12 i747 <= 12 i748 <= 12 i749 <= 12 i750 <= 12 i751 <= 12 i752 <= 12 i753 <= 12 i754 <= 12 i755 <= 12 i756 <= 12 i757 <= 12 i758 <= 12 i759 <= 12 i760 <= 12 i761 <= 12 i762 <= 12 i763 <= 12 i764 <= 12 i765 <= 12 i766 <= 12 i767 <= 12 i768 <= 12 i769 <= 12 i770 <= 12 i771 <= 12 i772 <= 12 i773 <= 12 i774 <= 12 i775 <= 12 i776 <= 12 i777 <= 12 i778 <= 12 i779 <= 12 i780 <= 12 i781 <= 12 i782 <= 12 i783 <= 12 i784 <= 12 i785 <= 12 i786 <= 12 i787 <= 12 i788 <= 12 i789 <= 12 i790 <= 12 i791 <= 12 i792 <= 12 i793 <= 12 i794 <= 12 i795 <= 12 i796 <= 12 i797 <= 12 i798 <= 12 i799 <= 12 i800 <= 12 i801 <= 12 i802 <= 12 i803 <= 12 i804 <= 12 i805 <= 12 i806 <= 12 i807 <= 12 i808 <= 12 i809 <= 12 i810 <= 12 i811 <= 12 i812 <= 12 i813 <= 12 i814 <= 12 i815 <= 12 i816 <= 12 i817 <= 12 i818 <= 12 i819 <= 12 i820 <= 12 i821 <= 12 i822 <= 12 i823 <= 12 i824 <= 12 i825 <= 12 i826 <= 12 i827 <= 12 i828 <= 12 i829 <= 12 i830 <= 12 i831 <= 12 i832 <= 12 i833 <= 12 i834 <= 12 i835 <= 12 i836 <= 12 i837 <= 12 i838 <= 12 i839 <= 12 i840 <= 12 i841 <= 12 i842 <= 12 i843 <= 12 i844 <= 12 i845 <= 12 i846 <= 12 i847 <= 12 i848 <= 12 i849 <= 12 i850 <= 12 i851 <= 12 i852 <= 12 i853 <= 12 i854 <= 12 i855 <= 12 i856 <= 12 i857 <= 12 i858 <= 12 i859 <= 12 i860 <= 12 i861 <= 12 i862 <= 12 i863 <= 12 i864 <= 12 i865 <= 12 i866 <= 12 i867 <= 12 i868 <= 12 i869 <= 12 i870 <= 12 i871 <= 12 i872 <= 12 i873 <= 12 i874 <= 12 i875 <= 12 i876 <= 12 i877 <= 12 i878 <= 12 i879 <= 12 i880 <= 12 i881 <= 12 i882 <= 12 i883 <= 12 i884 <= 12 i885 <= 12 i886 <= 12 i887 <= 12 i888 <= 12 i889 <= 12 i890 <= 12 i891 <= 12 i892 <= 12 i893 <= 12 i894 <= 12 i895 <= 12 i896 <= 12 i897 <= 12 i898 <= 12 i899 <= 12 i900 <= 12 i901 <= 12 i902 <= 12 i903 <= 12 i904 <= 12 i905 <= 12 i906 <= 12 i907 <= 12 i908 <= 12 i909 <= 12 i910 <= 12 i911 <= 12 i912 <= 12 i913 <= 12 i914 <= 12 i915 <= 12 i916 <= 12 i917 <= 12 i918 <= 12 i919 <= 12 i920 <= 12 i921 <= 12 i922 <= 12 i923 <= 12 i924 <= 12 i925 <= 12 i926 <= 12 i927 <= 12 i928 <= 12 i929 <= 12 i930 <= 12 i931 <= 12 i932 <= 12 i933 <= 12 i934 <= 12 i935 <= 12 i936 <= 12 i937 <= 12 i938 <= 12 i939 <= 12 i940 <= 12 i941 <= 12 i942 <= 12 i943 <= 12 i944 <= 12 i945 <= 12 i946 <= 12 i947 <= 12 i948 <= 12 i949 <= 12 i950 <= 12 i951 <= 12 i952 <= 12 i953 <= 12 i954 <= 12 i955 <= 12 i956 <= 12 i957 <= 12 i958 <= 12 i959 <= 12 i960 <= 12 i961 <= 12 i962 <= 12 i963 <= 12 i964 <= 12 i965 <= 12 i966 <= 12 i967 <= 12 i968 <= 12 i969 <= 12 i970 <= 12 i971 <= 12 i972 <= 12 i973 <= 12 i974 <= 12 i975 <= 12 i976 <= 12 i977 <= 12 i978 <= 12 i979 <= 12 i980 <= 12 i981 <= 12 i982 <= 12 i983 <= 12 i984 <= 12 i985 <= 12 i986 <= 12 i987 <= 12 General i89 i90 i91 i92 i93 i94 i95 i96 i97 i98 i99 i100 i101 i102 i103 i104 i105 i106 i107 i108 i109 i110 i111 i112 i113 i114 i115 i116 i117 i118 i119 i120 i121 i122 i123 i124 i125 i126 i127 i128 i129 i130 i131 i132 i133 i134 i135 i136 i137 i138 i139 i140 i141 i142 i143 i144 i145 i146 i147 i148 i149 i150 i151 i152 i153 i154 i155 i156 i157 i158 i159 i160 i161 i162 i163 i164 i165 i166 i167 i168 i169 i170 i171 i172 i173 i174 i175 i176 i177 i178 i179 i180 i181 i182 i183 i184 i185 i186 i187 i188 i189 i190 i191 i192 i193 i194 i195 i196 i197 i198 i199 i200 i201 i202 i203 i204 i205 i206 i207 i208 i209 i210 i211 i212 i213 i214 i215 i216 i217 i218 i219 i220 i221 i222 i223 i224 i225 i226 i227 i228 i229 i230 i231 i232 i233 i234 i235 i236 i237 i238 i239 i240 i241 i242 i243 i244 i245 i246 i247 i248 i249 i250 i251 i252 i253 i254 i255 i256 i257 i258 i259 i260 i261 i262 i263 i264 i265 i266 i267 i268 i269 i270 i271 i272 i273 i274 i275 i276 i277 i278 i279 i280 i281 i282 i283 i284 i285 i286 i287 i288 i289 i290 i291 i292 i293 i294 i295 i296 i297 i298 i299 i300 i301 i302 i303 i304 i305 i306 i307 i308 i309 i310 i311 i312 i313 i314 i315 i316 i317 i318 i319 i320 i321 i322 i323 i324 i325 i326 i327 i328 i329 i330 i331 i332 i333 i334 i335 i336 i337 i338 i339 i340 i341 i342 i343 i344 i345 i346 i347 i348 i349 i350 i351 i352 i353 i354 i355 i356 i357 i358 i359 i360 i361 i362 i363 i364 i365 i366 i367 i368 i369 i370 i371 i372 i373 i374 i375 i376 i377 i378 i379 i380 i381 i382 i383 i384 i385 i386 i387 i388 i389 i390 i391 i392 i393 i394 i395 i396 i397 i398 i399 i400 i401 i402 i403 i404 i405 i406 i407 i408 i409 i410 i411 i412 i413 i414 i415 i416 i417 i418 i419 i420 i421 i422 i423 i424 i425 i426 i427 i428 i429 i430 i431 i432 i433 i434 i435 i436 i437 i438 i439 i440 i441 i442 i443 i444 i445 i446 i447 i448 i449 i450 i451 i452 i453 i454 i455 i456 i457 i458 i459 i460 i461 i462 i463 i464 i465 i466 i467 i468 i469 i470 i471 i472 i473 i474 i475 i476 i477 i478 i479 i480 i481 i482 i483 i484 i485 i486 i487 i488 i489 i490 i491 i492 i493 i494 i495 i496 i497 i498 i499 i500 i501 i502 i503 i504 i505 i506 i507 i508 i509 i510 i511 i512 i513 i514 i515 i516 i517 i518 i519 i520 i521 i522 i523 i524 i525 i526 i527 i528 i529 i530 i531 i532 i533 i534 i535 i536 i537 i538 i539 i540 i541 i542 i543 i544 i545 i546 i547 i548 i549 i550 i551 i552 i553 i554 i555 i556 i557 i558 i559 i560 i561 i562 i563 i564 i565 i566 i567 i568 i569 i570 i571 i572 i573 i574 i575 i576 i577 i578 i579 i580 i581 i582 i583 i584 i585 i586 i587 i588 i589 i590 i591 i592 i593 i594 i595 i596 i597 i598 i599 i600 i601 i602 i603 i604 i605 i606 i607 i608 i609 i610 i611 i612 i613 i614 i615 i616 i617 i618 i619 i620 i621 i622 i623 i624 i625 i626 i627 i628 i629 i630 i631 i632 i633 i634 i635 i636 i637 i638 i639 i640 i641 i642 i643 i644 i645 i646 i647 i648 i649 i650 i651 i652 i653 i654 i655 i656 i657 i658 i659 i660 i661 i662 i663 i664 i665 i666 i667 i668 i669 i670 i671 i672 i673 i674 i675 i676 i677 i678 i679 i680 i681 i682 i683 i684 i685 i686 i687 i688 i689 i690 i691 i692 i693 i694 i695 i696 i697 i698 i699 i700 i701 i702 i703 i704 i705 i706 i707 i708 i709 i710 i711 i712 i713 i714 i715 i716 i717 i718 i719 i720 i721 i722 i723 i724 i725 i726 i727 i728 i729 i730 i731 i732 i733 i734 i735 i736 i737 i738 i739 i740 i741 i742 i743 i744 i745 i746 i747 i748 i749 i750 i751 i752 i753 i754 i755 i756 i757 i758 i759 i760 i761 i762 i763 i764 i765 i766 i767 i768 i769 i770 i771 i772 i773 i774 i775 i776 i777 i778 i779 i780 i781 i782 i783 i784 i785 i786 i787 i788 i789 i790 i791 i792 i793 i794 i795 i796 i797 i798 i799 i800 i801 i802 i803 i804 i805 i806 i807 i808 i809 i810 i811 i812 i813 i814 i815 i816 i817 i818 i819 i820 i821 i822 i823 i824 i825 i826 i827 i828 i829 i830 i831 i832 i833 i834 i835 i836 i837 i838 i839 i840 i841 i842 i843 i844 i845 i846 i847 i848 i849 i850 i851 i852 i853 i854 i855 i856 i857 i858 i859 i860 i861 i862 i863 i864 i865 i866 i867 i868 i869 i870 i871 i872 i873 i874 i875 i876 i877 i878 i879 i880 i881 i882 i883 i884 i885 i886 i887 i888 i889 i890 i891 i892 i893 i894 i895 i896 i897 i898 i899 i900 i901 i902 i903 i904 i905 i906 i907 i908 i909 i910 i911 i912 i913 i914 i915 i916 i917 i918 i919 i920 i921 i922 i923 i924 i925 i926 i927 i928 i929 i930 i931 i932 i933 i934 i935 i936 i937 i938 i939 i940 i941 i942 i943 i944 i945 i946 i947 i948 i949 i950 i951 i952 i953 i954 i955 i956 i957 i958 i959 i960 i961 i962 i963 i964 i965 i966 i967 i968 i969 i970 i971 i972 i973 i974 i975 i976 i977 i978 i979 i980 i981 i982 i983 i984 i985 i986 i987 End