#  MIQCP written by GAMS Convert at 02/15/18 15:48:19
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         90       34        0       56        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        257       33      224        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        801      729       72        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
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 x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;

minimize obj:    280.0154789*b2 + 189.2881208*b3 + 358.7018468*b4
     + 244.2417888*b5 + 87.11394269*b6 + 293.7411964*b7 + 336.9384555*b8
     + 111.132571*b9 + 286.1164292*b10 + 94.42743983*b11 + 367.1332901*b12
     + 614.9285858*b13 + 438.1250517*b14 + 661.9999041*b15 + 653.5959475*b16
     + 130.78525*b17 + 566.0392707*b18 + 544.1978772*b19 + 685.4036073*b20
     + 61.99281749*b21 + 249.3506907*b22 + 140.9090684*b23 + 291.0794823*b24
     + 487.7806692*b25 + 307.7839126*b26 + 389.8026814*b27 + 321.2877368*b28
     + 302.412987*b29 + 409.7751403*b30 + 257.0717517*b31 + 175.7560948*b32
     + 423.6699595*b33 + 198.7205463*b34 + 344.4005012*b35 + 208.9520892*b36
     + 430.7594074*b37 + 496.6063233*b38 + 397.9119363*b39 + 287.7742975*b40
     + 423.0032907*b41 + 237.886156*b42 + 402.4022518*b43 + 250.8250451*b44
     + 487.547042*b45 + 568.2921825*b46 + 448.0876128*b47 + 320.3357658*b48
     + 490.167899*b49 + 82.59338695*b50 + 146.4486829*b51 + 163.4520679*b52
     + 276.730055*b53 + 273.1798764*b54 + 277.803053*b55 + 233.5525636*b56
     + 197.3932441*b57 + 242.330997*b58 + 284.4240301*b59 + 363.2088309*b60
     + 294.2325553*b61 + 325.1181623*b62 + 299.4154821*b63 + 259.4478948*b64
     + 309.9406167*b65 + 222.1507249*b66 + 217.7276466*b67 + 281.7130737*b68
     + 38.15022917*b69 + 111.2112042*b70 + 65.28058161*b71 + 112.4606391*b72
     + 198.6456437*b73 + 421.3609123*b74 + 534.8742618*b75 + 475.7418161*b76
     + 352.7499292*b77 + 531.6120826*b78 + 280.5258264*b79 + 137.0952394*b80
     + 575.7770749*b81 + 351.4978505*b82 + 405.9626492*b83 + 432.8573696*b84
     + 166.7207409*b85 + 330.5278083*b86 + 114.3890812*b87 + 41.88207053*b88
     + 413.5616672*b89 + 355.5794991*b90 + 345.4703852*b91 + 430.8546774*b92
     + 30.0482829*b93 + 165.4780109*b94 + 77.93608451*b95 + 173.8904854*b96
     + 312.2494127*b97 + 571.7446275*b98 + 471.6249239*b99 + 710.1646024*b100
     + 261.6602174*b101 + 51.05572843*b102 + 360.0625473*b103 + 481.891096*b104
     + 365.5133657*b105 + 399.4904967*b106 + 451.7695536*b107
     + 453.7389322*b108 + 199.8437566*b109 + 365.0583146*b110
     + 139.5867525*b111 + 106.4269799*b112 + 456.4386372*b113
     + 211.3905231*b114 + 296.9653948*b115 + 206.3602498*b116
     + 299.3997584*b117 + 365.8732535*b118 + 268.0371424*b119
     + 192.1666899*b120 + 340.763818*b121 + 481.9432768*b122 + 476.8960327*b123
     + 605.4420024*b124 + 60.33450608*b125 + 248.6981867*b126
     + 116.3707327*b127 + 226.4127683*b128 + 437.7860184*b129
     + 30.16592161*b130 + 155.3100055*b131 + 62.43085772*b132
     + 374.0727492*b133 + 359.3645743*b134 + 371.5085748*b135
     + 313.6786612*b136 + 236.6966875*b137 + 342.9597799*b138
     + 243.3092409*b139 + 455.7308333*b140 + 283.1589641*b141
     + 108.0645387*b142 + 345.5152729*b143 + 397.2923717*b144
     + 159.0939707*b145 + 340.6345836*b146 + 206.2945872*b147
     + 430.2805948*b148 + 370.9244295*b149 + 179.264171*b150 + 428.9218381*b151
     + 471.2811037*b152 + 99.78084618*b153 + 429.0592239*b154
     + 327.6802989*b155 + 523.8019326*b156 + 283.6447158*b157
     + 86.38757028*b158 + 352.3984034*b159 + 431.1729515*b160
     + 233.9933253*b161 + 91.86375593*b162 + 74.48770217*b163
     + 187.8222197*b164 + 430.0269455*b165 + 357.507784*b166 + 448.5247002*b167
     + 411.9989562*b168 + 173.9867601*b169 + 712.7882312*b170
     + 461.0362835*b171 + 848.8815244*b172 + 792.1862409*b173
     + 442.0165659*b174 + 897.5919294*b175 + 977.9166079*b176
     + 293.4304029*b177 + 296.3443201*b178 + 364.7655942*b179 + 329.815794*b180
     + 226.8900631*b181 + 348.7313812*b182 + 177.9423413*b183
     + 96.11837976*b184 + 387.1547026*b185 + 375.4262185*b186
     + 391.2693641*b187 + 451.3543462*b188 + 63.51877515*b189
     + 243.4364784*b190 + 13.20086834*b191 + 119.7005929*b192 + 372.810301*b193
     + 541.8197328*b194 + 384.1922697*b195 + 642.5827056*b196
     + 495.3317794*b197 + 251.9132296*b198 + 573.7280238*b199
     + 649.8099967*b200 + 263.3332816*b201 + 308.7557347*b202
     + 117.9157102*b203 + 77.2886044*b204 + 343.1565377*b205 + 134.2064282*b206
     + 89.01833527*b207 + 346.8157658*b208 + 124.3245857*b209
     + 78.94982612*b210 + 430.096916*b211 + 159.0518226*b212 + 102.5864677*b213
     + 320.0777938*b214 + 124.9233915*b215 + 82.77582036*b216 + 435.247357*b217
     + 157.01016*b218 + 100.0204183*b219 + 449.605928*b220 + 160.6495594*b221
     + 101.8517124*b222 + 467.0592153*b223 + 164.4925365*b224
     + 103.5376423*b225 + 97791.66079*x226 + 97791.66079*x227
     + 97791.66079*x228 + 97791.66079*x229 + 97791.66079*x230
     + 97791.66079*x231 + 97791.66079*x232 + 97791.66079*x233;

subject to

e2:    0.702116132*b2 + 1.146214016*b10 + 1.057594812*b18 + 0.578586645*b26
     + 0.886844823*b34 + 1.009856519*b42 + 0.734231906*b50 + 1.097667431*b58
     + 0.530191888*b66 + 0.982025936*b74 + 0.89025893*b82 + 0.672977112*b90
     + 1.170284932*b98 + 0.698680975*b106 + 0.518537857*b114 + 1.10995052*b122
     + 0.728712913*b130 + 0.970767027*b138 + 0.868933215*b146
     + 0.827259074*b154 + 0.935216386*b162 + 1.484063515*b170
     + 0.608384089*b178 + 0.739092857*b186 + 0.992346352*b194
     - 2.149677884*x234 - 4.299355767*x235 - 6.449033651*x236 = 0;

e3:    0.702116132*b3 + 1.146214016*b11 + 1.057594812*b19 + 0.578586645*b27
     + 0.886844823*b35 + 1.009856519*b43 + 0.734231906*b51 + 1.097667431*b59
     + 0.530191888*b67 + 0.982025936*b75 + 0.89025893*b83 + 0.672977112*b91
     + 1.170284932*b99 + 0.698680975*b107 + 0.518537857*b115 + 1.10995052*b123
     + 0.728712913*b131 + 0.970767027*b139 + 0.868933215*b147
     + 0.827259074*b155 + 0.935216386*b163 + 1.484063515*b171
     + 0.608384089*b179 + 0.739092857*b187 + 0.992346352*b195 - 2.56580797*x237
     - 5.131615939*x238 - 7.697423909*x239 = 0;

e4:    0.702116132*b4 + 1.146214016*b12 + 1.057594812*b20 + 0.578586645*b28
     + 0.886844823*b36 + 1.009856519*b44 + 0.734231906*b52 + 1.097667431*b60
     + 0.530191888*b68 + 0.982025936*b76 + 0.89025893*b84 + 0.672977112*b92
     + 1.170284932*b100 + 0.698680975*b108 + 0.518537857*b116 + 1.10995052*b124
     + 0.728712913*b132 + 0.970767027*b140 + 0.868933215*b148
     + 0.827259074*b156 + 0.935216386*b164 + 1.484063515*b172
     + 0.608384089*b180 + 0.739092857*b188 + 0.992346352*b196 - 1.9969216*x240
     - 3.9938432*x241 - 5.9907648*x242 = 0;

e5:    0.702116132*b5 + 1.146214016*b13 + 1.057594812*b21 + 0.578586645*b29
     + 0.886844823*b37 + 1.009856519*b45 + 0.734231906*b53 + 1.097667431*b61
     + 0.530191888*b69 + 0.982025936*b77 + 0.89025893*b85 + 0.672977112*b93
     + 1.170284932*b101 + 0.698680975*b109 + 0.518537857*b117 + 1.10995052*b125
     + 0.728712913*b133 + 0.970767027*b141 + 0.868933215*b149
     + 0.827259074*b157 + 0.935216386*b165 + 1.484063515*b173
     + 0.608384089*b181 + 0.739092857*b189 + 0.992346352*b197
     - 2.718762774*x243 - 5.437525548*x244 - 8.156288323*x245 = 0;

e6:    0.702116132*b6 + 1.146214016*b14 + 1.057594812*b22 + 0.578586645*b30
     + 0.886844823*b38 + 1.009856519*b46 + 0.734231906*b54 + 1.097667431*b62
     + 0.530191888*b70 + 0.982025936*b78 + 0.89025893*b86 + 0.672977112*b94
     + 1.170284932*b102 + 0.698680975*b110 + 0.518537857*b118 + 1.10995052*b126
     + 0.728712913*b134 + 0.970767027*b142 + 0.868933215*b150
     + 0.827259074*b158 + 0.935216386*b166 + 1.484063515*b174
     + 0.608384089*b182 + 0.739092857*b190 + 0.992346352*b198 - 2.37853164*x246
     - 4.75706328*x247 - 7.13559492*x248 = 0;

e7:    0.702116132*b7 + 1.146214016*b15 + 1.057594812*b23 + 0.578586645*b31
     + 0.886844823*b39 + 1.009856519*b47 + 0.734231906*b55 + 1.097667431*b63
     + 0.530191888*b71 + 0.982025936*b79 + 0.89025893*b87 + 0.672977112*b95
     + 1.170284932*b103 + 0.698680975*b111 + 0.518537857*b119 + 1.10995052*b127
     + 0.728712913*b135 + 0.970767027*b143 + 0.868933215*b151
     + 0.827259074*b159 + 0.935216386*b167 + 1.484063515*b175
     + 0.608384089*b183 + 0.739092857*b191 + 0.992346352*b199
     - 2.553869381*x249 - 5.107738763*x250 - 7.661608144*x251 = 0;

e8:    0.702116132*b8 + 1.146214016*b16 + 1.057594812*b24 + 0.578586645*b32
     + 0.886844823*b40 + 1.009856519*b48 + 0.734231906*b56 + 1.097667431*b64
     + 0.530191888*b72 + 0.982025936*b80 + 0.89025893*b88 + 0.672977112*b96
     + 1.170284932*b104 + 0.698680975*b112 + 0.518537857*b120 + 1.10995052*b128
     + 0.728712913*b136 + 0.970767027*b144 + 0.868933215*b152
     + 0.827259074*b160 + 0.935216386*b168 + 1.484063515*b176
     + 0.608384089*b184 + 0.739092857*b192 + 0.992346352*b200
     - 2.563670064*x252 - 5.127340128*x253 - 7.691010192*x254 = 0;

e9:    0.702116132*b9 + 1.146214016*b17 + 1.057594812*b25 + 0.578586645*b33
     + 0.886844823*b41 + 1.009856519*b49 + 0.734231906*b57 + 1.097667431*b65
     + 0.530191888*b73 + 0.982025936*b81 + 0.89025893*b89 + 0.672977112*b97
     + 1.170284932*b105 + 0.698680975*b113 + 0.518537857*b121 + 1.10995052*b129
     + 0.728712913*b137 + 0.970767027*b145 + 0.868933215*b153
     + 0.827259074*b161 + 0.935216386*b169 + 1.484063515*b177
     + 0.608384089*b185 + 0.739092857*b193 + 0.992346352*b201
     - 2.550246073*x255 - 5.100492145*x256 - 7.650738218*x257 = 0;

e10:    b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 = 1;

e11:    b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 = 1;

e12:    b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 = 1;

e13:    b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 = 1;

e14:    b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 = 1;

e15:    b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 = 1;

e16:    b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 = 1;

e17:    b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 = 1;

e18:    b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 = 1;

e19:    b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 = 1;

e20:    b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 = 1;

e21:    b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 = 1;

e22:    b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 = 1;

e23:    b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 = 1;

e24:    b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 = 1;

e25:    b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 = 1;

e26:    b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 = 1;

e27:    b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 = 1;

e28:    b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 = 1;

e29:    b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 = 1;

e30:    b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 = 1;

e31:    b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 = 1;

e32:    b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 = 1;

e33:    b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 = 1;

e34:    b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 = 1;

e35:    b202 + b203 + b204 <= 1;

e36:    b205 + b206 + b207 <= 1;

e37:    b208 + b209 + b210 <= 1;

e38:    b211 + b212 + b213 <= 1;

e39:    b214 + b215 + b216 <= 1;

e40:    b217 + b218 + b219 <= 1;

e41:    b220 + b221 + b222 <= 1;

e42:    b223 + b224 + b225 <= 1;

e43:  - b202 + x234 <= 0;

e44:  - b203 + x235 <= 0;

e45:  - b204 + x236 <= 0;

e46:  - b205 + x237 <= 0;

e47:  - b206 + x238 <= 0;

e48:  - b207 + x239 <= 0;

e49:  - b208 + x240 <= 0;

e50:  - b209 + x241 <= 0;

e51:  - b210 + x242 <= 0;

e52:  - b211 + x243 <= 0;

e53:  - b212 + x244 <= 0;

e54:  - b213 + x245 <= 0;

e55:  - b214 + x246 <= 0;

e56:  - b215 + x247 <= 0;

e57:  - b216 + x248 <= 0;

e58:  - b217 + x249 <= 0;

e59:  - b218 + x250 <= 0;

e60:  - b219 + x251 <= 0;

e61:  - b220 + x252 <= 0;

e62:  - b221 + x253 <= 0;

e63:  - b222 + x254 <= 0;

e64:  - b223 + x255 <= 0;

e65:  - b224 + x256 <= 0;

e66:  - b225 + x257 <= 0;

e67: x234*b202 - x226*b202 + x234*x226 <= 0;

e68: x235*b203 - x226*b203 + x235*x226 <= 0;

e69: x236*b204 - x226*b204 + x236*x226 <= 0;

e70: x237*b205 - x227*b205 + x237*x227 <= 0;

e71: x238*b206 - x227*b206 + x238*x227 <= 0;

e72: x239*b207 - x227*b207 + x239*x227 <= 0;

e73: x240*b208 - x228*b208 + x240*x228 <= 0;

e74: x241*b209 - x228*b209 + x241*x228 <= 0;

e75: x242*b210 - x228*b210 + x242*x228 <= 0;

e76: x243*b211 - x229*b211 + x243*x229 <= 0;

e77: x244*b212 - x229*b212 + x244*x229 <= 0;

e78: x245*b213 - x229*b213 + x245*x229 <= 0;

e79: x246*b214 - x230*b214 + x246*x230 <= 0;

e80: x247*b215 - x230*b215 + x247*x230 <= 0;

e81: x248*b216 - x230*b216 + x248*x230 <= 0;

e82: x249*b217 - x231*b217 + x249*x231 <= 0;

e83: x250*b218 - x231*b218 + x250*x231 <= 0;

e84: x251*b219 - x231*b219 + x251*x231 <= 0;

e85: x252*b220 - x232*b220 + x252*x232 <= 0;

e86: x253*b221 - x232*b221 + x253*x232 <= 0;

e87: x254*b222 - x232*b222 + x254*x232 <= 0;

e88: x255*b223 - x233*b223 + x255*x233 <= 0;

e89: x256*b224 - x233*b224 + x256*x233 <= 0;

e90: x257*b225 - x233*b225 + x257*x233 <= 0;