\ Equation counts \ Total E G L N X C B \ 309 5 0 304 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 245 45 200 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1418 818 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 x201 + 0 x202 + x203 + 0 x204 + 0 x205 + x206 + 0 x207 + 0 x208 + x209 + 0 x210 + x211 + 0 x212 + x213 + 0 x214 + x215 + 0 x216 + x217 + 0 x218 + x219 + 0 x220 + x221 + 0 x222 + x223 + 0 x224 + x225 + 0 x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 Subject To e1: x201 - x202 - x203 <= 0 e2: - x201 + x202 - x203 <= 0 e3: x204 - x205 - x206 <= 0 e4: - x204 + x205 - x206 <= 0 e5: x207 - x208 - x209 <= 0 e6: - x207 + x208 - x209 <= 0 e7: x201 - x210 - x211 <= 0 e8: - x201 + x210 - x211 <= 0 e9: x204 - x212 - x213 <= 0 e10: - x204 + x212 - x213 <= 0 e11: x207 - x214 - x215 <= 0 e12: - x207 + x214 - x215 <= 0 e13: x201 - x216 - x217 <= 0 e14: - x201 + x216 - x217 <= 0 e15: x204 - x218 - x219 <= 0 e16: - x204 + x218 - x219 <= 0 e17: x207 - x220 - x221 <= 0 e18: - x207 + x220 - x221 <= 0 e19: x201 - x222 - x223 <= 0 e20: - x201 + x222 - x223 <= 0 e21: x204 - x224 - x225 <= 0 e22: - x204 + x224 - x225 <= 0 e23: x207 - x226 - x227 <= 0 e24: - x207 + x226 - x227 <= 0 e25: x202 - x210 - x228 <= 0 e26: - x202 + x210 - x228 <= 0 e27: x205 - x212 - x229 <= 0 e28: - x205 + x212 - x229 <= 0 e29: x208 - x214 - x230 <= 0 e30: - x208 + x214 - x230 <= 0 e31: x202 - x216 - x231 <= 0 e32: - x202 + x216 - x231 <= 0 e33: x205 - x218 - x232 <= 0 e34: - x205 + x218 - x232 <= 0 e35: x208 - x220 - x233 <= 0 e36: - x208 + x220 - x233 <= 0 e37: x202 - x222 - x234 <= 0 e38: - x202 + x222 - x234 <= 0 e39: x205 - x224 - x235 <= 0 e40: - x205 + x224 - x235 <= 0 e41: x208 - x226 - x236 <= 0 e42: - x208 + x226 - x236 <= 0 e43: x210 - x216 - x237 <= 0 e44: - x210 + x216 - x237 <= 0 e45: x212 - x218 - x238 <= 0 e46: - x212 + x218 - x238 <= 0 e47: x214 - x220 - x239 <= 0 e48: - x214 + x220 - x239 <= 0 e49: x210 - x222 - x240 <= 0 e50: - x210 + x222 - x240 <= 0 e51: x212 - x224 - x241 <= 0 e52: - x212 + x224 - x241 <= 0 e53: x214 - x226 - x242 <= 0 e54: - x214 + x226 - x242 <= 0 e55: x216 - x222 - x243 <= 0 e56: - x216 + x222 - x243 <= 0 e57: x218 - x224 - x244 <= 0 e58: - x218 + x224 - x244 <= 0 e59: x220 - x226 - x245 <= 0 e60: - x220 + x226 - x245 <= 0 e61: 139.882673685049 b1 - 1.115007449331824 x201 - 13.79399934618342 x204 - 12.59878471995106 x207 + [ x201^2 + x204^2 + x207^2 ] <= 53.32091468648741 e62: 182.66284317326 b2 - 6.78535477102008 x201 - 2.60007306710886 x204 - 2.52958568696786 x207 + [ x201^2 + x204^2 + x207^2 ] <= 168.86278740560437 e63: 174.174595766023 b3 - 4.95055263443416 x201 - 6.73601129846854 x204 - .22429335923947 x207 + [ x201^2 + x204^2 + x207^2 ] <= 157.69156398842358 e64: 84.8069562114188 b4 - 8.47931875925994 x201 - 11.6709097099974 x204 - 10.43407918410874 x207 + [ x201^2 + x204^2 + x207^2 ] <= 6.5622090863436995 e65: 105.666658166239 b5 - 3.81574052942698 x201 - 10.1090116066301 x204 - 14.02331596597874 x207 + [ x201^2 + x204^2 + x207^2 ] <= 28.315312633096994 e66: 161.436709465448 b6 - 19.85936394878718 x201 - 12.221223663925 x204 - 8.59550381016272 x207 + [ x201^2 + x204^2 + x207^2 ] <= 8.02787695430041 e67: 224.632211642245 b7 - 9.79230301880616 x201 - 19.15414460194766 x204 - 19.7444258350912 x207 + [ x201^2 + x204^2 + x207^2 ] <= 12.479010291780583 e68: 130.523019355742 b8 - 10.40529310731668 x201 - 17.19869424607936 x204 - 9.7979510724394 x207 + [ x201^2 + x204^2 + x207^2 ] <= 6.506755946439085 e69: 194.220103883022 b9 - 16.7930111571639 x201 - 13.00702395127964 x204 - 16.87315787846896 x207 + [ x201^2 + x204^2 + x207^2 ] <= 11.247265736638866 e70: 167.608109542354 b10 - 15.8417741453922 x201 - 3.3114814347781 x204 - 17.90648440934054 x207 + [ x201^2 + x204^2 + x207^2 ] <= 22.96563422524082 e71: 155.944984455397 b11 - 5.88712115667332 x201 - 19.00774640909948 x204 - 9.68433800331636 x207 + [ x201^2 + x204^2 + x207^2 ] <= 34.51022904828142 e72: 143.8265902598 b12 - 11.35433818150226 x201 - 15.90989825739402 x204 - 3.6376504817432 x207 + [ x201^2 + x204^2 + x207^2 ] <= 46.00700047783104 e73: 187.205465302945 b13 - 6.95265583955378 x201 - 19.79716072390158 x204 - 4.97873486923384 x207 + [ x201^2 + x204^2 + x207^2 ] <= 71.9417660905956 e74: 133.784100223376 b14 - 14.38646691369894 x201 - 15.17349673649544 x204 - 8.75598434170296 x207 + [ x201^2 + x204^2 + x207^2 ] <= 6.315926407491105 e75: 161.150526627374 b15 - 7.37588271254548 x201 - 1.528920921302488 x204 - 17.86318665842448 x207 + [ x201^2 + x204^2 + x207^2 ] <= 68.19185598573951 e76: 218.65758210219 b16 - 12.18092065749532 x201 - 19.63041263250098 x204 - 17.37913530593792 x207 + [ x201^2 + x204^2 + x207^2 ] <= 10.717014060052946 e77: 176.061078593341 b17 - .318871216143246 x201 - 15.7242659684232 x204 - 8.68225424783948 x207 + [ x201^2 + x204^2 + x207^2 ] <= 96.37713911276015 e78: 207.228588657402 b18 - 18.6076498810217 x201 - 8.7053185863385 x204 - 18.8262943942855 x207 + [ x201^2 + x204^2 + x207^2 ] <= 14.114447056241232 e79: 187.373869370395 b19 - 14.12089334558196 x201 - .239966045218962 x204 - 10.43598026319638 x207 + [ x201^2 + x204^2 + x207^2 ] <= 111.28214521189918 e80: 117.707087109112 b20 - 2.56948406963038 x201 - 8.61678334756986 x204 - 10.14910198903436 x207 + [ x201^2 + x204^2 + x207^2 ] <= 72.74321840239631 e81: 131.403806640396 b21 - 7.90092618211708 x201 - 15.6965472845571 x204 - 6.87825501618002 x207 + [ x201^2 + x204^2 + x207^2 ] <= 43.374650825594586 e82: 158.947259740156 b22 - 17.72008594191586 x201 - 4.84802040324506 x204 - 13.95083780142976 x207 + [ x201^2 + x204^2 + x207^2 ] <= 26.9146039949145 e83: 214.875303499993 b23 - 19.40266012932454 x201 - 4.95559692852262 x204 - 19.89107409765024 x207 + [ x201^2 + x204^2 + x207^2 ] <= 16.70630605742417 e84: 184.764129697819 b24 - 2.5216021741303 x201 - 3.50242750030028 x204 - 18.61244373513064 x207 + [ x201^2 + x204^2 + x207^2 ] <= 94.50199526960846 e85: 200.398945392818 b25 - 16.68779723952542 x201 - .796842041735406 x204 - 18.8093666510069 x207 + [ x201^2 + x204^2 + x207^2 ] <= 43.17149345306805 e86: 219.689414889155 b26 - .917399567842876 x201 - 19.90542340571106 x204 - 19.74369362392814 x207 + [ x201^2 + x204^2 + x207^2 ] <= 23.96917967834281 e87: 200.5977121042 b27 - 3.2235074336676 x201 - 12.6575266583541 x204 - .507626065576738 x207 + [ x201^2 + x204^2 + x207^2 ] <= 158.88229572812304 e88: 103.693060602793 b28 - 6.93297064813966 x201 - 8.01944937928706 x204 - 6.95881713379438 x207 + [ x201^2 + x204^2 + x207^2 ] <= 64.49236403866702 e89: 219.689414889155 b29 - 18.49143795400222 x201 - 1.118219881849294 x204 - 9.44287490033316 x207 + [ x201^2 + x204^2 + x207^2 ] <= 112.60151996560029 e90: 123.893230383562 b30 - 3.61494832930498 x201 - 11.17716774240728 x204 - 17.42756578908662 x207 + [ x201^2 + x204^2 + x207^2 ] <= 14.463985508962722 e91: 203.494862154236 b31 - 2.82787426250712 x201 - 15.88917037324286 x204 - 2.1904658092342 x207 + [ x201^2 + x204^2 + x207^2 ] <= 138.17967504025776 e92: 150.575463512564 b32 - 15.71502412586674 x201 - 4.69984803459194 x204 - 11.89322553530724 x207 + [ x201^2 + x204^2 + x207^2 ] <= 48.950621397935095 e93: 106.602252199094 b33 - 11.53993123879734 x201 - 6.26440843682266 x204 - 14.64827913367636 x207 + [ x201^2 + x204^2 + x207^2 ] <= 10.856025289693022 e94: 119.242421179142 b34 - 10.07350200213412 x201 - 7.6985896128816 x204 - 16.53001593710178 x207 + [ x201^2 + x204^2 + x207^2 ] <= 11.746133305290144 e95: 198.559992859524 b35 - 18.37567483233824 x201 - 5.73919223055578 x204 - 19.11737877445966 x207 + [ x201^2 + x204^2 + x207^2 ] <= 15.540511807208617 e96: 192.395482422753 b36 - 19.45927389115426 x201 - 9.90824273699618 x204 - 15.77930638593936 x207 + [ x201^2 + x204^2 + x207^2 ] <= 11.939701290867475 e97: 114.723635769507 b37 - 8.89980918926338 x201 - 14.74685682885786 x204 - 11.6988153989779 x207 + [ x201^2 + x204^2 + x207^2 ] <= 7.338967850634262 e98: 224.632211642245 b38 - .907743614013102 x201 - 1.302657666185398 x204 - 2.7697064228438e-2 x207 + [ x201^2 + x204^2 + x207^2 ] <= 225.00179099439 e99: 193.822989231709 b39 - 15.36172407290166 x201 - 3.80923618742356 x204 - 5.46423289417596 x207 + [ x201^2 + x204^2 + x207^2 ] <= 124.73531724537446 e100: 184.764129697819 b40 - 18.02392093810048 x201 - 17.72637174772274 x204 - 4.63468320111118 x207 + [ x201^2 + x204^2 + x207^2 ] <= 20.622562273813458 e101: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 e102: 139.882673685049 b41 - 1.115007449331824 x202 - 13.79399934618342 x205 - 12.59878471995106 x208 + [ x202^2 + x205^2 + x208^2 ] <= 53.32091468648741 e103: 182.66284317326 b42 - 6.78535477102008 x202 - 2.60007306710886 x205 - 2.52958568696786 x208 + [ x202^2 + x205^2 + x208^2 ] <= 168.86278740560437 e104: 174.174595766023 b43 - 4.95055263443416 x202 - 6.73601129846854 x205 - .22429335923947 x208 + [ x202^2 + x205^2 + x208^2 ] <= 157.69156398842358 e105: 84.8069562114188 b44 - 8.47931875925994 x202 - 11.6709097099974 x205 - 10.43407918410874 x208 + [ x202^2 + x205^2 + x208^2 ] <= 6.5622090863436995 e106: 105.666658166239 b45 - 3.81574052942698 x202 - 10.1090116066301 x205 - 14.02331596597874 x208 + [ x202^2 + x205^2 + x208^2 ] <= 28.315312633096994 e107: 161.436709465448 b46 - 19.85936394878718 x202 - 12.221223663925 x205 - 8.59550381016272 x208 + [ x202^2 + x205^2 + x208^2 ] <= 8.02787695430041 e108: 224.632211642245 b47 - 9.79230301880616 x202 - 19.15414460194766 x205 - 19.7444258350912 x208 + [ x202^2 + x205^2 + x208^2 ] <= 12.479010291780583 e109: 130.523019355742 b48 - 10.40529310731668 x202 - 17.19869424607936 x205 - 9.7979510724394 x208 + [ x202^2 + x205^2 + x208^2 ] <= 6.506755946439085 e110: 194.220103883022 b49 - 16.7930111571639 x202 - 13.00702395127964 x205 - 16.87315787846896 x208 + [ x202^2 + x205^2 + x208^2 ] <= 11.247265736638866 e111: 167.608109542354 b50 - 15.8417741453922 x202 - 3.3114814347781 x205 - 17.90648440934054 x208 + [ x202^2 + x205^2 + x208^2 ] <= 22.96563422524082 e112: 155.944984455397 b51 - 5.88712115667332 x202 - 19.00774640909948 x205 - 9.68433800331636 x208 + [ x202^2 + x205^2 + x208^2 ] <= 34.51022904828142 e113: 143.8265902598 b52 - 11.35433818150226 x202 - 15.90989825739402 x205 - 3.6376504817432 x208 + [ x202^2 + x205^2 + x208^2 ] <= 46.00700047783104 e114: 187.205465302945 b53 - 6.95265583955378 x202 - 19.79716072390158 x205 - 4.97873486923384 x208 + [ x202^2 + x205^2 + x208^2 ] <= 71.9417660905956 e115: 133.784100223376 b54 - 14.38646691369894 x202 - 15.17349673649544 x205 - 8.75598434170296 x208 + [ x202^2 + x205^2 + x208^2 ] <= 6.315926407491105 e116: 161.150526627374 b55 - 7.37588271254548 x202 - 1.528920921302488 x205 - 17.86318665842448 x208 + [ x202^2 + x205^2 + x208^2 ] <= 68.19185598573951 e117: 218.65758210219 b56 - 12.18092065749532 x202 - 19.63041263250098 x205 - 17.37913530593792 x208 + [ x202^2 + x205^2 + x208^2 ] <= 10.717014060052946 e118: 176.061078593341 b57 - .318871216143246 x202 - 15.7242659684232 x205 - 8.68225424783948 x208 + [ x202^2 + x205^2 + x208^2 ] <= 96.37713911276015 e119: 207.228588657402 b58 - 18.6076498810217 x202 - 8.7053185863385 x205 - 18.8262943942855 x208 + [ x202^2 + x205^2 + x208^2 ] <= 14.114447056241232 e120: 187.373869370395 b59 - 14.12089334558196 x202 - .239966045218962 x205 - 10.43598026319638 x208 + [ x202^2 + x205^2 + x208^2 ] <= 111.28214521189918 e121: 117.707087109112 b60 - 2.56948406963038 x202 - 8.61678334756986 x205 - 10.14910198903436 x208 + [ x202^2 + x205^2 + x208^2 ] <= 72.74321840239631 e122: 131.403806640396 b61 - 7.90092618211708 x202 - 15.6965472845571 x205 - 6.87825501618002 x208 + [ x202^2 + x205^2 + x208^2 ] <= 43.374650825594586 e123: 158.947259740156 b62 - 17.72008594191586 x202 - 4.84802040324506 x205 - 13.95083780142976 x208 + [ x202^2 + x205^2 + x208^2 ] <= 26.9146039949145 e124: 214.875303499993 b63 - 19.40266012932454 x202 - 4.95559692852262 x205 - 19.89107409765024 x208 + [ x202^2 + x205^2 + x208^2 ] <= 16.70630605742417 e125: 184.764129697819 b64 - 2.5216021741303 x202 - 3.50242750030028 x205 - 18.61244373513064 x208 + [ x202^2 + x205^2 + x208^2 ] <= 94.50199526960846 e126: 200.398945392818 b65 - 16.68779723952542 x202 - .796842041735406 x205 - 18.8093666510069 x208 + [ x202^2 + x205^2 + x208^2 ] <= 43.17149345306805 e127: 219.689414889155 b66 - .917399567842876 x202 - 19.90542340571106 x205 - 19.74369362392814 x208 + [ x202^2 + x205^2 + x208^2 ] <= 23.96917967834281 e128: 200.5977121042 b67 - 3.2235074336676 x202 - 12.6575266583541 x205 - .507626065576738 x208 + [ x202^2 + x205^2 + x208^2 ] <= 158.88229572812304 e129: 103.693060602793 b68 - 6.93297064813966 x202 - 8.01944937928706 x205 - 6.95881713379438 x208 + [ x202^2 + x205^2 + x208^2 ] <= 64.49236403866702 e130: 219.689414889155 b69 - 18.49143795400222 x202 - 1.118219881849294 x205 - 9.44287490033316 x208 + [ x202^2 + x205^2 + x208^2 ] <= 112.60151996560029 e131: 123.893230383562 b70 - 3.61494832930498 x202 - 11.17716774240728 x205 - 17.42756578908662 x208 + [ x202^2 + x205^2 + x208^2 ] <= 14.463985508962722 e132: 203.494862154236 b71 - 2.82787426250712 x202 - 15.88917037324286 x205 - 2.1904658092342 x208 + [ x202^2 + x205^2 + x208^2 ] <= 138.17967504025776 e133: 150.575463512564 b72 - 15.71502412586674 x202 - 4.69984803459194 x205 - 11.89322553530724 x208 + [ x202^2 + x205^2 + x208^2 ] <= 48.950621397935095 e134: 106.602252199094 b73 - 11.53993123879734 x202 - 6.26440843682266 x205 - 14.64827913367636 x208 + [ x202^2 + x205^2 + x208^2 ] <= 10.856025289693022 e135: 119.242421179142 b74 - 10.07350200213412 x202 - 7.6985896128816 x205 - 16.53001593710178 x208 + [ x202^2 + x205^2 + x208^2 ] <= 11.746133305290144 e136: 198.559992859524 b75 - 18.37567483233824 x202 - 5.73919223055578 x205 - 19.11737877445966 x208 + [ x202^2 + x205^2 + x208^2 ] <= 15.540511807208617 e137: 192.395482422753 b76 - 19.45927389115426 x202 - 9.90824273699618 x205 - 15.77930638593936 x208 + [ x202^2 + x205^2 + x208^2 ] <= 11.939701290867475 e138: 114.723635769507 b77 - 8.89980918926338 x202 - 14.74685682885786 x205 - 11.6988153989779 x208 + [ x202^2 + x205^2 + x208^2 ] <= 7.338967850634262 e139: 224.632211642245 b78 - .907743614013102 x202 - 1.302657666185398 x205 - 2.7697064228438e-2 x208 + [ x202^2 + x205^2 + x208^2 ] <= 225.00179099439 e140: 193.822989231709 b79 - 15.36172407290166 x202 - 3.80923618742356 x205 - 5.46423289417596 x208 + [ x202^2 + x205^2 + x208^2 ] <= 124.73531724537446 e141: 184.764129697819 b80 - 18.02392093810048 x202 - 17.72637174772274 x205 - 4.63468320111118 x208 + [ x202^2 + x205^2 + x208^2 ] <= 20.622562273813458 e142: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1 e143: 139.882673685049 b81 - 1.115007449331824 x210 - 13.79399934618342 x212 - 12.59878471995106 x214 + [ x210^2 + x212^2 + x214^2 ] <= 53.32091468648741 e144: 182.66284317326 b82 - 6.78535477102008 x210 - 2.60007306710886 x212 - 2.52958568696786 x214 + [ x210^2 + x212^2 + x214^2 ] <= 168.86278740560437 e145: 174.174595766023 b83 - 4.95055263443416 x210 - 6.73601129846854 x212 - .22429335923947 x214 + [ x210^2 + x212^2 + x214^2 ] <= 157.69156398842358 e146: 84.8069562114188 b84 - 8.47931875925994 x210 - 11.6709097099974 x212 - 10.43407918410874 x214 + [ x210^2 + x212^2 + x214^2 ] <= 6.5622090863436995 e147: 105.666658166239 b85 - 3.81574052942698 x210 - 10.1090116066301 x212 - 14.02331596597874 x214 + [ x210^2 + x212^2 + x214^2 ] <= 28.315312633096994 e148: 161.436709465448 b86 - 19.85936394878718 x210 - 12.221223663925 x212 - 8.59550381016272 x214 + [ x210^2 + x212^2 + x214^2 ] <= 8.02787695430041 e149: 224.632211642245 b87 - 9.79230301880616 x210 - 19.15414460194766 x212 - 19.7444258350912 x214 + [ x210^2 + x212^2 + x214^2 ] <= 12.479010291780583 e150: 130.523019355742 b88 - 10.40529310731668 x210 - 17.19869424607936 x212 - 9.7979510724394 x214 + [ x210^2 + x212^2 + x214^2 ] <= 6.506755946439085 e151: 194.220103883022 b89 - 16.7930111571639 x210 - 13.00702395127964 x212 - 16.87315787846896 x214 + [ x210^2 + x212^2 + x214^2 ] <= 11.247265736638866 e152: 167.608109542354 b90 - 15.8417741453922 x210 - 3.3114814347781 x212 - 17.90648440934054 x214 + [ x210^2 + x212^2 + x214^2 ] <= 22.96563422524082 e153: 155.944984455397 b91 - 5.88712115667332 x210 - 19.00774640909948 x212 - 9.68433800331636 x214 + [ x210^2 + x212^2 + x214^2 ] <= 34.51022904828142 e154: 143.8265902598 b92 - 11.35433818150226 x210 - 15.90989825739402 x212 - 3.6376504817432 x214 + [ x210^2 + x212^2 + x214^2 ] <= 46.00700047783104 e155: 187.205465302945 b93 - 6.95265583955378 x210 - 19.79716072390158 x212 - 4.97873486923384 x214 + [ x210^2 + x212^2 + x214^2 ] <= 71.9417660905956 e156: 133.784100223376 b94 - 14.38646691369894 x210 - 15.17349673649544 x212 - 8.75598434170296 x214 + [ x210^2 + x212^2 + x214^2 ] <= 6.315926407491105 e157: 161.150526627374 b95 - 7.37588271254548 x210 - 1.528920921302488 x212 - 17.86318665842448 x214 + [ x210^2 + x212^2 + x214^2 ] <= 68.19185598573951 e158: 218.65758210219 b96 - 12.18092065749532 x210 - 19.63041263250098 x212 - 17.37913530593792 x214 + [ x210^2 + x212^2 + x214^2 ] <= 10.717014060052946 e159: 176.061078593341 b97 - .318871216143246 x210 - 15.7242659684232 x212 - 8.68225424783948 x214 + [ x210^2 + x212^2 + x214^2 ] <= 96.37713911276015 e160: 207.228588657402 b98 - 18.6076498810217 x210 - 8.7053185863385 x212 - 18.8262943942855 x214 + [ x210^2 + x212^2 + x214^2 ] <= 14.114447056241232 e161: 187.373869370395 b99 - 14.12089334558196 x210 - .239966045218962 x212 - 10.43598026319638 x214 + [ x210^2 + x212^2 + x214^2 ] <= 111.28214521189918 e162: 117.707087109112 b100 - 2.56948406963038 x210 - 8.61678334756986 x212 - 10.14910198903436 x214 + [ x210^2 + x212^2 + x214^2 ] <= 72.74321840239631 e163: 131.403806640396 b101 - 7.90092618211708 x210 - 15.6965472845571 x212 - 6.87825501618002 x214 + [ x210^2 + x212^2 + x214^2 ] <= 43.374650825594586 e164: 158.947259740156 b102 - 17.72008594191586 x210 - 4.84802040324506 x212 - 13.95083780142976 x214 + [ x210^2 + x212^2 + x214^2 ] <= 26.9146039949145 e165: 214.875303499993 b103 - 19.40266012932454 x210 - 4.95559692852262 x212 - 19.89107409765024 x214 + [ x210^2 + x212^2 + x214^2 ] <= 16.70630605742417 e166: 184.764129697819 b104 - 2.5216021741303 x210 - 3.50242750030028 x212 - 18.61244373513064 x214 + [ x210^2 + x212^2 + x214^2 ] <= 94.50199526960846 e167: 200.398945392818 b105 - 16.68779723952542 x210 - .796842041735406 x212 - 18.8093666510069 x214 + [ x210^2 + x212^2 + x214^2 ] <= 43.17149345306805 e168: 219.689414889155 b106 - .917399567842876 x210 - 19.90542340571106 x212 - 19.74369362392814 x214 + [ x210^2 + x212^2 + x214^2 ] <= 23.96917967834281 e169: 200.5977121042 b107 - 3.2235074336676 x210 - 12.6575266583541 x212 - .507626065576738 x214 + [ x210^2 + x212^2 + x214^2 ] <= 158.88229572812304 e170: 103.693060602793 b108 - 6.93297064813966 x210 - 8.01944937928706 x212 - 6.95881713379438 x214 + [ x210^2 + x212^2 + x214^2 ] <= 64.49236403866702 e171: 219.689414889155 b109 - 18.49143795400222 x210 - 1.118219881849294 x212 - 9.44287490033316 x214 + [ x210^2 + x212^2 + x214^2 ] <= 112.60151996560029 e172: 123.893230383562 b110 - 3.61494832930498 x210 - 11.17716774240728 x212 - 17.42756578908662 x214 + [ x210^2 + x212^2 + x214^2 ] <= 14.463985508962722 e173: 203.494862154236 b111 - 2.82787426250712 x210 - 15.88917037324286 x212 - 2.1904658092342 x214 + [ x210^2 + x212^2 + x214^2 ] <= 138.17967504025776 e174: 150.575463512564 b112 - 15.71502412586674 x210 - 4.69984803459194 x212 - 11.89322553530724 x214 + [ x210^2 + x212^2 + x214^2 ] <= 48.950621397935095 e175: 106.602252199094 b113 - 11.53993123879734 x210 - 6.26440843682266 x212 - 14.64827913367636 x214 + [ x210^2 + x212^2 + x214^2 ] <= 10.856025289693022 e176: 119.242421179142 b114 - 10.07350200213412 x210 - 7.6985896128816 x212 - 16.53001593710178 x214 + [ x210^2 + x212^2 + x214^2 ] <= 11.746133305290144 e177: 198.559992859524 b115 - 18.37567483233824 x210 - 5.73919223055578 x212 - 19.11737877445966 x214 + [ x210^2 + x212^2 + x214^2 ] <= 15.540511807208617 e178: 192.395482422753 b116 - 19.45927389115426 x210 - 9.90824273699618 x212 - 15.77930638593936 x214 + [ x210^2 + x212^2 + x214^2 ] <= 11.939701290867475 e179: 114.723635769507 b117 - 8.89980918926338 x210 - 14.74685682885786 x212 - 11.6988153989779 x214 + [ x210^2 + x212^2 + x214^2 ] <= 7.338967850634262 e180: 224.632211642245 b118 - .907743614013102 x210 - 1.302657666185398 x212 - 2.7697064228438e-2 x214 + [ x210^2 + x212^2 + x214^2 ] <= 225.00179099439 e181: 193.822989231709 b119 - 15.36172407290166 x210 - 3.80923618742356 x212 - 5.46423289417596 x214 + [ x210^2 + x212^2 + x214^2 ] <= 124.73531724537446 e182: 184.764129697819 b120 - 18.02392093810048 x210 - 17.72637174772274 x212 - 4.63468320111118 x214 + [ x210^2 + x212^2 + x214^2 ] <= 20.622562273813458 e183: b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 e184: 139.882673685049 b121 - 1.115007449331824 x216 - 13.79399934618342 x218 - 12.59878471995106 x220 + [ x216^2 + x218^2 + x220^2 ] <= 53.32091468648741 e185: 182.66284317326 b122 - 6.78535477102008 x216 - 2.60007306710886 x218 - 2.52958568696786 x220 + [ x216^2 + x218^2 + x220^2 ] <= 168.86278740560437 e186: 174.174595766023 b123 - 4.95055263443416 x216 - 6.73601129846854 x218 - .22429335923947 x220 + [ x216^2 + x218^2 + x220^2 ] <= 157.69156398842358 e187: 84.8069562114188 b124 - 8.47931875925994 x216 - 11.6709097099974 x218 - 10.43407918410874 x220 + [ x216^2 + x218^2 + x220^2 ] <= 6.5622090863436995 e188: 105.666658166239 b125 - 3.81574052942698 x216 - 10.1090116066301 x218 - 14.02331596597874 x220 + [ x216^2 + x218^2 + x220^2 ] <= 28.315312633096994 e189: 161.436709465448 b126 - 19.85936394878718 x216 - 12.221223663925 x218 - 8.59550381016272 x220 + [ x216^2 + x218^2 + x220^2 ] <= 8.02787695430041 e190: 224.632211642245 b127 - 9.79230301880616 x216 - 19.15414460194766 x218 - 19.7444258350912 x220 + [ x216^2 + x218^2 + x220^2 ] <= 12.479010291780583 e191: 130.523019355742 b128 - 10.40529310731668 x216 - 17.19869424607936 x218 - 9.7979510724394 x220 + [ x216^2 + x218^2 + x220^2 ] <= 6.506755946439085 e192: 194.220103883022 b129 - 16.7930111571639 x216 - 13.00702395127964 x218 - 16.87315787846896 x220 + [ x216^2 + x218^2 + x220^2 ] <= 11.247265736638866 e193: 167.608109542354 b130 - 15.8417741453922 x216 - 3.3114814347781 x218 - 17.90648440934054 x220 + [ x216^2 + x218^2 + x220^2 ] <= 22.96563422524082 e194: 155.944984455397 b131 - 5.88712115667332 x216 - 19.00774640909948 x218 - 9.68433800331636 x220 + [ x216^2 + x218^2 + x220^2 ] <= 34.51022904828142 e195: 143.8265902598 b132 - 11.35433818150226 x216 - 15.90989825739402 x218 - 3.6376504817432 x220 + [ x216^2 + x218^2 + x220^2 ] <= 46.00700047783104 e196: 187.205465302945 b133 - 6.95265583955378 x216 - 19.79716072390158 x218 - 4.97873486923384 x220 + [ x216^2 + x218^2 + x220^2 ] <= 71.9417660905956 e197: 133.784100223376 b134 - 14.38646691369894 x216 - 15.17349673649544 x218 - 8.75598434170296 x220 + [ x216^2 + x218^2 + x220^2 ] <= 6.315926407491105 e198: 161.150526627374 b135 - 7.37588271254548 x216 - 1.528920921302488 x218 - 17.86318665842448 x220 + [ x216^2 + x218^2 + x220^2 ] <= 68.19185598573951 e199: 218.65758210219 b136 - 12.18092065749532 x216 - 19.63041263250098 x218 - 17.37913530593792 x220 + [ x216^2 + x218^2 + x220^2 ] <= 10.717014060052946 e200: 176.061078593341 b137 - .318871216143246 x216 - 15.7242659684232 x218 - 8.68225424783948 x220 + [ x216^2 + x218^2 + x220^2 ] <= 96.37713911276015 e201: 207.228588657402 b138 - 18.6076498810217 x216 - 8.7053185863385 x218 - 18.8262943942855 x220 + [ x216^2 + x218^2 + x220^2 ] <= 14.114447056241232 e202: 187.373869370395 b139 - 14.12089334558196 x216 - .239966045218962 x218 - 10.43598026319638 x220 + [ x216^2 + x218^2 + x220^2 ] <= 111.28214521189918 e203: 117.707087109112 b140 - 2.56948406963038 x216 - 8.61678334756986 x218 - 10.14910198903436 x220 + [ x216^2 + x218^2 + x220^2 ] <= 72.74321840239631 e204: 131.403806640396 b141 - 7.90092618211708 x216 - 15.6965472845571 x218 - 6.87825501618002 x220 + [ x216^2 + x218^2 + x220^2 ] <= 43.374650825594586 e205: 158.947259740156 b142 - 17.72008594191586 x216 - 4.84802040324506 x218 - 13.95083780142976 x220 + [ x216^2 + x218^2 + x220^2 ] <= 26.9146039949145 e206: 214.875303499993 b143 - 19.40266012932454 x216 - 4.95559692852262 x218 - 19.89107409765024 x220 + [ x216^2 + x218^2 + x220^2 ] <= 16.70630605742417 e207: 184.764129697819 b144 - 2.5216021741303 x216 - 3.50242750030028 x218 - 18.61244373513064 x220 + [ x216^2 + x218^2 + x220^2 ] <= 94.50199526960846 e208: 200.398945392818 b145 - 16.68779723952542 x216 - .796842041735406 x218 - 18.8093666510069 x220 + [ x216^2 + x218^2 + x220^2 ] <= 43.17149345306805 e209: 219.689414889155 b146 - .917399567842876 x216 - 19.90542340571106 x218 - 19.74369362392814 x220 + [ x216^2 + x218^2 + x220^2 ] <= 23.96917967834281 e210: 200.5977121042 b147 - 3.2235074336676 x216 - 12.6575266583541 x218 - .507626065576738 x220 + [ x216^2 + x218^2 + x220^2 ] <= 158.88229572812304 e211: 103.693060602793 b148 - 6.93297064813966 x216 - 8.01944937928706 x218 - 6.95881713379438 x220 + [ x216^2 + x218^2 + x220^2 ] <= 64.49236403866702 e212: 219.689414889155 b149 - 18.49143795400222 x216 - 1.118219881849294 x218 - 9.44287490033316 x220 + [ x216^2 + x218^2 + x220^2 ] <= 112.60151996560029 e213: 123.893230383562 b150 - 3.61494832930498 x216 - 11.17716774240728 x218 - 17.42756578908662 x220 + [ x216^2 + x218^2 + x220^2 ] <= 14.463985508962722 e214: 203.494862154236 b151 - 2.82787426250712 x216 - 15.88917037324286 x218 - 2.1904658092342 x220 + [ x216^2 + x218^2 + x220^2 ] <= 138.17967504025776 e215: 150.575463512564 b152 - 15.71502412586674 x216 - 4.69984803459194 x218 - 11.89322553530724 x220 + [ x216^2 + x218^2 + x220^2 ] <= 48.950621397935095 e216: 106.602252199094 b153 - 11.53993123879734 x216 - 6.26440843682266 x218 - 14.64827913367636 x220 + [ x216^2 + x218^2 + x220^2 ] <= 10.856025289693022 e217: 119.242421179142 b154 - 10.07350200213412 x216 - 7.6985896128816 x218 - 16.53001593710178 x220 + [ x216^2 + x218^2 + x220^2 ] <= 11.746133305290144 e218: 198.559992859524 b155 - 18.37567483233824 x216 - 5.73919223055578 x218 - 19.11737877445966 x220 + [ x216^2 + x218^2 + x220^2 ] <= 15.540511807208617 e219: 192.395482422753 b156 - 19.45927389115426 x216 - 9.90824273699618 x218 - 15.77930638593936 x220 + [ x216^2 + x218^2 + x220^2 ] <= 11.939701290867475 e220: 114.723635769507 b157 - 8.89980918926338 x216 - 14.74685682885786 x218 - 11.6988153989779 x220 + [ x216^2 + x218^2 + x220^2 ] <= 7.338967850634262 e221: 224.632211642245 b158 - .907743614013102 x216 - 1.302657666185398 x218 - 2.7697064228438e-2 x220 + [ x216^2 + x218^2 + x220^2 ] <= 225.00179099439 e222: 193.822989231709 b159 - 15.36172407290166 x216 - 3.80923618742356 x218 - 5.46423289417596 x220 + [ x216^2 + x218^2 + x220^2 ] <= 124.73531724537446 e223: 184.764129697819 b160 - 18.02392093810048 x216 - 17.72637174772274 x218 - 4.63468320111118 x220 + [ x216^2 + x218^2 + x220^2 ] <= 20.622562273813458 e224: b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 = 1 e225: 139.882673685049 b161 - 1.115007449331824 x222 - 13.79399934618342 x224 - 12.59878471995106 x226 + [ x222^2 + x224^2 + x226^2 ] <= 53.32091468648741 e226: 182.66284317326 b162 - 6.78535477102008 x222 - 2.60007306710886 x224 - 2.52958568696786 x226 + [ x222^2 + x224^2 + x226^2 ] <= 168.86278740560437 e227: 174.174595766023 b163 - 4.95055263443416 x222 - 6.73601129846854 x224 - .22429335923947 x226 + [ x222^2 + x224^2 + x226^2 ] <= 157.69156398842358 e228: 84.8069562114188 b164 - 8.47931875925994 x222 - 11.6709097099974 x224 - 10.43407918410874 x226 + [ x222^2 + x224^2 + x226^2 ] <= 6.5622090863436995 e229: 105.666658166239 b165 - 3.81574052942698 x222 - 10.1090116066301 x224 - 14.02331596597874 x226 + [ x222^2 + x224^2 + x226^2 ] <= 28.315312633096994 e230: 161.436709465448 b166 - 19.85936394878718 x222 - 12.221223663925 x224 - 8.59550381016272 x226 + [ x222^2 + x224^2 + x226^2 ] <= 8.02787695430041 e231: 224.632211642245 b167 - 9.79230301880616 x222 - 19.15414460194766 x224 - 19.7444258350912 x226 + [ x222^2 + x224^2 + x226^2 ] <= 12.479010291780583 e232: 130.523019355742 b168 - 10.40529310731668 x222 - 17.19869424607936 x224 - 9.7979510724394 x226 + [ x222^2 + x224^2 + x226^2 ] <= 6.506755946439085 e233: 194.220103883022 b169 - 16.7930111571639 x222 - 13.00702395127964 x224 - 16.87315787846896 x226 + [ x222^2 + x224^2 + x226^2 ] <= 11.247265736638866 e234: 167.608109542354 b170 - 15.8417741453922 x222 - 3.3114814347781 x224 - 17.90648440934054 x226 + [ x222^2 + x224^2 + x226^2 ] <= 22.96563422524082 e235: 155.944984455397 b171 - 5.88712115667332 x222 - 19.00774640909948 x224 - 9.68433800331636 x226 + [ x222^2 + x224^2 + x226^2 ] <= 34.51022904828142 e236: 143.8265902598 b172 - 11.35433818150226 x222 - 15.90989825739402 x224 - 3.6376504817432 x226 + [ x222^2 + x224^2 + x226^2 ] <= 46.00700047783104 e237: 187.205465302945 b173 - 6.95265583955378 x222 - 19.79716072390158 x224 - 4.97873486923384 x226 + [ x222^2 + x224^2 + x226^2 ] <= 71.9417660905956 e238: 133.784100223376 b174 - 14.38646691369894 x222 - 15.17349673649544 x224 - 8.75598434170296 x226 + [ x222^2 + x224^2 + x226^2 ] <= 6.315926407491105 e239: 161.150526627374 b175 - 7.37588271254548 x222 - 1.528920921302488 x224 - 17.86318665842448 x226 + [ x222^2 + x224^2 + x226^2 ] <= 68.19185598573951 e240: 218.65758210219 b176 - 12.18092065749532 x222 - 19.63041263250098 x224 - 17.37913530593792 x226 + [ x222^2 + x224^2 + x226^2 ] <= 10.717014060052946 e241: 176.061078593341 b177 - .318871216143246 x222 - 15.7242659684232 x224 - 8.68225424783948 x226 + [ x222^2 + x224^2 + x226^2 ] <= 96.37713911276015 e242: 207.228588657402 b178 - 18.6076498810217 x222 - 8.7053185863385 x224 - 18.8262943942855 x226 + [ x222^2 + x224^2 + x226^2 ] <= 14.114447056241232 e243: 187.373869370395 b179 - 14.12089334558196 x222 - .239966045218962 x224 - 10.43598026319638 x226 + [ x222^2 + x224^2 + x226^2 ] <= 111.28214521189918 e244: 117.707087109112 b180 - 2.56948406963038 x222 - 8.61678334756986 x224 - 10.14910198903436 x226 + [ x222^2 + x224^2 + x226^2 ] <= 72.74321840239631 e245: 131.403806640396 b181 - 7.90092618211708 x222 - 15.6965472845571 x224 - 6.87825501618002 x226 + [ x222^2 + x224^2 + x226^2 ] <= 43.374650825594586 e246: 158.947259740156 b182 - 17.72008594191586 x222 - 4.84802040324506 x224 - 13.95083780142976 x226 + [ x222^2 + x224^2 + x226^2 ] <= 26.9146039949145 e247: 214.875303499993 b183 - 19.40266012932454 x222 - 4.95559692852262 x224 - 19.89107409765024 x226 + [ x222^2 + x224^2 + x226^2 ] <= 16.70630605742417 e248: 184.764129697819 b184 - 2.5216021741303 x222 - 3.50242750030028 x224 - 18.61244373513064 x226 + [ x222^2 + x224^2 + x226^2 ] <= 94.50199526960846 e249: 200.398945392818 b185 - 16.68779723952542 x222 - .796842041735406 x224 - 18.8093666510069 x226 + [ x222^2 + x224^2 + x226^2 ] <= 43.17149345306805 e250: 219.689414889155 b186 - .917399567842876 x222 - 19.90542340571106 x224 - 19.74369362392814 x226 + [ x222^2 + x224^2 + x226^2 ] <= 23.96917967834281 e251: 200.5977121042 b187 - 3.2235074336676 x222 - 12.6575266583541 x224 - .507626065576738 x226 + [ x222^2 + x224^2 + x226^2 ] <= 158.88229572812304 e252: 103.693060602793 b188 - 6.93297064813966 x222 - 8.01944937928706 x224 - 6.95881713379438 x226 + [ x222^2 + x224^2 + x226^2 ] <= 64.49236403866702 e253: 219.689414889155 b189 - 18.49143795400222 x222 - 1.118219881849294 x224 - 9.44287490033316 x226 + [ x222^2 + x224^2 + x226^2 ] <= 112.60151996560029 e254: 123.893230383562 b190 - 3.61494832930498 x222 - 11.17716774240728 x224 - 17.42756578908662 x226 + [ x222^2 + x224^2 + x226^2 ] <= 14.463985508962722 e255: 203.494862154236 b191 - 2.82787426250712 x222 - 15.88917037324286 x224 - 2.1904658092342 x226 + [ x222^2 + x224^2 + x226^2 ] <= 138.17967504025776 e256: 150.575463512564 b192 - 15.71502412586674 x222 - 4.69984803459194 x224 - 11.89322553530724 x226 + [ x222^2 + x224^2 + x226^2 ] <= 48.950621397935095 e257: 106.602252199094 b193 - 11.53993123879734 x222 - 6.26440843682266 x224 - 14.64827913367636 x226 + [ x222^2 + x224^2 + x226^2 ] <= 10.856025289693022 e258: 119.242421179142 b194 - 10.07350200213412 x222 - 7.6985896128816 x224 - 16.53001593710178 x226 + [ x222^2 + x224^2 + x226^2 ] <= 11.746133305290144 e259: 198.559992859524 b195 - 18.37567483233824 x222 - 5.73919223055578 x224 - 19.11737877445966 x226 + [ x222^2 + x224^2 + x226^2 ] <= 15.540511807208617 e260: 192.395482422753 b196 - 19.45927389115426 x222 - 9.90824273699618 x224 - 15.77930638593936 x226 + [ x222^2 + x224^2 + x226^2 ] <= 11.939701290867475 e261: 114.723635769507 b197 - 8.89980918926338 x222 - 14.74685682885786 x224 - 11.6988153989779 x226 + [ x222^2 + x224^2 + x226^2 ] <= 7.338967850634262 e262: 224.632211642245 b198 - .907743614013102 x222 - 1.302657666185398 x224 - 2.7697064228438e-2 x226 + [ x222^2 + x224^2 + x226^2 ] <= 225.00179099439 e263: 193.822989231709 b199 - 15.36172407290166 x222 - 3.80923618742356 x224 - 5.46423289417596 x226 + [ x222^2 + x224^2 + x226^2 ] <= 124.73531724537446 e264: 184.764129697819 b200 - 18.02392093810048 x222 - 17.72637174772274 x224 - 4.63468320111118 x226 + [ x222^2 + x224^2 + x226^2 ] <= 20.622562273813458 e265: b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 = 1 e266: b1 + b41 + b81 + b121 + b161 <= 1 e267: b2 + b42 + b82 + b122 + b162 <= 1 e268: b3 + b43 + b83 + b123 + b163 <= 1 e269: b4 + b44 + b84 + b124 + b164 <= 1 e270: b5 + b45 + b85 + b125 + b165 <= 1 e271: b6 + b46 + b86 + b126 + b166 <= 1 e272: b7 + b47 + b87 + b127 + b167 <= 1 e273: b8 + b48 + b88 + b128 + b168 <= 1 e274: b9 + b49 + b89 + b129 + b169 <= 1 e275: b10 + b50 + b90 + b130 + b170 <= 1 e276: b11 + b51 + b91 + b131 + b171 <= 1 e277: b12 + b52 + b92 + b132 + b172 <= 1 e278: b13 + b53 + b93 + b133 + b173 <= 1 e279: b14 + b54 + b94 + b134 + b174 <= 1 e280: b15 + b55 + b95 + b135 + b175 <= 1 e281: b16 + b56 + b96 + b136 + b176 <= 1 e282: b17 + b57 + b97 + b137 + b177 <= 1 e283: b18 + b58 + b98 + b138 + b178 <= 1 e284: b19 + b59 + b99 + b139 + b179 <= 1 e285: b20 + b60 + b100 + b140 + b180 <= 1 e286: b21 + b61 + b101 + b141 + b181 <= 1 e287: b22 + b62 + b102 + b142 + b182 <= 1 e288: b23 + b63 + b103 + b143 + b183 <= 1 e289: b24 + b64 + b104 + b144 + b184 <= 1 e290: b25 + b65 + b105 + b145 + b185 <= 1 e291: b26 + b66 + b106 + b146 + b186 <= 1 e292: b27 + b67 + b107 + b147 + b187 <= 1 e293: b28 + b68 + b108 + b148 + b188 <= 1 e294: b29 + b69 + b109 + b149 + b189 <= 1 e295: b30 + b70 + b110 + b150 + b190 <= 1 e296: b31 + b71 + b111 + b151 + b191 <= 1 e297: b32 + b72 + b112 + b152 + b192 <= 1 e298: b33 + b73 + b113 + b153 + b193 <= 1 e299: b34 + b74 + b114 + b154 + b194 <= 1 e300: b35 + b75 + b115 + b155 + b195 <= 1 e301: b36 + b76 + b116 + b156 + b196 <= 1 e302: b37 + b77 + b117 + b157 + b197 <= 1 e303: b38 + b78 + b118 + b158 + b198 <= 1 e304: b39 + b79 + b119 + b159 + b199 <= 1 e305: b40 + b80 + b120 + b160 + b200 <= 1 e306: x201 - x202 <= 0 e307: x202 - x210 <= 0 e308: x210 - x216 <= 0 e309: x216 - x222 <= 0 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 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