\ Equation counts \ Total E G L N X C B \ 27 27 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 81 0 81 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 162 81 81 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 + [ - 2 b1 * b4 - 2 b1 * b7 + 2 b1 * b10 + 2 b1 * b19 - 2 b1 * b28 - 2 b1 * b55 - 2 b2 * b5 - 2 b2 * b8 + 2 b2 * b11 + 2 b2 * b20 - 2 b2 * b29 - 2 b2 * b56 - 2 b3 * b6 - 2 b3 * b9 + 2 b3 * b12 + 2 b3 * b21 - 2 b3 * b30 - 2 b3 * b57 - 2 b4 * b7 - 2 b4 * b13 + 2 b4 * b22 - 2 b4 * b31 - 2 b4 * b58 - 2 b5 * b8 - 2 b5 * b14 + 2 b5 * b23 - 2 b5 * b32 - 2 b5 * b59 - 2 b6 * b9 - 2 b6 * b15 + 2 b6 * b24 - 2 b6 * b33 - 2 b6 * b60 + 2 b7 * b16 + 2 b7 * b25 + 2 b7 * b34 - 2 b7 * b61 + 2 b8 * b17 + 2 b8 * b26 + 2 b8 * b35 - 2 b8 * b62 + 2 b9 * b18 + 2 b9 * b27 + 2 b9 * b36 - 2 b9 * b63 - 2 b10 * b13 + 2 b10 * b16 - 2 b10 * b19 + 2 b10 * b37 - 2 b10 * b64 - 2 b11 * b14 + 2 b11 * b17 - 2 b11 * b20 + 2 b11 * b38 - 2 b11 * b65 - 2 b12 * b15 + 2 b12 * b18 - 2 b12 * b21 + 2 b12 * b39 - 2 b12 * b66 + 2 b13 * b16 - 2 b13 * b22 - 2 b13 * b40 + 2 b13 * b67 + 2 b14 * b17 - 2 b14 * b23 - 2 b14 * b41 + 2 b14 * b68 + 2 b15 * b18 - 2 b15 * b24 - 2 b15 * b42 + 2 b15 * b69 + 2 b16 * b25 + 2 b16 * b43 + 2 b16 * b70 + 2 b17 * b26 + 2 b17 * b44 + 2 b17 * b71 + 2 b18 * b27 + 2 b18 * b45 + 2 b18 * b72 - 2 b19 * b22 - 2 b19 * b25 - 2 b19 * b46 + 2 b19 * b73 - 2 b20 * b23 - 2 b20 * b26 - 2 b20 * b47 + 2 b20 * b74 - 2 b21 * b24 - 2 b21 * b27 - 2 b21 * b48 + 2 b21 * b75 + 2 b22 * b25 + 2 b22 * b49 + 2 b22 * b76 + 2 b23 * b26 + 2 b23 * b50 + 2 b23 * b77 + 2 b24 * b27 + 2 b24 * b51 + 2 b24 * b78 - 2 b25 * b52 - 2 b25 * b79 - 2 b26 * b53 - 2 b26 * b80 - 2 b27 * b54 - 2 b27 * b81 + 2 b28 * b31 - 2 b28 * b34 - 2 b28 * b37 - 2 b28 * b46 - 2 b28 * b55 + 2 b29 * b32 - 2 b29 * b35 - 2 b29 * b38 - 2 b29 * b47 - 2 b29 * b56 + 2 b30 * b33 - 2 b30 * b36 - 2 b30 * b39 - 2 b30 * b48 - 2 b30 * b57 - 2 b31 * b34 - 2 b31 * b40 - 2 b31 * b49 + 2 b31 * b58 - 2 b32 * b35 - 2 b32 * b41 - 2 b32 * b50 + 2 b32 * b59 - 2 b33 * b36 - 2 b33 * b42 - 2 b33 * b51 + 2 b33 * b60 - 2 b34 * b43 + 2 b34 * b52 + 2 b34 * b61 - 2 b35 * b44 + 2 b35 * b53 + 2 b35 * b62 - 2 b36 * b45 + 2 b36 * b54 + 2 b36 * b63 + 2 b37 * b40 - 2 b37 * b43 - 2 b37 * b46 + 2 b37 * b64 + 2 b38 * b41 - 2 b38 * b44 - 2 b38 * b47 + 2 b38 * b65 + 2 b39 * b42 - 2 b39 * b45 - 2 b39 * b48 + 2 b39 * b66 + 2 b40 * b43 + 2 b40 * b49 - 2 b40 * b67 + 2 b41 * b44 + 2 b41 * b50 - 2 b41 * b68 + 2 b42 * b45 + 2 b42 * b51 - 2 b42 * b69 - 2 b43 * b52 + 2 b43 * b70 - 2 b44 * b53 + 2 b44 * b71 - 2 b45 * b54 + 2 b45 * b72 + 2 b46 * b49 + 2 b46 * b52 + 2 b46 * b73 + 2 b47 * b50 + 2 b47 * b53 + 2 b47 * b74 + 2 b48 * b51 + 2 b48 * b54 + 2 b48 * b75 + 2 b49 * b52 + 2 b49 * b76 + 2 b50 * b53 + 2 b50 * b77 + 2 b51 * b54 + 2 b51 * b78 - 2 b52 * b79 - 2 b53 * b80 - 2 b54 * b81 + 2 b55 * b58 + 2 b55 * b61 - 2 b55 * b64 + 2 b55 * b73 + 2 b56 * b59 + 2 b56 * b62 - 2 b56 * b65 + 2 b56 * b74 + 2 b57 * b60 + 2 b57 * b63 - 2 b57 * b66 + 2 b57 * b75 - 2 b58 * b61 - 2 b58 * b67 + 2 b58 * b76 - 2 b59 * b62 - 2 b59 * b68 + 2 b59 * b77 - 2 b60 * b63 - 2 b60 * b69 + 2 b60 * b78 + 2 b61 * b70 - 2 b61 * b79 + 2 b62 * b71 - 2 b62 * b80 + 2 b63 * b72 - 2 b63 * b81 - 2 b64 * b67 - 2 b64 * b70 + 2 b64 * b73 - 2 b65 * b68 - 2 b65 * b71 + 2 b65 * b74 - 2 b66 * b69 - 2 b66 * b72 + 2 b66 * b75 + 2 b67 * b70 - 2 b67 * b76 + 2 b68 * b71 - 2 b68 * b77 + 2 b69 * b72 - 2 b69 * b78 - 2 b70 * b79 - 2 b71 * b80 - 2 b72 * b81 + 2 b73 * b76 + 2 b73 * b79 + 2 b74 * b77 + 2 b74 * b80 + 2 b75 * b78 + 2 b75 * b81 + 2 b76 * b79 + 2 b77 * b80 + 2 b78 * b81 ]/2 Subject To e1: b1 + b2 + b3 = 1 e2: b4 + b5 + b6 = 1 e3: b7 + b8 + b9 = 1 e4: b10 + b11 + b12 = 1 e5: b13 + b14 + b15 = 1 e6: b16 + b17 + b18 = 1 e7: b19 + b20 + b21 = 1 e8: b22 + b23 + b24 = 1 e9: b25 + b26 + b27 = 1 e10: b28 + b29 + b30 = 1 e11: b31 + b32 + b33 = 1 e12: b34 + b35 + b36 = 1 e13: b37 + b38 + b39 = 1 e14: b40 + b41 + b42 = 1 e15: b43 + b44 + b45 = 1 e16: b46 + b47 + b48 = 1 e17: b49 + b50 + b51 = 1 e18: b52 + b53 + b54 = 1 e19: b55 + b56 + b57 = 1 e20: b58 + b59 + b60 = 1 e21: b61 + b62 + b63 = 1 e22: b64 + b65 + b66 = 1 e23: b67 + b68 + b69 = 1 e24: b70 + b71 + b72 = 1 e25: b73 + b74 + b75 = 1 e26: b76 + b77 + b78 = 1 e27: b79 + b80 + b81 = 1 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 End