#  MINLP written by GAMS Convert at 01/12/18 13:30:01
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        737       65      184      488        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        273      169      104        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2107     1749      358        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 1;
var x3 >= 0, <= 1;
var x4 >= 0, <= 1;
var x5 >= 0, <= 1;
var x6 >= 0, <= 1;
var x7 >= 0, <= 1;
var x8 >= 0, <= 1;
var x9 >= 0, <= 1;
var x10 >= 0, <= 1;
var x11 >= 0, <= 1;
var x12 >= 0, <= 1;
var x13 >= 0, <= 1;
var x14 >= 0, <= 1;
var x15 >= 0, <= 1;
var x16 >= 0, <= 1;
var x17 >= 0, <= 1;
var x18 >= 0, <= 1;
var x19 >= 0, <= 1;
var x20 >= 0, <= 1;
var x21 >= 0, <= 1;
var x22 >= 0, <= 1;
var x23 >= 0, <= 1;
var x24 >= 0, <= 1;
var x25 >= 0, <= 1;
var x26 >= 0, <= 1;
var x27 >= 0, <= 1;
var x28 >= 0, <= 1;
var x29 >= 0, <= 1;
var x30 >= 0, <= 1;
var x31 >= 0, <= 1;
var x32 >= 0, <= 1;
var x33 >= 0, <= 1;
var x34 >= 0, <= 1;
var x35 >= 0, <= 1;
var x36 >= 0, <= 1;
var x37 >= 0, <= 1;
var x38 >= 0, <= 1;
var x39 >= 0, <= 1;
var x40 >= 0, <= 1;
var x41 >= 0, <= 1;
var x42 >= 0, <= 1;
var x43 >= 0, <= 1;
var x44 >= 0, <= 1;
var x45 >= 0, <= 1;
var x46 >= 0, <= 1;
var x47 >= 0, <= 1;
var x48 >= 0, <= 1;
var x49 >= 0, <= 1;
var x50 >= 0, <= 1;
var x51 >= 0, <= 1;
var x52 >= 0, <= 1;
var x53 >= 0, <= 1;
var x54 >= 0, <= 1;
var x55 >= 0, <= 1;
var x56 >= 0, <= 1;
var x57 >= 0, <= 1;
var x58 >= 0, <= 1;
var x59 >= 0, <= 1;
var x60 >= 0, <= 1;
var x61 >= 0, <= 1;
var x62 >= 0, <= 1;
var x63 >= 0, <= 1;
var x64 >= 0, <= 1;
var x65 >= 0, <= 1;
var x66 >= 0, <= 1;
var x67 >= 0, <= 1;
var x68 >= 0, <= 1;
var x69 >= 0, <= 1;
var x70 >= 0, <= 1;
var x71 >= 0, <= 1;
var x72 >= 0, <= 1;
var x73 >= 0, <= 1;
var x74 >= 0, <= 1;
var x75 >= 0, <= 1;
var x76 >= 0, <= 1;
var x77 >= 0, <= 1;
var x78 >= 0, <= 1;
var x79 >= 0, <= 1;
var x80 >= 0, <= 1;
var x81 >= 0, <= 1;
var x82 >= 0, <= 1;
var x83 >= 0, <= 1;
var x84 >= 0, <= 1;
var x85 >= 0, <= 1;
var x86 >= 0, <= 1;
var x87 >= 0, <= 1;
var x88 >= 0, <= 1;
var x89 >= 0, <= 1;
var x90 >= 0, <= 1;
var x91 >= 0, <= 1;
var x92 >= 0, <= 1;
var x93 >= 0, <= 1;
var x94 >= 0, <= 1;
var x95 >= 0, <= 1;
var x96 >= 0, <= 1;
var x97 >= 0, <= 1;
var x98 >= 0, <= 1;
var x99 >= 0, <= 1;
var x100 >= 0, <= 1;
var x101 >= 0, <= 1;
var x102 >= 0, <= 1;
var x103 >= 0, <= 1;
var x104 >= 0, <= 1;
var x105 >= 0, <= 1;
var x106 >= 0, <= 1;
var x107 >= 0, <= 1;
var x108 >= 0, <= 1;
var x109 >= 0, <= 1;
var x110 >= 0, <= 1;
var x111 >= 0, <= 1;
var x112 >= 0, <= 1;
var x113 >= 0, <= 1;
var x114 >= 0, <= 1;
var x115 >= 0, <= 1;
var x116 >= 0, <= 1;
var x117 >= 0, <= 1;
var x118 >= 0, <= 1;
var x119 >= 0, <= 1;
var x120 >= 0, <= 1;
var x121 >= 0, <= 1;
var x122 >= 0, <= 1;
var x123 >= 0, <= 1;
var x124 >= 0, <= 1;
var x125 >= 0, <= 1;
var x126 >= 0, <= 1;
var x127 >= 0, <= 1;
var x128 >= 0, <= 1;
var x129 >= 0, <= 1;
var x130 >= 0, <= 1;
var x131 >= 0, <= 1;
var x132 >= 0, <= 1;
var x133 >= 0, <= 1;
var x134 >= 0, <= 1;
var x135 >= 0, <= 1;
var x136 >= 0, <= 1;
var x137 >= 0, <= 1;
var x138 >= 0, <= 2;
var x139 >= 0, <= 2;
var x140 >= 0, <= 2;
var x141 >= 0, <= 2;
var x142 >= 0, <= 2;
var x143 >= 0, <= 2;
var x144 >= 0, <= 2;
var x145 >= 0, <= 2;
var x146 >= 0, <= 2;
var x147 >= 0, <= 2;
var x148 >= 0, <= 2;
var x149 >= 0, <= 2;
var x150 >= 0, <= 2;
var x151 >= 0, <= 2;
var x152 >= 0, <= 2;
var x153 >= 0, <= 2;
var x154 >= 0, <= 2;
var x155 >= 0, <= 2;
var x156 >= 0, <= 2;
var x157 >= 0, <= 2;
var x158 >= 0, <= 2;
var x159 >= 0, <= 2;
var x160 >= 0, <= 2;
var x161 >= 0, <= 2;
var x162 >= 0, <= 2;
var x163 >= 0, <= 2;
var x164 >= 0, <= 2;
var x165 >= 0, <= 2;
var x166 >= 0, <= 2;
var x167 >= 0, <= 2;
var x168 >= 0, <= 2;
var x169 >= 0, <= 2;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;

maximize obj:  - 0.87*x2 - 0.87*x3 - 0.87*x4 - 0.87*x5 + 7.42*x6 + 7.42*x7
     + 7.42*x8 + 7.42*x9 - 1.06*x10 - 1.06*x11 - 1.06*x12 - 1.06*x13 - 0.58*x14
     - 0.58*x15 - 0.58*x16 - 0.58*x17 - 0.63*x18 - 0.63*x19 - 0.63*x20
     - 0.63*x21 - 0.32*x22 - 0.32*x23 - 0.32*x24 - 0.32*x25 - 0.13*x26
     - 0.13*x27 - 0.13*x28 - 0.13*x29 - 0.58*x30 - 0.58*x31 - 0.58*x32
     - 0.58*x33 - 0.29*x34 - 0.29*x35 - 0.29*x36 - 0.29*x37 - 0.27*x38
     - 0.27*x39 - 0.27*x40 - 0.27*x41 + 7.92*x42 + 7.92*x43 + 7.92*x44
     + 7.92*x45 - 0.04*x46 - 0.04*x47 - 0.04*x48 - 0.04*x49 - 0.11*x50
     - 0.11*x51 - 0.11*x52 - 0.11*x53 - 0.88*x54 - 0.88*x55 - 0.88*x56
     - 0.88*x57 - 0.26*x58 - 0.26*x59 - 0.26*x60 - 0.26*x61 + 8.88*x62
     + 8.88*x63 + 8.88*x64 + 8.88*x65 - 0.01*x66 - 0.01*x67 - 0.01*x68
     - 0.01*x69 - 0.18*x70 - 0.18*x71 - 0.18*x72 - 0.18*x73 - 0.09*x74
     - 0.09*x75 - 0.09*x76 - 0.09*x77 - 0.47*x78 - 0.47*x79 - 0.47*x80
     - 0.47*x81 + 8.2*x82 + 8.2*x83 + 8.2*x84 + 8.2*x85 + 0.27*x86 + 0.27*x87
     + 0.27*x88 + 0.27*x89 - 0.32*x90 - 0.32*x91 - 0.32*x92 - 0.32*x93
     - 0.65*x94 - 0.65*x95 - 0.65*x96 - 0.65*x97 + 8.08*x98 + 8.08*x99
     + 8.08*x100 + 8.08*x101 - 0.67*x102 - 0.67*x103 - 0.67*x104 - 0.67*x105
     - 0.19*b170 - 0.19*b171 - 0.19*b172 - 0.19*b173 - 0.46*b174 - 0.46*b175
     - 0.46*b176 - 0.46*b177 - 0.16*b178 - 0.16*b179 - 0.16*b180 - 0.16*b181
     - 0.64*b182 - 0.64*b183 - 0.64*b184 - 0.64*b185 - 0.19*b186 - 0.19*b187
     - 0.19*b188 - 0.19*b189 - 0.48*b190 - 0.48*b191 - 0.48*b192 - 0.48*b193
     - 0.59*b194 - 0.59*b195 - 0.59*b196 - 0.59*b197 - 0.38*b198 - 0.38*b199
     - 0.38*b200 - 0.38*b201 - 0.25*b202 - 0.25*b203 - 0.25*b204 - 0.25*b205
     - 0.62*b206 - 0.62*b207 - 0.62*b208 - 0.62*b209 - 0.82*b210 - 0.82*b211
     - 0.82*b212 - 0.82*b213 - 0.73*b214 - 0.73*b215 - 0.73*b216 - 0.73*b217
     - 0.58*b218 - 0.58*b219 - 0.58*b220 - 0.58*b221 - 0.91*b222 - 0.91*b223
     - 0.91*b224 - 0.91*b225 - 0.82*b226 - 0.82*b227 - 0.82*b228 - 0.82*b229
     - 0.59*b230 - 0.59*b231 - 0.59*b232 - 0.59*b233 - 0.43*b234 - 0.43*b235
     - 0.43*b236 - 0.43*b237 - 0.16*b238 - 0.16*b239 - 0.16*b240 - 0.16*b241
     - 0.42*b242 - 0.42*b243 - 0.42*b244 - 0.42*b245 - 0.6*b246 - 0.6*b247
     - 0.6*b248 - 0.6*b249 - 0.7*b250 - 0.7*b251 - 0.7*b252 - 0.7*b253
     - 0.64*b254 - 0.64*b255 - 0.64*b256 - 0.64*b257 - 0.07*b258 - 0.07*b259
     - 0.07*b260 - 0.07*b261 - 0.53*b262 - 0.53*b263 - 0.53*b264 - 0.53*b265
     - 0.41*b266 - 0.41*b267 - 0.41*b268 - 0.41*b269 - 0.72*b270 - 0.72*b271
     - 0.72*b272 - 0.72*b273;

subject to

e2:    x2 + x6 + x138 = 2.2;

e3:    x10 + x14 + x18 + x22 + x26 + x142 = 2;

e4:  - x10 + x30 + x34 + x38 + x42 + x46 - x50 - x70 - x90 + x146 = 1.2;

e5:  - x2 - x14 - x30 + x50 + x54 + x58 + x62 + x66 - x74 + x150 = 1.7;

e6:  - x18 - x34 - x54 + x70 + x74 + x78 + x82 + x86 - x94 + x154 = 1.6;

e7:  - x22 - x38 - x58 - x78 + x90 + x94 + x98 + x102 + x158 = 1.2;

e8:  - x6 - x42 - x62 - x82 - x98 + x162 = 0.34;

e9:  - x26 - x46 - x66 - x86 - x102 + x166 = 0.1;

e10: x106*x146 - 0.6*x10 + 0.5*x30 + 0.5*x34 + 0.5*x38 + 0.5*x42 + 0.5*x46
      - 0.8*x50 - 0.7*x70 - 0.7*x90 = 0.6;

e11: x110*x150 - x2 - 0.6*x14 - 0.5*x30 + 0.8*x50 + 0.8*x54 + 0.8*x58 + 0.8*x62
      + 0.8*x66 - 0.7*x74 = 1.36;

e12: x114*x154 - 0.6*x18 - 0.5*x34 - 0.8*x54 + 0.7*x70 + 0.7*x74 + 0.7*x78
      + 0.7*x82 + 0.7*x86 - 0.7*x94 = 1.12;

e13: x118*x158 - 0.6*x22 - 0.5*x38 - 0.8*x58 - 0.7*x78 + 0.7*x90 + 0.7*x94
      + 0.7*x98 + 0.7*x102 = 0.84;

e14: x122*x146 - 0.9*x10 + 0.1*x30 + 0.1*x34 + 0.1*x38 + 0.1*x42 + 0.1*x46
      - 0.8*x50 - 0.1*x70 - 0.5*x90 = 0.12;

e15: x126*x150 - 0.6*x2 - 0.9*x14 - 0.1*x30 + 0.8*x50 + 0.8*x54 + 0.8*x58
      + 0.8*x62 + 0.8*x66 - 0.1*x74 = 1.36;

e16: x130*x154 - 0.9*x18 - 0.1*x34 - 0.8*x54 + 0.1*x70 + 0.1*x74 + 0.1*x78
      + 0.1*x82 + 0.1*x86 - 0.5*x94 = 0.16;

e17: x134*x158 - 0.9*x22 - 0.1*x38 - 0.8*x58 - 0.1*x78 + 0.5*x90 + 0.5*x94
      + 0.5*x98 + 0.5*x102 = 0.6;

e18:    x3 + x7 - x138 + x139 = 0.1;

e19:    x4 + x8 - x139 + x140 = 0.2;

e20:    x5 + x9 - x140 + x141 = 0.8;

e21:    x11 + x15 + x19 + x23 + x27 - x142 + x143 = 0.1;

e22:    x12 + x16 + x20 + x24 + x28 - x143 + x144 = 0.4;

e23:    x13 + x17 + x21 + x25 + x29 - x144 + x145 = 0.8;

e24:  - x11 + x31 + x35 + x39 + x43 + x47 - x51 - x71 - x91 - x146 + x147 = 0;

e25:  - x12 + x32 + x36 + x40 + x44 + x48 - x52 - x72 - x92 - x147 + x148 = 0;

e26:  - x13 + x33 + x37 + x41 + x45 + x49 - x53 - x73 - x93 - x148 + x149 = 0;

e27:  - x3 - x15 - x31 + x51 + x55 + x59 + x63 + x67 - x75 - x150 + x151 = 0;

e28:  - x4 - x16 - x32 + x52 + x56 + x60 + x64 + x68 - x76 - x151 + x152 = 0;

e29:  - x5 - x17 - x33 + x53 + x57 + x61 + x65 + x69 - x77 - x152 + x153 = 0;

e30:  - x19 - x35 - x55 + x71 + x75 + x79 + x83 + x87 - x95 - x154 + x155 = 0;

e31:  - x20 - x36 - x56 + x72 + x76 + x80 + x84 + x88 - x96 - x155 + x156 = 0;

e32:  - x21 - x37 - x57 + x73 + x77 + x81 + x85 + x89 - x97 - x156 + x157 = 0;

e33:  - x23 - x39 - x59 - x79 + x91 + x95 + x99 + x103 - x158 + x159 = 0;

e34:  - x24 - x40 - x60 - x80 + x92 + x96 + x100 + x104 - x159 + x160 = 0;

e35:  - x25 - x41 - x61 - x81 + x93 + x97 + x101 + x105 - x160 + x161 = 0;

e36:  - x7 - x43 - x63 - x83 - x99 - x162 + x163 = -0.53;

e37:  - x8 - x44 - x64 - x84 - x100 - x163 + x164 = -0.66;

e38:  - x9 - x45 - x65 - x85 - x101 - x164 + x165 = -0.29;

e39:  - x27 - x47 - x67 - x87 - x103 - x166 + x167 = -0.42;

e40:  - x28 - x48 - x68 - x88 - x104 - x167 + x168 = -0.63;

e41:  - x29 - x49 - x69 - x89 - x105 - x168 + x169 = -0.43;

e42: x107*x147 - (x106*x146 + x110*x51 + x114*x71 + x118*x91 - (x106*x31 + x106
     *x35 + x106*x39 + x106*x43 + x106*x47)) - 0.6*x11 = 0;

e43: x108*x148 - (x107*x147 + x111*x52 + x115*x72 + x119*x92 - (x107*x32 + x107
     *x36 + x107*x40 + x107*x44 + x107*x48)) - 0.6*x12 = 0;

e44: x109*x149 - (x108*x148 + x112*x53 + x116*x73 + x120*x93 - (x108*x33 + x108
     *x37 + x108*x41 + x108*x45 + x108*x49)) - 0.6*x13 = 0;

e45: x111*x151 - (x110*x150 + x106*x31 + x114*x75 - (x110*x51 + x110*x55 + x110
     *x59 + x110*x63 + x110*x67)) - x3 - 0.6*x15 = 0;

e46: x112*x152 - (x111*x151 + x107*x32 + x115*x76 - (x111*x52 + x111*x56 + x111
     *x60 + x111*x64 + x111*x68)) - x4 - 0.6*x16 = 0;

e47: x113*x153 - (x112*x152 + x108*x33 + x116*x77 - (x112*x53 + x112*x57 + x112
     *x61 + x112*x65 + x112*x69)) - x5 - 0.6*x17 = 0;

e48: x115*x155 - (x114*x154 + x106*x35 + x110*x55 + x118*x95 - (x114*x71 + x114
     *x75 + x114*x79 + x114*x83 + x114*x87)) - 0.6*x19 = 0;

e49: x116*x156 - (x115*x155 + x107*x36 + x111*x56 + x119*x96 - (x115*x72 + x115
     *x76 + x115*x80 + x115*x84 + x115*x88)) - 0.6*x20 = 0;

e50: x117*x157 - (x116*x156 + x108*x37 + x112*x57 + x120*x97 - (x116*x73 + x116
     *x77 + x116*x81 + x116*x85 + x116*x89)) - 0.6*x21 = 0;

e51: x119*x159 - (x118*x158 + x106*x39 + x110*x59 + x114*x79 - (x118*x91 + x118
     *x95 + x118*x99 + x118*x103)) - 0.6*x23 = 0;

e52: x120*x160 - (x119*x159 + x107*x40 + x111*x60 + x115*x80 - (x119*x92 + x119
     *x96 + x119*x100 + x119*x104)) - 0.6*x24 = 0;

e53: x121*x161 - (x120*x160 + x108*x41 + x112*x61 + x116*x81 - (x120*x93 + x120
     *x97 + x120*x101 + x120*x105)) - 0.6*x25 = 0;

e54: x123*x147 - (x122*x146 + x126*x51 + x130*x71 + x134*x91 - (x122*x31 + x122
     *x35 + x122*x39 + x122*x43 + x122*x47)) - 0.9*x11 = 0;

e55: x124*x148 - (x123*x147 + x127*x52 + x131*x72 + x135*x92 - (x123*x32 + x123
     *x36 + x123*x40 + x123*x44 + x123*x48)) - 0.9*x12 = 0;

e56: x125*x149 - (x124*x148 + x128*x53 + x132*x73 + x136*x93 - (x124*x33 + x124
     *x37 + x124*x41 + x124*x45 + x124*x49)) - 0.9*x13 = 0;

e57: x127*x151 - (x126*x150 + x122*x31 + x130*x75 - (x126*x51 + x126*x55 + x126
     *x59 + x126*x63 + x126*x67)) - 0.6*x3 - 0.9*x15 = 0;

e58: x128*x152 - (x127*x151 + x123*x32 + x131*x76 - (x127*x52 + x127*x56 + x127
     *x60 + x127*x64 + x127*x68)) - 0.6*x4 - 0.9*x16 = 0;

e59: x129*x153 - (x128*x152 + x124*x33 + x132*x77 - (x128*x53 + x128*x57 + x128
     *x61 + x128*x65 + x128*x69)) - 0.6*x5 - 0.9*x17 = 0;

e60: x131*x155 - (x130*x154 + x122*x35 + x126*x55 + x134*x95 - (x130*x71 + x130
     *x75 + x130*x79 + x130*x83 + x130*x87)) - 0.9*x19 = 0;

e61: x132*x156 - (x131*x155 + x123*x36 + x127*x56 + x135*x96 - (x131*x72 + x131
     *x76 + x131*x80 + x131*x84 + x131*x88)) - 0.9*x20 = 0;

e62: x133*x157 - (x132*x156 + x124*x37 + x128*x57 + x136*x97 - (x132*x73 + x132
     *x77 + x132*x81 + x132*x85 + x132*x89)) - 0.9*x21 = 0;

e63: x135*x159 - (x134*x158 + x122*x39 + x126*x59 + x130*x79 - (x134*x91 + x134
     *x95 + x134*x99 + x134*x103)) - 0.9*x23 = 0;

e64: x136*x160 - (x135*x159 + x123*x40 + x127*x60 + x131*x80 - (x135*x92 + x135
     *x96 + x135*x100 + x135*x104)) - 0.9*x24 = 0;

e65: x137*x161 - (x136*x160 + x124*x41 + x128*x61 + x132*x81 - (x136*x93 + x136
     *x97 + x136*x101 + x136*x105)) - 0.9*x25 = 0;

e66:    x2 - b170 <= 0;

e67:    x3 - b171 <= 0;

e68:    x4 - b172 <= 0;

e69:    x5 - b173 <= 0;

e70:    x6 - b174 <= 0;

e71:    x7 - b175 <= 0;

e72:    x8 - b176 <= 0;

e73:    x9 - b177 <= 0;

e74:    x10 - b178 <= 0;

e75:    x11 - b179 <= 0;

e76:    x12 - b180 <= 0;

e77:    x13 - b181 <= 0;

e78:    x14 - b182 <= 0;

e79:    x15 - b183 <= 0;

e80:    x16 - b184 <= 0;

e81:    x17 - b185 <= 0;

e82:    x18 - b186 <= 0;

e83:    x19 - b187 <= 0;

e84:    x20 - b188 <= 0;

e85:    x21 - b189 <= 0;

e86:    x22 - b190 <= 0;

e87:    x23 - b191 <= 0;

e88:    x24 - b192 <= 0;

e89:    x25 - b193 <= 0;

e90:    x26 - b194 <= 0;

e91:    x27 - b195 <= 0;

e92:    x28 - b196 <= 0;

e93:    x29 - b197 <= 0;

e94:    x30 - b198 <= 0;

e95:    x31 - b199 <= 0;

e96:    x32 - b200 <= 0;

e97:    x33 - b201 <= 0;

e98:    x34 - b202 <= 0;

e99:    x35 - b203 <= 0;

e100:    x36 - b204 <= 0;

e101:    x37 - b205 <= 0;

e102:    x38 - b206 <= 0;

e103:    x39 - b207 <= 0;

e104:    x40 - b208 <= 0;

e105:    x41 - b209 <= 0;

e106:    x42 - b210 <= 0;

e107:    x43 - b211 <= 0;

e108:    x44 - b212 <= 0;

e109:    x45 - b213 <= 0;

e110:    x46 - b214 <= 0;

e111:    x47 - b215 <= 0;

e112:    x48 - b216 <= 0;

e113:    x49 - b217 <= 0;

e114:    x50 - b218 <= 0;

e115:    x51 - b219 <= 0;

e116:    x52 - b220 <= 0;

e117:    x53 - b221 <= 0;

e118:    x54 - b222 <= 0;

e119:    x55 - b223 <= 0;

e120:    x56 - b224 <= 0;

e121:    x57 - b225 <= 0;

e122:    x58 - b226 <= 0;

e123:    x59 - b227 <= 0;

e124:    x60 - b228 <= 0;

e125:    x61 - b229 <= 0;

e126:    x62 - b230 <= 0;

e127:    x63 - b231 <= 0;

e128:    x64 - b232 <= 0;

e129:    x65 - b233 <= 0;

e130:    x66 - b234 <= 0;

e131:    x67 - b235 <= 0;

e132:    x68 - b236 <= 0;

e133:    x69 - b237 <= 0;

e134:    x70 - b238 <= 0;

e135:    x71 - b239 <= 0;

e136:    x72 - b240 <= 0;

e137:    x73 - b241 <= 0;

e138:    x74 - b242 <= 0;

e139:    x75 - b243 <= 0;

e140:    x76 - b244 <= 0;

e141:    x77 - b245 <= 0;

e142:    x78 - b246 <= 0;

e143:    x79 - b247 <= 0;

e144:    x80 - b248 <= 0;

e145:    x81 - b249 <= 0;

e146:    x82 - b250 <= 0;

e147:    x83 - b251 <= 0;

e148:    x84 - b252 <= 0;

e149:    x85 - b253 <= 0;

e150:    x86 - b254 <= 0;

e151:    x87 - b255 <= 0;

e152:    x88 - b256 <= 0;

e153:    x89 - b257 <= 0;

e154:    x90 - b258 <= 0;

e155:    x91 - b259 <= 0;

e156:    x92 - b260 <= 0;

e157:    x93 - b261 <= 0;

e158:    x94 - b262 <= 0;

e159:    x95 - b263 <= 0;

e160:    x96 - b264 <= 0;

e161:    x97 - b265 <= 0;

e162:    x98 - b266 <= 0;

e163:    x99 - b267 <= 0;

e164:    x100 - b268 <= 0;

e165:    x101 - b269 <= 0;

e166:    x102 - b270 <= 0;

e167:    x103 - b271 <= 0;

e168:    x104 - b272 <= 0;

e169:    x105 - b273 <= 0;

e170:    x2 >= 0;

e171:    x3 >= 0;

e172:    x4 >= 0;

e173:    x5 >= 0;

e174:    x6 >= 0;

e175:    x7 >= 0;

e176:    x8 >= 0;

e177:    x9 >= 0;

e178:    x10 >= 0;

e179:    x11 >= 0;

e180:    x12 >= 0;

e181:    x13 >= 0;

e182:    x14 >= 0;

e183:    x15 >= 0;

e184:    x16 >= 0;

e185:    x17 >= 0;

e186:    x18 >= 0;

e187:    x19 >= 0;

e188:    x20 >= 0;

e189:    x21 >= 0;

e190:    x22 >= 0;

e191:    x23 >= 0;

e192:    x24 >= 0;

e193:    x25 >= 0;

e194:    x26 >= 0;

e195:    x27 >= 0;

e196:    x28 >= 0;

e197:    x29 >= 0;

e198:    x30 >= 0;

e199:    x31 >= 0;

e200:    x32 >= 0;

e201:    x33 >= 0;

e202:    x34 >= 0;

e203:    x35 >= 0;

e204:    x36 >= 0;

e205:    x37 >= 0;

e206:    x38 >= 0;

e207:    x39 >= 0;

e208:    x40 >= 0;

e209:    x41 >= 0;

e210:    x42 >= 0;

e211:    x43 >= 0;

e212:    x44 >= 0;

e213:    x45 >= 0;

e214:    x46 >= 0;

e215:    x47 >= 0;

e216:    x48 >= 0;

e217:    x49 >= 0;

e218:    x50 >= 0;

e219:    x51 >= 0;

e220:    x52 >= 0;

e221:    x53 >= 0;

e222:    x54 >= 0;

e223:    x55 >= 0;

e224:    x56 >= 0;

e225:    x57 >= 0;

e226:    x58 >= 0;

e227:    x59 >= 0;

e228:    x60 >= 0;

e229:    x61 >= 0;

e230:    x62 >= 0;

e231:    x63 >= 0;

e232:    x64 >= 0;

e233:    x65 >= 0;

e234:    x66 >= 0;

e235:    x67 >= 0;

e236:    x68 >= 0;

e237:    x69 >= 0;

e238:    x70 >= 0;

e239:    x71 >= 0;

e240:    x72 >= 0;

e241:    x73 >= 0;

e242:    x74 >= 0;

e243:    x75 >= 0;

e244:    x76 >= 0;

e245:    x77 >= 0;

e246:    x78 >= 0;

e247:    x79 >= 0;

e248:    x80 >= 0;

e249:    x81 >= 0;

e250:    x82 >= 0;

e251:    x83 >= 0;

e252:    x84 >= 0;

e253:    x85 >= 0;

e254:    x86 >= 0;

e255:    x87 >= 0;

e256:    x88 >= 0;

e257:    x89 >= 0;

e258:    x90 >= 0;

e259:    x91 >= 0;

e260:    x92 >= 0;

e261:    x93 >= 0;

e262:    x94 >= 0;

e263:    x95 >= 0;

e264:    x96 >= 0;

e265:    x97 >= 0;

e266:    x98 >= 0;

e267:    x99 >= 0;

e268:    x100 >= 0;

e269:    x101 >= 0;

e270:    x102 >= 0;

e271:    x103 >= 0;

e272:    x104 >= 0;

e273:    x105 >= 0;

e274:    b174 <= 1.4;

e275:    b175 <= 1.4;

e276:    b176 <= 1.4;

e277:    b177 <= 1.4;

e278:    b194 <= 1.1;

e279:    b195 <= 1.1;

e280:    b196 <= 1.1;

e281:    b197 <= 1.1;

e282:    b174 <= 0.9;

e283:    b175 <= 0.9;

e284:    b176 <= 0.9;

e285:    b177 <= 0.9;

e286:    b194 <= 1.7;

e287:    b195 <= 1.7;

e288:    b196 <= 1.7;

e289:    b197 <= 1.7;

e290:  - b174 >= -1;

e291:  - b175 >= -1;

e292:  - b176 >= -1;

e293:  - b177 >= -1;

e294:  - b194 >= -1.3;

e295:  - b195 >= -1.3;

e296:  - b196 >= -1.3;

e297:  - b197 >= -1.3;

e298:  - b174 >= -1.4;

e299:  - b175 >= -1.4;

e300:  - b176 >= -1.4;

e301:  - b177 >= -1.4;

e302:  - b194 >= -0.7;

e303:  - b195 >= -0.7;

e304:  - b196 >= -0.7;

e305:  - b197 >= -0.7;

e306:  - x106 + b211 <= 0.4;

e307:  - x107 + b212 <= 0.4;

e308:  - x108 + b213 <= 0.4;

e309:  - x106 + b215 <= 0.5;

e310:  - x107 + b216 <= 0.5;

e311:  - x108 + b217 <= 0.5;

e312:  - x110 + b231 <= 0.4;

e313:  - x111 + b232 <= 0.4;

e314:  - x112 + b233 <= 0.4;

e315:  - x110 + b235 <= 0.5;

e316:  - x111 + b236 <= 0.5;

e317:  - x112 + b237 <= 0.5;

e318:  - x114 + b251 <= 0.4;

e319:  - x115 + b252 <= 0.4;

e320:  - x116 + b253 <= 0.4;

e321:  - x114 + b255 <= 0.5;

e322:  - x115 + b256 <= 0.5;

e323:  - x116 + b257 <= 0.5;

e324:  - x118 + b267 <= 0.4;

e325:  - x119 + b268 <= 0.4;

e326:  - x120 + b269 <= 0.4;

e327:  - x118 + b271 <= 0.5;

e328:  - x119 + b272 <= 0.5;

e329:  - x120 + b273 <= 0.5;

e330:  - x122 + b211 <= 0.3;

e331:  - x123 + b212 <= 0.3;

e332:  - x124 + b213 <= 0.3;

e333:  - x122 + b215 <= 0.8;

e334:  - x123 + b216 <= 0.8;

e335:  - x124 + b217 <= 0.8;

e336:  - x126 + b231 <= 0.3;

e337:  - x127 + b232 <= 0.3;

e338:  - x128 + b233 <= 0.3;

e339:  - x126 + b235 <= 0.8;

e340:  - x127 + b236 <= 0.8;

e341:  - x128 + b237 <= 0.8;

e342:  - x130 + b251 <= 0.3;

e343:  - x131 + b252 <= 0.3;

e344:  - x132 + b253 <= 0.3;

e345:  - x130 + b255 <= 0.8;

e346:  - x131 + b256 <= 0.8;

e347:  - x132 + b257 <= 0.8;

e348:  - x134 + b267 <= 0.3;

e349:  - x135 + b268 <= 0.3;

e350:  - x136 + b269 <= 0.3;

e351:  - x134 + b271 <= 0.8;

e352:  - x135 + b272 <= 0.8;

e353:  - x136 + b273 <= 0.8;

e354:  - x106 - b211 >= -2;

e355:  - x107 - b212 >= -2;

e356:  - x108 - b213 >= -2;

e357:  - x106 - b215 >= -1.9;

e358:  - x107 - b216 >= -1.9;

e359:  - x108 - b217 >= -1.9;

e360:  - x110 - b231 >= -2;

e361:  - x111 - b232 >= -2;

e362:  - x112 - b233 >= -2;

e363:  - x110 - b235 >= -1.9;

e364:  - x111 - b236 >= -1.9;

e365:  - x112 - b237 >= -1.9;

e366:  - x114 - b251 >= -2;

e367:  - x115 - b252 >= -2;

e368:  - x116 - b253 >= -2;

e369:  - x114 - b255 >= -1.9;

e370:  - x115 - b256 >= -1.9;

e371:  - x116 - b257 >= -1.9;

e372:  - x118 - b267 >= -2;

e373:  - x119 - b268 >= -2;

e374:  - x120 - b269 >= -2;

e375:  - x118 - b271 >= -1.9;

e376:  - x119 - b272 >= -1.9;

e377:  - x120 - b273 >= -1.9;

e378:  - x122 - b211 >= -2;

e379:  - x123 - b212 >= -2;

e380:  - x124 - b213 >= -2;

e381:  - x122 - b215 >= -1.6;

e382:  - x123 - b216 >= -1.6;

e383:  - x124 - b217 >= -1.6;

e384:  - x126 - b231 >= -2;

e385:  - x127 - b232 >= -2;

e386:  - x128 - b233 >= -2;

e387:  - x126 - b235 >= -1.6;

e388:  - x127 - b236 >= -1.6;

e389:  - x128 - b237 >= -1.6;

e390:  - x130 - b251 >= -2;

e391:  - x131 - b252 >= -2;

e392:  - x132 - b253 >= -2;

e393:  - x130 - b255 >= -1.6;

e394:  - x131 - b256 >= -1.6;

e395:  - x132 - b257 >= -1.6;

e396:  - x134 - b267 >= -2;

e397:  - x135 - b268 >= -2;

e398:  - x136 - b269 >= -2;

e399:  - x134 - b271 >= -1.6;

e400:  - x135 - b272 >= -1.6;

e401:  - x136 - b273 >= -1.6;

e402:    b210 <= 0.9;

e403:    b214 <= 1;

e404:    b230 <= 1.2;

e405:    b234 <= 1.3;

e406:    b250 <= 1.1;

e407:    b254 <= 1.2;

e408:    b266 <= 1.1;

e409:    b270 <= 1.2;

e410:    b210 <= 0.4;

e411:    b214 <= 0.9;

e412:    b230 <= 1.1;

e413:    b234 <= 1.6;

e414:    b250 <= 0.4;

e415:    b254 <= 0.9;

e416:    b266 <= 0.8;

e417:    b270 <= 1.3;

e418:  - b210 >= -1.5;

e419:  - b214 >= -1.4;

e420:  - b230 >= -1.2;

e421:  - b234 >= -1.1;

e422:  - b250 >= -1.3;

e423:  - b254 >= -1.2;

e424:  - b266 >= -1.3;

e425:  - b270 >= -1.2;

e426:  - b210 >= -1.9;

e427:  - b214 >= -1.5;

e428:  - b230 >= -1.2;

e429:  - b234 >= -0.8;

e430:  - b250 >= -1.9;

e431:  - b254 >= -1.5;

e432:  - b266 >= -1.5;

e433:  - b270 >= -1.1;

e434:    b178 + b198 <= 1;

e435:    b179 + b199 <= 1;

e436:    b180 + b200 <= 1;

e437:    b181 + b201 <= 1;

e438:    b178 + b202 <= 1;

e439:    b179 + b203 <= 1;

e440:    b180 + b204 <= 1;

e441:    b181 + b205 <= 1;

e442:    b178 + b206 <= 1;

e443:    b179 + b207 <= 1;

e444:    b180 + b208 <= 1;

e445:    b181 + b209 <= 1;

e446:    b178 + b210 <= 1;

e447:    b179 + b211 <= 1;

e448:    b180 + b212 <= 1;

e449:    b181 + b213 <= 1;

e450:    b178 + b214 <= 1;

e451:    b179 + b215 <= 1;

e452:    b180 + b216 <= 1;

e453:    b181 + b217 <= 1;

e454:    b198 + b218 <= 1;

e455:    b199 + b219 <= 1;

e456:    b200 + b220 <= 1;

e457:    b201 + b221 <= 1;

e458:    b202 + b218 <= 1;

e459:    b203 + b219 <= 1;

e460:    b204 + b220 <= 1;

e461:    b205 + b221 <= 1;

e462:    b206 + b218 <= 1;

e463:    b207 + b219 <= 1;

e464:    b208 + b220 <= 1;

e465:    b209 + b221 <= 1;

e466:    b210 + b218 <= 1;

e467:    b211 + b219 <= 1;

e468:    b212 + b220 <= 1;

e469:    b213 + b221 <= 1;

e470:    b214 + b218 <= 1;

e471:    b215 + b219 <= 1;

e472:    b216 + b220 <= 1;

e473:    b217 + b221 <= 1;

e474:    b198 + b238 <= 1;

e475:    b199 + b239 <= 1;

e476:    b200 + b240 <= 1;

e477:    b201 + b241 <= 1;

e478:    b202 + b238 <= 1;

e479:    b203 + b239 <= 1;

e480:    b204 + b240 <= 1;

e481:    b205 + b241 <= 1;

e482:    b206 + b238 <= 1;

e483:    b207 + b239 <= 1;

e484:    b208 + b240 <= 1;

e485:    b209 + b241 <= 1;

e486:    b210 + b238 <= 1;

e487:    b211 + b239 <= 1;

e488:    b212 + b240 <= 1;

e489:    b213 + b241 <= 1;

e490:    b214 + b238 <= 1;

e491:    b215 + b239 <= 1;

e492:    b216 + b240 <= 1;

e493:    b217 + b241 <= 1;

e494:    b198 + b258 <= 1;

e495:    b199 + b259 <= 1;

e496:    b200 + b260 <= 1;

e497:    b201 + b261 <= 1;

e498:    b202 + b258 <= 1;

e499:    b203 + b259 <= 1;

e500:    b204 + b260 <= 1;

e501:    b205 + b261 <= 1;

e502:    b206 + b258 <= 1;

e503:    b207 + b259 <= 1;

e504:    b208 + b260 <= 1;

e505:    b209 + b261 <= 1;

e506:    b210 + b258 <= 1;

e507:    b211 + b259 <= 1;

e508:    b212 + b260 <= 1;

e509:    b213 + b261 <= 1;

e510:    b214 + b258 <= 1;

e511:    b215 + b259 <= 1;

e512:    b216 + b260 <= 1;

e513:    b217 + b261 <= 1;

e514:    b170 + b218 <= 1;

e515:    b171 + b219 <= 1;

e516:    b172 + b220 <= 1;

e517:    b173 + b221 <= 1;

e518:    b170 + b222 <= 1;

e519:    b171 + b223 <= 1;

e520:    b172 + b224 <= 1;

e521:    b173 + b225 <= 1;

e522:    b170 + b226 <= 1;

e523:    b171 + b227 <= 1;

e524:    b172 + b228 <= 1;

e525:    b173 + b229 <= 1;

e526:    b170 + b230 <= 1;

e527:    b171 + b231 <= 1;

e528:    b172 + b232 <= 1;

e529:    b173 + b233 <= 1;

e530:    b170 + b234 <= 1;

e531:    b171 + b235 <= 1;

e532:    b172 + b236 <= 1;

e533:    b173 + b237 <= 1;

e534:    b182 + b218 <= 1;

e535:    b183 + b219 <= 1;

e536:    b184 + b220 <= 1;

e537:    b185 + b221 <= 1;

e538:    b182 + b222 <= 1;

e539:    b183 + b223 <= 1;

e540:    b184 + b224 <= 1;

e541:    b185 + b225 <= 1;

e542:    b182 + b226 <= 1;

e543:    b183 + b227 <= 1;

e544:    b184 + b228 <= 1;

e545:    b185 + b229 <= 1;

e546:    b182 + b230 <= 1;

e547:    b183 + b231 <= 1;

e548:    b184 + b232 <= 1;

e549:    b185 + b233 <= 1;

e550:    b182 + b234 <= 1;

e551:    b183 + b235 <= 1;

e552:    b184 + b236 <= 1;

e553:    b185 + b237 <= 1;

e554:    b198 + b218 <= 1;

e555:    b199 + b219 <= 1;

e556:    b200 + b220 <= 1;

e557:    b201 + b221 <= 1;

e558:    b198 + b222 <= 1;

e559:    b199 + b223 <= 1;

e560:    b200 + b224 <= 1;

e561:    b201 + b225 <= 1;

e562:    b198 + b226 <= 1;

e563:    b199 + b227 <= 1;

e564:    b200 + b228 <= 1;

e565:    b201 + b229 <= 1;

e566:    b198 + b230 <= 1;

e567:    b199 + b231 <= 1;

e568:    b200 + b232 <= 1;

e569:    b201 + b233 <= 1;

e570:    b198 + b234 <= 1;

e571:    b199 + b235 <= 1;

e572:    b200 + b236 <= 1;

e573:    b201 + b237 <= 1;

e574:    b218 + b242 <= 1;

e575:    b219 + b243 <= 1;

e576:    b220 + b244 <= 1;

e577:    b221 + b245 <= 1;

e578:    b222 + b242 <= 1;

e579:    b223 + b243 <= 1;

e580:    b224 + b244 <= 1;

e581:    b225 + b245 <= 1;

e582:    b226 + b242 <= 1;

e583:    b227 + b243 <= 1;

e584:    b228 + b244 <= 1;

e585:    b229 + b245 <= 1;

e586:    b230 + b242 <= 1;

e587:    b231 + b243 <= 1;

e588:    b232 + b244 <= 1;

e589:    b233 + b245 <= 1;

e590:    b234 + b242 <= 1;

e591:    b235 + b243 <= 1;

e592:    b236 + b244 <= 1;

e593:    b237 + b245 <= 1;

e594:    b186 + b238 <= 1;

e595:    b187 + b239 <= 1;

e596:    b188 + b240 <= 1;

e597:    b189 + b241 <= 1;

e598:    b186 + b242 <= 1;

e599:    b187 + b243 <= 1;

e600:    b188 + b244 <= 1;

e601:    b189 + b245 <= 1;

e602:    b186 + b246 <= 1;

e603:    b187 + b247 <= 1;

e604:    b188 + b248 <= 1;

e605:    b189 + b249 <= 1;

e606:    b186 + b250 <= 1;

e607:    b187 + b251 <= 1;

e608:    b188 + b252 <= 1;

e609:    b189 + b253 <= 1;

e610:    b186 + b254 <= 1;

e611:    b187 + b255 <= 1;

e612:    b188 + b256 <= 1;

e613:    b189 + b257 <= 1;

e614:    b202 + b238 <= 1;

e615:    b203 + b239 <= 1;

e616:    b204 + b240 <= 1;

e617:    b205 + b241 <= 1;

e618:    b202 + b242 <= 1;

e619:    b203 + b243 <= 1;

e620:    b204 + b244 <= 1;

e621:    b205 + b245 <= 1;

e622:    b202 + b246 <= 1;

e623:    b203 + b247 <= 1;

e624:    b204 + b248 <= 1;

e625:    b205 + b249 <= 1;

e626:    b202 + b250 <= 1;

e627:    b203 + b251 <= 1;

e628:    b204 + b252 <= 1;

e629:    b205 + b253 <= 1;

e630:    b202 + b254 <= 1;

e631:    b203 + b255 <= 1;

e632:    b204 + b256 <= 1;

e633:    b205 + b257 <= 1;

e634:    b222 + b238 <= 1;

e635:    b223 + b239 <= 1;

e636:    b224 + b240 <= 1;

e637:    b225 + b241 <= 1;

e638:    b222 + b242 <= 1;

e639:    b223 + b243 <= 1;

e640:    b224 + b244 <= 1;

e641:    b225 + b245 <= 1;

e642:    b222 + b246 <= 1;

e643:    b223 + b247 <= 1;

e644:    b224 + b248 <= 1;

e645:    b225 + b249 <= 1;

e646:    b222 + b250 <= 1;

e647:    b223 + b251 <= 1;

e648:    b224 + b252 <= 1;

e649:    b225 + b253 <= 1;

e650:    b222 + b254 <= 1;

e651:    b223 + b255 <= 1;

e652:    b224 + b256 <= 1;

e653:    b225 + b257 <= 1;

e654:    b238 + b262 <= 1;

e655:    b239 + b263 <= 1;

e656:    b240 + b264 <= 1;

e657:    b241 + b265 <= 1;

e658:    b242 + b262 <= 1;

e659:    b243 + b263 <= 1;

e660:    b244 + b264 <= 1;

e661:    b245 + b265 <= 1;

e662:    b246 + b262 <= 1;

e663:    b247 + b263 <= 1;

e664:    b248 + b264 <= 1;

e665:    b249 + b265 <= 1;

e666:    b250 + b262 <= 1;

e667:    b251 + b263 <= 1;

e668:    b252 + b264 <= 1;

e669:    b253 + b265 <= 1;

e670:    b254 + b262 <= 1;

e671:    b255 + b263 <= 1;

e672:    b256 + b264 <= 1;

e673:    b257 + b265 <= 1;

e674:    b190 + b258 <= 1;

e675:    b191 + b259 <= 1;

e676:    b192 + b260 <= 1;

e677:    b193 + b261 <= 1;

e678:    b190 + b262 <= 1;

e679:    b191 + b263 <= 1;

e680:    b192 + b264 <= 1;

e681:    b193 + b265 <= 1;

e682:    b190 + b266 <= 1;

e683:    b191 + b267 <= 1;

e684:    b192 + b268 <= 1;

e685:    b193 + b269 <= 1;

e686:    b190 + b270 <= 1;

e687:    b191 + b271 <= 1;

e688:    b192 + b272 <= 1;

e689:    b193 + b273 <= 1;

e690:    b206 + b258 <= 1;

e691:    b207 + b259 <= 1;

e692:    b208 + b260 <= 1;

e693:    b209 + b261 <= 1;

e694:    b206 + b262 <= 1;

e695:    b207 + b263 <= 1;

e696:    b208 + b264 <= 1;

e697:    b209 + b265 <= 1;

e698:    b206 + b266 <= 1;

e699:    b207 + b267 <= 1;

e700:    b208 + b268 <= 1;

e701:    b209 + b269 <= 1;

e702:    b206 + b270 <= 1;

e703:    b207 + b271 <= 1;

e704:    b208 + b272 <= 1;

e705:    b209 + b273 <= 1;

e706:    b226 + b258 <= 1;

e707:    b227 + b259 <= 1;

e708:    b228 + b260 <= 1;

e709:    b229 + b261 <= 1;

e710:    b226 + b262 <= 1;

e711:    b227 + b263 <= 1;

e712:    b228 + b264 <= 1;

e713:    b229 + b265 <= 1;

e714:    b226 + b266 <= 1;

e715:    b227 + b267 <= 1;

e716:    b228 + b268 <= 1;

e717:    b229 + b269 <= 1;

e718:    b226 + b270 <= 1;

e719:    b227 + b271 <= 1;

e720:    b228 + b272 <= 1;

e721:    b229 + b273 <= 1;

e722:    b246 + b258 <= 1;

e723:    b247 + b259 <= 1;

e724:    b248 + b260 <= 1;

e725:    b249 + b261 <= 1;

e726:    b246 + b262 <= 1;

e727:    b247 + b263 <= 1;

e728:    b248 + b264 <= 1;

e729:    b249 + b265 <= 1;

e730:    b246 + b266 <= 1;

e731:    b247 + b267 <= 1;

e732:    b248 + b268 <= 1;

e733:    b249 + b269 <= 1;

e734:    b246 + b270 <= 1;

e735:    b247 + b271 <= 1;

e736:    b248 + b272 <= 1;

e737:    b249 + b273 <= 1;