#  MINLP written by GAMS Convert at 01/12/18 13:29:58
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1782       25     1223      534        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        446      243      203        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       5069     5007       62        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 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x158 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x159 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x160 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x161 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x162 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x163 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x164 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x165 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x166 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x167 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x168 := 3.35863776724336, >= 3.35863776724336, <= 6.11929791861787;
var x169 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x170 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x171 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x172 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x173 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x174 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x175 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x176 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x177 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x178 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x179 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x180 := 3.32922388203707, >= 3.32922388203707, <= 6.65644085070123;
var x181 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x182 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x183 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x184 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x185 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x186 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x187 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x188 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x189 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x190 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x191 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x192 := 2.80336038090654, >= 2.80336038090654, <= 6.51185962189012;
var x193 >= 0, <= 2.07944154167984;
var x194 >= 0, <= 2.07944154167984;
var x195 >= 0, <= 2.07944154167984;
var x196 >= 0, <= 2.07944154167984;
var x197 >= 0, <= 2.07944154167984;
var x198 >= 0, <= 2.07944154167984;
var x199 >= 0, <= 2.07944154167984;
var x200 >= 0, <= 2.07944154167984;
var x201 >= 0, <= 2.07944154167984;
var x202 >= 0, <= 2.07944154167984;
var x203 >= 0, <= 2.07944154167984;
var x204 >= 0, <= 2.07944154167984;
var x205 >= 0, <= 2.07944154167984;
var x206 >= 0, <= 2.07944154167984;
var x207 >= 0, <= 2.07944154167984;
var x208 >= 0, <= 2.07944154167984;
var x209 >= 0, <= 2.07944154167984;
var x210 >= 0, <= 2.07944154167984;
var x211 >= 0, <= 2.07944154167984;
var x212 >= 0, <= 2.07944154167984;
var x213 >= 0, <= 2.07944154167984;
var x214 >= 0, <= 2.07944154167984;
var x215 >= 0, <= 2.07944154167984;
var x216 >= 0, <= 2.07944154167984;
var x218 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x219 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x220 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x221 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x222 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x223 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x224 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x225 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x226 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x227 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x228 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x229;
var x230;
var x231;
var x232;
var x233;
var x234;
var x235;
var x236;
var x237;
var x238;
var x239;
var x240;
var x241;
var x242;
var x243;
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;
var b408 binary >= 0, <= 1;
var b409 binary >= 0, <= 1;
var b410 binary >= 0, <= 1;
var b411 binary >= 0, <= 1;
var b412 binary >= 0, <= 1;
var b413 binary >= 0, <= 1;
var b414 binary >= 0, <= 1;
var b415 binary >= 0, <= 1;
var b416 binary >= 0, <= 1;
var b417 binary >= 0, <= 1;
var b418 binary >= 0, <= 1;
var b419 binary >= 0, <= 1;
var b420 binary >= 0, <= 1;
var b421 binary >= 0, <= 1;
var b422 binary >= 0, <= 1;
var b423 binary >= 0, <= 1;
var b424 binary >= 0, <= 1;
var b425 binary >= 0, <= 1;
var b426 binary >= 0, <= 1;
var b427 binary >= 0, <= 1;
var b428 binary >= 0, <= 1;
var b429 binary >= 0, <= 1;
var b430 binary >= 0, <= 1;
var b431 binary >= 0, <= 1;
var b432 binary >= 0, <= 1;
var b433 binary >= 0, <= 1;
var b434 binary >= 0, <= 1;
var b435 binary >= 0, <= 1;
var b436 binary >= 0, <= 1;
var b437 binary >= 0, <= 1;
var b438 binary >= 0, <= 1;
var b439 binary >= 0, <= 1;
var b440 binary >= 0, <= 1;
var b441 binary >= 0, <= 1;
var b442 binary >= 0, <= 1;
var b443 binary >= 0, <= 1;
var b444 binary >= 0, <= 1;
var b445 binary >= 0, <= 1;
var b446 binary >= 0, <= 1;

minimize obj: 250*(exp(0.6*x1 + x193 + x205) + exp(0.6*x2 + x194 + x206) + exp(
    0.6*x3 + x195 + x207) + exp(0.6*x4 + x196 + x208) + exp(0.6*x5 + x197 + 
    x209) + exp(0.6*x6 + x198 + x210) + exp(0.6*x7 + x199 + x211) + exp(0.6*x8
     + x200 + x212) + exp(0.6*x9 + x201 + x213) + exp(0.6*x10 + x202 + x214) + 
    exp(0.6*x11 + x203 + x215) + exp(0.6*x12 + x204 + x216)) + 150*(exp(0.5*
    x218) + exp(0.5*x219) + exp(0.5*x220) + exp(0.5*x221) + exp(0.5*x222) + 
    exp(0.5*x223) + exp(0.5*x224) + exp(0.5*x225) + exp(0.5*x226) + exp(0.5*
    x227) + exp(0.5*x228));

subject to

e1:    x1 - x13 + x193 >= 1.06471073699243;

e2:    x2 - x14 + x194 >= 0.693147180559945;

e3:    x3 - x15 + x195 >= 1.64865862558738;

e4:    x4 - x16 + x196 >= 1.58923520511658;

e5:    x5 - x17 + x197 >= 1.80828877117927;

e6:    x6 - x18 + x198 >= 1.43508452528932;

e7:    x7 - x19 + x199 >= 1.6094379124341;

e8:    x8 - x20 + x200 >= 0.0953101798043249;

e9:    x9 - x21 + x201 >= 1.16315080980568;

e10:    x10 - x22 + x202 >= 1.50407739677627;

e11:    x11 - x23 + x203 >= 0.53062825106217;

e12:    x12 - x24 + x204 >= 0.262364264467491;

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

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

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

e16:    x4 - x28 + x196 >= 1.22377543162212;

e17:    x5 - x29 + x197 >= 0.741937344729377;

e18:    x6 - x30 + x198 >= 0.916290731874155;

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

e20:    x8 - x32 + x200 >= 0.78845736036427;

e21:    x9 - x33 + x201 >= 0.336472236621213;

e22:    x10 - x34 + x202 >= 0.78845736036427;

e23:    x11 - x35 + x203 >= 0.955511445027436;

e24:    x12 - x36 + x204 >= 1.45861502269952;

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

e26:    x2 - x38 + x194 >= 0.955511445027436;

e27:    x3 - x39 + x195 >= 0.470003629245736;

e28:    x4 - x40 + x196 >= 1.28093384546206;

e29:    x5 - x41 + x197 >= 1.16315080980568;

e30:    x6 - x42 + x198 >= 1.06471073699243;

e31:    x7 - x43 + x199 >= 1.28093384546206;

e32:    x8 - x44 + x200 >= 1.38629436111989;

e33:    x9 - x45 + x201 >= 1.45861502269952;

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

e35:    x11 - x47 + x203 >= 0.916290731874155;

e36:    x12 - x48 + x204 >= 1.66770682055808;

e37:    x1 - x49 + x193 >= 1.54756250871601;

e38:    x2 - x50 + x194 >= 0.832909122935104;

e39:    x3 - x51 + x195 >= 0.470003629245736;

e40:    x4 - x52 + x196 >= 0.993251773010283;

e41:    x5 - x53 + x197 >= 0.182321556793955;

e42:    x6 - x54 + x198 >= 0.916290731874155;

e43:    x7 - x55 + x199 >= 1.3609765531356;

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

e45:    x9 - x57 + x201 >= 1.1314021114911;

e46:    x10 - x58 + x202 >= 1.75785791755237;

e47:    x11 - x59 + x203 >= 1.30833281965018;

e48:    x12 - x60 + x204 >= 1.87180217690159;

e49:    x1 - x61 + x193 >= 0.182321556793955;

e50:    x2 - x62 + x194 >= 1.28093384546206;

e51:    x3 - x63 + x195 >= 0.8754687373539;

e52:    x4 - x64 + x196 >= 1.50407739677627;

e53:    x5 - x65 + x197 >= 0.470003629245736;

e54:    x6 - x66 + x198 >= 0.741937344729377;

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

e56:    x8 - x68 + x200 >= 1.43508452528932;

e57:    x9 - x69 + x201 >= 0.741937344729377;

e58:    x10 - x70 + x202 >= 1.41098697371026;

e59:    x11 - x71 + x203 >= 1.48160454092422;

e60:    x12 - x72 + x204 >= 2.04122032885964;

e61:    x1 - x73 + x193 >= 1.1314021114911;

e62:    x2 - x74 + x194 >= 0.916290731874155;

e63:    x3 - x75 + x195 >= 1.50407739677627;

e64:    x4 - x76 + x196 >= 0.262364264467491;

e65:    x5 - x77 + x197 >= 1.19392246847243;

e66:    x6 - x78 + x198 >= 1.41098697371026;

e67:    x7 - x79 + x199 >= 0.336472236621213;

e68:    x8 - x80 + x200 >= 0;

e69:    x9 - x81 + x201 >= 1.25276296849537;

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

e71:    x11 - x83 + x203 >= 0.78845736036427;

e72:    x12 - x84 + x204 >= 1.33500106673234;

e73:    x1 - x85 + x193 >= 0;

e74:    x2 - x86 + x194 >= 0.78845736036427;

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

e76:    x4 - x88 + x196 >= 1.43508452528932;

e77:    x5 - x89 + x197 >= 1.02961941718116;

e78:    x6 - x90 + x198 >= 0.832909122935104;

e79:    x7 - x91 + x199 >= 1.64865862558738;

e80:    x8 - x92 + x200 >= 0.641853886172395;

e81:    x9 - x93 + x201 >= 0.955511445027436;

e82:    x10 - x94 + x202 >= 0.0953101798043249;

e83:    x11 - x95 + x203 >= 1.54756250871601;

e84:    x12 - x96 + x204 >= 1.58923520511658;

e85:    x1 - x97 + x193 >= 0.916290731874155;

e86:    x2 - x98 + x194 >= 0.0953101798043249;

e87:    x3 - x99 + x195 >= 1.66770682055808;

e88:    x4 - x100 + x196 >= 0.955511445027436;

e89:    x5 - x101 + x197 >= 1.30833281965018;

e90:    x6 - x102 + x198 >= 1.38629436111989;

e91:    x7 - x103 + x199 >= 0.78845736036427;

e92:    x8 - x104 + x200 >= 1.19392246847243;

e93:    x9 - x105 + x201 >= 0.993251773010283;

e94:    x10 - x106 + x202 >= 1.22377543162212;

e95:    x11 - x107 + x203 >= 1.79175946922805;

e96:    x12 - x108 + x204 >= 1.93152141160321;

e97:    x1 - x109 + x193 >= 0.8754687373539;

e98:    x2 - x110 + x194 >= 0.916290731874155;

e99:    x3 - x111 + x195 >= 0.993251773010283;

e100:    x4 - x112 + x196 >= 1.16315080980568;

e101:    x5 - x113 + x197 >= 0.832909122935104;

e102:    x6 - x114 + x198 >= 0.53062825106217;

e103:    x7 - x115 + x199 >= 1.64865862558738;

e104:    x8 - x116 + x200 >= 1.54756250871601;

e105:    x9 - x117 + x201 >= 0.955511445027436;

e106:    x10 - x118 + x202 >= 0.336472236621213;

e107:    x11 - x119 + x203 >= 1.30833281965018;

e108:    x12 - x120 + x204 >= 1.28093384546206;

e109:    x1 - x121 + x193 >= 0.993251773010283;

e110:    x2 - x122 + x194 >= 1.19392246847243;

e111:    x3 - x123 + x195 >= 1.48160454092422;

e112:    x4 - x124 + x196 >= 0.955511445027436;

e113:    x5 - x125 + x197 >= 1.30833281965018;

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

e115:    x7 - x127 + x199 >= 0.993251773010283;

e116:    x8 - x128 + x200 >= 1.82454929205105;

e117:    x9 - x129 + x201 >= 1.16315080980568;

e118:    x10 - x130 + x202 >= 1.22377543162212;

e119:    x11 - x131 + x203 >= 1.87180217690159;

e120:    x12 - x132 + x204 >= 1.79175946922805;

e121:    x1 - x133 + x193 >= 1.06471073699243;

e122:    x2 - x134 + x194 >= 0.693147180559945;

e123:    x3 - x135 + x195 >= 1.64865862558738;

e124:    x4 - x136 + x196 >= 1.58923520511658;

e125:    x5 - x137 + x197 >= 1.80828877117927;

e126:    x6 - x138 + x198 >= 1.43508452528932;

e127:    x7 - x139 + x199 >= 1.6094379124341;

e128:    x8 - x140 + x200 >= 0.0953101798043249;

e129:    x9 - x141 + x201 >= 1.16315080980568;

e130:    x10 - x142 + x202 >= 1.50407739677627;

e131:    x11 - x143 + x203 >= 1.45861502269952;

e132:    x12 - x144 + x204 >= 1.25276296849537;

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

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

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

e136:    x4 - x148 + x196 >= 1.22377543162212;

e137:    x5 - x149 + x197 >= 0.741937344729377;

e138:    x6 - x150 + x198 >= 0.916290731874155;

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

e140:    x8 - x152 + x200 >= 0.78845736036427;

e141:    x9 - x153 + x201 >= 0.336472236621213;

e142:    x10 - x154 + x202 >= 0.78845736036427;

e143:    x11 - x155 + x203 >= 1.16315080980568;

e144:    x12 - x156 + x204 >= 1.80828877117927;

e145:    x1 - x157 + x193 >= 0.182321556793955;

e146:    x2 - x158 + x194 >= 1.28093384546206;

e147:    x3 - x159 + x195 >= 0.8754687373539;

e148:    x4 - x160 + x196 >= 1.50407739677627;

e149:    x5 - x161 + x197 >= 0.470003629245736;

e150:    x6 - x162 + x198 >= 0.741937344729377;

e151:    x7 - x163 + x199 >= -0.105360515657826;

e152:    x8 - x164 + x200 >= 1.43508452528932;

e153:    x9 - x165 + x201 >= 0.741937344729377;

e154:    x10 - x166 + x202 >= 1.41098697371026;

e155:    x11 - x167 + x203 >= 1.48160454092422;

e156:    x12 - x168 + x204 >= 2.04122032885964;

e157:    x1 - x169 + x193 >= 1.1314021114911;

e158:    x2 - x170 + x194 >= 0.916290731874155;

e159:    x3 - x171 + x195 >= 1.50407739677627;

e160:    x4 - x172 + x196 >= 0.262364264467491;

e161:    x5 - x173 + x197 >= 1.19392246847243;

e162:    x6 - x174 + x198 >= 1.41098697371026;

e163:    x7 - x175 + x199 >= 0.336472236621213;

e164:    x8 - x176 + x200 >= 0;

e165:    x9 - x177 + x201 >= 1.25276296849537;

e166:    x10 - x178 + x202 >= -0.356674943938732;

e167:    x11 - x179 + x203 >= 0.78845736036427;

e168:    x12 - x180 + x204 >= 1.33500106673234;

e169:    x1 - x181 + x193 >= 0;

e170:    x2 - x182 + x194 >= 0.78845736036427;

e171:    x3 - x183 + x195 >= -0.356674943938732;

e172:    x4 - x184 + x196 >= 1.43508452528932;

e173:    x5 - x185 + x197 >= 1.02961941718116;

e174:    x6 - x186 + x198 >= 0.832909122935104;

e175:    x7 - x187 + x199 >= 1.64865862558738;

e176:    x8 - x188 + x200 >= 0.641853886172395;

e177:    x9 - x189 + x201 >= 0.955511445027436;

e178:    x10 - x190 + x202 >= 0.0953101798043249;

e179:    x11 - x191 + x203 >= 1.54756250871601;

e180:    x12 - x192 + x204 >= 1.58923520511658;

e181:    x13 + x205 + x229 >= 1.85629799036563;

e182:    x14 + x206 + x229 >= 1.54756250871601;

e183:    x15 + x207 + x229 >= 0.262364264467491;

e184:    x16 + x208 + x229 >= 1.3609765531356;

e185:    x17 + x209 + x229 >= 0.741937344729377;

e186:    x18 + x210 + x229 >= 0.470003629245736;

e187:    x19 + x211 + x229 >= 1.16315080980568;

e188:    x20 + x212 + x229 >= 1.1314021114911;

e189:    x21 + x213 + x229 >= 1.43508452528932;

e190:    x22 + x214 + x229 >= 1.64865862558738;

e191:    x23 + x215 + x229 >= 1.7227665977411;

e192:    x24 + x216 + x229 >= 2.18605127673809;

e193:    x25 + x205 + x230 >= 1.33500106673234;

e194:    x26 + x206 + x230 >= 1.85629799036563;

e195:    x27 + x207 + x230 >= 1.87180217690159;

e196:    x28 + x208 + x230 >= 1.48160454092422;

e197:    x29 + x209 + x230 >= 0.832909122935104;

e198:    x30 + x210 + x230 >= 1.16315080980568;

e199:    x31 + x211 + x230 >= 1.64865862558738;

e200:    x32 + x212 + x230 >= 0.916290731874155;

e201:    x33 + x213 + x230 >= 1.48160454092422;

e202:    x34 + x214 + x230 >= 0.0953101798043249;

e203:    x35 + x215 + x230 >= 1.50407739677627;

e204:    x36 + x216 + x230 >= 1.90210752639692;

e205:    x37 + x205 + x231 >= 0;

e206:    x38 + x206 + x231 >= 1.84054963339749;

e207:    x39 + x207 + x231 >= 1.22377543162212;

e208:    x40 + x208 + x231 >= 1.58923520511658;

e209:    x41 + x209 + x231 >= 0.993251773010283;

e210:    x42 + x210 + x231 >= 1.82454929205105;

e211:    x43 + x211 + x231 >= 1.1314021114911;

e212:    x44 + x212 + x231 >= 0.182321556793955;

e213:    x45 + x213 + x231 >= 0.832909122935104;

e214:    x46 + x214 + x231 >= 1.62924053973028;

e215:    x47 + x215 + x231 >= 1.30833281965018;

e216:    x48 + x216 + x231 >= 1.7227665977411;

e217:    x49 + x205 + x232 >= 1.16315080980568;

e218:    x50 + x206 + x232 >= 1.09861228866811;

e219:    x51 + x207 + x232 >= 1.25276296849537;

e220:    x52 + x208 + x232 >= 1.19392246847243;

e221:    x53 + x209 + x232 >= 1.02961941718116;

e222:    x54 + x210 + x232 >= 1.22377543162212;

e223:    x55 + x211 + x232 >= 1.43508452528932;

e224:    x56 + x212 + x232 >= 1.06471073699243;

e225:    x57 + x213 + x232 >= 1.82454929205105;

e226:    x58 + x214 + x232 >= 0.78845736036427;

e227:    x59 + x215 + x232 >= 1.75785791755237;

e228:    x60 + x216 + x232 >= 1.50407739677627;

e229:    x61 + x205 + x233 >= 0.741937344729377;

e230:    x62 + x206 + x233 >= 0.916290731874155;

e231:    x63 + x207 + x233 >= 1.43508452528932;

e232:    x64 + x208 + x233 >= 1.28093384546206;

e233:    x65 + x209 + x233 >= 1.30833281965018;

e234:    x66 + x210 + x233 >= 0.78845736036427;

e235:    x67 + x211 + x233 >= 1.62924053973028;

e236:    x68 + x212 + x233 >= -0.916290731874155;

e237:    x69 + x213 + x233 >= 1.41098697371026;

e238:    x70 + x214 + x233 >= 0.262364264467491;

e239:    x71 + x215 + x233 >= 1.88706964903238;

e240:    x72 + x216 + x233 >= 1.22377543162212;

e241:    x73 + x205 + x234 >= 1.25276296849537;

e242:    x74 + x206 + x234 >= 1.41098697371026;

e243:    x75 + x207 + x234 >= -0.105360515657826;

e244:    x76 + x208 + x234 >= 0.336472236621213;

e245:    x77 + x209 + x234 >= 1.28093384546206;

e246:    x78 + x210 + x234 >= 0.993251773010283;

e247:    x79 + x211 + x234 >= 1.06471073699243;

e248:    x80 + x212 + x234 >= 1.30833281965018;

e249:    x81 + x213 + x234 >= -0.22314355131421;

e250:    x82 + x214 + x234 >= 0.405465108108164;

e251:    x83 + x215 + x234 >= 1.52605630349505;

e252:    x84 + x216 + x234 >= 1.19392246847243;

e253:    x85 + x205 + x235 >= 1.41098697371026;

e254:    x86 + x206 + x235 >= 1.90210752639692;

e255:    x87 + x207 + x235 >= 0.78845736036427;

e256:    x88 + x208 + x235 >= 0.336472236621213;

e257:    x89 + x209 + x235 >= -0.356674943938732;

e258:    x90 + x210 + x235 >= 1.54756250871601;

e259:    x91 + x211 + x235 >= 0.262364264467491;

e260:    x92 + x212 + x235 >= -0.510825623765991;

e261:    x93 + x213 + x235 >= 1.16315080980568;

e262:    x94 + x214 + x235 >= 0.741937344729377;

e263:    x95 + x215 + x235 >= 1.22377543162212;

e264:    x96 + x216 + x235 >= 0.955511445027436;

e265:    x97 + x205 + x236 >= 1.66770682055808;

e266:    x98 + x206 + x236 >= 1.1314021114911;

e267:    x99 + x207 + x236 >= 1.02961941718116;

e268:    x100 + x208 + x236 >= 0.405465108108164;

e269:    x101 + x209 + x236 >= 1.16315080980568;

e270:    x102 + x210 + x236 >= 1.80828877117927;

e271:    x103 + x211 + x236 >= -0.693147180559945;

e272:    x104 + x212 + x236 >= 1.3609765531356;

e273:    x105 + x213 + x236 >= 0.993251773010283;

e274:    x106 + x214 + x236 >= 1.41098697371026;

e275:    x107 + x215 + x236 >= 1.88706964903238;

e276:    x108 + x216 + x236 >= 0.470003629245736;

e277:    x109 + x205 + x237 >= 0.955511445027436;

e278:    x110 + x206 + x237 >= 1.64865862558738;

e279:    x111 + x207 + x237 >= 1.16315080980568;

e280:    x112 + x208 + x237 >= 1.22377543162212;

e281:    x113 + x209 + x237 >= 1.48160454092422;

e282:    x114 + x210 + x237 >= 0.0953101798043249;

e283:    x115 + x211 + x237 >= 1.96009478404727;

e284:    x116 + x212 + x237 >= 0.916290731874155;

e285:    x117 + x213 + x237 >= 1.1314021114911;

e286:    x118 + x214 + x237 >= -0.105360515657826;

e287:    x119 + x215 + x237 >= 2.05412373369555;

e288:    x120 + x216 + x237 >= 1.75785791755237;

e289:    x121 + x205 + x238 >= 0.53062825106217;

e290:    x122 + x206 + x238 >= 1.64865862558738;

e291:    x123 + x207 + x238 >= 1.30833281965018;

e292:    x124 + x208 + x238 >= 0.955511445027436;

e293:    x125 + x209 + x238 >= 1.64865862558738;

e294:    x126 + x210 + x238 >= 0.955511445027436;

e295:    x127 + x211 + x238 >= 1.62924053973028;

e296:    x128 + x212 + x238 >= 2.10413415427021;

e297:    x129 + x213 + x238 >= 0.0953101798043249;

e298:    x130 + x214 + x238 >= 1.06471073699243;

e299:    x131 + x215 + x238 >= 2.12823170584927;

e300:    x132 + x216 + x238 >= 1.56861591791385;

e301:    x133 + x205 + x239 >= 1.85629799036563;

e302:    x134 + x206 + x239 >= 1.54756250871601;

e303:    x135 + x207 + x239 >= 0.262364264467491;

e304:    x136 + x208 + x239 >= 1.3609765531356;

e305:    x137 + x209 + x239 >= 0.741937344729377;

e306:    x138 + x210 + x239 >= 0.470003629245736;

e307:    x139 + x211 + x239 >= 1.16315080980568;

e308:    x140 + x212 + x239 >= 1.1314021114911;

e309:    x141 + x213 + x239 >= 1.43508452528932;

e310:    x142 + x214 + x239 >= 1.64865862558738;

e311:    x143 + x215 + x239 >= 2.23001440015921;

e312:    x144 + x216 + x239 >= 1.87180217690159;

e313:    x145 + x205 + x240 >= 1.33500106673234;

e314:    x146 + x206 + x240 >= 1.85629799036563;

e315:    x147 + x207 + x240 >= 1.87180217690159;

e316:    x148 + x208 + x240 >= 1.48160454092422;

e317:    x149 + x209 + x240 >= 0.832909122935104;

e318:    x150 + x210 + x240 >= 1.16315080980568;

e319:    x151 + x211 + x240 >= 1.64865862558738;

e320:    x152 + x212 + x240 >= 0.916290731874155;

e321:    x153 + x213 + x240 >= 1.48160454092422;

e322:    x154 + x214 + x240 >= 0.0953101798043249;

e323:    x155 + x215 + x240 >= -1.6094379124341;

e324:    x156 + x216 + x240 >= 1.85629799036563;

e325:    x157 + x205 + x241 >= 1.25276296849537;

e326:    x158 + x206 + x241 >= 1.41098697371026;

e327:    x159 + x207 + x241 >= -0.105360515657826;

e328:    x160 + x208 + x241 >= 0.336472236621213;

e329:    x161 + x209 + x241 >= 1.28093384546206;

e330:    x162 + x210 + x241 >= 0.993251773010283;

e331:    x163 + x211 + x241 >= 1.06471073699243;

e332:    x164 + x212 + x241 >= 1.30833281965018;

e333:    x165 + x213 + x241 >= -0.22314355131421;

e334:    x166 + x214 + x241 >= 0.405465108108164;

e335:    x167 + x215 + x241 >= 1.52605630349505;

e336:    x168 + x216 + x241 >= 1.19392246847243;

e337:    x169 + x205 + x242 >= 1.41098697371026;

e338:    x170 + x206 + x242 >= 1.90210752639692;

e339:    x171 + x207 + x242 >= 0.78845736036427;

e340:    x172 + x208 + x242 >= 0.336472236621213;

e341:    x173 + x209 + x242 >= -0.356674943938732;

e342:    x174 + x210 + x242 >= 1.54756250871601;

e343:    x175 + x211 + x242 >= 0.262364264467491;

e344:    x176 + x212 + x242 >= -0.510825623765991;

e345:    x177 + x213 + x242 >= 1.16315080980568;

e346:    x178 + x214 + x242 >= 0.741937344729377;

e347:    x179 + x215 + x242 >= 1.22377543162212;

e348:    x180 + x216 + x242 >= 0.955511445027436;

e349:    x181 + x205 + x243 >= 1.66770682055808;

e350:    x182 + x206 + x243 >= 1.1314021114911;

e351:    x183 + x207 + x243 >= 1.02961941718116;

e352:    x184 + x208 + x243 >= 0.405465108108164;

e353:    x185 + x209 + x243 >= 1.16315080980568;

e354:    x186 + x210 + x243 >= 1.80828877117927;

e355:    x187 + x211 + x243 >= -0.693147180559945;

e356:    x188 + x212 + x243 >= 1.3609765531356;

e357:    x189 + x213 + x243 >= 0.993251773010283;

e358:    x190 + x214 + x243 >= 1.41098697371026;

e359:    x191 + x215 + x243 >= 1.88706964903238;

e360:    x192 + x216 + x243 >= 0.470003629245736;

e361: 250000*exp(x229) + 150000*exp(x230) + 180000*exp(x231) + 160000*exp(x232)
       + 120000*exp(x233) + 130000*exp(x234) + 190000*exp(x235) + 140000*exp(
      x236) + 175000*exp(x237) + 125000*exp(x238) + 140000*exp(x239) + 220000*
      exp(x240) + 300000*exp(x241) + 200000*exp(x242) + 120000*exp(x243)
       <= 6000;

e362:  - x14 + x218 - 4.04964438330419*b436 >= -1.74705929031015;

e363:  - x15 + x219 - 4.04964438330419*b437 >= -1.74705929031015;

e364:  - x16 + x220 - 4.04964438330419*b438 >= -1.74705929031015;

e365:  - x17 + x221 - 4.04964438330419*b439 >= -1.74705929031015;

e366:  - x18 + x222 - 4.04964438330419*b440 >= -1.74705929031015;

e367:  - x19 + x223 - 4.04964438330419*b441 >= -1.74705929031015;

e368:  - x20 + x224 - 4.04964438330419*b442 >= -1.74705929031015;

e369:  - x21 + x225 - 4.04964438330419*b443 >= -1.74705929031015;

e370:  - x22 + x226 - 4.04964438330419*b444 >= -1.74705929031015;

e371:  - x23 + x227 - 4.04964438330419*b445 >= -1.74705929031015;

e372:  - x24 + x228 - 4.04964438330419*b446 >= -1.74705929031015;

e373:  - x26 + x218 - 4.39931813178394*b436 >= -2.0967330387899;

e374:  - x27 + x219 - 4.39931813178394*b437 >= -2.0967330387899;

e375:  - x28 + x220 - 4.39931813178394*b438 >= -2.0967330387899;

e376:  - x29 + x221 - 4.39931813178394*b439 >= -2.0967330387899;

e377:  - x30 + x222 - 4.39931813178394*b440 >= -2.0967330387899;

e378:  - x31 + x223 - 4.39931813178394*b441 >= -2.0967330387899;

e379:  - x32 + x224 - 4.39931813178394*b442 >= -2.0967330387899;

e380:  - x33 + x225 - 4.39931813178394*b443 >= -2.0967330387899;

e381:  - x34 + x226 - 4.39931813178394*b444 >= -2.0967330387899;

e382:  - x35 + x227 - 4.39931813178394*b445 >= -2.0967330387899;

e383:  - x36 + x228 - 4.39931813178394*b446 >= -2.0967330387899;

e384:  - x38 + x218 - 4.19022633392538*b436 >= -1.88764124093134;

e385:  - x39 + x219 - 4.19022633392538*b437 >= -1.88764124093134;

e386:  - x40 + x220 - 4.19022633392538*b438 >= -1.88764124093134;

e387:  - x41 + x221 - 4.19022633392538*b439 >= -1.88764124093134;

e388:  - x42 + x222 - 4.19022633392538*b440 >= -1.88764124093134;

e389:  - x43 + x223 - 4.19022633392538*b441 >= -1.88764124093134;

e390:  - x44 + x224 - 4.19022633392538*b442 >= -1.88764124093134;

e391:  - x45 + x225 - 4.19022633392538*b443 >= -1.88764124093134;

e392:  - x46 + x226 - 4.19022633392538*b444 >= -1.88764124093134;

e393:  - x47 + x227 - 4.19022633392538*b445 >= -1.88764124093134;

e394:  - x48 + x228 - 4.19022633392538*b446 >= -1.88764124093134;

e395:  - x50 + x218 - 3.98613097758187*b436 >= -1.68354588458782;

e396:  - x51 + x219 - 3.98613097758187*b437 >= -1.68354588458782;

e397:  - x52 + x220 - 3.98613097758187*b438 >= -1.68354588458782;

e398:  - x53 + x221 - 3.98613097758187*b439 >= -1.68354588458782;

e399:  - x54 + x222 - 3.98613097758187*b440 >= -1.68354588458782;

e400:  - x55 + x223 - 3.98613097758187*b441 >= -1.68354588458782;

e401:  - x56 + x224 - 3.98613097758187*b442 >= -1.68354588458782;

e402:  - x57 + x225 - 3.98613097758187*b443 >= -1.68354588458782;

e403:  - x58 + x226 - 3.98613097758187*b444 >= -1.68354588458782;

e404:  - x59 + x227 - 3.98613097758187*b445 >= -1.68354588458782;

e405:  - x60 + x228 - 3.98613097758187*b446 >= -1.68354588458782;

e406:  - x62 + x218 - 3.81671282562382*b436 >= -1.51412773262977;

e407:  - x63 + x219 - 3.81671282562382*b437 >= -1.51412773262977;

e408:  - x64 + x220 - 3.81671282562382*b438 >= -1.51412773262977;

e409:  - x65 + x221 - 3.81671282562382*b439 >= -1.51412773262977;

e410:  - x66 + x222 - 3.81671282562382*b440 >= -1.51412773262977;

e411:  - x67 + x223 - 3.81671282562382*b441 >= -1.51412773262977;

e412:  - x68 + x224 - 3.81671282562382*b442 >= -1.51412773262977;

e413:  - x69 + x225 - 3.81671282562382*b443 >= -1.51412773262977;

e414:  - x70 + x226 - 3.81671282562382*b444 >= -1.51412773262977;

e415:  - x71 + x227 - 3.81671282562382*b445 >= -1.51412773262977;

e416:  - x72 + x228 - 3.81671282562382*b446 >= -1.51412773262977;

e417:  - x74 + x218 - 4.35385575770719*b436 >= -2.05127066471314;

e418:  - x75 + x219 - 4.35385575770719*b437 >= -2.05127066471314;

e419:  - x76 + x220 - 4.35385575770719*b438 >= -2.05127066471314;

e420:  - x77 + x221 - 4.35385575770719*b439 >= -2.05127066471314;

e421:  - x78 + x222 - 4.35385575770719*b440 >= -2.05127066471314;

e422:  - x79 + x223 - 4.35385575770719*b441 >= -2.05127066471314;

e423:  - x80 + x224 - 4.35385575770719*b442 >= -2.05127066471314;

e424:  - x81 + x225 - 4.35385575770719*b443 >= -2.05127066471314;

e425:  - x82 + x226 - 4.35385575770719*b444 >= -2.05127066471314;

e426:  - x83 + x227 - 4.35385575770719*b445 >= -2.05127066471314;

e427:  - x84 + x228 - 4.35385575770719*b446 >= -2.05127066471314;

e428:  - x86 + x218 - 4.20927452889608*b436 >= -1.90668943590203;

e429:  - x87 + x219 - 4.20927452889608*b437 >= -1.90668943590203;

e430:  - x88 + x220 - 4.20927452889608*b438 >= -1.90668943590203;

e431:  - x89 + x221 - 4.20927452889608*b439 >= -1.90668943590203;

e432:  - x90 + x222 - 4.20927452889608*b440 >= -1.90668943590203;

e433:  - x91 + x223 - 4.20927452889608*b441 >= -1.90668943590203;

e434:  - x92 + x224 - 4.20927452889608*b442 >= -1.90668943590203;

e435:  - x93 + x225 - 4.20927452889608*b443 >= -1.90668943590203;

e436:  - x94 + x226 - 4.20927452889608*b444 >= -1.90668943590203;

e437:  - x95 + x227 - 4.20927452889608*b445 >= -1.90668943590203;

e438:  - x96 + x228 - 4.20927452889608*b446 >= -1.90668943590203;

e439:  - x98 + x218 - 3.92641174288025*b436 >= -1.6238266498862;

e440:  - x99 + x219 - 3.92641174288025*b437 >= -1.6238266498862;

e441:  - x100 + x220 - 3.92641174288025*b438 >= -1.6238266498862;

e442:  - x101 + x221 - 3.92641174288025*b439 >= -1.6238266498862;

e443:  - x102 + x222 - 3.92641174288025*b440 >= -1.6238266498862;

e444:  - x103 + x223 - 3.92641174288025*b441 >= -1.6238266498862;

e445:  - x104 + x224 - 3.92641174288025*b442 >= -1.6238266498862;

e446:  - x105 + x225 - 3.92641174288025*b443 >= -1.6238266498862;

e447:  - x106 + x226 - 3.92641174288025*b444 >= -1.6238266498862;

e448:  - x107 + x227 - 3.92641174288025*b445 >= -1.6238266498862;

e449:  - x108 + x228 - 3.92641174288025*b446 >= -1.6238266498862;

e450:  - x110 + x218 - 4.20927452889608*b436 >= -1.90668943590203;

e451:  - x111 + x219 - 4.20927452889608*b437 >= -1.90668943590203;

e452:  - x112 + x220 - 4.20927452889608*b438 >= -1.90668943590203;

e453:  - x113 + x221 - 4.20927452889608*b439 >= -1.90668943590203;

e454:  - x114 + x222 - 4.20927452889608*b440 >= -1.90668943590203;

e455:  - x115 + x223 - 4.20927452889608*b441 >= -1.90668943590203;

e456:  - x116 + x224 - 4.20927452889608*b442 >= -1.90668943590203;

e457:  - x117 + x225 - 4.20927452889608*b443 >= -1.90668943590203;

e458:  - x118 + x226 - 4.20927452889608*b444 >= -1.90668943590203;

e459:  - x119 + x227 - 4.20927452889608*b445 >= -1.90668943590203;

e460:  - x120 + x228 - 4.20927452889608*b446 >= -1.90668943590203;

e461:  - x122 + x218 - 3.98613097758187*b436 >= -1.68354588458782;

e462:  - x123 + x219 - 3.98613097758187*b437 >= -1.68354588458782;

e463:  - x124 + x220 - 3.98613097758187*b438 >= -1.68354588458782;

e464:  - x125 + x221 - 3.98613097758187*b439 >= -1.68354588458782;

e465:  - x126 + x222 - 3.98613097758187*b440 >= -1.68354588458782;

e466:  - x127 + x223 - 3.98613097758187*b441 >= -1.68354588458782;

e467:  - x128 + x224 - 3.98613097758187*b442 >= -1.68354588458782;

e468:  - x129 + x225 - 3.98613097758187*b443 >= -1.68354588458782;

e469:  - x130 + x226 - 3.98613097758187*b444 >= -1.68354588458782;

e470:  - x131 + x227 - 3.98613097758187*b445 >= -1.68354588458782;

e471:  - x132 + x228 - 3.98613097758187*b446 >= -1.68354588458782;

e472:  - x134 + x218 - 4.04964438330419*b436 >= -1.74705929031015;

e473:  - x135 + x219 - 4.04964438330419*b437 >= -1.74705929031015;

e474:  - x136 + x220 - 4.04964438330419*b438 >= -1.74705929031015;

e475:  - x137 + x221 - 4.04964438330419*b439 >= -1.74705929031015;

e476:  - x138 + x222 - 4.04964438330419*b440 >= -1.74705929031015;

e477:  - x139 + x223 - 4.04964438330419*b441 >= -1.74705929031015;

e478:  - x140 + x224 - 4.04964438330419*b442 >= -1.74705929031015;

e479:  - x141 + x225 - 4.04964438330419*b443 >= -1.74705929031015;

e480:  - x142 + x226 - 4.04964438330419*b444 >= -1.74705929031015;

e481:  - x143 + x227 - 4.04964438330419*b445 >= -1.74705929031015;

e482:  - x144 + x228 - 4.04964438330419*b446 >= -1.74705929031015;

e483:  - x146 + x218 - 4.04964438330419*b436 >= -1.74705929031015;

e484:  - x147 + x219 - 4.04964438330419*b437 >= -1.74705929031015;

e485:  - x148 + x220 - 4.04964438330419*b438 >= -1.74705929031015;

e486:  - x149 + x221 - 4.04964438330419*b439 >= -1.74705929031015;

e487:  - x150 + x222 - 4.04964438330419*b440 >= -1.74705929031015;

e488:  - x151 + x223 - 4.04964438330419*b441 >= -1.74705929031015;

e489:  - x152 + x224 - 4.04964438330419*b442 >= -1.74705929031015;

e490:  - x153 + x225 - 4.04964438330419*b443 >= -1.74705929031015;

e491:  - x154 + x226 - 4.04964438330419*b444 >= -1.74705929031015;

e492:  - x155 + x227 - 4.04964438330419*b445 >= -1.74705929031015;

e493:  - x156 + x228 - 4.04964438330419*b446 >= -1.74705929031015;

e494:  - x158 + x218 - 3.81671282562382*b436 >= -1.51412773262977;

e495:  - x159 + x219 - 3.81671282562382*b437 >= -1.51412773262977;

e496:  - x160 + x220 - 3.81671282562382*b438 >= -1.51412773262977;

e497:  - x161 + x221 - 3.81671282562382*b439 >= -1.51412773262977;

e498:  - x162 + x222 - 3.81671282562382*b440 >= -1.51412773262977;

e499:  - x163 + x223 - 3.81671282562382*b441 >= -1.51412773262977;

e500:  - x164 + x224 - 3.81671282562382*b442 >= -1.51412773262977;

e501:  - x165 + x225 - 3.81671282562382*b443 >= -1.51412773262977;

e502:  - x166 + x226 - 3.81671282562382*b444 >= -1.51412773262977;

e503:  - x167 + x227 - 3.81671282562382*b445 >= -1.51412773262977;

e504:  - x168 + x228 - 3.81671282562382*b446 >= -1.51412773262977;

e505:  - x170 + x218 - 4.35385575770719*b436 >= -2.05127066471314;

e506:  - x171 + x219 - 4.35385575770719*b437 >= -2.05127066471314;

e507:  - x172 + x220 - 4.35385575770719*b438 >= -2.05127066471314;

e508:  - x173 + x221 - 4.35385575770719*b439 >= -2.05127066471314;

e509:  - x174 + x222 - 4.35385575770719*b440 >= -2.05127066471314;

e510:  - x175 + x223 - 4.35385575770719*b441 >= -2.05127066471314;

e511:  - x176 + x224 - 4.35385575770719*b442 >= -2.05127066471314;

e512:  - x177 + x225 - 4.35385575770719*b443 >= -2.05127066471314;

e513:  - x178 + x226 - 4.35385575770719*b444 >= -2.05127066471314;

e514:  - x179 + x227 - 4.35385575770719*b445 >= -2.05127066471314;

e515:  - x180 + x228 - 4.35385575770719*b446 >= -2.05127066471314;

e516:  - x182 + x218 - 4.20927452889608*b436 >= -1.90668943590203;

e517:  - x183 + x219 - 4.20927452889608*b437 >= -1.90668943590203;

e518:  - x184 + x220 - 4.20927452889608*b438 >= -1.90668943590203;

e519:  - x185 + x221 - 4.20927452889608*b439 >= -1.90668943590203;

e520:  - x186 + x222 - 4.20927452889608*b440 >= -1.90668943590203;

e521:  - x187 + x223 - 4.20927452889608*b441 >= -1.90668943590203;

e522:  - x188 + x224 - 4.20927452889608*b442 >= -1.90668943590203;

e523:  - x189 + x225 - 4.20927452889608*b443 >= -1.90668943590203;

e524:  - x190 + x226 - 4.20927452889608*b444 >= -1.90668943590203;

e525:  - x191 + x227 - 4.20927452889608*b445 >= -1.90668943590203;

e526:  - x192 + x228 - 4.20927452889608*b446 >= -1.90668943590203;

e527:  - x13 + x218 - 4.04964438330419*b436 >= -1.74705929031015;

e528:  - x14 + x219 - 4.04964438330419*b437 >= -1.74705929031015;

e529:  - x15 + x220 - 4.04964438330419*b438 >= -1.74705929031015;

e530:  - x16 + x221 - 4.04964438330419*b439 >= -1.74705929031015;

e531:  - x17 + x222 - 4.04964438330419*b440 >= -1.74705929031015;

e532:  - x18 + x223 - 4.04964438330419*b441 >= -1.74705929031015;

e533:  - x19 + x224 - 4.04964438330419*b442 >= -1.74705929031015;

e534:  - x20 + x225 - 4.04964438330419*b443 >= -1.74705929031015;

e535:  - x21 + x226 - 4.04964438330419*b444 >= -1.74705929031015;

e536:  - x22 + x227 - 4.04964438330419*b445 >= -1.74705929031015;

e537:  - x23 + x228 - 4.04964438330419*b446 >= -1.74705929031015;

e538:  - x25 + x218 - 4.39931813178394*b436 >= -2.0967330387899;

e539:  - x26 + x219 - 4.39931813178394*b437 >= -2.0967330387899;

e540:  - x27 + x220 - 4.39931813178394*b438 >= -2.0967330387899;

e541:  - x28 + x221 - 4.39931813178394*b439 >= -2.0967330387899;

e542:  - x29 + x222 - 4.39931813178394*b440 >= -2.0967330387899;

e543:  - x30 + x223 - 4.39931813178394*b441 >= -2.0967330387899;

e544:  - x31 + x224 - 4.39931813178394*b442 >= -2.0967330387899;

e545:  - x32 + x225 - 4.39931813178394*b443 >= -2.0967330387899;

e546:  - x33 + x226 - 4.39931813178394*b444 >= -2.0967330387899;

e547:  - x34 + x227 - 4.39931813178394*b445 >= -2.0967330387899;

e548:  - x35 + x228 - 4.39931813178394*b446 >= -2.0967330387899;

e549:  - x37 + x218 - 4.19022633392538*b436 >= -1.88764124093134;

e550:  - x38 + x219 - 4.19022633392538*b437 >= -1.88764124093134;

e551:  - x39 + x220 - 4.19022633392538*b438 >= -1.88764124093134;

e552:  - x40 + x221 - 4.19022633392538*b439 >= -1.88764124093134;

e553:  - x41 + x222 - 4.19022633392538*b440 >= -1.88764124093134;

e554:  - x42 + x223 - 4.19022633392538*b441 >= -1.88764124093134;

e555:  - x43 + x224 - 4.19022633392538*b442 >= -1.88764124093134;

e556:  - x44 + x225 - 4.19022633392538*b443 >= -1.88764124093134;

e557:  - x45 + x226 - 4.19022633392538*b444 >= -1.88764124093134;

e558:  - x46 + x227 - 4.19022633392538*b445 >= -1.88764124093134;

e559:  - x47 + x228 - 4.19022633392538*b446 >= -1.88764124093134;

e560:  - x49 + x218 - 3.98613097758187*b436 >= -1.68354588458782;

e561:  - x50 + x219 - 3.98613097758187*b437 >= -1.68354588458782;

e562:  - x51 + x220 - 3.98613097758187*b438 >= -1.68354588458782;

e563:  - x52 + x221 - 3.98613097758187*b439 >= -1.68354588458782;

e564:  - x53 + x222 - 3.98613097758187*b440 >= -1.68354588458782;

e565:  - x54 + x223 - 3.98613097758187*b441 >= -1.68354588458782;

e566:  - x55 + x224 - 3.98613097758187*b442 >= -1.68354588458782;

e567:  - x56 + x225 - 3.98613097758187*b443 >= -1.68354588458782;

e568:  - x57 + x226 - 3.98613097758187*b444 >= -1.68354588458782;

e569:  - x58 + x227 - 3.98613097758187*b445 >= -1.68354588458782;

e570:  - x59 + x228 - 3.98613097758187*b446 >= -1.68354588458782;

e571:  - x61 + x218 - 3.81671282562382*b436 >= -1.51412773262977;

e572:  - x62 + x219 - 3.81671282562382*b437 >= -1.51412773262977;

e573:  - x63 + x220 - 3.81671282562382*b438 >= -1.51412773262977;

e574:  - x64 + x221 - 3.81671282562382*b439 >= -1.51412773262977;

e575:  - x65 + x222 - 3.81671282562382*b440 >= -1.51412773262977;

e576:  - x66 + x223 - 3.81671282562382*b441 >= -1.51412773262977;

e577:  - x67 + x224 - 3.81671282562382*b442 >= -1.51412773262977;

e578:  - x68 + x225 - 3.81671282562382*b443 >= -1.51412773262977;

e579:  - x69 + x226 - 3.81671282562382*b444 >= -1.51412773262977;

e580:  - x70 + x227 - 3.81671282562382*b445 >= -1.51412773262977;

e581:  - x71 + x228 - 3.81671282562382*b446 >= -1.51412773262977;

e582:  - x73 + x218 - 4.35385575770719*b436 >= -2.05127066471314;

e583:  - x74 + x219 - 4.35385575770719*b437 >= -2.05127066471314;

e584:  - x75 + x220 - 4.35385575770719*b438 >= -2.05127066471314;

e585:  - x76 + x221 - 4.35385575770719*b439 >= -2.05127066471314;

e586:  - x77 + x222 - 4.35385575770719*b440 >= -2.05127066471314;

e587:  - x78 + x223 - 4.35385575770719*b441 >= -2.05127066471314;

e588:  - x79 + x224 - 4.35385575770719*b442 >= -2.05127066471314;

e589:  - x80 + x225 - 4.35385575770719*b443 >= -2.05127066471314;

e590:  - x81 + x226 - 4.35385575770719*b444 >= -2.05127066471314;

e591:  - x82 + x227 - 4.35385575770719*b445 >= -2.05127066471314;

e592:  - x83 + x228 - 4.35385575770719*b446 >= -2.05127066471314;

e593:  - x85 + x218 - 4.20927452889608*b436 >= -1.90668943590203;

e594:  - x86 + x219 - 4.20927452889608*b437 >= -1.90668943590203;

e595:  - x87 + x220 - 4.20927452889608*b438 >= -1.90668943590203;

e596:  - x88 + x221 - 4.20927452889608*b439 >= -1.90668943590203;

e597:  - x89 + x222 - 4.20927452889608*b440 >= -1.90668943590203;

e598:  - x90 + x223 - 4.20927452889608*b441 >= -1.90668943590203;

e599:  - x91 + x224 - 4.20927452889608*b442 >= -1.90668943590203;

e600:  - x92 + x225 - 4.20927452889608*b443 >= -1.90668943590203;

e601:  - x93 + x226 - 4.20927452889608*b444 >= -1.90668943590203;

e602:  - x94 + x227 - 4.20927452889608*b445 >= -1.90668943590203;

e603:  - x95 + x228 - 4.20927452889608*b446 >= -1.90668943590203;

e604:  - x97 + x218 - 3.92641174288025*b436 >= -1.6238266498862;

e605:  - x98 + x219 - 3.92641174288025*b437 >= -1.6238266498862;

e606:  - x99 + x220 - 3.92641174288025*b438 >= -1.6238266498862;

e607:  - x100 + x221 - 3.92641174288025*b439 >= -1.6238266498862;

e608:  - x101 + x222 - 3.92641174288025*b440 >= -1.6238266498862;

e609:  - x102 + x223 - 3.92641174288025*b441 >= -1.6238266498862;

e610:  - x103 + x224 - 3.92641174288025*b442 >= -1.6238266498862;

e611:  - x104 + x225 - 3.92641174288025*b443 >= -1.6238266498862;

e612:  - x105 + x226 - 3.92641174288025*b444 >= -1.6238266498862;

e613:  - x106 + x227 - 3.92641174288025*b445 >= -1.6238266498862;

e614:  - x107 + x228 - 3.92641174288025*b446 >= -1.6238266498862;

e615:  - x109 + x218 - 4.20927452889608*b436 >= -1.90668943590203;

e616:  - x110 + x219 - 4.20927452889608*b437 >= -1.90668943590203;

e617:  - x111 + x220 - 4.20927452889608*b438 >= -1.90668943590203;

e618:  - x112 + x221 - 4.20927452889608*b439 >= -1.90668943590203;

e619:  - x113 + x222 - 4.20927452889608*b440 >= -1.90668943590203;

e620:  - x114 + x223 - 4.20927452889608*b441 >= -1.90668943590203;

e621:  - x115 + x224 - 4.20927452889608*b442 >= -1.90668943590203;

e622:  - x116 + x225 - 4.20927452889608*b443 >= -1.90668943590203;

e623:  - x117 + x226 - 4.20927452889608*b444 >= -1.90668943590203;

e624:  - x118 + x227 - 4.20927452889608*b445 >= -1.90668943590203;

e625:  - x119 + x228 - 4.20927452889608*b446 >= -1.90668943590203;

e626:  - x121 + x218 - 3.98613097758187*b436 >= -1.68354588458782;

e627:  - x122 + x219 - 3.98613097758187*b437 >= -1.68354588458782;

e628:  - x123 + x220 - 3.98613097758187*b438 >= -1.68354588458782;

e629:  - x124 + x221 - 3.98613097758187*b439 >= -1.68354588458782;

e630:  - x125 + x222 - 3.98613097758187*b440 >= -1.68354588458782;

e631:  - x126 + x223 - 3.98613097758187*b441 >= -1.68354588458782;

e632:  - x127 + x224 - 3.98613097758187*b442 >= -1.68354588458782;

e633:  - x128 + x225 - 3.98613097758187*b443 >= -1.68354588458782;

e634:  - x129 + x226 - 3.98613097758187*b444 >= -1.68354588458782;

e635:  - x130 + x227 - 3.98613097758187*b445 >= -1.68354588458782;

e636:  - x131 + x228 - 3.98613097758187*b446 >= -1.68354588458782;

e637:  - x133 + x218 - 4.04964438330419*b436 >= -1.74705929031015;

e638:  - x134 + x219 - 4.04964438330419*b437 >= -1.74705929031015;

e639:  - x135 + x220 - 4.04964438330419*b438 >= -1.74705929031015;

e640:  - x136 + x221 - 4.04964438330419*b439 >= -1.74705929031015;

e641:  - x137 + x222 - 4.04964438330419*b440 >= -1.74705929031015;

e642:  - x138 + x223 - 4.04964438330419*b441 >= -1.74705929031015;

e643:  - x139 + x224 - 4.04964438330419*b442 >= -1.74705929031015;

e644:  - x140 + x225 - 4.04964438330419*b443 >= -1.74705929031015;

e645:  - x141 + x226 - 4.04964438330419*b444 >= -1.74705929031015;

e646:  - x142 + x227 - 4.04964438330419*b445 >= -1.74705929031015;

e647:  - x143 + x228 - 4.04964438330419*b446 >= -1.74705929031015;

e648:  - x145 + x218 - 4.04964438330419*b436 >= -1.74705929031015;

e649:  - x146 + x219 - 4.04964438330419*b437 >= -1.74705929031015;

e650:  - x147 + x220 - 4.04964438330419*b438 >= -1.74705929031015;

e651:  - x148 + x221 - 4.04964438330419*b439 >= -1.74705929031015;

e652:  - x149 + x222 - 4.04964438330419*b440 >= -1.74705929031015;

e653:  - x150 + x223 - 4.04964438330419*b441 >= -1.74705929031015;

e654:  - x151 + x224 - 4.04964438330419*b442 >= -1.74705929031015;

e655:  - x152 + x225 - 4.04964438330419*b443 >= -1.74705929031015;

e656:  - x153 + x226 - 4.04964438330419*b444 >= -1.74705929031015;

e657:  - x154 + x227 - 4.04964438330419*b445 >= -1.74705929031015;

e658:  - x155 + x228 - 4.04964438330419*b446 >= -1.74705929031015;

e659:  - x157 + x218 - 3.81671282562382*b436 >= -1.51412773262977;

e660:  - x158 + x219 - 3.81671282562382*b437 >= -1.51412773262977;

e661:  - x159 + x220 - 3.81671282562382*b438 >= -1.51412773262977;

e662:  - x160 + x221 - 3.81671282562382*b439 >= -1.51412773262977;

e663:  - x161 + x222 - 3.81671282562382*b440 >= -1.51412773262977;

e664:  - x162 + x223 - 3.81671282562382*b441 >= -1.51412773262977;

e665:  - x163 + x224 - 3.81671282562382*b442 >= -1.51412773262977;

e666:  - x164 + x225 - 3.81671282562382*b443 >= -1.51412773262977;

e667:  - x165 + x226 - 3.81671282562382*b444 >= -1.51412773262977;

e668:  - x166 + x227 - 3.81671282562382*b445 >= -1.51412773262977;

e669:  - x167 + x228 - 3.81671282562382*b446 >= -1.51412773262977;

e670:  - x169 + x218 - 4.35385575770719*b436 >= -2.05127066471314;

e671:  - x170 + x219 - 4.35385575770719*b437 >= -2.05127066471314;

e672:  - x171 + x220 - 4.35385575770719*b438 >= -2.05127066471314;

e673:  - x172 + x221 - 4.35385575770719*b439 >= -2.05127066471314;

e674:  - x173 + x222 - 4.35385575770719*b440 >= -2.05127066471314;

e675:  - x174 + x223 - 4.35385575770719*b441 >= -2.05127066471314;

e676:  - x175 + x224 - 4.35385575770719*b442 >= -2.05127066471314;

e677:  - x176 + x225 - 4.35385575770719*b443 >= -2.05127066471314;

e678:  - x177 + x226 - 4.35385575770719*b444 >= -2.05127066471314;

e679:  - x178 + x227 - 4.35385575770719*b445 >= -2.05127066471314;

e680:  - x179 + x228 - 4.35385575770719*b446 >= -2.05127066471314;

e681:  - x181 + x218 - 4.20927452889608*b436 >= -1.90668943590203;

e682:  - x182 + x219 - 4.20927452889608*b437 >= -1.90668943590203;

e683:  - x183 + x220 - 4.20927452889608*b438 >= -1.90668943590203;

e684:  - x184 + x221 - 4.20927452889608*b439 >= -1.90668943590203;

e685:  - x185 + x222 - 4.20927452889608*b440 >= -1.90668943590203;

e686:  - x186 + x223 - 4.20927452889608*b441 >= -1.90668943590203;

e687:  - x187 + x224 - 4.20927452889608*b442 >= -1.90668943590203;

e688:  - x188 + x225 - 4.20927452889608*b443 >= -1.90668943590203;

e689:  - x189 + x226 - 4.20927452889608*b444 >= -1.90668943590203;

e690:  - x190 + x227 - 4.20927452889608*b445 >= -1.90668943590203;

e691:  - x191 + x228 - 4.20927452889608*b446 >= -1.90668943590203;

e692:    x193 + 2.07944154167984*b244 <= 2.07944154167984;

e693:    x193 + 1.38629436111989*b256 <= 2.07944154167984;

e694:    x193 + 0.980829253011726*b268 <= 2.07944154167984;

e695:    x193 + 0.693147180559945*b280 <= 2.07944154167984;

e696:    x193 + 0.470003629245735*b292 <= 2.07944154167984;

e697:    x193 + 0.287682072451781*b304 <= 2.07944154167984;

e698:    x193 + 0.133531392624523*b316 <= 2.07944154167984;

e699:    x193 <= 2.07944154167984;

e700:    x194 + 2.07944154167984*b245 <= 2.07944154167984;

e701:    x194 + 1.38629436111989*b257 <= 2.07944154167984;

e702:    x194 + 0.980829253011726*b269 <= 2.07944154167984;

e703:    x194 + 0.693147180559945*b281 <= 2.07944154167984;

e704:    x194 + 0.470003629245735*b293 <= 2.07944154167984;

e705:    x194 + 0.287682072451781*b305 <= 2.07944154167984;

e706:    x194 + 0.133531392624523*b317 <= 2.07944154167984;

e707:    x194 <= 2.07944154167984;

e708:    x195 + 2.07944154167984*b246 <= 2.07944154167984;

e709:    x195 + 1.38629436111989*b258 <= 2.07944154167984;

e710:    x195 + 0.980829253011726*b270 <= 2.07944154167984;

e711:    x195 + 0.693147180559945*b282 <= 2.07944154167984;

e712:    x195 + 0.470003629245735*b294 <= 2.07944154167984;

e713:    x195 + 0.287682072451781*b306 <= 2.07944154167984;

e714:    x195 + 0.133531392624523*b318 <= 2.07944154167984;

e715:    x195 <= 2.07944154167984;

e716:    x196 + 2.07944154167984*b247 <= 2.07944154167984;

e717:    x196 + 1.38629436111989*b259 <= 2.07944154167984;

e718:    x196 + 0.980829253011726*b271 <= 2.07944154167984;

e719:    x196 + 0.693147180559945*b283 <= 2.07944154167984;

e720:    x196 + 0.470003629245735*b295 <= 2.07944154167984;

e721:    x196 + 0.287682072451781*b307 <= 2.07944154167984;

e722:    x196 + 0.133531392624523*b319 <= 2.07944154167984;

e723:    x196 <= 2.07944154167984;

e724:    x197 + 2.07944154167984*b248 <= 2.07944154167984;

e725:    x197 + 1.38629436111989*b260 <= 2.07944154167984;

e726:    x197 + 0.980829253011726*b272 <= 2.07944154167984;

e727:    x197 + 0.693147180559945*b284 <= 2.07944154167984;

e728:    x197 + 0.470003629245735*b296 <= 2.07944154167984;

e729:    x197 + 0.287682072451781*b308 <= 2.07944154167984;

e730:    x197 + 0.133531392624523*b320 <= 2.07944154167984;

e731:    x197 <= 2.07944154167984;

e732:    x198 + 2.07944154167984*b249 <= 2.07944154167984;

e733:    x198 + 1.38629436111989*b261 <= 2.07944154167984;

e734:    x198 + 0.980829253011726*b273 <= 2.07944154167984;

e735:    x198 + 0.693147180559945*b285 <= 2.07944154167984;

e736:    x198 + 0.470003629245735*b297 <= 2.07944154167984;

e737:    x198 + 0.287682072451781*b309 <= 2.07944154167984;

e738:    x198 + 0.133531392624523*b321 <= 2.07944154167984;

e739:    x198 <= 2.07944154167984;

e740:    x199 + 2.07944154167984*b250 <= 2.07944154167984;

e741:    x199 + 1.38629436111989*b262 <= 2.07944154167984;

e742:    x199 + 0.980829253011726*b274 <= 2.07944154167984;

e743:    x199 + 0.693147180559945*b286 <= 2.07944154167984;

e744:    x199 + 0.470003629245735*b298 <= 2.07944154167984;

e745:    x199 + 0.287682072451781*b310 <= 2.07944154167984;

e746:    x199 + 0.133531392624523*b322 <= 2.07944154167984;

e747:    x199 <= 2.07944154167984;

e748:    x200 + 2.07944154167984*b251 <= 2.07944154167984;

e749:    x200 + 1.38629436111989*b263 <= 2.07944154167984;

e750:    x200 + 0.980829253011726*b275 <= 2.07944154167984;

e751:    x200 + 0.693147180559945*b287 <= 2.07944154167984;

e752:    x200 + 0.470003629245735*b299 <= 2.07944154167984;

e753:    x200 + 0.287682072451781*b311 <= 2.07944154167984;

e754:    x200 + 0.133531392624523*b323 <= 2.07944154167984;

e755:    x200 <= 2.07944154167984;

e756:    x201 + 2.07944154167984*b252 <= 2.07944154167984;

e757:    x201 + 1.38629436111989*b264 <= 2.07944154167984;

e758:    x201 + 0.980829253011726*b276 <= 2.07944154167984;

e759:    x201 + 0.693147180559945*b288 <= 2.07944154167984;

e760:    x201 + 0.470003629245735*b300 <= 2.07944154167984;

e761:    x201 + 0.287682072451781*b312 <= 2.07944154167984;

e762:    x201 + 0.133531392624523*b324 <= 2.07944154167984;

e763:    x201 <= 2.07944154167984;

e764:    x202 + 2.07944154167984*b253 <= 2.07944154167984;

e765:    x202 + 1.38629436111989*b265 <= 2.07944154167984;

e766:    x202 + 0.980829253011726*b277 <= 2.07944154167984;

e767:    x202 + 0.693147180559945*b289 <= 2.07944154167984;

e768:    x202 + 0.470003629245735*b301 <= 2.07944154167984;

e769:    x202 + 0.287682072451781*b313 <= 2.07944154167984;

e770:    x202 + 0.133531392624523*b325 <= 2.07944154167984;

e771:    x202 <= 2.07944154167984;

e772:    x203 + 2.07944154167984*b254 <= 2.07944154167984;

e773:    x203 + 1.38629436111989*b266 <= 2.07944154167984;

e774:    x203 + 0.980829253011726*b278 <= 2.07944154167984;

e775:    x203 + 0.693147180559945*b290 <= 2.07944154167984;

e776:    x203 + 0.470003629245735*b302 <= 2.07944154167984;

e777:    x203 + 0.287682072451781*b314 <= 2.07944154167984;

e778:    x203 + 0.133531392624523*b326 <= 2.07944154167984;

e779:    x203 <= 2.07944154167984;

e780:    x204 + 2.07944154167984*b255 <= 2.07944154167984;

e781:    x204 + 1.38629436111989*b267 <= 2.07944154167984;

e782:    x204 + 0.980829253011726*b279 <= 2.07944154167984;

e783:    x204 + 0.693147180559945*b291 <= 2.07944154167984;

e784:    x204 + 0.470003629245735*b303 <= 2.07944154167984;

e785:    x204 + 0.287682072451781*b315 <= 2.07944154167984;

e786:    x204 + 0.133531392624523*b327 <= 2.07944154167984;

e787:    x204 <= 2.07944154167984;

e788:    x193 >= 0;

e789:    x193 - 0.693147180559945*b256 >= 0;

e790:    x193 - 1.09861228866811*b268 >= 0;

e791:    x193 - 1.38629436111989*b280 >= 0;

e792:    x193 - 1.6094379124341*b292 >= 0;

e793:    x193 - 1.79175946922805*b304 >= 0;

e794:    x193 - 1.94591014905531*b316 >= 0;

e795:    x193 - 2.07944154167984*b328 >= 0;

e796:    x194 >= 0;

e797:    x194 - 0.693147180559945*b257 >= 0;

e798:    x194 - 1.09861228866811*b269 >= 0;

e799:    x194 - 1.38629436111989*b281 >= 0;

e800:    x194 - 1.6094379124341*b293 >= 0;

e801:    x194 - 1.79175946922805*b305 >= 0;

e802:    x194 - 1.94591014905531*b317 >= 0;

e803:    x194 - 2.07944154167984*b329 >= 0;

e804:    x195 >= 0;

e805:    x195 - 0.693147180559945*b258 >= 0;

e806:    x195 - 1.09861228866811*b270 >= 0;

e807:    x195 - 1.38629436111989*b282 >= 0;

e808:    x195 - 1.6094379124341*b294 >= 0;

e809:    x195 - 1.79175946922805*b306 >= 0;

e810:    x195 - 1.94591014905531*b318 >= 0;

e811:    x195 - 2.07944154167984*b330 >= 0;

e812:    x196 >= 0;

e813:    x196 - 0.693147180559945*b259 >= 0;

e814:    x196 - 1.09861228866811*b271 >= 0;

e815:    x196 - 1.38629436111989*b283 >= 0;

e816:    x196 - 1.6094379124341*b295 >= 0;

e817:    x196 - 1.79175946922805*b307 >= 0;

e818:    x196 - 1.94591014905531*b319 >= 0;

e819:    x196 - 2.07944154167984*b331 >= 0;

e820:    x197 >= 0;

e821:    x197 - 0.693147180559945*b260 >= 0;

e822:    x197 - 1.09861228866811*b272 >= 0;

e823:    x197 - 1.38629436111989*b284 >= 0;

e824:    x197 - 1.6094379124341*b296 >= 0;

e825:    x197 - 1.79175946922805*b308 >= 0;

e826:    x197 - 1.94591014905531*b320 >= 0;

e827:    x197 - 2.07944154167984*b332 >= 0;

e828:    x198 >= 0;

e829:    x198 - 0.693147180559945*b261 >= 0;

e830:    x198 - 1.09861228866811*b273 >= 0;

e831:    x198 - 1.38629436111989*b285 >= 0;

e832:    x198 - 1.6094379124341*b297 >= 0;

e833:    x198 - 1.79175946922805*b309 >= 0;

e834:    x198 - 1.94591014905531*b321 >= 0;

e835:    x198 - 2.07944154167984*b333 >= 0;

e836:    x199 >= 0;

e837:    x199 - 0.693147180559945*b262 >= 0;

e838:    x199 - 1.09861228866811*b274 >= 0;

e839:    x199 - 1.38629436111989*b286 >= 0;

e840:    x199 - 1.6094379124341*b298 >= 0;

e841:    x199 - 1.79175946922805*b310 >= 0;

e842:    x199 - 1.94591014905531*b322 >= 0;

e843:    x199 - 2.07944154167984*b334 >= 0;

e844:    x200 >= 0;

e845:    x200 - 0.693147180559945*b263 >= 0;

e846:    x200 - 1.09861228866811*b275 >= 0;

e847:    x200 - 1.38629436111989*b287 >= 0;

e848:    x200 - 1.6094379124341*b299 >= 0;

e849:    x200 - 1.79175946922805*b311 >= 0;

e850:    x200 - 1.94591014905531*b323 >= 0;

e851:    x200 - 2.07944154167984*b335 >= 0;

e852:    x201 >= 0;

e853:    x201 - 0.693147180559945*b264 >= 0;

e854:    x201 - 1.09861228866811*b276 >= 0;

e855:    x201 - 1.38629436111989*b288 >= 0;

e856:    x201 - 1.6094379124341*b300 >= 0;

e857:    x201 - 1.79175946922805*b312 >= 0;

e858:    x201 - 1.94591014905531*b324 >= 0;

e859:    x201 - 2.07944154167984*b336 >= 0;

e860:    x202 >= 0;

e861:    x202 - 0.693147180559945*b265 >= 0;

e862:    x202 - 1.09861228866811*b277 >= 0;

e863:    x202 - 1.38629436111989*b289 >= 0;

e864:    x202 - 1.6094379124341*b301 >= 0;

e865:    x202 - 1.79175946922805*b313 >= 0;

e866:    x202 - 1.94591014905531*b325 >= 0;

e867:    x202 - 2.07944154167984*b337 >= 0;

e868:    x203 >= 0;

e869:    x203 - 0.693147180559945*b266 >= 0;

e870:    x203 - 1.09861228866811*b278 >= 0;

e871:    x203 - 1.38629436111989*b290 >= 0;

e872:    x203 - 1.6094379124341*b302 >= 0;

e873:    x203 - 1.79175946922805*b314 >= 0;

e874:    x203 - 1.94591014905531*b326 >= 0;

e875:    x203 - 2.07944154167984*b338 >= 0;

e876:    x204 >= 0;

e877:    x204 - 0.693147180559945*b267 >= 0;

e878:    x204 - 1.09861228866811*b279 >= 0;

e879:    x204 - 1.38629436111989*b291 >= 0;

e880:    x204 - 1.6094379124341*b303 >= 0;

e881:    x204 - 1.79175946922805*b315 >= 0;

e882:    x204 - 1.94591014905531*b327 >= 0;

e883:    x204 - 2.07944154167984*b339 >= 0;

e884:    x205 + 2.07944154167984*b340 <= 2.07944154167984;

e885:    x205 + 1.38629436111989*b352 <= 2.07944154167984;

e886:    x205 + 0.980829253011726*b364 <= 2.07944154167984;

e887:    x205 + 0.693147180559945*b376 <= 2.07944154167984;

e888:    x205 + 0.470003629245735*b388 <= 2.07944154167984;

e889:    x205 + 0.287682072451781*b400 <= 2.07944154167984;

e890:    x205 + 0.133531392624523*b412 <= 2.07944154167984;

e891:    x205 <= 2.07944154167984;

e892:    x206 + 2.07944154167984*b341 <= 2.07944154167984;

e893:    x206 + 1.38629436111989*b353 <= 2.07944154167984;

e894:    x206 + 0.980829253011726*b365 <= 2.07944154167984;

e895:    x206 + 0.693147180559945*b377 <= 2.07944154167984;

e896:    x206 + 0.470003629245735*b389 <= 2.07944154167984;

e897:    x206 + 0.287682072451781*b401 <= 2.07944154167984;

e898:    x206 + 0.133531392624523*b413 <= 2.07944154167984;

e899:    x206 <= 2.07944154167984;

e900:    x207 + 2.07944154167984*b342 <= 2.07944154167984;

e901:    x207 + 1.38629436111989*b354 <= 2.07944154167984;

e902:    x207 + 0.980829253011726*b366 <= 2.07944154167984;

e903:    x207 + 0.693147180559945*b378 <= 2.07944154167984;

e904:    x207 + 0.470003629245735*b390 <= 2.07944154167984;

e905:    x207 + 0.287682072451781*b402 <= 2.07944154167984;

e906:    x207 + 0.133531392624523*b414 <= 2.07944154167984;

e907:    x207 <= 2.07944154167984;

e908:    x208 + 2.07944154167984*b343 <= 2.07944154167984;

e909:    x208 + 1.38629436111989*b355 <= 2.07944154167984;

e910:    x208 + 0.980829253011726*b367 <= 2.07944154167984;

e911:    x208 + 0.693147180559945*b379 <= 2.07944154167984;

e912:    x208 + 0.470003629245735*b391 <= 2.07944154167984;

e913:    x208 + 0.287682072451781*b403 <= 2.07944154167984;

e914:    x208 + 0.133531392624523*b415 <= 2.07944154167984;

e915:    x208 <= 2.07944154167984;

e916:    x209 + 2.07944154167984*b344 <= 2.07944154167984;

e917:    x209 + 1.38629436111989*b356 <= 2.07944154167984;

e918:    x209 + 0.980829253011726*b368 <= 2.07944154167984;

e919:    x209 + 0.693147180559945*b380 <= 2.07944154167984;

e920:    x209 + 0.470003629245735*b392 <= 2.07944154167984;

e921:    x209 + 0.287682072451781*b404 <= 2.07944154167984;

e922:    x209 + 0.133531392624523*b416 <= 2.07944154167984;

e923:    x209 <= 2.07944154167984;

e924:    x210 + 2.07944154167984*b345 <= 2.07944154167984;

e925:    x210 + 1.38629436111989*b357 <= 2.07944154167984;

e926:    x210 + 0.980829253011726*b369 <= 2.07944154167984;

e927:    x210 + 0.693147180559945*b381 <= 2.07944154167984;

e928:    x210 + 0.470003629245735*b393 <= 2.07944154167984;

e929:    x210 + 0.287682072451781*b405 <= 2.07944154167984;

e930:    x210 + 0.133531392624523*b417 <= 2.07944154167984;

e931:    x210 <= 2.07944154167984;

e932:    x211 + 2.07944154167984*b346 <= 2.07944154167984;

e933:    x211 + 1.38629436111989*b358 <= 2.07944154167984;

e934:    x211 + 0.980829253011726*b370 <= 2.07944154167984;

e935:    x211 + 0.693147180559945*b382 <= 2.07944154167984;

e936:    x211 + 0.470003629245735*b394 <= 2.07944154167984;

e937:    x211 + 0.287682072451781*b406 <= 2.07944154167984;

e938:    x211 + 0.133531392624523*b418 <= 2.07944154167984;

e939:    x211 <= 2.07944154167984;

e940:    x212 + 2.07944154167984*b347 <= 2.07944154167984;

e941:    x212 + 1.38629436111989*b359 <= 2.07944154167984;

e942:    x212 + 0.980829253011726*b371 <= 2.07944154167984;

e943:    x212 + 0.693147180559945*b383 <= 2.07944154167984;

e944:    x212 + 0.470003629245735*b395 <= 2.07944154167984;

e945:    x212 + 0.287682072451781*b407 <= 2.07944154167984;

e946:    x212 + 0.133531392624523*b419 <= 2.07944154167984;

e947:    x212 <= 2.07944154167984;

e948:    x213 + 2.07944154167984*b348 <= 2.07944154167984;

e949:    x213 + 1.38629436111989*b360 <= 2.07944154167984;

e950:    x213 + 0.980829253011726*b372 <= 2.07944154167984;

e951:    x213 + 0.693147180559945*b384 <= 2.07944154167984;

e952:    x213 + 0.470003629245735*b396 <= 2.07944154167984;

e953:    x213 + 0.287682072451781*b408 <= 2.07944154167984;

e954:    x213 + 0.133531392624523*b420 <= 2.07944154167984;

e955:    x213 <= 2.07944154167984;

e956:    x214 + 2.07944154167984*b349 <= 2.07944154167984;

e957:    x214 + 1.38629436111989*b361 <= 2.07944154167984;

e958:    x214 + 0.980829253011726*b373 <= 2.07944154167984;

e959:    x214 + 0.693147180559945*b385 <= 2.07944154167984;

e960:    x214 + 0.470003629245735*b397 <= 2.07944154167984;

e961:    x214 + 0.287682072451781*b409 <= 2.07944154167984;

e962:    x214 + 0.133531392624523*b421 <= 2.07944154167984;

e963:    x214 <= 2.07944154167984;

e964:    x215 + 2.07944154167984*b350 <= 2.07944154167984;

e965:    x215 + 1.38629436111989*b362 <= 2.07944154167984;

e966:    x215 + 0.980829253011726*b374 <= 2.07944154167984;

e967:    x215 + 0.693147180559945*b386 <= 2.07944154167984;

e968:    x215 + 0.470003629245735*b398 <= 2.07944154167984;

e969:    x215 + 0.287682072451781*b410 <= 2.07944154167984;

e970:    x215 + 0.133531392624523*b422 <= 2.07944154167984;

e971:    x215 <= 2.07944154167984;

e972:    x216 + 2.07944154167984*b351 <= 2.07944154167984;

e973:    x216 + 1.38629436111989*b363 <= 2.07944154167984;

e974:    x216 + 0.980829253011726*b375 <= 2.07944154167984;

e975:    x216 + 0.693147180559945*b387 <= 2.07944154167984;

e976:    x216 + 0.470003629245735*b399 <= 2.07944154167984;

e977:    x216 + 0.287682072451781*b411 <= 2.07944154167984;

e978:    x216 + 0.133531392624523*b423 <= 2.07944154167984;

e979:    x216 <= 2.07944154167984;

e980:    x205 >= 0;

e981:    x205 - 0.693147180559945*b352 >= 0;

e982:    x205 - 1.09861228866811*b364 >= 0;

e983:    x205 - 1.38629436111989*b376 >= 0;

e984:    x205 - 1.6094379124341*b388 >= 0;

e985:    x205 - 1.79175946922805*b400 >= 0;

e986:    x205 - 1.94591014905531*b412 >= 0;

e987:    x205 - 2.07944154167984*b424 >= 0;

e988:    x206 >= 0;

e989:    x206 - 0.693147180559945*b353 >= 0;

e990:    x206 - 1.09861228866811*b365 >= 0;

e991:    x206 - 1.38629436111989*b377 >= 0;

e992:    x206 - 1.6094379124341*b389 >= 0;

e993:    x206 - 1.79175946922805*b401 >= 0;

e994:    x206 - 1.94591014905531*b413 >= 0;

e995:    x206 - 2.07944154167984*b425 >= 0;

e996:    x207 >= 0;

e997:    x207 - 0.693147180559945*b354 >= 0;

e998:    x207 - 1.09861228866811*b366 >= 0;

e999:    x207 - 1.38629436111989*b378 >= 0;

e1000:    x207 - 1.6094379124341*b390 >= 0;

e1001:    x207 - 1.79175946922805*b402 >= 0;

e1002:    x207 - 1.94591014905531*b414 >= 0;

e1003:    x207 - 2.07944154167984*b426 >= 0;

e1004:    x208 >= 0;

e1005:    x208 - 0.693147180559945*b355 >= 0;

e1006:    x208 - 1.09861228866811*b367 >= 0;

e1007:    x208 - 1.38629436111989*b379 >= 0;

e1008:    x208 - 1.6094379124341*b391 >= 0;

e1009:    x208 - 1.79175946922805*b403 >= 0;

e1010:    x208 - 1.94591014905531*b415 >= 0;

e1011:    x208 - 2.07944154167984*b427 >= 0;

e1012:    x209 >= 0;

e1013:    x209 - 0.693147180559945*b356 >= 0;

e1014:    x209 - 1.09861228866811*b368 >= 0;

e1015:    x209 - 1.38629436111989*b380 >= 0;

e1016:    x209 - 1.6094379124341*b392 >= 0;

e1017:    x209 - 1.79175946922805*b404 >= 0;

e1018:    x209 - 1.94591014905531*b416 >= 0;

e1019:    x209 - 2.07944154167984*b428 >= 0;

e1020:    x210 >= 0;

e1021:    x210 - 0.693147180559945*b357 >= 0;

e1022:    x210 - 1.09861228866811*b369 >= 0;

e1023:    x210 - 1.38629436111989*b381 >= 0;

e1024:    x210 - 1.6094379124341*b393 >= 0;

e1025:    x210 - 1.79175946922805*b405 >= 0;

e1026:    x210 - 1.94591014905531*b417 >= 0;

e1027:    x210 - 2.07944154167984*b429 >= 0;

e1028:    x211 >= 0;

e1029:    x211 - 0.693147180559945*b358 >= 0;

e1030:    x211 - 1.09861228866811*b370 >= 0;

e1031:    x211 - 1.38629436111989*b382 >= 0;

e1032:    x211 - 1.6094379124341*b394 >= 0;

e1033:    x211 - 1.79175946922805*b406 >= 0;

e1034:    x211 - 1.94591014905531*b418 >= 0;

e1035:    x211 - 2.07944154167984*b430 >= 0;

e1036:    x212 >= 0;

e1037:    x212 - 0.693147180559945*b359 >= 0;

e1038:    x212 - 1.09861228866811*b371 >= 0;

e1039:    x212 - 1.38629436111989*b383 >= 0;

e1040:    x212 - 1.6094379124341*b395 >= 0;

e1041:    x212 - 1.79175946922805*b407 >= 0;

e1042:    x212 - 1.94591014905531*b419 >= 0;

e1043:    x212 - 2.07944154167984*b431 >= 0;

e1044:    x213 >= 0;

e1045:    x213 - 0.693147180559945*b360 >= 0;

e1046:    x213 - 1.09861228866811*b372 >= 0;

e1047:    x213 - 1.38629436111989*b384 >= 0;

e1048:    x213 - 1.6094379124341*b396 >= 0;

e1049:    x213 - 1.79175946922805*b408 >= 0;

e1050:    x213 - 1.94591014905531*b420 >= 0;

e1051:    x213 - 2.07944154167984*b432 >= 0;

e1052:    x214 >= 0;

e1053:    x214 - 0.693147180559945*b361 >= 0;

e1054:    x214 - 1.09861228866811*b373 >= 0;

e1055:    x214 - 1.38629436111989*b385 >= 0;

e1056:    x214 - 1.6094379124341*b397 >= 0;

e1057:    x214 - 1.79175946922805*b409 >= 0;

e1058:    x214 - 1.94591014905531*b421 >= 0;

e1059:    x214 - 2.07944154167984*b433 >= 0;

e1060:    x215 >= 0;

e1061:    x215 - 0.693147180559945*b362 >= 0;

e1062:    x215 - 1.09861228866811*b374 >= 0;

e1063:    x215 - 1.38629436111989*b386 >= 0;

e1064:    x215 - 1.6094379124341*b398 >= 0;

e1065:    x215 - 1.79175946922805*b410 >= 0;

e1066:    x215 - 1.94591014905531*b422 >= 0;

e1067:    x215 - 2.07944154167984*b434 >= 0;

e1068:    x216 >= 0;

e1069:    x216 - 0.693147180559945*b363 >= 0;

e1070:    x216 - 1.09861228866811*b375 >= 0;

e1071:    x216 - 1.38629436111989*b387 >= 0;

e1072:    x216 - 1.6094379124341*b399 >= 0;

e1073:    x216 - 1.79175946922805*b411 >= 0;

e1074:    x216 - 1.94591014905531*b423 >= 0;

e1075:    x216 - 2.07944154167984*b435 >= 0;

e1076:    b244 + b256 + b268 + b280 + b292 + b304 + b316 + b328 = 1;

e1077:    b245 + b257 + b269 + b281 + b293 + b305 + b317 + b329 = 1;

e1078:    b246 + b258 + b270 + b282 + b294 + b306 + b318 + b330 = 1;

e1079:    b247 + b259 + b271 + b283 + b295 + b307 + b319 + b331 = 1;

e1080:    b248 + b260 + b272 + b284 + b296 + b308 + b320 + b332 = 1;

e1081:    b249 + b261 + b273 + b285 + b297 + b309 + b321 + b333 = 1;

e1082:    b250 + b262 + b274 + b286 + b298 + b310 + b322 + b334 = 1;

e1083:    b251 + b263 + b275 + b287 + b299 + b311 + b323 + b335 = 1;

e1084:    b252 + b264 + b276 + b288 + b300 + b312 + b324 + b336 = 1;

e1085:    b253 + b265 + b277 + b289 + b301 + b313 + b325 + b337 = 1;

e1086:    b254 + b266 + b278 + b290 + b302 + b314 + b326 + b338 = 1;

e1087:    b255 + b267 + b279 + b291 + b303 + b315 + b327 + b339 = 1;

e1088:    b340 + b352 + b364 + b376 + b388 + b400 + b412 + b424 = 1;

e1089:    b341 + b353 + b365 + b377 + b389 + b401 + b413 + b425 = 1;

e1090:    b342 + b354 + b366 + b378 + b390 + b402 + b414 + b426 = 1;

e1091:    b343 + b355 + b367 + b379 + b391 + b403 + b415 + b427 = 1;

e1092:    b344 + b356 + b368 + b380 + b392 + b404 + b416 + b428 = 1;

e1093:    b345 + b357 + b369 + b381 + b393 + b405 + b417 + b429 = 1;

e1094:    b346 + b358 + b370 + b382 + b394 + b406 + b418 + b430 = 1;

e1095:    b347 + b359 + b371 + b383 + b395 + b407 + b419 + b431 = 1;

e1096:    b348 + b360 + b372 + b384 + b396 + b408 + b420 + b432 = 1;

e1097:    b349 + b361 + b373 + b385 + b397 + b409 + b421 + b433 = 1;

e1098:    b350 + b362 + b374 + b386 + b398 + b410 + b422 + b434 = 1;

e1099:    b351 + b363 + b375 + b387 + b399 + b411 + b423 + b435 = 1;

e1100:    x13 - x14 + 1.41730600393768*b436 <= 2.51591829260579;

e1101:    x14 - x15 + 1.41730600393768*b437 <= 2.51591829260579;

e1102:    x15 - x16 + 1.41730600393768*b438 <= 2.51591829260579;

e1103:    x16 - x17 + 1.41730600393768*b439 <= 2.51591829260579;

e1104:    x17 - x18 + 1.41730600393768*b440 <= 2.51591829260579;

e1105:    x18 - x19 + 1.41730600393768*b441 <= 2.51591829260579;

e1106:    x19 - x20 + 1.41730600393768*b442 <= 2.51591829260579;

e1107:    x20 - x21 + 1.41730600393768*b443 <= 2.51591829260579;

e1108:    x21 - x22 + 1.41730600393768*b444 <= 2.51591829260579;

e1109:    x22 - x23 + 1.41730600393768*b445 <= 2.51591829260579;

e1110:    x23 - x24 + 1.41730600393768*b446 <= 2.51591829260579;

e1111:    x25 - x26 + 2.56174912652459*b436 <= 3.6603614151927;

e1112:    x26 - x27 + 2.56174912652459*b437 <= 3.6603614151927;

e1113:    x27 - x28 + 2.56174912652459*b438 <= 3.6603614151927;

e1114:    x28 - x29 + 2.56174912652459*b439 <= 3.6603614151927;

e1115:    x29 - x30 + 2.56174912652459*b440 <= 3.6603614151927;

e1116:    x30 - x31 + 2.56174912652459*b441 <= 3.6603614151927;

e1117:    x31 - x32 + 2.56174912652459*b442 <= 3.6603614151927;

e1118:    x32 - x33 + 2.56174912652459*b443 <= 3.6603614151927;

e1119:    x33 - x34 + 2.56174912652459*b444 <= 3.6603614151927;

e1120:    x34 - x35 + 2.56174912652459*b445 <= 3.6603614151927;

e1121:    x35 - x36 + 2.56174912652459*b446 <= 3.6603614151927;

e1122:    x37 - x38 + 2.23189366487151*b436 <= 3.33050595353962;

e1123:    x38 - x39 + 2.23189366487151*b437 <= 3.33050595353962;

e1124:    x39 - x40 + 2.23189366487151*b438 <= 3.33050595353962;

e1125:    x40 - x41 + 2.23189366487151*b439 <= 3.33050595353962;

e1126:    x41 - x42 + 2.23189366487151*b440 <= 3.33050595353962;

e1127:    x42 - x43 + 2.23189366487151*b441 <= 3.33050595353962;

e1128:    x43 - x44 + 2.23189366487151*b442 <= 3.33050595353962;

e1129:    x44 - x45 + 2.23189366487151*b443 <= 3.33050595353962;

e1130:    x45 - x46 + 2.23189366487151*b444 <= 3.33050595353962;

e1131:    x46 - x47 + 2.23189366487151*b445 <= 3.33050595353962;

e1132:    x47 - x48 + 2.23189366487151*b446 <= 3.33050595353962;

e1133:    x49 - x50 + 2.16158168553082*b436 <= 3.26019397419893;

e1134:    x50 - x51 + 2.16158168553082*b437 <= 3.26019397419893;

e1135:    x51 - x52 + 2.16158168553082*b438 <= 3.26019397419893;

e1136:    x52 - x53 + 2.16158168553082*b439 <= 3.26019397419893;

e1137:    x53 - x54 + 2.16158168553082*b440 <= 3.26019397419893;

e1138:    x54 - x55 + 2.16158168553082*b441 <= 3.26019397419893;

e1139:    x55 - x56 + 2.16158168553082*b442 <= 3.26019397419893;

e1140:    x56 - x57 + 2.16158168553082*b443 <= 3.26019397419893;

e1141:    x57 - x58 + 2.16158168553082*b444 <= 3.26019397419893;

e1142:    x58 - x59 + 2.16158168553082*b445 <= 3.26019397419893;

e1143:    x59 - x60 + 2.16158168553082*b446 <= 3.26019397419893;

e1144:    x61 - x62 + 2.21732524904322*b436 <= 3.31593753771133;

e1145:    x62 - x63 + 2.21732524904322*b437 <= 3.31593753771133;

e1146:    x63 - x64 + 2.21732524904322*b438 <= 3.31593753771133;

e1147:    x64 - x65 + 2.21732524904322*b439 <= 3.31593753771133;

e1148:    x65 - x66 + 2.21732524904322*b440 <= 3.31593753771133;

e1149:    x66 - x67 + 2.21732524904322*b441 <= 3.31593753771133;

e1150:    x67 - x68 + 2.21732524904322*b442 <= 3.31593753771133;

e1151:    x68 - x69 + 2.21732524904322*b443 <= 3.31593753771133;

e1152:    x69 - x70 + 2.21732524904322*b444 <= 3.31593753771133;

e1153:    x70 - x71 + 2.21732524904322*b445 <= 3.31593753771133;

e1154:    x71 - x72 + 2.21732524904322*b446 <= 3.31593753771133;

e1155:    x73 - x74 + 3.03543881899038*b436 <= 4.13405110765849;

e1156:    x74 - x75 + 3.03543881899038*b437 <= 4.13405110765849;

e1157:    x75 - x76 + 3.03543881899038*b438 <= 4.13405110765849;

e1158:    x76 - x77 + 3.03543881899038*b439 <= 4.13405110765849;

e1159:    x77 - x78 + 3.03543881899038*b440 <= 4.13405110765849;

e1160:    x78 - x79 + 3.03543881899038*b441 <= 4.13405110765849;

e1161:    x79 - x80 + 3.03543881899038*b442 <= 4.13405110765849;

e1162:    x80 - x81 + 3.03543881899038*b443 <= 4.13405110765849;

e1163:    x81 - x82 + 3.03543881899038*b444 <= 4.13405110765849;

e1164:    x82 - x83 + 3.03543881899038*b445 <= 4.13405110765849;

e1165:    x83 - x84 + 3.03543881899038*b446 <= 4.13405110765849;

e1166:    x85 - x86 + 2.1353167455725*b436 <= 3.23392903424061;

e1167:    x86 - x87 + 2.1353167455725*b437 <= 3.23392903424061;

e1168:    x87 - x88 + 2.1353167455725*b438 <= 3.23392903424061;

e1169:    x88 - x89 + 2.1353167455725*b439 <= 3.23392903424061;

e1170:    x89 - x90 + 2.1353167455725*b440 <= 3.23392903424061;

e1171:    x90 - x91 + 2.1353167455725*b441 <= 3.23392903424061;

e1172:    x91 - x92 + 2.1353167455725*b442 <= 3.23392903424061;

e1173:    x92 - x93 + 2.1353167455725*b443 <= 3.23392903424061;

e1174:    x93 - x94 + 2.1353167455725*b444 <= 3.23392903424061;

e1175:    x94 - x95 + 2.1353167455725*b445 <= 3.23392903424061;

e1176:    x95 - x96 + 2.1353167455725*b446 <= 3.23392903424061;

e1177:    x97 - x98 + 2.17287348647239*b436 <= 3.2714857751405;

e1178:    x98 - x99 + 2.17287348647239*b437 <= 3.2714857751405;

e1179:    x99 - x100 + 2.17287348647239*b438 <= 3.2714857751405;

e1180:    x100 - x101 + 2.17287348647239*b439 <= 3.2714857751405;

e1181:    x101 - x102 + 2.17287348647239*b440 <= 3.2714857751405;

e1182:    x102 - x103 + 2.17287348647239*b441 <= 3.2714857751405;

e1183:    x103 - x104 + 2.17287348647239*b442 <= 3.2714857751405;

e1184:    x104 - x105 + 2.17287348647239*b443 <= 3.2714857751405;

e1185:    x105 - x106 + 2.17287348647239*b444 <= 3.2714857751405;

e1186:    x106 - x107 + 2.17287348647239*b445 <= 3.2714857751405;

e1187:    x107 - x108 + 2.17287348647239*b446 <= 3.2714857751405;

e1188:    x109 - x110 + 2.06553863651084*b436 <= 3.16415092517895;

e1189:    x110 - x111 + 2.06553863651084*b437 <= 3.16415092517895;

e1190:    x111 - x112 + 2.06553863651084*b438 <= 3.16415092517895;

e1191:    x112 - x113 + 2.06553863651084*b439 <= 3.16415092517895;

e1192:    x113 - x114 + 2.06553863651084*b440 <= 3.16415092517895;

e1193:    x114 - x115 + 2.06553863651084*b441 <= 3.16415092517895;

e1194:    x115 - x116 + 2.06553863651084*b442 <= 3.16415092517895;

e1195:    x116 - x117 + 2.06553863651084*b443 <= 3.16415092517895;

e1196:    x117 - x118 + 2.06553863651084*b444 <= 3.16415092517895;

e1197:    x118 - x119 + 2.06553863651084*b445 <= 3.16415092517895;

e1198:    x119 - x120 + 2.06553863651084*b446 <= 3.16415092517895;

e1199:    x121 - x122 + 2.10475934966412*b436 <= 3.20337163833223;

e1200:    x122 - x123 + 2.10475934966412*b437 <= 3.20337163833223;

e1201:    x123 - x124 + 2.10475934966412*b438 <= 3.20337163833223;

e1202:    x124 - x125 + 2.10475934966412*b439 <= 3.20337163833223;

e1203:    x125 - x126 + 2.10475934966412*b440 <= 3.20337163833223;

e1204:    x126 - x127 + 2.10475934966412*b441 <= 3.20337163833223;

e1205:    x127 - x128 + 2.10475934966412*b442 <= 3.20337163833223;

e1206:    x128 - x129 + 2.10475934966412*b443 <= 3.20337163833223;

e1207:    x129 - x130 + 2.10475934966412*b444 <= 3.20337163833223;

e1208:    x130 - x131 + 2.10475934966412*b445 <= 3.20337163833223;

e1209:    x131 - x132 + 2.10475934966412*b446 <= 3.20337163833223;

e1210:    x133 - x134 + 1.95316137576951*b436 <= 3.05177366443762;

e1211:    x134 - x135 + 1.95316137576951*b437 <= 3.05177366443762;

e1212:    x135 - x136 + 1.95316137576951*b438 <= 3.05177366443762;

e1213:    x136 - x137 + 1.95316137576951*b439 <= 3.05177366443762;

e1214:    x137 - x138 + 1.95316137576951*b440 <= 3.05177366443762;

e1215:    x138 - x139 + 1.95316137576951*b441 <= 3.05177366443762;

e1216:    x139 - x140 + 1.95316137576951*b442 <= 3.05177366443762;

e1217:    x140 - x141 + 1.95316137576951*b443 <= 3.05177366443762;

e1218:    x141 - x142 + 1.95316137576951*b444 <= 3.05177366443762;

e1219:    x142 - x143 + 1.95316137576951*b445 <= 3.05177366443762;

e1220:    x143 - x144 + 1.95316137576951*b446 <= 3.05177366443762;

e1221:    x145 - x146 + 1.85938847528407*b436 <= 2.95800076395218;

e1222:    x146 - x147 + 1.85938847528407*b437 <= 2.95800076395218;

e1223:    x147 - x148 + 1.85938847528407*b438 <= 2.95800076395218;

e1224:    x148 - x149 + 1.85938847528407*b439 <= 2.95800076395218;

e1225:    x149 - x150 + 1.85938847528407*b440 <= 2.95800076395218;

e1226:    x150 - x151 + 1.85938847528407*b441 <= 2.95800076395218;

e1227:    x151 - x152 + 1.85938847528407*b442 <= 2.95800076395218;

e1228:    x152 - x153 + 1.85938847528407*b443 <= 2.95800076395218;

e1229:    x153 - x154 + 1.85938847528407*b444 <= 2.95800076395218;

e1230:    x154 - x155 + 1.85938847528407*b445 <= 2.95800076395218;

e1231:    x155 - x156 + 1.85938847528407*b446 <= 2.95800076395218;

e1232:    x157 - x158 + 1.6620478627064*b436 <= 2.76066015137451;

e1233:    x158 - x159 + 1.6620478627064*b437 <= 2.76066015137451;

e1234:    x159 - x160 + 1.6620478627064*b438 <= 2.76066015137451;

e1235:    x160 - x161 + 1.6620478627064*b439 <= 2.76066015137451;

e1236:    x161 - x162 + 1.6620478627064*b440 <= 2.76066015137451;

e1237:    x162 - x163 + 1.6620478627064*b441 <= 2.76066015137451;

e1238:    x163 - x164 + 1.6620478627064*b442 <= 2.76066015137451;

e1239:    x164 - x165 + 1.6620478627064*b443 <= 2.76066015137451;

e1240:    x165 - x166 + 1.6620478627064*b444 <= 2.76066015137451;

e1241:    x166 - x167 + 1.6620478627064*b445 <= 2.76066015137451;

e1242:    x167 - x168 + 1.6620478627064*b446 <= 2.76066015137451;

e1243:    x169 - x170 + 2.22860467999605*b436 <= 3.32721696866416;

e1244:    x170 - x171 + 2.22860467999605*b437 <= 3.32721696866416;

e1245:    x171 - x172 + 2.22860467999605*b438 <= 3.32721696866416;

e1246:    x172 - x173 + 2.22860467999605*b439 <= 3.32721696866416;

e1247:    x173 - x174 + 2.22860467999605*b440 <= 3.32721696866416;

e1248:    x174 - x175 + 2.22860467999605*b441 <= 3.32721696866416;

e1249:    x175 - x176 + 2.22860467999605*b442 <= 3.32721696866416;

e1250:    x176 - x177 + 2.22860467999605*b443 <= 3.32721696866416;

e1251:    x177 - x178 + 2.22860467999605*b444 <= 3.32721696866416;

e1252:    x178 - x179 + 2.22860467999605*b445 <= 3.32721696866416;

e1253:    x179 - x180 + 2.22860467999605*b446 <= 3.32721696866416;

e1254:    x181 - x182 + 2.60988695231548*b436 <= 3.70849924098359;

e1255:    x182 - x183 + 2.60988695231548*b437 <= 3.70849924098359;

e1256:    x183 - x184 + 2.60988695231548*b438 <= 3.70849924098359;

e1257:    x184 - x185 + 2.60988695231548*b439 <= 3.70849924098359;

e1258:    x185 - x186 + 2.60988695231548*b440 <= 3.70849924098359;

e1259:    x186 - x187 + 2.60988695231548*b441 <= 3.70849924098359;

e1260:    x187 - x188 + 2.60988695231548*b442 <= 3.70849924098359;

e1261:    x188 - x189 + 2.60988695231548*b443 <= 3.70849924098359;

e1262:    x189 - x190 + 2.60988695231548*b444 <= 3.70849924098359;

e1263:    x190 - x191 + 2.60988695231548*b445 <= 3.70849924098359;

e1264:    x191 - x192 + 2.60988695231548*b446 <= 3.70849924098359;

e1265:    x13 - x14 - 1.41730600393768*b436 >= -2.51591829260579;

e1266:    x14 - x15 - 1.41730600393768*b437 >= -2.51591829260579;

e1267:    x15 - x16 - 1.41730600393768*b438 >= -2.51591829260579;

e1268:    x16 - x17 - 1.41730600393768*b439 >= -2.51591829260579;

e1269:    x17 - x18 - 1.41730600393768*b440 >= -2.51591829260579;

e1270:    x18 - x19 - 1.41730600393768*b441 >= -2.51591829260579;

e1271:    x19 - x20 - 1.41730600393768*b442 >= -2.51591829260579;

e1272:    x20 - x21 - 1.41730600393768*b443 >= -2.51591829260579;

e1273:    x21 - x22 - 1.41730600393768*b444 >= -2.51591829260579;

e1274:    x22 - x23 - 1.41730600393768*b445 >= -2.51591829260579;

e1275:    x23 - x24 - 1.41730600393768*b446 >= -2.51591829260579;

e1276:    x25 - x26 - 2.56174912652459*b436 >= -3.6603614151927;

e1277:    x26 - x27 - 2.56174912652459*b437 >= -3.6603614151927;

e1278:    x27 - x28 - 2.56174912652459*b438 >= -3.6603614151927;

e1279:    x28 - x29 - 2.56174912652459*b439 >= -3.6603614151927;

e1280:    x29 - x30 - 2.56174912652459*b440 >= -3.6603614151927;

e1281:    x30 - x31 - 2.56174912652459*b441 >= -3.6603614151927;

e1282:    x31 - x32 - 2.56174912652459*b442 >= -3.6603614151927;

e1283:    x32 - x33 - 2.56174912652459*b443 >= -3.6603614151927;

e1284:    x33 - x34 - 2.56174912652459*b444 >= -3.6603614151927;

e1285:    x34 - x35 - 2.56174912652459*b445 >= -3.6603614151927;

e1286:    x35 - x36 - 2.56174912652459*b446 >= -3.6603614151927;

e1287:    x37 - x38 - 2.23189366487151*b436 >= -3.33050595353962;

e1288:    x38 - x39 - 2.23189366487151*b437 >= -3.33050595353962;

e1289:    x39 - x40 - 2.23189366487151*b438 >= -3.33050595353962;

e1290:    x40 - x41 - 2.23189366487151*b439 >= -3.33050595353962;

e1291:    x41 - x42 - 2.23189366487151*b440 >= -3.33050595353962;

e1292:    x42 - x43 - 2.23189366487151*b441 >= -3.33050595353962;

e1293:    x43 - x44 - 2.23189366487151*b442 >= -3.33050595353962;

e1294:    x44 - x45 - 2.23189366487151*b443 >= -3.33050595353962;

e1295:    x45 - x46 - 2.23189366487151*b444 >= -3.33050595353962;

e1296:    x46 - x47 - 2.23189366487151*b445 >= -3.33050595353962;

e1297:    x47 - x48 - 2.23189366487151*b446 >= -3.33050595353962;

e1298:    x49 - x50 - 2.16158168553082*b436 >= -3.26019397419893;

e1299:    x50 - x51 - 2.16158168553082*b437 >= -3.26019397419893;

e1300:    x51 - x52 - 2.16158168553082*b438 >= -3.26019397419893;

e1301:    x52 - x53 - 2.16158168553082*b439 >= -3.26019397419893;

e1302:    x53 - x54 - 2.16158168553082*b440 >= -3.26019397419893;

e1303:    x54 - x55 - 2.16158168553082*b441 >= -3.26019397419893;

e1304:    x55 - x56 - 2.16158168553082*b442 >= -3.26019397419893;

e1305:    x56 - x57 - 2.16158168553082*b443 >= -3.26019397419893;

e1306:    x57 - x58 - 2.16158168553082*b444 >= -3.26019397419893;

e1307:    x58 - x59 - 2.16158168553082*b445 >= -3.26019397419893;

e1308:    x59 - x60 - 2.16158168553082*b446 >= -3.26019397419893;

e1309:    x61 - x62 - 2.21732524904322*b436 >= -3.31593753771133;

e1310:    x62 - x63 - 2.21732524904322*b437 >= -3.31593753771133;

e1311:    x63 - x64 - 2.21732524904322*b438 >= -3.31593753771133;

e1312:    x64 - x65 - 2.21732524904322*b439 >= -3.31593753771133;

e1313:    x65 - x66 - 2.21732524904322*b440 >= -3.31593753771133;

e1314:    x66 - x67 - 2.21732524904322*b441 >= -3.31593753771133;

e1315:    x67 - x68 - 2.21732524904322*b442 >= -3.31593753771133;

e1316:    x68 - x69 - 2.21732524904322*b443 >= -3.31593753771133;

e1317:    x69 - x70 - 2.21732524904322*b444 >= -3.31593753771133;

e1318:    x70 - x71 - 2.21732524904322*b445 >= -3.31593753771133;

e1319:    x71 - x72 - 2.21732524904322*b446 >= -3.31593753771133;

e1320:    x73 - x74 - 3.03543881899038*b436 >= -4.13405110765849;

e1321:    x74 - x75 - 3.03543881899038*b437 >= -4.13405110765849;

e1322:    x75 - x76 - 3.03543881899038*b438 >= -4.13405110765849;

e1323:    x76 - x77 - 3.03543881899038*b439 >= -4.13405110765849;

e1324:    x77 - x78 - 3.03543881899038*b440 >= -4.13405110765849;

e1325:    x78 - x79 - 3.03543881899038*b441 >= -4.13405110765849;

e1326:    x79 - x80 - 3.03543881899038*b442 >= -4.13405110765849;

e1327:    x80 - x81 - 3.03543881899038*b443 >= -4.13405110765849;

e1328:    x81 - x82 - 3.03543881899038*b444 >= -4.13405110765849;

e1329:    x82 - x83 - 3.03543881899038*b445 >= -4.13405110765849;

e1330:    x83 - x84 - 3.03543881899038*b446 >= -4.13405110765849;

e1331:    x85 - x86 - 2.1353167455725*b436 >= -3.23392903424061;

e1332:    x86 - x87 - 2.1353167455725*b437 >= -3.23392903424061;

e1333:    x87 - x88 - 2.1353167455725*b438 >= -3.23392903424061;

e1334:    x88 - x89 - 2.1353167455725*b439 >= -3.23392903424061;

e1335:    x89 - x90 - 2.1353167455725*b440 >= -3.23392903424061;

e1336:    x90 - x91 - 2.1353167455725*b441 >= -3.23392903424061;

e1337:    x91 - x92 - 2.1353167455725*b442 >= -3.23392903424061;

e1338:    x92 - x93 - 2.1353167455725*b443 >= -3.23392903424061;

e1339:    x93 - x94 - 2.1353167455725*b444 >= -3.23392903424061;

e1340:    x94 - x95 - 2.1353167455725*b445 >= -3.23392903424061;

e1341:    x95 - x96 - 2.1353167455725*b446 >= -3.23392903424061;

e1342:    x97 - x98 - 2.17287348647239*b436 >= -3.2714857751405;

e1343:    x98 - x99 - 2.17287348647239*b437 >= -3.2714857751405;

e1344:    x99 - x100 - 2.17287348647239*b438 >= -3.2714857751405;

e1345:    x100 - x101 - 2.17287348647239*b439 >= -3.2714857751405;

e1346:    x101 - x102 - 2.17287348647239*b440 >= -3.2714857751405;

e1347:    x102 - x103 - 2.17287348647239*b441 >= -3.2714857751405;

e1348:    x103 - x104 - 2.17287348647239*b442 >= -3.2714857751405;

e1349:    x104 - x105 - 2.17287348647239*b443 >= -3.2714857751405;

e1350:    x105 - x106 - 2.17287348647239*b444 >= -3.2714857751405;

e1351:    x106 - x107 - 2.17287348647239*b445 >= -3.2714857751405;

e1352:    x107 - x108 - 2.17287348647239*b446 >= -3.2714857751405;

e1353:    x109 - x110 - 2.06553863651084*b436 >= -3.16415092517895;

e1354:    x110 - x111 - 2.06553863651084*b437 >= -3.16415092517895;

e1355:    x111 - x112 - 2.06553863651084*b438 >= -3.16415092517895;

e1356:    x112 - x113 - 2.06553863651084*b439 >= -3.16415092517895;

e1357:    x113 - x114 - 2.06553863651084*b440 >= -3.16415092517895;

e1358:    x114 - x115 - 2.06553863651084*b441 >= -3.16415092517895;

e1359:    x115 - x116 - 2.06553863651084*b442 >= -3.16415092517895;

e1360:    x116 - x117 - 2.06553863651084*b443 >= -3.16415092517895;

e1361:    x117 - x118 - 2.06553863651084*b444 >= -3.16415092517895;

e1362:    x118 - x119 - 2.06553863651084*b445 >= -3.16415092517895;

e1363:    x119 - x120 - 2.06553863651084*b446 >= -3.16415092517895;

e1364:    x121 - x122 - 2.10475934966412*b436 >= -3.20337163833223;

e1365:    x122 - x123 - 2.10475934966412*b437 >= -3.20337163833223;

e1366:    x123 - x124 - 2.10475934966412*b438 >= -3.20337163833223;

e1367:    x124 - x125 - 2.10475934966412*b439 >= -3.20337163833223;

e1368:    x125 - x126 - 2.10475934966412*b440 >= -3.20337163833223;

e1369:    x126 - x127 - 2.10475934966412*b441 >= -3.20337163833223;

e1370:    x127 - x128 - 2.10475934966412*b442 >= -3.20337163833223;

e1371:    x128 - x129 - 2.10475934966412*b443 >= -3.20337163833223;

e1372:    x129 - x130 - 2.10475934966412*b444 >= -3.20337163833223;

e1373:    x130 - x131 - 2.10475934966412*b445 >= -3.20337163833223;

e1374:    x131 - x132 - 2.10475934966412*b446 >= -3.20337163833223;

e1375:    x133 - x134 - 1.95316137576951*b436 >= -3.05177366443762;

e1376:    x134 - x135 - 1.95316137576951*b437 >= -3.05177366443762;

e1377:    x135 - x136 - 1.95316137576951*b438 >= -3.05177366443762;

e1378:    x136 - x137 - 1.95316137576951*b439 >= -3.05177366443762;

e1379:    x137 - x138 - 1.95316137576951*b440 >= -3.05177366443762;

e1380:    x138 - x139 - 1.95316137576951*b441 >= -3.05177366443762;

e1381:    x139 - x140 - 1.95316137576951*b442 >= -3.05177366443762;

e1382:    x140 - x141 - 1.95316137576951*b443 >= -3.05177366443762;

e1383:    x141 - x142 - 1.95316137576951*b444 >= -3.05177366443762;

e1384:    x142 - x143 - 1.95316137576951*b445 >= -3.05177366443762;

e1385:    x143 - x144 - 1.95316137576951*b446 >= -3.05177366443762;

e1386:    x145 - x146 - 1.85938847528407*b436 >= -2.95800076395218;

e1387:    x146 - x147 - 1.85938847528407*b437 >= -2.95800076395218;

e1388:    x147 - x148 - 1.85938847528407*b438 >= -2.95800076395218;

e1389:    x148 - x149 - 1.85938847528407*b439 >= -2.95800076395218;

e1390:    x149 - x150 - 1.85938847528407*b440 >= -2.95800076395218;

e1391:    x150 - x151 - 1.85938847528407*b441 >= -2.95800076395218;

e1392:    x151 - x152 - 1.85938847528407*b442 >= -2.95800076395218;

e1393:    x152 - x153 - 1.85938847528407*b443 >= -2.95800076395218;

e1394:    x153 - x154 - 1.85938847528407*b444 >= -2.95800076395218;

e1395:    x154 - x155 - 1.85938847528407*b445 >= -2.95800076395218;

e1396:    x155 - x156 - 1.85938847528407*b446 >= -2.95800076395218;

e1397:    x157 - x158 - 1.6620478627064*b436 >= -2.76066015137451;

e1398:    x158 - x159 - 1.6620478627064*b437 >= -2.76066015137451;

e1399:    x159 - x160 - 1.6620478627064*b438 >= -2.76066015137451;

e1400:    x160 - x161 - 1.6620478627064*b439 >= -2.76066015137451;

e1401:    x161 - x162 - 1.6620478627064*b440 >= -2.76066015137451;

e1402:    x162 - x163 - 1.6620478627064*b441 >= -2.76066015137451;

e1403:    x163 - x164 - 1.6620478627064*b442 >= -2.76066015137451;

e1404:    x164 - x165 - 1.6620478627064*b443 >= -2.76066015137451;

e1405:    x165 - x166 - 1.6620478627064*b444 >= -2.76066015137451;

e1406:    x166 - x167 - 1.6620478627064*b445 >= -2.76066015137451;

e1407:    x167 - x168 - 1.6620478627064*b446 >= -2.76066015137451;

e1408:    x169 - x170 - 2.22860467999605*b436 >= -3.32721696866416;

e1409:    x170 - x171 - 2.22860467999605*b437 >= -3.32721696866416;

e1410:    x171 - x172 - 2.22860467999605*b438 >= -3.32721696866416;

e1411:    x172 - x173 - 2.22860467999605*b439 >= -3.32721696866416;

e1412:    x173 - x174 - 2.22860467999605*b440 >= -3.32721696866416;

e1413:    x174 - x175 - 2.22860467999605*b441 >= -3.32721696866416;

e1414:    x175 - x176 - 2.22860467999605*b442 >= -3.32721696866416;

e1415:    x176 - x177 - 2.22860467999605*b443 >= -3.32721696866416;

e1416:    x177 - x178 - 2.22860467999605*b444 >= -3.32721696866416;

e1417:    x178 - x179 - 2.22860467999605*b445 >= -3.32721696866416;

e1418:    x179 - x180 - 2.22860467999605*b446 >= -3.32721696866416;

e1419:    x181 - x182 - 2.60988695231548*b436 >= -3.70849924098359;

e1420:    x182 - x183 - 2.60988695231548*b437 >= -3.70849924098359;

e1421:    x183 - x184 - 2.60988695231548*b438 >= -3.70849924098359;

e1422:    x184 - x185 - 2.60988695231548*b439 >= -3.70849924098359;

e1423:    x185 - x186 - 2.60988695231548*b440 >= -3.70849924098359;

e1424:    x186 - x187 - 2.60988695231548*b441 >= -3.70849924098359;

e1425:    x187 - x188 - 2.60988695231548*b442 >= -3.70849924098359;

e1426:    x188 - x189 - 2.60988695231548*b443 >= -3.70849924098359;

e1427:    x189 - x190 - 2.60988695231548*b444 >= -3.70849924098359;

e1428:    x190 - x191 - 2.60988695231548*b445 >= -3.70849924098359;

e1429:    x191 - x192 - 2.60988695231548*b446 >= -3.70849924098359;

e1431:    x218 - 18.8261458520605*b436 <= -9.21034037197618;

e1432:    x219 - 18.8261458520605*b437 <= -9.21034037197618;

e1433:    x220 - 18.8261458520605*b438 <= -9.21034037197618;

e1434:    x221 - 18.8261458520605*b439 <= -9.21034037197618;

e1435:    x222 - 18.8261458520605*b440 <= -9.21034037197618;

e1436:    x223 - 18.8261458520605*b441 <= -9.21034037197618;

e1437:    x224 - 18.8261458520605*b442 <= -9.21034037197618;

e1438:    x225 - 18.8261458520605*b443 <= -9.21034037197618;

e1439:    x226 - 18.8261458520605*b444 <= -9.21034037197618;

e1440:    x227 - 18.8261458520605*b445 <= -9.21034037197618;

e1441:    x228 - 18.8261458520605*b446 <= -9.21034037197618;

e1442:    x218 + 13.8155105579643*b436 >= -9.21034037197618;

e1443:    x219 + 13.8155105579643*b437 >= -9.21034037197618;

e1444:    x220 + 13.8155105579643*b438 >= -9.21034037197618;

e1445:    x221 + 13.8155105579643*b439 >= -9.21034037197618;

e1446:    x222 + 13.8155105579643*b440 >= -9.21034037197618;

e1447:    x223 + 13.8155105579643*b441 >= -9.21034037197618;

e1448:    x224 + 13.8155105579643*b442 >= -9.21034037197618;

e1449:    x225 + 13.8155105579643*b443 >= -9.21034037197618;

e1450:    x226 + 13.8155105579643*b444 >= -9.21034037197618;

e1451:    x227 + 13.8155105579643*b445 >= -9.21034037197618;

e1452:    x228 + 13.8155105579643*b446 >= -9.21034037197618;

e1453:    x13 - x14 - 2.51591829260579*b436 <= 0;

e1454:    x14 - x15 - 2.51591829260579*b437 <= 0;

e1455:    x15 - x16 - 2.51591829260579*b438 <= 0;

e1456:    x16 - x17 - 2.51591829260579*b439 <= 0;

e1457:    x17 - x18 - 2.51591829260579*b440 <= 0;

e1458:    x18 - x19 - 2.51591829260579*b441 <= 0;

e1459:    x19 - x20 - 2.51591829260579*b442 <= 0;

e1460:    x20 - x21 - 2.51591829260579*b443 <= 0;

e1461:    x21 - x22 - 2.51591829260579*b444 <= 0;

e1462:    x22 - x23 - 2.51591829260579*b445 <= 0;

e1463:    x23 - x24 - 2.51591829260579*b446 <= 0;

e1464:    x25 - x26 - 3.6603614151927*b436 <= 0;

e1465:    x26 - x27 - 3.6603614151927*b437 <= 0;

e1466:    x27 - x28 - 3.6603614151927*b438 <= 0;

e1467:    x28 - x29 - 3.6603614151927*b439 <= 0;

e1468:    x29 - x30 - 3.6603614151927*b440 <= 0;

e1469:    x30 - x31 - 3.6603614151927*b441 <= 0;

e1470:    x31 - x32 - 3.6603614151927*b442 <= 0;

e1471:    x32 - x33 - 3.6603614151927*b443 <= 0;

e1472:    x33 - x34 - 3.6603614151927*b444 <= 0;

e1473:    x34 - x35 - 3.6603614151927*b445 <= 0;

e1474:    x35 - x36 - 3.6603614151927*b446 <= 0;

e1475:    x37 - x38 - 3.33050595353962*b436 <= 0;

e1476:    x38 - x39 - 3.33050595353962*b437 <= 0;

e1477:    x39 - x40 - 3.33050595353962*b438 <= 0;

e1478:    x40 - x41 - 3.33050595353962*b439 <= 0;

e1479:    x41 - x42 - 3.33050595353962*b440 <= 0;

e1480:    x42 - x43 - 3.33050595353962*b441 <= 0;

e1481:    x43 - x44 - 3.33050595353962*b442 <= 0;

e1482:    x44 - x45 - 3.33050595353962*b443 <= 0;

e1483:    x45 - x46 - 3.33050595353962*b444 <= 0;

e1484:    x46 - x47 - 3.33050595353962*b445 <= 0;

e1485:    x47 - x48 - 3.33050595353962*b446 <= 0;

e1486:    x49 - x50 - 3.26019397419893*b436 <= 0;

e1487:    x50 - x51 - 3.26019397419893*b437 <= 0;

e1488:    x51 - x52 - 3.26019397419893*b438 <= 0;

e1489:    x52 - x53 - 3.26019397419893*b439 <= 0;

e1490:    x53 - x54 - 3.26019397419893*b440 <= 0;

e1491:    x54 - x55 - 3.26019397419893*b441 <= 0;

e1492:    x55 - x56 - 3.26019397419893*b442 <= 0;

e1493:    x56 - x57 - 3.26019397419893*b443 <= 0;

e1494:    x57 - x58 - 3.26019397419893*b444 <= 0;

e1495:    x58 - x59 - 3.26019397419893*b445 <= 0;

e1496:    x59 - x60 - 3.26019397419893*b446 <= 0;

e1497:    x61 - x62 - 3.31593753771133*b436 <= 0;

e1498:    x62 - x63 - 3.31593753771133*b437 <= 0;

e1499:    x63 - x64 - 3.31593753771133*b438 <= 0;

e1500:    x64 - x65 - 3.31593753771133*b439 <= 0;

e1501:    x65 - x66 - 3.31593753771133*b440 <= 0;

e1502:    x66 - x67 - 3.31593753771133*b441 <= 0;

e1503:    x67 - x68 - 3.31593753771133*b442 <= 0;

e1504:    x68 - x69 - 3.31593753771133*b443 <= 0;

e1505:    x69 - x70 - 3.31593753771133*b444 <= 0;

e1506:    x70 - x71 - 3.31593753771133*b445 <= 0;

e1507:    x71 - x72 - 3.31593753771133*b446 <= 0;

e1508:    x73 - x74 - 4.13405110765849*b436 <= 0;

e1509:    x74 - x75 - 4.13405110765849*b437 <= 0;

e1510:    x75 - x76 - 4.13405110765849*b438 <= 0;

e1511:    x76 - x77 - 4.13405110765849*b439 <= 0;

e1512:    x77 - x78 - 4.13405110765849*b440 <= 0;

e1513:    x78 - x79 - 4.13405110765849*b441 <= 0;

e1514:    x79 - x80 - 4.13405110765849*b442 <= 0;

e1515:    x80 - x81 - 4.13405110765849*b443 <= 0;

e1516:    x81 - x82 - 4.13405110765849*b444 <= 0;

e1517:    x82 - x83 - 4.13405110765849*b445 <= 0;

e1518:    x83 - x84 - 4.13405110765849*b446 <= 0;

e1519:    x85 - x86 - 3.23392903424061*b436 <= 0;

e1520:    x86 - x87 - 3.23392903424061*b437 <= 0;

e1521:    x87 - x88 - 3.23392903424061*b438 <= 0;

e1522:    x88 - x89 - 3.23392903424061*b439 <= 0;

e1523:    x89 - x90 - 3.23392903424061*b440 <= 0;

e1524:    x90 - x91 - 3.23392903424061*b441 <= 0;

e1525:    x91 - x92 - 3.23392903424061*b442 <= 0;

e1526:    x92 - x93 - 3.23392903424061*b443 <= 0;

e1527:    x93 - x94 - 3.23392903424061*b444 <= 0;

e1528:    x94 - x95 - 3.23392903424061*b445 <= 0;

e1529:    x95 - x96 - 3.23392903424061*b446 <= 0;

e1530:    x97 - x98 - 3.2714857751405*b436 <= 0;

e1531:    x98 - x99 - 3.2714857751405*b437 <= 0;

e1532:    x99 - x100 - 3.2714857751405*b438 <= 0;

e1533:    x100 - x101 - 3.2714857751405*b439 <= 0;

e1534:    x101 - x102 - 3.2714857751405*b440 <= 0;

e1535:    x102 - x103 - 3.2714857751405*b441 <= 0;

e1536:    x103 - x104 - 3.2714857751405*b442 <= 0;

e1537:    x104 - x105 - 3.2714857751405*b443 <= 0;

e1538:    x105 - x106 - 3.2714857751405*b444 <= 0;

e1539:    x106 - x107 - 3.2714857751405*b445 <= 0;

e1540:    x107 - x108 - 3.2714857751405*b446 <= 0;

e1541:    x109 - x110 - 3.16415092517895*b436 <= 0;

e1542:    x110 - x111 - 3.16415092517895*b437 <= 0;

e1543:    x111 - x112 - 3.16415092517895*b438 <= 0;

e1544:    x112 - x113 - 3.16415092517895*b439 <= 0;

e1545:    x113 - x114 - 3.16415092517895*b440 <= 0;

e1546:    x114 - x115 - 3.16415092517895*b441 <= 0;

e1547:    x115 - x116 - 3.16415092517895*b442 <= 0;

e1548:    x116 - x117 - 3.16415092517895*b443 <= 0;

e1549:    x117 - x118 - 3.16415092517895*b444 <= 0;

e1550:    x118 - x119 - 3.16415092517895*b445 <= 0;

e1551:    x119 - x120 - 3.16415092517895*b446 <= 0;

e1552:    x121 - x122 - 3.20337163833223*b436 <= 0;

e1553:    x122 - x123 - 3.20337163833223*b437 <= 0;

e1554:    x123 - x124 - 3.20337163833223*b438 <= 0;

e1555:    x124 - x125 - 3.20337163833223*b439 <= 0;

e1556:    x125 - x126 - 3.20337163833223*b440 <= 0;

e1557:    x126 - x127 - 3.20337163833223*b441 <= 0;

e1558:    x127 - x128 - 3.20337163833223*b442 <= 0;

e1559:    x128 - x129 - 3.20337163833223*b443 <= 0;

e1560:    x129 - x130 - 3.20337163833223*b444 <= 0;

e1561:    x130 - x131 - 3.20337163833223*b445 <= 0;

e1562:    x131 - x132 - 3.20337163833223*b446 <= 0;

e1563:    x133 - x134 - 3.05177366443762*b436 <= 0;

e1564:    x134 - x135 - 3.05177366443762*b437 <= 0;

e1565:    x135 - x136 - 3.05177366443762*b438 <= 0;

e1566:    x136 - x137 - 3.05177366443762*b439 <= 0;

e1567:    x137 - x138 - 3.05177366443762*b440 <= 0;

e1568:    x138 - x139 - 3.05177366443762*b441 <= 0;

e1569:    x139 - x140 - 3.05177366443762*b442 <= 0;

e1570:    x140 - x141 - 3.05177366443762*b443 <= 0;

e1571:    x141 - x142 - 3.05177366443762*b444 <= 0;

e1572:    x142 - x143 - 3.05177366443762*b445 <= 0;

e1573:    x143 - x144 - 3.05177366443762*b446 <= 0;

e1574:    x145 - x146 - 2.95800076395218*b436 <= 0;

e1575:    x146 - x147 - 2.95800076395218*b437 <= 0;

e1576:    x147 - x148 - 2.95800076395218*b438 <= 0;

e1577:    x148 - x149 - 2.95800076395218*b439 <= 0;

e1578:    x149 - x150 - 2.95800076395218*b440 <= 0;

e1579:    x150 - x151 - 2.95800076395218*b441 <= 0;

e1580:    x151 - x152 - 2.95800076395218*b442 <= 0;

e1581:    x152 - x153 - 2.95800076395218*b443 <= 0;

e1582:    x153 - x154 - 2.95800076395218*b444 <= 0;

e1583:    x154 - x155 - 2.95800076395218*b445 <= 0;

e1584:    x155 - x156 - 2.95800076395218*b446 <= 0;

e1585:    x157 - x158 - 2.76066015137451*b436 <= 0;

e1586:    x158 - x159 - 2.76066015137451*b437 <= 0;

e1587:    x159 - x160 - 2.76066015137451*b438 <= 0;

e1588:    x160 - x161 - 2.76066015137451*b439 <= 0;

e1589:    x161 - x162 - 2.76066015137451*b440 <= 0;

e1590:    x162 - x163 - 2.76066015137451*b441 <= 0;

e1591:    x163 - x164 - 2.76066015137451*b442 <= 0;

e1592:    x164 - x165 - 2.76066015137451*b443 <= 0;

e1593:    x165 - x166 - 2.76066015137451*b444 <= 0;

e1594:    x166 - x167 - 2.76066015137451*b445 <= 0;

e1595:    x167 - x168 - 2.76066015137451*b446 <= 0;

e1596:    x169 - x170 - 3.32721696866416*b436 <= 0;

e1597:    x170 - x171 - 3.32721696866416*b437 <= 0;

e1598:    x171 - x172 - 3.32721696866416*b438 <= 0;

e1599:    x172 - x173 - 3.32721696866416*b439 <= 0;

e1600:    x173 - x174 - 3.32721696866416*b440 <= 0;

e1601:    x174 - x175 - 3.32721696866416*b441 <= 0;

e1602:    x175 - x176 - 3.32721696866416*b442 <= 0;

e1603:    x176 - x177 - 3.32721696866416*b443 <= 0;

e1604:    x177 - x178 - 3.32721696866416*b444 <= 0;

e1605:    x178 - x179 - 3.32721696866416*b445 <= 0;

e1606:    x179 - x180 - 3.32721696866416*b446 <= 0;

e1607:    x181 - x182 - 3.70849924098359*b436 <= 0;

e1608:    x182 - x183 - 3.70849924098359*b437 <= 0;

e1609:    x183 - x184 - 3.70849924098359*b438 <= 0;

e1610:    x184 - x185 - 3.70849924098359*b439 <= 0;

e1611:    x185 - x186 - 3.70849924098359*b440 <= 0;

e1612:    x186 - x187 - 3.70849924098359*b441 <= 0;

e1613:    x187 - x188 - 3.70849924098359*b442 <= 0;

e1614:    x188 - x189 - 3.70849924098359*b443 <= 0;

e1615:    x189 - x190 - 3.70849924098359*b444 <= 0;

e1616:    x190 - x191 - 3.70849924098359*b445 <= 0;

e1617:    x191 - x192 - 3.70849924098359*b446 <= 0;

e1618:    x13 - x14 + 2.51591829260579*b436 >= 0;

e1619:    x14 - x15 + 2.51591829260579*b437 >= 0;

e1620:    x15 - x16 + 2.51591829260579*b438 >= 0;

e1621:    x16 - x17 + 2.51591829260579*b439 >= 0;

e1622:    x17 - x18 + 2.51591829260579*b440 >= 0;

e1623:    x18 - x19 + 2.51591829260579*b441 >= 0;

e1624:    x19 - x20 + 2.51591829260579*b442 >= 0;

e1625:    x20 - x21 + 2.51591829260579*b443 >= 0;

e1626:    x21 - x22 + 2.51591829260579*b444 >= 0;

e1627:    x22 - x23 + 2.51591829260579*b445 >= 0;

e1628:    x23 - x24 + 2.51591829260579*b446 >= 0;

e1629:    x25 - x26 + 3.6603614151927*b436 >= 0;

e1630:    x26 - x27 + 3.6603614151927*b437 >= 0;

e1631:    x27 - x28 + 3.6603614151927*b438 >= 0;

e1632:    x28 - x29 + 3.6603614151927*b439 >= 0;

e1633:    x29 - x30 + 3.6603614151927*b440 >= 0;

e1634:    x30 - x31 + 3.6603614151927*b441 >= 0;

e1635:    x31 - x32 + 3.6603614151927*b442 >= 0;

e1636:    x32 - x33 + 3.6603614151927*b443 >= 0;

e1637:    x33 - x34 + 3.6603614151927*b444 >= 0;

e1638:    x34 - x35 + 3.6603614151927*b445 >= 0;

e1639:    x35 - x36 + 3.6603614151927*b446 >= 0;

e1640:    x37 - x38 + 3.33050595353962*b436 >= 0;

e1641:    x38 - x39 + 3.33050595353962*b437 >= 0;

e1642:    x39 - x40 + 3.33050595353962*b438 >= 0;

e1643:    x40 - x41 + 3.33050595353962*b439 >= 0;

e1644:    x41 - x42 + 3.33050595353962*b440 >= 0;

e1645:    x42 - x43 + 3.33050595353962*b441 >= 0;

e1646:    x43 - x44 + 3.33050595353962*b442 >= 0;

e1647:    x44 - x45 + 3.33050595353962*b443 >= 0;

e1648:    x45 - x46 + 3.33050595353962*b444 >= 0;

e1649:    x46 - x47 + 3.33050595353962*b445 >= 0;

e1650:    x47 - x48 + 3.33050595353962*b446 >= 0;

e1651:    x49 - x50 + 3.26019397419893*b436 >= 0;

e1652:    x50 - x51 + 3.26019397419893*b437 >= 0;

e1653:    x51 - x52 + 3.26019397419893*b438 >= 0;

e1654:    x52 - x53 + 3.26019397419893*b439 >= 0;

e1655:    x53 - x54 + 3.26019397419893*b440 >= 0;

e1656:    x54 - x55 + 3.26019397419893*b441 >= 0;

e1657:    x55 - x56 + 3.26019397419893*b442 >= 0;

e1658:    x56 - x57 + 3.26019397419893*b443 >= 0;

e1659:    x57 - x58 + 3.26019397419893*b444 >= 0;

e1660:    x58 - x59 + 3.26019397419893*b445 >= 0;

e1661:    x59 - x60 + 3.26019397419893*b446 >= 0;

e1662:    x61 - x62 + 3.31593753771133*b436 >= 0;

e1663:    x62 - x63 + 3.31593753771133*b437 >= 0;

e1664:    x63 - x64 + 3.31593753771133*b438 >= 0;

e1665:    x64 - x65 + 3.31593753771133*b439 >= 0;

e1666:    x65 - x66 + 3.31593753771133*b440 >= 0;

e1667:    x66 - x67 + 3.31593753771133*b441 >= 0;

e1668:    x67 - x68 + 3.31593753771133*b442 >= 0;

e1669:    x68 - x69 + 3.31593753771133*b443 >= 0;

e1670:    x69 - x70 + 3.31593753771133*b444 >= 0;

e1671:    x70 - x71 + 3.31593753771133*b445 >= 0;

e1672:    x71 - x72 + 3.31593753771133*b446 >= 0;

e1673:    x73 - x74 + 4.13405110765849*b436 >= 0;

e1674:    x74 - x75 + 4.13405110765849*b437 >= 0;

e1675:    x75 - x76 + 4.13405110765849*b438 >= 0;

e1676:    x76 - x77 + 4.13405110765849*b439 >= 0;

e1677:    x77 - x78 + 4.13405110765849*b440 >= 0;

e1678:    x78 - x79 + 4.13405110765849*b441 >= 0;

e1679:    x79 - x80 + 4.13405110765849*b442 >= 0;

e1680:    x80 - x81 + 4.13405110765849*b443 >= 0;

e1681:    x81 - x82 + 4.13405110765849*b444 >= 0;

e1682:    x82 - x83 + 4.13405110765849*b445 >= 0;

e1683:    x83 - x84 + 4.13405110765849*b446 >= 0;

e1684:    x85 - x86 + 3.23392903424061*b436 >= 0;

e1685:    x86 - x87 + 3.23392903424061*b437 >= 0;

e1686:    x87 - x88 + 3.23392903424061*b438 >= 0;

e1687:    x88 - x89 + 3.23392903424061*b439 >= 0;

e1688:    x89 - x90 + 3.23392903424061*b440 >= 0;

e1689:    x90 - x91 + 3.23392903424061*b441 >= 0;

e1690:    x91 - x92 + 3.23392903424061*b442 >= 0;

e1691:    x92 - x93 + 3.23392903424061*b443 >= 0;

e1692:    x93 - x94 + 3.23392903424061*b444 >= 0;

e1693:    x94 - x95 + 3.23392903424061*b445 >= 0;

e1694:    x95 - x96 + 3.23392903424061*b446 >= 0;

e1695:    x97 - x98 + 3.2714857751405*b436 >= 0;

e1696:    x98 - x99 + 3.2714857751405*b437 >= 0;

e1697:    x99 - x100 + 3.2714857751405*b438 >= 0;

e1698:    x100 - x101 + 3.2714857751405*b439 >= 0;

e1699:    x101 - x102 + 3.2714857751405*b440 >= 0;

e1700:    x102 - x103 + 3.2714857751405*b441 >= 0;

e1701:    x103 - x104 + 3.2714857751405*b442 >= 0;

e1702:    x104 - x105 + 3.2714857751405*b443 >= 0;

e1703:    x105 - x106 + 3.2714857751405*b444 >= 0;

e1704:    x106 - x107 + 3.2714857751405*b445 >= 0;

e1705:    x107 - x108 + 3.2714857751405*b446 >= 0;

e1706:    x109 - x110 + 3.16415092517895*b436 >= 0;

e1707:    x110 - x111 + 3.16415092517895*b437 >= 0;

e1708:    x111 - x112 + 3.16415092517895*b438 >= 0;

e1709:    x112 - x113 + 3.16415092517895*b439 >= 0;

e1710:    x113 - x114 + 3.16415092517895*b440 >= 0;

e1711:    x114 - x115 + 3.16415092517895*b441 >= 0;

e1712:    x115 - x116 + 3.16415092517895*b442 >= 0;

e1713:    x116 - x117 + 3.16415092517895*b443 >= 0;

e1714:    x117 - x118 + 3.16415092517895*b444 >= 0;

e1715:    x118 - x119 + 3.16415092517895*b445 >= 0;

e1716:    x119 - x120 + 3.16415092517895*b446 >= 0;

e1717:    x121 - x122 + 3.20337163833223*b436 >= 0;

e1718:    x122 - x123 + 3.20337163833223*b437 >= 0;

e1719:    x123 - x124 + 3.20337163833223*b438 >= 0;

e1720:    x124 - x125 + 3.20337163833223*b439 >= 0;

e1721:    x125 - x126 + 3.20337163833223*b440 >= 0;

e1722:    x126 - x127 + 3.20337163833223*b441 >= 0;

e1723:    x127 - x128 + 3.20337163833223*b442 >= 0;

e1724:    x128 - x129 + 3.20337163833223*b443 >= 0;

e1725:    x129 - x130 + 3.20337163833223*b444 >= 0;

e1726:    x130 - x131 + 3.20337163833223*b445 >= 0;

e1727:    x131 - x132 + 3.20337163833223*b446 >= 0;

e1728:    x133 - x134 + 3.05177366443762*b436 >= 0;

e1729:    x134 - x135 + 3.05177366443762*b437 >= 0;

e1730:    x135 - x136 + 3.05177366443762*b438 >= 0;

e1731:    x136 - x137 + 3.05177366443762*b439 >= 0;

e1732:    x137 - x138 + 3.05177366443762*b440 >= 0;

e1733:    x138 - x139 + 3.05177366443762*b441 >= 0;

e1734:    x139 - x140 + 3.05177366443762*b442 >= 0;

e1735:    x140 - x141 + 3.05177366443762*b443 >= 0;

e1736:    x141 - x142 + 3.05177366443762*b444 >= 0;

e1737:    x142 - x143 + 3.05177366443762*b445 >= 0;

e1738:    x143 - x144 + 3.05177366443762*b446 >= 0;

e1739:    x145 - x146 + 2.95800076395218*b436 >= 0;

e1740:    x146 - x147 + 2.95800076395218*b437 >= 0;

e1741:    x147 - x148 + 2.95800076395218*b438 >= 0;

e1742:    x148 - x149 + 2.95800076395218*b439 >= 0;

e1743:    x149 - x150 + 2.95800076395218*b440 >= 0;

e1744:    x150 - x151 + 2.95800076395218*b441 >= 0;

e1745:    x151 - x152 + 2.95800076395218*b442 >= 0;

e1746:    x152 - x153 + 2.95800076395218*b443 >= 0;

e1747:    x153 - x154 + 2.95800076395218*b444 >= 0;

e1748:    x154 - x155 + 2.95800076395218*b445 >= 0;

e1749:    x155 - x156 + 2.95800076395218*b446 >= 0;

e1750:    x157 - x158 + 2.76066015137451*b436 >= 0;

e1751:    x158 - x159 + 2.76066015137451*b437 >= 0;

e1752:    x159 - x160 + 2.76066015137451*b438 >= 0;

e1753:    x160 - x161 + 2.76066015137451*b439 >= 0;

e1754:    x161 - x162 + 2.76066015137451*b440 >= 0;

e1755:    x162 - x163 + 2.76066015137451*b441 >= 0;

e1756:    x163 - x164 + 2.76066015137451*b442 >= 0;

e1757:    x164 - x165 + 2.76066015137451*b443 >= 0;

e1758:    x165 - x166 + 2.76066015137451*b444 >= 0;

e1759:    x166 - x167 + 2.76066015137451*b445 >= 0;

e1760:    x167 - x168 + 2.76066015137451*b446 >= 0;

e1761:    x169 - x170 + 3.32721696866416*b436 >= 0;

e1762:    x170 - x171 + 3.32721696866416*b437 >= 0;

e1763:    x171 - x172 + 3.32721696866416*b438 >= 0;

e1764:    x172 - x173 + 3.32721696866416*b439 >= 0;

e1765:    x173 - x174 + 3.32721696866416*b440 >= 0;

e1766:    x174 - x175 + 3.32721696866416*b441 >= 0;

e1767:    x175 - x176 + 3.32721696866416*b442 >= 0;

e1768:    x176 - x177 + 3.32721696866416*b443 >= 0;

e1769:    x177 - x178 + 3.32721696866416*b444 >= 0;

e1770:    x178 - x179 + 3.32721696866416*b445 >= 0;

e1771:    x179 - x180 + 3.32721696866416*b446 >= 0;

e1772:    x181 - x182 + 3.70849924098359*b436 >= 0;

e1773:    x182 - x183 + 3.70849924098359*b437 >= 0;

e1774:    x183 - x184 + 3.70849924098359*b438 >= 0;

e1775:    x184 - x185 + 3.70849924098359*b439 >= 0;

e1776:    x185 - x186 + 3.70849924098359*b440 >= 0;

e1777:    x186 - x187 + 3.70849924098359*b441 >= 0;

e1778:    x187 - x188 + 3.70849924098359*b442 >= 0;

e1779:    x188 - x189 + 3.70849924098359*b443 >= 0;

e1780:    x189 - x190 + 3.70849924098359*b444 >= 0;

e1781:    x190 - x191 + 3.70849924098359*b445 >= 0;

e1782:    x191 - x192 + 3.70849924098359*b446 >= 0;