## ams_version=1.0 Model Main_p_ball_15b_5p_2d_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 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 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 objvar; Constraint e1 { Definition: x76 - x77 - x78 <= 0; } Constraint e2 { Definition: - x76 + x77 - x78 <= 0; } Constraint e3 { Definition: x79 - x80 - x81 <= 0; } Constraint e4 { Definition: - x79 + x80 - x81 <= 0; } Constraint e5 { Definition: x76 - x82 - x83 <= 0; } Constraint e6 { Definition: - x76 + x82 - x83 <= 0; } Constraint e7 { Definition: x79 - x84 - x85 <= 0; } Constraint e8 { Definition: - x79 + x84 - x85 <= 0; } Constraint e9 { Definition: x76 - x86 - x87 <= 0; } Constraint e10 { Definition: - x76 + x86 - x87 <= 0; } Constraint e11 { Definition: x79 - x88 - x89 <= 0; } Constraint e12 { Definition: - x79 + x88 - x89 <= 0; } Constraint e13 { Definition: x76 - x90 - x91 <= 0; } Constraint e14 { Definition: - x76 + x90 - x91 <= 0; } Constraint e15 { Definition: x79 - x92 - x93 <= 0; } Constraint e16 { Definition: - x79 + x92 - x93 <= 0; } Constraint e17 { Definition: x77 - x82 - x94 <= 0; } Constraint e18 { Definition: - x77 + x82 - x94 <= 0; } Constraint e19 { Definition: x80 - x84 - x95 <= 0; } Constraint e20 { Definition: - x80 + x84 - x95 <= 0; } Constraint e21 { Definition: x77 - x86 - x96 <= 0; } Constraint e22 { Definition: - x77 + x86 - x96 <= 0; } Constraint e23 { Definition: x80 - x88 - x97 <= 0; } Constraint e24 { Definition: - x80 + x88 - x97 <= 0; } Constraint e25 { Definition: x77 - x90 - x98 <= 0; } Constraint e26 { Definition: - x77 + x90 - x98 <= 0; } Constraint e27 { Definition: x80 - x92 - x99 <= 0; } Constraint e28 { Definition: - x80 + x92 - x99 <= 0; } Constraint e29 { Definition: x82 - x86 - x100 <= 0; } Constraint e30 { Definition: - x82 + x86 - x100 <= 0; } Constraint e31 { Definition: x84 - x88 - x101 <= 0; } Constraint e32 { Definition: - x84 + x88 - x101 <= 0; } Constraint e33 { Definition: x82 - x90 - x102 <= 0; } Constraint e34 { Definition: - x82 + x90 - x102 <= 0; } Constraint e35 { Definition: x84 - x92 - x103 <= 0; } Constraint e36 { Definition: - x84 + x92 - x103 <= 0; } Constraint e37 { Definition: x86 - x90 - x104 <= 0; } Constraint e38 { Definition: - x86 + x90 - x104 <= 0; } Constraint e39 { Definition: x88 - x92 - x105 <= 0; } Constraint e40 { Definition: - x88 + x92 - x105 <= 0; } Constraint e41 { Definition: { (-1 + sqr(8.68340342427357 - x106/(0.0001 + 0.9999*b1)) + sqr( 8.57974596088368 - x107/(0.0001 + 0.9999*b1)))*(0.0001 + 0.9999*b1) + 0.0148013535781986*b1 <= 0.0148013535781986 } } Constraint e42 { Definition: { (-1 + sqr(9.63614333912176 - x108/(0.0001 + 0.9999*b2)) + sqr( 8.80176337918095 - x109/(0.0001 + 0.9999*b2)))*(0.0001 + 0.9999*b2) + 0.0169326297035192*b2 <= 0.0169326297035192 } } Constraint e43 { Definition: { (-1 + sqr(3.68142205418198 - x110/(0.0001 + 0.9999*b3)) + sqr( 1.1692321814062 - x111/(0.0001 + 0.9999*b3)))*(0.0001 + 0.9999*b3) + 0.00139199722350534*b3 <= 0.00139199722350534 } } Constraint e44 { Definition: { (-1 + sqr(9.7121756733827 - x112/(0.0001 + 0.9999*b4)) + sqr( 7.68772804421774 - x113/(0.0001 + 0.9999*b4)))*(0.0001 + 0.9999*b4) + 0.0152427518792499*b4 <= 0.0152427518792499 } } Constraint e45 { Definition: { (-1 + sqr(3.2772228491781 - x114/(0.0001 + 0.9999*b5)) + sqr( 8.20105404549271 - x115/(0.0001 + 0.9999*b5)))*(0.0001 + 0.9999*b5) + 0.00769974770602674*b5 <= 0.00769974770602674 } } Constraint e46 { Definition: { (-1 + sqr(8.95169370625893 - x116/(0.0001 + 0.9999*b6)) + sqr( 5.71833771240185 - x117/(0.0001 + 0.9999*b6)))*(0.0001 + 0.9999*b6) + 0.0111832206403753*b6 <= 0.0111832206403753 } } Constraint e47 { Definition: { (-1 + sqr(6.39713701672676 - x118/(0.0001 + 0.9999*b7)) + sqr( 2.19374777991393 - x119/(0.0001 + 0.9999*b7)))*(0.0001 + 0.9999*b7) + 0.00447358913326531*b7 <= 0.00447358913326531 } } Constraint e48 { Definition: { (-1 + sqr(8.63324272987351 - x120/(0.0001 + 0.9999*b8)) + sqr( 2.92174290170279 - x121/(0.0001 + 0.9999*b8)))*(0.0001 + 0.9999*b8) + 0.00820694616165644*b8 <= 0.00820694616165644 } } Constraint e49 { Definition: { (-1 + sqr(3.63244627881363 - x122/(0.0001 + 0.9999*b9)) + sqr( 1.91739848753332 - x123/(0.0001 + 0.9999*b9)))*(0.0001 + 0.9999*b9) + 0.00158710829284621*b9 <= 0.00158710829284621 } } Constraint e50 { Definition: { (-1 + sqr(0.303084489788861 - x124/(0.0001 + 0.9999*b10)) + sqr( 2.88588654972735 - x125/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.00074202013858478*b10 <= 0.00074202013858478 } } Constraint e51 { Definition: { (-1 + sqr(9.32557624217471 - x126/(0.0001 + 0.9999*b11)) + sqr( 5.59175556022082 - x127/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.0117234102493874*b11 <= 0.0117234102493874 } } Constraint e52 { Definition: { (-1 + sqr(8.52118108549064 - x128/(0.0001 + 0.9999*b12)) + sqr( 5.32332318998315 - x129/(0.0001 + 0.9999*b12)))*(0.0001 + 0.9999*b12) + 0.00999482968767358*b12 <= 0.00999482968767358 } } Constraint e53 { Definition: { (-1 + sqr(4.01861330995576 - x130/(0.0001 + 0.9999*b13)) + sqr( 9.65380890252737 - x131/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.010834527926147*b13 <= 0.010834527926147 } } Constraint e54 { Definition: { (-1 + sqr(2.49020328922613 - x132/(0.0001 + 0.9999*b14)) + sqr( 0.874596139412213 - x133/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.000596603082874738*b14 <= 0.000596603082874738 } } Constraint e55 { Definition: { (-1 + sqr(0.545671492825244 - x134/(0.0001 + 0.9999*b15)) + sqr( 3.81401698819633 - x135/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.00138444829643323*b15 <= 0.00138444829643323 } } Constraint e56 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 = 1 } } Constraint e57 { Definition: { (-1 + sqr(8.68340342427357 - x136/(0.0001 + 0.9999*b16)) + sqr( 8.57974596088368 - x137/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.0148013535781986*b16 <= 0.0148013535781986 } } Constraint e58 { Definition: { (-1 + sqr(9.63614333912176 - x138/(0.0001 + 0.9999*b17)) + sqr( 8.80176337918095 - x139/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) + 0.0169326297035192*b17 <= 0.0169326297035192 } } Constraint e59 { Definition: { (-1 + sqr(3.68142205418198 - x140/(0.0001 + 0.9999*b18)) + sqr( 1.1692321814062 - x141/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.00139199722350534*b18 <= 0.00139199722350534 } } Constraint e60 { Definition: { (-1 + sqr(9.7121756733827 - x142/(0.0001 + 0.9999*b19)) + sqr( 7.68772804421774 - x143/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.0152427518792499*b19 <= 0.0152427518792499 } } Constraint e61 { Definition: { (-1 + sqr(3.2772228491781 - x144/(0.0001 + 0.9999*b20)) + sqr( 8.20105404549271 - x145/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.00769974770602674*b20 <= 0.00769974770602674 } } Constraint e62 { Definition: { (-1 + sqr(8.95169370625893 - x146/(0.0001 + 0.9999*b21)) + sqr( 5.71833771240185 - x147/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.0111832206403753*b21 <= 0.0111832206403753 } } Constraint e63 { Definition: { (-1 + sqr(6.39713701672676 - x148/(0.0001 + 0.9999*b22)) + sqr( 2.19374777991393 - x149/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.00447358913326531*b22 <= 0.00447358913326531 } } Constraint e64 { Definition: { (-1 + sqr(8.63324272987351 - x150/(0.0001 + 0.9999*b23)) + sqr( 2.92174290170279 - x151/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.00820694616165644*b23 <= 0.00820694616165644 } } Constraint e65 { Definition: { (-1 + sqr(3.63244627881363 - x152/(0.0001 + 0.9999*b24)) + sqr( 1.91739848753332 - x153/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.00158710829284621*b24 <= 0.00158710829284621 } } Constraint e66 { Definition: { (-1 + sqr(0.303084489788861 - x154/(0.0001 + 0.9999*b25)) + sqr( 2.88588654972735 - x155/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.00074202013858478*b25 <= 0.00074202013858478 } } Constraint e67 { Definition: { (-1 + sqr(9.32557624217471 - x156/(0.0001 + 0.9999*b26)) + sqr( 5.59175556022082 - x157/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.0117234102493874*b26 <= 0.0117234102493874 } } Constraint e68 { Definition: { (-1 + sqr(8.52118108549064 - x158/(0.0001 + 0.9999*b27)) + sqr( 5.32332318998315 - x159/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.00999482968767358*b27 <= 0.00999482968767358 } } Constraint e69 { Definition: { (-1 + sqr(4.01861330995576 - x160/(0.0001 + 0.9999*b28)) + sqr( 9.65380890252737 - x161/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.010834527926147*b28 <= 0.010834527926147 } } Constraint e70 { Definition: { (-1 + sqr(2.49020328922613 - x162/(0.0001 + 0.9999*b29)) + sqr( 0.874596139412213 - x163/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.000596603082874738*b29 <= 0.000596603082874738 } } Constraint e71 { Definition: { (-1 + sqr(0.545671492825244 - x164/(0.0001 + 0.9999*b30)) + sqr( 3.81401698819633 - x165/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.00138444829643323*b30 <= 0.00138444829643323 } } Constraint e72 { Definition: { b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 } } Constraint e73 { Definition: { (-1 + sqr(8.68340342427357 - x166/(0.0001 + 0.9999*b31)) + sqr( 8.57974596088368 - x167/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.0148013535781986*b31 <= 0.0148013535781986 } } Constraint e74 { Definition: { (-1 + sqr(9.63614333912176 - x168/(0.0001 + 0.9999*b32)) + sqr( 8.80176337918095 - x169/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) + 0.0169326297035192*b32 <= 0.0169326297035192 } } Constraint e75 { Definition: { (-1 + sqr(3.68142205418198 - x170/(0.0001 + 0.9999*b33)) + sqr( 1.1692321814062 - x171/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.00139199722350534*b33 <= 0.00139199722350534 } } Constraint e76 { Definition: { (-1 + sqr(9.7121756733827 - x172/(0.0001 + 0.9999*b34)) + sqr( 7.68772804421774 - x173/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.0152427518792499*b34 <= 0.0152427518792499 } } Constraint e77 { Definition: { (-1 + sqr(3.2772228491781 - x174/(0.0001 + 0.9999*b35)) + sqr( 8.20105404549271 - x175/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.00769974770602674*b35 <= 0.00769974770602674 } } Constraint e78 { Definition: { (-1 + sqr(8.95169370625893 - x176/(0.0001 + 0.9999*b36)) + sqr( 5.71833771240185 - x177/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.0111832206403753*b36 <= 0.0111832206403753 } } Constraint e79 { Definition: { (-1 + sqr(6.39713701672676 - x178/(0.0001 + 0.9999*b37)) + sqr( 2.19374777991393 - x179/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.00447358913326531*b37 <= 0.00447358913326531 } } Constraint e80 { Definition: { (-1 + sqr(8.63324272987351 - x180/(0.0001 + 0.9999*b38)) + sqr( 2.92174290170279 - x181/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.00820694616165644*b38 <= 0.00820694616165644 } } Constraint e81 { Definition: { (-1 + sqr(3.63244627881363 - x182/(0.0001 + 0.9999*b39)) + sqr( 1.91739848753332 - x183/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.00158710829284621*b39 <= 0.00158710829284621 } } Constraint e82 { Definition: { (-1 + sqr(0.303084489788861 - x184/(0.0001 + 0.9999*b40)) + sqr( 2.88588654972735 - x185/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.00074202013858478*b40 <= 0.00074202013858478 } } Constraint e83 { Definition: { (-1 + sqr(9.32557624217471 - x186/(0.0001 + 0.9999*b41)) + sqr( 5.59175556022082 - x187/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) + 0.0117234102493874*b41 <= 0.0117234102493874 } } Constraint e84 { Definition: { (-1 + sqr(8.52118108549064 - x188/(0.0001 + 0.9999*b42)) + sqr( 5.32332318998315 - x189/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.00999482968767358*b42 <= 0.00999482968767358 } } Constraint e85 { Definition: { (-1 + sqr(4.01861330995576 - x190/(0.0001 + 0.9999*b43)) + sqr( 9.65380890252737 - x191/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.010834527926147*b43 <= 0.010834527926147 } } Constraint e86 { Definition: { (-1 + sqr(2.49020328922613 - x192/(0.0001 + 0.9999*b44)) + sqr( 0.874596139412213 - x193/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.000596603082874738*b44 <= 0.000596603082874738 } } Constraint e87 { Definition: { (-1 + sqr(0.545671492825244 - x194/(0.0001 + 0.9999*b45)) + sqr( 3.81401698819633 - x195/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.00138444829643323*b45 <= 0.00138444829643323 } } Constraint e88 { Definition: { b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 = 1 } } Constraint e89 { Definition: { (-1 + sqr(8.68340342427357 - x196/(0.0001 + 0.9999*b46)) + sqr( 8.57974596088368 - x197/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.0148013535781986*b46 <= 0.0148013535781986 } } Constraint e90 { Definition: { (-1 + sqr(9.63614333912176 - x198/(0.0001 + 0.9999*b47)) + sqr( 8.80176337918095 - x199/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) + 0.0169326297035192*b47 <= 0.0169326297035192 } } Constraint e91 { Definition: { (-1 + sqr(3.68142205418198 - x200/(0.0001 + 0.9999*b48)) + sqr( 1.1692321814062 - x201/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.00139199722350534*b48 <= 0.00139199722350534 } } Constraint e92 { Definition: { (-1 + sqr(9.7121756733827 - x202/(0.0001 + 0.9999*b49)) + sqr( 7.68772804421774 - x203/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) + 0.0152427518792499*b49 <= 0.0152427518792499 } } Constraint e93 { Definition: { (-1 + sqr(3.2772228491781 - x204/(0.0001 + 0.9999*b50)) + sqr( 8.20105404549271 - x205/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.00769974770602674*b50 <= 0.00769974770602674 } } Constraint e94 { Definition: { (-1 + sqr(8.95169370625893 - x206/(0.0001 + 0.9999*b51)) + sqr( 5.71833771240185 - x207/(0.0001 + 0.9999*b51)))*(0.0001 + 0.9999*b51) + 0.0111832206403753*b51 <= 0.0111832206403753 } } Constraint e95 { Definition: { (-1 + sqr(6.39713701672676 - x208/(0.0001 + 0.9999*b52)) + sqr( 2.19374777991393 - x209/(0.0001 + 0.9999*b52)))*(0.0001 + 0.9999*b52) + 0.00447358913326531*b52 <= 0.00447358913326531 } } Constraint e96 { Definition: { (-1 + sqr(8.63324272987351 - x210/(0.0001 + 0.9999*b53)) + sqr( 2.92174290170279 - x211/(0.0001 + 0.9999*b53)))*(0.0001 + 0.9999*b53) + 0.00820694616165644*b53 <= 0.00820694616165644 } } Constraint e97 { Definition: { (-1 + sqr(3.63244627881363 - x212/(0.0001 + 0.9999*b54)) + sqr( 1.91739848753332 - x213/(0.0001 + 0.9999*b54)))*(0.0001 + 0.9999*b54) + 0.00158710829284621*b54 <= 0.00158710829284621 } } Constraint e98 { Definition: { (-1 + sqr(0.303084489788861 - x214/(0.0001 + 0.9999*b55)) + sqr( 2.88588654972735 - x215/(0.0001 + 0.9999*b55)))*(0.0001 + 0.9999*b55) + 0.00074202013858478*b55 <= 0.00074202013858478 } } Constraint e99 { Definition: { (-1 + sqr(9.32557624217471 - x216/(0.0001 + 0.9999*b56)) + sqr( 5.59175556022082 - x217/(0.0001 + 0.9999*b56)))*(0.0001 + 0.9999*b56) + 0.0117234102493874*b56 <= 0.0117234102493874 } } Constraint e100 { Definition: { (-1 + sqr(8.52118108549064 - x218/(0.0001 + 0.9999*b57)) + sqr( 5.32332318998315 - x219/(0.0001 + 0.9999*b57)))*(0.0001 + 0.9999*b57) + 0.00999482968767358*b57 <= 0.00999482968767358 } } Constraint e101 { Definition: { (-1 + sqr(4.01861330995576 - x220/(0.0001 + 0.9999*b58)) + sqr( 9.65380890252737 - x221/(0.0001 + 0.9999*b58)))*(0.0001 + 0.9999*b58) + 0.010834527926147*b58 <= 0.010834527926147 } } Constraint e102 { Definition: { (-1 + sqr(2.49020328922613 - x222/(0.0001 + 0.9999*b59)) + sqr( 0.874596139412213 - x223/(0.0001 + 0.9999*b59)))*(0.0001 + 0.9999*b59) + 0.000596603082874738*b59 <= 0.000596603082874738 } } Constraint e103 { Definition: { (-1 + sqr(0.545671492825244 - x224/(0.0001 + 0.9999*b60)) + sqr( 3.81401698819633 - x225/(0.0001 + 0.9999*b60)))*(0.0001 + 0.9999*b60) + 0.00138444829643323*b60 <= 0.00138444829643323 } } Constraint e104 { Definition: { b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 } } Constraint e105 { Definition: { (-1 + sqr(8.68340342427357 - x226/(0.0001 + 0.9999*b61)) + sqr( 8.57974596088368 - x227/(0.0001 + 0.9999*b61)))*(0.0001 + 0.9999*b61) + 0.0148013535781986*b61 <= 0.0148013535781986 } } Constraint e106 { Definition: { (-1 + sqr(9.63614333912176 - x228/(0.0001 + 0.9999*b62)) + sqr( 8.80176337918095 - x229/(0.0001 + 0.9999*b62)))*(0.0001 + 0.9999*b62) + 0.0169326297035192*b62 <= 0.0169326297035192 } } Constraint e107 { Definition: { (-1 + sqr(3.68142205418198 - x230/(0.0001 + 0.9999*b63)) + sqr( 1.1692321814062 - x231/(0.0001 + 0.9999*b63)))*(0.0001 + 0.9999*b63) + 0.00139199722350534*b63 <= 0.00139199722350534 } } Constraint e108 { Definition: { (-1 + sqr(9.7121756733827 - x232/(0.0001 + 0.9999*b64)) + sqr( 7.68772804421774 - x233/(0.0001 + 0.9999*b64)))*(0.0001 + 0.9999*b64) + 0.0152427518792499*b64 <= 0.0152427518792499 } } Constraint e109 { Definition: { (-1 + sqr(3.2772228491781 - x234/(0.0001 + 0.9999*b65)) + sqr( 8.20105404549271 - x235/(0.0001 + 0.9999*b65)))*(0.0001 + 0.9999*b65) + 0.00769974770602674*b65 <= 0.00769974770602674 } } Constraint e110 { Definition: { (-1 + sqr(8.95169370625893 - x236/(0.0001 + 0.9999*b66)) + sqr( 5.71833771240185 - x237/(0.0001 + 0.9999*b66)))*(0.0001 + 0.9999*b66) + 0.0111832206403753*b66 <= 0.0111832206403753 } } Constraint e111 { Definition: { (-1 + sqr(6.39713701672676 - x238/(0.0001 + 0.9999*b67)) + sqr( 2.19374777991393 - x239/(0.0001 + 0.9999*b67)))*(0.0001 + 0.9999*b67) + 0.00447358913326531*b67 <= 0.00447358913326531 } } Constraint e112 { Definition: { (-1 + sqr(8.63324272987351 - x240/(0.0001 + 0.9999*b68)) + sqr( 2.92174290170279 - x241/(0.0001 + 0.9999*b68)))*(0.0001 + 0.9999*b68) + 0.00820694616165644*b68 <= 0.00820694616165644 } } Constraint e113 { Definition: { (-1 + sqr(3.63244627881363 - x242/(0.0001 + 0.9999*b69)) + sqr( 1.91739848753332 - x243/(0.0001 + 0.9999*b69)))*(0.0001 + 0.9999*b69) + 0.00158710829284621*b69 <= 0.00158710829284621 } } Constraint e114 { Definition: { (-1 + sqr(0.303084489788861 - x244/(0.0001 + 0.9999*b70)) + sqr( 2.88588654972735 - x245/(0.0001 + 0.9999*b70)))*(0.0001 + 0.9999*b70) + 0.00074202013858478*b70 <= 0.00074202013858478 } } Constraint e115 { Definition: { (-1 + sqr(9.32557624217471 - x246/(0.0001 + 0.9999*b71)) + sqr( 5.59175556022082 - x247/(0.0001 + 0.9999*b71)))*(0.0001 + 0.9999*b71) + 0.0117234102493874*b71 <= 0.0117234102493874 } } Constraint e116 { Definition: { (-1 + sqr(8.52118108549064 - x248/(0.0001 + 0.9999*b72)) + sqr( 5.32332318998315 - x249/(0.0001 + 0.9999*b72)))*(0.0001 + 0.9999*b72) + 0.00999482968767358*b72 <= 0.00999482968767358 } } Constraint e117 { Definition: { (-1 + sqr(4.01861330995576 - x250/(0.0001 + 0.9999*b73)) + sqr( 9.65380890252737 - x251/(0.0001 + 0.9999*b73)))*(0.0001 + 0.9999*b73) + 0.010834527926147*b73 <= 0.010834527926147 } } Constraint e118 { Definition: { (-1 + sqr(2.49020328922613 - x252/(0.0001 + 0.9999*b74)) + sqr( 0.874596139412213 - x253/(0.0001 + 0.9999*b74)))*(0.0001 + 0.9999*b74) + 0.000596603082874738*b74 <= 0.000596603082874738 } } Constraint e119 { Definition: { (-1 + sqr(0.545671492825244 - x254/(0.0001 + 0.9999*b75)) + sqr( 3.81401698819633 - x255/(0.0001 + 0.9999*b75)))*(0.0001 + 0.9999*b75) + 0.00138444829643323*b75 <= 0.00138444829643323 } } Constraint e120 { Definition: { b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 = 1 } } Constraint e121 { Definition: b1 + b16 + b31 + b46 + b61 <= 1; } Constraint e122 { Definition: b2 + b17 + b32 + b47 + b62 <= 1; } Constraint e123 { Definition: b3 + b18 + b33 + b48 + b63 <= 1; } Constraint e124 { Definition: b4 + b19 + b34 + b49 + b64 <= 1; } Constraint e125 { Definition: b5 + b20 + b35 + b50 + b65 <= 1; } Constraint e126 { Definition: b6 + b21 + b36 + b51 + b66 <= 1; } Constraint e127 { Definition: b7 + b22 + b37 + b52 + b67 <= 1; } Constraint e128 { Definition: b8 + b23 + b38 + b53 + b68 <= 1; } Constraint e129 { Definition: b9 + b24 + b39 + b54 + b69 <= 1; } Constraint e130 { Definition: b10 + b25 + b40 + b55 + b70 <= 1; } Constraint e131 { Definition: b11 + b26 + b41 + b56 + b71 <= 1; } Constraint e132 { Definition: b12 + b27 + b42 + b57 + b72 <= 1; } Constraint e133 { Definition: b13 + b28 + b43 + b58 + b73 <= 1; } Constraint e134 { Definition: b14 + b29 + b44 + b59 + b74 <= 1; } Constraint e135 { Definition: b15 + b30 + b45 + b60 + b75 <= 1; } Constraint e136 { Definition: { - x76 + x106 + x108 + x110 + x112 + x114 + x116 + x118 + x120 + x122 + x124 + x126 + x128 + x130 + x132 + x134 = 0 } } Constraint e137 { Definition: { - x79 + x107 + x109 + x111 + x113 + x115 + x117 + x119 + x121 + x123 + x125 + x127 + x129 + x131 + x133 + x135 = 0 } } Constraint e138 { Definition: { - x77 + x136 + x138 + x140 + x142 + x144 + x146 + x148 + x150 + x152 + x154 + x156 + x158 + x160 + x162 + x164 = 0 } } Constraint e139 { Definition: { - x80 + x137 + x139 + x141 + x143 + x145 + x147 + x149 + x151 + x153 + x155 + x157 + x159 + x161 + x163 + x165 = 0 } } Constraint e140 { Definition: { - x82 + x166 + x168 + x170 + x172 + x174 + x176 + x178 + x180 + x182 + x184 + x186 + x188 + x190 + x192 + x194 = 0 } } Constraint e141 { Definition: { - x84 + x167 + x169 + x171 + x173 + x175 + x177 + x179 + x181 + x183 + x185 + x187 + x189 + x191 + x193 + x195 = 0 } } Constraint e142 { Definition: { - x86 + x196 + x198 + x200 + x202 + x204 + x206 + x208 + x210 + x212 + x214 + x216 + x218 + x220 + x222 + x224 = 0 } } Constraint e143 { Definition: { - x88 + x197 + x199 + x201 + x203 + x205 + x207 + x209 + x211 + x213 + x215 + x217 + x219 + x221 + x223 + x225 = 0 } } Constraint e144 { Definition: { - x90 + x226 + x228 + x230 + x232 + x234 + x236 + x238 + x240 + x242 + x244 + x246 + x248 + x250 + x252 + x254 = 0 } } Constraint e145 { Definition: { - x92 + x227 + x229 + x231 + x233 + x235 + x237 + x239 + x241 + x243 + x245 + x247 + x249 + x251 + x253 + x255 = 0 } } Constraint e146 { Definition: - 10*b1 + x106 <= 0; } Constraint e147 { Definition: - 10*b2 + x108 <= 0; } Constraint e148 { Definition: - 10*b3 + x110 <= 0; } Constraint e149 { Definition: - 10*b4 + x112 <= 0; } Constraint e150 { Definition: - 10*b5 + x114 <= 0; } Constraint e151 { Definition: - 10*b6 + x116 <= 0; } Constraint e152 { Definition: - 10*b7 + x118 <= 0; } Constraint e153 { Definition: - 10*b8 + x120 <= 0; } Constraint e154 { Definition: - 10*b9 + x122 <= 0; } Constraint e155 { Definition: - 10*b10 + x124 <= 0; } Constraint e156 { Definition: - 10*b11 + x126 <= 0; } Constraint e157 { Definition: - 10*b12 + x128 <= 0; } Constraint e158 { Definition: - 10*b13 + x130 <= 0; } Constraint e159 { Definition: - 10*b14 + x132 <= 0; } Constraint e160 { Definition: - 10*b15 + x134 <= 0; } Constraint e161 { Definition: - 10*b1 + x107 <= 0; } Constraint e162 { Definition: - 10*b2 + x109 <= 0; } Constraint e163 { Definition: - 10*b3 + x111 <= 0; } Constraint e164 { Definition: - 10*b4 + x113 <= 0; } Constraint e165 { Definition: - 10*b5 + x115 <= 0; } Constraint e166 { Definition: - 10*b6 + x117 <= 0; } Constraint e167 { Definition: - 10*b7 + x119 <= 0; } Constraint e168 { Definition: - 10*b8 + x121 <= 0; } Constraint e169 { Definition: - 10*b9 + x123 <= 0; } Constraint e170 { Definition: - 10*b10 + x125 <= 0; } Constraint e171 { Definition: - 10*b11 + x127 <= 0; } Constraint e172 { Definition: - 10*b12 + x129 <= 0; } Constraint e173 { Definition: - 10*b13 + x131 <= 0; } Constraint e174 { Definition: - 10*b14 + x133 <= 0; } Constraint e175 { Definition: - 10*b15 + x135 <= 0; } Constraint e176 { Definition: - 10*b16 + x136 <= 0; } Constraint e177 { Definition: - 10*b17 + x138 <= 0; } Constraint e178 { Definition: - 10*b18 + x140 <= 0; } Constraint e179 { Definition: - 10*b19 + x142 <= 0; } Constraint e180 { Definition: - 10*b20 + x144 <= 0; } Constraint e181 { Definition: - 10*b21 + x146 <= 0; } Constraint e182 { Definition: - 10*b22 + x148 <= 0; } Constraint e183 { Definition: - 10*b23 + x150 <= 0; } Constraint e184 { Definition: - 10*b24 + x152 <= 0; } Constraint e185 { Definition: - 10*b25 + x154 <= 0; } Constraint e186 { Definition: - 10*b26 + x156 <= 0; } Constraint e187 { Definition: - 10*b27 + x158 <= 0; } Constraint e188 { Definition: - 10*b28 + x160 <= 0; } Constraint e189 { Definition: - 10*b29 + x162 <= 0; } Constraint e190 { Definition: - 10*b30 + x164 <= 0; } Constraint e191 { Definition: - 10*b16 + x137 <= 0; } Constraint e192 { Definition: - 10*b17 + x139 <= 0; } Constraint e193 { Definition: - 10*b18 + x141 <= 0; } Constraint e194 { Definition: - 10*b19 + x143 <= 0; } Constraint e195 { Definition: - 10*b20 + x145 <= 0; } Constraint e196 { Definition: - 10*b21 + x147 <= 0; } Constraint e197 { Definition: - 10*b22 + x149 <= 0; } Constraint e198 { Definition: - 10*b23 + x151 <= 0; } Constraint e199 { Definition: - 10*b24 + x153 <= 0; } Constraint e200 { Definition: - 10*b25 + x155 <= 0; } Constraint e201 { Definition: - 10*b26 + x157 <= 0; } Constraint e202 { Definition: - 10*b27 + x159 <= 0; } Constraint e203 { Definition: - 10*b28 + x161 <= 0; } Constraint e204 { Definition: - 10*b29 + x163 <= 0; } Constraint e205 { Definition: - 10*b30 + x165 <= 0; } Constraint e206 { Definition: - 10*b31 + x166 <= 0; } Constraint e207 { Definition: - 10*b32 + x168 <= 0; } Constraint e208 { Definition: - 10*b33 + x170 <= 0; } Constraint e209 { Definition: - 10*b34 + x172 <= 0; } Constraint e210 { Definition: - 10*b35 + x174 <= 0; } Constraint e211 { Definition: - 10*b36 + x176 <= 0; } Constraint e212 { Definition: - 10*b37 + x178 <= 0; } Constraint e213 { Definition: - 10*b38 + x180 <= 0; } Constraint e214 { Definition: - 10*b39 + x182 <= 0; } Constraint e215 { Definition: - 10*b40 + x184 <= 0; } Constraint e216 { Definition: - 10*b41 + x186 <= 0; } Constraint e217 { Definition: - 10*b42 + x188 <= 0; } Constraint e218 { Definition: - 10*b43 + x190 <= 0; } Constraint e219 { Definition: - 10*b44 + x192 <= 0; } Constraint e220 { Definition: - 10*b45 + x194 <= 0; } Constraint e221 { Definition: - 10*b31 + x167 <= 0; } Constraint e222 { Definition: - 10*b32 + x169 <= 0; } Constraint e223 { Definition: - 10*b33 + x171 <= 0; } Constraint e224 { Definition: - 10*b34 + x173 <= 0; } Constraint e225 { Definition: - 10*b35 + x175 <= 0; } Constraint e226 { Definition: - 10*b36 + x177 <= 0; } Constraint e227 { Definition: - 10*b37 + x179 <= 0; } Constraint e228 { Definition: - 10*b38 + x181 <= 0; } Constraint e229 { Definition: - 10*b39 + x183 <= 0; } Constraint e230 { Definition: - 10*b40 + x185 <= 0; } Constraint e231 { Definition: - 10*b41 + x187 <= 0; } Constraint e232 { Definition: - 10*b42 + x189 <= 0; } Constraint e233 { Definition: - 10*b43 + x191 <= 0; } Constraint e234 { Definition: - 10*b44 + x193 <= 0; } Constraint e235 { Definition: - 10*b45 + x195 <= 0; } Constraint e236 { Definition: - 10*b46 + x196 <= 0; } Constraint e237 { Definition: - 10*b47 + x198 <= 0; } Constraint e238 { Definition: - 10*b48 + x200 <= 0; } Constraint e239 { Definition: - 10*b49 + x202 <= 0; } Constraint e240 { Definition: - 10*b50 + x204 <= 0; } Constraint e241 { Definition: - 10*b51 + x206 <= 0; } Constraint e242 { Definition: - 10*b52 + x208 <= 0; } Constraint e243 { Definition: - 10*b53 + x210 <= 0; } Constraint e244 { Definition: - 10*b54 + x212 <= 0; } Constraint e245 { Definition: - 10*b55 + x214 <= 0; } Constraint e246 { Definition: - 10*b56 + x216 <= 0; } Constraint e247 { Definition: - 10*b57 + x218 <= 0; } Constraint e248 { Definition: - 10*b58 + x220 <= 0; } Constraint e249 { Definition: - 10*b59 + x222 <= 0; } Constraint e250 { Definition: - 10*b60 + x224 <= 0; } Constraint e251 { Definition: - 10*b46 + x197 <= 0; } Constraint e252 { Definition: - 10*b47 + x199 <= 0; } Constraint e253 { Definition: - 10*b48 + x201 <= 0; } Constraint e254 { Definition: - 10*b49 + x203 <= 0; } Constraint e255 { Definition: - 10*b50 + x205 <= 0; } Constraint e256 { Definition: - 10*b51 + x207 <= 0; } Constraint e257 { Definition: - 10*b52 + x209 <= 0; } Constraint e258 { Definition: - 10*b53 + x211 <= 0; } Constraint e259 { Definition: - 10*b54 + x213 <= 0; } Constraint e260 { Definition: - 10*b55 + x215 <= 0; } Constraint e261 { Definition: - 10*b56 + x217 <= 0; } Constraint e262 { Definition: - 10*b57 + x219 <= 0; } Constraint e263 { Definition: - 10*b58 + x221 <= 0; } Constraint e264 { Definition: - 10*b59 + x223 <= 0; } Constraint e265 { Definition: - 10*b60 + x225 <= 0; } Constraint e266 { Definition: - 10*b61 + x226 <= 0; } Constraint e267 { Definition: - 10*b62 + x228 <= 0; } Constraint e268 { Definition: - 10*b63 + x230 <= 0; } Constraint e269 { Definition: - 10*b64 + x232 <= 0; } Constraint e270 { Definition: - 10*b65 + x234 <= 0; } Constraint e271 { Definition: - 10*b66 + x236 <= 0; } Constraint e272 { Definition: - 10*b67 + x238 <= 0; } Constraint e273 { Definition: - 10*b68 + x240 <= 0; } Constraint e274 { Definition: - 10*b69 + x242 <= 0; } Constraint e275 { Definition: - 10*b70 + x244 <= 0; } Constraint e276 { Definition: - 10*b71 + x246 <= 0; } Constraint e277 { Definition: - 10*b72 + x248 <= 0; } Constraint e278 { Definition: - 10*b73 + x250 <= 0; } Constraint e279 { Definition: - 10*b74 + x252 <= 0; } Constraint e280 { Definition: - 10*b75 + x254 <= 0; } Constraint e281 { Definition: - 10*b61 + x227 <= 0; } Constraint e282 { Definition: - 10*b62 + x229 <= 0; } Constraint e283 { Definition: - 10*b63 + x231 <= 0; } Constraint e284 { Definition: - 10*b64 + x233 <= 0; } Constraint e285 { Definition: - 10*b65 + x235 <= 0; } Constraint e286 { Definition: - 10*b66 + x237 <= 0; } Constraint e287 { Definition: - 10*b67 + x239 <= 0; } Constraint e288 { Definition: - 10*b68 + x241 <= 0; } Constraint e289 { Definition: - 10*b69 + x243 <= 0; } Constraint e290 { Definition: - 10*b70 + x245 <= 0; } Constraint e291 { Definition: - 10*b71 + x247 <= 0; } Constraint e292 { Definition: - 10*b72 + x249 <= 0; } Constraint e293 { Definition: - 10*b73 + x251 <= 0; } Constraint e294 { Definition: - 10*b74 + x253 <= 0; } Constraint e295 { Definition: - 10*b75 + x255 <= 0; } Constraint e296 { Definition: x76 - x77 <= 0; } Constraint e297 { Definition: x77 - x82 <= 0; } Constraint e298 { Definition: x82 - x86 <= 0; } Constraint e299 { Definition: x86 - x90 <= 0; } Constraint e300 { Definition: { - x78 - x81 - x83 - x85 - x87 - x89 - x91 - x93 - x94 - x95 - x96 - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 + objvar = 0 } } Procedure MainInitialization { Body: { 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; } } MathematicalProgram p_ball_15b_5p_2d_h { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_15b_5p_2d_h; } } Procedure MainTermination { Body: { return 1; } } }