\ Equation counts \ Total E G L N X C B \ 329 5 0 324 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 260 60 200 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1688 888 800 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 x201 + 0 x202 + x203 + 0 x204 + 0 x205 + x206 + 0 x207 + 0 x208 + x209 + 0 x210 + 0 x211 + x212 + 0 x213 + 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 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: x210 - x211 - x212 <= 0 e8: - x210 + x211 - x212 <= 0 e9: x201 - x213 - x214 <= 0 e10: - x201 + x213 - x214 <= 0 e11: x204 - x215 - x216 <= 0 e12: - x204 + x215 - x216 <= 0 e13: x207 - x217 - x218 <= 0 e14: - x207 + x217 - x218 <= 0 e15: x210 - x219 - x220 <= 0 e16: - x210 + x219 - x220 <= 0 e17: x201 - x221 - x222 <= 0 e18: - x201 + x221 - x222 <= 0 e19: x204 - x223 - x224 <= 0 e20: - x204 + x223 - x224 <= 0 e21: x207 - x225 - x226 <= 0 e22: - x207 + x225 - x226 <= 0 e23: x210 - x227 - x228 <= 0 e24: - x210 + x227 - x228 <= 0 e25: x201 - x229 - x230 <= 0 e26: - x201 + x229 - x230 <= 0 e27: x204 - x231 - x232 <= 0 e28: - x204 + x231 - x232 <= 0 e29: x207 - x233 - x234 <= 0 e30: - x207 + x233 - x234 <= 0 e31: x210 - x235 - x236 <= 0 e32: - x210 + x235 - x236 <= 0 e33: x202 - x213 - x237 <= 0 e34: - x202 + x213 - x237 <= 0 e35: x205 - x215 - x238 <= 0 e36: - x205 + x215 - x238 <= 0 e37: x208 - x217 - x239 <= 0 e38: - x208 + x217 - x239 <= 0 e39: x211 - x219 - x240 <= 0 e40: - x211 + x219 - x240 <= 0 e41: x202 - x221 - x241 <= 0 e42: - x202 + x221 - x241 <= 0 e43: x205 - x223 - x242 <= 0 e44: - x205 + x223 - x242 <= 0 e45: x208 - x225 - x243 <= 0 e46: - x208 + x225 - x243 <= 0 e47: x211 - x227 - x244 <= 0 e48: - x211 + x227 - x244 <= 0 e49: x202 - x229 - x245 <= 0 e50: - x202 + x229 - x245 <= 0 e51: x205 - x231 - x246 <= 0 e52: - x205 + x231 - x246 <= 0 e53: x208 - x233 - x247 <= 0 e54: - x208 + x233 - x247 <= 0 e55: x211 - x235 - x248 <= 0 e56: - x211 + x235 - x248 <= 0 e57: x213 - x221 - x249 <= 0 e58: - x213 + x221 - x249 <= 0 e59: x215 - x223 - x250 <= 0 e60: - x215 + x223 - x250 <= 0 e61: x217 - x225 - x251 <= 0 e62: - x217 + x225 - x251 <= 0 e63: x219 - x227 - x252 <= 0 e64: - x219 + x227 - x252 <= 0 e65: x213 - x229 - x253 <= 0 e66: - x213 + x229 - x253 <= 0 e67: x215 - x231 - x254 <= 0 e68: - x215 + x231 - x254 <= 0 e69: x217 - x233 - x255 <= 0 e70: - x217 + x233 - x255 <= 0 e71: x219 - x235 - x256 <= 0 e72: - x219 + x235 - x256 <= 0 e73: x221 - x229 - x257 <= 0 e74: - x221 + x229 - x257 <= 0 e75: x223 - x231 - x258 <= 0 e76: - x223 + x231 - x258 <= 0 e77: x225 - x233 - x259 <= 0 e78: - x225 + x233 - x259 <= 0 e79: x227 - x235 - x260 <= 0 e80: - x227 + x235 - x260 <= 0 e81: 247.918202243131 b1 - 8.08361420046644 x201 - .1276241813230716 x204 - 18.62327928110654 x207 - 19.18798725221096 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 53.82657913144513 e82: 172.97632549661 b2 - 15.17260947325056 x201 - 19.63393616468628 x204 - 13.61188125102024 x207 - 11.47883121845556 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -59.21027572349368 e83: 192.870854266185 b3 - 9.47152417390962 x201 - 5.63475830273712 x204 - 1.839839512756322 x207 - .854793125122426 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 162.4768662595162 e84: 168.997467410559 b4 - .857706060381626 x201 - 11.42589059342848 x204 - 4.12159415695474 x207 - 7.75511169468116 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 117.89348457789983 e85: 160.592363348786 b5 - 2.1549355484962 x201 - 1.604686649280284 x204 - 10.11121853261536 x207 - 12.77166777900218 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 93.44961221577154 e86: 165.579518594568 b6 - 2.2527724278699 x201 - 3.20931527560406 x204 - 8.15973602280894 x207 - 4.34075463960894 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 141.3799858562658 e87: 104.866109371321 b7 - 3.6537603877633 x201 - 9.26822479754884 x204 - 10.10290862329018 x207 - 7.49711973933334 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 41.48472864493597 e88: 167.587335871824 b8 - 16.88034778648468 x201 - 7.64806136933386 x204 - 17.84707474087858 x207 - 9.28547887034908 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -18.45695881817116 e89: 128.282182640462 b9 - 11.74352773707658 x201 - 2.88351264417832 x204 - 6.36330445756426 x207 - 10.39579109157028 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 55.58488141049891 e90: 226.736334872871 b10 - 13.52026595258244 x201 - 6.42509994019282 x204 - 18.93413454819592 x207 - 1.633209033598284 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 81.42425399621123 e91: 131.046642602757 b11 - 6.49803289599918 x201 - 15.02961033576348 x204 - 8.03017414728294 x207 - 9.01644878281906 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 28.5732266399404 e92: 152.01486044439 b12 - .77780015246897 x201 - 11.74326742110828 x204 - 7.67161452872604 x207 - 6.04652706402626 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 94.53399499083841 e93: 202.990878768535 b13 - 1.580892272694132 x201 - 16.51081723493022 x204 - 17.52650882564712 x207 - 6.32551464180832 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 48.41664045794735 e94: 187.279582970004 b14 - 4.49671682135882 x201 - 2.98656752029988 x204 - 12.10539434152346 x207 - 18.60070793025888 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 57.86284412115762 e95: 158.002379384289 b15 - 18.01013707064598 x201 - 9.68516414785978 x204 - 10.60484896380138 x207 - 3.93894859790094 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 22.46598451519148 e96: 229.407479988904 b16 - 14.13704949473472 x201 - .806137324828668 x204 - .40439827052042 x207 - 3.45454101315338 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 177.25662564494903 e97: 215.942963749551 b17 - 4.08830873221884 x201 - 19.58680771399182 x204 - 2.74459341002314 x207 - 12.2806090197248 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 77.26709985042231 e98: 247.918202243131 b18 - 15.15248064933924 x201 - 15.52434511934434 x204 - .710256751413112 x207 - 2.89223902773632 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 129.0500841282311 e99: 195.00222302105 b19 - 10.54864707644836 x201 - 17.89406080419574 x204 - 12.4747514761986 x207 - 18.46923613743194 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -36.0486457541644 e100: 172.294180536922 b20 - 1.992372091902952 x201 - 2.72914910954036 x204 - 3.12942088191192 x207 - 6.73633547066078 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 156.64685752589008 e101: 229.407479988904 b21 - 8.04467019619754 x201 - 16.91491304803916 x204 - 18.02508296852886 x207 - 17.49370824723206 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -15.033631573580664 e102: 180.771322437022 b22 - 17.4171453780181 x201 - 2.23593988769192 x204 - 10.00864106607678 x207 - 4.80771634794794 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 73.86046924395367 e103: 152.663354968323 b23 - 15.09531401918398 x201 - 9.60286150534678 x204 - 16.80093634925798 x207 - 16.58227929573392 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -65.6683708522238 e104: 188.008216290247 b24 - 1.933731102005086 x201 - 19.85711240286688 x204 - 11.49902639459956 x207 - 7.07275856464894 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 43.93427861713104 e105: 245.091065242949 b25 - .91077834265546 x201 - 2.97207326427522 x204 - 19.64376492930974 x207 - 14.8923472072616 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 91.76050458862863 e106: 140.463739979998 b26 - 13.50831209159016 x201 - 9.12767818441996 x204 - 11.61630897462258 x207 - 2.78461370783222 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 39.3433119055277 e107: 199.511614429278 b27 - 17.71780058630766 x201 - 12.32283728850654 x204 - 4.50747359553958 x207 - 5.21016466083708 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 72.20263681360467 e108: 126.987839343492 b28 - 10.7098996732552 x201 - 13.0057241599162 x204 - 7.55721762833766 x207 - 7.7754750844431 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 27.632748592023816 e109: 181.595796730204 b29 - .226518025135718 x201 - 9.91732603079214 x204 - 16.78557216009766 x207 - 4.67997994304506 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 82.08021897373189 e110: 140.650077775347 b30 - 8.02372035863874 x201 - 3.17010560542696 x204 - 13.33403409480374 x207 - 12.31159727966988 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 40.69969008500786 e111: 129.582385211462 b31 - 13.93738956856928 x201 - 8.20797819905976 x204 - 12.0205655735972 x207 - 5.48823918570566 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 21.523260168719645 e112: 226.736334872871 b32 - 9.74570390170044 x201 - 19.72591530154014 x204 - .286978718731832 x207 - 17.61264665979388 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 29.141795330143964 e113: 199.220071314074 b33 - 15.66262419827088 x201 - 2.87218674785548 x204 - 6.60108526710488 x207 - 2.51437114156428e-3 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 125.93467468495689 e114: 149.784254351217 b34 - 11.32909528000256 x201 - 11.12663090408206 x204 - 2.29987423662326 x207 - 9.1431783326924 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 65.52489268452962 e115: 146.896187485824 b35 - 6.66380206044062 x201 - 9.8891767585356 x204 - 14.61457455251388 x207 - 16.02492470884162 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -5.25033154850658 e116: 219.90174536577 b36 - 18.66596489007602 x201 - 1.447703161025684 x204 - 16.8572863578513 x207 - 8.64238014748122 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 43.55851344472714 e117: 164.06318777512 b37 - 10.16126574457396 x201 - 16.77523039730452 x204 - 2.8054712172394 x207 - 13.72824961184036 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 19.81439213255615 e118: 194.814503184848 b38 - 4.74468136094032 x201 - 14.10168521119624 x204 - 18.97142830896394 x207 - 11.55319813438324 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 17.124251628097994 e119: 149.300564915884 b39 - 8.32396346729682 x201 - 10.90228289544296 x204 - 18.00365810326794 x207 - 6.9652999540736 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= 10.101752744198137 e120: 99.1502941148379 b40 - 8.91867573515404 x201 - 8.95610378516926 x204 - 13.23385644030798 x207 - 11.2686240431162 x210 + [ x201^2 + x204^2 + x207^2 + x210^2 ] <= -15.317559881993503 e121: 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 e122: 247.918202243131 b41 - 8.08361420046644 x202 - .1276241813230716 x205 - 18.62327928110654 x208 - 19.18798725221096 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 53.82657913144513 e123: 172.97632549661 b42 - 15.17260947325056 x202 - 19.63393616468628 x205 - 13.61188125102024 x208 - 11.47883121845556 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -59.21027572349368 e124: 192.870854266185 b43 - 9.47152417390962 x202 - 5.63475830273712 x205 - 1.839839512756322 x208 - .854793125122426 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 162.4768662595162 e125: 168.997467410559 b44 - .857706060381626 x202 - 11.42589059342848 x205 - 4.12159415695474 x208 - 7.75511169468116 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 117.89348457789983 e126: 160.592363348786 b45 - 2.1549355484962 x202 - 1.604686649280284 x205 - 10.11121853261536 x208 - 12.77166777900218 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 93.44961221577154 e127: 165.579518594568 b46 - 2.2527724278699 x202 - 3.20931527560406 x205 - 8.15973602280894 x208 - 4.34075463960894 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 141.3799858562658 e128: 104.866109371321 b47 - 3.6537603877633 x202 - 9.26822479754884 x205 - 10.10290862329018 x208 - 7.49711973933334 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 41.48472864493597 e129: 167.587335871824 b48 - 16.88034778648468 x202 - 7.64806136933386 x205 - 17.84707474087858 x208 - 9.28547887034908 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -18.45695881817116 e130: 128.282182640462 b49 - 11.74352773707658 x202 - 2.88351264417832 x205 - 6.36330445756426 x208 - 10.39579109157028 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 55.58488141049891 e131: 226.736334872871 b50 - 13.52026595258244 x202 - 6.42509994019282 x205 - 18.93413454819592 x208 - 1.633209033598284 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 81.42425399621123 e132: 131.046642602757 b51 - 6.49803289599918 x202 - 15.02961033576348 x205 - 8.03017414728294 x208 - 9.01644878281906 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 28.5732266399404 e133: 152.01486044439 b52 - .77780015246897 x202 - 11.74326742110828 x205 - 7.67161452872604 x208 - 6.04652706402626 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 94.53399499083841 e134: 202.990878768535 b53 - 1.580892272694132 x202 - 16.51081723493022 x205 - 17.52650882564712 x208 - 6.32551464180832 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 48.41664045794735 e135: 187.279582970004 b54 - 4.49671682135882 x202 - 2.98656752029988 x205 - 12.10539434152346 x208 - 18.60070793025888 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 57.86284412115762 e136: 158.002379384289 b55 - 18.01013707064598 x202 - 9.68516414785978 x205 - 10.60484896380138 x208 - 3.93894859790094 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 22.46598451519148 e137: 229.407479988904 b56 - 14.13704949473472 x202 - .806137324828668 x205 - .40439827052042 x208 - 3.45454101315338 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 177.25662564494903 e138: 215.942963749551 b57 - 4.08830873221884 x202 - 19.58680771399182 x205 - 2.74459341002314 x208 - 12.2806090197248 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 77.26709985042231 e139: 247.918202243131 b58 - 15.15248064933924 x202 - 15.52434511934434 x205 - .710256751413112 x208 - 2.89223902773632 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 129.0500841282311 e140: 195.00222302105 b59 - 10.54864707644836 x202 - 17.89406080419574 x205 - 12.4747514761986 x208 - 18.46923613743194 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -36.0486457541644 e141: 172.294180536922 b60 - 1.992372091902952 x202 - 2.72914910954036 x205 - 3.12942088191192 x208 - 6.73633547066078 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 156.64685752589008 e142: 229.407479988904 b61 - 8.04467019619754 x202 - 16.91491304803916 x205 - 18.02508296852886 x208 - 17.49370824723206 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -15.033631573580664 e143: 180.771322437022 b62 - 17.4171453780181 x202 - 2.23593988769192 x205 - 10.00864106607678 x208 - 4.80771634794794 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 73.86046924395367 e144: 152.663354968323 b63 - 15.09531401918398 x202 - 9.60286150534678 x205 - 16.80093634925798 x208 - 16.58227929573392 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -65.6683708522238 e145: 188.008216290247 b64 - 1.933731102005086 x202 - 19.85711240286688 x205 - 11.49902639459956 x208 - 7.07275856464894 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 43.93427861713104 e146: 245.091065242949 b65 - .91077834265546 x202 - 2.97207326427522 x205 - 19.64376492930974 x208 - 14.8923472072616 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 91.76050458862863 e147: 140.463739979998 b66 - 13.50831209159016 x202 - 9.12767818441996 x205 - 11.61630897462258 x208 - 2.78461370783222 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 39.3433119055277 e148: 199.511614429278 b67 - 17.71780058630766 x202 - 12.32283728850654 x205 - 4.50747359553958 x208 - 5.21016466083708 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 72.20263681360467 e149: 126.987839343492 b68 - 10.7098996732552 x202 - 13.0057241599162 x205 - 7.55721762833766 x208 - 7.7754750844431 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 27.632748592023816 e150: 181.595796730204 b69 - .226518025135718 x202 - 9.91732603079214 x205 - 16.78557216009766 x208 - 4.67997994304506 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 82.08021897373189 e151: 140.650077775347 b70 - 8.02372035863874 x202 - 3.17010560542696 x205 - 13.33403409480374 x208 - 12.31159727966988 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 40.69969008500786 e152: 129.582385211462 b71 - 13.93738956856928 x202 - 8.20797819905976 x205 - 12.0205655735972 x208 - 5.48823918570566 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 21.523260168719645 e153: 226.736334872871 b72 - 9.74570390170044 x202 - 19.72591530154014 x205 - .286978718731832 x208 - 17.61264665979388 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 29.141795330143964 e154: 199.220071314074 b73 - 15.66262419827088 x202 - 2.87218674785548 x205 - 6.60108526710488 x208 - 2.51437114156428e-3 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 125.93467468495689 e155: 149.784254351217 b74 - 11.32909528000256 x202 - 11.12663090408206 x205 - 2.29987423662326 x208 - 9.1431783326924 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 65.52489268452962 e156: 146.896187485824 b75 - 6.66380206044062 x202 - 9.8891767585356 x205 - 14.61457455251388 x208 - 16.02492470884162 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -5.25033154850658 e157: 219.90174536577 b76 - 18.66596489007602 x202 - 1.447703161025684 x205 - 16.8572863578513 x208 - 8.64238014748122 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 43.55851344472714 e158: 164.06318777512 b77 - 10.16126574457396 x202 - 16.77523039730452 x205 - 2.8054712172394 x208 - 13.72824961184036 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 19.81439213255615 e159: 194.814503184848 b78 - 4.74468136094032 x202 - 14.10168521119624 x205 - 18.97142830896394 x208 - 11.55319813438324 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 17.124251628097994 e160: 149.300564915884 b79 - 8.32396346729682 x202 - 10.90228289544296 x205 - 18.00365810326794 x208 - 6.9652999540736 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= 10.101752744198137 e161: 99.1502941148379 b80 - 8.91867573515404 x202 - 8.95610378516926 x205 - 13.23385644030798 x208 - 11.2686240431162 x211 + [ x202^2 + x205^2 + x208^2 + x211^2 ] <= -15.317559881993503 e162: 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 e163: 247.918202243131 b81 - 8.08361420046644 x213 - .1276241813230716 x215 - 18.62327928110654 x217 - 19.18798725221096 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 53.82657913144513 e164: 172.97632549661 b82 - 15.17260947325056 x213 - 19.63393616468628 x215 - 13.61188125102024 x217 - 11.47883121845556 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -59.21027572349368 e165: 192.870854266185 b83 - 9.47152417390962 x213 - 5.63475830273712 x215 - 1.839839512756322 x217 - .854793125122426 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 162.4768662595162 e166: 168.997467410559 b84 - .857706060381626 x213 - 11.42589059342848 x215 - 4.12159415695474 x217 - 7.75511169468116 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 117.89348457789983 e167: 160.592363348786 b85 - 2.1549355484962 x213 - 1.604686649280284 x215 - 10.11121853261536 x217 - 12.77166777900218 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 93.44961221577154 e168: 165.579518594568 b86 - 2.2527724278699 x213 - 3.20931527560406 x215 - 8.15973602280894 x217 - 4.34075463960894 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 141.3799858562658 e169: 104.866109371321 b87 - 3.6537603877633 x213 - 9.26822479754884 x215 - 10.10290862329018 x217 - 7.49711973933334 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 41.48472864493597 e170: 167.587335871824 b88 - 16.88034778648468 x213 - 7.64806136933386 x215 - 17.84707474087858 x217 - 9.28547887034908 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -18.45695881817116 e171: 128.282182640462 b89 - 11.74352773707658 x213 - 2.88351264417832 x215 - 6.36330445756426 x217 - 10.39579109157028 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 55.58488141049891 e172: 226.736334872871 b90 - 13.52026595258244 x213 - 6.42509994019282 x215 - 18.93413454819592 x217 - 1.633209033598284 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 81.42425399621123 e173: 131.046642602757 b91 - 6.49803289599918 x213 - 15.02961033576348 x215 - 8.03017414728294 x217 - 9.01644878281906 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 28.5732266399404 e174: 152.01486044439 b92 - .77780015246897 x213 - 11.74326742110828 x215 - 7.67161452872604 x217 - 6.04652706402626 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 94.53399499083841 e175: 202.990878768535 b93 - 1.580892272694132 x213 - 16.51081723493022 x215 - 17.52650882564712 x217 - 6.32551464180832 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 48.41664045794735 e176: 187.279582970004 b94 - 4.49671682135882 x213 - 2.98656752029988 x215 - 12.10539434152346 x217 - 18.60070793025888 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 57.86284412115762 e177: 158.002379384289 b95 - 18.01013707064598 x213 - 9.68516414785978 x215 - 10.60484896380138 x217 - 3.93894859790094 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 22.46598451519148 e178: 229.407479988904 b96 - 14.13704949473472 x213 - .806137324828668 x215 - .40439827052042 x217 - 3.45454101315338 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 177.25662564494903 e179: 215.942963749551 b97 - 4.08830873221884 x213 - 19.58680771399182 x215 - 2.74459341002314 x217 - 12.2806090197248 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 77.26709985042231 e180: 247.918202243131 b98 - 15.15248064933924 x213 - 15.52434511934434 x215 - .710256751413112 x217 - 2.89223902773632 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 129.0500841282311 e181: 195.00222302105 b99 - 10.54864707644836 x213 - 17.89406080419574 x215 - 12.4747514761986 x217 - 18.46923613743194 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -36.0486457541644 e182: 172.294180536922 b100 - 1.992372091902952 x213 - 2.72914910954036 x215 - 3.12942088191192 x217 - 6.73633547066078 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 156.64685752589008 e183: 229.407479988904 b101 - 8.04467019619754 x213 - 16.91491304803916 x215 - 18.02508296852886 x217 - 17.49370824723206 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -15.033631573580664 e184: 180.771322437022 b102 - 17.4171453780181 x213 - 2.23593988769192 x215 - 10.00864106607678 x217 - 4.80771634794794 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 73.86046924395367 e185: 152.663354968323 b103 - 15.09531401918398 x213 - 9.60286150534678 x215 - 16.80093634925798 x217 - 16.58227929573392 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -65.6683708522238 e186: 188.008216290247 b104 - 1.933731102005086 x213 - 19.85711240286688 x215 - 11.49902639459956 x217 - 7.07275856464894 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 43.93427861713104 e187: 245.091065242949 b105 - .91077834265546 x213 - 2.97207326427522 x215 - 19.64376492930974 x217 - 14.8923472072616 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 91.76050458862863 e188: 140.463739979998 b106 - 13.50831209159016 x213 - 9.12767818441996 x215 - 11.61630897462258 x217 - 2.78461370783222 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 39.3433119055277 e189: 199.511614429278 b107 - 17.71780058630766 x213 - 12.32283728850654 x215 - 4.50747359553958 x217 - 5.21016466083708 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 72.20263681360467 e190: 126.987839343492 b108 - 10.7098996732552 x213 - 13.0057241599162 x215 - 7.55721762833766 x217 - 7.7754750844431 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 27.632748592023816 e191: 181.595796730204 b109 - .226518025135718 x213 - 9.91732603079214 x215 - 16.78557216009766 x217 - 4.67997994304506 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 82.08021897373189 e192: 140.650077775347 b110 - 8.02372035863874 x213 - 3.17010560542696 x215 - 13.33403409480374 x217 - 12.31159727966988 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 40.69969008500786 e193: 129.582385211462 b111 - 13.93738956856928 x213 - 8.20797819905976 x215 - 12.0205655735972 x217 - 5.48823918570566 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 21.523260168719645 e194: 226.736334872871 b112 - 9.74570390170044 x213 - 19.72591530154014 x215 - .286978718731832 x217 - 17.61264665979388 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 29.141795330143964 e195: 199.220071314074 b113 - 15.66262419827088 x213 - 2.87218674785548 x215 - 6.60108526710488 x217 - 2.51437114156428e-3 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 125.93467468495689 e196: 149.784254351217 b114 - 11.32909528000256 x213 - 11.12663090408206 x215 - 2.29987423662326 x217 - 9.1431783326924 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 65.52489268452962 e197: 146.896187485824 b115 - 6.66380206044062 x213 - 9.8891767585356 x215 - 14.61457455251388 x217 - 16.02492470884162 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -5.25033154850658 e198: 219.90174536577 b116 - 18.66596489007602 x213 - 1.447703161025684 x215 - 16.8572863578513 x217 - 8.64238014748122 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 43.55851344472714 e199: 164.06318777512 b117 - 10.16126574457396 x213 - 16.77523039730452 x215 - 2.8054712172394 x217 - 13.72824961184036 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 19.81439213255615 e200: 194.814503184848 b118 - 4.74468136094032 x213 - 14.10168521119624 x215 - 18.97142830896394 x217 - 11.55319813438324 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 17.124251628097994 e201: 149.300564915884 b119 - 8.32396346729682 x213 - 10.90228289544296 x215 - 18.00365810326794 x217 - 6.9652999540736 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= 10.101752744198137 e202: 99.1502941148379 b120 - 8.91867573515404 x213 - 8.95610378516926 x215 - 13.23385644030798 x217 - 11.2686240431162 x219 + [ x213^2 + x215^2 + x217^2 + x219^2 ] <= -15.317559881993503 e203: 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 e204: 247.918202243131 b121 - 8.08361420046644 x221 - .1276241813230716 x223 - 18.62327928110654 x225 - 19.18798725221096 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 53.82657913144513 e205: 172.97632549661 b122 - 15.17260947325056 x221 - 19.63393616468628 x223 - 13.61188125102024 x225 - 11.47883121845556 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -59.21027572349368 e206: 192.870854266185 b123 - 9.47152417390962 x221 - 5.63475830273712 x223 - 1.839839512756322 x225 - .854793125122426 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 162.4768662595162 e207: 168.997467410559 b124 - .857706060381626 x221 - 11.42589059342848 x223 - 4.12159415695474 x225 - 7.75511169468116 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 117.89348457789983 e208: 160.592363348786 b125 - 2.1549355484962 x221 - 1.604686649280284 x223 - 10.11121853261536 x225 - 12.77166777900218 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 93.44961221577154 e209: 165.579518594568 b126 - 2.2527724278699 x221 - 3.20931527560406 x223 - 8.15973602280894 x225 - 4.34075463960894 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 141.3799858562658 e210: 104.866109371321 b127 - 3.6537603877633 x221 - 9.26822479754884 x223 - 10.10290862329018 x225 - 7.49711973933334 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 41.48472864493597 e211: 167.587335871824 b128 - 16.88034778648468 x221 - 7.64806136933386 x223 - 17.84707474087858 x225 - 9.28547887034908 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -18.45695881817116 e212: 128.282182640462 b129 - 11.74352773707658 x221 - 2.88351264417832 x223 - 6.36330445756426 x225 - 10.39579109157028 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 55.58488141049891 e213: 226.736334872871 b130 - 13.52026595258244 x221 - 6.42509994019282 x223 - 18.93413454819592 x225 - 1.633209033598284 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 81.42425399621123 e214: 131.046642602757 b131 - 6.49803289599918 x221 - 15.02961033576348 x223 - 8.03017414728294 x225 - 9.01644878281906 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 28.5732266399404 e215: 152.01486044439 b132 - .77780015246897 x221 - 11.74326742110828 x223 - 7.67161452872604 x225 - 6.04652706402626 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 94.53399499083841 e216: 202.990878768535 b133 - 1.580892272694132 x221 - 16.51081723493022 x223 - 17.52650882564712 x225 - 6.32551464180832 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 48.41664045794735 e217: 187.279582970004 b134 - 4.49671682135882 x221 - 2.98656752029988 x223 - 12.10539434152346 x225 - 18.60070793025888 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 57.86284412115762 e218: 158.002379384289 b135 - 18.01013707064598 x221 - 9.68516414785978 x223 - 10.60484896380138 x225 - 3.93894859790094 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 22.46598451519148 e219: 229.407479988904 b136 - 14.13704949473472 x221 - .806137324828668 x223 - .40439827052042 x225 - 3.45454101315338 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 177.25662564494903 e220: 215.942963749551 b137 - 4.08830873221884 x221 - 19.58680771399182 x223 - 2.74459341002314 x225 - 12.2806090197248 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 77.26709985042231 e221: 247.918202243131 b138 - 15.15248064933924 x221 - 15.52434511934434 x223 - .710256751413112 x225 - 2.89223902773632 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 129.0500841282311 e222: 195.00222302105 b139 - 10.54864707644836 x221 - 17.89406080419574 x223 - 12.4747514761986 x225 - 18.46923613743194 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -36.0486457541644 e223: 172.294180536922 b140 - 1.992372091902952 x221 - 2.72914910954036 x223 - 3.12942088191192 x225 - 6.73633547066078 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 156.64685752589008 e224: 229.407479988904 b141 - 8.04467019619754 x221 - 16.91491304803916 x223 - 18.02508296852886 x225 - 17.49370824723206 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -15.033631573580664 e225: 180.771322437022 b142 - 17.4171453780181 x221 - 2.23593988769192 x223 - 10.00864106607678 x225 - 4.80771634794794 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 73.86046924395367 e226: 152.663354968323 b143 - 15.09531401918398 x221 - 9.60286150534678 x223 - 16.80093634925798 x225 - 16.58227929573392 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -65.6683708522238 e227: 188.008216290247 b144 - 1.933731102005086 x221 - 19.85711240286688 x223 - 11.49902639459956 x225 - 7.07275856464894 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 43.93427861713104 e228: 245.091065242949 b145 - .91077834265546 x221 - 2.97207326427522 x223 - 19.64376492930974 x225 - 14.8923472072616 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 91.76050458862863 e229: 140.463739979998 b146 - 13.50831209159016 x221 - 9.12767818441996 x223 - 11.61630897462258 x225 - 2.78461370783222 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 39.3433119055277 e230: 199.511614429278 b147 - 17.71780058630766 x221 - 12.32283728850654 x223 - 4.50747359553958 x225 - 5.21016466083708 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 72.20263681360467 e231: 126.987839343492 b148 - 10.7098996732552 x221 - 13.0057241599162 x223 - 7.55721762833766 x225 - 7.7754750844431 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 27.632748592023816 e232: 181.595796730204 b149 - .226518025135718 x221 - 9.91732603079214 x223 - 16.78557216009766 x225 - 4.67997994304506 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 82.08021897373189 e233: 140.650077775347 b150 - 8.02372035863874 x221 - 3.17010560542696 x223 - 13.33403409480374 x225 - 12.31159727966988 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 40.69969008500786 e234: 129.582385211462 b151 - 13.93738956856928 x221 - 8.20797819905976 x223 - 12.0205655735972 x225 - 5.48823918570566 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 21.523260168719645 e235: 226.736334872871 b152 - 9.74570390170044 x221 - 19.72591530154014 x223 - .286978718731832 x225 - 17.61264665979388 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 29.141795330143964 e236: 199.220071314074 b153 - 15.66262419827088 x221 - 2.87218674785548 x223 - 6.60108526710488 x225 - 2.51437114156428e-3 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 125.93467468495689 e237: 149.784254351217 b154 - 11.32909528000256 x221 - 11.12663090408206 x223 - 2.29987423662326 x225 - 9.1431783326924 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 65.52489268452962 e238: 146.896187485824 b155 - 6.66380206044062 x221 - 9.8891767585356 x223 - 14.61457455251388 x225 - 16.02492470884162 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -5.25033154850658 e239: 219.90174536577 b156 - 18.66596489007602 x221 - 1.447703161025684 x223 - 16.8572863578513 x225 - 8.64238014748122 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 43.55851344472714 e240: 164.06318777512 b157 - 10.16126574457396 x221 - 16.77523039730452 x223 - 2.8054712172394 x225 - 13.72824961184036 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 19.81439213255615 e241: 194.814503184848 b158 - 4.74468136094032 x221 - 14.10168521119624 x223 - 18.97142830896394 x225 - 11.55319813438324 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 17.124251628097994 e242: 149.300564915884 b159 - 8.32396346729682 x221 - 10.90228289544296 x223 - 18.00365810326794 x225 - 6.9652999540736 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= 10.101752744198137 e243: 99.1502941148379 b160 - 8.91867573515404 x221 - 8.95610378516926 x223 - 13.23385644030798 x225 - 11.2686240431162 x227 + [ x221^2 + x223^2 + x225^2 + x227^2 ] <= -15.317559881993503 e244: 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 e245: 247.918202243131 b161 - 8.08361420046644 x229 - .1276241813230716 x231 - 18.62327928110654 x233 - 19.18798725221096 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 53.82657913144513 e246: 172.97632549661 b162 - 15.17260947325056 x229 - 19.63393616468628 x231 - 13.61188125102024 x233 - 11.47883121845556 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -59.21027572349368 e247: 192.870854266185 b163 - 9.47152417390962 x229 - 5.63475830273712 x231 - 1.839839512756322 x233 - .854793125122426 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 162.4768662595162 e248: 168.997467410559 b164 - .857706060381626 x229 - 11.42589059342848 x231 - 4.12159415695474 x233 - 7.75511169468116 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 117.89348457789983 e249: 160.592363348786 b165 - 2.1549355484962 x229 - 1.604686649280284 x231 - 10.11121853261536 x233 - 12.77166777900218 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 93.44961221577154 e250: 165.579518594568 b166 - 2.2527724278699 x229 - 3.20931527560406 x231 - 8.15973602280894 x233 - 4.34075463960894 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 141.3799858562658 e251: 104.866109371321 b167 - 3.6537603877633 x229 - 9.26822479754884 x231 - 10.10290862329018 x233 - 7.49711973933334 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 41.48472864493597 e252: 167.587335871824 b168 - 16.88034778648468 x229 - 7.64806136933386 x231 - 17.84707474087858 x233 - 9.28547887034908 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -18.45695881817116 e253: 128.282182640462 b169 - 11.74352773707658 x229 - 2.88351264417832 x231 - 6.36330445756426 x233 - 10.39579109157028 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 55.58488141049891 e254: 226.736334872871 b170 - 13.52026595258244 x229 - 6.42509994019282 x231 - 18.93413454819592 x233 - 1.633209033598284 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 81.42425399621123 e255: 131.046642602757 b171 - 6.49803289599918 x229 - 15.02961033576348 x231 - 8.03017414728294 x233 - 9.01644878281906 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 28.5732266399404 e256: 152.01486044439 b172 - .77780015246897 x229 - 11.74326742110828 x231 - 7.67161452872604 x233 - 6.04652706402626 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 94.53399499083841 e257: 202.990878768535 b173 - 1.580892272694132 x229 - 16.51081723493022 x231 - 17.52650882564712 x233 - 6.32551464180832 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 48.41664045794735 e258: 187.279582970004 b174 - 4.49671682135882 x229 - 2.98656752029988 x231 - 12.10539434152346 x233 - 18.60070793025888 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 57.86284412115762 e259: 158.002379384289 b175 - 18.01013707064598 x229 - 9.68516414785978 x231 - 10.60484896380138 x233 - 3.93894859790094 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 22.46598451519148 e260: 229.407479988904 b176 - 14.13704949473472 x229 - .806137324828668 x231 - .40439827052042 x233 - 3.45454101315338 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 177.25662564494903 e261: 215.942963749551 b177 - 4.08830873221884 x229 - 19.58680771399182 x231 - 2.74459341002314 x233 - 12.2806090197248 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 77.26709985042231 e262: 247.918202243131 b178 - 15.15248064933924 x229 - 15.52434511934434 x231 - .710256751413112 x233 - 2.89223902773632 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 129.0500841282311 e263: 195.00222302105 b179 - 10.54864707644836 x229 - 17.89406080419574 x231 - 12.4747514761986 x233 - 18.46923613743194 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -36.0486457541644 e264: 172.294180536922 b180 - 1.992372091902952 x229 - 2.72914910954036 x231 - 3.12942088191192 x233 - 6.73633547066078 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 156.64685752589008 e265: 229.407479988904 b181 - 8.04467019619754 x229 - 16.91491304803916 x231 - 18.02508296852886 x233 - 17.49370824723206 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -15.033631573580664 e266: 180.771322437022 b182 - 17.4171453780181 x229 - 2.23593988769192 x231 - 10.00864106607678 x233 - 4.80771634794794 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 73.86046924395367 e267: 152.663354968323 b183 - 15.09531401918398 x229 - 9.60286150534678 x231 - 16.80093634925798 x233 - 16.58227929573392 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -65.6683708522238 e268: 188.008216290247 b184 - 1.933731102005086 x229 - 19.85711240286688 x231 - 11.49902639459956 x233 - 7.07275856464894 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 43.93427861713104 e269: 245.091065242949 b185 - .91077834265546 x229 - 2.97207326427522 x231 - 19.64376492930974 x233 - 14.8923472072616 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 91.76050458862863 e270: 140.463739979998 b186 - 13.50831209159016 x229 - 9.12767818441996 x231 - 11.61630897462258 x233 - 2.78461370783222 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 39.3433119055277 e271: 199.511614429278 b187 - 17.71780058630766 x229 - 12.32283728850654 x231 - 4.50747359553958 x233 - 5.21016466083708 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 72.20263681360467 e272: 126.987839343492 b188 - 10.7098996732552 x229 - 13.0057241599162 x231 - 7.55721762833766 x233 - 7.7754750844431 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 27.632748592023816 e273: 181.595796730204 b189 - .226518025135718 x229 - 9.91732603079214 x231 - 16.78557216009766 x233 - 4.67997994304506 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 82.08021897373189 e274: 140.650077775347 b190 - 8.02372035863874 x229 - 3.17010560542696 x231 - 13.33403409480374 x233 - 12.31159727966988 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 40.69969008500786 e275: 129.582385211462 b191 - 13.93738956856928 x229 - 8.20797819905976 x231 - 12.0205655735972 x233 - 5.48823918570566 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 21.523260168719645 e276: 226.736334872871 b192 - 9.74570390170044 x229 - 19.72591530154014 x231 - .286978718731832 x233 - 17.61264665979388 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 29.141795330143964 e277: 199.220071314074 b193 - 15.66262419827088 x229 - 2.87218674785548 x231 - 6.60108526710488 x233 - 2.51437114156428e-3 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 125.93467468495689 e278: 149.784254351217 b194 - 11.32909528000256 x229 - 11.12663090408206 x231 - 2.29987423662326 x233 - 9.1431783326924 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 65.52489268452962 e279: 146.896187485824 b195 - 6.66380206044062 x229 - 9.8891767585356 x231 - 14.61457455251388 x233 - 16.02492470884162 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -5.25033154850658 e280: 219.90174536577 b196 - 18.66596489007602 x229 - 1.447703161025684 x231 - 16.8572863578513 x233 - 8.64238014748122 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 43.55851344472714 e281: 164.06318777512 b197 - 10.16126574457396 x229 - 16.77523039730452 x231 - 2.8054712172394 x233 - 13.72824961184036 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 19.81439213255615 e282: 194.814503184848 b198 - 4.74468136094032 x229 - 14.10168521119624 x231 - 18.97142830896394 x233 - 11.55319813438324 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 17.124251628097994 e283: 149.300564915884 b199 - 8.32396346729682 x229 - 10.90228289544296 x231 - 18.00365810326794 x233 - 6.9652999540736 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= 10.101752744198137 e284: 99.1502941148379 b200 - 8.91867573515404 x229 - 8.95610378516926 x231 - 13.23385644030798 x233 - 11.2686240431162 x235 + [ x229^2 + x231^2 + x233^2 + x235^2 ] <= -15.317559881993503 e285: 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 e286: b1 + b41 + b81 + b121 + b161 <= 1 e287: b2 + b42 + b82 + b122 + b162 <= 1 e288: b3 + b43 + b83 + b123 + b163 <= 1 e289: b4 + b44 + b84 + b124 + b164 <= 1 e290: b5 + b45 + b85 + b125 + b165 <= 1 e291: b6 + b46 + b86 + b126 + b166 <= 1 e292: b7 + b47 + b87 + b127 + b167 <= 1 e293: b8 + b48 + b88 + b128 + b168 <= 1 e294: b9 + b49 + b89 + b129 + b169 <= 1 e295: b10 + b50 + b90 + b130 + b170 <= 1 e296: b11 + b51 + b91 + b131 + b171 <= 1 e297: b12 + b52 + b92 + b132 + b172 <= 1 e298: b13 + b53 + b93 + b133 + b173 <= 1 e299: b14 + b54 + b94 + b134 + b174 <= 1 e300: b15 + b55 + b95 + b135 + b175 <= 1 e301: b16 + b56 + b96 + b136 + b176 <= 1 e302: b17 + b57 + b97 + b137 + b177 <= 1 e303: b18 + b58 + b98 + b138 + b178 <= 1 e304: b19 + b59 + b99 + b139 + b179 <= 1 e305: b20 + b60 + b100 + b140 + b180 <= 1 e306: b21 + b61 + b101 + b141 + b181 <= 1 e307: b22 + b62 + b102 + b142 + b182 <= 1 e308: b23 + b63 + b103 + b143 + b183 <= 1 e309: b24 + b64 + b104 + b144 + b184 <= 1 e310: b25 + b65 + b105 + b145 + b185 <= 1 e311: b26 + b66 + b106 + b146 + b186 <= 1 e312: b27 + b67 + b107 + b147 + b187 <= 1 e313: b28 + b68 + b108 + b148 + b188 <= 1 e314: b29 + b69 + b109 + b149 + b189 <= 1 e315: b30 + b70 + b110 + b150 + b190 <= 1 e316: b31 + b71 + b111 + b151 + b191 <= 1 e317: b32 + b72 + b112 + b152 + b192 <= 1 e318: b33 + b73 + b113 + b153 + b193 <= 1 e319: b34 + b74 + b114 + b154 + b194 <= 1 e320: b35 + b75 + b115 + b155 + b195 <= 1 e321: b36 + b76 + b116 + b156 + b196 <= 1 e322: b37 + b77 + b117 + b157 + b197 <= 1 e323: b38 + b78 + b118 + b158 + b198 <= 1 e324: b39 + b79 + b119 + b159 + b199 <= 1 e325: b40 + b80 + b120 + b160 + b200 <= 1 e326: x201 - x202 <= 0 e327: x202 - x213 <= 0 e328: x213 - x221 <= 0 e329: x221 - x229 <= 0 Bounds x201 <= 10 x202 <= 10 x203 <= 10 x204 <= 10 x205 <= 10 x206 <= 10 x207 <= 10 x208 <= 10 x209 <= 10 x210 <= 10 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 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 End