\ Equation counts \ Total E G L N X C B \ 249 5 0 244 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 195 45 150 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1118 668 450 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 x151 + 0 x152 + x153 + 0 x154 + 0 x155 + x156 + 0 x157 + 0 x158 + x159 + 0 x160 + x161 + 0 x162 + x163 + 0 x164 + x165 + 0 x166 + x167 + 0 x168 + x169 + 0 x170 + x171 + 0 x172 + x173 + 0 x174 + x175 + 0 x176 + x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 Subject To e1: x151 - x152 - x153 <= 0 e2: - x151 + x152 - x153 <= 0 e3: x154 - x155 - x156 <= 0 e4: - x154 + x155 - x156 <= 0 e5: x157 - x158 - x159 <= 0 e6: - x157 + x158 - x159 <= 0 e7: x151 - x160 - x161 <= 0 e8: - x151 + x160 - x161 <= 0 e9: x154 - x162 - x163 <= 0 e10: - x154 + x162 - x163 <= 0 e11: x157 - x164 - x165 <= 0 e12: - x157 + x164 - x165 <= 0 e13: x151 - x166 - x167 <= 0 e14: - x151 + x166 - x167 <= 0 e15: x154 - x168 - x169 <= 0 e16: - x154 + x168 - x169 <= 0 e17: x157 - x170 - x171 <= 0 e18: - x157 + x170 - x171 <= 0 e19: x151 - x172 - x173 <= 0 e20: - x151 + x172 - x173 <= 0 e21: x154 - x174 - x175 <= 0 e22: - x154 + x174 - x175 <= 0 e23: x157 - x176 - x177 <= 0 e24: - x157 + x176 - x177 <= 0 e25: x152 - x160 - x178 <= 0 e26: - x152 + x160 - x178 <= 0 e27: x155 - x162 - x179 <= 0 e28: - x155 + x162 - x179 <= 0 e29: x158 - x164 - x180 <= 0 e30: - x158 + x164 - x180 <= 0 e31: x152 - x166 - x181 <= 0 e32: - x152 + x166 - x181 <= 0 e33: x155 - x168 - x182 <= 0 e34: - x155 + x168 - x182 <= 0 e35: x158 - x170 - x183 <= 0 e36: - x158 + x170 - x183 <= 0 e37: x152 - x172 - x184 <= 0 e38: - x152 + x172 - x184 <= 0 e39: x155 - x174 - x185 <= 0 e40: - x155 + x174 - x185 <= 0 e41: x158 - x176 - x186 <= 0 e42: - x158 + x176 - x186 <= 0 e43: x160 - x166 - x187 <= 0 e44: - x160 + x166 - x187 <= 0 e45: x162 - x168 - x188 <= 0 e46: - x162 + x168 - x188 <= 0 e47: x164 - x170 - x189 <= 0 e48: - x164 + x170 - x189 <= 0 e49: x160 - x172 - x190 <= 0 e50: - x160 + x172 - x190 <= 0 e51: x162 - x174 - x191 <= 0 e52: - x162 + x174 - x191 <= 0 e53: x164 - x176 - x192 <= 0 e54: - x164 + x176 - x192 <= 0 e55: x166 - x172 - x193 <= 0 e56: - x166 + x172 - x193 <= 0 e57: x168 - x174 - x194 <= 0 e58: - x168 + x174 - x194 <= 0 e59: x170 - x176 - x195 <= 0 e60: - x170 + x176 - x195 <= 0 e61: 75.9704013248235 b1 - 9.66404108495038 x151 - 10.16082953089824 x154 - 12.65242758083612 x157 + [ x151^2 + x154^2 + x157^2 ] <= -12.209616309147805 e62: 140.659182931282 b2 - 13.72844315172804 x151 - 15.32856419599728 x154 - .19418351146264 x157 + [ x151^2 + x154^2 + x157^2 ] <= 35.79099820199146 e63: 109.037662329134 b3 - 9.69724001422578 x151 - 6.9051439024157 x154 - 14.78189547941234 x157 + [ x151^2 + x154^2 + x157^2 ] <= 19.982184786423673 e64: 179.094987294124 b4 - 3.81307152351656 x151 - 18.13630535420906 x154 - .658540620875418 x157 + [ x151^2 + x154^2 + x157^2 ] <= 94.12029677064697 e65: 149.370448589907 b5 - 17.83746574645724 x151 - 6.010986444418 x154 - 13.45206629867474 x157 + [ x151^2 + x154^2 + x157^2 ] <= 16.55414109116873 e66: 161.969348685106 b6 - 5.58438023390822 x151 - .1604727010932084 x154 - 11.6479378026186 x157 + [ x151^2 + x154^2 + x157^2 ] <= 121.24797140052291 e67: 179.094987294124 b7 - 16.90385208975694 x151 - 1.92196453436183 x154 - 14.17693498546172 x157 + [ x151^2 + x154^2 + x157^2 ] <= 57.490075112690704 e68: 152.326136990614 b8 - 19.53389493951318 x151 - 3.29535964686888 x154 - 7.78922391732552 x157 + [ x151^2 + x154^2 + x157^2 ] <= 40.05002300451744 e69: 147.501061227256 b9 - 7.85300054776798 x151 - 17.15800858577648 x154 - 18.47051634202742 x157 + [ x151^2 + x154^2 + x157^2 ] <= -25.80565131622538 e70: 150.218840203818 b10 - 1.359980808212316 x151 - 15.86709096907434 x154 - 12.49655029697954 x157 + [ x151^2 + x154^2 + x157^2 ] <= 48.77436696768655 e71: 79.871242402384 b11 - 7.60565325835158 x151 - 10.00672284993538 x154 - 12.02006696170918 x157 + [ x151^2 + x154^2 + x157^2 ] <= 5.255624040967646 e72: 108.386687957096 b12 - 13.08586662069486 x151 - 2.98727545315388 x154 - 7.16994930926632 x157 + [ x151^2 + x154^2 + x157^2 ] <= 51.49371472082594 e73: 73.72646594677 b13 - 10.40483530187718 x151 - 11.73955981932636 x154 - 12.880675610672 x157 + [ x151^2 + x154^2 + x157^2 ] <= -28.270950702753012 e74: 131.767274170968 b14 - 11.7494005604215 x151 - 5.34057378868854 x154 - 1.498313992858154 x157 + [ x151^2 + x154^2 + x157^2 ] <= 90.56350248525433 e75: 107.46773494331 b15 - 5.79553467812656 x151 - 10.44216580995402 x154 - 15.14033383252922 x157 + [ x151^2 + x154^2 + x157^2 ] <= 15.503545551217712 e76: 124.533164159302 b16 - 6.50005248944232 x151 - 13.954844035486 x154 - 1.391390230280734 x157 + [ x151^2 + x154^2 + x157^2 ] <= 65.80208386101071 e77: 106.740936443786 b17 - 16.94099426256146 x151 - 8.41164204927236 x154 - 9.8788252505873 x157 + [ x151^2 + x154^2 + x157^2 ] <= -6.095112781431098 e78: 150.565522268974 b18 - 1.573230881589472 x151 - 3.0962621250863 x154 - 5.97926759080644 x157 + [ x151^2 + x154^2 + x157^2 ] <= 139.61213839984927 e79: 163.973027168021 b19 - 10.35137145763758 x151 - 4.05255613088576 x154 - 18.5481266837376 x157 + [ x151^2 + x154^2 + x157^2 ] <= 48.07125073703287 e80: 161.969348685106 b20 - 18.23748362361302 x151 - 18.1593363214197 x154 - 3.29990098640232 x157 + [ x151^2 + x154^2 + x157^2 ] <= -5.34481408390522 e81: 98.8575703440414 b21 - 16.52785539349572 x151 - 8.59433756664406 x154 - 6.13023958733236 x157 + [ x151^2 + x154^2 + x157^2 ] <= 3.704450465083468 e82: 147.501061227256 b22 - 5.91044514960884 x151 - 2.59450240884996 x154 - 1.599055170206338 x157 + [ x151^2 + x154^2 + x157^2 ] <= 137.44561571389937 e83: 109.493435167956 b23 - 11.18562441052594 x151 - 10.16775899345716 x154 - 1.094927620300394 x157 + [ x151^2 + x154^2 + x157^2 ] <= 53.068339443936146 e84: 123.353905785717 b24 - 11.1426643413076 x151 - 7.79627024634888 x154 - .757799876327034 x157 + [ x151^2 + x154^2 + x157^2 ] <= 77.9751410282885 e85: 161.162335824934 b25 - 2.94967611670926 x151 - 1.979504984598492 x154 - 10.7343452762773 x157 + [ x151^2 + x154^2 + x157^2 ] <= 130.20103640296597 e86: 124.302670822369 b26 - 9.23014157002502 x151 - .469414603224486 x154 - 7.94685715029788 x157 + [ x151^2 + x154^2 + x157^2 ] <= 88.16057031245276 e87: 116.160211358947 b27 - 18.30811603034968 x151 - 8.5233946633279 x154 - 9.79823545742284 x157 + [ x151^2 + x154^2 + x157^2 ] <= -8.79998545272592 e88: 134.909618001418 b28 - 12.46817454488542 x151 - 1.511851691022196 x154 - 10.81191344473236 x157 + [ x151^2 + x154^2 + x157^2 ] <= 67.24998191297806 e89: 54.9767406737741 b29 - 10.33489983014794 x151 - 10.51070194587776 x154 - 7.62125973993496 x157 + [ x151^2 + x154^2 + x157^2 ] <= -12.865411805681887 e90: 143.305588261876 b30 - 14.47218153992164 x151 - 6.60097924315844 x154 - 16.10004862521042 x157 + [ x151^2 + x154^2 + x157^2 ] <= 16.24845545507671 e91: 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 e92: 75.9704013248235 b31 - 9.66404108495038 x152 - 10.16082953089824 x155 - 12.65242758083612 x158 + [ x152^2 + x155^2 + x158^2 ] <= -12.209616309147805 e93: 140.659182931282 b32 - 13.72844315172804 x152 - 15.32856419599728 x155 - .19418351146264 x158 + [ x152^2 + x155^2 + x158^2 ] <= 35.79099820199146 e94: 109.037662329134 b33 - 9.69724001422578 x152 - 6.9051439024157 x155 - 14.78189547941234 x158 + [ x152^2 + x155^2 + x158^2 ] <= 19.982184786423673 e95: 179.094987294124 b34 - 3.81307152351656 x152 - 18.13630535420906 x155 - .658540620875418 x158 + [ x152^2 + x155^2 + x158^2 ] <= 94.12029677064697 e96: 149.370448589907 b35 - 17.83746574645724 x152 - 6.010986444418 x155 - 13.45206629867474 x158 + [ x152^2 + x155^2 + x158^2 ] <= 16.55414109116873 e97: 161.969348685106 b36 - 5.58438023390822 x152 - .1604727010932084 x155 - 11.6479378026186 x158 + [ x152^2 + x155^2 + x158^2 ] <= 121.24797140052291 e98: 179.094987294124 b37 - 16.90385208975694 x152 - 1.92196453436183 x155 - 14.17693498546172 x158 + [ x152^2 + x155^2 + x158^2 ] <= 57.490075112690704 e99: 152.326136990614 b38 - 19.53389493951318 x152 - 3.29535964686888 x155 - 7.78922391732552 x158 + [ x152^2 + x155^2 + x158^2 ] <= 40.05002300451744 e100: 147.501061227256 b39 - 7.85300054776798 x152 - 17.15800858577648 x155 - 18.47051634202742 x158 + [ x152^2 + x155^2 + x158^2 ] <= -25.80565131622538 e101: 150.218840203818 b40 - 1.359980808212316 x152 - 15.86709096907434 x155 - 12.49655029697954 x158 + [ x152^2 + x155^2 + x158^2 ] <= 48.77436696768655 e102: 79.871242402384 b41 - 7.60565325835158 x152 - 10.00672284993538 x155 - 12.02006696170918 x158 + [ x152^2 + x155^2 + x158^2 ] <= 5.255624040967646 e103: 108.386687957096 b42 - 13.08586662069486 x152 - 2.98727545315388 x155 - 7.16994930926632 x158 + [ x152^2 + x155^2 + x158^2 ] <= 51.49371472082594 e104: 73.72646594677 b43 - 10.40483530187718 x152 - 11.73955981932636 x155 - 12.880675610672 x158 + [ x152^2 + x155^2 + x158^2 ] <= -28.270950702753012 e105: 131.767274170968 b44 - 11.7494005604215 x152 - 5.34057378868854 x155 - 1.498313992858154 x158 + [ x152^2 + x155^2 + x158^2 ] <= 90.56350248525433 e106: 107.46773494331 b45 - 5.79553467812656 x152 - 10.44216580995402 x155 - 15.14033383252922 x158 + [ x152^2 + x155^2 + x158^2 ] <= 15.503545551217712 e107: 124.533164159302 b46 - 6.50005248944232 x152 - 13.954844035486 x155 - 1.391390230280734 x158 + [ x152^2 + x155^2 + x158^2 ] <= 65.80208386101071 e108: 106.740936443786 b47 - 16.94099426256146 x152 - 8.41164204927236 x155 - 9.8788252505873 x158 + [ x152^2 + x155^2 + x158^2 ] <= -6.095112781431098 e109: 150.565522268974 b48 - 1.573230881589472 x152 - 3.0962621250863 x155 - 5.97926759080644 x158 + [ x152^2 + x155^2 + x158^2 ] <= 139.61213839984927 e110: 163.973027168021 b49 - 10.35137145763758 x152 - 4.05255613088576 x155 - 18.5481266837376 x158 + [ x152^2 + x155^2 + x158^2 ] <= 48.07125073703287 e111: 161.969348685106 b50 - 18.23748362361302 x152 - 18.1593363214197 x155 - 3.29990098640232 x158 + [ x152^2 + x155^2 + x158^2 ] <= -5.34481408390522 e112: 98.8575703440414 b51 - 16.52785539349572 x152 - 8.59433756664406 x155 - 6.13023958733236 x158 + [ x152^2 + x155^2 + x158^2 ] <= 3.704450465083468 e113: 147.501061227256 b52 - 5.91044514960884 x152 - 2.59450240884996 x155 - 1.599055170206338 x158 + [ x152^2 + x155^2 + x158^2 ] <= 137.44561571389937 e114: 109.493435167956 b53 - 11.18562441052594 x152 - 10.16775899345716 x155 - 1.094927620300394 x158 + [ x152^2 + x155^2 + x158^2 ] <= 53.068339443936146 e115: 123.353905785717 b54 - 11.1426643413076 x152 - 7.79627024634888 x155 - .757799876327034 x158 + [ x152^2 + x155^2 + x158^2 ] <= 77.9751410282885 e116: 161.162335824934 b55 - 2.94967611670926 x152 - 1.979504984598492 x155 - 10.7343452762773 x158 + [ x152^2 + x155^2 + x158^2 ] <= 130.20103640296597 e117: 124.302670822369 b56 - 9.23014157002502 x152 - .469414603224486 x155 - 7.94685715029788 x158 + [ x152^2 + x155^2 + x158^2 ] <= 88.16057031245276 e118: 116.160211358947 b57 - 18.30811603034968 x152 - 8.5233946633279 x155 - 9.79823545742284 x158 + [ x152^2 + x155^2 + x158^2 ] <= -8.79998545272592 e119: 134.909618001418 b58 - 12.46817454488542 x152 - 1.511851691022196 x155 - 10.81191344473236 x158 + [ x152^2 + x155^2 + x158^2 ] <= 67.24998191297806 e120: 54.9767406737741 b59 - 10.33489983014794 x152 - 10.51070194587776 x155 - 7.62125973993496 x158 + [ x152^2 + x155^2 + x158^2 ] <= -12.865411805681887 e121: 143.305588261876 b60 - 14.47218153992164 x152 - 6.60097924315844 x155 - 16.10004862521042 x158 + [ x152^2 + x155^2 + x158^2 ] <= 16.24845545507671 e122: 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 e123: 75.9704013248235 b61 - 9.66404108495038 x160 - 10.16082953089824 x162 - 12.65242758083612 x164 + [ x160^2 + x162^2 + x164^2 ] <= -12.209616309147805 e124: 140.659182931282 b62 - 13.72844315172804 x160 - 15.32856419599728 x162 - .19418351146264 x164 + [ x160^2 + x162^2 + x164^2 ] <= 35.79099820199146 e125: 109.037662329134 b63 - 9.69724001422578 x160 - 6.9051439024157 x162 - 14.78189547941234 x164 + [ x160^2 + x162^2 + x164^2 ] <= 19.982184786423673 e126: 179.094987294124 b64 - 3.81307152351656 x160 - 18.13630535420906 x162 - .658540620875418 x164 + [ x160^2 + x162^2 + x164^2 ] <= 94.12029677064697 e127: 149.370448589907 b65 - 17.83746574645724 x160 - 6.010986444418 x162 - 13.45206629867474 x164 + [ x160^2 + x162^2 + x164^2 ] <= 16.55414109116873 e128: 161.969348685106 b66 - 5.58438023390822 x160 - .1604727010932084 x162 - 11.6479378026186 x164 + [ x160^2 + x162^2 + x164^2 ] <= 121.24797140052291 e129: 179.094987294124 b67 - 16.90385208975694 x160 - 1.92196453436183 x162 - 14.17693498546172 x164 + [ x160^2 + x162^2 + x164^2 ] <= 57.490075112690704 e130: 152.326136990614 b68 - 19.53389493951318 x160 - 3.29535964686888 x162 - 7.78922391732552 x164 + [ x160^2 + x162^2 + x164^2 ] <= 40.05002300451744 e131: 147.501061227256 b69 - 7.85300054776798 x160 - 17.15800858577648 x162 - 18.47051634202742 x164 + [ x160^2 + x162^2 + x164^2 ] <= -25.80565131622538 e132: 150.218840203818 b70 - 1.359980808212316 x160 - 15.86709096907434 x162 - 12.49655029697954 x164 + [ x160^2 + x162^2 + x164^2 ] <= 48.77436696768655 e133: 79.871242402384 b71 - 7.60565325835158 x160 - 10.00672284993538 x162 - 12.02006696170918 x164 + [ x160^2 + x162^2 + x164^2 ] <= 5.255624040967646 e134: 108.386687957096 b72 - 13.08586662069486 x160 - 2.98727545315388 x162 - 7.16994930926632 x164 + [ x160^2 + x162^2 + x164^2 ] <= 51.49371472082594 e135: 73.72646594677 b73 - 10.40483530187718 x160 - 11.73955981932636 x162 - 12.880675610672 x164 + [ x160^2 + x162^2 + x164^2 ] <= -28.270950702753012 e136: 131.767274170968 b74 - 11.7494005604215 x160 - 5.34057378868854 x162 - 1.498313992858154 x164 + [ x160^2 + x162^2 + x164^2 ] <= 90.56350248525433 e137: 107.46773494331 b75 - 5.79553467812656 x160 - 10.44216580995402 x162 - 15.14033383252922 x164 + [ x160^2 + x162^2 + x164^2 ] <= 15.503545551217712 e138: 124.533164159302 b76 - 6.50005248944232 x160 - 13.954844035486 x162 - 1.391390230280734 x164 + [ x160^2 + x162^2 + x164^2 ] <= 65.80208386101071 e139: 106.740936443786 b77 - 16.94099426256146 x160 - 8.41164204927236 x162 - 9.8788252505873 x164 + [ x160^2 + x162^2 + x164^2 ] <= -6.095112781431098 e140: 150.565522268974 b78 - 1.573230881589472 x160 - 3.0962621250863 x162 - 5.97926759080644 x164 + [ x160^2 + x162^2 + x164^2 ] <= 139.61213839984927 e141: 163.973027168021 b79 - 10.35137145763758 x160 - 4.05255613088576 x162 - 18.5481266837376 x164 + [ x160^2 + x162^2 + x164^2 ] <= 48.07125073703287 e142: 161.969348685106 b80 - 18.23748362361302 x160 - 18.1593363214197 x162 - 3.29990098640232 x164 + [ x160^2 + x162^2 + x164^2 ] <= -5.34481408390522 e143: 98.8575703440414 b81 - 16.52785539349572 x160 - 8.59433756664406 x162 - 6.13023958733236 x164 + [ x160^2 + x162^2 + x164^2 ] <= 3.704450465083468 e144: 147.501061227256 b82 - 5.91044514960884 x160 - 2.59450240884996 x162 - 1.599055170206338 x164 + [ x160^2 + x162^2 + x164^2 ] <= 137.44561571389937 e145: 109.493435167956 b83 - 11.18562441052594 x160 - 10.16775899345716 x162 - 1.094927620300394 x164 + [ x160^2 + x162^2 + x164^2 ] <= 53.068339443936146 e146: 123.353905785717 b84 - 11.1426643413076 x160 - 7.79627024634888 x162 - .757799876327034 x164 + [ x160^2 + x162^2 + x164^2 ] <= 77.9751410282885 e147: 161.162335824934 b85 - 2.94967611670926 x160 - 1.979504984598492 x162 - 10.7343452762773 x164 + [ x160^2 + x162^2 + x164^2 ] <= 130.20103640296597 e148: 124.302670822369 b86 - 9.23014157002502 x160 - .469414603224486 x162 - 7.94685715029788 x164 + [ x160^2 + x162^2 + x164^2 ] <= 88.16057031245276 e149: 116.160211358947 b87 - 18.30811603034968 x160 - 8.5233946633279 x162 - 9.79823545742284 x164 + [ x160^2 + x162^2 + x164^2 ] <= -8.79998545272592 e150: 134.909618001418 b88 - 12.46817454488542 x160 - 1.511851691022196 x162 - 10.81191344473236 x164 + [ x160^2 + x162^2 + x164^2 ] <= 67.24998191297806 e151: 54.9767406737741 b89 - 10.33489983014794 x160 - 10.51070194587776 x162 - 7.62125973993496 x164 + [ x160^2 + x162^2 + x164^2 ] <= -12.865411805681887 e152: 143.305588261876 b90 - 14.47218153992164 x160 - 6.60097924315844 x162 - 16.10004862521042 x164 + [ x160^2 + x162^2 + x164^2 ] <= 16.24845545507671 e153: 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 e154: 75.9704013248235 b91 - 9.66404108495038 x166 - 10.16082953089824 x168 - 12.65242758083612 x170 + [ x166^2 + x168^2 + x170^2 ] <= -12.209616309147805 e155: 140.659182931282 b92 - 13.72844315172804 x166 - 15.32856419599728 x168 - .19418351146264 x170 + [ x166^2 + x168^2 + x170^2 ] <= 35.79099820199146 e156: 109.037662329134 b93 - 9.69724001422578 x166 - 6.9051439024157 x168 - 14.78189547941234 x170 + [ x166^2 + x168^2 + x170^2 ] <= 19.982184786423673 e157: 179.094987294124 b94 - 3.81307152351656 x166 - 18.13630535420906 x168 - .658540620875418 x170 + [ x166^2 + x168^2 + x170^2 ] <= 94.12029677064697 e158: 149.370448589907 b95 - 17.83746574645724 x166 - 6.010986444418 x168 - 13.45206629867474 x170 + [ x166^2 + x168^2 + x170^2 ] <= 16.55414109116873 e159: 161.969348685106 b96 - 5.58438023390822 x166 - .1604727010932084 x168 - 11.6479378026186 x170 + [ x166^2 + x168^2 + x170^2 ] <= 121.24797140052291 e160: 179.094987294124 b97 - 16.90385208975694 x166 - 1.92196453436183 x168 - 14.17693498546172 x170 + [ x166^2 + x168^2 + x170^2 ] <= 57.490075112690704 e161: 152.326136990614 b98 - 19.53389493951318 x166 - 3.29535964686888 x168 - 7.78922391732552 x170 + [ x166^2 + x168^2 + x170^2 ] <= 40.05002300451744 e162: 147.501061227256 b99 - 7.85300054776798 x166 - 17.15800858577648 x168 - 18.47051634202742 x170 + [ x166^2 + x168^2 + x170^2 ] <= -25.80565131622538 e163: 150.218840203818 b100 - 1.359980808212316 x166 - 15.86709096907434 x168 - 12.49655029697954 x170 + [ x166^2 + x168^2 + x170^2 ] <= 48.77436696768655 e164: 79.871242402384 b101 - 7.60565325835158 x166 - 10.00672284993538 x168 - 12.02006696170918 x170 + [ x166^2 + x168^2 + x170^2 ] <= 5.255624040967646 e165: 108.386687957096 b102 - 13.08586662069486 x166 - 2.98727545315388 x168 - 7.16994930926632 x170 + [ x166^2 + x168^2 + x170^2 ] <= 51.49371472082594 e166: 73.72646594677 b103 - 10.40483530187718 x166 - 11.73955981932636 x168 - 12.880675610672 x170 + [ x166^2 + x168^2 + x170^2 ] <= -28.270950702753012 e167: 131.767274170968 b104 - 11.7494005604215 x166 - 5.34057378868854 x168 - 1.498313992858154 x170 + [ x166^2 + x168^2 + x170^2 ] <= 90.56350248525433 e168: 107.46773494331 b105 - 5.79553467812656 x166 - 10.44216580995402 x168 - 15.14033383252922 x170 + [ x166^2 + x168^2 + x170^2 ] <= 15.503545551217712 e169: 124.533164159302 b106 - 6.50005248944232 x166 - 13.954844035486 x168 - 1.391390230280734 x170 + [ x166^2 + x168^2 + x170^2 ] <= 65.80208386101071 e170: 106.740936443786 b107 - 16.94099426256146 x166 - 8.41164204927236 x168 - 9.8788252505873 x170 + [ x166^2 + x168^2 + x170^2 ] <= -6.095112781431098 e171: 150.565522268974 b108 - 1.573230881589472 x166 - 3.0962621250863 x168 - 5.97926759080644 x170 + [ x166^2 + x168^2 + x170^2 ] <= 139.61213839984927 e172: 163.973027168021 b109 - 10.35137145763758 x166 - 4.05255613088576 x168 - 18.5481266837376 x170 + [ x166^2 + x168^2 + x170^2 ] <= 48.07125073703287 e173: 161.969348685106 b110 - 18.23748362361302 x166 - 18.1593363214197 x168 - 3.29990098640232 x170 + [ x166^2 + x168^2 + x170^2 ] <= -5.34481408390522 e174: 98.8575703440414 b111 - 16.52785539349572 x166 - 8.59433756664406 x168 - 6.13023958733236 x170 + [ x166^2 + x168^2 + x170^2 ] <= 3.704450465083468 e175: 147.501061227256 b112 - 5.91044514960884 x166 - 2.59450240884996 x168 - 1.599055170206338 x170 + [ x166^2 + x168^2 + x170^2 ] <= 137.44561571389937 e176: 109.493435167956 b113 - 11.18562441052594 x166 - 10.16775899345716 x168 - 1.094927620300394 x170 + [ x166^2 + x168^2 + x170^2 ] <= 53.068339443936146 e177: 123.353905785717 b114 - 11.1426643413076 x166 - 7.79627024634888 x168 - .757799876327034 x170 + [ x166^2 + x168^2 + x170^2 ] <= 77.9751410282885 e178: 161.162335824934 b115 - 2.94967611670926 x166 - 1.979504984598492 x168 - 10.7343452762773 x170 + [ x166^2 + x168^2 + x170^2 ] <= 130.20103640296597 e179: 124.302670822369 b116 - 9.23014157002502 x166 - .469414603224486 x168 - 7.94685715029788 x170 + [ x166^2 + x168^2 + x170^2 ] <= 88.16057031245276 e180: 116.160211358947 b117 - 18.30811603034968 x166 - 8.5233946633279 x168 - 9.79823545742284 x170 + [ x166^2 + x168^2 + x170^2 ] <= -8.79998545272592 e181: 134.909618001418 b118 - 12.46817454488542 x166 - 1.511851691022196 x168 - 10.81191344473236 x170 + [ x166^2 + x168^2 + x170^2 ] <= 67.24998191297806 e182: 54.9767406737741 b119 - 10.33489983014794 x166 - 10.51070194587776 x168 - 7.62125973993496 x170 + [ x166^2 + x168^2 + x170^2 ] <= -12.865411805681887 e183: 143.305588261876 b120 - 14.47218153992164 x166 - 6.60097924315844 x168 - 16.10004862521042 x170 + [ x166^2 + x168^2 + x170^2 ] <= 16.24845545507671 e184: 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 e185: 75.9704013248235 b121 - 9.66404108495038 x172 - 10.16082953089824 x174 - 12.65242758083612 x176 + [ x172^2 + x174^2 + x176^2 ] <= -12.209616309147805 e186: 140.659182931282 b122 - 13.72844315172804 x172 - 15.32856419599728 x174 - .19418351146264 x176 + [ x172^2 + x174^2 + x176^2 ] <= 35.79099820199146 e187: 109.037662329134 b123 - 9.69724001422578 x172 - 6.9051439024157 x174 - 14.78189547941234 x176 + [ x172^2 + x174^2 + x176^2 ] <= 19.982184786423673 e188: 179.094987294124 b124 - 3.81307152351656 x172 - 18.13630535420906 x174 - .658540620875418 x176 + [ x172^2 + x174^2 + x176^2 ] <= 94.12029677064697 e189: 149.370448589907 b125 - 17.83746574645724 x172 - 6.010986444418 x174 - 13.45206629867474 x176 + [ x172^2 + x174^2 + x176^2 ] <= 16.55414109116873 e190: 161.969348685106 b126 - 5.58438023390822 x172 - .1604727010932084 x174 - 11.6479378026186 x176 + [ x172^2 + x174^2 + x176^2 ] <= 121.24797140052291 e191: 179.094987294124 b127 - 16.90385208975694 x172 - 1.92196453436183 x174 - 14.17693498546172 x176 + [ x172^2 + x174^2 + x176^2 ] <= 57.490075112690704 e192: 152.326136990614 b128 - 19.53389493951318 x172 - 3.29535964686888 x174 - 7.78922391732552 x176 + [ x172^2 + x174^2 + x176^2 ] <= 40.05002300451744 e193: 147.501061227256 b129 - 7.85300054776798 x172 - 17.15800858577648 x174 - 18.47051634202742 x176 + [ x172^2 + x174^2 + x176^2 ] <= -25.80565131622538 e194: 150.218840203818 b130 - 1.359980808212316 x172 - 15.86709096907434 x174 - 12.49655029697954 x176 + [ x172^2 + x174^2 + x176^2 ] <= 48.77436696768655 e195: 79.871242402384 b131 - 7.60565325835158 x172 - 10.00672284993538 x174 - 12.02006696170918 x176 + [ x172^2 + x174^2 + x176^2 ] <= 5.255624040967646 e196: 108.386687957096 b132 - 13.08586662069486 x172 - 2.98727545315388 x174 - 7.16994930926632 x176 + [ x172^2 + x174^2 + x176^2 ] <= 51.49371472082594 e197: 73.72646594677 b133 - 10.40483530187718 x172 - 11.73955981932636 x174 - 12.880675610672 x176 + [ x172^2 + x174^2 + x176^2 ] <= -28.270950702753012 e198: 131.767274170968 b134 - 11.7494005604215 x172 - 5.34057378868854 x174 - 1.498313992858154 x176 + [ x172^2 + x174^2 + x176^2 ] <= 90.56350248525433 e199: 107.46773494331 b135 - 5.79553467812656 x172 - 10.44216580995402 x174 - 15.14033383252922 x176 + [ x172^2 + x174^2 + x176^2 ] <= 15.503545551217712 e200: 124.533164159302 b136 - 6.50005248944232 x172 - 13.954844035486 x174 - 1.391390230280734 x176 + [ x172^2 + x174^2 + x176^2 ] <= 65.80208386101071 e201: 106.740936443786 b137 - 16.94099426256146 x172 - 8.41164204927236 x174 - 9.8788252505873 x176 + [ x172^2 + x174^2 + x176^2 ] <= -6.095112781431098 e202: 150.565522268974 b138 - 1.573230881589472 x172 - 3.0962621250863 x174 - 5.97926759080644 x176 + [ x172^2 + x174^2 + x176^2 ] <= 139.61213839984927 e203: 163.973027168021 b139 - 10.35137145763758 x172 - 4.05255613088576 x174 - 18.5481266837376 x176 + [ x172^2 + x174^2 + x176^2 ] <= 48.07125073703287 e204: 161.969348685106 b140 - 18.23748362361302 x172 - 18.1593363214197 x174 - 3.29990098640232 x176 + [ x172^2 + x174^2 + x176^2 ] <= -5.34481408390522 e205: 98.8575703440414 b141 - 16.52785539349572 x172 - 8.59433756664406 x174 - 6.13023958733236 x176 + [ x172^2 + x174^2 + x176^2 ] <= 3.704450465083468 e206: 147.501061227256 b142 - 5.91044514960884 x172 - 2.59450240884996 x174 - 1.599055170206338 x176 + [ x172^2 + x174^2 + x176^2 ] <= 137.44561571389937 e207: 109.493435167956 b143 - 11.18562441052594 x172 - 10.16775899345716 x174 - 1.094927620300394 x176 + [ x172^2 + x174^2 + x176^2 ] <= 53.068339443936146 e208: 123.353905785717 b144 - 11.1426643413076 x172 - 7.79627024634888 x174 - .757799876327034 x176 + [ x172^2 + x174^2 + x176^2 ] <= 77.9751410282885 e209: 161.162335824934 b145 - 2.94967611670926 x172 - 1.979504984598492 x174 - 10.7343452762773 x176 + [ x172^2 + x174^2 + x176^2 ] <= 130.20103640296597 e210: 124.302670822369 b146 - 9.23014157002502 x172 - .469414603224486 x174 - 7.94685715029788 x176 + [ x172^2 + x174^2 + x176^2 ] <= 88.16057031245276 e211: 116.160211358947 b147 - 18.30811603034968 x172 - 8.5233946633279 x174 - 9.79823545742284 x176 + [ x172^2 + x174^2 + x176^2 ] <= -8.79998545272592 e212: 134.909618001418 b148 - 12.46817454488542 x172 - 1.511851691022196 x174 - 10.81191344473236 x176 + [ x172^2 + x174^2 + x176^2 ] <= 67.24998191297806 e213: 54.9767406737741 b149 - 10.33489983014794 x172 - 10.51070194587776 x174 - 7.62125973993496 x176 + [ x172^2 + x174^2 + x176^2 ] <= -12.865411805681887 e214: 143.305588261876 b150 - 14.47218153992164 x172 - 6.60097924315844 x174 - 16.10004862521042 x176 + [ x172^2 + x174^2 + x176^2 ] <= 16.24845545507671 e215: 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 e216: b1 + b31 + b61 + b91 + b121 <= 1 e217: b2 + b32 + b62 + b92 + b122 <= 1 e218: b3 + b33 + b63 + b93 + b123 <= 1 e219: b4 + b34 + b64 + b94 + b124 <= 1 e220: b5 + b35 + b65 + b95 + b125 <= 1 e221: b6 + b36 + b66 + b96 + b126 <= 1 e222: b7 + b37 + b67 + b97 + b127 <= 1 e223: b8 + b38 + b68 + b98 + b128 <= 1 e224: b9 + b39 + b69 + b99 + b129 <= 1 e225: b10 + b40 + b70 + b100 + b130 <= 1 e226: b11 + b41 + b71 + b101 + b131 <= 1 e227: b12 + b42 + b72 + b102 + b132 <= 1 e228: b13 + b43 + b73 + b103 + b133 <= 1 e229: b14 + b44 + b74 + b104 + b134 <= 1 e230: b15 + b45 + b75 + b105 + b135 <= 1 e231: b16 + b46 + b76 + b106 + b136 <= 1 e232: b17 + b47 + b77 + b107 + b137 <= 1 e233: b18 + b48 + b78 + b108 + b138 <= 1 e234: b19 + b49 + b79 + b109 + b139 <= 1 e235: b20 + b50 + b80 + b110 + b140 <= 1 e236: b21 + b51 + b81 + b111 + b141 <= 1 e237: b22 + b52 + b82 + b112 + b142 <= 1 e238: b23 + b53 + b83 + b113 + b143 <= 1 e239: b24 + b54 + b84 + b114 + b144 <= 1 e240: b25 + b55 + b85 + b115 + b145 <= 1 e241: b26 + b56 + b86 + b116 + b146 <= 1 e242: b27 + b57 + b87 + b117 + b147 <= 1 e243: b28 + b58 + b88 + b118 + b148 <= 1 e244: b29 + b59 + b89 + b119 + b149 <= 1 e245: b30 + b60 + b90 + b120 + b150 <= 1 e246: x151 - x152 <= 0 e247: x152 - x160 <= 0 e248: x160 - x166 <= 0 e249: x166 - x172 <= 0 Bounds x151 <= 10 x152 <= 10 x153 <= 10 x154 <= 10 x155 <= 10 x156 <= 10 x157 <= 10 x158 <= 10 x159 <= 10 x160 <= 10 x161 <= 10 x162 <= 10 x163 <= 10 x164 <= 10 x165 <= 10 x166 <= 10 x167 <= 10 x168 <= 10 x169 <= 10 x170 <= 10 x171 <= 10 x172 <= 10 x173 <= 10 x174 <= 10 x175 <= 10 x176 <= 10 x177 <= 10 x178 <= 10 x179 <= 10 x180 <= 10 x181 <= 10 x182 <= 10 x183 <= 10 x184 <= 10 x185 <= 10 x186 <= 10 x187 <= 10 x188 <= 10 x189 <= 10 x190 <= 10 x191 <= 10 x192 <= 10 x193 <= 10 x194 <= 10 x195 <= 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 End