\ Equation counts \ Total E G L N X C B \ 529 10 0 519 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 410 110 300 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2148 1548 600 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + 0 b184 + 0 b185 + 0 b186 + 0 b187 + 0 b188 + 0 b189 + 0 b190 + 0 b191 + 0 b192 + 0 b193 + 0 b194 + 0 b195 + 0 b196 + 0 b197 + 0 b198 + 0 b199 + 0 b200 + 0 b201 + 0 b202 + 0 b203 + 0 b204 + 0 b205 + 0 b206 + 0 b207 + 0 b208 + 0 b209 + 0 b210 + 0 b211 + 0 b212 + 0 b213 + 0 b214 + 0 b215 + 0 b216 + 0 b217 + 0 b218 + 0 b219 + 0 b220 + 0 b221 + 0 b222 + 0 b223 + 0 b224 + 0 b225 + 0 b226 + 0 b227 + 0 b228 + 0 b229 + 0 b230 + 0 b231 + 0 b232 + 0 b233 + 0 b234 + 0 b235 + 0 b236 + 0 b237 + 0 b238 + 0 b239 + 0 b240 + 0 b241 + 0 b242 + 0 b243 + 0 b244 + 0 b245 + 0 b246 + 0 b247 + 0 b248 + 0 b249 + 0 b250 + 0 b251 + 0 b252 + 0 b253 + 0 b254 + 0 b255 + 0 b256 + 0 b257 + 0 b258 + 0 b259 + 0 b260 + 0 b261 + 0 b262 + 0 b263 + 0 b264 + 0 b265 + 0 b266 + 0 b267 + 0 b268 + 0 b269 + 0 b270 + 0 b271 + 0 b272 + 0 b273 + 0 b274 + 0 b275 + 0 b276 + 0 b277 + 0 b278 + 0 b279 + 0 b280 + 0 b281 + 0 b282 + 0 b283 + 0 b284 + 0 b285 + 0 b286 + 0 b287 + 0 b288 + 0 b289 + 0 b290 + 0 b291 + 0 b292 + 0 b293 + 0 b294 + 0 b295 + 0 b296 + 0 b297 + 0 b298 + 0 b299 + 0 b300 + 0 x301 + 0 x302 + x303 + 0 x304 + 0 x305 + x306 + 0 x307 + x308 + 0 x309 + x310 + 0 x311 + x312 + 0 x313 + x314 + 0 x315 + x316 + 0 x317 + x318 + 0 x319 + x320 + 0 x321 + x322 + 0 x323 + x324 + 0 x325 + x326 + 0 x327 + x328 + 0 x329 + x330 + 0 x331 + x332 + 0 x333 + x334 + 0 x335 + x336 + 0 x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 Subject To e1: x301 - x302 - x303 <= 0 e2: - x301 + x302 - x303 <= 0 e3: x304 - x305 - x306 <= 0 e4: - x304 + x305 - x306 <= 0 e5: x301 - x307 - x308 <= 0 e6: - x301 + x307 - x308 <= 0 e7: x304 - x309 - x310 <= 0 e8: - x304 + x309 - x310 <= 0 e9: x301 - x311 - x312 <= 0 e10: - x301 + x311 - x312 <= 0 e11: x304 - x313 - x314 <= 0 e12: - x304 + x313 - x314 <= 0 e13: x301 - x315 - x316 <= 0 e14: - x301 + x315 - x316 <= 0 e15: x304 - x317 - x318 <= 0 e16: - x304 + x317 - x318 <= 0 e17: x301 - x319 - x320 <= 0 e18: - x301 + x319 - x320 <= 0 e19: x304 - x321 - x322 <= 0 e20: - x304 + x321 - x322 <= 0 e21: x301 - x323 - x324 <= 0 e22: - x301 + x323 - x324 <= 0 e23: x304 - x325 - x326 <= 0 e24: - x304 + x325 - x326 <= 0 e25: x301 - x327 - x328 <= 0 e26: - x301 + x327 - x328 <= 0 e27: x304 - x329 - x330 <= 0 e28: - x304 + x329 - x330 <= 0 e29: x301 - x331 - x332 <= 0 e30: - x301 + x331 - x332 <= 0 e31: x304 - x333 - x334 <= 0 e32: - x304 + x333 - x334 <= 0 e33: x301 - x335 - x336 <= 0 e34: - x301 + x335 - x336 <= 0 e35: x304 - x337 - x338 <= 0 e36: - x304 + x337 - x338 <= 0 e37: x302 - x307 - x339 <= 0 e38: - x302 + x307 - x339 <= 0 e39: x305 - x309 - x340 <= 0 e40: - x305 + x309 - x340 <= 0 e41: x302 - x311 - x341 <= 0 e42: - x302 + x311 - x341 <= 0 e43: x305 - x313 - x342 <= 0 e44: - x305 + x313 - x342 <= 0 e45: x302 - x315 - x343 <= 0 e46: - x302 + x315 - x343 <= 0 e47: x305 - x317 - x344 <= 0 e48: - x305 + x317 - x344 <= 0 e49: x302 - x319 - x345 <= 0 e50: - x302 + x319 - x345 <= 0 e51: x305 - x321 - x346 <= 0 e52: - x305 + x321 - x346 <= 0 e53: x302 - x323 - x347 <= 0 e54: - x302 + x323 - x347 <= 0 e55: x305 - x325 - x348 <= 0 e56: - x305 + x325 - x348 <= 0 e57: x302 - x327 - x349 <= 0 e58: - x302 + x327 - x349 <= 0 e59: x305 - x329 - x350 <= 0 e60: - x305 + x329 - x350 <= 0 e61: x302 - x331 - x351 <= 0 e62: - x302 + x331 - x351 <= 0 e63: x305 - x333 - x352 <= 0 e64: - x305 + x333 - x352 <= 0 e65: x302 - x335 - x353 <= 0 e66: - x302 + x335 - x353 <= 0 e67: x305 - x337 - x354 <= 0 e68: - x305 + x337 - x354 <= 0 e69: x307 - x311 - x355 <= 0 e70: - x307 + x311 - x355 <= 0 e71: x309 - x313 - x356 <= 0 e72: - x309 + x313 - x356 <= 0 e73: x307 - x315 - x357 <= 0 e74: - x307 + x315 - x357 <= 0 e75: x309 - x317 - x358 <= 0 e76: - x309 + x317 - x358 <= 0 e77: x307 - x319 - x359 <= 0 e78: - x307 + x319 - x359 <= 0 e79: x309 - x321 - x360 <= 0 e80: - x309 + x321 - x360 <= 0 e81: x307 - x323 - x361 <= 0 e82: - x307 + x323 - x361 <= 0 e83: x309 - x325 - x362 <= 0 e84: - x309 + x325 - x362 <= 0 e85: x307 - x327 - x363 <= 0 e86: - x307 + x327 - x363 <= 0 e87: x309 - x329 - x364 <= 0 e88: - x309 + x329 - x364 <= 0 e89: x307 - x331 - x365 <= 0 e90: - x307 + x331 - x365 <= 0 e91: x309 - x333 - x366 <= 0 e92: - x309 + x333 - x366 <= 0 e93: x307 - x335 - x367 <= 0 e94: - x307 + x335 - x367 <= 0 e95: x309 - x337 - x368 <= 0 e96: - x309 + x337 - x368 <= 0 e97: x311 - x315 - x369 <= 0 e98: - x311 + x315 - x369 <= 0 e99: x313 - x317 - x370 <= 0 e100: - x313 + x317 - x370 <= 0 e101: x311 - x319 - x371 <= 0 e102: - x311 + x319 - x371 <= 0 e103: x313 - x321 - x372 <= 0 e104: - x313 + x321 - x372 <= 0 e105: x311 - x323 - x373 <= 0 e106: - x311 + x323 - x373 <= 0 e107: x313 - x325 - x374 <= 0 e108: - x313 + x325 - x374 <= 0 e109: x311 - x327 - x375 <= 0 e110: - x311 + x327 - x375 <= 0 e111: x313 - x329 - x376 <= 0 e112: - x313 + x329 - x376 <= 0 e113: x311 - x331 - x377 <= 0 e114: - x311 + x331 - x377 <= 0 e115: x313 - x333 - x378 <= 0 e116: - x313 + x333 - x378 <= 0 e117: x311 - x335 - x379 <= 0 e118: - x311 + x335 - x379 <= 0 e119: x313 - x337 - x380 <= 0 e120: - x313 + x337 - x380 <= 0 e121: x315 - x319 - x381 <= 0 e122: - x315 + x319 - x381 <= 0 e123: x317 - x321 - x382 <= 0 e124: - x317 + x321 - x382 <= 0 e125: x315 - x323 - x383 <= 0 e126: - x315 + x323 - x383 <= 0 e127: x317 - x325 - x384 <= 0 e128: - x317 + x325 - x384 <= 0 e129: x315 - x327 - x385 <= 0 e130: - x315 + x327 - x385 <= 0 e131: x317 - x329 - x386 <= 0 e132: - x317 + x329 - x386 <= 0 e133: x315 - x331 - x387 <= 0 e134: - x315 + x331 - x387 <= 0 e135: x317 - x333 - x388 <= 0 e136: - x317 + x333 - x388 <= 0 e137: x315 - x335 - x389 <= 0 e138: - x315 + x335 - x389 <= 0 e139: x317 - x337 - x390 <= 0 e140: - x317 + x337 - x390 <= 0 e141: x319 - x323 - x391 <= 0 e142: - x319 + x323 - x391 <= 0 e143: x321 - x325 - x392 <= 0 e144: - x321 + x325 - x392 <= 0 e145: x319 - x327 - x393 <= 0 e146: - x319 + x327 - x393 <= 0 e147: x321 - x329 - x394 <= 0 e148: - x321 + x329 - x394 <= 0 e149: x319 - x331 - x395 <= 0 e150: - x319 + x331 - x395 <= 0 e151: x321 - x333 - x396 <= 0 e152: - x321 + x333 - x396 <= 0 e153: x319 - x335 - x397 <= 0 e154: - x319 + x335 - x397 <= 0 e155: x321 - x337 - x398 <= 0 e156: - x321 + x337 - x398 <= 0 e157: x323 - x327 - x399 <= 0 e158: - x323 + x327 - x399 <= 0 e159: x325 - x329 - x400 <= 0 e160: - x325 + x329 - x400 <= 0 e161: x323 - x331 - x401 <= 0 e162: - x323 + x331 - x401 <= 0 e163: x325 - x333 - x402 <= 0 e164: - x325 + x333 - x402 <= 0 e165: x323 - x335 - x403 <= 0 e166: - x323 + x335 - x403 <= 0 e167: x325 - x337 - x404 <= 0 e168: - x325 + x337 - x404 <= 0 e169: x327 - x331 - x405 <= 0 e170: - x327 + x331 - x405 <= 0 e171: x329 - x333 - x406 <= 0 e172: - x329 + x333 - x406 <= 0 e173: x327 - x335 - x407 <= 0 e174: - x327 + x335 - x407 <= 0 e175: x329 - x337 - x408 <= 0 e176: - x329 + x337 - x408 <= 0 e177: x331 - x335 - x409 <= 0 e178: - x331 + x335 - x409 <= 0 e179: x333 - x337 - x410 <= 0 e180: - x333 + x337 - x410 <= 0 e181: 67.42707737338 b1 - 5.69493890368392 x301 - 13.49559703339536 x304 + [ x301^2 + x304^2 ] <= 14.786210272259439 e182: 100.27903396698 b2 - 13.26522267679194 x301 - 15.17861629815968 x304 + [ x301^2 + x304^2 ] <= -.31009738092845396 e183: 62.225162895805 b3 - 5.56016703128464 x301 - 11.24179025882126 x304 + [ x301^2 + x304^2 ] <= 23.901836486026696 e184: 54.3423498257743 b4 - 6.7269080959943 x301 - 11.2338742068927 x304 + [ x301^2 + x304^2 ] <= 12.479544268713603 e185: 153.854418335954 b5 - 2.93148527182316 x301 - .28499286143284 x304 + [ x301^2 + x304^2 ] <= 152.68571162845805 e186: 115.729330039997 b6 - 13.19649901987584 x301 - 3.82876504698982 x304 + [ x301^2 + x304^2 ] <= 69.52757299833826 e187: 92.1830734090453 b7 - 4.0503104652665 x301 - 7.24283462607738 x304 + [ x301^2 + x304^2 ] <= 75.96715633760711 e188: 153.854418335954 b8 - 17.94304399639932 x301 - 17.5626769021003 x304 + [ x301^2 + x304^2 ] <= -2.7456936201182884 e189: 106.113667406259 b9 - 3.74970847203604 x301 - 17.92549324506922 x304 + [ x301^2 + x304^2 ] <= 23.267761980188723 e190: 132.789518443852 b10 - 15.04051349932824 x301 - 17.60537316528494 x304 + [ x301^2 + x304^2 ] <= -.252034209250553 e191: 57.7951750598727 b11 - 7.71408228471664 x301 - 12.7334890174807 x304 + [ x301^2 + x304^2 ] <= 3.38297304645252 e192: 102.926783859086 b12 - 16.97927357880702 x301 - 10.96804421643124 x304 + [ x301^2 + x304^2 ] <= 1.778352559694767 e193: 118.75213232131 b13 - 12.06320963454842 x301 - 2.553105843658 x304 + [ x301^2 + x304^2 ] <= 81.7422882873144 e194: 124.803091689871 b14 - 13.81324532858826 x301 - 17.57863570859908 x304 + [ x301^2 + x304^2 ] <= .8495467190209638 e195: 57.9871322900609 b15 - 7.42157450500112 x301 - 9.32831328267896 x304 + [ x301^2 + x304^2 ] <= 23.462833081789064 e196: 141.568883438575 b16 - .21447966662941 x301 - 18.52405050880256 x304 + [ x301^2 + x304^2 ] <= 56.77227124355855 e197: 114.695683175902 b17 - 16.09478639846028 x301 - 7.18610322783588 x304 + [ x301^2 + x304^2 ] <= 38.025125972608194 e198: 119.627996085735 b18 - 10.56822122003158 x301 - 18.73296366266714 x304 + [ x301^2 + x304^2 ] <= 4.975189250151715 e199: 107.656809348234 b19 - 2.12342962545888 x301 - 7.31688864797892 x304 + [ x301^2 + x304^2 ] <= 94.1453561329342 e200: 128.639684646565 b20 - 18.10199165587262 x301 - 7.96431026048794 x304 + [ x301^2 + x304^2 ] <= 31.86159968791614 e201: 141.568883438575 b21 - 18.1754541478741 x301 - 6.02776468226182 x304 + [ x301^2 + x304^2 ] <= 50.89861330202581 e202: 142.314787626056 b22 - 17.67821690343692 x301 - 16.53373844911028 x304 + [ x301^2 + x304^2 ] <= -3.1561773710816396 e203: 57.6217041967589 b23 - 6.82180222374902 x301 - 12.97971083145194 x304 + [ x301^2 + x304^2 ] <= 4.869234484744432 e204: 119.180496541755 b24 - 2.44008378364532 x301 - 5.04553991496498 x304 + [ x301^2 + x304^2 ] <= 112.32762606557658 e205: 58.8305966748386 b25 - 7.8960409133073 x301 - 12.80678912946396 x304 + [ x301^2 + x304^2 ] <= 3.240269197043844 e206: 75.9207984013209 b26 - 9.8208603413352 x301 - 6.3077891508068 x304 + [ x301^2 + x304^2 ] <= 42.86142294755927 e207: 64.8784745008497 b27 - 6.46353060286906 x301 - 14.07289005912588 x304 + [ x301^2 + x304^2 ] <= 5.922608883232485 e208: 147.724006608004 b28 - .78499773030848 x301 - 3.17742359201278 x304 + [ x301^2 + x304^2 ] <= 146.04594607808679 e209: 100.918497950284 b29 - 8.85380042038616 x301 - 17.48488883925212 x304 + [ x301^2 + x304^2 ] <= 5.890718049025651 e210: 118.022029936783 b30 - 5.18764248257022 x301 - 19.97560229639666 x304 + [ x301^2 + x304^2 ] <= 12.537949529089303 e211: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 = 1 e212: 67.42707737338 b31 - 5.69493890368392 x302 - 13.49559703339536 x305 + [ x302^2 + x305^2 ] <= 14.786210272259439 e213: 100.27903396698 b32 - 13.26522267679194 x302 - 15.17861629815968 x305 + [ x302^2 + x305^2 ] <= -.31009738092845396 e214: 62.225162895805 b33 - 5.56016703128464 x302 - 11.24179025882126 x305 + [ x302^2 + x305^2 ] <= 23.901836486026696 e215: 54.3423498257743 b34 - 6.7269080959943 x302 - 11.2338742068927 x305 + [ x302^2 + x305^2 ] <= 12.479544268713603 e216: 153.854418335954 b35 - 2.93148527182316 x302 - .28499286143284 x305 + [ x302^2 + x305^2 ] <= 152.68571162845805 e217: 115.729330039997 b36 - 13.19649901987584 x302 - 3.82876504698982 x305 + [ x302^2 + x305^2 ] <= 69.52757299833826 e218: 92.1830734090453 b37 - 4.0503104652665 x302 - 7.24283462607738 x305 + [ x302^2 + x305^2 ] <= 75.96715633760711 e219: 153.854418335954 b38 - 17.94304399639932 x302 - 17.5626769021003 x305 + [ x302^2 + x305^2 ] <= -2.7456936201182884 e220: 106.113667406259 b39 - 3.74970847203604 x302 - 17.92549324506922 x305 + [ x302^2 + x305^2 ] <= 23.267761980188723 e221: 132.789518443852 b40 - 15.04051349932824 x302 - 17.60537316528494 x305 + [ x302^2 + x305^2 ] <= -.252034209250553 e222: 57.7951750598727 b41 - 7.71408228471664 x302 - 12.7334890174807 x305 + [ x302^2 + x305^2 ] <= 3.38297304645252 e223: 102.926783859086 b42 - 16.97927357880702 x302 - 10.96804421643124 x305 + [ x302^2 + x305^2 ] <= 1.778352559694767 e224: 118.75213232131 b43 - 12.06320963454842 x302 - 2.553105843658 x305 + [ x302^2 + x305^2 ] <= 81.7422882873144 e225: 124.803091689871 b44 - 13.81324532858826 x302 - 17.57863570859908 x305 + [ x302^2 + x305^2 ] <= .8495467190209638 e226: 57.9871322900609 b45 - 7.42157450500112 x302 - 9.32831328267896 x305 + [ x302^2 + x305^2 ] <= 23.462833081789064 e227: 141.568883438575 b46 - .21447966662941 x302 - 18.52405050880256 x305 + [ x302^2 + x305^2 ] <= 56.77227124355855 e228: 114.695683175902 b47 - 16.09478639846028 x302 - 7.18610322783588 x305 + [ x302^2 + x305^2 ] <= 38.025125972608194 e229: 119.627996085735 b48 - 10.56822122003158 x302 - 18.73296366266714 x305 + [ x302^2 + x305^2 ] <= 4.975189250151715 e230: 107.656809348234 b49 - 2.12342962545888 x302 - 7.31688864797892 x305 + [ x302^2 + x305^2 ] <= 94.1453561329342 e231: 128.639684646565 b50 - 18.10199165587262 x302 - 7.96431026048794 x305 + [ x302^2 + x305^2 ] <= 31.86159968791614 e232: 141.568883438575 b51 - 18.1754541478741 x302 - 6.02776468226182 x305 + [ x302^2 + x305^2 ] <= 50.89861330202581 e233: 142.314787626056 b52 - 17.67821690343692 x302 - 16.53373844911028 x305 + [ x302^2 + x305^2 ] <= -3.1561773710816396 e234: 57.6217041967589 b53 - 6.82180222374902 x302 - 12.97971083145194 x305 + [ x302^2 + x305^2 ] <= 4.869234484744432 e235: 119.180496541755 b54 - 2.44008378364532 x302 - 5.04553991496498 x305 + [ x302^2 + x305^2 ] <= 112.32762606557658 e236: 58.8305966748386 b55 - 7.8960409133073 x302 - 12.80678912946396 x305 + [ x302^2 + x305^2 ] <= 3.240269197043844 e237: 75.9207984013209 b56 - 9.8208603413352 x302 - 6.3077891508068 x305 + [ x302^2 + x305^2 ] <= 42.86142294755927 e238: 64.8784745008497 b57 - 6.46353060286906 x302 - 14.07289005912588 x305 + [ x302^2 + x305^2 ] <= 5.922608883232485 e239: 147.724006608004 b58 - .78499773030848 x302 - 3.17742359201278 x305 + [ x302^2 + x305^2 ] <= 146.04594607808679 e240: 100.918497950284 b59 - 8.85380042038616 x302 - 17.48488883925212 x305 + [ x302^2 + x305^2 ] <= 5.890718049025651 e241: 118.022029936783 b60 - 5.18764248257022 x302 - 19.97560229639666 x305 + [ x302^2 + x305^2 ] <= 12.537949529089303 e242: b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 = 1 e243: 67.42707737338 b61 - 5.69493890368392 x307 - 13.49559703339536 x309 + [ x307^2 + x309^2 ] <= 14.786210272259439 e244: 100.27903396698 b62 - 13.26522267679194 x307 - 15.17861629815968 x309 + [ x307^2 + x309^2 ] <= -.31009738092845396 e245: 62.225162895805 b63 - 5.56016703128464 x307 - 11.24179025882126 x309 + [ x307^2 + x309^2 ] <= 23.901836486026696 e246: 54.3423498257743 b64 - 6.7269080959943 x307 - 11.2338742068927 x309 + [ x307^2 + x309^2 ] <= 12.479544268713603 e247: 153.854418335954 b65 - 2.93148527182316 x307 - .28499286143284 x309 + [ x307^2 + x309^2 ] <= 152.68571162845805 e248: 115.729330039997 b66 - 13.19649901987584 x307 - 3.82876504698982 x309 + [ x307^2 + x309^2 ] <= 69.52757299833826 e249: 92.1830734090453 b67 - 4.0503104652665 x307 - 7.24283462607738 x309 + [ x307^2 + x309^2 ] <= 75.96715633760711 e250: 153.854418335954 b68 - 17.94304399639932 x307 - 17.5626769021003 x309 + [ x307^2 + x309^2 ] <= -2.7456936201182884 e251: 106.113667406259 b69 - 3.74970847203604 x307 - 17.92549324506922 x309 + [ x307^2 + x309^2 ] <= 23.267761980188723 e252: 132.789518443852 b70 - 15.04051349932824 x307 - 17.60537316528494 x309 + [ x307^2 + x309^2 ] <= -.252034209250553 e253: 57.7951750598727 b71 - 7.71408228471664 x307 - 12.7334890174807 x309 + [ x307^2 + x309^2 ] <= 3.38297304645252 e254: 102.926783859086 b72 - 16.97927357880702 x307 - 10.96804421643124 x309 + [ x307^2 + x309^2 ] <= 1.778352559694767 e255: 118.75213232131 b73 - 12.06320963454842 x307 - 2.553105843658 x309 + [ x307^2 + x309^2 ] <= 81.7422882873144 e256: 124.803091689871 b74 - 13.81324532858826 x307 - 17.57863570859908 x309 + [ x307^2 + x309^2 ] <= .8495467190209638 e257: 57.9871322900609 b75 - 7.42157450500112 x307 - 9.32831328267896 x309 + [ x307^2 + x309^2 ] <= 23.462833081789064 e258: 141.568883438575 b76 - .21447966662941 x307 - 18.52405050880256 x309 + [ x307^2 + x309^2 ] <= 56.77227124355855 e259: 114.695683175902 b77 - 16.09478639846028 x307 - 7.18610322783588 x309 + [ x307^2 + x309^2 ] <= 38.025125972608194 e260: 119.627996085735 b78 - 10.56822122003158 x307 - 18.73296366266714 x309 + [ x307^2 + x309^2 ] <= 4.975189250151715 e261: 107.656809348234 b79 - 2.12342962545888 x307 - 7.31688864797892 x309 + [ x307^2 + x309^2 ] <= 94.1453561329342 e262: 128.639684646565 b80 - 18.10199165587262 x307 - 7.96431026048794 x309 + [ x307^2 + x309^2 ] <= 31.86159968791614 e263: 141.568883438575 b81 - 18.1754541478741 x307 - 6.02776468226182 x309 + [ x307^2 + x309^2 ] <= 50.89861330202581 e264: 142.314787626056 b82 - 17.67821690343692 x307 - 16.53373844911028 x309 + [ x307^2 + x309^2 ] <= -3.1561773710816396 e265: 57.6217041967589 b83 - 6.82180222374902 x307 - 12.97971083145194 x309 + [ x307^2 + x309^2 ] <= 4.869234484744432 e266: 119.180496541755 b84 - 2.44008378364532 x307 - 5.04553991496498 x309 + [ x307^2 + x309^2 ] <= 112.32762606557658 e267: 58.8305966748386 b85 - 7.8960409133073 x307 - 12.80678912946396 x309 + [ x307^2 + x309^2 ] <= 3.240269197043844 e268: 75.9207984013209 b86 - 9.8208603413352 x307 - 6.3077891508068 x309 + [ x307^2 + x309^2 ] <= 42.86142294755927 e269: 64.8784745008497 b87 - 6.46353060286906 x307 - 14.07289005912588 x309 + [ x307^2 + x309^2 ] <= 5.922608883232485 e270: 147.724006608004 b88 - .78499773030848 x307 - 3.17742359201278 x309 + [ x307^2 + x309^2 ] <= 146.04594607808679 e271: 100.918497950284 b89 - 8.85380042038616 x307 - 17.48488883925212 x309 + [ x307^2 + x309^2 ] <= 5.890718049025651 e272: 118.022029936783 b90 - 5.18764248257022 x307 - 19.97560229639666 x309 + [ x307^2 + x309^2 ] <= 12.537949529089303 e273: b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 = 1 e274: 67.42707737338 b91 - 5.69493890368392 x311 - 13.49559703339536 x313 + [ x311^2 + x313^2 ] <= 14.786210272259439 e275: 100.27903396698 b92 - 13.26522267679194 x311 - 15.17861629815968 x313 + [ x311^2 + x313^2 ] <= -.31009738092845396 e276: 62.225162895805 b93 - 5.56016703128464 x311 - 11.24179025882126 x313 + [ x311^2 + x313^2 ] <= 23.901836486026696 e277: 54.3423498257743 b94 - 6.7269080959943 x311 - 11.2338742068927 x313 + [ x311^2 + x313^2 ] <= 12.479544268713603 e278: 153.854418335954 b95 - 2.93148527182316 x311 - .28499286143284 x313 + [ x311^2 + x313^2 ] <= 152.68571162845805 e279: 115.729330039997 b96 - 13.19649901987584 x311 - 3.82876504698982 x313 + [ x311^2 + x313^2 ] <= 69.52757299833826 e280: 92.1830734090453 b97 - 4.0503104652665 x311 - 7.24283462607738 x313 + [ x311^2 + x313^2 ] <= 75.96715633760711 e281: 153.854418335954 b98 - 17.94304399639932 x311 - 17.5626769021003 x313 + [ x311^2 + x313^2 ] <= -2.7456936201182884 e282: 106.113667406259 b99 - 3.74970847203604 x311 - 17.92549324506922 x313 + [ x311^2 + x313^2 ] <= 23.267761980188723 e283: 132.789518443852 b100 - 15.04051349932824 x311 - 17.60537316528494 x313 + [ x311^2 + x313^2 ] <= -.252034209250553 e284: 57.7951750598727 b101 - 7.71408228471664 x311 - 12.7334890174807 x313 + [ x311^2 + x313^2 ] <= 3.38297304645252 e285: 102.926783859086 b102 - 16.97927357880702 x311 - 10.96804421643124 x313 + [ x311^2 + x313^2 ] <= 1.778352559694767 e286: 118.75213232131 b103 - 12.06320963454842 x311 - 2.553105843658 x313 + [ x311^2 + x313^2 ] <= 81.7422882873144 e287: 124.803091689871 b104 - 13.81324532858826 x311 - 17.57863570859908 x313 + [ x311^2 + x313^2 ] <= .8495467190209638 e288: 57.9871322900609 b105 - 7.42157450500112 x311 - 9.32831328267896 x313 + [ x311^2 + x313^2 ] <= 23.462833081789064 e289: 141.568883438575 b106 - .21447966662941 x311 - 18.52405050880256 x313 + [ x311^2 + x313^2 ] <= 56.77227124355855 e290: 114.695683175902 b107 - 16.09478639846028 x311 - 7.18610322783588 x313 + [ x311^2 + x313^2 ] <= 38.025125972608194 e291: 119.627996085735 b108 - 10.56822122003158 x311 - 18.73296366266714 x313 + [ x311^2 + x313^2 ] <= 4.975189250151715 e292: 107.656809348234 b109 - 2.12342962545888 x311 - 7.31688864797892 x313 + [ x311^2 + x313^2 ] <= 94.1453561329342 e293: 128.639684646565 b110 - 18.10199165587262 x311 - 7.96431026048794 x313 + [ x311^2 + x313^2 ] <= 31.86159968791614 e294: 141.568883438575 b111 - 18.1754541478741 x311 - 6.02776468226182 x313 + [ x311^2 + x313^2 ] <= 50.89861330202581 e295: 142.314787626056 b112 - 17.67821690343692 x311 - 16.53373844911028 x313 + [ x311^2 + x313^2 ] <= -3.1561773710816396 e296: 57.6217041967589 b113 - 6.82180222374902 x311 - 12.97971083145194 x313 + [ x311^2 + x313^2 ] <= 4.869234484744432 e297: 119.180496541755 b114 - 2.44008378364532 x311 - 5.04553991496498 x313 + [ x311^2 + x313^2 ] <= 112.32762606557658 e298: 58.8305966748386 b115 - 7.8960409133073 x311 - 12.80678912946396 x313 + [ x311^2 + x313^2 ] <= 3.240269197043844 e299: 75.9207984013209 b116 - 9.8208603413352 x311 - 6.3077891508068 x313 + [ x311^2 + x313^2 ] <= 42.86142294755927 e300: 64.8784745008497 b117 - 6.46353060286906 x311 - 14.07289005912588 x313 + [ x311^2 + x313^2 ] <= 5.922608883232485 e301: 147.724006608004 b118 - .78499773030848 x311 - 3.17742359201278 x313 + [ x311^2 + x313^2 ] <= 146.04594607808679 e302: 100.918497950284 b119 - 8.85380042038616 x311 - 17.48488883925212 x313 + [ x311^2 + x313^2 ] <= 5.890718049025651 e303: 118.022029936783 b120 - 5.18764248257022 x311 - 19.97560229639666 x313 + [ x311^2 + x313^2 ] <= 12.537949529089303 e304: 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 e305: 67.42707737338 b121 - 5.69493890368392 x315 - 13.49559703339536 x317 + [ x315^2 + x317^2 ] <= 14.786210272259439 e306: 100.27903396698 b122 - 13.26522267679194 x315 - 15.17861629815968 x317 + [ x315^2 + x317^2 ] <= -.31009738092845396 e307: 62.225162895805 b123 - 5.56016703128464 x315 - 11.24179025882126 x317 + [ x315^2 + x317^2 ] <= 23.901836486026696 e308: 54.3423498257743 b124 - 6.7269080959943 x315 - 11.2338742068927 x317 + [ x315^2 + x317^2 ] <= 12.479544268713603 e309: 153.854418335954 b125 - 2.93148527182316 x315 - .28499286143284 x317 + [ x315^2 + x317^2 ] <= 152.68571162845805 e310: 115.729330039997 b126 - 13.19649901987584 x315 - 3.82876504698982 x317 + [ x315^2 + x317^2 ] <= 69.52757299833826 e311: 92.1830734090453 b127 - 4.0503104652665 x315 - 7.24283462607738 x317 + [ x315^2 + x317^2 ] <= 75.96715633760711 e312: 153.854418335954 b128 - 17.94304399639932 x315 - 17.5626769021003 x317 + [ x315^2 + x317^2 ] <= -2.7456936201182884 e313: 106.113667406259 b129 - 3.74970847203604 x315 - 17.92549324506922 x317 + [ x315^2 + x317^2 ] <= 23.267761980188723 e314: 132.789518443852 b130 - 15.04051349932824 x315 - 17.60537316528494 x317 + [ x315^2 + x317^2 ] <= -.252034209250553 e315: 57.7951750598727 b131 - 7.71408228471664 x315 - 12.7334890174807 x317 + [ x315^2 + x317^2 ] <= 3.38297304645252 e316: 102.926783859086 b132 - 16.97927357880702 x315 - 10.96804421643124 x317 + [ x315^2 + x317^2 ] <= 1.778352559694767 e317: 118.75213232131 b133 - 12.06320963454842 x315 - 2.553105843658 x317 + [ x315^2 + x317^2 ] <= 81.7422882873144 e318: 124.803091689871 b134 - 13.81324532858826 x315 - 17.57863570859908 x317 + [ x315^2 + x317^2 ] <= .8495467190209638 e319: 57.9871322900609 b135 - 7.42157450500112 x315 - 9.32831328267896 x317 + [ x315^2 + x317^2 ] <= 23.462833081789064 e320: 141.568883438575 b136 - .21447966662941 x315 - 18.52405050880256 x317 + [ x315^2 + x317^2 ] <= 56.77227124355855 e321: 114.695683175902 b137 - 16.09478639846028 x315 - 7.18610322783588 x317 + [ x315^2 + x317^2 ] <= 38.025125972608194 e322: 119.627996085735 b138 - 10.56822122003158 x315 - 18.73296366266714 x317 + [ x315^2 + x317^2 ] <= 4.975189250151715 e323: 107.656809348234 b139 - 2.12342962545888 x315 - 7.31688864797892 x317 + [ x315^2 + x317^2 ] <= 94.1453561329342 e324: 128.639684646565 b140 - 18.10199165587262 x315 - 7.96431026048794 x317 + [ x315^2 + x317^2 ] <= 31.86159968791614 e325: 141.568883438575 b141 - 18.1754541478741 x315 - 6.02776468226182 x317 + [ x315^2 + x317^2 ] <= 50.89861330202581 e326: 142.314787626056 b142 - 17.67821690343692 x315 - 16.53373844911028 x317 + [ x315^2 + x317^2 ] <= -3.1561773710816396 e327: 57.6217041967589 b143 - 6.82180222374902 x315 - 12.97971083145194 x317 + [ x315^2 + x317^2 ] <= 4.869234484744432 e328: 119.180496541755 b144 - 2.44008378364532 x315 - 5.04553991496498 x317 + [ x315^2 + x317^2 ] <= 112.32762606557658 e329: 58.8305966748386 b145 - 7.8960409133073 x315 - 12.80678912946396 x317 + [ x315^2 + x317^2 ] <= 3.240269197043844 e330: 75.9207984013209 b146 - 9.8208603413352 x315 - 6.3077891508068 x317 + [ x315^2 + x317^2 ] <= 42.86142294755927 e331: 64.8784745008497 b147 - 6.46353060286906 x315 - 14.07289005912588 x317 + [ x315^2 + x317^2 ] <= 5.922608883232485 e332: 147.724006608004 b148 - .78499773030848 x315 - 3.17742359201278 x317 + [ x315^2 + x317^2 ] <= 146.04594607808679 e333: 100.918497950284 b149 - 8.85380042038616 x315 - 17.48488883925212 x317 + [ x315^2 + x317^2 ] <= 5.890718049025651 e334: 118.022029936783 b150 - 5.18764248257022 x315 - 19.97560229639666 x317 + [ x315^2 + x317^2 ] <= 12.537949529089303 e335: b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 = 1 e336: 67.42707737338 b151 - 5.69493890368392 x319 - 13.49559703339536 x321 + [ x319^2 + x321^2 ] <= 14.786210272259439 e337: 100.27903396698 b152 - 13.26522267679194 x319 - 15.17861629815968 x321 + [ x319^2 + x321^2 ] <= -.31009738092845396 e338: 62.225162895805 b153 - 5.56016703128464 x319 - 11.24179025882126 x321 + [ x319^2 + x321^2 ] <= 23.901836486026696 e339: 54.3423498257743 b154 - 6.7269080959943 x319 - 11.2338742068927 x321 + [ x319^2 + x321^2 ] <= 12.479544268713603 e340: 153.854418335954 b155 - 2.93148527182316 x319 - .28499286143284 x321 + [ x319^2 + x321^2 ] <= 152.68571162845805 e341: 115.729330039997 b156 - 13.19649901987584 x319 - 3.82876504698982 x321 + [ x319^2 + x321^2 ] <= 69.52757299833826 e342: 92.1830734090453 b157 - 4.0503104652665 x319 - 7.24283462607738 x321 + [ x319^2 + x321^2 ] <= 75.96715633760711 e343: 153.854418335954 b158 - 17.94304399639932 x319 - 17.5626769021003 x321 + [ x319^2 + x321^2 ] <= -2.7456936201182884 e344: 106.113667406259 b159 - 3.74970847203604 x319 - 17.92549324506922 x321 + [ x319^2 + x321^2 ] <= 23.267761980188723 e345: 132.789518443852 b160 - 15.04051349932824 x319 - 17.60537316528494 x321 + [ x319^2 + x321^2 ] <= -.252034209250553 e346: 57.7951750598727 b161 - 7.71408228471664 x319 - 12.7334890174807 x321 + [ x319^2 + x321^2 ] <= 3.38297304645252 e347: 102.926783859086 b162 - 16.97927357880702 x319 - 10.96804421643124 x321 + [ x319^2 + x321^2 ] <= 1.778352559694767 e348: 118.75213232131 b163 - 12.06320963454842 x319 - 2.553105843658 x321 + [ x319^2 + x321^2 ] <= 81.7422882873144 e349: 124.803091689871 b164 - 13.81324532858826 x319 - 17.57863570859908 x321 + [ x319^2 + x321^2 ] <= .8495467190209638 e350: 57.9871322900609 b165 - 7.42157450500112 x319 - 9.32831328267896 x321 + [ x319^2 + x321^2 ] <= 23.462833081789064 e351: 141.568883438575 b166 - .21447966662941 x319 - 18.52405050880256 x321 + [ x319^2 + x321^2 ] <= 56.77227124355855 e352: 114.695683175902 b167 - 16.09478639846028 x319 - 7.18610322783588 x321 + [ x319^2 + x321^2 ] <= 38.025125972608194 e353: 119.627996085735 b168 - 10.56822122003158 x319 - 18.73296366266714 x321 + [ x319^2 + x321^2 ] <= 4.975189250151715 e354: 107.656809348234 b169 - 2.12342962545888 x319 - 7.31688864797892 x321 + [ x319^2 + x321^2 ] <= 94.1453561329342 e355: 128.639684646565 b170 - 18.10199165587262 x319 - 7.96431026048794 x321 + [ x319^2 + x321^2 ] <= 31.86159968791614 e356: 141.568883438575 b171 - 18.1754541478741 x319 - 6.02776468226182 x321 + [ x319^2 + x321^2 ] <= 50.89861330202581 e357: 142.314787626056 b172 - 17.67821690343692 x319 - 16.53373844911028 x321 + [ x319^2 + x321^2 ] <= -3.1561773710816396 e358: 57.6217041967589 b173 - 6.82180222374902 x319 - 12.97971083145194 x321 + [ x319^2 + x321^2 ] <= 4.869234484744432 e359: 119.180496541755 b174 - 2.44008378364532 x319 - 5.04553991496498 x321 + [ x319^2 + x321^2 ] <= 112.32762606557658 e360: 58.8305966748386 b175 - 7.8960409133073 x319 - 12.80678912946396 x321 + [ x319^2 + x321^2 ] <= 3.240269197043844 e361: 75.9207984013209 b176 - 9.8208603413352 x319 - 6.3077891508068 x321 + [ x319^2 + x321^2 ] <= 42.86142294755927 e362: 64.8784745008497 b177 - 6.46353060286906 x319 - 14.07289005912588 x321 + [ x319^2 + x321^2 ] <= 5.922608883232485 e363: 147.724006608004 b178 - .78499773030848 x319 - 3.17742359201278 x321 + [ x319^2 + x321^2 ] <= 146.04594607808679 e364: 100.918497950284 b179 - 8.85380042038616 x319 - 17.48488883925212 x321 + [ x319^2 + x321^2 ] <= 5.890718049025651 e365: 118.022029936783 b180 - 5.18764248257022 x319 - 19.97560229639666 x321 + [ x319^2 + x321^2 ] <= 12.537949529089303 e366: b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 = 1 e367: 67.42707737338 b181 - 5.69493890368392 x323 - 13.49559703339536 x325 + [ x323^2 + x325^2 ] <= 14.786210272259439 e368: 100.27903396698 b182 - 13.26522267679194 x323 - 15.17861629815968 x325 + [ x323^2 + x325^2 ] <= -.31009738092845396 e369: 62.225162895805 b183 - 5.56016703128464 x323 - 11.24179025882126 x325 + [ x323^2 + x325^2 ] <= 23.901836486026696 e370: 54.3423498257743 b184 - 6.7269080959943 x323 - 11.2338742068927 x325 + [ x323^2 + x325^2 ] <= 12.479544268713603 e371: 153.854418335954 b185 - 2.93148527182316 x323 - .28499286143284 x325 + [ x323^2 + x325^2 ] <= 152.68571162845805 e372: 115.729330039997 b186 - 13.19649901987584 x323 - 3.82876504698982 x325 + [ x323^2 + x325^2 ] <= 69.52757299833826 e373: 92.1830734090453 b187 - 4.0503104652665 x323 - 7.24283462607738 x325 + [ x323^2 + x325^2 ] <= 75.96715633760711 e374: 153.854418335954 b188 - 17.94304399639932 x323 - 17.5626769021003 x325 + [ x323^2 + x325^2 ] <= -2.7456936201182884 e375: 106.113667406259 b189 - 3.74970847203604 x323 - 17.92549324506922 x325 + [ x323^2 + x325^2 ] <= 23.267761980188723 e376: 132.789518443852 b190 - 15.04051349932824 x323 - 17.60537316528494 x325 + [ x323^2 + x325^2 ] <= -.252034209250553 e377: 57.7951750598727 b191 - 7.71408228471664 x323 - 12.7334890174807 x325 + [ x323^2 + x325^2 ] <= 3.38297304645252 e378: 102.926783859086 b192 - 16.97927357880702 x323 - 10.96804421643124 x325 + [ x323^2 + x325^2 ] <= 1.778352559694767 e379: 118.75213232131 b193 - 12.06320963454842 x323 - 2.553105843658 x325 + [ x323^2 + x325^2 ] <= 81.7422882873144 e380: 124.803091689871 b194 - 13.81324532858826 x323 - 17.57863570859908 x325 + [ x323^2 + x325^2 ] <= .8495467190209638 e381: 57.9871322900609 b195 - 7.42157450500112 x323 - 9.32831328267896 x325 + [ x323^2 + x325^2 ] <= 23.462833081789064 e382: 141.568883438575 b196 - .21447966662941 x323 - 18.52405050880256 x325 + [ x323^2 + x325^2 ] <= 56.77227124355855 e383: 114.695683175902 b197 - 16.09478639846028 x323 - 7.18610322783588 x325 + [ x323^2 + x325^2 ] <= 38.025125972608194 e384: 119.627996085735 b198 - 10.56822122003158 x323 - 18.73296366266714 x325 + [ x323^2 + x325^2 ] <= 4.975189250151715 e385: 107.656809348234 b199 - 2.12342962545888 x323 - 7.31688864797892 x325 + [ x323^2 + x325^2 ] <= 94.1453561329342 e386: 128.639684646565 b200 - 18.10199165587262 x323 - 7.96431026048794 x325 + [ x323^2 + x325^2 ] <= 31.86159968791614 e387: 141.568883438575 b201 - 18.1754541478741 x323 - 6.02776468226182 x325 + [ x323^2 + x325^2 ] <= 50.89861330202581 e388: 142.314787626056 b202 - 17.67821690343692 x323 - 16.53373844911028 x325 + [ x323^2 + x325^2 ] <= -3.1561773710816396 e389: 57.6217041967589 b203 - 6.82180222374902 x323 - 12.97971083145194 x325 + [ x323^2 + x325^2 ] <= 4.869234484744432 e390: 119.180496541755 b204 - 2.44008378364532 x323 - 5.04553991496498 x325 + [ x323^2 + x325^2 ] <= 112.32762606557658 e391: 58.8305966748386 b205 - 7.8960409133073 x323 - 12.80678912946396 x325 + [ x323^2 + x325^2 ] <= 3.240269197043844 e392: 75.9207984013209 b206 - 9.8208603413352 x323 - 6.3077891508068 x325 + [ x323^2 + x325^2 ] <= 42.86142294755927 e393: 64.8784745008497 b207 - 6.46353060286906 x323 - 14.07289005912588 x325 + [ x323^2 + x325^2 ] <= 5.922608883232485 e394: 147.724006608004 b208 - .78499773030848 x323 - 3.17742359201278 x325 + [ x323^2 + x325^2 ] <= 146.04594607808679 e395: 100.918497950284 b209 - 8.85380042038616 x323 - 17.48488883925212 x325 + [ x323^2 + x325^2 ] <= 5.890718049025651 e396: 118.022029936783 b210 - 5.18764248257022 x323 - 19.97560229639666 x325 + [ x323^2 + x325^2 ] <= 12.537949529089303 e397: b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 = 1 e398: 67.42707737338 b211 - 5.69493890368392 x327 - 13.49559703339536 x329 + [ x327^2 + x329^2 ] <= 14.786210272259439 e399: 100.27903396698 b212 - 13.26522267679194 x327 - 15.17861629815968 x329 + [ x327^2 + x329^2 ] <= -.31009738092845396 e400: 62.225162895805 b213 - 5.56016703128464 x327 - 11.24179025882126 x329 + [ x327^2 + x329^2 ] <= 23.901836486026696 e401: 54.3423498257743 b214 - 6.7269080959943 x327 - 11.2338742068927 x329 + [ x327^2 + x329^2 ] <= 12.479544268713603 e402: 153.854418335954 b215 - 2.93148527182316 x327 - .28499286143284 x329 + [ x327^2 + x329^2 ] <= 152.68571162845805 e403: 115.729330039997 b216 - 13.19649901987584 x327 - 3.82876504698982 x329 + [ x327^2 + x329^2 ] <= 69.52757299833826 e404: 92.1830734090453 b217 - 4.0503104652665 x327 - 7.24283462607738 x329 + [ x327^2 + x329^2 ] <= 75.96715633760711 e405: 153.854418335954 b218 - 17.94304399639932 x327 - 17.5626769021003 x329 + [ x327^2 + x329^2 ] <= -2.7456936201182884 e406: 106.113667406259 b219 - 3.74970847203604 x327 - 17.92549324506922 x329 + [ x327^2 + x329^2 ] <= 23.267761980188723 e407: 132.789518443852 b220 - 15.04051349932824 x327 - 17.60537316528494 x329 + [ x327^2 + x329^2 ] <= -.252034209250553 e408: 57.7951750598727 b221 - 7.71408228471664 x327 - 12.7334890174807 x329 + [ x327^2 + x329^2 ] <= 3.38297304645252 e409: 102.926783859086 b222 - 16.97927357880702 x327 - 10.96804421643124 x329 + [ x327^2 + x329^2 ] <= 1.778352559694767 e410: 118.75213232131 b223 - 12.06320963454842 x327 - 2.553105843658 x329 + [ x327^2 + x329^2 ] <= 81.7422882873144 e411: 124.803091689871 b224 - 13.81324532858826 x327 - 17.57863570859908 x329 + [ x327^2 + x329^2 ] <= .8495467190209638 e412: 57.9871322900609 b225 - 7.42157450500112 x327 - 9.32831328267896 x329 + [ x327^2 + x329^2 ] <= 23.462833081789064 e413: 141.568883438575 b226 - .21447966662941 x327 - 18.52405050880256 x329 + [ x327^2 + x329^2 ] <= 56.77227124355855 e414: 114.695683175902 b227 - 16.09478639846028 x327 - 7.18610322783588 x329 + [ x327^2 + x329^2 ] <= 38.025125972608194 e415: 119.627996085735 b228 - 10.56822122003158 x327 - 18.73296366266714 x329 + [ x327^2 + x329^2 ] <= 4.975189250151715 e416: 107.656809348234 b229 - 2.12342962545888 x327 - 7.31688864797892 x329 + [ x327^2 + x329^2 ] <= 94.1453561329342 e417: 128.639684646565 b230 - 18.10199165587262 x327 - 7.96431026048794 x329 + [ x327^2 + x329^2 ] <= 31.86159968791614 e418: 141.568883438575 b231 - 18.1754541478741 x327 - 6.02776468226182 x329 + [ x327^2 + x329^2 ] <= 50.89861330202581 e419: 142.314787626056 b232 - 17.67821690343692 x327 - 16.53373844911028 x329 + [ x327^2 + x329^2 ] <= -3.1561773710816396 e420: 57.6217041967589 b233 - 6.82180222374902 x327 - 12.97971083145194 x329 + [ x327^2 + x329^2 ] <= 4.869234484744432 e421: 119.180496541755 b234 - 2.44008378364532 x327 - 5.04553991496498 x329 + [ x327^2 + x329^2 ] <= 112.32762606557658 e422: 58.8305966748386 b235 - 7.8960409133073 x327 - 12.80678912946396 x329 + [ x327^2 + x329^2 ] <= 3.240269197043844 e423: 75.9207984013209 b236 - 9.8208603413352 x327 - 6.3077891508068 x329 + [ x327^2 + x329^2 ] <= 42.86142294755927 e424: 64.8784745008497 b237 - 6.46353060286906 x327 - 14.07289005912588 x329 + [ x327^2 + x329^2 ] <= 5.922608883232485 e425: 147.724006608004 b238 - .78499773030848 x327 - 3.17742359201278 x329 + [ x327^2 + x329^2 ] <= 146.04594607808679 e426: 100.918497950284 b239 - 8.85380042038616 x327 - 17.48488883925212 x329 + [ x327^2 + x329^2 ] <= 5.890718049025651 e427: 118.022029936783 b240 - 5.18764248257022 x327 - 19.97560229639666 x329 + [ x327^2 + x329^2 ] <= 12.537949529089303 e428: b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 = 1 e429: 67.42707737338 b241 - 5.69493890368392 x331 - 13.49559703339536 x333 + [ x331^2 + x333^2 ] <= 14.786210272259439 e430: 100.27903396698 b242 - 13.26522267679194 x331 - 15.17861629815968 x333 + [ x331^2 + x333^2 ] <= -.31009738092845396 e431: 62.225162895805 b243 - 5.56016703128464 x331 - 11.24179025882126 x333 + [ x331^2 + x333^2 ] <= 23.901836486026696 e432: 54.3423498257743 b244 - 6.7269080959943 x331 - 11.2338742068927 x333 + [ x331^2 + x333^2 ] <= 12.479544268713603 e433: 153.854418335954 b245 - 2.93148527182316 x331 - .28499286143284 x333 + [ x331^2 + x333^2 ] <= 152.68571162845805 e434: 115.729330039997 b246 - 13.19649901987584 x331 - 3.82876504698982 x333 + [ x331^2 + x333^2 ] <= 69.52757299833826 e435: 92.1830734090453 b247 - 4.0503104652665 x331 - 7.24283462607738 x333 + [ x331^2 + x333^2 ] <= 75.96715633760711 e436: 153.854418335954 b248 - 17.94304399639932 x331 - 17.5626769021003 x333 + [ x331^2 + x333^2 ] <= -2.7456936201182884 e437: 106.113667406259 b249 - 3.74970847203604 x331 - 17.92549324506922 x333 + [ x331^2 + x333^2 ] <= 23.267761980188723 e438: 132.789518443852 b250 - 15.04051349932824 x331 - 17.60537316528494 x333 + [ x331^2 + x333^2 ] <= -.252034209250553 e439: 57.7951750598727 b251 - 7.71408228471664 x331 - 12.7334890174807 x333 + [ x331^2 + x333^2 ] <= 3.38297304645252 e440: 102.926783859086 b252 - 16.97927357880702 x331 - 10.96804421643124 x333 + [ x331^2 + x333^2 ] <= 1.778352559694767 e441: 118.75213232131 b253 - 12.06320963454842 x331 - 2.553105843658 x333 + [ x331^2 + x333^2 ] <= 81.7422882873144 e442: 124.803091689871 b254 - 13.81324532858826 x331 - 17.57863570859908 x333 + [ x331^2 + x333^2 ] <= .8495467190209638 e443: 57.9871322900609 b255 - 7.42157450500112 x331 - 9.32831328267896 x333 + [ x331^2 + x333^2 ] <= 23.462833081789064 e444: 141.568883438575 b256 - .21447966662941 x331 - 18.52405050880256 x333 + [ x331^2 + x333^2 ] <= 56.77227124355855 e445: 114.695683175902 b257 - 16.09478639846028 x331 - 7.18610322783588 x333 + [ x331^2 + x333^2 ] <= 38.025125972608194 e446: 119.627996085735 b258 - 10.56822122003158 x331 - 18.73296366266714 x333 + [ x331^2 + x333^2 ] <= 4.975189250151715 e447: 107.656809348234 b259 - 2.12342962545888 x331 - 7.31688864797892 x333 + [ x331^2 + x333^2 ] <= 94.1453561329342 e448: 128.639684646565 b260 - 18.10199165587262 x331 - 7.96431026048794 x333 + [ x331^2 + x333^2 ] <= 31.86159968791614 e449: 141.568883438575 b261 - 18.1754541478741 x331 - 6.02776468226182 x333 + [ x331^2 + x333^2 ] <= 50.89861330202581 e450: 142.314787626056 b262 - 17.67821690343692 x331 - 16.53373844911028 x333 + [ x331^2 + x333^2 ] <= -3.1561773710816396 e451: 57.6217041967589 b263 - 6.82180222374902 x331 - 12.97971083145194 x333 + [ x331^2 + x333^2 ] <= 4.869234484744432 e452: 119.180496541755 b264 - 2.44008378364532 x331 - 5.04553991496498 x333 + [ x331^2 + x333^2 ] <= 112.32762606557658 e453: 58.8305966748386 b265 - 7.8960409133073 x331 - 12.80678912946396 x333 + [ x331^2 + x333^2 ] <= 3.240269197043844 e454: 75.9207984013209 b266 - 9.8208603413352 x331 - 6.3077891508068 x333 + [ x331^2 + x333^2 ] <= 42.86142294755927 e455: 64.8784745008497 b267 - 6.46353060286906 x331 - 14.07289005912588 x333 + [ x331^2 + x333^2 ] <= 5.922608883232485 e456: 147.724006608004 b268 - .78499773030848 x331 - 3.17742359201278 x333 + [ x331^2 + x333^2 ] <= 146.04594607808679 e457: 100.918497950284 b269 - 8.85380042038616 x331 - 17.48488883925212 x333 + [ x331^2 + x333^2 ] <= 5.890718049025651 e458: 118.022029936783 b270 - 5.18764248257022 x331 - 19.97560229639666 x333 + [ x331^2 + x333^2 ] <= 12.537949529089303 e459: b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 = 1 e460: 67.42707737338 b271 - 5.69493890368392 x335 - 13.49559703339536 x337 + [ x335^2 + x337^2 ] <= 14.786210272259439 e461: 100.27903396698 b272 - 13.26522267679194 x335 - 15.17861629815968 x337 + [ x335^2 + x337^2 ] <= -.31009738092845396 e462: 62.225162895805 b273 - 5.56016703128464 x335 - 11.24179025882126 x337 + [ x335^2 + x337^2 ] <= 23.901836486026696 e463: 54.3423498257743 b274 - 6.7269080959943 x335 - 11.2338742068927 x337 + [ x335^2 + x337^2 ] <= 12.479544268713603 e464: 153.854418335954 b275 - 2.93148527182316 x335 - .28499286143284 x337 + [ x335^2 + x337^2 ] <= 152.68571162845805 e465: 115.729330039997 b276 - 13.19649901987584 x335 - 3.82876504698982 x337 + [ x335^2 + x337^2 ] <= 69.52757299833826 e466: 92.1830734090453 b277 - 4.0503104652665 x335 - 7.24283462607738 x337 + [ x335^2 + x337^2 ] <= 75.96715633760711 e467: 153.854418335954 b278 - 17.94304399639932 x335 - 17.5626769021003 x337 + [ x335^2 + x337^2 ] <= -2.7456936201182884 e468: 106.113667406259 b279 - 3.74970847203604 x335 - 17.92549324506922 x337 + [ x335^2 + x337^2 ] <= 23.267761980188723 e469: 132.789518443852 b280 - 15.04051349932824 x335 - 17.60537316528494 x337 + [ x335^2 + x337^2 ] <= -.252034209250553 e470: 57.7951750598727 b281 - 7.71408228471664 x335 - 12.7334890174807 x337 + [ x335^2 + x337^2 ] <= 3.38297304645252 e471: 102.926783859086 b282 - 16.97927357880702 x335 - 10.96804421643124 x337 + [ x335^2 + x337^2 ] <= 1.778352559694767 e472: 118.75213232131 b283 - 12.06320963454842 x335 - 2.553105843658 x337 + [ x335^2 + x337^2 ] <= 81.7422882873144 e473: 124.803091689871 b284 - 13.81324532858826 x335 - 17.57863570859908 x337 + [ x335^2 + x337^2 ] <= .8495467190209638 e474: 57.9871322900609 b285 - 7.42157450500112 x335 - 9.32831328267896 x337 + [ x335^2 + x337^2 ] <= 23.462833081789064 e475: 141.568883438575 b286 - .21447966662941 x335 - 18.52405050880256 x337 + [ x335^2 + x337^2 ] <= 56.77227124355855 e476: 114.695683175902 b287 - 16.09478639846028 x335 - 7.18610322783588 x337 + [ x335^2 + x337^2 ] <= 38.025125972608194 e477: 119.627996085735 b288 - 10.56822122003158 x335 - 18.73296366266714 x337 + [ x335^2 + x337^2 ] <= 4.975189250151715 e478: 107.656809348234 b289 - 2.12342962545888 x335 - 7.31688864797892 x337 + [ x335^2 + x337^2 ] <= 94.1453561329342 e479: 128.639684646565 b290 - 18.10199165587262 x335 - 7.96431026048794 x337 + [ x335^2 + x337^2 ] <= 31.86159968791614 e480: 141.568883438575 b291 - 18.1754541478741 x335 - 6.02776468226182 x337 + [ x335^2 + x337^2 ] <= 50.89861330202581 e481: 142.314787626056 b292 - 17.67821690343692 x335 - 16.53373844911028 x337 + [ x335^2 + x337^2 ] <= -3.1561773710816396 e482: 57.6217041967589 b293 - 6.82180222374902 x335 - 12.97971083145194 x337 + [ x335^2 + x337^2 ] <= 4.869234484744432 e483: 119.180496541755 b294 - 2.44008378364532 x335 - 5.04553991496498 x337 + [ x335^2 + x337^2 ] <= 112.32762606557658 e484: 58.8305966748386 b295 - 7.8960409133073 x335 - 12.80678912946396 x337 + [ x335^2 + x337^2 ] <= 3.240269197043844 e485: 75.9207984013209 b296 - 9.8208603413352 x335 - 6.3077891508068 x337 + [ x335^2 + x337^2 ] <= 42.86142294755927 e486: 64.8784745008497 b297 - 6.46353060286906 x335 - 14.07289005912588 x337 + [ x335^2 + x337^2 ] <= 5.922608883232485 e487: 147.724006608004 b298 - .78499773030848 x335 - 3.17742359201278 x337 + [ x335^2 + x337^2 ] <= 146.04594607808679 e488: 100.918497950284 b299 - 8.85380042038616 x335 - 17.48488883925212 x337 + [ x335^2 + x337^2 ] <= 5.890718049025651 e489: 118.022029936783 b300 - 5.18764248257022 x335 - 19.97560229639666 x337 + [ x335^2 + x337^2 ] <= 12.537949529089303 e490: b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300 = 1 e491: b1 + b31 + b61 + b91 + b121 + b151 + b181 + b211 + b241 + b271 <= 1 e492: b2 + b32 + b62 + b92 + b122 + b152 + b182 + b212 + b242 + b272 <= 1 e493: b3 + b33 + b63 + b93 + b123 + b153 + b183 + b213 + b243 + b273 <= 1 e494: b4 + b34 + b64 + b94 + b124 + b154 + b184 + b214 + b244 + b274 <= 1 e495: b5 + b35 + b65 + b95 + b125 + b155 + b185 + b215 + b245 + b275 <= 1 e496: b6 + b36 + b66 + b96 + b126 + b156 + b186 + b216 + b246 + b276 <= 1 e497: b7 + b37 + b67 + b97 + b127 + b157 + b187 + b217 + b247 + b277 <= 1 e498: b8 + b38 + b68 + b98 + b128 + b158 + b188 + b218 + b248 + b278 <= 1 e499: b9 + b39 + b69 + b99 + b129 + b159 + b189 + b219 + b249 + b279 <= 1 e500: b10 + b40 + b70 + b100 + b130 + b160 + b190 + b220 + b250 + b280 <= 1 e501: b11 + b41 + b71 + b101 + b131 + b161 + b191 + b221 + b251 + b281 <= 1 e502: b12 + b42 + b72 + b102 + b132 + b162 + b192 + b222 + b252 + b282 <= 1 e503: b13 + b43 + b73 + b103 + b133 + b163 + b193 + b223 + b253 + b283 <= 1 e504: b14 + b44 + b74 + b104 + b134 + b164 + b194 + b224 + b254 + b284 <= 1 e505: b15 + b45 + b75 + b105 + b135 + b165 + b195 + b225 + b255 + b285 <= 1 e506: b16 + b46 + b76 + b106 + b136 + b166 + b196 + b226 + b256 + b286 <= 1 e507: b17 + b47 + b77 + b107 + b137 + b167 + b197 + b227 + b257 + b287 <= 1 e508: b18 + b48 + b78 + b108 + b138 + b168 + b198 + b228 + b258 + b288 <= 1 e509: b19 + b49 + b79 + b109 + b139 + b169 + b199 + b229 + b259 + b289 <= 1 e510: b20 + b50 + b80 + b110 + b140 + b170 + b200 + b230 + b260 + b290 <= 1 e511: b21 + b51 + b81 + b111 + b141 + b171 + b201 + b231 + b261 + b291 <= 1 e512: b22 + b52 + b82 + b112 + b142 + b172 + b202 + b232 + b262 + b292 <= 1 e513: b23 + b53 + b83 + b113 + b143 + b173 + b203 + b233 + b263 + b293 <= 1 e514: b24 + b54 + b84 + b114 + b144 + b174 + b204 + b234 + b264 + b294 <= 1 e515: b25 + b55 + b85 + b115 + b145 + b175 + b205 + b235 + b265 + b295 <= 1 e516: b26 + b56 + b86 + b116 + b146 + b176 + b206 + b236 + b266 + b296 <= 1 e517: b27 + b57 + b87 + b117 + b147 + b177 + b207 + b237 + b267 + b297 <= 1 e518: b28 + b58 + b88 + b118 + b148 + b178 + b208 + b238 + b268 + b298 <= 1 e519: b29 + b59 + b89 + b119 + b149 + b179 + b209 + b239 + b269 + b299 <= 1 e520: b30 + b60 + b90 + b120 + b150 + b180 + b210 + b240 + b270 + b300 <= 1 e521: x301 - x302 <= 0 e522: x302 - x307 <= 0 e523: x307 - x311 <= 0 e524: x311 - x315 <= 0 e525: x315 - x319 <= 0 e526: x319 - x323 <= 0 e527: x323 - x327 <= 0 e528: x327 - x331 <= 0 e529: x331 - x335 <= 0 Bounds x301 <= 10 x302 <= 10 x303 <= 10 x304 <= 10 x305 <= 10 x306 <= 10 x307 <= 10 x308 <= 10 x309 <= 10 x310 <= 10 x311 <= 10 x312 <= 10 x313 <= 10 x314 <= 10 x315 <= 10 x316 <= 10 x317 <= 10 x318 <= 10 x319 <= 10 x320 <= 10 x321 <= 10 x322 <= 10 x323 <= 10 x324 <= 10 x325 <= 10 x326 <= 10 x327 <= 10 x328 <= 10 x329 <= 10 x330 <= 10 x331 <= 10 x332 <= 10 x333 <= 10 x334 <= 10 x335 <= 10 x336 <= 10 x337 <= 10 x338 <= 10 x339 <= 10 x340 <= 10 x341 <= 10 x342 <= 10 x343 <= 10 x344 <= 10 x345 <= 10 x346 <= 10 x347 <= 10 x348 <= 10 x349 <= 10 x350 <= 10 x351 <= 10 x352 <= 10 x353 <= 10 x354 <= 10 x355 <= 10 x356 <= 10 x357 <= 10 x358 <= 10 x359 <= 10 x360 <= 10 x361 <= 10 x362 <= 10 x363 <= 10 x364 <= 10 x365 <= 10 x366 <= 10 x367 <= 10 x368 <= 10 x369 <= 10 x370 <= 10 x371 <= 10 x372 <= 10 x373 <= 10 x374 <= 10 x375 <= 10 x376 <= 10 x377 <= 10 x378 <= 10 x379 <= 10 x380 <= 10 x381 <= 10 x382 <= 10 x383 <= 10 x384 <= 10 x385 <= 10 x386 <= 10 x387 <= 10 x388 <= 10 x389 <= 10 x390 <= 10 x391 <= 10 x392 <= 10 x393 <= 10 x394 <= 10 x395 <= 10 x396 <= 10 x397 <= 10 x398 <= 10 x399 <= 10 x400 <= 10 x401 <= 10 x402 <= 10 x403 <= 10 x404 <= 10 x405 <= 10 x406 <= 10 x407 <= 10 x408 <= 10 x409 <= 10 x410 <= 10 Binary 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 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 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 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 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 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 End