## ams_version=1.0 Model Main_tls7 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable i8 { Range: integer; } Variable i9 { Range: integer; } Variable i10 { Range: integer; } Variable i11 { Range: integer; } Variable i12 { Range: integer; } Variable i13 { Range: integer; } Variable i14 { Range: integer; } Variable x15; Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable x31; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37; Variable x38; Variable x39; Variable x40; Variable x41; Variable x42; Variable x43; Variable x44; Variable x45; Variable x46; Variable x47; Variable x48; Variable x49; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Variable b301 { Range: binary; } Variable b302 { Range: binary; } Variable b303 { Range: binary; } Variable b304 { Range: binary; } Variable b305 { Range: binary; } Variable b306 { Range: binary; } Variable b307 { Range: binary; } Variable b308 { Range: binary; } Variable b309 { Range: binary; } Variable b310 { Range: binary; } Variable b311 { Range: binary; } Variable b312 { Range: binary; } Variable b313 { Range: binary; } Variable b314 { Range: binary; } Variable b315 { Range: binary; } Variable b316 { Range: binary; } Variable b317 { Range: binary; } Variable b318 { Range: binary; } Variable b319 { Range: binary; } Variable b320 { Range: binary; } Variable b321 { Range: binary; } Variable b322 { Range: binary; } Variable b323 { Range: binary; } Variable b324 { Range: binary; } Variable b325 { Range: binary; } Variable b326 { Range: binary; } Variable b327 { Range: binary; } Variable b328 { Range: binary; } Variable b329 { Range: binary; } Variable b330 { Range: binary; } Variable b331 { Range: binary; } Variable b332 { Range: binary; } Variable b333 { Range: binary; } Variable b334 { Range: binary; } Variable b335 { Range: binary; } Variable b336 { Range: binary; } Variable b337 { Range: binary; } Variable b338 { Range: binary; } Variable b339 { Range: binary; } Variable b340 { Range: binary; } Variable b341 { Range: binary; } Variable b342 { Range: binary; } Variable b343 { Range: binary; } Variable b344 { Range: binary; } Variable b345 { Range: binary; } Variable objvar; Constraint e1 { Definition: { - 0.1*b1 - 0.2*b2 - 0.3*b3 - 0.4*b4 - 0.5*b5 - 0.6*b6 - 0.7*b7 - b64 - 2*b65 - 3*b66 - 4*b67 - 5*b68 - 6*b69 - 7*b70 - 8*b71 - 9*b72 - 10*b73 - 11*b74 - 12*b75 - 13*b76 - 14*b77 - 15*b78 - b79 - 2*b80 - 3*b81 - 4*b82 - 5*b83 - 6*b84 - 7*b85 - 8*b86 - 9*b87 - 10*b88 - 11*b89 - 12*b90 - b91 - 2*b92 - 3*b93 - 4*b94 - 5*b95 - 6*b96 - 7*b97 - 8*b98 - 9*b99 - 10*b100 - 11*b101 - b102 - 2*b103 - 3*b104 - 4*b105 - 5*b106 - 6*b107 - 7*b108 - 8*b109 - b110 - 2*b111 - 3*b112 - 4*b113 - 5*b114 - 6*b115 - 7*b116 - 8*b117 - b118 - 2*b119 - 3*b120 - 4*b121 - 5*b122 - 6*b123 - b124 - 2*b125 - 3*b126 - 4*b127 - 5*b128 + objvar = 0 } } Constraint e2 { Definition: { 550*b129 + 1100*b130 + 1650*b131 + 2200*b132 + 2750*b133 + 3300*b134 + 630*b171 + 1260*b172 + 1890*b173 + 2520*b174 + 3150*b175 + 685*b206 + 1370*b207 + 2055*b208 + 2740*b209 + 720*b234 + 1440*b235 + 2160*b236 + 2880*b237 + 760*b262 + 1520*b263 + 2280*b264 + 3040*b265 + 810*b290 + 1620*b291 + 2430*b292 + 3240*b293 + 850*b318 + 1700*b319 + 2550*b320 + 3400*b321 <= 3400 } } Constraint e3 { Definition: { 550*b135 + 1100*b136 + 1650*b137 + 2200*b138 + 2750*b139 + 3300*b140 + 630*b176 + 1260*b177 + 1890*b178 + 2520*b179 + 3150*b180 + 685*b210 + 1370*b211 + 2055*b212 + 2740*b213 + 720*b238 + 1440*b239 + 2160*b240 + 2880*b241 + 760*b266 + 1520*b267 + 2280*b268 + 3040*b269 + 810*b294 + 1620*b295 + 2430*b296 + 3240*b297 + 850*b322 + 1700*b323 + 2550*b324 + 3400*b325 <= 3400 } } Constraint e4 { Definition: { 550*b141 + 1100*b142 + 1650*b143 + 2200*b144 + 2750*b145 + 3300*b146 + 630*b181 + 1260*b182 + 1890*b183 + 2520*b184 + 3150*b185 + 685*b214 + 1370*b215 + 2055*b216 + 2740*b217 + 720*b242 + 1440*b243 + 2160*b244 + 2880*b245 + 760*b270 + 1520*b271 + 2280*b272 + 3040*b273 + 810*b298 + 1620*b299 + 2430*b300 + 3240*b301 + 850*b326 + 1700*b327 + 2550*b328 + 3400*b329 <= 3400 } } Constraint e5 { Definition: { 550*b147 + 1100*b148 + 1650*b149 + 2200*b150 + 2750*b151 + 3300*b152 + 630*b186 + 1260*b187 + 1890*b188 + 2520*b189 + 3150*b190 + 685*b218 + 1370*b219 + 2055*b220 + 2740*b221 + 720*b246 + 1440*b247 + 2160*b248 + 2880*b249 + 760*b274 + 1520*b275 + 2280*b276 + 3040*b277 + 810*b302 + 1620*b303 + 2430*b304 + 3240*b305 + 850*b330 + 1700*b331 + 2550*b332 + 3400*b333 <= 3400 } } Constraint e6 { Definition: { 550*b153 + 1100*b154 + 1650*b155 + 2200*b156 + 2750*b157 + 3300*b158 + 630*b191 + 1260*b192 + 1890*b193 + 2520*b194 + 3150*b195 + 685*b222 + 1370*b223 + 2055*b224 + 2740*b225 + 720*b250 + 1440*b251 + 2160*b252 + 2880*b253 + 760*b278 + 1520*b279 + 2280*b280 + 3040*b281 + 810*b306 + 1620*b307 + 2430*b308 + 3240*b309 + 850*b334 + 1700*b335 + 2550*b336 + 3400*b337 <= 3400 } } Constraint e7 { Definition: { 550*b159 + 1100*b160 + 1650*b161 + 2200*b162 + 2750*b163 + 3300*b164 + 630*b196 + 1260*b197 + 1890*b198 + 2520*b199 + 3150*b200 + 685*b226 + 1370*b227 + 2055*b228 + 2740*b229 + 720*b254 + 1440*b255 + 2160*b256 + 2880*b257 + 760*b282 + 1520*b283 + 2280*b284 + 3040*b285 + 810*b310 + 1620*b311 + 2430*b312 + 3240*b313 + 850*b338 + 1700*b339 + 2550*b340 + 3400*b341 <= 3400 } } Constraint e8 { Definition: { 550*b165 + 1100*b166 + 1650*b167 + 2200*b168 + 2750*b169 + 3300*b170 + 630*b201 + 1260*b202 + 1890*b203 + 2520*b204 + 3150*b205 + 685*b230 + 1370*b231 + 2055*b232 + 2740*b233 + 720*b258 + 1440*b259 + 2160*b260 + 2880*b261 + 760*b286 + 1520*b287 + 2280*b288 + 3040*b289 + 810*b314 + 1620*b315 + 2430*b316 + 3240*b317 + 850*b342 + 1700*b343 + 2550*b344 + 3400*b345 <= 3400 } } Constraint e9 { Definition: { - 550*b129 - 1100*b130 - 1650*b131 - 2200*b132 - 2750*b133 - 3300*b134 - 630*b171 - 1260*b172 - 1890*b173 - 2520*b174 - 3150*b175 - 685*b206 - 1370*b207 - 2055*b208 - 2740*b209 - 720*b234 - 1440*b235 - 2160*b236 - 2880*b237 - 760*b262 - 1520*b263 - 2280*b264 - 3040*b265 - 810*b290 - 1620*b291 - 2430*b292 - 3240*b293 - 850*b318 - 1700*b319 - 2550*b320 - 3400*b321 <= -3200 } } Constraint e10 { Definition: { - 550*b135 - 1100*b136 - 1650*b137 - 2200*b138 - 2750*b139 - 3300*b140 - 630*b176 - 1260*b177 - 1890*b178 - 2520*b179 - 3150*b180 - 685*b210 - 1370*b211 - 2055*b212 - 2740*b213 - 720*b238 - 1440*b239 - 2160*b240 - 2880*b241 - 760*b266 - 1520*b267 - 2280*b268 - 3040*b269 - 810*b294 - 1620*b295 - 2430*b296 - 3240*b297 - 850*b322 - 1700*b323 - 2550*b324 - 3400*b325 <= -3200 } } Constraint e11 { Definition: { - 550*b141 - 1100*b142 - 1650*b143 - 2200*b144 - 2750*b145 - 3300*b146 - 630*b181 - 1260*b182 - 1890*b183 - 2520*b184 - 3150*b185 - 685*b214 - 1370*b215 - 2055*b216 - 2740*b217 - 720*b242 - 1440*b243 - 2160*b244 - 2880*b245 - 760*b270 - 1520*b271 - 2280*b272 - 3040*b273 - 810*b298 - 1620*b299 - 2430*b300 - 3240*b301 - 850*b326 - 1700*b327 - 2550*b328 - 3400*b329 <= -3200 } } Constraint e12 { Definition: { - 550*b147 - 1100*b148 - 1650*b149 - 2200*b150 - 2750*b151 - 3300*b152 - 630*b186 - 1260*b187 - 1890*b188 - 2520*b189 - 3150*b190 - 685*b218 - 1370*b219 - 2055*b220 - 2740*b221 - 720*b246 - 1440*b247 - 2160*b248 - 2880*b249 - 760*b274 - 1520*b275 - 2280*b276 - 3040*b277 - 810*b302 - 1620*b303 - 2430*b304 - 3240*b305 - 850*b330 - 1700*b331 - 2550*b332 - 3400*b333 <= -3200 } } Constraint e13 { Definition: { - 550*b153 - 1100*b154 - 1650*b155 - 2200*b156 - 2750*b157 - 3300*b158 - 630*b191 - 1260*b192 - 1890*b193 - 2520*b194 - 3150*b195 - 685*b222 - 1370*b223 - 2055*b224 - 2740*b225 - 720*b250 - 1440*b251 - 2160*b252 - 2880*b253 - 760*b278 - 1520*b279 - 2280*b280 - 3040*b281 - 810*b306 - 1620*b307 - 2430*b308 - 3240*b309 - 850*b334 - 1700*b335 - 2550*b336 - 3400*b337 <= -3200 } } Constraint e14 { Definition: { - 550*b159 - 1100*b160 - 1650*b161 - 2200*b162 - 2750*b163 - 3300*b164 - 630*b196 - 1260*b197 - 1890*b198 - 2520*b199 - 3150*b200 - 685*b226 - 1370*b227 - 2055*b228 - 2740*b229 - 720*b254 - 1440*b255 - 2160*b256 - 2880*b257 - 760*b282 - 1520*b283 - 2280*b284 - 3040*b285 - 810*b310 - 1620*b311 - 2430*b312 - 3240*b313 - 850*b338 - 1700*b339 - 2550*b340 - 3400*b341 <= -3200 } } Constraint e15 { Definition: { - 550*b165 - 1100*b166 - 1650*b167 - 2200*b168 - 2750*b169 - 3300*b170 - 630*b201 - 1260*b202 - 1890*b203 - 2520*b204 - 3150*b205 - 685*b230 - 1370*b231 - 2055*b232 - 2740*b233 - 720*b258 - 1440*b259 - 2160*b260 - 2880*b261 - 760*b286 - 1520*b287 - 2280*b288 - 3040*b289 - 810*b314 - 1620*b315 - 2430*b316 - 3240*b317 - 850*b342 - 1700*b343 - 2550*b344 - 3400*b345 <= -3200 } } Constraint e16 { Definition: { b129 + 2*b130 + 3*b131 + 4*b132 + 5*b133 + 6*b134 + b171 + 2*b172 + 3*b173 + 4*b174 + 5*b175 + b206 + 2*b207 + 3*b208 + 4*b209 + b234 + 2*b235 + 3*b236 + 4*b237 + b262 + 2*b263 + 3*b264 + 4*b265 + b290 + 2*b291 + 3*b292 + 4*b293 + b318 + 2*b319 + 3*b320 + 4*b321 <= 6 } } Constraint e17 { Definition: { b135 + 2*b136 + 3*b137 + 4*b138 + 5*b139 + 6*b140 + b176 + 2*b177 + 3*b178 + 4*b179 + 5*b180 + b210 + 2*b211 + 3*b212 + 4*b213 + b238 + 2*b239 + 3*b240 + 4*b241 + b266 + 2*b267 + 3*b268 + 4*b269 + b294 + 2*b295 + 3*b296 + 4*b297 + b322 + 2*b323 + 3*b324 + 4*b325 <= 6 } } Constraint e18 { Definition: { b141 + 2*b142 + 3*b143 + 4*b144 + 5*b145 + 6*b146 + b181 + 2*b182 + 3*b183 + 4*b184 + 5*b185 + b214 + 2*b215 + 3*b216 + 4*b217 + b242 + 2*b243 + 3*b244 + 4*b245 + b270 + 2*b271 + 3*b272 + 4*b273 + b298 + 2*b299 + 3*b300 + 4*b301 + b326 + 2*b327 + 3*b328 + 4*b329 <= 6 } } Constraint e19 { Definition: { b147 + 2*b148 + 3*b149 + 4*b150 + 5*b151 + 6*b152 + b186 + 2*b187 + 3*b188 + 4*b189 + 5*b190 + b218 + 2*b219 + 3*b220 + 4*b221 + b246 + 2*b247 + 3*b248 + 4*b249 + b274 + 2*b275 + 3*b276 + 4*b277 + b302 + 2*b303 + 3*b304 + 4*b305 + b330 + 2*b331 + 3*b332 + 4*b333 <= 6 } } Constraint e20 { Definition: { b153 + 2*b154 + 3*b155 + 4*b156 + 5*b157 + 6*b158 + b191 + 2*b192 + 3*b193 + 4*b194 + 5*b195 + b222 + 2*b223 + 3*b224 + 4*b225 + b250 + 2*b251 + 3*b252 + 4*b253 + b278 + 2*b279 + 3*b280 + 4*b281 + b306 + 2*b307 + 3*b308 + 4*b309 + b334 + 2*b335 + 3*b336 + 4*b337 <= 6 } } Constraint e21 { Definition: { b159 + 2*b160 + 3*b161 + 4*b162 + 5*b163 + 6*b164 + b196 + 2*b197 + 3*b198 + 4*b199 + 5*b200 + b226 + 2*b227 + 3*b228 + 4*b229 + b254 + 2*b255 + 3*b256 + 4*b257 + b282 + 2*b283 + 3*b284 + 4*b285 + b310 + 2*b311 + 3*b312 + 4*b313 + b338 + 2*b339 + 3*b340 + 4*b341 <= 6 } } Constraint e22 { Definition: { b165 + 2*b166 + 3*b167 + 4*b168 + 5*b169 + 6*b170 + b201 + 2*b202 + 3*b203 + 4*b204 + 5*b205 + b230 + 2*b231 + 3*b232 + 4*b233 + b258 + 2*b259 + 3*b260 + 4*b261 + b286 + 2*b287 + 3*b288 + 4*b289 + b314 + 2*b315 + 3*b316 + 4*b317 + b342 + 2*b343 + 3*b344 + 4*b345 <= 6 } } Constraint e23 { Definition: { b1 - b64 - 2*b65 - 3*b66 - 4*b67 - 5*b68 - 6*b69 - 7*b70 - 8*b71 - 9*b72 - 10*b73 - 11*b74 - 12*b75 - 13*b76 - 14*b77 - 15*b78 <= 0 } } Constraint e24 { Definition: { b2 - b79 - 2*b80 - 3*b81 - 4*b82 - 5*b83 - 6*b84 - 7*b85 - 8*b86 - 9*b87 - 10*b88 - 11*b89 - 12*b90 <= 0 } } Constraint e25 { Definition: { b3 - b91 - 2*b92 - 3*b93 - 4*b94 - 5*b95 - 6*b96 - 7*b97 - 8*b98 - 9*b99 - 10*b100 - 11*b101 <= 0 } } Constraint e26 { Definition: { b4 - b102 - 2*b103 - 3*b104 - 4*b105 - 5*b106 - 6*b107 - 7*b108 - 8*b109 <= 0 } } Constraint e27 { Definition: { b5 - b110 - 2*b111 - 3*b112 - 4*b113 - 5*b114 - 6*b115 - 7*b116 - 8*b117 <= 0 } } Constraint e28 { Definition: b6 - b118 - 2*b119 - 3*b120 - 4*b121 - 5*b122 - 6*b123 <= 0; } Constraint e29 { Definition: b7 - b124 - 2*b125 - 3*b126 - 4*b127 - 5*b128 <= 0; } Constraint e30 { Definition: { - 15*b1 + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 <= 0 } } Constraint e31 { Definition: { - 12*b2 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 <= 0 } } Constraint e32 { Definition: { - 11*b3 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 <= 0 } } Constraint e33 { Definition: { - 8*b4 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 <= 0 } } Constraint e34 { Definition: { - 8*b5 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 <= 0 } } Constraint e35 { Definition: - 6*b6 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 <= 0; } Constraint e36 { Definition: - 5*b7 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 <= 0; } Constraint e37 { Definition: { i8 - 3*b64 - 8*b65 - 15*b66 - 24*b67 - 35*b68 - 48*b69 - 63*b70 - 80*b71 - 99*b72 - 120*b73 - 143*b74 - 168*b75 - 195*b76 - 224*b77 - 255*b78 = 1 } } Constraint e38 { Definition: { i9 - 3*b79 - 8*b80 - 15*b81 - 24*b82 - 35*b83 - 48*b84 - 63*b85 - 80*b86 - 99*b87 - 120*b88 - 143*b89 - 168*b90 = 1 } } Constraint e39 { Definition: { i10 - 3*b91 - 8*b92 - 15*b93 - 24*b94 - 35*b95 - 48*b96 - 63*b97 - 80*b98 - 99*b99 - 120*b100 - 143*b101 = 1 } } Constraint e40 { Definition: { i11 - 3*b102 - 8*b103 - 15*b104 - 24*b105 - 35*b106 - 48*b107 - 63*b108 - 80*b109 = 1 } } Constraint e41 { Definition: { i12 - 3*b110 - 8*b111 - 15*b112 - 24*b113 - 35*b114 - 48*b115 - 63*b116 - 80*b117 = 1 } } Constraint e42 { Definition: i13 - 3*b118 - 8*b119 - 15*b120 - 24*b121 - 35*b122 - 48*b123 = 1; } Constraint e43 { Definition: i14 - 3*b124 - 8*b125 - 15*b126 - 24*b127 - 35*b128 = 1; } Constraint e44 { Definition: { b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 <= 1 } } Constraint e45 { Definition: { b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 <= 1 } } Constraint e46 { Definition: { b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 <= 1 } } Constraint e47 { Definition: b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 <= 1; } Constraint e48 { Definition: b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 <= 1; } Constraint e49 { Definition: b118 + b119 + b120 + b121 + b122 + b123 <= 1; } Constraint e50 { Definition: b124 + b125 + b126 + b127 + b128 <= 1; } Constraint e51 { Definition: x15 - 3*b129 - 8*b130 - 15*b131 - 24*b132 - 35*b133 - 48*b134 = 1; } Constraint e52 { Definition: x16 - 3*b135 - 8*b136 - 15*b137 - 24*b138 - 35*b139 - 48*b140 = 1; } Constraint e53 { Definition: x17 - 3*b141 - 8*b142 - 15*b143 - 24*b144 - 35*b145 - 48*b146 = 1; } Constraint e54 { Definition: x18 - 3*b147 - 8*b148 - 15*b149 - 24*b150 - 35*b151 - 48*b152 = 1; } Constraint e55 { Definition: x19 - 3*b153 - 8*b154 - 15*b155 - 24*b156 - 35*b157 - 48*b158 = 1; } Constraint e56 { Definition: x20 - 3*b159 - 8*b160 - 15*b161 - 24*b162 - 35*b163 - 48*b164 = 1; } Constraint e57 { Definition: x21 - 3*b165 - 8*b166 - 15*b167 - 24*b168 - 35*b169 - 48*b170 = 1; } Constraint e58 { Definition: x22 - 3*b171 - 8*b172 - 15*b173 - 24*b174 - 35*b175 = 1; } Constraint e59 { Definition: x23 - 3*b176 - 8*b177 - 15*b178 - 24*b179 - 35*b180 = 1; } Constraint e60 { Definition: x24 - 3*b181 - 8*b182 - 15*b183 - 24*b184 - 35*b185 = 1; } Constraint e61 { Definition: x25 - 3*b186 - 8*b187 - 15*b188 - 24*b189 - 35*b190 = 1; } Constraint e62 { Definition: x26 - 3*b191 - 8*b192 - 15*b193 - 24*b194 - 35*b195 = 1; } Constraint e63 { Definition: x27 - 3*b196 - 8*b197 - 15*b198 - 24*b199 - 35*b200 = 1; } Constraint e64 { Definition: x28 - 3*b201 - 8*b202 - 15*b203 - 24*b204 - 35*b205 = 1; } Constraint e65 { Definition: x29 - 3*b206 - 8*b207 - 15*b208 - 24*b209 = 1; } Constraint e66 { Definition: x30 - 3*b210 - 8*b211 - 15*b212 - 24*b213 = 1; } Constraint e67 { Definition: x31 - 3*b214 - 8*b215 - 15*b216 - 24*b217 = 1; } Constraint e68 { Definition: x32 - 3*b218 - 8*b219 - 15*b220 - 24*b221 = 1; } Constraint e69 { Definition: x33 - 3*b222 - 8*b223 - 15*b224 - 24*b225 = 1; } Constraint e70 { Definition: x34 - 3*b226 - 8*b227 - 15*b228 - 24*b229 = 1; } Constraint e71 { Definition: x35 - 3*b230 - 8*b231 - 15*b232 - 24*b233 = 1; } Constraint e72 { Definition: x36 - 3*b234 - 8*b235 - 15*b236 - 24*b237 = 1; } Constraint e73 { Definition: x37 - 3*b238 - 8*b239 - 15*b240 - 24*b241 = 1; } Constraint e74 { Definition: x38 - 3*b242 - 8*b243 - 15*b244 - 24*b245 = 1; } Constraint e75 { Definition: x39 - 3*b246 - 8*b247 - 15*b248 - 24*b249 = 1; } Constraint e76 { Definition: x40 - 3*b250 - 8*b251 - 15*b252 - 24*b253 = 1; } Constraint e77 { Definition: x41 - 3*b254 - 8*b255 - 15*b256 - 24*b257 = 1; } Constraint e78 { Definition: x42 - 3*b258 - 8*b259 - 15*b260 - 24*b261 = 1; } Constraint e79 { Definition: x43 - 3*b262 - 8*b263 - 15*b264 - 24*b265 = 1; } Constraint e80 { Definition: x44 - 3*b266 - 8*b267 - 15*b268 - 24*b269 = 1; } Constraint e81 { Definition: x45 - 3*b270 - 8*b271 - 15*b272 - 24*b273 = 1; } Constraint e82 { Definition: x46 - 3*b274 - 8*b275 - 15*b276 - 24*b277 = 1; } Constraint e83 { Definition: x47 - 3*b278 - 8*b279 - 15*b280 - 24*b281 = 1; } Constraint e84 { Definition: x48 - 3*b282 - 8*b283 - 15*b284 - 24*b285 = 1; } Constraint e85 { Definition: x49 - 3*b286 - 8*b287 - 15*b288 - 24*b289 = 1; } Constraint e86 { Definition: x50 - 3*b290 - 8*b291 - 15*b292 - 24*b293 = 1; } Constraint e87 { Definition: x51 - 3*b294 - 8*b295 - 15*b296 - 24*b297 = 1; } Constraint e88 { Definition: x52 - 3*b298 - 8*b299 - 15*b300 - 24*b301 = 1; } Constraint e89 { Definition: x53 - 3*b302 - 8*b303 - 15*b304 - 24*b305 = 1; } Constraint e90 { Definition: x54 - 3*b306 - 8*b307 - 15*b308 - 24*b309 = 1; } Constraint e91 { Definition: x55 - 3*b310 - 8*b311 - 15*b312 - 24*b313 = 1; } Constraint e92 { Definition: x56 - 3*b314 - 8*b315 - 15*b316 - 24*b317 = 1; } Constraint e93 { Definition: x57 - 3*b318 - 8*b319 - 15*b320 - 24*b321 = 1; } Constraint e94 { Definition: x58 - 3*b322 - 8*b323 - 15*b324 - 24*b325 = 1; } Constraint e95 { Definition: x59 - 3*b326 - 8*b327 - 15*b328 - 24*b329 = 1; } Constraint e96 { Definition: x60 - 3*b330 - 8*b331 - 15*b332 - 24*b333 = 1; } Constraint e97 { Definition: x61 - 3*b334 - 8*b335 - 15*b336 - 24*b337 = 1; } Constraint e98 { Definition: x62 - 3*b338 - 8*b339 - 15*b340 - 24*b341 = 1; } Constraint e99 { Definition: x63 - 3*b342 - 8*b343 - 15*b344 - 24*b345 = 1; } Constraint e100 { Definition: b129 + b130 + b131 + b132 + b133 + b134 <= 1; } Constraint e101 { Definition: b135 + b136 + b137 + b138 + b139 + b140 <= 1; } Constraint e102 { Definition: b141 + b142 + b143 + b144 + b145 + b146 <= 1; } Constraint e103 { Definition: b147 + b148 + b149 + b150 + b151 + b152 <= 1; } Constraint e104 { Definition: b153 + b154 + b155 + b156 + b157 + b158 <= 1; } Constraint e105 { Definition: b159 + b160 + b161 + b162 + b163 + b164 <= 1; } Constraint e106 { Definition: b165 + b166 + b167 + b168 + b169 + b170 <= 1; } Constraint e107 { Definition: b171 + b172 + b173 + b174 + b175 <= 1; } Constraint e108 { Definition: b176 + b177 + b178 + b179 + b180 <= 1; } Constraint e109 { Definition: b181 + b182 + b183 + b184 + b185 <= 1; } Constraint e110 { Definition: b186 + b187 + b188 + b189 + b190 <= 1; } Constraint e111 { Definition: b191 + b192 + b193 + b194 + b195 <= 1; } Constraint e112 { Definition: b196 + b197 + b198 + b199 + b200 <= 1; } Constraint e113 { Definition: b201 + b202 + b203 + b204 + b205 <= 1; } Constraint e114 { Definition: b206 + b207 + b208 + b209 <= 1; } Constraint e115 { Definition: b210 + b211 + b212 + b213 <= 1; } Constraint e116 { Definition: b214 + b215 + b216 + b217 <= 1; } Constraint e117 { Definition: b218 + b219 + b220 + b221 <= 1; } Constraint e118 { Definition: b222 + b223 + b224 + b225 <= 1; } Constraint e119 { Definition: b226 + b227 + b228 + b229 <= 1; } Constraint e120 { Definition: b230 + b231 + b232 + b233 <= 1; } Constraint e121 { Definition: b234 + b235 + b236 + b237 <= 1; } Constraint e122 { Definition: b238 + b239 + b240 + b241 <= 1; } Constraint e123 { Definition: b242 + b243 + b244 + b245 <= 1; } Constraint e124 { Definition: b246 + b247 + b248 + b249 <= 1; } Constraint e125 { Definition: b250 + b251 + b252 + b253 <= 1; } Constraint e126 { Definition: b254 + b255 + b256 + b257 <= 1; } Constraint e127 { Definition: b258 + b259 + b260 + b261 <= 1; } Constraint e128 { Definition: b262 + b263 + b264 + b265 <= 1; } Constraint e129 { Definition: b266 + b267 + b268 + b269 <= 1; } Constraint e130 { Definition: b270 + b271 + b272 + b273 <= 1; } Constraint e131 { Definition: b274 + b275 + b276 + b277 <= 1; } Constraint e132 { Definition: b278 + b279 + b280 + b281 <= 1; } Constraint e133 { Definition: b282 + b283 + b284 + b285 <= 1; } Constraint e134 { Definition: b286 + b287 + b288 + b289 <= 1; } Constraint e135 { Definition: b290 + b291 + b292 + b293 <= 1; } Constraint e136 { Definition: b294 + b295 + b296 + b297 <= 1; } Constraint e137 { Definition: b298 + b299 + b300 + b301 <= 1; } Constraint e138 { Definition: b302 + b303 + b304 + b305 <= 1; } Constraint e139 { Definition: b306 + b307 + b308 + b309 <= 1; } Constraint e140 { Definition: b310 + b311 + b312 + b313 <= 1; } Constraint e141 { Definition: b314 + b315 + b316 + b317 <= 1; } Constraint e142 { Definition: b318 + b319 + b320 + b321 <= 1; } Constraint e143 { Definition: b322 + b323 + b324 + b325 <= 1; } Constraint e144 { Definition: b326 + b327 + b328 + b329 <= 1; } Constraint e145 { Definition: b330 + b331 + b332 + b333 <= 1; } Constraint e146 { Definition: b334 + b335 + b336 + b337 <= 1; } Constraint e147 { Definition: b338 + b339 + b340 + b341 <= 1; } Constraint e148 { Definition: b342 + b343 + b344 + b345 <= 1; } Constraint e149 { Definition: { -(sqrt(i8*x15) + sqrt(i9*x16) + sqrt(i10*x17) + sqrt(i11*x18) + sqrt(i12 *x19) + sqrt(i13*x20) + sqrt(i14*x21)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b129 + 2*b130 + 3*b131 + 4*b132 + 5*b133 + 6*b134 + b135 + 2*b136 + 3*b137 + 4*b138 + 5*b139 + 6*b140 + b141 + 2*b142 + 3*b143 + 4*b144 + 5*b145 + 6*b146 + b147 + 2*b148 + 3*b149 + 4*b150 + 5*b151 + 6*b152 + b153 + 2*b154 + 3*b155 + 4*b156 + 5*b157 + 6*b158 + b159 + 2*b160 + 3*b161 + 4*b162 + 5*b163 + 6*b164 + b165 + 2*b166 + 3*b167 + 4*b168 + 5*b169 + 6*b170 <= -15 } } Constraint e150 { Definition: { -(sqrt(i8*x22) + sqrt(i9*x23) + sqrt(i10*x24) + sqrt(i11*x25) + sqrt(i12 *x26) + sqrt(i13*x27) + sqrt(i14*x28)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b171 + 2*b172 + 3*b173 + 4*b174 + 5*b175 + b176 + 2*b177 + 3*b178 + 4*b179 + 5*b180 + b181 + 2*b182 + 3*b183 + 4*b184 + 5*b185 + b186 + 2*b187 + 3*b188 + 4*b189 + 5*b190 + b191 + 2*b192 + 3*b193 + 4*b194 + 5*b195 + b196 + 2*b197 + 3*b198 + 4*b199 + 5*b200 + b201 + 2*b202 + 3*b203 + 4*b204 + 5*b205 <= -18 } } Constraint e151 { Definition: { -(sqrt(i8*x29) + sqrt(i9*x30) + sqrt(i10*x31) + sqrt(i11*x32) + sqrt(i12 *x33) + sqrt(i13*x34) + sqrt(i14*x35)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b206 + 2*b207 + 3*b208 + 4*b209 + b210 + 2*b211 + 3*b212 + 4*b213 + b214 + 2*b215 + 3*b216 + 4*b217 + b218 + 2*b219 + 3*b220 + 4*b221 + b222 + 2*b223 + 3*b224 + 4*b225 + b226 + 2*b227 + 3*b228 + 4*b229 + b230 + 2*b231 + 3*b232 + 4*b233 <= -22 } } Constraint e152 { Definition: { -(sqrt(i8*x36) + sqrt(i9*x37) + sqrt(i10*x38) + sqrt(i11*x39) + sqrt(i12 *x40) + sqrt(i13*x41) + sqrt(i14*x42)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b234 + 2*b235 + 3*b236 + 4*b237 + b238 + 2*b239 + 3*b240 + 4*b241 + b242 + 2*b243 + 3*b244 + 4*b245 + b246 + 2*b247 + 3*b248 + 4*b249 + b250 + 2*b251 + 3*b252 + 4*b253 + b254 + 2*b255 + 3*b256 + 4*b257 + b258 + 2*b259 + 3*b260 + 4*b261 <= -12 } } Constraint e153 { Definition: { -(sqrt(i8*x43) + sqrt(i9*x44) + sqrt(i10*x45) + sqrt(i11*x46) + sqrt(i12 *x47) + sqrt(i13*x48) + sqrt(i14*x49)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b262 + 2*b263 + 3*b264 + 4*b265 + b266 + 2*b267 + 3*b268 + 4*b269 + b270 + 2*b271 + 3*b272 + 4*b273 + b274 + 2*b275 + 3*b276 + 4*b277 + b278 + 2*b279 + 3*b280 + 4*b281 + b282 + 2*b283 + 3*b284 + 4*b285 + b286 + 2*b287 + 3*b288 + 4*b289 <= -15 } } Constraint e154 { Definition: { -(sqrt(i8*x50) + sqrt(i9*x51) + sqrt(i10*x52) + sqrt(i11*x53) + sqrt(i12 *x54) + sqrt(i13*x55) + sqrt(i14*x56)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b290 + 2*b291 + 3*b292 + 4*b293 + b294 + 2*b295 + 3*b296 + 4*b297 + b298 + 2*b299 + 3*b300 + 4*b301 + b302 + 2*b303 + 3*b304 + 4*b305 + b306 + 2*b307 + 3*b308 + 4*b309 + b310 + 2*b311 + 3*b312 + 4*b313 + b314 + 2*b315 + 3*b316 + 4*b317 <= -19 } } Constraint e155 { Definition: { -(sqrt(i8*x57) + sqrt(i9*x58) + sqrt(i10*x59) + sqrt(i11*x60) + sqrt(i12 *x61) + sqrt(i13*x62) + sqrt(i14*x63)) + b64 + 2*b65 + 3*b66 + 4*b67 + 5*b68 + 6*b69 + 7*b70 + 8*b71 + 9*b72 + 10*b73 + 11*b74 + 12*b75 + 13*b76 + 14*b77 + 15*b78 + b79 + 2*b80 + 3*b81 + 4*b82 + 5*b83 + 6*b84 + 7*b85 + 8*b86 + 9*b87 + 10*b88 + 11*b89 + 12*b90 + b91 + 2*b92 + 3*b93 + 4*b94 + 5*b95 + 6*b96 + 7*b97 + 8*b98 + 9*b99 + 10*b100 + 11*b101 + b102 + 2*b103 + 3*b104 + 4*b105 + 5*b106 + 6*b107 + 7*b108 + 8*b109 + b110 + 2*b111 + 3*b112 + 4*b113 + 5*b114 + 6*b115 + 7*b116 + 8*b117 + b118 + 2*b119 + 3*b120 + 4*b121 + 5*b122 + 6*b123 + b124 + 2*b125 + 3*b126 + 4*b127 + 5*b128 + b318 + 2*b319 + 3*b320 + 4*b321 + b322 + 2*b323 + 3*b324 + 4*b325 + b326 + 2*b327 + 3*b328 + 4*b329 + b330 + 2*b331 + 3*b332 + 4*b333 + b334 + 2*b335 + 3*b336 + 4*b337 + b338 + 2*b339 + 3*b340 + 4*b341 + b342 + 2*b343 + 3*b344 + 4*b345 <= -13 } } Procedure MainInitialization { Body: { i8.lower := 1; i8.upper := 100; i9.lower := 1; i9.upper := 100; i10.lower := 1; i10.upper := 100; i11.lower := 1; i11.upper := 100; i12.lower := 1; i12.upper := 100; i13.lower := 1; i13.upper := 100; i14.lower := 1; i14.upper := 100; x15.lower := 1; x16.lower := 1; x17.lower := 1; x18.lower := 1; x19.lower := 1; x20.lower := 1; x21.lower := 1; x22.lower := 1; x23.lower := 1; x24.lower := 1; x25.lower := 1; x26.lower := 1; x27.lower := 1; x28.lower := 1; x29.lower := 1; x30.lower := 1; x31.lower := 1; x32.lower := 1; x33.lower := 1; x34.lower := 1; x35.lower := 1; x36.lower := 1; x37.lower := 1; x38.lower := 1; x39.lower := 1; x40.lower := 1; x41.lower := 1; x42.lower := 1; x43.lower := 1; x44.lower := 1; x45.lower := 1; x46.lower := 1; x47.lower := 1; x48.lower := 1; x49.lower := 1; x50.lower := 1; x51.lower := 1; x52.lower := 1; x53.lower := 1; x54.lower := 1; x55.lower := 1; x56.lower := 1; x57.lower := 1; x58.lower := 1; x59.lower := 1; x60.lower := 1; x61.lower := 1; x62.lower := 1; x63.lower := 1; } } MathematicalProgram tls7 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve tls7; } } Procedure MainTermination { Body: { return 1; } } }