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