## ams_version=1.0 Model Main_p_ball_30b_7p_2d_m { 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 b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } 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 x211 { Range: nonnegative; } Variable x212 { Range: nonnegative; } Variable x213 { Range: nonnegative; } Variable x214 { Range: nonnegative; } Variable x215 { Range: nonnegative; } Variable x216 { Range: nonnegative; } Variable x217 { Range: nonnegative; } Variable x218 { Range: nonnegative; } Variable x219 { Range: nonnegative; } Variable x220 { Range: nonnegative; } Variable x221 { Range: nonnegative; } Variable x222 { Range: nonnegative; } Variable x223 { Range: nonnegative; } Variable x224 { Range: nonnegative; } Variable x225 { Range: nonnegative; } Variable x226 { Range: nonnegative; } Variable x227 { Range: nonnegative; } Variable x228 { Range: nonnegative; } Variable x229 { Range: nonnegative; } Variable x230 { Range: nonnegative; } Variable x231 { Range: nonnegative; } Variable x232 { Range: nonnegative; } Variable x233 { Range: nonnegative; } Variable x234 { Range: nonnegative; } Variable x235 { Range: nonnegative; } Variable x236 { Range: nonnegative; } Variable x237 { Range: nonnegative; } Variable x238 { Range: nonnegative; } Variable x239 { Range: nonnegative; } Variable x240 { Range: nonnegative; } Variable x241 { Range: nonnegative; } Variable x242 { Range: nonnegative; } Variable x243 { Range: nonnegative; } Variable x244 { Range: nonnegative; } Variable x245 { Range: nonnegative; } Variable x246 { Range: nonnegative; } Variable x247 { Range: nonnegative; } Variable x248 { Range: nonnegative; } Variable x249 { Range: nonnegative; } Variable x250 { Range: nonnegative; } Variable x251 { Range: nonnegative; } Variable x252 { Range: nonnegative; } Variable x253 { Range: nonnegative; } Variable x254 { Range: nonnegative; } Variable x255 { Range: nonnegative; } Variable x256 { Range: nonnegative; } Variable x257 { Range: nonnegative; } Variable x258 { Range: nonnegative; } Variable x259 { Range: nonnegative; } Variable x260 { Range: nonnegative; } Variable x261 { Range: nonnegative; } Variable x262 { Range: nonnegative; } Variable x263 { Range: nonnegative; } Variable x264 { Range: nonnegative; } Variable x265 { Range: nonnegative; } Variable x266 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x211 - x212 - x213 <= 0; } Constraint e2 { Definition: - x211 + x212 - x213 <= 0; } Constraint e3 { Definition: x214 - x215 - x216 <= 0; } Constraint e4 { Definition: - x214 + x215 - x216 <= 0; } Constraint e5 { Definition: x211 - x217 - x218 <= 0; } Constraint e6 { Definition: - x211 + x217 - x218 <= 0; } Constraint e7 { Definition: x214 - x219 - x220 <= 0; } Constraint e8 { Definition: - x214 + x219 - x220 <= 0; } Constraint e9 { Definition: x211 - x221 - x222 <= 0; } Constraint e10 { Definition: - x211 + x221 - x222 <= 0; } Constraint e11 { Definition: x214 - x223 - x224 <= 0; } Constraint e12 { Definition: - x214 + x223 - x224 <= 0; } Constraint e13 { Definition: x211 - x225 - x226 <= 0; } Constraint e14 { Definition: - x211 + x225 - x226 <= 0; } Constraint e15 { Definition: x214 - x227 - x228 <= 0; } Constraint e16 { Definition: - x214 + x227 - x228 <= 0; } Constraint e17 { Definition: x211 - x229 - x230 <= 0; } Constraint e18 { Definition: - x211 + x229 - x230 <= 0; } Constraint e19 { Definition: x214 - x231 - x232 <= 0; } Constraint e20 { Definition: - x214 + x231 - x232 <= 0; } Constraint e21 { Definition: x211 - x233 - x234 <= 0; } Constraint e22 { Definition: - x211 + x233 - x234 <= 0; } Constraint e23 { Definition: x214 - x235 - x236 <= 0; } Constraint e24 { Definition: - x214 + x235 - x236 <= 0; } Constraint e25 { Definition: x212 - x217 - x237 <= 0; } Constraint e26 { Definition: - x212 + x217 - x237 <= 0; } Constraint e27 { Definition: x215 - x219 - x238 <= 0; } Constraint e28 { Definition: - x215 + x219 - x238 <= 0; } Constraint e29 { Definition: x212 - x221 - x239 <= 0; } Constraint e30 { Definition: - x212 + x221 - x239 <= 0; } Constraint e31 { Definition: x215 - x223 - x240 <= 0; } Constraint e32 { Definition: - x215 + x223 - x240 <= 0; } Constraint e33 { Definition: x212 - x225 - x241 <= 0; } Constraint e34 { Definition: - x212 + x225 - x241 <= 0; } Constraint e35 { Definition: x215 - x227 - x242 <= 0; } Constraint e36 { Definition: - x215 + x227 - x242 <= 0; } Constraint e37 { Definition: x212 - x229 - x243 <= 0; } Constraint e38 { Definition: - x212 + x229 - x243 <= 0; } Constraint e39 { Definition: x215 - x231 - x244 <= 0; } Constraint e40 { Definition: - x215 + x231 - x244 <= 0; } Constraint e41 { Definition: x212 - x233 - x245 <= 0; } Constraint e42 { Definition: - x212 + x233 - x245 <= 0; } Constraint e43 { Definition: x215 - x235 - x246 <= 0; } Constraint e44 { Definition: - x215 + x235 - x246 <= 0; } Constraint e45 { Definition: x217 - x221 - x247 <= 0; } Constraint e46 { Definition: - x217 + x221 - x247 <= 0; } Constraint e47 { Definition: x219 - x223 - x248 <= 0; } Constraint e48 { Definition: - x219 + x223 - x248 <= 0; } Constraint e49 { Definition: x217 - x225 - x249 <= 0; } Constraint e50 { Definition: - x217 + x225 - x249 <= 0; } Constraint e51 { Definition: x219 - x227 - x250 <= 0; } Constraint e52 { Definition: - x219 + x227 - x250 <= 0; } Constraint e53 { Definition: x217 - x229 - x251 <= 0; } Constraint e54 { Definition: - x217 + x229 - x251 <= 0; } Constraint e55 { Definition: x219 - x231 - x252 <= 0; } Constraint e56 { Definition: - x219 + x231 - x252 <= 0; } Constraint e57 { Definition: x217 - x233 - x253 <= 0; } Constraint e58 { Definition: - x217 + x233 - x253 <= 0; } Constraint e59 { Definition: x219 - x235 - x254 <= 0; } Constraint e60 { Definition: - x219 + x235 - x254 <= 0; } Constraint e61 { Definition: x221 - x225 - x255 <= 0; } Constraint e62 { Definition: - x221 + x225 - x255 <= 0; } Constraint e63 { Definition: x223 - x227 - x256 <= 0; } Constraint e64 { Definition: - x223 + x227 - x256 <= 0; } Constraint e65 { Definition: x221 - x229 - x257 <= 0; } Constraint e66 { Definition: - x221 + x229 - x257 <= 0; } Constraint e67 { Definition: x223 - x231 - x258 <= 0; } Constraint e68 { Definition: - x223 + x231 - x258 <= 0; } Constraint e69 { Definition: x221 - x233 - x259 <= 0; } Constraint e70 { Definition: - x221 + x233 - x259 <= 0; } Constraint e71 { Definition: x223 - x235 - x260 <= 0; } Constraint e72 { Definition: - x223 + x235 - x260 <= 0; } Constraint e73 { Definition: x225 - x229 - x261 <= 0; } Constraint e74 { Definition: - x225 + x229 - x261 <= 0; } Constraint e75 { Definition: x227 - x231 - x262 <= 0; } Constraint e76 { Definition: - x227 + x231 - x262 <= 0; } Constraint e77 { Definition: x225 - x233 - x263 <= 0; } Constraint e78 { Definition: - x225 + x233 - x263 <= 0; } Constraint e79 { Definition: x227 - x235 - x264 <= 0; } Constraint e80 { Definition: - x227 + x235 - x264 <= 0; } Constraint e81 { Definition: x229 - x233 - x265 <= 0; } Constraint e82 { Definition: - x229 + x233 - x265 <= 0; } Constraint e83 { Definition: x231 - x235 - x266 <= 0; } Constraint e84 { Definition: - x231 + x235 - x266 <= 0; } Constraint e85 { Definition: { sqr(3.23329980692027 - x211) + sqr(4.28386868469468 - x214) + 70.3380399508289*b1 <= 71.3380399508289 } } Constraint e86 { Definition: { sqr(4.76698640779873 - x211) + sqr(2.08930775599057 - x214) + 88.6345879922179*b2 <= 89.6345879922179 } } Constraint e87 { Definition: { sqr(0.0267350511843534 - x211) + sqr(0.782551987461116 - x214) + 173.07608146417*b3 <= 174.07608146417 } } Constraint e88 { Definition: { sqr(8.87351634308632 - x211) + sqr(3.10477334960963 - x214) + 119.189765523566*b4 <= 120.189765523566 } } Constraint e89 { Definition: { sqr(1.91447038389767 - x211) + sqr(7.96663059311099 - x214) + 130.724980923409*b5 <= 131.724980923409 } } Constraint e90 { Definition: { sqr(8.55222670865358 - x211) + sqr(0.438866978243134 - x214) + 152.289257045603*b6 <= 153.289257045603 } } Constraint e91 { Definition: { sqr(1.98863408000317 - x211) + sqr(8.96632330014267 - x214) + 146.275833327099*b7 <= 147.275833327099 } } Constraint e92 { Definition: { sqr(6.95896277872403 - x211) + sqr(8.84303759003159 - x214) + 134.290060533636*b8 <= 135.290060533636 } } Constraint e93 { Definition: { sqr(3.61145308049351 - x211) + sqr(6.96757527234085 - x214) + 90.4153493760657*b9 <= 91.4153493760657 } } Constraint e94 { Definition: { sqr(2.68339142719956 - x211) + sqr(9.93756308393997 - x214) + 155.435876865509*b10 <= 156.435876865509 } } Constraint e95 { Definition: { sqr(3.65720962255625 - x211) + sqr(1.74396350476612 - x214) + 104.574248000865*b11 <= 105.574248000865 } } Constraint e96 { Definition: { sqr(2.58228242210245 - x211) + sqr(2.69819914741465 - x214) + 100.597041943368*b12 <= 101.597041943368 } } Constraint e97 { Definition: { sqr(9.48301079077753 - x211) + sqr(4.52610831509011 - x214) + 123.776000509032*b13 <= 124.776000509032 } } Constraint e98 { Definition: { sqr(0.434598155960523 - x211) + sqr(8.14106643299414 - x214) + 161.401265156826*b14 <= 162.401265156826 } } Constraint e99 { Definition: { sqr(9.02424243556911 - x211) + sqr(0.334718733138226 - x214) + 162.651829944844*b15 <= 163.651829944844 } } Constraint e100 { Definition: { sqr(7.73517137689675 - x211) + sqr(3.51323083446602 - x214) + 94.7869069625255*b16 <= 95.7869069625255 } } Constraint e101 { Definition: { sqr(4.40833475926247 - x211) + sqr(4.2821399703396 - x214) + 58.6043091351014*b17 <= 59.6043091351014 } } Constraint e102 { Definition: { sqr(3.67998758525487 - x211) + sqr(5.08335062067947 - x214) + 68.4616343579277*b18 <= 69.4616343579277 } } Constraint e103 { Definition: { sqr(5.99800586943544 - x211) + sqr(0.0322978360521831 - x214) + 129.991228427538*b19 <= 130.991228427538 } } Constraint e104 { Definition: { sqr(8.17580946692085 - x211) + sqr(4.02617412348302 - x214) + 96.803038566953*b20 <= 97.803038566953 } } Constraint e105 { Definition: { sqr(0.174684355003035 - x211) + sqr(1.65622387552164 - x214) + 154.161526075002*b21 <= 155.161526075002 } } Constraint e106 { Definition: { sqr(7.75085767529561 - x211) + sqr(3.63307602514509 - x214) + 93.7411075777765*b22 <= 94.7411075777765 } } Constraint e107 { Definition: { sqr(9.9148364830655 - x211) + sqr(5.51483189629837 - x214) + 142.093349557565*b23 <= 143.093349557565 } } Constraint e108 { Definition: { sqr(9.03591083549967 - x211) + sqr(1.83449511612235 - x214) + 138.847878702949*b24 <= 139.847878702949 } } Constraint e109 { Definition: { sqr(8.20421763287616 - x211) + sqr(9.82784253465657 - x214) + 173.07608146417*b25 <= 174.07608146417 } } Constraint e110 { Definition: { sqr(1.03248567695818 - x211) + sqr(7.16096452869944 - x214) + 135.619467005275*b26 <= 136.619467005275 } } Constraint e111 { Definition: { sqr(9.86920389752062 - x211) + sqr(1.14806073691438 - x214) + 165.534538704689*b27 <= 166.534538704689 } } Constraint e112 { Definition: { sqr(0.817141349526822 - x211) + sqr(4.89037331555712 - x214) + 115.535016969841*b28 <= 116.535016969841 } } Constraint e113 { Definition: { sqr(0.460831329101329 - x211) + sqr(8.44240182853681 - x214) + 165.534538704689*b29 <= 166.534538704689 } } Constraint e114 { Definition: { sqr(6.67410747219087 - x211) + sqr(4.4461134165398 - x214) + 72.7893929676281*b30 <= 73.7893929676281 } } Constraint e115 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 } } Constraint e116 { Definition: { sqr(3.23329980692027 - x212) + sqr(4.28386868469468 - x215) + 70.3380399508289*b31 <= 71.3380399508289 } } Constraint e117 { Definition: { sqr(4.76698640779873 - x212) + sqr(2.08930775599057 - x215) + 88.6345879922179*b32 <= 89.6345879922179 } } Constraint e118 { Definition: { sqr(0.0267350511843534 - x212) + sqr(0.782551987461116 - x215) + 173.07608146417*b33 <= 174.07608146417 } } Constraint e119 { Definition: { sqr(8.87351634308632 - x212) + sqr(3.10477334960963 - x215) + 119.189765523566*b34 <= 120.189765523566 } } Constraint e120 { Definition: { sqr(1.91447038389767 - x212) + sqr(7.96663059311099 - x215) + 130.724980923409*b35 <= 131.724980923409 } } Constraint e121 { Definition: { sqr(8.55222670865358 - x212) + sqr(0.438866978243134 - x215) + 152.289257045603*b36 <= 153.289257045603 } } Constraint e122 { Definition: { sqr(1.98863408000317 - x212) + sqr(8.96632330014267 - x215) + 146.275833327099*b37 <= 147.275833327099 } } Constraint e123 { Definition: { sqr(6.95896277872403 - x212) + sqr(8.84303759003159 - x215) + 134.290060533636*b38 <= 135.290060533636 } } Constraint e124 { Definition: { sqr(3.61145308049351 - x212) + sqr(6.96757527234085 - x215) + 90.4153493760657*b39 <= 91.4153493760657 } } Constraint e125 { Definition: { sqr(2.68339142719956 - x212) + sqr(9.93756308393997 - x215) + 155.435876865509*b40 <= 156.435876865509 } } Constraint e126 { Definition: { sqr(3.65720962255625 - x212) + sqr(1.74396350476612 - x215) + 104.574248000865*b41 <= 105.574248000865 } } Constraint e127 { Definition: { sqr(2.58228242210245 - x212) + sqr(2.69819914741465 - x215) + 100.597041943368*b42 <= 101.597041943368 } } Constraint e128 { Definition: { sqr(9.48301079077753 - x212) + sqr(4.52610831509011 - x215) + 123.776000509032*b43 <= 124.776000509032 } } Constraint e129 { Definition: { sqr(0.434598155960523 - x212) + sqr(8.14106643299414 - x215) + 161.401265156826*b44 <= 162.401265156826 } } Constraint e130 { Definition: { sqr(9.02424243556911 - x212) + sqr(0.334718733138226 - x215) + 162.651829944844*b45 <= 163.651829944844 } } Constraint e131 { Definition: { sqr(7.73517137689675 - x212) + sqr(3.51323083446602 - x215) + 94.7869069625255*b46 <= 95.7869069625255 } } Constraint e132 { Definition: { sqr(4.40833475926247 - x212) + sqr(4.2821399703396 - x215) + 58.6043091351014*b47 <= 59.6043091351014 } } Constraint e133 { Definition: { sqr(3.67998758525487 - x212) + sqr(5.08335062067947 - x215) + 68.4616343579277*b48 <= 69.4616343579277 } } Constraint e134 { Definition: { sqr(5.99800586943544 - x212) + sqr(0.0322978360521831 - x215) + 129.991228427538*b49 <= 130.991228427538 } } Constraint e135 { Definition: { sqr(8.17580946692085 - x212) + sqr(4.02617412348302 - x215) + 96.803038566953*b50 <= 97.803038566953 } } Constraint e136 { Definition: { sqr(0.174684355003035 - x212) + sqr(1.65622387552164 - x215) + 154.161526075002*b51 <= 155.161526075002 } } Constraint e137 { Definition: { sqr(7.75085767529561 - x212) + sqr(3.63307602514509 - x215) + 93.7411075777765*b52 <= 94.7411075777765 } } Constraint e138 { Definition: { sqr(9.9148364830655 - x212) + sqr(5.51483189629837 - x215) + 142.093349557565*b53 <= 143.093349557565 } } Constraint e139 { Definition: { sqr(9.03591083549967 - x212) + sqr(1.83449511612235 - x215) + 138.847878702949*b54 <= 139.847878702949 } } Constraint e140 { Definition: { sqr(8.20421763287616 - x212) + sqr(9.82784253465657 - x215) + 173.07608146417*b55 <= 174.07608146417 } } Constraint e141 { Definition: { sqr(1.03248567695818 - x212) + sqr(7.16096452869944 - x215) + 135.619467005275*b56 <= 136.619467005275 } } Constraint e142 { Definition: { sqr(9.86920389752062 - x212) + sqr(1.14806073691438 - x215) + 165.534538704689*b57 <= 166.534538704689 } } Constraint e143 { Definition: { sqr(0.817141349526822 - x212) + sqr(4.89037331555712 - x215) + 115.535016969841*b58 <= 116.535016969841 } } Constraint e144 { Definition: { sqr(0.460831329101329 - x212) + sqr(8.44240182853681 - x215) + 165.534538704689*b59 <= 166.534538704689 } } Constraint e145 { Definition: { sqr(6.67410747219087 - x212) + sqr(4.4461134165398 - x215) + 72.7893929676281*b60 <= 73.7893929676281 } } Constraint e146 { Definition: { b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 } } Constraint e147 { Definition: { sqr(3.23329980692027 - x217) + sqr(4.28386868469468 - x219) + 70.3380399508289*b61 <= 71.3380399508289 } } Constraint e148 { Definition: { sqr(4.76698640779873 - x217) + sqr(2.08930775599057 - x219) + 88.6345879922179*b62 <= 89.6345879922179 } } Constraint e149 { Definition: { sqr(0.0267350511843534 - x217) + sqr(0.782551987461116 - x219) + 173.07608146417*b63 <= 174.07608146417 } } Constraint e150 { Definition: { sqr(8.87351634308632 - x217) + sqr(3.10477334960963 - x219) + 119.189765523566*b64 <= 120.189765523566 } } Constraint e151 { Definition: { sqr(1.91447038389767 - x217) + sqr(7.96663059311099 - x219) + 130.724980923409*b65 <= 131.724980923409 } } Constraint e152 { Definition: { sqr(8.55222670865358 - x217) + sqr(0.438866978243134 - x219) + 152.289257045603*b66 <= 153.289257045603 } } Constraint e153 { Definition: { sqr(1.98863408000317 - x217) + sqr(8.96632330014267 - x219) + 146.275833327099*b67 <= 147.275833327099 } } Constraint e154 { Definition: { sqr(6.95896277872403 - x217) + sqr(8.84303759003159 - x219) + 134.290060533636*b68 <= 135.290060533636 } } Constraint e155 { Definition: { sqr(3.61145308049351 - x217) + sqr(6.96757527234085 - x219) + 90.4153493760657*b69 <= 91.4153493760657 } } Constraint e156 { Definition: { sqr(2.68339142719956 - x217) + sqr(9.93756308393997 - x219) + 155.435876865509*b70 <= 156.435876865509 } } Constraint e157 { Definition: { sqr(3.65720962255625 - x217) + sqr(1.74396350476612 - x219) + 104.574248000865*b71 <= 105.574248000865 } } Constraint e158 { Definition: { sqr(2.58228242210245 - x217) + sqr(2.69819914741465 - x219) + 100.597041943368*b72 <= 101.597041943368 } } Constraint e159 { Definition: { sqr(9.48301079077753 - x217) + sqr(4.52610831509011 - x219) + 123.776000509032*b73 <= 124.776000509032 } } Constraint e160 { Definition: { sqr(0.434598155960523 - x217) + sqr(8.14106643299414 - x219) + 161.401265156826*b74 <= 162.401265156826 } } Constraint e161 { Definition: { sqr(9.02424243556911 - x217) + sqr(0.334718733138226 - x219) + 162.651829944844*b75 <= 163.651829944844 } } Constraint e162 { Definition: { sqr(7.73517137689675 - x217) + sqr(3.51323083446602 - x219) + 94.7869069625255*b76 <= 95.7869069625255 } } Constraint e163 { Definition: { sqr(4.40833475926247 - x217) + sqr(4.2821399703396 - x219) + 58.6043091351014*b77 <= 59.6043091351014 } } Constraint e164 { Definition: { sqr(3.67998758525487 - x217) + sqr(5.08335062067947 - x219) + 68.4616343579277*b78 <= 69.4616343579277 } } Constraint e165 { Definition: { sqr(5.99800586943544 - x217) + sqr(0.0322978360521831 - x219) + 129.991228427538*b79 <= 130.991228427538 } } Constraint e166 { Definition: { sqr(8.17580946692085 - x217) + sqr(4.02617412348302 - x219) + 96.803038566953*b80 <= 97.803038566953 } } Constraint e167 { Definition: { sqr(0.174684355003035 - x217) + sqr(1.65622387552164 - x219) + 154.161526075002*b81 <= 155.161526075002 } } Constraint e168 { Definition: { sqr(7.75085767529561 - x217) + sqr(3.63307602514509 - x219) + 93.7411075777765*b82 <= 94.7411075777765 } } Constraint e169 { Definition: { sqr(9.9148364830655 - x217) + sqr(5.51483189629837 - x219) + 142.093349557565*b83 <= 143.093349557565 } } Constraint e170 { Definition: { sqr(9.03591083549967 - x217) + sqr(1.83449511612235 - x219) + 138.847878702949*b84 <= 139.847878702949 } } Constraint e171 { Definition: { sqr(8.20421763287616 - x217) + sqr(9.82784253465657 - x219) + 173.07608146417*b85 <= 174.07608146417 } } Constraint e172 { Definition: { sqr(1.03248567695818 - x217) + sqr(7.16096452869944 - x219) + 135.619467005275*b86 <= 136.619467005275 } } Constraint e173 { Definition: { sqr(9.86920389752062 - x217) + sqr(1.14806073691438 - x219) + 165.534538704689*b87 <= 166.534538704689 } } Constraint e174 { Definition: { sqr(0.817141349526822 - x217) + sqr(4.89037331555712 - x219) + 115.535016969841*b88 <= 116.535016969841 } } Constraint e175 { Definition: { sqr(0.460831329101329 - x217) + sqr(8.44240182853681 - x219) + 165.534538704689*b89 <= 166.534538704689 } } Constraint e176 { Definition: { sqr(6.67410747219087 - x217) + sqr(4.4461134165398 - x219) + 72.7893929676281*b90 <= 73.7893929676281 } } Constraint e177 { Definition: { b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 = 1 } } Constraint e178 { Definition: { sqr(3.23329980692027 - x221) + sqr(4.28386868469468 - x223) + 70.3380399508289*b91 <= 71.3380399508289 } } Constraint e179 { Definition: { sqr(4.76698640779873 - x221) + sqr(2.08930775599057 - x223) + 88.6345879922179*b92 <= 89.6345879922179 } } Constraint e180 { Definition: { sqr(0.0267350511843534 - x221) + sqr(0.782551987461116 - x223) + 173.07608146417*b93 <= 174.07608146417 } } Constraint e181 { Definition: { sqr(8.87351634308632 - x221) + sqr(3.10477334960963 - x223) + 119.189765523566*b94 <= 120.189765523566 } } Constraint e182 { Definition: { sqr(1.91447038389767 - x221) + sqr(7.96663059311099 - x223) + 130.724980923409*b95 <= 131.724980923409 } } Constraint e183 { Definition: { sqr(8.55222670865358 - x221) + sqr(0.438866978243134 - x223) + 152.289257045603*b96 <= 153.289257045603 } } Constraint e184 { Definition: { sqr(1.98863408000317 - x221) + sqr(8.96632330014267 - x223) + 146.275833327099*b97 <= 147.275833327099 } } Constraint e185 { Definition: { sqr(6.95896277872403 - x221) + sqr(8.84303759003159 - x223) + 134.290060533636*b98 <= 135.290060533636 } } Constraint e186 { Definition: { sqr(3.61145308049351 - x221) + sqr(6.96757527234085 - x223) + 90.4153493760657*b99 <= 91.4153493760657 } } Constraint e187 { Definition: { sqr(2.68339142719956 - x221) + sqr(9.93756308393997 - x223) + 155.435876865509*b100 <= 156.435876865509 } } Constraint e188 { Definition: { sqr(3.65720962255625 - x221) + sqr(1.74396350476612 - x223) + 104.574248000865*b101 <= 105.574248000865 } } Constraint e189 { Definition: { sqr(2.58228242210245 - x221) + sqr(2.69819914741465 - x223) + 100.597041943368*b102 <= 101.597041943368 } } Constraint e190 { Definition: { sqr(9.48301079077753 - x221) + sqr(4.52610831509011 - x223) + 123.776000509032*b103 <= 124.776000509032 } } Constraint e191 { Definition: { sqr(0.434598155960523 - x221) + sqr(8.14106643299414 - x223) + 161.401265156826*b104 <= 162.401265156826 } } Constraint e192 { Definition: { sqr(9.02424243556911 - x221) + sqr(0.334718733138226 - x223) + 162.651829944844*b105 <= 163.651829944844 } } Constraint e193 { Definition: { sqr(7.73517137689675 - x221) + sqr(3.51323083446602 - x223) + 94.7869069625255*b106 <= 95.7869069625255 } } Constraint e194 { Definition: { sqr(4.40833475926247 - x221) + sqr(4.2821399703396 - x223) + 58.6043091351014*b107 <= 59.6043091351014 } } Constraint e195 { Definition: { sqr(3.67998758525487 - x221) + sqr(5.08335062067947 - x223) + 68.4616343579277*b108 <= 69.4616343579277 } } Constraint e196 { Definition: { sqr(5.99800586943544 - x221) + sqr(0.0322978360521831 - x223) + 129.991228427538*b109 <= 130.991228427538 } } Constraint e197 { Definition: { sqr(8.17580946692085 - x221) + sqr(4.02617412348302 - x223) + 96.803038566953*b110 <= 97.803038566953 } } Constraint e198 { Definition: { sqr(0.174684355003035 - x221) + sqr(1.65622387552164 - x223) + 154.161526075002*b111 <= 155.161526075002 } } Constraint e199 { Definition: { sqr(7.75085767529561 - x221) + sqr(3.63307602514509 - x223) + 93.7411075777765*b112 <= 94.7411075777765 } } Constraint e200 { Definition: { sqr(9.9148364830655 - x221) + sqr(5.51483189629837 - x223) + 142.093349557565*b113 <= 143.093349557565 } } Constraint e201 { Definition: { sqr(9.03591083549967 - x221) + sqr(1.83449511612235 - x223) + 138.847878702949*b114 <= 139.847878702949 } } Constraint e202 { Definition: { sqr(8.20421763287616 - x221) + sqr(9.82784253465657 - x223) + 173.07608146417*b115 <= 174.07608146417 } } Constraint e203 { Definition: { sqr(1.03248567695818 - x221) + sqr(7.16096452869944 - x223) + 135.619467005275*b116 <= 136.619467005275 } } Constraint e204 { Definition: { sqr(9.86920389752062 - x221) + sqr(1.14806073691438 - x223) + 165.534538704689*b117 <= 166.534538704689 } } Constraint e205 { Definition: { sqr(0.817141349526822 - x221) + sqr(4.89037331555712 - x223) + 115.535016969841*b118 <= 116.535016969841 } } Constraint e206 { Definition: { sqr(0.460831329101329 - x221) + sqr(8.44240182853681 - x223) + 165.534538704689*b119 <= 166.534538704689 } } Constraint e207 { Definition: { sqr(6.67410747219087 - x221) + sqr(4.4461134165398 - x223) + 72.7893929676281*b120 <= 73.7893929676281 } } Constraint e208 { Definition: { b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 } } Constraint e209 { Definition: { sqr(3.23329980692027 - x225) + sqr(4.28386868469468 - x227) + 70.3380399508289*b121 <= 71.3380399508289 } } Constraint e210 { Definition: { sqr(4.76698640779873 - x225) + sqr(2.08930775599057 - x227) + 88.6345879922179*b122 <= 89.6345879922179 } } Constraint e211 { Definition: { sqr(0.0267350511843534 - x225) + sqr(0.782551987461116 - x227) + 173.07608146417*b123 <= 174.07608146417 } } Constraint e212 { Definition: { sqr(8.87351634308632 - x225) + sqr(3.10477334960963 - x227) + 119.189765523566*b124 <= 120.189765523566 } } Constraint e213 { Definition: { sqr(1.91447038389767 - x225) + sqr(7.96663059311099 - x227) + 130.724980923409*b125 <= 131.724980923409 } } Constraint e214 { Definition: { sqr(8.55222670865358 - x225) + sqr(0.438866978243134 - x227) + 152.289257045603*b126 <= 153.289257045603 } } Constraint e215 { Definition: { sqr(1.98863408000317 - x225) + sqr(8.96632330014267 - x227) + 146.275833327099*b127 <= 147.275833327099 } } Constraint e216 { Definition: { sqr(6.95896277872403 - x225) + sqr(8.84303759003159 - x227) + 134.290060533636*b128 <= 135.290060533636 } } Constraint e217 { Definition: { sqr(3.61145308049351 - x225) + sqr(6.96757527234085 - x227) + 90.4153493760657*b129 <= 91.4153493760657 } } Constraint e218 { Definition: { sqr(2.68339142719956 - x225) + sqr(9.93756308393997 - x227) + 155.435876865509*b130 <= 156.435876865509 } } Constraint e219 { Definition: { sqr(3.65720962255625 - x225) + sqr(1.74396350476612 - x227) + 104.574248000865*b131 <= 105.574248000865 } } Constraint e220 { Definition: { sqr(2.58228242210245 - x225) + sqr(2.69819914741465 - x227) + 100.597041943368*b132 <= 101.597041943368 } } Constraint e221 { Definition: { sqr(9.48301079077753 - x225) + sqr(4.52610831509011 - x227) + 123.776000509032*b133 <= 124.776000509032 } } Constraint e222 { Definition: { sqr(0.434598155960523 - x225) + sqr(8.14106643299414 - x227) + 161.401265156826*b134 <= 162.401265156826 } } Constraint e223 { Definition: { sqr(9.02424243556911 - x225) + sqr(0.334718733138226 - x227) + 162.651829944844*b135 <= 163.651829944844 } } Constraint e224 { Definition: { sqr(7.73517137689675 - x225) + sqr(3.51323083446602 - x227) + 94.7869069625255*b136 <= 95.7869069625255 } } Constraint e225 { Definition: { sqr(4.40833475926247 - x225) + sqr(4.2821399703396 - x227) + 58.6043091351014*b137 <= 59.6043091351014 } } Constraint e226 { Definition: { sqr(3.67998758525487 - x225) + sqr(5.08335062067947 - x227) + 68.4616343579277*b138 <= 69.4616343579277 } } Constraint e227 { Definition: { sqr(5.99800586943544 - x225) + sqr(0.0322978360521831 - x227) + 129.991228427538*b139 <= 130.991228427538 } } Constraint e228 { Definition: { sqr(8.17580946692085 - x225) + sqr(4.02617412348302 - x227) + 96.803038566953*b140 <= 97.803038566953 } } Constraint e229 { Definition: { sqr(0.174684355003035 - x225) + sqr(1.65622387552164 - x227) + 154.161526075002*b141 <= 155.161526075002 } } Constraint e230 { Definition: { sqr(7.75085767529561 - x225) + sqr(3.63307602514509 - x227) + 93.7411075777765*b142 <= 94.7411075777765 } } Constraint e231 { Definition: { sqr(9.9148364830655 - x225) + sqr(5.51483189629837 - x227) + 142.093349557565*b143 <= 143.093349557565 } } Constraint e232 { Definition: { sqr(9.03591083549967 - x225) + sqr(1.83449511612235 - x227) + 138.847878702949*b144 <= 139.847878702949 } } Constraint e233 { Definition: { sqr(8.20421763287616 - x225) + sqr(9.82784253465657 - x227) + 173.07608146417*b145 <= 174.07608146417 } } Constraint e234 { Definition: { sqr(1.03248567695818 - x225) + sqr(7.16096452869944 - x227) + 135.619467005275*b146 <= 136.619467005275 } } Constraint e235 { Definition: { sqr(9.86920389752062 - x225) + sqr(1.14806073691438 - x227) + 165.534538704689*b147 <= 166.534538704689 } } Constraint e236 { Definition: { sqr(0.817141349526822 - x225) + sqr(4.89037331555712 - x227) + 115.535016969841*b148 <= 116.535016969841 } } Constraint e237 { Definition: { sqr(0.460831329101329 - x225) + sqr(8.44240182853681 - x227) + 165.534538704689*b149 <= 166.534538704689 } } Constraint e238 { Definition: { sqr(6.67410747219087 - x225) + sqr(4.4461134165398 - x227) + 72.7893929676281*b150 <= 73.7893929676281 } } Constraint e239 { Definition: { b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 = 1 } } Constraint e240 { Definition: { sqr(3.23329980692027 - x229) + sqr(4.28386868469468 - x231) + 70.3380399508289*b151 <= 71.3380399508289 } } Constraint e241 { Definition: { sqr(4.76698640779873 - x229) + sqr(2.08930775599057 - x231) + 88.6345879922179*b152 <= 89.6345879922179 } } Constraint e242 { Definition: { sqr(0.0267350511843534 - x229) + sqr(0.782551987461116 - x231) + 173.07608146417*b153 <= 174.07608146417 } } Constraint e243 { Definition: { sqr(8.87351634308632 - x229) + sqr(3.10477334960963 - x231) + 119.189765523566*b154 <= 120.189765523566 } } Constraint e244 { Definition: { sqr(1.91447038389767 - x229) + sqr(7.96663059311099 - x231) + 130.724980923409*b155 <= 131.724980923409 } } Constraint e245 { Definition: { sqr(8.55222670865358 - x229) + sqr(0.438866978243134 - x231) + 152.289257045603*b156 <= 153.289257045603 } } Constraint e246 { Definition: { sqr(1.98863408000317 - x229) + sqr(8.96632330014267 - x231) + 146.275833327099*b157 <= 147.275833327099 } } Constraint e247 { Definition: { sqr(6.95896277872403 - x229) + sqr(8.84303759003159 - x231) + 134.290060533636*b158 <= 135.290060533636 } } Constraint e248 { Definition: { sqr(3.61145308049351 - x229) + sqr(6.96757527234085 - x231) + 90.4153493760657*b159 <= 91.4153493760657 } } Constraint e249 { Definition: { sqr(2.68339142719956 - x229) + sqr(9.93756308393997 - x231) + 155.435876865509*b160 <= 156.435876865509 } } Constraint e250 { Definition: { sqr(3.65720962255625 - x229) + sqr(1.74396350476612 - x231) + 104.574248000865*b161 <= 105.574248000865 } } Constraint e251 { Definition: { sqr(2.58228242210245 - x229) + sqr(2.69819914741465 - x231) + 100.597041943368*b162 <= 101.597041943368 } } Constraint e252 { Definition: { sqr(9.48301079077753 - x229) + sqr(4.52610831509011 - x231) + 123.776000509032*b163 <= 124.776000509032 } } Constraint e253 { Definition: { sqr(0.434598155960523 - x229) + sqr(8.14106643299414 - x231) + 161.401265156826*b164 <= 162.401265156826 } } Constraint e254 { Definition: { sqr(9.02424243556911 - x229) + sqr(0.334718733138226 - x231) + 162.651829944844*b165 <= 163.651829944844 } } Constraint e255 { Definition: { sqr(7.73517137689675 - x229) + sqr(3.51323083446602 - x231) + 94.7869069625255*b166 <= 95.7869069625255 } } Constraint e256 { Definition: { sqr(4.40833475926247 - x229) + sqr(4.2821399703396 - x231) + 58.6043091351014*b167 <= 59.6043091351014 } } Constraint e257 { Definition: { sqr(3.67998758525487 - x229) + sqr(5.08335062067947 - x231) + 68.4616343579277*b168 <= 69.4616343579277 } } Constraint e258 { Definition: { sqr(5.99800586943544 - x229) + sqr(0.0322978360521831 - x231) + 129.991228427538*b169 <= 130.991228427538 } } Constraint e259 { Definition: { sqr(8.17580946692085 - x229) + sqr(4.02617412348302 - x231) + 96.803038566953*b170 <= 97.803038566953 } } Constraint e260 { Definition: { sqr(0.174684355003035 - x229) + sqr(1.65622387552164 - x231) + 154.161526075002*b171 <= 155.161526075002 } } Constraint e261 { Definition: { sqr(7.75085767529561 - x229) + sqr(3.63307602514509 - x231) + 93.7411075777765*b172 <= 94.7411075777765 } } Constraint e262 { Definition: { sqr(9.9148364830655 - x229) + sqr(5.51483189629837 - x231) + 142.093349557565*b173 <= 143.093349557565 } } Constraint e263 { Definition: { sqr(9.03591083549967 - x229) + sqr(1.83449511612235 - x231) + 138.847878702949*b174 <= 139.847878702949 } } Constraint e264 { Definition: { sqr(8.20421763287616 - x229) + sqr(9.82784253465657 - x231) + 173.07608146417*b175 <= 174.07608146417 } } Constraint e265 { Definition: { sqr(1.03248567695818 - x229) + sqr(7.16096452869944 - x231) + 135.619467005275*b176 <= 136.619467005275 } } Constraint e266 { Definition: { sqr(9.86920389752062 - x229) + sqr(1.14806073691438 - x231) + 165.534538704689*b177 <= 166.534538704689 } } Constraint e267 { Definition: { sqr(0.817141349526822 - x229) + sqr(4.89037331555712 - x231) + 115.535016969841*b178 <= 116.535016969841 } } Constraint e268 { Definition: { sqr(0.460831329101329 - x229) + sqr(8.44240182853681 - x231) + 165.534538704689*b179 <= 166.534538704689 } } Constraint e269 { Definition: { sqr(6.67410747219087 - x229) + sqr(4.4461134165398 - x231) + 72.7893929676281*b180 <= 73.7893929676281 } } Constraint e270 { Definition: { b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 = 1 } } Constraint e271 { Definition: { sqr(3.23329980692027 - x233) + sqr(4.28386868469468 - x235) + 70.3380399508289*b181 <= 71.3380399508289 } } Constraint e272 { Definition: { sqr(4.76698640779873 - x233) + sqr(2.08930775599057 - x235) + 88.6345879922179*b182 <= 89.6345879922179 } } Constraint e273 { Definition: { sqr(0.0267350511843534 - x233) + sqr(0.782551987461116 - x235) + 173.07608146417*b183 <= 174.07608146417 } } Constraint e274 { Definition: { sqr(8.87351634308632 - x233) + sqr(3.10477334960963 - x235) + 119.189765523566*b184 <= 120.189765523566 } } Constraint e275 { Definition: { sqr(1.91447038389767 - x233) + sqr(7.96663059311099 - x235) + 130.724980923409*b185 <= 131.724980923409 } } Constraint e276 { Definition: { sqr(8.55222670865358 - x233) + sqr(0.438866978243134 - x235) + 152.289257045603*b186 <= 153.289257045603 } } Constraint e277 { Definition: { sqr(1.98863408000317 - x233) + sqr(8.96632330014267 - x235) + 146.275833327099*b187 <= 147.275833327099 } } Constraint e278 { Definition: { sqr(6.95896277872403 - x233) + sqr(8.84303759003159 - x235) + 134.290060533636*b188 <= 135.290060533636 } } Constraint e279 { Definition: { sqr(3.61145308049351 - x233) + sqr(6.96757527234085 - x235) + 90.4153493760657*b189 <= 91.4153493760657 } } Constraint e280 { Definition: { sqr(2.68339142719956 - x233) + sqr(9.93756308393997 - x235) + 155.435876865509*b190 <= 156.435876865509 } } Constraint e281 { Definition: { sqr(3.65720962255625 - x233) + sqr(1.74396350476612 - x235) + 104.574248000865*b191 <= 105.574248000865 } } Constraint e282 { Definition: { sqr(2.58228242210245 - x233) + sqr(2.69819914741465 - x235) + 100.597041943368*b192 <= 101.597041943368 } } Constraint e283 { Definition: { sqr(9.48301079077753 - x233) + sqr(4.52610831509011 - x235) + 123.776000509032*b193 <= 124.776000509032 } } Constraint e284 { Definition: { sqr(0.434598155960523 - x233) + sqr(8.14106643299414 - x235) + 161.401265156826*b194 <= 162.401265156826 } } Constraint e285 { Definition: { sqr(9.02424243556911 - x233) + sqr(0.334718733138226 - x235) + 162.651829944844*b195 <= 163.651829944844 } } Constraint e286 { Definition: { sqr(7.73517137689675 - x233) + sqr(3.51323083446602 - x235) + 94.7869069625255*b196 <= 95.7869069625255 } } Constraint e287 { Definition: { sqr(4.40833475926247 - x233) + sqr(4.2821399703396 - x235) + 58.6043091351014*b197 <= 59.6043091351014 } } Constraint e288 { Definition: { sqr(3.67998758525487 - x233) + sqr(5.08335062067947 - x235) + 68.4616343579277*b198 <= 69.4616343579277 } } Constraint e289 { Definition: { sqr(5.99800586943544 - x233) + sqr(0.0322978360521831 - x235) + 129.991228427538*b199 <= 130.991228427538 } } Constraint e290 { Definition: { sqr(8.17580946692085 - x233) + sqr(4.02617412348302 - x235) + 96.803038566953*b200 <= 97.803038566953 } } Constraint e291 { Definition: { sqr(0.174684355003035 - x233) + sqr(1.65622387552164 - x235) + 154.161526075002*b201 <= 155.161526075002 } } Constraint e292 { Definition: { sqr(7.75085767529561 - x233) + sqr(3.63307602514509 - x235) + 93.7411075777765*b202 <= 94.7411075777765 } } Constraint e293 { Definition: { sqr(9.9148364830655 - x233) + sqr(5.51483189629837 - x235) + 142.093349557565*b203 <= 143.093349557565 } } Constraint e294 { Definition: { sqr(9.03591083549967 - x233) + sqr(1.83449511612235 - x235) + 138.847878702949*b204 <= 139.847878702949 } } Constraint e295 { Definition: { sqr(8.20421763287616 - x233) + sqr(9.82784253465657 - x235) + 173.07608146417*b205 <= 174.07608146417 } } Constraint e296 { Definition: { sqr(1.03248567695818 - x233) + sqr(7.16096452869944 - x235) + 135.619467005275*b206 <= 136.619467005275 } } Constraint e297 { Definition: { sqr(9.86920389752062 - x233) + sqr(1.14806073691438 - x235) + 165.534538704689*b207 <= 166.534538704689 } } Constraint e298 { Definition: { sqr(0.817141349526822 - x233) + sqr(4.89037331555712 - x235) + 115.535016969841*b208 <= 116.535016969841 } } Constraint e299 { Definition: { sqr(0.460831329101329 - x233) + sqr(8.44240182853681 - x235) + 165.534538704689*b209 <= 166.534538704689 } } Constraint e300 { Definition: { sqr(6.67410747219087 - x233) + sqr(4.4461134165398 - x235) + 72.7893929676281*b210 <= 73.7893929676281 } } Constraint e301 { Definition: { b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 = 1 } } Constraint e302 { Definition: b1 + b31 + b61 + b91 + b121 + b151 + b181 <= 1; } Constraint e303 { Definition: b2 + b32 + b62 + b92 + b122 + b152 + b182 <= 1; } Constraint e304 { Definition: b3 + b33 + b63 + b93 + b123 + b153 + b183 <= 1; } Constraint e305 { Definition: b4 + b34 + b64 + b94 + b124 + b154 + b184 <= 1; } Constraint e306 { Definition: b5 + b35 + b65 + b95 + b125 + b155 + b185 <= 1; } Constraint e307 { Definition: b6 + b36 + b66 + b96 + b126 + b156 + b186 <= 1; } Constraint e308 { Definition: b7 + b37 + b67 + b97 + b127 + b157 + b187 <= 1; } Constraint e309 { Definition: b8 + b38 + b68 + b98 + b128 + b158 + b188 <= 1; } Constraint e310 { Definition: b9 + b39 + b69 + b99 + b129 + b159 + b189 <= 1; } Constraint e311 { Definition: b10 + b40 + b70 + b100 + b130 + b160 + b190 <= 1; } Constraint e312 { Definition: b11 + b41 + b71 + b101 + b131 + b161 + b191 <= 1; } Constraint e313 { Definition: b12 + b42 + b72 + b102 + b132 + b162 + b192 <= 1; } Constraint e314 { Definition: b13 + b43 + b73 + b103 + b133 + b163 + b193 <= 1; } Constraint e315 { Definition: b14 + b44 + b74 + b104 + b134 + b164 + b194 <= 1; } Constraint e316 { Definition: b15 + b45 + b75 + b105 + b135 + b165 + b195 <= 1; } Constraint e317 { Definition: b16 + b46 + b76 + b106 + b136 + b166 + b196 <= 1; } Constraint e318 { Definition: b17 + b47 + b77 + b107 + b137 + b167 + b197 <= 1; } Constraint e319 { Definition: b18 + b48 + b78 + b108 + b138 + b168 + b198 <= 1; } Constraint e320 { Definition: b19 + b49 + b79 + b109 + b139 + b169 + b199 <= 1; } Constraint e321 { Definition: b20 + b50 + b80 + b110 + b140 + b170 + b200 <= 1; } Constraint e322 { Definition: b21 + b51 + b81 + b111 + b141 + b171 + b201 <= 1; } Constraint e323 { Definition: b22 + b52 + b82 + b112 + b142 + b172 + b202 <= 1; } Constraint e324 { Definition: b23 + b53 + b83 + b113 + b143 + b173 + b203 <= 1; } Constraint e325 { Definition: b24 + b54 + b84 + b114 + b144 + b174 + b204 <= 1; } Constraint e326 { Definition: b25 + b55 + b85 + b115 + b145 + b175 + b205 <= 1; } Constraint e327 { Definition: b26 + b56 + b86 + b116 + b146 + b176 + b206 <= 1; } Constraint e328 { Definition: b27 + b57 + b87 + b117 + b147 + b177 + b207 <= 1; } Constraint e329 { Definition: b28 + b58 + b88 + b118 + b148 + b178 + b208 <= 1; } Constraint e330 { Definition: b29 + b59 + b89 + b119 + b149 + b179 + b209 <= 1; } Constraint e331 { Definition: b30 + b60 + b90 + b120 + b150 + b180 + b210 <= 1; } Constraint e332 { Definition: x211 - x212 <= 0; } Constraint e333 { Definition: x212 - x217 <= 0; } Constraint e334 { Definition: x217 - x221 <= 0; } Constraint e335 { Definition: x221 - x225 <= 0; } Constraint e336 { Definition: x225 - x229 <= 0; } Constraint e337 { Definition: x229 - x233 <= 0; } Constraint e338 { Definition: { - x213 - x216 - x218 - x220 - x222 - x224 - x226 - x228 - x230 - x232 - x234 - x236 - x237 - x238 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 + objvar = 0 } } Procedure MainInitialization { Body: { x211.upper := 10; x212.upper := 10; x213.upper := 10; x214.upper := 10; x215.upper := 10; x216.upper := 10; x217.upper := 10; x218.upper := 10; x219.upper := 10; x220.upper := 10; x221.upper := 10; x222.upper := 10; x223.upper := 10; x224.upper := 10; x225.upper := 10; x226.upper := 10; x227.upper := 10; x228.upper := 10; x229.upper := 10; x230.upper := 10; x231.upper := 10; x232.upper := 10; x233.upper := 10; x234.upper := 10; x235.upper := 10; x236.upper := 10; x237.upper := 10; x238.upper := 10; x239.upper := 10; x240.upper := 10; x241.upper := 10; x242.upper := 10; x243.upper := 10; x244.upper := 10; x245.upper := 10; x246.upper := 10; x247.upper := 10; x248.upper := 10; x249.upper := 10; x250.upper := 10; x251.upper := 10; x252.upper := 10; x253.upper := 10; x254.upper := 10; x255.upper := 10; x256.upper := 10; x257.upper := 10; x258.upper := 10; x259.upper := 10; x260.upper := 10; x261.upper := 10; x262.upper := 10; x263.upper := 10; x264.upper := 10; x265.upper := 10; x266.upper := 10; b30.l := 1; b52.l := 1; b84.l := 1; b94.l := 1; b140.l := 1; b166.l := 1; b193.l := 1; x211.l := 7.55187424652185; x212.l := 8.6263106159384; x213.l := 1.07443636941655; x214.l := 3.96699202270076; x215.l := 3.96699202270076; x217.l := 8.6263106159384; x218.l := 1.07443636941655; x219.l := 2.74682490676783; x220.l := 1.22016711593293; x221.l := 8.6263106159384; x222.l := 1.07443636941655; x223.l := 3.96699202270076; x225.l := 8.6263106159384; x226.l := 1.07443636941655; x227.l := 3.96699202270076; x229.l := 8.6263106159384; x230.l := 1.07443636941655; x231.l := 3.96699202270076; x233.l := 8.65390008276914; x234.l := 1.10202583624729; x235.l := 3.96699202270076; x238.l := 1.22016711593293; x245.l := 0.0275894668307384; x248.l := 1.22016711593293; x250.l := 1.22016711593293; x252.l := 1.22016711593293; x253.l := 0.0275894668307384; x254.l := 1.22016711593293; x259.l := 0.0275894668307384; x263.l := 0.0275894668307384; x265.l := 0.0275894668307384; } } MathematicalProgram p_ball_30b_7p_2d_m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_30b_7p_2d_m; } } Procedure MainTermination { Body: { return 1; } } }