\ Equation counts \ Total E G L N X C B \ 78 12 66 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 37 37 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 499 67 432 0 \ Maximize 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 + objvar Subject To e1: x1^2 + x2^2 + x3^2 = 4 e2: x4^2 + x5^2 + x6^2 = 4 e3: x7^2 + x8^2 + x9^2 = 4 e4: x10^2 + x11^2 + x12^2 = 4 e5: x13^2 + x14^2 + x15^2 = 4 e6: x16^2 + x17^2 + x18^2 = 4 e7: x19^2 + x20^2 + x21^2 = 4 e8: x22^2 + x23^2 + x24^2 = 4 e9: x25^2 + x26^2 + x27^2 = 4 e10: x28^2 + x29^2 + x30^2 = 4 e11: x31^2 + x32^2 + x33^2 = 4 e12: x34^2 + x35^2 + x36^2 = 4 e13: - 4 objvar + x1^2 - 2 x1 x4 + x2^2 - 2 x2 x5 + x3^2 - 2 x3 x6 + x4^2 + x5^2 + x6^2 >= 0 e14: - 4 objvar + x1^2 - 2 x1 x7 + x2^2 - 2 x2 x8 + x3^2 - 2 x3 x9 + x7^2 + x8^2 + x9^2 >= 0 e15: - 4 objvar + x1^2 - 2 x1 x10 + x2^2 - 2 x2 x11 + x3^2 - 2 x3 x12 + x10^2 + x11^2 + x12^2 >= 0 e16: - 4 objvar + x1^2 - 2 x1 x13 + x2^2 - 2 x2 x14 + x3^2 - 2 x3 x15 + x13^2 + x14^2 + x15^2 >= 0 e17: - 4 objvar + x1^2 - 2 x1 x16 + x2^2 - 2 x2 x17 + x3^2 - 2 x3 x18 + x16^2 + x17^2 + x18^2 >= 0 e18: - 4 objvar + x1^2 - 2 x1 x19 + x2^2 - 2 x2 x20 + x3^2 - 2 x3 x21 + x19^2 + x20^2 + x21^2 >= 0 e19: - 4 objvar + x1^2 - 2 x1 x22 + x2^2 - 2 x2 x23 + x3^2 - 2 x3 x24 + x22^2 + x23^2 + x24^2 >= 0 e20: - 4 objvar + x1^2 - 2 x1 x25 + x2^2 - 2 x2 x26 + x3^2 - 2 x3 x27 + x25^2 + x26^2 + x27^2 >= 0 e21: - 4 objvar + x1^2 - 2 x1 x28 + x2^2 - 2 x2 x29 + x3^2 - 2 x3 x30 + x28^2 + x29^2 + x30^2 >= 0 e22: - 4 objvar + x1^2 - 2 x1 x31 + x2^2 - 2 x2 x32 + x3^2 - 2 x3 x33 + x31^2 + x32^2 + x33^2 >= 0 e23: - 4 objvar + x1^2 - 2 x1 x34 + x2^2 - 2 x2 x35 + x3^2 - 2 x3 x36 + x34^2 + x35^2 + x36^2 >= 0 e24: - 4 objvar + x4^2 - 2 x4 x7 + x5^2 - 2 x5 x8 + x6^2 - 2 x6 x9 + x7^2 + x8^2 + x9^2 >= 0 e25: - 4 objvar + x4^2 - 2 x4 x10 + x5^2 - 2 x5 x11 + x6^2 - 2 x6 x12 + x10^2 + x11^2 + x12^2 >= 0 e26: - 4 objvar + x4^2 - 2 x4 x13 + x5^2 - 2 x5 x14 + x6^2 - 2 x6 x15 + x13^2 + x14^2 + x15^2 >= 0 e27: - 4 objvar + x4^2 - 2 x4 x16 + x5^2 - 2 x5 x17 + x6^2 - 2 x6 x18 + x16^2 + x17^2 + x18^2 >= 0 e28: - 4 objvar + x4^2 - 2 x4 x19 + x5^2 - 2 x5 x20 + x6^2 - 2 x6 x21 + x19^2 + x20^2 + x21^2 >= 0 e29: - 4 objvar + x4^2 - 2 x4 x22 + x5^2 - 2 x5 x23 + x6^2 - 2 x6 x24 + x22^2 + x23^2 + x24^2 >= 0 e30: - 4 objvar + x4^2 - 2 x4 x25 + x5^2 - 2 x5 x26 + x6^2 - 2 x6 x27 + x25^2 + x26^2 + x27^2 >= 0 e31: - 4 objvar + x4^2 - 2 x4 x28 + x5^2 - 2 x5 x29 + x6^2 - 2 x6 x30 + x28^2 + x29^2 + x30^2 >= 0 e32: - 4 objvar + x4^2 - 2 x4 x31 + x5^2 - 2 x5 x32 + x6^2 - 2 x6 x33 + x31^2 + x32^2 + x33^2 >= 0 e33: - 4 objvar + x4^2 - 2 x4 x34 + x5^2 - 2 x5 x35 + x6^2 - 2 x6 x36 + x34^2 + x35^2 + x36^2 >= 0 e34: - 4 objvar + x7^2 - 2 x7 x10 + x8^2 - 2 x8 x11 + x9^2 - 2 x9 x12 + x10^2 + x11^2 + x12^2 >= 0 e35: - 4 objvar + x7^2 - 2 x7 x13 + x8^2 - 2 x8 x14 + x9^2 - 2 x9 x15 + x13^2 + x14^2 + x15^2 >= 0 e36: - 4 objvar + x7^2 - 2 x7 x16 + x8^2 - 2 x8 x17 + x9^2 - 2 x9 x18 + x16^2 + x17^2 + x18^2 >= 0 e37: - 4 objvar + x7^2 - 2 x7 x19 + x8^2 - 2 x8 x20 + x9^2 - 2 x9 x21 + x19^2 + x20^2 + x21^2 >= 0 e38: - 4 objvar + x7^2 - 2 x7 x22 + x8^2 - 2 x8 x23 + x9^2 - 2 x9 x24 + x22^2 + x23^2 + x24^2 >= 0 e39: - 4 objvar + x7^2 - 2 x7 x25 + x8^2 - 2 x8 x26 + x9^2 - 2 x9 x27 + x25^2 + x26^2 + x27^2 >= 0 e40: - 4 objvar + x7^2 - 2 x7 x28 + x8^2 - 2 x8 x29 + x9^2 - 2 x9 x30 + x28^2 + x29^2 + x30^2 >= 0 e41: - 4 objvar + x7^2 - 2 x7 x31 + x8^2 - 2 x8 x32 + x9^2 - 2 x9 x33 + x31^2 + x32^2 + x33^2 >= 0 e42: - 4 objvar + x7^2 - 2 x7 x34 + x8^2 - 2 x8 x35 + x9^2 - 2 x9 x36 + x34^2 + x35^2 + x36^2 >= 0 e43: - 4 objvar + x10^2 - 2 x10 x13 + x11^2 - 2 x11 x14 + x12^2 - 2 x12 x15 + x13^2 + x14^2 + x15^2 >= 0 e44: - 4 objvar + x10^2 - 2 x10 x16 + x11^2 - 2 x11 x17 + x12^2 - 2 x12 x18 + x16^2 + x17^2 + x18^2 >= 0 e45: - 4 objvar + x10^2 - 2 x10 x19 + x11^2 - 2 x11 x20 + x12^2 - 2 x12 x21 + x19^2 + x20^2 + x21^2 >= 0 e46: - 4 objvar + x10^2 - 2 x10 x22 + x11^2 - 2 x11 x23 + x12^2 - 2 x12 x24 + x22^2 + x23^2 + x24^2 >= 0 e47: - 4 objvar + x10^2 - 2 x10 x25 + x11^2 - 2 x11 x26 + x12^2 - 2 x12 x27 + x25^2 + x26^2 + x27^2 >= 0 e48: - 4 objvar + x10^2 - 2 x10 x28 + x11^2 - 2 x11 x29 + x12^2 - 2 x12 x30 + x28^2 + x29^2 + x30^2 >= 0 e49: - 4 objvar + x10^2 - 2 x10 x31 + x11^2 - 2 x11 x32 + x12^2 - 2 x12 x33 + x31^2 + x32^2 + x33^2 >= 0 e50: - 4 objvar + x10^2 - 2 x10 x34 + x11^2 - 2 x11 x35 + x12^2 - 2 x12 x36 + x34^2 + x35^2 + x36^2 >= 0 e51: - 4 objvar + x13^2 - 2 x13 x16 + x14^2 - 2 x14 x17 + x15^2 - 2 x15 x18 + x16^2 + x17^2 + x18^2 >= 0 e52: - 4 objvar + x13^2 - 2 x13 x19 + x14^2 - 2 x14 x20 + x15^2 - 2 x15 x21 + x19^2 + x20^2 + x21^2 >= 0 e53: - 4 objvar + x13^2 - 2 x13 x22 + x14^2 - 2 x14 x23 + x15^2 - 2 x15 x24 + x22^2 + x23^2 + x24^2 >= 0 e54: - 4 objvar + x13^2 - 2 x13 x25 + x14^2 - 2 x14 x26 + x15^2 - 2 x15 x27 + x25^2 + x26^2 + x27^2 >= 0 e55: - 4 objvar + x13^2 - 2 x13 x28 + x14^2 - 2 x14 x29 + x15^2 - 2 x15 x30 + x28^2 + x29^2 + x30^2 >= 0 e56: - 4 objvar + x13^2 - 2 x13 x31 + x14^2 - 2 x14 x32 + x15^2 - 2 x15 x33 + x31^2 + x32^2 + x33^2 >= 0 e57: - 4 objvar + x13^2 - 2 x13 x34 + x14^2 - 2 x14 x35 + x15^2 - 2 x15 x36 + x34^2 + x35^2 + x36^2 >= 0 e58: - 4 objvar + x16^2 - 2 x16 x19 + x17^2 - 2 x17 x20 + x18^2 - 2 x18 x21 + x19^2 + x20^2 + x21^2 >= 0 e59: - 4 objvar + x16^2 - 2 x16 x22 + x17^2 - 2 x17 x23 + x18^2 - 2 x18 x24 + x22^2 + x23^2 + x24^2 >= 0 e60: - 4 objvar + x16^2 - 2 x16 x25 + x17^2 - 2 x17 x26 + x18^2 - 2 x18 x27 + x25^2 + x26^2 + x27^2 >= 0 e61: - 4 objvar + x16^2 - 2 x16 x28 + x17^2 - 2 x17 x29 + x18^2 - 2 x18 x30 + x28^2 + x29^2 + x30^2 >= 0 e62: - 4 objvar + x16^2 - 2 x16 x31 + x17^2 - 2 x17 x32 + x18^2 - 2 x18 x33 + x31^2 + x32^2 + x33^2 >= 0 e63: - 4 objvar + x16^2 - 2 x16 x34 + x17^2 - 2 x17 x35 + x18^2 - 2 x18 x36 + x34^2 + x35^2 + x36^2 >= 0 e64: - 4 objvar + x19^2 - 2 x19 x22 + x20^2 - 2 x20 x23 + x21^2 - 2 x21 x24 + x22^2 + x23^2 + x24^2 >= 0 e65: - 4 objvar + x19^2 - 2 x19 x25 + x20^2 - 2 x20 x26 + x21^2 - 2 x21 x27 + x25^2 + x26^2 + x27^2 >= 0 e66: - 4 objvar + x19^2 - 2 x19 x28 + x20^2 - 2 x20 x29 + x21^2 - 2 x21 x30 + x28^2 + x29^2 + x30^2 >= 0 e67: - 4 objvar + x19^2 - 2 x19 x31 + x20^2 - 2 x20 x32 + x21^2 - 2 x21 x33 + x31^2 + x32^2 + x33^2 >= 0 e68: - 4 objvar + x19^2 - 2 x19 x34 + x20^2 - 2 x20 x35 + x21^2 - 2 x21 x36 + x34^2 + x35^2 + x36^2 >= 0 e69: - 4 objvar + x22^2 - 2 x22 x25 + x23^2 - 2 x23 x26 + x24^2 - 2 x24 x27 + x25^2 + x26^2 + x27^2 >= 0 e70: - 4 objvar + x22^2 - 2 x22 x28 + x23^2 - 2 x23 x29 + x24^2 - 2 x24 x30 + x28^2 + x29^2 + x30^2 >= 0 e71: - 4 objvar + x22^2 - 2 x22 x31 + x23^2 - 2 x23 x32 + x24^2 - 2 x24 x33 + x31^2 + x32^2 + x33^2 >= 0 e72: - 4 objvar + x22^2 - 2 x22 x34 + x23^2 - 2 x23 x35 + x24^2 - 2 x24 x36 + x34^2 + x35^2 + x36^2 >= 0 e73: - 4 objvar + x25^2 - 2 x25 x28 + x26^2 - 2 x26 x29 + x27^2 - 2 x27 x30 + x28^2 + x29^2 + x30^2 >= 0 e74: - 4 objvar + x25^2 - 2 x25 x31 + x26^2 - 2 x26 x32 + x27^2 - 2 x27 x33 + x31^2 + x32^2 + x33^2 >= 0 e75: - 4 objvar + x25^2 - 2 x25 x34 + x26^2 - 2 x26 x35 + x27^2 - 2 x27 x36 + x34^2 + x35^2 + x36^2 >= 0 e76: - 4 objvar + x28^2 - 2 x28 x31 + x29^2 - 2 x29 x32 + x30^2 - 2 x30 x33 + x31^2 + x32^2 + x33^2 >= 0 e77: - 4 objvar + x28^2 - 2 x28 x34 + x29^2 - 2 x29 x35 + x30^2 - 2 x30 x36 + x34^2 + x35^2 + x36^2 >= 0 e78: - 4 objvar + x31^2 - 2 x31 x34 + x32^2 - 2 x32 x35 + x33^2 - 2 x33 x36 + x34^2 + x35^2 + x36^2 >= 0 Bounds -2 <= x1 <= 2 -2 <= x2 <= 2 -2 <= x3 <= 2 -2 <= x4 <= 2 -2 <= x5 <= 2 -2 <= x6 <= 2 -2 <= x7 <= 2 -2 <= x8 <= 2 -2 <= x9 <= 2 -2 <= x10 <= 2 -2 <= x11 <= 2 -2 <= x12 <= 2 -2 <= x13 <= 2 -2 <= x14 <= 2 -2 <= x15 <= 2 -2 <= x16 <= 2 -2 <= x17 <= 2 -2 <= x18 <= 2 -2 <= x19 <= 2 -2 <= x20 <= 2 -2 <= x21 <= 2 -2 <= x22 <= 2 -2 <= x23 <= 2 -2 <= x24 <= 2 -2 <= x25 <= 2 -2 <= x26 <= 2 -2 <= x27 <= 2 -2 <= x28 <= 2 -2 <= x29 <= 2 -2 <= x30 <= 2 -2 <= x31 <= 2 -2 <= x32 <= 2 -2 <= x33 <= 2 -2 <= x34 <= 2 -2 <= x35 <= 2 -2 <= x36 <= 2 objvar Free End