## ams_version=1.0 Model Main_p_ball_10b_5p_4d_h { 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 x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable x89 { Range: nonnegative; } Variable x90 { Range: nonnegative; } Variable x91 { Range: nonnegative; } Variable x92 { Range: nonnegative; } Variable x93 { Range: nonnegative; } Variable x94 { Range: nonnegative; } Variable x95 { Range: nonnegative; } Variable x96 { Range: nonnegative; } Variable x97 { Range: nonnegative; } Variable x98 { Range: nonnegative; } Variable x99 { Range: nonnegative; } Variable x100 { Range: nonnegative; } Variable x101 { Range: nonnegative; } Variable x102 { Range: nonnegative; } Variable x103 { Range: nonnegative; } Variable x104 { Range: nonnegative; } Variable x105 { Range: nonnegative; } Variable x106 { Range: nonnegative; } Variable x107 { Range: nonnegative; } Variable x108 { Range: nonnegative; } Variable x109 { Range: nonnegative; } Variable x110 { Range: nonnegative; } Variable x111 { Range: nonnegative; } Variable x112 { Range: nonnegative; } Variable x113 { Range: nonnegative; } Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Variable x126 { Range: nonnegative; } Variable x127 { Range: nonnegative; } Variable x128 { Range: nonnegative; } Variable x129 { Range: nonnegative; } Variable x130 { Range: nonnegative; } Variable x131 { Range: nonnegative; } Variable x132 { Range: nonnegative; } Variable x133 { Range: nonnegative; } Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable x136 { Range: nonnegative; } Variable x137 { Range: nonnegative; } Variable x138 { Range: nonnegative; } Variable x139 { Range: nonnegative; } Variable x140 { Range: nonnegative; } Variable x141 { Range: nonnegative; } Variable x142 { Range: nonnegative; } Variable x143 { Range: nonnegative; } Variable x144 { Range: nonnegative; } Variable x145 { Range: nonnegative; } Variable x146 { Range: nonnegative; } Variable x147 { Range: nonnegative; } Variable x148 { Range: nonnegative; } Variable x149 { Range: nonnegative; } Variable x150 { Range: nonnegative; } Variable x151 { Range: nonnegative; } Variable x152 { Range: nonnegative; } Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156 { Range: nonnegative; } Variable x157 { Range: nonnegative; } Variable x158 { Range: nonnegative; } Variable x159 { Range: nonnegative; } Variable x160 { Range: nonnegative; } Variable x161 { Range: nonnegative; } Variable x162 { Range: nonnegative; } Variable x163 { Range: nonnegative; } Variable x164 { Range: nonnegative; } Variable x165 { Range: nonnegative; } Variable x166 { Range: nonnegative; } Variable x167 { Range: nonnegative; } Variable x168 { Range: nonnegative; } Variable x169 { Range: nonnegative; } Variable x170 { Range: nonnegative; } Variable x171 { Range: nonnegative; } Variable x172 { Range: nonnegative; } Variable x173 { Range: nonnegative; } Variable x174 { Range: nonnegative; } Variable x175 { Range: nonnegative; } Variable x176 { Range: nonnegative; } Variable x177 { Range: nonnegative; } Variable x178 { Range: nonnegative; } Variable x179 { Range: nonnegative; } Variable x180 { Range: nonnegative; } Variable x181 { Range: nonnegative; } Variable x182 { Range: nonnegative; } Variable x183 { Range: nonnegative; } Variable x184 { Range: nonnegative; } Variable x185 { Range: nonnegative; } Variable x186 { Range: nonnegative; } Variable x187 { Range: nonnegative; } Variable x188 { Range: nonnegative; } Variable x189 { Range: nonnegative; } Variable x190 { Range: nonnegative; } Variable x191 { Range: nonnegative; } Variable x192 { Range: nonnegative; } Variable x193 { Range: nonnegative; } Variable x194 { Range: nonnegative; } Variable x195 { Range: nonnegative; } Variable x196 { Range: nonnegative; } Variable x197 { Range: nonnegative; } Variable x198 { Range: nonnegative; } Variable x199 { Range: nonnegative; } Variable x200 { Range: nonnegative; } Variable x201 { Range: nonnegative; } Variable x202 { Range: nonnegative; } Variable x203 { Range: nonnegative; } Variable x204 { Range: nonnegative; } Variable x205 { Range: nonnegative; } Variable x206 { Range: nonnegative; } Variable x207 { Range: nonnegative; } Variable x208 { Range: nonnegative; } Variable x209 { Range: nonnegative; } Variable x210 { Range: nonnegative; } 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 x267 { Range: nonnegative; } Variable x268 { Range: nonnegative; } Variable x269 { Range: nonnegative; } Variable x270 { Range: nonnegative; } Variable x271 { Range: nonnegative; } Variable x272 { Range: nonnegative; } Variable x273 { Range: nonnegative; } Variable x274 { Range: nonnegative; } Variable x275 { Range: nonnegative; } Variable x276 { Range: nonnegative; } Variable x277 { Range: nonnegative; } Variable x278 { Range: nonnegative; } Variable x279 { Range: nonnegative; } Variable x280 { Range: nonnegative; } Variable x281 { Range: nonnegative; } Variable x282 { Range: nonnegative; } Variable x283 { Range: nonnegative; } Variable x284 { Range: nonnegative; } Variable x285 { Range: nonnegative; } Variable x286 { Range: nonnegative; } Variable x287 { Range: nonnegative; } Variable x288 { Range: nonnegative; } Variable x289 { Range: nonnegative; } Variable x290 { Range: nonnegative; } Variable x291 { Range: nonnegative; } Variable x292 { Range: nonnegative; } Variable x293 { Range: nonnegative; } Variable x294 { Range: nonnegative; } Variable x295 { Range: nonnegative; } Variable x296 { Range: nonnegative; } Variable x297 { Range: nonnegative; } Variable x298 { Range: nonnegative; } Variable x299 { Range: nonnegative; } Variable x300 { Range: nonnegative; } Variable x301 { Range: nonnegative; } Variable x302 { Range: nonnegative; } Variable x303 { Range: nonnegative; } Variable x304 { Range: nonnegative; } Variable x305 { Range: nonnegative; } Variable x306 { Range: nonnegative; } Variable x307 { Range: nonnegative; } Variable x308 { Range: nonnegative; } Variable x309 { Range: nonnegative; } Variable x310 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x51 - x52 - x53 <= 0; } Constraint e2 { Definition: - x51 + x52 - x53 <= 0; } Constraint e3 { Definition: x54 - x55 - x56 <= 0; } Constraint e4 { Definition: - x54 + x55 - x56 <= 0; } Constraint e5 { Definition: x57 - x58 - x59 <= 0; } Constraint e6 { Definition: - x57 + x58 - x59 <= 0; } Constraint e7 { Definition: x60 - x61 - x62 <= 0; } Constraint e8 { Definition: - x60 + x61 - x62 <= 0; } Constraint e9 { Definition: x51 - x63 - x64 <= 0; } Constraint e10 { Definition: - x51 + x63 - x64 <= 0; } Constraint e11 { Definition: x54 - x65 - x66 <= 0; } Constraint e12 { Definition: - x54 + x65 - x66 <= 0; } Constraint e13 { Definition: x57 - x67 - x68 <= 0; } Constraint e14 { Definition: - x57 + x67 - x68 <= 0; } Constraint e15 { Definition: x60 - x69 - x70 <= 0; } Constraint e16 { Definition: - x60 + x69 - x70 <= 0; } Constraint e17 { Definition: x51 - x71 - x72 <= 0; } Constraint e18 { Definition: - x51 + x71 - x72 <= 0; } Constraint e19 { Definition: x54 - x73 - x74 <= 0; } Constraint e20 { Definition: - x54 + x73 - x74 <= 0; } Constraint e21 { Definition: x57 - x75 - x76 <= 0; } Constraint e22 { Definition: - x57 + x75 - x76 <= 0; } Constraint e23 { Definition: x60 - x77 - x78 <= 0; } Constraint e24 { Definition: - x60 + x77 - x78 <= 0; } Constraint e25 { Definition: x51 - x79 - x80 <= 0; } Constraint e26 { Definition: - x51 + x79 - x80 <= 0; } Constraint e27 { Definition: x54 - x81 - x82 <= 0; } Constraint e28 { Definition: - x54 + x81 - x82 <= 0; } Constraint e29 { Definition: x57 - x83 - x84 <= 0; } Constraint e30 { Definition: - x57 + x83 - x84 <= 0; } Constraint e31 { Definition: x60 - x85 - x86 <= 0; } Constraint e32 { Definition: - x60 + x85 - x86 <= 0; } Constraint e33 { Definition: x52 - x63 - x87 <= 0; } Constraint e34 { Definition: - x52 + x63 - x87 <= 0; } Constraint e35 { Definition: x55 - x65 - x88 <= 0; } Constraint e36 { Definition: - x55 + x65 - x88 <= 0; } Constraint e37 { Definition: x58 - x67 - x89 <= 0; } Constraint e38 { Definition: - x58 + x67 - x89 <= 0; } Constraint e39 { Definition: x61 - x69 - x90 <= 0; } Constraint e40 { Definition: - x61 + x69 - x90 <= 0; } Constraint e41 { Definition: x52 - x71 - x91 <= 0; } Constraint e42 { Definition: - x52 + x71 - x91 <= 0; } Constraint e43 { Definition: x55 - x73 - x92 <= 0; } Constraint e44 { Definition: - x55 + x73 - x92 <= 0; } Constraint e45 { Definition: x58 - x75 - x93 <= 0; } Constraint e46 { Definition: - x58 + x75 - x93 <= 0; } Constraint e47 { Definition: x61 - x77 - x94 <= 0; } Constraint e48 { Definition: - x61 + x77 - x94 <= 0; } Constraint e49 { Definition: x52 - x79 - x95 <= 0; } Constraint e50 { Definition: - x52 + x79 - x95 <= 0; } Constraint e51 { Definition: x55 - x81 - x96 <= 0; } Constraint e52 { Definition: - x55 + x81 - x96 <= 0; } Constraint e53 { Definition: x58 - x83 - x97 <= 0; } Constraint e54 { Definition: - x58 + x83 - x97 <= 0; } Constraint e55 { Definition: x61 - x85 - x98 <= 0; } Constraint e56 { Definition: - x61 + x85 - x98 <= 0; } Constraint e57 { Definition: x63 - x71 - x99 <= 0; } Constraint e58 { Definition: - x63 + x71 - x99 <= 0; } Constraint e59 { Definition: x65 - x73 - x100 <= 0; } Constraint e60 { Definition: - x65 + x73 - x100 <= 0; } Constraint e61 { Definition: x67 - x75 - x101 <= 0; } Constraint e62 { Definition: - x67 + x75 - x101 <= 0; } Constraint e63 { Definition: x69 - x77 - x102 <= 0; } Constraint e64 { Definition: - x69 + x77 - x102 <= 0; } Constraint e65 { Definition: x63 - x79 - x103 <= 0; } Constraint e66 { Definition: - x63 + x79 - x103 <= 0; } Constraint e67 { Definition: x65 - x81 - x104 <= 0; } Constraint e68 { Definition: - x65 + x81 - x104 <= 0; } Constraint e69 { Definition: x67 - x83 - x105 <= 0; } Constraint e70 { Definition: - x67 + x83 - x105 <= 0; } Constraint e71 { Definition: x69 - x85 - x106 <= 0; } Constraint e72 { Definition: - x69 + x85 - x106 <= 0; } Constraint e73 { Definition: x71 - x79 - x107 <= 0; } Constraint e74 { Definition: - x71 + x79 - x107 <= 0; } Constraint e75 { Definition: x73 - x81 - x108 <= 0; } Constraint e76 { Definition: - x73 + x81 - x108 <= 0; } Constraint e77 { Definition: x75 - x83 - x109 <= 0; } Constraint e78 { Definition: - x75 + x83 - x109 <= 0; } Constraint e79 { Definition: x77 - x85 - x110 <= 0; } Constraint e80 { Definition: - x77 + x85 - x110 <= 0; } Constraint e81 { Definition: { (-1 + sqr(0.305036966445776 - x111/(0.0001 + 0.9999*b1)) + sqr( 0.634555091335016 - x112/(0.0001 + 0.9999*b1)) + sqr(6.814471824267 - x113/(0.0001 + 0.9999*b1)) + sqr(9.81321087468808 - x114/(0.0001 + 0.9999 *b1)))*(0.0001 + 0.9999*b1) + 0.0142231841629663*b1 <= 0.0142231841629663 } } Constraint e82 { Definition: { (-1 + sqr(9.87450535964623 - x115/(0.0001 + 0.9999*b2)) + sqr( 8.74510685597449 - x116/(0.0001 + 0.9999*b2)) + sqr(6.66545658580281 - x117/(0.0001 + 0.9999*b2)) + sqr(2.5700184949339 - x118/(0.0001 + 0.9999* b2)))*(0.0001 + 0.9999*b2) + 0.0224016056581619*b2 <= 0.0224016056581619 } } Constraint e83 { Definition: { (-1 + sqr(2.82885264202444 - x119/(0.0001 + 0.9999*b3)) + sqr( 8.4688333544494 - x120/(0.0001 + 0.9999*b3)) + sqr(5.84225640580202 - x121/(0.0001 + 0.9999*b3)) + sqr(1.07461001324769 - x122/(0.0001 + 0.9999 *b3)))*(0.0001 + 0.9999*b3) + 0.011401029224743*b3 <= 0.011401029224743 } } Constraint e84 { Definition: { (-1 + sqr(0.650176203261921 - x123/(0.0001 + 0.9999*b4)) + sqr( 3.12451267411524 - x124/(0.0001 + 0.9999*b4)) + sqr(7.75486658597646 - x125/(0.0001 + 0.9999*b4)) + sqr(3.46468314918323 - x126/(0.0001 + 0.9999 *b4)))*(0.0001 + 0.9999*b4) + 0.00813272936365233*b4 <= 0.00813272936365233 } } Constraint e85 { Definition: { (-1 + sqr(2.16828333327622 - x127/(0.0001 + 0.9999*b5)) + sqr( 4.30483407264652 - x128/(0.0001 + 0.9999*b5)) + sqr(6.42640527388037 - x129/(0.0001 + 0.9999*b5)) + sqr(4.13540922307827 - x130/(0.0001 + 0.9999 *b5)))*(0.0001 + 0.9999*b5) + 0.00806333431928601*b5 <= 0.00806333431928601 } } Constraint e86 { Definition: { (-1 + sqr(6.57828234352298 - x131/(0.0001 + 0.9999*b6)) + sqr( 9.35099743244299 - x132/(0.0001 + 0.9999*b6)) + sqr(8.54696402332509 - x133/(0.0001 + 0.9999*b6)) + sqr(5.04321305427267 - x134/(0.0001 + 0.9999 *b6)))*(0.0001 + 0.9999*b6) + 0.0228199543499461*b6 <= 0.0228199543499461 } } Constraint e87 { Definition: { (-1 + sqr(0.121730249080358 - x135/(0.0001 + 0.9999*b7)) + sqr( 5.5819132952254 - x136/(0.0001 + 0.9999*b7)) + sqr(1.11962957591948 - x137/(0.0001 + 0.9999*b7)) + sqr(8.91043826758874 - x138/(0.0001 + 0.9999 *b7)))*(0.0001 + 0.9999*b7) + 0.0110822054796739*b7 <= 0.0110822054796739 } } Constraint e88 { Definition: { (-1 + sqr(8.98297692267813 - x139/(0.0001 + 0.9999*b8)) + sqr( 1.57278944121016 - x140/(0.0001 + 0.9999*b8)) + sqr(0.373424527008207 - x141/(0.0001 + 0.9999*b8)) + sqr(5.31728541389757 - x142/(0.0001 + 0.9999 *b8)))*(0.0001 + 0.9999*b8) + 0.0110580511069969*b8 <= 0.0110580511069969 } } Constraint e89 { Definition: { (-1 + sqr(3.80876590973847 - x143/(0.0001 + 0.9999*b9)) + sqr( 4.52554072865087 - x144/(0.0001 + 0.9999*b9)) + sqr(2.95832977799596 - x145/(0.0001 + 0.9999*b9)) + sqr(2.45196796627015 - x146/(0.0001 + 0.9999 *b9)))*(0.0001 + 0.9999*b9) + 0.00487510786248563*b9 <= 0.00487510786248563 } } Constraint e90 { Definition: { (-1 + sqr(1.8357554909519 - x147/(0.0001 + 0.9999*b10)) + sqr( 7.66347281114004 - x148/(0.0001 + 0.9999*b10)) + sqr(6.23276665994841 - x149/(0.0001 + 0.9999*b10)) + sqr(9.07661262817776 - x150/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.0182331090789003*b10 <= 0.0182331090789003 } } Constraint e91 { Definition: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 = 1; } Constraint e92 { Definition: { (-1 + sqr(0.305036966445776 - x151/(0.0001 + 0.9999*b11)) + sqr( 0.634555091335016 - x152/(0.0001 + 0.9999*b11)) + sqr(6.814471824267 - x153/(0.0001 + 0.9999*b11)) + sqr(9.81321087468808 - x154/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.0142231841629663*b11 <= 0.0142231841629663 } } Constraint e93 { Definition: { (-1 + sqr(9.87450535964623 - x155/(0.0001 + 0.9999*b12)) + sqr( 8.74510685597449 - x156/(0.0001 + 0.9999*b12)) + sqr(6.66545658580281 - x157/(0.0001 + 0.9999*b12)) + sqr(2.5700184949339 - x158/(0.0001 + 0.9999 *b12)))*(0.0001 + 0.9999*b12) + 0.0224016056581619*b12 <= 0.0224016056581619 } } Constraint e94 { Definition: { (-1 + sqr(2.82885264202444 - x159/(0.0001 + 0.9999*b13)) + sqr( 8.4688333544494 - x160/(0.0001 + 0.9999*b13)) + sqr(5.84225640580202 - x161/(0.0001 + 0.9999*b13)) + sqr(1.07461001324769 - x162/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.011401029224743*b13 <= 0.011401029224743 } } Constraint e95 { Definition: { (-1 + sqr(0.650176203261921 - x163/(0.0001 + 0.9999*b14)) + sqr( 3.12451267411524 - x164/(0.0001 + 0.9999*b14)) + sqr(7.75486658597646 - x165/(0.0001 + 0.9999*b14)) + sqr(3.46468314918323 - x166/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.00813272936365233*b14 <= 0.00813272936365233 } } Constraint e96 { Definition: { (-1 + sqr(2.16828333327622 - x167/(0.0001 + 0.9999*b15)) + sqr( 4.30483407264652 - x168/(0.0001 + 0.9999*b15)) + sqr(6.42640527388037 - x169/(0.0001 + 0.9999*b15)) + sqr(4.13540922307827 - x170/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.00806333431928601*b15 <= 0.00806333431928601 } } Constraint e97 { Definition: { (-1 + sqr(6.57828234352298 - x171/(0.0001 + 0.9999*b16)) + sqr( 9.35099743244299 - x172/(0.0001 + 0.9999*b16)) + sqr(8.54696402332509 - x173/(0.0001 + 0.9999*b16)) + sqr(5.04321305427267 - x174/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.0228199543499461*b16 <= 0.0228199543499461 } } Constraint e98 { Definition: { (-1 + sqr(0.121730249080358 - x175/(0.0001 + 0.9999*b17)) + sqr( 5.5819132952254 - x176/(0.0001 + 0.9999*b17)) + sqr(1.11962957591948 - x177/(0.0001 + 0.9999*b17)) + sqr(8.91043826758874 - x178/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) + 0.0110822054796739*b17 <= 0.0110822054796739 } } Constraint e99 { Definition: { (-1 + sqr(8.98297692267813 - x179/(0.0001 + 0.9999*b18)) + sqr( 1.57278944121016 - x180/(0.0001 + 0.9999*b18)) + sqr(0.373424527008207 - x181/(0.0001 + 0.9999*b18)) + sqr(5.31728541389757 - x182/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.0110580511069969*b18 <= 0.0110580511069969 } } Constraint e100 { Definition: { (-1 + sqr(3.80876590973847 - x183/(0.0001 + 0.9999*b19)) + sqr( 4.52554072865087 - x184/(0.0001 + 0.9999*b19)) + sqr(2.95832977799596 - x185/(0.0001 + 0.9999*b19)) + sqr(2.45196796627015 - x186/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.00487510786248563*b19 <= 0.00487510786248563 } } Constraint e101 { Definition: { (-1 + sqr(1.8357554909519 - x187/(0.0001 + 0.9999*b20)) + sqr( 7.66347281114004 - x188/(0.0001 + 0.9999*b20)) + sqr(6.23276665994841 - x189/(0.0001 + 0.9999*b20)) + sqr(9.07661262817776 - x190/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.0182331090789003*b20 <= 0.0182331090789003 } } Constraint e102 { Definition: b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 = 1; } Constraint e103 { Definition: { (-1 + sqr(0.305036966445776 - x191/(0.0001 + 0.9999*b21)) + sqr( 0.634555091335016 - x192/(0.0001 + 0.9999*b21)) + sqr(6.814471824267 - x193/(0.0001 + 0.9999*b21)) + sqr(9.81321087468808 - x194/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.0142231841629663*b21 <= 0.0142231841629663 } } Constraint e104 { Definition: { (-1 + sqr(9.87450535964623 - x195/(0.0001 + 0.9999*b22)) + sqr( 8.74510685597449 - x196/(0.0001 + 0.9999*b22)) + sqr(6.66545658580281 - x197/(0.0001 + 0.9999*b22)) + sqr(2.5700184949339 - x198/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.0224016056581619*b22 <= 0.0224016056581619 } } Constraint e105 { Definition: { (-1 + sqr(2.82885264202444 - x199/(0.0001 + 0.9999*b23)) + sqr( 8.4688333544494 - x200/(0.0001 + 0.9999*b23)) + sqr(5.84225640580202 - x201/(0.0001 + 0.9999*b23)) + sqr(1.07461001324769 - x202/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.011401029224743*b23 <= 0.011401029224743 } } Constraint e106 { Definition: { (-1 + sqr(0.650176203261921 - x203/(0.0001 + 0.9999*b24)) + sqr( 3.12451267411524 - x204/(0.0001 + 0.9999*b24)) + sqr(7.75486658597646 - x205/(0.0001 + 0.9999*b24)) + sqr(3.46468314918323 - x206/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.00813272936365233*b24 <= 0.00813272936365233 } } Constraint e107 { Definition: { (-1 + sqr(2.16828333327622 - x207/(0.0001 + 0.9999*b25)) + sqr( 4.30483407264652 - x208/(0.0001 + 0.9999*b25)) + sqr(6.42640527388037 - x209/(0.0001 + 0.9999*b25)) + sqr(4.13540922307827 - x210/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.00806333431928601*b25 <= 0.00806333431928601 } } Constraint e108 { Definition: { (-1 + sqr(6.57828234352298 - x211/(0.0001 + 0.9999*b26)) + sqr( 9.35099743244299 - x212/(0.0001 + 0.9999*b26)) + sqr(8.54696402332509 - x213/(0.0001 + 0.9999*b26)) + sqr(5.04321305427267 - x214/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.0228199543499461*b26 <= 0.0228199543499461 } } Constraint e109 { Definition: { (-1 + sqr(0.121730249080358 - x215/(0.0001 + 0.9999*b27)) + sqr( 5.5819132952254 - x216/(0.0001 + 0.9999*b27)) + sqr(1.11962957591948 - x217/(0.0001 + 0.9999*b27)) + sqr(8.91043826758874 - x218/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.0110822054796739*b27 <= 0.0110822054796739 } } Constraint e110 { Definition: { (-1 + sqr(8.98297692267813 - x219/(0.0001 + 0.9999*b28)) + sqr( 1.57278944121016 - x220/(0.0001 + 0.9999*b28)) + sqr(0.373424527008207 - x221/(0.0001 + 0.9999*b28)) + sqr(5.31728541389757 - x222/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.0110580511069969*b28 <= 0.0110580511069969 } } Constraint e111 { Definition: { (-1 + sqr(3.80876590973847 - x223/(0.0001 + 0.9999*b29)) + sqr( 4.52554072865087 - x224/(0.0001 + 0.9999*b29)) + sqr(2.95832977799596 - x225/(0.0001 + 0.9999*b29)) + sqr(2.45196796627015 - x226/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.00487510786248563*b29 <= 0.00487510786248563 } } Constraint e112 { Definition: { (-1 + sqr(1.8357554909519 - x227/(0.0001 + 0.9999*b30)) + sqr( 7.66347281114004 - x228/(0.0001 + 0.9999*b30)) + sqr(6.23276665994841 - x229/(0.0001 + 0.9999*b30)) + sqr(9.07661262817776 - x230/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.0182331090789003*b30 <= 0.0182331090789003 } } Constraint e113 { Definition: b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1; } Constraint e114 { Definition: { (-1 + sqr(0.305036966445776 - x231/(0.0001 + 0.9999*b31)) + sqr( 0.634555091335016 - x232/(0.0001 + 0.9999*b31)) + sqr(6.814471824267 - x233/(0.0001 + 0.9999*b31)) + sqr(9.81321087468808 - x234/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.0142231841629663*b31 <= 0.0142231841629663 } } Constraint e115 { Definition: { (-1 + sqr(9.87450535964623 - x235/(0.0001 + 0.9999*b32)) + sqr( 8.74510685597449 - x236/(0.0001 + 0.9999*b32)) + sqr(6.66545658580281 - x237/(0.0001 + 0.9999*b32)) + sqr(2.5700184949339 - x238/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) + 0.0224016056581619*b32 <= 0.0224016056581619 } } Constraint e116 { Definition: { (-1 + sqr(2.82885264202444 - x239/(0.0001 + 0.9999*b33)) + sqr( 8.4688333544494 - x240/(0.0001 + 0.9999*b33)) + sqr(5.84225640580202 - x241/(0.0001 + 0.9999*b33)) + sqr(1.07461001324769 - x242/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.011401029224743*b33 <= 0.011401029224743 } } Constraint e117 { Definition: { (-1 + sqr(0.650176203261921 - x243/(0.0001 + 0.9999*b34)) + sqr( 3.12451267411524 - x244/(0.0001 + 0.9999*b34)) + sqr(7.75486658597646 - x245/(0.0001 + 0.9999*b34)) + sqr(3.46468314918323 - x246/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.00813272936365233*b34 <= 0.00813272936365233 } } Constraint e118 { Definition: { (-1 + sqr(2.16828333327622 - x247/(0.0001 + 0.9999*b35)) + sqr( 4.30483407264652 - x248/(0.0001 + 0.9999*b35)) + sqr(6.42640527388037 - x249/(0.0001 + 0.9999*b35)) + sqr(4.13540922307827 - x250/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.00806333431928601*b35 <= 0.00806333431928601 } } Constraint e119 { Definition: { (-1 + sqr(6.57828234352298 - x251/(0.0001 + 0.9999*b36)) + sqr( 9.35099743244299 - x252/(0.0001 + 0.9999*b36)) + sqr(8.54696402332509 - x253/(0.0001 + 0.9999*b36)) + sqr(5.04321305427267 - x254/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.0228199543499461*b36 <= 0.0228199543499461 } } Constraint e120 { Definition: { (-1 + sqr(0.121730249080358 - x255/(0.0001 + 0.9999*b37)) + sqr( 5.5819132952254 - x256/(0.0001 + 0.9999*b37)) + sqr(1.11962957591948 - x257/(0.0001 + 0.9999*b37)) + sqr(8.91043826758874 - x258/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.0110822054796739*b37 <= 0.0110822054796739 } } Constraint e121 { Definition: { (-1 + sqr(8.98297692267813 - x259/(0.0001 + 0.9999*b38)) + sqr( 1.57278944121016 - x260/(0.0001 + 0.9999*b38)) + sqr(0.373424527008207 - x261/(0.0001 + 0.9999*b38)) + sqr(5.31728541389757 - x262/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.0110580511069969*b38 <= 0.0110580511069969 } } Constraint e122 { Definition: { (-1 + sqr(3.80876590973847 - x263/(0.0001 + 0.9999*b39)) + sqr( 4.52554072865087 - x264/(0.0001 + 0.9999*b39)) + sqr(2.95832977799596 - x265/(0.0001 + 0.9999*b39)) + sqr(2.45196796627015 - x266/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.00487510786248563*b39 <= 0.00487510786248563 } } Constraint e123 { Definition: { (-1 + sqr(1.8357554909519 - x267/(0.0001 + 0.9999*b40)) + sqr( 7.66347281114004 - x268/(0.0001 + 0.9999*b40)) + sqr(6.23276665994841 - x269/(0.0001 + 0.9999*b40)) + sqr(9.07661262817776 - x270/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.0182331090789003*b40 <= 0.0182331090789003 } } Constraint e124 { Definition: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1; } Constraint e125 { Definition: { (-1 + sqr(0.305036966445776 - x271/(0.0001 + 0.9999*b41)) + sqr( 0.634555091335016 - x272/(0.0001 + 0.9999*b41)) + sqr(6.814471824267 - x273/(0.0001 + 0.9999*b41)) + sqr(9.81321087468808 - x274/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) + 0.0142231841629663*b41 <= 0.0142231841629663 } } Constraint e126 { Definition: { (-1 + sqr(9.87450535964623 - x275/(0.0001 + 0.9999*b42)) + sqr( 8.74510685597449 - x276/(0.0001 + 0.9999*b42)) + sqr(6.66545658580281 - x277/(0.0001 + 0.9999*b42)) + sqr(2.5700184949339 - x278/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.0224016056581619*b42 <= 0.0224016056581619 } } Constraint e127 { Definition: { (-1 + sqr(2.82885264202444 - x279/(0.0001 + 0.9999*b43)) + sqr( 8.4688333544494 - x280/(0.0001 + 0.9999*b43)) + sqr(5.84225640580202 - x281/(0.0001 + 0.9999*b43)) + sqr(1.07461001324769 - x282/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.011401029224743*b43 <= 0.011401029224743 } } Constraint e128 { Definition: { (-1 + sqr(0.650176203261921 - x283/(0.0001 + 0.9999*b44)) + sqr( 3.12451267411524 - x284/(0.0001 + 0.9999*b44)) + sqr(7.75486658597646 - x285/(0.0001 + 0.9999*b44)) + sqr(3.46468314918323 - x286/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.00813272936365233*b44 <= 0.00813272936365233 } } Constraint e129 { Definition: { (-1 + sqr(2.16828333327622 - x287/(0.0001 + 0.9999*b45)) + sqr( 4.30483407264652 - x288/(0.0001 + 0.9999*b45)) + sqr(6.42640527388037 - x289/(0.0001 + 0.9999*b45)) + sqr(4.13540922307827 - x290/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.00806333431928601*b45 <= 0.00806333431928601 } } Constraint e130 { Definition: { (-1 + sqr(6.57828234352298 - x291/(0.0001 + 0.9999*b46)) + sqr( 9.35099743244299 - x292/(0.0001 + 0.9999*b46)) + sqr(8.54696402332509 - x293/(0.0001 + 0.9999*b46)) + sqr(5.04321305427267 - x294/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.0228199543499461*b46 <= 0.0228199543499461 } } Constraint e131 { Definition: { (-1 + sqr(0.121730249080358 - x295/(0.0001 + 0.9999*b47)) + sqr( 5.5819132952254 - x296/(0.0001 + 0.9999*b47)) + sqr(1.11962957591948 - x297/(0.0001 + 0.9999*b47)) + sqr(8.91043826758874 - x298/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) + 0.0110822054796739*b47 <= 0.0110822054796739 } } Constraint e132 { Definition: { (-1 + sqr(8.98297692267813 - x299/(0.0001 + 0.9999*b48)) + sqr( 1.57278944121016 - x300/(0.0001 + 0.9999*b48)) + sqr(0.373424527008207 - x301/(0.0001 + 0.9999*b48)) + sqr(5.31728541389757 - x302/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.0110580511069969*b48 <= 0.0110580511069969 } } Constraint e133 { Definition: { (-1 + sqr(3.80876590973847 - x303/(0.0001 + 0.9999*b49)) + sqr( 4.52554072865087 - x304/(0.0001 + 0.9999*b49)) + sqr(2.95832977799596 - x305/(0.0001 + 0.9999*b49)) + sqr(2.45196796627015 - x306/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) + 0.00487510786248563*b49 <= 0.00487510786248563 } } Constraint e134 { Definition: { (-1 + sqr(1.8357554909519 - x307/(0.0001 + 0.9999*b50)) + sqr( 7.66347281114004 - x308/(0.0001 + 0.9999*b50)) + sqr(6.23276665994841 - x309/(0.0001 + 0.9999*b50)) + sqr(9.07661262817776 - x310/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.0182331090789003*b50 <= 0.0182331090789003 } } Constraint e135 { Definition: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 = 1; } Constraint e136 { Definition: b1 + b11 + b21 + b31 + b41 <= 1; } Constraint e137 { Definition: b2 + b12 + b22 + b32 + b42 <= 1; } Constraint e138 { Definition: b3 + b13 + b23 + b33 + b43 <= 1; } Constraint e139 { Definition: b4 + b14 + b24 + b34 + b44 <= 1; } Constraint e140 { Definition: b5 + b15 + b25 + b35 + b45 <= 1; } Constraint e141 { Definition: b6 + b16 + b26 + b36 + b46 <= 1; } Constraint e142 { Definition: b7 + b17 + b27 + b37 + b47 <= 1; } Constraint e143 { Definition: b8 + b18 + b28 + b38 + b48 <= 1; } Constraint e144 { Definition: b9 + b19 + b29 + b39 + b49 <= 1; } Constraint e145 { Definition: b10 + b20 + b30 + b40 + b50 <= 1; } Constraint e146 { Definition: { - x51 + x111 + x115 + x119 + x123 + x127 + x131 + x135 + x139 + x143 + x147 = 0 } } Constraint e147 { Definition: { - x54 + x112 + x116 + x120 + x124 + x128 + x132 + x136 + x140 + x144 + x148 = 0 } } Constraint e148 { Definition: { - x57 + x113 + x117 + x121 + x125 + x129 + x133 + x137 + x141 + x145 + x149 = 0 } } Constraint e149 { Definition: { - x60 + x114 + x118 + x122 + x126 + x130 + x134 + x138 + x142 + x146 + x150 = 0 } } Constraint e150 { Definition: { - x52 + x151 + x155 + x159 + x163 + x167 + x171 + x175 + x179 + x183 + x187 = 0 } } Constraint e151 { Definition: { - x55 + x152 + x156 + x160 + x164 + x168 + x172 + x176 + x180 + x184 + x188 = 0 } } Constraint e152 { Definition: { - x58 + x153 + x157 + x161 + x165 + x169 + x173 + x177 + x181 + x185 + x189 = 0 } } Constraint e153 { Definition: { - x61 + x154 + x158 + x162 + x166 + x170 + x174 + x178 + x182 + x186 + x190 = 0 } } Constraint e154 { Definition: { - x63 + x191 + x195 + x199 + x203 + x207 + x211 + x215 + x219 + x223 + x227 = 0 } } Constraint e155 { Definition: { - x65 + x192 + x196 + x200 + x204 + x208 + x212 + x216 + x220 + x224 + x228 = 0 } } Constraint e156 { Definition: { - x67 + x193 + x197 + x201 + x205 + x209 + x213 + x217 + x221 + x225 + x229 = 0 } } Constraint e157 { Definition: { - x69 + x194 + x198 + x202 + x206 + x210 + x214 + x218 + x222 + x226 + x230 = 0 } } Constraint e158 { Definition: { - x71 + x231 + x235 + x239 + x243 + x247 + x251 + x255 + x259 + x263 + x267 = 0 } } Constraint e159 { Definition: { - x73 + x232 + x236 + x240 + x244 + x248 + x252 + x256 + x260 + x264 + x268 = 0 } } Constraint e160 { Definition: { - x75 + x233 + x237 + x241 + x245 + x249 + x253 + x257 + x261 + x265 + x269 = 0 } } Constraint e161 { Definition: { - x77 + x234 + x238 + x242 + x246 + x250 + x254 + x258 + x262 + x266 + x270 = 0 } } Constraint e162 { Definition: { - x79 + x271 + x275 + x279 + x283 + x287 + x291 + x295 + x299 + x303 + x307 = 0 } } Constraint e163 { Definition: { - x81 + x272 + x276 + x280 + x284 + x288 + x292 + x296 + x300 + x304 + x308 = 0 } } Constraint e164 { Definition: { - x83 + x273 + x277 + x281 + x285 + x289 + x293 + x297 + x301 + x305 + x309 = 0 } } Constraint e165 { Definition: { - x85 + x274 + x278 + x282 + x286 + x290 + x294 + x298 + x302 + x306 + x310 = 0 } } Constraint e166 { Definition: - 10*b1 + x111 <= 0; } Constraint e167 { Definition: - 10*b2 + x115 <= 0; } Constraint e168 { Definition: - 10*b3 + x119 <= 0; } Constraint e169 { Definition: - 10*b4 + x123 <= 0; } Constraint e170 { Definition: - 10*b5 + x127 <= 0; } Constraint e171 { Definition: - 10*b6 + x131 <= 0; } Constraint e172 { Definition: - 10*b7 + x135 <= 0; } Constraint e173 { Definition: - 10*b8 + x139 <= 0; } Constraint e174 { Definition: - 10*b9 + x143 <= 0; } Constraint e175 { Definition: - 10*b10 + x147 <= 0; } Constraint e176 { Definition: - 10*b1 + x112 <= 0; } Constraint e177 { Definition: - 10*b2 + x116 <= 0; } Constraint e178 { Definition: - 10*b3 + x120 <= 0; } Constraint e179 { Definition: - 10*b4 + x124 <= 0; } Constraint e180 { Definition: - 10*b5 + x128 <= 0; } Constraint e181 { Definition: - 10*b6 + x132 <= 0; } Constraint e182 { Definition: - 10*b7 + x136 <= 0; } Constraint e183 { Definition: - 10*b8 + x140 <= 0; } Constraint e184 { Definition: - 10*b9 + x144 <= 0; } Constraint e185 { Definition: - 10*b10 + x148 <= 0; } Constraint e186 { Definition: - 10*b1 + x113 <= 0; } Constraint e187 { Definition: - 10*b2 + x117 <= 0; } Constraint e188 { Definition: - 10*b3 + x121 <= 0; } Constraint e189 { Definition: - 10*b4 + x125 <= 0; } Constraint e190 { Definition: - 10*b5 + x129 <= 0; } Constraint e191 { Definition: - 10*b6 + x133 <= 0; } Constraint e192 { Definition: - 10*b7 + x137 <= 0; } Constraint e193 { Definition: - 10*b8 + x141 <= 0; } Constraint e194 { Definition: - 10*b9 + x145 <= 0; } Constraint e195 { Definition: - 10*b10 + x149 <= 0; } Constraint e196 { Definition: - 10*b1 + x114 <= 0; } Constraint e197 { Definition: - 10*b2 + x118 <= 0; } Constraint e198 { Definition: - 10*b3 + x122 <= 0; } Constraint e199 { Definition: - 10*b4 + x126 <= 0; } Constraint e200 { Definition: - 10*b5 + x130 <= 0; } Constraint e201 { Definition: - 10*b6 + x134 <= 0; } Constraint e202 { Definition: - 10*b7 + x138 <= 0; } Constraint e203 { Definition: - 10*b8 + x142 <= 0; } Constraint e204 { Definition: - 10*b9 + x146 <= 0; } Constraint e205 { Definition: - 10*b10 + x150 <= 0; } Constraint e206 { Definition: - 10*b11 + x151 <= 0; } Constraint e207 { Definition: - 10*b12 + x155 <= 0; } Constraint e208 { Definition: - 10*b13 + x159 <= 0; } Constraint e209 { Definition: - 10*b14 + x163 <= 0; } Constraint e210 { Definition: - 10*b15 + x167 <= 0; } Constraint e211 { Definition: - 10*b16 + x171 <= 0; } Constraint e212 { Definition: - 10*b17 + x175 <= 0; } Constraint e213 { Definition: - 10*b18 + x179 <= 0; } Constraint e214 { Definition: - 10*b19 + x183 <= 0; } Constraint e215 { Definition: - 10*b20 + x187 <= 0; } Constraint e216 { Definition: - 10*b11 + x152 <= 0; } Constraint e217 { Definition: - 10*b12 + x156 <= 0; } Constraint e218 { Definition: - 10*b13 + x160 <= 0; } Constraint e219 { Definition: - 10*b14 + x164 <= 0; } Constraint e220 { Definition: - 10*b15 + x168 <= 0; } Constraint e221 { Definition: - 10*b16 + x172 <= 0; } Constraint e222 { Definition: - 10*b17 + x176 <= 0; } Constraint e223 { Definition: - 10*b18 + x180 <= 0; } Constraint e224 { Definition: - 10*b19 + x184 <= 0; } Constraint e225 { Definition: - 10*b20 + x188 <= 0; } Constraint e226 { Definition: - 10*b11 + x153 <= 0; } Constraint e227 { Definition: - 10*b12 + x157 <= 0; } Constraint e228 { Definition: - 10*b13 + x161 <= 0; } Constraint e229 { Definition: - 10*b14 + x165 <= 0; } Constraint e230 { Definition: - 10*b15 + x169 <= 0; } Constraint e231 { Definition: - 10*b16 + x173 <= 0; } Constraint e232 { Definition: - 10*b17 + x177 <= 0; } Constraint e233 { Definition: - 10*b18 + x181 <= 0; } Constraint e234 { Definition: - 10*b19 + x185 <= 0; } Constraint e235 { Definition: - 10*b20 + x189 <= 0; } Constraint e236 { Definition: - 10*b11 + x154 <= 0; } Constraint e237 { Definition: - 10*b12 + x158 <= 0; } Constraint e238 { Definition: - 10*b13 + x162 <= 0; } Constraint e239 { Definition: - 10*b14 + x166 <= 0; } Constraint e240 { Definition: - 10*b15 + x170 <= 0; } Constraint e241 { Definition: - 10*b16 + x174 <= 0; } Constraint e242 { Definition: - 10*b17 + x178 <= 0; } Constraint e243 { Definition: - 10*b18 + x182 <= 0; } Constraint e244 { Definition: - 10*b19 + x186 <= 0; } Constraint e245 { Definition: - 10*b20 + x190 <= 0; } Constraint e246 { Definition: - 10*b21 + x191 <= 0; } Constraint e247 { Definition: - 10*b22 + x195 <= 0; } Constraint e248 { Definition: - 10*b23 + x199 <= 0; } Constraint e249 { Definition: - 10*b24 + x203 <= 0; } Constraint e250 { Definition: - 10*b25 + x207 <= 0; } Constraint e251 { Definition: - 10*b26 + x211 <= 0; } Constraint e252 { Definition: - 10*b27 + x215 <= 0; } Constraint e253 { Definition: - 10*b28 + x219 <= 0; } Constraint e254 { Definition: - 10*b29 + x223 <= 0; } Constraint e255 { Definition: - 10*b30 + x227 <= 0; } Constraint e256 { Definition: - 10*b21 + x192 <= 0; } Constraint e257 { Definition: - 10*b22 + x196 <= 0; } Constraint e258 { Definition: - 10*b23 + x200 <= 0; } Constraint e259 { Definition: - 10*b24 + x204 <= 0; } Constraint e260 { Definition: - 10*b25 + x208 <= 0; } Constraint e261 { Definition: - 10*b26 + x212 <= 0; } Constraint e262 { Definition: - 10*b27 + x216 <= 0; } Constraint e263 { Definition: - 10*b28 + x220 <= 0; } Constraint e264 { Definition: - 10*b29 + x224 <= 0; } Constraint e265 { Definition: - 10*b30 + x228 <= 0; } Constraint e266 { Definition: - 10*b21 + x193 <= 0; } Constraint e267 { Definition: - 10*b22 + x197 <= 0; } Constraint e268 { Definition: - 10*b23 + x201 <= 0; } Constraint e269 { Definition: - 10*b24 + x205 <= 0; } Constraint e270 { Definition: - 10*b25 + x209 <= 0; } Constraint e271 { Definition: - 10*b26 + x213 <= 0; } Constraint e272 { Definition: - 10*b27 + x217 <= 0; } Constraint e273 { Definition: - 10*b28 + x221 <= 0; } Constraint e274 { Definition: - 10*b29 + x225 <= 0; } Constraint e275 { Definition: - 10*b30 + x229 <= 0; } Constraint e276 { Definition: - 10*b21 + x194 <= 0; } Constraint e277 { Definition: - 10*b22 + x198 <= 0; } Constraint e278 { Definition: - 10*b23 + x202 <= 0; } Constraint e279 { Definition: - 10*b24 + x206 <= 0; } Constraint e280 { Definition: - 10*b25 + x210 <= 0; } Constraint e281 { Definition: - 10*b26 + x214 <= 0; } Constraint e282 { Definition: - 10*b27 + x218 <= 0; } Constraint e283 { Definition: - 10*b28 + x222 <= 0; } Constraint e284 { Definition: - 10*b29 + x226 <= 0; } Constraint e285 { Definition: - 10*b30 + x230 <= 0; } Constraint e286 { Definition: - 10*b31 + x231 <= 0; } Constraint e287 { Definition: - 10*b32 + x235 <= 0; } Constraint e288 { Definition: - 10*b33 + x239 <= 0; } Constraint e289 { Definition: - 10*b34 + x243 <= 0; } Constraint e290 { Definition: - 10*b35 + x247 <= 0; } Constraint e291 { Definition: - 10*b36 + x251 <= 0; } Constraint e292 { Definition: - 10*b37 + x255 <= 0; } Constraint e293 { Definition: - 10*b38 + x259 <= 0; } Constraint e294 { Definition: - 10*b39 + x263 <= 0; } Constraint e295 { Definition: - 10*b40 + x267 <= 0; } Constraint e296 { Definition: - 10*b31 + x232 <= 0; } Constraint e297 { Definition: - 10*b32 + x236 <= 0; } Constraint e298 { Definition: - 10*b33 + x240 <= 0; } Constraint e299 { Definition: - 10*b34 + x244 <= 0; } Constraint e300 { Definition: - 10*b35 + x248 <= 0; } Constraint e301 { Definition: - 10*b36 + x252 <= 0; } Constraint e302 { Definition: - 10*b37 + x256 <= 0; } Constraint e303 { Definition: - 10*b38 + x260 <= 0; } Constraint e304 { Definition: - 10*b39 + x264 <= 0; } Constraint e305 { Definition: - 10*b40 + x268 <= 0; } Constraint e306 { Definition: - 10*b31 + x233 <= 0; } Constraint e307 { Definition: - 10*b32 + x237 <= 0; } Constraint e308 { Definition: - 10*b33 + x241 <= 0; } Constraint e309 { Definition: - 10*b34 + x245 <= 0; } Constraint e310 { Definition: - 10*b35 + x249 <= 0; } Constraint e311 { Definition: - 10*b36 + x253 <= 0; } Constraint e312 { Definition: - 10*b37 + x257 <= 0; } Constraint e313 { Definition: - 10*b38 + x261 <= 0; } Constraint e314 { Definition: - 10*b39 + x265 <= 0; } Constraint e315 { Definition: - 10*b40 + x269 <= 0; } Constraint e316 { Definition: - 10*b31 + x234 <= 0; } Constraint e317 { Definition: - 10*b32 + x238 <= 0; } Constraint e318 { Definition: - 10*b33 + x242 <= 0; } Constraint e319 { Definition: - 10*b34 + x246 <= 0; } Constraint e320 { Definition: - 10*b35 + x250 <= 0; } Constraint e321 { Definition: - 10*b36 + x254 <= 0; } Constraint e322 { Definition: - 10*b37 + x258 <= 0; } Constraint e323 { Definition: - 10*b38 + x262 <= 0; } Constraint e324 { Definition: - 10*b39 + x266 <= 0; } Constraint e325 { Definition: - 10*b40 + x270 <= 0; } Constraint e326 { Definition: - 10*b41 + x271 <= 0; } Constraint e327 { Definition: - 10*b42 + x275 <= 0; } Constraint e328 { Definition: - 10*b43 + x279 <= 0; } Constraint e329 { Definition: - 10*b44 + x283 <= 0; } Constraint e330 { Definition: - 10*b45 + x287 <= 0; } Constraint e331 { Definition: - 10*b46 + x291 <= 0; } Constraint e332 { Definition: - 10*b47 + x295 <= 0; } Constraint e333 { Definition: - 10*b48 + x299 <= 0; } Constraint e334 { Definition: - 10*b49 + x303 <= 0; } Constraint e335 { Definition: - 10*b50 + x307 <= 0; } Constraint e336 { Definition: - 10*b41 + x272 <= 0; } Constraint e337 { Definition: - 10*b42 + x276 <= 0; } Constraint e338 { Definition: - 10*b43 + x280 <= 0; } Constraint e339 { Definition: - 10*b44 + x284 <= 0; } Constraint e340 { Definition: - 10*b45 + x288 <= 0; } Constraint e341 { Definition: - 10*b46 + x292 <= 0; } Constraint e342 { Definition: - 10*b47 + x296 <= 0; } Constraint e343 { Definition: - 10*b48 + x300 <= 0; } Constraint e344 { Definition: - 10*b49 + x304 <= 0; } Constraint e345 { Definition: - 10*b50 + x308 <= 0; } Constraint e346 { Definition: - 10*b41 + x273 <= 0; } Constraint e347 { Definition: - 10*b42 + x277 <= 0; } Constraint e348 { Definition: - 10*b43 + x281 <= 0; } Constraint e349 { Definition: - 10*b44 + x285 <= 0; } Constraint e350 { Definition: - 10*b45 + x289 <= 0; } Constraint e351 { Definition: - 10*b46 + x293 <= 0; } Constraint e352 { Definition: - 10*b47 + x297 <= 0; } Constraint e353 { Definition: - 10*b48 + x301 <= 0; } Constraint e354 { Definition: - 10*b49 + x305 <= 0; } Constraint e355 { Definition: - 10*b50 + x309 <= 0; } Constraint e356 { Definition: - 10*b41 + x274 <= 0; } Constraint e357 { Definition: - 10*b42 + x278 <= 0; } Constraint e358 { Definition: - 10*b43 + x282 <= 0; } Constraint e359 { Definition: - 10*b44 + x286 <= 0; } Constraint e360 { Definition: - 10*b45 + x290 <= 0; } Constraint e361 { Definition: - 10*b46 + x294 <= 0; } Constraint e362 { Definition: - 10*b47 + x298 <= 0; } Constraint e363 { Definition: - 10*b48 + x302 <= 0; } Constraint e364 { Definition: - 10*b49 + x306 <= 0; } Constraint e365 { Definition: - 10*b50 + x310 <= 0; } Constraint e366 { Definition: x51 - x52 <= 0; } Constraint e367 { Definition: x52 - x63 <= 0; } Constraint e368 { Definition: x63 - x71 <= 0; } Constraint e369 { Definition: x71 - x79 <= 0; } Constraint e370 { Definition: { - x53 - x56 - x59 - x62 - x64 - x66 - x68 - x70 - x72 - x74 - x76 - x78 - x80 - x82 - x84 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96 - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 - x108 - x109 - x110 + objvar = 0 } } Procedure MainInitialization { Body: { x51.upper := 10; x52.upper := 10; x53.upper := 10; x54.upper := 10; x55.upper := 10; x56.upper := 10; x57.upper := 10; x58.upper := 10; x59.upper := 10; x60.upper := 10; x61.upper := 10; x62.upper := 10; x63.upper := 10; x64.upper := 10; x65.upper := 10; x66.upper := 10; x67.upper := 10; x68.upper := 10; x69.upper := 10; x70.upper := 10; x71.upper := 10; x72.upper := 10; x73.upper := 10; x74.upper := 10; x75.upper := 10; x76.upper := 10; x77.upper := 10; x78.upper := 10; x79.upper := 10; x80.upper := 10; x81.upper := 10; x82.upper := 10; x83.upper := 10; x84.upper := 10; x85.upper := 10; x86.upper := 10; x87.upper := 10; x88.upper := 10; x89.upper := 10; x90.upper := 10; x91.upper := 10; x92.upper := 10; x93.upper := 10; x94.upper := 10; x95.upper := 10; x96.upper := 10; x97.upper := 10; x98.upper := 10; x99.upper := 10; x100.upper := 10; x101.upper := 10; x102.upper := 10; x103.upper := 10; x104.upper := 10; x105.upper := 10; x106.upper := 10; x107.upper := 10; x108.upper := 10; x109.upper := 10; x110.upper := 10; x111.upper := 10; x112.upper := 10; x113.upper := 10; x114.upper := 10; x115.upper := 10; x116.upper := 10; x117.upper := 10; x118.upper := 10; x119.upper := 10; x120.upper := 10; x121.upper := 10; x122.upper := 10; x123.upper := 10; x124.upper := 10; x125.upper := 10; x126.upper := 10; x127.upper := 10; x128.upper := 10; x129.upper := 10; x130.upper := 10; x131.upper := 10; x132.upper := 10; x133.upper := 10; x134.upper := 10; x135.upper := 10; x136.upper := 10; x137.upper := 10; x138.upper := 10; x139.upper := 10; x140.upper := 10; x141.upper := 10; x142.upper := 10; x143.upper := 10; x144.upper := 10; x145.upper := 10; x146.upper := 10; x147.upper := 10; x148.upper := 10; x149.upper := 10; x150.upper := 10; x151.upper := 10; x152.upper := 10; x153.upper := 10; x154.upper := 10; x155.upper := 10; x156.upper := 10; x157.upper := 10; x158.upper := 10; x159.upper := 10; x160.upper := 10; x161.upper := 10; x162.upper := 10; x163.upper := 10; x164.upper := 10; x165.upper := 10; x166.upper := 10; x167.upper := 10; x168.upper := 10; x169.upper := 10; x170.upper := 10; x171.upper := 10; x172.upper := 10; x173.upper := 10; x174.upper := 10; x175.upper := 10; x176.upper := 10; x177.upper := 10; x178.upper := 10; x179.upper := 10; x180.upper := 10; x181.upper := 10; x182.upper := 10; x183.upper := 10; x184.upper := 10; x185.upper := 10; x186.upper := 10; x187.upper := 10; x188.upper := 10; x189.upper := 10; x190.upper := 10; x191.upper := 10; x192.upper := 10; x193.upper := 10; x194.upper := 10; x195.upper := 10; x196.upper := 10; x197.upper := 10; x198.upper := 10; x199.upper := 10; x200.upper := 10; x201.upper := 10; x202.upper := 10; x203.upper := 10; x204.upper := 10; x205.upper := 10; x206.upper := 10; x207.upper := 10; x208.upper := 10; x209.upper := 10; x210.upper := 10; 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; x267.upper := 10; x268.upper := 10; x269.upper := 10; x270.upper := 10; x271.upper := 10; x272.upper := 10; x273.upper := 10; x274.upper := 10; x275.upper := 10; x276.upper := 10; x277.upper := 10; x278.upper := 10; x279.upper := 10; x280.upper := 10; x281.upper := 10; x282.upper := 10; x283.upper := 10; x284.upper := 10; x285.upper := 10; x286.upper := 10; x287.upper := 10; x288.upper := 10; x289.upper := 10; x290.upper := 10; x291.upper := 10; x292.upper := 10; x293.upper := 10; x294.upper := 10; x295.upper := 10; x296.upper := 10; x297.upper := 10; x298.upper := 10; x299.upper := 10; x300.upper := 10; x301.upper := 10; x302.upper := 10; x303.upper := 10; x304.upper := 10; x305.upper := 10; x306.upper := 10; x307.upper := 10; x308.upper := 10; x309.upper := 10; x310.upper := 10; } } MathematicalProgram p_ball_10b_5p_4d_h { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_10b_5p_4d_h; } } Procedure MainTermination { Body: { return 1; } } }