\ Equation counts \ Total E G L N X C B \ 32 32 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 96 0 96 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 192 96 96 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 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + [ 2 b1 * b4 + 2 b1 * b10 - 2 b1 * b13 + 2 b1 * b25 - 2 b1 * b73 + 2 b2 * b5 + 2 b2 * b11 - 2 b2 * b14 + 2 b2 * b26 - 2 b2 * b74 + 2 b3 * b6 + 2 b3 * b12 - 2 b3 * b15 + 2 b3 * b27 - 2 b3 * b75 - 2 b4 * b7 - 2 b4 * b16 + 2 b4 * b28 - 2 b4 * b76 - 2 b5 * b8 - 2 b5 * b17 + 2 b5 * b29 - 2 b5 * b77 - 2 b6 * b9 - 2 b6 * b18 + 2 b6 * b30 - 2 b6 * b78 - 2 b7 * b10 - 2 b7 * b19 - 2 b7 * b31 + 2 b7 * b79 - 2 b8 * b11 - 2 b8 * b20 - 2 b8 * b32 + 2 b8 * b80 - 2 b9 * b12 - 2 b9 * b21 - 2 b9 * b33 + 2 b9 * b81 + 2 b10 * b22 + 2 b10 * b34 + 2 b10 * b82 + 2 b11 * b23 + 2 b11 * b35 + 2 b11 * b83 + 2 b12 * b24 + 2 b12 * b36 + 2 b12 * b84 - 2 b13 * b16 + 2 b13 * b22 + 2 b13 * b37 - 2 b13 * b85 - 2 b14 * b17 + 2 b14 * b23 + 2 b14 * b38 - 2 b14 * b86 - 2 b15 * b18 + 2 b15 * b24 + 2 b15 * b39 - 2 b15 * b87 - 2 b16 * b19 + 2 b16 * b40 + 2 b16 * b88 - 2 b17 * b20 + 2 b17 * b41 + 2 b17 * b89 - 2 b18 * b21 + 2 b18 * b42 + 2 b18 * b90 - 2 b19 * b22 + 2 b19 * b43 - 2 b19 * b91 - 2 b20 * b23 + 2 b20 * b44 - 2 b20 * b92 - 2 b21 * b24 + 2 b21 * b45 - 2 b21 * b93 + 2 b22 * b46 + 2 b22 * b94 + 2 b23 * b47 + 2 b23 * b95 + 2 b24 * b48 + 2 b24 * b96 + 2 b25 * b28 - 2 b25 * b34 + 2 b25 * b37 - 2 b25 * b49 + 2 b26 * b29 - 2 b26 * b35 + 2 b26 * b38 - 2 b26 * b50 + 2 b27 * b30 - 2 b27 * b36 + 2 b27 * b39 - 2 b27 * b51 - 2 b28 * b31 + 2 b28 * b40 + 2 b28 * b52 - 2 b29 * b32 + 2 b29 * b41 + 2 b29 * b53 - 2 b30 * b33 + 2 b30 * b42 + 2 b30 * b54 + 2 b31 * b34 + 2 b31 * b43 - 2 b31 * b55 + 2 b32 * b35 + 2 b32 * b44 - 2 b32 * b56 + 2 b33 * b36 + 2 b33 * b45 - 2 b33 * b57 - 2 b34 * b46 - 2 b34 * b58 - 2 b35 * b47 - 2 b35 * b59 - 2 b36 * b48 - 2 b36 * b60 - 2 b37 * b40 + 2 b37 * b46 - 2 b37 * b61 - 2 b38 * b41 + 2 b38 * b47 - 2 b38 * b62 - 2 b39 * b42 + 2 b39 * b48 - 2 b39 * b63 - 2 b40 * b43 - 2 b40 * b64 - 2 b41 * b44 - 2 b41 * b65 - 2 b42 * b45 - 2 b42 * b66 - 2 b43 * b46 - 2 b43 * b67 - 2 b44 * b47 - 2 b44 * b68 - 2 b45 * b48 - 2 b45 * b69 + 2 b46 * b70 + 2 b47 * b71 + 2 b48 * b72 + 2 b49 * b52 + 2 b49 * b58 + 2 b49 * b61 - 2 b49 * b73 + 2 b50 * b53 + 2 b50 * b59 + 2 b50 * b62 - 2 b50 * b74 + 2 b51 * b54 + 2 b51 * b60 + 2 b51 * b63 - 2 b51 * b75 + 2 b52 * b55 - 2 b52 * b64 - 2 b52 * b76 + 2 b53 * b56 - 2 b53 * b65 - 2 b53 * b77 + 2 b54 * b57 - 2 b54 * b66 - 2 b54 * b78 + 2 b55 * b58 - 2 b55 * b67 + 2 b55 * b79 + 2 b56 * b59 - 2 b56 * b68 + 2 b56 * b80 + 2 b57 * b60 - 2 b57 * b69 + 2 b57 * b81 - 2 b58 * b70 + 2 b58 * b82 - 2 b59 * b71 + 2 b59 * b83 - 2 b60 * b72 + 2 b60 * b84 - 2 b61 * b64 + 2 b61 * b70 + 2 b61 * b85 - 2 b62 * b65 + 2 b62 * b71 + 2 b62 * b86 - 2 b63 * b66 + 2 b63 * b72 + 2 b63 * b87 - 2 b64 * b67 - 2 b64 * b88 - 2 b65 * b68 - 2 b65 * b89 - 2 b66 * b69 - 2 b66 * b90 + 2 b67 * b70 - 2 b67 * b91 + 2 b68 * b71 - 2 b68 * b92 + 2 b69 * b72 - 2 b69 * b93 + 2 b70 * b94 + 2 b71 * b95 + 2 b72 * b96 - 2 b73 * b76 - 2 b73 * b82 + 2 b73 * b85 - 2 b74 * b77 - 2 b74 * b83 + 2 b74 * b86 - 2 b75 * b78 - 2 b75 * b84 + 2 b75 * b87 + 2 b76 * b79 + 2 b76 * b88 + 2 b77 * b80 + 2 b77 * b89 + 2 b78 * b81 + 2 b78 * b90 - 2 b79 * b82 - 2 b79 * b91 - 2 b80 * b83 - 2 b80 * b92 - 2 b81 * b84 - 2 b81 * b93 - 2 b82 * b94 - 2 b83 * b95 - 2 b84 * b96 + 2 b85 * b88 - 2 b85 * b94 + 2 b86 * b89 - 2 b86 * b95 + 2 b87 * b90 - 2 b87 * b96 + 2 b88 * b91 + 2 b89 * b92 + 2 b90 * b93 + 2 b91 * b94 + 2 b92 * b95 + 2 b93 * b96 ]/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 e28: b82 + b83 + b84 = 1 e29: b85 + b86 + b87 = 1 e30: b88 + b89 + b90 = 1 e31: b91 + b92 + b93 = 1 e32: b94 + b95 + b96 = 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 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 End