# MINLP written by GAMS Convert at 02/17/22 17:22:46 # # Equation counts # Total E G L N X C B # 152 16 0 136 0 0 0 0 # # Variable counts # x b i s1s s2s sc si # Total cont binary integer sos1 sos2 scont sint # 152 0 152 0 0 0 0 0 # FX 0 # # Nonzero counts # Total const NL # 543 392 151 # # Reformulation has removed 1 variable and 1 equation from pyomo.environ import * model = m = ConcreteModel() m.b1 = Var(within=Binary, bounds=(0,1), initialize=0) m.b2 = Var(within=Binary, bounds=(0,1), initialize=0) m.b3 = Var(within=Binary, bounds=(0,1), initialize=0) m.b4 = Var(within=Binary, bounds=(0,1), initialize=0) m.b5 = Var(within=Binary, bounds=(0,1), initialize=0) m.b6 = Var(within=Binary, bounds=(0,1), initialize=0) m.b7 = Var(within=Binary, bounds=(0,1), initialize=0) m.b8 = Var(within=Binary, bounds=(0,1), initialize=0) m.b9 = Var(within=Binary, bounds=(0,1), initialize=0) m.b10 = Var(within=Binary, bounds=(0,1), initialize=0) m.b11 = Var(within=Binary, bounds=(0,1), initialize=0) m.b12 = Var(within=Binary, bounds=(0,1), initialize=0) m.b13 = Var(within=Binary, bounds=(0,1), initialize=0) m.b14 = Var(within=Binary, bounds=(0,1), initialize=0) m.b15 = Var(within=Binary, bounds=(0,1), initialize=0) m.b16 = Var(within=Binary, bounds=(0,1), initialize=0) m.b17 = Var(within=Binary, bounds=(0,1), initialize=0) m.b18 = Var(within=Binary, bounds=(0,1), initialize=0) m.b19 = Var(within=Binary, bounds=(0,1), initialize=0) m.b20 = Var(within=Binary, bounds=(0,1), initialize=0) m.b21 = Var(within=Binary, bounds=(0,1), initialize=0) m.b22 = Var(within=Binary, bounds=(0,1), initialize=0) m.b23 = Var(within=Binary, bounds=(0,1), initialize=0) m.b24 = Var(within=Binary, bounds=(0,1), initialize=0) m.b25 = Var(within=Binary, bounds=(0,1), initialize=0) m.b26 = Var(within=Binary, bounds=(0,1), initialize=0) m.b27 = Var(within=Binary, bounds=(0,1), initialize=0) m.b28 = Var(within=Binary, bounds=(0,1), initialize=0) m.b29 = Var(within=Binary, bounds=(0,1), initialize=0) m.b30 = Var(within=Binary, bounds=(0,1), initialize=0) m.b31 = Var(within=Binary, bounds=(0,1), initialize=0) m.b32 = Var(within=Binary, bounds=(0,1), initialize=0) m.b33 = Var(within=Binary, bounds=(0,1), initialize=0) m.b34 = Var(within=Binary, bounds=(0,1), initialize=0) m.b35 = Var(within=Binary, bounds=(0,1), initialize=0) m.b36 = Var(within=Binary, bounds=(0,1), initialize=0) m.b37 = Var(within=Binary, bounds=(0,1), initialize=0) m.b38 = Var(within=Binary, bounds=(0,1), initialize=0) m.b39 = Var(within=Binary, bounds=(0,1), initialize=0) m.b40 = Var(within=Binary, bounds=(0,1), initialize=0) m.b41 = Var(within=Binary, bounds=(0,1), initialize=0) m.b42 = Var(within=Binary, bounds=(0,1), initialize=0) m.b43 = Var(within=Binary, bounds=(0,1), initialize=0) m.b44 = Var(within=Binary, bounds=(0,1), initialize=0) m.b45 = Var(within=Binary, bounds=(0,1), initialize=0) m.b46 = Var(within=Binary, bounds=(0,1), initialize=0) m.b47 = Var(within=Binary, bounds=(0,1), initialize=0) m.b48 = Var(within=Binary, bounds=(0,1), initialize=0) m.b49 = Var(within=Binary, bounds=(0,1), initialize=0) m.b50 = Var(within=Binary, bounds=(0,1), initialize=0) m.b51 = Var(within=Binary, bounds=(0,1), initialize=0) m.b52 = Var(within=Binary, bounds=(0,1), initialize=0) m.b53 = Var(within=Binary, bounds=(0,1), initialize=0) m.b54 = Var(within=Binary, bounds=(0,1), initialize=0) m.b55 = Var(within=Binary, bounds=(0,1), initialize=0) m.b56 = Var(within=Binary, bounds=(0,1), initialize=0) m.b57 = Var(within=Binary, bounds=(0,1), initialize=0) m.b58 = Var(within=Binary, bounds=(0,1), initialize=0) m.b59 = Var(within=Binary, bounds=(0,1), initialize=0) m.b60 = Var(within=Binary, bounds=(0,1), initialize=0) m.b61 = Var(within=Binary, bounds=(0,1), initialize=0) m.b62 = Var(within=Binary, bounds=(0,1), initialize=0) m.b63 = Var(within=Binary, bounds=(0,1), initialize=0) m.b64 = Var(within=Binary, bounds=(0,1), initialize=0) m.b65 = Var(within=Binary, bounds=(0,1), initialize=0) m.b66 = Var(within=Binary, bounds=(0,1), initialize=0) m.b67 = Var(within=Binary, bounds=(0,1), initialize=0) m.b68 = Var(within=Binary, bounds=(0,1), initialize=0) m.b69 = Var(within=Binary, bounds=(0,1), initialize=0) m.b70 = Var(within=Binary, bounds=(0,1), initialize=0) m.b71 = Var(within=Binary, bounds=(0,1), initialize=0) m.b72 = Var(within=Binary, bounds=(0,1), initialize=0) m.b73 = Var(within=Binary, bounds=(0,1), initialize=0) m.b74 = Var(within=Binary, bounds=(0,1), initialize=0) m.b75 = Var(within=Binary, bounds=(0,1), initialize=0) m.b76 = Var(within=Binary, bounds=(0,1), initialize=0) m.b77 = Var(within=Binary, bounds=(0,1), initialize=0) m.b78 = Var(within=Binary, bounds=(0,1), initialize=0) m.b79 = Var(within=Binary, bounds=(0,1), initialize=0) m.b80 = Var(within=Binary, bounds=(0,1), initialize=0) m.b81 = Var(within=Binary, bounds=(0,1), initialize=0) m.b82 = Var(within=Binary, bounds=(0,1), initialize=0) m.b83 = Var(within=Binary, bounds=(0,1), initialize=0) m.b84 = Var(within=Binary, bounds=(0,1), initialize=0) m.b85 = Var(within=Binary, bounds=(0,1), initialize=0) m.b86 = Var(within=Binary, bounds=(0,1), initialize=0) m.b87 = Var(within=Binary, bounds=(0,1), initialize=0) m.b88 = Var(within=Binary, bounds=(0,1), initialize=0) m.b89 = Var(within=Binary, bounds=(0,1), initialize=0) m.b90 = Var(within=Binary, bounds=(0,1), initialize=0) m.b91 = Var(within=Binary, bounds=(0,1), initialize=0) m.b92 = Var(within=Binary, bounds=(0,1), initialize=0) m.b93 = Var(within=Binary, bounds=(0,1), initialize=0) m.b94 = Var(within=Binary, bounds=(0,1), initialize=0) m.b95 = Var(within=Binary, bounds=(0,1), initialize=0) m.b96 = Var(within=Binary, bounds=(0,1), initialize=0) m.b97 = Var(within=Binary, bounds=(0,1), initialize=0) m.b98 = Var(within=Binary, bounds=(0,1), initialize=0) m.b99 = Var(within=Binary, bounds=(0,1), initialize=0) m.b100 = Var(within=Binary, bounds=(0,1), initialize=0) m.b101 = Var(within=Binary, bounds=(0,1), initialize=0) m.b102 = Var(within=Binary, bounds=(0,1), initialize=0) m.b103 = Var(within=Binary, bounds=(0,1), initialize=0) m.b104 = Var(within=Binary, bounds=(0,1), initialize=0) m.b105 = Var(within=Binary, bounds=(0,1), initialize=0) m.b106 = Var(within=Binary, bounds=(0,1), initialize=0) m.b107 = Var(within=Binary, bounds=(0,1), initialize=0) m.b108 = Var(within=Binary, bounds=(0,1), initialize=0) m.b109 = Var(within=Binary, bounds=(0,1), initialize=0) m.b110 = Var(within=Binary, bounds=(0,1), initialize=0) m.b111 = Var(within=Binary, bounds=(0,1), initialize=0) m.b112 = Var(within=Binary, bounds=(0,1), initialize=0) m.b113 = Var(within=Binary, bounds=(0,1), initialize=0) m.b114 = Var(within=Binary, bounds=(0,1), initialize=0) m.b115 = Var(within=Binary, bounds=(0,1), initialize=0) m.b116 = Var(within=Binary, bounds=(0,1), initialize=0) m.b117 = Var(within=Binary, bounds=(0,1), initialize=0) m.b118 = Var(within=Binary, bounds=(0,1), initialize=0) m.b119 = Var(within=Binary, bounds=(0,1), initialize=0) m.b120 = Var(within=Binary, bounds=(0,1), initialize=0) m.b121 = Var(within=Binary, bounds=(0,1), initialize=0) m.b122 = Var(within=Binary, bounds=(0,1), initialize=0) m.b123 = Var(within=Binary, bounds=(0,1), initialize=0) m.b124 = Var(within=Binary, bounds=(0,1), initialize=0) m.b125 = Var(within=Binary, bounds=(0,1), initialize=0) m.b126 = Var(within=Binary, bounds=(0,1), initialize=0) m.b127 = Var(within=Binary, bounds=(0,1), initialize=0) m.b128 = Var(within=Binary, bounds=(0,1), initialize=0) m.b129 = Var(within=Binary, bounds=(0,1), initialize=0) m.b130 = Var(within=Binary, bounds=(0,1), initialize=0) m.b131 = Var(within=Binary, bounds=(0,1), initialize=0) m.b132 = Var(within=Binary, bounds=(0,1), initialize=0) m.b133 = Var(within=Binary, bounds=(0,1), initialize=0) m.b134 = Var(within=Binary, bounds=(0,1), initialize=0) m.b135 = Var(within=Binary, bounds=(0,1), initialize=0) m.b136 = Var(within=Binary, bounds=(0,1), initialize=0) m.b137 = Var(within=Binary, bounds=(0,1), initialize=0) m.b138 = Var(within=Binary, bounds=(0,1), initialize=0) m.b139 = Var(within=Binary, bounds=(0,1), initialize=0) m.b140 = Var(within=Binary, bounds=(0,1), initialize=0) m.b141 = Var(within=Binary, bounds=(0,1), initialize=0) m.b142 = Var(within=Binary, bounds=(0,1), initialize=0) m.b143 = Var(within=Binary, bounds=(0,1), initialize=0) m.b144 = Var(within=Binary, bounds=(0,1), initialize=0) m.b145 = Var(within=Binary, bounds=(0,1), initialize=0) m.b146 = Var(within=Binary, bounds=(0,1), initialize=0) m.b147 = Var(within=Binary, bounds=(0,1), initialize=0) m.b148 = Var(within=Binary, bounds=(0,1), initialize=0) m.b149 = Var(within=Binary, bounds=(0,1), initialize=0) m.b150 = Var(within=Binary, bounds=(0,1), initialize=0) m.b151 = Var(within=Binary, bounds=(0,1), initialize=0) m.b152 = Var(within=Binary, bounds=(0,1), initialize=0) m.obj = Objective(sense=minimize, expr= -540 * m.b1 * m.b2 - 383 * m.b1 - 886 * m.b2 - 426 * m.b1 * m.b3 - 777 * m.b3 - 172 * m.b1 * m.b4 - 915 * m.b4 - 736 * m.b1 * m.b5 - 793 * m.b5 - 211 * m.b1 * m.b6 - 335 * m.b6 - 368 * m.b1 * m.b7 - 386 * m.b7 - 567 * m.b1 * m.b8 - 492 * m.b8 - 429 * m.b1 * m.b9 - 649 * m.b9 - 782 * m.b1 * m.b10 - 421 * m.b10 - 530 * m.b1 * m.b11 - 362 * m.b11 - 862 * m.b1 * m.b12 - 27 * m.b12 - 123 * m.b1 * m.b13 - 690 * m.b13 - 67 * m.b1 * m.b14 - 59 * m.b14 - 135 * m.b1 * m.b15 - 763 * m.b15 - 929 * m.b1 * m.b16 - 926 * m.b16 - 802 * m.b2 * m.b3 - 22 * m.b2 * m.b4 - 58 * m.b2 * m.b5 - 69 * m.b2 * m.b6 - 167 * m.b2 * m.b7 - 393 * m.b2 * m.b8 - 456 * m.b2 * m.b9 - 11 * m.b2 * m.b10 - 42 * m.b2 * m.b11 - 229 * m.b2 * m.b12 - 373 * m.b2 * m.b13 - 421 * m.b2 * m.b14 - 919 * m.b2 * m.b15 - 784 * m.b2 * m.b16 - 537 * m.b3 * m.b4 - 198 * m.b3 * m.b5 - 324 * m.b3 * m.b6 - 315 * m.b3 * m.b7 - 370 * m.b3 * m.b8 - 413 * m.b3 * m.b9 - 526 * m.b3 * m.b10 - 91 * m.b3 * m.b11 - 980 * m.b3 * m.b12 - 956 * m.b3 * m.b13 - 873 * m.b3 * m.b14 - 862 * m.b3 * m.b15 - 170 * m.b3 * m.b16 - 996 * m.b4 * m.b5 - 281 * m.b4 * m.b6 - 305 * m.b4 * m.b7 - 925 * m.b4 * m.b8 - 84 * m.b4 * m.b9 - 327 * m.b4 * m.b10 - 336 * m.b4 * m.b11 - 505 * m.b4 * m.b12 - 846 * m.b4 * m.b13 - 729 * m.b4 * m.b14 - 313 * m.b4 * m.b15 - 857 * m.b4 * m.b16 - 124 * m.b5 * m.b6 - 895 * m.b5 * m.b7 - 582 * m.b5 * m.b8 - 545 * m.b5 * m.b9 - 814 * m.b5 * m.b10 - 367 * m.b5 * m.b11 - 434 * m.b5 * m.b12 - 364 * m.b5 * m.b13 - 43 * m.b5 * m.b14 - 750 * m.b5 * m.b15 - 87 * m.b5 * m.b16 - 808 * m.b6 * m.b7 - 276 * m.b6 * m.b8 - 178 * m.b6 * m.b9 - 788 * m.b6 * m.b10 - 584 * m.b6 * m.b11 - 403 * m.b6 * m.b12 - 651 * m.b6 * m.b13 - 754 * m.b6 * m.b14 - 399 * m.b6 * m.b15 - 932 * m.b6 * m.b16 - 60 * m.b7 * m.b8 - 676 * m.b7 * m.b9 - 368 * m.b7 * m.b10 - 739 * m.b7 * m.b11 - 12 * m.b7 * m.b12 - 226 * m.b7 * m.b13 - 586 * m.b7 * m.b14 - 94 * m.b7 * m.b15 - 539 * m.b7 * m.b16 - 795 * m.b8 * m.b9 - 570 * m.b8 * m.b10 - 434 * m.b8 * m.b11 - 378 * m.b8 * m.b12 - 467 * m.b8 * m.b13 - 601 * m.b8 * m.b14 - 97 * m.b8 * m.b15 - 902 * m.b8 * m.b16 - 317 * m.b9 * m.b10 - 492 * m.b9 * m.b11 - 652 * m.b9 * m.b12 - 756 * m.b9 * m.b13 - 301 * m.b9 * m.b14 - 280 * m.b9 * m.b15 - 286 * m.b9 * m.b16 - 441 * m.b10 * m.b11 - 865 * m.b10 * m.b12 - 689 * m.b10 * m.b13 - 444 * m.b10 * m.b14 - 619 * m.b10 * m.b15 - 440 * m.b10 * m.b16 - 729 * m.b11 * m.b12 - 31 * m.b11 * m.b13 - 117 * m.b11 * m.b14 - 97 * m.b11 * m.b15 - 771 * m.b11 * m.b16 - 481 * m.b12 * m.b13 - 675 * m.b12 * m.b14 - 709 * m.b12 * m.b15 - 927 * m.b12 * m.b16 - 567 * m.b13 * m.b14 - 856 * m.b13 * m.b15 - 497 * m.b13 * m.b16 - 353 * m.b14 * m.b15 - 586 * m.b14 * m.b16 - 965 * m.b15 * m.b16 - 540 * m.b17 * m.b18 - 426 * m.b17 * m.b19 - 172 * m.b17 * m.b20 - 736 * m.b17 * m.b21 - 211 * m.b17 * m.b22 - 368 * m.b17 * m.b23 - 567 * m.b17 * m.b24 - 429 * m.b17 * m.b25 - 782 * m.b17 * m.b26 - 530 * m.b17 * m.b27 - 862 * m.b17 * m.b28 - 123 * m.b17 * m.b29 - 67 * m.b17 * m.b30 - 135 * m.b17 * m.b31 - 929 * m.b17 * m.b32 - 802 * m.b18 * m.b19 - 22 * m.b18 * m.b20 - 58 * m.b18 * m.b21 - 69 * m.b18 * m.b22 - 167 * m.b18 * m.b23 - 393 * m.b18 * m.b24 - 456 * m.b18 * m.b25 - 11 * m.b18 * m.b26 - 42 * m.b18 * m.b27 - 229 * m.b18 * m.b28 - 373 * m.b18 * m.b29 - 421 * m.b18 * m.b30 - 919 * m.b18 * m.b31 - 784 * m.b18 * m.b32 - 537 * m.b19 * m.b20 - 198 * m.b19 * m.b21 - 324 * m.b19 * m.b22 - 315 * m.b19 * m.b23 - 370 * m.b19 * m.b24 - 413 * m.b19 * m.b25 - 526 * m.b19 * m.b26 - 91 * m.b19 * m.b27 - 980 * m.b19 * m.b28 - 956 * m.b19 * m.b29 - 873 * m.b19 * m.b30 - 862 * m.b19 * m.b31 - 170 * m.b19 * m.b32 - 996 * m.b20 * m.b21 - 281 * m.b20 * m.b22 - 305 * m.b20 * m.b23 - 925 * m.b20 * m.b24 - 84 * m.b20 * m.b25 - 327 * m.b20 * m.b26 - 336 * m.b20 * m.b27 - 505 * m.b20 * m.b28 - 846 * m.b20 * m.b29 - 729 * m.b20 * m.b30 - 313 * m.b20 * m.b31 - 857 * m.b20 * m.b32 - 124 * m.b21 * m.b22 - 895 * m.b21 * m.b23 - 582 * m.b21 * m.b24 - 545 * m.b21 * m.b25 - 814 * m.b21 * m.b26 - 367 * m.b21 * m.b27 - 434 * m.b21 * m.b28 - 364 * m.b21 * m.b29 - 43 * m.b21 * m.b30 - 750 * m.b21 * m.b31 - 87 * m.b21 * m.b32 - 808 * m.b22 * m.b23 - 276 * m.b22 * m.b24 - 178 * m.b22 * m.b25 - 788 * m.b22 * m.b26 - 584 * m.b22 * m.b27 - 403 * m.b22 * m.b28 - 651 * m.b22 * m.b29 - 754 * m.b22 * m.b30 - 399 * m.b22 * m.b31 - 932 * m.b22 * m.b32 - 60 * m.b23 * m.b24 - 676 * m.b23 * m.b25 - 368 * m.b23 * m.b26 - 739 * m.b23 * m.b27 - 12 * m.b23 * m.b28 - 226 * m.b23 * m.b29 - 586 * m.b23 * m.b30 - 94 * m.b23 * m.b31 - 539 * m.b23 * m.b32 - 795 * m.b24 * m.b25 - 570 * m.b24 * m.b26 - 434 * m.b24 * m.b27 - 378 * m.b24 * m.b28 - 467 * m.b24 * m.b29 - 601 * m.b24 * m.b30 - 97 * m.b24 * m.b31 - 902 * m.b24 * m.b32 - 317 * m.b25 * m.b26 - 492 * m.b25 * m.b27 - 652 * m.b25 * m.b28 - 756 * m.b25 * m.b29 - 301 * m.b25 * m.b30 - 280 * m.b25 * m.b31 - 286 * m.b25 * m.b32 - 441 * m.b26 * m.b27 - 865 * m.b26 * m.b28 - 689 * m.b26 * m.b29 - 444 * m.b26 * m.b30 - 619 * m.b26 * m.b31 - 440 * m.b26 * m.b32 - 729 * m.b27 * m.b28 - 31 * m.b27 * m.b29 - 117 * m.b27 * m.b30 - 97 * m.b27 * m.b31 - 771 * m.b27 * m.b32 - 481 * m.b28 * m.b29 - 675 * m.b28 * m.b30 - 709 * m.b28 * m.b31 - 927 * m.b28 * m.b32 - 567 * m.b29 * m.b30 - 856 * m.b29 * m.b31 - 497 * m.b29 * m.b32 - 353 * m.b30 * m.b31 - 586 * m.b30 * m.b32 - 965 * m.b31 * m.b32 - 802 * m.b33 * m.b34 - 22 * m.b33 * m.b35 - 58 * m.b33 * m.b36 - 69 * m.b33 * m.b37 - 167 * m.b33 * m.b38 - 393 * m.b33 * m.b39 - 456 * m.b33 * m.b40 - 11 * m.b33 * m.b41 - 42 * m.b33 * m.b42 - 229 * m.b33 * m.b43 - 373 * m.b33 * m.b44 - 421 * m.b33 * m.b45 - 919 * m.b33 * m.b46 - 784 * m.b33 * m.b47 - 537 * m.b34 * m.b35 - 198 * m.b34 * m.b36 - 324 * m.b34 * m.b37 - 315 * m.b34 * m.b38 - 370 * m.b34 * m.b39 - 413 * m.b34 * m.b40 - 526 * m.b34 * m.b41 - 91 * m.b34 * m.b42 - 980 * m.b34 * m.b43 - 956 * m.b34 * m.b44 - 873 * m.b34 * m.b45 - 862 * m.b34 * m.b46 - 170 * m.b34 * m.b47 - 996 * m.b35 * m.b36 - 281 * m.b35 * m.b37 - 305 * m.b35 * m.b38 - 925 * m.b35 * m.b39 - 84 * m.b35 * m.b40 - 327 * m.b35 * m.b41 - 336 * m.b35 * m.b42 - 505 * m.b35 * m.b43 - 846 * m.b35 * m.b44 - 729 * m.b35 * m.b45 - 313 * m.b35 * m.b46 - 857 * m.b35 * m.b47 - 124 * m.b36 * m.b37 - 895 * m.b36 * m.b38 - 582 * m.b36 * m.b39 - 545 * m.b36 * m.b40 - 814 * m.b36 * m.b41 - 367 * m.b36 * m.b42 - 434 * m.b36 * m.b43 - 364 * m.b36 * m.b44 - 43 * m.b36 * m.b45 - 750 * m.b36 * m.b46 - 87 * m.b36 * m.b47 - 808 * m.b37 * m.b38 - 276 * m.b37 * m.b39 - 178 * m.b37 * m.b40 - 788 * m.b37 * m.b41 - 584 * m.b37 * m.b42 - 403 * m.b37 * m.b43 - 651 * m.b37 * m.b44 - 754 * m.b37 * m.b45 - 399 * m.b37 * m.b46 - 932 * m.b37 * m.b47 - 60 * m.b38 * m.b39 - 676 * m.b38 * m.b40 - 368 * m.b38 * m.b41 - 739 * m.b38 * m.b42 - 12 * m.b38 * m.b43 - 226 * m.b38 * m.b44 - 586 * m.b38 * m.b45 - 94 * m.b38 * m.b46 - 539 * m.b38 * m.b47 - 795 * m.b39 * m.b40 - 570 * m.b39 * m.b41 - 434 * m.b39 * m.b42 - 378 * m.b39 * m.b43 - 467 * m.b39 * m.b44 - 601 * m.b39 * m.b45 - 97 * m.b39 * m.b46 - 902 * m.b39 * m.b47 - 317 * m.b40 * m.b41 - 492 * m.b40 * m.b42 - 652 * m.b40 * m.b43 - 756 * m.b40 * m.b44 - 301 * m.b40 * m.b45 - 280 * m.b40 * m.b46 - 286 * m.b40 * m.b47 - 441 * m.b41 * m.b42 - 865 * m.b41 * m.b43 - 689 * m.b41 * m.b44 - 444 * m.b41 * m.b45 - 619 * m.b41 * m.b46 - 440 * m.b41 * m.b47 - 729 * m.b42 * m.b43 - 31 * m.b42 * m.b44 - 117 * m.b42 * m.b45 - 97 * m.b42 * m.b46 - 771 * m.b42 * m.b47 - 481 * m.b43 * m.b44 - 675 * m.b43 * m.b45 - 709 * m.b43 * m.b46 - 927 * m.b43 * m.b47 - 567 * m.b44 * m.b45 - 856 * m.b44 * m.b46 - 497 * m.b44 * m.b47 - 353 * m.b45 * m.b46 - 586 * m.b45 * m.b47 - 965 * m.b46 * m.b47 - 537 * m.b48 * m.b49 - 198 * m.b48 * m.b50 - 324 * m.b48 * m.b51 - 315 * m.b48 * m.b52 - 370 * m.b48 * m.b53 - 413 * m.b48 * m.b54 - 526 * m.b48 * m.b55 - 91 * m.b48 * m.b56 - 980 * m.b48 * m.b57 - 956 * m.b48 * m.b58 - 873 * m.b48 * m.b59 - 862 * m.b48 * m.b60 - 170 * m.b48 * m.b61 - 996 * m.b49 * m.b50 - 281 * m.b49 * m.b51 - 305 * m.b49 * m.b52 - 925 * m.b49 * m.b53 - 84 * m.b49 * m.b54 - 327 * m.b49 * m.b55 - 336 * m.b49 * m.b56 - 505 * m.b49 * m.b57 - 846 * m.b49 * m.b58 - 729 * m.b49 * m.b59 - 313 * m.b49 * m.b60 - 857 * m.b49 * m.b61 - 124 * m.b50 * m.b51 - 895 * m.b50 * m.b52 - 582 * m.b50 * m.b53 - 545 * m.b50 * m.b54 - 814 * m.b50 * m.b55 - 367 * m.b50 * m.b56 - 434 * m.b50 * m.b57 - 364 * m.b50 * m.b58 - 43 * m.b50 * m.b59 - 750 * m.b50 * m.b60 - 87 * m.b50 * m.b61 - 808 * m.b51 * m.b52 - 276 * m.b51 * m.b53 - 178 * m.b51 * m.b54 - 788 * m.b51 * m.b55 - 584 * m.b51 * m.b56 - 403 * m.b51 * m.b57 - 651 * m.b51 * m.b58 - 754 * m.b51 * m.b59 - 399 * m.b51 * m.b60 - 932 * m.b51 * m.b61 - 60 * m.b52 * m.b53 - 676 * m.b52 * m.b54 - 368 * m.b52 * m.b55 - 739 * m.b52 * m.b56 - 12 * m.b52 * m.b57 - 226 * m.b52 * m.b58 - 586 * m.b52 * m.b59 - 94 * m.b52 * m.b60 - 539 * m.b52 * m.b61 - 795 * m.b53 * m.b54 - 570 * m.b53 * m.b55 - 434 * m.b53 * m.b56 - 378 * m.b53 * m.b57 - 467 * m.b53 * m.b58 - 601 * m.b53 * m.b59 - 97 * m.b53 * m.b60 - 902 * m.b53 * m.b61 - 317 * m.b54 * m.b55 - 492 * m.b54 * m.b56 - 652 * m.b54 * m.b57 - 756 * m.b54 * m.b58 - 301 * m.b54 * m.b59 - 280 * m.b54 * m.b60 - 286 * m.b54 * m.b61 - 441 * m.b55 * m.b56 - 865 * m.b55 * m.b57 - 689 * m.b55 * m.b58 - 444 * m.b55 * m.b59 - 619 * m.b55 * m.b60 - 440 * m.b55 * m.b61 - 729 * m.b56 * m.b57 - 31 * m.b56 * m.b58 - 117 * m.b56 * m.b59 - 97 * m.b56 * m.b60 - 771 * m.b56 * m.b61 - 481 * m.b57 * m.b58 - 675 * m.b57 * m.b59 - 709 * m.b57 * m.b60 - 927 * m.b57 * m.b61 - 567 * m.b58 * m.b59 - 856 * m.b58 * m.b60 - 497 * m.b58 * m.b61 - 353 * m.b59 * m.b60 - 586 * m.b59 * m.b61 - 965 * m.b60 * m.b61 - 996 * m.b62 * m.b63 - 281 * m.b62 * m.b64 - 305 * m.b62 * m.b65 - 925 * m.b62 * m.b66 - 84 * m.b62 * m.b67 - 327 * m.b62 * m.b68 - 336 * m.b62 * m.b69 - 505 * m.b62 * m.b70 - 846 * m.b62 * m.b71 - 729 * m.b62 * m.b72 - 313 * m.b62 * m.b73 - 857 * m.b62 * m.b74 - 124 * m.b63 * m.b64 - 895 * m.b63 * m.b65 - 582 * m.b63 * m.b66 - 545 * m.b63 * m.b67 - 814 * m.b63 * m.b68 - 367 * m.b63 * m.b69 - 434 * m.b63 * m.b70 - 364 * m.b63 * m.b71 - 43 * m.b63 * m.b72 - 750 * m.b63 * m.b73 - 87 * m.b63 * m.b74 - 808 * m.b64 * m.b65 - 276 * m.b64 * m.b66 - 178 * m.b64 * m.b67 - 788 * m.b64 * m.b68 - 584 * m.b64 * m.b69 - 403 * m.b64 * m.b70 - 651 * m.b64 * m.b71 - 754 * m.b64 * m.b72 - 399 * m.b64 * m.b73 - 932 * m.b64 * m.b74 - 60 * m.b65 * m.b66 - 676 * m.b65 * m.b67 - 368 * m.b65 * m.b68 - 739 * m.b65 * m.b69 - 12 * m.b65 * m.b70 - 226 * m.b65 * m.b71 - 586 * m.b65 * m.b72 - 94 * m.b65 * m.b73 - 539 * m.b65 * m.b74 - 795 * m.b66 * m.b67 - 570 * m.b66 * m.b68 - 434 * m.b66 * m.b69 - 378 * m.b66 * m.b70 - 467 * m.b66 * m.b71 - 601 * m.b66 * m.b72 - 97 * m.b66 * m.b73 - 902 * m.b66 * m.b74 - 317 * m.b67 * m.b68 - 492 * m.b67 * m.b69 - 652 * m.b67 * m.b70 - 756 * m.b67 * m.b71 - 301 * m.b67 * m.b72 - 280 * m.b67 * m.b73 - 286 * m.b67 * m.b74 - 441 * m.b68 * m.b69 - 865 * m.b68 * m.b70 - 689 * m.b68 * m.b71 - 444 * m.b68 * m.b72 - 619 * m.b68 * m.b73 - 440 * m.b68 * m.b74 - 729 * m.b69 * m.b70 - 31 * m.b69 * m.b71 - 117 * m.b69 * m.b72 - 97 * m.b69 * m.b73 - 771 * m.b69 * m.b74 - 481 * m.b70 * m.b71 - 675 * m.b70 * m.b72 - 709 * m.b70 * m.b73 - 927 * m.b70 * m.b74 - 567 * m.b71 * m.b72 - 856 * m.b71 * m.b73 - 497 * m.b71 * m.b74 - 353 * m.b72 * m.b73 - 586 * m.b72 * m.b74 - 965 * m.b73 * m.b74 - 124 * m.b75 * m.b76 - 895 * m.b75 * m.b77 - 582 * m.b75 * m.b78 - 545 * m.b75 * m.b79 - 814 * m.b75 * m.b80 - 367 * m.b75 * m.b81 - 434 * m.b75 * m.b82 - 364 * m.b75 * m.b83 - 43 * m.b75 * m.b84 - 750 * m.b75 * m.b85 - 87 * m.b75 * m.b86 - 808 * m.b76 * m.b77 - 276 * m.b76 * m.b78 - 178 * m.b76 * m.b79 - 788 * m.b76 * m.b80 - 584 * m.b76 * m.b81 - 403 * m.b76 * m.b82 - 651 * m.b76 * m.b83 - 754 * m.b76 * m.b84 - 399 * m.b76 * m.b85 - 932 * m.b76 * m.b86 - 60 * m.b77 * m.b78 - 676 * m.b77 * m.b79 - 368 * m.b77 * m.b80 - 739 * m.b77 * m.b81 - 12 * m.b77 * m.b82 - 226 * m.b77 * m.b83 - 586 * m.b77 * m.b84 - 94 * m.b77 * m.b85 - 539 * m.b77 * m.b86 - 795 * m.b78 * m.b79 - 570 * m.b78 * m.b80 - 434 * m.b78 * m.b81 - 378 * m.b78 * m.b82 - 467 * m.b78 * m.b83 - 601 * m.b78 * m.b84 - 97 * m.b78 * m.b85 - 902 * m.b78 * m.b86 - 317 * m.b79 * m.b80 - 492 * m.b79 * m.b81 - 652 * m.b79 * m.b82 - 756 * m.b79 * m.b83 - 301 * m.b79 * m.b84 - 280 * m.b79 * m.b85 - 286 * m.b79 * m.b86 - 441 * m.b80 * m.b81 - 865 * m.b80 * m.b82 - 689 * m.b80 * m.b83 - 444 * m.b80 * m.b84 - 619 * m.b80 * m.b85 - 440 * m.b80 * m.b86 - 729 * m.b81 * m.b82 - 31 * m.b81 * m.b83 - 117 * m.b81 * m.b84 - 97 * m.b81 * m.b85 - 771 * m.b81 * m.b86 - 481 * m.b82 * m.b83 - 675 * m.b82 * m.b84 - 709 * m.b82 * m.b85 - 927 * m.b82 * m.b86 - 567 * m.b83 * m.b84 - 856 * m.b83 * m.b85 - 497 * m.b83 * m.b86 - 353 * m.b84 * m.b85 - 586 * m.b84 * m.b86 - 965 * m.b85 * m.b86 - 808 * m.b87 * m.b88 - 276 * m.b87 * m.b89 - 178 * m.b87 * m.b90 - 788 * m.b87 * m.b91 - 584 * m.b87 * m.b92 - 403 * m.b87 * m.b93 - 651 * m.b87 * m.b94 - 754 * m.b87 * m.b95 - 399 * m.b87 * m.b96 - 932 * m.b87 * m.b97 - 60 * m.b88 * m.b89 - 676 * m.b88 * m.b90 - 368 * m.b88 * m.b91 - 739 * m.b88 * m.b92 - 12 * m.b88 * m.b93 - 226 * m.b88 * m.b94 - 586 * m.b88 * m.b95 - 94 * m.b88 * m.b96 - 539 * m.b88 * m.b97 - 795 * m.b89 * m.b90 - 570 * m.b89 * m.b91 - 434 * m.b89 * m.b92 - 378 * m.b89 * m.b93 - 467 * m.b89 * m.b94 - 601 * m.b89 * m.b95 - 97 * m.b89 * m.b96 - 902 * m.b89 * m.b97 - 317 * m.b90 * m.b91 - 492 * m.b90 * m.b92 - 652 * m.b90 * m.b93 - 756 * m.b90 * m.b94 - 301 * m.b90 * m.b95 - 280 * m.b90 * m.b96 - 286 * m.b90 * m.b97 - 441 * m.b91 * m.b92 - 865 * m.b91 * m.b93 - 689 * m.b91 * m.b94 - 444 * m.b91 * m.b95 - 619 * m.b91 * m.b96 - 440 * m.b91 * m.b97 - 729 * m.b92 * m.b93 - 31 * m.b92 * m.b94 - 117 * m.b92 * m.b95 - 97 * m.b92 * m.b96 - 771 * m.b92 * m.b97 - 481 * m.b93 * m.b94 - 675 * m.b93 * m.b95 - 709 * m.b93 * m.b96 - 927 * m.b93 * m.b97 - 567 * m.b94 * m.b95 - 856 * m.b94 * m.b96 - 497 * m.b94 * m.b97 - 353 * m.b95 * m.b96 - 586 * m.b95 * m.b97 - 965 * m.b96 * m.b97 - 60 * m.b98 * m.b99 - 676 * m.b98 * m.b100 - 368 * m.b98 * m.b101 - 739 * m.b98 * m.b102 - 12 * m.b98 * m.b103 - 226 * m.b98 * m.b104 - 586 * m.b98 * m.b105 - 94 * m.b98 * m.b106 - 539 * m.b98 * m.b107 - 795 * m.b99 * m.b100 - 570 * m.b99 * m.b101 - 434 * m.b99 * m.b102 - 378 * m.b99 * m.b103 - 467 * m.b99 * m.b104 - 601 * m.b99 * m.b105 - 97 * m.b99 * m.b106 - 902 * m.b99 * m.b107 - 317 * m.b100 * m.b101 - 492 * m.b100 * m.b102 - 652 * m.b100 * m.b103 - 756 * m.b100 * m.b104 - 301 * m.b100 * m.b105 - 280 * m.b100 * m.b106 - 286 * m.b100 * m.b107 - 441 * m.b101 * m.b102 - 865 * m.b101 * m.b103 - 689 * m.b101 * m.b104 - 444 * m.b101 * m.b105 - 619 * m.b101 * m.b106 - 440 * m.b101 * m.b107 - 729 * m.b102 * m.b103 - 31 * m.b102 * m.b104 - 117 * m.b102 * m.b105 - 97 * m.b102 * m.b106 - 771 * m.b102 * m.b107 - 481 * m.b103 * m.b104 - 675 * m.b103 * m.b105 - 709 * m.b103 * m.b106 - 927 * m.b103 * m.b107 - 567 * m.b104 * m.b105 - 856 * m.b104 * m.b106 - 497 * m.b104 * m.b107 - 353 * m.b105 * m.b106 - 586 * m.b105 * m.b107 - 965 * m.b106 * m.b107 - 795 * m.b108 * m.b109 - 570 * m.b108 * m.b110 - 434 * m.b108 * m.b111 - 378 * m.b108 * m.b112 - 467 * m.b108 * m.b113 - 601 * m.b108 * m.b114 - 97 * m.b108 * m.b115 - 902 * m.b108 * m.b116 - 317 * m.b109 * m.b110 - 492 * m.b109 * m.b111 - 652 * m.b109 * m.b112 - 756 * m.b109 * m.b113 - 301 * m.b109 * m.b114 - 280 * m.b109 * m.b115 - 286 * m.b109 * m.b116 - 441 * m.b110 * m.b111 - 865 * m.b110 * m.b112 - 689 * m.b110 * m.b113 - 444 * m.b110 * m.b114 - 619 * m.b110 * m.b115 - 440 * m.b110 * m.b116 - 729 * m.b111 * m.b112 - 31 * m.b111 * m.b113 - 117 * m.b111 * m.b114 - 97 * m.b111 * m.b115 - 771 * m.b111 * m.b116 - 481 * m.b112 * m.b113 - 675 * m.b112 * m.b114 - 709 * m.b112 * m.b115 - 927 * m.b112 * m.b116 - 567 * m.b113 * m.b114 - 856 * m.b113 * m.b115 - 497 * m.b113 * m.b116 - 353 * m.b114 * m.b115 - 586 * m.b114 * m.b116 - 965 * m.b115 * m.b116 - 317 * m.b117 * m.b118 - 492 * m.b117 * m.b119 - 652 * m.b117 * m.b120 - 756 * m.b117 * m.b121 - 301 * m.b117 * m.b122 - 280 * m.b117 * m.b123 - 286 * m.b117 * m.b124 - 441 * m.b118 * m.b119 - 865 * m.b118 * m.b120 - 689 * m.b118 * m.b121 - 444 * m.b118 * m.b122 - 619 * m.b118 * m.b123 - 440 * m.b118 * m.b124 - 729 * m.b119 * m.b120 - 31 * m.b119 * m.b121 - 117 * m.b119 * m.b122 - 97 * m.b119 * m.b123 - 771 * m.b119 * m.b124 - 481 * m.b120 * m.b121 - 675 * m.b120 * m.b122 - 709 * m.b120 * m.b123 - 927 * m.b120 * m.b124 - 567 * m.b121 * m.b122 - 856 * m.b121 * m.b123 - 497 * m.b121 * m.b124 - 353 * m.b122 * m.b123 - 586 * m.b122 * m.b124 - 965 * m.b123 * m.b124 - 441 * m.b125 * m.b126 - 865 * m.b125 * m.b127 - 689 * m.b125 * m.b128 - 444 * m.b125 * m.b129 - 619 * m.b125 * m.b130 - 440 * m.b125 * m.b131 - 729 * m.b126 * m.b127 - 31 * m.b126 * m.b128 - 117 * m.b126 * m.b129 - 97 * m.b126 * m.b130 - 771 * m.b126 * m.b131 - 481 * m.b127 * m.b128 - 675 * m.b127 * m.b129 - 709 * m.b127 * m.b130 - 927 * m.b127 * m.b131 - 567 * m.b128 * m.b129 - 856 * m.b128 * m.b130 - 497 * m.b128 * m.b131 - 353 * m.b129 * m.b130 - 586 * m.b129 * m.b131 - 965 * m.b130 * m.b131 - 729 * m.b132 * m.b133 - 31 * m.b132 * m.b134 - 117 * m.b132 * m.b135 - 97 * m.b132 * m.b136 - 771 * m.b132 * m.b137 - 481 * m.b133 * m.b134 - 675 * m.b133 * m.b135 - 709 * m.b133 * m.b136 - 927 * m.b133 * m.b137 - 567 * m.b134 * m.b135 - 856 * m.b134 * m.b136 - 497 * m.b134 * m.b137 - 353 * m.b135 * m.b136 - 586 * m.b135 * m.b137 - 965 * m.b136 * m.b137 - 481 * m.b138 * m.b139 - 675 * m.b138 * m.b140 - 709 * m.b138 * m.b141 - 927 * m.b138 * m.b142 - 567 * m.b139 * m.b140 - 856 * m.b139 * m.b141 - 497 * m.b139 * m.b142 - 353 * m.b140 * m.b141 - 586 * m.b140 * m.b142 - 965 * m.b141 * m.b142 - 567 * m.b143 * m.b144 - 856 * m.b143 * m.b145 - 497 * m.b143 * m.b146 - 353 * m.b144 * m.b145 - 586 * m.b144 * m.b146 - 965 * m.b145 * m.b146 - 353 * m.b147 * m.b148 - 586 * m.b147 * m.b149 - 965 * m.b148 * m.b149 - 965 * m.b150 * m.b151) m.e1 = Constraint(expr= m.b1 + m.b17 == 1) m.e2 = Constraint(expr= m.b2 + m.b18 + m.b33 == 1) m.e3 = Constraint(expr= m.b3 + m.b19 + m.b34 + m.b48 == 1) m.e4 = Constraint(expr= m.b4 + m.b20 + m.b35 + m.b49 + m.b62 == 1) m.e5 = Constraint(expr= m.b5 + m.b21 + m.b36 + m.b50 + m.b63 + m.b75 == 1) m.e6 = Constraint(expr= m.b6 + m.b22 + m.b37 + m.b51 + m.b64 + m.b76 + m.b87 == 1) m.e7 = Constraint(expr= m.b7 + m.b23 + m.b38 + m.b52 + m.b65 + m.b77 + m.b88 + m.b98 == 1) m.e8 = Constraint(expr= m.b8 + m.b24 + m.b39 + m.b53 + m.b66 + m.b78 + m.b89 + m.b99 + m.b108 == 1) m.e9 = Constraint(expr= m.b9 + m.b25 + m.b40 + m.b54 + m.b67 + m.b79 + m.b90 + m.b100 + m.b109 + m.b117 == 1) m.e10 = Constraint(expr= m.b10 + m.b26 + m.b41 + m.b55 + m.b68 + m.b80 + m.b91 + m.b101 + m.b110 + m.b118 + m.b125 == 1) m.e11 = Constraint(expr= m.b11 + m.b27 + m.b42 + m.b56 + m.b69 + m.b81 + m.b92 + m.b102 + m.b111 + m.b119 + m.b126 + m.b132 == 1) m.e12 = Constraint(expr= m.b12 + m.b28 + m.b43 + m.b57 + m.b70 + m.b82 + m.b93 + m.b103 + m.b112 + m.b120 + m.b127 + m.b133 + m.b138 == 1) m.e13 = Constraint(expr= m.b13 + m.b29 + m.b44 + m.b58 + m.b71 + m.b83 + m.b94 + m.b104 + m.b113 + m.b121 + m.b128 + m.b134 + m.b139 + m.b143 == 1) m.e14 = Constraint(expr= m.b14 + m.b30 + m.b45 + m.b59 + m.b72 + m.b84 + m.b95 + m.b105 + m.b114 + m.b122 + m.b129 + m.b135 + m.b140 + m.b144 + m.b147 == 1) m.e15 = Constraint(expr= m.b15 + m.b31 + m.b46 + m.b60 + m.b73 + m.b85 + m.b96 + m.b106 + m.b115 + m.b123 + m.b130 + m.b136 + m.b141 + m.b145 + m.b148 + m.b150 == 1) m.e16 = Constraint(expr= m.b16 + m.b32 + m.b47 + m.b61 + m.b74 + m.b86 + m.b97 + m.b107 + m.b116 + m.b124 + m.b131 + m.b137 + m.b142 + m.b146 + m.b149 + m.b151 + m.b152 == 1) m.e17 = Constraint(expr= -m.b17 + m.b18 <= 0) m.e18 = Constraint(expr= -m.b17 + m.b19 <= 0) m.e19 = Constraint(expr= -m.b17 + m.b20 <= 0) m.e20 = Constraint(expr= -m.b17 + m.b21 <= 0) m.e21 = Constraint(expr= -m.b17 + m.b22 <= 0) m.e22 = Constraint(expr= -m.b17 + m.b23 <= 0) m.e23 = Constraint(expr= -m.b17 + m.b24 <= 0) m.e24 = Constraint(expr= -m.b17 + m.b25 <= 0) m.e25 = Constraint(expr= -m.b17 + m.b26 <= 0) m.e26 = Constraint(expr= -m.b17 + m.b27 <= 0) m.e27 = Constraint(expr= -m.b17 + m.b28 <= 0) m.e28 = Constraint(expr= -m.b17 + m.b29 <= 0) m.e29 = Constraint(expr= -m.b17 + m.b30 <= 0) m.e30 = Constraint(expr= -m.b17 + m.b31 <= 0) m.e31 = Constraint(expr= -m.b17 + m.b32 <= 0) m.e32 = Constraint(expr= -m.b33 + m.b34 <= 0) m.e33 = Constraint(expr= -m.b33 + m.b35 <= 0) m.e34 = Constraint(expr= -m.b33 + m.b36 <= 0) m.e35 = Constraint(expr= -m.b33 + m.b37 <= 0) m.e36 = Constraint(expr= -m.b33 + m.b38 <= 0) m.e37 = Constraint(expr= -m.b33 + m.b39 <= 0) m.e38 = Constraint(expr= -m.b33 + m.b40 <= 0) m.e39 = Constraint(expr= -m.b33 + m.b41 <= 0) m.e40 = Constraint(expr= -m.b33 + m.b42 <= 0) m.e41 = Constraint(expr= -m.b33 + m.b43 <= 0) m.e42 = Constraint(expr= -m.b33 + m.b44 <= 0) m.e43 = Constraint(expr= -m.b33 + m.b45 <= 0) m.e44 = Constraint(expr= -m.b33 + m.b46 <= 0) m.e45 = Constraint(expr= -m.b33 + m.b47 <= 0) m.e46 = Constraint(expr= -m.b48 + m.b49 <= 0) m.e47 = Constraint(expr= -m.b48 + m.b50 <= 0) m.e48 = Constraint(expr= -m.b48 + m.b51 <= 0) m.e49 = Constraint(expr= -m.b48 + m.b52 <= 0) m.e50 = Constraint(expr= -m.b48 + m.b53 <= 0) m.e51 = Constraint(expr= -m.b48 + m.b54 <= 0) m.e52 = Constraint(expr= -m.b48 + m.b55 <= 0) m.e53 = Constraint(expr= -m.b48 + m.b56 <= 0) m.e54 = Constraint(expr= -m.b48 + m.b57 <= 0) m.e55 = Constraint(expr= -m.b48 + m.b58 <= 0) m.e56 = Constraint(expr= -m.b48 + m.b59 <= 0) m.e57 = Constraint(expr= -m.b48 + m.b60 <= 0) m.e58 = Constraint(expr= -m.b48 + m.b61 <= 0) m.e59 = Constraint(expr= -m.b62 + m.b63 <= 0) m.e60 = Constraint(expr= -m.b62 + m.b64 <= 0) m.e61 = Constraint(expr= -m.b62 + m.b65 <= 0) m.e62 = Constraint(expr= -m.b62 + m.b66 <= 0) m.e63 = Constraint(expr= -m.b62 + m.b67 <= 0) m.e64 = Constraint(expr= -m.b62 + m.b68 <= 0) m.e65 = Constraint(expr= -m.b62 + m.b69 <= 0) m.e66 = Constraint(expr= -m.b62 + m.b70 <= 0) m.e67 = Constraint(expr= -m.b62 + m.b71 <= 0) m.e68 = Constraint(expr= -m.b62 + m.b72 <= 0) m.e69 = Constraint(expr= -m.b62 + m.b73 <= 0) m.e70 = Constraint(expr= -m.b62 + m.b74 <= 0) m.e71 = Constraint(expr= -m.b75 + m.b76 <= 0) m.e72 = Constraint(expr= -m.b75 + m.b77 <= 0) m.e73 = Constraint(expr= -m.b75 + m.b78 <= 0) m.e74 = Constraint(expr= -m.b75 + m.b79 <= 0) m.e75 = Constraint(expr= -m.b75 + m.b80 <= 0) m.e76 = Constraint(expr= -m.b75 + m.b81 <= 0) m.e77 = Constraint(expr= -m.b75 + m.b82 <= 0) m.e78 = Constraint(expr= -m.b75 + m.b83 <= 0) m.e79 = Constraint(expr= -m.b75 + m.b84 <= 0) m.e80 = Constraint(expr= -m.b75 + m.b85 <= 0) m.e81 = Constraint(expr= -m.b75 + m.b86 <= 0) m.e82 = Constraint(expr= -m.b87 + m.b88 <= 0) m.e83 = Constraint(expr= -m.b87 + m.b89 <= 0) m.e84 = Constraint(expr= -m.b87 + m.b90 <= 0) m.e85 = Constraint(expr= -m.b87 + m.b91 <= 0) m.e86 = Constraint(expr= -m.b87 + m.b92 <= 0) m.e87 = Constraint(expr= -m.b87 + m.b93 <= 0) m.e88 = Constraint(expr= -m.b87 + m.b94 <= 0) m.e89 = Constraint(expr= -m.b87 + m.b95 <= 0) m.e90 = Constraint(expr= -m.b87 + m.b96 <= 0) m.e91 = Constraint(expr= -m.b87 + m.b97 <= 0) m.e92 = Constraint(expr= -m.b98 + m.b99 <= 0) m.e93 = Constraint(expr= -m.b98 + m.b100 <= 0) m.e94 = Constraint(expr= -m.b98 + m.b101 <= 0) m.e95 = Constraint(expr= -m.b98 + m.b102 <= 0) m.e96 = Constraint(expr= -m.b98 + m.b103 <= 0) m.e97 = Constraint(expr= -m.b98 + m.b104 <= 0) m.e98 = Constraint(expr= -m.b98 + m.b105 <= 0) m.e99 = Constraint(expr= -m.b98 + m.b106 <= 0) m.e100 = Constraint(expr= -m.b98 + m.b107 <= 0) m.e101 = Constraint(expr= -m.b108 + m.b109 <= 0) m.e102 = Constraint(expr= -m.b108 + m.b110 <= 0) m.e103 = Constraint(expr= -m.b108 + m.b111 <= 0) m.e104 = Constraint(expr= -m.b108 + m.b112 <= 0) m.e105 = Constraint(expr= -m.b108 + m.b113 <= 0) m.e106 = Constraint(expr= -m.b108 + m.b114 <= 0) m.e107 = Constraint(expr= -m.b108 + m.b115 <= 0) m.e108 = Constraint(expr= -m.b108 + m.b116 <= 0) m.e109 = Constraint(expr= -m.b117 + m.b118 <= 0) m.e110 = Constraint(expr= -m.b117 + m.b119 <= 0) m.e111 = Constraint(expr= -m.b117 + m.b120 <= 0) m.e112 = Constraint(expr= -m.b117 + m.b121 <= 0) m.e113 = Constraint(expr= -m.b117 + m.b122 <= 0) m.e114 = Constraint(expr= -m.b117 + m.b123 <= 0) m.e115 = Constraint(expr= -m.b117 + m.b124 <= 0) m.e116 = Constraint(expr= -m.b125 + m.b126 <= 0) m.e117 = Constraint(expr= -m.b125 + m.b127 <= 0) m.e118 = Constraint(expr= -m.b125 + m.b128 <= 0) m.e119 = Constraint(expr= -m.b125 + m.b129 <= 0) m.e120 = Constraint(expr= -m.b125 + m.b130 <= 0) m.e121 = Constraint(expr= -m.b125 + m.b131 <= 0) m.e122 = Constraint(expr= -m.b132 + m.b133 <= 0) m.e123 = Constraint(expr= -m.b132 + m.b134 <= 0) m.e124 = Constraint(expr= -m.b132 + m.b135 <= 0) m.e125 = Constraint(expr= -m.b132 + m.b136 <= 0) m.e126 = Constraint(expr= -m.b132 + m.b137 <= 0) m.e127 = Constraint(expr= -m.b138 + m.b139 <= 0) m.e128 = Constraint(expr= -m.b138 + m.b140 <= 0) m.e129 = Constraint(expr= -m.b138 + m.b141 <= 0) m.e130 = Constraint(expr= -m.b138 + m.b142 <= 0) m.e131 = Constraint(expr= -m.b143 + m.b144 <= 0) m.e132 = Constraint(expr= -m.b143 + m.b145 <= 0) m.e133 = Constraint(expr= -m.b143 + m.b146 <= 0) m.e134 = Constraint(expr= -m.b147 + m.b148 <= 0) m.e135 = Constraint(expr= -m.b147 + m.b149 <= 0) m.e136 = Constraint(expr= -m.b150 + m.b151 <= 0) m.e137 = Constraint(expr= -540 * m.b2 * m.b1 + 6877 * m.b1 + 5286 * m.b2 - 426 * m.b3 * m.b1 + 7843 * m.b3 - 172 * m.b4 * m.b1 + 7235 * m.b4 - 736 * m.b5 * m.b1 + 6993 * m.b5 - 211 * m.b6 * m.b1 + 6782 * m.b6 - 368 * m.b7 * m.b1 + 6158 * m.b7 - 567 * m.b8 * m.b1 + 7417 * m.b8 - 429 * m.b9 * m.b1 + 6660 * m.b9 - 782 * m.b10 * m.b1 + 8001 * m.b10 - 530 * m.b11 * m.b1 + 5801 * m.b11 - 862 * m.b12 * m.b1 + 8841 * m.b12 - 123 * m.b13 * m.b1 + 7883 * m.b13 - 67 * m.b14 * m.b1 + 7117 * m.b14 - 135 * m.b15 * m.b1 + 7448 * m.b15 - 929 * m.b16 * m.b1 + 9672 * m.b16 - 802 * m.b3 * m.b2 - 22 * m.b4 * m.b2 - 58 * m.b5 * m.b2 - 69 * m.b6 * m.b2 - 167 * m.b7 * m.b2 - 393 * m.b8 * m.b2 - 456 * m.b9 * m.b2 - 11 * m.b10 * m.b2 - 42 * m.b11 * m.b2 - 229 * m.b12 * m.b2 - 373 * m.b13 * m.b2 - 421 * m.b14 * m.b2 - 919 * m.b15 * m.b2 - 784 * m.b16 * m.b2 - 537 * m.b4 * m.b3 - 198 * m.b5 * m.b3 - 324 * m.b6 * m.b3 - 315 * m.b7 * m.b3 - 370 * m.b8 * m.b3 - 413 * m.b9 * m.b3 - 526 * m.b10 * m.b3 - 91 * m.b11 * m.b3 - 980 * m.b12 * m.b3 - 956 * m.b13 * m.b3 - 873 * m.b14 * m.b3 - 862 * m.b15 * m.b3 - 170 * m.b16 * m.b3 - 996 * m.b5 * m.b4 - 281 * m.b6 * m.b4 - 305 * m.b7 * m.b4 - 925 * m.b8 * m.b4 - 84 * m.b9 * m.b4 - 327 * m.b10 * m.b4 - 336 * m.b11 * m.b4 - 505 * m.b12 * m.b4 - 846 * m.b13 * m.b4 - 729 * m.b14 * m.b4 - 313 * m.b15 * m.b4 - 857 * m.b16 * m.b4 - 124 * m.b6 * m.b5 - 895 * m.b7 * m.b5 - 582 * m.b8 * m.b5 - 545 * m.b9 * m.b5 - 814 * m.b10 * m.b5 - 367 * m.b11 * m.b5 - 434 * m.b12 * m.b5 - 364 * m.b13 * m.b5 - 43 * m.b14 * m.b5 - 750 * m.b15 * m.b5 - 87 * m.b16 * m.b5 - 808 * m.b7 * m.b6 - 276 * m.b8 * m.b6 - 178 * m.b9 * m.b6 - 788 * m.b10 * m.b6 - 584 * m.b11 * m.b6 - 403 * m.b12 * m.b6 - 651 * m.b13 * m.b6 - 754 * m.b14 * m.b6 - 399 * m.b15 * m.b6 - 932 * m.b16 * m.b6 - 60 * m.b8 * m.b7 - 676 * m.b9 * m.b7 - 368 * m.b10 * m.b7 - 739 * m.b11 * m.b7 - 12 * m.b12 * m.b7 - 226 * m.b13 * m.b7 - 586 * m.b14 * m.b7 - 94 * m.b15 * m.b7 - 539 * m.b16 * m.b7 - 795 * m.b9 * m.b8 - 570 * m.b10 * m.b8 - 434 * m.b11 * m.b8 - 378 * m.b12 * m.b8 - 467 * m.b13 * m.b8 - 601 * m.b14 * m.b8 - 97 * m.b15 * m.b8 - 902 * m.b16 * m.b8 - 317 * m.b10 * m.b9 - 492 * m.b11 * m.b9 - 652 * m.b12 * m.b9 - 756 * m.b13 * m.b9 - 301 * m.b14 * m.b9 - 280 * m.b15 * m.b9 - 286 * m.b16 * m.b9 - 441 * m.b11 * m.b10 - 865 * m.b12 * m.b10 - 689 * m.b13 * m.b10 - 444 * m.b14 * m.b10 - 619 * m.b15 * m.b10 - 440 * m.b16 * m.b10 - 729 * m.b12 * m.b11 - 31 * m.b13 * m.b11 - 117 * m.b14 * m.b11 - 97 * m.b15 * m.b11 - 771 * m.b16 * m.b11 - 481 * m.b13 * m.b12 - 675 * m.b14 * m.b12 - 709 * m.b15 * m.b12 - 927 * m.b16 * m.b12 - 567 * m.b14 * m.b13 - 856 * m.b15 * m.b13 - 497 * m.b16 * m.b13 - 353 * m.b15 * m.b14 - 586 * m.b16 * m.b14 - 965 * m.b16 * m.b15 <= 11136) m.e138 = Constraint(expr= -540 * m.b18 * m.b17 - 12740 * m.b17 + 6172 * m.b18 - 426 * m.b19 * m.b17 + 8620 * m.b19 - 172 * m.b20 * m.b17 + 8150 * m.b20 - 736 * m.b21 * m.b17 + 7786 * m.b21 - 211 * m.b22 * m.b17 + 7117 * m.b22 - 368 * m.b23 * m.b17 + 6544 * m.b23 - 567 * m.b24 * m.b17 + 7909 * m.b24 - 429 * m.b25 * m.b17 + 7309 * m.b25 - 782 * m.b26 * m.b17 + 8422 * m.b26 - 530 * m.b27 * m.b17 + 6163 * m.b27 - 862 * m.b28 * m.b17 + 8868 * m.b28 - 123 * m.b29 * m.b17 + 8573 * m.b29 - 67 * m.b30 * m.b17 + 7176 * m.b30 - 135 * m.b31 * m.b17 + 8211 * m.b31 - 929 * m.b32 * m.b17 + 10598 * m.b32 - 802 * m.b19 * m.b18 - 22 * m.b20 * m.b18 - 58 * m.b21 * m.b18 - 69 * m.b22 * m.b18 - 167 * m.b23 * m.b18 - 393 * m.b24 * m.b18 - 456 * m.b25 * m.b18 - 11 * m.b26 * m.b18 - 42 * m.b27 * m.b18 - 229 * m.b28 * m.b18 - 373 * m.b29 * m.b18 - 421 * m.b30 * m.b18 - 919 * m.b31 * m.b18 - 784 * m.b32 * m.b18 - 537 * m.b20 * m.b19 - 198 * m.b21 * m.b19 - 324 * m.b22 * m.b19 - 315 * m.b23 * m.b19 - 370 * m.b24 * m.b19 - 413 * m.b25 * m.b19 - 526 * m.b26 * m.b19 - 91 * m.b27 * m.b19 - 980 * m.b28 * m.b19 - 956 * m.b29 * m.b19 - 873 * m.b30 * m.b19 - 862 * m.b31 * m.b19 - 170 * m.b32 * m.b19 - 996 * m.b21 * m.b20 - 281 * m.b22 * m.b20 - 305 * m.b23 * m.b20 - 925 * m.b24 * m.b20 - 84 * m.b25 * m.b20 - 327 * m.b26 * m.b20 - 336 * m.b27 * m.b20 - 505 * m.b28 * m.b20 - 846 * m.b29 * m.b20 - 729 * m.b30 * m.b20 - 313 * m.b31 * m.b20 - 857 * m.b32 * m.b20 - 124 * m.b22 * m.b21 - 895 * m.b23 * m.b21 - 582 * m.b24 * m.b21 - 545 * m.b25 * m.b21 - 814 * m.b26 * m.b21 - 367 * m.b27 * m.b21 - 434 * m.b28 * m.b21 - 364 * m.b29 * m.b21 - 43 * m.b30 * m.b21 - 750 * m.b31 * m.b21 - 87 * m.b32 * m.b21 - 808 * m.b23 * m.b22 - 276 * m.b24 * m.b22 - 178 * m.b25 * m.b22 - 788 * m.b26 * m.b22 - 584 * m.b27 * m.b22 - 403 * m.b28 * m.b22 - 651 * m.b29 * m.b22 - 754 * m.b30 * m.b22 - 399 * m.b31 * m.b22 - 932 * m.b32 * m.b22 - 60 * m.b24 * m.b23 - 676 * m.b25 * m.b23 - 368 * m.b26 * m.b23 - 739 * m.b27 * m.b23 - 12 * m.b28 * m.b23 - 226 * m.b29 * m.b23 - 586 * m.b30 * m.b23 - 94 * m.b31 * m.b23 - 539 * m.b32 * m.b23 - 795 * m.b25 * m.b24 - 570 * m.b26 * m.b24 - 434 * m.b27 * m.b24 - 378 * m.b28 * m.b24 - 467 * m.b29 * m.b24 - 601 * m.b30 * m.b24 - 97 * m.b31 * m.b24 - 902 * m.b32 * m.b24 - 317 * m.b26 * m.b25 - 492 * m.b27 * m.b25 - 652 * m.b28 * m.b25 - 756 * m.b29 * m.b25 - 301 * m.b30 * m.b25 - 280 * m.b31 * m.b25 - 286 * m.b32 * m.b25 - 441 * m.b27 * m.b26 - 865 * m.b28 * m.b26 - 689 * m.b29 * m.b26 - 444 * m.b30 * m.b26 - 619 * m.b31 * m.b26 - 440 * m.b32 * m.b26 - 729 * m.b28 * m.b27 - 31 * m.b29 * m.b27 - 117 * m.b30 * m.b27 - 97 * m.b31 * m.b27 - 771 * m.b32 * m.b27 - 481 * m.b29 * m.b28 - 675 * m.b30 * m.b28 - 709 * m.b31 * m.b28 - 927 * m.b32 * m.b28 - 567 * m.b30 * m.b29 - 856 * m.b31 * m.b29 - 497 * m.b32 * m.b29 - 353 * m.b31 * m.b30 - 586 * m.b32 * m.b30 - 965 * m.b32 * m.b31 <= 0) m.e139 = Constraint(expr= -802 * m.b34 * m.b33 - 13828 * m.b33 + 8620 * m.b34 - 22 * m.b35 * m.b33 + 8150 * m.b35 - 58 * m.b36 * m.b33 + 7786 * m.b36 - 69 * m.b37 * m.b33 + 7117 * m.b37 - 167 * m.b38 * m.b33 + 6544 * m.b38 - 393 * m.b39 * m.b33 + 7909 * m.b39 - 456 * m.b40 * m.b33 + 7309 * m.b40 - 11 * m.b41 * m.b33 + 8422 * m.b41 - 42 * m.b42 * m.b33 + 6163 * m.b42 - 229 * m.b43 * m.b33 + 8868 * m.b43 - 373 * m.b44 * m.b33 + 8573 * m.b44 - 421 * m.b45 * m.b33 + 7176 * m.b45 - 919 * m.b46 * m.b33 + 8211 * m.b46 - 784 * m.b47 * m.b33 + 10598 * m.b47 - 537 * m.b35 * m.b34 - 198 * m.b36 * m.b34 - 324 * m.b37 * m.b34 - 315 * m.b38 * m.b34 - 370 * m.b39 * m.b34 - 413 * m.b40 * m.b34 - 526 * m.b41 * m.b34 - 91 * m.b42 * m.b34 - 980 * m.b43 * m.b34 - 956 * m.b44 * m.b34 - 873 * m.b45 * m.b34 - 862 * m.b46 * m.b34 - 170 * m.b47 * m.b34 - 996 * m.b36 * m.b35 - 281 * m.b37 * m.b35 - 305 * m.b38 * m.b35 - 925 * m.b39 * m.b35 - 84 * m.b40 * m.b35 - 327 * m.b41 * m.b35 - 336 * m.b42 * m.b35 - 505 * m.b43 * m.b35 - 846 * m.b44 * m.b35 - 729 * m.b45 * m.b35 - 313 * m.b46 * m.b35 - 857 * m.b47 * m.b35 - 124 * m.b37 * m.b36 - 895 * m.b38 * m.b36 - 582 * m.b39 * m.b36 - 545 * m.b40 * m.b36 - 814 * m.b41 * m.b36 - 367 * m.b42 * m.b36 - 434 * m.b43 * m.b36 - 364 * m.b44 * m.b36 - 43 * m.b45 * m.b36 - 750 * m.b46 * m.b36 - 87 * m.b47 * m.b36 - 808 * m.b38 * m.b37 - 276 * m.b39 * m.b37 - 178 * m.b40 * m.b37 - 788 * m.b41 * m.b37 - 584 * m.b42 * m.b37 - 403 * m.b43 * m.b37 - 651 * m.b44 * m.b37 - 754 * m.b45 * m.b37 - 399 * m.b46 * m.b37 - 932 * m.b47 * m.b37 - 60 * m.b39 * m.b38 - 676 * m.b40 * m.b38 - 368 * m.b41 * m.b38 - 739 * m.b42 * m.b38 - 12 * m.b43 * m.b38 - 226 * m.b44 * m.b38 - 586 * m.b45 * m.b38 - 94 * m.b46 * m.b38 - 539 * m.b47 * m.b38 - 795 * m.b40 * m.b39 - 570 * m.b41 * m.b39 - 434 * m.b42 * m.b39 - 378 * m.b43 * m.b39 - 467 * m.b44 * m.b39 - 601 * m.b45 * m.b39 - 97 * m.b46 * m.b39 - 902 * m.b47 * m.b39 - 317 * m.b41 * m.b40 - 492 * m.b42 * m.b40 - 652 * m.b43 * m.b40 - 756 * m.b44 * m.b40 - 301 * m.b45 * m.b40 - 280 * m.b46 * m.b40 - 286 * m.b47 * m.b40 - 441 * m.b42 * m.b41 - 865 * m.b43 * m.b41 - 689 * m.b44 * m.b41 - 444 * m.b45 * m.b41 - 619 * m.b46 * m.b41 - 440 * m.b47 * m.b41 - 729 * m.b43 * m.b42 - 31 * m.b44 * m.b42 - 117 * m.b45 * m.b42 - 97 * m.b46 * m.b42 - 771 * m.b47 * m.b42 - 481 * m.b44 * m.b43 - 675 * m.b45 * m.b43 - 709 * m.b46 * m.b43 - 927 * m.b47 * m.b43 - 567 * m.b45 * m.b44 - 856 * m.b46 * m.b44 - 497 * m.b47 * m.b44 - 353 * m.b46 * m.b45 - 586 * m.b47 * m.b45 - 965 * m.b47 * m.b46 <= 0) m.e140 = Constraint(expr= -537 * m.b49 * m.b48 - 11380 * m.b48 + 8150 * m.b49 - 198 * m.b50 * m.b48 + 7786 * m.b50 - 324 * m.b51 * m.b48 + 7117 * m.b51 - 315 * m.b52 * m.b48 + 6544 * m.b52 - 370 * m.b53 * m.b48 + 7909 * m.b53 - 413 * m.b54 * m.b48 + 7309 * m.b54 - 526 * m.b55 * m.b48 + 8422 * m.b55 - 91 * m.b56 * m.b48 + 6163 * m.b56 - 980 * m.b57 * m.b48 + 8868 * m.b57 - 956 * m.b58 * m.b48 + 8573 * m.b58 - 873 * m.b59 * m.b48 + 7176 * m.b59 - 862 * m.b60 * m.b48 + 8211 * m.b60 - 170 * m.b61 * m.b48 + 10598 * m.b61 - 996 * m.b50 * m.b49 - 281 * m.b51 * m.b49 - 305 * m.b52 * m.b49 - 925 * m.b53 * m.b49 - 84 * m.b54 * m.b49 - 327 * m.b55 * m.b49 - 336 * m.b56 * m.b49 - 505 * m.b57 * m.b49 - 846 * m.b58 * m.b49 - 729 * m.b59 * m.b49 - 313 * m.b60 * m.b49 - 857 * m.b61 * m.b49 - 124 * m.b51 * m.b50 - 895 * m.b52 * m.b50 - 582 * m.b53 * m.b50 - 545 * m.b54 * m.b50 - 814 * m.b55 * m.b50 - 367 * m.b56 * m.b50 - 434 * m.b57 * m.b50 - 364 * m.b58 * m.b50 - 43 * m.b59 * m.b50 - 750 * m.b60 * m.b50 - 87 * m.b61 * m.b50 - 808 * m.b52 * m.b51 - 276 * m.b53 * m.b51 - 178 * m.b54 * m.b51 - 788 * m.b55 * m.b51 - 584 * m.b56 * m.b51 - 403 * m.b57 * m.b51 - 651 * m.b58 * m.b51 - 754 * m.b59 * m.b51 - 399 * m.b60 * m.b51 - 932 * m.b61 * m.b51 - 60 * m.b53 * m.b52 - 676 * m.b54 * m.b52 - 368 * m.b55 * m.b52 - 739 * m.b56 * m.b52 - 12 * m.b57 * m.b52 - 226 * m.b58 * m.b52 - 586 * m.b59 * m.b52 - 94 * m.b60 * m.b52 - 539 * m.b61 * m.b52 - 795 * m.b54 * m.b53 - 570 * m.b55 * m.b53 - 434 * m.b56 * m.b53 - 378 * m.b57 * m.b53 - 467 * m.b58 * m.b53 - 601 * m.b59 * m.b53 - 97 * m.b60 * m.b53 - 902 * m.b61 * m.b53 - 317 * m.b55 * m.b54 - 492 * m.b56 * m.b54 - 652 * m.b57 * m.b54 - 756 * m.b58 * m.b54 - 301 * m.b59 * m.b54 - 280 * m.b60 * m.b54 - 286 * m.b61 * m.b54 - 441 * m.b56 * m.b55 - 865 * m.b57 * m.b55 - 689 * m.b58 * m.b55 - 444 * m.b59 * m.b55 - 619 * m.b60 * m.b55 - 440 * m.b61 * m.b55 - 729 * m.b57 * m.b56 - 31 * m.b58 * m.b56 - 117 * m.b59 * m.b56 - 97 * m.b60 * m.b56 - 771 * m.b61 * m.b56 - 481 * m.b58 * m.b57 - 675 * m.b59 * m.b57 - 709 * m.b60 * m.b57 - 927 * m.b61 * m.b57 - 567 * m.b59 * m.b58 - 856 * m.b60 * m.b58 - 497 * m.b61 * m.b58 - 353 * m.b60 * m.b59 - 586 * m.b61 * m.b59 - 965 * m.b61 * m.b60 <= 0) m.e141 = Constraint(expr= -996 * m.b63 * m.b62 - 11850 * m.b62 + 7786 * m.b63 - 281 * m.b64 * m.b62 + 7117 * m.b64 - 305 * m.b65 * m.b62 + 6544 * m.b65 - 925 * m.b66 * m.b62 + 7909 * m.b66 - 84 * m.b67 * m.b62 + 7309 * m.b67 - 327 * m.b68 * m.b62 + 8422 * m.b68 - 336 * m.b69 * m.b62 + 6163 * m.b69 - 505 * m.b70 * m.b62 + 8868 * m.b70 - 846 * m.b71 * m.b62 + 8573 * m.b71 - 729 * m.b72 * m.b62 + 7176 * m.b72 - 313 * m.b73 * m.b62 + 8211 * m.b73 - 857 * m.b74 * m.b62 + 10598 * m.b74 - 124 * m.b64 * m.b63 - 895 * m.b65 * m.b63 - 582 * m.b66 * m.b63 - 545 * m.b67 * m.b63 - 814 * m.b68 * m.b63 - 367 * m.b69 * m.b63 - 434 * m.b70 * m.b63 - 364 * m.b71 * m.b63 - 43 * m.b72 * m.b63 - 750 * m.b73 * m.b63 - 87 * m.b74 * m.b63 - 808 * m.b65 * m.b64 - 276 * m.b66 * m.b64 - 178 * m.b67 * m.b64 - 788 * m.b68 * m.b64 - 584 * m.b69 * m.b64 - 403 * m.b70 * m.b64 - 651 * m.b71 * m.b64 - 754 * m.b72 * m.b64 - 399 * m.b73 * m.b64 - 932 * m.b74 * m.b64 - 60 * m.b66 * m.b65 - 676 * m.b67 * m.b65 - 368 * m.b68 * m.b65 - 739 * m.b69 * m.b65 - 12 * m.b70 * m.b65 - 226 * m.b71 * m.b65 - 586 * m.b72 * m.b65 - 94 * m.b73 * m.b65 - 539 * m.b74 * m.b65 - 795 * m.b67 * m.b66 - 570 * m.b68 * m.b66 - 434 * m.b69 * m.b66 - 378 * m.b70 * m.b66 - 467 * m.b71 * m.b66 - 601 * m.b72 * m.b66 - 97 * m.b73 * m.b66 - 902 * m.b74 * m.b66 - 317 * m.b68 * m.b67 - 492 * m.b69 * m.b67 - 652 * m.b70 * m.b67 - 756 * m.b71 * m.b67 - 301 * m.b72 * m.b67 - 280 * m.b73 * m.b67 - 286 * m.b74 * m.b67 - 441 * m.b69 * m.b68 - 865 * m.b70 * m.b68 - 689 * m.b71 * m.b68 - 444 * m.b72 * m.b68 - 619 * m.b73 * m.b68 - 440 * m.b74 * m.b68 - 729 * m.b70 * m.b69 - 31 * m.b71 * m.b69 - 117 * m.b72 * m.b69 - 97 * m.b73 * m.b69 - 771 * m.b74 * m.b69 - 481 * m.b71 * m.b70 - 675 * m.b72 * m.b70 - 709 * m.b73 * m.b70 - 927 * m.b74 * m.b70 - 567 * m.b72 * m.b71 - 856 * m.b73 * m.b71 - 497 * m.b74 * m.b71 - 353 * m.b73 * m.b72 - 586 * m.b74 * m.b72 - 965 * m.b74 * m.b73 <= 0) m.e142 = Constraint(expr= -124 * m.b76 * m.b75 - 12214 * m.b75 + 7117 * m.b76 - 895 * m.b77 * m.b75 + 6544 * m.b77 - 582 * m.b78 * m.b75 + 7909 * m.b78 - 545 * m.b79 * m.b75 + 7309 * m.b79 - 814 * m.b80 * m.b75 + 8422 * m.b80 - 367 * m.b81 * m.b75 + 6163 * m.b81 - 434 * m.b82 * m.b75 + 8868 * m.b82 - 364 * m.b83 * m.b75 + 8573 * m.b83 - 43 * m.b84 * m.b75 + 7176 * m.b84 - 750 * m.b85 * m.b75 + 8211 * m.b85 - 87 * m.b86 * m.b75 + 10598 * m.b86 - 808 * m.b77 * m.b76 - 276 * m.b78 * m.b76 - 178 * m.b79 * m.b76 - 788 * m.b80 * m.b76 - 584 * m.b81 * m.b76 - 403 * m.b82 * m.b76 - 651 * m.b83 * m.b76 - 754 * m.b84 * m.b76 - 399 * m.b85 * m.b76 - 932 * m.b86 * m.b76 - 60 * m.b78 * m.b77 - 676 * m.b79 * m.b77 - 368 * m.b80 * m.b77 - 739 * m.b81 * m.b77 - 12 * m.b82 * m.b77 - 226 * m.b83 * m.b77 - 586 * m.b84 * m.b77 - 94 * m.b85 * m.b77 - 539 * m.b86 * m.b77 - 795 * m.b79 * m.b78 - 570 * m.b80 * m.b78 - 434 * m.b81 * m.b78 - 378 * m.b82 * m.b78 - 467 * m.b83 * m.b78 - 601 * m.b84 * m.b78 - 97 * m.b85 * m.b78 - 902 * m.b86 * m.b78 - 317 * m.b80 * m.b79 - 492 * m.b81 * m.b79 - 652 * m.b82 * m.b79 - 756 * m.b83 * m.b79 - 301 * m.b84 * m.b79 - 280 * m.b85 * m.b79 - 286 * m.b86 * m.b79 - 441 * m.b81 * m.b80 - 865 * m.b82 * m.b80 - 689 * m.b83 * m.b80 - 444 * m.b84 * m.b80 - 619 * m.b85 * m.b80 - 440 * m.b86 * m.b80 - 729 * m.b82 * m.b81 - 31 * m.b83 * m.b81 - 117 * m.b84 * m.b81 - 97 * m.b85 * m.b81 - 771 * m.b86 * m.b81 - 481 * m.b83 * m.b82 - 675 * m.b84 * m.b82 - 709 * m.b85 * m.b82 - 927 * m.b86 * m.b82 - 567 * m.b84 * m.b83 - 856 * m.b85 * m.b83 - 497 * m.b86 * m.b83 - 353 * m.b85 * m.b84 - 586 * m.b86 * m.b84 - 965 * m.b86 * m.b85 <= 0) m.e143 = Constraint(expr= -808 * m.b88 * m.b87 - 12883 * m.b87 + 6544 * m.b88 - 276 * m.b89 * m.b87 + 7909 * m.b89 - 178 * m.b90 * m.b87 + 7309 * m.b90 - 788 * m.b91 * m.b87 + 8422 * m.b91 - 584 * m.b92 * m.b87 + 6163 * m.b92 - 403 * m.b93 * m.b87 + 8868 * m.b93 - 651 * m.b94 * m.b87 + 8573 * m.b94 - 754 * m.b95 * m.b87 + 7176 * m.b95 - 399 * m.b96 * m.b87 + 8211 * m.b96 - 932 * m.b97 * m.b87 + 10598 * m.b97 - 60 * m.b89 * m.b88 - 676 * m.b90 * m.b88 - 368 * m.b91 * m.b88 - 739 * m.b92 * m.b88 - 12 * m.b93 * m.b88 - 226 * m.b94 * m.b88 - 586 * m.b95 * m.b88 - 94 * m.b96 * m.b88 - 539 * m.b97 * m.b88 - 795 * m.b90 * m.b89 - 570 * m.b91 * m.b89 - 434 * m.b92 * m.b89 - 378 * m.b93 * m.b89 - 467 * m.b94 * m.b89 - 601 * m.b95 * m.b89 - 97 * m.b96 * m.b89 - 902 * m.b97 * m.b89 - 317 * m.b91 * m.b90 - 492 * m.b92 * m.b90 - 652 * m.b93 * m.b90 - 756 * m.b94 * m.b90 - 301 * m.b95 * m.b90 - 280 * m.b96 * m.b90 - 286 * m.b97 * m.b90 - 441 * m.b92 * m.b91 - 865 * m.b93 * m.b91 - 689 * m.b94 * m.b91 - 444 * m.b95 * m.b91 - 619 * m.b96 * m.b91 - 440 * m.b97 * m.b91 - 729 * m.b93 * m.b92 - 31 * m.b94 * m.b92 - 117 * m.b95 * m.b92 - 97 * m.b96 * m.b92 - 771 * m.b97 * m.b92 - 481 * m.b94 * m.b93 - 675 * m.b95 * m.b93 - 709 * m.b96 * m.b93 - 927 * m.b97 * m.b93 - 567 * m.b95 * m.b94 - 856 * m.b96 * m.b94 - 497 * m.b97 * m.b94 - 353 * m.b96 * m.b95 - 586 * m.b97 * m.b95 - 965 * m.b97 * m.b96 <= 0) m.e144 = Constraint(expr= -60 * m.b99 * m.b98 - 13456 * m.b98 + 7909 * m.b99 - 676 * m.b100 * m.b98 + 7309 * m.b100 - 368 * m.b101 * m.b98 + 8422 * m.b101 - 739 * m.b102 * m.b98 + 6163 * m.b102 - 12 * m.b103 * m.b98 + 8868 * m.b103 - 226 * m.b104 * m.b98 + 8573 * m.b104 - 586 * m.b105 * m.b98 + 7176 * m.b105 - 94 * m.b106 * m.b98 + 8211 * m.b106 - 539 * m.b107 * m.b98 + 10598 * m.b107 - 795 * m.b100 * m.b99 - 570 * m.b101 * m.b99 - 434 * m.b102 * m.b99 - 378 * m.b103 * m.b99 - 467 * m.b104 * m.b99 - 601 * m.b105 * m.b99 - 97 * m.b106 * m.b99 - 902 * m.b107 * m.b99 - 317 * m.b101 * m.b100 - 492 * m.b102 * m.b100 - 652 * m.b103 * m.b100 - 756 * m.b104 * m.b100 - 301 * m.b105 * m.b100 - 280 * m.b106 * m.b100 - 286 * m.b107 * m.b100 - 441 * m.b102 * m.b101 - 865 * m.b103 * m.b101 - 689 * m.b104 * m.b101 - 444 * m.b105 * m.b101 - 619 * m.b106 * m.b101 - 440 * m.b107 * m.b101 - 729 * m.b103 * m.b102 - 31 * m.b104 * m.b102 - 117 * m.b105 * m.b102 - 97 * m.b106 * m.b102 - 771 * m.b107 * m.b102 - 481 * m.b104 * m.b103 - 675 * m.b105 * m.b103 - 709 * m.b106 * m.b103 - 927 * m.b107 * m.b103 - 567 * m.b105 * m.b104 - 856 * m.b106 * m.b104 - 497 * m.b107 * m.b104 - 353 * m.b106 * m.b105 - 586 * m.b107 * m.b105 - 965 * m.b107 * m.b106 <= 0) m.e145 = Constraint(expr= -795 * m.b109 * m.b108 - 12091 * m.b108 + 7309 * m.b109 - 570 * m.b110 * m.b108 + 8422 * m.b110 - 434 * m.b111 * m.b108 + 6163 * m.b111 - 378 * m.b112 * m.b108 + 8868 * m.b112 - 467 * m.b113 * m.b108 + 8573 * m.b113 - 601 * m.b114 * m.b108 + 7176 * m.b114 - 97 * m.b115 * m.b108 + 8211 * m.b115 - 902 * m.b116 * m.b108 + 10598 * m.b116 - 317 * m.b110 * m.b109 - 492 * m.b111 * m.b109 - 652 * m.b112 * m.b109 - 756 * m.b113 * m.b109 - 301 * m.b114 * m.b109 - 280 * m.b115 * m.b109 - 286 * m.b116 * m.b109 - 441 * m.b111 * m.b110 - 865 * m.b112 * m.b110 - 689 * m.b113 * m.b110 - 444 * m.b114 * m.b110 - 619 * m.b115 * m.b110 - 440 * m.b116 * m.b110 - 729 * m.b112 * m.b111 - 31 * m.b113 * m.b111 - 117 * m.b114 * m.b111 - 97 * m.b115 * m.b111 - 771 * m.b116 * m.b111 - 481 * m.b113 * m.b112 - 675 * m.b114 * m.b112 - 709 * m.b115 * m.b112 - 927 * m.b116 * m.b112 - 567 * m.b114 * m.b113 - 856 * m.b115 * m.b113 - 497 * m.b116 * m.b113 - 353 * m.b115 * m.b114 - 586 * m.b116 * m.b114 - 965 * m.b116 * m.b115 <= 0) m.e146 = Constraint(expr= -317 * m.b118 * m.b117 - 12691 * m.b117 + 8422 * m.b118 - 492 * m.b119 * m.b117 + 6163 * m.b119 - 652 * m.b120 * m.b117 + 8868 * m.b120 - 756 * m.b121 * m.b117 + 8573 * m.b121 - 301 * m.b122 * m.b117 + 7176 * m.b122 - 280 * m.b123 * m.b117 + 8211 * m.b123 - 286 * m.b124 * m.b117 + 10598 * m.b124 - 441 * m.b119 * m.b118 - 865 * m.b120 * m.b118 - 689 * m.b121 * m.b118 - 444 * m.b122 * m.b118 - 619 * m.b123 * m.b118 - 440 * m.b124 * m.b118 - 729 * m.b120 * m.b119 - 31 * m.b121 * m.b119 - 117 * m.b122 * m.b119 - 97 * m.b123 * m.b119 - 771 * m.b124 * m.b119 - 481 * m.b121 * m.b120 - 675 * m.b122 * m.b120 - 709 * m.b123 * m.b120 - 927 * m.b124 * m.b120 - 567 * m.b122 * m.b121 - 856 * m.b123 * m.b121 - 497 * m.b124 * m.b121 - 353 * m.b123 * m.b122 - 586 * m.b124 * m.b122 - 965 * m.b124 * m.b123 <= 0) m.e147 = Constraint(expr= -441 * m.b126 * m.b125 - 11578 * m.b125 + 6163 * m.b126 - 865 * m.b127 * m.b125 + 8868 * m.b127 - 689 * m.b128 * m.b125 + 8573 * m.b128 - 444 * m.b129 * m.b125 + 7176 * m.b129 - 619 * m.b130 * m.b125 + 8211 * m.b130 - 440 * m.b131 * m.b125 + 10598 * m.b131 - 729 * m.b127 * m.b126 - 31 * m.b128 * m.b126 - 117 * m.b129 * m.b126 - 97 * m.b130 * m.b126 - 771 * m.b131 * m.b126 - 481 * m.b128 * m.b127 - 675 * m.b129 * m.b127 - 709 * m.b130 * m.b127 - 927 * m.b131 * m.b127 - 567 * m.b129 * m.b128 - 856 * m.b130 * m.b128 - 497 * m.b131 * m.b128 - 353 * m.b130 * m.b129 - 586 * m.b131 * m.b129 - 965 * m.b131 * m.b130 <= 0) m.e148 = Constraint(expr= -729 * m.b133 * m.b132 - 13837 * m.b132 + 8868 * m.b133 - 31 * m.b134 * m.b132 + 8573 * m.b134 - 117 * m.b135 * m.b132 + 7176 * m.b135 - 97 * m.b136 * m.b132 + 8211 * m.b136 - 771 * m.b137 * m.b132 + 10598 * m.b137 - 481 * m.b134 * m.b133 - 675 * m.b135 * m.b133 - 709 * m.b136 * m.b133 - 927 * m.b137 * m.b133 - 567 * m.b135 * m.b134 - 856 * m.b136 * m.b134 - 497 * m.b137 * m.b134 - 353 * m.b136 * m.b135 - 586 * m.b137 * m.b135 - 965 * m.b137 * m.b136 <= 0) m.e149 = Constraint(expr= -481 * m.b139 * m.b138 - 11132 * m.b138 + 8573 * m.b139 - 675 * m.b140 * m.b138 + 7176 * m.b140 - 709 * m.b141 * m.b138 + 8211 * m.b141 - 927 * m.b142 * m.b138 + 10598 * m.b142 - 567 * m.b140 * m.b139 - 856 * m.b141 * m.b139 - 497 * m.b142 * m.b139 - 353 * m.b141 * m.b140 - 586 * m.b142 * m.b140 - 965 * m.b142 * m.b141 <= 0) m.e150 = Constraint(expr= -567 * m.b144 * m.b143 - 11427 * m.b143 + 7176 * m.b144 - 856 * m.b145 * m.b143 + 8211 * m.b145 - 497 * m.b146 * m.b143 + 10598 * m.b146 - 353 * m.b145 * m.b144 - 586 * m.b146 * m.b144 - 965 * m.b146 * m.b145 <= 0) m.e151 = Constraint(expr= -353 * m.b148 * m.b147 - 12824 * m.b147 + 8211 * m.b148 - 586 * m.b149 * m.b147 + 10598 * m.b149 - 965 * m.b149 * m.b148 <= 0) m.e152 = Constraint(expr= -965 * m.b151 * m.b150 - 11789 * m.b150 + 10598 * m.b151 <= 0)