#  MINLP written by GAMS Convert at 01/12/18 13:29:57
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1512       25     1019      468        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        407      204      203        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       4256     4197       59        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 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x12 := 5.7037824746562, >= 5.7037824746562, <= 8.1605182474775;
var x13 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x14 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x15 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x16 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x17 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x18 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x19 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x20 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x21 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x22 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x23 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x24 := 3.83631118369245, >= 3.83631118369245, <= 6.35222947629824;
var x25 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x26 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x27 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x28 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x29 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x30 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x31 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x32 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x33 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x34 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x35 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x36 := 3.04154180958529, >= 3.04154180958529, <= 6.70190322477799;
var x37 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x38 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x39 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x40 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x41 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x42 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x43 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x44 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x45 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x46 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x47 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x48 := 3.16230547337981, >= 3.16230547337981, <= 6.49281142691943;
var x49 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x50 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x51 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x52 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x53 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x54 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x55 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x56 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x57 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x58 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x59 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x60 := 3.02852209637698, >= 3.02852209637698, <= 6.28871607057591;
var x61 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x62 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x63 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x64 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x65 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x66 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x67 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x68 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x69 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x70 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x71 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x72 := 2.80336038090654, >= 2.80336038090654, <= 6.11929791861787;
var x73 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x74 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x75 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x76 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x77 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x78 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x79 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x80 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x81 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x82 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x83 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x84 := 2.52238974304274, >= 2.52238974304274, <= 6.65644085070123;
var x85 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x86 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x87 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x88 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x89 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x90 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x91 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x92 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x93 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x94 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x95 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x96 := 3.27793058764952, >= 3.27793058764952, <= 6.51185962189012;
var x97 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x98 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x99 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x100 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x101 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x102 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x103 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x104 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x105 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x106 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x107 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x108 := 2.95751106073379, >= 2.95751106073379, <= 6.22899683587429;
var x109 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x110 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x111 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x112 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x113 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x114 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x115 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x116 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x117 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x118 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x119 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x120 := 3.34770869671117, >= 3.34770869671117, <= 6.51185962189012;
var x121 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x122 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x123 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x124 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x125 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x126 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x127 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x128 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x129 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x130 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x131 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x132 := 3.08534443224368, >= 3.08534443224368, <= 6.28871607057591;
var x133 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x134 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x135 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x136 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x137 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x138 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x139 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x140 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x141 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x142 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x143 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x144 := 3.30045581186062, >= 3.30045581186062, <= 6.35222947629824;
var x145 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x146 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x147 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x148 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x149 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x150 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x151 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x152 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x153 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x154 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x155 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x156 := 3.39422871234606, >= 3.39422871234606, <= 6.35222947629824;
var x157 >= 0, <= 2.07944154167984;
var x158 >= 0, <= 2.07944154167984;
var x159 >= 0, <= 2.07944154167984;
var x160 >= 0, <= 2.07944154167984;
var x161 >= 0, <= 2.07944154167984;
var x162 >= 0, <= 2.07944154167984;
var x163 >= 0, <= 2.07944154167984;
var x164 >= 0, <= 2.07944154167984;
var x165 >= 0, <= 2.07944154167984;
var x166 >= 0, <= 2.07944154167984;
var x167 >= 0, <= 2.07944154167984;
var x168 >= 0, <= 2.07944154167984;
var x169 >= 0, <= 2.07944154167984;
var x170 >= 0, <= 2.07944154167984;
var x171 >= 0, <= 2.07944154167984;
var x172 >= 0, <= 2.07944154167984;
var x173 >= 0, <= 2.07944154167984;
var x174 >= 0, <= 2.07944154167984;
var x175 >= 0, <= 2.07944154167984;
var x176 >= 0, <= 2.07944154167984;
var x177 >= 0, <= 2.07944154167984;
var x178 >= 0, <= 2.07944154167984;
var x179 >= 0, <= 2.07944154167984;
var x180 >= 0, <= 2.07944154167984;
var x182 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x183 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x184 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x185 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x186 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x187 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x188 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x189 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x190 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x191 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x192 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x193;
var x194;
var x195;
var x196;
var x197;
var x198;
var x199;
var x200;
var x201;
var x202;
var x203;
var x204;
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;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;
var b314 binary >= 0, <= 1;
var b315 binary >= 0, <= 1;
var b316 binary >= 0, <= 1;
var b317 binary >= 0, <= 1;
var b318 binary >= 0, <= 1;
var b319 binary >= 0, <= 1;
var b320 binary >= 0, <= 1;
var b321 binary >= 0, <= 1;
var b322 binary >= 0, <= 1;
var b323 binary >= 0, <= 1;
var b324 binary >= 0, <= 1;
var b325 binary >= 0, <= 1;
var b326 binary >= 0, <= 1;
var b327 binary >= 0, <= 1;
var b328 binary >= 0, <= 1;
var b329 binary >= 0, <= 1;
var b330 binary >= 0, <= 1;
var b331 binary >= 0, <= 1;
var b332 binary >= 0, <= 1;
var b333 binary >= 0, <= 1;
var b334 binary >= 0, <= 1;
var b335 binary >= 0, <= 1;
var b336 binary >= 0, <= 1;
var b337 binary >= 0, <= 1;
var b338 binary >= 0, <= 1;
var b339 binary >= 0, <= 1;
var b340 binary >= 0, <= 1;
var b341 binary >= 0, <= 1;
var b342 binary >= 0, <= 1;
var b343 binary >= 0, <= 1;
var b344 binary >= 0, <= 1;
var b345 binary >= 0, <= 1;
var b346 binary >= 0, <= 1;
var b347 binary >= 0, <= 1;
var b348 binary >= 0, <= 1;
var b349 binary >= 0, <= 1;
var b350 binary >= 0, <= 1;
var b351 binary >= 0, <= 1;
var b352 binary >= 0, <= 1;
var b353 binary >= 0, <= 1;
var b354 binary >= 0, <= 1;
var b355 binary >= 0, <= 1;
var b356 binary >= 0, <= 1;
var b357 binary >= 0, <= 1;
var b358 binary >= 0, <= 1;
var b359 binary >= 0, <= 1;
var b360 binary >= 0, <= 1;
var b361 binary >= 0, <= 1;
var b362 binary >= 0, <= 1;
var b363 binary >= 0, <= 1;
var b364 binary >= 0, <= 1;
var b365 binary >= 0, <= 1;
var b366 binary >= 0, <= 1;
var b367 binary >= 0, <= 1;
var b368 binary >= 0, <= 1;
var b369 binary >= 0, <= 1;
var b370 binary >= 0, <= 1;
var b371 binary >= 0, <= 1;
var b372 binary >= 0, <= 1;
var b373 binary >= 0, <= 1;
var b374 binary >= 0, <= 1;
var b375 binary >= 0, <= 1;
var b376 binary >= 0, <= 1;
var b377 binary >= 0, <= 1;
var b378 binary >= 0, <= 1;
var b379 binary >= 0, <= 1;
var b380 binary >= 0, <= 1;
var b381 binary >= 0, <= 1;
var b382 binary >= 0, <= 1;
var b383 binary >= 0, <= 1;
var b384 binary >= 0, <= 1;
var b385 binary >= 0, <= 1;
var b386 binary >= 0, <= 1;
var b387 binary >= 0, <= 1;
var b388 binary >= 0, <= 1;
var b389 binary >= 0, <= 1;
var b390 binary >= 0, <= 1;
var b391 binary >= 0, <= 1;
var b392 binary >= 0, <= 1;
var b393 binary >= 0, <= 1;
var b394 binary >= 0, <= 1;
var b395 binary >= 0, <= 1;
var b396 binary >= 0, <= 1;
var b397 binary >= 0, <= 1;
var b398 binary >= 0, <= 1;
var b399 binary >= 0, <= 1;
var b400 binary >= 0, <= 1;
var b401 binary >= 0, <= 1;
var b402 binary >= 0, <= 1;
var b403 binary >= 0, <= 1;
var b404 binary >= 0, <= 1;
var b405 binary >= 0, <= 1;
var b406 binary >= 0, <= 1;
var b407 binary >= 0, <= 1;

minimize obj: 250*(exp(0.6*x1 + x157 + x169) + exp(0.6*x2 + x158 + x170) + exp(
    0.6*x3 + x159 + x171) + exp(0.6*x4 + x160 + x172) + exp(0.6*x5 + x161 + 
    x173) + exp(0.6*x6 + x162 + x174) + exp(0.6*x7 + x163 + x175) + exp(0.6*x8
     + x164 + x176) + exp(0.6*x9 + x165 + x177) + exp(0.6*x10 + x166 + x178) + 
    exp(0.6*x11 + x167 + x179) + exp(0.6*x12 + x168 + x180)) + 150*(exp(0.5*
    x182) + exp(0.5*x183) + exp(0.5*x184) + exp(0.5*x185) + exp(0.5*x186) + 
    exp(0.5*x187) + exp(0.5*x188) + exp(0.5*x189) + exp(0.5*x190) + exp(0.5*
    x191) + exp(0.5*x192));

subject to

e1:    x1 - x13 + x157 >= 1.06471073699243;

e2:    x2 - x14 + x158 >= 0.693147180559945;

e3:    x3 - x15 + x159 >= 1.64865862558738;

e4:    x4 - x16 + x160 >= 1.58923520511658;

e5:    x5 - x17 + x161 >= 1.80828877117927;

e6:    x6 - x18 + x162 >= 1.43508452528932;

e7:    x7 - x19 + x163 >= 1.6094379124341;

e8:    x8 - x20 + x164 >= 0.0953101798043249;

e9:    x9 - x21 + x165 >= 1.16315080980568;

e10:    x10 - x22 + x166 >= 1.50407739677627;

e11:    x11 - x23 + x167 >= 0.53062825106217;

e12:    x12 - x24 + x168 >= 0.262364264467491;

e13:    x1 - x25 + x157 >= -0.22314355131421;

e14:    x2 - x26 + x158 >= -0.22314355131421;

e15:    x3 - x27 + x159 >= -0.105360515657826;

e16:    x4 - x28 + x160 >= 1.22377543162212;

e17:    x5 - x29 + x161 >= 0.741937344729377;

e18:    x6 - x30 + x162 >= 0.916290731874155;

e19:    x7 - x31 + x163 >= -0.105360515657826;

e20:    x8 - x32 + x164 >= 0.78845736036427;

e21:    x9 - x33 + x165 >= 0.336472236621213;

e22:    x10 - x34 + x166 >= 0.78845736036427;

e23:    x11 - x35 + x167 >= 0.955511445027436;

e24:    x12 - x36 + x168 >= 1.45861502269952;

e25:    x1 - x37 + x157 >= -0.356674943938732;

e26:    x2 - x38 + x158 >= 0.955511445027436;

e27:    x3 - x39 + x159 >= 0.470003629245736;

e28:    x4 - x40 + x160 >= 1.28093384546206;

e29:    x5 - x41 + x161 >= 1.16315080980568;

e30:    x6 - x42 + x162 >= 1.06471073699243;

e31:    x7 - x43 + x163 >= 1.28093384546206;

e32:    x8 - x44 + x164 >= 1.38629436111989;

e33:    x9 - x45 + x165 >= 1.45861502269952;

e34:    x10 - x46 + x166 >= -0.510825623765991;

e35:    x11 - x47 + x167 >= 0.916290731874155;

e36:    x12 - x48 + x168 >= 1.66770682055808;

e37:    x1 - x49 + x157 >= 1.54756250871601;

e38:    x2 - x50 + x158 >= 0.832909122935104;

e39:    x3 - x51 + x159 >= 0.470003629245736;

e40:    x4 - x52 + x160 >= 0.993251773010283;

e41:    x5 - x53 + x161 >= 0.182321556793955;

e42:    x6 - x54 + x162 >= 0.916290731874155;

e43:    x7 - x55 + x163 >= 1.3609765531356;

e44:    x8 - x56 + x164 >= -0.510825623765991;

e45:    x9 - x57 + x165 >= 1.1314021114911;

e46:    x10 - x58 + x166 >= 1.75785791755237;

e47:    x11 - x59 + x167 >= 1.30833281965018;

e48:    x12 - x60 + x168 >= 1.87180217690159;

e49:    x1 - x61 + x157 >= 0.182321556793955;

e50:    x2 - x62 + x158 >= 1.28093384546206;

e51:    x3 - x63 + x159 >= 0.8754687373539;

e52:    x4 - x64 + x160 >= 1.50407739677627;

e53:    x5 - x65 + x161 >= 0.470003629245736;

e54:    x6 - x66 + x162 >= 0.741937344729377;

e55:    x7 - x67 + x163 >= -0.105360515657826;

e56:    x8 - x68 + x164 >= 1.43508452528932;

e57:    x9 - x69 + x165 >= 0.741937344729377;

e58:    x10 - x70 + x166 >= 1.41098697371026;

e59:    x11 - x71 + x167 >= 1.48160454092422;

e60:    x12 - x72 + x168 >= 2.04122032885964;

e61:    x1 - x73 + x157 >= 1.1314021114911;

e62:    x2 - x74 + x158 >= 0.916290731874155;

e63:    x3 - x75 + x159 >= 1.50407739677627;

e64:    x4 - x76 + x160 >= 0.262364264467491;

e65:    x5 - x77 + x161 >= 1.19392246847243;

e66:    x6 - x78 + x162 >= 1.41098697371026;

e67:    x7 - x79 + x163 >= 0.336472236621213;

e68:    x8 - x80 + x164 >= 0;

e69:    x9 - x81 + x165 >= 1.25276296849537;

e70:    x10 - x82 + x166 >= -0.356674943938732;

e71:    x11 - x83 + x167 >= 0.78845736036427;

e72:    x12 - x84 + x168 >= 1.33500106673234;

e73:    x1 - x85 + x157 >= 0;

e74:    x2 - x86 + x158 >= 0.78845736036427;

e75:    x3 - x87 + x159 >= -0.356674943938732;

e76:    x4 - x88 + x160 >= 1.43508452528932;

e77:    x5 - x89 + x161 >= 1.02961941718116;

e78:    x6 - x90 + x162 >= 0.832909122935104;

e79:    x7 - x91 + x163 >= 1.64865862558738;

e80:    x8 - x92 + x164 >= 0.641853886172395;

e81:    x9 - x93 + x165 >= 0.955511445027436;

e82:    x10 - x94 + x166 >= 0.0953101798043249;

e83:    x11 - x95 + x167 >= 1.54756250871601;

e84:    x12 - x96 + x168 >= 1.58923520511658;

e85:    x1 - x97 + x157 >= 0.916290731874155;

e86:    x2 - x98 + x158 >= 0.0953101798043249;

e87:    x3 - x99 + x159 >= 1.66770682055808;

e88:    x4 - x100 + x160 >= 0.955511445027436;

e89:    x5 - x101 + x161 >= 1.30833281965018;

e90:    x6 - x102 + x162 >= 1.38629436111989;

e91:    x7 - x103 + x163 >= 0.78845736036427;

e92:    x8 - x104 + x164 >= 1.19392246847243;

e93:    x9 - x105 + x165 >= 0.993251773010283;

e94:    x10 - x106 + x166 >= 1.22377543162212;

e95:    x11 - x107 + x167 >= 1.79175946922805;

e96:    x12 - x108 + x168 >= 1.93152141160321;

e97:    x1 - x109 + x157 >= 0.8754687373539;

e98:    x2 - x110 + x158 >= 0.916290731874155;

e99:    x3 - x111 + x159 >= 0.993251773010283;

e100:    x4 - x112 + x160 >= 1.16315080980568;

e101:    x5 - x113 + x161 >= 0.832909122935104;

e102:    x6 - x114 + x162 >= 0.53062825106217;

e103:    x7 - x115 + x163 >= 1.64865862558738;

e104:    x8 - x116 + x164 >= 1.54756250871601;

e105:    x9 - x117 + x165 >= 0.955511445027436;

e106:    x10 - x118 + x166 >= 0.336472236621213;

e107:    x11 - x119 + x167 >= 1.30833281965018;

e108:    x12 - x120 + x168 >= 1.28093384546206;

e109:    x1 - x121 + x157 >= 0.993251773010283;

e110:    x2 - x122 + x158 >= 1.19392246847243;

e111:    x3 - x123 + x159 >= 1.48160454092422;

e112:    x4 - x124 + x160 >= 0.955511445027436;

e113:    x5 - x125 + x161 >= 1.30833281965018;

e114:    x6 - x126 + x162 >= -0.693147180559945;

e115:    x7 - x127 + x163 >= 0.993251773010283;

e116:    x8 - x128 + x164 >= 1.82454929205105;

e117:    x9 - x129 + x165 >= 1.16315080980568;

e118:    x10 - x130 + x166 >= 1.22377543162212;

e119:    x11 - x131 + x167 >= 1.87180217690159;

e120:    x12 - x132 + x168 >= 1.79175946922805;

e121:    x1 - x133 + x157 >= 1.06471073699243;

e122:    x2 - x134 + x158 >= 0.693147180559945;

e123:    x3 - x135 + x159 >= 1.64865862558738;

e124:    x4 - x136 + x160 >= 1.58923520511658;

e125:    x5 - x137 + x161 >= 1.80828877117927;

e126:    x6 - x138 + x162 >= 1.43508452528932;

e127:    x7 - x139 + x163 >= 1.6094379124341;

e128:    x8 - x140 + x164 >= 0.0953101798043249;

e129:    x9 - x141 + x165 >= 1.16315080980568;

e130:    x10 - x142 + x166 >= 1.50407739677627;

e131:    x11 - x143 + x167 >= 1.45861502269952;

e132:    x12 - x144 + x168 >= 1.25276296849537;

e133:    x1 - x145 + x157 >= -0.22314355131421;

e134:    x2 - x146 + x158 >= -0.22314355131421;

e135:    x3 - x147 + x159 >= -0.105360515657826;

e136:    x4 - x148 + x160 >= 1.22377543162212;

e137:    x5 - x149 + x161 >= 0.741937344729377;

e138:    x6 - x150 + x162 >= 0.916290731874155;

e139:    x7 - x151 + x163 >= -0.105360515657826;

e140:    x8 - x152 + x164 >= 0.78845736036427;

e141:    x9 - x153 + x165 >= 0.336472236621213;

e142:    x10 - x154 + x166 >= 0.78845736036427;

e143:    x11 - x155 + x167 >= 1.16315080980568;

e144:    x12 - x156 + x168 >= 1.80828877117927;

e145:    x13 + x169 + x193 >= 1.85629799036563;

e146:    x14 + x170 + x193 >= 1.54756250871601;

e147:    x15 + x171 + x193 >= 0.262364264467491;

e148:    x16 + x172 + x193 >= 1.3609765531356;

e149:    x17 + x173 + x193 >= 0.741937344729377;

e150:    x18 + x174 + x193 >= 0.470003629245736;

e151:    x19 + x175 + x193 >= 1.16315080980568;

e152:    x20 + x176 + x193 >= 1.1314021114911;

e153:    x21 + x177 + x193 >= 1.43508452528932;

e154:    x22 + x178 + x193 >= 1.64865862558738;

e155:    x23 + x179 + x193 >= 1.7227665977411;

e156:    x24 + x180 + x193 >= 2.18605127673809;

e157:    x25 + x169 + x194 >= 1.33500106673234;

e158:    x26 + x170 + x194 >= 1.85629799036563;

e159:    x27 + x171 + x194 >= 1.87180217690159;

e160:    x28 + x172 + x194 >= 1.48160454092422;

e161:    x29 + x173 + x194 >= 0.832909122935104;

e162:    x30 + x174 + x194 >= 1.16315080980568;

e163:    x31 + x175 + x194 >= 1.64865862558738;

e164:    x32 + x176 + x194 >= 0.916290731874155;

e165:    x33 + x177 + x194 >= 1.48160454092422;

e166:    x34 + x178 + x194 >= 0.0953101798043249;

e167:    x35 + x179 + x194 >= 1.50407739677627;

e168:    x36 + x180 + x194 >= 1.90210752639692;

e169:    x37 + x169 + x195 >= 0;

e170:    x38 + x170 + x195 >= 1.84054963339749;

e171:    x39 + x171 + x195 >= 1.22377543162212;

e172:    x40 + x172 + x195 >= 1.58923520511658;

e173:    x41 + x173 + x195 >= 0.993251773010283;

e174:    x42 + x174 + x195 >= 1.82454929205105;

e175:    x43 + x175 + x195 >= 1.1314021114911;

e176:    x44 + x176 + x195 >= 0.182321556793955;

e177:    x45 + x177 + x195 >= 0.832909122935104;

e178:    x46 + x178 + x195 >= 1.62924053973028;

e179:    x47 + x179 + x195 >= 1.30833281965018;

e180:    x48 + x180 + x195 >= 1.7227665977411;

e181:    x49 + x169 + x196 >= 1.16315080980568;

e182:    x50 + x170 + x196 >= 1.09861228866811;

e183:    x51 + x171 + x196 >= 1.25276296849537;

e184:    x52 + x172 + x196 >= 1.19392246847243;

e185:    x53 + x173 + x196 >= 1.02961941718116;

e186:    x54 + x174 + x196 >= 1.22377543162212;

e187:    x55 + x175 + x196 >= 1.43508452528932;

e188:    x56 + x176 + x196 >= 1.06471073699243;

e189:    x57 + x177 + x196 >= 1.82454929205105;

e190:    x58 + x178 + x196 >= 0.78845736036427;

e191:    x59 + x179 + x196 >= 1.75785791755237;

e192:    x60 + x180 + x196 >= 1.50407739677627;

e193:    x61 + x169 + x197 >= 0.741937344729377;

e194:    x62 + x170 + x197 >= 0.916290731874155;

e195:    x63 + x171 + x197 >= 1.43508452528932;

e196:    x64 + x172 + x197 >= 1.28093384546206;

e197:    x65 + x173 + x197 >= 1.30833281965018;

e198:    x66 + x174 + x197 >= 0.78845736036427;

e199:    x67 + x175 + x197 >= 1.62924053973028;

e200:    x68 + x176 + x197 >= -0.916290731874155;

e201:    x69 + x177 + x197 >= 1.41098697371026;

e202:    x70 + x178 + x197 >= 0.262364264467491;

e203:    x71 + x179 + x197 >= 1.88706964903238;

e204:    x72 + x180 + x197 >= 1.22377543162212;

e205:    x73 + x169 + x198 >= 1.25276296849537;

e206:    x74 + x170 + x198 >= 1.41098697371026;

e207:    x75 + x171 + x198 >= -0.105360515657826;

e208:    x76 + x172 + x198 >= 0.336472236621213;

e209:    x77 + x173 + x198 >= 1.28093384546206;

e210:    x78 + x174 + x198 >= 0.993251773010283;

e211:    x79 + x175 + x198 >= 1.06471073699243;

e212:    x80 + x176 + x198 >= 1.30833281965018;

e213:    x81 + x177 + x198 >= -0.22314355131421;

e214:    x82 + x178 + x198 >= 0.405465108108164;

e215:    x83 + x179 + x198 >= 1.52605630349505;

e216:    x84 + x180 + x198 >= 1.19392246847243;

e217:    x85 + x169 + x199 >= 1.41098697371026;

e218:    x86 + x170 + x199 >= 1.90210752639692;

e219:    x87 + x171 + x199 >= 0.78845736036427;

e220:    x88 + x172 + x199 >= 0.336472236621213;

e221:    x89 + x173 + x199 >= -0.356674943938732;

e222:    x90 + x174 + x199 >= 1.54756250871601;

e223:    x91 + x175 + x199 >= 0.262364264467491;

e224:    x92 + x176 + x199 >= -0.510825623765991;

e225:    x93 + x177 + x199 >= 1.16315080980568;

e226:    x94 + x178 + x199 >= 0.741937344729377;

e227:    x95 + x179 + x199 >= 1.22377543162212;

e228:    x96 + x180 + x199 >= 0.955511445027436;

e229:    x97 + x169 + x200 >= 1.66770682055808;

e230:    x98 + x170 + x200 >= 1.1314021114911;

e231:    x99 + x171 + x200 >= 1.02961941718116;

e232:    x100 + x172 + x200 >= 0.405465108108164;

e233:    x101 + x173 + x200 >= 1.16315080980568;

e234:    x102 + x174 + x200 >= 1.80828877117927;

e235:    x103 + x175 + x200 >= -0.693147180559945;

e236:    x104 + x176 + x200 >= 1.3609765531356;

e237:    x105 + x177 + x200 >= 0.993251773010283;

e238:    x106 + x178 + x200 >= 1.41098697371026;

e239:    x107 + x179 + x200 >= 1.88706964903238;

e240:    x108 + x180 + x200 >= 0.470003629245736;

e241:    x109 + x169 + x201 >= 0.955511445027436;

e242:    x110 + x170 + x201 >= 1.64865862558738;

e243:    x111 + x171 + x201 >= 1.16315080980568;

e244:    x112 + x172 + x201 >= 1.22377543162212;

e245:    x113 + x173 + x201 >= 1.48160454092422;

e246:    x114 + x174 + x201 >= 0.0953101798043249;

e247:    x115 + x175 + x201 >= 1.96009478404727;

e248:    x116 + x176 + x201 >= 0.916290731874155;

e249:    x117 + x177 + x201 >= 1.1314021114911;

e250:    x118 + x178 + x201 >= -0.105360515657826;

e251:    x119 + x179 + x201 >= 2.05412373369555;

e252:    x120 + x180 + x201 >= 1.75785791755237;

e253:    x121 + x169 + x202 >= 0.53062825106217;

e254:    x122 + x170 + x202 >= 1.64865862558738;

e255:    x123 + x171 + x202 >= 1.30833281965018;

e256:    x124 + x172 + x202 >= 0.955511445027436;

e257:    x125 + x173 + x202 >= 1.64865862558738;

e258:    x126 + x174 + x202 >= 0.955511445027436;

e259:    x127 + x175 + x202 >= 1.62924053973028;

e260:    x128 + x176 + x202 >= 2.10413415427021;

e261:    x129 + x177 + x202 >= 0.0953101798043249;

e262:    x130 + x178 + x202 >= 1.06471073699243;

e263:    x131 + x179 + x202 >= 2.12823170584927;

e264:    x132 + x180 + x202 >= 1.56861591791385;

e265:    x133 + x169 + x203 >= 1.85629799036563;

e266:    x134 + x170 + x203 >= 1.54756250871601;

e267:    x135 + x171 + x203 >= 0.262364264467491;

e268:    x136 + x172 + x203 >= 1.3609765531356;

e269:    x137 + x173 + x203 >= 0.741937344729377;

e270:    x138 + x174 + x203 >= 0.470003629245736;

e271:    x139 + x175 + x203 >= 1.16315080980568;

e272:    x140 + x176 + x203 >= 1.1314021114911;

e273:    x141 + x177 + x203 >= 1.43508452528932;

e274:    x142 + x178 + x203 >= 1.64865862558738;

e275:    x143 + x179 + x203 >= 2.23001440015921;

e276:    x144 + x180 + x203 >= 1.87180217690159;

e277:    x145 + x169 + x204 >= 1.33500106673234;

e278:    x146 + x170 + x204 >= 1.85629799036563;

e279:    x147 + x171 + x204 >= 1.87180217690159;

e280:    x148 + x172 + x204 >= 1.48160454092422;

e281:    x149 + x173 + x204 >= 0.832909122935104;

e282:    x150 + x174 + x204 >= 1.16315080980568;

e283:    x151 + x175 + x204 >= 1.64865862558738;

e284:    x152 + x176 + x204 >= 0.916290731874155;

e285:    x153 + x177 + x204 >= 1.48160454092422;

e286:    x154 + x178 + x204 >= 0.0953101798043249;

e287:    x155 + x179 + x204 >= -1.6094379124341;

e288:    x156 + x180 + x204 >= 1.85629799036563;

e289: 250000*exp(x193) + 150000*exp(x194) + 180000*exp(x195) + 160000*exp(x196)
       + 120000*exp(x197) + 130000*exp(x198) + 190000*exp(x199) + 140000*exp(
      x200) + 175000*exp(x201) + 125000*exp(x202) + 140000*exp(x203) + 220000*
      exp(x204) <= 6000;

e290:  - x14 + x182 - 4.04964438330419*b397 >= -1.74705929031015;

e291:  - x15 + x183 - 4.04964438330419*b398 >= -1.74705929031015;

e292:  - x16 + x184 - 4.04964438330419*b399 >= -1.74705929031015;

e293:  - x17 + x185 - 4.04964438330419*b400 >= -1.74705929031015;

e294:  - x18 + x186 - 4.04964438330419*b401 >= -1.74705929031015;

e295:  - x19 + x187 - 4.04964438330419*b402 >= -1.74705929031015;

e296:  - x20 + x188 - 4.04964438330419*b403 >= -1.74705929031015;

e297:  - x21 + x189 - 4.04964438330419*b404 >= -1.74705929031015;

e298:  - x22 + x190 - 4.04964438330419*b405 >= -1.74705929031015;

e299:  - x23 + x191 - 4.04964438330419*b406 >= -1.74705929031015;

e300:  - x24 + x192 - 4.04964438330419*b407 >= -1.74705929031015;

e301:  - x26 + x182 - 4.39931813178394*b397 >= -2.0967330387899;

e302:  - x27 + x183 - 4.39931813178394*b398 >= -2.0967330387899;

e303:  - x28 + x184 - 4.39931813178394*b399 >= -2.0967330387899;

e304:  - x29 + x185 - 4.39931813178394*b400 >= -2.0967330387899;

e305:  - x30 + x186 - 4.39931813178394*b401 >= -2.0967330387899;

e306:  - x31 + x187 - 4.39931813178394*b402 >= -2.0967330387899;

e307:  - x32 + x188 - 4.39931813178394*b403 >= -2.0967330387899;

e308:  - x33 + x189 - 4.39931813178394*b404 >= -2.0967330387899;

e309:  - x34 + x190 - 4.39931813178394*b405 >= -2.0967330387899;

e310:  - x35 + x191 - 4.39931813178394*b406 >= -2.0967330387899;

e311:  - x36 + x192 - 4.39931813178394*b407 >= -2.0967330387899;

e312:  - x38 + x182 - 4.19022633392538*b397 >= -1.88764124093134;

e313:  - x39 + x183 - 4.19022633392538*b398 >= -1.88764124093134;

e314:  - x40 + x184 - 4.19022633392538*b399 >= -1.88764124093134;

e315:  - x41 + x185 - 4.19022633392538*b400 >= -1.88764124093134;

e316:  - x42 + x186 - 4.19022633392538*b401 >= -1.88764124093134;

e317:  - x43 + x187 - 4.19022633392538*b402 >= -1.88764124093134;

e318:  - x44 + x188 - 4.19022633392538*b403 >= -1.88764124093134;

e319:  - x45 + x189 - 4.19022633392538*b404 >= -1.88764124093134;

e320:  - x46 + x190 - 4.19022633392538*b405 >= -1.88764124093134;

e321:  - x47 + x191 - 4.19022633392538*b406 >= -1.88764124093134;

e322:  - x48 + x192 - 4.19022633392538*b407 >= -1.88764124093134;

e323:  - x50 + x182 - 3.98613097758187*b397 >= -1.68354588458782;

e324:  - x51 + x183 - 3.98613097758187*b398 >= -1.68354588458782;

e325:  - x52 + x184 - 3.98613097758187*b399 >= -1.68354588458782;

e326:  - x53 + x185 - 3.98613097758187*b400 >= -1.68354588458782;

e327:  - x54 + x186 - 3.98613097758187*b401 >= -1.68354588458782;

e328:  - x55 + x187 - 3.98613097758187*b402 >= -1.68354588458782;

e329:  - x56 + x188 - 3.98613097758187*b403 >= -1.68354588458782;

e330:  - x57 + x189 - 3.98613097758187*b404 >= -1.68354588458782;

e331:  - x58 + x190 - 3.98613097758187*b405 >= -1.68354588458782;

e332:  - x59 + x191 - 3.98613097758187*b406 >= -1.68354588458782;

e333:  - x60 + x192 - 3.98613097758187*b407 >= -1.68354588458782;

e334:  - x62 + x182 - 3.81671282562382*b397 >= -1.51412773262977;

e335:  - x63 + x183 - 3.81671282562382*b398 >= -1.51412773262977;

e336:  - x64 + x184 - 3.81671282562382*b399 >= -1.51412773262977;

e337:  - x65 + x185 - 3.81671282562382*b400 >= -1.51412773262977;

e338:  - x66 + x186 - 3.81671282562382*b401 >= -1.51412773262977;

e339:  - x67 + x187 - 3.81671282562382*b402 >= -1.51412773262977;

e340:  - x68 + x188 - 3.81671282562382*b403 >= -1.51412773262977;

e341:  - x69 + x189 - 3.81671282562382*b404 >= -1.51412773262977;

e342:  - x70 + x190 - 3.81671282562382*b405 >= -1.51412773262977;

e343:  - x71 + x191 - 3.81671282562382*b406 >= -1.51412773262977;

e344:  - x72 + x192 - 3.81671282562382*b407 >= -1.51412773262977;

e345:  - x74 + x182 - 4.35385575770719*b397 >= -2.05127066471314;

e346:  - x75 + x183 - 4.35385575770719*b398 >= -2.05127066471314;

e347:  - x76 + x184 - 4.35385575770719*b399 >= -2.05127066471314;

e348:  - x77 + x185 - 4.35385575770719*b400 >= -2.05127066471314;

e349:  - x78 + x186 - 4.35385575770719*b401 >= -2.05127066471314;

e350:  - x79 + x187 - 4.35385575770719*b402 >= -2.05127066471314;

e351:  - x80 + x188 - 4.35385575770719*b403 >= -2.05127066471314;

e352:  - x81 + x189 - 4.35385575770719*b404 >= -2.05127066471314;

e353:  - x82 + x190 - 4.35385575770719*b405 >= -2.05127066471314;

e354:  - x83 + x191 - 4.35385575770719*b406 >= -2.05127066471314;

e355:  - x84 + x192 - 4.35385575770719*b407 >= -2.05127066471314;

e356:  - x86 + x182 - 4.20927452889608*b397 >= -1.90668943590203;

e357:  - x87 + x183 - 4.20927452889608*b398 >= -1.90668943590203;

e358:  - x88 + x184 - 4.20927452889608*b399 >= -1.90668943590203;

e359:  - x89 + x185 - 4.20927452889608*b400 >= -1.90668943590203;

e360:  - x90 + x186 - 4.20927452889608*b401 >= -1.90668943590203;

e361:  - x91 + x187 - 4.20927452889608*b402 >= -1.90668943590203;

e362:  - x92 + x188 - 4.20927452889608*b403 >= -1.90668943590203;

e363:  - x93 + x189 - 4.20927452889608*b404 >= -1.90668943590203;

e364:  - x94 + x190 - 4.20927452889608*b405 >= -1.90668943590203;

e365:  - x95 + x191 - 4.20927452889608*b406 >= -1.90668943590203;

e366:  - x96 + x192 - 4.20927452889608*b407 >= -1.90668943590203;

e367:  - x98 + x182 - 3.92641174288025*b397 >= -1.6238266498862;

e368:  - x99 + x183 - 3.92641174288025*b398 >= -1.6238266498862;

e369:  - x100 + x184 - 3.92641174288025*b399 >= -1.6238266498862;

e370:  - x101 + x185 - 3.92641174288025*b400 >= -1.6238266498862;

e371:  - x102 + x186 - 3.92641174288025*b401 >= -1.6238266498862;

e372:  - x103 + x187 - 3.92641174288025*b402 >= -1.6238266498862;

e373:  - x104 + x188 - 3.92641174288025*b403 >= -1.6238266498862;

e374:  - x105 + x189 - 3.92641174288025*b404 >= -1.6238266498862;

e375:  - x106 + x190 - 3.92641174288025*b405 >= -1.6238266498862;

e376:  - x107 + x191 - 3.92641174288025*b406 >= -1.6238266498862;

e377:  - x108 + x192 - 3.92641174288025*b407 >= -1.6238266498862;

e378:  - x110 + x182 - 4.20927452889608*b397 >= -1.90668943590203;

e379:  - x111 + x183 - 4.20927452889608*b398 >= -1.90668943590203;

e380:  - x112 + x184 - 4.20927452889608*b399 >= -1.90668943590203;

e381:  - x113 + x185 - 4.20927452889608*b400 >= -1.90668943590203;

e382:  - x114 + x186 - 4.20927452889608*b401 >= -1.90668943590203;

e383:  - x115 + x187 - 4.20927452889608*b402 >= -1.90668943590203;

e384:  - x116 + x188 - 4.20927452889608*b403 >= -1.90668943590203;

e385:  - x117 + x189 - 4.20927452889608*b404 >= -1.90668943590203;

e386:  - x118 + x190 - 4.20927452889608*b405 >= -1.90668943590203;

e387:  - x119 + x191 - 4.20927452889608*b406 >= -1.90668943590203;

e388:  - x120 + x192 - 4.20927452889608*b407 >= -1.90668943590203;

e389:  - x122 + x182 - 3.98613097758187*b397 >= -1.68354588458782;

e390:  - x123 + x183 - 3.98613097758187*b398 >= -1.68354588458782;

e391:  - x124 + x184 - 3.98613097758187*b399 >= -1.68354588458782;

e392:  - x125 + x185 - 3.98613097758187*b400 >= -1.68354588458782;

e393:  - x126 + x186 - 3.98613097758187*b401 >= -1.68354588458782;

e394:  - x127 + x187 - 3.98613097758187*b402 >= -1.68354588458782;

e395:  - x128 + x188 - 3.98613097758187*b403 >= -1.68354588458782;

e396:  - x129 + x189 - 3.98613097758187*b404 >= -1.68354588458782;

e397:  - x130 + x190 - 3.98613097758187*b405 >= -1.68354588458782;

e398:  - x131 + x191 - 3.98613097758187*b406 >= -1.68354588458782;

e399:  - x132 + x192 - 3.98613097758187*b407 >= -1.68354588458782;

e400:  - x134 + x182 - 4.04964438330419*b397 >= -1.74705929031015;

e401:  - x135 + x183 - 4.04964438330419*b398 >= -1.74705929031015;

e402:  - x136 + x184 - 4.04964438330419*b399 >= -1.74705929031015;

e403:  - x137 + x185 - 4.04964438330419*b400 >= -1.74705929031015;

e404:  - x138 + x186 - 4.04964438330419*b401 >= -1.74705929031015;

e405:  - x139 + x187 - 4.04964438330419*b402 >= -1.74705929031015;

e406:  - x140 + x188 - 4.04964438330419*b403 >= -1.74705929031015;

e407:  - x141 + x189 - 4.04964438330419*b404 >= -1.74705929031015;

e408:  - x142 + x190 - 4.04964438330419*b405 >= -1.74705929031015;

e409:  - x143 + x191 - 4.04964438330419*b406 >= -1.74705929031015;

e410:  - x144 + x192 - 4.04964438330419*b407 >= -1.74705929031015;

e411:  - x146 + x182 - 4.04964438330419*b397 >= -1.74705929031015;

e412:  - x147 + x183 - 4.04964438330419*b398 >= -1.74705929031015;

e413:  - x148 + x184 - 4.04964438330419*b399 >= -1.74705929031015;

e414:  - x149 + x185 - 4.04964438330419*b400 >= -1.74705929031015;

e415:  - x150 + x186 - 4.04964438330419*b401 >= -1.74705929031015;

e416:  - x151 + x187 - 4.04964438330419*b402 >= -1.74705929031015;

e417:  - x152 + x188 - 4.04964438330419*b403 >= -1.74705929031015;

e418:  - x153 + x189 - 4.04964438330419*b404 >= -1.74705929031015;

e419:  - x154 + x190 - 4.04964438330419*b405 >= -1.74705929031015;

e420:  - x155 + x191 - 4.04964438330419*b406 >= -1.74705929031015;

e421:  - x156 + x192 - 4.04964438330419*b407 >= -1.74705929031015;

e422:  - x13 + x182 - 4.04964438330419*b397 >= -1.74705929031015;

e423:  - x14 + x183 - 4.04964438330419*b398 >= -1.74705929031015;

e424:  - x15 + x184 - 4.04964438330419*b399 >= -1.74705929031015;

e425:  - x16 + x185 - 4.04964438330419*b400 >= -1.74705929031015;

e426:  - x17 + x186 - 4.04964438330419*b401 >= -1.74705929031015;

e427:  - x18 + x187 - 4.04964438330419*b402 >= -1.74705929031015;

e428:  - x19 + x188 - 4.04964438330419*b403 >= -1.74705929031015;

e429:  - x20 + x189 - 4.04964438330419*b404 >= -1.74705929031015;

e430:  - x21 + x190 - 4.04964438330419*b405 >= -1.74705929031015;

e431:  - x22 + x191 - 4.04964438330419*b406 >= -1.74705929031015;

e432:  - x23 + x192 - 4.04964438330419*b407 >= -1.74705929031015;

e433:  - x25 + x182 - 4.39931813178394*b397 >= -2.0967330387899;

e434:  - x26 + x183 - 4.39931813178394*b398 >= -2.0967330387899;

e435:  - x27 + x184 - 4.39931813178394*b399 >= -2.0967330387899;

e436:  - x28 + x185 - 4.39931813178394*b400 >= -2.0967330387899;

e437:  - x29 + x186 - 4.39931813178394*b401 >= -2.0967330387899;

e438:  - x30 + x187 - 4.39931813178394*b402 >= -2.0967330387899;

e439:  - x31 + x188 - 4.39931813178394*b403 >= -2.0967330387899;

e440:  - x32 + x189 - 4.39931813178394*b404 >= -2.0967330387899;

e441:  - x33 + x190 - 4.39931813178394*b405 >= -2.0967330387899;

e442:  - x34 + x191 - 4.39931813178394*b406 >= -2.0967330387899;

e443:  - x35 + x192 - 4.39931813178394*b407 >= -2.0967330387899;

e444:  - x37 + x182 - 4.19022633392538*b397 >= -1.88764124093134;

e445:  - x38 + x183 - 4.19022633392538*b398 >= -1.88764124093134;

e446:  - x39 + x184 - 4.19022633392538*b399 >= -1.88764124093134;

e447:  - x40 + x185 - 4.19022633392538*b400 >= -1.88764124093134;

e448:  - x41 + x186 - 4.19022633392538*b401 >= -1.88764124093134;

e449:  - x42 + x187 - 4.19022633392538*b402 >= -1.88764124093134;

e450:  - x43 + x188 - 4.19022633392538*b403 >= -1.88764124093134;

e451:  - x44 + x189 - 4.19022633392538*b404 >= -1.88764124093134;

e452:  - x45 + x190 - 4.19022633392538*b405 >= -1.88764124093134;

e453:  - x46 + x191 - 4.19022633392538*b406 >= -1.88764124093134;

e454:  - x47 + x192 - 4.19022633392538*b407 >= -1.88764124093134;

e455:  - x49 + x182 - 3.98613097758187*b397 >= -1.68354588458782;

e456:  - x50 + x183 - 3.98613097758187*b398 >= -1.68354588458782;

e457:  - x51 + x184 - 3.98613097758187*b399 >= -1.68354588458782;

e458:  - x52 + x185 - 3.98613097758187*b400 >= -1.68354588458782;

e459:  - x53 + x186 - 3.98613097758187*b401 >= -1.68354588458782;

e460:  - x54 + x187 - 3.98613097758187*b402 >= -1.68354588458782;

e461:  - x55 + x188 - 3.98613097758187*b403 >= -1.68354588458782;

e462:  - x56 + x189 - 3.98613097758187*b404 >= -1.68354588458782;

e463:  - x57 + x190 - 3.98613097758187*b405 >= -1.68354588458782;

e464:  - x58 + x191 - 3.98613097758187*b406 >= -1.68354588458782;

e465:  - x59 + x192 - 3.98613097758187*b407 >= -1.68354588458782;

e466:  - x61 + x182 - 3.81671282562382*b397 >= -1.51412773262977;

e467:  - x62 + x183 - 3.81671282562382*b398 >= -1.51412773262977;

e468:  - x63 + x184 - 3.81671282562382*b399 >= -1.51412773262977;

e469:  - x64 + x185 - 3.81671282562382*b400 >= -1.51412773262977;

e470:  - x65 + x186 - 3.81671282562382*b401 >= -1.51412773262977;

e471:  - x66 + x187 - 3.81671282562382*b402 >= -1.51412773262977;

e472:  - x67 + x188 - 3.81671282562382*b403 >= -1.51412773262977;

e473:  - x68 + x189 - 3.81671282562382*b404 >= -1.51412773262977;

e474:  - x69 + x190 - 3.81671282562382*b405 >= -1.51412773262977;

e475:  - x70 + x191 - 3.81671282562382*b406 >= -1.51412773262977;

e476:  - x71 + x192 - 3.81671282562382*b407 >= -1.51412773262977;

e477:  - x73 + x182 - 4.35385575770719*b397 >= -2.05127066471314;

e478:  - x74 + x183 - 4.35385575770719*b398 >= -2.05127066471314;

e479:  - x75 + x184 - 4.35385575770719*b399 >= -2.05127066471314;

e480:  - x76 + x185 - 4.35385575770719*b400 >= -2.05127066471314;

e481:  - x77 + x186 - 4.35385575770719*b401 >= -2.05127066471314;

e482:  - x78 + x187 - 4.35385575770719*b402 >= -2.05127066471314;

e483:  - x79 + x188 - 4.35385575770719*b403 >= -2.05127066471314;

e484:  - x80 + x189 - 4.35385575770719*b404 >= -2.05127066471314;

e485:  - x81 + x190 - 4.35385575770719*b405 >= -2.05127066471314;

e486:  - x82 + x191 - 4.35385575770719*b406 >= -2.05127066471314;

e487:  - x83 + x192 - 4.35385575770719*b407 >= -2.05127066471314;

e488:  - x85 + x182 - 4.20927452889608*b397 >= -1.90668943590203;

e489:  - x86 + x183 - 4.20927452889608*b398 >= -1.90668943590203;

e490:  - x87 + x184 - 4.20927452889608*b399 >= -1.90668943590203;

e491:  - x88 + x185 - 4.20927452889608*b400 >= -1.90668943590203;

e492:  - x89 + x186 - 4.20927452889608*b401 >= -1.90668943590203;

e493:  - x90 + x187 - 4.20927452889608*b402 >= -1.90668943590203;

e494:  - x91 + x188 - 4.20927452889608*b403 >= -1.90668943590203;

e495:  - x92 + x189 - 4.20927452889608*b404 >= -1.90668943590203;

e496:  - x93 + x190 - 4.20927452889608*b405 >= -1.90668943590203;

e497:  - x94 + x191 - 4.20927452889608*b406 >= -1.90668943590203;

e498:  - x95 + x192 - 4.20927452889608*b407 >= -1.90668943590203;

e499:  - x97 + x182 - 3.92641174288025*b397 >= -1.6238266498862;

e500:  - x98 + x183 - 3.92641174288025*b398 >= -1.6238266498862;

e501:  - x99 + x184 - 3.92641174288025*b399 >= -1.6238266498862;

e502:  - x100 + x185 - 3.92641174288025*b400 >= -1.6238266498862;

e503:  - x101 + x186 - 3.92641174288025*b401 >= -1.6238266498862;

e504:  - x102 + x187 - 3.92641174288025*b402 >= -1.6238266498862;

e505:  - x103 + x188 - 3.92641174288025*b403 >= -1.6238266498862;

e506:  - x104 + x189 - 3.92641174288025*b404 >= -1.6238266498862;

e507:  - x105 + x190 - 3.92641174288025*b405 >= -1.6238266498862;

e508:  - x106 + x191 - 3.92641174288025*b406 >= -1.6238266498862;

e509:  - x107 + x192 - 3.92641174288025*b407 >= -1.6238266498862;

e510:  - x109 + x182 - 4.20927452889608*b397 >= -1.90668943590203;

e511:  - x110 + x183 - 4.20927452889608*b398 >= -1.90668943590203;

e512:  - x111 + x184 - 4.20927452889608*b399 >= -1.90668943590203;

e513:  - x112 + x185 - 4.20927452889608*b400 >= -1.90668943590203;

e514:  - x113 + x186 - 4.20927452889608*b401 >= -1.90668943590203;

e515:  - x114 + x187 - 4.20927452889608*b402 >= -1.90668943590203;

e516:  - x115 + x188 - 4.20927452889608*b403 >= -1.90668943590203;

e517:  - x116 + x189 - 4.20927452889608*b404 >= -1.90668943590203;

e518:  - x117 + x190 - 4.20927452889608*b405 >= -1.90668943590203;

e519:  - x118 + x191 - 4.20927452889608*b406 >= -1.90668943590203;

e520:  - x119 + x192 - 4.20927452889608*b407 >= -1.90668943590203;

e521:  - x121 + x182 - 3.98613097758187*b397 >= -1.68354588458782;

e522:  - x122 + x183 - 3.98613097758187*b398 >= -1.68354588458782;

e523:  - x123 + x184 - 3.98613097758187*b399 >= -1.68354588458782;

e524:  - x124 + x185 - 3.98613097758187*b400 >= -1.68354588458782;

e525:  - x125 + x186 - 3.98613097758187*b401 >= -1.68354588458782;

e526:  - x126 + x187 - 3.98613097758187*b402 >= -1.68354588458782;

e527:  - x127 + x188 - 3.98613097758187*b403 >= -1.68354588458782;

e528:  - x128 + x189 - 3.98613097758187*b404 >= -1.68354588458782;

e529:  - x129 + x190 - 3.98613097758187*b405 >= -1.68354588458782;

e530:  - x130 + x191 - 3.98613097758187*b406 >= -1.68354588458782;

e531:  - x131 + x192 - 3.98613097758187*b407 >= -1.68354588458782;

e532:  - x133 + x182 - 4.04964438330419*b397 >= -1.74705929031015;

e533:  - x134 + x183 - 4.04964438330419*b398 >= -1.74705929031015;

e534:  - x135 + x184 - 4.04964438330419*b399 >= -1.74705929031015;

e535:  - x136 + x185 - 4.04964438330419*b400 >= -1.74705929031015;

e536:  - x137 + x186 - 4.04964438330419*b401 >= -1.74705929031015;

e537:  - x138 + x187 - 4.04964438330419*b402 >= -1.74705929031015;

e538:  - x139 + x188 - 4.04964438330419*b403 >= -1.74705929031015;

e539:  - x140 + x189 - 4.04964438330419*b404 >= -1.74705929031015;

e540:  - x141 + x190 - 4.04964438330419*b405 >= -1.74705929031015;

e541:  - x142 + x191 - 4.04964438330419*b406 >= -1.74705929031015;

e542:  - x143 + x192 - 4.04964438330419*b407 >= -1.74705929031015;

e543:  - x145 + x182 - 4.04964438330419*b397 >= -1.74705929031015;

e544:  - x146 + x183 - 4.04964438330419*b398 >= -1.74705929031015;

e545:  - x147 + x184 - 4.04964438330419*b399 >= -1.74705929031015;

e546:  - x148 + x185 - 4.04964438330419*b400 >= -1.74705929031015;

e547:  - x149 + x186 - 4.04964438330419*b401 >= -1.74705929031015;

e548:  - x150 + x187 - 4.04964438330419*b402 >= -1.74705929031015;

e549:  - x151 + x188 - 4.04964438330419*b403 >= -1.74705929031015;

e550:  - x152 + x189 - 4.04964438330419*b404 >= -1.74705929031015;

e551:  - x153 + x190 - 4.04964438330419*b405 >= -1.74705929031015;

e552:  - x154 + x191 - 4.04964438330419*b406 >= -1.74705929031015;

e553:  - x155 + x192 - 4.04964438330419*b407 >= -1.74705929031015;

e554:    x157 + 2.07944154167984*b205 <= 2.07944154167984;

e555:    x157 + 1.38629436111989*b217 <= 2.07944154167984;

e556:    x157 + 0.980829253011726*b229 <= 2.07944154167984;

e557:    x157 + 0.693147180559945*b241 <= 2.07944154167984;

e558:    x157 + 0.470003629245735*b253 <= 2.07944154167984;

e559:    x157 + 0.287682072451781*b265 <= 2.07944154167984;

e560:    x157 + 0.133531392624523*b277 <= 2.07944154167984;

e561:    x157 <= 2.07944154167984;

e562:    x158 + 2.07944154167984*b206 <= 2.07944154167984;

e563:    x158 + 1.38629436111989*b218 <= 2.07944154167984;

e564:    x158 + 0.980829253011726*b230 <= 2.07944154167984;

e565:    x158 + 0.693147180559945*b242 <= 2.07944154167984;

e566:    x158 + 0.470003629245735*b254 <= 2.07944154167984;

e567:    x158 + 0.287682072451781*b266 <= 2.07944154167984;

e568:    x158 + 0.133531392624523*b278 <= 2.07944154167984;

e569:    x158 <= 2.07944154167984;

e570:    x159 + 2.07944154167984*b207 <= 2.07944154167984;

e571:    x159 + 1.38629436111989*b219 <= 2.07944154167984;

e572:    x159 + 0.980829253011726*b231 <= 2.07944154167984;

e573:    x159 + 0.693147180559945*b243 <= 2.07944154167984;

e574:    x159 + 0.470003629245735*b255 <= 2.07944154167984;

e575:    x159 + 0.287682072451781*b267 <= 2.07944154167984;

e576:    x159 + 0.133531392624523*b279 <= 2.07944154167984;

e577:    x159 <= 2.07944154167984;

e578:    x160 + 2.07944154167984*b208 <= 2.07944154167984;

e579:    x160 + 1.38629436111989*b220 <= 2.07944154167984;

e580:    x160 + 0.980829253011726*b232 <= 2.07944154167984;

e581:    x160 + 0.693147180559945*b244 <= 2.07944154167984;

e582:    x160 + 0.470003629245735*b256 <= 2.07944154167984;

e583:    x160 + 0.287682072451781*b268 <= 2.07944154167984;

e584:    x160 + 0.133531392624523*b280 <= 2.07944154167984;

e585:    x160 <= 2.07944154167984;

e586:    x161 + 2.07944154167984*b209 <= 2.07944154167984;

e587:    x161 + 1.38629436111989*b221 <= 2.07944154167984;

e588:    x161 + 0.980829253011726*b233 <= 2.07944154167984;

e589:    x161 + 0.693147180559945*b245 <= 2.07944154167984;

e590:    x161 + 0.470003629245735*b257 <= 2.07944154167984;

e591:    x161 + 0.287682072451781*b269 <= 2.07944154167984;

e592:    x161 + 0.133531392624523*b281 <= 2.07944154167984;

e593:    x161 <= 2.07944154167984;

e594:    x162 + 2.07944154167984*b210 <= 2.07944154167984;

e595:    x162 + 1.38629436111989*b222 <= 2.07944154167984;

e596:    x162 + 0.980829253011726*b234 <= 2.07944154167984;

e597:    x162 + 0.693147180559945*b246 <= 2.07944154167984;

e598:    x162 + 0.470003629245735*b258 <= 2.07944154167984;

e599:    x162 + 0.287682072451781*b270 <= 2.07944154167984;

e600:    x162 + 0.133531392624523*b282 <= 2.07944154167984;

e601:    x162 <= 2.07944154167984;

e602:    x163 + 2.07944154167984*b211 <= 2.07944154167984;

e603:    x163 + 1.38629436111989*b223 <= 2.07944154167984;

e604:    x163 + 0.980829253011726*b235 <= 2.07944154167984;

e605:    x163 + 0.693147180559945*b247 <= 2.07944154167984;

e606:    x163 + 0.470003629245735*b259 <= 2.07944154167984;

e607:    x163 + 0.287682072451781*b271 <= 2.07944154167984;

e608:    x163 + 0.133531392624523*b283 <= 2.07944154167984;

e609:    x163 <= 2.07944154167984;

e610:    x164 + 2.07944154167984*b212 <= 2.07944154167984;

e611:    x164 + 1.38629436111989*b224 <= 2.07944154167984;

e612:    x164 + 0.980829253011726*b236 <= 2.07944154167984;

e613:    x164 + 0.693147180559945*b248 <= 2.07944154167984;

e614:    x164 + 0.470003629245735*b260 <= 2.07944154167984;

e615:    x164 + 0.287682072451781*b272 <= 2.07944154167984;

e616:    x164 + 0.133531392624523*b284 <= 2.07944154167984;

e617:    x164 <= 2.07944154167984;

e618:    x165 + 2.07944154167984*b213 <= 2.07944154167984;

e619:    x165 + 1.38629436111989*b225 <= 2.07944154167984;

e620:    x165 + 0.980829253011726*b237 <= 2.07944154167984;

e621:    x165 + 0.693147180559945*b249 <= 2.07944154167984;

e622:    x165 + 0.470003629245735*b261 <= 2.07944154167984;

e623:    x165 + 0.287682072451781*b273 <= 2.07944154167984;

e624:    x165 + 0.133531392624523*b285 <= 2.07944154167984;

e625:    x165 <= 2.07944154167984;

e626:    x166 + 2.07944154167984*b214 <= 2.07944154167984;

e627:    x166 + 1.38629436111989*b226 <= 2.07944154167984;

e628:    x166 + 0.980829253011726*b238 <= 2.07944154167984;

e629:    x166 + 0.693147180559945*b250 <= 2.07944154167984;

e630:    x166 + 0.470003629245735*b262 <= 2.07944154167984;

e631:    x166 + 0.287682072451781*b274 <= 2.07944154167984;

e632:    x166 + 0.133531392624523*b286 <= 2.07944154167984;

e633:    x166 <= 2.07944154167984;

e634:    x167 + 2.07944154167984*b215 <= 2.07944154167984;

e635:    x167 + 1.38629436111989*b227 <= 2.07944154167984;

e636:    x167 + 0.980829253011726*b239 <= 2.07944154167984;

e637:    x167 + 0.693147180559945*b251 <= 2.07944154167984;

e638:    x167 + 0.470003629245735*b263 <= 2.07944154167984;

e639:    x167 + 0.287682072451781*b275 <= 2.07944154167984;

e640:    x167 + 0.133531392624523*b287 <= 2.07944154167984;

e641:    x167 <= 2.07944154167984;

e642:    x168 + 2.07944154167984*b216 <= 2.07944154167984;

e643:    x168 + 1.38629436111989*b228 <= 2.07944154167984;

e644:    x168 + 0.980829253011726*b240 <= 2.07944154167984;

e645:    x168 + 0.693147180559945*b252 <= 2.07944154167984;

e646:    x168 + 0.470003629245735*b264 <= 2.07944154167984;

e647:    x168 + 0.287682072451781*b276 <= 2.07944154167984;

e648:    x168 + 0.133531392624523*b288 <= 2.07944154167984;

e649:    x168 <= 2.07944154167984;

e650:    x157 >= 0;

e651:    x157 - 0.693147180559945*b217 >= 0;

e652:    x157 - 1.09861228866811*b229 >= 0;

e653:    x157 - 1.38629436111989*b241 >= 0;

e654:    x157 - 1.6094379124341*b253 >= 0;

e655:    x157 - 1.79175946922805*b265 >= 0;

e656:    x157 - 1.94591014905531*b277 >= 0;

e657:    x157 - 2.07944154167984*b289 >= 0;

e658:    x158 >= 0;

e659:    x158 - 0.693147180559945*b218 >= 0;

e660:    x158 - 1.09861228866811*b230 >= 0;

e661:    x158 - 1.38629436111989*b242 >= 0;

e662:    x158 - 1.6094379124341*b254 >= 0;

e663:    x158 - 1.79175946922805*b266 >= 0;

e664:    x158 - 1.94591014905531*b278 >= 0;

e665:    x158 - 2.07944154167984*b290 >= 0;

e666:    x159 >= 0;

e667:    x159 - 0.693147180559945*b219 >= 0;

e668:    x159 - 1.09861228866811*b231 >= 0;

e669:    x159 - 1.38629436111989*b243 >= 0;

e670:    x159 - 1.6094379124341*b255 >= 0;

e671:    x159 - 1.79175946922805*b267 >= 0;

e672:    x159 - 1.94591014905531*b279 >= 0;

e673:    x159 - 2.07944154167984*b291 >= 0;

e674:    x160 >= 0;

e675:    x160 - 0.693147180559945*b220 >= 0;

e676:    x160 - 1.09861228866811*b232 >= 0;

e677:    x160 - 1.38629436111989*b244 >= 0;

e678:    x160 - 1.6094379124341*b256 >= 0;

e679:    x160 - 1.79175946922805*b268 >= 0;

e680:    x160 - 1.94591014905531*b280 >= 0;

e681:    x160 - 2.07944154167984*b292 >= 0;

e682:    x161 >= 0;

e683:    x161 - 0.693147180559945*b221 >= 0;

e684:    x161 - 1.09861228866811*b233 >= 0;

e685:    x161 - 1.38629436111989*b245 >= 0;

e686:    x161 - 1.6094379124341*b257 >= 0;

e687:    x161 - 1.79175946922805*b269 >= 0;

e688:    x161 - 1.94591014905531*b281 >= 0;

e689:    x161 - 2.07944154167984*b293 >= 0;

e690:    x162 >= 0;

e691:    x162 - 0.693147180559945*b222 >= 0;

e692:    x162 - 1.09861228866811*b234 >= 0;

e693:    x162 - 1.38629436111989*b246 >= 0;

e694:    x162 - 1.6094379124341*b258 >= 0;

e695:    x162 - 1.79175946922805*b270 >= 0;

e696:    x162 - 1.94591014905531*b282 >= 0;

e697:    x162 - 2.07944154167984*b294 >= 0;

e698:    x163 >= 0;

e699:    x163 - 0.693147180559945*b223 >= 0;

e700:    x163 - 1.09861228866811*b235 >= 0;

e701:    x163 - 1.38629436111989*b247 >= 0;

e702:    x163 - 1.6094379124341*b259 >= 0;

e703:    x163 - 1.79175946922805*b271 >= 0;

e704:    x163 - 1.94591014905531*b283 >= 0;

e705:    x163 - 2.07944154167984*b295 >= 0;

e706:    x164 >= 0;

e707:    x164 - 0.693147180559945*b224 >= 0;

e708:    x164 - 1.09861228866811*b236 >= 0;

e709:    x164 - 1.38629436111989*b248 >= 0;

e710:    x164 - 1.6094379124341*b260 >= 0;

e711:    x164 - 1.79175946922805*b272 >= 0;

e712:    x164 - 1.94591014905531*b284 >= 0;

e713:    x164 - 2.07944154167984*b296 >= 0;

e714:    x165 >= 0;

e715:    x165 - 0.693147180559945*b225 >= 0;

e716:    x165 - 1.09861228866811*b237 >= 0;

e717:    x165 - 1.38629436111989*b249 >= 0;

e718:    x165 - 1.6094379124341*b261 >= 0;

e719:    x165 - 1.79175946922805*b273 >= 0;

e720:    x165 - 1.94591014905531*b285 >= 0;

e721:    x165 - 2.07944154167984*b297 >= 0;

e722:    x166 >= 0;

e723:    x166 - 0.693147180559945*b226 >= 0;

e724:    x166 - 1.09861228866811*b238 >= 0;

e725:    x166 - 1.38629436111989*b250 >= 0;

e726:    x166 - 1.6094379124341*b262 >= 0;

e727:    x166 - 1.79175946922805*b274 >= 0;

e728:    x166 - 1.94591014905531*b286 >= 0;

e729:    x166 - 2.07944154167984*b298 >= 0;

e730:    x167 >= 0;

e731:    x167 - 0.693147180559945*b227 >= 0;

e732:    x167 - 1.09861228866811*b239 >= 0;

e733:    x167 - 1.38629436111989*b251 >= 0;

e734:    x167 - 1.6094379124341*b263 >= 0;

e735:    x167 - 1.79175946922805*b275 >= 0;

e736:    x167 - 1.94591014905531*b287 >= 0;

e737:    x167 - 2.07944154167984*b299 >= 0;

e738:    x168 >= 0;

e739:    x168 - 0.693147180559945*b228 >= 0;

e740:    x168 - 1.09861228866811*b240 >= 0;

e741:    x168 - 1.38629436111989*b252 >= 0;

e742:    x168 - 1.6094379124341*b264 >= 0;

e743:    x168 - 1.79175946922805*b276 >= 0;

e744:    x168 - 1.94591014905531*b288 >= 0;

e745:    x168 - 2.07944154167984*b300 >= 0;

e746:    x169 + 2.07944154167984*b301 <= 2.07944154167984;

e747:    x169 + 1.38629436111989*b313 <= 2.07944154167984;

e748:    x169 + 0.980829253011726*b325 <= 2.07944154167984;

e749:    x169 + 0.693147180559945*b337 <= 2.07944154167984;

e750:    x169 + 0.470003629245735*b349 <= 2.07944154167984;

e751:    x169 + 0.287682072451781*b361 <= 2.07944154167984;

e752:    x169 + 0.133531392624523*b373 <= 2.07944154167984;

e753:    x169 <= 2.07944154167984;

e754:    x170 + 2.07944154167984*b302 <= 2.07944154167984;

e755:    x170 + 1.38629436111989*b314 <= 2.07944154167984;

e756:    x170 + 0.980829253011726*b326 <= 2.07944154167984;

e757:    x170 + 0.693147180559945*b338 <= 2.07944154167984;

e758:    x170 + 0.470003629245735*b350 <= 2.07944154167984;

e759:    x170 + 0.287682072451781*b362 <= 2.07944154167984;

e760:    x170 + 0.133531392624523*b374 <= 2.07944154167984;

e761:    x170 <= 2.07944154167984;

e762:    x171 + 2.07944154167984*b303 <= 2.07944154167984;

e763:    x171 + 1.38629436111989*b315 <= 2.07944154167984;

e764:    x171 + 0.980829253011726*b327 <= 2.07944154167984;

e765:    x171 + 0.693147180559945*b339 <= 2.07944154167984;

e766:    x171 + 0.470003629245735*b351 <= 2.07944154167984;

e767:    x171 + 0.287682072451781*b363 <= 2.07944154167984;

e768:    x171 + 0.133531392624523*b375 <= 2.07944154167984;

e769:    x171 <= 2.07944154167984;

e770:    x172 + 2.07944154167984*b304 <= 2.07944154167984;

e771:    x172 + 1.38629436111989*b316 <= 2.07944154167984;

e772:    x172 + 0.980829253011726*b328 <= 2.07944154167984;

e773:    x172 + 0.693147180559945*b340 <= 2.07944154167984;

e774:    x172 + 0.470003629245735*b352 <= 2.07944154167984;

e775:    x172 + 0.287682072451781*b364 <= 2.07944154167984;

e776:    x172 + 0.133531392624523*b376 <= 2.07944154167984;

e777:    x172 <= 2.07944154167984;

e778:    x173 + 2.07944154167984*b305 <= 2.07944154167984;

e779:    x173 + 1.38629436111989*b317 <= 2.07944154167984;

e780:    x173 + 0.980829253011726*b329 <= 2.07944154167984;

e781:    x173 + 0.693147180559945*b341 <= 2.07944154167984;

e782:    x173 + 0.470003629245735*b353 <= 2.07944154167984;

e783:    x173 + 0.287682072451781*b365 <= 2.07944154167984;

e784:    x173 + 0.133531392624523*b377 <= 2.07944154167984;

e785:    x173 <= 2.07944154167984;

e786:    x174 + 2.07944154167984*b306 <= 2.07944154167984;

e787:    x174 + 1.38629436111989*b318 <= 2.07944154167984;

e788:    x174 + 0.980829253011726*b330 <= 2.07944154167984;

e789:    x174 + 0.693147180559945*b342 <= 2.07944154167984;

e790:    x174 + 0.470003629245735*b354 <= 2.07944154167984;

e791:    x174 + 0.287682072451781*b366 <= 2.07944154167984;

e792:    x174 + 0.133531392624523*b378 <= 2.07944154167984;

e793:    x174 <= 2.07944154167984;

e794:    x175 + 2.07944154167984*b307 <= 2.07944154167984;

e795:    x175 + 1.38629436111989*b319 <= 2.07944154167984;

e796:    x175 + 0.980829253011726*b331 <= 2.07944154167984;

e797:    x175 + 0.693147180559945*b343 <= 2.07944154167984;

e798:    x175 + 0.470003629245735*b355 <= 2.07944154167984;

e799:    x175 + 0.287682072451781*b367 <= 2.07944154167984;

e800:    x175 + 0.133531392624523*b379 <= 2.07944154167984;

e801:    x175 <= 2.07944154167984;

e802:    x176 + 2.07944154167984*b308 <= 2.07944154167984;

e803:    x176 + 1.38629436111989*b320 <= 2.07944154167984;

e804:    x176 + 0.980829253011726*b332 <= 2.07944154167984;

e805:    x176 + 0.693147180559945*b344 <= 2.07944154167984;

e806:    x176 + 0.470003629245735*b356 <= 2.07944154167984;

e807:    x176 + 0.287682072451781*b368 <= 2.07944154167984;

e808:    x176 + 0.133531392624523*b380 <= 2.07944154167984;

e809:    x176 <= 2.07944154167984;

e810:    x177 + 2.07944154167984*b309 <= 2.07944154167984;

e811:    x177 + 1.38629436111989*b321 <= 2.07944154167984;

e812:    x177 + 0.980829253011726*b333 <= 2.07944154167984;

e813:    x177 + 0.693147180559945*b345 <= 2.07944154167984;

e814:    x177 + 0.470003629245735*b357 <= 2.07944154167984;

e815:    x177 + 0.287682072451781*b369 <= 2.07944154167984;

e816:    x177 + 0.133531392624523*b381 <= 2.07944154167984;

e817:    x177 <= 2.07944154167984;

e818:    x178 + 2.07944154167984*b310 <= 2.07944154167984;

e819:    x178 + 1.38629436111989*b322 <= 2.07944154167984;

e820:    x178 + 0.980829253011726*b334 <= 2.07944154167984;

e821:    x178 + 0.693147180559945*b346 <= 2.07944154167984;

e822:    x178 + 0.470003629245735*b358 <= 2.07944154167984;

e823:    x178 + 0.287682072451781*b370 <= 2.07944154167984;

e824:    x178 + 0.133531392624523*b382 <= 2.07944154167984;

e825:    x178 <= 2.07944154167984;

e826:    x179 + 2.07944154167984*b311 <= 2.07944154167984;

e827:    x179 + 1.38629436111989*b323 <= 2.07944154167984;

e828:    x179 + 0.980829253011726*b335 <= 2.07944154167984;

e829:    x179 + 0.693147180559945*b347 <= 2.07944154167984;

e830:    x179 + 0.470003629245735*b359 <= 2.07944154167984;

e831:    x179 + 0.287682072451781*b371 <= 2.07944154167984;

e832:    x179 + 0.133531392624523*b383 <= 2.07944154167984;

e833:    x179 <= 2.07944154167984;

e834:    x180 + 2.07944154167984*b312 <= 2.07944154167984;

e835:    x180 + 1.38629436111989*b324 <= 2.07944154167984;

e836:    x180 + 0.980829253011726*b336 <= 2.07944154167984;

e837:    x180 + 0.693147180559945*b348 <= 2.07944154167984;

e838:    x180 + 0.470003629245735*b360 <= 2.07944154167984;

e839:    x180 + 0.287682072451781*b372 <= 2.07944154167984;

e840:    x180 + 0.133531392624523*b384 <= 2.07944154167984;

e841:    x180 <= 2.07944154167984;

e842:    x169 >= 0;

e843:    x169 - 0.693147180559945*b313 >= 0;

e844:    x169 - 1.09861228866811*b325 >= 0;

e845:    x169 - 1.38629436111989*b337 >= 0;

e846:    x169 - 1.6094379124341*b349 >= 0;

e847:    x169 - 1.79175946922805*b361 >= 0;

e848:    x169 - 1.94591014905531*b373 >= 0;

e849:    x169 - 2.07944154167984*b385 >= 0;

e850:    x170 >= 0;

e851:    x170 - 0.693147180559945*b314 >= 0;

e852:    x170 - 1.09861228866811*b326 >= 0;

e853:    x170 - 1.38629436111989*b338 >= 0;

e854:    x170 - 1.6094379124341*b350 >= 0;

e855:    x170 - 1.79175946922805*b362 >= 0;

e856:    x170 - 1.94591014905531*b374 >= 0;

e857:    x170 - 2.07944154167984*b386 >= 0;

e858:    x171 >= 0;

e859:    x171 - 0.693147180559945*b315 >= 0;

e860:    x171 - 1.09861228866811*b327 >= 0;

e861:    x171 - 1.38629436111989*b339 >= 0;

e862:    x171 - 1.6094379124341*b351 >= 0;

e863:    x171 - 1.79175946922805*b363 >= 0;

e864:    x171 - 1.94591014905531*b375 >= 0;

e865:    x171 - 2.07944154167984*b387 >= 0;

e866:    x172 >= 0;

e867:    x172 - 0.693147180559945*b316 >= 0;

e868:    x172 - 1.09861228866811*b328 >= 0;

e869:    x172 - 1.38629436111989*b340 >= 0;

e870:    x172 - 1.6094379124341*b352 >= 0;

e871:    x172 - 1.79175946922805*b364 >= 0;

e872:    x172 - 1.94591014905531*b376 >= 0;

e873:    x172 - 2.07944154167984*b388 >= 0;

e874:    x173 >= 0;

e875:    x173 - 0.693147180559945*b317 >= 0;

e876:    x173 - 1.09861228866811*b329 >= 0;

e877:    x173 - 1.38629436111989*b341 >= 0;

e878:    x173 - 1.6094379124341*b353 >= 0;

e879:    x173 - 1.79175946922805*b365 >= 0;

e880:    x173 - 1.94591014905531*b377 >= 0;

e881:    x173 - 2.07944154167984*b389 >= 0;

e882:    x174 >= 0;

e883:    x174 - 0.693147180559945*b318 >= 0;

e884:    x174 - 1.09861228866811*b330 >= 0;

e885:    x174 - 1.38629436111989*b342 >= 0;

e886:    x174 - 1.6094379124341*b354 >= 0;

e887:    x174 - 1.79175946922805*b366 >= 0;

e888:    x174 - 1.94591014905531*b378 >= 0;

e889:    x174 - 2.07944154167984*b390 >= 0;

e890:    x175 >= 0;

e891:    x175 - 0.693147180559945*b319 >= 0;

e892:    x175 - 1.09861228866811*b331 >= 0;

e893:    x175 - 1.38629436111989*b343 >= 0;

e894:    x175 - 1.6094379124341*b355 >= 0;

e895:    x175 - 1.79175946922805*b367 >= 0;

e896:    x175 - 1.94591014905531*b379 >= 0;

e897:    x175 - 2.07944154167984*b391 >= 0;

e898:    x176 >= 0;

e899:    x176 - 0.693147180559945*b320 >= 0;

e900:    x176 - 1.09861228866811*b332 >= 0;

e901:    x176 - 1.38629436111989*b344 >= 0;

e902:    x176 - 1.6094379124341*b356 >= 0;

e903:    x176 - 1.79175946922805*b368 >= 0;

e904:    x176 - 1.94591014905531*b380 >= 0;

e905:    x176 - 2.07944154167984*b392 >= 0;

e906:    x177 >= 0;

e907:    x177 - 0.693147180559945*b321 >= 0;

e908:    x177 - 1.09861228866811*b333 >= 0;

e909:    x177 - 1.38629436111989*b345 >= 0;

e910:    x177 - 1.6094379124341*b357 >= 0;

e911:    x177 - 1.79175946922805*b369 >= 0;

e912:    x177 - 1.94591014905531*b381 >= 0;

e913:    x177 - 2.07944154167984*b393 >= 0;

e914:    x178 >= 0;

e915:    x178 - 0.693147180559945*b322 >= 0;

e916:    x178 - 1.09861228866811*b334 >= 0;

e917:    x178 - 1.38629436111989*b346 >= 0;

e918:    x178 - 1.6094379124341*b358 >= 0;

e919:    x178 - 1.79175946922805*b370 >= 0;

e920:    x178 - 1.94591014905531*b382 >= 0;

e921:    x178 - 2.07944154167984*b394 >= 0;

e922:    x179 >= 0;

e923:    x179 - 0.693147180559945*b323 >= 0;

e924:    x179 - 1.09861228866811*b335 >= 0;

e925:    x179 - 1.38629436111989*b347 >= 0;

e926:    x179 - 1.6094379124341*b359 >= 0;

e927:    x179 - 1.79175946922805*b371 >= 0;

e928:    x179 - 1.94591014905531*b383 >= 0;

e929:    x179 - 2.07944154167984*b395 >= 0;

e930:    x180 >= 0;

e931:    x180 - 0.693147180559945*b324 >= 0;

e932:    x180 - 1.09861228866811*b336 >= 0;

e933:    x180 - 1.38629436111989*b348 >= 0;

e934:    x180 - 1.6094379124341*b360 >= 0;

e935:    x180 - 1.79175946922805*b372 >= 0;

e936:    x180 - 1.94591014905531*b384 >= 0;

e937:    x180 - 2.07944154167984*b396 >= 0;

e938:    b205 + b217 + b229 + b241 + b253 + b265 + b277 + b289 = 1;

e939:    b206 + b218 + b230 + b242 + b254 + b266 + b278 + b290 = 1;

e940:    b207 + b219 + b231 + b243 + b255 + b267 + b279 + b291 = 1;

e941:    b208 + b220 + b232 + b244 + b256 + b268 + b280 + b292 = 1;

e942:    b209 + b221 + b233 + b245 + b257 + b269 + b281 + b293 = 1;

e943:    b210 + b222 + b234 + b246 + b258 + b270 + b282 + b294 = 1;

e944:    b211 + b223 + b235 + b247 + b259 + b271 + b283 + b295 = 1;

e945:    b212 + b224 + b236 + b248 + b260 + b272 + b284 + b296 = 1;

e946:    b213 + b225 + b237 + b249 + b261 + b273 + b285 + b297 = 1;

e947:    b214 + b226 + b238 + b250 + b262 + b274 + b286 + b298 = 1;

e948:    b215 + b227 + b239 + b251 + b263 + b275 + b287 + b299 = 1;

e949:    b216 + b228 + b240 + b252 + b264 + b276 + b288 + b300 = 1;

e950:    b301 + b313 + b325 + b337 + b349 + b361 + b373 + b385 = 1;

e951:    b302 + b314 + b326 + b338 + b350 + b362 + b374 + b386 = 1;

e952:    b303 + b315 + b327 + b339 + b351 + b363 + b375 + b387 = 1;

e953:    b304 + b316 + b328 + b340 + b352 + b364 + b376 + b388 = 1;

e954:    b305 + b317 + b329 + b341 + b353 + b365 + b377 + b389 = 1;

e955:    b306 + b318 + b330 + b342 + b354 + b366 + b378 + b390 = 1;

e956:    b307 + b319 + b331 + b343 + b355 + b367 + b379 + b391 = 1;

e957:    b308 + b320 + b332 + b344 + b356 + b368 + b380 + b392 = 1;

e958:    b309 + b321 + b333 + b345 + b357 + b369 + b381 + b393 = 1;

e959:    b310 + b322 + b334 + b346 + b358 + b370 + b382 + b394 = 1;

e960:    b311 + b323 + b335 + b347 + b359 + b371 + b383 + b395 = 1;

e961:    b312 + b324 + b336 + b348 + b360 + b372 + b384 + b396 = 1;

e962:    x13 - x14 + 1.41730600393768*b397 <= 2.51591829260579;

e963:    x14 - x15 + 1.41730600393768*b398 <= 2.51591829260579;

e964:    x15 - x16 + 1.41730600393768*b399 <= 2.51591829260579;

e965:    x16 - x17 + 1.41730600393768*b400 <= 2.51591829260579;

e966:    x17 - x18 + 1.41730600393768*b401 <= 2.51591829260579;

e967:    x18 - x19 + 1.41730600393768*b402 <= 2.51591829260579;

e968:    x19 - x20 + 1.41730600393768*b403 <= 2.51591829260579;

e969:    x20 - x21 + 1.41730600393768*b404 <= 2.51591829260579;

e970:    x21 - x22 + 1.41730600393768*b405 <= 2.51591829260579;

e971:    x22 - x23 + 1.41730600393768*b406 <= 2.51591829260579;

e972:    x23 - x24 + 1.41730600393768*b407 <= 2.51591829260579;

e973:    x25 - x26 + 2.56174912652459*b397 <= 3.6603614151927;

e974:    x26 - x27 + 2.56174912652459*b398 <= 3.6603614151927;

e975:    x27 - x28 + 2.56174912652459*b399 <= 3.6603614151927;

e976:    x28 - x29 + 2.56174912652459*b400 <= 3.6603614151927;

e977:    x29 - x30 + 2.56174912652459*b401 <= 3.6603614151927;

e978:    x30 - x31 + 2.56174912652459*b402 <= 3.6603614151927;

e979:    x31 - x32 + 2.56174912652459*b403 <= 3.6603614151927;

e980:    x32 - x33 + 2.56174912652459*b404 <= 3.6603614151927;

e981:    x33 - x34 + 2.56174912652459*b405 <= 3.6603614151927;

e982:    x34 - x35 + 2.56174912652459*b406 <= 3.6603614151927;

e983:    x35 - x36 + 2.56174912652459*b407 <= 3.6603614151927;

e984:    x37 - x38 + 2.23189366487151*b397 <= 3.33050595353962;

e985:    x38 - x39 + 2.23189366487151*b398 <= 3.33050595353962;

e986:    x39 - x40 + 2.23189366487151*b399 <= 3.33050595353962;

e987:    x40 - x41 + 2.23189366487151*b400 <= 3.33050595353962;

e988:    x41 - x42 + 2.23189366487151*b401 <= 3.33050595353962;

e989:    x42 - x43 + 2.23189366487151*b402 <= 3.33050595353962;

e990:    x43 - x44 + 2.23189366487151*b403 <= 3.33050595353962;

e991:    x44 - x45 + 2.23189366487151*b404 <= 3.33050595353962;

e992:    x45 - x46 + 2.23189366487151*b405 <= 3.33050595353962;

e993:    x46 - x47 + 2.23189366487151*b406 <= 3.33050595353962;

e994:    x47 - x48 + 2.23189366487151*b407 <= 3.33050595353962;

e995:    x49 - x50 + 2.16158168553082*b397 <= 3.26019397419893;

e996:    x50 - x51 + 2.16158168553082*b398 <= 3.26019397419893;

e997:    x51 - x52 + 2.16158168553082*b399 <= 3.26019397419893;

e998:    x52 - x53 + 2.16158168553082*b400 <= 3.26019397419893;

e999:    x53 - x54 + 2.16158168553082*b401 <= 3.26019397419893;

e1000:    x54 - x55 + 2.16158168553082*b402 <= 3.26019397419893;

e1001:    x55 - x56 + 2.16158168553082*b403 <= 3.26019397419893;

e1002:    x56 - x57 + 2.16158168553082*b404 <= 3.26019397419893;

e1003:    x57 - x58 + 2.16158168553082*b405 <= 3.26019397419893;

e1004:    x58 - x59 + 2.16158168553082*b406 <= 3.26019397419893;

e1005:    x59 - x60 + 2.16158168553082*b407 <= 3.26019397419893;

e1006:    x61 - x62 + 2.21732524904322*b397 <= 3.31593753771133;

e1007:    x62 - x63 + 2.21732524904322*b398 <= 3.31593753771133;

e1008:    x63 - x64 + 2.21732524904322*b399 <= 3.31593753771133;

e1009:    x64 - x65 + 2.21732524904322*b400 <= 3.31593753771133;

e1010:    x65 - x66 + 2.21732524904322*b401 <= 3.31593753771133;

e1011:    x66 - x67 + 2.21732524904322*b402 <= 3.31593753771133;

e1012:    x67 - x68 + 2.21732524904322*b403 <= 3.31593753771133;

e1013:    x68 - x69 + 2.21732524904322*b404 <= 3.31593753771133;

e1014:    x69 - x70 + 2.21732524904322*b405 <= 3.31593753771133;

e1015:    x70 - x71 + 2.21732524904322*b406 <= 3.31593753771133;

e1016:    x71 - x72 + 2.21732524904322*b407 <= 3.31593753771133;

e1017:    x73 - x74 + 3.03543881899038*b397 <= 4.13405110765849;

e1018:    x74 - x75 + 3.03543881899038*b398 <= 4.13405110765849;

e1019:    x75 - x76 + 3.03543881899038*b399 <= 4.13405110765849;

e1020:    x76 - x77 + 3.03543881899038*b400 <= 4.13405110765849;

e1021:    x77 - x78 + 3.03543881899038*b401 <= 4.13405110765849;

e1022:    x78 - x79 + 3.03543881899038*b402 <= 4.13405110765849;

e1023:    x79 - x80 + 3.03543881899038*b403 <= 4.13405110765849;

e1024:    x80 - x81 + 3.03543881899038*b404 <= 4.13405110765849;

e1025:    x81 - x82 + 3.03543881899038*b405 <= 4.13405110765849;

e1026:    x82 - x83 + 3.03543881899038*b406 <= 4.13405110765849;

e1027:    x83 - x84 + 3.03543881899038*b407 <= 4.13405110765849;

e1028:    x85 - x86 + 2.1353167455725*b397 <= 3.23392903424061;

e1029:    x86 - x87 + 2.1353167455725*b398 <= 3.23392903424061;

e1030:    x87 - x88 + 2.1353167455725*b399 <= 3.23392903424061;

e1031:    x88 - x89 + 2.1353167455725*b400 <= 3.23392903424061;

e1032:    x89 - x90 + 2.1353167455725*b401 <= 3.23392903424061;

e1033:    x90 - x91 + 2.1353167455725*b402 <= 3.23392903424061;

e1034:    x91 - x92 + 2.1353167455725*b403 <= 3.23392903424061;

e1035:    x92 - x93 + 2.1353167455725*b404 <= 3.23392903424061;

e1036:    x93 - x94 + 2.1353167455725*b405 <= 3.23392903424061;

e1037:    x94 - x95 + 2.1353167455725*b406 <= 3.23392903424061;

e1038:    x95 - x96 + 2.1353167455725*b407 <= 3.23392903424061;

e1039:    x97 - x98 + 2.17287348647239*b397 <= 3.2714857751405;

e1040:    x98 - x99 + 2.17287348647239*b398 <= 3.2714857751405;

e1041:    x99 - x100 + 2.17287348647239*b399 <= 3.2714857751405;

e1042:    x100 - x101 + 2.17287348647239*b400 <= 3.2714857751405;

e1043:    x101 - x102 + 2.17287348647239*b401 <= 3.2714857751405;

e1044:    x102 - x103 + 2.17287348647239*b402 <= 3.2714857751405;

e1045:    x103 - x104 + 2.17287348647239*b403 <= 3.2714857751405;

e1046:    x104 - x105 + 2.17287348647239*b404 <= 3.2714857751405;

e1047:    x105 - x106 + 2.17287348647239*b405 <= 3.2714857751405;

e1048:    x106 - x107 + 2.17287348647239*b406 <= 3.2714857751405;

e1049:    x107 - x108 + 2.17287348647239*b407 <= 3.2714857751405;

e1050:    x109 - x110 + 2.06553863651084*b397 <= 3.16415092517895;

e1051:    x110 - x111 + 2.06553863651084*b398 <= 3.16415092517895;

e1052:    x111 - x112 + 2.06553863651084*b399 <= 3.16415092517895;

e1053:    x112 - x113 + 2.06553863651084*b400 <= 3.16415092517895;

e1054:    x113 - x114 + 2.06553863651084*b401 <= 3.16415092517895;

e1055:    x114 - x115 + 2.06553863651084*b402 <= 3.16415092517895;

e1056:    x115 - x116 + 2.06553863651084*b403 <= 3.16415092517895;

e1057:    x116 - x117 + 2.06553863651084*b404 <= 3.16415092517895;

e1058:    x117 - x118 + 2.06553863651084*b405 <= 3.16415092517895;

e1059:    x118 - x119 + 2.06553863651084*b406 <= 3.16415092517895;

e1060:    x119 - x120 + 2.06553863651084*b407 <= 3.16415092517895;

e1061:    x121 - x122 + 2.10475934966412*b397 <= 3.20337163833223;

e1062:    x122 - x123 + 2.10475934966412*b398 <= 3.20337163833223;

e1063:    x123 - x124 + 2.10475934966412*b399 <= 3.20337163833223;

e1064:    x124 - x125 + 2.10475934966412*b400 <= 3.20337163833223;

e1065:    x125 - x126 + 2.10475934966412*b401 <= 3.20337163833223;

e1066:    x126 - x127 + 2.10475934966412*b402 <= 3.20337163833223;

e1067:    x127 - x128 + 2.10475934966412*b403 <= 3.20337163833223;

e1068:    x128 - x129 + 2.10475934966412*b404 <= 3.20337163833223;

e1069:    x129 - x130 + 2.10475934966412*b405 <= 3.20337163833223;

e1070:    x130 - x131 + 2.10475934966412*b406 <= 3.20337163833223;

e1071:    x131 - x132 + 2.10475934966412*b407 <= 3.20337163833223;

e1072:    x133 - x134 + 1.95316137576951*b397 <= 3.05177366443762;

e1073:    x134 - x135 + 1.95316137576951*b398 <= 3.05177366443762;

e1074:    x135 - x136 + 1.95316137576951*b399 <= 3.05177366443762;

e1075:    x136 - x137 + 1.95316137576951*b400 <= 3.05177366443762;

e1076:    x137 - x138 + 1.95316137576951*b401 <= 3.05177366443762;

e1077:    x138 - x139 + 1.95316137576951*b402 <= 3.05177366443762;

e1078:    x139 - x140 + 1.95316137576951*b403 <= 3.05177366443762;

e1079:    x140 - x141 + 1.95316137576951*b404 <= 3.05177366443762;

e1080:    x141 - x142 + 1.95316137576951*b405 <= 3.05177366443762;

e1081:    x142 - x143 + 1.95316137576951*b406 <= 3.05177366443762;

e1082:    x143 - x144 + 1.95316137576951*b407 <= 3.05177366443762;

e1083:    x145 - x146 + 1.85938847528407*b397 <= 2.95800076395218;

e1084:    x146 - x147 + 1.85938847528407*b398 <= 2.95800076395218;

e1085:    x147 - x148 + 1.85938847528407*b399 <= 2.95800076395218;

e1086:    x148 - x149 + 1.85938847528407*b400 <= 2.95800076395218;

e1087:    x149 - x150 + 1.85938847528407*b401 <= 2.95800076395218;

e1088:    x150 - x151 + 1.85938847528407*b402 <= 2.95800076395218;

e1089:    x151 - x152 + 1.85938847528407*b403 <= 2.95800076395218;

e1090:    x152 - x153 + 1.85938847528407*b404 <= 2.95800076395218;

e1091:    x153 - x154 + 1.85938847528407*b405 <= 2.95800076395218;

e1092:    x154 - x155 + 1.85938847528407*b406 <= 2.95800076395218;

e1093:    x155 - x156 + 1.85938847528407*b407 <= 2.95800076395218;

e1094:    x13 - x14 - 1.41730600393768*b397 >= -2.51591829260579;

e1095:    x14 - x15 - 1.41730600393768*b398 >= -2.51591829260579;

e1096:    x15 - x16 - 1.41730600393768*b399 >= -2.51591829260579;

e1097:    x16 - x17 - 1.41730600393768*b400 >= -2.51591829260579;

e1098:    x17 - x18 - 1.41730600393768*b401 >= -2.51591829260579;

e1099:    x18 - x19 - 1.41730600393768*b402 >= -2.51591829260579;

e1100:    x19 - x20 - 1.41730600393768*b403 >= -2.51591829260579;

e1101:    x20 - x21 - 1.41730600393768*b404 >= -2.51591829260579;

e1102:    x21 - x22 - 1.41730600393768*b405 >= -2.51591829260579;

e1103:    x22 - x23 - 1.41730600393768*b406 >= -2.51591829260579;

e1104:    x23 - x24 - 1.41730600393768*b407 >= -2.51591829260579;

e1105:    x25 - x26 - 2.56174912652459*b397 >= -3.6603614151927;

e1106:    x26 - x27 - 2.56174912652459*b398 >= -3.6603614151927;

e1107:    x27 - x28 - 2.56174912652459*b399 >= -3.6603614151927;

e1108:    x28 - x29 - 2.56174912652459*b400 >= -3.6603614151927;

e1109:    x29 - x30 - 2.56174912652459*b401 >= -3.6603614151927;

e1110:    x30 - x31 - 2.56174912652459*b402 >= -3.6603614151927;

e1111:    x31 - x32 - 2.56174912652459*b403 >= -3.6603614151927;

e1112:    x32 - x33 - 2.56174912652459*b404 >= -3.6603614151927;

e1113:    x33 - x34 - 2.56174912652459*b405 >= -3.6603614151927;

e1114:    x34 - x35 - 2.56174912652459*b406 >= -3.6603614151927;

e1115:    x35 - x36 - 2.56174912652459*b407 >= -3.6603614151927;

e1116:    x37 - x38 - 2.23189366487151*b397 >= -3.33050595353962;

e1117:    x38 - x39 - 2.23189366487151*b398 >= -3.33050595353962;

e1118:    x39 - x40 - 2.23189366487151*b399 >= -3.33050595353962;

e1119:    x40 - x41 - 2.23189366487151*b400 >= -3.33050595353962;

e1120:    x41 - x42 - 2.23189366487151*b401 >= -3.33050595353962;

e1121:    x42 - x43 - 2.23189366487151*b402 >= -3.33050595353962;

e1122:    x43 - x44 - 2.23189366487151*b403 >= -3.33050595353962;

e1123:    x44 - x45 - 2.23189366487151*b404 >= -3.33050595353962;

e1124:    x45 - x46 - 2.23189366487151*b405 >= -3.33050595353962;

e1125:    x46 - x47 - 2.23189366487151*b406 >= -3.33050595353962;

e1126:    x47 - x48 - 2.23189366487151*b407 >= -3.33050595353962;

e1127:    x49 - x50 - 2.16158168553082*b397 >= -3.26019397419893;

e1128:    x50 - x51 - 2.16158168553082*b398 >= -3.26019397419893;

e1129:    x51 - x52 - 2.16158168553082*b399 >= -3.26019397419893;

e1130:    x52 - x53 - 2.16158168553082*b400 >= -3.26019397419893;

e1131:    x53 - x54 - 2.16158168553082*b401 >= -3.26019397419893;

e1132:    x54 - x55 - 2.16158168553082*b402 >= -3.26019397419893;

e1133:    x55 - x56 - 2.16158168553082*b403 >= -3.26019397419893;

e1134:    x56 - x57 - 2.16158168553082*b404 >= -3.26019397419893;

e1135:    x57 - x58 - 2.16158168553082*b405 >= -3.26019397419893;

e1136:    x58 - x59 - 2.16158168553082*b406 >= -3.26019397419893;

e1137:    x59 - x60 - 2.16158168553082*b407 >= -3.26019397419893;

e1138:    x61 - x62 - 2.21732524904322*b397 >= -3.31593753771133;

e1139:    x62 - x63 - 2.21732524904322*b398 >= -3.31593753771133;

e1140:    x63 - x64 - 2.21732524904322*b399 >= -3.31593753771133;

e1141:    x64 - x65 - 2.21732524904322*b400 >= -3.31593753771133;

e1142:    x65 - x66 - 2.21732524904322*b401 >= -3.31593753771133;

e1143:    x66 - x67 - 2.21732524904322*b402 >= -3.31593753771133;

e1144:    x67 - x68 - 2.21732524904322*b403 >= -3.31593753771133;

e1145:    x68 - x69 - 2.21732524904322*b404 >= -3.31593753771133;

e1146:    x69 - x70 - 2.21732524904322*b405 >= -3.31593753771133;

e1147:    x70 - x71 - 2.21732524904322*b406 >= -3.31593753771133;

e1148:    x71 - x72 - 2.21732524904322*b407 >= -3.31593753771133;

e1149:    x73 - x74 - 3.03543881899038*b397 >= -4.13405110765849;

e1150:    x74 - x75 - 3.03543881899038*b398 >= -4.13405110765849;

e1151:    x75 - x76 - 3.03543881899038*b399 >= -4.13405110765849;

e1152:    x76 - x77 - 3.03543881899038*b400 >= -4.13405110765849;

e1153:    x77 - x78 - 3.03543881899038*b401 >= -4.13405110765849;

e1154:    x78 - x79 - 3.03543881899038*b402 >= -4.13405110765849;

e1155:    x79 - x80 - 3.03543881899038*b403 >= -4.13405110765849;

e1156:    x80 - x81 - 3.03543881899038*b404 >= -4.13405110765849;

e1157:    x81 - x82 - 3.03543881899038*b405 >= -4.13405110765849;

e1158:    x82 - x83 - 3.03543881899038*b406 >= -4.13405110765849;

e1159:    x83 - x84 - 3.03543881899038*b407 >= -4.13405110765849;

e1160:    x85 - x86 - 2.1353167455725*b397 >= -3.23392903424061;

e1161:    x86 - x87 - 2.1353167455725*b398 >= -3.23392903424061;

e1162:    x87 - x88 - 2.1353167455725*b399 >= -3.23392903424061;

e1163:    x88 - x89 - 2.1353167455725*b400 >= -3.23392903424061;

e1164:    x89 - x90 - 2.1353167455725*b401 >= -3.23392903424061;

e1165:    x90 - x91 - 2.1353167455725*b402 >= -3.23392903424061;

e1166:    x91 - x92 - 2.1353167455725*b403 >= -3.23392903424061;

e1167:    x92 - x93 - 2.1353167455725*b404 >= -3.23392903424061;

e1168:    x93 - x94 - 2.1353167455725*b405 >= -3.23392903424061;

e1169:    x94 - x95 - 2.1353167455725*b406 >= -3.23392903424061;

e1170:    x95 - x96 - 2.1353167455725*b407 >= -3.23392903424061;

e1171:    x97 - x98 - 2.17287348647239*b397 >= -3.2714857751405;

e1172:    x98 - x99 - 2.17287348647239*b398 >= -3.2714857751405;

e1173:    x99 - x100 - 2.17287348647239*b399 >= -3.2714857751405;

e1174:    x100 - x101 - 2.17287348647239*b400 >= -3.2714857751405;

e1175:    x101 - x102 - 2.17287348647239*b401 >= -3.2714857751405;

e1176:    x102 - x103 - 2.17287348647239*b402 >= -3.2714857751405;

e1177:    x103 - x104 - 2.17287348647239*b403 >= -3.2714857751405;

e1178:    x104 - x105 - 2.17287348647239*b404 >= -3.2714857751405;

e1179:    x105 - x106 - 2.17287348647239*b405 >= -3.2714857751405;

e1180:    x106 - x107 - 2.17287348647239*b406 >= -3.2714857751405;

e1181:    x107 - x108 - 2.17287348647239*b407 >= -3.2714857751405;

e1182:    x109 - x110 - 2.06553863651084*b397 >= -3.16415092517895;

e1183:    x110 - x111 - 2.06553863651084*b398 >= -3.16415092517895;

e1184:    x111 - x112 - 2.06553863651084*b399 >= -3.16415092517895;

e1185:    x112 - x113 - 2.06553863651084*b400 >= -3.16415092517895;

e1186:    x113 - x114 - 2.06553863651084*b401 >= -3.16415092517895;

e1187:    x114 - x115 - 2.06553863651084*b402 >= -3.16415092517895;

e1188:    x115 - x116 - 2.06553863651084*b403 >= -3.16415092517895;

e1189:    x116 - x117 - 2.06553863651084*b404 >= -3.16415092517895;

e1190:    x117 - x118 - 2.06553863651084*b405 >= -3.16415092517895;

e1191:    x118 - x119 - 2.06553863651084*b406 >= -3.16415092517895;

e1192:    x119 - x120 - 2.06553863651084*b407 >= -3.16415092517895;

e1193:    x121 - x122 - 2.10475934966412*b397 >= -3.20337163833223;

e1194:    x122 - x123 - 2.10475934966412*b398 >= -3.20337163833223;

e1195:    x123 - x124 - 2.10475934966412*b399 >= -3.20337163833223;

e1196:    x124 - x125 - 2.10475934966412*b400 >= -3.20337163833223;

e1197:    x125 - x126 - 2.10475934966412*b401 >= -3.20337163833223;

e1198:    x126 - x127 - 2.10475934966412*b402 >= -3.20337163833223;

e1199:    x127 - x128 - 2.10475934966412*b403 >= -3.20337163833223;

e1200:    x128 - x129 - 2.10475934966412*b404 >= -3.20337163833223;

e1201:    x129 - x130 - 2.10475934966412*b405 >= -3.20337163833223;

e1202:    x130 - x131 - 2.10475934966412*b406 >= -3.20337163833223;

e1203:    x131 - x132 - 2.10475934966412*b407 >= -3.20337163833223;

e1204:    x133 - x134 - 1.95316137576951*b397 >= -3.05177366443762;

e1205:    x134 - x135 - 1.95316137576951*b398 >= -3.05177366443762;

e1206:    x135 - x136 - 1.95316137576951*b399 >= -3.05177366443762;

e1207:    x136 - x137 - 1.95316137576951*b400 >= -3.05177366443762;

e1208:    x137 - x138 - 1.95316137576951*b401 >= -3.05177366443762;

e1209:    x138 - x139 - 1.95316137576951*b402 >= -3.05177366443762;

e1210:    x139 - x140 - 1.95316137576951*b403 >= -3.05177366443762;

e1211:    x140 - x141 - 1.95316137576951*b404 >= -3.05177366443762;

e1212:    x141 - x142 - 1.95316137576951*b405 >= -3.05177366443762;

e1213:    x142 - x143 - 1.95316137576951*b406 >= -3.05177366443762;

e1214:    x143 - x144 - 1.95316137576951*b407 >= -3.05177366443762;

e1215:    x145 - x146 - 1.85938847528407*b397 >= -2.95800076395218;

e1216:    x146 - x147 - 1.85938847528407*b398 >= -2.95800076395218;

e1217:    x147 - x148 - 1.85938847528407*b399 >= -2.95800076395218;

e1218:    x148 - x149 - 1.85938847528407*b400 >= -2.95800076395218;

e1219:    x149 - x150 - 1.85938847528407*b401 >= -2.95800076395218;

e1220:    x150 - x151 - 1.85938847528407*b402 >= -2.95800076395218;

e1221:    x151 - x152 - 1.85938847528407*b403 >= -2.95800076395218;

e1222:    x152 - x153 - 1.85938847528407*b404 >= -2.95800076395218;

e1223:    x153 - x154 - 1.85938847528407*b405 >= -2.95800076395218;

e1224:    x154 - x155 - 1.85938847528407*b406 >= -2.95800076395218;

e1225:    x155 - x156 - 1.85938847528407*b407 >= -2.95800076395218;

e1227:    x182 - 18.8261458520605*b397 <= -9.21034037197618;

e1228:    x183 - 18.8261458520605*b398 <= -9.21034037197618;

e1229:    x184 - 18.8261458520605*b399 <= -9.21034037197618;

e1230:    x185 - 18.8261458520605*b400 <= -9.21034037197618;

e1231:    x186 - 18.8261458520605*b401 <= -9.21034037197618;

e1232:    x187 - 18.8261458520605*b402 <= -9.21034037197618;

e1233:    x188 - 18.8261458520605*b403 <= -9.21034037197618;

e1234:    x189 - 18.8261458520605*b404 <= -9.21034037197618;

e1235:    x190 - 18.8261458520605*b405 <= -9.21034037197618;

e1236:    x191 - 18.8261458520605*b406 <= -9.21034037197618;

e1237:    x192 - 18.8261458520605*b407 <= -9.21034037197618;

e1238:    x182 + 13.8155105579643*b397 >= -9.21034037197618;

e1239:    x183 + 13.8155105579643*b398 >= -9.21034037197618;

e1240:    x184 + 13.8155105579643*b399 >= -9.21034037197618;

e1241:    x185 + 13.8155105579643*b400 >= -9.21034037197618;

e1242:    x186 + 13.8155105579643*b401 >= -9.21034037197618;

e1243:    x187 + 13.8155105579643*b402 >= -9.21034037197618;

e1244:    x188 + 13.8155105579643*b403 >= -9.21034037197618;

e1245:    x189 + 13.8155105579643*b404 >= -9.21034037197618;

e1246:    x190 + 13.8155105579643*b405 >= -9.21034037197618;

e1247:    x191 + 13.8155105579643*b406 >= -9.21034037197618;

e1248:    x192 + 13.8155105579643*b407 >= -9.21034037197618;

e1249:    x13 - x14 - 2.51591829260579*b397 <= 0;

e1250:    x14 - x15 - 2.51591829260579*b398 <= 0;

e1251:    x15 - x16 - 2.51591829260579*b399 <= 0;

e1252:    x16 - x17 - 2.51591829260579*b400 <= 0;

e1253:    x17 - x18 - 2.51591829260579*b401 <= 0;

e1254:    x18 - x19 - 2.51591829260579*b402 <= 0;

e1255:    x19 - x20 - 2.51591829260579*b403 <= 0;

e1256:    x20 - x21 - 2.51591829260579*b404 <= 0;

e1257:    x21 - x22 - 2.51591829260579*b405 <= 0;

e1258:    x22 - x23 - 2.51591829260579*b406 <= 0;

e1259:    x23 - x24 - 2.51591829260579*b407 <= 0;

e1260:    x25 - x26 - 3.6603614151927*b397 <= 0;

e1261:    x26 - x27 - 3.6603614151927*b398 <= 0;

e1262:    x27 - x28 - 3.6603614151927*b399 <= 0;

e1263:    x28 - x29 - 3.6603614151927*b400 <= 0;

e1264:    x29 - x30 - 3.6603614151927*b401 <= 0;

e1265:    x30 - x31 - 3.6603614151927*b402 <= 0;

e1266:    x31 - x32 - 3.6603614151927*b403 <= 0;

e1267:    x32 - x33 - 3.6603614151927*b404 <= 0;

e1268:    x33 - x34 - 3.6603614151927*b405 <= 0;

e1269:    x34 - x35 - 3.6603614151927*b406 <= 0;

e1270:    x35 - x36 - 3.6603614151927*b407 <= 0;

e1271:    x37 - x38 - 3.33050595353962*b397 <= 0;

e1272:    x38 - x39 - 3.33050595353962*b398 <= 0;

e1273:    x39 - x40 - 3.33050595353962*b399 <= 0;

e1274:    x40 - x41 - 3.33050595353962*b400 <= 0;

e1275:    x41 - x42 - 3.33050595353962*b401 <= 0;

e1276:    x42 - x43 - 3.33050595353962*b402 <= 0;

e1277:    x43 - x44 - 3.33050595353962*b403 <= 0;

e1278:    x44 - x45 - 3.33050595353962*b404 <= 0;

e1279:    x45 - x46 - 3.33050595353962*b405 <= 0;

e1280:    x46 - x47 - 3.33050595353962*b406 <= 0;

e1281:    x47 - x48 - 3.33050595353962*b407 <= 0;

e1282:    x49 - x50 - 3.26019397419893*b397 <= 0;

e1283:    x50 - x51 - 3.26019397419893*b398 <= 0;

e1284:    x51 - x52 - 3.26019397419893*b399 <= 0;

e1285:    x52 - x53 - 3.26019397419893*b400 <= 0;

e1286:    x53 - x54 - 3.26019397419893*b401 <= 0;

e1287:    x54 - x55 - 3.26019397419893*b402 <= 0;

e1288:    x55 - x56 - 3.26019397419893*b403 <= 0;

e1289:    x56 - x57 - 3.26019397419893*b404 <= 0;

e1290:    x57 - x58 - 3.26019397419893*b405 <= 0;

e1291:    x58 - x59 - 3.26019397419893*b406 <= 0;

e1292:    x59 - x60 - 3.26019397419893*b407 <= 0;

e1293:    x61 - x62 - 3.31593753771133*b397 <= 0;

e1294:    x62 - x63 - 3.31593753771133*b398 <= 0;

e1295:    x63 - x64 - 3.31593753771133*b399 <= 0;

e1296:    x64 - x65 - 3.31593753771133*b400 <= 0;

e1297:    x65 - x66 - 3.31593753771133*b401 <= 0;

e1298:    x66 - x67 - 3.31593753771133*b402 <= 0;

e1299:    x67 - x68 - 3.31593753771133*b403 <= 0;

e1300:    x68 - x69 - 3.31593753771133*b404 <= 0;

e1301:    x69 - x70 - 3.31593753771133*b405 <= 0;

e1302:    x70 - x71 - 3.31593753771133*b406 <= 0;

e1303:    x71 - x72 - 3.31593753771133*b407 <= 0;

e1304:    x73 - x74 - 4.13405110765849*b397 <= 0;

e1305:    x74 - x75 - 4.13405110765849*b398 <= 0;

e1306:    x75 - x76 - 4.13405110765849*b399 <= 0;

e1307:    x76 - x77 - 4.13405110765849*b400 <= 0;

e1308:    x77 - x78 - 4.13405110765849*b401 <= 0;

e1309:    x78 - x79 - 4.13405110765849*b402 <= 0;

e1310:    x79 - x80 - 4.13405110765849*b403 <= 0;

e1311:    x80 - x81 - 4.13405110765849*b404 <= 0;

e1312:    x81 - x82 - 4.13405110765849*b405 <= 0;

e1313:    x82 - x83 - 4.13405110765849*b406 <= 0;

e1314:    x83 - x84 - 4.13405110765849*b407 <= 0;

e1315:    x85 - x86 - 3.23392903424061*b397 <= 0;

e1316:    x86 - x87 - 3.23392903424061*b398 <= 0;

e1317:    x87 - x88 - 3.23392903424061*b399 <= 0;

e1318:    x88 - x89 - 3.23392903424061*b400 <= 0;

e1319:    x89 - x90 - 3.23392903424061*b401 <= 0;

e1320:    x90 - x91 - 3.23392903424061*b402 <= 0;

e1321:    x91 - x92 - 3.23392903424061*b403 <= 0;

e1322:    x92 - x93 - 3.23392903424061*b404 <= 0;

e1323:    x93 - x94 - 3.23392903424061*b405 <= 0;

e1324:    x94 - x95 - 3.23392903424061*b406 <= 0;

e1325:    x95 - x96 - 3.23392903424061*b407 <= 0;

e1326:    x97 - x98 - 3.2714857751405*b397 <= 0;

e1327:    x98 - x99 - 3.2714857751405*b398 <= 0;

e1328:    x99 - x100 - 3.2714857751405*b399 <= 0;

e1329:    x100 - x101 - 3.2714857751405*b400 <= 0;

e1330:    x101 - x102 - 3.2714857751405*b401 <= 0;

e1331:    x102 - x103 - 3.2714857751405*b402 <= 0;

e1332:    x103 - x104 - 3.2714857751405*b403 <= 0;

e1333:    x104 - x105 - 3.2714857751405*b404 <= 0;

e1334:    x105 - x106 - 3.2714857751405*b405 <= 0;

e1335:    x106 - x107 - 3.2714857751405*b406 <= 0;

e1336:    x107 - x108 - 3.2714857751405*b407 <= 0;

e1337:    x109 - x110 - 3.16415092517895*b397 <= 0;

e1338:    x110 - x111 - 3.16415092517895*b398 <= 0;

e1339:    x111 - x112 - 3.16415092517895*b399 <= 0;

e1340:    x112 - x113 - 3.16415092517895*b400 <= 0;

e1341:    x113 - x114 - 3.16415092517895*b401 <= 0;

e1342:    x114 - x115 - 3.16415092517895*b402 <= 0;

e1343:    x115 - x116 - 3.16415092517895*b403 <= 0;

e1344:    x116 - x117 - 3.16415092517895*b404 <= 0;

e1345:    x117 - x118 - 3.16415092517895*b405 <= 0;

e1346:    x118 - x119 - 3.16415092517895*b406 <= 0;

e1347:    x119 - x120 - 3.16415092517895*b407 <= 0;

e1348:    x121 - x122 - 3.20337163833223*b397 <= 0;

e1349:    x122 - x123 - 3.20337163833223*b398 <= 0;

e1350:    x123 - x124 - 3.20337163833223*b399 <= 0;

e1351:    x124 - x125 - 3.20337163833223*b400 <= 0;

e1352:    x125 - x126 - 3.20337163833223*b401 <= 0;

e1353:    x126 - x127 - 3.20337163833223*b402 <= 0;

e1354:    x127 - x128 - 3.20337163833223*b403 <= 0;

e1355:    x128 - x129 - 3.20337163833223*b404 <= 0;

e1356:    x129 - x130 - 3.20337163833223*b405 <= 0;

e1357:    x130 - x131 - 3.20337163833223*b406 <= 0;

e1358:    x131 - x132 - 3.20337163833223*b407 <= 0;

e1359:    x133 - x134 - 3.05177366443762*b397 <= 0;

e1360:    x134 - x135 - 3.05177366443762*b398 <= 0;

e1361:    x135 - x136 - 3.05177366443762*b399 <= 0;

e1362:    x136 - x137 - 3.05177366443762*b400 <= 0;

e1363:    x137 - x138 - 3.05177366443762*b401 <= 0;

e1364:    x138 - x139 - 3.05177366443762*b402 <= 0;

e1365:    x139 - x140 - 3.05177366443762*b403 <= 0;

e1366:    x140 - x141 - 3.05177366443762*b404 <= 0;

e1367:    x141 - x142 - 3.05177366443762*b405 <= 0;

e1368:    x142 - x143 - 3.05177366443762*b406 <= 0;

e1369:    x143 - x144 - 3.05177366443762*b407 <= 0;

e1370:    x145 - x146 - 2.95800076395218*b397 <= 0;

e1371:    x146 - x147 - 2.95800076395218*b398 <= 0;

e1372:    x147 - x148 - 2.95800076395218*b399 <= 0;

e1373:    x148 - x149 - 2.95800076395218*b400 <= 0;

e1374:    x149 - x150 - 2.95800076395218*b401 <= 0;

e1375:    x150 - x151 - 2.95800076395218*b402 <= 0;

e1376:    x151 - x152 - 2.95800076395218*b403 <= 0;

e1377:    x152 - x153 - 2.95800076395218*b404 <= 0;

e1378:    x153 - x154 - 2.95800076395218*b405 <= 0;

e1379:    x154 - x155 - 2.95800076395218*b406 <= 0;

e1380:    x155 - x156 - 2.95800076395218*b407 <= 0;

e1381:    x13 - x14 + 2.51591829260579*b397 >= 0;

e1382:    x14 - x15 + 2.51591829260579*b398 >= 0;

e1383:    x15 - x16 + 2.51591829260579*b399 >= 0;

e1384:    x16 - x17 + 2.51591829260579*b400 >= 0;

e1385:    x17 - x18 + 2.51591829260579*b401 >= 0;

e1386:    x18 - x19 + 2.51591829260579*b402 >= 0;

e1387:    x19 - x20 + 2.51591829260579*b403 >= 0;

e1388:    x20 - x21 + 2.51591829260579*b404 >= 0;

e1389:    x21 - x22 + 2.51591829260579*b405 >= 0;

e1390:    x22 - x23 + 2.51591829260579*b406 >= 0;

e1391:    x23 - x24 + 2.51591829260579*b407 >= 0;

e1392:    x25 - x26 + 3.6603614151927*b397 >= 0;

e1393:    x26 - x27 + 3.6603614151927*b398 >= 0;

e1394:    x27 - x28 + 3.6603614151927*b399 >= 0;

e1395:    x28 - x29 + 3.6603614151927*b400 >= 0;

e1396:    x29 - x30 + 3.6603614151927*b401 >= 0;

e1397:    x30 - x31 + 3.6603614151927*b402 >= 0;

e1398:    x31 - x32 + 3.6603614151927*b403 >= 0;

e1399:    x32 - x33 + 3.6603614151927*b404 >= 0;

e1400:    x33 - x34 + 3.6603614151927*b405 >= 0;

e1401:    x34 - x35 + 3.6603614151927*b406 >= 0;

e1402:    x35 - x36 + 3.6603614151927*b407 >= 0;

e1403:    x37 - x38 + 3.33050595353962*b397 >= 0;

e1404:    x38 - x39 + 3.33050595353962*b398 >= 0;

e1405:    x39 - x40 + 3.33050595353962*b399 >= 0;

e1406:    x40 - x41 + 3.33050595353962*b400 >= 0;

e1407:    x41 - x42 + 3.33050595353962*b401 >= 0;

e1408:    x42 - x43 + 3.33050595353962*b402 >= 0;

e1409:    x43 - x44 + 3.33050595353962*b403 >= 0;

e1410:    x44 - x45 + 3.33050595353962*b404 >= 0;

e1411:    x45 - x46 + 3.33050595353962*b405 >= 0;

e1412:    x46 - x47 + 3.33050595353962*b406 >= 0;

e1413:    x47 - x48 + 3.33050595353962*b407 >= 0;

e1414:    x49 - x50 + 3.26019397419893*b397 >= 0;

e1415:    x50 - x51 + 3.26019397419893*b398 >= 0;

e1416:    x51 - x52 + 3.26019397419893*b399 >= 0;

e1417:    x52 - x53 + 3.26019397419893*b400 >= 0;

e1418:    x53 - x54 + 3.26019397419893*b401 >= 0;

e1419:    x54 - x55 + 3.26019397419893*b402 >= 0;

e1420:    x55 - x56 + 3.26019397419893*b403 >= 0;

e1421:    x56 - x57 + 3.26019397419893*b404 >= 0;

e1422:    x57 - x58 + 3.26019397419893*b405 >= 0;

e1423:    x58 - x59 + 3.26019397419893*b406 >= 0;

e1424:    x59 - x60 + 3.26019397419893*b407 >= 0;

e1425:    x61 - x62 + 3.31593753771133*b397 >= 0;

e1426:    x62 - x63 + 3.31593753771133*b398 >= 0;

e1427:    x63 - x64 + 3.31593753771133*b399 >= 0;

e1428:    x64 - x65 + 3.31593753771133*b400 >= 0;

e1429:    x65 - x66 + 3.31593753771133*b401 >= 0;

e1430:    x66 - x67 + 3.31593753771133*b402 >= 0;

e1431:    x67 - x68 + 3.31593753771133*b403 >= 0;

e1432:    x68 - x69 + 3.31593753771133*b404 >= 0;

e1433:    x69 - x70 + 3.31593753771133*b405 >= 0;

e1434:    x70 - x71 + 3.31593753771133*b406 >= 0;

e1435:    x71 - x72 + 3.31593753771133*b407 >= 0;

e1436:    x73 - x74 + 4.13405110765849*b397 >= 0;

e1437:    x74 - x75 + 4.13405110765849*b398 >= 0;

e1438:    x75 - x76 + 4.13405110765849*b399 >= 0;

e1439:    x76 - x77 + 4.13405110765849*b400 >= 0;

e1440:    x77 - x78 + 4.13405110765849*b401 >= 0;

e1441:    x78 - x79 + 4.13405110765849*b402 >= 0;

e1442:    x79 - x80 + 4.13405110765849*b403 >= 0;

e1443:    x80 - x81 + 4.13405110765849*b404 >= 0;

e1444:    x81 - x82 + 4.13405110765849*b405 >= 0;

e1445:    x82 - x83 + 4.13405110765849*b406 >= 0;

e1446:    x83 - x84 + 4.13405110765849*b407 >= 0;

e1447:    x85 - x86 + 3.23392903424061*b397 >= 0;

e1448:    x86 - x87 + 3.23392903424061*b398 >= 0;

e1449:    x87 - x88 + 3.23392903424061*b399 >= 0;

e1450:    x88 - x89 + 3.23392903424061*b400 >= 0;

e1451:    x89 - x90 + 3.23392903424061*b401 >= 0;

e1452:    x90 - x91 + 3.23392903424061*b402 >= 0;

e1453:    x91 - x92 + 3.23392903424061*b403 >= 0;

e1454:    x92 - x93 + 3.23392903424061*b404 >= 0;

e1455:    x93 - x94 + 3.23392903424061*b405 >= 0;

e1456:    x94 - x95 + 3.23392903424061*b406 >= 0;

e1457:    x95 - x96 + 3.23392903424061*b407 >= 0;

e1458:    x97 - x98 + 3.2714857751405*b397 >= 0;

e1459:    x98 - x99 + 3.2714857751405*b398 >= 0;

e1460:    x99 - x100 + 3.2714857751405*b399 >= 0;

e1461:    x100 - x101 + 3.2714857751405*b400 >= 0;

e1462:    x101 - x102 + 3.2714857751405*b401 >= 0;

e1463:    x102 - x103 + 3.2714857751405*b402 >= 0;

e1464:    x103 - x104 + 3.2714857751405*b403 >= 0;

e1465:    x104 - x105 + 3.2714857751405*b404 >= 0;

e1466:    x105 - x106 + 3.2714857751405*b405 >= 0;

e1467:    x106 - x107 + 3.2714857751405*b406 >= 0;

e1468:    x107 - x108 + 3.2714857751405*b407 >= 0;

e1469:    x109 - x110 + 3.16415092517895*b397 >= 0;

e1470:    x110 - x111 + 3.16415092517895*b398 >= 0;

e1471:    x111 - x112 + 3.16415092517895*b399 >= 0;

e1472:    x112 - x113 + 3.16415092517895*b400 >= 0;

e1473:    x113 - x114 + 3.16415092517895*b401 >= 0;

e1474:    x114 - x115 + 3.16415092517895*b402 >= 0;

e1475:    x115 - x116 + 3.16415092517895*b403 >= 0;

e1476:    x116 - x117 + 3.16415092517895*b404 >= 0;

e1477:    x117 - x118 + 3.16415092517895*b405 >= 0;

e1478:    x118 - x119 + 3.16415092517895*b406 >= 0;

e1479:    x119 - x120 + 3.16415092517895*b407 >= 0;

e1480:    x121 - x122 + 3.20337163833223*b397 >= 0;

e1481:    x122 - x123 + 3.20337163833223*b398 >= 0;

e1482:    x123 - x124 + 3.20337163833223*b399 >= 0;

e1483:    x124 - x125 + 3.20337163833223*b400 >= 0;

e1484:    x125 - x126 + 3.20337163833223*b401 >= 0;

e1485:    x126 - x127 + 3.20337163833223*b402 >= 0;

e1486:    x127 - x128 + 3.20337163833223*b403 >= 0;

e1487:    x128 - x129 + 3.20337163833223*b404 >= 0;

e1488:    x129 - x130 + 3.20337163833223*b405 >= 0;

e1489:    x130 - x131 + 3.20337163833223*b406 >= 0;

e1490:    x131 - x132 + 3.20337163833223*b407 >= 0;

e1491:    x133 - x134 + 3.05177366443762*b397 >= 0;

e1492:    x134 - x135 + 3.05177366443762*b398 >= 0;

e1493:    x135 - x136 + 3.05177366443762*b399 >= 0;

e1494:    x136 - x137 + 3.05177366443762*b400 >= 0;

e1495:    x137 - x138 + 3.05177366443762*b401 >= 0;

e1496:    x138 - x139 + 3.05177366443762*b402 >= 0;

e1497:    x139 - x140 + 3.05177366443762*b403 >= 0;

e1498:    x140 - x141 + 3.05177366443762*b404 >= 0;

e1499:    x141 - x142 + 3.05177366443762*b405 >= 0;

e1500:    x142 - x143 + 3.05177366443762*b406 >= 0;

e1501:    x143 - x144 + 3.05177366443762*b407 >= 0;

e1502:    x145 - x146 + 2.95800076395218*b397 >= 0;

e1503:    x146 - x147 + 2.95800076395218*b398 >= 0;

e1504:    x147 - x148 + 2.95800076395218*b399 >= 0;

e1505:    x148 - x149 + 2.95800076395218*b400 >= 0;

e1506:    x149 - x150 + 2.95800076395218*b401 >= 0;

e1507:    x150 - x151 + 2.95800076395218*b402 >= 0;

e1508:    x151 - x152 + 2.95800076395218*b403 >= 0;

e1509:    x152 - x153 + 2.95800076395218*b404 >= 0;

e1510:    x153 - x154 + 2.95800076395218*b405 >= 0;

e1511:    x154 - x155 + 2.95800076395218*b406 >= 0;

e1512:    x155 - x156 + 2.95800076395218*b407 >= 0;