\ Equation counts \ Total E G L N X C B \ 172 145 0 27 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 158 158 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 618 406 212 0 \ Minimize obj: 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 + 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 Subject To e2: x52 - x107 = -8.523893421 e3: x108 - x109 <= -1.2 e4: x110 - x111 <= -1.2 e5: - 0.1666666667 x112 - 0.1666666667 x113 - 0.1666666667 x114 - 0.1666666667 x115 - 0.1666666667 x116 - 0.1666666667 x117 + x118 = 0 e6: - 0.1666666667 x119 - 0.1666666667 x120 - 0.1666666667 x121 - 0.1666666667 x122 - 0.1666666667 x123 - 0.1666666667 x124 + x125 = 0 e7: - 0.1666666667 x126 - 0.1666666667 x127 - 0.1666666667 x128 - 0.1666666667 x129 - 0.1666666667 x130 - 0.1666666667 x131 + x132 = 0 e8: - 0.1666666667 x133 - 0.1666666667 x134 - 0.1666666667 x135 - 0.1666666667 x136 - 0.1666666667 x137 - 0.1666666667 x138 + x139 = 0 e9: - x109 + x112 <= 0 e10: - x111 + x119 <= 0 e11: - x109 + x113 <= 0 e12: - x111 + x120 <= 0 e13: - x109 + x114 <= 0 e14: - x111 + x121 <= 0 e15: - x109 + x115 <= 0 e16: - x111 + x122 <= 0 e17: - x109 + x116 <= 0 e18: - x111 + x123 <= 0 e19: - x109 + x117 <= 0 e20: - x111 + x124 <= 0 e21: - x109 + x126 <= 0 e22: - x111 + x133 <= 0 e23: - x109 + x127 <= 0 e24: - x111 + x134 <= 0 e25: - x109 + x128 <= 0 e26: - x111 + x135 <= 0 e27: - x109 + x129 <= 0 e28: - x111 + x136 <= 0 e29: - x109 + x130 <= 0 e30: - x111 + x137 <= 0 e31: - x109 + x131 <= 0 e32: - x111 + x138 <= 0 e33: x112 - x118 + 0.8333333333 x140 + 0.75 x141 = 0 e34: x113 - x118 - 0.1666666667 x140 + 0.75 x141 = 0 e35: x114 - x118 - 0.6666666667 x140 + 0.25 x141 = 0 e36: x115 - x118 - 0.6666666667 x140 - 0.25 x141 = 0 e37: x116 - x118 - 0.1666666667 x140 - 0.75 x141 = 0 e38: x117 - x118 + 0.8333333333 x140 - 0.75 x141 = 0 e39: x126 - x132 + 0.8333333333 x142 + 0.75 x143 = 0 e40: x127 - x132 - 0.1666666667 x142 + 0.75 x143 = 0 e41: x128 - x132 - 0.6666666667 x142 + 0.25 x143 = 0 e42: x129 - x132 - 0.6666666667 x142 - 0.25 x143 = 0 e43: x130 - x132 - 0.1666666667 x142 - 0.75 x143 = 0 e44: x131 - x132 + 0.8333333333 x142 - 0.75 x143 = 0 e45: x119 - x125 - 0.75 x140 + 0.8333333333 x141 = 0 e46: x120 - x125 - 0.75 x140 - 0.1666666667 x141 = 0 e47: x121 - x125 - 0.25 x140 - 0.6666666667 x141 = 0 e48: x122 - x125 + 0.25 x140 - 0.6666666667 x141 = 0 e49: x123 - x125 + 0.75 x140 - 0.1666666667 x141 = 0 e50: x124 - x125 + 0.75 x140 + 0.8333333333 x141 = 0 e51: x133 - x139 - 0.75 x142 + 0.8333333333 x143 = 0 e52: x134 - x139 - 0.75 x142 - 0.1666666667 x143 = 0 e53: x135 - x139 - 0.25 x142 - 0.6666666667 x143 = 0 e54: x136 - x139 + 0.25 x142 - 0.6666666667 x143 = 0 e55: x137 - x139 + 0.75 x142 - 0.1666666667 x143 = 0 e56: x138 - x139 + 0.75 x142 + 0.8333333333 x143 = 0 e57: - x144 + x145 = 0 e58: x146 + x147 = 0 e59: - x148 + x149 = 0 e60: - x150 + x151 = 0 e61: x152 + x153 = 0 e62: x154 + x155 = 0 e63: 1.2 x149 + x156 = 0 e64: 1.2 x153 + x157 = 0 e65: 1.2 x151 + x158 = 0 e66: 1.2 x155 + x159 = 0 e67: x118 - x132 <= 0 e68: x107 + [ - x109 * x111 ] = 0 e69: x53 + x54 - x112 + [ x14 * x146 ] = 0 e70: x55 + x56 - x119 + [ x14 * x144 ] = 0 e71: x53 + x57 - x113 + [ x15 * x146 ] = 0 e72: x55 + x58 - x120 + [ x15 * x144 ] = 0 e73: x53 + x59 - x114 + [ x16 * x146 ] = 0 e74: x55 + x60 - x121 + [ x16 * x144 ] = 0 e75: x53 + x61 - x115 + [ x17 * x146 ] = 0 e76: x55 + x62 - x122 + [ x17 * x144 ] = 0 e77: x53 + x63 - x116 + [ x18 * x146 ] = 0 e78: x55 + x64 - x123 + [ x18 * x144 ] = 0 e79: x53 + x65 - x117 + [ x19 * x146 ] = 0 e80: x55 + x66 - x124 + [ x19 * x144 ] = 0 e81: x53 + x67 - x126 + [ x20 * x146 ] = 0 e82: x55 + x68 - x133 + [ x20 * x144 ] = 0 e83: x53 + x69 - x127 + [ x21 * x146 ] = 0 e84: x55 + x70 - x134 + [ x21 * x144 ] = 0 e85: x53 + x71 - x128 + [ x22 * x146 ] = 0 e86: x55 + x72 - x135 + [ x22 * x144 ] = 0 e87: x53 + x73 - x129 + [ x23 * x146 ] = 0 e88: x55 + x74 - x136 + [ x23 * x144 ] = 0 e89: x53 + x75 - x130 + [ x24 * x146 ] = 0 e90: x55 + x76 - x137 + [ x24 * x144 ] = 0 e91: x53 + x77 - x131 + [ x25 * x146 ] = 0 e92: x55 + x78 - x138 + [ x25 * x144 ] = 0 e93: x54 + [ - x2 * x145 ] = 0 e94: x56 + [ - x2 * x147 ] = 0 e95: x57 + [ - x3 * x145 ] = 0 e96: x58 + [ - x3 * x147 ] = 0 e97: x59 + [ - x4 * x145 ] = 0 e98: x60 + [ - x4 * x147 ] = 0 e99: x61 + [ - x5 * x145 ] = 0 e100: x62 + [ - x5 * x147 ] = 0 e101: x63 + [ - x6 * x145 ] = 0 e102: x64 + [ - x6 * x147 ] = 0 e103: x65 + [ - x7 * x145 ] = 0 e104: x66 + [ - x7 * x147 ] = 0 e105: x67 + [ x8 * x145 ] = 0 e106: x68 + [ x8 * x147 ] = 0 e107: x69 + [ x9 * x145 ] = 0 e108: x70 + [ x9 * x147 ] = 0 e109: x71 + [ x10 * x145 ] = 0 e110: x72 + [ x10 * x147 ] = 0 e111: x73 + [ x11 * x145 ] = 0 e112: x74 + [ x11 * x147 ] = 0 e113: x75 + [ x12 * x145 ] = 0 e114: x76 + [ x12 * x147 ] = 0 e115: x77 + [ x13 * x145 ] = 0 e116: x78 + [ x13 * x147 ] = 0 e117: x79 + x80 - x112 + [ x38 * x152 ] = 0 e118: x81 + x82 - x119 + [ x38 * x148 ] = 0 e119: x79 + x83 - x113 + [ x39 * x152 ] = 0 e120: x81 + x84 - x120 + [ x39 * x148 ] = 0 e121: x79 + x85 - x114 + [ x40 * x152 ] = 0 e122: x81 + x86 - x121 + [ x40 * x148 ] = 0 e123: x79 + x87 - x115 + [ x41 * x152 ] = 0 e124: x81 + x88 - x122 + [ x41 * x148 ] = 0 e125: x79 + x89 - x116 + [ x42 * x152 ] = 0 e126: x81 + x90 - x123 + [ x42 * x148 ] = 0 e127: x79 + x91 - x117 + [ x43 * x152 ] = 0 e128: x81 + x92 - x124 + [ x43 * x148 ] = 0 e129: x93 + x94 - x126 + [ x44 * x154 ] = 0 e130: x95 + x96 - x133 + [ x44 * x150 ] = 0 e131: x93 + x97 - x127 + [ x45 * x154 ] = 0 e132: x95 + x98 - x134 + [ x45 * x150 ] = 0 e133: x93 + x99 - x128 + [ x46 * x154 ] = 0 e134: x95 + x100 - x135 + [ x46 * x150 ] = 0 e135: x93 + x101 - x129 + [ x47 * x154 ] = 0 e136: x95 + x102 - x136 + [ x47 * x150 ] = 0 e137: x93 + x103 - x130 + [ x48 * x154 ] = 0 e138: x95 + x104 - x137 + [ x48 * x150 ] = 0 e139: x93 + x105 - x131 + [ x49 * x154 ] = 0 e140: x95 + x106 - x138 + [ x49 * x150 ] = 0 e141: x79 - x108 + x156 + [ x50 * x152 ] = 0 e142: x81 - x110 + x157 + [ x50 * x148 ] = 0 e143: x93 - x108 + x158 + [ x51 * x154 ] = 0 e144: x95 - x110 + x159 + [ x51 * x150 ] = 0 e145: x80 + [ - x26 * x149 ] = 0 e146: x82 + [ - x26 * x153 ] = 0 e147: x83 + [ - x27 * x149 ] = 0 e148: x84 + [ - x27 * x153 ] = 0 e149: x85 + [ - x28 * x149 ] = 0 e150: x86 + [ - x28 * x153 ] = 0 e151: x87 + [ - x29 * x149 ] = 0 e152: x88 + [ - x29 * x153 ] = 0 e153: x89 + [ - x30 * x149 ] = 0 e154: x90 + [ - x30 * x153 ] = 0 e155: x91 + [ - x31 * x149 ] = 0 e156: x92 + [ - x31 * x153 ] = 0 e157: x94 + [ - x32 * x151 ] = 0 e158: x96 + [ - x32 * x155 ] = 0 e159: x97 + [ - x33 * x151 ] = 0 e160: x98 + [ - x33 * x155 ] = 0 e161: x99 + [ - x34 * x151 ] = 0 e162: x100 + [ - x34 * x155 ] = 0 e163: x101 + [ - x35 * x151 ] = 0 e164: x102 + [ - x35 * x155 ] = 0 e165: x103 + [ - x36 * x151 ] = 0 e166: x104 + [ - x36 * x155 ] = 0 e167: x105 + [ - x37 * x151 ] = 0 e168: x106 + [ - x37 * x155 ] = 0 e169: [ x140^2 + x141^2 ] = 1 e170: [ x142^2 + x143^2 ] = 1 e171: [ x144^2 + x146^2 ] = 1 e172: [ x148^2 + x152^2 ] = 1 e173: [ x150^2 + x154^2 ] = 1 Bounds x2 <= 8.94427191 x3 <= 8.94427191 x4 <= 8.94427191 x5 <= 8.94427191 x6 <= 8.94427191 x7 <= 8.94427191 x8 <= 8.94427191 x9 <= 8.94427191 x10 <= 8.94427191 x11 <= 8.94427191 x12 <= 8.94427191 x13 <= 8.94427191 -8.94427191 <= x14 <= 8.94427191 -8.94427191 <= x15 <= 8.94427191 -8.94427191 <= x16 <= 8.94427191 -8.94427191 <= x17 <= 8.94427191 -8.94427191 <= x18 <= 8.94427191 -8.94427191 <= x19 <= 8.94427191 -8.94427191 <= x20 <= 8.94427191 -8.94427191 <= x21 <= 8.94427191 -8.94427191 <= x22 <= 8.94427191 -8.94427191 <= x23 <= 8.94427191 -8.94427191 <= x24 <= 8.94427191 -8.94427191 <= x25 <= 8.94427191 x26 <= 8.94427191 x27 <= 8.94427191 x28 <= 8.94427191 x29 <= 8.94427191 x30 <= 8.94427191 x31 <= 8.94427191 x32 <= 8.94427191 x33 <= 8.94427191 x34 <= 8.94427191 x35 <= 8.94427191 x36 <= 8.94427191 x37 <= 8.94427191 -8.94427191 <= x38 <= 8.94427191 -8.94427191 <= x39 <= 8.94427191 -8.94427191 <= x40 <= 8.94427191 -8.94427191 <= x41 <= 8.94427191 -8.94427191 <= x42 <= 8.94427191 -8.94427191 <= x43 <= 8.94427191 -8.94427191 <= x44 <= 8.94427191 -8.94427191 <= x45 <= 8.94427191 -8.94427191 <= x46 <= 8.94427191 -8.94427191 <= x47 <= 8.94427191 -8.94427191 <= x48 <= 8.94427191 -8.94427191 <= x49 <= 8.94427191 -8.94427191 <= x50 <= 8.94427191 -8.94427191 <= x51 <= 8.94427191 x52 <= 32 x53 <= 8 -8.94427191 <= x54 <= 8.94427191 x55 <= 4 -8.94427191 <= x56 <= 8.94427191 -8.94427191 <= x57 <= 8.94427191 -8.94427191 <= x58 <= 8.94427191 -8.94427191 <= x59 <= 8.94427191 -8.94427191 <= x60 <= 8.94427191 -8.94427191 <= x61 <= 8.94427191 -8.94427191 <= x62 <= 8.94427191 -8.94427191 <= x63 <= 8.94427191 -8.94427191 <= x64 <= 8.94427191 -8.94427191 <= x65 <= 8.94427191 -8.94427191 <= x66 <= 8.94427191 -8.94427191 <= x67 <= 8.94427191 -8.94427191 <= x68 <= 8.94427191 -8.94427191 <= x69 <= 8.94427191 -8.94427191 <= x70 <= 8.94427191 -8.94427191 <= x71 <= 8.94427191 -8.94427191 <= x72 <= 8.94427191 -8.94427191 <= x73 <= 8.94427191 -8.94427191 <= x74 <= 8.94427191 -8.94427191 <= x75 <= 8.94427191 -8.94427191 <= x76 <= 8.94427191 -8.94427191 <= x77 <= 8.94427191 -8.94427191 <= x78 <= 8.94427191 x79 <= 8 -8.94427191 <= x80 <= 8.94427191 x81 <= 4 -8.94427191 <= x82 <= 8.94427191 -8.94427191 <= x83 <= 8.94427191 -8.94427191 <= x84 <= 8.94427191 -8.94427191 <= x85 <= 8.94427191 -8.94427191 <= x86 <= 8.94427191 -8.94427191 <= x87 <= 8.94427191 -8.94427191 <= x88 <= 8.94427191 -8.94427191 <= x89 <= 8.94427191 -8.94427191 <= x90 <= 8.94427191 -8.94427191 <= x91 <= 8.94427191 -8.94427191 <= x92 <= 8.94427191 x93 <= 8 -8.94427191 <= x94 <= 8.94427191 x95 <= 4 -8.94427191 <= x96 <= 8.94427191 -8.94427191 <= x97 <= 8.94427191 -8.94427191 <= x98 <= 8.94427191 -8.94427191 <= x99 <= 8.94427191 -8.94427191 <= x100 <= 8.94427191 -8.94427191 <= x101 <= 8.94427191 -8.94427191 <= x102 <= 8.94427191 -8.94427191 <= x103 <= 8.94427191 -8.94427191 <= x104 <= 8.94427191 -8.94427191 <= x105 <= 8.94427191 -8.94427191 <= x106 <= 8.94427191 1.44 <= x107 <= 32 1.2 <= x108 <= 4 x109 <= 8 1.2 <= x110 <= 2 x111 <= 4 x112 <= 8 x113 <= 8 x114 <= 8 x115 <= 8 x116 <= 8 x117 <= 8 x118 <= 8 x119 <= 4 x120 <= 4 x121 <= 4 x122 <= 4 x123 <= 4 x124 <= 4 x125 <= 4 x126 <= 8 x127 <= 8 x128 <= 8 x129 <= 8 x130 <= 8 x131 <= 8 x132 <= 8 x133 <= 4 x134 <= 4 x135 <= 4 x136 <= 4 x137 <= 4 x138 <= 4 x139 <= 4 -1 <= x140 <= 1 -1 <= x141 <= 1 -1 <= x142 <= 1 -1 <= x143 <= 1 -1 <= x144 <= 1 -1 <= x145 <= 1 -1 <= x146 <= 1 -1 <= x147 <= 1 -1 <= x148 <= 1 -1 <= x149 <= 1 -1 <= x150 <= 1 -1 <= x151 <= 1 -1 <= x152 <= 1 -1 <= x153 <= 1 -1 <= x154 <= 1 -1 <= x155 <= 1 -8.94427191 <= x156 <= 8.94427191 -8.94427191 <= x157 <= 8.94427191 -8.94427191 <= x158 <= 8.94427191 -8.94427191 <= x159 <= 8.94427191 End