\ Equation counts \ Total E G L N X C B \ 192 155 15 22 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 184 184 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 654 356 298 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + objvar Subject To e1: - x1 + objvar = -23.2393785915978 e2: x1 - x172 x173 = 0 e3: x160^2 - 2 x160 x162 + x161^2 - 2 x161 x163 + x162^2 + x163^2 >= 3.24 e4: x160^2 - 2 x160 x164 + x161^2 - 2 x161 x165 + x164^2 + x165^2 >= 4 e5: x160^2 - 2 x160 x166 + x161^2 - 2 x161 x167 + x166^2 + x167^2 >= 8.41 e6: x160^2 - 2 x160 x168 + x161^2 - 2 x161 x169 + x168^2 + x169^2 >= 6.25 e7: x160^2 - 2 x160 x170 + x161^2 - 2 x161 x171 + x170^2 + x171^2 >= 2.89 e8: x162^2 - 2 x162 x164 + x163^2 - 2 x163 x165 + x164^2 + x165^2 >= 1.96 e9: x162^2 - 2 x162 x166 + x163^2 - 2 x163 x167 + x166^2 + x167^2 >= 5.29 e10: x162^2 - 2 x162 x168 + x163^2 - 2 x163 x169 + x168^2 + x169^2 >= 3.61 e11: x162^2 - 2 x162 x170 + x163^2 - 2 x163 x171 + x170^2 + x171^2 >= 1.21 e12: x164^2 - 2 x164 x166 + x165^2 - 2 x165 x167 + x166^2 + x167^2 >= 6.25 e13: x164^2 - 2 x164 x168 + x165^2 - 2 x165 x169 + x168^2 + x169^2 >= 4.41 e14: x164^2 - 2 x164 x170 + x165^2 - 2 x165 x171 + x170^2 + x171^2 >= 1.69 e15: x166^2 - 2 x166 x168 + x167^2 - 2 x167 x169 + x168^2 + x169^2 >= 9 e16: x166^2 - 2 x166 x170 + x167^2 - 2 x167 x171 + x170^2 + x171^2 >= 4.84 e17: x168^2 - 2 x168 x170 + x169^2 - 2 x169 x171 + x170^2 + x171^2 >= 3.24 e18: x160 - x172 <= -1.2 e19: x161 - x173 <= -1.2 e20: x162 - x172 <= -.6 e21: x163 - x173 <= -.6 e22: x164 - x172 <= -.8 e23: x165 - x173 <= -.8 e24: x166 - x172 <= -1.7 e25: x167 - x173 <= -1.7 e26: x168 - x172 <= -1.3 e27: x169 - x173 <= -1.3 e28: x170 - x172 <= -.5 e29: x171 - x173 <= -.5 e30: - x172 + x174 <= 0 e31: - x173 + x175 <= 0 e32: - x172 + x176 <= 0 e33: - x173 + x177 <= 0 e34: - x172 + x178 <= 0 e35: - x173 + x179 <= 0 e36: - x172 + x180 <= 0 e37: - x173 + x181 <= 0 e38: x152 + x174 - x176 = 0 e39: x153 + x175 - x177 = 0 e40: x154 + x176 - x178 = 0 e41: x155 + x177 - x179 = 0 e42: x156 + x178 - x180 = 0 e43: x157 + x179 - x181 = 0 e44: x158 - x174 + 2 x180 - x182 = 0 e45: x159 - x175 + 2 x181 - x183 = 0 e46: x152 x154 + x153 x155 = 0 e47: x152 + x156 = 0 e48: x153 + x157 = 0 e49: x154 + x158 = 0 e50: x155 + x159 = 0 e51: x152^2 + x153^2 = .25 e52: x154^2 + x155^2 = .64 e53: x68^2 + x69^2 = 1 e54: x70^2 + x71^2 = 1 e55: x72^2 + x73^2 = 1 e56: x74^2 + x75^2 = 1 e57: x76^2 + x77^2 = 1 e58: x78^2 + x79^2 = 1 e59: - x69 + x80 = 0 e60: - x71 + x82 = 0 e61: - x73 + x84 = 0 e62: - x75 + x86 = 0 e63: - x77 + x88 = 0 e64: - x79 + x90 = 0 e65: x68 + x81 = 0 e66: x70 + x83 = 0 e67: x72 + x85 = 0 e68: x74 + x87 = 0 e69: x76 + x89 = 0 e70: x78 + x91 = 0 e71: x2 + x92 - x174 + x38 x68 = 0 e72: x3 + x93 - x175 + x38 x69 = 0 e73: x2 + x94 - x176 + x39 x68 = 0 e74: x3 + x95 - x177 + x39 x69 = 0 e75: x2 + x96 - x178 + x40 x68 = 0 e76: x3 + x97 - x179 + x40 x69 = 0 e77: x2 + x98 - x180 + x41 x68 = 0 e78: x3 + x99 - x181 + x41 x69 = 0 e79: x4 + x100 - x174 + x42 x70 = 0 e80: x5 + x101 - x175 + x42 x71 = 0 e81: x4 + x102 - x176 + x43 x70 = 0 e82: x5 + x103 - x177 + x43 x71 = 0 e83: x4 + x104 - x178 + x44 x70 = 0 e84: x5 + x105 - x179 + x44 x71 = 0 e85: x4 + x106 - x180 + x45 x70 = 0 e86: x5 + x107 - x181 + x45 x71 = 0 e87: x6 + x108 - x174 + x46 x72 = 0 e88: x7 + x109 - x175 + x46 x73 = 0 e89: x6 + x110 - x176 + x47 x72 = 0 e90: x7 + x111 - x177 + x47 x73 = 0 e91: x6 + x112 - x178 + x48 x72 = 0 e92: x7 + x113 - x179 + x48 x73 = 0 e93: x6 + x114 - x180 + x49 x72 = 0 e94: x7 + x115 - x181 + x49 x73 = 0 e95: x8 + x116 - x174 + x50 x74 = 0 e96: x9 + x117 - x175 + x50 x75 = 0 e97: x8 + x118 - x176 + x51 x74 = 0 e98: x9 + x119 - x177 + x51 x75 = 0 e99: x8 + x120 - x178 + x52 x74 = 0 e100: x9 + x121 - x179 + x52 x75 = 0 e101: x8 + x122 - x180 + x53 x74 = 0 e102: x9 + x123 - x181 + x53 x75 = 0 e103: x10 + x124 - x174 + x54 x76 = 0 e104: x11 + x125 - x175 + x54 x77 = 0 e105: x10 + x126 - x176 + x55 x76 = 0 e106: x11 + x127 - x177 + x55 x77 = 0 e107: x10 + x128 - x178 + x56 x76 = 0 e108: x11 + x129 - x179 + x56 x77 = 0 e109: x10 + x130 - x180 + x57 x76 = 0 e110: x11 + x131 - x181 + x57 x77 = 0 e111: x12 + x132 - x174 + x58 x78 = 0 e112: x13 + x133 - x175 + x58 x79 = 0 e113: x12 + x134 - x176 + x59 x78 = 0 e114: x13 + x135 - x177 + x59 x79 = 0 e115: x12 + x136 - x178 + x60 x78 = 0 e116: x13 + x137 - x179 + x60 x79 = 0 e117: x12 + x138 - x180 + x61 x78 = 0 e118: x13 + x139 - x181 + x61 x79 = 0 e119: x2 + x140 - x160 + x62 x68 = 0 e120: x3 + x141 - x161 + x62 x69 = 0 e121: x4 + x142 - x162 + x63 x70 = 0 e122: x5 + x143 - x163 + x63 x71 = 0 e123: x6 + x144 - x164 + x64 x72 = 0 e124: x7 + x145 - x165 + x64 x73 = 0 e125: x8 + x146 - x166 + x65 x74 = 0 e126: x9 + x147 - x167 + x65 x75 = 0 e127: x10 + x148 - x168 + x66 x76 = 0 e128: x11 + x149 - x169 + x66 x77 = 0 e129: x12 + x150 - x170 + x67 x78 = 0 e130: x13 + x151 - x171 + x67 x79 = 0 e131: x92 - x14 x80 = 0 e132: x93 - x14 x81 = 0 e133: x94 - x15 x80 = 0 e134: x95 - x15 x81 = 0 e135: x96 - x16 x80 = 0 e136: x97 - x16 x81 = 0 e137: x98 - x17 x80 = 0 e138: x99 - x17 x81 = 0 e139: x100 - x18 x82 = 0 e140: x101 - x18 x83 = 0 e141: x102 - x19 x82 = 0 e142: x103 - x19 x83 = 0 e143: x104 - x20 x82 = 0 e144: x105 - x20 x83 = 0 e145: x106 - x21 x82 = 0 e146: x107 - x21 x83 = 0 e147: x108 - x22 x84 = 0 e148: x109 - x22 x85 = 0 e149: x110 - x23 x84 = 0 e150: x111 - x23 x85 = 0 e151: x112 - x24 x84 = 0 e152: x113 - x24 x85 = 0 e153: x114 - x25 x84 = 0 e154: x115 - x25 x85 = 0 e155: x116 - x26 x86 = 0 e156: x117 - x26 x87 = 0 e157: x118 - x27 x86 = 0 e158: x119 - x27 x87 = 0 e159: x120 - x28 x86 = 0 e160: x121 - x28 x87 = 0 e161: x122 - x29 x86 = 0 e162: x123 - x29 x87 = 0 e163: x124 - x30 x88 = 0 e164: x125 - x30 x89 = 0 e165: x126 - x31 x88 = 0 e166: x127 - x31 x89 = 0 e167: x128 - x32 x88 = 0 e168: x129 - x32 x89 = 0 e169: x130 - x33 x88 = 0 e170: x131 - x33 x89 = 0 e171: x132 - x34 x90 = 0 e172: x133 - x34 x91 = 0 e173: x134 - x35 x90 = 0 e174: x135 - x35 x91 = 0 e175: x136 - x36 x90 = 0 e176: x137 - x36 x91 = 0 e177: x138 - x37 x90 = 0 e178: x139 - x37 x91 = 0 e179: 1.2 x80 + x140 = 0 e180: 1.2 x81 + x141 = 0 e181: .6 x82 + x142 = 0 e182: .6 x83 + x143 = 0 e183: .8 x84 + x144 = 0 e184: .8 x85 + x145 = 0 e185: 1.7 x86 + x146 = 0 e186: 1.7 x87 + x147 = 0 e187: 1.3 x88 + x148 = 0 e188: 1.3 x89 + x149 = 0 e189: .5 x90 + x150 = 0 e190: .5 x91 + x151 = 0 e191: x160 <= 4.5 e192: x161 <= 2 Bounds 2.89 <= x1 <= 36 x2 <= 9 x3 <= 4 x4 <= 9 x5 <= 4 x6 <= 9 x7 <= 4 x8 <= 9 x9 <= 4 x10 <= 9 x11 <= 4 x12 <= 9 x13 <= 4 x14 <= 9.84885780179611 x15 <= 9.84885780179611 x16 <= 9.84885780179611 x17 <= 9.84885780179611 x18 <= 9.84885780179611 x19 <= 9.84885780179611 x20 <= 9.84885780179611 x21 <= 9.84885780179611 x22 <= 9.84885780179611 x23 <= 9.84885780179611 x24 <= 9.84885780179611 x25 <= 9.84885780179611 x26 <= 9.84885780179611 x27 <= 9.84885780179611 x28 <= 9.84885780179611 x29 <= 9.84885780179611 x30 <= 9.84885780179611 x31 <= 9.84885780179611 x32 <= 9.84885780179611 x33 <= 9.84885780179611 x34 <= 9.84885780179611 x35 <= 9.84885780179611 x36 <= 9.84885780179611 x37 <= 9.84885780179611 -9.84885780179611 <= x38 <= 9.84885780179611 -9.84885780179611 <= x39 <= 9.84885780179611 -9.84885780179611 <= x40 <= 9.84885780179611 -9.84885780179611 <= x41 <= 9.84885780179611 -9.84885780179611 <= x42 <= 9.84885780179611 -9.84885780179611 <= x43 <= 9.84885780179611 -9.84885780179611 <= x44 <= 9.84885780179611 -9.84885780179611 <= x45 <= 9.84885780179611 -9.84885780179611 <= x46 <= 9.84885780179611 -9.84885780179611 <= x47 <= 9.84885780179611 -9.84885780179611 <= x48 <= 9.84885780179611 -9.84885780179611 <= x49 <= 9.84885780179611 -9.84885780179611 <= x50 <= 9.84885780179611 -9.84885780179611 <= x51 <= 9.84885780179611 -9.84885780179611 <= x52 <= 9.84885780179611 -9.84885780179611 <= x53 <= 9.84885780179611 -9.84885780179611 <= x54 <= 9.84885780179611 -9.84885780179611 <= x55 <= 9.84885780179611 -9.84885780179611 <= x56 <= 9.84885780179611 -9.84885780179611 <= x57 <= 9.84885780179611 -9.84885780179611 <= x58 <= 9.84885780179611 -9.84885780179611 <= x59 <= 9.84885780179611 -9.84885780179611 <= x60 <= 9.84885780179611 -9.84885780179611 <= x61 <= 9.84885780179611 -9.84885780179611 <= x62 <= 9.84885780179611 -9.84885780179611 <= x63 <= 9.84885780179611 -9.84885780179611 <= x64 <= 9.84885780179611 -9.84885780179611 <= x65 <= 9.84885780179611 -9.84885780179611 <= x66 <= 9.84885780179611 -9.84885780179611 <= x67 <= 9.84885780179611 -1 <= x68 <= 1 -1 <= x69 <= 1 -1 <= x70 <= 1 -1 <= x71 <= 1 -1 <= x72 <= 1 -1 <= x73 <= 1 -1 <= x74 <= 1 -1 <= x75 <= 1 -1 <= x76 <= 1 -1 <= x77 <= 1 -1 <= x78 <= 1 -1 <= x79 <= 1 -1 <= x80 <= 1 -1 <= x81 <= 1 -1 <= x82 <= 1 -1 <= x83 <= 1 -1 <= x84 <= 1 -1 <= x85 <= 1 -1 <= x86 <= 1 -1 <= x87 <= 1 -1 <= x88 <= 1 -1 <= x89 <= 1 -1 <= x90 <= 1 -1 <= x91 <= 1 -9.84885780179611 <= x92 <= 9.84885780179611 -9.84885780179611 <= x93 <= 9.84885780179611 -9.84885780179611 <= x94 <= 9.84885780179611 -9.84885780179611 <= x95 <= 9.84885780179611 -9.84885780179611 <= x96 <= 9.84885780179611 -9.84885780179611 <= x97 <= 9.84885780179611 -9.84885780179611 <= x98 <= 9.84885780179611 -9.84885780179611 <= x99 <= 9.84885780179611 -9.84885780179611 <= x100 <= 9.84885780179611 -9.84885780179611 <= x101 <= 9.84885780179611 -9.84885780179611 <= x102 <= 9.84885780179611 -9.84885780179611 <= x103 <= 9.84885780179611 -9.84885780179611 <= x104 <= 9.84885780179611 -9.84885780179611 <= x105 <= 9.84885780179611 -9.84885780179611 <= x106 <= 9.84885780179611 -9.84885780179611 <= x107 <= 9.84885780179611 -9.84885780179611 <= x108 <= 9.84885780179611 -9.84885780179611 <= x109 <= 9.84885780179611 -9.84885780179611 <= x110 <= 9.84885780179611 -9.84885780179611 <= x111 <= 9.84885780179611 -9.84885780179611 <= x112 <= 9.84885780179611 -9.84885780179611 <= x113 <= 9.84885780179611 -9.84885780179611 <= x114 <= 9.84885780179611 -9.84885780179611 <= x115 <= 9.84885780179611 -9.84885780179611 <= x116 <= 9.84885780179611 -9.84885780179611 <= x117 <= 9.84885780179611 -9.84885780179611 <= x118 <= 9.84885780179611 -9.84885780179611 <= x119 <= 9.84885780179611 -9.84885780179611 <= x120 <= 9.84885780179611 -9.84885780179611 <= x121 <= 9.84885780179611 -9.84885780179611 <= x122 <= 9.84885780179611 -9.84885780179611 <= x123 <= 9.84885780179611 -9.84885780179611 <= x124 <= 9.84885780179611 -9.84885780179611 <= x125 <= 9.84885780179611 -9.84885780179611 <= x126 <= 9.84885780179611 -9.84885780179611 <= x127 <= 9.84885780179611 -9.84885780179611 <= x128 <= 9.84885780179611 -9.84885780179611 <= x129 <= 9.84885780179611 -9.84885780179611 <= x130 <= 9.84885780179611 -9.84885780179611 <= x131 <= 9.84885780179611 -9.84885780179611 <= x132 <= 9.84885780179611 -9.84885780179611 <= x133 <= 9.84885780179611 -9.84885780179611 <= x134 <= 9.84885780179611 -9.84885780179611 <= x135 <= 9.84885780179611 -9.84885780179611 <= x136 <= 9.84885780179611 -9.84885780179611 <= x137 <= 9.84885780179611 -9.84885780179611 <= x138 <= 9.84885780179611 -9.84885780179611 <= x139 <= 9.84885780179611 -9.84885780179611 <= x140 <= 9.84885780179611 -9.84885780179611 <= x141 <= 9.84885780179611 -9.84885780179611 <= x142 <= 9.84885780179611 -9.84885780179611 <= x143 <= 9.84885780179611 -9.84885780179611 <= x144 <= 9.84885780179611 -9.84885780179611 <= x145 <= 9.84885780179611 -9.84885780179611 <= x146 <= 9.84885780179611 -9.84885780179611 <= x147 <= 9.84885780179611 -9.84885780179611 <= x148 <= 9.84885780179611 -9.84885780179611 <= x149 <= 9.84885780179611 -9.84885780179611 <= x150 <= 9.84885780179611 -9.84885780179611 <= x151 <= 9.84885780179611 -.8 <= x152 <= .8 -.5 <= x153 <= .5 -.8 <= x154 <= .8 -.5 <= x155 <= .5 -.8 <= x156 <= .8 -.5 <= x157 <= .5 -.8 <= x158 <= .8 -.5 <= x159 <= .5 1.2 <= x160 <= 7.8 1.2 <= x161 <= 2.8 .6 <= x162 <= 8.4 .6 <= x163 <= 3.4 .8 <= x164 <= 8.2 .8 <= x165 <= 3.2 1.7 <= x166 <= 7.3 1.7 <= x167 <= 2.3 1.3 <= x168 <= 7.7 1.3 <= x169 <= 2.7 .5 <= x170 <= 8.5 .5 <= x171 <= 3.5 x172 <= 9 x173 <= 4 x174 <= 9 x175 <= 4 x176 <= 9 x177 <= 4 x178 <= 9 x179 <= 4 x180 <= 9 x181 <= 4 x182 <= 9 x183 <= 4 objvar <= 36 End