#  MINLP written by GAMS Convert at 08/26/20 11:33:04
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        310        6        0      304        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        246       46      200        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1419      819      600        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var x201 >= 0, <= 10;
var x202 >= 0, <= 10;
var x203 >= 0, <= 10;
var x204 >= 0, <= 10;
var x205 >= 0, <= 10;
var x206 >= 0, <= 10;
var x207 >= 0, <= 10;
var x208 >= 0, <= 10;
var x209 >= 0, <= 10;
var x210 >= 0, <= 10;
var x211 >= 0, <= 10;
var x212 >= 0, <= 10;
var x213 >= 0, <= 10;
var x214 >= 0, <= 10;
var x215 >= 0, <= 10;
var x216 >= 0, <= 10;
var x217 >= 0, <= 10;
var x218 >= 0, <= 10;
var x219 >= 0, <= 10;
var x220 >= 0, <= 10;
var x221 >= 0, <= 10;
var x222 >= 0, <= 10;
var x223 >= 0, <= 10;
var x224 >= 0, <= 10;
var x225 >= 0, <= 10;
var x226 >= 0, <= 10;
var x227 >= 0, <= 10;
var x228 >= 0, <= 10;
var x229 >= 0, <= 10;
var x230 >= 0, <= 10;
var x231 >= 0, <= 10;
var x232 >= 0, <= 10;
var x233 >= 0, <= 10;
var x234 >= 0, <= 10;
var x235 >= 0, <= 10;
var x236 >= 0, <= 10;
var x237 >= 0, <= 10;
var x238 >= 0, <= 10;
var x239 >= 0, <= 10;
var x240 >= 0, <= 10;
var x241 >= 0, <= 10;
var x242 >= 0, <= 10;
var x243 >= 0, <= 10;
var x244 >= 0, <= 10;
var x245 >= 0, <= 10;

minimize obj:    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;

subject to

e1:    x201 - x202 - x203 <= 0;

e2:  - x201 + x202 - x203 <= 0;

e3:    x204 - x205 - x206 <= 0;

e4:  - x204 + x205 - x206 <= 0;

e5:    x207 - x208 - x209 <= 0;

e6:  - x207 + x208 - x209 <= 0;

e7:    x201 - x210 - x211 <= 0;

e8:  - x201 + x210 - x211 <= 0;

e9:    x204 - x212 - x213 <= 0;

e10:  - x204 + x212 - x213 <= 0;

e11:    x207 - x214 - x215 <= 0;

e12:  - x207 + x214 - x215 <= 0;

e13:    x201 - x216 - x217 <= 0;

e14:  - x201 + x216 - x217 <= 0;

e15:    x204 - x218 - x219 <= 0;

e16:  - x204 + x218 - x219 <= 0;

e17:    x207 - x220 - x221 <= 0;

e18:  - x207 + x220 - x221 <= 0;

e19:    x201 - x222 - x223 <= 0;

e20:  - x201 + x222 - x223 <= 0;

e21:    x204 - x224 - x225 <= 0;

e22:  - x204 + x224 - x225 <= 0;

e23:    x207 - x226 - x227 <= 0;

e24:  - x207 + x226 - x227 <= 0;

e25:    x202 - x210 - x228 <= 0;

e26:  - x202 + x210 - x228 <= 0;

e27:    x205 - x212 - x229 <= 0;

e28:  - x205 + x212 - x229 <= 0;

e29:    x208 - x214 - x230 <= 0;

e30:  - x208 + x214 - x230 <= 0;

e31:    x202 - x216 - x231 <= 0;

e32:  - x202 + x216 - x231 <= 0;

e33:    x205 - x218 - x232 <= 0;

e34:  - x205 + x218 - x232 <= 0;

e35:    x208 - x220 - x233 <= 0;

e36:  - x208 + x220 - x233 <= 0;

e37:    x202 - x222 - x234 <= 0;

e38:  - x202 + x222 - x234 <= 0;

e39:    x205 - x224 - x235 <= 0;

e40:  - x205 + x224 - x235 <= 0;

e41:    x208 - x226 - x236 <= 0;

e42:  - x208 + x226 - x236 <= 0;

e43:    x210 - x216 - x237 <= 0;

e44:  - x210 + x216 - x237 <= 0;

e45:    x212 - x218 - x238 <= 0;

e46:  - x212 + x218 - x238 <= 0;

e47:    x214 - x220 - x239 <= 0;

e48:  - x214 + x220 - x239 <= 0;

e49:    x210 - x222 - x240 <= 0;

e50:  - x210 + x222 - x240 <= 0;

e51:    x212 - x224 - x241 <= 0;

e52:  - x212 + x224 - x241 <= 0;

e53:    x214 - x226 - x242 <= 0;

e54:  - x214 + x226 - x242 <= 0;

e55:    x216 - x222 - x243 <= 0;

e56:  - x216 + x222 - x243 <= 0;

e57:    x218 - x224 - x244 <= 0;

e58:  - x218 + x224 - x244 <= 0;

e59:    x220 - x226 - x245 <= 0;

e60:  - x220 + x226 - x245 <= 0;

e61: (0.557503724665912 - x201)^2 + (6.89699967309171 - x204)^2 + (
     6.29939235997553 - x207)^2 + 139.882673685049*b1 <= 140.882673685049;

e62: (3.39267738551004 - x201)^2 + (1.30003653355443 - x204)^2 + (
     1.26479284348393 - x207)^2 + 182.66284317326*b2 <= 183.66284317326;

e63: (2.47527631721708 - x201)^2 + (3.36800564923427 - x204)^2 + (
     0.112146679619735 - x207)^2 + 174.174595766023*b3 <= 175.174595766023;

e64: (4.23965937962997 - x201)^2 + (5.8354548549987 - x204)^2 + (
     5.21703959205437 - x207)^2 + 84.8069562114188*b4 <= 85.8069562114188;

e65: (1.90787026471349 - x201)^2 + (5.05450580331505 - x204)^2 + (
     7.01165798298937 - x207)^2 + 105.666658166239*b5 <= 106.666658166239;

e66: (9.92968197439359 - x201)^2 + (6.1106118319625 - x204)^2 + (
     4.29775190508136 - x207)^2 + 161.436709465448*b6 <= 162.436709465448;

e67: (4.89615150940308 - x201)^2 + (9.57707230097383 - x204)^2 + (
     9.8722129175456 - x207)^2 + 224.632211642245*b7 <= 225.632211642245;

e68: (5.20264655365834 - x201)^2 + (8.59934712303968 - x204)^2 + (
     4.8989755362197 - x207)^2 + 130.523019355742*b8 <= 131.523019355742;

e69: (8.39650557858195 - x201)^2 + (6.50351197563982 - x204)^2 + (
     8.43657893923448 - x207)^2 + 194.220103883022*b9 <= 195.220103883022;

e70: (7.9208870726961 - x201)^2 + (1.65574071738905 - x204)^2 + (
     8.95324220467027 - x207)^2 + 167.608109542354*b10 <= 168.608109542354;

e71: (2.94356057833666 - x201)^2 + (9.50387320454974 - x204)^2 + (
     4.84216900165818 - x207)^2 + 155.944984455397*b11 <= 156.944984455397;

e72: (5.67716909075113 - x201)^2 + (7.95494912869701 - x204)^2 + (
     1.8188252408716 - x207)^2 + 143.8265902598*b12 <= 144.8265902598;

e73: (3.47632791977689 - x201)^2 + (9.89858036195079 - x204)^2 + (
     2.48936743461692 - x207)^2 + 187.205465302945*b13 <= 188.205465302945;

e74: (7.19323345684947 - x201)^2 + (7.58674836824772 - x204)^2 + (
     4.37799217085148 - x207)^2 + 133.784100223376*b14 <= 134.784100223376;

e75: (3.68794135627274 - x201)^2 + (0.764460460651244 - x204)^2 + (
     8.93159332921224 - x207)^2 + 161.150526627374*b15 <= 162.150526627374;

e76: (6.09046032874766 - x201)^2 + (9.81520631625049 - x204)^2 + (
     8.68956765296896 - x207)^2 + 218.65758210219*b16 <= 219.65758210219;

e77: (0.159435608071623 - x201)^2 + (7.8621329842116 - x204)^2 + (
     4.34112712391974 - x207)^2 + 176.061078593341*b17 <= 177.061078593341;

e78: (9.30382494051085 - x201)^2 + (4.35265929316925 - x204)^2 + (
     9.41314719714275 - x207)^2 + 207.228588657402*b18 <= 208.228588657402;

e79: (7.06044667279098 - x201)^2 + (0.119983022609481 - x204)^2 + (
     5.21799013159819 - x207)^2 + 187.373869370395*b19 <= 188.373869370395;

e80: (1.28474203481519 - x201)^2 + (4.30839167378493 - x204)^2 + (
     5.07455099451718 - x207)^2 + 117.707087109112*b20 <= 118.707087109112;

e81: (3.95046309105854 - x201)^2 + (7.84827364227855 - x204)^2 + (
     3.43912750809001 - x207)^2 + 131.403806640396*b21 <= 132.403806640396;

e82: (8.86004297095793 - x201)^2 + (2.42401020162253 - x204)^2 + (
     6.97541890071488 - x207)^2 + 158.947259740156*b22 <= 159.947259740156;

e83: (9.70133006466227 - x201)^2 + (2.47779846426131 - x204)^2 + (
     9.94553704882512 - x207)^2 + 214.875303499993*b23 <= 215.875303499993;

e84: (1.26080108706515 - x201)^2 + (1.75121375015014 - x204)^2 + (
     9.30622186756532 - x207)^2 + 184.764129697819*b24 <= 185.764129697819;

e85: (8.34389861976271 - x201)^2 + (0.398421020867703 - x204)^2 + (
     9.40468332550345 - x207)^2 + 200.398945392818*b25 <= 201.398945392818;

e86: (0.458699783921438 - x201)^2 + (9.95271170285553 - x204)^2 + (
     9.87184681196407 - x207)^2 + 219.689414889155*b26 <= 220.689414889155;

e87: (1.6117537168338 - x201)^2 + (6.32876332917705 - x204)^2 + (
     0.253813032788369 - x207)^2 + 200.5977121042*b27 <= 201.5977121042;

e88: (3.46648532406983 - x201)^2 + (4.00972468964353 - x204)^2 + (
     3.47940856689719 - x207)^2 + 103.693060602793*b28 <= 104.693060602793;

e89: (9.24571897700111 - x201)^2 + (0.559109940924647 - x204)^2 + (
     4.72143745016658 - x207)^2 + 219.689414889155*b29 <= 220.689414889155;

e90: (1.80747416465249 - x201)^2 + (5.58858387120364 - x204)^2 + (
     8.71378289454331 - x207)^2 + 123.893230383562*b30 <= 124.893230383562;

e91: (1.41393713125356 - x201)^2 + (7.94458518662143 - x204)^2 + (
     1.0952329046171 - x207)^2 + 203.494862154236*b31 <= 204.494862154236;

e92: (7.85751206293337 - x201)^2 + (2.34992401729597 - x204)^2 + (
     5.94661276765362 - x207)^2 + 150.575463512564*b32 <= 151.575463512564;

e93: (5.76996561939867 - x201)^2 + (3.13220421841133 - x204)^2 + (
     7.32413956683818 - x207)^2 + 106.602252199094*b33 <= 107.602252199094;

e94: (5.03675100106706 - x201)^2 + (3.8492948064408 - x204)^2 + (
     8.26500796855089 - x207)^2 + 119.242421179142*b34 <= 120.242421179142;

e95: (9.18783741616912 - x201)^2 + (2.86959611527789 - x204)^2 + (
     9.55868938722983 - x207)^2 + 198.559992859524*b35 <= 199.559992859524;

e96: (9.72963694557713 - x201)^2 + (4.95412136849809 - x204)^2 + (
     7.88965319296968 - x207)^2 + 192.395482422753*b36 <= 193.395482422753;

e97: (4.44990459463169 - x201)^2 + (7.37342841442893 - x204)^2 + (
     5.84940769948895 - x207)^2 + 114.723635769507*b37 <= 115.723635769507;

e98: (0.453871807006551 - x201)^2 + (0.651328833092699 - x204)^2 + (
     0.013848532114219 - x207)^2 + 224.632211642245*b38 <= 225.632211642245;

e99: (7.68086203645083 - x201)^2 + (1.90461809371178 - x204)^2 + (
     2.73211644708798 - x207)^2 + 193.822989231709*b39 <= 194.822989231709;

e100: (9.01196046905024 - x201)^2 + (8.86318587386137 - x204)^2 + (
      2.31734160055559 - x207)^2 + 184.764129697819*b40 <= 185.764129697819;

e101:    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;

e102: (0.557503724665912 - x202)^2 + (6.89699967309171 - x205)^2 + (
      6.29939235997553 - x208)^2 + 139.882673685049*b41 <= 140.882673685049;

e103: (3.39267738551004 - x202)^2 + (1.30003653355443 - x205)^2 + (
      1.26479284348393 - x208)^2 + 182.66284317326*b42 <= 183.66284317326;

e104: (2.47527631721708 - x202)^2 + (3.36800564923427 - x205)^2 + (
      0.112146679619735 - x208)^2 + 174.174595766023*b43 <= 175.174595766023;

e105: (4.23965937962997 - x202)^2 + (5.8354548549987 - x205)^2 + (
      5.21703959205437 - x208)^2 + 84.8069562114188*b44 <= 85.8069562114188;

e106: (1.90787026471349 - x202)^2 + (5.05450580331505 - x205)^2 + (
      7.01165798298937 - x208)^2 + 105.666658166239*b45 <= 106.666658166239;

e107: (9.92968197439359 - x202)^2 + (6.1106118319625 - x205)^2 + (
      4.29775190508136 - x208)^2 + 161.436709465448*b46 <= 162.436709465448;

e108: (4.89615150940308 - x202)^2 + (9.57707230097383 - x205)^2 + (
      9.8722129175456 - x208)^2 + 224.632211642245*b47 <= 225.632211642245;

e109: (5.20264655365834 - x202)^2 + (8.59934712303968 - x205)^2 + (
      4.8989755362197 - x208)^2 + 130.523019355742*b48 <= 131.523019355742;

e110: (8.39650557858195 - x202)^2 + (6.50351197563982 - x205)^2 + (
      8.43657893923448 - x208)^2 + 194.220103883022*b49 <= 195.220103883022;

e111: (7.9208870726961 - x202)^2 + (1.65574071738905 - x205)^2 + (
      8.95324220467027 - x208)^2 + 167.608109542354*b50 <= 168.608109542354;

e112: (2.94356057833666 - x202)^2 + (9.50387320454974 - x205)^2 + (
      4.84216900165818 - x208)^2 + 155.944984455397*b51 <= 156.944984455397;

e113: (5.67716909075113 - x202)^2 + (7.95494912869701 - x205)^2 + (
      1.8188252408716 - x208)^2 + 143.8265902598*b52 <= 144.8265902598;

e114: (3.47632791977689 - x202)^2 + (9.89858036195079 - x205)^2 + (
      2.48936743461692 - x208)^2 + 187.205465302945*b53 <= 188.205465302945;

e115: (7.19323345684947 - x202)^2 + (7.58674836824772 - x205)^2 + (
      4.37799217085148 - x208)^2 + 133.784100223376*b54 <= 134.784100223376;

e116: (3.68794135627274 - x202)^2 + (0.764460460651244 - x205)^2 + (
      8.93159332921224 - x208)^2 + 161.150526627374*b55 <= 162.150526627374;

e117: (6.09046032874766 - x202)^2 + (9.81520631625049 - x205)^2 + (
      8.68956765296896 - x208)^2 + 218.65758210219*b56 <= 219.65758210219;

e118: (0.159435608071623 - x202)^2 + (7.8621329842116 - x205)^2 + (
      4.34112712391974 - x208)^2 + 176.061078593341*b57 <= 177.061078593341;

e119: (9.30382494051085 - x202)^2 + (4.35265929316925 - x205)^2 + (
      9.41314719714275 - x208)^2 + 207.228588657402*b58 <= 208.228588657402;

e120: (7.06044667279098 - x202)^2 + (0.119983022609481 - x205)^2 + (
      5.21799013159819 - x208)^2 + 187.373869370395*b59 <= 188.373869370395;

e121: (1.28474203481519 - x202)^2 + (4.30839167378493 - x205)^2 + (
      5.07455099451718 - x208)^2 + 117.707087109112*b60 <= 118.707087109112;

e122: (3.95046309105854 - x202)^2 + (7.84827364227855 - x205)^2 + (
      3.43912750809001 - x208)^2 + 131.403806640396*b61 <= 132.403806640396;

e123: (8.86004297095793 - x202)^2 + (2.42401020162253 - x205)^2 + (
      6.97541890071488 - x208)^2 + 158.947259740156*b62 <= 159.947259740156;

e124: (9.70133006466227 - x202)^2 + (2.47779846426131 - x205)^2 + (
      9.94553704882512 - x208)^2 + 214.875303499993*b63 <= 215.875303499993;

e125: (1.26080108706515 - x202)^2 + (1.75121375015014 - x205)^2 + (
      9.30622186756532 - x208)^2 + 184.764129697819*b64 <= 185.764129697819;

e126: (8.34389861976271 - x202)^2 + (0.398421020867703 - x205)^2 + (
      9.40468332550345 - x208)^2 + 200.398945392818*b65 <= 201.398945392818;

e127: (0.458699783921438 - x202)^2 + (9.95271170285553 - x205)^2 + (
      9.87184681196407 - x208)^2 + 219.689414889155*b66 <= 220.689414889155;

e128: (1.6117537168338 - x202)^2 + (6.32876332917705 - x205)^2 + (
      0.253813032788369 - x208)^2 + 200.5977121042*b67 <= 201.5977121042;

e129: (3.46648532406983 - x202)^2 + (4.00972468964353 - x205)^2 + (
      3.47940856689719 - x208)^2 + 103.693060602793*b68 <= 104.693060602793;

e130: (9.24571897700111 - x202)^2 + (0.559109940924647 - x205)^2 + (
      4.72143745016658 - x208)^2 + 219.689414889155*b69 <= 220.689414889155;

e131: (1.80747416465249 - x202)^2 + (5.58858387120364 - x205)^2 + (
      8.71378289454331 - x208)^2 + 123.893230383562*b70 <= 124.893230383562;

e132: (1.41393713125356 - x202)^2 + (7.94458518662143 - x205)^2 + (
      1.0952329046171 - x208)^2 + 203.494862154236*b71 <= 204.494862154236;

e133: (7.85751206293337 - x202)^2 + (2.34992401729597 - x205)^2 + (
      5.94661276765362 - x208)^2 + 150.575463512564*b72 <= 151.575463512564;

e134: (5.76996561939867 - x202)^2 + (3.13220421841133 - x205)^2 + (
      7.32413956683818 - x208)^2 + 106.602252199094*b73 <= 107.602252199094;

e135: (5.03675100106706 - x202)^2 + (3.8492948064408 - x205)^2 + (
      8.26500796855089 - x208)^2 + 119.242421179142*b74 <= 120.242421179142;

e136: (9.18783741616912 - x202)^2 + (2.86959611527789 - x205)^2 + (
      9.55868938722983 - x208)^2 + 198.559992859524*b75 <= 199.559992859524;

e137: (9.72963694557713 - x202)^2 + (4.95412136849809 - x205)^2 + (
      7.88965319296968 - x208)^2 + 192.395482422753*b76 <= 193.395482422753;

e138: (4.44990459463169 - x202)^2 + (7.37342841442893 - x205)^2 + (
      5.84940769948895 - x208)^2 + 114.723635769507*b77 <= 115.723635769507;

e139: (0.453871807006551 - x202)^2 + (0.651328833092699 - x205)^2 + (
      0.013848532114219 - x208)^2 + 224.632211642245*b78 <= 225.632211642245;

e140: (7.68086203645083 - x202)^2 + (1.90461809371178 - x205)^2 + (
      2.73211644708798 - x208)^2 + 193.822989231709*b79 <= 194.822989231709;

e141: (9.01196046905024 - x202)^2 + (8.86318587386137 - x205)^2 + (
      2.31734160055559 - x208)^2 + 184.764129697819*b80 <= 185.764129697819;

e142:    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;

e143: (0.557503724665912 - x210)^2 + (6.89699967309171 - x212)^2 + (
      6.29939235997553 - x214)^2 + 139.882673685049*b81 <= 140.882673685049;

e144: (3.39267738551004 - x210)^2 + (1.30003653355443 - x212)^2 + (
      1.26479284348393 - x214)^2 + 182.66284317326*b82 <= 183.66284317326;

e145: (2.47527631721708 - x210)^2 + (3.36800564923427 - x212)^2 + (
      0.112146679619735 - x214)^2 + 174.174595766023*b83 <= 175.174595766023;

e146: (4.23965937962997 - x210)^2 + (5.8354548549987 - x212)^2 + (
      5.21703959205437 - x214)^2 + 84.8069562114188*b84 <= 85.8069562114188;

e147: (1.90787026471349 - x210)^2 + (5.05450580331505 - x212)^2 + (
      7.01165798298937 - x214)^2 + 105.666658166239*b85 <= 106.666658166239;

e148: (9.92968197439359 - x210)^2 + (6.1106118319625 - x212)^2 + (
      4.29775190508136 - x214)^2 + 161.436709465448*b86 <= 162.436709465448;

e149: (4.89615150940308 - x210)^2 + (9.57707230097383 - x212)^2 + (
      9.8722129175456 - x214)^2 + 224.632211642245*b87 <= 225.632211642245;

e150: (5.20264655365834 - x210)^2 + (8.59934712303968 - x212)^2 + (
      4.8989755362197 - x214)^2 + 130.523019355742*b88 <= 131.523019355742;

e151: (8.39650557858195 - x210)^2 + (6.50351197563982 - x212)^2 + (
      8.43657893923448 - x214)^2 + 194.220103883022*b89 <= 195.220103883022;

e152: (7.9208870726961 - x210)^2 + (1.65574071738905 - x212)^2 + (
      8.95324220467027 - x214)^2 + 167.608109542354*b90 <= 168.608109542354;

e153: (2.94356057833666 - x210)^2 + (9.50387320454974 - x212)^2 + (
      4.84216900165818 - x214)^2 + 155.944984455397*b91 <= 156.944984455397;

e154: (5.67716909075113 - x210)^2 + (7.95494912869701 - x212)^2 + (
      1.8188252408716 - x214)^2 + 143.8265902598*b92 <= 144.8265902598;

e155: (3.47632791977689 - x210)^2 + (9.89858036195079 - x212)^2 + (
      2.48936743461692 - x214)^2 + 187.205465302945*b93 <= 188.205465302945;

e156: (7.19323345684947 - x210)^2 + (7.58674836824772 - x212)^2 + (
      4.37799217085148 - x214)^2 + 133.784100223376*b94 <= 134.784100223376;

e157: (3.68794135627274 - x210)^2 + (0.764460460651244 - x212)^2 + (
      8.93159332921224 - x214)^2 + 161.150526627374*b95 <= 162.150526627374;

e158: (6.09046032874766 - x210)^2 + (9.81520631625049 - x212)^2 + (
      8.68956765296896 - x214)^2 + 218.65758210219*b96 <= 219.65758210219;

e159: (0.159435608071623 - x210)^2 + (7.8621329842116 - x212)^2 + (
      4.34112712391974 - x214)^2 + 176.061078593341*b97 <= 177.061078593341;

e160: (9.30382494051085 - x210)^2 + (4.35265929316925 - x212)^2 + (
      9.41314719714275 - x214)^2 + 207.228588657402*b98 <= 208.228588657402;

e161: (7.06044667279098 - x210)^2 + (0.119983022609481 - x212)^2 + (
      5.21799013159819 - x214)^2 + 187.373869370395*b99 <= 188.373869370395;

e162: (1.28474203481519 - x210)^2 + (4.30839167378493 - x212)^2 + (
      5.07455099451718 - x214)^2 + 117.707087109112*b100 <= 118.707087109112;

e163: (3.95046309105854 - x210)^2 + (7.84827364227855 - x212)^2 + (
      3.43912750809001 - x214)^2 + 131.403806640396*b101 <= 132.403806640396;

e164: (8.86004297095793 - x210)^2 + (2.42401020162253 - x212)^2 + (
      6.97541890071488 - x214)^2 + 158.947259740156*b102 <= 159.947259740156;

e165: (9.70133006466227 - x210)^2 + (2.47779846426131 - x212)^2 + (
      9.94553704882512 - x214)^2 + 214.875303499993*b103 <= 215.875303499993;

e166: (1.26080108706515 - x210)^2 + (1.75121375015014 - x212)^2 + (
      9.30622186756532 - x214)^2 + 184.764129697819*b104 <= 185.764129697819;

e167: (8.34389861976271 - x210)^2 + (0.398421020867703 - x212)^2 + (
      9.40468332550345 - x214)^2 + 200.398945392818*b105 <= 201.398945392818;

e168: (0.458699783921438 - x210)^2 + (9.95271170285553 - x212)^2 + (
      9.87184681196407 - x214)^2 + 219.689414889155*b106 <= 220.689414889155;

e169: (1.6117537168338 - x210)^2 + (6.32876332917705 - x212)^2 + (
      0.253813032788369 - x214)^2 + 200.5977121042*b107 <= 201.5977121042;

e170: (3.46648532406983 - x210)^2 + (4.00972468964353 - x212)^2 + (
      3.47940856689719 - x214)^2 + 103.693060602793*b108 <= 104.693060602793;

e171: (9.24571897700111 - x210)^2 + (0.559109940924647 - x212)^2 + (
      4.72143745016658 - x214)^2 + 219.689414889155*b109 <= 220.689414889155;

e172: (1.80747416465249 - x210)^2 + (5.58858387120364 - x212)^2 + (
      8.71378289454331 - x214)^2 + 123.893230383562*b110 <= 124.893230383562;

e173: (1.41393713125356 - x210)^2 + (7.94458518662143 - x212)^2 + (
      1.0952329046171 - x214)^2 + 203.494862154236*b111 <= 204.494862154236;

e174: (7.85751206293337 - x210)^2 + (2.34992401729597 - x212)^2 + (
      5.94661276765362 - x214)^2 + 150.575463512564*b112 <= 151.575463512564;

e175: (5.76996561939867 - x210)^2 + (3.13220421841133 - x212)^2 + (
      7.32413956683818 - x214)^2 + 106.602252199094*b113 <= 107.602252199094;

e176: (5.03675100106706 - x210)^2 + (3.8492948064408 - x212)^2 + (
      8.26500796855089 - x214)^2 + 119.242421179142*b114 <= 120.242421179142;

e177: (9.18783741616912 - x210)^2 + (2.86959611527789 - x212)^2 + (
      9.55868938722983 - x214)^2 + 198.559992859524*b115 <= 199.559992859524;

e178: (9.72963694557713 - x210)^2 + (4.95412136849809 - x212)^2 + (
      7.88965319296968 - x214)^2 + 192.395482422753*b116 <= 193.395482422753;

e179: (4.44990459463169 - x210)^2 + (7.37342841442893 - x212)^2 + (
      5.84940769948895 - x214)^2 + 114.723635769507*b117 <= 115.723635769507;

e180: (0.453871807006551 - x210)^2 + (0.651328833092699 - x212)^2 + (
      0.013848532114219 - x214)^2 + 224.632211642245*b118 <= 225.632211642245;

e181: (7.68086203645083 - x210)^2 + (1.90461809371178 - x212)^2 + (
      2.73211644708798 - x214)^2 + 193.822989231709*b119 <= 194.822989231709;

e182: (9.01196046905024 - x210)^2 + (8.86318587386137 - x212)^2 + (
      2.31734160055559 - x214)^2 + 184.764129697819*b120 <= 185.764129697819;

e183:    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;

e184: (0.557503724665912 - x216)^2 + (6.89699967309171 - x218)^2 + (
      6.29939235997553 - x220)^2 + 139.882673685049*b121 <= 140.882673685049;

e185: (3.39267738551004 - x216)^2 + (1.30003653355443 - x218)^2 + (
      1.26479284348393 - x220)^2 + 182.66284317326*b122 <= 183.66284317326;

e186: (2.47527631721708 - x216)^2 + (3.36800564923427 - x218)^2 + (
      0.112146679619735 - x220)^2 + 174.174595766023*b123 <= 175.174595766023;

e187: (4.23965937962997 - x216)^2 + (5.8354548549987 - x218)^2 + (
      5.21703959205437 - x220)^2 + 84.8069562114188*b124 <= 85.8069562114188;

e188: (1.90787026471349 - x216)^2 + (5.05450580331505 - x218)^2 + (
      7.01165798298937 - x220)^2 + 105.666658166239*b125 <= 106.666658166239;

e189: (9.92968197439359 - x216)^2 + (6.1106118319625 - x218)^2 + (
      4.29775190508136 - x220)^2 + 161.436709465448*b126 <= 162.436709465448;

e190: (4.89615150940308 - x216)^2 + (9.57707230097383 - x218)^2 + (
      9.8722129175456 - x220)^2 + 224.632211642245*b127 <= 225.632211642245;

e191: (5.20264655365834 - x216)^2 + (8.59934712303968 - x218)^2 + (
      4.8989755362197 - x220)^2 + 130.523019355742*b128 <= 131.523019355742;

e192: (8.39650557858195 - x216)^2 + (6.50351197563982 - x218)^2 + (
      8.43657893923448 - x220)^2 + 194.220103883022*b129 <= 195.220103883022;

e193: (7.9208870726961 - x216)^2 + (1.65574071738905 - x218)^2 + (
      8.95324220467027 - x220)^2 + 167.608109542354*b130 <= 168.608109542354;

e194: (2.94356057833666 - x216)^2 + (9.50387320454974 - x218)^2 + (
      4.84216900165818 - x220)^2 + 155.944984455397*b131 <= 156.944984455397;

e195: (5.67716909075113 - x216)^2 + (7.95494912869701 - x218)^2 + (
      1.8188252408716 - x220)^2 + 143.8265902598*b132 <= 144.8265902598;

e196: (3.47632791977689 - x216)^2 + (9.89858036195079 - x218)^2 + (
      2.48936743461692 - x220)^2 + 187.205465302945*b133 <= 188.205465302945;

e197: (7.19323345684947 - x216)^2 + (7.58674836824772 - x218)^2 + (
      4.37799217085148 - x220)^2 + 133.784100223376*b134 <= 134.784100223376;

e198: (3.68794135627274 - x216)^2 + (0.764460460651244 - x218)^2 + (
      8.93159332921224 - x220)^2 + 161.150526627374*b135 <= 162.150526627374;

e199: (6.09046032874766 - x216)^2 + (9.81520631625049 - x218)^2 + (
      8.68956765296896 - x220)^2 + 218.65758210219*b136 <= 219.65758210219;

e200: (0.159435608071623 - x216)^2 + (7.8621329842116 - x218)^2 + (
      4.34112712391974 - x220)^2 + 176.061078593341*b137 <= 177.061078593341;

e201: (9.30382494051085 - x216)^2 + (4.35265929316925 - x218)^2 + (
      9.41314719714275 - x220)^2 + 207.228588657402*b138 <= 208.228588657402;

e202: (7.06044667279098 - x216)^2 + (0.119983022609481 - x218)^2 + (
      5.21799013159819 - x220)^2 + 187.373869370395*b139 <= 188.373869370395;

e203: (1.28474203481519 - x216)^2 + (4.30839167378493 - x218)^2 + (
      5.07455099451718 - x220)^2 + 117.707087109112*b140 <= 118.707087109112;

e204: (3.95046309105854 - x216)^2 + (7.84827364227855 - x218)^2 + (
      3.43912750809001 - x220)^2 + 131.403806640396*b141 <= 132.403806640396;

e205: (8.86004297095793 - x216)^2 + (2.42401020162253 - x218)^2 + (
      6.97541890071488 - x220)^2 + 158.947259740156*b142 <= 159.947259740156;

e206: (9.70133006466227 - x216)^2 + (2.47779846426131 - x218)^2 + (
      9.94553704882512 - x220)^2 + 214.875303499993*b143 <= 215.875303499993;

e207: (1.26080108706515 - x216)^2 + (1.75121375015014 - x218)^2 + (
      9.30622186756532 - x220)^2 + 184.764129697819*b144 <= 185.764129697819;

e208: (8.34389861976271 - x216)^2 + (0.398421020867703 - x218)^2 + (
      9.40468332550345 - x220)^2 + 200.398945392818*b145 <= 201.398945392818;

e209: (0.458699783921438 - x216)^2 + (9.95271170285553 - x218)^2 + (
      9.87184681196407 - x220)^2 + 219.689414889155*b146 <= 220.689414889155;

e210: (1.6117537168338 - x216)^2 + (6.32876332917705 - x218)^2 + (
      0.253813032788369 - x220)^2 + 200.5977121042*b147 <= 201.5977121042;

e211: (3.46648532406983 - x216)^2 + (4.00972468964353 - x218)^2 + (
      3.47940856689719 - x220)^2 + 103.693060602793*b148 <= 104.693060602793;

e212: (9.24571897700111 - x216)^2 + (0.559109940924647 - x218)^2 + (
      4.72143745016658 - x220)^2 + 219.689414889155*b149 <= 220.689414889155;

e213: (1.80747416465249 - x216)^2 + (5.58858387120364 - x218)^2 + (
      8.71378289454331 - x220)^2 + 123.893230383562*b150 <= 124.893230383562;

e214: (1.41393713125356 - x216)^2 + (7.94458518662143 - x218)^2 + (
      1.0952329046171 - x220)^2 + 203.494862154236*b151 <= 204.494862154236;

e215: (7.85751206293337 - x216)^2 + (2.34992401729597 - x218)^2 + (
      5.94661276765362 - x220)^2 + 150.575463512564*b152 <= 151.575463512564;

e216: (5.76996561939867 - x216)^2 + (3.13220421841133 - x218)^2 + (
      7.32413956683818 - x220)^2 + 106.602252199094*b153 <= 107.602252199094;

e217: (5.03675100106706 - x216)^2 + (3.8492948064408 - x218)^2 + (
      8.26500796855089 - x220)^2 + 119.242421179142*b154 <= 120.242421179142;

e218: (9.18783741616912 - x216)^2 + (2.86959611527789 - x218)^2 + (
      9.55868938722983 - x220)^2 + 198.559992859524*b155 <= 199.559992859524;

e219: (9.72963694557713 - x216)^2 + (4.95412136849809 - x218)^2 + (
      7.88965319296968 - x220)^2 + 192.395482422753*b156 <= 193.395482422753;

e220: (4.44990459463169 - x216)^2 + (7.37342841442893 - x218)^2 + (
      5.84940769948895 - x220)^2 + 114.723635769507*b157 <= 115.723635769507;

e221: (0.453871807006551 - x216)^2 + (0.651328833092699 - x218)^2 + (
      0.013848532114219 - x220)^2 + 224.632211642245*b158 <= 225.632211642245;

e222: (7.68086203645083 - x216)^2 + (1.90461809371178 - x218)^2 + (
      2.73211644708798 - x220)^2 + 193.822989231709*b159 <= 194.822989231709;

e223: (9.01196046905024 - x216)^2 + (8.86318587386137 - x218)^2 + (
      2.31734160055559 - x220)^2 + 184.764129697819*b160 <= 185.764129697819;

e224:    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;

e225: (0.557503724665912 - x222)^2 + (6.89699967309171 - x224)^2 + (
      6.29939235997553 - x226)^2 + 139.882673685049*b161 <= 140.882673685049;

e226: (3.39267738551004 - x222)^2 + (1.30003653355443 - x224)^2 + (
      1.26479284348393 - x226)^2 + 182.66284317326*b162 <= 183.66284317326;

e227: (2.47527631721708 - x222)^2 + (3.36800564923427 - x224)^2 + (
      0.112146679619735 - x226)^2 + 174.174595766023*b163 <= 175.174595766023;

e228: (4.23965937962997 - x222)^2 + (5.8354548549987 - x224)^2 + (
      5.21703959205437 - x226)^2 + 84.8069562114188*b164 <= 85.8069562114188;

e229: (1.90787026471349 - x222)^2 + (5.05450580331505 - x224)^2 + (
      7.01165798298937 - x226)^2 + 105.666658166239*b165 <= 106.666658166239;

e230: (9.92968197439359 - x222)^2 + (6.1106118319625 - x224)^2 + (
      4.29775190508136 - x226)^2 + 161.436709465448*b166 <= 162.436709465448;

e231: (4.89615150940308 - x222)^2 + (9.57707230097383 - x224)^2 + (
      9.8722129175456 - x226)^2 + 224.632211642245*b167 <= 225.632211642245;

e232: (5.20264655365834 - x222)^2 + (8.59934712303968 - x224)^2 + (
      4.8989755362197 - x226)^2 + 130.523019355742*b168 <= 131.523019355742;

e233: (8.39650557858195 - x222)^2 + (6.50351197563982 - x224)^2 + (
      8.43657893923448 - x226)^2 + 194.220103883022*b169 <= 195.220103883022;

e234: (7.9208870726961 - x222)^2 + (1.65574071738905 - x224)^2 + (
      8.95324220467027 - x226)^2 + 167.608109542354*b170 <= 168.608109542354;

e235: (2.94356057833666 - x222)^2 + (9.50387320454974 - x224)^2 + (
      4.84216900165818 - x226)^2 + 155.944984455397*b171 <= 156.944984455397;

e236: (5.67716909075113 - x222)^2 + (7.95494912869701 - x224)^2 + (
      1.8188252408716 - x226)^2 + 143.8265902598*b172 <= 144.8265902598;

e237: (3.47632791977689 - x222)^2 + (9.89858036195079 - x224)^2 + (
      2.48936743461692 - x226)^2 + 187.205465302945*b173 <= 188.205465302945;

e238: (7.19323345684947 - x222)^2 + (7.58674836824772 - x224)^2 + (
      4.37799217085148 - x226)^2 + 133.784100223376*b174 <= 134.784100223376;

e239: (3.68794135627274 - x222)^2 + (0.764460460651244 - x224)^2 + (
      8.93159332921224 - x226)^2 + 161.150526627374*b175 <= 162.150526627374;

e240: (6.09046032874766 - x222)^2 + (9.81520631625049 - x224)^2 + (
      8.68956765296896 - x226)^2 + 218.65758210219*b176 <= 219.65758210219;

e241: (0.159435608071623 - x222)^2 + (7.8621329842116 - x224)^2 + (
      4.34112712391974 - x226)^2 + 176.061078593341*b177 <= 177.061078593341;

e242: (9.30382494051085 - x222)^2 + (4.35265929316925 - x224)^2 + (
      9.41314719714275 - x226)^2 + 207.228588657402*b178 <= 208.228588657402;

e243: (7.06044667279098 - x222)^2 + (0.119983022609481 - x224)^2 + (
      5.21799013159819 - x226)^2 + 187.373869370395*b179 <= 188.373869370395;

e244: (1.28474203481519 - x222)^2 + (4.30839167378493 - x224)^2 + (
      5.07455099451718 - x226)^2 + 117.707087109112*b180 <= 118.707087109112;

e245: (3.95046309105854 - x222)^2 + (7.84827364227855 - x224)^2 + (
      3.43912750809001 - x226)^2 + 131.403806640396*b181 <= 132.403806640396;

e246: (8.86004297095793 - x222)^2 + (2.42401020162253 - x224)^2 + (
      6.97541890071488 - x226)^2 + 158.947259740156*b182 <= 159.947259740156;

e247: (9.70133006466227 - x222)^2 + (2.47779846426131 - x224)^2 + (
      9.94553704882512 - x226)^2 + 214.875303499993*b183 <= 215.875303499993;

e248: (1.26080108706515 - x222)^2 + (1.75121375015014 - x224)^2 + (
      9.30622186756532 - x226)^2 + 184.764129697819*b184 <= 185.764129697819;

e249: (8.34389861976271 - x222)^2 + (0.398421020867703 - x224)^2 + (
      9.40468332550345 - x226)^2 + 200.398945392818*b185 <= 201.398945392818;

e250: (0.458699783921438 - x222)^2 + (9.95271170285553 - x224)^2 + (
      9.87184681196407 - x226)^2 + 219.689414889155*b186 <= 220.689414889155;

e251: (1.6117537168338 - x222)^2 + (6.32876332917705 - x224)^2 + (
      0.253813032788369 - x226)^2 + 200.5977121042*b187 <= 201.5977121042;

e252: (3.46648532406983 - x222)^2 + (4.00972468964353 - x224)^2 + (
      3.47940856689719 - x226)^2 + 103.693060602793*b188 <= 104.693060602793;

e253: (9.24571897700111 - x222)^2 + (0.559109940924647 - x224)^2 + (
      4.72143745016658 - x226)^2 + 219.689414889155*b189 <= 220.689414889155;

e254: (1.80747416465249 - x222)^2 + (5.58858387120364 - x224)^2 + (
      8.71378289454331 - x226)^2 + 123.893230383562*b190 <= 124.893230383562;

e255: (1.41393713125356 - x222)^2 + (7.94458518662143 - x224)^2 + (
      1.0952329046171 - x226)^2 + 203.494862154236*b191 <= 204.494862154236;

e256: (7.85751206293337 - x222)^2 + (2.34992401729597 - x224)^2 + (
      5.94661276765362 - x226)^2 + 150.575463512564*b192 <= 151.575463512564;

e257: (5.76996561939867 - x222)^2 + (3.13220421841133 - x224)^2 + (
      7.32413956683818 - x226)^2 + 106.602252199094*b193 <= 107.602252199094;

e258: (5.03675100106706 - x222)^2 + (3.8492948064408 - x224)^2 + (
      8.26500796855089 - x226)^2 + 119.242421179142*b194 <= 120.242421179142;

e259: (9.18783741616912 - x222)^2 + (2.86959611527789 - x224)^2 + (
      9.55868938722983 - x226)^2 + 198.559992859524*b195 <= 199.559992859524;

e260: (9.72963694557713 - x222)^2 + (4.95412136849809 - x224)^2 + (
      7.88965319296968 - x226)^2 + 192.395482422753*b196 <= 193.395482422753;

e261: (4.44990459463169 - x222)^2 + (7.37342841442893 - x224)^2 + (
      5.84940769948895 - x226)^2 + 114.723635769507*b197 <= 115.723635769507;

e262: (0.453871807006551 - x222)^2 + (0.651328833092699 - x224)^2 + (
      0.013848532114219 - x226)^2 + 224.632211642245*b198 <= 225.632211642245;

e263: (7.68086203645083 - x222)^2 + (1.90461809371178 - x224)^2 + (
      2.73211644708798 - x226)^2 + 193.822989231709*b199 <= 194.822989231709;

e264: (9.01196046905024 - x222)^2 + (8.86318587386137 - x224)^2 + (
      2.31734160055559 - x226)^2 + 184.764129697819*b200 <= 185.764129697819;

e265:    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;

e266:    b1 + b41 + b81 + b121 + b161 <= 1;

e267:    b2 + b42 + b82 + b122 + b162 <= 1;

e268:    b3 + b43 + b83 + b123 + b163 <= 1;

e269:    b4 + b44 + b84 + b124 + b164 <= 1;

e270:    b5 + b45 + b85 + b125 + b165 <= 1;

e271:    b6 + b46 + b86 + b126 + b166 <= 1;

e272:    b7 + b47 + b87 + b127 + b167 <= 1;

e273:    b8 + b48 + b88 + b128 + b168 <= 1;

e274:    b9 + b49 + b89 + b129 + b169 <= 1;

e275:    b10 + b50 + b90 + b130 + b170 <= 1;

e276:    b11 + b51 + b91 + b131 + b171 <= 1;

e277:    b12 + b52 + b92 + b132 + b172 <= 1;

e278:    b13 + b53 + b93 + b133 + b173 <= 1;

e279:    b14 + b54 + b94 + b134 + b174 <= 1;

e280:    b15 + b55 + b95 + b135 + b175 <= 1;

e281:    b16 + b56 + b96 + b136 + b176 <= 1;

e282:    b17 + b57 + b97 + b137 + b177 <= 1;

e283:    b18 + b58 + b98 + b138 + b178 <= 1;

e284:    b19 + b59 + b99 + b139 + b179 <= 1;

e285:    b20 + b60 + b100 + b140 + b180 <= 1;

e286:    b21 + b61 + b101 + b141 + b181 <= 1;

e287:    b22 + b62 + b102 + b142 + b182 <= 1;

e288:    b23 + b63 + b103 + b143 + b183 <= 1;

e289:    b24 + b64 + b104 + b144 + b184 <= 1;

e290:    b25 + b65 + b105 + b145 + b185 <= 1;

e291:    b26 + b66 + b106 + b146 + b186 <= 1;

e292:    b27 + b67 + b107 + b147 + b187 <= 1;

e293:    b28 + b68 + b108 + b148 + b188 <= 1;

e294:    b29 + b69 + b109 + b149 + b189 <= 1;

e295:    b30 + b70 + b110 + b150 + b190 <= 1;

e296:    b31 + b71 + b111 + b151 + b191 <= 1;

e297:    b32 + b72 + b112 + b152 + b192 <= 1;

e298:    b33 + b73 + b113 + b153 + b193 <= 1;

e299:    b34 + b74 + b114 + b154 + b194 <= 1;

e300:    b35 + b75 + b115 + b155 + b195 <= 1;

e301:    b36 + b76 + b116 + b156 + b196 <= 1;

e302:    b37 + b77 + b117 + b157 + b197 <= 1;

e303:    b38 + b78 + b118 + b158 + b198 <= 1;

e304:    b39 + b79 + b119 + b159 + b199 <= 1;

e305:    b40 + b80 + b120 + b160 + b200 <= 1;

e306:    x201 - x202 <= 0;

e307:    x202 - x210 <= 0;

e308:    x210 - x216 <= 0;

e309:    x216 - x222 <= 0;