#  MINLP written by GAMS Convert at 01/12/18 13:29:58
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       2328       25     1611      692        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        559      308      251        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       6664     6597       67        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.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x14 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x15 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x16 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x17 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x18 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x19 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x20 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x21 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x22 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x23 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x24 := 3.61316763237824, >= 3.61316763237824, <= 6.35222947629824;
var x25 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x26 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x27 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x28 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x29 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x30 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x31 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x32 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x33 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x34 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x35 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x36 := 2.81839825827108, >= 2.81839825827108, <= 6.70190322477799;
var x37 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x38 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x39 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x40 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x41 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x42 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x43 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x44 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x45 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x46 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x47 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x48 := 2.9391619220656, >= 2.9391619220656, <= 6.49281142691943;
var x49 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x50 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x51 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x52 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x53 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x54 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x55 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x56 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x57 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x58 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x59 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x60 := 2.80537854506277, >= 2.80537854506277, <= 6.28871607057591;
var x61 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x62 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x63 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x64 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x65 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x66 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x67 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x68 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x69 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x70 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x71 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x72 := 2.58021682959232, >= 2.58021682959232, <= 6.11929791861787;
var x73 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x74 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x75 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x76 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x77 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x78 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x79 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x80 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x81 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x82 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x83 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x84 := 2.29924619172853, >= 2.29924619172853, <= 6.65644085070123;
var x85 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x86 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x87 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x88 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x89 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x90 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x91 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x92 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x93 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x94 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x95 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x96 := 3.05478703633531, >= 3.05478703633531, <= 6.51185962189012;
var x97 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x98 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x99 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x100 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x101 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x102 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x103 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x104 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x105 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x106 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x107 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x108 := 2.73436750941958, >= 2.73436750941958, <= 6.22899683587429;
var x109 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x110 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x111 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x112 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x113 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x114 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x115 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x116 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x117 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x118 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x119 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x120 := 3.12456514539696, >= 3.12456514539696, <= 6.51185962189012;
var x121 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x122 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x123 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x124 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x125 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x126 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x127 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x128 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x129 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x130 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x131 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x132 := 2.86220088092947, >= 2.86220088092947, <= 6.28871607057591;
var x133 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x134 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x135 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x136 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x137 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x138 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x139 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x140 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x141 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x142 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x143 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x144 := 3.07731226054641, >= 3.07731226054641, <= 6.35222947629824;
var x145 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x146 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x147 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x148 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x149 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x150 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x151 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x152 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x153 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x154 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x155 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x156 := 3.17108516103185, >= 3.17108516103185, <= 6.35222947629824;
var x157 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x158 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x159 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x160 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x161 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x162 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x163 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x164 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x165 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x166 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x167 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x168 := 3.13549421592915, >= 3.13549421592915, <= 6.11929791861787;
var x169 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x170 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x171 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x172 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x173 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x174 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x175 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x176 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x177 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x178 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x179 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x180 := 3.10608033072286, >= 3.10608033072286, <= 6.65644085070123;
var x181 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x182 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x183 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x184 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x185 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x186 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x187 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x188 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x189 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x190 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x191 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x192 := 2.58021682959232, >= 2.58021682959232, <= 6.51185962189012;
var x193 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x194 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x195 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x196 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x197 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x198 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x199 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x200 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x201 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x202 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x203 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x204 := 3.57608395996859, >= 3.57608395996859, <= 6.51185962189012;
var x205 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x206 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x207 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x208 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x209 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x210 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x211 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x212 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x213 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x214 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x215 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x216 := 3.7389188376838, >= 3.7389188376838, <= 6.22899683587429;
var x217 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x218 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x219 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x220 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x221 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x222 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x223 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x224 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x225 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x226 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x227 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x228 := 3.07731226054641, >= 3.07731226054641, <= 6.51185962189012;
var x229 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x230 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x231 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x232 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x233 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x234 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x235 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x236 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x237 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x238 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x239 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x240 := 3.52929738428947, >= 3.52929738428947, <= 6.28871607057591;
var x241 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x242 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x243 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x244 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x245 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x246 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x247 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x248 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x249 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x250 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x251 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x252 := 1.68020698332231, >= 1.68020698332231, <= 6.35222947629824;
var x253 >= 0, <= 2.30258509299405;
var x254 >= 0, <= 2.30258509299405;
var x255 >= 0, <= 2.30258509299405;
var x256 >= 0, <= 2.30258509299405;
var x257 >= 0, <= 2.30258509299405;
var x258 >= 0, <= 2.30258509299405;
var x259 >= 0, <= 2.30258509299405;
var x260 >= 0, <= 2.30258509299405;
var x261 >= 0, <= 2.30258509299405;
var x262 >= 0, <= 2.30258509299405;
var x263 >= 0, <= 2.30258509299405;
var x264 >= 0, <= 2.30258509299405;
var x265 >= 0, <= 2.30258509299405;
var x266 >= 0, <= 2.30258509299405;
var x267 >= 0, <= 2.30258509299405;
var x268 >= 0, <= 2.30258509299405;
var x269 >= 0, <= 2.30258509299405;
var x270 >= 0, <= 2.30258509299405;
var x271 >= 0, <= 2.30258509299405;
var x272 >= 0, <= 2.30258509299405;
var x273 >= 0, <= 2.30258509299405;
var x274 >= 0, <= 2.30258509299405;
var x275 >= 0, <= 2.30258509299405;
var x276 >= 0, <= 2.30258509299405;
var x278 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x279 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x280 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x281 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x282 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x283 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x284 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x285 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x286 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x287 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x288 := 4.60517018598809, >= 4.60517018598809, <= 9.61580548008435;
var x289;
var x290;
var x291;
var x292;
var x293;
var x294;
var x295;
var x296;
var x297;
var x298;
var x299;
var x300;
var x301;
var x302;
var x303;
var x304;
var x305;
var x306;
var x307;
var x308;
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;
var b447 binary >= 0, <= 1;
var b448 binary >= 0, <= 1;
var b449 binary >= 0, <= 1;
var b450 binary >= 0, <= 1;
var b451 binary >= 0, <= 1;
var b452 binary >= 0, <= 1;
var b453 binary >= 0, <= 1;
var b454 binary >= 0, <= 1;
var b455 binary >= 0, <= 1;
var b456 binary >= 0, <= 1;
var b457 binary >= 0, <= 1;
var b458 binary >= 0, <= 1;
var b459 binary >= 0, <= 1;
var b460 binary >= 0, <= 1;
var b461 binary >= 0, <= 1;
var b462 binary >= 0, <= 1;
var b463 binary >= 0, <= 1;
var b464 binary >= 0, <= 1;
var b465 binary >= 0, <= 1;
var b466 binary >= 0, <= 1;
var b467 binary >= 0, <= 1;
var b468 binary >= 0, <= 1;
var b469 binary >= 0, <= 1;
var b470 binary >= 0, <= 1;
var b471 binary >= 0, <= 1;
var b472 binary >= 0, <= 1;
var b473 binary >= 0, <= 1;
var b474 binary >= 0, <= 1;
var b475 binary >= 0, <= 1;
var b476 binary >= 0, <= 1;
var b477 binary >= 0, <= 1;
var b478 binary >= 0, <= 1;
var b479 binary >= 0, <= 1;
var b480 binary >= 0, <= 1;
var b481 binary >= 0, <= 1;
var b482 binary >= 0, <= 1;
var b483 binary >= 0, <= 1;
var b484 binary >= 0, <= 1;
var b485 binary >= 0, <= 1;
var b486 binary >= 0, <= 1;
var b487 binary >= 0, <= 1;
var b488 binary >= 0, <= 1;
var b489 binary >= 0, <= 1;
var b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var b518 binary >= 0, <= 1;
var b519 binary >= 0, <= 1;
var b520 binary >= 0, <= 1;
var b521 binary >= 0, <= 1;
var b522 binary >= 0, <= 1;
var b523 binary >= 0, <= 1;
var b524 binary >= 0, <= 1;
var b525 binary >= 0, <= 1;
var b526 binary >= 0, <= 1;
var b527 binary >= 0, <= 1;
var b528 binary >= 0, <= 1;
var b529 binary >= 0, <= 1;
var b530 binary >= 0, <= 1;
var b531 binary >= 0, <= 1;
var b532 binary >= 0, <= 1;
var b533 binary >= 0, <= 1;
var b534 binary >= 0, <= 1;
var b535 binary >= 0, <= 1;
var b536 binary >= 0, <= 1;
var b537 binary >= 0, <= 1;
var b538 binary >= 0, <= 1;
var b539 binary >= 0, <= 1;
var b540 binary >= 0, <= 1;
var b541 binary >= 0, <= 1;
var b542 binary >= 0, <= 1;
var b543 binary >= 0, <= 1;
var b544 binary >= 0, <= 1;
var b545 binary >= 0, <= 1;
var b546 binary >= 0, <= 1;
var b547 binary >= 0, <= 1;
var b548 binary >= 0, <= 1;
var b549 binary >= 0, <= 1;
var b550 binary >= 0, <= 1;
var b551 binary >= 0, <= 1;
var b552 binary >= 0, <= 1;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;

minimize obj: 250*(exp(0.6*x1 + x253 + x265) + exp(0.6*x2 + x254 + x266) + exp(
    0.6*x3 + x255 + x267) + exp(0.6*x4 + x256 + x268) + exp(0.6*x5 + x257 + 
    x269) + exp(0.6*x6 + x258 + x270) + exp(0.6*x7 + x259 + x271) + exp(0.6*x8
     + x260 + x272) + exp(0.6*x9 + x261 + x273) + exp(0.6*x10 + x262 + x274) + 
    exp(0.6*x11 + x263 + x275) + exp(0.6*x12 + x264 + x276)) + 150*(exp(0.5*
    x278) + exp(0.5*x279) + exp(0.5*x280) + exp(0.5*x281) + exp(0.5*x282) + 
    exp(0.5*x283) + exp(0.5*x284) + exp(0.5*x285) + exp(0.5*x286) + exp(0.5*
    x287) + exp(0.5*x288));

subject to

e1:    x1 - x13 + x253 >= 1.06471073699243;

e2:    x2 - x14 + x254 >= 0.693147180559945;

e3:    x3 - x15 + x255 >= 1.64865862558738;

e4:    x4 - x16 + x256 >= 1.58923520511658;

e5:    x5 - x17 + x257 >= 1.80828877117927;

e6:    x6 - x18 + x258 >= 1.43508452528932;

e7:    x7 - x19 + x259 >= 1.6094379124341;

e8:    x8 - x20 + x260 >= 0.0953101798043249;

e9:    x9 - x21 + x261 >= 1.16315080980568;

e10:    x10 - x22 + x262 >= 1.50407739677627;

e11:    x11 - x23 + x263 >= 0.53062825106217;

e12:    x12 - x24 + x264 >= 0.262364264467491;

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

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

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

e16:    x4 - x28 + x256 >= 1.22377543162212;

e17:    x5 - x29 + x257 >= 0.741937344729377;

e18:    x6 - x30 + x258 >= 0.916290731874155;

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

e20:    x8 - x32 + x260 >= 0.78845736036427;

e21:    x9 - x33 + x261 >= 0.336472236621213;

e22:    x10 - x34 + x262 >= 0.78845736036427;

e23:    x11 - x35 + x263 >= 0.955511445027436;

e24:    x12 - x36 + x264 >= 1.45861502269952;

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

e26:    x2 - x38 + x254 >= 0.955511445027436;

e27:    x3 - x39 + x255 >= 0.470003629245736;

e28:    x4 - x40 + x256 >= 1.28093384546206;

e29:    x5 - x41 + x257 >= 1.16315080980568;

e30:    x6 - x42 + x258 >= 1.06471073699243;

e31:    x7 - x43 + x259 >= 1.28093384546206;

e32:    x8 - x44 + x260 >= 1.38629436111989;

e33:    x9 - x45 + x261 >= 1.45861502269952;

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

e35:    x11 - x47 + x263 >= 0.916290731874155;

e36:    x12 - x48 + x264 >= 1.66770682055808;

e37:    x1 - x49 + x253 >= 1.54756250871601;

e38:    x2 - x50 + x254 >= 0.832909122935104;

e39:    x3 - x51 + x255 >= 0.470003629245736;

e40:    x4 - x52 + x256 >= 0.993251773010283;

e41:    x5 - x53 + x257 >= 0.182321556793955;

e42:    x6 - x54 + x258 >= 0.916290731874155;

e43:    x7 - x55 + x259 >= 1.3609765531356;

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

e45:    x9 - x57 + x261 >= 1.1314021114911;

e46:    x10 - x58 + x262 >= 1.75785791755237;

e47:    x11 - x59 + x263 >= 1.30833281965018;

e48:    x12 - x60 + x264 >= 1.87180217690159;

e49:    x1 - x61 + x253 >= 0.182321556793955;

e50:    x2 - x62 + x254 >= 1.28093384546206;

e51:    x3 - x63 + x255 >= 0.8754687373539;

e52:    x4 - x64 + x256 >= 1.50407739677627;

e53:    x5 - x65 + x257 >= 0.470003629245736;

e54:    x6 - x66 + x258 >= 0.741937344729377;

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

e56:    x8 - x68 + x260 >= 1.43508452528932;

e57:    x9 - x69 + x261 >= 0.741937344729377;

e58:    x10 - x70 + x262 >= 1.41098697371026;

e59:    x11 - x71 + x263 >= 1.48160454092422;

e60:    x12 - x72 + x264 >= 2.04122032885964;

e61:    x1 - x73 + x253 >= 1.1314021114911;

e62:    x2 - x74 + x254 >= 0.916290731874155;

e63:    x3 - x75 + x255 >= 1.50407739677627;

e64:    x4 - x76 + x256 >= 0.262364264467491;

e65:    x5 - x77 + x257 >= 1.19392246847243;

e66:    x6 - x78 + x258 >= 1.41098697371026;

e67:    x7 - x79 + x259 >= 0.336472236621213;

e68:    x8 - x80 + x260 >= 0;

e69:    x9 - x81 + x261 >= 1.25276296849537;

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

e71:    x11 - x83 + x263 >= 0.78845736036427;

e72:    x12 - x84 + x264 >= 1.33500106673234;

e73:    x1 - x85 + x253 >= 0;

e74:    x2 - x86 + x254 >= 0.78845736036427;

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

e76:    x4 - x88 + x256 >= 1.43508452528932;

e77:    x5 - x89 + x257 >= 1.02961941718116;

e78:    x6 - x90 + x258 >= 0.832909122935104;

e79:    x7 - x91 + x259 >= 1.64865862558738;

e80:    x8 - x92 + x260 >= 0.641853886172395;

e81:    x9 - x93 + x261 >= 0.955511445027436;

e82:    x10 - x94 + x262 >= 0.0953101798043249;

e83:    x11 - x95 + x263 >= 1.54756250871601;

e84:    x12 - x96 + x264 >= 1.58923520511658;

e85:    x1 - x97 + x253 >= 0.916290731874155;

e86:    x2 - x98 + x254 >= 0.0953101798043249;

e87:    x3 - x99 + x255 >= 1.66770682055808;

e88:    x4 - x100 + x256 >= 0.955511445027436;

e89:    x5 - x101 + x257 >= 1.30833281965018;

e90:    x6 - x102 + x258 >= 1.38629436111989;

e91:    x7 - x103 + x259 >= 0.78845736036427;

e92:    x8 - x104 + x260 >= 1.19392246847243;

e93:    x9 - x105 + x261 >= 0.993251773010283;

e94:    x10 - x106 + x262 >= 1.22377543162212;

e95:    x11 - x107 + x263 >= 1.79175946922805;

e96:    x12 - x108 + x264 >= 1.93152141160321;

e97:    x1 - x109 + x253 >= 0.8754687373539;

e98:    x2 - x110 + x254 >= 0.916290731874155;

e99:    x3 - x111 + x255 >= 0.993251773010283;

e100:    x4 - x112 + x256 >= 1.16315080980568;

e101:    x5 - x113 + x257 >= 0.832909122935104;

e102:    x6 - x114 + x258 >= 0.53062825106217;

e103:    x7 - x115 + x259 >= 1.64865862558738;

e104:    x8 - x116 + x260 >= 1.54756250871601;

e105:    x9 - x117 + x261 >= 0.955511445027436;

e106:    x10 - x118 + x262 >= 0.336472236621213;

e107:    x11 - x119 + x263 >= 1.30833281965018;

e108:    x12 - x120 + x264 >= 1.28093384546206;

e109:    x1 - x121 + x253 >= 0.993251773010283;

e110:    x2 - x122 + x254 >= 1.19392246847243;

e111:    x3 - x123 + x255 >= 1.48160454092422;

e112:    x4 - x124 + x256 >= 0.955511445027436;

e113:    x5 - x125 + x257 >= 1.30833281965018;

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

e115:    x7 - x127 + x259 >= 0.993251773010283;

e116:    x8 - x128 + x260 >= 1.82454929205105;

e117:    x9 - x129 + x261 >= 1.16315080980568;

e118:    x10 - x130 + x262 >= 1.22377543162212;

e119:    x11 - x131 + x263 >= 1.87180217690159;

e120:    x12 - x132 + x264 >= 1.79175946922805;

e121:    x1 - x133 + x253 >= 1.06471073699243;

e122:    x2 - x134 + x254 >= 0.693147180559945;

e123:    x3 - x135 + x255 >= 1.64865862558738;

e124:    x4 - x136 + x256 >= 1.58923520511658;

e125:    x5 - x137 + x257 >= 1.80828877117927;

e126:    x6 - x138 + x258 >= 1.43508452528932;

e127:    x7 - x139 + x259 >= 1.6094379124341;

e128:    x8 - x140 + x260 >= 0.0953101798043249;

e129:    x9 - x141 + x261 >= 1.16315080980568;

e130:    x10 - x142 + x262 >= 1.50407739677627;

e131:    x11 - x143 + x263 >= 1.45861502269952;

e132:    x12 - x144 + x264 >= 1.25276296849537;

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

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

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

e136:    x4 - x148 + x256 >= 1.22377543162212;

e137:    x5 - x149 + x257 >= 0.741937344729377;

e138:    x6 - x150 + x258 >= 0.916290731874155;

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

e140:    x8 - x152 + x260 >= 0.78845736036427;

e141:    x9 - x153 + x261 >= 0.336472236621213;

e142:    x10 - x154 + x262 >= 0.78845736036427;

e143:    x11 - x155 + x263 >= 1.16315080980568;

e144:    x12 - x156 + x264 >= 1.80828877117927;

e145:    x1 - x157 + x253 >= 0.182321556793955;

e146:    x2 - x158 + x254 >= 1.28093384546206;

e147:    x3 - x159 + x255 >= 0.8754687373539;

e148:    x4 - x160 + x256 >= 1.50407739677627;

e149:    x5 - x161 + x257 >= 0.470003629245736;

e150:    x6 - x162 + x258 >= 0.741937344729377;

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

e152:    x8 - x164 + x260 >= 1.43508452528932;

e153:    x9 - x165 + x261 >= 0.741937344729377;

e154:    x10 - x166 + x262 >= 1.41098697371026;

e155:    x11 - x167 + x263 >= 1.48160454092422;

e156:    x12 - x168 + x264 >= 2.04122032885964;

e157:    x1 - x169 + x253 >= 1.1314021114911;

e158:    x2 - x170 + x254 >= 0.916290731874155;

e159:    x3 - x171 + x255 >= 1.50407739677627;

e160:    x4 - x172 + x256 >= 0.262364264467491;

e161:    x5 - x173 + x257 >= 1.19392246847243;

e162:    x6 - x174 + x258 >= 1.41098697371026;

e163:    x7 - x175 + x259 >= 0.336472236621213;

e164:    x8 - x176 + x260 >= 0;

e165:    x9 - x177 + x261 >= 1.25276296849537;

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

e167:    x11 - x179 + x263 >= 0.78845736036427;

e168:    x12 - x180 + x264 >= 1.33500106673234;

e169:    x1 - x181 + x253 >= 0;

e170:    x2 - x182 + x254 >= 0.78845736036427;

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

e172:    x4 - x184 + x256 >= 1.43508452528932;

e173:    x5 - x185 + x257 >= 1.02961941718116;

e174:    x6 - x186 + x258 >= 0.832909122935104;

e175:    x7 - x187 + x259 >= 1.64865862558738;

e176:    x8 - x188 + x260 >= 0.641853886172395;

e177:    x9 - x189 + x261 >= 0.955511445027436;

e178:    x10 - x190 + x262 >= 0.0953101798043249;

e179:    x11 - x191 + x263 >= 1.54756250871601;

e180:    x12 - x192 + x264 >= 1.58923520511658;

e181:    x1 - x193 + x253 >= 0;

e182:    x2 - x194 + x254 >= 0.78845736036427;

e183:    x3 - x195 + x255 >= -0.356674943938732;

e184:    x4 - x196 + x256 >= 1.43508452528932;

e185:    x5 - x197 + x257 >= 1.02961941718116;

e186:    x6 - x198 + x258 >= 0.832909122935104;

e187:    x7 - x199 + x259 >= 1.64865862558738;

e188:    x8 - x200 + x260 >= 0.641853886172395;

e189:    x9 - x201 + x261 >= 0.955511445027436;

e190:    x10 - x202 + x262 >= 0.0953101798043249;

e191:    x11 - x203 + x263 >= 1.54756250871601;

e192:    x12 - x204 + x264 >= 1.58923520511658;

e193:    x1 - x205 + x253 >= 0.916290731874155;

e194:    x2 - x206 + x254 >= 0.0953101798043249;

e195:    x3 - x207 + x255 >= 1.66770682055808;

e196:    x4 - x208 + x256 >= 0.955511445027436;

e197:    x5 - x209 + x257 >= 1.30833281965018;

e198:    x6 - x210 + x258 >= 1.38629436111989;

e199:    x7 - x211 + x259 >= 0.78845736036427;

e200:    x8 - x212 + x260 >= 1.19392246847243;

e201:    x9 - x213 + x261 >= 0.993251773010283;

e202:    x10 - x214 + x262 >= 1.22377543162212;

e203:    x11 - x215 + x263 >= 1.79175946922805;

e204:    x12 - x216 + x264 >= 1.93152141160321;

e205:    x1 - x217 + x253 >= 0.8754687373539;

e206:    x2 - x218 + x254 >= 0.916290731874155;

e207:    x3 - x219 + x255 >= 0.993251773010283;

e208:    x4 - x220 + x256 >= 1.16315080980568;

e209:    x5 - x221 + x257 >= 0.832909122935104;

e210:    x6 - x222 + x258 >= 0.53062825106217;

e211:    x7 - x223 + x259 >= 1.64865862558738;

e212:    x8 - x224 + x260 >= 1.54756250871601;

e213:    x9 - x225 + x261 >= 0.955511445027436;

e214:    x10 - x226 + x262 >= 0.336472236621213;

e215:    x11 - x227 + x263 >= 1.30833281965018;

e216:    x12 - x228 + x264 >= 1.28093384546206;

e217:    x1 - x229 + x253 >= 0.993251773010283;

e218:    x2 - x230 + x254 >= 1.19392246847243;

e219:    x3 - x231 + x255 >= 1.48160454092422;

e220:    x4 - x232 + x256 >= 0.955511445027436;

e221:    x5 - x233 + x257 >= 1.30833281965018;

e222:    x6 - x234 + x258 >= -0.693147180559945;

e223:    x7 - x235 + x259 >= 0.993251773010283;

e224:    x8 - x236 + x260 >= 1.82454929205105;

e225:    x9 - x237 + x261 >= 1.16315080980568;

e226:    x10 - x238 + x262 >= 1.22377543162212;

e227:    x11 - x239 + x263 >= 1.87180217690159;

e228:    x12 - x240 + x264 >= 1.79175946922805;

e229:    x1 - x241 + x253 >= 1.06471073699243;

e230:    x2 - x242 + x254 >= 0.693147180559945;

e231:    x3 - x243 + x255 >= 1.64865862558738;

e232:    x4 - x244 + x256 >= 1.58923520511658;

e233:    x5 - x245 + x257 >= 1.80828877117927;

e234:    x6 - x246 + x258 >= 1.43508452528932;

e235:    x7 - x247 + x259 >= 1.6094379124341;

e236:    x8 - x248 + x260 >= 0.0953101798043249;

e237:    x9 - x249 + x261 >= 1.16315080980568;

e238:    x10 - x250 + x262 >= 1.50407739677627;

e239:    x11 - x251 + x263 >= 1.45861502269952;

e240:    x12 - x252 + x264 >= 1.25276296849537;

e241:    x13 + x265 + x289 >= 1.85629799036563;

e242:    x14 + x266 + x289 >= 1.54756250871601;

e243:    x15 + x267 + x289 >= 0.262364264467491;

e244:    x16 + x268 + x289 >= 1.3609765531356;

e245:    x17 + x269 + x289 >= 0.741937344729377;

e246:    x18 + x270 + x289 >= 0.470003629245736;

e247:    x19 + x271 + x289 >= 1.16315080980568;

e248:    x20 + x272 + x289 >= 1.1314021114911;

e249:    x21 + x273 + x289 >= 1.43508452528932;

e250:    x22 + x274 + x289 >= 1.64865862558738;

e251:    x23 + x275 + x289 >= 1.7227665977411;

e252:    x24 + x276 + x289 >= 2.18605127673809;

e253:    x25 + x265 + x290 >= 1.33500106673234;

e254:    x26 + x266 + x290 >= 1.85629799036563;

e255:    x27 + x267 + x290 >= 1.87180217690159;

e256:    x28 + x268 + x290 >= 1.48160454092422;

e257:    x29 + x269 + x290 >= 0.832909122935104;

e258:    x30 + x270 + x290 >= 1.16315080980568;

e259:    x31 + x271 + x290 >= 1.64865862558738;

e260:    x32 + x272 + x290 >= 0.916290731874155;

e261:    x33 + x273 + x290 >= 1.48160454092422;

e262:    x34 + x274 + x290 >= 0.0953101798043249;

e263:    x35 + x275 + x290 >= 1.50407739677627;

e264:    x36 + x276 + x290 >= 1.90210752639692;

e265:    x37 + x265 + x291 >= 0;

e266:    x38 + x266 + x291 >= 1.84054963339749;

e267:    x39 + x267 + x291 >= 1.22377543162212;

e268:    x40 + x268 + x291 >= 1.58923520511658;

e269:    x41 + x269 + x291 >= 0.993251773010283;

e270:    x42 + x270 + x291 >= 1.82454929205105;

e271:    x43 + x271 + x291 >= 1.1314021114911;

e272:    x44 + x272 + x291 >= 0.182321556793955;

e273:    x45 + x273 + x291 >= 0.832909122935104;

e274:    x46 + x274 + x291 >= 1.62924053973028;

e275:    x47 + x275 + x291 >= 1.30833281965018;

e276:    x48 + x276 + x291 >= 1.7227665977411;

e277:    x49 + x265 + x292 >= 1.16315080980568;

e278:    x50 + x266 + x292 >= 1.09861228866811;

e279:    x51 + x267 + x292 >= 1.25276296849537;

e280:    x52 + x268 + x292 >= 1.19392246847243;

e281:    x53 + x269 + x292 >= 1.02961941718116;

e282:    x54 + x270 + x292 >= 1.22377543162212;

e283:    x55 + x271 + x292 >= 1.43508452528932;

e284:    x56 + x272 + x292 >= 1.06471073699243;

e285:    x57 + x273 + x292 >= 1.82454929205105;

e286:    x58 + x274 + x292 >= 0.78845736036427;

e287:    x59 + x275 + x292 >= 1.75785791755237;

e288:    x60 + x276 + x292 >= 1.50407739677627;

e289:    x61 + x265 + x293 >= 0.741937344729377;

e290:    x62 + x266 + x293 >= 0.916290731874155;

e291:    x63 + x267 + x293 >= 1.43508452528932;

e292:    x64 + x268 + x293 >= 1.28093384546206;

e293:    x65 + x269 + x293 >= 1.30833281965018;

e294:    x66 + x270 + x293 >= 0.78845736036427;

e295:    x67 + x271 + x293 >= 1.62924053973028;

e296:    x68 + x272 + x293 >= -0.916290731874155;

e297:    x69 + x273 + x293 >= 1.41098697371026;

e298:    x70 + x274 + x293 >= 0.262364264467491;

e299:    x71 + x275 + x293 >= 1.88706964903238;

e300:    x72 + x276 + x293 >= 1.22377543162212;

e301:    x73 + x265 + x294 >= 1.25276296849537;

e302:    x74 + x266 + x294 >= 1.41098697371026;

e303:    x75 + x267 + x294 >= -0.105360515657826;

e304:    x76 + x268 + x294 >= 0.336472236621213;

e305:    x77 + x269 + x294 >= 1.28093384546206;

e306:    x78 + x270 + x294 >= 0.993251773010283;

e307:    x79 + x271 + x294 >= 1.06471073699243;

e308:    x80 + x272 + x294 >= 1.30833281965018;

e309:    x81 + x273 + x294 >= -0.22314355131421;

e310:    x82 + x274 + x294 >= 0.405465108108164;

e311:    x83 + x275 + x294 >= 1.52605630349505;

e312:    x84 + x276 + x294 >= 1.19392246847243;

e313:    x85 + x265 + x295 >= 1.41098697371026;

e314:    x86 + x266 + x295 >= 1.90210752639692;

e315:    x87 + x267 + x295 >= 0.78845736036427;

e316:    x88 + x268 + x295 >= 0.336472236621213;

e317:    x89 + x269 + x295 >= -0.356674943938732;

e318:    x90 + x270 + x295 >= 1.54756250871601;

e319:    x91 + x271 + x295 >= 0.262364264467491;

e320:    x92 + x272 + x295 >= -0.510825623765991;

e321:    x93 + x273 + x295 >= 1.16315080980568;

e322:    x94 + x274 + x295 >= 0.741937344729377;

e323:    x95 + x275 + x295 >= 1.22377543162212;

e324:    x96 + x276 + x295 >= 0.955511445027436;

e325:    x97 + x265 + x296 >= 1.66770682055808;

e326:    x98 + x266 + x296 >= 1.1314021114911;

e327:    x99 + x267 + x296 >= 1.02961941718116;

e328:    x100 + x268 + x296 >= 0.405465108108164;

e329:    x101 + x269 + x296 >= 1.16315080980568;

e330:    x102 + x270 + x296 >= 1.80828877117927;

e331:    x103 + x271 + x296 >= -0.693147180559945;

e332:    x104 + x272 + x296 >= 1.3609765531356;

e333:    x105 + x273 + x296 >= 0.993251773010283;

e334:    x106 + x274 + x296 >= 1.41098697371026;

e335:    x107 + x275 + x296 >= 1.88706964903238;

e336:    x108 + x276 + x296 >= 0.470003629245736;

e337:    x109 + x265 + x297 >= 0.955511445027436;

e338:    x110 + x266 + x297 >= 1.64865862558738;

e339:    x111 + x267 + x297 >= 1.16315080980568;

e340:    x112 + x268 + x297 >= 1.22377543162212;

e341:    x113 + x269 + x297 >= 1.48160454092422;

e342:    x114 + x270 + x297 >= 0.0953101798043249;

e343:    x115 + x271 + x297 >= 1.96009478404727;

e344:    x116 + x272 + x297 >= 0.916290731874155;

e345:    x117 + x273 + x297 >= 1.1314021114911;

e346:    x118 + x274 + x297 >= -0.105360515657826;

e347:    x119 + x275 + x297 >= 2.05412373369555;

e348:    x120 + x276 + x297 >= 1.75785791755237;

e349:    x121 + x265 + x298 >= 0.53062825106217;

e350:    x122 + x266 + x298 >= 1.64865862558738;

e351:    x123 + x267 + x298 >= 1.30833281965018;

e352:    x124 + x268 + x298 >= 0.955511445027436;

e353:    x125 + x269 + x298 >= 1.64865862558738;

e354:    x126 + x270 + x298 >= 0.955511445027436;

e355:    x127 + x271 + x298 >= 1.62924053973028;

e356:    x128 + x272 + x298 >= 2.10413415427021;

e357:    x129 + x273 + x298 >= 0.0953101798043249;

e358:    x130 + x274 + x298 >= 1.06471073699243;

e359:    x131 + x275 + x298 >= 2.12823170584927;

e360:    x132 + x276 + x298 >= 1.56861591791385;

e361:    x133 + x265 + x299 >= 1.85629799036563;

e362:    x134 + x266 + x299 >= 1.54756250871601;

e363:    x135 + x267 + x299 >= 0.262364264467491;

e364:    x136 + x268 + x299 >= 1.3609765531356;

e365:    x137 + x269 + x299 >= 0.741937344729377;

e366:    x138 + x270 + x299 >= 0.470003629245736;

e367:    x139 + x271 + x299 >= 1.16315080980568;

e368:    x140 + x272 + x299 >= 1.1314021114911;

e369:    x141 + x273 + x299 >= 1.43508452528932;

e370:    x142 + x274 + x299 >= 1.64865862558738;

e371:    x143 + x275 + x299 >= 2.23001440015921;

e372:    x144 + x276 + x299 >= 1.87180217690159;

e373:    x145 + x265 + x300 >= 1.33500106673234;

e374:    x146 + x266 + x300 >= 1.85629799036563;

e375:    x147 + x267 + x300 >= 1.87180217690159;

e376:    x148 + x268 + x300 >= 1.48160454092422;

e377:    x149 + x269 + x300 >= 0.832909122935104;

e378:    x150 + x270 + x300 >= 1.16315080980568;

e379:    x151 + x271 + x300 >= 1.64865862558738;

e380:    x152 + x272 + x300 >= 0.916290731874155;

e381:    x153 + x273 + x300 >= 1.48160454092422;

e382:    x154 + x274 + x300 >= 0.0953101798043249;

e383:    x155 + x275 + x300 >= -1.6094379124341;

e384:    x156 + x276 + x300 >= 1.85629799036563;

e385:    x157 + x265 + x301 >= 1.25276296849537;

e386:    x158 + x266 + x301 >= 1.41098697371026;

e387:    x159 + x267 + x301 >= -0.105360515657826;

e388:    x160 + x268 + x301 >= 0.336472236621213;

e389:    x161 + x269 + x301 >= 1.28093384546206;

e390:    x162 + x270 + x301 >= 0.993251773010283;

e391:    x163 + x271 + x301 >= 1.06471073699243;

e392:    x164 + x272 + x301 >= 1.30833281965018;

e393:    x165 + x273 + x301 >= -0.22314355131421;

e394:    x166 + x274 + x301 >= 0.405465108108164;

e395:    x167 + x275 + x301 >= 1.52605630349505;

e396:    x168 + x276 + x301 >= 1.19392246847243;

e397:    x169 + x265 + x302 >= 1.41098697371026;

e398:    x170 + x266 + x302 >= 1.90210752639692;

e399:    x171 + x267 + x302 >= 0.78845736036427;

e400:    x172 + x268 + x302 >= 0.336472236621213;

e401:    x173 + x269 + x302 >= -0.356674943938732;

e402:    x174 + x270 + x302 >= 1.54756250871601;

e403:    x175 + x271 + x302 >= 0.262364264467491;

e404:    x176 + x272 + x302 >= -0.510825623765991;

e405:    x177 + x273 + x302 >= 1.16315080980568;

e406:    x178 + x274 + x302 >= 0.741937344729377;

e407:    x179 + x275 + x302 >= 1.22377543162212;

e408:    x180 + x276 + x302 >= 0.955511445027436;

e409:    x181 + x265 + x303 >= 1.66770682055808;

e410:    x182 + x266 + x303 >= 1.1314021114911;

e411:    x183 + x267 + x303 >= 1.02961941718116;

e412:    x184 + x268 + x303 >= 0.405465108108164;

e413:    x185 + x269 + x303 >= 1.16315080980568;

e414:    x186 + x270 + x303 >= 1.80828877117927;

e415:    x187 + x271 + x303 >= -0.693147180559945;

e416:    x188 + x272 + x303 >= 1.3609765531356;

e417:    x189 + x273 + x303 >= 0.993251773010283;

e418:    x190 + x274 + x303 >= 1.41098697371026;

e419:    x191 + x275 + x303 >= 1.88706964903238;

e420:    x192 + x276 + x303 >= 0.470003629245736;

e421:    x193 + x265 + x304 >= 1.33500106673234;

e422:    x194 + x266 + x304 >= 1.85629799036563;

e423:    x195 + x267 + x304 >= 1.87180217690159;

e424:    x196 + x268 + x304 >= 1.48160454092422;

e425:    x197 + x269 + x304 >= 0.832909122935104;

e426:    x198 + x270 + x304 >= 1.16315080980568;

e427:    x199 + x271 + x304 >= 1.64865862558738;

e428:    x200 + x272 + x304 >= 0.916290731874155;

e429:    x201 + x273 + x304 >= 1.48160454092422;

e430:    x202 + x274 + x304 >= 0.0953101798043249;

e431:    x203 + x275 + x304 >= 1.50407739677627;

e432:    x204 + x276 + x304 >= 1.90210752639692;

e433:    x205 + x265 + x305 >= 0;

e434:    x206 + x266 + x305 >= 1.84054963339749;

e435:    x207 + x267 + x305 >= 1.22377543162212;

e436:    x208 + x268 + x305 >= 1.58923520511658;

e437:    x209 + x269 + x305 >= 0.993251773010283;

e438:    x210 + x270 + x305 >= 1.82454929205105;

e439:    x211 + x271 + x305 >= 1.1314021114911;

e440:    x212 + x272 + x305 >= 0.182321556793955;

e441:    x213 + x273 + x305 >= 0.832909122935104;

e442:    x214 + x274 + x305 >= 1.62924053973028;

e443:    x215 + x275 + x305 >= 1.30833281965018;

e444:    x216 + x276 + x305 >= 1.7227665977411;

e445:    x217 + x265 + x306 >= 1.16315080980568;

e446:    x218 + x266 + x306 >= 1.09861228866811;

e447:    x219 + x267 + x306 >= 1.25276296849537;

e448:    x220 + x268 + x306 >= 1.19392246847243;

e449:    x221 + x269 + x306 >= 1.02961941718116;

e450:    x222 + x270 + x306 >= 1.22377543162212;

e451:    x223 + x271 + x306 >= 1.43508452528932;

e452:    x224 + x272 + x306 >= 1.06471073699243;

e453:    x225 + x273 + x306 >= 1.82454929205105;

e454:    x226 + x274 + x306 >= 0.78845736036427;

e455:    x227 + x275 + x306 >= 1.75785791755237;

e456:    x228 + x276 + x306 >= 1.50407739677627;

e457:    x229 + x265 + x307 >= 0.741937344729377;

e458:    x230 + x266 + x307 >= 0.916290731874155;

e459:    x231 + x267 + x307 >= 1.43508452528932;

e460:    x232 + x268 + x307 >= 1.28093384546206;

e461:    x233 + x269 + x307 >= 1.30833281965018;

e462:    x234 + x270 + x307 >= 0.78845736036427;

e463:    x235 + x271 + x307 >= 1.62924053973028;

e464:    x236 + x272 + x307 >= -0.916290731874155;

e465:    x237 + x273 + x307 >= 1.41098697371026;

e466:    x238 + x274 + x307 >= 0.262364264467491;

e467:    x239 + x275 + x307 >= 1.88706964903238;

e468:    x240 + x276 + x307 >= 1.22377543162212;

e469:    x241 + x265 + x308 >= 1.25276296849537;

e470:    x242 + x266 + x308 >= 1.41098697371026;

e471:    x243 + x267 + x308 >= -0.105360515657826;

e472:    x244 + x268 + x308 >= 0.336472236621213;

e473:    x245 + x269 + x308 >= 1.28093384546206;

e474:    x246 + x270 + x308 >= 0.993251773010283;

e475:    x247 + x271 + x308 >= 1.06471073699243;

e476:    x248 + x272 + x308 >= 1.30833281965018;

e477:    x249 + x273 + x308 >= -0.22314355131421;

e478:    x250 + x274 + x308 >= 0.405465108108164;

e479:    x251 + x275 + x308 >= 1.52605630349505;

e480:    x252 + x276 + x308 >= 1.19392246847243;

e481: 250000*exp(x289) + 150000*exp(x290) + 180000*exp(x291) + 160000*exp(x292)
       + 120000*exp(x293) + 130000*exp(x294) + 190000*exp(x295) + 140000*exp(
      x296) + 175000*exp(x297) + 125000*exp(x298) + 140000*exp(x299) + 220000*
      exp(x300) + 300000*exp(x301) + 200000*exp(x302) + 120000*exp(x303) + 
      320000*exp(x304) + 400500*exp(x305) + 210000*exp(x306) + 310000*exp(x307)
       + 70000*exp(x308) <= 6000;

e482:  - x14 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e483:  - x15 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e484:  - x16 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e485:  - x17 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e486:  - x18 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e487:  - x19 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e488:  - x20 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e489:  - x21 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e490:  - x22 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e491:  - x23 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e492:  - x24 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e493:  - x26 + x278 - 4.39931813178394*b549 >= -2.0967330387899;

e494:  - x27 + x279 - 4.39931813178394*b550 >= -2.0967330387899;

e495:  - x28 + x280 - 4.39931813178394*b551 >= -2.0967330387899;

e496:  - x29 + x281 - 4.39931813178394*b552 >= -2.0967330387899;

e497:  - x30 + x282 - 4.39931813178394*b553 >= -2.0967330387899;

e498:  - x31 + x283 - 4.39931813178394*b554 >= -2.0967330387899;

e499:  - x32 + x284 - 4.39931813178394*b555 >= -2.0967330387899;

e500:  - x33 + x285 - 4.39931813178394*b556 >= -2.0967330387899;

e501:  - x34 + x286 - 4.39931813178394*b557 >= -2.0967330387899;

e502:  - x35 + x287 - 4.39931813178394*b558 >= -2.0967330387899;

e503:  - x36 + x288 - 4.39931813178394*b559 >= -2.0967330387899;

e504:  - x38 + x278 - 4.19022633392538*b549 >= -1.88764124093134;

e505:  - x39 + x279 - 4.19022633392538*b550 >= -1.88764124093134;

e506:  - x40 + x280 - 4.19022633392538*b551 >= -1.88764124093134;

e507:  - x41 + x281 - 4.19022633392538*b552 >= -1.88764124093134;

e508:  - x42 + x282 - 4.19022633392538*b553 >= -1.88764124093134;

e509:  - x43 + x283 - 4.19022633392538*b554 >= -1.88764124093134;

e510:  - x44 + x284 - 4.19022633392538*b555 >= -1.88764124093134;

e511:  - x45 + x285 - 4.19022633392538*b556 >= -1.88764124093134;

e512:  - x46 + x286 - 4.19022633392538*b557 >= -1.88764124093134;

e513:  - x47 + x287 - 4.19022633392538*b558 >= -1.88764124093134;

e514:  - x48 + x288 - 4.19022633392538*b559 >= -1.88764124093134;

e515:  - x50 + x278 - 3.98613097758187*b549 >= -1.68354588458782;

e516:  - x51 + x279 - 3.98613097758187*b550 >= -1.68354588458782;

e517:  - x52 + x280 - 3.98613097758187*b551 >= -1.68354588458782;

e518:  - x53 + x281 - 3.98613097758187*b552 >= -1.68354588458782;

e519:  - x54 + x282 - 3.98613097758187*b553 >= -1.68354588458782;

e520:  - x55 + x283 - 3.98613097758187*b554 >= -1.68354588458782;

e521:  - x56 + x284 - 3.98613097758187*b555 >= -1.68354588458782;

e522:  - x57 + x285 - 3.98613097758187*b556 >= -1.68354588458782;

e523:  - x58 + x286 - 3.98613097758187*b557 >= -1.68354588458782;

e524:  - x59 + x287 - 3.98613097758187*b558 >= -1.68354588458782;

e525:  - x60 + x288 - 3.98613097758187*b559 >= -1.68354588458782;

e526:  - x62 + x278 - 3.81671282562382*b549 >= -1.51412773262977;

e527:  - x63 + x279 - 3.81671282562382*b550 >= -1.51412773262977;

e528:  - x64 + x280 - 3.81671282562382*b551 >= -1.51412773262977;

e529:  - x65 + x281 - 3.81671282562382*b552 >= -1.51412773262977;

e530:  - x66 + x282 - 3.81671282562382*b553 >= -1.51412773262977;

e531:  - x67 + x283 - 3.81671282562382*b554 >= -1.51412773262977;

e532:  - x68 + x284 - 3.81671282562382*b555 >= -1.51412773262977;

e533:  - x69 + x285 - 3.81671282562382*b556 >= -1.51412773262977;

e534:  - x70 + x286 - 3.81671282562382*b557 >= -1.51412773262977;

e535:  - x71 + x287 - 3.81671282562382*b558 >= -1.51412773262977;

e536:  - x72 + x288 - 3.81671282562382*b559 >= -1.51412773262977;

e537:  - x74 + x278 - 4.35385575770719*b549 >= -2.05127066471314;

e538:  - x75 + x279 - 4.35385575770719*b550 >= -2.05127066471314;

e539:  - x76 + x280 - 4.35385575770719*b551 >= -2.05127066471314;

e540:  - x77 + x281 - 4.35385575770719*b552 >= -2.05127066471314;

e541:  - x78 + x282 - 4.35385575770719*b553 >= -2.05127066471314;

e542:  - x79 + x283 - 4.35385575770719*b554 >= -2.05127066471314;

e543:  - x80 + x284 - 4.35385575770719*b555 >= -2.05127066471314;

e544:  - x81 + x285 - 4.35385575770719*b556 >= -2.05127066471314;

e545:  - x82 + x286 - 4.35385575770719*b557 >= -2.05127066471314;

e546:  - x83 + x287 - 4.35385575770719*b558 >= -2.05127066471314;

e547:  - x84 + x288 - 4.35385575770719*b559 >= -2.05127066471314;

e548:  - x86 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e549:  - x87 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e550:  - x88 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e551:  - x89 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e552:  - x90 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e553:  - x91 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e554:  - x92 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e555:  - x93 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e556:  - x94 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e557:  - x95 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e558:  - x96 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e559:  - x98 + x278 - 3.92641174288025*b549 >= -1.6238266498862;

e560:  - x99 + x279 - 3.92641174288025*b550 >= -1.6238266498862;

e561:  - x100 + x280 - 3.92641174288025*b551 >= -1.6238266498862;

e562:  - x101 + x281 - 3.92641174288025*b552 >= -1.6238266498862;

e563:  - x102 + x282 - 3.92641174288025*b553 >= -1.6238266498862;

e564:  - x103 + x283 - 3.92641174288025*b554 >= -1.6238266498862;

e565:  - x104 + x284 - 3.92641174288025*b555 >= -1.6238266498862;

e566:  - x105 + x285 - 3.92641174288025*b556 >= -1.6238266498862;

e567:  - x106 + x286 - 3.92641174288025*b557 >= -1.6238266498862;

e568:  - x107 + x287 - 3.92641174288025*b558 >= -1.6238266498862;

e569:  - x108 + x288 - 3.92641174288025*b559 >= -1.6238266498862;

e570:  - x110 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e571:  - x111 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e572:  - x112 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e573:  - x113 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e574:  - x114 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e575:  - x115 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e576:  - x116 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e577:  - x117 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e578:  - x118 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e579:  - x119 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e580:  - x120 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e581:  - x122 + x278 - 3.98613097758187*b549 >= -1.68354588458782;

e582:  - x123 + x279 - 3.98613097758187*b550 >= -1.68354588458782;

e583:  - x124 + x280 - 3.98613097758187*b551 >= -1.68354588458782;

e584:  - x125 + x281 - 3.98613097758187*b552 >= -1.68354588458782;

e585:  - x126 + x282 - 3.98613097758187*b553 >= -1.68354588458782;

e586:  - x127 + x283 - 3.98613097758187*b554 >= -1.68354588458782;

e587:  - x128 + x284 - 3.98613097758187*b555 >= -1.68354588458782;

e588:  - x129 + x285 - 3.98613097758187*b556 >= -1.68354588458782;

e589:  - x130 + x286 - 3.98613097758187*b557 >= -1.68354588458782;

e590:  - x131 + x287 - 3.98613097758187*b558 >= -1.68354588458782;

e591:  - x132 + x288 - 3.98613097758187*b559 >= -1.68354588458782;

e592:  - x134 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e593:  - x135 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e594:  - x136 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e595:  - x137 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e596:  - x138 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e597:  - x139 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e598:  - x140 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e599:  - x141 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e600:  - x142 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e601:  - x143 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e602:  - x144 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e603:  - x146 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e604:  - x147 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e605:  - x148 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e606:  - x149 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e607:  - x150 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e608:  - x151 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e609:  - x152 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e610:  - x153 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e611:  - x154 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e612:  - x155 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e613:  - x156 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e614:  - x158 + x278 - 3.81671282562382*b549 >= -1.51412773262977;

e615:  - x159 + x279 - 3.81671282562382*b550 >= -1.51412773262977;

e616:  - x160 + x280 - 3.81671282562382*b551 >= -1.51412773262977;

e617:  - x161 + x281 - 3.81671282562382*b552 >= -1.51412773262977;

e618:  - x162 + x282 - 3.81671282562382*b553 >= -1.51412773262977;

e619:  - x163 + x283 - 3.81671282562382*b554 >= -1.51412773262977;

e620:  - x164 + x284 - 3.81671282562382*b555 >= -1.51412773262977;

e621:  - x165 + x285 - 3.81671282562382*b556 >= -1.51412773262977;

e622:  - x166 + x286 - 3.81671282562382*b557 >= -1.51412773262977;

e623:  - x167 + x287 - 3.81671282562382*b558 >= -1.51412773262977;

e624:  - x168 + x288 - 3.81671282562382*b559 >= -1.51412773262977;

e625:  - x170 + x278 - 4.35385575770719*b549 >= -2.05127066471314;

e626:  - x171 + x279 - 4.35385575770719*b550 >= -2.05127066471314;

e627:  - x172 + x280 - 4.35385575770719*b551 >= -2.05127066471314;

e628:  - x173 + x281 - 4.35385575770719*b552 >= -2.05127066471314;

e629:  - x174 + x282 - 4.35385575770719*b553 >= -2.05127066471314;

e630:  - x175 + x283 - 4.35385575770719*b554 >= -2.05127066471314;

e631:  - x176 + x284 - 4.35385575770719*b555 >= -2.05127066471314;

e632:  - x177 + x285 - 4.35385575770719*b556 >= -2.05127066471314;

e633:  - x178 + x286 - 4.35385575770719*b557 >= -2.05127066471314;

e634:  - x179 + x287 - 4.35385575770719*b558 >= -2.05127066471314;

e635:  - x180 + x288 - 4.35385575770719*b559 >= -2.05127066471314;

e636:  - x182 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e637:  - x183 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e638:  - x184 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e639:  - x185 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e640:  - x186 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e641:  - x187 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e642:  - x188 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e643:  - x189 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e644:  - x190 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e645:  - x191 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e646:  - x192 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e647:  - x194 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e648:  - x195 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e649:  - x196 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e650:  - x197 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e651:  - x198 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e652:  - x199 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e653:  - x200 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e654:  - x201 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e655:  - x202 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e656:  - x203 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e657:  - x204 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e658:  - x206 + x278 - 3.92641174288025*b549 >= -1.6238266498862;

e659:  - x207 + x279 - 3.92641174288025*b550 >= -1.6238266498862;

e660:  - x208 + x280 - 3.92641174288025*b551 >= -1.6238266498862;

e661:  - x209 + x281 - 3.92641174288025*b552 >= -1.6238266498862;

e662:  - x210 + x282 - 3.92641174288025*b553 >= -1.6238266498862;

e663:  - x211 + x283 - 3.92641174288025*b554 >= -1.6238266498862;

e664:  - x212 + x284 - 3.92641174288025*b555 >= -1.6238266498862;

e665:  - x213 + x285 - 3.92641174288025*b556 >= -1.6238266498862;

e666:  - x214 + x286 - 3.92641174288025*b557 >= -1.6238266498862;

e667:  - x215 + x287 - 3.92641174288025*b558 >= -1.6238266498862;

e668:  - x216 + x288 - 3.92641174288025*b559 >= -1.6238266498862;

e669:  - x218 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e670:  - x219 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e671:  - x220 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e672:  - x221 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e673:  - x222 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e674:  - x223 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e675:  - x224 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e676:  - x225 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e677:  - x226 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e678:  - x227 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e679:  - x228 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e680:  - x230 + x278 - 3.98613097758187*b549 >= -1.68354588458782;

e681:  - x231 + x279 - 3.98613097758187*b550 >= -1.68354588458782;

e682:  - x232 + x280 - 3.98613097758187*b551 >= -1.68354588458782;

e683:  - x233 + x281 - 3.98613097758187*b552 >= -1.68354588458782;

e684:  - x234 + x282 - 3.98613097758187*b553 >= -1.68354588458782;

e685:  - x235 + x283 - 3.98613097758187*b554 >= -1.68354588458782;

e686:  - x236 + x284 - 3.98613097758187*b555 >= -1.68354588458782;

e687:  - x237 + x285 - 3.98613097758187*b556 >= -1.68354588458782;

e688:  - x238 + x286 - 3.98613097758187*b557 >= -1.68354588458782;

e689:  - x239 + x287 - 3.98613097758187*b558 >= -1.68354588458782;

e690:  - x240 + x288 - 3.98613097758187*b559 >= -1.68354588458782;

e691:  - x242 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e692:  - x243 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e693:  - x244 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e694:  - x245 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e695:  - x246 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e696:  - x247 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e697:  - x248 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e698:  - x249 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e699:  - x250 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e700:  - x251 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e701:  - x252 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e702:  - x13 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e703:  - x14 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e704:  - x15 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e705:  - x16 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e706:  - x17 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e707:  - x18 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e708:  - x19 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e709:  - x20 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e710:  - x21 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e711:  - x22 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e712:  - x23 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e713:  - x25 + x278 - 4.39931813178394*b549 >= -2.0967330387899;

e714:  - x26 + x279 - 4.39931813178394*b550 >= -2.0967330387899;

e715:  - x27 + x280 - 4.39931813178394*b551 >= -2.0967330387899;

e716:  - x28 + x281 - 4.39931813178394*b552 >= -2.0967330387899;

e717:  - x29 + x282 - 4.39931813178394*b553 >= -2.0967330387899;

e718:  - x30 + x283 - 4.39931813178394*b554 >= -2.0967330387899;

e719:  - x31 + x284 - 4.39931813178394*b555 >= -2.0967330387899;

e720:  - x32 + x285 - 4.39931813178394*b556 >= -2.0967330387899;

e721:  - x33 + x286 - 4.39931813178394*b557 >= -2.0967330387899;

e722:  - x34 + x287 - 4.39931813178394*b558 >= -2.0967330387899;

e723:  - x35 + x288 - 4.39931813178394*b559 >= -2.0967330387899;

e724:  - x37 + x278 - 4.19022633392538*b549 >= -1.88764124093134;

e725:  - x38 + x279 - 4.19022633392538*b550 >= -1.88764124093134;

e726:  - x39 + x280 - 4.19022633392538*b551 >= -1.88764124093134;

e727:  - x40 + x281 - 4.19022633392538*b552 >= -1.88764124093134;

e728:  - x41 + x282 - 4.19022633392538*b553 >= -1.88764124093134;

e729:  - x42 + x283 - 4.19022633392538*b554 >= -1.88764124093134;

e730:  - x43 + x284 - 4.19022633392538*b555 >= -1.88764124093134;

e731:  - x44 + x285 - 4.19022633392538*b556 >= -1.88764124093134;

e732:  - x45 + x286 - 4.19022633392538*b557 >= -1.88764124093134;

e733:  - x46 + x287 - 4.19022633392538*b558 >= -1.88764124093134;

e734:  - x47 + x288 - 4.19022633392538*b559 >= -1.88764124093134;

e735:  - x49 + x278 - 3.98613097758187*b549 >= -1.68354588458782;

e736:  - x50 + x279 - 3.98613097758187*b550 >= -1.68354588458782;

e737:  - x51 + x280 - 3.98613097758187*b551 >= -1.68354588458782;

e738:  - x52 + x281 - 3.98613097758187*b552 >= -1.68354588458782;

e739:  - x53 + x282 - 3.98613097758187*b553 >= -1.68354588458782;

e740:  - x54 + x283 - 3.98613097758187*b554 >= -1.68354588458782;

e741:  - x55 + x284 - 3.98613097758187*b555 >= -1.68354588458782;

e742:  - x56 + x285 - 3.98613097758187*b556 >= -1.68354588458782;

e743:  - x57 + x286 - 3.98613097758187*b557 >= -1.68354588458782;

e744:  - x58 + x287 - 3.98613097758187*b558 >= -1.68354588458782;

e745:  - x59 + x288 - 3.98613097758187*b559 >= -1.68354588458782;

e746:  - x61 + x278 - 3.81671282562382*b549 >= -1.51412773262977;

e747:  - x62 + x279 - 3.81671282562382*b550 >= -1.51412773262977;

e748:  - x63 + x280 - 3.81671282562382*b551 >= -1.51412773262977;

e749:  - x64 + x281 - 3.81671282562382*b552 >= -1.51412773262977;

e750:  - x65 + x282 - 3.81671282562382*b553 >= -1.51412773262977;

e751:  - x66 + x283 - 3.81671282562382*b554 >= -1.51412773262977;

e752:  - x67 + x284 - 3.81671282562382*b555 >= -1.51412773262977;

e753:  - x68 + x285 - 3.81671282562382*b556 >= -1.51412773262977;

e754:  - x69 + x286 - 3.81671282562382*b557 >= -1.51412773262977;

e755:  - x70 + x287 - 3.81671282562382*b558 >= -1.51412773262977;

e756:  - x71 + x288 - 3.81671282562382*b559 >= -1.51412773262977;

e757:  - x73 + x278 - 4.35385575770719*b549 >= -2.05127066471314;

e758:  - x74 + x279 - 4.35385575770719*b550 >= -2.05127066471314;

e759:  - x75 + x280 - 4.35385575770719*b551 >= -2.05127066471314;

e760:  - x76 + x281 - 4.35385575770719*b552 >= -2.05127066471314;

e761:  - x77 + x282 - 4.35385575770719*b553 >= -2.05127066471314;

e762:  - x78 + x283 - 4.35385575770719*b554 >= -2.05127066471314;

e763:  - x79 + x284 - 4.35385575770719*b555 >= -2.05127066471314;

e764:  - x80 + x285 - 4.35385575770719*b556 >= -2.05127066471314;

e765:  - x81 + x286 - 4.35385575770719*b557 >= -2.05127066471314;

e766:  - x82 + x287 - 4.35385575770719*b558 >= -2.05127066471314;

e767:  - x83 + x288 - 4.35385575770719*b559 >= -2.05127066471314;

e768:  - x85 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e769:  - x86 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e770:  - x87 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e771:  - x88 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e772:  - x89 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e773:  - x90 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e774:  - x91 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e775:  - x92 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e776:  - x93 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e777:  - x94 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e778:  - x95 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e779:  - x97 + x278 - 3.92641174288025*b549 >= -1.6238266498862;

e780:  - x98 + x279 - 3.92641174288025*b550 >= -1.6238266498862;

e781:  - x99 + x280 - 3.92641174288025*b551 >= -1.6238266498862;

e782:  - x100 + x281 - 3.92641174288025*b552 >= -1.6238266498862;

e783:  - x101 + x282 - 3.92641174288025*b553 >= -1.6238266498862;

e784:  - x102 + x283 - 3.92641174288025*b554 >= -1.6238266498862;

e785:  - x103 + x284 - 3.92641174288025*b555 >= -1.6238266498862;

e786:  - x104 + x285 - 3.92641174288025*b556 >= -1.6238266498862;

e787:  - x105 + x286 - 3.92641174288025*b557 >= -1.6238266498862;

e788:  - x106 + x287 - 3.92641174288025*b558 >= -1.6238266498862;

e789:  - x107 + x288 - 3.92641174288025*b559 >= -1.6238266498862;

e790:  - x109 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e791:  - x110 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e792:  - x111 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e793:  - x112 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e794:  - x113 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e795:  - x114 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e796:  - x115 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e797:  - x116 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e798:  - x117 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e799:  - x118 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e800:  - x119 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e801:  - x121 + x278 - 3.98613097758187*b549 >= -1.68354588458782;

e802:  - x122 + x279 - 3.98613097758187*b550 >= -1.68354588458782;

e803:  - x123 + x280 - 3.98613097758187*b551 >= -1.68354588458782;

e804:  - x124 + x281 - 3.98613097758187*b552 >= -1.68354588458782;

e805:  - x125 + x282 - 3.98613097758187*b553 >= -1.68354588458782;

e806:  - x126 + x283 - 3.98613097758187*b554 >= -1.68354588458782;

e807:  - x127 + x284 - 3.98613097758187*b555 >= -1.68354588458782;

e808:  - x128 + x285 - 3.98613097758187*b556 >= -1.68354588458782;

e809:  - x129 + x286 - 3.98613097758187*b557 >= -1.68354588458782;

e810:  - x130 + x287 - 3.98613097758187*b558 >= -1.68354588458782;

e811:  - x131 + x288 - 3.98613097758187*b559 >= -1.68354588458782;

e812:  - x133 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e813:  - x134 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e814:  - x135 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e815:  - x136 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e816:  - x137 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e817:  - x138 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e818:  - x139 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e819:  - x140 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e820:  - x141 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e821:  - x142 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e822:  - x143 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e823:  - x145 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e824:  - x146 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e825:  - x147 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e826:  - x148 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e827:  - x149 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e828:  - x150 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e829:  - x151 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e830:  - x152 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e831:  - x153 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e832:  - x154 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e833:  - x155 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e834:  - x157 + x278 - 3.81671282562382*b549 >= -1.51412773262977;

e835:  - x158 + x279 - 3.81671282562382*b550 >= -1.51412773262977;

e836:  - x159 + x280 - 3.81671282562382*b551 >= -1.51412773262977;

e837:  - x160 + x281 - 3.81671282562382*b552 >= -1.51412773262977;

e838:  - x161 + x282 - 3.81671282562382*b553 >= -1.51412773262977;

e839:  - x162 + x283 - 3.81671282562382*b554 >= -1.51412773262977;

e840:  - x163 + x284 - 3.81671282562382*b555 >= -1.51412773262977;

e841:  - x164 + x285 - 3.81671282562382*b556 >= -1.51412773262977;

e842:  - x165 + x286 - 3.81671282562382*b557 >= -1.51412773262977;

e843:  - x166 + x287 - 3.81671282562382*b558 >= -1.51412773262977;

e844:  - x167 + x288 - 3.81671282562382*b559 >= -1.51412773262977;

e845:  - x169 + x278 - 4.35385575770719*b549 >= -2.05127066471314;

e846:  - x170 + x279 - 4.35385575770719*b550 >= -2.05127066471314;

e847:  - x171 + x280 - 4.35385575770719*b551 >= -2.05127066471314;

e848:  - x172 + x281 - 4.35385575770719*b552 >= -2.05127066471314;

e849:  - x173 + x282 - 4.35385575770719*b553 >= -2.05127066471314;

e850:  - x174 + x283 - 4.35385575770719*b554 >= -2.05127066471314;

e851:  - x175 + x284 - 4.35385575770719*b555 >= -2.05127066471314;

e852:  - x176 + x285 - 4.35385575770719*b556 >= -2.05127066471314;

e853:  - x177 + x286 - 4.35385575770719*b557 >= -2.05127066471314;

e854:  - x178 + x287 - 4.35385575770719*b558 >= -2.05127066471314;

e855:  - x179 + x288 - 4.35385575770719*b559 >= -2.05127066471314;

e856:  - x181 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e857:  - x182 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e858:  - x183 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e859:  - x184 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e860:  - x185 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e861:  - x186 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e862:  - x187 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e863:  - x188 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e864:  - x189 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e865:  - x190 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e866:  - x191 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e867:  - x193 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e868:  - x194 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e869:  - x195 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e870:  - x196 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e871:  - x197 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e872:  - x198 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e873:  - x199 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e874:  - x200 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e875:  - x201 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e876:  - x202 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e877:  - x203 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e878:  - x205 + x278 - 3.92641174288025*b549 >= -1.6238266498862;

e879:  - x206 + x279 - 3.92641174288025*b550 >= -1.6238266498862;

e880:  - x207 + x280 - 3.92641174288025*b551 >= -1.6238266498862;

e881:  - x208 + x281 - 3.92641174288025*b552 >= -1.6238266498862;

e882:  - x209 + x282 - 3.92641174288025*b553 >= -1.6238266498862;

e883:  - x210 + x283 - 3.92641174288025*b554 >= -1.6238266498862;

e884:  - x211 + x284 - 3.92641174288025*b555 >= -1.6238266498862;

e885:  - x212 + x285 - 3.92641174288025*b556 >= -1.6238266498862;

e886:  - x213 + x286 - 3.92641174288025*b557 >= -1.6238266498862;

e887:  - x214 + x287 - 3.92641174288025*b558 >= -1.6238266498862;

e888:  - x215 + x288 - 3.92641174288025*b559 >= -1.6238266498862;

e889:  - x217 + x278 - 4.20927452889608*b549 >= -1.90668943590203;

e890:  - x218 + x279 - 4.20927452889608*b550 >= -1.90668943590203;

e891:  - x219 + x280 - 4.20927452889608*b551 >= -1.90668943590203;

e892:  - x220 + x281 - 4.20927452889608*b552 >= -1.90668943590203;

e893:  - x221 + x282 - 4.20927452889608*b553 >= -1.90668943590203;

e894:  - x222 + x283 - 4.20927452889608*b554 >= -1.90668943590203;

e895:  - x223 + x284 - 4.20927452889608*b555 >= -1.90668943590203;

e896:  - x224 + x285 - 4.20927452889608*b556 >= -1.90668943590203;

e897:  - x225 + x286 - 4.20927452889608*b557 >= -1.90668943590203;

e898:  - x226 + x287 - 4.20927452889608*b558 >= -1.90668943590203;

e899:  - x227 + x288 - 4.20927452889608*b559 >= -1.90668943590203;

e900:  - x229 + x278 - 3.98613097758187*b549 >= -1.68354588458782;

e901:  - x230 + x279 - 3.98613097758187*b550 >= -1.68354588458782;

e902:  - x231 + x280 - 3.98613097758187*b551 >= -1.68354588458782;

e903:  - x232 + x281 - 3.98613097758187*b552 >= -1.68354588458782;

e904:  - x233 + x282 - 3.98613097758187*b553 >= -1.68354588458782;

e905:  - x234 + x283 - 3.98613097758187*b554 >= -1.68354588458782;

e906:  - x235 + x284 - 3.98613097758187*b555 >= -1.68354588458782;

e907:  - x236 + x285 - 3.98613097758187*b556 >= -1.68354588458782;

e908:  - x237 + x286 - 3.98613097758187*b557 >= -1.68354588458782;

e909:  - x238 + x287 - 3.98613097758187*b558 >= -1.68354588458782;

e910:  - x239 + x288 - 3.98613097758187*b559 >= -1.68354588458782;

e911:  - x241 + x278 - 4.04964438330419*b549 >= -1.74705929031015;

e912:  - x242 + x279 - 4.04964438330419*b550 >= -1.74705929031015;

e913:  - x243 + x280 - 4.04964438330419*b551 >= -1.74705929031015;

e914:  - x244 + x281 - 4.04964438330419*b552 >= -1.74705929031015;

e915:  - x245 + x282 - 4.04964438330419*b553 >= -1.74705929031015;

e916:  - x246 + x283 - 4.04964438330419*b554 >= -1.74705929031015;

e917:  - x247 + x284 - 4.04964438330419*b555 >= -1.74705929031015;

e918:  - x248 + x285 - 4.04964438330419*b556 >= -1.74705929031015;

e919:  - x249 + x286 - 4.04964438330419*b557 >= -1.74705929031015;

e920:  - x250 + x287 - 4.04964438330419*b558 >= -1.74705929031015;

e921:  - x251 + x288 - 4.04964438330419*b559 >= -1.74705929031015;

e922:    x253 + 2.30258509299405*b309 <= 2.30258509299405;

e923:    x253 + 1.6094379124341*b321 <= 2.30258509299405;

e924:    x253 + 1.20397280432594*b333 <= 2.30258509299405;

e925:    x253 + 0.916290731874155*b345 <= 2.30258509299405;

e926:    x253 + 0.693147180559946*b357 <= 2.30258509299405;

e927:    x253 + 0.510825623765991*b369 <= 2.30258509299405;

e928:    x253 + 0.356674943938733*b381 <= 2.30258509299405;

e929:    x253 + 0.22314355131421*b393 <= 2.30258509299405;

e930:    x253 + 0.105360515657826*b405 <= 2.30258509299405;

e931:    x253 <= 2.30258509299405;

e932:    x254 + 2.30258509299405*b310 <= 2.30258509299405;

e933:    x254 + 1.6094379124341*b322 <= 2.30258509299405;

e934:    x254 + 1.20397280432594*b334 <= 2.30258509299405;

e935:    x254 + 0.916290731874155*b346 <= 2.30258509299405;

e936:    x254 + 0.693147180559946*b358 <= 2.30258509299405;

e937:    x254 + 0.510825623765991*b370 <= 2.30258509299405;

e938:    x254 + 0.356674943938733*b382 <= 2.30258509299405;

e939:    x254 + 0.22314355131421*b394 <= 2.30258509299405;

e940:    x254 + 0.105360515657826*b406 <= 2.30258509299405;

e941:    x254 <= 2.30258509299405;

e942:    x255 + 2.30258509299405*b311 <= 2.30258509299405;

e943:    x255 + 1.6094379124341*b323 <= 2.30258509299405;

e944:    x255 + 1.20397280432594*b335 <= 2.30258509299405;

e945:    x255 + 0.916290731874155*b347 <= 2.30258509299405;

e946:    x255 + 0.693147180559946*b359 <= 2.30258509299405;

e947:    x255 + 0.510825623765991*b371 <= 2.30258509299405;

e948:    x255 + 0.356674943938733*b383 <= 2.30258509299405;

e949:    x255 + 0.22314355131421*b395 <= 2.30258509299405;

e950:    x255 + 0.105360515657826*b407 <= 2.30258509299405;

e951:    x255 <= 2.30258509299405;

e952:    x256 + 2.30258509299405*b312 <= 2.30258509299405;

e953:    x256 + 1.6094379124341*b324 <= 2.30258509299405;

e954:    x256 + 1.20397280432594*b336 <= 2.30258509299405;

e955:    x256 + 0.916290731874155*b348 <= 2.30258509299405;

e956:    x256 + 0.693147180559946*b360 <= 2.30258509299405;

e957:    x256 + 0.510825623765991*b372 <= 2.30258509299405;

e958:    x256 + 0.356674943938733*b384 <= 2.30258509299405;

e959:    x256 + 0.22314355131421*b396 <= 2.30258509299405;

e960:    x256 + 0.105360515657826*b408 <= 2.30258509299405;

e961:    x256 <= 2.30258509299405;

e962:    x257 + 2.30258509299405*b313 <= 2.30258509299405;

e963:    x257 + 1.6094379124341*b325 <= 2.30258509299405;

e964:    x257 + 1.20397280432594*b337 <= 2.30258509299405;

e965:    x257 + 0.916290731874155*b349 <= 2.30258509299405;

e966:    x257 + 0.693147180559946*b361 <= 2.30258509299405;

e967:    x257 + 0.510825623765991*b373 <= 2.30258509299405;

e968:    x257 + 0.356674943938733*b385 <= 2.30258509299405;

e969:    x257 + 0.22314355131421*b397 <= 2.30258509299405;

e970:    x257 + 0.105360515657826*b409 <= 2.30258509299405;

e971:    x257 <= 2.30258509299405;

e972:    x258 + 2.30258509299405*b314 <= 2.30258509299405;

e973:    x258 + 1.6094379124341*b326 <= 2.30258509299405;

e974:    x258 + 1.20397280432594*b338 <= 2.30258509299405;

e975:    x258 + 0.916290731874155*b350 <= 2.30258509299405;

e976:    x258 + 0.693147180559946*b362 <= 2.30258509299405;

e977:    x258 + 0.510825623765991*b374 <= 2.30258509299405;

e978:    x258 + 0.356674943938733*b386 <= 2.30258509299405;

e979:    x258 + 0.22314355131421*b398 <= 2.30258509299405;

e980:    x258 + 0.105360515657826*b410 <= 2.30258509299405;

e981:    x258 <= 2.30258509299405;

e982:    x259 + 2.30258509299405*b315 <= 2.30258509299405;

e983:    x259 + 1.6094379124341*b327 <= 2.30258509299405;

e984:    x259 + 1.20397280432594*b339 <= 2.30258509299405;

e985:    x259 + 0.916290731874155*b351 <= 2.30258509299405;

e986:    x259 + 0.693147180559946*b363 <= 2.30258509299405;

e987:    x259 + 0.510825623765991*b375 <= 2.30258509299405;

e988:    x259 + 0.356674943938733*b387 <= 2.30258509299405;

e989:    x259 + 0.22314355131421*b399 <= 2.30258509299405;

e990:    x259 + 0.105360515657826*b411 <= 2.30258509299405;

e991:    x259 <= 2.30258509299405;

e992:    x260 + 2.30258509299405*b316 <= 2.30258509299405;

e993:    x260 + 1.6094379124341*b328 <= 2.30258509299405;

e994:    x260 + 1.20397280432594*b340 <= 2.30258509299405;

e995:    x260 + 0.916290731874155*b352 <= 2.30258509299405;

e996:    x260 + 0.693147180559946*b364 <= 2.30258509299405;

e997:    x260 + 0.510825623765991*b376 <= 2.30258509299405;

e998:    x260 + 0.356674943938733*b388 <= 2.30258509299405;

e999:    x260 + 0.22314355131421*b400 <= 2.30258509299405;

e1000:    x260 + 0.105360515657826*b412 <= 2.30258509299405;

e1001:    x260 <= 2.30258509299405;

e1002:    x261 + 2.30258509299405*b317 <= 2.30258509299405;

e1003:    x261 + 1.6094379124341*b329 <= 2.30258509299405;

e1004:    x261 + 1.20397280432594*b341 <= 2.30258509299405;

e1005:    x261 + 0.916290731874155*b353 <= 2.30258509299405;

e1006:    x261 + 0.693147180559946*b365 <= 2.30258509299405;

e1007:    x261 + 0.510825623765991*b377 <= 2.30258509299405;

e1008:    x261 + 0.356674943938733*b389 <= 2.30258509299405;

e1009:    x261 + 0.22314355131421*b401 <= 2.30258509299405;

e1010:    x261 + 0.105360515657826*b413 <= 2.30258509299405;

e1011:    x261 <= 2.30258509299405;

e1012:    x262 + 2.30258509299405*b318 <= 2.30258509299405;

e1013:    x262 + 1.6094379124341*b330 <= 2.30258509299405;

e1014:    x262 + 1.20397280432594*b342 <= 2.30258509299405;

e1015:    x262 + 0.916290731874155*b354 <= 2.30258509299405;

e1016:    x262 + 0.693147180559946*b366 <= 2.30258509299405;

e1017:    x262 + 0.510825623765991*b378 <= 2.30258509299405;

e1018:    x262 + 0.356674943938733*b390 <= 2.30258509299405;

e1019:    x262 + 0.22314355131421*b402 <= 2.30258509299405;

e1020:    x262 + 0.105360515657826*b414 <= 2.30258509299405;

e1021:    x262 <= 2.30258509299405;

e1022:    x263 + 2.30258509299405*b319 <= 2.30258509299405;

e1023:    x263 + 1.6094379124341*b331 <= 2.30258509299405;

e1024:    x263 + 1.20397280432594*b343 <= 2.30258509299405;

e1025:    x263 + 0.916290731874155*b355 <= 2.30258509299405;

e1026:    x263 + 0.693147180559946*b367 <= 2.30258509299405;

e1027:    x263 + 0.510825623765991*b379 <= 2.30258509299405;

e1028:    x263 + 0.356674943938733*b391 <= 2.30258509299405;

e1029:    x263 + 0.22314355131421*b403 <= 2.30258509299405;

e1030:    x263 + 0.105360515657826*b415 <= 2.30258509299405;

e1031:    x263 <= 2.30258509299405;

e1032:    x264 + 2.30258509299405*b320 <= 2.30258509299405;

e1033:    x264 + 1.6094379124341*b332 <= 2.30258509299405;

e1034:    x264 + 1.20397280432594*b344 <= 2.30258509299405;

e1035:    x264 + 0.916290731874155*b356 <= 2.30258509299405;

e1036:    x264 + 0.693147180559946*b368 <= 2.30258509299405;

e1037:    x264 + 0.510825623765991*b380 <= 2.30258509299405;

e1038:    x264 + 0.356674943938733*b392 <= 2.30258509299405;

e1039:    x264 + 0.22314355131421*b404 <= 2.30258509299405;

e1040:    x264 + 0.105360515657826*b416 <= 2.30258509299405;

e1041:    x264 <= 2.30258509299405;

e1042:    x253 >= 0;

e1043:    x253 - 0.693147180559945*b321 >= 0;

e1044:    x253 - 1.09861228866811*b333 >= 0;

e1045:    x253 - 1.38629436111989*b345 >= 0;

e1046:    x253 - 1.6094379124341*b357 >= 0;

e1047:    x253 - 1.79175946922805*b369 >= 0;

e1048:    x253 - 1.94591014905531*b381 >= 0;

e1049:    x253 - 2.07944154167984*b393 >= 0;

e1050:    x253 - 2.19722457733622*b405 >= 0;

e1051:    x253 - 2.30258509299405*b417 >= 0;

e1052:    x254 >= 0;

e1053:    x254 - 0.693147180559945*b322 >= 0;

e1054:    x254 - 1.09861228866811*b334 >= 0;

e1055:    x254 - 1.38629436111989*b346 >= 0;

e1056:    x254 - 1.6094379124341*b358 >= 0;

e1057:    x254 - 1.79175946922805*b370 >= 0;

e1058:    x254 - 1.94591014905531*b382 >= 0;

e1059:    x254 - 2.07944154167984*b394 >= 0;

e1060:    x254 - 2.19722457733622*b406 >= 0;

e1061:    x254 - 2.30258509299405*b418 >= 0;

e1062:    x255 >= 0;

e1063:    x255 - 0.693147180559945*b323 >= 0;

e1064:    x255 - 1.09861228866811*b335 >= 0;

e1065:    x255 - 1.38629436111989*b347 >= 0;

e1066:    x255 - 1.6094379124341*b359 >= 0;

e1067:    x255 - 1.79175946922805*b371 >= 0;

e1068:    x255 - 1.94591014905531*b383 >= 0;

e1069:    x255 - 2.07944154167984*b395 >= 0;

e1070:    x255 - 2.19722457733622*b407 >= 0;

e1071:    x255 - 2.30258509299405*b419 >= 0;

e1072:    x256 >= 0;

e1073:    x256 - 0.693147180559945*b324 >= 0;

e1074:    x256 - 1.09861228866811*b336 >= 0;

e1075:    x256 - 1.38629436111989*b348 >= 0;

e1076:    x256 - 1.6094379124341*b360 >= 0;

e1077:    x256 - 1.79175946922805*b372 >= 0;

e1078:    x256 - 1.94591014905531*b384 >= 0;

e1079:    x256 - 2.07944154167984*b396 >= 0;

e1080:    x256 - 2.19722457733622*b408 >= 0;

e1081:    x256 - 2.30258509299405*b420 >= 0;

e1082:    x257 >= 0;

e1083:    x257 - 0.693147180559945*b325 >= 0;

e1084:    x257 - 1.09861228866811*b337 >= 0;

e1085:    x257 - 1.38629436111989*b349 >= 0;

e1086:    x257 - 1.6094379124341*b361 >= 0;

e1087:    x257 - 1.79175946922805*b373 >= 0;

e1088:    x257 - 1.94591014905531*b385 >= 0;

e1089:    x257 - 2.07944154167984*b397 >= 0;

e1090:    x257 - 2.19722457733622*b409 >= 0;

e1091:    x257 - 2.30258509299405*b421 >= 0;

e1092:    x258 >= 0;

e1093:    x258 - 0.693147180559945*b326 >= 0;

e1094:    x258 - 1.09861228866811*b338 >= 0;

e1095:    x258 - 1.38629436111989*b350 >= 0;

e1096:    x258 - 1.6094379124341*b362 >= 0;

e1097:    x258 - 1.79175946922805*b374 >= 0;

e1098:    x258 - 1.94591014905531*b386 >= 0;

e1099:    x258 - 2.07944154167984*b398 >= 0;

e1100:    x258 - 2.19722457733622*b410 >= 0;

e1101:    x258 - 2.30258509299405*b422 >= 0;

e1102:    x259 >= 0;

e1103:    x259 - 0.693147180559945*b327 >= 0;

e1104:    x259 - 1.09861228866811*b339 >= 0;

e1105:    x259 - 1.38629436111989*b351 >= 0;

e1106:    x259 - 1.6094379124341*b363 >= 0;

e1107:    x259 - 1.79175946922805*b375 >= 0;

e1108:    x259 - 1.94591014905531*b387 >= 0;

e1109:    x259 - 2.07944154167984*b399 >= 0;

e1110:    x259 - 2.19722457733622*b411 >= 0;

e1111:    x259 - 2.30258509299405*b423 >= 0;

e1112:    x260 >= 0;

e1113:    x260 - 0.693147180559945*b328 >= 0;

e1114:    x260 - 1.09861228866811*b340 >= 0;

e1115:    x260 - 1.38629436111989*b352 >= 0;

e1116:    x260 - 1.6094379124341*b364 >= 0;

e1117:    x260 - 1.79175946922805*b376 >= 0;

e1118:    x260 - 1.94591014905531*b388 >= 0;

e1119:    x260 - 2.07944154167984*b400 >= 0;

e1120:    x260 - 2.19722457733622*b412 >= 0;

e1121:    x260 - 2.30258509299405*b424 >= 0;

e1122:    x261 >= 0;

e1123:    x261 - 0.693147180559945*b329 >= 0;

e1124:    x261 - 1.09861228866811*b341 >= 0;

e1125:    x261 - 1.38629436111989*b353 >= 0;

e1126:    x261 - 1.6094379124341*b365 >= 0;

e1127:    x261 - 1.79175946922805*b377 >= 0;

e1128:    x261 - 1.94591014905531*b389 >= 0;

e1129:    x261 - 2.07944154167984*b401 >= 0;

e1130:    x261 - 2.19722457733622*b413 >= 0;

e1131:    x261 - 2.30258509299405*b425 >= 0;

e1132:    x262 >= 0;

e1133:    x262 - 0.693147180559945*b330 >= 0;

e1134:    x262 - 1.09861228866811*b342 >= 0;

e1135:    x262 - 1.38629436111989*b354 >= 0;

e1136:    x262 - 1.6094379124341*b366 >= 0;

e1137:    x262 - 1.79175946922805*b378 >= 0;

e1138:    x262 - 1.94591014905531*b390 >= 0;

e1139:    x262 - 2.07944154167984*b402 >= 0;

e1140:    x262 - 2.19722457733622*b414 >= 0;

e1141:    x262 - 2.30258509299405*b426 >= 0;

e1142:    x263 >= 0;

e1143:    x263 - 0.693147180559945*b331 >= 0;

e1144:    x263 - 1.09861228866811*b343 >= 0;

e1145:    x263 - 1.38629436111989*b355 >= 0;

e1146:    x263 - 1.6094379124341*b367 >= 0;

e1147:    x263 - 1.79175946922805*b379 >= 0;

e1148:    x263 - 1.94591014905531*b391 >= 0;

e1149:    x263 - 2.07944154167984*b403 >= 0;

e1150:    x263 - 2.19722457733622*b415 >= 0;

e1151:    x263 - 2.30258509299405*b427 >= 0;

e1152:    x264 >= 0;

e1153:    x264 - 0.693147180559945*b332 >= 0;

e1154:    x264 - 1.09861228866811*b344 >= 0;

e1155:    x264 - 1.38629436111989*b356 >= 0;

e1156:    x264 - 1.6094379124341*b368 >= 0;

e1157:    x264 - 1.79175946922805*b380 >= 0;

e1158:    x264 - 1.94591014905531*b392 >= 0;

e1159:    x264 - 2.07944154167984*b404 >= 0;

e1160:    x264 - 2.19722457733622*b416 >= 0;

e1161:    x264 - 2.30258509299405*b428 >= 0;

e1162:    x265 + 2.30258509299405*b429 <= 2.30258509299405;

e1163:    x265 + 1.6094379124341*b441 <= 2.30258509299405;

e1164:    x265 + 1.20397280432594*b453 <= 2.30258509299405;

e1165:    x265 + 0.916290731874155*b465 <= 2.30258509299405;

e1166:    x265 + 0.693147180559946*b477 <= 2.30258509299405;

e1167:    x265 + 0.510825623765991*b489 <= 2.30258509299405;

e1168:    x265 + 0.356674943938733*b501 <= 2.30258509299405;

e1169:    x265 + 0.22314355131421*b513 <= 2.30258509299405;

e1170:    x265 + 0.105360515657826*b525 <= 2.30258509299405;

e1171:    x265 <= 2.30258509299405;

e1172:    x266 + 2.30258509299405*b430 <= 2.30258509299405;

e1173:    x266 + 1.6094379124341*b442 <= 2.30258509299405;

e1174:    x266 + 1.20397280432594*b454 <= 2.30258509299405;

e1175:    x266 + 0.916290731874155*b466 <= 2.30258509299405;

e1176:    x266 + 0.693147180559946*b478 <= 2.30258509299405;

e1177:    x266 + 0.510825623765991*b490 <= 2.30258509299405;

e1178:    x266 + 0.356674943938733*b502 <= 2.30258509299405;

e1179:    x266 + 0.22314355131421*b514 <= 2.30258509299405;

e1180:    x266 + 0.105360515657826*b526 <= 2.30258509299405;

e1181:    x266 <= 2.30258509299405;

e1182:    x267 + 2.30258509299405*b431 <= 2.30258509299405;

e1183:    x267 + 1.6094379124341*b443 <= 2.30258509299405;

e1184:    x267 + 1.20397280432594*b455 <= 2.30258509299405;

e1185:    x267 + 0.916290731874155*b467 <= 2.30258509299405;

e1186:    x267 + 0.693147180559946*b479 <= 2.30258509299405;

e1187:    x267 + 0.510825623765991*b491 <= 2.30258509299405;

e1188:    x267 + 0.356674943938733*b503 <= 2.30258509299405;

e1189:    x267 + 0.22314355131421*b515 <= 2.30258509299405;

e1190:    x267 + 0.105360515657826*b527 <= 2.30258509299405;

e1191:    x267 <= 2.30258509299405;

e1192:    x268 + 2.30258509299405*b432 <= 2.30258509299405;

e1193:    x268 + 1.6094379124341*b444 <= 2.30258509299405;

e1194:    x268 + 1.20397280432594*b456 <= 2.30258509299405;

e1195:    x268 + 0.916290731874155*b468 <= 2.30258509299405;

e1196:    x268 + 0.693147180559946*b480 <= 2.30258509299405;

e1197:    x268 + 0.510825623765991*b492 <= 2.30258509299405;

e1198:    x268 + 0.356674943938733*b504 <= 2.30258509299405;

e1199:    x268 + 0.22314355131421*b516 <= 2.30258509299405;

e1200:    x268 + 0.105360515657826*b528 <= 2.30258509299405;

e1201:    x268 <= 2.30258509299405;

e1202:    x269 + 2.30258509299405*b433 <= 2.30258509299405;

e1203:    x269 + 1.6094379124341*b445 <= 2.30258509299405;

e1204:    x269 + 1.20397280432594*b457 <= 2.30258509299405;

e1205:    x269 + 0.916290731874155*b469 <= 2.30258509299405;

e1206:    x269 + 0.693147180559946*b481 <= 2.30258509299405;

e1207:    x269 + 0.510825623765991*b493 <= 2.30258509299405;

e1208:    x269 + 0.356674943938733*b505 <= 2.30258509299405;

e1209:    x269 + 0.22314355131421*b517 <= 2.30258509299405;

e1210:    x269 + 0.105360515657826*b529 <= 2.30258509299405;

e1211:    x269 <= 2.30258509299405;

e1212:    x270 + 2.30258509299405*b434 <= 2.30258509299405;

e1213:    x270 + 1.6094379124341*b446 <= 2.30258509299405;

e1214:    x270 + 1.20397280432594*b458 <= 2.30258509299405;

e1215:    x270 + 0.916290731874155*b470 <= 2.30258509299405;

e1216:    x270 + 0.693147180559946*b482 <= 2.30258509299405;

e1217:    x270 + 0.510825623765991*b494 <= 2.30258509299405;

e1218:    x270 + 0.356674943938733*b506 <= 2.30258509299405;

e1219:    x270 + 0.22314355131421*b518 <= 2.30258509299405;

e1220:    x270 + 0.105360515657826*b530 <= 2.30258509299405;

e1221:    x270 <= 2.30258509299405;

e1222:    x271 + 2.30258509299405*b435 <= 2.30258509299405;

e1223:    x271 + 1.6094379124341*b447 <= 2.30258509299405;

e1224:    x271 + 1.20397280432594*b459 <= 2.30258509299405;

e1225:    x271 + 0.916290731874155*b471 <= 2.30258509299405;

e1226:    x271 + 0.693147180559946*b483 <= 2.30258509299405;

e1227:    x271 + 0.510825623765991*b495 <= 2.30258509299405;

e1228:    x271 + 0.356674943938733*b507 <= 2.30258509299405;

e1229:    x271 + 0.22314355131421*b519 <= 2.30258509299405;

e1230:    x271 + 0.105360515657826*b531 <= 2.30258509299405;

e1231:    x271 <= 2.30258509299405;

e1232:    x272 + 2.30258509299405*b436 <= 2.30258509299405;

e1233:    x272 + 1.6094379124341*b448 <= 2.30258509299405;

e1234:    x272 + 1.20397280432594*b460 <= 2.30258509299405;

e1235:    x272 + 0.916290731874155*b472 <= 2.30258509299405;

e1236:    x272 + 0.693147180559946*b484 <= 2.30258509299405;

e1237:    x272 + 0.510825623765991*b496 <= 2.30258509299405;

e1238:    x272 + 0.356674943938733*b508 <= 2.30258509299405;

e1239:    x272 + 0.22314355131421*b520 <= 2.30258509299405;

e1240:    x272 + 0.105360515657826*b532 <= 2.30258509299405;

e1241:    x272 <= 2.30258509299405;

e1242:    x273 + 2.30258509299405*b437 <= 2.30258509299405;

e1243:    x273 + 1.6094379124341*b449 <= 2.30258509299405;

e1244:    x273 + 1.20397280432594*b461 <= 2.30258509299405;

e1245:    x273 + 0.916290731874155*b473 <= 2.30258509299405;

e1246:    x273 + 0.693147180559946*b485 <= 2.30258509299405;

e1247:    x273 + 0.510825623765991*b497 <= 2.30258509299405;

e1248:    x273 + 0.356674943938733*b509 <= 2.30258509299405;

e1249:    x273 + 0.22314355131421*b521 <= 2.30258509299405;

e1250:    x273 + 0.105360515657826*b533 <= 2.30258509299405;

e1251:    x273 <= 2.30258509299405;

e1252:    x274 + 2.30258509299405*b438 <= 2.30258509299405;

e1253:    x274 + 1.6094379124341*b450 <= 2.30258509299405;

e1254:    x274 + 1.20397280432594*b462 <= 2.30258509299405;

e1255:    x274 + 0.916290731874155*b474 <= 2.30258509299405;

e1256:    x274 + 0.693147180559946*b486 <= 2.30258509299405;

e1257:    x274 + 0.510825623765991*b498 <= 2.30258509299405;

e1258:    x274 + 0.356674943938733*b510 <= 2.30258509299405;

e1259:    x274 + 0.22314355131421*b522 <= 2.30258509299405;

e1260:    x274 + 0.105360515657826*b534 <= 2.30258509299405;

e1261:    x274 <= 2.30258509299405;

e1262:    x275 + 2.30258509299405*b439 <= 2.30258509299405;

e1263:    x275 + 1.6094379124341*b451 <= 2.30258509299405;

e1264:    x275 + 1.20397280432594*b463 <= 2.30258509299405;

e1265:    x275 + 0.916290731874155*b475 <= 2.30258509299405;

e1266:    x275 + 0.693147180559946*b487 <= 2.30258509299405;

e1267:    x275 + 0.510825623765991*b499 <= 2.30258509299405;

e1268:    x275 + 0.356674943938733*b511 <= 2.30258509299405;

e1269:    x275 + 0.22314355131421*b523 <= 2.30258509299405;

e1270:    x275 + 0.105360515657826*b535 <= 2.30258509299405;

e1271:    x275 <= 2.30258509299405;

e1272:    x276 + 2.30258509299405*b440 <= 2.30258509299405;

e1273:    x276 + 1.6094379124341*b452 <= 2.30258509299405;

e1274:    x276 + 1.20397280432594*b464 <= 2.30258509299405;

e1275:    x276 + 0.916290731874155*b476 <= 2.30258509299405;

e1276:    x276 + 0.693147180559946*b488 <= 2.30258509299405;

e1277:    x276 + 0.510825623765991*b500 <= 2.30258509299405;

e1278:    x276 + 0.356674943938733*b512 <= 2.30258509299405;

e1279:    x276 + 0.22314355131421*b524 <= 2.30258509299405;

e1280:    x276 + 0.105360515657826*b536 <= 2.30258509299405;

e1281:    x276 <= 2.30258509299405;

e1282:    x265 >= 0;

e1283:    x265 - 0.693147180559945*b441 >= 0;

e1284:    x265 - 1.09861228866811*b453 >= 0;

e1285:    x265 - 1.38629436111989*b465 >= 0;

e1286:    x265 - 1.6094379124341*b477 >= 0;

e1287:    x265 - 1.79175946922805*b489 >= 0;

e1288:    x265 - 1.94591014905531*b501 >= 0;

e1289:    x265 - 2.07944154167984*b513 >= 0;

e1290:    x265 - 2.19722457733622*b525 >= 0;

e1291:    x265 - 2.30258509299405*b537 >= 0;

e1292:    x266 >= 0;

e1293:    x266 - 0.693147180559945*b442 >= 0;

e1294:    x266 - 1.09861228866811*b454 >= 0;

e1295:    x266 - 1.38629436111989*b466 >= 0;

e1296:    x266 - 1.6094379124341*b478 >= 0;

e1297:    x266 - 1.79175946922805*b490 >= 0;

e1298:    x266 - 1.94591014905531*b502 >= 0;

e1299:    x266 - 2.07944154167984*b514 >= 0;

e1300:    x266 - 2.19722457733622*b526 >= 0;

e1301:    x266 - 2.30258509299405*b538 >= 0;

e1302:    x267 >= 0;

e1303:    x267 - 0.693147180559945*b443 >= 0;

e1304:    x267 - 1.09861228866811*b455 >= 0;

e1305:    x267 - 1.38629436111989*b467 >= 0;

e1306:    x267 - 1.6094379124341*b479 >= 0;

e1307:    x267 - 1.79175946922805*b491 >= 0;

e1308:    x267 - 1.94591014905531*b503 >= 0;

e1309:    x267 - 2.07944154167984*b515 >= 0;

e1310:    x267 - 2.19722457733622*b527 >= 0;

e1311:    x267 - 2.30258509299405*b539 >= 0;

e1312:    x268 >= 0;

e1313:    x268 - 0.693147180559945*b444 >= 0;

e1314:    x268 - 1.09861228866811*b456 >= 0;

e1315:    x268 - 1.38629436111989*b468 >= 0;

e1316:    x268 - 1.6094379124341*b480 >= 0;

e1317:    x268 - 1.79175946922805*b492 >= 0;

e1318:    x268 - 1.94591014905531*b504 >= 0;

e1319:    x268 - 2.07944154167984*b516 >= 0;

e1320:    x268 - 2.19722457733622*b528 >= 0;

e1321:    x268 - 2.30258509299405*b540 >= 0;

e1322:    x269 >= 0;

e1323:    x269 - 0.693147180559945*b445 >= 0;

e1324:    x269 - 1.09861228866811*b457 >= 0;

e1325:    x269 - 1.38629436111989*b469 >= 0;

e1326:    x269 - 1.6094379124341*b481 >= 0;

e1327:    x269 - 1.79175946922805*b493 >= 0;

e1328:    x269 - 1.94591014905531*b505 >= 0;

e1329:    x269 - 2.07944154167984*b517 >= 0;

e1330:    x269 - 2.19722457733622*b529 >= 0;

e1331:    x269 - 2.30258509299405*b541 >= 0;

e1332:    x270 >= 0;

e1333:    x270 - 0.693147180559945*b446 >= 0;

e1334:    x270 - 1.09861228866811*b458 >= 0;

e1335:    x270 - 1.38629436111989*b470 >= 0;

e1336:    x270 - 1.6094379124341*b482 >= 0;

e1337:    x270 - 1.79175946922805*b494 >= 0;

e1338:    x270 - 1.94591014905531*b506 >= 0;

e1339:    x270 - 2.07944154167984*b518 >= 0;

e1340:    x270 - 2.19722457733622*b530 >= 0;

e1341:    x270 - 2.30258509299405*b542 >= 0;

e1342:    x271 >= 0;

e1343:    x271 - 0.693147180559945*b447 >= 0;

e1344:    x271 - 1.09861228866811*b459 >= 0;

e1345:    x271 - 1.38629436111989*b471 >= 0;

e1346:    x271 - 1.6094379124341*b483 >= 0;

e1347:    x271 - 1.79175946922805*b495 >= 0;

e1348:    x271 - 1.94591014905531*b507 >= 0;

e1349:    x271 - 2.07944154167984*b519 >= 0;

e1350:    x271 - 2.19722457733622*b531 >= 0;

e1351:    x271 - 2.30258509299405*b543 >= 0;

e1352:    x272 >= 0;

e1353:    x272 - 0.693147180559945*b448 >= 0;

e1354:    x272 - 1.09861228866811*b460 >= 0;

e1355:    x272 - 1.38629436111989*b472 >= 0;

e1356:    x272 - 1.6094379124341*b484 >= 0;

e1357:    x272 - 1.79175946922805*b496 >= 0;

e1358:    x272 - 1.94591014905531*b508 >= 0;

e1359:    x272 - 2.07944154167984*b520 >= 0;

e1360:    x272 - 2.19722457733622*b532 >= 0;

e1361:    x272 - 2.30258509299405*b544 >= 0;

e1362:    x273 >= 0;

e1363:    x273 - 0.693147180559945*b449 >= 0;

e1364:    x273 - 1.09861228866811*b461 >= 0;

e1365:    x273 - 1.38629436111989*b473 >= 0;

e1366:    x273 - 1.6094379124341*b485 >= 0;

e1367:    x273 - 1.79175946922805*b497 >= 0;

e1368:    x273 - 1.94591014905531*b509 >= 0;

e1369:    x273 - 2.07944154167984*b521 >= 0;

e1370:    x273 - 2.19722457733622*b533 >= 0;

e1371:    x273 - 2.30258509299405*b545 >= 0;

e1372:    x274 >= 0;

e1373:    x274 - 0.693147180559945*b450 >= 0;

e1374:    x274 - 1.09861228866811*b462 >= 0;

e1375:    x274 - 1.38629436111989*b474 >= 0;

e1376:    x274 - 1.6094379124341*b486 >= 0;

e1377:    x274 - 1.79175946922805*b498 >= 0;

e1378:    x274 - 1.94591014905531*b510 >= 0;

e1379:    x274 - 2.07944154167984*b522 >= 0;

e1380:    x274 - 2.19722457733622*b534 >= 0;

e1381:    x274 - 2.30258509299405*b546 >= 0;

e1382:    x275 >= 0;

e1383:    x275 - 0.693147180559945*b451 >= 0;

e1384:    x275 - 1.09861228866811*b463 >= 0;

e1385:    x275 - 1.38629436111989*b475 >= 0;

e1386:    x275 - 1.6094379124341*b487 >= 0;

e1387:    x275 - 1.79175946922805*b499 >= 0;

e1388:    x275 - 1.94591014905531*b511 >= 0;

e1389:    x275 - 2.07944154167984*b523 >= 0;

e1390:    x275 - 2.19722457733622*b535 >= 0;

e1391:    x275 - 2.30258509299405*b547 >= 0;

e1392:    x276 >= 0;

e1393:    x276 - 0.693147180559945*b452 >= 0;

e1394:    x276 - 1.09861228866811*b464 >= 0;

e1395:    x276 - 1.38629436111989*b476 >= 0;

e1396:    x276 - 1.6094379124341*b488 >= 0;

e1397:    x276 - 1.79175946922805*b500 >= 0;

e1398:    x276 - 1.94591014905531*b512 >= 0;

e1399:    x276 - 2.07944154167984*b524 >= 0;

e1400:    x276 - 2.19722457733622*b536 >= 0;

e1401:    x276 - 2.30258509299405*b548 >= 0;

e1402:    b309 + b321 + b333 + b345 + b357 + b369 + b381 + b393 + b405 + b417
        = 1;

e1403:    b310 + b322 + b334 + b346 + b358 + b370 + b382 + b394 + b406 + b418
        = 1;

e1404:    b311 + b323 + b335 + b347 + b359 + b371 + b383 + b395 + b407 + b419
        = 1;

e1405:    b312 + b324 + b336 + b348 + b360 + b372 + b384 + b396 + b408 + b420
        = 1;

e1406:    b313 + b325 + b337 + b349 + b361 + b373 + b385 + b397 + b409 + b421
        = 1;

e1407:    b314 + b326 + b338 + b350 + b362 + b374 + b386 + b398 + b410 + b422
        = 1;

e1408:    b315 + b327 + b339 + b351 + b363 + b375 + b387 + b399 + b411 + b423
        = 1;

e1409:    b316 + b328 + b340 + b352 + b364 + b376 + b388 + b400 + b412 + b424
        = 1;

e1410:    b317 + b329 + b341 + b353 + b365 + b377 + b389 + b401 + b413 + b425
        = 1;

e1411:    b318 + b330 + b342 + b354 + b366 + b378 + b390 + b402 + b414 + b426
        = 1;

e1412:    b319 + b331 + b343 + b355 + b367 + b379 + b391 + b403 + b415 + b427
        = 1;

e1413:    b320 + b332 + b344 + b356 + b368 + b380 + b392 + b404 + b416 + b428
        = 1;

e1414:    b429 + b441 + b453 + b465 + b477 + b489 + b501 + b513 + b525 + b537
        = 1;

e1415:    b430 + b442 + b454 + b466 + b478 + b490 + b502 + b514 + b526 + b538
        = 1;

e1416:    b431 + b443 + b455 + b467 + b479 + b491 + b503 + b515 + b527 + b539
        = 1;

e1417:    b432 + b444 + b456 + b468 + b480 + b492 + b504 + b516 + b528 + b540
        = 1;

e1418:    b433 + b445 + b457 + b469 + b481 + b493 + b505 + b517 + b529 + b541
        = 1;

e1419:    b434 + b446 + b458 + b470 + b482 + b494 + b506 + b518 + b530 + b542
        = 1;

e1420:    b435 + b447 + b459 + b471 + b483 + b495 + b507 + b519 + b531 + b543
        = 1;

e1421:    b436 + b448 + b460 + b472 + b484 + b496 + b508 + b520 + b532 + b544
        = 1;

e1422:    b437 + b449 + b461 + b473 + b485 + b497 + b509 + b521 + b533 + b545
        = 1;

e1423:    b438 + b450 + b462 + b474 + b486 + b498 + b510 + b522 + b534 + b546
        = 1;

e1424:    b439 + b451 + b463 + b475 + b487 + b499 + b511 + b523 + b535 + b547
        = 1;

e1425:    b440 + b452 + b464 + b476 + b488 + b500 + b512 + b524 + b536 + b548
        = 1;

e1426:    x13 - x14 + 1.64044955525189*b549 <= 2.73906184392;

e1427:    x14 - x15 + 1.64044955525189*b550 <= 2.73906184392;

e1428:    x15 - x16 + 1.64044955525189*b551 <= 2.73906184392;

e1429:    x16 - x17 + 1.64044955525189*b552 <= 2.73906184392;

e1430:    x17 - x18 + 1.64044955525189*b553 <= 2.73906184392;

e1431:    x18 - x19 + 1.64044955525189*b554 <= 2.73906184392;

e1432:    x19 - x20 + 1.64044955525189*b555 <= 2.73906184392;

e1433:    x20 - x21 + 1.64044955525189*b556 <= 2.73906184392;

e1434:    x21 - x22 + 1.64044955525189*b557 <= 2.73906184392;

e1435:    x22 - x23 + 1.64044955525189*b558 <= 2.73906184392;

e1436:    x23 - x24 + 1.64044955525189*b559 <= 2.73906184392;

e1437:    x25 - x26 + 2.7848926778388*b549 <= 3.88350496650691;

e1438:    x26 - x27 + 2.7848926778388*b550 <= 3.88350496650691;

e1439:    x27 - x28 + 2.7848926778388*b551 <= 3.88350496650691;

e1440:    x28 - x29 + 2.7848926778388*b552 <= 3.88350496650691;

e1441:    x29 - x30 + 2.7848926778388*b553 <= 3.88350496650691;

e1442:    x30 - x31 + 2.7848926778388*b554 <= 3.88350496650691;

e1443:    x31 - x32 + 2.7848926778388*b555 <= 3.88350496650691;

e1444:    x32 - x33 + 2.7848926778388*b556 <= 3.88350496650691;

e1445:    x33 - x34 + 2.7848926778388*b557 <= 3.88350496650691;

e1446:    x34 - x35 + 2.7848926778388*b558 <= 3.88350496650691;

e1447:    x35 - x36 + 2.7848926778388*b559 <= 3.88350496650691;

e1448:    x37 - x38 + 2.45503721618572*b549 <= 3.55364950485383;

e1449:    x38 - x39 + 2.45503721618572*b550 <= 3.55364950485383;

e1450:    x39 - x40 + 2.45503721618572*b551 <= 3.55364950485383;

e1451:    x40 - x41 + 2.45503721618572*b552 <= 3.55364950485383;

e1452:    x41 - x42 + 2.45503721618572*b553 <= 3.55364950485383;

e1453:    x42 - x43 + 2.45503721618572*b554 <= 3.55364950485383;

e1454:    x43 - x44 + 2.45503721618572*b555 <= 3.55364950485383;

e1455:    x44 - x45 + 2.45503721618572*b556 <= 3.55364950485383;

e1456:    x45 - x46 + 2.45503721618572*b557 <= 3.55364950485383;

e1457:    x46 - x47 + 2.45503721618572*b558 <= 3.55364950485383;

e1458:    x47 - x48 + 2.45503721618572*b559 <= 3.55364950485383;

e1459:    x49 - x50 + 2.38472523684503*b549 <= 3.48333752551314;

e1460:    x50 - x51 + 2.38472523684503*b550 <= 3.48333752551314;

e1461:    x51 - x52 + 2.38472523684503*b551 <= 3.48333752551314;

e1462:    x52 - x53 + 2.38472523684503*b552 <= 3.48333752551314;

e1463:    x53 - x54 + 2.38472523684503*b553 <= 3.48333752551314;

e1464:    x54 - x55 + 2.38472523684503*b554 <= 3.48333752551314;

e1465:    x55 - x56 + 2.38472523684503*b555 <= 3.48333752551314;

e1466:    x56 - x57 + 2.38472523684503*b556 <= 3.48333752551314;

e1467:    x57 - x58 + 2.38472523684503*b557 <= 3.48333752551314;

e1468:    x58 - x59 + 2.38472523684503*b558 <= 3.48333752551314;

e1469:    x59 - x60 + 2.38472523684503*b559 <= 3.48333752551314;

e1470:    x61 - x62 + 2.44046880035743*b549 <= 3.53908108902554;

e1471:    x62 - x63 + 2.44046880035743*b550 <= 3.53908108902554;

e1472:    x63 - x64 + 2.44046880035743*b551 <= 3.53908108902554;

e1473:    x64 - x65 + 2.44046880035743*b552 <= 3.53908108902554;

e1474:    x65 - x66 + 2.44046880035743*b553 <= 3.53908108902554;

e1475:    x66 - x67 + 2.44046880035743*b554 <= 3.53908108902554;

e1476:    x67 - x68 + 2.44046880035743*b555 <= 3.53908108902554;

e1477:    x68 - x69 + 2.44046880035743*b556 <= 3.53908108902554;

e1478:    x69 - x70 + 2.44046880035743*b557 <= 3.53908108902554;

e1479:    x70 - x71 + 2.44046880035743*b558 <= 3.53908108902554;

e1480:    x71 - x72 + 2.44046880035743*b559 <= 3.53908108902554;

e1481:    x73 - x74 + 3.25858237030459*b549 <= 4.3571946589727;

e1482:    x74 - x75 + 3.25858237030459*b550 <= 4.3571946589727;

e1483:    x75 - x76 + 3.25858237030459*b551 <= 4.3571946589727;

e1484:    x76 - x77 + 3.25858237030459*b552 <= 4.3571946589727;

e1485:    x77 - x78 + 3.25858237030459*b553 <= 4.3571946589727;

e1486:    x78 - x79 + 3.25858237030459*b554 <= 4.3571946589727;

e1487:    x79 - x80 + 3.25858237030459*b555 <= 4.3571946589727;

e1488:    x80 - x81 + 3.25858237030459*b556 <= 4.3571946589727;

e1489:    x81 - x82 + 3.25858237030459*b557 <= 4.3571946589727;

e1490:    x82 - x83 + 3.25858237030459*b558 <= 4.3571946589727;

e1491:    x83 - x84 + 3.25858237030459*b559 <= 4.3571946589727;

e1492:    x85 - x86 + 2.35846029688671*b549 <= 3.45707258555482;

e1493:    x86 - x87 + 2.35846029688671*b550 <= 3.45707258555482;

e1494:    x87 - x88 + 2.35846029688671*b551 <= 3.45707258555482;

e1495:    x88 - x89 + 2.35846029688671*b552 <= 3.45707258555482;

e1496:    x89 - x90 + 2.35846029688671*b553 <= 3.45707258555482;

e1497:    x90 - x91 + 2.35846029688671*b554 <= 3.45707258555482;

e1498:    x91 - x92 + 2.35846029688671*b555 <= 3.45707258555482;

e1499:    x92 - x93 + 2.35846029688671*b556 <= 3.45707258555482;

e1500:    x93 - x94 + 2.35846029688671*b557 <= 3.45707258555482;

e1501:    x94 - x95 + 2.35846029688671*b558 <= 3.45707258555482;

e1502:    x95 - x96 + 2.35846029688671*b559 <= 3.45707258555482;

e1503:    x97 - x98 + 2.3960170377866*b549 <= 3.49462932645471;

e1504:    x98 - x99 + 2.3960170377866*b550 <= 3.49462932645471;

e1505:    x99 - x100 + 2.3960170377866*b551 <= 3.49462932645471;

e1506:    x100 - x101 + 2.3960170377866*b552 <= 3.49462932645471;

e1507:    x101 - x102 + 2.3960170377866*b553 <= 3.49462932645471;

e1508:    x102 - x103 + 2.3960170377866*b554 <= 3.49462932645471;

e1509:    x103 - x104 + 2.3960170377866*b555 <= 3.49462932645471;

e1510:    x104 - x105 + 2.3960170377866*b556 <= 3.49462932645471;

e1511:    x105 - x106 + 2.3960170377866*b557 <= 3.49462932645471;

e1512:    x106 - x107 + 2.3960170377866*b558 <= 3.49462932645471;

e1513:    x107 - x108 + 2.3960170377866*b559 <= 3.49462932645471;

e1514:    x109 - x110 + 2.28868218782505*b549 <= 3.38729447649316;

e1515:    x110 - x111 + 2.28868218782505*b550 <= 3.38729447649316;

e1516:    x111 - x112 + 2.28868218782505*b551 <= 3.38729447649316;

e1517:    x112 - x113 + 2.28868218782505*b552 <= 3.38729447649316;

e1518:    x113 - x114 + 2.28868218782505*b553 <= 3.38729447649316;

e1519:    x114 - x115 + 2.28868218782505*b554 <= 3.38729447649316;

e1520:    x115 - x116 + 2.28868218782505*b555 <= 3.38729447649316;

e1521:    x116 - x117 + 2.28868218782505*b556 <= 3.38729447649316;

e1522:    x117 - x118 + 2.28868218782505*b557 <= 3.38729447649316;

e1523:    x118 - x119 + 2.28868218782505*b558 <= 3.38729447649316;

e1524:    x119 - x120 + 2.28868218782505*b559 <= 3.38729447649316;

e1525:    x121 - x122 + 2.32790290097834*b549 <= 3.42651518964645;

e1526:    x122 - x123 + 2.32790290097834*b550 <= 3.42651518964645;

e1527:    x123 - x124 + 2.32790290097834*b551 <= 3.42651518964645;

e1528:    x124 - x125 + 2.32790290097834*b552 <= 3.42651518964645;

e1529:    x125 - x126 + 2.32790290097834*b553 <= 3.42651518964645;

e1530:    x126 - x127 + 2.32790290097834*b554 <= 3.42651518964645;

e1531:    x127 - x128 + 2.32790290097834*b555 <= 3.42651518964645;

e1532:    x128 - x129 + 2.32790290097834*b556 <= 3.42651518964645;

e1533:    x129 - x130 + 2.32790290097834*b557 <= 3.42651518964645;

e1534:    x130 - x131 + 2.32790290097834*b558 <= 3.42651518964645;

e1535:    x131 - x132 + 2.32790290097834*b559 <= 3.42651518964645;

e1536:    x133 - x134 + 2.17630492708372*b549 <= 3.27491721575183;

e1537:    x134 - x135 + 2.17630492708372*b550 <= 3.27491721575183;

e1538:    x135 - x136 + 2.17630492708372*b551 <= 3.27491721575183;

e1539:    x136 - x137 + 2.17630492708372*b552 <= 3.27491721575183;

e1540:    x137 - x138 + 2.17630492708372*b553 <= 3.27491721575183;

e1541:    x138 - x139 + 2.17630492708372*b554 <= 3.27491721575183;

e1542:    x139 - x140 + 2.17630492708372*b555 <= 3.27491721575183;

e1543:    x140 - x141 + 2.17630492708372*b556 <= 3.27491721575183;

e1544:    x141 - x142 + 2.17630492708372*b557 <= 3.27491721575183;

e1545:    x142 - x143 + 2.17630492708372*b558 <= 3.27491721575183;

e1546:    x143 - x144 + 2.17630492708372*b559 <= 3.27491721575183;

e1547:    x145 - x146 + 2.08253202659828*b549 <= 3.18114431526639;

e1548:    x146 - x147 + 2.08253202659828*b550 <= 3.18114431526639;

e1549:    x147 - x148 + 2.08253202659828*b551 <= 3.18114431526639;

e1550:    x148 - x149 + 2.08253202659828*b552 <= 3.18114431526639;

e1551:    x149 - x150 + 2.08253202659828*b553 <= 3.18114431526639;

e1552:    x150 - x151 + 2.08253202659828*b554 <= 3.18114431526639;

e1553:    x151 - x152 + 2.08253202659828*b555 <= 3.18114431526639;

e1554:    x152 - x153 + 2.08253202659828*b556 <= 3.18114431526639;

e1555:    x153 - x154 + 2.08253202659828*b557 <= 3.18114431526639;

e1556:    x154 - x155 + 2.08253202659828*b558 <= 3.18114431526639;

e1557:    x155 - x156 + 2.08253202659828*b559 <= 3.18114431526639;

e1558:    x157 - x158 + 1.88519141402061*b549 <= 2.98380370268872;

e1559:    x158 - x159 + 1.88519141402061*b550 <= 2.98380370268872;

e1560:    x159 - x160 + 1.88519141402061*b551 <= 2.98380370268872;

e1561:    x160 - x161 + 1.88519141402061*b552 <= 2.98380370268872;

e1562:    x161 - x162 + 1.88519141402061*b553 <= 2.98380370268872;

e1563:    x162 - x163 + 1.88519141402061*b554 <= 2.98380370268872;

e1564:    x163 - x164 + 1.88519141402061*b555 <= 2.98380370268872;

e1565:    x164 - x165 + 1.88519141402061*b556 <= 2.98380370268872;

e1566:    x165 - x166 + 1.88519141402061*b557 <= 2.98380370268872;

e1567:    x166 - x167 + 1.88519141402061*b558 <= 2.98380370268872;

e1568:    x167 - x168 + 1.88519141402061*b559 <= 2.98380370268872;

e1569:    x169 - x170 + 2.45174823131027*b549 <= 3.55036051997838;

e1570:    x170 - x171 + 2.45174823131027*b550 <= 3.55036051997838;

e1571:    x171 - x172 + 2.45174823131027*b551 <= 3.55036051997838;

e1572:    x172 - x173 + 2.45174823131027*b552 <= 3.55036051997838;

e1573:    x173 - x174 + 2.45174823131027*b553 <= 3.55036051997838;

e1574:    x174 - x175 + 2.45174823131027*b554 <= 3.55036051997838;

e1575:    x175 - x176 + 2.45174823131027*b555 <= 3.55036051997838;

e1576:    x176 - x177 + 2.45174823131027*b556 <= 3.55036051997838;

e1577:    x177 - x178 + 2.45174823131027*b557 <= 3.55036051997838;

e1578:    x178 - x179 + 2.45174823131027*b558 <= 3.55036051997838;

e1579:    x179 - x180 + 2.45174823131027*b559 <= 3.55036051997838;

e1580:    x181 - x182 + 2.83303050362969*b549 <= 3.9316427922978;

e1581:    x182 - x183 + 2.83303050362969*b550 <= 3.9316427922978;

e1582:    x183 - x184 + 2.83303050362969*b551 <= 3.9316427922978;

e1583:    x184 - x185 + 2.83303050362969*b552 <= 3.9316427922978;

e1584:    x185 - x186 + 2.83303050362969*b553 <= 3.9316427922978;

e1585:    x186 - x187 + 2.83303050362969*b554 <= 3.9316427922978;

e1586:    x187 - x188 + 2.83303050362969*b555 <= 3.9316427922978;

e1587:    x188 - x189 + 2.83303050362969*b556 <= 3.9316427922978;

e1588:    x189 - x190 + 2.83303050362969*b557 <= 3.9316427922978;

e1589:    x190 - x191 + 2.83303050362969*b558 <= 3.9316427922978;

e1590:    x191 - x192 + 2.83303050362969*b559 <= 3.9316427922978;

e1591:    x193 - x194 + 1.83716337325342*b549 <= 2.93577566192153;

e1592:    x194 - x195 + 1.83716337325342*b550 <= 2.93577566192153;

e1593:    x195 - x196 + 1.83716337325342*b551 <= 2.93577566192153;

e1594:    x196 - x197 + 1.83716337325342*b552 <= 2.93577566192153;

e1595:    x197 - x198 + 1.83716337325342*b553 <= 2.93577566192153;

e1596:    x198 - x199 + 1.83716337325342*b554 <= 2.93577566192153;

e1597:    x199 - x200 + 1.83716337325342*b555 <= 2.93577566192153;

e1598:    x200 - x201 + 1.83716337325342*b556 <= 2.93577566192153;

e1599:    x201 - x202 + 1.83716337325342*b557 <= 2.93577566192153;

e1600:    x202 - x203 + 1.83716337325342*b558 <= 2.93577566192153;

e1601:    x203 - x204 + 1.83716337325342*b559 <= 2.93577566192153;

e1602:    x205 - x206 + 1.39146570952238*b549 <= 2.49007799819049;

e1603:    x206 - x207 + 1.39146570952238*b550 <= 2.49007799819049;

e1604:    x207 - x208 + 1.39146570952238*b551 <= 2.49007799819049;

e1605:    x208 - x209 + 1.39146570952238*b552 <= 2.49007799819049;

e1606:    x209 - x210 + 1.39146570952238*b553 <= 2.49007799819049;

e1607:    x210 - x211 + 1.39146570952238*b554 <= 2.49007799819049;

e1608:    x211 - x212 + 1.39146570952238*b555 <= 2.49007799819049;

e1609:    x212 - x213 + 1.39146570952238*b556 <= 2.49007799819049;

e1610:    x213 - x214 + 1.39146570952238*b557 <= 2.49007799819049;

e1611:    x214 - x215 + 1.39146570952238*b558 <= 2.49007799819049;

e1612:    x215 - x216 + 1.39146570952238*b559 <= 2.49007799819049;

e1613:    x217 - x218 + 2.3359350726756*b549 <= 3.43454736134371;

e1614:    x218 - x219 + 2.3359350726756*b550 <= 3.43454736134371;

e1615:    x219 - x220 + 2.3359350726756*b551 <= 3.43454736134371;

e1616:    x220 - x221 + 2.3359350726756*b552 <= 3.43454736134371;

e1617:    x221 - x222 + 2.3359350726756*b553 <= 3.43454736134371;

e1618:    x222 - x223 + 2.3359350726756*b554 <= 3.43454736134371;

e1619:    x223 - x224 + 2.3359350726756*b555 <= 3.43454736134371;

e1620:    x224 - x225 + 2.3359350726756*b556 <= 3.43454736134371;

e1621:    x225 - x226 + 2.3359350726756*b557 <= 3.43454736134371;

e1622:    x226 - x227 + 2.3359350726756*b558 <= 3.43454736134371;

e1623:    x227 - x228 + 2.3359350726756*b559 <= 3.43454736134371;

e1624:    x229 - x230 + 1.66080639761833*b549 <= 2.75941868628644;

e1625:    x230 - x231 + 1.66080639761833*b550 <= 2.75941868628644;

e1626:    x231 - x232 + 1.66080639761833*b551 <= 2.75941868628644;

e1627:    x232 - x233 + 1.66080639761833*b552 <= 2.75941868628644;

e1628:    x233 - x234 + 1.66080639761833*b553 <= 2.75941868628644;

e1629:    x234 - x235 + 1.66080639761833*b554 <= 2.75941868628644;

e1630:    x235 - x236 + 1.66080639761833*b555 <= 2.75941868628644;

e1631:    x236 - x237 + 1.66080639761833*b556 <= 2.75941868628644;

e1632:    x237 - x238 + 1.66080639761833*b557 <= 2.75941868628644;

e1633:    x238 - x239 + 1.66080639761833*b558 <= 2.75941868628644;

e1634:    x239 - x240 + 1.66080639761833*b559 <= 2.75941868628644;

e1635:    x241 - x242 + 3.57341020430782*b549 <= 4.67202249297593;

e1636:    x242 - x243 + 3.57341020430782*b550 <= 4.67202249297593;

e1637:    x243 - x244 + 3.57341020430782*b551 <= 4.67202249297593;

e1638:    x244 - x245 + 3.57341020430782*b552 <= 4.67202249297593;

e1639:    x245 - x246 + 3.57341020430782*b553 <= 4.67202249297593;

e1640:    x246 - x247 + 3.57341020430782*b554 <= 4.67202249297593;

e1641:    x247 - x248 + 3.57341020430782*b555 <= 4.67202249297593;

e1642:    x248 - x249 + 3.57341020430782*b556 <= 4.67202249297593;

e1643:    x249 - x250 + 3.57341020430782*b557 <= 4.67202249297593;

e1644:    x250 - x251 + 3.57341020430782*b558 <= 4.67202249297593;

e1645:    x251 - x252 + 3.57341020430782*b559 <= 4.67202249297593;

e1646:    x13 - x14 - 1.64044955525189*b549 >= -2.73906184392;

e1647:    x14 - x15 - 1.64044955525189*b550 >= -2.73906184392;

e1648:    x15 - x16 - 1.64044955525189*b551 >= -2.73906184392;

e1649:    x16 - x17 - 1.64044955525189*b552 >= -2.73906184392;

e1650:    x17 - x18 - 1.64044955525189*b553 >= -2.73906184392;

e1651:    x18 - x19 - 1.64044955525189*b554 >= -2.73906184392;

e1652:    x19 - x20 - 1.64044955525189*b555 >= -2.73906184392;

e1653:    x20 - x21 - 1.64044955525189*b556 >= -2.73906184392;

e1654:    x21 - x22 - 1.64044955525189*b557 >= -2.73906184392;

e1655:    x22 - x23 - 1.64044955525189*b558 >= -2.73906184392;

e1656:    x23 - x24 - 1.64044955525189*b559 >= -2.73906184392;

e1657:    x25 - x26 - 2.7848926778388*b549 >= -3.88350496650691;

e1658:    x26 - x27 - 2.7848926778388*b550 >= -3.88350496650691;

e1659:    x27 - x28 - 2.7848926778388*b551 >= -3.88350496650691;

e1660:    x28 - x29 - 2.7848926778388*b552 >= -3.88350496650691;

e1661:    x29 - x30 - 2.7848926778388*b553 >= -3.88350496650691;

e1662:    x30 - x31 - 2.7848926778388*b554 >= -3.88350496650691;

e1663:    x31 - x32 - 2.7848926778388*b555 >= -3.88350496650691;

e1664:    x32 - x33 - 2.7848926778388*b556 >= -3.88350496650691;

e1665:    x33 - x34 - 2.7848926778388*b557 >= -3.88350496650691;

e1666:    x34 - x35 - 2.7848926778388*b558 >= -3.88350496650691;

e1667:    x35 - x36 - 2.7848926778388*b559 >= -3.88350496650691;

e1668:    x37 - x38 - 2.45503721618572*b549 >= -3.55364950485383;

e1669:    x38 - x39 - 2.45503721618572*b550 >= -3.55364950485383;

e1670:    x39 - x40 - 2.45503721618572*b551 >= -3.55364950485383;

e1671:    x40 - x41 - 2.45503721618572*b552 >= -3.55364950485383;

e1672:    x41 - x42 - 2.45503721618572*b553 >= -3.55364950485383;

e1673:    x42 - x43 - 2.45503721618572*b554 >= -3.55364950485383;

e1674:    x43 - x44 - 2.45503721618572*b555 >= -3.55364950485383;

e1675:    x44 - x45 - 2.45503721618572*b556 >= -3.55364950485383;

e1676:    x45 - x46 - 2.45503721618572*b557 >= -3.55364950485383;

e1677:    x46 - x47 - 2.45503721618572*b558 >= -3.55364950485383;

e1678:    x47 - x48 - 2.45503721618572*b559 >= -3.55364950485383;

e1679:    x49 - x50 - 2.38472523684503*b549 >= -3.48333752551314;

e1680:    x50 - x51 - 2.38472523684503*b550 >= -3.48333752551314;

e1681:    x51 - x52 - 2.38472523684503*b551 >= -3.48333752551314;

e1682:    x52 - x53 - 2.38472523684503*b552 >= -3.48333752551314;

e1683:    x53 - x54 - 2.38472523684503*b553 >= -3.48333752551314;

e1684:    x54 - x55 - 2.38472523684503*b554 >= -3.48333752551314;

e1685:    x55 - x56 - 2.38472523684503*b555 >= -3.48333752551314;

e1686:    x56 - x57 - 2.38472523684503*b556 >= -3.48333752551314;

e1687:    x57 - x58 - 2.38472523684503*b557 >= -3.48333752551314;

e1688:    x58 - x59 - 2.38472523684503*b558 >= -3.48333752551314;

e1689:    x59 - x60 - 2.38472523684503*b559 >= -3.48333752551314;

e1690:    x61 - x62 - 2.44046880035743*b549 >= -3.53908108902554;

e1691:    x62 - x63 - 2.44046880035743*b550 >= -3.53908108902554;

e1692:    x63 - x64 - 2.44046880035743*b551 >= -3.53908108902554;

e1693:    x64 - x65 - 2.44046880035743*b552 >= -3.53908108902554;

e1694:    x65 - x66 - 2.44046880035743*b553 >= -3.53908108902554;

e1695:    x66 - x67 - 2.44046880035743*b554 >= -3.53908108902554;

e1696:    x67 - x68 - 2.44046880035743*b555 >= -3.53908108902554;

e1697:    x68 - x69 - 2.44046880035743*b556 >= -3.53908108902554;

e1698:    x69 - x70 - 2.44046880035743*b557 >= -3.53908108902554;

e1699:    x70 - x71 - 2.44046880035743*b558 >= -3.53908108902554;

e1700:    x71 - x72 - 2.44046880035743*b559 >= -3.53908108902554;

e1701:    x73 - x74 - 3.25858237030459*b549 >= -4.3571946589727;

e1702:    x74 - x75 - 3.25858237030459*b550 >= -4.3571946589727;

e1703:    x75 - x76 - 3.25858237030459*b551 >= -4.3571946589727;

e1704:    x76 - x77 - 3.25858237030459*b552 >= -4.3571946589727;

e1705:    x77 - x78 - 3.25858237030459*b553 >= -4.3571946589727;

e1706:    x78 - x79 - 3.25858237030459*b554 >= -4.3571946589727;

e1707:    x79 - x80 - 3.25858237030459*b555 >= -4.3571946589727;

e1708:    x80 - x81 - 3.25858237030459*b556 >= -4.3571946589727;

e1709:    x81 - x82 - 3.25858237030459*b557 >= -4.3571946589727;

e1710:    x82 - x83 - 3.25858237030459*b558 >= -4.3571946589727;

e1711:    x83 - x84 - 3.25858237030459*b559 >= -4.3571946589727;

e1712:    x85 - x86 - 2.35846029688671*b549 >= -3.45707258555482;

e1713:    x86 - x87 - 2.35846029688671*b550 >= -3.45707258555482;

e1714:    x87 - x88 - 2.35846029688671*b551 >= -3.45707258555482;

e1715:    x88 - x89 - 2.35846029688671*b552 >= -3.45707258555482;

e1716:    x89 - x90 - 2.35846029688671*b553 >= -3.45707258555482;

e1717:    x90 - x91 - 2.35846029688671*b554 >= -3.45707258555482;

e1718:    x91 - x92 - 2.35846029688671*b555 >= -3.45707258555482;

e1719:    x92 - x93 - 2.35846029688671*b556 >= -3.45707258555482;

e1720:    x93 - x94 - 2.35846029688671*b557 >= -3.45707258555482;

e1721:    x94 - x95 - 2.35846029688671*b558 >= -3.45707258555482;

e1722:    x95 - x96 - 2.35846029688671*b559 >= -3.45707258555482;

e1723:    x97 - x98 - 2.3960170377866*b549 >= -3.49462932645471;

e1724:    x98 - x99 - 2.3960170377866*b550 >= -3.49462932645471;

e1725:    x99 - x100 - 2.3960170377866*b551 >= -3.49462932645471;

e1726:    x100 - x101 - 2.3960170377866*b552 >= -3.49462932645471;

e1727:    x101 - x102 - 2.3960170377866*b553 >= -3.49462932645471;

e1728:    x102 - x103 - 2.3960170377866*b554 >= -3.49462932645471;

e1729:    x103 - x104 - 2.3960170377866*b555 >= -3.49462932645471;

e1730:    x104 - x105 - 2.3960170377866*b556 >= -3.49462932645471;

e1731:    x105 - x106 - 2.3960170377866*b557 >= -3.49462932645471;

e1732:    x106 - x107 - 2.3960170377866*b558 >= -3.49462932645471;

e1733:    x107 - x108 - 2.3960170377866*b559 >= -3.49462932645471;

e1734:    x109 - x110 - 2.28868218782505*b549 >= -3.38729447649316;

e1735:    x110 - x111 - 2.28868218782505*b550 >= -3.38729447649316;

e1736:    x111 - x112 - 2.28868218782505*b551 >= -3.38729447649316;

e1737:    x112 - x113 - 2.28868218782505*b552 >= -3.38729447649316;

e1738:    x113 - x114 - 2.28868218782505*b553 >= -3.38729447649316;

e1739:    x114 - x115 - 2.28868218782505*b554 >= -3.38729447649316;

e1740:    x115 - x116 - 2.28868218782505*b555 >= -3.38729447649316;

e1741:    x116 - x117 - 2.28868218782505*b556 >= -3.38729447649316;

e1742:    x117 - x118 - 2.28868218782505*b557 >= -3.38729447649316;

e1743:    x118 - x119 - 2.28868218782505*b558 >= -3.38729447649316;

e1744:    x119 - x120 - 2.28868218782505*b559 >= -3.38729447649316;

e1745:    x121 - x122 - 2.32790290097834*b549 >= -3.42651518964645;

e1746:    x122 - x123 - 2.32790290097834*b550 >= -3.42651518964645;

e1747:    x123 - x124 - 2.32790290097834*b551 >= -3.42651518964645;

e1748:    x124 - x125 - 2.32790290097834*b552 >= -3.42651518964645;

e1749:    x125 - x126 - 2.32790290097834*b553 >= -3.42651518964645;

e1750:    x126 - x127 - 2.32790290097834*b554 >= -3.42651518964645;

e1751:    x127 - x128 - 2.32790290097834*b555 >= -3.42651518964645;

e1752:    x128 - x129 - 2.32790290097834*b556 >= -3.42651518964645;

e1753:    x129 - x130 - 2.32790290097834*b557 >= -3.42651518964645;

e1754:    x130 - x131 - 2.32790290097834*b558 >= -3.42651518964645;

e1755:    x131 - x132 - 2.32790290097834*b559 >= -3.42651518964645;

e1756:    x133 - x134 - 2.17630492708372*b549 >= -3.27491721575183;

e1757:    x134 - x135 - 2.17630492708372*b550 >= -3.27491721575183;

e1758:    x135 - x136 - 2.17630492708372*b551 >= -3.27491721575183;

e1759:    x136 - x137 - 2.17630492708372*b552 >= -3.27491721575183;

e1760:    x137 - x138 - 2.17630492708372*b553 >= -3.27491721575183;

e1761:    x138 - x139 - 2.17630492708372*b554 >= -3.27491721575183;

e1762:    x139 - x140 - 2.17630492708372*b555 >= -3.27491721575183;

e1763:    x140 - x141 - 2.17630492708372*b556 >= -3.27491721575183;

e1764:    x141 - x142 - 2.17630492708372*b557 >= -3.27491721575183;

e1765:    x142 - x143 - 2.17630492708372*b558 >= -3.27491721575183;

e1766:    x143 - x144 - 2.17630492708372*b559 >= -3.27491721575183;

e1767:    x145 - x146 - 2.08253202659828*b549 >= -3.18114431526639;

e1768:    x146 - x147 - 2.08253202659828*b550 >= -3.18114431526639;

e1769:    x147 - x148 - 2.08253202659828*b551 >= -3.18114431526639;

e1770:    x148 - x149 - 2.08253202659828*b552 >= -3.18114431526639;

e1771:    x149 - x150 - 2.08253202659828*b553 >= -3.18114431526639;

e1772:    x150 - x151 - 2.08253202659828*b554 >= -3.18114431526639;

e1773:    x151 - x152 - 2.08253202659828*b555 >= -3.18114431526639;

e1774:    x152 - x153 - 2.08253202659828*b556 >= -3.18114431526639;

e1775:    x153 - x154 - 2.08253202659828*b557 >= -3.18114431526639;

e1776:    x154 - x155 - 2.08253202659828*b558 >= -3.18114431526639;

e1777:    x155 - x156 - 2.08253202659828*b559 >= -3.18114431526639;

e1778:    x157 - x158 - 1.88519141402061*b549 >= -2.98380370268872;

e1779:    x158 - x159 - 1.88519141402061*b550 >= -2.98380370268872;

e1780:    x159 - x160 - 1.88519141402061*b551 >= -2.98380370268872;

e1781:    x160 - x161 - 1.88519141402061*b552 >= -2.98380370268872;

e1782:    x161 - x162 - 1.88519141402061*b553 >= -2.98380370268872;

e1783:    x162 - x163 - 1.88519141402061*b554 >= -2.98380370268872;

e1784:    x163 - x164 - 1.88519141402061*b555 >= -2.98380370268872;

e1785:    x164 - x165 - 1.88519141402061*b556 >= -2.98380370268872;

e1786:    x165 - x166 - 1.88519141402061*b557 >= -2.98380370268872;

e1787:    x166 - x167 - 1.88519141402061*b558 >= -2.98380370268872;

e1788:    x167 - x168 - 1.88519141402061*b559 >= -2.98380370268872;

e1789:    x169 - x170 - 2.45174823131027*b549 >= -3.55036051997838;

e1790:    x170 - x171 - 2.45174823131027*b550 >= -3.55036051997838;

e1791:    x171 - x172 - 2.45174823131027*b551 >= -3.55036051997838;

e1792:    x172 - x173 - 2.45174823131027*b552 >= -3.55036051997838;

e1793:    x173 - x174 - 2.45174823131027*b553 >= -3.55036051997838;

e1794:    x174 - x175 - 2.45174823131027*b554 >= -3.55036051997838;

e1795:    x175 - x176 - 2.45174823131027*b555 >= -3.55036051997838;

e1796:    x176 - x177 - 2.45174823131027*b556 >= -3.55036051997838;

e1797:    x177 - x178 - 2.45174823131027*b557 >= -3.55036051997838;

e1798:    x178 - x179 - 2.45174823131027*b558 >= -3.55036051997838;

e1799:    x179 - x180 - 2.45174823131027*b559 >= -3.55036051997838;

e1800:    x181 - x182 - 2.83303050362969*b549 >= -3.9316427922978;

e1801:    x182 - x183 - 2.83303050362969*b550 >= -3.9316427922978;

e1802:    x183 - x184 - 2.83303050362969*b551 >= -3.9316427922978;

e1803:    x184 - x185 - 2.83303050362969*b552 >= -3.9316427922978;

e1804:    x185 - x186 - 2.83303050362969*b553 >= -3.9316427922978;

e1805:    x186 - x187 - 2.83303050362969*b554 >= -3.9316427922978;

e1806:    x187 - x188 - 2.83303050362969*b555 >= -3.9316427922978;

e1807:    x188 - x189 - 2.83303050362969*b556 >= -3.9316427922978;

e1808:    x189 - x190 - 2.83303050362969*b557 >= -3.9316427922978;

e1809:    x190 - x191 - 2.83303050362969*b558 >= -3.9316427922978;

e1810:    x191 - x192 - 2.83303050362969*b559 >= -3.9316427922978;

e1811:    x193 - x194 - 1.83716337325342*b549 >= -2.93577566192153;

e1812:    x194 - x195 - 1.83716337325342*b550 >= -2.93577566192153;

e1813:    x195 - x196 - 1.83716337325342*b551 >= -2.93577566192153;

e1814:    x196 - x197 - 1.83716337325342*b552 >= -2.93577566192153;

e1815:    x197 - x198 - 1.83716337325342*b553 >= -2.93577566192153;

e1816:    x198 - x199 - 1.83716337325342*b554 >= -2.93577566192153;

e1817:    x199 - x200 - 1.83716337325342*b555 >= -2.93577566192153;

e1818:    x200 - x201 - 1.83716337325342*b556 >= -2.93577566192153;

e1819:    x201 - x202 - 1.83716337325342*b557 >= -2.93577566192153;

e1820:    x202 - x203 - 1.83716337325342*b558 >= -2.93577566192153;

e1821:    x203 - x204 - 1.83716337325342*b559 >= -2.93577566192153;

e1822:    x205 - x206 - 1.39146570952238*b549 >= -2.49007799819049;

e1823:    x206 - x207 - 1.39146570952238*b550 >= -2.49007799819049;

e1824:    x207 - x208 - 1.39146570952238*b551 >= -2.49007799819049;

e1825:    x208 - x209 - 1.39146570952238*b552 >= -2.49007799819049;

e1826:    x209 - x210 - 1.39146570952238*b553 >= -2.49007799819049;

e1827:    x210 - x211 - 1.39146570952238*b554 >= -2.49007799819049;

e1828:    x211 - x212 - 1.39146570952238*b555 >= -2.49007799819049;

e1829:    x212 - x213 - 1.39146570952238*b556 >= -2.49007799819049;

e1830:    x213 - x214 - 1.39146570952238*b557 >= -2.49007799819049;

e1831:    x214 - x215 - 1.39146570952238*b558 >= -2.49007799819049;

e1832:    x215 - x216 - 1.39146570952238*b559 >= -2.49007799819049;

e1833:    x217 - x218 - 2.3359350726756*b549 >= -3.43454736134371;

e1834:    x218 - x219 - 2.3359350726756*b550 >= -3.43454736134371;

e1835:    x219 - x220 - 2.3359350726756*b551 >= -3.43454736134371;

e1836:    x220 - x221 - 2.3359350726756*b552 >= -3.43454736134371;

e1837:    x221 - x222 - 2.3359350726756*b553 >= -3.43454736134371;

e1838:    x222 - x223 - 2.3359350726756*b554 >= -3.43454736134371;

e1839:    x223 - x224 - 2.3359350726756*b555 >= -3.43454736134371;

e1840:    x224 - x225 - 2.3359350726756*b556 >= -3.43454736134371;

e1841:    x225 - x226 - 2.3359350726756*b557 >= -3.43454736134371;

e1842:    x226 - x227 - 2.3359350726756*b558 >= -3.43454736134371;

e1843:    x227 - x228 - 2.3359350726756*b559 >= -3.43454736134371;

e1844:    x229 - x230 - 1.66080639761833*b549 >= -2.75941868628644;

e1845:    x230 - x231 - 1.66080639761833*b550 >= -2.75941868628644;

e1846:    x231 - x232 - 1.66080639761833*b551 >= -2.75941868628644;

e1847:    x232 - x233 - 1.66080639761833*b552 >= -2.75941868628644;

e1848:    x233 - x234 - 1.66080639761833*b553 >= -2.75941868628644;

e1849:    x234 - x235 - 1.66080639761833*b554 >= -2.75941868628644;

e1850:    x235 - x236 - 1.66080639761833*b555 >= -2.75941868628644;

e1851:    x236 - x237 - 1.66080639761833*b556 >= -2.75941868628644;

e1852:    x237 - x238 - 1.66080639761833*b557 >= -2.75941868628644;

e1853:    x238 - x239 - 1.66080639761833*b558 >= -2.75941868628644;

e1854:    x239 - x240 - 1.66080639761833*b559 >= -2.75941868628644;

e1855:    x241 - x242 - 3.57341020430782*b549 >= -4.67202249297593;

e1856:    x242 - x243 - 3.57341020430782*b550 >= -4.67202249297593;

e1857:    x243 - x244 - 3.57341020430782*b551 >= -4.67202249297593;

e1858:    x244 - x245 - 3.57341020430782*b552 >= -4.67202249297593;

e1859:    x245 - x246 - 3.57341020430782*b553 >= -4.67202249297593;

e1860:    x246 - x247 - 3.57341020430782*b554 >= -4.67202249297593;

e1861:    x247 - x248 - 3.57341020430782*b555 >= -4.67202249297593;

e1862:    x248 - x249 - 3.57341020430782*b556 >= -4.67202249297593;

e1863:    x249 - x250 - 3.57341020430782*b557 >= -4.67202249297593;

e1864:    x250 - x251 - 3.57341020430782*b558 >= -4.67202249297593;

e1865:    x251 - x252 - 3.57341020430782*b559 >= -4.67202249297593;

e1867:    x278 - 18.8261458520605*b549 <= -9.21034037197618;

e1868:    x279 - 18.8261458520605*b550 <= -9.21034037197618;

e1869:    x280 - 18.8261458520605*b551 <= -9.21034037197618;

e1870:    x281 - 18.8261458520605*b552 <= -9.21034037197618;

e1871:    x282 - 18.8261458520605*b553 <= -9.21034037197618;

e1872:    x283 - 18.8261458520605*b554 <= -9.21034037197618;

e1873:    x284 - 18.8261458520605*b555 <= -9.21034037197618;

e1874:    x285 - 18.8261458520605*b556 <= -9.21034037197618;

e1875:    x286 - 18.8261458520605*b557 <= -9.21034037197618;

e1876:    x287 - 18.8261458520605*b558 <= -9.21034037197618;

e1877:    x288 - 18.8261458520605*b559 <= -9.21034037197618;

e1878:    x278 + 13.8155105579643*b549 >= -9.21034037197618;

e1879:    x279 + 13.8155105579643*b550 >= -9.21034037197618;

e1880:    x280 + 13.8155105579643*b551 >= -9.21034037197618;

e1881:    x281 + 13.8155105579643*b552 >= -9.21034037197618;

e1882:    x282 + 13.8155105579643*b553 >= -9.21034037197618;

e1883:    x283 + 13.8155105579643*b554 >= -9.21034037197618;

e1884:    x284 + 13.8155105579643*b555 >= -9.21034037197618;

e1885:    x285 + 13.8155105579643*b556 >= -9.21034037197618;

e1886:    x286 + 13.8155105579643*b557 >= -9.21034037197618;

e1887:    x287 + 13.8155105579643*b558 >= -9.21034037197618;

e1888:    x288 + 13.8155105579643*b559 >= -9.21034037197618;

e1889:    x13 - x14 - 2.73906184392*b549 <= 0;

e1890:    x14 - x15 - 2.73906184392*b550 <= 0;

e1891:    x15 - x16 - 2.73906184392*b551 <= 0;

e1892:    x16 - x17 - 2.73906184392*b552 <= 0;

e1893:    x17 - x18 - 2.73906184392*b553 <= 0;

e1894:    x18 - x19 - 2.73906184392*b554 <= 0;

e1895:    x19 - x20 - 2.73906184392*b555 <= 0;

e1896:    x20 - x21 - 2.73906184392*b556 <= 0;

e1897:    x21 - x22 - 2.73906184392*b557 <= 0;

e1898:    x22 - x23 - 2.73906184392*b558 <= 0;

e1899:    x23 - x24 - 2.73906184392*b559 <= 0;

e1900:    x25 - x26 - 3.88350496650691*b549 <= 0;

e1901:    x26 - x27 - 3.88350496650691*b550 <= 0;

e1902:    x27 - x28 - 3.88350496650691*b551 <= 0;

e1903:    x28 - x29 - 3.88350496650691*b552 <= 0;

e1904:    x29 - x30 - 3.88350496650691*b553 <= 0;

e1905:    x30 - x31 - 3.88350496650691*b554 <= 0;

e1906:    x31 - x32 - 3.88350496650691*b555 <= 0;

e1907:    x32 - x33 - 3.88350496650691*b556 <= 0;

e1908:    x33 - x34 - 3.88350496650691*b557 <= 0;

e1909:    x34 - x35 - 3.88350496650691*b558 <= 0;

e1910:    x35 - x36 - 3.88350496650691*b559 <= 0;

e1911:    x37 - x38 - 3.55364950485383*b549 <= 0;

e1912:    x38 - x39 - 3.55364950485383*b550 <= 0;

e1913:    x39 - x40 - 3.55364950485383*b551 <= 0;

e1914:    x40 - x41 - 3.55364950485383*b552 <= 0;

e1915:    x41 - x42 - 3.55364950485383*b553 <= 0;

e1916:    x42 - x43 - 3.55364950485383*b554 <= 0;

e1917:    x43 - x44 - 3.55364950485383*b555 <= 0;

e1918:    x44 - x45 - 3.55364950485383*b556 <= 0;

e1919:    x45 - x46 - 3.55364950485383*b557 <= 0;

e1920:    x46 - x47 - 3.55364950485383*b558 <= 0;

e1921:    x47 - x48 - 3.55364950485383*b559 <= 0;

e1922:    x49 - x50 - 3.48333752551314*b549 <= 0;

e1923:    x50 - x51 - 3.48333752551314*b550 <= 0;

e1924:    x51 - x52 - 3.48333752551314*b551 <= 0;

e1925:    x52 - x53 - 3.48333752551314*b552 <= 0;

e1926:    x53 - x54 - 3.48333752551314*b553 <= 0;

e1927:    x54 - x55 - 3.48333752551314*b554 <= 0;

e1928:    x55 - x56 - 3.48333752551314*b555 <= 0;

e1929:    x56 - x57 - 3.48333752551314*b556 <= 0;

e1930:    x57 - x58 - 3.48333752551314*b557 <= 0;

e1931:    x58 - x59 - 3.48333752551314*b558 <= 0;

e1932:    x59 - x60 - 3.48333752551314*b559 <= 0;

e1933:    x61 - x62 - 3.53908108902554*b549 <= 0;

e1934:    x62 - x63 - 3.53908108902554*b550 <= 0;

e1935:    x63 - x64 - 3.53908108902554*b551 <= 0;

e1936:    x64 - x65 - 3.53908108902554*b552 <= 0;

e1937:    x65 - x66 - 3.53908108902554*b553 <= 0;

e1938:    x66 - x67 - 3.53908108902554*b554 <= 0;

e1939:    x67 - x68 - 3.53908108902554*b555 <= 0;

e1940:    x68 - x69 - 3.53908108902554*b556 <= 0;

e1941:    x69 - x70 - 3.53908108902554*b557 <= 0;

e1942:    x70 - x71 - 3.53908108902554*b558 <= 0;

e1943:    x71 - x72 - 3.53908108902554*b559 <= 0;

e1944:    x73 - x74 - 4.3571946589727*b549 <= 0;

e1945:    x74 - x75 - 4.3571946589727*b550 <= 0;

e1946:    x75 - x76 - 4.3571946589727*b551 <= 0;

e1947:    x76 - x77 - 4.3571946589727*b552 <= 0;

e1948:    x77 - x78 - 4.3571946589727*b553 <= 0;

e1949:    x78 - x79 - 4.3571946589727*b554 <= 0;

e1950:    x79 - x80 - 4.3571946589727*b555 <= 0;

e1951:    x80 - x81 - 4.3571946589727*b556 <= 0;

e1952:    x81 - x82 - 4.3571946589727*b557 <= 0;

e1953:    x82 - x83 - 4.3571946589727*b558 <= 0;

e1954:    x83 - x84 - 4.3571946589727*b559 <= 0;

e1955:    x85 - x86 - 3.45707258555482*b549 <= 0;

e1956:    x86 - x87 - 3.45707258555482*b550 <= 0;

e1957:    x87 - x88 - 3.45707258555482*b551 <= 0;

e1958:    x88 - x89 - 3.45707258555482*b552 <= 0;

e1959:    x89 - x90 - 3.45707258555482*b553 <= 0;

e1960:    x90 - x91 - 3.45707258555482*b554 <= 0;

e1961:    x91 - x92 - 3.45707258555482*b555 <= 0;

e1962:    x92 - x93 - 3.45707258555482*b556 <= 0;

e1963:    x93 - x94 - 3.45707258555482*b557 <= 0;

e1964:    x94 - x95 - 3.45707258555482*b558 <= 0;

e1965:    x95 - x96 - 3.45707258555482*b559 <= 0;

e1966:    x97 - x98 - 3.49462932645471*b549 <= 0;

e1967:    x98 - x99 - 3.49462932645471*b550 <= 0;

e1968:    x99 - x100 - 3.49462932645471*b551 <= 0;

e1969:    x100 - x101 - 3.49462932645471*b552 <= 0;

e1970:    x101 - x102 - 3.49462932645471*b553 <= 0;

e1971:    x102 - x103 - 3.49462932645471*b554 <= 0;

e1972:    x103 - x104 - 3.49462932645471*b555 <= 0;

e1973:    x104 - x105 - 3.49462932645471*b556 <= 0;

e1974:    x105 - x106 - 3.49462932645471*b557 <= 0;

e1975:    x106 - x107 - 3.49462932645471*b558 <= 0;

e1976:    x107 - x108 - 3.49462932645471*b559 <= 0;

e1977:    x109 - x110 - 3.38729447649316*b549 <= 0;

e1978:    x110 - x111 - 3.38729447649316*b550 <= 0;

e1979:    x111 - x112 - 3.38729447649316*b551 <= 0;

e1980:    x112 - x113 - 3.38729447649316*b552 <= 0;

e1981:    x113 - x114 - 3.38729447649316*b553 <= 0;

e1982:    x114 - x115 - 3.38729447649316*b554 <= 0;

e1983:    x115 - x116 - 3.38729447649316*b555 <= 0;

e1984:    x116 - x117 - 3.38729447649316*b556 <= 0;

e1985:    x117 - x118 - 3.38729447649316*b557 <= 0;

e1986:    x118 - x119 - 3.38729447649316*b558 <= 0;

e1987:    x119 - x120 - 3.38729447649316*b559 <= 0;

e1988:    x121 - x122 - 3.42651518964644*b549 <= 0;

e1989:    x122 - x123 - 3.42651518964644*b550 <= 0;

e1990:    x123 - x124 - 3.42651518964644*b551 <= 0;

e1991:    x124 - x125 - 3.42651518964644*b552 <= 0;

e1992:    x125 - x126 - 3.42651518964644*b553 <= 0;

e1993:    x126 - x127 - 3.42651518964644*b554 <= 0;

e1994:    x127 - x128 - 3.42651518964644*b555 <= 0;

e1995:    x128 - x129 - 3.42651518964644*b556 <= 0;

e1996:    x129 - x130 - 3.42651518964644*b557 <= 0;

e1997:    x130 - x131 - 3.42651518964644*b558 <= 0;

e1998:    x131 - x132 - 3.42651518964644*b559 <= 0;

e1999:    x133 - x134 - 3.27491721575183*b549 <= 0;

e2000:    x134 - x135 - 3.27491721575183*b550 <= 0;

e2001:    x135 - x136 - 3.27491721575183*b551 <= 0;

e2002:    x136 - x137 - 3.27491721575183*b552 <= 0;

e2003:    x137 - x138 - 3.27491721575183*b553 <= 0;

e2004:    x138 - x139 - 3.27491721575183*b554 <= 0;

e2005:    x139 - x140 - 3.27491721575183*b555 <= 0;

e2006:    x140 - x141 - 3.27491721575183*b556 <= 0;

e2007:    x141 - x142 - 3.27491721575183*b557 <= 0;

e2008:    x142 - x143 - 3.27491721575183*b558 <= 0;

e2009:    x143 - x144 - 3.27491721575183*b559 <= 0;

e2010:    x145 - x146 - 3.18114431526639*b549 <= 0;

e2011:    x146 - x147 - 3.18114431526639*b550 <= 0;

e2012:    x147 - x148 - 3.18114431526639*b551 <= 0;

e2013:    x148 - x149 - 3.18114431526639*b552 <= 0;

e2014:    x149 - x150 - 3.18114431526639*b553 <= 0;

e2015:    x150 - x151 - 3.18114431526639*b554 <= 0;

e2016:    x151 - x152 - 3.18114431526639*b555 <= 0;

e2017:    x152 - x153 - 3.18114431526639*b556 <= 0;

e2018:    x153 - x154 - 3.18114431526639*b557 <= 0;

e2019:    x154 - x155 - 3.18114431526639*b558 <= 0;

e2020:    x155 - x156 - 3.18114431526639*b559 <= 0;

e2021:    x157 - x158 - 2.98380370268872*b549 <= 0;

e2022:    x158 - x159 - 2.98380370268872*b550 <= 0;

e2023:    x159 - x160 - 2.98380370268872*b551 <= 0;

e2024:    x160 - x161 - 2.98380370268872*b552 <= 0;

e2025:    x161 - x162 - 2.98380370268872*b553 <= 0;

e2026:    x162 - x163 - 2.98380370268872*b554 <= 0;

e2027:    x163 - x164 - 2.98380370268872*b555 <= 0;

e2028:    x164 - x165 - 2.98380370268872*b556 <= 0;

e2029:    x165 - x166 - 2.98380370268872*b557 <= 0;

e2030:    x166 - x167 - 2.98380370268872*b558 <= 0;

e2031:    x167 - x168 - 2.98380370268872*b559 <= 0;

e2032:    x169 - x170 - 3.55036051997837*b549 <= 0;

e2033:    x170 - x171 - 3.55036051997837*b550 <= 0;

e2034:    x171 - x172 - 3.55036051997837*b551 <= 0;

e2035:    x172 - x173 - 3.55036051997837*b552 <= 0;

e2036:    x173 - x174 - 3.55036051997837*b553 <= 0;

e2037:    x174 - x175 - 3.55036051997837*b554 <= 0;

e2038:    x175 - x176 - 3.55036051997837*b555 <= 0;

e2039:    x176 - x177 - 3.55036051997837*b556 <= 0;

e2040:    x177 - x178 - 3.55036051997837*b557 <= 0;

e2041:    x178 - x179 - 3.55036051997837*b558 <= 0;

e2042:    x179 - x180 - 3.55036051997837*b559 <= 0;

e2043:    x181 - x182 - 3.9316427922978*b549 <= 0;

e2044:    x182 - x183 - 3.9316427922978*b550 <= 0;

e2045:    x183 - x184 - 3.9316427922978*b551 <= 0;

e2046:    x184 - x185 - 3.9316427922978*b552 <= 0;

e2047:    x185 - x186 - 3.9316427922978*b553 <= 0;

e2048:    x186 - x187 - 3.9316427922978*b554 <= 0;

e2049:    x187 - x188 - 3.9316427922978*b555 <= 0;

e2050:    x188 - x189 - 3.9316427922978*b556 <= 0;

e2051:    x189 - x190 - 3.9316427922978*b557 <= 0;

e2052:    x190 - x191 - 3.9316427922978*b558 <= 0;

e2053:    x191 - x192 - 3.9316427922978*b559 <= 0;

e2054:    x193 - x194 - 2.93577566192153*b549 <= 0;

e2055:    x194 - x195 - 2.93577566192153*b550 <= 0;

e2056:    x195 - x196 - 2.93577566192153*b551 <= 0;

e2057:    x196 - x197 - 2.93577566192153*b552 <= 0;

e2058:    x197 - x198 - 2.93577566192153*b553 <= 0;

e2059:    x198 - x199 - 2.93577566192153*b554 <= 0;

e2060:    x199 - x200 - 2.93577566192153*b555 <= 0;

e2061:    x200 - x201 - 2.93577566192153*b556 <= 0;

e2062:    x201 - x202 - 2.93577566192153*b557 <= 0;

e2063:    x202 - x203 - 2.93577566192153*b558 <= 0;

e2064:    x203 - x204 - 2.93577566192153*b559 <= 0;

e2065:    x205 - x206 - 2.49007799819049*b549 <= 0;

e2066:    x206 - x207 - 2.49007799819049*b550 <= 0;

e2067:    x207 - x208 - 2.49007799819049*b551 <= 0;

e2068:    x208 - x209 - 2.49007799819049*b552 <= 0;

e2069:    x209 - x210 - 2.49007799819049*b553 <= 0;

e2070:    x210 - x211 - 2.49007799819049*b554 <= 0;

e2071:    x211 - x212 - 2.49007799819049*b555 <= 0;

e2072:    x212 - x213 - 2.49007799819049*b556 <= 0;

e2073:    x213 - x214 - 2.49007799819049*b557 <= 0;

e2074:    x214 - x215 - 2.49007799819049*b558 <= 0;

e2075:    x215 - x216 - 2.49007799819049*b559 <= 0;

e2076:    x217 - x218 - 3.43454736134371*b549 <= 0;

e2077:    x218 - x219 - 3.43454736134371*b550 <= 0;

e2078:    x219 - x220 - 3.43454736134371*b551 <= 0;

e2079:    x220 - x221 - 3.43454736134371*b552 <= 0;

e2080:    x221 - x222 - 3.43454736134371*b553 <= 0;

e2081:    x222 - x223 - 3.43454736134371*b554 <= 0;

e2082:    x223 - x224 - 3.43454736134371*b555 <= 0;

e2083:    x224 - x225 - 3.43454736134371*b556 <= 0;

e2084:    x225 - x226 - 3.43454736134371*b557 <= 0;

e2085:    x226 - x227 - 3.43454736134371*b558 <= 0;

e2086:    x227 - x228 - 3.43454736134371*b559 <= 0;

e2087:    x229 - x230 - 2.75941868628644*b549 <= 0;

e2088:    x230 - x231 - 2.75941868628644*b550 <= 0;

e2089:    x231 - x232 - 2.75941868628644*b551 <= 0;

e2090:    x232 - x233 - 2.75941868628644*b552 <= 0;

e2091:    x233 - x234 - 2.75941868628644*b553 <= 0;

e2092:    x234 - x235 - 2.75941868628644*b554 <= 0;

e2093:    x235 - x236 - 2.75941868628644*b555 <= 0;

e2094:    x236 - x237 - 2.75941868628644*b556 <= 0;

e2095:    x237 - x238 - 2.75941868628644*b557 <= 0;

e2096:    x238 - x239 - 2.75941868628644*b558 <= 0;

e2097:    x239 - x240 - 2.75941868628644*b559 <= 0;

e2098:    x241 - x242 - 4.67202249297593*b549 <= 0;

e2099:    x242 - x243 - 4.67202249297593*b550 <= 0;

e2100:    x243 - x244 - 4.67202249297593*b551 <= 0;

e2101:    x244 - x245 - 4.67202249297593*b552 <= 0;

e2102:    x245 - x246 - 4.67202249297593*b553 <= 0;

e2103:    x246 - x247 - 4.67202249297593*b554 <= 0;

e2104:    x247 - x248 - 4.67202249297593*b555 <= 0;

e2105:    x248 - x249 - 4.67202249297593*b556 <= 0;

e2106:    x249 - x250 - 4.67202249297593*b557 <= 0;

e2107:    x250 - x251 - 4.67202249297593*b558 <= 0;

e2108:    x251 - x252 - 4.67202249297593*b559 <= 0;

e2109:    x13 - x14 + 2.73906184392*b549 >= 0;

e2110:    x14 - x15 + 2.73906184392*b550 >= 0;

e2111:    x15 - x16 + 2.73906184392*b551 >= 0;

e2112:    x16 - x17 + 2.73906184392*b552 >= 0;

e2113:    x17 - x18 + 2.73906184392*b553 >= 0;

e2114:    x18 - x19 + 2.73906184392*b554 >= 0;

e2115:    x19 - x20 + 2.73906184392*b555 >= 0;

e2116:    x20 - x21 + 2.73906184392*b556 >= 0;

e2117:    x21 - x22 + 2.73906184392*b557 >= 0;

e2118:    x22 - x23 + 2.73906184392*b558 >= 0;

e2119:    x23 - x24 + 2.73906184392*b559 >= 0;

e2120:    x25 - x26 + 3.88350496650691*b549 >= 0;

e2121:    x26 - x27 + 3.88350496650691*b550 >= 0;

e2122:    x27 - x28 + 3.88350496650691*b551 >= 0;

e2123:    x28 - x29 + 3.88350496650691*b552 >= 0;

e2124:    x29 - x30 + 3.88350496650691*b553 >= 0;

e2125:    x30 - x31 + 3.88350496650691*b554 >= 0;

e2126:    x31 - x32 + 3.88350496650691*b555 >= 0;

e2127:    x32 - x33 + 3.88350496650691*b556 >= 0;

e2128:    x33 - x34 + 3.88350496650691*b557 >= 0;

e2129:    x34 - x35 + 3.88350496650691*b558 >= 0;

e2130:    x35 - x36 + 3.88350496650691*b559 >= 0;

e2131:    x37 - x38 + 3.55364950485383*b549 >= 0;

e2132:    x38 - x39 + 3.55364950485383*b550 >= 0;

e2133:    x39 - x40 + 3.55364950485383*b551 >= 0;

e2134:    x40 - x41 + 3.55364950485383*b552 >= 0;

e2135:    x41 - x42 + 3.55364950485383*b553 >= 0;

e2136:    x42 - x43 + 3.55364950485383*b554 >= 0;

e2137:    x43 - x44 + 3.55364950485383*b555 >= 0;

e2138:    x44 - x45 + 3.55364950485383*b556 >= 0;

e2139:    x45 - x46 + 3.55364950485383*b557 >= 0;

e2140:    x46 - x47 + 3.55364950485383*b558 >= 0;

e2141:    x47 - x48 + 3.55364950485383*b559 >= 0;

e2142:    x49 - x50 + 3.48333752551314*b549 >= 0;

e2143:    x50 - x51 + 3.48333752551314*b550 >= 0;

e2144:    x51 - x52 + 3.48333752551314*b551 >= 0;

e2145:    x52 - x53 + 3.48333752551314*b552 >= 0;

e2146:    x53 - x54 + 3.48333752551314*b553 >= 0;

e2147:    x54 - x55 + 3.48333752551314*b554 >= 0;

e2148:    x55 - x56 + 3.48333752551314*b555 >= 0;

e2149:    x56 - x57 + 3.48333752551314*b556 >= 0;

e2150:    x57 - x58 + 3.48333752551314*b557 >= 0;

e2151:    x58 - x59 + 3.48333752551314*b558 >= 0;

e2152:    x59 - x60 + 3.48333752551314*b559 >= 0;

e2153:    x61 - x62 + 3.53908108902554*b549 >= 0;

e2154:    x62 - x63 + 3.53908108902554*b550 >= 0;

e2155:    x63 - x64 + 3.53908108902554*b551 >= 0;

e2156:    x64 - x65 + 3.53908108902554*b552 >= 0;

e2157:    x65 - x66 + 3.53908108902554*b553 >= 0;

e2158:    x66 - x67 + 3.53908108902554*b554 >= 0;

e2159:    x67 - x68 + 3.53908108902554*b555 >= 0;

e2160:    x68 - x69 + 3.53908108902554*b556 >= 0;

e2161:    x69 - x70 + 3.53908108902554*b557 >= 0;

e2162:    x70 - x71 + 3.53908108902554*b558 >= 0;

e2163:    x71 - x72 + 3.53908108902554*b559 >= 0;

e2164:    x73 - x74 + 4.3571946589727*b549 >= 0;

e2165:    x74 - x75 + 4.3571946589727*b550 >= 0;

e2166:    x75 - x76 + 4.3571946589727*b551 >= 0;

e2167:    x76 - x77 + 4.3571946589727*b552 >= 0;

e2168:    x77 - x78 + 4.3571946589727*b553 >= 0;

e2169:    x78 - x79 + 4.3571946589727*b554 >= 0;

e2170:    x79 - x80 + 4.3571946589727*b555 >= 0;

e2171:    x80 - x81 + 4.3571946589727*b556 >= 0;

e2172:    x81 - x82 + 4.3571946589727*b557 >= 0;

e2173:    x82 - x83 + 4.3571946589727*b558 >= 0;

e2174:    x83 - x84 + 4.3571946589727*b559 >= 0;

e2175:    x85 - x86 + 3.45707258555482*b549 >= 0;

e2176:    x86 - x87 + 3.45707258555482*b550 >= 0;

e2177:    x87 - x88 + 3.45707258555482*b551 >= 0;

e2178:    x88 - x89 + 3.45707258555482*b552 >= 0;

e2179:    x89 - x90 + 3.45707258555482*b553 >= 0;

e2180:    x90 - x91 + 3.45707258555482*b554 >= 0;

e2181:    x91 - x92 + 3.45707258555482*b555 >= 0;

e2182:    x92 - x93 + 3.45707258555482*b556 >= 0;

e2183:    x93 - x94 + 3.45707258555482*b557 >= 0;

e2184:    x94 - x95 + 3.45707258555482*b558 >= 0;

e2185:    x95 - x96 + 3.45707258555482*b559 >= 0;

e2186:    x97 - x98 + 3.49462932645471*b549 >= 0;

e2187:    x98 - x99 + 3.49462932645471*b550 >= 0;

e2188:    x99 - x100 + 3.49462932645471*b551 >= 0;

e2189:    x100 - x101 + 3.49462932645471*b552 >= 0;

e2190:    x101 - x102 + 3.49462932645471*b553 >= 0;

e2191:    x102 - x103 + 3.49462932645471*b554 >= 0;

e2192:    x103 - x104 + 3.49462932645471*b555 >= 0;

e2193:    x104 - x105 + 3.49462932645471*b556 >= 0;

e2194:    x105 - x106 + 3.49462932645471*b557 >= 0;

e2195:    x106 - x107 + 3.49462932645471*b558 >= 0;

e2196:    x107 - x108 + 3.49462932645471*b559 >= 0;

e2197:    x109 - x110 + 3.38729447649316*b549 >= 0;

e2198:    x110 - x111 + 3.38729447649316*b550 >= 0;

e2199:    x111 - x112 + 3.38729447649316*b551 >= 0;

e2200:    x112 - x113 + 3.38729447649316*b552 >= 0;

e2201:    x113 - x114 + 3.38729447649316*b553 >= 0;

e2202:    x114 - x115 + 3.38729447649316*b554 >= 0;

e2203:    x115 - x116 + 3.38729447649316*b555 >= 0;

e2204:    x116 - x117 + 3.38729447649316*b556 >= 0;

e2205:    x117 - x118 + 3.38729447649316*b557 >= 0;

e2206:    x118 - x119 + 3.38729447649316*b558 >= 0;

e2207:    x119 - x120 + 3.38729447649316*b559 >= 0;

e2208:    x121 - x122 + 3.42651518964644*b549 >= 0;

e2209:    x122 - x123 + 3.42651518964644*b550 >= 0;

e2210:    x123 - x124 + 3.42651518964644*b551 >= 0;

e2211:    x124 - x125 + 3.42651518964644*b552 >= 0;

e2212:    x125 - x126 + 3.42651518964644*b553 >= 0;

e2213:    x126 - x127 + 3.42651518964644*b554 >= 0;

e2214:    x127 - x128 + 3.42651518964644*b555 >= 0;

e2215:    x128 - x129 + 3.42651518964644*b556 >= 0;

e2216:    x129 - x130 + 3.42651518964644*b557 >= 0;

e2217:    x130 - x131 + 3.42651518964644*b558 >= 0;

e2218:    x131 - x132 + 3.42651518964644*b559 >= 0;

e2219:    x133 - x134 + 3.27491721575183*b549 >= 0;

e2220:    x134 - x135 + 3.27491721575183*b550 >= 0;

e2221:    x135 - x136 + 3.27491721575183*b551 >= 0;

e2222:    x136 - x137 + 3.27491721575183*b552 >= 0;

e2223:    x137 - x138 + 3.27491721575183*b553 >= 0;

e2224:    x138 - x139 + 3.27491721575183*b554 >= 0;

e2225:    x139 - x140 + 3.27491721575183*b555 >= 0;

e2226:    x140 - x141 + 3.27491721575183*b556 >= 0;

e2227:    x141 - x142 + 3.27491721575183*b557 >= 0;

e2228:    x142 - x143 + 3.27491721575183*b558 >= 0;

e2229:    x143 - x144 + 3.27491721575183*b559 >= 0;

e2230:    x145 - x146 + 3.18114431526639*b549 >= 0;

e2231:    x146 - x147 + 3.18114431526639*b550 >= 0;

e2232:    x147 - x148 + 3.18114431526639*b551 >= 0;

e2233:    x148 - x149 + 3.18114431526639*b552 >= 0;

e2234:    x149 - x150 + 3.18114431526639*b553 >= 0;

e2235:    x150 - x151 + 3.18114431526639*b554 >= 0;

e2236:    x151 - x152 + 3.18114431526639*b555 >= 0;

e2237:    x152 - x153 + 3.18114431526639*b556 >= 0;

e2238:    x153 - x154 + 3.18114431526639*b557 >= 0;

e2239:    x154 - x155 + 3.18114431526639*b558 >= 0;

e2240:    x155 - x156 + 3.18114431526639*b559 >= 0;

e2241:    x157 - x158 + 2.98380370268872*b549 >= 0;

e2242:    x158 - x159 + 2.98380370268872*b550 >= 0;

e2243:    x159 - x160 + 2.98380370268872*b551 >= 0;

e2244:    x160 - x161 + 2.98380370268872*b552 >= 0;

e2245:    x161 - x162 + 2.98380370268872*b553 >= 0;

e2246:    x162 - x163 + 2.98380370268872*b554 >= 0;

e2247:    x163 - x164 + 2.98380370268872*b555 >= 0;

e2248:    x164 - x165 + 2.98380370268872*b556 >= 0;

e2249:    x165 - x166 + 2.98380370268872*b557 >= 0;

e2250:    x166 - x167 + 2.98380370268872*b558 >= 0;

e2251:    x167 - x168 + 2.98380370268872*b559 >= 0;

e2252:    x169 - x170 + 3.55036051997837*b549 >= 0;

e2253:    x170 - x171 + 3.55036051997837*b550 >= 0;

e2254:    x171 - x172 + 3.55036051997837*b551 >= 0;

e2255:    x172 - x173 + 3.55036051997837*b552 >= 0;

e2256:    x173 - x174 + 3.55036051997837*b553 >= 0;

e2257:    x174 - x175 + 3.55036051997837*b554 >= 0;

e2258:    x175 - x176 + 3.55036051997837*b555 >= 0;

e2259:    x176 - x177 + 3.55036051997837*b556 >= 0;

e2260:    x177 - x178 + 3.55036051997837*b557 >= 0;

e2261:    x178 - x179 + 3.55036051997837*b558 >= 0;

e2262:    x179 - x180 + 3.55036051997837*b559 >= 0;

e2263:    x181 - x182 + 3.9316427922978*b549 >= 0;

e2264:    x182 - x183 + 3.9316427922978*b550 >= 0;

e2265:    x183 - x184 + 3.9316427922978*b551 >= 0;

e2266:    x184 - x185 + 3.9316427922978*b552 >= 0;

e2267:    x185 - x186 + 3.9316427922978*b553 >= 0;

e2268:    x186 - x187 + 3.9316427922978*b554 >= 0;

e2269:    x187 - x188 + 3.9316427922978*b555 >= 0;

e2270:    x188 - x189 + 3.9316427922978*b556 >= 0;

e2271:    x189 - x190 + 3.9316427922978*b557 >= 0;

e2272:    x190 - x191 + 3.9316427922978*b558 >= 0;

e2273:    x191 - x192 + 3.9316427922978*b559 >= 0;

e2274:    x193 - x194 + 2.93577566192153*b549 >= 0;

e2275:    x194 - x195 + 2.93577566192153*b550 >= 0;

e2276:    x195 - x196 + 2.93577566192153*b551 >= 0;

e2277:    x196 - x197 + 2.93577566192153*b552 >= 0;

e2278:    x197 - x198 + 2.93577566192153*b553 >= 0;

e2279:    x198 - x199 + 2.93577566192153*b554 >= 0;

e2280:    x199 - x200 + 2.93577566192153*b555 >= 0;

e2281:    x200 - x201 + 2.93577566192153*b556 >= 0;

e2282:    x201 - x202 + 2.93577566192153*b557 >= 0;

e2283:    x202 - x203 + 2.93577566192153*b558 >= 0;

e2284:    x203 - x204 + 2.93577566192153*b559 >= 0;

e2285:    x205 - x206 + 2.49007799819049*b549 >= 0;

e2286:    x206 - x207 + 2.49007799819049*b550 >= 0;

e2287:    x207 - x208 + 2.49007799819049*b551 >= 0;

e2288:    x208 - x209 + 2.49007799819049*b552 >= 0;

e2289:    x209 - x210 + 2.49007799819049*b553 >= 0;

e2290:    x210 - x211 + 2.49007799819049*b554 >= 0;

e2291:    x211 - x212 + 2.49007799819049*b555 >= 0;

e2292:    x212 - x213 + 2.49007799819049*b556 >= 0;

e2293:    x213 - x214 + 2.49007799819049*b557 >= 0;

e2294:    x214 - x215 + 2.49007799819049*b558 >= 0;

e2295:    x215 - x216 + 2.49007799819049*b559 >= 0;

e2296:    x217 - x218 + 3.43454736134371*b549 >= 0;

e2297:    x218 - x219 + 3.43454736134371*b550 >= 0;

e2298:    x219 - x220 + 3.43454736134371*b551 >= 0;

e2299:    x220 - x221 + 3.43454736134371*b552 >= 0;

e2300:    x221 - x222 + 3.43454736134371*b553 >= 0;

e2301:    x222 - x223 + 3.43454736134371*b554 >= 0;

e2302:    x223 - x224 + 3.43454736134371*b555 >= 0;

e2303:    x224 - x225 + 3.43454736134371*b556 >= 0;

e2304:    x225 - x226 + 3.43454736134371*b557 >= 0;

e2305:    x226 - x227 + 3.43454736134371*b558 >= 0;

e2306:    x227 - x228 + 3.43454736134371*b559 >= 0;

e2307:    x229 - x230 + 2.75941868628644*b549 >= 0;

e2308:    x230 - x231 + 2.75941868628644*b550 >= 0;

e2309:    x231 - x232 + 2.75941868628644*b551 >= 0;

e2310:    x232 - x233 + 2.75941868628644*b552 >= 0;

e2311:    x233 - x234 + 2.75941868628644*b553 >= 0;

e2312:    x234 - x235 + 2.75941868628644*b554 >= 0;

e2313:    x235 - x236 + 2.75941868628644*b555 >= 0;

e2314:    x236 - x237 + 2.75941868628644*b556 >= 0;

e2315:    x237 - x238 + 2.75941868628644*b557 >= 0;

e2316:    x238 - x239 + 2.75941868628644*b558 >= 0;

e2317:    x239 - x240 + 2.75941868628644*b559 >= 0;

e2318:    x241 - x242 + 4.67202249297593*b549 >= 0;

e2319:    x242 - x243 + 4.67202249297593*b550 >= 0;

e2320:    x243 - x244 + 4.67202249297593*b551 >= 0;

e2321:    x244 - x245 + 4.67202249297593*b552 >= 0;

e2322:    x245 - x246 + 4.67202249297593*b553 >= 0;

e2323:    x246 - x247 + 4.67202249297593*b554 >= 0;

e2324:    x247 - x248 + 4.67202249297593*b555 >= 0;

e2325:    x248 - x249 + 4.67202249297593*b556 >= 0;

e2326:    x249 - x250 + 4.67202249297593*b557 >= 0;

e2327:    x250 - x251 + 4.67202249297593*b558 >= 0;

e2328:    x251 - x252 + 4.67202249297593*b559 >= 0;