#  MINLP written by GAMS Convert at 01/12/18 13:29:57
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1020       21      689      310        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        279      150      129        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2866     2817       49        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x2 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x3 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x4 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x5 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x6 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x7 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x8 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x9 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x10 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x11 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x12 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x13 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x14 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x15 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x16 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x17 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x18 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x19 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x20 := 3.79423996977176, >= 3.79423996977176, <= 6.35222947629824;
var x21 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x22 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x23 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x24 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x25 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x26 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x27 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x28 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x29 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x30 := 3.29891853254174, >= 3.29891853254174, <= 6.93674281585539;
var x31 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x32 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x33 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x34 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x35 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x36 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x37 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x38 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x39 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x40 := 3.44998754583159, >= 3.44998754583159, <= 6.70190322477799;
var x41 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x42 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x43 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x44 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x45 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x46 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x47 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x48 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x49 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x50 := 3.31620416882876, >= 3.31620416882876, <= 6.40266032992513;
var x51 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x52 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x53 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x54 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x55 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x56 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x57 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x58 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x59 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x60 := 2.83321334405622, >= 2.83321334405622, <= 6.65644085070123;
var x61 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x62 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x63 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x64 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x65 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x66 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x67 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x68 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x69 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x70 := 2.69500248570973, >= 2.69500248570973, <= 6.65644085070123;
var x71 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x72 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x73 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x74 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x75 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x76 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x77 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x78 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x79 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x80 := 3.5656126601013, >= 3.5656126601013, <= 6.51185962189012;
var x81 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x82 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x83 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x84 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x85 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x86 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x87 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x88 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x89 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x90 := 3.16641225533246, >= 3.16641225533246, <= 6.49281142691943;
var x91 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x92 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x93 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x94 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x95 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x96 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x97 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x98 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x99 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x100 := 3.54136181951467, >= 3.54136181951467, <= 6.51185962189012;
var x101 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x102 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x103 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x104 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x105 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x106 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x107 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x108 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x109 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x110 := 3.3489289531164, >= 3.3489289531164, <= 6.33596895542646;
var x111 >= 0, <= 1.79175946922805;
var x112 >= 0, <= 1.79175946922805;
var x113 >= 0, <= 1.79175946922805;
var x114 >= 0, <= 1.79175946922805;
var x115 >= 0, <= 1.79175946922805;
var x116 >= 0, <= 1.79175946922805;
var x117 >= 0, <= 1.79175946922805;
var x118 >= 0, <= 1.79175946922805;
var x119 >= 0, <= 1.79175946922805;
var x120 >= 0, <= 1.79175946922805;
var x121 >= 0, <= 1.79175946922805;
var x122 >= 0, <= 1.79175946922805;
var x123 >= 0, <= 1.79175946922805;
var x124 >= 0, <= 1.79175946922805;
var x125 >= 0, <= 1.79175946922805;
var x126 >= 0, <= 1.79175946922805;
var x127 >= 0, <= 1.79175946922805;
var x128 >= 0, <= 1.79175946922805;
var x129 >= 0, <= 1.79175946922805;
var x130 >= 0, <= 1.79175946922805;
var x132 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x133 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x134 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x135 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x136 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x137 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x138 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x139 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x140 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x141;
var x142;
var x143;
var x144;
var x145;
var x146;
var x147;
var x148;
var x149;
var x150;
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 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;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;

minimize obj: 250*(exp(0.6*x1 + x111 + x121) + exp(0.6*x2 + x112 + x122) + exp(
    0.6*x3 + x113 + x123) + exp(0.6*x4 + x114 + x124) + exp(0.6*x5 + x115 + 
    x125) + exp(0.6*x6 + x116 + x126) + exp(0.6*x7 + x117 + x127) + exp(0.6*x8
     + x118 + x128) + exp(0.6*x9 + x119 + x129) + exp(0.6*x10 + x120 + x130))
     + 150*(exp(0.5*x132) + exp(0.5*x133) + exp(0.5*x134) + exp(0.5*x135) + 
    exp(0.5*x136) + exp(0.5*x137) + exp(0.5*x138) + exp(0.5*x139) + exp(0.5*
    x140));

subject to

e1:    x1 - x11 + x111 >= 1.06471073699243;

e2:    x2 - x12 + x112 >= 0.693147180559945;

e3:    x3 - x13 + x113 >= 1.64865862558738;

e4:    x4 - x14 + x114 >= 1.58923520511658;

e5:    x5 - x15 + x115 >= 1.80828877117927;

e6:    x6 - x16 + x116 >= 1.43508452528932;

e7:    x7 - x17 + x117 >= 1.6094379124341;

e8:    x8 - x18 + x118 >= 0.0953101798043249;

e9:    x9 - x19 + x119 >= 1.16315080980568;

e10:    x10 - x20 + x120 >= 1.50407739677627;

e11:    x1 - x21 + x111 >= -0.22314355131421;

e12:    x2 - x22 + x112 >= -0.22314355131421;

e13:    x3 - x23 + x113 >= -0.105360515657826;

e14:    x4 - x24 + x114 >= 1.22377543162212;

e15:    x5 - x25 + x115 >= 0.741937344729377;

e16:    x6 - x26 + x116 >= 0.916290731874155;

e17:    x7 - x27 + x117 >= -0.105360515657826;

e18:    x8 - x28 + x118 >= 0.78845736036427;

e19:    x9 - x29 + x119 >= 0.336472236621213;

e20:    x10 - x30 + x120 >= 0.78845736036427;

e21:    x1 - x31 + x111 >= -0.356674943938732;

e22:    x2 - x32 + x112 >= 0.955511445027436;

e23:    x3 - x33 + x113 >= 0.470003629245736;

e24:    x4 - x34 + x114 >= 1.28093384546206;

e25:    x5 - x35 + x115 >= 1.16315080980568;

e26:    x6 - x36 + x116 >= 1.06471073699243;

e27:    x7 - x37 + x117 >= 1.28093384546206;

e28:    x8 - x38 + x118 >= 1.38629436111989;

e29:    x9 - x39 + x119 >= 1.45861502269952;

e30:    x10 - x40 + x120 >= -0.510825623765991;

e31:    x1 - x41 + x111 >= 1.54756250871601;

e32:    x2 - x42 + x112 >= 0.832909122935104;

e33:    x3 - x43 + x113 >= 0.470003629245736;

e34:    x4 - x44 + x114 >= 0.993251773010283;

e35:    x5 - x45 + x115 >= 0.182321556793955;

e36:    x6 - x46 + x116 >= 0.916290731874155;

e37:    x7 - x47 + x117 >= 1.3609765531356;

e38:    x8 - x48 + x118 >= -0.510825623765991;

e39:    x9 - x49 + x119 >= 1.1314021114911;

e40:    x10 - x50 + x120 >= 1.75785791755237;

e41:    x1 - x51 + x111 >= 0.182321556793955;

e42:    x2 - x52 + x112 >= 1.28093384546206;

e43:    x3 - x53 + x113 >= 0.8754687373539;

e44:    x4 - x54 + x114 >= 1.50407739677627;

e45:    x5 - x55 + x115 >= 0.470003629245736;

e46:    x6 - x56 + x116 >= 0.741937344729377;

e47:    x7 - x57 + x117 >= -0.105360515657826;

e48:    x8 - x58 + x118 >= 1.43508452528932;

e49:    x9 - x59 + x119 >= 0.741937344729377;

e50:    x10 - x60 + x120 >= 1.41098697371026;

e51:    x1 - x61 + x111 >= 1.1314021114911;

e52:    x2 - x62 + x112 >= 0.916290731874155;

e53:    x3 - x63 + x113 >= 1.50407739677627;

e54:    x4 - x64 + x114 >= 0.262364264467491;

e55:    x5 - x65 + x115 >= 1.19392246847243;

e56:    x6 - x66 + x116 >= 1.41098697371026;

e57:    x7 - x67 + x117 >= 0.336472236621213;

e58:    x8 - x68 + x118 >= 0;

e59:    x9 - x69 + x119 >= 1.25276296849537;

e60:    x10 - x70 + x120 >= -0.356674943938732;

e61:    x1 - x71 + x111 >= 0;

e62:    x2 - x72 + x112 >= 0.78845736036427;

e63:    x3 - x73 + x113 >= -0.356674943938732;

e64:    x4 - x74 + x114 >= 1.43508452528932;

e65:    x5 - x75 + x115 >= 1.02961941718116;

e66:    x6 - x76 + x116 >= 0.832909122935104;

e67:    x7 - x77 + x117 >= 1.64865862558738;

e68:    x8 - x78 + x118 >= 0.641853886172395;

e69:    x9 - x79 + x119 >= 0.955511445027436;

e70:    x10 - x80 + x120 >= 0.0953101798043249;

e71:    x1 - x81 + x111 >= 0.916290731874155;

e72:    x2 - x82 + x112 >= 0.0953101798043249;

e73:    x3 - x83 + x113 >= 1.66770682055808;

e74:    x4 - x84 + x114 >= 0.955511445027436;

e75:    x5 - x85 + x115 >= 1.30833281965018;

e76:    x6 - x86 + x116 >= 1.38629436111989;

e77:    x7 - x87 + x117 >= 0.78845736036427;

e78:    x8 - x88 + x118 >= 1.19392246847243;

e79:    x9 - x89 + x119 >= 0.993251773010283;

e80:    x10 - x90 + x120 >= 1.22377543162212;

e81:    x1 - x91 + x111 >= 0.8754687373539;

e82:    x2 - x92 + x112 >= 0.916290731874155;

e83:    x3 - x93 + x113 >= 0.993251773010283;

e84:    x4 - x94 + x114 >= 1.16315080980568;

e85:    x5 - x95 + x115 >= 0.832909122935104;

e86:    x6 - x96 + x116 >= 0.53062825106217;

e87:    x7 - x97 + x117 >= 1.64865862558738;

e88:    x8 - x98 + x118 >= 1.54756250871601;

e89:    x9 - x99 + x119 >= 0.955511445027436;

e90:    x10 - x100 + x120 >= 0.336472236621213;

e91:    x1 - x101 + x111 >= 0.993251773010283;

e92:    x2 - x102 + x112 >= 1.19392246847243;

e93:    x3 - x103 + x113 >= 1.48160454092422;

e94:    x4 - x104 + x114 >= 0.955511445027436;

e95:    x5 - x105 + x115 >= 1.30833281965018;

e96:    x6 - x106 + x116 >= -0.693147180559945;

e97:    x7 - x107 + x117 >= 0.993251773010283;

e98:    x8 - x108 + x118 >= 1.82454929205105;

e99:    x9 - x109 + x119 >= 1.16315080980568;

e100:    x10 - x110 + x120 >= 1.22377543162212;

e101:    x11 + x121 + x141 >= 1.85629799036563;

e102:    x12 + x122 + x141 >= 1.54756250871601;

e103:    x13 + x123 + x141 >= 0.262364264467491;

e104:    x14 + x124 + x141 >= 1.3609765531356;

e105:    x15 + x125 + x141 >= 0.741937344729377;

e106:    x16 + x126 + x141 >= 0.470003629245736;

e107:    x17 + x127 + x141 >= 1.16315080980568;

e108:    x18 + x128 + x141 >= 1.1314021114911;

e109:    x19 + x129 + x141 >= 1.43508452528932;

e110:    x20 + x130 + x141 >= 1.64865862558738;

e111:    x21 + x121 + x142 >= 1.33500106673234;

e112:    x22 + x122 + x142 >= 1.85629799036563;

e113:    x23 + x123 + x142 >= 1.87180217690159;

e114:    x24 + x124 + x142 >= 1.48160454092422;

e115:    x25 + x125 + x142 >= 0.832909122935104;

e116:    x26 + x126 + x142 >= 1.16315080980568;

e117:    x27 + x127 + x142 >= 1.64865862558738;

e118:    x28 + x128 + x142 >= 0.916290731874155;

e119:    x29 + x129 + x142 >= 1.48160454092422;

e120:    x30 + x130 + x142 >= 0.0953101798043249;

e121:    x31 + x121 + x143 >= 0;

e122:    x32 + x122 + x143 >= 1.84054963339749;

e123:    x33 + x123 + x143 >= 1.22377543162212;

e124:    x34 + x124 + x143 >= 1.58923520511658;

e125:    x35 + x125 + x143 >= 0.993251773010283;

e126:    x36 + x126 + x143 >= 1.82454929205105;

e127:    x37 + x127 + x143 >= 1.1314021114911;

e128:    x38 + x128 + x143 >= 0.182321556793955;

e129:    x39 + x129 + x143 >= 0.832909122935104;

e130:    x40 + x130 + x143 >= 1.62924053973028;

e131:    x41 + x121 + x144 >= 1.16315080980568;

e132:    x42 + x122 + x144 >= 1.09861228866811;

e133:    x43 + x123 + x144 >= 1.25276296849537;

e134:    x44 + x124 + x144 >= 1.19392246847243;

e135:    x45 + x125 + x144 >= 1.02961941718116;

e136:    x46 + x126 + x144 >= 1.22377543162212;

e137:    x47 + x127 + x144 >= 1.43508452528932;

e138:    x48 + x128 + x144 >= 1.06471073699243;

e139:    x49 + x129 + x144 >= 1.82454929205105;

e140:    x50 + x130 + x144 >= 0.78845736036427;

e141:    x51 + x121 + x145 >= 0.741937344729377;

e142:    x52 + x122 + x145 >= 0.916290731874155;

e143:    x53 + x123 + x145 >= 1.43508452528932;

e144:    x54 + x124 + x145 >= 1.28093384546206;

e145:    x55 + x125 + x145 >= 1.30833281965018;

e146:    x56 + x126 + x145 >= 0.78845736036427;

e147:    x57 + x127 + x145 >= 1.62924053973028;

e148:    x58 + x128 + x145 >= -0.916290731874155;

e149:    x59 + x129 + x145 >= 1.41098697371026;

e150:    x60 + x130 + x145 >= 0.262364264467491;

e151:    x61 + x121 + x146 >= 1.25276296849537;

e152:    x62 + x122 + x146 >= 1.41098697371026;

e153:    x63 + x123 + x146 >= -0.105360515657826;

e154:    x64 + x124 + x146 >= 0.336472236621213;

e155:    x65 + x125 + x146 >= 1.28093384546206;

e156:    x66 + x126 + x146 >= 0.993251773010283;

e157:    x67 + x127 + x146 >= 1.06471073699243;

e158:    x68 + x128 + x146 >= 1.30833281965018;

e159:    x69 + x129 + x146 >= -0.22314355131421;

e160:    x70 + x130 + x146 >= 0.405465108108164;

e161:    x71 + x121 + x147 >= 1.41098697371026;

e162:    x72 + x122 + x147 >= 1.90210752639692;

e163:    x73 + x123 + x147 >= 0.78845736036427;

e164:    x74 + x124 + x147 >= 0.336472236621213;

e165:    x75 + x125 + x147 >= -0.356674943938732;

e166:    x76 + x126 + x147 >= 1.54756250871601;

e167:    x77 + x127 + x147 >= 0.262364264467491;

e168:    x78 + x128 + x147 >= -0.510825623765991;

e169:    x79 + x129 + x147 >= 1.16315080980568;

e170:    x80 + x130 + x147 >= 0.741937344729377;

e171:    x81 + x121 + x148 >= 1.66770682055808;

e172:    x82 + x122 + x148 >= 1.1314021114911;

e173:    x83 + x123 + x148 >= 1.02961941718116;

e174:    x84 + x124 + x148 >= 0.405465108108164;

e175:    x85 + x125 + x148 >= 1.16315080980568;

e176:    x86 + x126 + x148 >= 1.80828877117927;

e177:    x87 + x127 + x148 >= -0.693147180559945;

e178:    x88 + x128 + x148 >= 1.3609765531356;

e179:    x89 + x129 + x148 >= 0.993251773010283;

e180:    x90 + x130 + x148 >= 1.41098697371026;

e181:    x91 + x121 + x149 >= 0.955511445027436;

e182:    x92 + x122 + x149 >= 1.64865862558738;

e183:    x93 + x123 + x149 >= 1.16315080980568;

e184:    x94 + x124 + x149 >= 1.22377543162212;

e185:    x95 + x125 + x149 >= 1.48160454092422;

e186:    x96 + x126 + x149 >= 0.0953101798043249;

e187:    x97 + x127 + x149 >= 1.96009478404727;

e188:    x98 + x128 + x149 >= 0.916290731874155;

e189:    x99 + x129 + x149 >= 1.1314021114911;

e190:    x100 + x130 + x149 >= -0.105360515657826;

e191:    x101 + x121 + x150 >= 0.53062825106217;

e192:    x102 + x122 + x150 >= 1.64865862558738;

e193:    x103 + x123 + x150 >= 1.30833281965018;

e194:    x104 + x124 + x150 >= 0.955511445027436;

e195:    x105 + x125 + x150 >= 1.64865862558738;

e196:    x106 + x126 + x150 >= 0.955511445027436;

e197:    x107 + x127 + x150 >= 1.62924053973028;

e198:    x108 + x128 + x150 >= 2.10413415427021;

e199:    x109 + x129 + x150 >= 0.0953101798043249;

e200:    x110 + x130 + x150 >= 1.06471073699243;

e201: 250000*exp(x141) + 150000*exp(x142) + 180000*exp(x143) + 160000*exp(x144)
       + 120000*exp(x145) + 130000*exp(x146) + 190000*exp(x147) + 140000*exp(
      x148) + 175000*exp(x149) + 125000*exp(x150) <= 6000;

e202:  - x12 + x132 - 4.04964438330419*b271 >= -1.74705929031015;

e203:  - x13 + x133 - 4.04964438330419*b272 >= -1.74705929031015;

e204:  - x14 + x134 - 4.04964438330419*b273 >= -1.74705929031015;

e205:  - x15 + x135 - 4.04964438330419*b274 >= -1.74705929031015;

e206:  - x16 + x136 - 4.04964438330419*b275 >= -1.74705929031015;

e207:  - x17 + x137 - 4.04964438330419*b276 >= -1.74705929031015;

e208:  - x18 + x138 - 4.04964438330419*b277 >= -1.74705929031015;

e209:  - x19 + x139 - 4.04964438330419*b278 >= -1.74705929031015;

e210:  - x20 + x140 - 4.04964438330419*b279 >= -1.74705929031015;

e211:  - x22 + x132 - 4.63415772286134*b271 >= -2.3315726298673;

e212:  - x23 + x133 - 4.63415772286134*b272 >= -2.3315726298673;

e213:  - x24 + x134 - 4.63415772286134*b273 >= -2.3315726298673;

e214:  - x25 + x135 - 4.63415772286134*b274 >= -2.3315726298673;

e215:  - x26 + x136 - 4.63415772286134*b275 >= -2.3315726298673;

e216:  - x27 + x137 - 4.63415772286134*b276 >= -2.3315726298673;

e217:  - x28 + x138 - 4.63415772286134*b277 >= -2.3315726298673;

e218:  - x29 + x139 - 4.63415772286134*b278 >= -2.3315726298673;

e219:  - x30 + x140 - 4.63415772286134*b279 >= -2.3315726298673;

e220:  - x32 + x132 - 4.39931813178394*b271 >= -2.0967330387899;

e221:  - x33 + x133 - 4.39931813178394*b272 >= -2.0967330387899;

e222:  - x34 + x134 - 4.39931813178394*b273 >= -2.0967330387899;

e223:  - x35 + x135 - 4.39931813178394*b274 >= -2.0967330387899;

e224:  - x36 + x136 - 4.39931813178394*b275 >= -2.0967330387899;

e225:  - x37 + x137 - 4.39931813178394*b276 >= -2.0967330387899;

e226:  - x38 + x138 - 4.39931813178394*b277 >= -2.0967330387899;

e227:  - x39 + x139 - 4.39931813178394*b278 >= -2.0967330387899;

e228:  - x40 + x140 - 4.39931813178394*b279 >= -2.0967330387899;

e229:  - x42 + x132 - 4.10007523693109*b271 >= -1.79749014393704;

e230:  - x43 + x133 - 4.10007523693109*b272 >= -1.79749014393704;

e231:  - x44 + x134 - 4.10007523693109*b273 >= -1.79749014393704;

e232:  - x45 + x135 - 4.10007523693109*b274 >= -1.79749014393704;

e233:  - x46 + x136 - 4.10007523693109*b275 >= -1.79749014393704;

e234:  - x47 + x137 - 4.10007523693109*b276 >= -1.79749014393704;

e235:  - x48 + x138 - 4.10007523693109*b277 >= -1.79749014393704;

e236:  - x49 + x139 - 4.10007523693109*b278 >= -1.79749014393704;

e237:  - x50 + x140 - 4.10007523693109*b279 >= -1.79749014393704;

e238:  - x52 + x132 - 4.35385575770719*b271 >= -2.05127066471314;

e239:  - x53 + x133 - 4.35385575770719*b272 >= -2.05127066471314;

e240:  - x54 + x134 - 4.35385575770719*b273 >= -2.05127066471314;

e241:  - x55 + x135 - 4.35385575770719*b274 >= -2.05127066471314;

e242:  - x56 + x136 - 4.35385575770719*b275 >= -2.05127066471314;

e243:  - x57 + x137 - 4.35385575770719*b276 >= -2.05127066471314;

e244:  - x58 + x138 - 4.35385575770719*b277 >= -2.05127066471314;

e245:  - x59 + x139 - 4.35385575770719*b278 >= -2.05127066471314;

e246:  - x60 + x140 - 4.35385575770719*b279 >= -2.05127066471314;

e247:  - x62 + x132 - 4.35385575770719*b271 >= -2.05127066471314;

e248:  - x63 + x133 - 4.35385575770719*b272 >= -2.05127066471314;

e249:  - x64 + x134 - 4.35385575770719*b273 >= -2.05127066471314;

e250:  - x65 + x135 - 4.35385575770719*b274 >= -2.05127066471314;

e251:  - x66 + x136 - 4.35385575770719*b275 >= -2.05127066471314;

e252:  - x67 + x137 - 4.35385575770719*b276 >= -2.05127066471314;

e253:  - x68 + x138 - 4.35385575770719*b277 >= -2.05127066471314;

e254:  - x69 + x139 - 4.35385575770719*b278 >= -2.05127066471314;

e255:  - x70 + x140 - 4.35385575770719*b279 >= -2.05127066471314;

e256:  - x72 + x132 - 4.20927452889608*b271 >= -1.90668943590203;

e257:  - x73 + x133 - 4.20927452889608*b272 >= -1.90668943590203;

e258:  - x74 + x134 - 4.20927452889608*b273 >= -1.90668943590203;

e259:  - x75 + x135 - 4.20927452889608*b274 >= -1.90668943590203;

e260:  - x76 + x136 - 4.20927452889608*b275 >= -1.90668943590203;

e261:  - x77 + x137 - 4.20927452889608*b276 >= -1.90668943590203;

e262:  - x78 + x138 - 4.20927452889608*b277 >= -1.90668943590203;

e263:  - x79 + x139 - 4.20927452889608*b278 >= -1.90668943590203;

e264:  - x80 + x140 - 4.20927452889608*b279 >= -1.90668943590203;

e265:  - x82 + x132 - 4.19022633392538*b271 >= -1.88764124093134;

e266:  - x83 + x133 - 4.19022633392538*b272 >= -1.88764124093134;

e267:  - x84 + x134 - 4.19022633392538*b273 >= -1.88764124093134;

e268:  - x85 + x135 - 4.19022633392538*b274 >= -1.88764124093134;

e269:  - x86 + x136 - 4.19022633392538*b275 >= -1.88764124093134;

e270:  - x87 + x137 - 4.19022633392538*b276 >= -1.88764124093134;

e271:  - x88 + x138 - 4.19022633392538*b277 >= -1.88764124093134;

e272:  - x89 + x139 - 4.19022633392538*b278 >= -1.88764124093134;

e273:  - x90 + x140 - 4.19022633392538*b279 >= -1.88764124093134;

e274:  - x92 + x132 - 4.20927452889608*b271 >= -1.90668943590203;

e275:  - x93 + x133 - 4.20927452889608*b272 >= -1.90668943590203;

e276:  - x94 + x134 - 4.20927452889608*b273 >= -1.90668943590203;

e277:  - x95 + x135 - 4.20927452889608*b274 >= -1.90668943590203;

e278:  - x96 + x136 - 4.20927452889608*b275 >= -1.90668943590203;

e279:  - x97 + x137 - 4.20927452889608*b276 >= -1.90668943590203;

e280:  - x98 + x138 - 4.20927452889608*b277 >= -1.90668943590203;

e281:  - x99 + x139 - 4.20927452889608*b278 >= -1.90668943590203;

e282:  - x100 + x140 - 4.20927452889608*b279 >= -1.90668943590203;

e283:  - x102 + x132 - 4.03338386243241*b271 >= -1.73079876943837;

e284:  - x103 + x133 - 4.03338386243241*b272 >= -1.73079876943837;

e285:  - x104 + x134 - 4.03338386243241*b273 >= -1.73079876943837;

e286:  - x105 + x135 - 4.03338386243241*b274 >= -1.73079876943837;

e287:  - x106 + x136 - 4.03338386243241*b275 >= -1.73079876943837;

e288:  - x107 + x137 - 4.03338386243241*b276 >= -1.73079876943837;

e289:  - x108 + x138 - 4.03338386243241*b277 >= -1.73079876943837;

e290:  - x109 + x139 - 4.03338386243241*b278 >= -1.73079876943837;

e291:  - x110 + x140 - 4.03338386243241*b279 >= -1.73079876943837;

e292:  - x11 + x132 - 4.04964438330419*b271 >= -1.74705929031015;

e293:  - x12 + x133 - 4.04964438330419*b272 >= -1.74705929031015;

e294:  - x13 + x134 - 4.04964438330419*b273 >= -1.74705929031015;

e295:  - x14 + x135 - 4.04964438330419*b274 >= -1.74705929031015;

e296:  - x15 + x136 - 4.04964438330419*b275 >= -1.74705929031015;

e297:  - x16 + x137 - 4.04964438330419*b276 >= -1.74705929031015;

e298:  - x17 + x138 - 4.04964438330419*b277 >= -1.74705929031015;

e299:  - x18 + x139 - 4.04964438330419*b278 >= -1.74705929031015;

e300:  - x19 + x140 - 4.04964438330419*b279 >= -1.74705929031015;

e301:  - x21 + x132 - 4.63415772286134*b271 >= -2.3315726298673;

e302:  - x22 + x133 - 4.63415772286134*b272 >= -2.3315726298673;

e303:  - x23 + x134 - 4.63415772286134*b273 >= -2.3315726298673;

e304:  - x24 + x135 - 4.63415772286134*b274 >= -2.3315726298673;

e305:  - x25 + x136 - 4.63415772286134*b275 >= -2.3315726298673;

e306:  - x26 + x137 - 4.63415772286134*b276 >= -2.3315726298673;

e307:  - x27 + x138 - 4.63415772286134*b277 >= -2.3315726298673;

e308:  - x28 + x139 - 4.63415772286134*b278 >= -2.3315726298673;

e309:  - x29 + x140 - 4.63415772286134*b279 >= -2.3315726298673;

e310:  - x31 + x132 - 4.39931813178394*b271 >= -2.0967330387899;

e311:  - x32 + x133 - 4.39931813178394*b272 >= -2.0967330387899;

e312:  - x33 + x134 - 4.39931813178394*b273 >= -2.0967330387899;

e313:  - x34 + x135 - 4.39931813178394*b274 >= -2.0967330387899;

e314:  - x35 + x136 - 4.39931813178394*b275 >= -2.0967330387899;

e315:  - x36 + x137 - 4.39931813178394*b276 >= -2.0967330387899;

e316:  - x37 + x138 - 4.39931813178394*b277 >= -2.0967330387899;

e317:  - x38 + x139 - 4.39931813178394*b278 >= -2.0967330387899;

e318:  - x39 + x140 - 4.39931813178394*b279 >= -2.0967330387899;

e319:  - x41 + x132 - 4.10007523693109*b271 >= -1.79749014393704;

e320:  - x42 + x133 - 4.10007523693109*b272 >= -1.79749014393704;

e321:  - x43 + x134 - 4.10007523693109*b273 >= -1.79749014393704;

e322:  - x44 + x135 - 4.10007523693109*b274 >= -1.79749014393704;

e323:  - x45 + x136 - 4.10007523693109*b275 >= -1.79749014393704;

e324:  - x46 + x137 - 4.10007523693109*b276 >= -1.79749014393704;

e325:  - x47 + x138 - 4.10007523693109*b277 >= -1.79749014393704;

e326:  - x48 + x139 - 4.10007523693109*b278 >= -1.79749014393704;

e327:  - x49 + x140 - 4.10007523693109*b279 >= -1.79749014393704;

e328:  - x51 + x132 - 4.35385575770719*b271 >= -2.05127066471314;

e329:  - x52 + x133 - 4.35385575770719*b272 >= -2.05127066471314;

e330:  - x53 + x134 - 4.35385575770719*b273 >= -2.05127066471314;

e331:  - x54 + x135 - 4.35385575770719*b274 >= -2.05127066471314;

e332:  - x55 + x136 - 4.35385575770719*b275 >= -2.05127066471314;

e333:  - x56 + x137 - 4.35385575770719*b276 >= -2.05127066471314;

e334:  - x57 + x138 - 4.35385575770719*b277 >= -2.05127066471314;

e335:  - x58 + x139 - 4.35385575770719*b278 >= -2.05127066471314;

e336:  - x59 + x140 - 4.35385575770719*b279 >= -2.05127066471314;

e337:  - x61 + x132 - 4.35385575770719*b271 >= -2.05127066471314;

e338:  - x62 + x133 - 4.35385575770719*b272 >= -2.05127066471314;

e339:  - x63 + x134 - 4.35385575770719*b273 >= -2.05127066471314;

e340:  - x64 + x135 - 4.35385575770719*b274 >= -2.05127066471314;

e341:  - x65 + x136 - 4.35385575770719*b275 >= -2.05127066471314;

e342:  - x66 + x137 - 4.35385575770719*b276 >= -2.05127066471314;

e343:  - x67 + x138 - 4.35385575770719*b277 >= -2.05127066471314;

e344:  - x68 + x139 - 4.35385575770719*b278 >= -2.05127066471314;

e345:  - x69 + x140 - 4.35385575770719*b279 >= -2.05127066471314;

e346:  - x71 + x132 - 4.20927452889608*b271 >= -1.90668943590203;

e347:  - x72 + x133 - 4.20927452889608*b272 >= -1.90668943590203;

e348:  - x73 + x134 - 4.20927452889608*b273 >= -1.90668943590203;

e349:  - x74 + x135 - 4.20927452889608*b274 >= -1.90668943590203;

e350:  - x75 + x136 - 4.20927452889608*b275 >= -1.90668943590203;

e351:  - x76 + x137 - 4.20927452889608*b276 >= -1.90668943590203;

e352:  - x77 + x138 - 4.20927452889608*b277 >= -1.90668943590203;

e353:  - x78 + x139 - 4.20927452889608*b278 >= -1.90668943590203;

e354:  - x79 + x140 - 4.20927452889608*b279 >= -1.90668943590203;

e355:  - x81 + x132 - 4.19022633392538*b271 >= -1.88764124093134;

e356:  - x82 + x133 - 4.19022633392538*b272 >= -1.88764124093134;

e357:  - x83 + x134 - 4.19022633392538*b273 >= -1.88764124093134;

e358:  - x84 + x135 - 4.19022633392538*b274 >= -1.88764124093134;

e359:  - x85 + x136 - 4.19022633392538*b275 >= -1.88764124093134;

e360:  - x86 + x137 - 4.19022633392538*b276 >= -1.88764124093134;

e361:  - x87 + x138 - 4.19022633392538*b277 >= -1.88764124093134;

e362:  - x88 + x139 - 4.19022633392538*b278 >= -1.88764124093134;

e363:  - x89 + x140 - 4.19022633392538*b279 >= -1.88764124093134;

e364:  - x91 + x132 - 4.20927452889608*b271 >= -1.90668943590203;

e365:  - x92 + x133 - 4.20927452889608*b272 >= -1.90668943590203;

e366:  - x93 + x134 - 4.20927452889608*b273 >= -1.90668943590203;

e367:  - x94 + x135 - 4.20927452889608*b274 >= -1.90668943590203;

e368:  - x95 + x136 - 4.20927452889608*b275 >= -1.90668943590203;

e369:  - x96 + x137 - 4.20927452889608*b276 >= -1.90668943590203;

e370:  - x97 + x138 - 4.20927452889608*b277 >= -1.90668943590203;

e371:  - x98 + x139 - 4.20927452889608*b278 >= -1.90668943590203;

e372:  - x99 + x140 - 4.20927452889608*b279 >= -1.90668943590203;

e373:  - x101 + x132 - 4.03338386243241*b271 >= -1.73079876943837;

e374:  - x102 + x133 - 4.03338386243241*b272 >= -1.73079876943837;

e375:  - x103 + x134 - 4.03338386243241*b273 >= -1.73079876943837;

e376:  - x104 + x135 - 4.03338386243241*b274 >= -1.73079876943837;

e377:  - x105 + x136 - 4.03338386243241*b275 >= -1.73079876943837;

e378:  - x106 + x137 - 4.03338386243241*b276 >= -1.73079876943837;

e379:  - x107 + x138 - 4.03338386243241*b277 >= -1.73079876943837;

e380:  - x108 + x139 - 4.03338386243241*b278 >= -1.73079876943837;

e381:  - x109 + x140 - 4.03338386243241*b279 >= -1.73079876943837;

e382:    x111 + 1.79175946922805*b151 <= 1.79175946922805;

e383:    x111 + 1.09861228866811*b161 <= 1.79175946922805;

e384:    x111 + 0.693147180559945*b171 <= 1.79175946922805;

e385:    x111 + 0.405465108108164*b181 <= 1.79175946922805;

e386:    x111 + 0.182321556793955*b191 <= 1.79175946922805;

e387:    x111 <= 1.79175946922805;

e388:    x112 + 1.79175946922805*b152 <= 1.79175946922805;

e389:    x112 + 1.09861228866811*b162 <= 1.79175946922805;

e390:    x112 + 0.693147180559945*b172 <= 1.79175946922805;

e391:    x112 + 0.405465108108164*b182 <= 1.79175946922805;

e392:    x112 + 0.182321556793955*b192 <= 1.79175946922805;

e393:    x112 <= 1.79175946922805;

e394:    x113 + 1.79175946922805*b153 <= 1.79175946922805;

e395:    x113 + 1.09861228866811*b163 <= 1.79175946922805;

e396:    x113 + 0.693147180559945*b173 <= 1.79175946922805;

e397:    x113 + 0.405465108108164*b183 <= 1.79175946922805;

e398:    x113 + 0.182321556793955*b193 <= 1.79175946922805;

e399:    x113 <= 1.79175946922805;

e400:    x114 + 1.79175946922805*b154 <= 1.79175946922805;

e401:    x114 + 1.09861228866811*b164 <= 1.79175946922805;

e402:    x114 + 0.693147180559945*b174 <= 1.79175946922805;

e403:    x114 + 0.405465108108164*b184 <= 1.79175946922805;

e404:    x114 + 0.182321556793955*b194 <= 1.79175946922805;

e405:    x114 <= 1.79175946922805;

e406:    x115 + 1.79175946922805*b155 <= 1.79175946922805;

e407:    x115 + 1.09861228866811*b165 <= 1.79175946922805;

e408:    x115 + 0.693147180559945*b175 <= 1.79175946922805;

e409:    x115 + 0.405465108108164*b185 <= 1.79175946922805;

e410:    x115 + 0.182321556793955*b195 <= 1.79175946922805;

e411:    x115 <= 1.79175946922805;

e412:    x116 + 1.79175946922805*b156 <= 1.79175946922805;

e413:    x116 + 1.09861228866811*b166 <= 1.79175946922805;

e414:    x116 + 0.693147180559945*b176 <= 1.79175946922805;

e415:    x116 + 0.405465108108164*b186 <= 1.79175946922805;

e416:    x116 + 0.182321556793955*b196 <= 1.79175946922805;

e417:    x116 <= 1.79175946922805;

e418:    x117 + 1.79175946922805*b157 <= 1.79175946922805;

e419:    x117 + 1.09861228866811*b167 <= 1.79175946922805;

e420:    x117 + 0.693147180559945*b177 <= 1.79175946922805;

e421:    x117 + 0.405465108108164*b187 <= 1.79175946922805;

e422:    x117 + 0.182321556793955*b197 <= 1.79175946922805;

e423:    x117 <= 1.79175946922805;

e424:    x118 + 1.79175946922805*b158 <= 1.79175946922805;

e425:    x118 + 1.09861228866811*b168 <= 1.79175946922805;

e426:    x118 + 0.693147180559945*b178 <= 1.79175946922805;

e427:    x118 + 0.405465108108164*b188 <= 1.79175946922805;

e428:    x118 + 0.182321556793955*b198 <= 1.79175946922805;

e429:    x118 <= 1.79175946922805;

e430:    x119 + 1.79175946922805*b159 <= 1.79175946922805;

e431:    x119 + 1.09861228866811*b169 <= 1.79175946922805;

e432:    x119 + 0.693147180559945*b179 <= 1.79175946922805;

e433:    x119 + 0.405465108108164*b189 <= 1.79175946922805;

e434:    x119 + 0.182321556793955*b199 <= 1.79175946922805;

e435:    x119 <= 1.79175946922805;

e436:    x120 + 1.79175946922805*b160 <= 1.79175946922805;

e437:    x120 + 1.09861228866811*b170 <= 1.79175946922805;

e438:    x120 + 0.693147180559945*b180 <= 1.79175946922805;

e439:    x120 + 0.405465108108164*b190 <= 1.79175946922805;

e440:    x120 + 0.182321556793955*b200 <= 1.79175946922805;

e441:    x120 <= 1.79175946922805;

e442:    x111 >= 0;

e443:    x111 - 0.693147180559945*b161 >= 0;

e444:    x111 - 1.09861228866811*b171 >= 0;

e445:    x111 - 1.38629436111989*b181 >= 0;

e446:    x111 - 1.6094379124341*b191 >= 0;

e447:    x111 - 1.79175946922805*b201 >= 0;

e448:    x112 >= 0;

e449:    x112 - 0.693147180559945*b162 >= 0;

e450:    x112 - 1.09861228866811*b172 >= 0;

e451:    x112 - 1.38629436111989*b182 >= 0;

e452:    x112 - 1.6094379124341*b192 >= 0;

e453:    x112 - 1.79175946922805*b202 >= 0;

e454:    x113 >= 0;

e455:    x113 - 0.693147180559945*b163 >= 0;

e456:    x113 - 1.09861228866811*b173 >= 0;

e457:    x113 - 1.38629436111989*b183 >= 0;

e458:    x113 - 1.6094379124341*b193 >= 0;

e459:    x113 - 1.79175946922805*b203 >= 0;

e460:    x114 >= 0;

e461:    x114 - 0.693147180559945*b164 >= 0;

e462:    x114 - 1.09861228866811*b174 >= 0;

e463:    x114 - 1.38629436111989*b184 >= 0;

e464:    x114 - 1.6094379124341*b194 >= 0;

e465:    x114 - 1.79175946922805*b204 >= 0;

e466:    x115 >= 0;

e467:    x115 - 0.693147180559945*b165 >= 0;

e468:    x115 - 1.09861228866811*b175 >= 0;

e469:    x115 - 1.38629436111989*b185 >= 0;

e470:    x115 - 1.6094379124341*b195 >= 0;

e471:    x115 - 1.79175946922805*b205 >= 0;

e472:    x116 >= 0;

e473:    x116 - 0.693147180559945*b166 >= 0;

e474:    x116 - 1.09861228866811*b176 >= 0;

e475:    x116 - 1.38629436111989*b186 >= 0;

e476:    x116 - 1.6094379124341*b196 >= 0;

e477:    x116 - 1.79175946922805*b206 >= 0;

e478:    x117 >= 0;

e479:    x117 - 0.693147180559945*b167 >= 0;

e480:    x117 - 1.09861228866811*b177 >= 0;

e481:    x117 - 1.38629436111989*b187 >= 0;

e482:    x117 - 1.6094379124341*b197 >= 0;

e483:    x117 - 1.79175946922805*b207 >= 0;

e484:    x118 >= 0;

e485:    x118 - 0.693147180559945*b168 >= 0;

e486:    x118 - 1.09861228866811*b178 >= 0;

e487:    x118 - 1.38629436111989*b188 >= 0;

e488:    x118 - 1.6094379124341*b198 >= 0;

e489:    x118 - 1.79175946922805*b208 >= 0;

e490:    x119 >= 0;

e491:    x119 - 0.693147180559945*b169 >= 0;

e492:    x119 - 1.09861228866811*b179 >= 0;

e493:    x119 - 1.38629436111989*b189 >= 0;

e494:    x119 - 1.6094379124341*b199 >= 0;

e495:    x119 - 1.79175946922805*b209 >= 0;

e496:    x120 >= 0;

e497:    x120 - 0.693147180559945*b170 >= 0;

e498:    x120 - 1.09861228866811*b180 >= 0;

e499:    x120 - 1.38629436111989*b190 >= 0;

e500:    x120 - 1.6094379124341*b200 >= 0;

e501:    x120 - 1.79175946922805*b210 >= 0;

e502:    x121 + 1.79175946922805*b211 <= 1.79175946922805;

e503:    x121 + 1.09861228866811*b221 <= 1.79175946922805;

e504:    x121 + 0.693147180559945*b231 <= 1.79175946922805;

e505:    x121 + 0.405465108108164*b241 <= 1.79175946922805;

e506:    x121 + 0.182321556793955*b251 <= 1.79175946922805;

e507:    x121 <= 1.79175946922805;

e508:    x122 + 1.79175946922805*b212 <= 1.79175946922805;

e509:    x122 + 1.09861228866811*b222 <= 1.79175946922805;

e510:    x122 + 0.693147180559945*b232 <= 1.79175946922805;

e511:    x122 + 0.405465108108164*b242 <= 1.79175946922805;

e512:    x122 + 0.182321556793955*b252 <= 1.79175946922805;

e513:    x122 <= 1.79175946922805;

e514:    x123 + 1.79175946922805*b213 <= 1.79175946922805;

e515:    x123 + 1.09861228866811*b223 <= 1.79175946922805;

e516:    x123 + 0.693147180559945*b233 <= 1.79175946922805;

e517:    x123 + 0.405465108108164*b243 <= 1.79175946922805;

e518:    x123 + 0.182321556793955*b253 <= 1.79175946922805;

e519:    x123 <= 1.79175946922805;

e520:    x124 + 1.79175946922805*b214 <= 1.79175946922805;

e521:    x124 + 1.09861228866811*b224 <= 1.79175946922805;

e522:    x124 + 0.693147180559945*b234 <= 1.79175946922805;

e523:    x124 + 0.405465108108164*b244 <= 1.79175946922805;

e524:    x124 + 0.182321556793955*b254 <= 1.79175946922805;

e525:    x124 <= 1.79175946922805;

e526:    x125 + 1.79175946922805*b215 <= 1.79175946922805;

e527:    x125 + 1.09861228866811*b225 <= 1.79175946922805;

e528:    x125 + 0.693147180559945*b235 <= 1.79175946922805;

e529:    x125 + 0.405465108108164*b245 <= 1.79175946922805;

e530:    x125 + 0.182321556793955*b255 <= 1.79175946922805;

e531:    x125 <= 1.79175946922805;

e532:    x126 + 1.79175946922805*b216 <= 1.79175946922805;

e533:    x126 + 1.09861228866811*b226 <= 1.79175946922805;

e534:    x126 + 0.693147180559945*b236 <= 1.79175946922805;

e535:    x126 + 0.405465108108164*b246 <= 1.79175946922805;

e536:    x126 + 0.182321556793955*b256 <= 1.79175946922805;

e537:    x126 <= 1.79175946922805;

e538:    x127 + 1.79175946922805*b217 <= 1.79175946922805;

e539:    x127 + 1.09861228866811*b227 <= 1.79175946922805;

e540:    x127 + 0.693147180559945*b237 <= 1.79175946922805;

e541:    x127 + 0.405465108108164*b247 <= 1.79175946922805;

e542:    x127 + 0.182321556793955*b257 <= 1.79175946922805;

e543:    x127 <= 1.79175946922805;

e544:    x128 + 1.79175946922805*b218 <= 1.79175946922805;

e545:    x128 + 1.09861228866811*b228 <= 1.79175946922805;

e546:    x128 + 0.693147180559945*b238 <= 1.79175946922805;

e547:    x128 + 0.405465108108164*b248 <= 1.79175946922805;

e548:    x128 + 0.182321556793955*b258 <= 1.79175946922805;

e549:    x128 <= 1.79175946922805;

e550:    x129 + 1.79175946922805*b219 <= 1.79175946922805;

e551:    x129 + 1.09861228866811*b229 <= 1.79175946922805;

e552:    x129 + 0.693147180559945*b239 <= 1.79175946922805;

e553:    x129 + 0.405465108108164*b249 <= 1.79175946922805;

e554:    x129 + 0.182321556793955*b259 <= 1.79175946922805;

e555:    x129 <= 1.79175946922805;

e556:    x130 + 1.79175946922805*b220 <= 1.79175946922805;

e557:    x130 + 1.09861228866811*b230 <= 1.79175946922805;

e558:    x130 + 0.693147180559945*b240 <= 1.79175946922805;

e559:    x130 + 0.405465108108164*b250 <= 1.79175946922805;

e560:    x130 + 0.182321556793955*b260 <= 1.79175946922805;

e561:    x130 <= 1.79175946922805;

e562:    x121 >= 0;

e563:    x121 - 0.693147180559945*b221 >= 0;

e564:    x121 - 1.09861228866811*b231 >= 0;

e565:    x121 - 1.38629436111989*b241 >= 0;

e566:    x121 - 1.6094379124341*b251 >= 0;

e567:    x121 - 1.79175946922805*b261 >= 0;

e568:    x122 >= 0;

e569:    x122 - 0.693147180559945*b222 >= 0;

e570:    x122 - 1.09861228866811*b232 >= 0;

e571:    x122 - 1.38629436111989*b242 >= 0;

e572:    x122 - 1.6094379124341*b252 >= 0;

e573:    x122 - 1.79175946922805*b262 >= 0;

e574:    x123 >= 0;

e575:    x123 - 0.693147180559945*b223 >= 0;

e576:    x123 - 1.09861228866811*b233 >= 0;

e577:    x123 - 1.38629436111989*b243 >= 0;

e578:    x123 - 1.6094379124341*b253 >= 0;

e579:    x123 - 1.79175946922805*b263 >= 0;

e580:    x124 >= 0;

e581:    x124 - 0.693147180559945*b224 >= 0;

e582:    x124 - 1.09861228866811*b234 >= 0;

e583:    x124 - 1.38629436111989*b244 >= 0;

e584:    x124 - 1.6094379124341*b254 >= 0;

e585:    x124 - 1.79175946922805*b264 >= 0;

e586:    x125 >= 0;

e587:    x125 - 0.693147180559945*b225 >= 0;

e588:    x125 - 1.09861228866811*b235 >= 0;

e589:    x125 - 1.38629436111989*b245 >= 0;

e590:    x125 - 1.6094379124341*b255 >= 0;

e591:    x125 - 1.79175946922805*b265 >= 0;

e592:    x126 >= 0;

e593:    x126 - 0.693147180559945*b226 >= 0;

e594:    x126 - 1.09861228866811*b236 >= 0;

e595:    x126 - 1.38629436111989*b246 >= 0;

e596:    x126 - 1.6094379124341*b256 >= 0;

e597:    x126 - 1.79175946922805*b266 >= 0;

e598:    x127 >= 0;

e599:    x127 - 0.693147180559945*b227 >= 0;

e600:    x127 - 1.09861228866811*b237 >= 0;

e601:    x127 - 1.38629436111989*b247 >= 0;

e602:    x127 - 1.6094379124341*b257 >= 0;

e603:    x127 - 1.79175946922805*b267 >= 0;

e604:    x128 >= 0;

e605:    x128 - 0.693147180559945*b228 >= 0;

e606:    x128 - 1.09861228866811*b238 >= 0;

e607:    x128 - 1.38629436111989*b248 >= 0;

e608:    x128 - 1.6094379124341*b258 >= 0;

e609:    x128 - 1.79175946922805*b268 >= 0;

e610:    x129 >= 0;

e611:    x129 - 0.693147180559945*b229 >= 0;

e612:    x129 - 1.09861228866811*b239 >= 0;

e613:    x129 - 1.38629436111989*b249 >= 0;

e614:    x129 - 1.6094379124341*b259 >= 0;

e615:    x129 - 1.79175946922805*b269 >= 0;

e616:    x130 >= 0;

e617:    x130 - 0.693147180559945*b230 >= 0;

e618:    x130 - 1.09861228866811*b240 >= 0;

e619:    x130 - 1.38629436111989*b250 >= 0;

e620:    x130 - 1.6094379124341*b260 >= 0;

e621:    x130 - 1.79175946922805*b270 >= 0;

e622:    b151 + b161 + b171 + b181 + b191 + b201 = 1;

e623:    b152 + b162 + b172 + b182 + b192 + b202 = 1;

e624:    b153 + b163 + b173 + b183 + b193 + b203 = 1;

e625:    b154 + b164 + b174 + b184 + b194 + b204 = 1;

e626:    b155 + b165 + b175 + b185 + b195 + b205 = 1;

e627:    b156 + b166 + b176 + b186 + b196 + b206 = 1;

e628:    b157 + b167 + b177 + b187 + b197 + b207 = 1;

e629:    b158 + b168 + b178 + b188 + b198 + b208 = 1;

e630:    b159 + b169 + b179 + b189 + b199 + b209 = 1;

e631:    b160 + b170 + b180 + b190 + b200 + b210 = 1;

e632:    b211 + b221 + b231 + b241 + b251 + b261 = 1;

e633:    b212 + b222 + b232 + b242 + b252 + b262 = 1;

e634:    b213 + b223 + b233 + b243 + b253 + b263 = 1;

e635:    b214 + b224 + b234 + b244 + b254 + b264 = 1;

e636:    b215 + b225 + b235 + b245 + b255 + b265 = 1;

e637:    b216 + b226 + b236 + b246 + b256 + b266 = 1;

e638:    b217 + b227 + b237 + b247 + b257 + b267 = 1;

e639:    b218 + b228 + b238 + b248 + b258 + b268 = 1;

e640:    b219 + b229 + b239 + b249 + b259 + b269 = 1;

e641:    b220 + b230 + b240 + b250 + b260 + b270 = 1;

e642:    x11 - x12 + 1.45937721785837*b271 <= 2.55798950652648;

e643:    x12 - x13 + 1.45937721785837*b272 <= 2.55798950652648;

e644:    x13 - x14 + 1.45937721785837*b273 <= 2.55798950652648;

e645:    x14 - x15 + 1.45937721785837*b274 <= 2.55798950652648;

e646:    x15 - x16 + 1.45937721785837*b275 <= 2.55798950652648;

e647:    x16 - x17 + 1.45937721785837*b276 <= 2.55798950652648;

e648:    x17 - x18 + 1.45937721785837*b277 <= 2.55798950652648;

e649:    x18 - x19 + 1.45937721785837*b278 <= 2.55798950652648;

e650:    x19 - x20 + 1.45937721785837*b279 <= 2.55798950652648;

e651:    x21 - x22 + 2.53921199464554*b271 <= 3.63782428331365;

e652:    x22 - x23 + 2.53921199464554*b272 <= 3.63782428331365;

e653:    x23 - x24 + 2.53921199464554*b273 <= 3.63782428331365;

e654:    x24 - x25 + 2.53921199464554*b274 <= 3.63782428331365;

e655:    x25 - x26 + 2.53921199464554*b275 <= 3.63782428331365;

e656:    x26 - x27 + 2.53921199464554*b276 <= 3.63782428331365;

e657:    x27 - x28 + 2.53921199464554*b277 <= 3.63782428331365;

e658:    x28 - x29 + 2.53921199464554*b278 <= 3.63782428331365;

e659:    x29 - x30 + 2.53921199464554*b279 <= 3.63782428331365;

e660:    x31 - x32 + 2.15330339027829*b271 <= 3.2519156789464;

e661:    x32 - x33 + 2.15330339027829*b272 <= 3.2519156789464;

e662:    x33 - x34 + 2.15330339027829*b273 <= 3.2519156789464;

e663:    x34 - x35 + 2.15330339027829*b274 <= 3.2519156789464;

e664:    x35 - x36 + 2.15330339027829*b275 <= 3.2519156789464;

e665:    x36 - x37 + 2.15330339027829*b276 <= 3.2519156789464;

e666:    x37 - x38 + 2.15330339027829*b277 <= 3.2519156789464;

e667:    x38 - x39 + 2.15330339027829*b278 <= 3.2519156789464;

e668:    x39 - x40 + 2.15330339027829*b279 <= 3.2519156789464;

e669:    x41 - x42 + 1.98784387242826*b271 <= 3.08645616109637;

e670:    x42 - x43 + 1.98784387242826*b272 <= 3.08645616109637;

e671:    x43 - x44 + 1.98784387242826*b273 <= 3.08645616109637;

e672:    x44 - x45 + 1.98784387242826*b274 <= 3.08645616109637;

e673:    x45 - x46 + 1.98784387242826*b275 <= 3.08645616109637;

e674:    x46 - x47 + 1.98784387242826*b276 <= 3.08645616109637;

e675:    x47 - x48 + 1.98784387242826*b277 <= 3.08645616109637;

e676:    x48 - x49 + 1.98784387242826*b278 <= 3.08645616109637;

e677:    x49 - x50 + 1.98784387242826*b279 <= 3.08645616109637;

e678:    x51 - x52 + 2.7246152179769*b271 <= 3.82322750664501;

e679:    x52 - x53 + 2.7246152179769*b272 <= 3.82322750664501;

e680:    x53 - x54 + 2.7246152179769*b273 <= 3.82322750664501;

e681:    x54 - x55 + 2.7246152179769*b274 <= 3.82322750664501;

e682:    x55 - x56 + 2.7246152179769*b275 <= 3.82322750664501;

e683:    x56 - x57 + 2.7246152179769*b276 <= 3.82322750664501;

e684:    x57 - x58 + 2.7246152179769*b277 <= 3.82322750664501;

e685:    x58 - x59 + 2.7246152179769*b278 <= 3.82322750664501;

e686:    x59 - x60 + 2.7246152179769*b279 <= 3.82322750664501;

e687:    x61 - x62 + 2.86282607632339*b271 <= 3.9614383649915;

e688:    x62 - x63 + 2.86282607632339*b272 <= 3.9614383649915;

e689:    x63 - x64 + 2.86282607632339*b273 <= 3.9614383649915;

e690:    x64 - x65 + 2.86282607632339*b274 <= 3.9614383649915;

e691:    x65 - x66 + 2.86282607632339*b275 <= 3.9614383649915;

e692:    x66 - x67 + 2.86282607632339*b276 <= 3.9614383649915;

e693:    x67 - x68 + 2.86282607632339*b277 <= 3.9614383649915;

e694:    x68 - x69 + 2.86282607632339*b278 <= 3.9614383649915;

e695:    x69 - x70 + 2.86282607632339*b279 <= 3.9614383649915;

e696:    x71 - x72 + 1.84763467312072*b271 <= 2.94624696178883;

e697:    x72 - x73 + 1.84763467312072*b272 <= 2.94624696178883;

e698:    x73 - x74 + 1.84763467312072*b273 <= 2.94624696178883;

e699:    x74 - x75 + 1.84763467312072*b274 <= 2.94624696178883;

e700:    x75 - x76 + 1.84763467312072*b275 <= 2.94624696178883;

e701:    x76 - x77 + 1.84763467312072*b276 <= 2.94624696178883;

e702:    x77 - x78 + 1.84763467312072*b277 <= 2.94624696178883;

e703:    x78 - x79 + 1.84763467312072*b278 <= 2.94624696178883;

e704:    x79 - x80 + 1.84763467312072*b279 <= 2.94624696178883;

e705:    x81 - x82 + 2.22778688291886*b271 <= 3.32639917158697;

e706:    x82 - x83 + 2.22778688291886*b272 <= 3.32639917158697;

e707:    x83 - x84 + 2.22778688291886*b273 <= 3.32639917158697;

e708:    x84 - x85 + 2.22778688291886*b274 <= 3.32639917158697;

e709:    x85 - x86 + 2.22778688291886*b275 <= 3.32639917158697;

e710:    x86 - x87 + 2.22778688291886*b276 <= 3.32639917158697;

e711:    x87 - x88 + 2.22778688291886*b277 <= 3.32639917158697;

e712:    x88 - x89 + 2.22778688291886*b278 <= 3.32639917158697;

e713:    x89 - x90 + 2.22778688291886*b279 <= 3.32639917158697;

e714:    x91 - x92 + 1.87188551370734*b271 <= 2.97049780237545;

e715:    x92 - x93 + 1.87188551370734*b272 <= 2.97049780237545;

e716:    x93 - x94 + 1.87188551370734*b273 <= 2.97049780237545;

e717:    x94 - x95 + 1.87188551370734*b274 <= 2.97049780237545;

e718:    x95 - x96 + 1.87188551370734*b275 <= 2.97049780237545;

e719:    x96 - x97 + 1.87188551370734*b276 <= 2.97049780237545;

e720:    x97 - x98 + 1.87188551370734*b277 <= 2.97049780237545;

e721:    x98 - x99 + 1.87188551370734*b278 <= 2.97049780237545;

e722:    x99 - x100 + 1.87188551370734*b279 <= 2.97049780237545;

e723:    x101 - x102 + 1.88842771364195*b271 <= 2.98704000231006;

e724:    x102 - x103 + 1.88842771364195*b272 <= 2.98704000231006;

e725:    x103 - x104 + 1.88842771364195*b273 <= 2.98704000231006;

e726:    x104 - x105 + 1.88842771364195*b274 <= 2.98704000231006;

e727:    x105 - x106 + 1.88842771364195*b275 <= 2.98704000231006;

e728:    x106 - x107 + 1.88842771364195*b276 <= 2.98704000231006;

e729:    x107 - x108 + 1.88842771364195*b277 <= 2.98704000231006;

e730:    x108 - x109 + 1.88842771364195*b278 <= 2.98704000231006;

e731:    x109 - x110 + 1.88842771364195*b279 <= 2.98704000231006;

e732:    x11 - x12 - 1.45937721785837*b271 >= -2.55798950652648;

e733:    x12 - x13 - 1.45937721785837*b272 >= -2.55798950652648;

e734:    x13 - x14 - 1.45937721785837*b273 >= -2.55798950652648;

e735:    x14 - x15 - 1.45937721785837*b274 >= -2.55798950652648;

e736:    x15 - x16 - 1.45937721785837*b275 >= -2.55798950652648;

e737:    x16 - x17 - 1.45937721785837*b276 >= -2.55798950652648;

e738:    x17 - x18 - 1.45937721785837*b277 >= -2.55798950652648;

e739:    x18 - x19 - 1.45937721785837*b278 >= -2.55798950652648;

e740:    x19 - x20 - 1.45937721785837*b279 >= -2.55798950652648;

e741:    x21 - x22 - 2.53921199464554*b271 >= -3.63782428331365;

e742:    x22 - x23 - 2.53921199464554*b272 >= -3.63782428331365;

e743:    x23 - x24 - 2.53921199464554*b273 >= -3.63782428331365;

e744:    x24 - x25 - 2.53921199464554*b274 >= -3.63782428331365;

e745:    x25 - x26 - 2.53921199464554*b275 >= -3.63782428331365;

e746:    x26 - x27 - 2.53921199464554*b276 >= -3.63782428331365;

e747:    x27 - x28 - 2.53921199464554*b277 >= -3.63782428331365;

e748:    x28 - x29 - 2.53921199464554*b278 >= -3.63782428331365;

e749:    x29 - x30 - 2.53921199464554*b279 >= -3.63782428331365;

e750:    x31 - x32 - 2.15330339027829*b271 >= -3.2519156789464;

e751:    x32 - x33 - 2.15330339027829*b272 >= -3.2519156789464;

e752:    x33 - x34 - 2.15330339027829*b273 >= -3.2519156789464;

e753:    x34 - x35 - 2.15330339027829*b274 >= -3.2519156789464;

e754:    x35 - x36 - 2.15330339027829*b275 >= -3.2519156789464;

e755:    x36 - x37 - 2.15330339027829*b276 >= -3.2519156789464;

e756:    x37 - x38 - 2.15330339027829*b277 >= -3.2519156789464;

e757:    x38 - x39 - 2.15330339027829*b278 >= -3.2519156789464;

e758:    x39 - x40 - 2.15330339027829*b279 >= -3.2519156789464;

e759:    x41 - x42 - 1.98784387242826*b271 >= -3.08645616109637;

e760:    x42 - x43 - 1.98784387242826*b272 >= -3.08645616109637;

e761:    x43 - x44 - 1.98784387242826*b273 >= -3.08645616109637;

e762:    x44 - x45 - 1.98784387242826*b274 >= -3.08645616109637;

e763:    x45 - x46 - 1.98784387242826*b275 >= -3.08645616109637;

e764:    x46 - x47 - 1.98784387242826*b276 >= -3.08645616109637;

e765:    x47 - x48 - 1.98784387242826*b277 >= -3.08645616109637;

e766:    x48 - x49 - 1.98784387242826*b278 >= -3.08645616109637;

e767:    x49 - x50 - 1.98784387242826*b279 >= -3.08645616109637;

e768:    x51 - x52 - 2.7246152179769*b271 >= -3.82322750664501;

e769:    x52 - x53 - 2.7246152179769*b272 >= -3.82322750664501;

e770:    x53 - x54 - 2.7246152179769*b273 >= -3.82322750664501;

e771:    x54 - x55 - 2.7246152179769*b274 >= -3.82322750664501;

e772:    x55 - x56 - 2.7246152179769*b275 >= -3.82322750664501;

e773:    x56 - x57 - 2.7246152179769*b276 >= -3.82322750664501;

e774:    x57 - x58 - 2.7246152179769*b277 >= -3.82322750664501;

e775:    x58 - x59 - 2.7246152179769*b278 >= -3.82322750664501;

e776:    x59 - x60 - 2.7246152179769*b279 >= -3.82322750664501;

e777:    x61 - x62 - 2.86282607632339*b271 >= -3.9614383649915;

e778:    x62 - x63 - 2.86282607632339*b272 >= -3.9614383649915;

e779:    x63 - x64 - 2.86282607632339*b273 >= -3.9614383649915;

e780:    x64 - x65 - 2.86282607632339*b274 >= -3.9614383649915;

e781:    x65 - x66 - 2.86282607632339*b275 >= -3.9614383649915;

e782:    x66 - x67 - 2.86282607632339*b276 >= -3.9614383649915;

e783:    x67 - x68 - 2.86282607632339*b277 >= -3.9614383649915;

e784:    x68 - x69 - 2.86282607632339*b278 >= -3.9614383649915;

e785:    x69 - x70 - 2.86282607632339*b279 >= -3.9614383649915;

e786:    x71 - x72 - 1.84763467312072*b271 >= -2.94624696178883;

e787:    x72 - x73 - 1.84763467312072*b272 >= -2.94624696178883;

e788:    x73 - x74 - 1.84763467312072*b273 >= -2.94624696178883;

e789:    x74 - x75 - 1.84763467312072*b274 >= -2.94624696178883;

e790:    x75 - x76 - 1.84763467312072*b275 >= -2.94624696178883;

e791:    x76 - x77 - 1.84763467312072*b276 >= -2.94624696178883;

e792:    x77 - x78 - 1.84763467312072*b277 >= -2.94624696178883;

e793:    x78 - x79 - 1.84763467312072*b278 >= -2.94624696178883;

e794:    x79 - x80 - 1.84763467312072*b279 >= -2.94624696178883;

e795:    x81 - x82 - 2.22778688291886*b271 >= -3.32639917158697;

e796:    x82 - x83 - 2.22778688291886*b272 >= -3.32639917158697;

e797:    x83 - x84 - 2.22778688291886*b273 >= -3.32639917158697;

e798:    x84 - x85 - 2.22778688291886*b274 >= -3.32639917158697;

e799:    x85 - x86 - 2.22778688291886*b275 >= -3.32639917158697;

e800:    x86 - x87 - 2.22778688291886*b276 >= -3.32639917158697;

e801:    x87 - x88 - 2.22778688291886*b277 >= -3.32639917158697;

e802:    x88 - x89 - 2.22778688291886*b278 >= -3.32639917158697;

e803:    x89 - x90 - 2.22778688291886*b279 >= -3.32639917158697;

e804:    x91 - x92 - 1.87188551370734*b271 >= -2.97049780237545;

e805:    x92 - x93 - 1.87188551370734*b272 >= -2.97049780237545;

e806:    x93 - x94 - 1.87188551370734*b273 >= -2.97049780237545;

e807:    x94 - x95 - 1.87188551370734*b274 >= -2.97049780237545;

e808:    x95 - x96 - 1.87188551370734*b275 >= -2.97049780237545;

e809:    x96 - x97 - 1.87188551370734*b276 >= -2.97049780237545;

e810:    x97 - x98 - 1.87188551370734*b277 >= -2.97049780237545;

e811:    x98 - x99 - 1.87188551370734*b278 >= -2.97049780237545;

e812:    x99 - x100 - 1.87188551370734*b279 >= -2.97049780237545;

e813:    x101 - x102 - 1.88842771364195*b271 >= -2.98704000231006;

e814:    x102 - x103 - 1.88842771364195*b272 >= -2.98704000231006;

e815:    x103 - x104 - 1.88842771364195*b273 >= -2.98704000231006;

e816:    x104 - x105 - 1.88842771364195*b274 >= -2.98704000231006;

e817:    x105 - x106 - 1.88842771364195*b275 >= -2.98704000231006;

e818:    x106 - x107 - 1.88842771364195*b276 >= -2.98704000231006;

e819:    x107 - x108 - 1.88842771364195*b277 >= -2.98704000231006;

e820:    x108 - x109 - 1.88842771364195*b278 >= -2.98704000231006;

e821:    x109 - x110 - 1.88842771364195*b279 >= -2.98704000231006;

e823:    x132 - 18.8261458520605*b271 <= -9.21034037197618;

e824:    x133 - 18.8261458520605*b272 <= -9.21034037197618;

e825:    x134 - 18.8261458520605*b273 <= -9.21034037197618;

e826:    x135 - 18.8261458520605*b274 <= -9.21034037197618;

e827:    x136 - 18.8261458520605*b275 <= -9.21034037197618;

e828:    x137 - 18.8261458520605*b276 <= -9.21034037197618;

e829:    x138 - 18.8261458520605*b277 <= -9.21034037197618;

e830:    x139 - 18.8261458520605*b278 <= -9.21034037197618;

e831:    x140 - 18.8261458520605*b279 <= -9.21034037197618;

e832:    x132 + 13.8155105579643*b271 >= -9.21034037197618;

e833:    x133 + 13.8155105579643*b272 >= -9.21034037197618;

e834:    x134 + 13.8155105579643*b273 >= -9.21034037197618;

e835:    x135 + 13.8155105579643*b274 >= -9.21034037197618;

e836:    x136 + 13.8155105579643*b275 >= -9.21034037197618;

e837:    x137 + 13.8155105579643*b276 >= -9.21034037197618;

e838:    x138 + 13.8155105579643*b277 >= -9.21034037197618;

e839:    x139 + 13.8155105579643*b278 >= -9.21034037197618;

e840:    x140 + 13.8155105579643*b279 >= -9.21034037197618;

e841:    x11 - x12 - 2.55798950652648*b271 <= 0;

e842:    x12 - x13 - 2.55798950652648*b272 <= 0;

e843:    x13 - x14 - 2.55798950652648*b273 <= 0;

e844:    x14 - x15 - 2.55798950652648*b274 <= 0;

e845:    x15 - x16 - 2.55798950652648*b275 <= 0;

e846:    x16 - x17 - 2.55798950652648*b276 <= 0;

e847:    x17 - x18 - 2.55798950652648*b277 <= 0;

e848:    x18 - x19 - 2.55798950652648*b278 <= 0;

e849:    x19 - x20 - 2.55798950652648*b279 <= 0;

e850:    x21 - x22 - 3.63782428331365*b271 <= 0;

e851:    x22 - x23 - 3.63782428331365*b272 <= 0;

e852:    x23 - x24 - 3.63782428331365*b273 <= 0;

e853:    x24 - x25 - 3.63782428331365*b274 <= 0;

e854:    x25 - x26 - 3.63782428331365*b275 <= 0;

e855:    x26 - x27 - 3.63782428331365*b276 <= 0;

e856:    x27 - x28 - 3.63782428331365*b277 <= 0;

e857:    x28 - x29 - 3.63782428331365*b278 <= 0;

e858:    x29 - x30 - 3.63782428331365*b279 <= 0;

e859:    x31 - x32 - 3.2519156789464*b271 <= 0;

e860:    x32 - x33 - 3.2519156789464*b272 <= 0;

e861:    x33 - x34 - 3.2519156789464*b273 <= 0;

e862:    x34 - x35 - 3.2519156789464*b274 <= 0;

e863:    x35 - x36 - 3.2519156789464*b275 <= 0;

e864:    x36 - x37 - 3.2519156789464*b276 <= 0;

e865:    x37 - x38 - 3.2519156789464*b277 <= 0;

e866:    x38 - x39 - 3.2519156789464*b278 <= 0;

e867:    x39 - x40 - 3.2519156789464*b279 <= 0;

e868:    x41 - x42 - 3.08645616109637*b271 <= 0;

e869:    x42 - x43 - 3.08645616109637*b272 <= 0;

e870:    x43 - x44 - 3.08645616109637*b273 <= 0;

e871:    x44 - x45 - 3.08645616109637*b274 <= 0;

e872:    x45 - x46 - 3.08645616109637*b275 <= 0;

e873:    x46 - x47 - 3.08645616109637*b276 <= 0;

e874:    x47 - x48 - 3.08645616109637*b277 <= 0;

e875:    x48 - x49 - 3.08645616109637*b278 <= 0;

e876:    x49 - x50 - 3.08645616109637*b279 <= 0;

e877:    x51 - x52 - 3.82322750664501*b271 <= 0;

e878:    x52 - x53 - 3.82322750664501*b272 <= 0;

e879:    x53 - x54 - 3.82322750664501*b273 <= 0;

e880:    x54 - x55 - 3.82322750664501*b274 <= 0;

e881:    x55 - x56 - 3.82322750664501*b275 <= 0;

e882:    x56 - x57 - 3.82322750664501*b276 <= 0;

e883:    x57 - x58 - 3.82322750664501*b277 <= 0;

e884:    x58 - x59 - 3.82322750664501*b278 <= 0;

e885:    x59 - x60 - 3.82322750664501*b279 <= 0;

e886:    x61 - x62 - 3.9614383649915*b271 <= 0;

e887:    x62 - x63 - 3.9614383649915*b272 <= 0;

e888:    x63 - x64 - 3.9614383649915*b273 <= 0;

e889:    x64 - x65 - 3.9614383649915*b274 <= 0;

e890:    x65 - x66 - 3.9614383649915*b275 <= 0;

e891:    x66 - x67 - 3.9614383649915*b276 <= 0;

e892:    x67 - x68 - 3.9614383649915*b277 <= 0;

e893:    x68 - x69 - 3.9614383649915*b278 <= 0;

e894:    x69 - x70 - 3.9614383649915*b279 <= 0;

e895:    x71 - x72 - 2.94624696178883*b271 <= 0;

e896:    x72 - x73 - 2.94624696178883*b272 <= 0;

e897:    x73 - x74 - 2.94624696178883*b273 <= 0;

e898:    x74 - x75 - 2.94624696178883*b274 <= 0;

e899:    x75 - x76 - 2.94624696178883*b275 <= 0;

e900:    x76 - x77 - 2.94624696178883*b276 <= 0;

e901:    x77 - x78 - 2.94624696178883*b277 <= 0;

e902:    x78 - x79 - 2.94624696178883*b278 <= 0;

e903:    x79 - x80 - 2.94624696178883*b279 <= 0;

e904:    x81 - x82 - 3.32639917158697*b271 <= 0;

e905:    x82 - x83 - 3.32639917158697*b272 <= 0;

e906:    x83 - x84 - 3.32639917158697*b273 <= 0;

e907:    x84 - x85 - 3.32639917158697*b274 <= 0;

e908:    x85 - x86 - 3.32639917158697*b275 <= 0;

e909:    x86 - x87 - 3.32639917158697*b276 <= 0;

e910:    x87 - x88 - 3.32639917158697*b277 <= 0;

e911:    x88 - x89 - 3.32639917158697*b278 <= 0;

e912:    x89 - x90 - 3.32639917158697*b279 <= 0;

e913:    x91 - x92 - 2.97049780237545*b271 <= 0;

e914:    x92 - x93 - 2.97049780237545*b272 <= 0;

e915:    x93 - x94 - 2.97049780237545*b273 <= 0;

e916:    x94 - x95 - 2.97049780237545*b274 <= 0;

e917:    x95 - x96 - 2.97049780237545*b275 <= 0;

e918:    x96 - x97 - 2.97049780237545*b276 <= 0;

e919:    x97 - x98 - 2.97049780237545*b277 <= 0;

e920:    x98 - x99 - 2.97049780237545*b278 <= 0;

e921:    x99 - x100 - 2.97049780237545*b279 <= 0;

e922:    x101 - x102 - 2.98704000231006*b271 <= 0;

e923:    x102 - x103 - 2.98704000231006*b272 <= 0;

e924:    x103 - x104 - 2.98704000231006*b273 <= 0;

e925:    x104 - x105 - 2.98704000231006*b274 <= 0;

e926:    x105 - x106 - 2.98704000231006*b275 <= 0;

e927:    x106 - x107 - 2.98704000231006*b276 <= 0;

e928:    x107 - x108 - 2.98704000231006*b277 <= 0;

e929:    x108 - x109 - 2.98704000231006*b278 <= 0;

e930:    x109 - x110 - 2.98704000231006*b279 <= 0;

e931:    x11 - x12 + 2.55798950652648*b271 >= 0;

e932:    x12 - x13 + 2.55798950652648*b272 >= 0;

e933:    x13 - x14 + 2.55798950652648*b273 >= 0;

e934:    x14 - x15 + 2.55798950652648*b274 >= 0;

e935:    x15 - x16 + 2.55798950652648*b275 >= 0;

e936:    x16 - x17 + 2.55798950652648*b276 >= 0;

e937:    x17 - x18 + 2.55798950652648*b277 >= 0;

e938:    x18 - x19 + 2.55798950652648*b278 >= 0;

e939:    x19 - x20 + 2.55798950652648*b279 >= 0;

e940:    x21 - x22 + 3.63782428331365*b271 >= 0;

e941:    x22 - x23 + 3.63782428331365*b272 >= 0;

e942:    x23 - x24 + 3.63782428331365*b273 >= 0;

e943:    x24 - x25 + 3.63782428331365*b274 >= 0;

e944:    x25 - x26 + 3.63782428331365*b275 >= 0;

e945:    x26 - x27 + 3.63782428331365*b276 >= 0;

e946:    x27 - x28 + 3.63782428331365*b277 >= 0;

e947:    x28 - x29 + 3.63782428331365*b278 >= 0;

e948:    x29 - x30 + 3.63782428331365*b279 >= 0;

e949:    x31 - x32 + 3.2519156789464*b271 >= 0;

e950:    x32 - x33 + 3.2519156789464*b272 >= 0;

e951:    x33 - x34 + 3.2519156789464*b273 >= 0;

e952:    x34 - x35 + 3.2519156789464*b274 >= 0;

e953:    x35 - x36 + 3.2519156789464*b275 >= 0;

e954:    x36 - x37 + 3.2519156789464*b276 >= 0;

e955:    x37 - x38 + 3.2519156789464*b277 >= 0;

e956:    x38 - x39 + 3.2519156789464*b278 >= 0;

e957:    x39 - x40 + 3.2519156789464*b279 >= 0;

e958:    x41 - x42 + 3.08645616109637*b271 >= 0;

e959:    x42 - x43 + 3.08645616109637*b272 >= 0;

e960:    x43 - x44 + 3.08645616109637*b273 >= 0;

e961:    x44 - x45 + 3.08645616109637*b274 >= 0;

e962:    x45 - x46 + 3.08645616109637*b275 >= 0;

e963:    x46 - x47 + 3.08645616109637*b276 >= 0;

e964:    x47 - x48 + 3.08645616109637*b277 >= 0;

e965:    x48 - x49 + 3.08645616109637*b278 >= 0;

e966:    x49 - x50 + 3.08645616109637*b279 >= 0;

e967:    x51 - x52 + 3.82322750664501*b271 >= 0;

e968:    x52 - x53 + 3.82322750664501*b272 >= 0;

e969:    x53 - x54 + 3.82322750664501*b273 >= 0;

e970:    x54 - x55 + 3.82322750664501*b274 >= 0;

e971:    x55 - x56 + 3.82322750664501*b275 >= 0;

e972:    x56 - x57 + 3.82322750664501*b276 >= 0;

e973:    x57 - x58 + 3.82322750664501*b277 >= 0;

e974:    x58 - x59 + 3.82322750664501*b278 >= 0;

e975:    x59 - x60 + 3.82322750664501*b279 >= 0;

e976:    x61 - x62 + 3.9614383649915*b271 >= 0;

e977:    x62 - x63 + 3.9614383649915*b272 >= 0;

e978:    x63 - x64 + 3.9614383649915*b273 >= 0;

e979:    x64 - x65 + 3.9614383649915*b274 >= 0;

e980:    x65 - x66 + 3.9614383649915*b275 >= 0;

e981:    x66 - x67 + 3.9614383649915*b276 >= 0;

e982:    x67 - x68 + 3.9614383649915*b277 >= 0;

e983:    x68 - x69 + 3.9614383649915*b278 >= 0;

e984:    x69 - x70 + 3.9614383649915*b279 >= 0;

e985:    x71 - x72 + 2.94624696178883*b271 >= 0;

e986:    x72 - x73 + 2.94624696178883*b272 >= 0;

e987:    x73 - x74 + 2.94624696178883*b273 >= 0;

e988:    x74 - x75 + 2.94624696178883*b274 >= 0;

e989:    x75 - x76 + 2.94624696178883*b275 >= 0;

e990:    x76 - x77 + 2.94624696178883*b276 >= 0;

e991:    x77 - x78 + 2.94624696178883*b277 >= 0;

e992:    x78 - x79 + 2.94624696178883*b278 >= 0;

e993:    x79 - x80 + 2.94624696178883*b279 >= 0;

e994:    x81 - x82 + 3.32639917158697*b271 >= 0;

e995:    x82 - x83 + 3.32639917158697*b272 >= 0;

e996:    x83 - x84 + 3.32639917158697*b273 >= 0;

e997:    x84 - x85 + 3.32639917158697*b274 >= 0;

e998:    x85 - x86 + 3.32639917158697*b275 >= 0;

e999:    x86 - x87 + 3.32639917158697*b276 >= 0;

e1000:    x87 - x88 + 3.32639917158697*b277 >= 0;

e1001:    x88 - x89 + 3.32639917158697*b278 >= 0;

e1002:    x89 - x90 + 3.32639917158697*b279 >= 0;

e1003:    x91 - x92 + 2.97049780237545*b271 >= 0;

e1004:    x92 - x93 + 2.97049780237545*b272 >= 0;

e1005:    x93 - x94 + 2.97049780237545*b273 >= 0;

e1006:    x94 - x95 + 2.97049780237545*b274 >= 0;

e1007:    x95 - x96 + 2.97049780237545*b275 >= 0;

e1008:    x96 - x97 + 2.97049780237545*b276 >= 0;

e1009:    x97 - x98 + 2.97049780237545*b277 >= 0;

e1010:    x98 - x99 + 2.97049780237545*b278 >= 0;

e1011:    x99 - x100 + 2.97049780237545*b279 >= 0;

e1012:    x101 - x102 + 2.98704000231006*b271 >= 0;

e1013:    x102 - x103 + 2.98704000231006*b272 >= 0;

e1014:    x103 - x104 + 2.98704000231006*b273 >= 0;

e1015:    x104 - x105 + 2.98704000231006*b274 >= 0;

e1016:    x105 - x106 + 2.98704000231006*b275 >= 0;

e1017:    x106 - x107 + 2.98704000231006*b276 >= 0;

e1018:    x107 - x108 + 2.98704000231006*b277 >= 0;

e1019:    x108 - x109 + 2.98704000231006*b278 >= 0;

e1020:    x109 - x110 + 2.98704000231006*b279 >= 0;