\ Equation counts \ Total E G L N X C B \ 24 24 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 72 0 72 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 144 72 72 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 + [ 72782 b1 * b4 - 112046 b1 * b7 - 61174 b1 * b10 + 8.788e4 b1 * b19 + 207308 b1 * b55 + 72782 b2 * b5 - 112046 b2 * b8 - 61174 b2 * b11 + 8.788e4 b2 * b20 + 207308 b2 * b56 + 72782 b3 * b6 - 112046 b3 * b9 - 61174 b3 * b12 + 8.788e4 b3 * b21 + 207308 b3 * b57 - 84008 b4 * b7 - 128466 b4 * b13 + 151842 b4 * b22 + 274032 b4 * b58 - 84008 b5 * b8 - 128466 b5 * b14 + 151842 b5 * b23 + 274032 b5 * b59 - 84008 b6 * b9 - 128466 b6 * b15 + 151842 b6 * b24 + 274032 b6 * b60 + 2.8117e5 b7 * b16 + 290522 b7 * b25 + 26884 b7 * b61 + 2.8117e5 b8 * b17 + 290522 b8 * b26 + 26884 b8 * b62 + 2.8117e5 b9 * b18 + 290522 b9 * b27 + 26884 b9 * b63 - 135862 b10 * b13 + 433162 b10 * b16 + 1.049e5 b10 * b28 - 2.536e4 b10 * b64 - 135862 b11 * b14 + 433162 b11 * b17 + 1.049e5 b11 * b29 - 2.536e4 b11 * b65 - 135862 b12 * b15 + 433162 b12 * b18 + 1.049e5 b12 * b30 - 2.536e4 b12 * b66 - 81734 b13 * b16 + 1.0793e5 b13 * b31 + 255964 b13 * b67 - 81734 b14 * b17 + 1.0793e5 b14 * b32 + 255964 b14 * b68 - 81734 b15 * b18 + 1.0793e5 b15 * b33 + 255964 b15 * b69 + 17206 b16 * b34 + 322352 b16 * b70 + 17206 b17 * b35 + 322352 b17 * b71 + 17206 b18 * b36 + 322352 b18 * b72 - 60874 b19 * b22 + 98244 b19 * b25 + 86866 b19 * b28 - 33252 b19 * b37 - 60874 b20 * b23 + 98244 b20 * b26 + 86866 b20 * b29 - 33252 b20 * b38 - 60874 b21 * b24 + 98244 b21 * b27 + 86866 b21 * b30 - 33252 b21 * b39 - 291922 b22 * b25 - 30006 b22 * b31 + 259462 b22 * b40 - 291922 b23 * b26 - 30006 b23 * b32 + 259462 b23 * b41 - 291922 b24 * b27 - 30006 b24 * b33 + 259462 b24 * b42 - 366928 b25 * b34 - 373114 b25 * b43 - 366928 b26 * b35 - 373114 b26 * b44 - 366928 b27 * b36 - 373114 b27 * b45 + 59572 b28 * b31 - 627266 b28 * b34 - 79936 b28 * b46 + 59572 b29 * b32 - 627266 b29 * b35 - 79936 b29 * b47 + 59572 b30 * b33 - 627266 b30 * b36 - 79936 b30 * b48 + 182066 b31 * b34 - 1.6841e5 b31 * b49 + 182066 b32 * b35 - 1.6841e5 b32 * b50 + 182066 b33 * b36 - 1.6841e5 b33 * b51 - 83834 b34 * b52 - 83834 b35 * b53 - 83834 b36 * b54 - 1.0755e5 b37 * b40 - 189872 b37 * b43 + 3.521e4 b37 * b46 + 207316 b37 * b55 - 1.0755e5 b38 * b41 - 189872 b38 * b44 + 3.521e4 b38 * b47 + 207316 b38 * b56 - 1.0755e5 b39 * b42 - 189872 b39 * b45 + 3.521e4 b39 * b48 + 207316 b39 * b57 + 146716 b40 * b43 + 102774 b40 * b49 - 202418 b40 * b58 + 146716 b41 * b44 + 102774 b41 * b50 - 202418 b41 * b59 + 146716 b42 * b45 + 102774 b42 * b51 - 202418 b42 * b60 + 155042 b43 * b52 + 217418 b43 * b61 + 155042 b44 * b53 + 217418 b44 * b62 + 155042 b45 * b54 + 217418 b45 * b63 - 194878 b46 * b49 - 4.3596e5 b46 * b52 + 326452 b46 * b64 - 194878 b47 * b50 - 4.3596e5 b47 * b53 + 326452 b47 * b65 - 194878 b48 * b51 - 4.3596e5 b48 * b54 + 326452 b48 * b66 + 11096 b49 * b52 - 186302 b49 * b67 + 11096 b50 * b53 - 186302 b50 * b68 + 11096 b51 * b54 - 186302 b51 * b69 + 416598 b52 * b70 + 416598 b53 * b71 + 416598 b54 * b72 + 3.277e4 b55 * b58 + 13474 b55 * b61 - 1.8848e5 b55 * b64 + 3.277e4 b56 * b59 + 13474 b56 * b62 - 1.8848e5 b56 * b65 + 3.277e4 b57 * b60 + 13474 b57 * b63 - 1.8848e5 b57 * b66 - 1.0315e5 b58 * b61 - 3.1698e5 b58 * b67 - 1.0315e5 b59 * b62 - 3.1698e5 b59 * b68 - 1.0315e5 b60 * b63 - 3.1698e5 b60 * b69 - 52654 b61 * b70 - 52654 b62 * b71 - 52654 b63 * b72 + 272638 b64 * b67 + 112584 b64 * b70 + 272638 b65 * b68 + 112584 b65 * b71 + 272638 b66 * b69 + 112584 b66 * b72 - 95704 b67 * b70 - 95704 b68 * b71 - 95704 b69 * b72 ]/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 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 End