exptest.jl

using Convex
using ECOS
using SCS
using ConicNonlinearBridge
using Ipopt
x1 = Variable(1)
x2 = Variable(1)
x3 = Variable(1)
x4 = Variable(1)
x5 = Variable(1)
x6 = Variable(1)
x7 = Variable(1)
x8 = Variable(1)
x9 = Variable(1)
x10 = Variable(1)
x11 = Variable(1)
x12 = Variable(1)
x13 = Variable(1)
x14 = Variable(1)
x15 = Variable(1)
x16 = Variable(1)
x17 = Variable(1)
x18 = Variable(1)
x19 = Variable(1)
x20 = Variable(1)
x21 = Variable(1)
x22 = Variable(1)
x23 = Variable(1)
x24 = Variable(1)
x25 = Variable(1)
x26 = Variable(1)
x27 = Variable(1)
x28 = Variable(1)
x29 = Variable(1)
x30 = Variable(1)
x31 = Variable(1)
x32 = Variable(1)
x33 = Variable(1)
x34 = Variable(1)
x35 = Variable(1)
x36 = Variable(1)
x37 = Variable(1)
x38 = Variable(1)
x39 = Variable(1)
x40 = Variable(1)
x41 = Variable(1)
x42 = Variable(1)
x43 = Variable(1)
x44 = Variable(1)
x45 = Variable(1)
x46 = Variable(1)
x47 = Variable(1)
x48 = Variable(1)
x49 = Variable(1)
x50 = Variable(1)
x51 = Variable(1)
x52 = Variable(1)
x53 = Variable(1)
x54 = Variable(1)
x55 = Variable(1)
x56 = Variable(1)
x57 = Variable(1)
x58 = Variable(1)
x59 = Variable(1)
x60 = Variable(1)
x61 = Variable(1)
x62 = Variable(1)
x63 = Variable(1)
x64 = Variable(1)
x65 = Variable(1)
x66 = Variable(1)
x67 = Variable(1)
x68 = Variable(1)
x69 = Variable(1)
x70 = Variable(1)
x71 = Variable(1)
x72 = Variable(1)
x73 = Variable(1)
x74 = Variable(1)
x75 = Variable(1)
x76 = Variable(1)
x77 = Variable(1)
x78 = Variable(1)
x79 = Variable(1)
x80 = Variable(1)
x81 = Variable(1)
x82 = Variable(1)
x83 = Variable(1)
x84 = Variable(1)
x85 = Variable(1)
x86 = Variable(1)
x87 = Variable(1)
x88 = Variable(1)
x89 = Variable(1)
x90 = Variable(1)
x91 = Variable(1)
x92 = Variable(1)
x93 = Variable(1)
x94 = Variable(1)
x95 = Variable(1)
x96 = Variable(1)
x97 = Variable(1)
x98 = Variable(1)
x99 = Variable(1)
x100 = Variable(1)
x101 = Variable(1)
x102 = Variable(1)
x103 = Variable(1)
x104 = Variable(1)
x105 = Variable(1)
x106 = Variable(1)
x107 = Variable(1)
x108 = Variable(1)
x109 = Variable(1)
x110 = Variable(1)
x111 = Variable(1)
x112 = Variable(1)
x113 = Variable(1)
x114 = Variable(1)
x115 = Variable(1)
x116 = Variable(1)
x117 = Variable(1)
x118 = Variable(1)
x119 = Variable(1)
x120 = Variable(1)
x121 = Variable(1)
x122 = Variable(1)
x123 = Variable(1)
x124 = Variable(1)
x125 = Variable(1)
x126 = Variable(1)
x127 = Variable(1)
x128 = Variable(1)
x129 = Variable(1)
x130 = Variable(1)
x132 = Variable(1)
x133 = Variable(1)
x134 = Variable(1)
x135 = Variable(1)
x136 = Variable(1)
x137 = Variable(1)
x138 = Variable(1)
x139 = Variable(1)
x140 = Variable(1)
x141 = Variable(1)
x142 = Variable(1)
x143 = Variable(1)
x144 = Variable(1)
x145 = Variable(1)
x146 = Variable(1)
x147 = Variable(1)
x148 = Variable(1)
x149 = Variable(1)
x150 = Variable(1)
b151 = Variable(1)
b152 = Variable(1)
b153 = Variable(1)
b154 = Variable(1)
b155 = Variable(1)
b156 = Variable(1)
b157 = Variable(1)
b158 = Variable(1)
b159 = Variable(1)
b160 = Variable(1)
b161 = Variable(1)
b162 = Variable(1)
b163 = Variable(1)
b164 = Variable(1)
b165 = Variable(1)
b166 = Variable(1)
b167 = Variable(1)
b168 = Variable(1)
b169 = Variable(1)
b170 = Variable(1)
b171 = Variable(1)
b172 = Variable(1)
b173 = Variable(1)
b174 = Variable(1)
b175 = Variable(1)
b176 = Variable(1)
b177 = Variable(1)
b178 = Variable(1)
b179 = Variable(1)
b180 = Variable(1)
b181 = Variable(1)
b182 = Variable(1)
b183 = Variable(1)
b184 = Variable(1)
b185 = Variable(1)
b186 = Variable(1)
b187 = Variable(1)
b188 = Variable(1)
b189 = Variable(1)
b190 = Variable(1)
b191 = Variable(1)
b192 = Variable(1)
b193 = Variable(1)
b194 = Variable(1)
b195 = Variable(1)
b196 = Variable(1)
b197 = Variable(1)
b198 = Variable(1)
b199 = Variable(1)
b200 = Variable(1)
b201 = Variable(1)
b202 = Variable(1)
b203 = Variable(1)
b204 = Variable(1)
b205 = Variable(1)
b206 = Variable(1)
b207 = Variable(1)
b208 = Variable(1)
b209 = Variable(1)
b210 = Variable(1)
b211 = Variable(1)
b212 = Variable(1)
b213 = Variable(1)
b214 = Variable(1)
b215 = Variable(1)
b216 = Variable(1)
b217 = Variable(1)
b218 = Variable(1)
b219 = Variable(1)
b220 = Variable(1)
b221 = Variable(1)
b222 = Variable(1)
b223 = Variable(1)
b224 = Variable(1)
b225 = Variable(1)
b226 = Variable(1)
b227 = Variable(1)
b228 = Variable(1)
b229 = Variable(1)
b230 = Variable(1)
b231 = Variable(1)
b232 = Variable(1)
b233 = Variable(1)
b234 = Variable(1)
b235 = Variable(1)
b236 = Variable(1)
b237 = Variable(1)
b238 = Variable(1)
b239 = Variable(1)
b240 = Variable(1)
b241 = Variable(1)
b242 = Variable(1)
b243 = Variable(1)
b244 = Variable(1)
b245 = Variable(1)
b246 = Variable(1)
b247 = Variable(1)
b248 = Variable(1)
b249 = Variable(1)
b250 = Variable(1)
b251 = Variable(1)
b252 = Variable(1)
b253 = Variable(1)
b254 = Variable(1)
b255 = Variable(1)
b256 = Variable(1)
b257 = Variable(1)
b258 = Variable(1)
b259 = Variable(1)
b260 = Variable(1)
b261 = Variable(1)
b262 = Variable(1)
b263 = Variable(1)
b264 = Variable(1)
b265 = Variable(1)
b266 = Variable(1)
b267 = Variable(1)
b268 = Variable(1)
b269 = Variable(1)
b270 = Variable(1)
b271 = Variable(1)
b272 = Variable(1)
b273 = Variable(1)
b274 = Variable(1)
b275 = Variable(1)
b276 = Variable(1)
b277 = Variable(1)
b278 = Variable(1)
b279 = Variable(1)
problem = minimize(250*(exp(0.6*x1 + x111 + x121) + exp(0.6*x2 + x112 + x122) + exp(    0.6*x3 + x113 + x123) + exp(0.6*x4 + x114 + x124) + exp(0.6*x5 + x115 +     x125) + exp(0.6*x6 + x116 + x126) + exp(0.6*x7 + x117 + x127) + exp(0.6*x8     + x118 + x128) + exp(0.6*x9 + x119 + x129) + exp(0.6*x10 + x120 + x130))     + 150*(exp(0.5*x132) + exp(0.5*x133) + exp(0.5*x134) + exp(0.5*x135) +     exp(0.5*x136) + exp(0.5*x137) + exp(0.5*x138) + exp(0.5*x139) + exp(0.5*    x140)),
    x1 - x11 + x111 >= 1.06471073699243,  #= e1: =#
    x2 - x12 + x112 >= 0.693147180559945,  #= e2: =#
    x3 - x13 + x113 >= 1.64865862558738,  #= e3: =#
    x4 - x14 + x114 >= 1.58923520511658,  #= e4: =#
    x5 - x15 + x115 >= 1.80828877117927,  #= e5: =#
    x6 - x16 + x116 >= 1.43508452528932,  #= e6: =#
    x7 - x17 + x117 >= 1.6094379124341,  #= e7: =#
    x8 - x18 + x118 >= 0.0953101798043249,  #= e8: =#
    x9 - x19 + x119 >= 1.16315080980568,  #= e9: =#
    x10 - x20 + x120 >= 1.50407739677627,  #= e10: =#
    x1 - x21 + x111 >= -0.22314355131421,  #= e11: =#
    x2 - x22 + x112 >= -0.22314355131421,  #= e12: =#
    x3 - x23 + x113 >= -0.105360515657826,  #= e13: =#
    x4 - x24 + x114 >= 1.22377543162212,  #= e14: =#
    x5 - x25 + x115 >= 0.741937344729377,  #= e15: =#
    x6 - x26 + x116 >= 0.916290731874155,  #= e16: =#
    x7 - x27 + x117 >= -0.105360515657826,  #= e17: =#
    x8 - x28 + x118 >= 0.78845736036427,  #= e18: =#
    x9 - x29 + x119 >= 0.336472236621213,  #= e19: =#
    x10 - x30 + x120 >= 0.78845736036427,  #= e20: =#
    x1 - x31 + x111 >= -0.356674943938732,  #= e21: =#
    x2 - x32 + x112 >= 0.955511445027436,  #= e22: =#
    x3 - x33 + x113 >= 0.470003629245736,  #= e23: =#
    x4 - x34 + x114 >= 1.28093384546206,  #= e24: =#
    x5 - x35 + x115 >= 1.16315080980568,  #= e25: =#
    x6 - x36 + x116 >= 1.06471073699243,  #= e26: =#
    x7 - x37 + x117 >= 1.28093384546206,  #= e27: =#
    x8 - x38 + x118 >= 1.38629436111989,  #= e28: =#
    x9 - x39 + x119 >= 1.45861502269952,  #= e29: =#
    x10 - x40 + x120 >= -0.510825623765991,  #= e30: =#
    x1 - x41 + x111 >= 1.54756250871601,  #= e31: =#
    x2 - x42 + x112 >= 0.832909122935104,  #= e32: =#
    x3 - x43 + x113 >= 0.470003629245736,  #= e33: =#
    x4 - x44 + x114 >= 0.993251773010283,  #= e34: =#
    x5 - x45 + x115 >= 0.182321556793955,  #= e35: =#
    x6 - x46 + x116 >= 0.916290731874155,  #= e36: =#
    x7 - x47 + x117 >= 1.3609765531356,  #= e37: =#
    x8 - x48 + x118 >= -0.510825623765991,  #= e38: =#
    x9 - x49 + x119 >= 1.1314021114911,  #= e39: =#
    x10 - x50 + x120 >= 1.75785791755237,  #= e40: =#
    x1 - x51 + x111 >= 0.182321556793955,  #= e41: =#
    x2 - x52 + x112 >= 1.28093384546206,  #= e42: =#
    x3 - x53 + x113 >= 0.8754687373539,  #= e43: =#
    x4 - x54 + x114 >= 1.50407739677627,  #= e44: =#
    x5 - x55 + x115 >= 0.470003629245736,  #= e45: =#
    x6 - x56 + x116 >= 0.741937344729377,  #= e46: =#
    x7 - x57 + x117 >= -0.105360515657826,  #= e47: =#
    x8 - x58 + x118 >= 1.43508452528932,  #= e48: =#
    x9 - x59 + x119 >= 0.741937344729377,  #= e49: =#
    x10 - x60 + x120 >= 1.41098697371026,  #= e50: =#
    x1 - x61 + x111 >= 1.1314021114911,  #= e51: =#
    x2 - x62 + x112 >= 0.916290731874155,  #= e52: =#
    x3 - x63 + x113 >= 1.50407739677627,  #= e53: =#
    x4 - x64 + x114 >= 0.262364264467491,  #= e54: =#
    x5 - x65 + x115 >= 1.19392246847243,  #= e55: =#
    x6 - x66 + x116 >= 1.41098697371026,  #= e56: =#
    x7 - x67 + x117 >= 0.336472236621213,  #= e57: =#
    x8 - x68 + x118 >= 0,  #= e58: =#
    x9 - x69 + x119 >= 1.25276296849537,  #= e59: =#
    x10 - x70 + x120 >= -0.356674943938732,  #= e60: =#
    x1 - x71 + x111 >= 0,  #= e61: =#
    x2 - x72 + x112 >= 0.78845736036427,  #= e62: =#
    x3 - x73 + x113 >= -0.356674943938732,  #= e63: =#
    x4 - x74 + x114 >= 1.43508452528932,  #= e64: =#
    x5 - x75 + x115 >= 1.02961941718116,  #= e65: =#
    x6 - x76 + x116 >= 0.832909122935104,  #= e66: =#
    x7 - x77 + x117 >= 1.64865862558738,  #= e67: =#
    x8 - x78 + x118 >= 0.641853886172395,  #= e68: =#
    x9 - x79 + x119 >= 0.955511445027436,  #= e69: =#
    x10 - x80 + x120 >= 0.0953101798043249,  #= e70: =#
    x1 - x81 + x111 >= 0.916290731874155,  #= e71: =#
    x2 - x82 + x112 >= 0.0953101798043249,  #= e72: =#
    x3 - x83 + x113 >= 1.66770682055808,  #= e73: =#
    x4 - x84 + x114 >= 0.955511445027436,  #= e74: =#
    x5 - x85 + x115 >= 1.30833281965018,  #= e75: =#
    x6 - x86 + x116 >= 1.38629436111989,  #= e76: =#
    x7 - x87 + x117 >= 0.78845736036427,  #= e77: =#
    x8 - x88 + x118 >= 1.19392246847243,  #= e78: =#
    x9 - x89 + x119 >= 0.993251773010283,  #= e79: =#
    x10 - x90 + x120 >= 1.22377543162212,  #= e80: =#
    x1 - x91 + x111 >= 0.8754687373539,  #= e81: =#
    x2 - x92 + x112 >= 0.916290731874155,  #= e82: =#
    x3 - x93 + x113 >= 0.993251773010283,  #= e83: =#
    x4 - x94 + x114 >= 1.16315080980568,  #= e84: =#
    x5 - x95 + x115 >= 0.832909122935104,  #= e85: =#
    x6 - x96 + x116 >= 0.53062825106217,  #= e86: =#
    x7 - x97 + x117 >= 1.64865862558738,  #= e87: =#
    x8 - x98 + x118 >= 1.54756250871601,  #= e88: =#
    x9 - x99 + x119 >= 0.955511445027436,  #= e89: =#
    x10 - x100 + x120 >= 0.336472236621213,  #= e90: =#
    x1 - x101 + x111 >= 0.993251773010283,  #= e91: =#
    x2 - x102 + x112 >= 1.19392246847243,  #= e92: =#
    x3 - x103 + x113 >= 1.48160454092422,  #= e93: =#
    x4 - x104 + x114 >= 0.955511445027436,  #= e94: =#
    x5 - x105 + x115 >= 1.30833281965018,  #= e95: =#
    x6 - x106 + x116 >= -0.693147180559945,  #= e96: =#
    x7 - x107 + x117 >= 0.993251773010283,  #= e97: =#
    x8 - x108 + x118 >= 1.82454929205105,  #= e98: =#
    x9 - x109 + x119 >= 1.16315080980568,  #= e99: =#
    x10 - x110 + x120 >= 1.22377543162212,  #= e100: =#
    x11 + x121 + x141 >= 1.85629799036563,  #= e101: =#
    x12 + x122 + x141 >= 1.54756250871601,  #= e102: =#
    x13 + x123 + x141 >= 0.262364264467491,  #= e103: =#
    x14 + x124 + x141 >= 1.3609765531356,  #= e104: =#
    x15 + x125 + x141 >= 0.741937344729377,  #= e105: =#
    x16 + x126 + x141 >= 0.470003629245736,  #= e106: =#
    x17 + x127 + x141 >= 1.16315080980568,  #= e107: =#
    x18 + x128 + x141 >= 1.1314021114911,  #= e108: =#
    x19 + x129 + x141 >= 1.43508452528932,  #= e109: =#
    x20 + x130 + x141 >= 1.64865862558738,  #= e110: =#
    x21 + x121 + x142 >= 1.33500106673234,  #= e111: =#
    x22 + x122 + x142 >= 1.85629799036563,  #= e112: =#
    x23 + x123 + x142 >= 1.87180217690159,  #= e113: =#
    x24 + x124 + x142 >= 1.48160454092422,  #= e114: =#
    x25 + x125 + x142 >= 0.832909122935104,  #= e115: =#
    x26 + x126 + x142 >= 1.16315080980568,  #= e116: =#
    x27 + x127 + x142 >= 1.64865862558738,  #= e117: =#
    x28 + x128 + x142 >= 0.916290731874155,  #= e118: =#
    x29 + x129 + x142 >= 1.48160454092422,  #= e119: =#
    x30 + x130 + x142 >= 0.0953101798043249,  #= e120: =#
    x31 + x121 + x143 >= 0,  #= e121: =#
    x32 + x122 + x143 >= 1.84054963339749,  #= e122: =#
    x33 + x123 + x143 >= 1.22377543162212,  #= e123: =#
    x34 + x124 + x143 >= 1.58923520511658,  #= e124: =#
    x35 + x125 + x143 >= 0.993251773010283,  #= e125: =#
    x36 + x126 + x143 >= 1.82454929205105,  #= e126: =#
    x37 + x127 + x143 >= 1.1314021114911,  #= e127: =#
    x38 + x128 + x143 >= 0.182321556793955,  #= e128: =#
    x39 + x129 + x143 >= 0.832909122935104,  #= e129: =#
    x40 + x130 + x143 >= 1.62924053973028,  #= e130: =#
    x41 + x121 + x144 >= 1.16315080980568,  #= e131: =#
    x42 + x122 + x144 >= 1.09861228866811,  #= e132: =#
    x43 + x123 + x144 >= 1.25276296849537,  #= e133: =#
    x44 + x124 + x144 >= 1.19392246847243,  #= e134: =#
    x45 + x125 + x144 >= 1.02961941718116,  #= e135: =#
    x46 + x126 + x144 >= 1.22377543162212,  #= e136: =#
    x47 + x127 + x144 >= 1.43508452528932,  #= e137: =#
    x48 + x128 + x144 >= 1.06471073699243,  #= e138: =#
    x49 + x129 + x144 >= 1.82454929205105,  #= e139: =#
    x50 + x130 + x144 >= 0.78845736036427,  #= e140: =#
    x51 + x121 + x145 >= 0.741937344729377,  #= e141: =#
    x52 + x122 + x145 >= 0.916290731874155,  #= e142: =#
    x53 + x123 + x145 >= 1.43508452528932,  #= e143: =#
    x54 + x124 + x145 >= 1.28093384546206,  #= e144: =#
    x55 + x125 + x145 >= 1.30833281965018,  #= e145: =#
    x56 + x126 + x145 >= 0.78845736036427,  #= e146: =#
    x57 + x127 + x145 >= 1.62924053973028,  #= e147: =#
    x58 + x128 + x145 >= -0.916290731874155,  #= e148: =#
    x59 + x129 + x145 >= 1.41098697371026,  #= e149: =#
    x60 + x130 + x145 >= 0.262364264467491,  #= e150: =#
    x61 + x121 + x146 >= 1.25276296849537,  #= e151: =#
    x62 + x122 + x146 >= 1.41098697371026,  #= e152: =#
    x63 + x123 + x146 >= -0.105360515657826,  #= e153: =#
    x64 + x124 + x146 >= 0.336472236621213,  #= e154: =#
    x65 + x125 + x146 >= 1.28093384546206,  #= e155: =#
    x66 + x126 + x146 >= 0.993251773010283,  #= e156: =#
    x67 + x127 + x146 >= 1.06471073699243,  #= e157: =#
    x68 + x128 + x146 >= 1.30833281965018,  #= e158: =#
    x69 + x129 + x146 >= -0.22314355131421,  #= e159: =#
    x70 + x130 + x146 >= 0.405465108108164,  #= e160: =#
    x71 + x121 + x147 >= 1.41098697371026,  #= e161: =#
    x72 + x122 + x147 >= 1.90210752639692,  #= e162: =#
    x73 + x123 + x147 >= 0.78845736036427,  #= e163: =#
    x74 + x124 + x147 >= 0.336472236621213,  #= e164: =#
    x75 + x125 + x147 >= -0.356674943938732,  #= e165: =#
    x76 + x126 + x147 >= 1.54756250871601,  #= e166: =#
    x77 + x127 + x147 >= 0.262364264467491,  #= e167: =#
    x78 + x128 + x147 >= -0.510825623765991,  #= e168: =#
    x79 + x129 + x147 >= 1.16315080980568,  #= e169: =#
    x80 + x130 + x147 >= 0.741937344729377,  #= e170: =#
    x81 + x121 + x148 >= 1.66770682055808,  #= e171: =#
    x82 + x122 + x148 >= 1.1314021114911,  #= e172: =#
    x83 + x123 + x148 >= 1.02961941718116,  #= e173: =#
    x84 + x124 + x148 >= 0.405465108108164,  #= e174: =#
    x85 + x125 + x148 >= 1.16315080980568,  #= e175: =#
    x86 + x126 + x148 >= 1.80828877117927,  #= e176: =#
    x87 + x127 + x148 >= -0.693147180559945,  #= e177: =#
    x88 + x128 + x148 >= 1.3609765531356,  #= e178: =#
    x89 + x129 + x148 >= 0.993251773010283,  #= e179: =#
    x90 + x130 + x148 >= 1.41098697371026,  #= e180: =#
    x91 + x121 + x149 >= 0.955511445027436,  #= e181: =#
    x92 + x122 + x149 >= 1.64865862558738,  #= e182: =#
    x93 + x123 + x149 >= 1.16315080980568,  #= e183: =#
    x94 + x124 + x149 >= 1.22377543162212,  #= e184: =#
    x95 + x125 + x149 >= 1.48160454092422,  #= e185: =#
    x96 + x126 + x149 >= 0.0953101798043249,  #= e186: =#
    x97 + x127 + x149 >= 1.96009478404727,  #= e187: =#
    x98 + x128 + x149 >= 0.916290731874155,  #= e188: =#
    x99 + x129 + x149 >= 1.1314021114911,  #= e189: =#
    x100 + x130 + x149 >= -0.105360515657826,  #= e190: =#
    x101 + x121 + x150 >= 0.53062825106217,  #= e191: =#
    x102 + x122 + x150 >= 1.64865862558738,  #= e192: =#
    x103 + x123 + x150 >= 1.30833281965018,  #= e193: =#
    x104 + x124 + x150 >= 0.955511445027436,  #= e194: =#
    x105 + x125 + x150 >= 1.64865862558738,  #= e195: =#
    x106 + x126 + x150 >= 0.955511445027436,  #= e196: =#
    x107 + x127 + x150 >= 1.62924053973028,  #= e197: =#
    x108 + x128 + x150 >= 2.10413415427021,  #= e198: =#
    x109 + x129 + x150 >= 0.0953101798043249,  #= e199: =#
    x110 + x130 + x150 >= 1.06471073699243,  #= e200: =#
 logsumexp([log(250)+x141, log(150)+x142, log(180)+x143, log(160)+x144, log(120)+x145, log(130)+x146, log(190)+x147, log(140)+x148, log(175)+x149, log(125)+x150]) <= log(6),  #= e201: =#
 #250*exp(x141) + 150*exp(x142) + 180*exp(x143) + 160*exp(x144)       + 120*exp(x145) + 130*exp(x146) + 190*exp(x147) + 140*exp(      x148) + 175*exp(x149) + 125*exp(x150) <= 6,  #= e201: =#
  - x12 + x132 - 4.04964438330419*b271 >= -1.74705929031015,  #= e202: =#
  - x13 + x133 - 4.04964438330419*b272 >= -1.74705929031015,  #= e203: =#
  - x14 + x134 - 4.04964438330419*b273 >= -1.74705929031015,  #= e204: =#
  - x15 + x135 - 4.04964438330419*b274 >= -1.74705929031015,  #= e205: =#
  - x16 + x136 - 4.04964438330419*b275 >= -1.74705929031015,  #= e206: =#
  - x17 + x137 - 4.04964438330419*b276 >= -1.74705929031015,  #= e207: =#
  - x18 + x138 - 4.04964438330419*b277 >= -1.74705929031015,  #= e208: =#
  - x19 + x139 - 4.04964438330419*b278 >= -1.74705929031015,  #= e209: =#
  - x20 + x140 - 4.04964438330419*b279 >= -1.74705929031015,  #= e210: =#
  - x22 + x132 - 4.63415772286134*b271 >= -2.3315726298673,  #= e211: =#
  - x23 + x133 - 4.63415772286134*b272 >= -2.3315726298673,  #= e212: =#
  - x24 + x134 - 4.63415772286134*b273 >= -2.3315726298673,  #= e213: =#
  - x25 + x135 - 4.63415772286134*b274 >= -2.3315726298673,  #= e214: =#
  - x26 + x136 - 4.63415772286134*b275 >= -2.3315726298673,  #= e215: =#
  - x27 + x137 - 4.63415772286134*b276 >= -2.3315726298673,  #= e216: =#
  - x28 + x138 - 4.63415772286134*b277 >= -2.3315726298673,  #= e217: =#
  - x29 + x139 - 4.63415772286134*b278 >= -2.3315726298673,  #= e218: =#
  - x30 + x140 - 4.63415772286134*b279 >= -2.3315726298673,  #= e219: =#
  - x32 + x132 - 4.39931813178394*b271 >= -2.0967330387899,  #= e220: =#
  - x33 + x133 - 4.39931813178394*b272 >= -2.0967330387899,  #= e221: =#
  - x34 + x134 - 4.39931813178394*b273 >= -2.0967330387899,  #= e222: =#
  - x35 + x135 - 4.39931813178394*b274 >= -2.0967330387899,  #= e223: =#
  - x36 + x136 - 4.39931813178394*b275 >= -2.0967330387899,  #= e224: =#
  - x37 + x137 - 4.39931813178394*b276 >= -2.0967330387899,  #= e225: =#
  - x38 + x138 - 4.39931813178394*b277 >= -2.0967330387899,  #= e226: =#
  - x39 + x139 - 4.39931813178394*b278 >= -2.0967330387899,  #= e227: =#
  - x40 + x140 - 4.39931813178394*b279 >= -2.0967330387899,  #= e228: =#
  - x42 + x132 - 4.10007523693109*b271 >= -1.79749014393704,  #= e229: =#
  - x43 + x133 - 4.10007523693109*b272 >= -1.79749014393704,  #= e230: =#
  - x44 + x134 - 4.10007523693109*b273 >= -1.79749014393704,  #= e231: =#
  - x45 + x135 - 4.10007523693109*b274 >= -1.79749014393704,  #= e232: =#
  - x46 + x136 - 4.10007523693109*b275 >= -1.79749014393704,  #= e233: =#
  - x47 + x137 - 4.10007523693109*b276 >= -1.79749014393704,  #= e234: =#
  - x48 + x138 - 4.10007523693109*b277 >= -1.79749014393704,  #= e235: =#
  - x49 + x139 - 4.10007523693109*b278 >= -1.79749014393704,  #= e236: =#
  - x50 + x140 - 4.10007523693109*b279 >= -1.79749014393704,  #= e237: =#
  - x52 + x132 - 4.35385575770719*b271 >= -2.05127066471314,  #= e238: =#
  - x53 + x133 - 4.35385575770719*b272 >= -2.05127066471314,  #= e239: =#
  - x54 + x134 - 4.35385575770719*b273 >= -2.05127066471314,  #= e240: =#
  - x55 + x135 - 4.35385575770719*b274 >= -2.05127066471314,  #= e241: =#
  - x56 + x136 - 4.35385575770719*b275 >= -2.05127066471314,  #= e242: =#
  - x57 + x137 - 4.35385575770719*b276 >= -2.05127066471314,  #= e243: =#
  - x58 + x138 - 4.35385575770719*b277 >= -2.05127066471314,  #= e244: =#
  - x59 + x139 - 4.35385575770719*b278 >= -2.05127066471314,  #= e245: =#
  - x60 + x140 - 4.35385575770719*b279 >= -2.05127066471314,  #= e246: =#
  - x62 + x132 - 4.35385575770719*b271 >= -2.05127066471314,  #= e247: =#
  - x63 + x133 - 4.35385575770719*b272 >= -2.05127066471314,  #= e248: =#
  - x64 + x134 - 4.35385575770719*b273 >= -2.05127066471314,  #= e249: =#
  - x65 + x135 - 4.35385575770719*b274 >= -2.05127066471314,  #= e250: =#
  - x66 + x136 - 4.35385575770719*b275 >= -2.05127066471314,  #= e251: =#
  - x67 + x137 - 4.35385575770719*b276 >= -2.05127066471314,  #= e252: =#
  - x68 + x138 - 4.35385575770719*b277 >= -2.05127066471314,  #= e253: =#
  - x69 + x139 - 4.35385575770719*b278 >= -2.05127066471314,  #= e254: =#
  - x70 + x140 - 4.35385575770719*b279 >= -2.05127066471314,  #= e255: =#
  - x72 + x132 - 4.20927452889608*b271 >= -1.90668943590203,  #= e256: =#
  - x73 + x133 - 4.20927452889608*b272 >= -1.90668943590203,  #= e257: =#
  - x74 + x134 - 4.20927452889608*b273 >= -1.90668943590203,  #= e258: =#
  - x75 + x135 - 4.20927452889608*b274 >= -1.90668943590203,  #= e259: =#
  - x76 + x136 - 4.20927452889608*b275 >= -1.90668943590203,  #= e260: =#
  - x77 + x137 - 4.20927452889608*b276 >= -1.90668943590203,  #= e261: =#
  - x78 + x138 - 4.20927452889608*b277 >= -1.90668943590203,  #= e262: =#
  - x79 + x139 - 4.20927452889608*b278 >= -1.90668943590203,  #= e263: =#
  - x80 + x140 - 4.20927452889608*b279 >= -1.90668943590203,  #= e264: =#
  - x82 + x132 - 4.19022633392538*b271 >= -1.88764124093134,  #= e265: =#
  - x83 + x133 - 4.19022633392538*b272 >= -1.88764124093134,  #= e266: =#
  - x84 + x134 - 4.19022633392538*b273 >= -1.88764124093134,  #= e267: =#
  - x85 + x135 - 4.19022633392538*b274 >= -1.88764124093134,  #= e268: =#
  - x86 + x136 - 4.19022633392538*b275 >= -1.88764124093134,  #= e269: =#
  - x87 + x137 - 4.19022633392538*b276 >= -1.88764124093134,  #= e270: =#
  - x88 + x138 - 4.19022633392538*b277 >= -1.88764124093134,  #= e271: =#
  - x89 + x139 - 4.19022633392538*b278 >= -1.88764124093134,  #= e272: =#
  - x90 + x140 - 4.19022633392538*b279 >= -1.88764124093134,  #= e273: =#
  - x92 + x132 - 4.20927452889608*b271 >= -1.90668943590203,  #= e274: =#
  - x93 + x133 - 4.20927452889608*b272 >= -1.90668943590203,  #= e275: =#
  - x94 + x134 - 4.20927452889608*b273 >= -1.90668943590203,  #= e276: =#
  - x95 + x135 - 4.20927452889608*b274 >= -1.90668943590203,  #= e277: =#
  - x96 + x136 - 4.20927452889608*b275 >= -1.90668943590203,  #= e278: =#
  - x97 + x137 - 4.20927452889608*b276 >= -1.90668943590203,  #= e279: =#
  - x98 + x138 - 4.20927452889608*b277 >= -1.90668943590203,  #= e280: =#
  - x99 + x139 - 4.20927452889608*b278 >= -1.90668943590203,  #= e281: =#
  - x100 + x140 - 4.20927452889608*b279 >= -1.90668943590203,  #= e282: =#
  - x102 + x132 - 4.03338386243241*b271 >= -1.73079876943837,  #= e283: =#
  - x103 + x133 - 4.03338386243241*b272 >= -1.73079876943837,  #= e284: =#
  - x104 + x134 - 4.03338386243241*b273 >= -1.73079876943837,  #= e285: =#
  - x105 + x135 - 4.03338386243241*b274 >= -1.73079876943837,  #= e286: =#
  - x106 + x136 - 4.03338386243241*b275 >= -1.73079876943837,  #= e287: =#
  - x107 + x137 - 4.03338386243241*b276 >= -1.73079876943837,  #= e288: =#
  - x108 + x138 - 4.03338386243241*b277 >= -1.73079876943837,  #= e289: =#
  - x109 + x139 - 4.03338386243241*b278 >= -1.73079876943837,  #= e290: =#
  - x110 + x140 - 4.03338386243241*b279 >= -1.73079876943837,  #= e291: =#
  - x11 + x132 - 4.04964438330419*b271 >= -1.74705929031015,  #= e292: =#
  - x12 + x133 - 4.04964438330419*b272 >= -1.74705929031015,  #= e293: =#
  - x13 + x134 - 4.04964438330419*b273 >= -1.74705929031015,  #= e294: =#
  - x14 + x135 - 4.04964438330419*b274 >= -1.74705929031015,  #= e295: =#
  - x15 + x136 - 4.04964438330419*b275 >= -1.74705929031015,  #= e296: =#
  - x16 + x137 - 4.04964438330419*b276 >= -1.74705929031015,  #= e297: =#
  - x17 + x138 - 4.04964438330419*b277 >= -1.74705929031015,  #= e298: =#
  - x18 + x139 - 4.04964438330419*b278 >= -1.74705929031015,  #= e299: =#
  - x19 + x140 - 4.04964438330419*b279 >= -1.74705929031015,  #= e300: =#
  - x21 + x132 - 4.63415772286134*b271 >= -2.3315726298673,  #= e301: =#
  - x22 + x133 - 4.63415772286134*b272 >= -2.3315726298673,  #= e302: =#
  - x23 + x134 - 4.63415772286134*b273 >= -2.3315726298673,  #= e303: =#
  - x24 + x135 - 4.63415772286134*b274 >= -2.3315726298673,  #= e304: =#
  - x25 + x136 - 4.63415772286134*b275 >= -2.3315726298673,  #= e305: =#
  - x26 + x137 - 4.63415772286134*b276 >= -2.3315726298673,  #= e306: =#
  - x27 + x138 - 4.63415772286134*b277 >= -2.3315726298673,  #= e307: =#
  - x28 + x139 - 4.63415772286134*b278 >= -2.3315726298673,  #= e308: =#
  - x29 + x140 - 4.63415772286134*b279 >= -2.3315726298673,  #= e309: =#
  - x31 + x132 - 4.39931813178394*b271 >= -2.0967330387899,  #= e310: =#
  - x32 + x133 - 4.39931813178394*b272 >= -2.0967330387899,  #= e311: =#
  - x33 + x134 - 4.39931813178394*b273 >= -2.0967330387899,  #= e312: =#
  - x34 + x135 - 4.39931813178394*b274 >= -2.0967330387899,  #= e313: =#
  - x35 + x136 - 4.39931813178394*b275 >= -2.0967330387899,  #= e314: =#
  - x36 + x137 - 4.39931813178394*b276 >= -2.0967330387899,  #= e315: =#
  - x37 + x138 - 4.39931813178394*b277 >= -2.0967330387899,  #= e316: =#
  - x38 + x139 - 4.39931813178394*b278 >= -2.0967330387899,  #= e317: =#
  - x39 + x140 - 4.39931813178394*b279 >= -2.0967330387899,  #= e318: =#
  - x41 + x132 - 4.10007523693109*b271 >= -1.79749014393704,  #= e319: =#
  - x42 + x133 - 4.10007523693109*b272 >= -1.79749014393704,  #= e320: =#
  - x43 + x134 - 4.10007523693109*b273 >= -1.79749014393704,  #= e321: =#
  - x44 + x135 - 4.10007523693109*b274 >= -1.79749014393704,  #= e322: =#
  - x45 + x136 - 4.10007523693109*b275 >= -1.79749014393704,  #= e323: =#
  - x46 + x137 - 4.10007523693109*b276 >= -1.79749014393704,  #= e324: =#
  - x47 + x138 - 4.10007523693109*b277 >= -1.79749014393704,  #= e325: =#
  - x48 + x139 - 4.10007523693109*b278 >= -1.79749014393704,  #= e326: =#
  - x49 + x140 - 4.10007523693109*b279 >= -1.79749014393704,  #= e327: =#
  - x51 + x132 - 4.35385575770719*b271 >= -2.05127066471314,  #= e328: =#
  - x52 + x133 - 4.35385575770719*b272 >= -2.05127066471314,  #= e329: =#
  - x53 + x134 - 4.35385575770719*b273 >= -2.05127066471314,  #= e330: =#
  - x54 + x135 - 4.35385575770719*b274 >= -2.05127066471314,  #= e331: =#
  - x55 + x136 - 4.35385575770719*b275 >= -2.05127066471314,  #= e332: =#
  - x56 + x137 - 4.35385575770719*b276 >= -2.05127066471314,  #= e333: =#
  - x57 + x138 - 4.35385575770719*b277 >= -2.05127066471314,  #= e334: =#
  - x58 + x139 - 4.35385575770719*b278 >= -2.05127066471314,  #= e335: =#
  - x59 + x140 - 4.35385575770719*b279 >= -2.05127066471314,  #= e336: =#
  - x61 + x132 - 4.35385575770719*b271 >= -2.05127066471314,  #= e337: =#
  - x62 + x133 - 4.35385575770719*b272 >= -2.05127066471314,  #= e338: =#
  - x63 + x134 - 4.35385575770719*b273 >= -2.05127066471314,  #= e339: =#
  - x64 + x135 - 4.35385575770719*b274 >= -2.05127066471314,  #= e340: =#
  - x65 + x136 - 4.35385575770719*b275 >= -2.05127066471314,  #= e341: =#
  - x66 + x137 - 4.35385575770719*b276 >= -2.05127066471314,  #= e342: =#
  - x67 + x138 - 4.35385575770719*b277 >= -2.05127066471314,  #= e343: =#
  - x68 + x139 - 4.35385575770719*b278 >= -2.05127066471314,  #= e344: =#
  - x69 + x140 - 4.35385575770719*b279 >= -2.05127066471314,  #= e345: =#
  - x71 + x132 - 4.20927452889608*b271 >= -1.90668943590203,  #= e346: =#
  - x72 + x133 - 4.20927452889608*b272 >= -1.90668943590203,  #= e347: =#
  - x73 + x134 - 4.20927452889608*b273 >= -1.90668943590203,  #= e348: =#
  - x74 + x135 - 4.20927452889608*b274 >= -1.90668943590203,  #= e349: =#
  - x75 + x136 - 4.20927452889608*b275 >= -1.90668943590203,  #= e350: =#
  - x76 + x137 - 4.20927452889608*b276 >= -1.90668943590203,  #= e351: =#
  - x77 + x138 - 4.20927452889608*b277 >= -1.90668943590203,  #= e352: =#
  - x78 + x139 - 4.20927452889608*b278 >= -1.90668943590203,  #= e353: =#
  - x79 + x140 - 4.20927452889608*b279 >= -1.90668943590203,  #= e354: =#
  - x81 + x132 - 4.19022633392538*b271 >= -1.88764124093134,  #= e355: =#
  - x82 + x133 - 4.19022633392538*b272 >= -1.88764124093134,  #= e356: =#
  - x83 + x134 - 4.19022633392538*b273 >= -1.88764124093134,  #= e357: =#
  - x84 + x135 - 4.19022633392538*b274 >= -1.88764124093134,  #= e358: =#
  - x85 + x136 - 4.19022633392538*b275 >= -1.88764124093134,  #= e359: =#
  - x86 + x137 - 4.19022633392538*b276 >= -1.88764124093134,  #= e360: =#
  - x87 + x138 - 4.19022633392538*b277 >= -1.88764124093134,  #= e361: =#
  - x88 + x139 - 4.19022633392538*b278 >= -1.88764124093134,  #= e362: =#
  - x89 + x140 - 4.19022633392538*b279 >= -1.88764124093134,  #= e363: =#
  - x91 + x132 - 4.20927452889608*b271 >= -1.90668943590203,  #= e364: =#
  - x92 + x133 - 4.20927452889608*b272 >= -1.90668943590203,  #= e365: =#
  - x93 + x134 - 4.20927452889608*b273 >= -1.90668943590203,  #= e366: =#
  - x94 + x135 - 4.20927452889608*b274 >= -1.90668943590203,  #= e367: =#
  - x95 + x136 - 4.20927452889608*b275 >= -1.90668943590203,  #= e368: =#
  - x96 + x137 - 4.20927452889608*b276 >= -1.90668943590203,  #= e369: =#
  - x97 + x138 - 4.20927452889608*b277 >= -1.90668943590203,  #= e370: =#
  - x98 + x139 - 4.20927452889608*b278 >= -1.90668943590203,  #= e371: =#
  - x99 + x140 - 4.20927452889608*b279 >= -1.90668943590203,  #= e372: =#
  - x101 + x132 - 4.03338386243241*b271 >= -1.73079876943837,  #= e373: =#
  - x102 + x133 - 4.03338386243241*b272 >= -1.73079876943837,  #= e374: =#
  - x103 + x134 - 4.03338386243241*b273 >= -1.73079876943837,  #= e375: =#
  - x104 + x135 - 4.03338386243241*b274 >= -1.73079876943837,  #= e376: =#
  - x105 + x136 - 4.03338386243241*b275 >= -1.73079876943837,  #= e377: =#
  - x106 + x137 - 4.03338386243241*b276 >= -1.73079876943837,  #= e378: =#
  - x107 + x138 - 4.03338386243241*b277 >= -1.73079876943837,  #= e379: =#
  - x108 + x139 - 4.03338386243241*b278 >= -1.73079876943837,  #= e380: =#
  - x109 + x140 - 4.03338386243241*b279 >= -1.73079876943837,  #= e381: =#
    x111 + 1.79175946922805*b151 <= 1.79175946922805,  #= e382: =#
    x111 + 1.09861228866811*b161 <= 1.79175946922805,  #= e383: =#
    x111 + 0.693147180559945*b171 <= 1.79175946922805,  #= e384: =#
    x111 + 0.405465108108164*b181 <= 1.79175946922805,  #= e385: =#
    x111 + 0.182321556793955*b191 <= 1.79175946922805,  #= e386: =#
    x111 <= 1.79175946922805,  #= e387: =#
    x112 + 1.79175946922805*b152 <= 1.79175946922805,  #= e388: =#
    x112 + 1.09861228866811*b162 <= 1.79175946922805,  #= e389: =#
    x112 + 0.693147180559945*b172 <= 1.79175946922805,  #= e390: =#
    x112 + 0.405465108108164*b182 <= 1.79175946922805,  #= e391: =#
    x112 + 0.182321556793955*b192 <= 1.79175946922805,  #= e392: =#
    x112 <= 1.79175946922805,  #= e393: =#
    x113 + 1.79175946922805*b153 <= 1.79175946922805,  #= e394: =#
    x113 + 1.09861228866811*b163 <= 1.79175946922805,  #= e395: =#
    x113 + 0.693147180559945*b173 <= 1.79175946922805,  #= e396: =#
    x113 + 0.405465108108164*b183 <= 1.79175946922805,  #= e397: =#
    x113 + 0.182321556793955*b193 <= 1.79175946922805,  #= e398: =#
    x113 <= 1.79175946922805,  #= e399: =#
    x114 + 1.79175946922805*b154 <= 1.79175946922805,  #= e400: =#
    x114 + 1.09861228866811*b164 <= 1.79175946922805,  #= e401: =#
    x114 + 0.693147180559945*b174 <= 1.79175946922805,  #= e402: =#
    x114 + 0.405465108108164*b184 <= 1.79175946922805,  #= e403: =#
    x114 + 0.182321556793955*b194 <= 1.79175946922805,  #= e404: =#
    x114 <= 1.79175946922805,  #= e405: =#
    x115 + 1.79175946922805*b155 <= 1.79175946922805,  #= e406: =#
    x115 + 1.09861228866811*b165 <= 1.79175946922805,  #= e407: =#
    x115 + 0.693147180559945*b175 <= 1.79175946922805,  #= e408: =#
    x115 + 0.405465108108164*b185 <= 1.79175946922805,  #= e409: =#
    x115 + 0.182321556793955*b195 <= 1.79175946922805,  #= e410: =#
    x115 <= 1.79175946922805,  #= e411: =#
    x116 + 1.79175946922805*b156 <= 1.79175946922805,  #= e412: =#
    x116 + 1.09861228866811*b166 <= 1.79175946922805,  #= e413: =#
    x116 + 0.693147180559945*b176 <= 1.79175946922805,  #= e414: =#
    x116 + 0.405465108108164*b186 <= 1.79175946922805,  #= e415: =#
    x116 + 0.182321556793955*b196 <= 1.79175946922805,  #= e416: =#
    x116 <= 1.79175946922805,  #= e417: =#
    x117 + 1.79175946922805*b157 <= 1.79175946922805,  #= e418: =#
    x117 + 1.09861228866811*b167 <= 1.79175946922805,  #= e419: =#
    x117 + 0.693147180559945*b177 <= 1.79175946922805,  #= e420: =#
    x117 + 0.405465108108164*b187 <= 1.79175946922805,  #= e421: =#
    x117 + 0.182321556793955*b197 <= 1.79175946922805,  #= e422: =#
    x117 <= 1.79175946922805,  #= e423: =#
    x118 + 1.79175946922805*b158 <= 1.79175946922805,  #= e424: =#
    x118 + 1.09861228866811*b168 <= 1.79175946922805,  #= e425: =#
    x118 + 0.693147180559945*b178 <= 1.79175946922805,  #= e426: =#
    x118 + 0.405465108108164*b188 <= 1.79175946922805,  #= e427: =#
    x118 + 0.182321556793955*b198 <= 1.79175946922805,  #= e428: =#
    x118 <= 1.79175946922805,  #= e429: =#
    x119 + 1.79175946922805*b159 <= 1.79175946922805,  #= e430: =#
    x119 + 1.09861228866811*b169 <= 1.79175946922805,  #= e431: =#
    x119 + 0.693147180559945*b179 <= 1.79175946922805,  #= e432: =#
    x119 + 0.405465108108164*b189 <= 1.79175946922805,  #= e433: =#
    x119 + 0.182321556793955*b199 <= 1.79175946922805,  #= e434: =#
    x119 <= 1.79175946922805,  #= e435: =#
    x120 + 1.79175946922805*b160 <= 1.79175946922805,  #= e436: =#
    x120 + 1.09861228866811*b170 <= 1.79175946922805,  #= e437: =#
    x120 + 0.693147180559945*b180 <= 1.79175946922805,  #= e438: =#
    x120 + 0.405465108108164*b190 <= 1.79175946922805,  #= e439: =#
    x120 + 0.182321556793955*b200 <= 1.79175946922805,  #= e440: =#
    x120 <= 1.79175946922805,  #= e441: =#
    x111 >= 0,  #= e442: =#
    x111 - 0.693147180559945*b161 >= 0,  #= e443: =#
    x111 - 1.09861228866811*b171 >= 0,  #= e444: =#
    x111 - 1.38629436111989*b181 >= 0,  #= e445: =#
    x111 - 1.6094379124341*b191 >= 0,  #= e446: =#
    x111 - 1.79175946922805*b201 >= 0,  #= e447: =#
    x112 >= 0,  #= e448: =#
    x112 - 0.693147180559945*b162 >= 0,  #= e449: =#
    x112 - 1.09861228866811*b172 >= 0,  #= e450: =#
    x112 - 1.38629436111989*b182 >= 0,  #= e451: =#
    x112 - 1.6094379124341*b192 >= 0,  #= e452: =#
    x112 - 1.79175946922805*b202 >= 0,  #= e453: =#
    x113 >= 0,  #= e454: =#
    x113 - 0.693147180559945*b163 >= 0,  #= e455: =#
    x113 - 1.09861228866811*b173 >= 0,  #= e456: =#
    x113 - 1.38629436111989*b183 >= 0,  #= e457: =#
    x113 - 1.6094379124341*b193 >= 0,  #= e458: =#
    x113 - 1.79175946922805*b203 >= 0,  #= e459: =#
    x114 >= 0,  #= e460: =#
    x114 - 0.693147180559945*b164 >= 0,  #= e461: =#
    x114 - 1.09861228866811*b174 >= 0,  #= e462: =#
    x114 - 1.38629436111989*b184 >= 0,  #= e463: =#
    x114 - 1.6094379124341*b194 >= 0,  #= e464: =#
    x114 - 1.79175946922805*b204 >= 0,  #= e465: =#
    x115 >= 0,  #= e466: =#
    x115 - 0.693147180559945*b165 >= 0,  #= e467: =#
    x115 - 1.09861228866811*b175 >= 0,  #= e468: =#
    x115 - 1.38629436111989*b185 >= 0,  #= e469: =#
    x115 - 1.6094379124341*b195 >= 0,  #= e470: =#
    x115 - 1.79175946922805*b205 >= 0,  #= e471: =#
    x116 >= 0,  #= e472: =#
    x116 - 0.693147180559945*b166 >= 0,  #= e473: =#
    x116 - 1.09861228866811*b176 >= 0,  #= e474: =#
    x116 - 1.38629436111989*b186 >= 0,  #= e475: =#
    x116 - 1.6094379124341*b196 >= 0,  #= e476: =#
    x116 - 1.79175946922805*b206 >= 0,  #= e477: =#
    x117 >= 0,  #= e478: =#
    x117 - 0.693147180559945*b167 >= 0,  #= e479: =#
    x117 - 1.09861228866811*b177 >= 0,  #= e480: =#
    x117 - 1.38629436111989*b187 >= 0,  #= e481: =#
    x117 - 1.6094379124341*b197 >= 0,  #= e482: =#
    x117 - 1.79175946922805*b207 >= 0,  #= e483: =#
    x118 >= 0,  #= e484: =#
    x118 - 0.693147180559945*b168 >= 0,  #= e485: =#
    x118 - 1.09861228866811*b178 >= 0,  #= e486: =#
    x118 - 1.38629436111989*b188 >= 0,  #= e487: =#
    x118 - 1.6094379124341*b198 >= 0,  #= e488: =#
    x118 - 1.79175946922805*b208 >= 0,  #= e489: =#
    x119 >= 0,  #= e490: =#
    x119 - 0.693147180559945*b169 >= 0,  #= e491: =#
    x119 - 1.09861228866811*b179 >= 0,  #= e492: =#
    x119 - 1.38629436111989*b189 >= 0,  #= e493: =#
    x119 - 1.6094379124341*b199 >= 0,  #= e494: =#
    x119 - 1.79175946922805*b209 >= 0,  #= e495: =#
    x120 >= 0,  #= e496: =#
    x120 - 0.693147180559945*b170 >= 0,  #= e497: =#
    x120 - 1.09861228866811*b180 >= 0,  #= e498: =#
    x120 - 1.38629436111989*b190 >= 0,  #= e499: =#
    x120 - 1.6094379124341*b200 >= 0,  #= e500: =#
    x120 - 1.79175946922805*b210 >= 0,  #= e501: =#
    x121 + 1.79175946922805*b211 <= 1.79175946922805,  #= e502: =#
    x121 + 1.09861228866811*b221 <= 1.79175946922805,  #= e503: =#
    x121 + 0.693147180559945*b231 <= 1.79175946922805,  #= e504: =#
    x121 + 0.405465108108164*b241 <= 1.79175946922805,  #= e505: =#
    x121 + 0.182321556793955*b251 <= 1.79175946922805,  #= e506: =#
    x121 <= 1.79175946922805,  #= e507: =#
    x122 + 1.79175946922805*b212 <= 1.79175946922805,  #= e508: =#
    x122 + 1.09861228866811*b222 <= 1.79175946922805,  #= e509: =#
    x122 + 0.693147180559945*b232 <= 1.79175946922805,  #= e510: =#
    x122 + 0.405465108108164*b242 <= 1.79175946922805,  #= e511: =#
    x122 + 0.182321556793955*b252 <= 1.79175946922805,  #= e512: =#
    x122 <= 1.79175946922805,  #= e513: =#
    x123 + 1.79175946922805*b213 <= 1.79175946922805,  #= e514: =#
    x123 + 1.09861228866811*b223 <= 1.79175946922805,  #= e515: =#
    x123 + 0.693147180559945*b233 <= 1.79175946922805,  #= e516: =#
    x123 + 0.405465108108164*b243 <= 1.79175946922805,  #= e517: =#
    x123 + 0.182321556793955*b253 <= 1.79175946922805,  #= e518: =#
    x123 <= 1.79175946922805,  #= e519: =#
    x124 + 1.79175946922805*b214 <= 1.79175946922805,  #= e520: =#
    x124 + 1.09861228866811*b224 <= 1.79175946922805,  #= e521: =#
    x124 + 0.693147180559945*b234 <= 1.79175946922805,  #= e522: =#
    x124 + 0.405465108108164*b244 <= 1.79175946922805,  #= e523: =#
    x124 + 0.182321556793955*b254 <= 1.79175946922805,  #= e524: =#
    x124 <= 1.79175946922805,  #= e525: =#
    x125 + 1.79175946922805*b215 <= 1.79175946922805,  #= e526: =#
    x125 + 1.09861228866811*b225 <= 1.79175946922805,  #= e527: =#
    x125 + 0.693147180559945*b235 <= 1.79175946922805,  #= e528: =#
    x125 + 0.405465108108164*b245 <= 1.79175946922805,  #= e529: =#
    x125 + 0.182321556793955*b255 <= 1.79175946922805,  #= e530: =#
    x125 <= 1.79175946922805,  #= e531: =#
    x126 + 1.79175946922805*b216 <= 1.79175946922805,  #= e532: =#
    x126 + 1.09861228866811*b226 <= 1.79175946922805,  #= e533: =#
    x126 + 0.693147180559945*b236 <= 1.79175946922805,  #= e534: =#
    x126 + 0.405465108108164*b246 <= 1.79175946922805,  #= e535: =#
    x126 + 0.182321556793955*b256 <= 1.79175946922805,  #= e536: =#
    x126 <= 1.79175946922805,  #= e537: =#
    x127 + 1.79175946922805*b217 <= 1.79175946922805,  #= e538: =#
    x127 + 1.09861228866811*b227 <= 1.79175946922805,  #= e539: =#
    x127 + 0.693147180559945*b237 <= 1.79175946922805,  #= e540: =#
    x127 + 0.405465108108164*b247 <= 1.79175946922805,  #= e541: =#
    x127 + 0.182321556793955*b257 <= 1.79175946922805,  #= e542: =#
    x127 <= 1.79175946922805,  #= e543: =#
    x128 + 1.79175946922805*b218 <= 1.79175946922805,  #= e544: =#
    x128 + 1.09861228866811*b228 <= 1.79175946922805,  #= e545: =#
    x128 + 0.693147180559945*b238 <= 1.79175946922805,  #= e546: =#
    x128 + 0.405465108108164*b248 <= 1.79175946922805,  #= e547: =#
    x128 + 0.182321556793955*b258 <= 1.79175946922805,  #= e548: =#
    x128 <= 1.79175946922805,  #= e549: =#
    x129 + 1.79175946922805*b219 <= 1.79175946922805,  #= e550: =#
    x129 + 1.09861228866811*b229 <= 1.79175946922805,  #= e551: =#
    x129 + 0.693147180559945*b239 <= 1.79175946922805,  #= e552: =#
    x129 + 0.405465108108164*b249 <= 1.79175946922805,  #= e553: =#
    x129 + 0.182321556793955*b259 <= 1.79175946922805,  #= e554: =#
    x129 <= 1.79175946922805,  #= e555: =#
    x130 + 1.79175946922805*b220 <= 1.79175946922805,  #= e556: =#
    x130 + 1.09861228866811*b230 <= 1.79175946922805,  #= e557: =#
    x130 + 0.693147180559945*b240 <= 1.79175946922805,  #= e558: =#
    x130 + 0.405465108108164*b250 <= 1.79175946922805,  #= e559: =#
    x130 + 0.182321556793955*b260 <= 1.79175946922805,  #= e560: =#
    x130 <= 1.79175946922805,  #= e561: =#
    x121 >= 0,  #= e562: =#
    x121 - 0.693147180559945*b221 >= 0,  #= e563: =#
    x121 - 1.09861228866811*b231 >= 0,  #= e564: =#
    x121 - 1.38629436111989*b241 >= 0,  #= e565: =#
    x121 - 1.6094379124341*b251 >= 0,  #= e566: =#
    x121 - 1.79175946922805*b261 >= 0,  #= e567: =#
    x122 >= 0,  #= e568: =#
    x122 - 0.693147180559945*b222 >= 0,  #= e569: =#
    x122 - 1.09861228866811*b232 >= 0,  #= e570: =#
    x122 - 1.38629436111989*b242 >= 0,  #= e571: =#
    x122 - 1.6094379124341*b252 >= 0,  #= e572: =#
    x122 - 1.79175946922805*b262 >= 0,  #= e573: =#
    x123 >= 0,  #= e574: =#
    x123 - 0.693147180559945*b223 >= 0,  #= e575: =#
    x123 - 1.09861228866811*b233 >= 0,  #= e576: =#
    x123 - 1.38629436111989*b243 >= 0,  #= e577: =#
    x123 - 1.6094379124341*b253 >= 0,  #= e578: =#
    x123 - 1.79175946922805*b263 >= 0,  #= e579: =#
    x124 >= 0,  #= e580: =#
    x124 - 0.693147180559945*b224 >= 0,  #= e581: =#
    x124 - 1.09861228866811*b234 >= 0,  #= e582: =#
    x124 - 1.38629436111989*b244 >= 0,  #= e583: =#
    x124 - 1.6094379124341*b254 >= 0,  #= e584: =#
    x124 - 1.79175946922805*b264 >= 0,  #= e585: =#
    x125 >= 0,  #= e586: =#
    x125 - 0.693147180559945*b225 >= 0,  #= e587: =#
    x125 - 1.09861228866811*b235 >= 0,  #= e588: =#
    x125 - 1.38629436111989*b245 >= 0,  #= e589: =#
    x125 - 1.6094379124341*b255 >= 0,  #= e590: =#
    x125 - 1.79175946922805*b265 >= 0,  #= e591: =#
    x126 >= 0,  #= e592: =#
    x126 - 0.693147180559945*b226 >= 0,  #= e593: =#
    x126 - 1.09861228866811*b236 >= 0,  #= e594: =#
    x126 - 1.38629436111989*b246 >= 0,  #= e595: =#
    x126 - 1.6094379124341*b256 >= 0,  #= e596: =#
    x126 - 1.79175946922805*b266 >= 0,  #= e597: =#
    x127 >= 0,  #= e598: =#
    x127 - 0.693147180559945*b227 >= 0,  #= e599: =#
    x127 - 1.09861228866811*b237 >= 0,  #= e600: =#
    x127 - 1.38629436111989*b247 >= 0,  #= e601: =#
    x127 - 1.6094379124341*b257 >= 0,  #= e602: =#
    x127 - 1.79175946922805*b267 >= 0,  #= e603: =#
    x128 >= 0,  #= e604: =#
    x128 - 0.693147180559945*b228 >= 0,  #= e605: =#
    x128 - 1.09861228866811*b238 >= 0,  #= e606: =#
    x128 - 1.38629436111989*b248 >= 0,  #= e607: =#
    x128 - 1.6094379124341*b258 >= 0,  #= e608: =#
    x128 - 1.79175946922805*b268 >= 0,  #= e609: =#
    x129 >= 0,  #= e610: =#
    x129 - 0.693147180559945*b229 >= 0,  #= e611: =#
    x129 - 1.09861228866811*b239 >= 0,  #= e612: =#
    x129 - 1.38629436111989*b249 >= 0,  #= e613: =#
    x129 - 1.6094379124341*b259 >= 0,  #= e614: =#
    x129 - 1.79175946922805*b269 >= 0,  #= e615: =#
    x130 >= 0,  #= e616: =#
    x130 - 0.693147180559945*b230 >= 0,  #= e617: =#
    x130 - 1.09861228866811*b240 >= 0,  #= e618: =#
    x130 - 1.38629436111989*b250 >= 0,  #= e619: =#
    x130 - 1.6094379124341*b260 >= 0,  #= e620: =#
    x130 - 1.79175946922805*b270 >= 0,  #= e621: =#
    b151 + b161 + b171 + b181 + b191 + b201 == 1,  #= e622: =#
    b152 + b162 + b172 + b182 + b192 + b202 == 1,  #= e623: =#
    b153 + b163 + b173 + b183 + b193 + b203 == 1,  #= e624: =#
    b154 + b164 + b174 + b184 + b194 + b204 == 1,  #= e625: =#
    b155 + b165 + b175 + b185 + b195 + b205 == 1,  #= e626: =#
    b156 + b166 + b176 + b186 + b196 + b206 == 1,  #= e627: =#
    b157 + b167 + b177 + b187 + b197 + b207 == 1,  #= e628: =#
    b158 + b168 + b178 + b188 + b198 + b208 == 1,  #= e629: =#
    b159 + b169 + b179 + b189 + b199 + b209 == 1,  #= e630: =#
    b160 + b170 + b180 + b190 + b200 + b210 == 1,  #= e631: =#
    b211 + b221 + b231 + b241 + b251 + b261 == 1,  #= e632: =#
    b212 + b222 + b232 + b242 + b252 + b262 == 1,  #= e633: =#
    b213 + b223 + b233 + b243 + b253 + b263 == 1,  #= e634: =#
    b214 + b224 + b234 + b244 + b254 + b264 == 1,  #= e635: =#
    b215 + b225 + b235 + b245 + b255 + b265 == 1,  #= e636: =#
    b216 + b226 + b236 + b246 + b256 + b266 == 1,  #= e637: =#
    b217 + b227 + b237 + b247 + b257 + b267 == 1,  #= e638: =#
    b218 + b228 + b238 + b248 + b258 + b268 == 1,  #= e639: =#
    b219 + b229 + b239 + b249 + b259 + b269 == 1,  #= e640: =#
    b220 + b230 + b240 + b250 + b260 + b270 == 1,  #= e641: =#
    x11 - x12 + 1.45937721785837*b271 <= 2.55798950652648,  #= e642: =#
    x12 - x13 + 1.45937721785837*b272 <= 2.55798950652648,  #= e643: =#
    x13 - x14 + 1.45937721785837*b273 <= 2.55798950652648,  #= e644: =#
    x14 - x15 + 1.45937721785837*b274 <= 2.55798950652648,  #= e645: =#
    x15 - x16 + 1.45937721785837*b275 <= 2.55798950652648,  #= e646: =#
    x16 - x17 + 1.45937721785837*b276 <= 2.55798950652648,  #= e647: =#
    x17 - x18 + 1.45937721785837*b277 <= 2.55798950652648,  #= e648: =#
    x18 - x19 + 1.45937721785837*b278 <= 2.55798950652648,  #= e649: =#
    x19 - x20 + 1.45937721785837*b279 <= 2.55798950652648,  #= e650: =#
    x21 - x22 + 2.53921199464554*b271 <= 3.63782428331365,  #= e651: =#
    x22 - x23 + 2.53921199464554*b272 <= 3.63782428331365,  #= e652: =#
    x23 - x24 + 2.53921199464554*b273 <= 3.63782428331365,  #= e653: =#
    x24 - x25 + 2.53921199464554*b274 <= 3.63782428331365,  #= e654: =#
    x25 - x26 + 2.53921199464554*b275 <= 3.63782428331365,  #= e655: =#
    x26 - x27 + 2.53921199464554*b276 <= 3.63782428331365,  #= e656: =#
    x27 - x28 + 2.53921199464554*b277 <= 3.63782428331365,  #= e657: =#
    x28 - x29 + 2.53921199464554*b278 <= 3.63782428331365,  #= e658: =#
    x29 - x30 + 2.53921199464554*b279 <= 3.63782428331365,  #= e659: =#
    x31 - x32 + 2.15330339027829*b271 <= 3.2519156789464,  #= e660: =#
    x32 - x33 + 2.15330339027829*b272 <= 3.2519156789464,  #= e661: =#
    x33 - x34 + 2.15330339027829*b273 <= 3.2519156789464,  #= e662: =#
    x34 - x35 + 2.15330339027829*b274 <= 3.2519156789464,  #= e663: =#
    x35 - x36 + 2.15330339027829*b275 <= 3.2519156789464,  #= e664: =#
    x36 - x37 + 2.15330339027829*b276 <= 3.2519156789464,  #= e665: =#
    x37 - x38 + 2.15330339027829*b277 <= 3.2519156789464,  #= e666: =#
    x38 - x39 + 2.15330339027829*b278 <= 3.2519156789464,  #= e667: =#
    x39 - x40 + 2.15330339027829*b279 <= 3.2519156789464,  #= e668: =#
    x41 - x42 + 1.98784387242826*b271 <= 3.08645616109637,  #= e669: =#
    x42 - x43 + 1.98784387242826*b272 <= 3.08645616109637,  #= e670: =#
    x43 - x44 + 1.98784387242826*b273 <= 3.08645616109637,  #= e671: =#
    x44 - x45 + 1.98784387242826*b274 <= 3.08645616109637,  #= e672: =#
    x45 - x46 + 1.98784387242826*b275 <= 3.08645616109637,  #= e673: =#
    x46 - x47 + 1.98784387242826*b276 <= 3.08645616109637,  #= e674: =#
    x47 - x48 + 1.98784387242826*b277 <= 3.08645616109637,  #= e675: =#
    x48 - x49 + 1.98784387242826*b278 <= 3.08645616109637,  #= e676: =#
    x49 - x50 + 1.98784387242826*b279 <= 3.08645616109637,  #= e677: =#
    x51 - x52 + 2.7246152179769*b271 <= 3.82322750664501,  #= e678: =#
    x52 - x53 + 2.7246152179769*b272 <= 3.82322750664501,  #= e679: =#
    x53 - x54 + 2.7246152179769*b273 <= 3.82322750664501,  #= e680: =#
    x54 - x55 + 2.7246152179769*b274 <= 3.82322750664501,  #= e681: =#
    x55 - x56 + 2.7246152179769*b275 <= 3.82322750664501,  #= e682: =#
    x56 - x57 + 2.7246152179769*b276 <= 3.82322750664501,  #= e683: =#
    x57 - x58 + 2.7246152179769*b277 <= 3.82322750664501,  #= e684: =#
    x58 - x59 + 2.7246152179769*b278 <= 3.82322750664501,  #= e685: =#
    x59 - x60 + 2.7246152179769*b279 <= 3.82322750664501,  #= e686: =#
    x61 - x62 + 2.86282607632339*b271 <= 3.9614383649915,  #= e687: =#
    x62 - x63 + 2.86282607632339*b272 <= 3.9614383649915,  #= e688: =#
    x63 - x64 + 2.86282607632339*b273 <= 3.9614383649915,  #= e689: =#
    x64 - x65 + 2.86282607632339*b274 <= 3.9614383649915,  #= e690: =#
    x65 - x66 + 2.86282607632339*b275 <= 3.9614383649915,  #= e691: =#
    x66 - x67 + 2.86282607632339*b276 <= 3.9614383649915,  #= e692: =#
    x67 - x68 + 2.86282607632339*b277 <= 3.9614383649915,  #= e693: =#
    x68 - x69 + 2.86282607632339*b278 <= 3.9614383649915,  #= e694: =#
    x69 - x70 + 2.86282607632339*b279 <= 3.9614383649915,  #= e695: =#
    x71 - x72 + 1.84763467312072*b271 <= 2.94624696178883,  #= e696: =#
    x72 - x73 + 1.84763467312072*b272 <= 2.94624696178883,  #= e697: =#
    x73 - x74 + 1.84763467312072*b273 <= 2.94624696178883,  #= e698: =#
    x74 - x75 + 1.84763467312072*b274 <= 2.94624696178883,  #= e699: =#
    x75 - x76 + 1.84763467312072*b275 <= 2.94624696178883,  #= e700: =#
    x76 - x77 + 1.84763467312072*b276 <= 2.94624696178883,  #= e701: =#
    x77 - x78 + 1.84763467312072*b277 <= 2.94624696178883,  #= e702: =#
    x78 - x79 + 1.84763467312072*b278 <= 2.94624696178883,  #= e703: =#
    x79 - x80 + 1.84763467312072*b279 <= 2.94624696178883,  #= e704: =#
    x81 - x82 + 2.22778688291886*b271 <= 3.32639917158697,  #= e705: =#
    x82 - x83 + 2.22778688291886*b272 <= 3.32639917158697,  #= e706: =#
    x83 - x84 + 2.22778688291886*b273 <= 3.32639917158697,  #= e707: =#
    x84 - x85 + 2.22778688291886*b274 <= 3.32639917158697,  #= e708: =#
    x85 - x86 + 2.22778688291886*b275 <= 3.32639917158697,  #= e709: =#
    x86 - x87 + 2.22778688291886*b276 <= 3.32639917158697,  #= e710: =#
    x87 - x88 + 2.22778688291886*b277 <= 3.32639917158697,  #= e711: =#
    x88 - x89 + 2.22778688291886*b278 <= 3.32639917158697,  #= e712: =#
    x89 - x90 + 2.22778688291886*b279 <= 3.32639917158697,  #= e713: =#
    x91 - x92 + 1.87188551370734*b271 <= 2.97049780237545,  #= e714: =#
    x92 - x93 + 1.87188551370734*b272 <= 2.97049780237545,  #= e715: =#
    x93 - x94 + 1.87188551370734*b273 <= 2.97049780237545,  #= e716: =#
    x94 - x95 + 1.87188551370734*b274 <= 2.97049780237545,  #= e717: =#
    x95 - x96 + 1.87188551370734*b275 <= 2.97049780237545,  #= e718: =#
    x96 - x97 + 1.87188551370734*b276 <= 2.97049780237545,  #= e719: =#
    x97 - x98 + 1.87188551370734*b277 <= 2.97049780237545,  #= e720: =#
    x98 - x99 + 1.87188551370734*b278 <= 2.97049780237545,  #= e721: =#
    x99 - x100 + 1.87188551370734*b279 <= 2.97049780237545,  #= e722: =#
    x101 - x102 + 1.88842771364195*b271 <= 2.98704000231006,  #= e723: =#
    x102 - x103 + 1.88842771364195*b272 <= 2.98704000231006,  #= e724: =#
    x103 - x104 + 1.88842771364195*b273 <= 2.98704000231006,  #= e725: =#
    x104 - x105 + 1.88842771364195*b274 <= 2.98704000231006,  #= e726: =#
    x105 - x106 + 1.88842771364195*b275 <= 2.98704000231006,  #= e727: =#
    x106 - x107 + 1.88842771364195*b276 <= 2.98704000231006,  #= e728: =#
    x107 - x108 + 1.88842771364195*b277 <= 2.98704000231006,  #= e729: =#
    x108 - x109 + 1.88842771364195*b278 <= 2.98704000231006,  #= e730: =#
    x109 - x110 + 1.88842771364195*b279 <= 2.98704000231006,  #= e731: =#
    x11 - x12 - 1.45937721785837*b271 >= -2.55798950652648,  #= e732: =#
    x12 - x13 - 1.45937721785837*b272 >= -2.55798950652648,  #= e733: =#
    x13 - x14 - 1.45937721785837*b273 >= -2.55798950652648,  #= e734: =#
    x14 - x15 - 1.45937721785837*b274 >= -2.55798950652648,  #= e735: =#
    x15 - x16 - 1.45937721785837*b275 >= -2.55798950652648,  #= e736: =#
    x16 - x17 - 1.45937721785837*b276 >= -2.55798950652648,  #= e737: =#
    x17 - x18 - 1.45937721785837*b277 >= -2.55798950652648,  #= e738: =#
    x18 - x19 - 1.45937721785837*b278 >= -2.55798950652648,  #= e739: =#
    x19 - x20 - 1.45937721785837*b279 >= -2.55798950652648,  #= e740: =#
    x21 - x22 - 2.53921199464554*b271 >= -3.63782428331365,  #= e741: =#
    x22 - x23 - 2.53921199464554*b272 >= -3.63782428331365,  #= e742: =#
    x23 - x24 - 2.53921199464554*b273 >= -3.63782428331365,  #= e743: =#
    x24 - x25 - 2.53921199464554*b274 >= -3.63782428331365,  #= e744: =#
    x25 - x26 - 2.53921199464554*b275 >= -3.63782428331365,  #= e745: =#
    x26 - x27 - 2.53921199464554*b276 >= -3.63782428331365,  #= e746: =#
    x27 - x28 - 2.53921199464554*b277 >= -3.63782428331365,  #= e747: =#
    x28 - x29 - 2.53921199464554*b278 >= -3.63782428331365,  #= e748: =#
    x29 - x30 - 2.53921199464554*b279 >= -3.63782428331365,  #= e749: =#
    x31 - x32 - 2.15330339027829*b271 >= -3.2519156789464,  #= e750: =#
    x32 - x33 - 2.15330339027829*b272 >= -3.2519156789464,  #= e751: =#
    x33 - x34 - 2.15330339027829*b273 >= -3.2519156789464,  #= e752: =#
    x34 - x35 - 2.15330339027829*b274 >= -3.2519156789464,  #= e753: =#
    x35 - x36 - 2.15330339027829*b275 >= -3.2519156789464,  #= e754: =#
    x36 - x37 - 2.15330339027829*b276 >= -3.2519156789464,  #= e755: =#
    x37 - x38 - 2.15330339027829*b277 >= -3.2519156789464,  #= e756: =#
    x38 - x39 - 2.15330339027829*b278 >= -3.2519156789464,  #= e757: =#
    x39 - x40 - 2.15330339027829*b279 >= -3.2519156789464,  #= e758: =#
    x41 - x42 - 1.98784387242826*b271 >= -3.08645616109637,  #= e759: =#
    x42 - x43 - 1.98784387242826*b272 >= -3.08645616109637,  #= e760: =#
    x43 - x44 - 1.98784387242826*b273 >= -3.08645616109637,  #= e761: =#
    x44 - x45 - 1.98784387242826*b274 >= -3.08645616109637,  #= e762: =#
    x45 - x46 - 1.98784387242826*b275 >= -3.08645616109637,  #= e763: =#
    x46 - x47 - 1.98784387242826*b276 >= -3.08645616109637,  #= e764: =#
    x47 - x48 - 1.98784387242826*b277 >= -3.08645616109637,  #= e765: =#
    x48 - x49 - 1.98784387242826*b278 >= -3.08645616109637,  #= e766: =#
    x49 - x50 - 1.98784387242826*b279 >= -3.08645616109637,  #= e767: =#
    x51 - x52 - 2.7246152179769*b271 >= -3.82322750664501,  #= e768: =#
    x52 - x53 - 2.7246152179769*b272 >= -3.82322750664501,  #= e769: =#
    x53 - x54 - 2.7246152179769*b273 >= -3.82322750664501,  #= e770: =#
    x54 - x55 - 2.7246152179769*b274 >= -3.82322750664501,  #= e771: =#
    x55 - x56 - 2.7246152179769*b275 >= -3.82322750664501,  #= e772: =#
    x56 - x57 - 2.7246152179769*b276 >= -3.82322750664501,  #= e773: =#
    x57 - x58 - 2.7246152179769*b277 >= -3.82322750664501,  #= e774: =#
    x58 - x59 - 2.7246152179769*b278 >= -3.82322750664501,  #= e775: =#
    x59 - x60 - 2.7246152179769*b279 >= -3.82322750664501,  #= e776: =#
    x61 - x62 - 2.86282607632339*b271 >= -3.9614383649915,  #= e777: =#
    x62 - x63 - 2.86282607632339*b272 >= -3.9614383649915,  #= e778: =#
    x63 - x64 - 2.86282607632339*b273 >= -3.9614383649915,  #= e779: =#
    x64 - x65 - 2.86282607632339*b274 >= -3.9614383649915,  #= e780: =#
    x65 - x66 - 2.86282607632339*b275 >= -3.9614383649915,  #= e781: =#
    x66 - x67 - 2.86282607632339*b276 >= -3.9614383649915,  #= e782: =#
    x67 - x68 - 2.86282607632339*b277 >= -3.9614383649915,  #= e783: =#
    x68 - x69 - 2.86282607632339*b278 >= -3.9614383649915,  #= e784: =#
    x69 - x70 - 2.86282607632339*b279 >= -3.9614383649915,  #= e785: =#
    x71 - x72 - 1.84763467312072*b271 >= -2.94624696178883,  #= e786: =#
    x72 - x73 - 1.84763467312072*b272 >= -2.94624696178883,  #= e787: =#
    x73 - x74 - 1.84763467312072*b273 >= -2.94624696178883,  #= e788: =#
    x74 - x75 - 1.84763467312072*b274 >= -2.94624696178883,  #= e789: =#
    x75 - x76 - 1.84763467312072*b275 >= -2.94624696178883,  #= e790: =#
    x76 - x77 - 1.84763467312072*b276 >= -2.94624696178883,  #= e791: =#
    x77 - x78 - 1.84763467312072*b277 >= -2.94624696178883,  #= e792: =#
    x78 - x79 - 1.84763467312072*b278 >= -2.94624696178883,  #= e793: =#
    x79 - x80 - 1.84763467312072*b279 >= -2.94624696178883,  #= e794: =#
    x81 - x82 - 2.22778688291886*b271 >= -3.32639917158697,  #= e795: =#
    x82 - x83 - 2.22778688291886*b272 >= -3.32639917158697,  #= e796: =#
    x83 - x84 - 2.22778688291886*b273 >= -3.32639917158697,  #= e797: =#
    x84 - x85 - 2.22778688291886*b274 >= -3.32639917158697,  #= e798: =#
    x85 - x86 - 2.22778688291886*b275 >= -3.32639917158697,  #= e799: =#
    x86 - x87 - 2.22778688291886*b276 >= -3.32639917158697,  #= e800: =#
    x87 - x88 - 2.22778688291886*b277 >= -3.32639917158697,  #= e801: =#
    x88 - x89 - 2.22778688291886*b278 >= -3.32639917158697,  #= e802: =#
    x89 - x90 - 2.22778688291886*b279 >= -3.32639917158697,  #= e803: =#
    x91 - x92 - 1.87188551370734*b271 >= -2.97049780237545,  #= e804: =#
    x92 - x93 - 1.87188551370734*b272 >= -2.97049780237545,  #= e805: =#
    x93 - x94 - 1.87188551370734*b273 >= -2.97049780237545,  #= e806: =#
    x94 - x95 - 1.87188551370734*b274 >= -2.97049780237545,  #= e807: =#
    x95 - x96 - 1.87188551370734*b275 >= -2.97049780237545,  #= e808: =#
    x96 - x97 - 1.87188551370734*b276 >= -2.97049780237545,  #= e809: =#
    x97 - x98 - 1.87188551370734*b277 >= -2.97049780237545,  #= e810: =#
    x98 - x99 - 1.87188551370734*b278 >= -2.97049780237545,  #= e811: =#
    x99 - x100 - 1.87188551370734*b279 >= -2.97049780237545,  #= e812: =#
    x101 - x102 - 1.88842771364195*b271 >= -2.98704000231006,  #= e813: =#
    x102 - x103 - 1.88842771364195*b272 >= -2.98704000231006,  #= e814: =#
    x103 - x104 - 1.88842771364195*b273 >= -2.98704000231006,  #= e815: =#
    x104 - x105 - 1.88842771364195*b274 >= -2.98704000231006,  #= e816: =#
    x105 - x106 - 1.88842771364195*b275 >= -2.98704000231006,  #= e817: =#
    x106 - x107 - 1.88842771364195*b276 >= -2.98704000231006,  #= e818: =#
    x107 - x108 - 1.88842771364195*b277 >= -2.98704000231006,  #= e819: =#
    x108 - x109 - 1.88842771364195*b278 >= -2.98704000231006,  #= e820: =#
    x109 - x110 - 1.88842771364195*b279 >= -2.98704000231006,  #= e821: =#
    x132 - 18.8261458520605*b271 <= -9.21034037197618,  #= e823: =#
    x133 - 18.8261458520605*b272 <= -9.21034037197618,  #= e824: =#
    x134 - 18.8261458520605*b273 <= -9.21034037197618,  #= e825: =#
    x135 - 18.8261458520605*b274 <= -9.21034037197618,  #= e826: =#
    x136 - 18.8261458520605*b275 <= -9.21034037197618,  #= e827: =#
    x137 - 18.8261458520605*b276 <= -9.21034037197618,  #= e828: =#
    x138 - 18.8261458520605*b277 <= -9.21034037197618,  #= e829: =#
    x139 - 18.8261458520605*b278 <= -9.21034037197618,  #= e830: =#
    x140 - 18.8261458520605*b279 <= -9.21034037197618,  #= e831: =#
    x132 + 13.8155105579643*b271 >= -9.21034037197618,  #= e832: =#
    x133 + 13.8155105579643*b272 >= -9.21034037197618,  #= e833: =#
    x134 + 13.8155105579643*b273 >= -9.21034037197618,  #= e834: =#
    x135 + 13.8155105579643*b274 >= -9.21034037197618,  #= e835: =#
    x136 + 13.8155105579643*b275 >= -9.21034037197618,  #= e836: =#
    x137 + 13.8155105579643*b276 >= -9.21034037197618,  #= e837: =#
    x138 + 13.8155105579643*b277 >= -9.21034037197618,  #= e838: =#
    x139 + 13.8155105579643*b278 >= -9.21034037197618,  #= e839: =#
    x140 + 13.8155105579643*b279 >= -9.21034037197618,  #= e840: =#
    x11 - x12 - 2.55798950652648*b271 <= 0,  #= e841: =#
    x12 - x13 - 2.55798950652648*b272 <= 0,  #= e842: =#
    x13 - x14 - 2.55798950652648*b273 <= 0,  #= e843: =#
    x14 - x15 - 2.55798950652648*b274 <= 0,  #= e844: =#
    x15 - x16 - 2.55798950652648*b275 <= 0,  #= e845: =#
    x16 - x17 - 2.55798950652648*b276 <= 0,  #= e846: =#
    x17 - x18 - 2.55798950652648*b277 <= 0,  #= e847: =#
    x18 - x19 - 2.55798950652648*b278 <= 0,  #= e848: =#
    x19 - x20 - 2.55798950652648*b279 <= 0,  #= e849: =#
    x21 - x22 - 3.63782428331365*b271 <= 0,  #= e850: =#
    x22 - x23 - 3.63782428331365*b272 <= 0,  #= e851: =#
    x23 - x24 - 3.63782428331365*b273 <= 0,  #= e852: =#
    x24 - x25 - 3.63782428331365*b274 <= 0,  #= e853: =#
    x25 - x26 - 3.63782428331365*b275 <= 0,  #= e854: =#
    x26 - x27 - 3.63782428331365*b276 <= 0,  #= e855: =#
    x27 - x28 - 3.63782428331365*b277 <= 0,  #= e856: =#
    x28 - x29 - 3.63782428331365*b278 <= 0,  #= e857: =#
    x29 - x30 - 3.63782428331365*b279 <= 0,  #= e858: =#
    x31 - x32 - 3.2519156789464*b271 <= 0,  #= e859: =#
    x32 - x33 - 3.2519156789464*b272 <= 0,  #= e860: =#
    x33 - x34 - 3.2519156789464*b273 <= 0,  #= e861: =#
    x34 - x35 - 3.2519156789464*b274 <= 0,  #= e862: =#
    x35 - x36 - 3.2519156789464*b275 <= 0,  #= e863: =#
    x36 - x37 - 3.2519156789464*b276 <= 0,  #= e864: =#
    x37 - x38 - 3.2519156789464*b277 <= 0,  #= e865: =#
    x38 - x39 - 3.2519156789464*b278 <= 0,  #= e866: =#
    x39 - x40 - 3.2519156789464*b279 <= 0,  #= e867: =#
    x41 - x42 - 3.08645616109637*b271 <= 0,  #= e868: =#
    x42 - x43 - 3.08645616109637*b272 <= 0,  #= e869: =#
    x43 - x44 - 3.08645616109637*b273 <= 0,  #= e870: =#
    x44 - x45 - 3.08645616109637*b274 <= 0,  #= e871: =#
    x45 - x46 - 3.08645616109637*b275 <= 0,  #= e872: =#
    x46 - x47 - 3.08645616109637*b276 <= 0,  #= e873: =#
    x47 - x48 - 3.08645616109637*b277 <= 0,  #= e874: =#
    x48 - x49 - 3.08645616109637*b278 <= 0,  #= e875: =#
    x49 - x50 - 3.08645616109637*b279 <= 0,  #= e876: =#
    x51 - x52 - 3.82322750664501*b271 <= 0,  #= e877: =#
    x52 - x53 - 3.82322750664501*b272 <= 0,  #= e878: =#
    x53 - x54 - 3.82322750664501*b273 <= 0,  #= e879: =#
    x54 - x55 - 3.82322750664501*b274 <= 0,  #= e880: =#
    x55 - x56 - 3.82322750664501*b275 <= 0,  #= e881: =#
    x56 - x57 - 3.82322750664501*b276 <= 0,  #= e882: =#
    x57 - x58 - 3.82322750664501*b277 <= 0,  #= e883: =#
    x58 - x59 - 3.82322750664501*b278 <= 0,  #= e884: =#
    x59 - x60 - 3.82322750664501*b279 <= 0,  #= e885: =#
    x61 - x62 - 3.9614383649915*b271 <= 0,  #= e886: =#
    x62 - x63 - 3.9614383649915*b272 <= 0,  #= e887: =#
    x63 - x64 - 3.9614383649915*b273 <= 0,  #= e888: =#
    x64 - x65 - 3.9614383649915*b274 <= 0,  #= e889: =#
    x65 - x66 - 3.9614383649915*b275 <= 0,  #= e890: =#
    x66 - x67 - 3.9614383649915*b276 <= 0,  #= e891: =#
    x67 - x68 - 3.9614383649915*b277 <= 0,  #= e892: =#
    x68 - x69 - 3.9614383649915*b278 <= 0,  #= e893: =#
    x69 - x70 - 3.9614383649915*b279 <= 0,  #= e894: =#
    x71 - x72 - 2.94624696178883*b271 <= 0,  #= e895: =#
    x72 - x73 - 2.94624696178883*b272 <= 0,  #= e896: =#
    x73 - x74 - 2.94624696178883*b273 <= 0,  #= e897: =#
    x74 - x75 - 2.94624696178883*b274 <= 0,  #= e898: =#
    x75 - x76 - 2.94624696178883*b275 <= 0,  #= e899: =#
    x76 - x77 - 2.94624696178883*b276 <= 0,  #= e900: =#
    x77 - x78 - 2.94624696178883*b277 <= 0,  #= e901: =#
    x78 - x79 - 2.94624696178883*b278 <= 0,  #= e902: =#
    x79 - x80 - 2.94624696178883*b279 <= 0,  #= e903: =#
    x81 - x82 - 3.32639917158697*b271 <= 0,  #= e904: =#
    x82 - x83 - 3.32639917158697*b272 <= 0,  #= e905: =#
    x83 - x84 - 3.32639917158697*b273 <= 0,  #= e906: =#
    x84 - x85 - 3.32639917158697*b274 <= 0,  #= e907: =#
    x85 - x86 - 3.32639917158697*b275 <= 0,  #= e908: =#
    x86 - x87 - 3.32639917158697*b276 <= 0,  #= e909: =#
    x87 - x88 - 3.32639917158697*b277 <= 0,  #= e910: =#
    x88 - x89 - 3.32639917158697*b278 <= 0,  #= e911: =#
    x89 - x90 - 3.32639917158697*b279 <= 0,  #= e912: =#
    x91 - x92 - 2.97049780237545*b271 <= 0,  #= e913: =#
    x92 - x93 - 2.97049780237545*b272 <= 0,  #= e914: =#
    x93 - x94 - 2.97049780237545*b273 <= 0,  #= e915: =#
    x94 - x95 - 2.97049780237545*b274 <= 0,  #= e916: =#
    x95 - x96 - 2.97049780237545*b275 <= 0,  #= e917: =#
    x96 - x97 - 2.97049780237545*b276 <= 0,  #= e918: =#
    x97 - x98 - 2.97049780237545*b277 <= 0,  #= e919: =#
    x98 - x99 - 2.97049780237545*b278 <= 0,  #= e920: =#
    x99 - x100 - 2.97049780237545*b279 <= 0,  #= e921: =#
    x101 - x102 - 2.98704000231006*b271 <= 0,  #= e922: =#
    x102 - x103 - 2.98704000231006*b272 <= 0,  #= e923: =#
    x103 - x104 - 2.98704000231006*b273 <= 0,  #= e924: =#
    x104 - x105 - 2.98704000231006*b274 <= 0,  #= e925: =#
    x105 - x106 - 2.98704000231006*b275 <= 0,  #= e926: =#
    x106 - x107 - 2.98704000231006*b276 <= 0,  #= e927: =#
    x107 - x108 - 2.98704000231006*b277 <= 0,  #= e928: =#
    x108 - x109 - 2.98704000231006*b278 <= 0,  #= e929: =#
    x109 - x110 - 2.98704000231006*b279 <= 0,  #= e930: =#
    x11 - x12 + 2.55798950652648*b271 >= 0,  #= e931: =#
    x12 - x13 + 2.55798950652648*b272 >= 0,  #= e932: =#
    x13 - x14 + 2.55798950652648*b273 >= 0,  #= e933: =#
    x14 - x15 + 2.55798950652648*b274 >= 0,  #= e934: =#
    x15 - x16 + 2.55798950652648*b275 >= 0,  #= e935: =#
    x16 - x17 + 2.55798950652648*b276 >= 0,  #= e936: =#
    x17 - x18 + 2.55798950652648*b277 >= 0,  #= e937: =#
    x18 - x19 + 2.55798950652648*b278 >= 0,  #= e938: =#
    x19 - x20 + 2.55798950652648*b279 >= 0,  #= e939: =#
    x21 - x22 + 3.63782428331365*b271 >= 0,  #= e940: =#
    x22 - x23 + 3.63782428331365*b272 >= 0,  #= e941: =#
    x23 - x24 + 3.63782428331365*b273 >= 0,  #= e942: =#
    x24 - x25 + 3.63782428331365*b274 >= 0,  #= e943: =#
    x25 - x26 + 3.63782428331365*b275 >= 0,  #= e944: =#
    x26 - x27 + 3.63782428331365*b276 >= 0,  #= e945: =#
    x27 - x28 + 3.63782428331365*b277 >= 0,  #= e946: =#
    x28 - x29 + 3.63782428331365*b278 >= 0,  #= e947: =#
    x29 - x30 + 3.63782428331365*b279 >= 0,  #= e948: =#
    x31 - x32 + 3.2519156789464*b271 >= 0,  #= e949: =#
    x32 - x33 + 3.2519156789464*b272 >= 0,  #= e950: =#
    x33 - x34 + 3.2519156789464*b273 >= 0,  #= e951: =#
    x34 - x35 + 3.2519156789464*b274 >= 0,  #= e952: =#
    x35 - x36 + 3.2519156789464*b275 >= 0,  #= e953: =#
    x36 - x37 + 3.2519156789464*b276 >= 0,  #= e954: =#
    x37 - x38 + 3.2519156789464*b277 >= 0,  #= e955: =#
    x38 - x39 + 3.2519156789464*b278 >= 0,  #= e956: =#
    x39 - x40 + 3.2519156789464*b279 >= 0,  #= e957: =#
    x41 - x42 + 3.08645616109637*b271 >= 0,  #= e958: =#
    x42 - x43 + 3.08645616109637*b272 >= 0,  #= e959: =#
    x43 - x44 + 3.08645616109637*b273 >= 0,  #= e960: =#
    x44 - x45 + 3.08645616109637*b274 >= 0,  #= e961: =#
    x45 - x46 + 3.08645616109637*b275 >= 0,  #= e962: =#
    x46 - x47 + 3.08645616109637*b276 >= 0,  #= e963: =#
    x47 - x48 + 3.08645616109637*b277 >= 0,  #= e964: =#
    x48 - x49 + 3.08645616109637*b278 >= 0,  #= e965: =#
    x49 - x50 + 3.08645616109637*b279 >= 0,  #= e966: =#
    x51 - x52 + 3.82322750664501*b271 >= 0,  #= e967: =#
    x52 - x53 + 3.82322750664501*b272 >= 0,  #= e968: =#
    x53 - x54 + 3.82322750664501*b273 >= 0,  #= e969: =#
    x54 - x55 + 3.82322750664501*b274 >= 0,  #= e970: =#
    x55 - x56 + 3.82322750664501*b275 >= 0,  #= e971: =#
    x56 - x57 + 3.82322750664501*b276 >= 0,  #= e972: =#
    x57 - x58 + 3.82322750664501*b277 >= 0,  #= e973: =#
    x58 - x59 + 3.82322750664501*b278 >= 0,  #= e974: =#
    x59 - x60 + 3.82322750664501*b279 >= 0,  #= e975: =#
    x61 - x62 + 3.9614383649915*b271 >= 0,  #= e976: =#
    x62 - x63 + 3.9614383649915*b272 >= 0,  #= e977: =#
    x63 - x64 + 3.9614383649915*b273 >= 0,  #= e978: =#
    x64 - x65 + 3.9614383649915*b274 >= 0,  #= e979: =#
    x65 - x66 + 3.9614383649915*b275 >= 0,  #= e980: =#
    x66 - x67 + 3.9614383649915*b276 >= 0,  #= e981: =#
    x67 - x68 + 3.9614383649915*b277 >= 0,  #= e982: =#
    x68 - x69 + 3.9614383649915*b278 >= 0,  #= e983: =#
    x69 - x70 + 3.9614383649915*b279 >= 0,  #= e984: =#
    x71 - x72 + 2.94624696178883*b271 >= 0,  #= e985: =#
    x72 - x73 + 2.94624696178883*b272 >= 0,  #= e986: =#
    x73 - x74 + 2.94624696178883*b273 >= 0,  #= e987: =#
    x74 - x75 + 2.94624696178883*b274 >= 0,  #= e988: =#
    x75 - x76 + 2.94624696178883*b275 >= 0,  #= e989: =#
    x76 - x77 + 2.94624696178883*b276 >= 0,  #= e990: =#
    x77 - x78 + 2.94624696178883*b277 >= 0,  #= e991: =#
    x78 - x79 + 2.94624696178883*b278 >= 0,  #= e992: =#
    x79 - x80 + 2.94624696178883*b279 >= 0,  #= e993: =#
    x81 - x82 + 3.32639917158697*b271 >= 0,  #= e994: =#
    x82 - x83 + 3.32639917158697*b272 >= 0,  #= e995: =#
    x83 - x84 + 3.32639917158697*b273 >= 0,  #= e996: =#
    x84 - x85 + 3.32639917158697*b274 >= 0,  #= e997: =#
    x85 - x86 + 3.32639917158697*b275 >= 0,  #= e998: =#
    x86 - x87 + 3.32639917158697*b276 >= 0,  #= e999: =#
    x87 - x88 + 3.32639917158697*b277 >= 0,  #= e1000: =#
    x88 - x89 + 3.32639917158697*b278 >= 0,  #= e1001: =#
    x89 - x90 + 3.32639917158697*b279 >= 0,  #= e1002: =#
    x91 - x92 + 2.97049780237545*b271 >= 0,  #= e1003: =#
    x92 - x93 + 2.97049780237545*b272 >= 0,  #= e1004: =#
    x93 - x94 + 2.97049780237545*b273 >= 0,  #= e1005: =#
    x94 - x95 + 2.97049780237545*b274 >= 0,  #= e1006: =#
    x95 - x96 + 2.97049780237545*b275 >= 0,  #= e1007: =#
    x96 - x97 + 2.97049780237545*b276 >= 0,  #= e1008: =#
    x97 - x98 + 2.97049780237545*b277 >= 0,  #= e1009: =#
    x98 - x99 + 2.97049780237545*b278 >= 0,  #= e1010: =#
    x99 - x100 + 2.97049780237545*b279 >= 0,  #= e1011: =#
    x101 - x102 + 2.98704000231006*b271 >= 0,  #= e1012: =#
    x102 - x103 + 2.98704000231006*b272 >= 0,  #= e1013: =#
    x103 - x104 + 2.98704000231006*b273 >= 0,  #= e1014: =#
    x104 - x105 + 2.98704000231006*b274 >= 0,  #= e1015: =#
    x105 - x106 + 2.98704000231006*b275 >= 0,  #= e1016: =#
    x106 - x107 + 2.98704000231006*b276 >= 0,  #= e1017: =#
    x107 - x108 + 2.98704000231006*b277 >= 0,  #= e1018: =#
    x108 - x109 + 2.98704000231006*b278 >= 0,  #= e1019: =#
    x109 - x110 + 2.98704000231006*b279 >= 0,  #= e1020: =#
x1 >= 5.7037824746562,
x1 <= 8.1605182474775,
x2 >= 5.7037824746562,
x2 <= 8.1605182474775,
x3 >= 5.7037824746562,
x3 <= 8.1605182474775,
x4 >= 5.7037824746562,
x4 <= 8.1605182474775,
x5 >= 5.7037824746562,
x5 <= 8.1605182474775,
x6 >= 5.7037824746562,
x6 <= 8.1605182474775,
x7 >= 5.7037824746562,
x7 <= 8.1605182474775,
x8 >= 5.7037824746562,
x8 <= 8.1605182474775,
x9 >= 5.7037824746562,
x9 <= 8.1605182474775,
x10 >= 5.7037824746562,
x10 <= 8.1605182474775,
x11 >= 3.79423996977176,
x11 <= 6.35222947629824,
x12 >= 3.79423996977176,
x12 <= 6.35222947629824,
x13 >= 3.79423996977176,
x13 <= 6.35222947629824,
x14 >= 3.79423996977176,
x14 <= 6.35222947629824,
x15 >= 3.79423996977176,
x15 <= 6.35222947629824,
x16 >= 3.79423996977176,
x16 <= 6.35222947629824,
x17 >= 3.79423996977176,
x17 <= 6.35222947629824,
x18 >= 3.79423996977176,
x18 <= 6.35222947629824,
x19 >= 3.79423996977176,
x19 <= 6.35222947629824,
x20 >= 3.79423996977176,
x20 <= 6.35222947629824,
x21 >= 3.29891853254174,
x21 <= 6.93674281585539,
x22 >= 3.29891853254174,
x22 <= 6.93674281585539,
x23 >= 3.29891853254174,
x23 <= 6.93674281585539,
x24 >= 3.29891853254174,
x24 <= 6.93674281585539,
x25 >= 3.29891853254174,
x25 <= 6.93674281585539,
x26 >= 3.29891853254174,
x26 <= 6.93674281585539,
x27 >= 3.29891853254174,
x27 <= 6.93674281585539,
x28 >= 3.29891853254174,
x28 <= 6.93674281585539,
x29 >= 3.29891853254174,
x29 <= 6.93674281585539,
x30 >= 3.29891853254174,
x30 <= 6.93674281585539,
x31 >= 3.44998754583159,
x31 <= 6.70190322477799,
x32 >= 3.44998754583159,
x32 <= 6.70190322477799,
x33 >= 3.44998754583159,
x33 <= 6.70190322477799,
x34 >= 3.44998754583159,
x34 <= 6.70190322477799,
x35 >= 3.44998754583159,
x35 <= 6.70190322477799,
x36 >= 3.44998754583159,
x36 <= 6.70190322477799,
x37 >= 3.44998754583159,
x37 <= 6.70190322477799,
x38 >= 3.44998754583159,
x38 <= 6.70190322477799,
x39 >= 3.44998754583159,
x39 <= 6.70190322477799,
x40 >= 3.44998754583159,
x40 <= 6.70190322477799,
x41 >= 3.31620416882876,
x41 <= 6.40266032992513,
x42 >= 3.31620416882876,
x42 <= 6.40266032992513,
x43 >= 3.31620416882876,
x43 <= 6.40266032992513,
x44 >= 3.31620416882876,
x44 <= 6.40266032992513,
x45 >= 3.31620416882876,
x45 <= 6.40266032992513,
x46 >= 3.31620416882876,
x46 <= 6.40266032992513,
x47 >= 3.31620416882876,
x47 <= 6.40266032992513,
x48 >= 3.31620416882876,
x48 <= 6.40266032992513,
x49 >= 3.31620416882876,
x49 <= 6.40266032992513,
x50 >= 3.31620416882876,
x50 <= 6.40266032992513,
x51 >= 2.83321334405622,
x51 <= 6.65644085070123,
x52 >= 2.83321334405622,
x52 <= 6.65644085070123,
x53 >= 2.83321334405622,
x53 <= 6.65644085070123,
x54 >= 2.83321334405622,
x54 <= 6.65644085070123,
x55 >= 2.83321334405622,
x55 <= 6.65644085070123,
x56 >= 2.83321334405622,
x56 <= 6.65644085070123,
x57 >= 2.83321334405622,
x57 <= 6.65644085070123,
x58 >= 2.83321334405622,
x58 <= 6.65644085070123,
x59 >= 2.83321334405622,
x59 <= 6.65644085070123,
x60 >= 2.83321334405622,
x60 <= 6.65644085070123,
x61 >= 2.69500248570973,
x61 <= 6.65644085070123,
x62 >= 2.69500248570973,
x62 <= 6.65644085070123,
x63 >= 2.69500248570973,
x63 <= 6.65644085070123,
x64 >= 2.69500248570973,
x64 <= 6.65644085070123,
x65 >= 2.69500248570973,
x65 <= 6.65644085070123,
x66 >= 2.69500248570973,
x66 <= 6.65644085070123,
x67 >= 2.69500248570973,
x67 <= 6.65644085070123,
x68 >= 2.69500248570973,
x68 <= 6.65644085070123,
x69 >= 2.69500248570973,
x69 <= 6.65644085070123,
x70 >= 2.69500248570973,
x70 <= 6.65644085070123,
x71 >= 3.5656126601013,
x71 <= 6.51185962189012,
x72 >= 3.5656126601013,
x72 <= 6.51185962189012,
x73 >= 3.5656126601013,
x73 <= 6.51185962189012,
x74 >= 3.5656126601013,
x74 <= 6.51185962189012,
x75 >= 3.5656126601013,
x75 <= 6.51185962189012,
x76 >= 3.5656126601013,
x76 <= 6.51185962189012,
x77 >= 3.5656126601013,
x77 <= 6.51185962189012,
x78 >= 3.5656126601013,
x78 <= 6.51185962189012,
x79 >= 3.5656126601013,
x79 <= 6.51185962189012,
x80 >= 3.5656126601013,
x80 <= 6.51185962189012,
x81 >= 3.16641225533246,
x81 <= 6.49281142691943,
x82 >= 3.16641225533246,
x82 <= 6.49281142691943,
x83 >= 3.16641225533246,
x83 <= 6.49281142691943,
x84 >= 3.16641225533246,
x84 <= 6.49281142691943,
x85 >= 3.16641225533246,
x85 <= 6.49281142691943,
x86 >= 3.16641225533246,
x86 <= 6.49281142691943,
x87 >= 3.16641225533246,
x87 <= 6.49281142691943,
x88 >= 3.16641225533246,
x88 <= 6.49281142691943,
x89 >= 3.16641225533246,
x89 <= 6.49281142691943,
x90 >= 3.16641225533246,
x90 <= 6.49281142691943,
x91 >= 3.54136181951467,
x91 <= 6.51185962189012,
x92 >= 3.54136181951467,
x92 <= 6.51185962189012,
x93 >= 3.54136181951467,
x93 <= 6.51185962189012,
x94 >= 3.54136181951467,
x94 <= 6.51185962189012,
x95 >= 3.54136181951467,
x95 <= 6.51185962189012,
x96 >= 3.54136181951467,
x96 <= 6.51185962189012,
x97 >= 3.54136181951467,
x97 <= 6.51185962189012,
x98 >= 3.54136181951467,
x98 <= 6.51185962189012,
x99 >= 3.54136181951467,
x99 <= 6.51185962189012,
x100 >= 3.54136181951467,
x100 <= 6.51185962189012,
x101 >= 3.3489289531164,
x101 <= 6.33596895542646,
x102 >= 3.3489289531164,
x102 <= 6.33596895542646,
x103 >= 3.3489289531164,
x103 <= 6.33596895542646,
x104 >= 3.3489289531164,
x104 <= 6.33596895542646,
x105 >= 3.3489289531164,
x105 <= 6.33596895542646,
x106 >= 3.3489289531164,
x106 <= 6.33596895542646,
x107 >= 3.3489289531164,
x107 <= 6.33596895542646,
x108 >= 3.3489289531164,
x108 <= 6.33596895542646,
x109 >= 3.3489289531164,
x109 <= 6.33596895542646,
x110 >= 3.3489289531164,
x110 <= 6.33596895542646,
x111 >= 0.0,
x111 <= 1.79175946922805,
x112 >= 0.0,
x112 <= 1.79175946922805,
x113 >= 0.0,
x113 <= 1.79175946922805,
x114 >= 0.0,
x114 <= 1.79175946922805,
x115 >= 0.0,
x115 <= 1.79175946922805,
x116 >= 0.0,
x116 <= 1.79175946922805,
x117 >= 0.0,
x117 <= 1.79175946922805,
x118 >= 0.0,
x118 <= 1.79175946922805,
x119 >= 0.0,
x119 <= 1.79175946922805,
x120 >= 0.0,
x120 <= 1.79175946922805,
x121 >= 0.0,
x121 <= 1.79175946922805,
x122 >= 0.0,
x122 <= 1.79175946922805,
x123 >= 0.0,
x123 <= 1.79175946922805,
x124 >= 0.0,
x124 <= 1.79175946922805,
x125 >= 0.0,
x125 <= 1.79175946922805,
x126 >= 0.0,
x126 <= 1.79175946922805,
x127 >= 0.0,
x127 <= 1.79175946922805,
x128 >= 0.0,
x128 <= 1.79175946922805,
x129 >= 0.0,
x129 <= 1.79175946922805,
x130 >= 0.0,
x130 <= 1.79175946922805,
x132 >= 4.60517018598809,
x132 <= 9.61580548008435,
x133 >= 4.60517018598809,
x133 <= 9.61580548008435,
x134 >= 4.60517018598809,
x134 <= 9.61580548008435,
x135 >= 4.60517018598809,
x135 <= 9.61580548008435,
x136 >= 4.60517018598809,
x136 <= 9.61580548008435,
x137 >= 4.60517018598809,
x137 <= 9.61580548008435,
x138 >= 4.60517018598809,
x138 <= 9.61580548008435,
x139 >= 4.60517018598809,
x139 <= 9.61580548008435,
x140 >= 4.60517018598809,
x140 <= 9.61580548008435,
b151 >= 0.0,
b151 <= 1.0,
b152 >= 0.0,
b152 <= 1.0,
b153 >= 0.0,
b153 <= 1.0,
b154 >= 0.0,
b154 <= 1.0,
b155 >= 0.0,
b155 <= 1.0,
b156 >= 0.0,
b156 <= 1.0,
b157 >= 0.0,
b157 <= 1.0,
b158 >= 0.0,
b158 <= 1.0,
b159 >= 0.0,
b159 <= 1.0,
b160 >= 0.0,
b160 <= 1.0,
b161 >= 0.0,
b161 <= 1.0,
b162 >= 0.0,
b162 <= 1.0,
b163 >= 0.0,
b163 <= 1.0,
b164 >= 0.0,
b164 <= 1.0,
b165 >= 0.0,
b165 <= 1.0,
b166 >= 0.0,
b166 <= 1.0,
b167 >= 0.0,
b167 <= 1.0,
b168 >= 0.0,
b168 <= 1.0,
b169 >= 0.0,
b169 <= 1.0,
b170 >= 0.0,
b170 <= 1.0,
b171 >= 0.0,
b171 <= 1.0,
b172 >= 0.0,
b172 <= 1.0,
b173 >= 0.0,
b173 <= 1.0,
b174 >= 0.0,
b174 <= 1.0,
b175 >= 0.0,
b175 <= 1.0,
b176 >= 0.0,
b176 <= 1.0,
b177 >= 0.0,
b177 <= 1.0,
b178 >= 0.0,
b178 <= 1.0,
b179 >= 0.0,
b179 <= 1.0,
b180 >= 0.0,
b180 <= 1.0,
b181 >= 0.0,
b181 <= 1.0,
b182 >= 0.0,
b182 <= 1.0,
b183 >= 0.0,
b183 <= 1.0,
b184 >= 0.0,
b184 <= 1.0,
b185 >= 0.0,
b185 <= 1.0,
b186 >= 0.0,
b186 <= 1.0,
b187 >= 0.0,
b187 <= 1.0,
b188 >= 0.0,
b188 <= 1.0,
b189 >= 0.0,
b189 <= 1.0,
b190 >= 0.0,
b190 <= 1.0,
b191 >= 0.0,
b191 <= 1.0,
b192 >= 0.0,
b192 <= 1.0,
b193 >= 0.0,
b193 <= 1.0,
b194 >= 0.0,
b194 <= 1.0,
b195 >= 0.0,
b195 <= 1.0,
b196 >= 0.0,
b196 <= 1.0,
b197 >= 0.0,
b197 <= 1.0,
b198 >= 0.0,
b198 <= 1.0,
b199 >= 0.0,
b199 <= 1.0,
b200 >= 0.0,
b200 <= 1.0,
b201 >= 0.0,
b201 <= 1.0,
b202 >= 0.0,
b202 <= 1.0,
b203 >= 0.0,
b203 <= 1.0,
b204 >= 0.0,
b204 <= 1.0,
b205 >= 0.0,
b205 <= 1.0,
b206 >= 0.0,
b206 <= 1.0,
b207 >= 0.0,
b207 <= 1.0,
b208 >= 0.0,
b208 <= 1.0,
b209 >= 0.0,
b209 <= 1.0,
b210 >= 0.0,
b210 <= 1.0,
b211 >= 0.0,
b211 <= 1.0,
b212 >= 0.0,
b212 <= 1.0,
b213 >= 0.0,
b213 <= 1.0,
b214 >= 0.0,
b214 <= 1.0,
b215 >= 0.0,
b215 <= 1.0,
b216 >= 0.0,
b216 <= 1.0,
b217 >= 0.0,
b217 <= 1.0,
b218 >= 0.0,
b218 <= 1.0,
b219 >= 0.0,
b219 <= 1.0,
b220 >= 0.0,
b220 <= 1.0,
b221 >= 0.0,
b221 <= 1.0,
b222 >= 0.0,
b222 <= 1.0,
b223 >= 0.0,
b223 <= 1.0,
b224 >= 0.0,
b224 <= 1.0,
b225 >= 0.0,
b225 <= 1.0,
b226 >= 0.0,
b226 <= 1.0,
b227 >= 0.0,
b227 <= 1.0,
b228 >= 0.0,
b228 <= 1.0,
b229 >= 0.0,
b229 <= 1.0,
b230 >= 0.0,
b230 <= 1.0,
b231 >= 0.0,
b231 <= 1.0,
b232 >= 0.0,
b232 <= 1.0,
b233 >= 0.0,
b233 <= 1.0,
b234 >= 0.0,
b234 <= 1.0,
b235 >= 0.0,
b235 <= 1.0,
b236 >= 0.0,
b236 <= 1.0,
b237 >= 0.0,
b237 <= 1.0,
b238 >= 0.0,
b238 <= 1.0,
b239 >= 0.0,
b239 <= 1.0,
b240 >= 0.0,
b240 <= 1.0,
b241 >= 0.0,
b241 <= 1.0,
b242 >= 0.0,
b242 <= 1.0,
b243 >= 0.0,
b243 <= 1.0,
b244 >= 0.0,
b244 <= 1.0,
b245 >= 0.0,
b245 <= 1.0,
b246 >= 0.0,
b246 <= 1.0,
b247 >= 0.0,
b247 <= 1.0,
b248 >= 0.0,
b248 <= 1.0,
b249 >= 0.0,
b249 <= 1.0,
b250 >= 0.0,
b250 <= 1.0,
b251 >= 0.0,
b251 <= 1.0,
b252 >= 0.0,
b252 <= 1.0,
b253 >= 0.0,
b253 <= 1.0,
b254 >= 0.0,
b254 <= 1.0,
b255 >= 0.0,
b255 <= 1.0,
b256 >= 0.0,
b256 <= 1.0,
b257 >= 0.0,
b257 <= 1.0,
b258 >= 0.0,
b258 <= 1.0,
b259 >= 0.0,
b259 <= 1.0,
b260 >= 0.0,
b260 <= 1.0,
b261 >= 0.0,
b261 <= 1.0,
b262 >= 0.0,
b262 <= 1.0,
b263 >= 0.0,
b263 <= 1.0,
b264 >= 0.0,
b264 <= 1.0,
b265 >= 0.0,
b265 <= 1.0,
b266 >= 0.0,
b266 <= 1.0,
b267 >= 0.0,
b267 <= 1.0,
b268 >= 0.0,
b268 <= 1.0,
b269 >= 0.0,
b269 <= 1.0,
b270 >= 0.0,
b270 <= 1.0,
b271 >= 0.0,
b271 <= 1.0,
b272 >= 0.0,
b272 <= 1.0,
b273 >= 0.0,
b273 <= 1.0,
b274 >= 0.0,
b274 <= 1.0,
b275 >= 0.0,
b275 <= 1.0,
b276 >= 0.0,
b276 <= 1.0,
b277 >= 0.0,
b277 <= 1.0,
b278 >= 0.0,
b278 <= 1.0,
b279 >= 0.0,
b279 <= 1.0,
)
solve!(problem, SCSSolver(max_iters=100000))
#solve!(problem, ConicNLPWrapper(IpoptSolver()))
#solve!(problem, ECOSSolver())