\ Equation counts \ Total E G L N X C B \ 337 7 0 330 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 266 56 210 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1356 936 420 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 x211 + 0 x212 + x213 + 0 x214 + 0 x215 + x216 + 0 x217 + x218 + 0 x219 + x220 + 0 x221 + x222 + 0 x223 + x224 + 0 x225 + x226 + 0 x227 + x228 + 0 x229 + x230 + 0 x231 + x232 + 0 x233 + x234 + 0 x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 Subject To e1: x211 - x212 - x213 <= 0 e2: - x211 + x212 - x213 <= 0 e3: x214 - x215 - x216 <= 0 e4: - x214 + x215 - x216 <= 0 e5: x211 - x217 - x218 <= 0 e6: - x211 + x217 - x218 <= 0 e7: x214 - x219 - x220 <= 0 e8: - x214 + x219 - x220 <= 0 e9: x211 - x221 - x222 <= 0 e10: - x211 + x221 - x222 <= 0 e11: x214 - x223 - x224 <= 0 e12: - x214 + x223 - x224 <= 0 e13: x211 - x225 - x226 <= 0 e14: - x211 + x225 - x226 <= 0 e15: x214 - x227 - x228 <= 0 e16: - x214 + x227 - x228 <= 0 e17: x211 - x229 - x230 <= 0 e18: - x211 + x229 - x230 <= 0 e19: x214 - x231 - x232 <= 0 e20: - x214 + x231 - x232 <= 0 e21: x211 - x233 - x234 <= 0 e22: - x211 + x233 - x234 <= 0 e23: x214 - x235 - x236 <= 0 e24: - x214 + x235 - x236 <= 0 e25: x212 - x217 - x237 <= 0 e26: - x212 + x217 - x237 <= 0 e27: x215 - x219 - x238 <= 0 e28: - x215 + x219 - x238 <= 0 e29: x212 - x221 - x239 <= 0 e30: - x212 + x221 - x239 <= 0 e31: x215 - x223 - x240 <= 0 e32: - x215 + x223 - x240 <= 0 e33: x212 - x225 - x241 <= 0 e34: - x212 + x225 - x241 <= 0 e35: x215 - x227 - x242 <= 0 e36: - x215 + x227 - x242 <= 0 e37: x212 - x229 - x243 <= 0 e38: - x212 + x229 - x243 <= 0 e39: x215 - x231 - x244 <= 0 e40: - x215 + x231 - x244 <= 0 e41: x212 - x233 - x245 <= 0 e42: - x212 + x233 - x245 <= 0 e43: x215 - x235 - x246 <= 0 e44: - x215 + x235 - x246 <= 0 e45: x217 - x221 - x247 <= 0 e46: - x217 + x221 - x247 <= 0 e47: x219 - x223 - x248 <= 0 e48: - x219 + x223 - x248 <= 0 e49: x217 - x225 - x249 <= 0 e50: - x217 + x225 - x249 <= 0 e51: x219 - x227 - x250 <= 0 e52: - x219 + x227 - x250 <= 0 e53: x217 - x229 - x251 <= 0 e54: - x217 + x229 - x251 <= 0 e55: x219 - x231 - x252 <= 0 e56: - x219 + x231 - x252 <= 0 e57: x217 - x233 - x253 <= 0 e58: - x217 + x233 - x253 <= 0 e59: x219 - x235 - x254 <= 0 e60: - x219 + x235 - x254 <= 0 e61: x221 - x225 - x255 <= 0 e62: - x221 + x225 - x255 <= 0 e63: x223 - x227 - x256 <= 0 e64: - x223 + x227 - x256 <= 0 e65: x221 - x229 - x257 <= 0 e66: - x221 + x229 - x257 <= 0 e67: x223 - x231 - x258 <= 0 e68: - x223 + x231 - x258 <= 0 e69: x221 - x233 - x259 <= 0 e70: - x221 + x233 - x259 <= 0 e71: x223 - x235 - x260 <= 0 e72: - x223 + x235 - x260 <= 0 e73: x225 - x229 - x261 <= 0 e74: - x225 + x229 - x261 <= 0 e75: x227 - x231 - x262 <= 0 e76: - x227 + x231 - x262 <= 0 e77: x225 - x233 - x263 <= 0 e78: - x225 + x233 - x263 <= 0 e79: x227 - x235 - x264 <= 0 e80: - x227 + x235 - x264 <= 0 e81: x229 - x233 - x265 <= 0 e82: - x229 + x233 - x265 <= 0 e83: x231 - x235 - x266 <= 0 e84: - x231 + x235 - x266 <= 0 e85: 70.3380399508289 b1 - 6.46659961384054 x211 - 8.56773736938936 x214 + [ x211^2 + x214^2 ] <= 42.53228140169052 e86: 88.6345879922179 b2 - 9.53397281559746 x211 - 4.17861551198114 x214 + [ x211^2 + x214^2 ] <= 62.54522168083771 e87: 173.07608146417 b3 - 5.34701023687068e-2 x211 - 1.565103974922232 x214 + [ x211^2 + x214^2 ] <= 173.4629790881288 e88: 119.189765523566 b4 - 17.74703268617264 x211 - 6.20954669921926 x214 + [ x211^2 + x214^2 ] <= 31.810855680099763 e89: 130.724980923409 b5 - 3.82894076779534 x211 - 15.93326118622198 x214 + [ x211^2 + x214^2 ] <= 64.59258106549574 e90: 152.289257045603 b6 - 17.10445341730716 x211 - .877733956486268 x214 + [ x211^2 + x214^2 ] <= 79.9560711448031 e91: 146.275833327099 b7 - 3.97726816000634 x211 - 17.93264660028534 x214 + [ x211^2 + x214^2 ] <= 62.9262143002676 e92: 134.290060533636 b8 - 13.91792555744806 x211 - 17.68607518006318 x214 + [ x211^2 + x214^2 ] <= 8.663583759257818 e93: 90.4153493760657 b9 - 7.22290616098702 x211 - 13.9351505446817 x214 + [ x211^2 + x214^2 ] <= 29.82565084772397 e94: 155.435876865509 b10 - 5.36678285439912 x211 - 19.87512616787994 x214 + [ x211^2 + x214^2 ] <= 50.48012726665441 e95: 104.574248000865 b11 - 7.3144192451125 x211 - 3.48792700953224 x214 + [ x211^2 + x214^2 ] <= 89.15765707159085 e96: 100.597041943368 b12 - 5.1645648442049 x211 - 5.3963982948293 x214 + [ x211^2 + x214^2 ] <= 87.64858079675956 e97: 123.776000509032 b13 - 18.96602158155506 x211 - 9.05221663018022 x214 + [ x211^2 + x214^2 ] <= 14.362850371101075 e98: 161.401265156826 b14 - .869196311921046 x211 - 16.28213286598828 x214 + [ x211^2 + x214^2 ] <= 95.93542693323779 e99: 162.651829944844 b15 - 18.04848487113822 x211 - .669437466276452 x214 + [ x211^2 + x214^2 ] <= 82.10284177860403 e100: 94.7869069625255 b16 - 15.4703427537935 x211 - 7.02646166893204 x214 + [ x211^2 + x214^2 ] <= 23.61123983631994 e101: 58.6043091351014 b17 - 8.81666951852494 x211 - 8.5642799406792 x214 + [ x211^2 + x214^2 ] <= 21.834171059799672 e102: 68.4616343579277 b18 - 7.35997517050974 x211 - 10.16670124135894 x214 + [ x211^2 + x214^2 ] <= 30.078872197535375 e103: 129.991228427538 b19 - 11.99601173887088 x211 - 6.45956721043662e-2 x214 + [ x211^2 + x214^2 ] <= 95.01411086754237 e104: 96.803038566953 b20 - 16.3516189338417 x211 - 8.05234824696604 x214 + [ x211^2 + x214^2 ] <= 14.749100054956159 e105: 154.161526075002 b21 - .34936871000607 x211 - 3.31244775104328 x214 + [ x211^2 + x214^2 ] <= 152.38793392527126 e106: 93.7411075777765 b22 - 15.50171535059122 x211 - 7.26615205029018 x214 + [ x211^2 + x214^2 ] <= 21.46607147060358 e107: 142.093349557565 b23 - 19.829672966131 x211 - 11.02966379259674 x214 + [ x211^2 + x214^2 ] <= 14.375996227208475 e108: 138.847878702949 b24 - 18.07182167099934 x211 - 3.6689902322447 x214 + [ x211^2 + x214^2 ] <= 54.83482174477189 e109: 173.07608146417 b25 - 16.40843526575232 x211 - 19.65568506931314 x214 + [ x211^2 + x214^2 ] <= 10.18040561056901 e110: 135.619467005275 b26 - 2.06497135391636 x211 - 14.32192905739888 x214 + [ x211^2 + x214^2 ] <= 84.27402735085963 e111: 165.534538704689 b27 - 19.73840779504124 x211 - 2.29612147382876 x214 + [ x211^2 + x214^2 ] <= 67.81530967820841 e112: 115.535016969841 b28 - 1.634282699053644 x211 - 9.78074663111424 x214 + [ x211^2 + x214^2 ] <= 91.95154581922134 e113: 165.534538704689 b29 - .921662658202658 x211 - 16.88480365707362 x214 + [ x211^2 + x214^2 ] <= 95.04802455632604 e114: 72.7893929676281 b30 - 13.34821494438174 x211 - 8.8922268330796 x214 + [ x211^2 + x214^2 ] <= 9.47775790453889 e115: 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 e116: 70.3380399508289 b31 - 6.46659961384054 x212 - 8.56773736938936 x215 + [ x212^2 + x215^2 ] <= 42.53228140169052 e117: 88.6345879922179 b32 - 9.53397281559746 x212 - 4.17861551198114 x215 + [ x212^2 + x215^2 ] <= 62.54522168083771 e118: 173.07608146417 b33 - 5.34701023687068e-2 x212 - 1.565103974922232 x215 + [ x212^2 + x215^2 ] <= 173.4629790881288 e119: 119.189765523566 b34 - 17.74703268617264 x212 - 6.20954669921926 x215 + [ x212^2 + x215^2 ] <= 31.810855680099763 e120: 130.724980923409 b35 - 3.82894076779534 x212 - 15.93326118622198 x215 + [ x212^2 + x215^2 ] <= 64.59258106549574 e121: 152.289257045603 b36 - 17.10445341730716 x212 - .877733956486268 x215 + [ x212^2 + x215^2 ] <= 79.9560711448031 e122: 146.275833327099 b37 - 3.97726816000634 x212 - 17.93264660028534 x215 + [ x212^2 + x215^2 ] <= 62.9262143002676 e123: 134.290060533636 b38 - 13.91792555744806 x212 - 17.68607518006318 x215 + [ x212^2 + x215^2 ] <= 8.663583759257818 e124: 90.4153493760657 b39 - 7.22290616098702 x212 - 13.9351505446817 x215 + [ x212^2 + x215^2 ] <= 29.82565084772397 e125: 155.435876865509 b40 - 5.36678285439912 x212 - 19.87512616787994 x215 + [ x212^2 + x215^2 ] <= 50.48012726665441 e126: 104.574248000865 b41 - 7.3144192451125 x212 - 3.48792700953224 x215 + [ x212^2 + x215^2 ] <= 89.15765707159085 e127: 100.597041943368 b42 - 5.1645648442049 x212 - 5.3963982948293 x215 + [ x212^2 + x215^2 ] <= 87.64858079675956 e128: 123.776000509032 b43 - 18.96602158155506 x212 - 9.05221663018022 x215 + [ x212^2 + x215^2 ] <= 14.362850371101075 e129: 161.401265156826 b44 - .869196311921046 x212 - 16.28213286598828 x215 + [ x212^2 + x215^2 ] <= 95.93542693323779 e130: 162.651829944844 b45 - 18.04848487113822 x212 - .669437466276452 x215 + [ x212^2 + x215^2 ] <= 82.10284177860403 e131: 94.7869069625255 b46 - 15.4703427537935 x212 - 7.02646166893204 x215 + [ x212^2 + x215^2 ] <= 23.61123983631994 e132: 58.6043091351014 b47 - 8.81666951852494 x212 - 8.5642799406792 x215 + [ x212^2 + x215^2 ] <= 21.834171059799672 e133: 68.4616343579277 b48 - 7.35997517050974 x212 - 10.16670124135894 x215 + [ x212^2 + x215^2 ] <= 30.078872197535375 e134: 129.991228427538 b49 - 11.99601173887088 x212 - 6.45956721043662e-2 x215 + [ x212^2 + x215^2 ] <= 95.01411086754237 e135: 96.803038566953 b50 - 16.3516189338417 x212 - 8.05234824696604 x215 + [ x212^2 + x215^2 ] <= 14.749100054956159 e136: 154.161526075002 b51 - .34936871000607 x212 - 3.31244775104328 x215 + [ x212^2 + x215^2 ] <= 152.38793392527126 e137: 93.7411075777765 b52 - 15.50171535059122 x212 - 7.26615205029018 x215 + [ x212^2 + x215^2 ] <= 21.46607147060358 e138: 142.093349557565 b53 - 19.829672966131 x212 - 11.02966379259674 x215 + [ x212^2 + x215^2 ] <= 14.375996227208475 e139: 138.847878702949 b54 - 18.07182167099934 x212 - 3.6689902322447 x215 + [ x212^2 + x215^2 ] <= 54.83482174477189 e140: 173.07608146417 b55 - 16.40843526575232 x212 - 19.65568506931314 x215 + [ x212^2 + x215^2 ] <= 10.18040561056901 e141: 135.619467005275 b56 - 2.06497135391636 x212 - 14.32192905739888 x215 + [ x212^2 + x215^2 ] <= 84.27402735085963 e142: 165.534538704689 b57 - 19.73840779504124 x212 - 2.29612147382876 x215 + [ x212^2 + x215^2 ] <= 67.81530967820841 e143: 115.535016969841 b58 - 1.634282699053644 x212 - 9.78074663111424 x215 + [ x212^2 + x215^2 ] <= 91.95154581922134 e144: 165.534538704689 b59 - .921662658202658 x212 - 16.88480365707362 x215 + [ x212^2 + x215^2 ] <= 95.04802455632604 e145: 72.7893929676281 b60 - 13.34821494438174 x212 - 8.8922268330796 x215 + [ x212^2 + x215^2 ] <= 9.47775790453889 e146: 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 e147: 70.3380399508289 b61 - 6.46659961384054 x217 - 8.56773736938936 x219 + [ x217^2 + x219^2 ] <= 42.53228140169052 e148: 88.6345879922179 b62 - 9.53397281559746 x217 - 4.17861551198114 x219 + [ x217^2 + x219^2 ] <= 62.54522168083771 e149: 173.07608146417 b63 - 5.34701023687068e-2 x217 - 1.565103974922232 x219 + [ x217^2 + x219^2 ] <= 173.4629790881288 e150: 119.189765523566 b64 - 17.74703268617264 x217 - 6.20954669921926 x219 + [ x217^2 + x219^2 ] <= 31.810855680099763 e151: 130.724980923409 b65 - 3.82894076779534 x217 - 15.93326118622198 x219 + [ x217^2 + x219^2 ] <= 64.59258106549574 e152: 152.289257045603 b66 - 17.10445341730716 x217 - .877733956486268 x219 + [ x217^2 + x219^2 ] <= 79.9560711448031 e153: 146.275833327099 b67 - 3.97726816000634 x217 - 17.93264660028534 x219 + [ x217^2 + x219^2 ] <= 62.9262143002676 e154: 134.290060533636 b68 - 13.91792555744806 x217 - 17.68607518006318 x219 + [ x217^2 + x219^2 ] <= 8.663583759257818 e155: 90.4153493760657 b69 - 7.22290616098702 x217 - 13.9351505446817 x219 + [ x217^2 + x219^2 ] <= 29.82565084772397 e156: 155.435876865509 b70 - 5.36678285439912 x217 - 19.87512616787994 x219 + [ x217^2 + x219^2 ] <= 50.48012726665441 e157: 104.574248000865 b71 - 7.3144192451125 x217 - 3.48792700953224 x219 + [ x217^2 + x219^2 ] <= 89.15765707159085 e158: 100.597041943368 b72 - 5.1645648442049 x217 - 5.3963982948293 x219 + [ x217^2 + x219^2 ] <= 87.64858079675956 e159: 123.776000509032 b73 - 18.96602158155506 x217 - 9.05221663018022 x219 + [ x217^2 + x219^2 ] <= 14.362850371101075 e160: 161.401265156826 b74 - .869196311921046 x217 - 16.28213286598828 x219 + [ x217^2 + x219^2 ] <= 95.93542693323779 e161: 162.651829944844 b75 - 18.04848487113822 x217 - .669437466276452 x219 + [ x217^2 + x219^2 ] <= 82.10284177860403 e162: 94.7869069625255 b76 - 15.4703427537935 x217 - 7.02646166893204 x219 + [ x217^2 + x219^2 ] <= 23.61123983631994 e163: 58.6043091351014 b77 - 8.81666951852494 x217 - 8.5642799406792 x219 + [ x217^2 + x219^2 ] <= 21.834171059799672 e164: 68.4616343579277 b78 - 7.35997517050974 x217 - 10.16670124135894 x219 + [ x217^2 + x219^2 ] <= 30.078872197535375 e165: 129.991228427538 b79 - 11.99601173887088 x217 - 6.45956721043662e-2 x219 + [ x217^2 + x219^2 ] <= 95.01411086754237 e166: 96.803038566953 b80 - 16.3516189338417 x217 - 8.05234824696604 x219 + [ x217^2 + x219^2 ] <= 14.749100054956159 e167: 154.161526075002 b81 - .34936871000607 x217 - 3.31244775104328 x219 + [ x217^2 + x219^2 ] <= 152.38793392527126 e168: 93.7411075777765 b82 - 15.50171535059122 x217 - 7.26615205029018 x219 + [ x217^2 + x219^2 ] <= 21.46607147060358 e169: 142.093349557565 b83 - 19.829672966131 x217 - 11.02966379259674 x219 + [ x217^2 + x219^2 ] <= 14.375996227208475 e170: 138.847878702949 b84 - 18.07182167099934 x217 - 3.6689902322447 x219 + [ x217^2 + x219^2 ] <= 54.83482174477189 e171: 173.07608146417 b85 - 16.40843526575232 x217 - 19.65568506931314 x219 + [ x217^2 + x219^2 ] <= 10.18040561056901 e172: 135.619467005275 b86 - 2.06497135391636 x217 - 14.32192905739888 x219 + [ x217^2 + x219^2 ] <= 84.27402735085963 e173: 165.534538704689 b87 - 19.73840779504124 x217 - 2.29612147382876 x219 + [ x217^2 + x219^2 ] <= 67.81530967820841 e174: 115.535016969841 b88 - 1.634282699053644 x217 - 9.78074663111424 x219 + [ x217^2 + x219^2 ] <= 91.95154581922134 e175: 165.534538704689 b89 - .921662658202658 x217 - 16.88480365707362 x219 + [ x217^2 + x219^2 ] <= 95.04802455632604 e176: 72.7893929676281 b90 - 13.34821494438174 x217 - 8.8922268330796 x219 + [ x217^2 + x219^2 ] <= 9.47775790453889 e177: 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 e178: 70.3380399508289 b91 - 6.46659961384054 x221 - 8.56773736938936 x223 + [ x221^2 + x223^2 ] <= 42.53228140169052 e179: 88.6345879922179 b92 - 9.53397281559746 x221 - 4.17861551198114 x223 + [ x221^2 + x223^2 ] <= 62.54522168083771 e180: 173.07608146417 b93 - 5.34701023687068e-2 x221 - 1.565103974922232 x223 + [ x221^2 + x223^2 ] <= 173.4629790881288 e181: 119.189765523566 b94 - 17.74703268617264 x221 - 6.20954669921926 x223 + [ x221^2 + x223^2 ] <= 31.810855680099763 e182: 130.724980923409 b95 - 3.82894076779534 x221 - 15.93326118622198 x223 + [ x221^2 + x223^2 ] <= 64.59258106549574 e183: 152.289257045603 b96 - 17.10445341730716 x221 - .877733956486268 x223 + [ x221^2 + x223^2 ] <= 79.9560711448031 e184: 146.275833327099 b97 - 3.97726816000634 x221 - 17.93264660028534 x223 + [ x221^2 + x223^2 ] <= 62.9262143002676 e185: 134.290060533636 b98 - 13.91792555744806 x221 - 17.68607518006318 x223 + [ x221^2 + x223^2 ] <= 8.663583759257818 e186: 90.4153493760657 b99 - 7.22290616098702 x221 - 13.9351505446817 x223 + [ x221^2 + x223^2 ] <= 29.82565084772397 e187: 155.435876865509 b100 - 5.36678285439912 x221 - 19.87512616787994 x223 + [ x221^2 + x223^2 ] <= 50.48012726665441 e188: 104.574248000865 b101 - 7.3144192451125 x221 - 3.48792700953224 x223 + [ x221^2 + x223^2 ] <= 89.15765707159085 e189: 100.597041943368 b102 - 5.1645648442049 x221 - 5.3963982948293 x223 + [ x221^2 + x223^2 ] <= 87.64858079675956 e190: 123.776000509032 b103 - 18.96602158155506 x221 - 9.05221663018022 x223 + [ x221^2 + x223^2 ] <= 14.362850371101075 e191: 161.401265156826 b104 - .869196311921046 x221 - 16.28213286598828 x223 + [ x221^2 + x223^2 ] <= 95.93542693323779 e192: 162.651829944844 b105 - 18.04848487113822 x221 - .669437466276452 x223 + [ x221^2 + x223^2 ] <= 82.10284177860403 e193: 94.7869069625255 b106 - 15.4703427537935 x221 - 7.02646166893204 x223 + [ x221^2 + x223^2 ] <= 23.61123983631994 e194: 58.6043091351014 b107 - 8.81666951852494 x221 - 8.5642799406792 x223 + [ x221^2 + x223^2 ] <= 21.834171059799672 e195: 68.4616343579277 b108 - 7.35997517050974 x221 - 10.16670124135894 x223 + [ x221^2 + x223^2 ] <= 30.078872197535375 e196: 129.991228427538 b109 - 11.99601173887088 x221 - 6.45956721043662e-2 x223 + [ x221^2 + x223^2 ] <= 95.01411086754237 e197: 96.803038566953 b110 - 16.3516189338417 x221 - 8.05234824696604 x223 + [ x221^2 + x223^2 ] <= 14.749100054956159 e198: 154.161526075002 b111 - .34936871000607 x221 - 3.31244775104328 x223 + [ x221^2 + x223^2 ] <= 152.38793392527126 e199: 93.7411075777765 b112 - 15.50171535059122 x221 - 7.26615205029018 x223 + [ x221^2 + x223^2 ] <= 21.46607147060358 e200: 142.093349557565 b113 - 19.829672966131 x221 - 11.02966379259674 x223 + [ x221^2 + x223^2 ] <= 14.375996227208475 e201: 138.847878702949 b114 - 18.07182167099934 x221 - 3.6689902322447 x223 + [ x221^2 + x223^2 ] <= 54.83482174477189 e202: 173.07608146417 b115 - 16.40843526575232 x221 - 19.65568506931314 x223 + [ x221^2 + x223^2 ] <= 10.18040561056901 e203: 135.619467005275 b116 - 2.06497135391636 x221 - 14.32192905739888 x223 + [ x221^2 + x223^2 ] <= 84.27402735085963 e204: 165.534538704689 b117 - 19.73840779504124 x221 - 2.29612147382876 x223 + [ x221^2 + x223^2 ] <= 67.81530967820841 e205: 115.535016969841 b118 - 1.634282699053644 x221 - 9.78074663111424 x223 + [ x221^2 + x223^2 ] <= 91.95154581922134 e206: 165.534538704689 b119 - .921662658202658 x221 - 16.88480365707362 x223 + [ x221^2 + x223^2 ] <= 95.04802455632604 e207: 72.7893929676281 b120 - 13.34821494438174 x221 - 8.8922268330796 x223 + [ x221^2 + x223^2 ] <= 9.47775790453889 e208: 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 e209: 70.3380399508289 b121 - 6.46659961384054 x225 - 8.56773736938936 x227 + [ x225^2 + x227^2 ] <= 42.53228140169052 e210: 88.6345879922179 b122 - 9.53397281559746 x225 - 4.17861551198114 x227 + [ x225^2 + x227^2 ] <= 62.54522168083771 e211: 173.07608146417 b123 - 5.34701023687068e-2 x225 - 1.565103974922232 x227 + [ x225^2 + x227^2 ] <= 173.4629790881288 e212: 119.189765523566 b124 - 17.74703268617264 x225 - 6.20954669921926 x227 + [ x225^2 + x227^2 ] <= 31.810855680099763 e213: 130.724980923409 b125 - 3.82894076779534 x225 - 15.93326118622198 x227 + [ x225^2 + x227^2 ] <= 64.59258106549574 e214: 152.289257045603 b126 - 17.10445341730716 x225 - .877733956486268 x227 + [ x225^2 + x227^2 ] <= 79.9560711448031 e215: 146.275833327099 b127 - 3.97726816000634 x225 - 17.93264660028534 x227 + [ x225^2 + x227^2 ] <= 62.9262143002676 e216: 134.290060533636 b128 - 13.91792555744806 x225 - 17.68607518006318 x227 + [ x225^2 + x227^2 ] <= 8.663583759257818 e217: 90.4153493760657 b129 - 7.22290616098702 x225 - 13.9351505446817 x227 + [ x225^2 + x227^2 ] <= 29.82565084772397 e218: 155.435876865509 b130 - 5.36678285439912 x225 - 19.87512616787994 x227 + [ x225^2 + x227^2 ] <= 50.48012726665441 e219: 104.574248000865 b131 - 7.3144192451125 x225 - 3.48792700953224 x227 + [ x225^2 + x227^2 ] <= 89.15765707159085 e220: 100.597041943368 b132 - 5.1645648442049 x225 - 5.3963982948293 x227 + [ x225^2 + x227^2 ] <= 87.64858079675956 e221: 123.776000509032 b133 - 18.96602158155506 x225 - 9.05221663018022 x227 + [ x225^2 + x227^2 ] <= 14.362850371101075 e222: 161.401265156826 b134 - .869196311921046 x225 - 16.28213286598828 x227 + [ x225^2 + x227^2 ] <= 95.93542693323779 e223: 162.651829944844 b135 - 18.04848487113822 x225 - .669437466276452 x227 + [ x225^2 + x227^2 ] <= 82.10284177860403 e224: 94.7869069625255 b136 - 15.4703427537935 x225 - 7.02646166893204 x227 + [ x225^2 + x227^2 ] <= 23.61123983631994 e225: 58.6043091351014 b137 - 8.81666951852494 x225 - 8.5642799406792 x227 + [ x225^2 + x227^2 ] <= 21.834171059799672 e226: 68.4616343579277 b138 - 7.35997517050974 x225 - 10.16670124135894 x227 + [ x225^2 + x227^2 ] <= 30.078872197535375 e227: 129.991228427538 b139 - 11.99601173887088 x225 - 6.45956721043662e-2 x227 + [ x225^2 + x227^2 ] <= 95.01411086754237 e228: 96.803038566953 b140 - 16.3516189338417 x225 - 8.05234824696604 x227 + [ x225^2 + x227^2 ] <= 14.749100054956159 e229: 154.161526075002 b141 - .34936871000607 x225 - 3.31244775104328 x227 + [ x225^2 + x227^2 ] <= 152.38793392527126 e230: 93.7411075777765 b142 - 15.50171535059122 x225 - 7.26615205029018 x227 + [ x225^2 + x227^2 ] <= 21.46607147060358 e231: 142.093349557565 b143 - 19.829672966131 x225 - 11.02966379259674 x227 + [ x225^2 + x227^2 ] <= 14.375996227208475 e232: 138.847878702949 b144 - 18.07182167099934 x225 - 3.6689902322447 x227 + [ x225^2 + x227^2 ] <= 54.83482174477189 e233: 173.07608146417 b145 - 16.40843526575232 x225 - 19.65568506931314 x227 + [ x225^2 + x227^2 ] <= 10.18040561056901 e234: 135.619467005275 b146 - 2.06497135391636 x225 - 14.32192905739888 x227 + [ x225^2 + x227^2 ] <= 84.27402735085963 e235: 165.534538704689 b147 - 19.73840779504124 x225 - 2.29612147382876 x227 + [ x225^2 + x227^2 ] <= 67.81530967820841 e236: 115.535016969841 b148 - 1.634282699053644 x225 - 9.78074663111424 x227 + [ x225^2 + x227^2 ] <= 91.95154581922134 e237: 165.534538704689 b149 - .921662658202658 x225 - 16.88480365707362 x227 + [ x225^2 + x227^2 ] <= 95.04802455632604 e238: 72.7893929676281 b150 - 13.34821494438174 x225 - 8.8922268330796 x227 + [ x225^2 + x227^2 ] <= 9.47775790453889 e239: 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 e240: 70.3380399508289 b151 - 6.46659961384054 x229 - 8.56773736938936 x231 + [ x229^2 + x231^2 ] <= 42.53228140169052 e241: 88.6345879922179 b152 - 9.53397281559746 x229 - 4.17861551198114 x231 + [ x229^2 + x231^2 ] <= 62.54522168083771 e242: 173.07608146417 b153 - 5.34701023687068e-2 x229 - 1.565103974922232 x231 + [ x229^2 + x231^2 ] <= 173.4629790881288 e243: 119.189765523566 b154 - 17.74703268617264 x229 - 6.20954669921926 x231 + [ x229^2 + x231^2 ] <= 31.810855680099763 e244: 130.724980923409 b155 - 3.82894076779534 x229 - 15.93326118622198 x231 + [ x229^2 + x231^2 ] <= 64.59258106549574 e245: 152.289257045603 b156 - 17.10445341730716 x229 - .877733956486268 x231 + [ x229^2 + x231^2 ] <= 79.9560711448031 e246: 146.275833327099 b157 - 3.97726816000634 x229 - 17.93264660028534 x231 + [ x229^2 + x231^2 ] <= 62.9262143002676 e247: 134.290060533636 b158 - 13.91792555744806 x229 - 17.68607518006318 x231 + [ x229^2 + x231^2 ] <= 8.663583759257818 e248: 90.4153493760657 b159 - 7.22290616098702 x229 - 13.9351505446817 x231 + [ x229^2 + x231^2 ] <= 29.82565084772397 e249: 155.435876865509 b160 - 5.36678285439912 x229 - 19.87512616787994 x231 + [ x229^2 + x231^2 ] <= 50.48012726665441 e250: 104.574248000865 b161 - 7.3144192451125 x229 - 3.48792700953224 x231 + [ x229^2 + x231^2 ] <= 89.15765707159085 e251: 100.597041943368 b162 - 5.1645648442049 x229 - 5.3963982948293 x231 + [ x229^2 + x231^2 ] <= 87.64858079675956 e252: 123.776000509032 b163 - 18.96602158155506 x229 - 9.05221663018022 x231 + [ x229^2 + x231^2 ] <= 14.362850371101075 e253: 161.401265156826 b164 - .869196311921046 x229 - 16.28213286598828 x231 + [ x229^2 + x231^2 ] <= 95.93542693323779 e254: 162.651829944844 b165 - 18.04848487113822 x229 - .669437466276452 x231 + [ x229^2 + x231^2 ] <= 82.10284177860403 e255: 94.7869069625255 b166 - 15.4703427537935 x229 - 7.02646166893204 x231 + [ x229^2 + x231^2 ] <= 23.61123983631994 e256: 58.6043091351014 b167 - 8.81666951852494 x229 - 8.5642799406792 x231 + [ x229^2 + x231^2 ] <= 21.834171059799672 e257: 68.4616343579277 b168 - 7.35997517050974 x229 - 10.16670124135894 x231 + [ x229^2 + x231^2 ] <= 30.078872197535375 e258: 129.991228427538 b169 - 11.99601173887088 x229 - 6.45956721043662e-2 x231 + [ x229^2 + x231^2 ] <= 95.01411086754237 e259: 96.803038566953 b170 - 16.3516189338417 x229 - 8.05234824696604 x231 + [ x229^2 + x231^2 ] <= 14.749100054956159 e260: 154.161526075002 b171 - .34936871000607 x229 - 3.31244775104328 x231 + [ x229^2 + x231^2 ] <= 152.38793392527126 e261: 93.7411075777765 b172 - 15.50171535059122 x229 - 7.26615205029018 x231 + [ x229^2 + x231^2 ] <= 21.46607147060358 e262: 142.093349557565 b173 - 19.829672966131 x229 - 11.02966379259674 x231 + [ x229^2 + x231^2 ] <= 14.375996227208475 e263: 138.847878702949 b174 - 18.07182167099934 x229 - 3.6689902322447 x231 + [ x229^2 + x231^2 ] <= 54.83482174477189 e264: 173.07608146417 b175 - 16.40843526575232 x229 - 19.65568506931314 x231 + [ x229^2 + x231^2 ] <= 10.18040561056901 e265: 135.619467005275 b176 - 2.06497135391636 x229 - 14.32192905739888 x231 + [ x229^2 + x231^2 ] <= 84.27402735085963 e266: 165.534538704689 b177 - 19.73840779504124 x229 - 2.29612147382876 x231 + [ x229^2 + x231^2 ] <= 67.81530967820841 e267: 115.535016969841 b178 - 1.634282699053644 x229 - 9.78074663111424 x231 + [ x229^2 + x231^2 ] <= 91.95154581922134 e268: 165.534538704689 b179 - .921662658202658 x229 - 16.88480365707362 x231 + [ x229^2 + x231^2 ] <= 95.04802455632604 e269: 72.7893929676281 b180 - 13.34821494438174 x229 - 8.8922268330796 x231 + [ x229^2 + x231^2 ] <= 9.47775790453889 e270: 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 e271: 70.3380399508289 b181 - 6.46659961384054 x233 - 8.56773736938936 x235 + [ x233^2 + x235^2 ] <= 42.53228140169052 e272: 88.6345879922179 b182 - 9.53397281559746 x233 - 4.17861551198114 x235 + [ x233^2 + x235^2 ] <= 62.54522168083771 e273: 173.07608146417 b183 - 5.34701023687068e-2 x233 - 1.565103974922232 x235 + [ x233^2 + x235^2 ] <= 173.4629790881288 e274: 119.189765523566 b184 - 17.74703268617264 x233 - 6.20954669921926 x235 + [ x233^2 + x235^2 ] <= 31.810855680099763 e275: 130.724980923409 b185 - 3.82894076779534 x233 - 15.93326118622198 x235 + [ x233^2 + x235^2 ] <= 64.59258106549574 e276: 152.289257045603 b186 - 17.10445341730716 x233 - .877733956486268 x235 + [ x233^2 + x235^2 ] <= 79.9560711448031 e277: 146.275833327099 b187 - 3.97726816000634 x233 - 17.93264660028534 x235 + [ x233^2 + x235^2 ] <= 62.9262143002676 e278: 134.290060533636 b188 - 13.91792555744806 x233 - 17.68607518006318 x235 + [ x233^2 + x235^2 ] <= 8.663583759257818 e279: 90.4153493760657 b189 - 7.22290616098702 x233 - 13.9351505446817 x235 + [ x233^2 + x235^2 ] <= 29.82565084772397 e280: 155.435876865509 b190 - 5.36678285439912 x233 - 19.87512616787994 x235 + [ x233^2 + x235^2 ] <= 50.48012726665441 e281: 104.574248000865 b191 - 7.3144192451125 x233 - 3.48792700953224 x235 + [ x233^2 + x235^2 ] <= 89.15765707159085 e282: 100.597041943368 b192 - 5.1645648442049 x233 - 5.3963982948293 x235 + [ x233^2 + x235^2 ] <= 87.64858079675956 e283: 123.776000509032 b193 - 18.96602158155506 x233 - 9.05221663018022 x235 + [ x233^2 + x235^2 ] <= 14.362850371101075 e284: 161.401265156826 b194 - .869196311921046 x233 - 16.28213286598828 x235 + [ x233^2 + x235^2 ] <= 95.93542693323779 e285: 162.651829944844 b195 - 18.04848487113822 x233 - .669437466276452 x235 + [ x233^2 + x235^2 ] <= 82.10284177860403 e286: 94.7869069625255 b196 - 15.4703427537935 x233 - 7.02646166893204 x235 + [ x233^2 + x235^2 ] <= 23.61123983631994 e287: 58.6043091351014 b197 - 8.81666951852494 x233 - 8.5642799406792 x235 + [ x233^2 + x235^2 ] <= 21.834171059799672 e288: 68.4616343579277 b198 - 7.35997517050974 x233 - 10.16670124135894 x235 + [ x233^2 + x235^2 ] <= 30.078872197535375 e289: 129.991228427538 b199 - 11.99601173887088 x233 - 6.45956721043662e-2 x235 + [ x233^2 + x235^2 ] <= 95.01411086754237 e290: 96.803038566953 b200 - 16.3516189338417 x233 - 8.05234824696604 x235 + [ x233^2 + x235^2 ] <= 14.749100054956159 e291: 154.161526075002 b201 - .34936871000607 x233 - 3.31244775104328 x235 + [ x233^2 + x235^2 ] <= 152.38793392527126 e292: 93.7411075777765 b202 - 15.50171535059122 x233 - 7.26615205029018 x235 + [ x233^2 + x235^2 ] <= 21.46607147060358 e293: 142.093349557565 b203 - 19.829672966131 x233 - 11.02966379259674 x235 + [ x233^2 + x235^2 ] <= 14.375996227208475 e294: 138.847878702949 b204 - 18.07182167099934 x233 - 3.6689902322447 x235 + [ x233^2 + x235^2 ] <= 54.83482174477189 e295: 173.07608146417 b205 - 16.40843526575232 x233 - 19.65568506931314 x235 + [ x233^2 + x235^2 ] <= 10.18040561056901 e296: 135.619467005275 b206 - 2.06497135391636 x233 - 14.32192905739888 x235 + [ x233^2 + x235^2 ] <= 84.27402735085963 e297: 165.534538704689 b207 - 19.73840779504124 x233 - 2.29612147382876 x235 + [ x233^2 + x235^2 ] <= 67.81530967820841 e298: 115.535016969841 b208 - 1.634282699053644 x233 - 9.78074663111424 x235 + [ x233^2 + x235^2 ] <= 91.95154581922134 e299: 165.534538704689 b209 - .921662658202658 x233 - 16.88480365707362 x235 + [ x233^2 + x235^2 ] <= 95.04802455632604 e300: 72.7893929676281 b210 - 13.34821494438174 x233 - 8.8922268330796 x235 + [ x233^2 + x235^2 ] <= 9.47775790453889 e301: 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 e302: b1 + b31 + b61 + b91 + b121 + b151 + b181 <= 1 e303: b2 + b32 + b62 + b92 + b122 + b152 + b182 <= 1 e304: b3 + b33 + b63 + b93 + b123 + b153 + b183 <= 1 e305: b4 + b34 + b64 + b94 + b124 + b154 + b184 <= 1 e306: b5 + b35 + b65 + b95 + b125 + b155 + b185 <= 1 e307: b6 + b36 + b66 + b96 + b126 + b156 + b186 <= 1 e308: b7 + b37 + b67 + b97 + b127 + b157 + b187 <= 1 e309: b8 + b38 + b68 + b98 + b128 + b158 + b188 <= 1 e310: b9 + b39 + b69 + b99 + b129 + b159 + b189 <= 1 e311: b10 + b40 + b70 + b100 + b130 + b160 + b190 <= 1 e312: b11 + b41 + b71 + b101 + b131 + b161 + b191 <= 1 e313: b12 + b42 + b72 + b102 + b132 + b162 + b192 <= 1 e314: b13 + b43 + b73 + b103 + b133 + b163 + b193 <= 1 e315: b14 + b44 + b74 + b104 + b134 + b164 + b194 <= 1 e316: b15 + b45 + b75 + b105 + b135 + b165 + b195 <= 1 e317: b16 + b46 + b76 + b106 + b136 + b166 + b196 <= 1 e318: b17 + b47 + b77 + b107 + b137 + b167 + b197 <= 1 e319: b18 + b48 + b78 + b108 + b138 + b168 + b198 <= 1 e320: b19 + b49 + b79 + b109 + b139 + b169 + b199 <= 1 e321: b20 + b50 + b80 + b110 + b140 + b170 + b200 <= 1 e322: b21 + b51 + b81 + b111 + b141 + b171 + b201 <= 1 e323: b22 + b52 + b82 + b112 + b142 + b172 + b202 <= 1 e324: b23 + b53 + b83 + b113 + b143 + b173 + b203 <= 1 e325: b24 + b54 + b84 + b114 + b144 + b174 + b204 <= 1 e326: b25 + b55 + b85 + b115 + b145 + b175 + b205 <= 1 e327: b26 + b56 + b86 + b116 + b146 + b176 + b206 <= 1 e328: b27 + b57 + b87 + b117 + b147 + b177 + b207 <= 1 e329: b28 + b58 + b88 + b118 + b148 + b178 + b208 <= 1 e330: b29 + b59 + b89 + b119 + b149 + b179 + b209 <= 1 e331: b30 + b60 + b90 + b120 + b150 + b180 + b210 <= 1 e332: x211 - x212 <= 0 e333: x212 - x217 <= 0 e334: x217 - x221 <= 0 e335: x221 - x225 <= 0 e336: x225 - x229 <= 0 e337: x229 - x233 <= 0 Bounds x211 <= 10 x212 <= 10 x213 <= 10 x214 <= 10 x215 <= 10 x216 <= 10 x217 <= 10 x218 <= 10 x219 <= 10 x220 <= 10 x221 <= 10 x222 <= 10 x223 <= 10 x224 <= 10 x225 <= 10 x226 <= 10 x227 <= 10 x228 <= 10 x229 <= 10 x230 <= 10 x231 <= 10 x232 <= 10 x233 <= 10 x234 <= 10 x235 <= 10 x236 <= 10 x237 <= 10 x238 <= 10 x239 <= 10 x240 <= 10 x241 <= 10 x242 <= 10 x243 <= 10 x244 <= 10 x245 <= 10 x246 <= 10 x247 <= 10 x248 <= 10 x249 <= 10 x250 <= 10 x251 <= 10 x252 <= 10 x253 <= 10 x254 <= 10 x255 <= 10 x256 <= 10 x257 <= 10 x258 <= 10 x259 <= 10 x260 <= 10 x261 <= 10 x262 <= 10 x263 <= 10 x264 <= 10 x265 <= 10 x266 <= 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 End