\ Equation counts \ Total E G L N X C B \ 229 5 0 224 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 180 30 150 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 898 598 300 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 + x158 + 0 x159 + x160 + 0 x161 + x162 + 0 x163 + x164 + 0 x165 + x166 + 0 x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 Subject To e1: x151 - x152 - x153 <= 0 e2: - x151 + x152 - x153 <= 0 e3: x154 - x155 - x156 <= 0 e4: - x154 + x155 - x156 <= 0 e5: x151 - x157 - x158 <= 0 e6: - x151 + x157 - x158 <= 0 e7: x154 - x159 - x160 <= 0 e8: - x154 + x159 - x160 <= 0 e9: x151 - x161 - x162 <= 0 e10: - x151 + x161 - x162 <= 0 e11: x154 - x163 - x164 <= 0 e12: - x154 + x163 - x164 <= 0 e13: x151 - x165 - x166 <= 0 e14: - x151 + x165 - x166 <= 0 e15: x154 - x167 - x168 <= 0 e16: - x154 + x167 - x168 <= 0 e17: x152 - x157 - x169 <= 0 e18: - x152 + x157 - x169 <= 0 e19: x155 - x159 - x170 <= 0 e20: - x155 + x159 - x170 <= 0 e21: x152 - x161 - x171 <= 0 e22: - x152 + x161 - x171 <= 0 e23: x155 - x163 - x172 <= 0 e24: - x155 + x163 - x172 <= 0 e25: x152 - x165 - x173 <= 0 e26: - x152 + x165 - x173 <= 0 e27: x155 - x167 - x174 <= 0 e28: - x155 + x167 - x174 <= 0 e29: x157 - x161 - x175 <= 0 e30: - x157 + x161 - x175 <= 0 e31: x159 - x163 - x176 <= 0 e32: - x159 + x163 - x176 <= 0 e33: x157 - x165 - x177 <= 0 e34: - x157 + x165 - x177 <= 0 e35: x159 - x167 - x178 <= 0 e36: - x159 + x167 - x178 <= 0 e37: x161 - x165 - x179 <= 0 e38: - x161 + x165 - x179 <= 0 e39: x163 - x167 - x180 <= 0 e40: - x163 + x167 - x180 <= 0 e41: 117.37605108924 b1 - 7.16785670143786 x151 - .88741507958756 x154 + [ x151^2 + x154^2 ] <= 105.33463228528323 e42: 140.241701004457 b2 - 3.91257768688 x151 - .781006073300556 x154 + [ x151^2 + x154^2 ] <= 137.2621423438561 e43: 71.5594363053072 b3 - 9.10071380981336 x151 - 14.54371680480646 x154 + [ x151^2 + x154^2 ] <= -1.026236281327158 e44: 70.1361240423208 b4 - 12.4201744777292 x151 - 12.97491873350946 x154 + [ x151^2 + x154^2 ] <= -9.51618850728184 e45: 91.0983527000505 b5 - 6.3572686415106 x151 - 4.71260131718582 x154 + [ x151^2 + x154^2 ] <= 76.44248376128161 e46: 78.1787285426132 b6 - 5.54416545665474 x151 - 13.27074039243036 x154 + [ x151^2 + x154^2 ] <= 27.4661482491016 e47: 117.525315958044 b7 - 10.10392903671858 x151 - 19.56059515719124 x154 + [ x151^2 + x154^2 ] <= -2.6512502626005556 e48: 120.184782975767 b8 - 9.82717663381314 x151 - 19.90401532980936 x154 + [ x151^2 + x154^2 ] <= -2.0010237345952504 e49: 100.562560044535 b9 - 3.64541946058246 x151 - 6.17849322424068 x154 + [ x151^2 + x154^2 ] <= 88.69684465313968 e50: 140.241701004457 b10 - 17.80832140575856 x151 - 17.53806396235126 x154 + [ x151^2 + x154^2 ] <= -14.9382987051236 e51: 131.965894836477 b11 - 19.11383444877094 x151 - 15.35964460290824 x154 + [ x151^2 + x154^2 ] <= -17.34844257919076 e52: 61.1865070415458 b12 - 11.26308431835228 x151 - 10.39338259258974 x154 + [ x151^2 + x154^2 ] <= 3.4666395219806816 e53: 129.251385415199 b13 - 2.45013571214114 x151 - 3.47287677521402 x154 + [ x151^2 + x154^2 ] <= 125.73537588926642 e54: 122.549628719203 b14 - 7.13484048750448 x151 - 19.35432832797516 x154 + [ x151^2 + x154^2 ] <= 17.175635266904266 e55: 94.7662927771576 b15 - 12.8939379985268 x151 - 6.54003175678516 x154 + [ x151^2 + x154^2 ] <= 43.50987965475468 e56: 78.2445398454346 b16 - 12.21506475084392 x151 - 8.38413845176122 x154 + [ x151^2 + x154^2 ] <= 24.369143734031937 e57: 68.5611029512265 b17 - 7.31754946664122 x151 - 7.26842537701678 x154 + [ x151^2 + x154^2 ] <= 42.966968536725815 e58: 123.013834343708 b18 - 2.4357720152196 x151 - 4.32251011468254 x154 + [ x151^2 + x154^2 ] <= 117.85956459329304 e59: 106.643311548917 b19 - 1.184149738470246 x151 - 9.87342399000506 x154 + [ x151^2 + x154^2 ] <= 82.92163357653536 e60: 125.533092608851 b20 - 13.4805701449752 x151 - 3.14129141437508 x154 + [ x151^2 + x154^2 ] <= 78.63472181294519 e61: 125.003682175941 b21 - 9.72395761876232 x151 - .767102910955382 x154 + [ x151^2 + x154^2 ] <= 102.21773251407049 e62: 111.618317672146 b22 - 3.759820442203 x151 - 16.22195600127552 x154 + [ x151^2 + x154^2 ] <= 43.296291105914406 e63: 160.611756853376 b23 - 15.29369965167482 x151 - .841920934186988 x154 + [ x151^2 + x154^2 ] <= 102.9602368796108 e64: 68.5364474973792 b24 - 7.73174611676578 x151 - 6.86578178280862 x154 + [ x151^2 + x154^2 ] <= 42.80673312156184 e65: 94.0180040498471 b25 - 3.86171868629636 x151 - 6.97479999375302 x154 + [ x151^2 + x154^2 ] <= 79.12782750861018 e66: 120.943028096043 b26 - 16.28822133317852 x151 - 6.56781397565042 x154 + [ x151^2 + x154^2 ] <= 44.832444441702805 e67: 55.2445625258556 b27 - 7.8556329765755 x151 - 9.1759384436016 x154 + [ x151^2 + x154^2 ] <= 19.76735857999904 e68: 114.385124970594 b28 - 18.87061056665856 x151 - 12.4231622853776 x154 + [ x151^2 + x154^2 ] <= -12.223601111234501 e69: 96.0912915355006 b29 - 11.88554601822674 x151 - 5.44252517627194 x154 + [ x151^2 + x154^2 ] <= 54.369470424065746 e70: 160.611756853376 b30 - .545877602520044 x151 - 19.0421264816381 x154 + [ x151^2 + x154^2 ] <= 70.88661602846699 e71: 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 e72: 117.37605108924 b31 - 7.16785670143786 x152 - .88741507958756 x155 + [ x152^2 + x155^2 ] <= 105.33463228528323 e73: 140.241701004457 b32 - 3.91257768688 x152 - .781006073300556 x155 + [ x152^2 + x155^2 ] <= 137.2621423438561 e74: 71.5594363053072 b33 - 9.10071380981336 x152 - 14.54371680480646 x155 + [ x152^2 + x155^2 ] <= -1.026236281327158 e75: 70.1361240423208 b34 - 12.4201744777292 x152 - 12.97491873350946 x155 + [ x152^2 + x155^2 ] <= -9.51618850728184 e76: 91.0983527000505 b35 - 6.3572686415106 x152 - 4.71260131718582 x155 + [ x152^2 + x155^2 ] <= 76.44248376128161 e77: 78.1787285426132 b36 - 5.54416545665474 x152 - 13.27074039243036 x155 + [ x152^2 + x155^2 ] <= 27.4661482491016 e78: 117.525315958044 b37 - 10.10392903671858 x152 - 19.56059515719124 x155 + [ x152^2 + x155^2 ] <= -2.6512502626005556 e79: 120.184782975767 b38 - 9.82717663381314 x152 - 19.90401532980936 x155 + [ x152^2 + x155^2 ] <= -2.0010237345952504 e80: 100.562560044535 b39 - 3.64541946058246 x152 - 6.17849322424068 x155 + [ x152^2 + x155^2 ] <= 88.69684465313968 e81: 140.241701004457 b40 - 17.80832140575856 x152 - 17.53806396235126 x155 + [ x152^2 + x155^2 ] <= -14.9382987051236 e82: 131.965894836477 b41 - 19.11383444877094 x152 - 15.35964460290824 x155 + [ x152^2 + x155^2 ] <= -17.34844257919076 e83: 61.1865070415458 b42 - 11.26308431835228 x152 - 10.39338259258974 x155 + [ x152^2 + x155^2 ] <= 3.4666395219806816 e84: 129.251385415199 b43 - 2.45013571214114 x152 - 3.47287677521402 x155 + [ x152^2 + x155^2 ] <= 125.73537588926642 e85: 122.549628719203 b44 - 7.13484048750448 x152 - 19.35432832797516 x155 + [ x152^2 + x155^2 ] <= 17.175635266904266 e86: 94.7662927771576 b45 - 12.8939379985268 x152 - 6.54003175678516 x155 + [ x152^2 + x155^2 ] <= 43.50987965475468 e87: 78.2445398454346 b46 - 12.21506475084392 x152 - 8.38413845176122 x155 + [ x152^2 + x155^2 ] <= 24.369143734031937 e88: 68.5611029512265 b47 - 7.31754946664122 x152 - 7.26842537701678 x155 + [ x152^2 + x155^2 ] <= 42.966968536725815 e89: 123.013834343708 b48 - 2.4357720152196 x152 - 4.32251011468254 x155 + [ x152^2 + x155^2 ] <= 117.85956459329304 e90: 106.643311548917 b49 - 1.184149738470246 x152 - 9.87342399000506 x155 + [ x152^2 + x155^2 ] <= 82.92163357653536 e91: 125.533092608851 b50 - 13.4805701449752 x152 - 3.14129141437508 x155 + [ x152^2 + x155^2 ] <= 78.63472181294519 e92: 125.003682175941 b51 - 9.72395761876232 x152 - .767102910955382 x155 + [ x152^2 + x155^2 ] <= 102.21773251407049 e93: 111.618317672146 b52 - 3.759820442203 x152 - 16.22195600127552 x155 + [ x152^2 + x155^2 ] <= 43.296291105914406 e94: 160.611756853376 b53 - 15.29369965167482 x152 - .841920934186988 x155 + [ x152^2 + x155^2 ] <= 102.9602368796108 e95: 68.5364474973792 b54 - 7.73174611676578 x152 - 6.86578178280862 x155 + [ x152^2 + x155^2 ] <= 42.80673312156184 e96: 94.0180040498471 b55 - 3.86171868629636 x152 - 6.97479999375302 x155 + [ x152^2 + x155^2 ] <= 79.12782750861018 e97: 120.943028096043 b56 - 16.28822133317852 x152 - 6.56781397565042 x155 + [ x152^2 + x155^2 ] <= 44.832444441702805 e98: 55.2445625258556 b57 - 7.8556329765755 x152 - 9.1759384436016 x155 + [ x152^2 + x155^2 ] <= 19.76735857999904 e99: 114.385124970594 b58 - 18.87061056665856 x152 - 12.4231622853776 x155 + [ x152^2 + x155^2 ] <= -12.223601111234501 e100: 96.0912915355006 b59 - 11.88554601822674 x152 - 5.44252517627194 x155 + [ x152^2 + x155^2 ] <= 54.369470424065746 e101: 160.611756853376 b60 - .545877602520044 x152 - 19.0421264816381 x155 + [ x152^2 + x155^2 ] <= 70.88661602846699 e102: 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 e103: 117.37605108924 b61 - 7.16785670143786 x157 - .88741507958756 x159 + [ x157^2 + x159^2 ] <= 105.33463228528323 e104: 140.241701004457 b62 - 3.91257768688 x157 - .781006073300556 x159 + [ x157^2 + x159^2 ] <= 137.2621423438561 e105: 71.5594363053072 b63 - 9.10071380981336 x157 - 14.54371680480646 x159 + [ x157^2 + x159^2 ] <= -1.026236281327158 e106: 70.1361240423208 b64 - 12.4201744777292 x157 - 12.97491873350946 x159 + [ x157^2 + x159^2 ] <= -9.51618850728184 e107: 91.0983527000505 b65 - 6.3572686415106 x157 - 4.71260131718582 x159 + [ x157^2 + x159^2 ] <= 76.44248376128161 e108: 78.1787285426132 b66 - 5.54416545665474 x157 - 13.27074039243036 x159 + [ x157^2 + x159^2 ] <= 27.4661482491016 e109: 117.525315958044 b67 - 10.10392903671858 x157 - 19.56059515719124 x159 + [ x157^2 + x159^2 ] <= -2.6512502626005556 e110: 120.184782975767 b68 - 9.82717663381314 x157 - 19.90401532980936 x159 + [ x157^2 + x159^2 ] <= -2.0010237345952504 e111: 100.562560044535 b69 - 3.64541946058246 x157 - 6.17849322424068 x159 + [ x157^2 + x159^2 ] <= 88.69684465313968 e112: 140.241701004457 b70 - 17.80832140575856 x157 - 17.53806396235126 x159 + [ x157^2 + x159^2 ] <= -14.9382987051236 e113: 131.965894836477 b71 - 19.11383444877094 x157 - 15.35964460290824 x159 + [ x157^2 + x159^2 ] <= -17.34844257919076 e114: 61.1865070415458 b72 - 11.26308431835228 x157 - 10.39338259258974 x159 + [ x157^2 + x159^2 ] <= 3.4666395219806816 e115: 129.251385415199 b73 - 2.45013571214114 x157 - 3.47287677521402 x159 + [ x157^2 + x159^2 ] <= 125.73537588926642 e116: 122.549628719203 b74 - 7.13484048750448 x157 - 19.35432832797516 x159 + [ x157^2 + x159^2 ] <= 17.175635266904266 e117: 94.7662927771576 b75 - 12.8939379985268 x157 - 6.54003175678516 x159 + [ x157^2 + x159^2 ] <= 43.50987965475468 e118: 78.2445398454346 b76 - 12.21506475084392 x157 - 8.38413845176122 x159 + [ x157^2 + x159^2 ] <= 24.369143734031937 e119: 68.5611029512265 b77 - 7.31754946664122 x157 - 7.26842537701678 x159 + [ x157^2 + x159^2 ] <= 42.966968536725815 e120: 123.013834343708 b78 - 2.4357720152196 x157 - 4.32251011468254 x159 + [ x157^2 + x159^2 ] <= 117.85956459329304 e121: 106.643311548917 b79 - 1.184149738470246 x157 - 9.87342399000506 x159 + [ x157^2 + x159^2 ] <= 82.92163357653536 e122: 125.533092608851 b80 - 13.4805701449752 x157 - 3.14129141437508 x159 + [ x157^2 + x159^2 ] <= 78.63472181294519 e123: 125.003682175941 b81 - 9.72395761876232 x157 - .767102910955382 x159 + [ x157^2 + x159^2 ] <= 102.21773251407049 e124: 111.618317672146 b82 - 3.759820442203 x157 - 16.22195600127552 x159 + [ x157^2 + x159^2 ] <= 43.296291105914406 e125: 160.611756853376 b83 - 15.29369965167482 x157 - .841920934186988 x159 + [ x157^2 + x159^2 ] <= 102.9602368796108 e126: 68.5364474973792 b84 - 7.73174611676578 x157 - 6.86578178280862 x159 + [ x157^2 + x159^2 ] <= 42.80673312156184 e127: 94.0180040498471 b85 - 3.86171868629636 x157 - 6.97479999375302 x159 + [ x157^2 + x159^2 ] <= 79.12782750861018 e128: 120.943028096043 b86 - 16.28822133317852 x157 - 6.56781397565042 x159 + [ x157^2 + x159^2 ] <= 44.832444441702805 e129: 55.2445625258556 b87 - 7.8556329765755 x157 - 9.1759384436016 x159 + [ x157^2 + x159^2 ] <= 19.76735857999904 e130: 114.385124970594 b88 - 18.87061056665856 x157 - 12.4231622853776 x159 + [ x157^2 + x159^2 ] <= -12.223601111234501 e131: 96.0912915355006 b89 - 11.88554601822674 x157 - 5.44252517627194 x159 + [ x157^2 + x159^2 ] <= 54.369470424065746 e132: 160.611756853376 b90 - .545877602520044 x157 - 19.0421264816381 x159 + [ x157^2 + x159^2 ] <= 70.88661602846699 e133: 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 e134: 117.37605108924 b91 - 7.16785670143786 x161 - .88741507958756 x163 + [ x161^2 + x163^2 ] <= 105.33463228528323 e135: 140.241701004457 b92 - 3.91257768688 x161 - .781006073300556 x163 + [ x161^2 + x163^2 ] <= 137.2621423438561 e136: 71.5594363053072 b93 - 9.10071380981336 x161 - 14.54371680480646 x163 + [ x161^2 + x163^2 ] <= -1.026236281327158 e137: 70.1361240423208 b94 - 12.4201744777292 x161 - 12.97491873350946 x163 + [ x161^2 + x163^2 ] <= -9.51618850728184 e138: 91.0983527000505 b95 - 6.3572686415106 x161 - 4.71260131718582 x163 + [ x161^2 + x163^2 ] <= 76.44248376128161 e139: 78.1787285426132 b96 - 5.54416545665474 x161 - 13.27074039243036 x163 + [ x161^2 + x163^2 ] <= 27.4661482491016 e140: 117.525315958044 b97 - 10.10392903671858 x161 - 19.56059515719124 x163 + [ x161^2 + x163^2 ] <= -2.6512502626005556 e141: 120.184782975767 b98 - 9.82717663381314 x161 - 19.90401532980936 x163 + [ x161^2 + x163^2 ] <= -2.0010237345952504 e142: 100.562560044535 b99 - 3.64541946058246 x161 - 6.17849322424068 x163 + [ x161^2 + x163^2 ] <= 88.69684465313968 e143: 140.241701004457 b100 - 17.80832140575856 x161 - 17.53806396235126 x163 + [ x161^2 + x163^2 ] <= -14.9382987051236 e144: 131.965894836477 b101 - 19.11383444877094 x161 - 15.35964460290824 x163 + [ x161^2 + x163^2 ] <= -17.34844257919076 e145: 61.1865070415458 b102 - 11.26308431835228 x161 - 10.39338259258974 x163 + [ x161^2 + x163^2 ] <= 3.4666395219806816 e146: 129.251385415199 b103 - 2.45013571214114 x161 - 3.47287677521402 x163 + [ x161^2 + x163^2 ] <= 125.73537588926642 e147: 122.549628719203 b104 - 7.13484048750448 x161 - 19.35432832797516 x163 + [ x161^2 + x163^2 ] <= 17.175635266904266 e148: 94.7662927771576 b105 - 12.8939379985268 x161 - 6.54003175678516 x163 + [ x161^2 + x163^2 ] <= 43.50987965475468 e149: 78.2445398454346 b106 - 12.21506475084392 x161 - 8.38413845176122 x163 + [ x161^2 + x163^2 ] <= 24.369143734031937 e150: 68.5611029512265 b107 - 7.31754946664122 x161 - 7.26842537701678 x163 + [ x161^2 + x163^2 ] <= 42.966968536725815 e151: 123.013834343708 b108 - 2.4357720152196 x161 - 4.32251011468254 x163 + [ x161^2 + x163^2 ] <= 117.85956459329304 e152: 106.643311548917 b109 - 1.184149738470246 x161 - 9.87342399000506 x163 + [ x161^2 + x163^2 ] <= 82.92163357653536 e153: 125.533092608851 b110 - 13.4805701449752 x161 - 3.14129141437508 x163 + [ x161^2 + x163^2 ] <= 78.63472181294519 e154: 125.003682175941 b111 - 9.72395761876232 x161 - .767102910955382 x163 + [ x161^2 + x163^2 ] <= 102.21773251407049 e155: 111.618317672146 b112 - 3.759820442203 x161 - 16.22195600127552 x163 + [ x161^2 + x163^2 ] <= 43.296291105914406 e156: 160.611756853376 b113 - 15.29369965167482 x161 - .841920934186988 x163 + [ x161^2 + x163^2 ] <= 102.9602368796108 e157: 68.5364474973792 b114 - 7.73174611676578 x161 - 6.86578178280862 x163 + [ x161^2 + x163^2 ] <= 42.80673312156184 e158: 94.0180040498471 b115 - 3.86171868629636 x161 - 6.97479999375302 x163 + [ x161^2 + x163^2 ] <= 79.12782750861018 e159: 120.943028096043 b116 - 16.28822133317852 x161 - 6.56781397565042 x163 + [ x161^2 + x163^2 ] <= 44.832444441702805 e160: 55.2445625258556 b117 - 7.8556329765755 x161 - 9.1759384436016 x163 + [ x161^2 + x163^2 ] <= 19.76735857999904 e161: 114.385124970594 b118 - 18.87061056665856 x161 - 12.4231622853776 x163 + [ x161^2 + x163^2 ] <= -12.223601111234501 e162: 96.0912915355006 b119 - 11.88554601822674 x161 - 5.44252517627194 x163 + [ x161^2 + x163^2 ] <= 54.369470424065746 e163: 160.611756853376 b120 - .545877602520044 x161 - 19.0421264816381 x163 + [ x161^2 + x163^2 ] <= 70.88661602846699 e164: 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 e165: 117.37605108924 b121 - 7.16785670143786 x165 - .88741507958756 x167 + [ x165^2 + x167^2 ] <= 105.33463228528323 e166: 140.241701004457 b122 - 3.91257768688 x165 - .781006073300556 x167 + [ x165^2 + x167^2 ] <= 137.2621423438561 e167: 71.5594363053072 b123 - 9.10071380981336 x165 - 14.54371680480646 x167 + [ x165^2 + x167^2 ] <= -1.026236281327158 e168: 70.1361240423208 b124 - 12.4201744777292 x165 - 12.97491873350946 x167 + [ x165^2 + x167^2 ] <= -9.51618850728184 e169: 91.0983527000505 b125 - 6.3572686415106 x165 - 4.71260131718582 x167 + [ x165^2 + x167^2 ] <= 76.44248376128161 e170: 78.1787285426132 b126 - 5.54416545665474 x165 - 13.27074039243036 x167 + [ x165^2 + x167^2 ] <= 27.4661482491016 e171: 117.525315958044 b127 - 10.10392903671858 x165 - 19.56059515719124 x167 + [ x165^2 + x167^2 ] <= -2.6512502626005556 e172: 120.184782975767 b128 - 9.82717663381314 x165 - 19.90401532980936 x167 + [ x165^2 + x167^2 ] <= -2.0010237345952504 e173: 100.562560044535 b129 - 3.64541946058246 x165 - 6.17849322424068 x167 + [ x165^2 + x167^2 ] <= 88.69684465313968 e174: 140.241701004457 b130 - 17.80832140575856 x165 - 17.53806396235126 x167 + [ x165^2 + x167^2 ] <= -14.9382987051236 e175: 131.965894836477 b131 - 19.11383444877094 x165 - 15.35964460290824 x167 + [ x165^2 + x167^2 ] <= -17.34844257919076 e176: 61.1865070415458 b132 - 11.26308431835228 x165 - 10.39338259258974 x167 + [ x165^2 + x167^2 ] <= 3.4666395219806816 e177: 129.251385415199 b133 - 2.45013571214114 x165 - 3.47287677521402 x167 + [ x165^2 + x167^2 ] <= 125.73537588926642 e178: 122.549628719203 b134 - 7.13484048750448 x165 - 19.35432832797516 x167 + [ x165^2 + x167^2 ] <= 17.175635266904266 e179: 94.7662927771576 b135 - 12.8939379985268 x165 - 6.54003175678516 x167 + [ x165^2 + x167^2 ] <= 43.50987965475468 e180: 78.2445398454346 b136 - 12.21506475084392 x165 - 8.38413845176122 x167 + [ x165^2 + x167^2 ] <= 24.369143734031937 e181: 68.5611029512265 b137 - 7.31754946664122 x165 - 7.26842537701678 x167 + [ x165^2 + x167^2 ] <= 42.966968536725815 e182: 123.013834343708 b138 - 2.4357720152196 x165 - 4.32251011468254 x167 + [ x165^2 + x167^2 ] <= 117.85956459329304 e183: 106.643311548917 b139 - 1.184149738470246 x165 - 9.87342399000506 x167 + [ x165^2 + x167^2 ] <= 82.92163357653536 e184: 125.533092608851 b140 - 13.4805701449752 x165 - 3.14129141437508 x167 + [ x165^2 + x167^2 ] <= 78.63472181294519 e185: 125.003682175941 b141 - 9.72395761876232 x165 - .767102910955382 x167 + [ x165^2 + x167^2 ] <= 102.21773251407049 e186: 111.618317672146 b142 - 3.759820442203 x165 - 16.22195600127552 x167 + [ x165^2 + x167^2 ] <= 43.296291105914406 e187: 160.611756853376 b143 - 15.29369965167482 x165 - .841920934186988 x167 + [ x165^2 + x167^2 ] <= 102.9602368796108 e188: 68.5364474973792 b144 - 7.73174611676578 x165 - 6.86578178280862 x167 + [ x165^2 + x167^2 ] <= 42.80673312156184 e189: 94.0180040498471 b145 - 3.86171868629636 x165 - 6.97479999375302 x167 + [ x165^2 + x167^2 ] <= 79.12782750861018 e190: 120.943028096043 b146 - 16.28822133317852 x165 - 6.56781397565042 x167 + [ x165^2 + x167^2 ] <= 44.832444441702805 e191: 55.2445625258556 b147 - 7.8556329765755 x165 - 9.1759384436016 x167 + [ x165^2 + x167^2 ] <= 19.76735857999904 e192: 114.385124970594 b148 - 18.87061056665856 x165 - 12.4231622853776 x167 + [ x165^2 + x167^2 ] <= -12.223601111234501 e193: 96.0912915355006 b149 - 11.88554601822674 x165 - 5.44252517627194 x167 + [ x165^2 + x167^2 ] <= 54.369470424065746 e194: 160.611756853376 b150 - .545877602520044 x165 - 19.0421264816381 x167 + [ x165^2 + x167^2 ] <= 70.88661602846699 e195: 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 e196: b1 + b31 + b61 + b91 + b121 <= 1 e197: b2 + b32 + b62 + b92 + b122 <= 1 e198: b3 + b33 + b63 + b93 + b123 <= 1 e199: b4 + b34 + b64 + b94 + b124 <= 1 e200: b5 + b35 + b65 + b95 + b125 <= 1 e201: b6 + b36 + b66 + b96 + b126 <= 1 e202: b7 + b37 + b67 + b97 + b127 <= 1 e203: b8 + b38 + b68 + b98 + b128 <= 1 e204: b9 + b39 + b69 + b99 + b129 <= 1 e205: b10 + b40 + b70 + b100 + b130 <= 1 e206: b11 + b41 + b71 + b101 + b131 <= 1 e207: b12 + b42 + b72 + b102 + b132 <= 1 e208: b13 + b43 + b73 + b103 + b133 <= 1 e209: b14 + b44 + b74 + b104 + b134 <= 1 e210: b15 + b45 + b75 + b105 + b135 <= 1 e211: b16 + b46 + b76 + b106 + b136 <= 1 e212: b17 + b47 + b77 + b107 + b137 <= 1 e213: b18 + b48 + b78 + b108 + b138 <= 1 e214: b19 + b49 + b79 + b109 + b139 <= 1 e215: b20 + b50 + b80 + b110 + b140 <= 1 e216: b21 + b51 + b81 + b111 + b141 <= 1 e217: b22 + b52 + b82 + b112 + b142 <= 1 e218: b23 + b53 + b83 + b113 + b143 <= 1 e219: b24 + b54 + b84 + b114 + b144 <= 1 e220: b25 + b55 + b85 + b115 + b145 <= 1 e221: b26 + b56 + b86 + b116 + b146 <= 1 e222: b27 + b57 + b87 + b117 + b147 <= 1 e223: b28 + b58 + b88 + b118 + b148 <= 1 e224: b29 + b59 + b89 + b119 + b149 <= 1 e225: b30 + b60 + b90 + b120 + b150 <= 1 e226: x151 - x152 <= 0 e227: x152 - x157 <= 0 e228: x157 - x161 <= 0 e229: x161 - x165 <= 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 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