## ams_version=1.0 Model Main_p_ball_40b_5p_3d_m { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable 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 objvar; Constraint e1 { Definition: x201 - x202 - x203 <= 0; } Constraint e2 { Definition: - x201 + x202 - x203 <= 0; } Constraint e3 { Definition: x204 - x205 - x206 <= 0; } Constraint e4 { Definition: - x204 + x205 - x206 <= 0; } Constraint e5 { Definition: x207 - x208 - x209 <= 0; } Constraint e6 { Definition: - x207 + x208 - x209 <= 0; } Constraint e7 { Definition: x201 - x210 - x211 <= 0; } Constraint e8 { Definition: - x201 + x210 - x211 <= 0; } Constraint e9 { Definition: x204 - x212 - x213 <= 0; } Constraint e10 { Definition: - x204 + x212 - x213 <= 0; } Constraint e11 { Definition: x207 - x214 - x215 <= 0; } Constraint e12 { Definition: - x207 + x214 - x215 <= 0; } Constraint e13 { Definition: x201 - x216 - x217 <= 0; } Constraint e14 { Definition: - x201 + x216 - x217 <= 0; } Constraint e15 { Definition: x204 - x218 - x219 <= 0; } Constraint e16 { Definition: - x204 + x218 - x219 <= 0; } Constraint e17 { Definition: x207 - x220 - x221 <= 0; } Constraint e18 { Definition: - x207 + x220 - x221 <= 0; } Constraint e19 { Definition: x201 - x222 - x223 <= 0; } Constraint e20 { Definition: - x201 + x222 - x223 <= 0; } Constraint e21 { Definition: x204 - x224 - x225 <= 0; } Constraint e22 { Definition: - x204 + x224 - x225 <= 0; } Constraint e23 { Definition: x207 - x226 - x227 <= 0; } Constraint e24 { Definition: - x207 + x226 - x227 <= 0; } Constraint e25 { Definition: x202 - x210 - x228 <= 0; } Constraint e26 { Definition: - x202 + x210 - x228 <= 0; } Constraint e27 { Definition: x205 - x212 - x229 <= 0; } Constraint e28 { Definition: - x205 + x212 - x229 <= 0; } Constraint e29 { Definition: x208 - x214 - x230 <= 0; } Constraint e30 { Definition: - x208 + x214 - x230 <= 0; } Constraint e31 { Definition: x202 - x216 - x231 <= 0; } Constraint e32 { Definition: - x202 + x216 - x231 <= 0; } Constraint e33 { Definition: x205 - x218 - x232 <= 0; } Constraint e34 { Definition: - x205 + x218 - x232 <= 0; } Constraint e35 { Definition: x208 - x220 - x233 <= 0; } Constraint e36 { Definition: - x208 + x220 - x233 <= 0; } Constraint e37 { Definition: x202 - x222 - x234 <= 0; } Constraint e38 { Definition: - x202 + x222 - x234 <= 0; } Constraint e39 { Definition: x205 - x224 - x235 <= 0; } Constraint e40 { Definition: - x205 + x224 - x235 <= 0; } Constraint e41 { Definition: x208 - x226 - x236 <= 0; } Constraint e42 { Definition: - x208 + x226 - x236 <= 0; } Constraint e43 { Definition: x210 - x216 - x237 <= 0; } Constraint e44 { Definition: - x210 + x216 - x237 <= 0; } Constraint e45 { Definition: x212 - x218 - x238 <= 0; } Constraint e46 { Definition: - x212 + x218 - x238 <= 0; } Constraint e47 { Definition: x214 - x220 - x239 <= 0; } Constraint e48 { Definition: - x214 + x220 - x239 <= 0; } Constraint e49 { Definition: x210 - x222 - x240 <= 0; } Constraint e50 { Definition: - x210 + x222 - x240 <= 0; } Constraint e51 { Definition: x212 - x224 - x241 <= 0; } Constraint e52 { Definition: - x212 + x224 - x241 <= 0; } Constraint e53 { Definition: x214 - x226 - x242 <= 0; } Constraint e54 { Definition: - x214 + x226 - x242 <= 0; } Constraint e55 { Definition: x216 - x222 - x243 <= 0; } Constraint e56 { Definition: - x216 + x222 - x243 <= 0; } Constraint e57 { Definition: x218 - x224 - x244 <= 0; } Constraint e58 { Definition: - x218 + x224 - x244 <= 0; } Constraint e59 { Definition: x220 - x226 - x245 <= 0; } Constraint e60 { Definition: - x220 + x226 - x245 <= 0; } Constraint e61 { Definition: { sqr(0.557503724665912 - x201) + sqr(6.89699967309171 - x204) + sqr( 6.29939235997553 - x207) + 139.882673685049*b1 <= 140.882673685049 } } Constraint e62 { Definition: { sqr(3.39267738551004 - x201) + sqr(1.30003653355443 - x204) + sqr( 1.26479284348393 - x207) + 182.66284317326*b2 <= 183.66284317326 } } Constraint e63 { Definition: { sqr(2.47527631721708 - x201) + sqr(3.36800564923427 - x204) + sqr( 0.112146679619735 - x207) + 174.174595766023*b3 <= 175.174595766023 } } Constraint e64 { Definition: { sqr(4.23965937962997 - x201) + sqr(5.8354548549987 - x204) + sqr( 5.21703959205437 - x207) + 84.8069562114188*b4 <= 85.8069562114188 } } Constraint e65 { Definition: { sqr(1.90787026471349 - x201) + sqr(5.05450580331505 - x204) + sqr( 7.01165798298937 - x207) + 105.666658166239*b5 <= 106.666658166239 } } Constraint e66 { Definition: { sqr(9.92968197439359 - x201) + sqr(6.1106118319625 - x204) + sqr( 4.29775190508136 - x207) + 161.436709465448*b6 <= 162.436709465448 } } Constraint e67 { Definition: { sqr(4.89615150940308 - x201) + sqr(9.57707230097383 - x204) + sqr( 9.8722129175456 - x207) + 224.632211642245*b7 <= 225.632211642245 } } Constraint e68 { Definition: { sqr(5.20264655365834 - x201) + sqr(8.59934712303968 - x204) + sqr( 4.8989755362197 - x207) + 130.523019355742*b8 <= 131.523019355742 } } Constraint e69 { Definition: { sqr(8.39650557858195 - x201) + sqr(6.50351197563982 - x204) + sqr( 8.43657893923448 - x207) + 194.220103883022*b9 <= 195.220103883022 } } Constraint e70 { Definition: { sqr(7.9208870726961 - x201) + sqr(1.65574071738905 - x204) + sqr( 8.95324220467027 - x207) + 167.608109542354*b10 <= 168.608109542354 } } Constraint e71 { Definition: { sqr(2.94356057833666 - x201) + sqr(9.50387320454974 - x204) + sqr( 4.84216900165818 - x207) + 155.944984455397*b11 <= 156.944984455397 } } Constraint e72 { Definition: { sqr(5.67716909075113 - x201) + sqr(7.95494912869701 - x204) + sqr( 1.8188252408716 - x207) + 143.8265902598*b12 <= 144.8265902598 } } Constraint e73 { Definition: { sqr(3.47632791977689 - x201) + sqr(9.89858036195079 - x204) + sqr( 2.48936743461692 - x207) + 187.205465302945*b13 <= 188.205465302945 } } Constraint e74 { Definition: { sqr(7.19323345684947 - x201) + sqr(7.58674836824772 - x204) + sqr( 4.37799217085148 - x207) + 133.784100223376*b14 <= 134.784100223376 } } Constraint e75 { Definition: { sqr(3.68794135627274 - x201) + sqr(0.764460460651244 - x204) + sqr( 8.93159332921224 - x207) + 161.150526627374*b15 <= 162.150526627374 } } Constraint e76 { Definition: { sqr(6.09046032874766 - x201) + sqr(9.81520631625049 - x204) + sqr( 8.68956765296896 - x207) + 218.65758210219*b16 <= 219.65758210219 } } Constraint e77 { Definition: { sqr(0.159435608071623 - x201) + sqr(7.8621329842116 - x204) + sqr( 4.34112712391974 - x207) + 176.061078593341*b17 <= 177.061078593341 } } Constraint e78 { Definition: { sqr(9.30382494051085 - x201) + sqr(4.35265929316925 - x204) + sqr( 9.41314719714275 - x207) + 207.228588657402*b18 <= 208.228588657402 } } Constraint e79 { Definition: { sqr(7.06044667279098 - x201) + sqr(0.119983022609481 - x204) + sqr( 5.21799013159819 - x207) + 187.373869370395*b19 <= 188.373869370395 } } Constraint e80 { Definition: { sqr(1.28474203481519 - x201) + sqr(4.30839167378493 - x204) + sqr( 5.07455099451718 - x207) + 117.707087109112*b20 <= 118.707087109112 } } Constraint e81 { Definition: { sqr(3.95046309105854 - x201) + sqr(7.84827364227855 - x204) + sqr( 3.43912750809001 - x207) + 131.403806640396*b21 <= 132.403806640396 } } Constraint e82 { Definition: { sqr(8.86004297095793 - x201) + sqr(2.42401020162253 - x204) + sqr( 6.97541890071488 - x207) + 158.947259740156*b22 <= 159.947259740156 } } Constraint e83 { Definition: { sqr(9.70133006466227 - x201) + sqr(2.47779846426131 - x204) + sqr( 9.94553704882512 - x207) + 214.875303499993*b23 <= 215.875303499993 } } Constraint e84 { Definition: { sqr(1.26080108706515 - x201) + sqr(1.75121375015014 - x204) + sqr( 9.30622186756532 - x207) + 184.764129697819*b24 <= 185.764129697819 } } Constraint e85 { Definition: { sqr(8.34389861976271 - x201) + sqr(0.398421020867703 - x204) + sqr( 9.40468332550345 - x207) + 200.398945392818*b25 <= 201.398945392818 } } Constraint e86 { Definition: { sqr(0.458699783921438 - x201) + sqr(9.95271170285553 - x204) + sqr( 9.87184681196407 - x207) + 219.689414889155*b26 <= 220.689414889155 } } Constraint e87 { Definition: { sqr(1.6117537168338 - x201) + sqr(6.32876332917705 - x204) + sqr( 0.253813032788369 - x207) + 200.5977121042*b27 <= 201.5977121042 } } Constraint e88 { Definition: { sqr(3.46648532406983 - x201) + sqr(4.00972468964353 - x204) + sqr( 3.47940856689719 - x207) + 103.693060602793*b28 <= 104.693060602793 } } Constraint e89 { Definition: { sqr(9.24571897700111 - x201) + sqr(0.559109940924647 - x204) + sqr( 4.72143745016658 - x207) + 219.689414889155*b29 <= 220.689414889155 } } Constraint e90 { Definition: { sqr(1.80747416465249 - x201) + sqr(5.58858387120364 - x204) + sqr( 8.71378289454331 - x207) + 123.893230383562*b30 <= 124.893230383562 } } Constraint e91 { Definition: { sqr(1.41393713125356 - x201) + sqr(7.94458518662143 - x204) + sqr( 1.0952329046171 - x207) + 203.494862154236*b31 <= 204.494862154236 } } Constraint e92 { Definition: { sqr(7.85751206293337 - x201) + sqr(2.34992401729597 - x204) + sqr( 5.94661276765362 - x207) + 150.575463512564*b32 <= 151.575463512564 } } Constraint e93 { Definition: { sqr(5.76996561939867 - x201) + sqr(3.13220421841133 - x204) + sqr( 7.32413956683818 - x207) + 106.602252199094*b33 <= 107.602252199094 } } Constraint e94 { Definition: { sqr(5.03675100106706 - x201) + sqr(3.8492948064408 - x204) + sqr( 8.26500796855089 - x207) + 119.242421179142*b34 <= 120.242421179142 } } Constraint e95 { Definition: { sqr(9.18783741616912 - x201) + sqr(2.86959611527789 - x204) + sqr( 9.55868938722983 - x207) + 198.559992859524*b35 <= 199.559992859524 } } Constraint e96 { Definition: { sqr(9.72963694557713 - x201) + sqr(4.95412136849809 - x204) + sqr( 7.88965319296968 - x207) + 192.395482422753*b36 <= 193.395482422753 } } Constraint e97 { Definition: { sqr(4.44990459463169 - x201) + sqr(7.37342841442893 - x204) + sqr( 5.84940769948895 - x207) + 114.723635769507*b37 <= 115.723635769507 } } Constraint e98 { Definition: { sqr(0.453871807006551 - x201) + sqr(0.651328833092699 - x204) + sqr( 0.013848532114219 - x207) + 224.632211642245*b38 <= 225.632211642245 } } Constraint e99 { Definition: { sqr(7.68086203645083 - x201) + sqr(1.90461809371178 - x204) + sqr( 2.73211644708798 - x207) + 193.822989231709*b39 <= 194.822989231709 } } Constraint e100 { Definition: { sqr(9.01196046905024 - x201) + sqr(8.86318587386137 - x204) + sqr( 2.31734160055559 - x207) + 184.764129697819*b40 <= 185.764129697819 } } Constraint e101 { Definition: { b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 } } Constraint e102 { Definition: { sqr(0.557503724665912 - x202) + sqr(6.89699967309171 - x205) + sqr( 6.29939235997553 - x208) + 139.882673685049*b41 <= 140.882673685049 } } Constraint e103 { Definition: { sqr(3.39267738551004 - x202) + sqr(1.30003653355443 - x205) + sqr( 1.26479284348393 - x208) + 182.66284317326*b42 <= 183.66284317326 } } Constraint e104 { Definition: { sqr(2.47527631721708 - x202) + sqr(3.36800564923427 - x205) + sqr( 0.112146679619735 - x208) + 174.174595766023*b43 <= 175.174595766023 } } Constraint e105 { Definition: { sqr(4.23965937962997 - x202) + sqr(5.8354548549987 - x205) + sqr( 5.21703959205437 - x208) + 84.8069562114188*b44 <= 85.8069562114188 } } Constraint e106 { Definition: { sqr(1.90787026471349 - x202) + sqr(5.05450580331505 - x205) + sqr( 7.01165798298937 - x208) + 105.666658166239*b45 <= 106.666658166239 } } Constraint e107 { Definition: { sqr(9.92968197439359 - x202) + sqr(6.1106118319625 - x205) + sqr( 4.29775190508136 - x208) + 161.436709465448*b46 <= 162.436709465448 } } Constraint e108 { Definition: { sqr(4.89615150940308 - x202) + sqr(9.57707230097383 - x205) + sqr( 9.8722129175456 - x208) + 224.632211642245*b47 <= 225.632211642245 } } Constraint e109 { Definition: { sqr(5.20264655365834 - x202) + sqr(8.59934712303968 - x205) + sqr( 4.8989755362197 - x208) + 130.523019355742*b48 <= 131.523019355742 } } Constraint e110 { Definition: { sqr(8.39650557858195 - x202) + sqr(6.50351197563982 - x205) + sqr( 8.43657893923448 - x208) + 194.220103883022*b49 <= 195.220103883022 } } Constraint e111 { Definition: { sqr(7.9208870726961 - x202) + sqr(1.65574071738905 - x205) + sqr( 8.95324220467027 - x208) + 167.608109542354*b50 <= 168.608109542354 } } Constraint e112 { Definition: { sqr(2.94356057833666 - x202) + sqr(9.50387320454974 - x205) + sqr( 4.84216900165818 - x208) + 155.944984455397*b51 <= 156.944984455397 } } Constraint e113 { Definition: { sqr(5.67716909075113 - x202) + sqr(7.95494912869701 - x205) + sqr( 1.8188252408716 - x208) + 143.8265902598*b52 <= 144.8265902598 } } Constraint e114 { Definition: { sqr(3.47632791977689 - x202) + sqr(9.89858036195079 - x205) + sqr( 2.48936743461692 - x208) + 187.205465302945*b53 <= 188.205465302945 } } Constraint e115 { Definition: { sqr(7.19323345684947 - x202) + sqr(7.58674836824772 - x205) + sqr( 4.37799217085148 - x208) + 133.784100223376*b54 <= 134.784100223376 } } Constraint e116 { Definition: { sqr(3.68794135627274 - x202) + sqr(0.764460460651244 - x205) + sqr( 8.93159332921224 - x208) + 161.150526627374*b55 <= 162.150526627374 } } Constraint e117 { Definition: { sqr(6.09046032874766 - x202) + sqr(9.81520631625049 - x205) + sqr( 8.68956765296896 - x208) + 218.65758210219*b56 <= 219.65758210219 } } Constraint e118 { Definition: { sqr(0.159435608071623 - x202) + sqr(7.8621329842116 - x205) + sqr( 4.34112712391974 - x208) + 176.061078593341*b57 <= 177.061078593341 } } Constraint e119 { Definition: { sqr(9.30382494051085 - x202) + sqr(4.35265929316925 - x205) + sqr( 9.41314719714275 - x208) + 207.228588657402*b58 <= 208.228588657402 } } Constraint e120 { Definition: { sqr(7.06044667279098 - x202) + sqr(0.119983022609481 - x205) + sqr( 5.21799013159819 - x208) + 187.373869370395*b59 <= 188.373869370395 } } Constraint e121 { Definition: { sqr(1.28474203481519 - x202) + sqr(4.30839167378493 - x205) + sqr( 5.07455099451718 - x208) + 117.707087109112*b60 <= 118.707087109112 } } Constraint e122 { Definition: { sqr(3.95046309105854 - x202) + sqr(7.84827364227855 - x205) + sqr( 3.43912750809001 - x208) + 131.403806640396*b61 <= 132.403806640396 } } Constraint e123 { Definition: { sqr(8.86004297095793 - x202) + sqr(2.42401020162253 - x205) + sqr( 6.97541890071488 - x208) + 158.947259740156*b62 <= 159.947259740156 } } Constraint e124 { Definition: { sqr(9.70133006466227 - x202) + sqr(2.47779846426131 - x205) + sqr( 9.94553704882512 - x208) + 214.875303499993*b63 <= 215.875303499993 } } Constraint e125 { Definition: { sqr(1.26080108706515 - x202) + sqr(1.75121375015014 - x205) + sqr( 9.30622186756532 - x208) + 184.764129697819*b64 <= 185.764129697819 } } Constraint e126 { Definition: { sqr(8.34389861976271 - x202) + sqr(0.398421020867703 - x205) + sqr( 9.40468332550345 - x208) + 200.398945392818*b65 <= 201.398945392818 } } Constraint e127 { Definition: { sqr(0.458699783921438 - x202) + sqr(9.95271170285553 - x205) + sqr( 9.87184681196407 - x208) + 219.689414889155*b66 <= 220.689414889155 } } Constraint e128 { Definition: { sqr(1.6117537168338 - x202) + sqr(6.32876332917705 - x205) + sqr( 0.253813032788369 - x208) + 200.5977121042*b67 <= 201.5977121042 } } Constraint e129 { Definition: { sqr(3.46648532406983 - x202) + sqr(4.00972468964353 - x205) + sqr( 3.47940856689719 - x208) + 103.693060602793*b68 <= 104.693060602793 } } Constraint e130 { Definition: { sqr(9.24571897700111 - x202) + sqr(0.559109940924647 - x205) + sqr( 4.72143745016658 - x208) + 219.689414889155*b69 <= 220.689414889155 } } Constraint e131 { Definition: { sqr(1.80747416465249 - x202) + sqr(5.58858387120364 - x205) + sqr( 8.71378289454331 - x208) + 123.893230383562*b70 <= 124.893230383562 } } Constraint e132 { Definition: { sqr(1.41393713125356 - x202) + sqr(7.94458518662143 - x205) + sqr( 1.0952329046171 - x208) + 203.494862154236*b71 <= 204.494862154236 } } Constraint e133 { Definition: { sqr(7.85751206293337 - x202) + sqr(2.34992401729597 - x205) + sqr( 5.94661276765362 - x208) + 150.575463512564*b72 <= 151.575463512564 } } Constraint e134 { Definition: { sqr(5.76996561939867 - x202) + sqr(3.13220421841133 - x205) + sqr( 7.32413956683818 - x208) + 106.602252199094*b73 <= 107.602252199094 } } Constraint e135 { Definition: { sqr(5.03675100106706 - x202) + sqr(3.8492948064408 - x205) + sqr( 8.26500796855089 - x208) + 119.242421179142*b74 <= 120.242421179142 } } Constraint e136 { Definition: { sqr(9.18783741616912 - x202) + sqr(2.86959611527789 - x205) + sqr( 9.55868938722983 - x208) + 198.559992859524*b75 <= 199.559992859524 } } Constraint e137 { Definition: { sqr(9.72963694557713 - x202) + sqr(4.95412136849809 - x205) + sqr( 7.88965319296968 - x208) + 192.395482422753*b76 <= 193.395482422753 } } Constraint e138 { Definition: { sqr(4.44990459463169 - x202) + sqr(7.37342841442893 - x205) + sqr( 5.84940769948895 - x208) + 114.723635769507*b77 <= 115.723635769507 } } Constraint e139 { Definition: { sqr(0.453871807006551 - x202) + sqr(0.651328833092699 - x205) + sqr( 0.013848532114219 - x208) + 224.632211642245*b78 <= 225.632211642245 } } Constraint e140 { Definition: { sqr(7.68086203645083 - x202) + sqr(1.90461809371178 - x205) + sqr( 2.73211644708798 - x208) + 193.822989231709*b79 <= 194.822989231709 } } Constraint e141 { Definition: { sqr(9.01196046905024 - x202) + sqr(8.86318587386137 - x205) + sqr( 2.31734160055559 - x208) + 184.764129697819*b80 <= 185.764129697819 } } Constraint e142 { Definition: { b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1 } } Constraint e143 { Definition: { sqr(0.557503724665912 - x210) + sqr(6.89699967309171 - x212) + sqr( 6.29939235997553 - x214) + 139.882673685049*b81 <= 140.882673685049 } } Constraint e144 { Definition: { sqr(3.39267738551004 - x210) + sqr(1.30003653355443 - x212) + sqr( 1.26479284348393 - x214) + 182.66284317326*b82 <= 183.66284317326 } } Constraint e145 { Definition: { sqr(2.47527631721708 - x210) + sqr(3.36800564923427 - x212) + sqr( 0.112146679619735 - x214) + 174.174595766023*b83 <= 175.174595766023 } } Constraint e146 { Definition: { sqr(4.23965937962997 - x210) + sqr(5.8354548549987 - x212) + sqr( 5.21703959205437 - x214) + 84.8069562114188*b84 <= 85.8069562114188 } } Constraint e147 { Definition: { sqr(1.90787026471349 - x210) + sqr(5.05450580331505 - x212) + sqr( 7.01165798298937 - x214) + 105.666658166239*b85 <= 106.666658166239 } } Constraint e148 { Definition: { sqr(9.92968197439359 - x210) + sqr(6.1106118319625 - x212) + sqr( 4.29775190508136 - x214) + 161.436709465448*b86 <= 162.436709465448 } } Constraint e149 { Definition: { sqr(4.89615150940308 - x210) + sqr(9.57707230097383 - x212) + sqr( 9.8722129175456 - x214) + 224.632211642245*b87 <= 225.632211642245 } } Constraint e150 { Definition: { sqr(5.20264655365834 - x210) + sqr(8.59934712303968 - x212) + sqr( 4.8989755362197 - x214) + 130.523019355742*b88 <= 131.523019355742 } } Constraint e151 { Definition: { sqr(8.39650557858195 - x210) + sqr(6.50351197563982 - x212) + sqr( 8.43657893923448 - x214) + 194.220103883022*b89 <= 195.220103883022 } } Constraint e152 { Definition: { sqr(7.9208870726961 - x210) + sqr(1.65574071738905 - x212) + sqr( 8.95324220467027 - x214) + 167.608109542354*b90 <= 168.608109542354 } } Constraint e153 { Definition: { sqr(2.94356057833666 - x210) + sqr(9.50387320454974 - x212) + sqr( 4.84216900165818 - x214) + 155.944984455397*b91 <= 156.944984455397 } } Constraint e154 { Definition: { sqr(5.67716909075113 - x210) + sqr(7.95494912869701 - x212) + sqr( 1.8188252408716 - x214) + 143.8265902598*b92 <= 144.8265902598 } } Constraint e155 { Definition: { sqr(3.47632791977689 - x210) + sqr(9.89858036195079 - x212) + sqr( 2.48936743461692 - x214) + 187.205465302945*b93 <= 188.205465302945 } } Constraint e156 { Definition: { sqr(7.19323345684947 - x210) + sqr(7.58674836824772 - x212) + sqr( 4.37799217085148 - x214) + 133.784100223376*b94 <= 134.784100223376 } } Constraint e157 { Definition: { sqr(3.68794135627274 - x210) + sqr(0.764460460651244 - x212) + sqr( 8.93159332921224 - x214) + 161.150526627374*b95 <= 162.150526627374 } } Constraint e158 { Definition: { sqr(6.09046032874766 - x210) + sqr(9.81520631625049 - x212) + sqr( 8.68956765296896 - x214) + 218.65758210219*b96 <= 219.65758210219 } } Constraint e159 { Definition: { sqr(0.159435608071623 - x210) + sqr(7.8621329842116 - x212) + sqr( 4.34112712391974 - x214) + 176.061078593341*b97 <= 177.061078593341 } } Constraint e160 { Definition: { sqr(9.30382494051085 - x210) + sqr(4.35265929316925 - x212) + sqr( 9.41314719714275 - x214) + 207.228588657402*b98 <= 208.228588657402 } } Constraint e161 { Definition: { sqr(7.06044667279098 - x210) + sqr(0.119983022609481 - x212) + sqr( 5.21799013159819 - x214) + 187.373869370395*b99 <= 188.373869370395 } } Constraint e162 { Definition: { sqr(1.28474203481519 - x210) + sqr(4.30839167378493 - x212) + sqr( 5.07455099451718 - x214) + 117.707087109112*b100 <= 118.707087109112 } } Constraint e163 { Definition: { sqr(3.95046309105854 - x210) + sqr(7.84827364227855 - x212) + sqr( 3.43912750809001 - x214) + 131.403806640396*b101 <= 132.403806640396 } } Constraint e164 { Definition: { sqr(8.86004297095793 - x210) + sqr(2.42401020162253 - x212) + sqr( 6.97541890071488 - x214) + 158.947259740156*b102 <= 159.947259740156 } } Constraint e165 { Definition: { sqr(9.70133006466227 - x210) + sqr(2.47779846426131 - x212) + sqr( 9.94553704882512 - x214) + 214.875303499993*b103 <= 215.875303499993 } } Constraint e166 { Definition: { sqr(1.26080108706515 - x210) + sqr(1.75121375015014 - x212) + sqr( 9.30622186756532 - x214) + 184.764129697819*b104 <= 185.764129697819 } } Constraint e167 { Definition: { sqr(8.34389861976271 - x210) + sqr(0.398421020867703 - x212) + sqr( 9.40468332550345 - x214) + 200.398945392818*b105 <= 201.398945392818 } } Constraint e168 { Definition: { sqr(0.458699783921438 - x210) + sqr(9.95271170285553 - x212) + sqr( 9.87184681196407 - x214) + 219.689414889155*b106 <= 220.689414889155 } } Constraint e169 { Definition: { sqr(1.6117537168338 - x210) + sqr(6.32876332917705 - x212) + sqr( 0.253813032788369 - x214) + 200.5977121042*b107 <= 201.5977121042 } } Constraint e170 { Definition: { sqr(3.46648532406983 - x210) + sqr(4.00972468964353 - x212) + sqr( 3.47940856689719 - x214) + 103.693060602793*b108 <= 104.693060602793 } } Constraint e171 { Definition: { sqr(9.24571897700111 - x210) + sqr(0.559109940924647 - x212) + sqr( 4.72143745016658 - x214) + 219.689414889155*b109 <= 220.689414889155 } } Constraint e172 { Definition: { sqr(1.80747416465249 - x210) + sqr(5.58858387120364 - x212) + sqr( 8.71378289454331 - x214) + 123.893230383562*b110 <= 124.893230383562 } } Constraint e173 { Definition: { sqr(1.41393713125356 - x210) + sqr(7.94458518662143 - x212) + sqr( 1.0952329046171 - x214) + 203.494862154236*b111 <= 204.494862154236 } } Constraint e174 { Definition: { sqr(7.85751206293337 - x210) + sqr(2.34992401729597 - x212) + sqr( 5.94661276765362 - x214) + 150.575463512564*b112 <= 151.575463512564 } } Constraint e175 { Definition: { sqr(5.76996561939867 - x210) + sqr(3.13220421841133 - x212) + sqr( 7.32413956683818 - x214) + 106.602252199094*b113 <= 107.602252199094 } } Constraint e176 { Definition: { sqr(5.03675100106706 - x210) + sqr(3.8492948064408 - x212) + sqr( 8.26500796855089 - x214) + 119.242421179142*b114 <= 120.242421179142 } } Constraint e177 { Definition: { sqr(9.18783741616912 - x210) + sqr(2.86959611527789 - x212) + sqr( 9.55868938722983 - x214) + 198.559992859524*b115 <= 199.559992859524 } } Constraint e178 { Definition: { sqr(9.72963694557713 - x210) + sqr(4.95412136849809 - x212) + sqr( 7.88965319296968 - x214) + 192.395482422753*b116 <= 193.395482422753 } } Constraint e179 { Definition: { sqr(4.44990459463169 - x210) + sqr(7.37342841442893 - x212) + sqr( 5.84940769948895 - x214) + 114.723635769507*b117 <= 115.723635769507 } } Constraint e180 { Definition: { sqr(0.453871807006551 - x210) + sqr(0.651328833092699 - x212) + sqr( 0.013848532114219 - x214) + 224.632211642245*b118 <= 225.632211642245 } } Constraint e181 { Definition: { sqr(7.68086203645083 - x210) + sqr(1.90461809371178 - x212) + sqr( 2.73211644708798 - x214) + 193.822989231709*b119 <= 194.822989231709 } } Constraint e182 { Definition: { sqr(9.01196046905024 - x210) + sqr(8.86318587386137 - x212) + sqr( 2.31734160055559 - x214) + 184.764129697819*b120 <= 185.764129697819 } } Constraint e183 { Definition: { b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 } } Constraint e184 { Definition: { sqr(0.557503724665912 - x216) + sqr(6.89699967309171 - x218) + sqr( 6.29939235997553 - x220) + 139.882673685049*b121 <= 140.882673685049 } } Constraint e185 { Definition: { sqr(3.39267738551004 - x216) + sqr(1.30003653355443 - x218) + sqr( 1.26479284348393 - x220) + 182.66284317326*b122 <= 183.66284317326 } } Constraint e186 { Definition: { sqr(2.47527631721708 - x216) + sqr(3.36800564923427 - x218) + sqr( 0.112146679619735 - x220) + 174.174595766023*b123 <= 175.174595766023 } } Constraint e187 { Definition: { sqr(4.23965937962997 - x216) + sqr(5.8354548549987 - x218) + sqr( 5.21703959205437 - x220) + 84.8069562114188*b124 <= 85.8069562114188 } } Constraint e188 { Definition: { sqr(1.90787026471349 - x216) + sqr(5.05450580331505 - x218) + sqr( 7.01165798298937 - x220) + 105.666658166239*b125 <= 106.666658166239 } } Constraint e189 { Definition: { sqr(9.92968197439359 - x216) + sqr(6.1106118319625 - x218) + sqr( 4.29775190508136 - x220) + 161.436709465448*b126 <= 162.436709465448 } } Constraint e190 { Definition: { sqr(4.89615150940308 - x216) + sqr(9.57707230097383 - x218) + sqr( 9.8722129175456 - x220) + 224.632211642245*b127 <= 225.632211642245 } } Constraint e191 { Definition: { sqr(5.20264655365834 - x216) + sqr(8.59934712303968 - x218) + sqr( 4.8989755362197 - x220) + 130.523019355742*b128 <= 131.523019355742 } } Constraint e192 { Definition: { sqr(8.39650557858195 - x216) + sqr(6.50351197563982 - x218) + sqr( 8.43657893923448 - x220) + 194.220103883022*b129 <= 195.220103883022 } } Constraint e193 { Definition: { sqr(7.9208870726961 - x216) + sqr(1.65574071738905 - x218) + sqr( 8.95324220467027 - x220) + 167.608109542354*b130 <= 168.608109542354 } } Constraint e194 { Definition: { sqr(2.94356057833666 - x216) + sqr(9.50387320454974 - x218) + sqr( 4.84216900165818 - x220) + 155.944984455397*b131 <= 156.944984455397 } } Constraint e195 { Definition: { sqr(5.67716909075113 - x216) + sqr(7.95494912869701 - x218) + sqr( 1.8188252408716 - x220) + 143.8265902598*b132 <= 144.8265902598 } } Constraint e196 { Definition: { sqr(3.47632791977689 - x216) + sqr(9.89858036195079 - x218) + sqr( 2.48936743461692 - x220) + 187.205465302945*b133 <= 188.205465302945 } } Constraint e197 { Definition: { sqr(7.19323345684947 - x216) + sqr(7.58674836824772 - x218) + sqr( 4.37799217085148 - x220) + 133.784100223376*b134 <= 134.784100223376 } } Constraint e198 { Definition: { sqr(3.68794135627274 - x216) + sqr(0.764460460651244 - x218) + sqr( 8.93159332921224 - x220) + 161.150526627374*b135 <= 162.150526627374 } } Constraint e199 { Definition: { sqr(6.09046032874766 - x216) + sqr(9.81520631625049 - x218) + sqr( 8.68956765296896 - x220) + 218.65758210219*b136 <= 219.65758210219 } } Constraint e200 { Definition: { sqr(0.159435608071623 - x216) + sqr(7.8621329842116 - x218) + sqr( 4.34112712391974 - x220) + 176.061078593341*b137 <= 177.061078593341 } } Constraint e201 { Definition: { sqr(9.30382494051085 - x216) + sqr(4.35265929316925 - x218) + sqr( 9.41314719714275 - x220) + 207.228588657402*b138 <= 208.228588657402 } } Constraint e202 { Definition: { sqr(7.06044667279098 - x216) + sqr(0.119983022609481 - x218) + sqr( 5.21799013159819 - x220) + 187.373869370395*b139 <= 188.373869370395 } } Constraint e203 { Definition: { sqr(1.28474203481519 - x216) + sqr(4.30839167378493 - x218) + sqr( 5.07455099451718 - x220) + 117.707087109112*b140 <= 118.707087109112 } } Constraint e204 { Definition: { sqr(3.95046309105854 - x216) + sqr(7.84827364227855 - x218) + sqr( 3.43912750809001 - x220) + 131.403806640396*b141 <= 132.403806640396 } } Constraint e205 { Definition: { sqr(8.86004297095793 - x216) + sqr(2.42401020162253 - x218) + sqr( 6.97541890071488 - x220) + 158.947259740156*b142 <= 159.947259740156 } } Constraint e206 { Definition: { sqr(9.70133006466227 - x216) + sqr(2.47779846426131 - x218) + sqr( 9.94553704882512 - x220) + 214.875303499993*b143 <= 215.875303499993 } } Constraint e207 { Definition: { sqr(1.26080108706515 - x216) + sqr(1.75121375015014 - x218) + sqr( 9.30622186756532 - x220) + 184.764129697819*b144 <= 185.764129697819 } } Constraint e208 { Definition: { sqr(8.34389861976271 - x216) + sqr(0.398421020867703 - x218) + sqr( 9.40468332550345 - x220) + 200.398945392818*b145 <= 201.398945392818 } } Constraint e209 { Definition: { sqr(0.458699783921438 - x216) + sqr(9.95271170285553 - x218) + sqr( 9.87184681196407 - x220) + 219.689414889155*b146 <= 220.689414889155 } } Constraint e210 { Definition: { sqr(1.6117537168338 - x216) + sqr(6.32876332917705 - x218) + sqr( 0.253813032788369 - x220) + 200.5977121042*b147 <= 201.5977121042 } } Constraint e211 { Definition: { sqr(3.46648532406983 - x216) + sqr(4.00972468964353 - x218) + sqr( 3.47940856689719 - x220) + 103.693060602793*b148 <= 104.693060602793 } } Constraint e212 { Definition: { sqr(9.24571897700111 - x216) + sqr(0.559109940924647 - x218) + sqr( 4.72143745016658 - x220) + 219.689414889155*b149 <= 220.689414889155 } } Constraint e213 { Definition: { sqr(1.80747416465249 - x216) + sqr(5.58858387120364 - x218) + sqr( 8.71378289454331 - x220) + 123.893230383562*b150 <= 124.893230383562 } } Constraint e214 { Definition: { sqr(1.41393713125356 - x216) + sqr(7.94458518662143 - x218) + sqr( 1.0952329046171 - x220) + 203.494862154236*b151 <= 204.494862154236 } } Constraint e215 { Definition: { sqr(7.85751206293337 - x216) + sqr(2.34992401729597 - x218) + sqr( 5.94661276765362 - x220) + 150.575463512564*b152 <= 151.575463512564 } } Constraint e216 { Definition: { sqr(5.76996561939867 - x216) + sqr(3.13220421841133 - x218) + sqr( 7.32413956683818 - x220) + 106.602252199094*b153 <= 107.602252199094 } } Constraint e217 { Definition: { sqr(5.03675100106706 - x216) + sqr(3.8492948064408 - x218) + sqr( 8.26500796855089 - x220) + 119.242421179142*b154 <= 120.242421179142 } } Constraint e218 { Definition: { sqr(9.18783741616912 - x216) + sqr(2.86959611527789 - x218) + sqr( 9.55868938722983 - x220) + 198.559992859524*b155 <= 199.559992859524 } } Constraint e219 { Definition: { sqr(9.72963694557713 - x216) + sqr(4.95412136849809 - x218) + sqr( 7.88965319296968 - x220) + 192.395482422753*b156 <= 193.395482422753 } } Constraint e220 { Definition: { sqr(4.44990459463169 - x216) + sqr(7.37342841442893 - x218) + sqr( 5.84940769948895 - x220) + 114.723635769507*b157 <= 115.723635769507 } } Constraint e221 { Definition: { sqr(0.453871807006551 - x216) + sqr(0.651328833092699 - x218) + sqr( 0.013848532114219 - x220) + 224.632211642245*b158 <= 225.632211642245 } } Constraint e222 { Definition: { sqr(7.68086203645083 - x216) + sqr(1.90461809371178 - x218) + sqr( 2.73211644708798 - x220) + 193.822989231709*b159 <= 194.822989231709 } } Constraint e223 { Definition: { sqr(9.01196046905024 - x216) + sqr(8.86318587386137 - x218) + sqr( 2.31734160055559 - x220) + 184.764129697819*b160 <= 185.764129697819 } } Constraint e224 { Definition: { b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 = 1 } } Constraint e225 { Definition: { sqr(0.557503724665912 - x222) + sqr(6.89699967309171 - x224) + sqr( 6.29939235997553 - x226) + 139.882673685049*b161 <= 140.882673685049 } } Constraint e226 { Definition: { sqr(3.39267738551004 - x222) + sqr(1.30003653355443 - x224) + sqr( 1.26479284348393 - x226) + 182.66284317326*b162 <= 183.66284317326 } } Constraint e227 { Definition: { sqr(2.47527631721708 - x222) + sqr(3.36800564923427 - x224) + sqr( 0.112146679619735 - x226) + 174.174595766023*b163 <= 175.174595766023 } } Constraint e228 { Definition: { sqr(4.23965937962997 - x222) + sqr(5.8354548549987 - x224) + sqr( 5.21703959205437 - x226) + 84.8069562114188*b164 <= 85.8069562114188 } } Constraint e229 { Definition: { sqr(1.90787026471349 - x222) + sqr(5.05450580331505 - x224) + sqr( 7.01165798298937 - x226) + 105.666658166239*b165 <= 106.666658166239 } } Constraint e230 { Definition: { sqr(9.92968197439359 - x222) + sqr(6.1106118319625 - x224) + sqr( 4.29775190508136 - x226) + 161.436709465448*b166 <= 162.436709465448 } } Constraint e231 { Definition: { sqr(4.89615150940308 - x222) + sqr(9.57707230097383 - x224) + sqr( 9.8722129175456 - x226) + 224.632211642245*b167 <= 225.632211642245 } } Constraint e232 { Definition: { sqr(5.20264655365834 - x222) + sqr(8.59934712303968 - x224) + sqr( 4.8989755362197 - x226) + 130.523019355742*b168 <= 131.523019355742 } } Constraint e233 { Definition: { sqr(8.39650557858195 - x222) + sqr(6.50351197563982 - x224) + sqr( 8.43657893923448 - x226) + 194.220103883022*b169 <= 195.220103883022 } } Constraint e234 { Definition: { sqr(7.9208870726961 - x222) + sqr(1.65574071738905 - x224) + sqr( 8.95324220467027 - x226) + 167.608109542354*b170 <= 168.608109542354 } } Constraint e235 { Definition: { sqr(2.94356057833666 - x222) + sqr(9.50387320454974 - x224) + sqr( 4.84216900165818 - x226) + 155.944984455397*b171 <= 156.944984455397 } } Constraint e236 { Definition: { sqr(5.67716909075113 - x222) + sqr(7.95494912869701 - x224) + sqr( 1.8188252408716 - x226) + 143.8265902598*b172 <= 144.8265902598 } } Constraint e237 { Definition: { sqr(3.47632791977689 - x222) + sqr(9.89858036195079 - x224) + sqr( 2.48936743461692 - x226) + 187.205465302945*b173 <= 188.205465302945 } } Constraint e238 { Definition: { sqr(7.19323345684947 - x222) + sqr(7.58674836824772 - x224) + sqr( 4.37799217085148 - x226) + 133.784100223376*b174 <= 134.784100223376 } } Constraint e239 { Definition: { sqr(3.68794135627274 - x222) + sqr(0.764460460651244 - x224) + sqr( 8.93159332921224 - x226) + 161.150526627374*b175 <= 162.150526627374 } } Constraint e240 { Definition: { sqr(6.09046032874766 - x222) + sqr(9.81520631625049 - x224) + sqr( 8.68956765296896 - x226) + 218.65758210219*b176 <= 219.65758210219 } } Constraint e241 { Definition: { sqr(0.159435608071623 - x222) + sqr(7.8621329842116 - x224) + sqr( 4.34112712391974 - x226) + 176.061078593341*b177 <= 177.061078593341 } } Constraint e242 { Definition: { sqr(9.30382494051085 - x222) + sqr(4.35265929316925 - x224) + sqr( 9.41314719714275 - x226) + 207.228588657402*b178 <= 208.228588657402 } } Constraint e243 { Definition: { sqr(7.06044667279098 - x222) + sqr(0.119983022609481 - x224) + sqr( 5.21799013159819 - x226) + 187.373869370395*b179 <= 188.373869370395 } } Constraint e244 { Definition: { sqr(1.28474203481519 - x222) + sqr(4.30839167378493 - x224) + sqr( 5.07455099451718 - x226) + 117.707087109112*b180 <= 118.707087109112 } } Constraint e245 { Definition: { sqr(3.95046309105854 - x222) + sqr(7.84827364227855 - x224) + sqr( 3.43912750809001 - x226) + 131.403806640396*b181 <= 132.403806640396 } } Constraint e246 { Definition: { sqr(8.86004297095793 - x222) + sqr(2.42401020162253 - x224) + sqr( 6.97541890071488 - x226) + 158.947259740156*b182 <= 159.947259740156 } } Constraint e247 { Definition: { sqr(9.70133006466227 - x222) + sqr(2.47779846426131 - x224) + sqr( 9.94553704882512 - x226) + 214.875303499993*b183 <= 215.875303499993 } } Constraint e248 { Definition: { sqr(1.26080108706515 - x222) + sqr(1.75121375015014 - x224) + sqr( 9.30622186756532 - x226) + 184.764129697819*b184 <= 185.764129697819 } } Constraint e249 { Definition: { sqr(8.34389861976271 - x222) + sqr(0.398421020867703 - x224) + sqr( 9.40468332550345 - x226) + 200.398945392818*b185 <= 201.398945392818 } } Constraint e250 { Definition: { sqr(0.458699783921438 - x222) + sqr(9.95271170285553 - x224) + sqr( 9.87184681196407 - x226) + 219.689414889155*b186 <= 220.689414889155 } } Constraint e251 { Definition: { sqr(1.6117537168338 - x222) + sqr(6.32876332917705 - x224) + sqr( 0.253813032788369 - x226) + 200.5977121042*b187 <= 201.5977121042 } } Constraint e252 { Definition: { sqr(3.46648532406983 - x222) + sqr(4.00972468964353 - x224) + sqr( 3.47940856689719 - x226) + 103.693060602793*b188 <= 104.693060602793 } } Constraint e253 { Definition: { sqr(9.24571897700111 - x222) + sqr(0.559109940924647 - x224) + sqr( 4.72143745016658 - x226) + 219.689414889155*b189 <= 220.689414889155 } } Constraint e254 { Definition: { sqr(1.80747416465249 - x222) + sqr(5.58858387120364 - x224) + sqr( 8.71378289454331 - x226) + 123.893230383562*b190 <= 124.893230383562 } } Constraint e255 { Definition: { sqr(1.41393713125356 - x222) + sqr(7.94458518662143 - x224) + sqr( 1.0952329046171 - x226) + 203.494862154236*b191 <= 204.494862154236 } } Constraint e256 { Definition: { sqr(7.85751206293337 - x222) + sqr(2.34992401729597 - x224) + sqr( 5.94661276765362 - x226) + 150.575463512564*b192 <= 151.575463512564 } } Constraint e257 { Definition: { sqr(5.76996561939867 - x222) + sqr(3.13220421841133 - x224) + sqr( 7.32413956683818 - x226) + 106.602252199094*b193 <= 107.602252199094 } } Constraint e258 { Definition: { sqr(5.03675100106706 - x222) + sqr(3.8492948064408 - x224) + sqr( 8.26500796855089 - x226) + 119.242421179142*b194 <= 120.242421179142 } } Constraint e259 { Definition: { sqr(9.18783741616912 - x222) + sqr(2.86959611527789 - x224) + sqr( 9.55868938722983 - x226) + 198.559992859524*b195 <= 199.559992859524 } } Constraint e260 { Definition: { sqr(9.72963694557713 - x222) + sqr(4.95412136849809 - x224) + sqr( 7.88965319296968 - x226) + 192.395482422753*b196 <= 193.395482422753 } } Constraint e261 { Definition: { sqr(4.44990459463169 - x222) + sqr(7.37342841442893 - x224) + sqr( 5.84940769948895 - x226) + 114.723635769507*b197 <= 115.723635769507 } } Constraint e262 { Definition: { sqr(0.453871807006551 - x222) + sqr(0.651328833092699 - x224) + sqr( 0.013848532114219 - x226) + 224.632211642245*b198 <= 225.632211642245 } } Constraint e263 { Definition: { sqr(7.68086203645083 - x222) + sqr(1.90461809371178 - x224) + sqr( 2.73211644708798 - x226) + 193.822989231709*b199 <= 194.822989231709 } } Constraint e264 { Definition: { sqr(9.01196046905024 - x222) + sqr(8.86318587386137 - x224) + sqr( 2.31734160055559 - x226) + 184.764129697819*b200 <= 185.764129697819 } } Constraint e265 { Definition: { b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 = 1 } } Constraint e266 { Definition: b1 + b41 + b81 + b121 + b161 <= 1; } Constraint e267 { Definition: b2 + b42 + b82 + b122 + b162 <= 1; } Constraint e268 { Definition: b3 + b43 + b83 + b123 + b163 <= 1; } Constraint e269 { Definition: b4 + b44 + b84 + b124 + b164 <= 1; } Constraint e270 { Definition: b5 + b45 + b85 + b125 + b165 <= 1; } Constraint e271 { Definition: b6 + b46 + b86 + b126 + b166 <= 1; } Constraint e272 { Definition: b7 + b47 + b87 + b127 + b167 <= 1; } Constraint e273 { Definition: b8 + b48 + b88 + b128 + b168 <= 1; } Constraint e274 { Definition: b9 + b49 + b89 + b129 + b169 <= 1; } Constraint e275 { Definition: b10 + b50 + b90 + b130 + b170 <= 1; } Constraint e276 { Definition: b11 + b51 + b91 + b131 + b171 <= 1; } Constraint e277 { Definition: b12 + b52 + b92 + b132 + b172 <= 1; } Constraint e278 { Definition: b13 + b53 + b93 + b133 + b173 <= 1; } Constraint e279 { Definition: b14 + b54 + b94 + b134 + b174 <= 1; } Constraint e280 { Definition: b15 + b55 + b95 + b135 + b175 <= 1; } Constraint e281 { Definition: b16 + b56 + b96 + b136 + b176 <= 1; } Constraint e282 { Definition: b17 + b57 + b97 + b137 + b177 <= 1; } Constraint e283 { Definition: b18 + b58 + b98 + b138 + b178 <= 1; } Constraint e284 { Definition: b19 + b59 + b99 + b139 + b179 <= 1; } Constraint e285 { Definition: b20 + b60 + b100 + b140 + b180 <= 1; } Constraint e286 { Definition: b21 + b61 + b101 + b141 + b181 <= 1; } Constraint e287 { Definition: b22 + b62 + b102 + b142 + b182 <= 1; } Constraint e288 { Definition: b23 + b63 + b103 + b143 + b183 <= 1; } Constraint e289 { Definition: b24 + b64 + b104 + b144 + b184 <= 1; } Constraint e290 { Definition: b25 + b65 + b105 + b145 + b185 <= 1; } Constraint e291 { Definition: b26 + b66 + b106 + b146 + b186 <= 1; } Constraint e292 { Definition: b27 + b67 + b107 + b147 + b187 <= 1; } Constraint e293 { Definition: b28 + b68 + b108 + b148 + b188 <= 1; } Constraint e294 { Definition: b29 + b69 + b109 + b149 + b189 <= 1; } Constraint e295 { Definition: b30 + b70 + b110 + b150 + b190 <= 1; } Constraint e296 { Definition: b31 + b71 + b111 + b151 + b191 <= 1; } Constraint e297 { Definition: b32 + b72 + b112 + b152 + b192 <= 1; } Constraint e298 { Definition: b33 + b73 + b113 + b153 + b193 <= 1; } Constraint e299 { Definition: b34 + b74 + b114 + b154 + b194 <= 1; } Constraint e300 { Definition: b35 + b75 + b115 + b155 + b195 <= 1; } Constraint e301 { Definition: b36 + b76 + b116 + b156 + b196 <= 1; } Constraint e302 { Definition: b37 + b77 + b117 + b157 + b197 <= 1; } Constraint e303 { Definition: b38 + b78 + b118 + b158 + b198 <= 1; } Constraint e304 { Definition: b39 + b79 + b119 + b159 + b199 <= 1; } Constraint e305 { Definition: b40 + b80 + b120 + b160 + b200 <= 1; } Constraint e306 { Definition: x201 - x202 <= 0; } Constraint e307 { Definition: x202 - x210 <= 0; } Constraint e308 { Definition: x210 - x216 <= 0; } Constraint e309 { Definition: x216 - x222 <= 0; } Constraint e310 { Definition: { - x203 - x206 - x209 - x211 - x213 - x215 - x217 - x219 - x221 - x223 - x225 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 - x242 - x243 - x244 - x245 + objvar = 0 } } Procedure MainInitialization { Body: { 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; } } MathematicalProgram p_ball_40b_5p_3d_m { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve p_ball_40b_5p_3d_m; } } Procedure MainTermination { Body: { return 1; } } }