\ 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 + [ - 4084 b1 * b4 + 2.5851e5 b1 * b7 - 17044 b1 * b10 + 7.382e4 b1 * b19 - 291738 b1 * b28 + 255314 b1 * b55 - 4084 b2 * b5 + 2.5851e5 b2 * b8 - 17044 b2 * b11 + 7.382e4 b2 * b20 - 291738 b2 * b29 + 255314 b2 * b56 - 4084 b3 * b6 + 2.5851e5 b3 * b9 - 17044 b3 * b12 + 7.382e4 b3 * b21 - 291738 b3 * b30 + 255314 b3 * b57 - 67596 b4 * b7 - 79516 b4 * b13 + 22214 b4 * b22 + 31354 b4 * b31 + 147946 b4 * b58 - 67596 b5 * b8 - 79516 b5 * b14 + 22214 b5 * b23 + 31354 b5 * b32 + 147946 b5 * b59 - 67596 b6 * b9 - 79516 b6 * b15 + 22214 b6 * b24 + 31354 b6 * b33 + 147946 b6 * b60 - 214752 b7 * b16 + 45558 b7 * b25 - 5.18e4 b7 * b34 + 2.9666e5 b7 * b61 - 214752 b8 * b17 + 45558 b8 * b26 - 5.18e4 b8 * b35 + 2.9666e5 b8 * b62 - 214752 b9 * b18 + 45558 b9 * b27 - 5.18e4 b9 * b36 + 2.9666e5 b9 * b63 + 182574 b10 * b13 + 2.4974e5 b10 * b16 + 324006 b10 * b19 - 22746 b10 * b37 - 94786 b10 * b64 + 182574 b11 * b14 + 2.4974e5 b11 * b17 + 324006 b11 * b20 - 22746 b11 * b38 - 94786 b11 * b65 + 182574 b12 * b15 + 2.4974e5 b12 * b18 + 324006 b12 * b21 - 22746 b12 * b39 - 94786 b12 * b66 + 248714 b13 * b16 + 27064 b13 * b22 + 9354 b13 * b40 - 2302 b13 * b67 + 248714 b14 * b17 + 27064 b14 * b23 + 9354 b14 * b41 - 2302 b14 * b68 + 248714 b15 * b18 + 27064 b15 * b24 + 9354 b15 * b42 - 2302 b15 * b69 + 368 b16 * b25 + 95794 b16 * b43 + 88472 b16 * b70 + 368 b17 * b26 + 95794 b17 * b44 + 88472 b17 * b71 + 368 b18 * b27 + 95794 b18 * b45 + 88472 b18 * b72 + 488646 b19 * b22 + 172942 b19 * b25 + 154692 b19 * b46 + 159082 b19 * b73 + 488646 b20 * b23 + 172942 b20 * b26 + 154692 b20 * b47 + 159082 b20 * b74 + 488646 b21 * b24 + 172942 b21 * b27 + 154692 b21 * b48 + 159082 b21 * b75 - 507206 b22 * b25 - 129214 b22 * b49 - 30502 b22 * b76 - 507206 b23 * b26 - 129214 b23 * b50 - 30502 b23 * b77 - 507206 b24 * b27 - 129214 b24 * b51 - 30502 b24 * b78 + 323214 b25 * b52 - 77684 b25 * b79 + 323214 b26 * b53 - 77684 b26 * b80 + 323214 b27 * b54 - 77684 b27 * b81 - 282402 b28 * b31 + 197396 b28 * b34 + 252594 b28 * b37 + 111406 b28 * b46 - 2.1889e5 b28 * b55 - 282402 b29 * b32 + 197396 b29 * b35 + 252594 b29 * b38 + 111406 b29 * b47 - 2.1889e5 b29 * b56 - 282402 b30 * b33 + 197396 b30 * b36 + 252594 b30 * b39 + 111406 b30 * b48 - 2.1889e5 b30 * b57 - 266434 b31 * b34 - 170328 b31 * b40 + 167152 b31 * b49 + 219078 b31 * b58 - 266434 b32 * b35 - 170328 b32 * b41 + 167152 b32 * b50 + 219078 b32 * b59 - 266434 b33 * b36 - 170328 b33 * b42 + 167152 b33 * b51 + 219078 b33 * b60 + 33166 b34 * b43 + 159344 b34 * b52 - 6.141e4 b34 * b61 + 33166 b35 * b44 + 159344 b35 * b53 - 6.141e4 b35 * b62 + 33166 b36 * b45 + 159344 b36 * b54 - 6.141e4 b36 * b63 - 46626 b37 * b40 + 179976 b37 * b43 + 461634 b37 * b46 - 90294 b37 * b64 - 46626 b38 * b41 + 179976 b38 * b44 + 461634 b38 * b47 - 90294 b38 * b65 - 46626 b39 * b42 + 179976 b39 * b45 + 461634 b39 * b48 - 90294 b39 * b66 + 129034 b40 * b43 + 2.8953e5 b40 * b49 + 48454 b40 * b67 + 129034 b41 * b44 + 2.8953e5 b41 * b50 + 48454 b41 * b68 + 129034 b42 * b45 + 2.8953e5 b42 * b51 + 48454 b42 * b69 - 145488 b43 * b52 - 74058 b43 * b70 - 145488 b44 * b53 - 74058 b44 * b71 - 145488 b45 * b54 - 74058 b45 * b72 + 124032 b46 * b49 + 8538 b46 * b52 - 111952 b46 * b73 + 124032 b47 * b50 + 8538 b47 * b53 - 111952 b47 * b74 + 124032 b48 * b51 + 8538 b48 * b54 - 111952 b48 * b75 - 37956 b49 * b52 + 186782 b49 * b76 - 37956 b50 * b53 + 186782 b50 * b77 - 37956 b51 * b54 + 186782 b51 * b78 + 3.941e4 b52 * b79 + 3.941e4 b53 * b80 + 3.941e4 b54 * b81 - 4.1982e5 b55 * b58 - 4.2426e5 b55 * b61 + 6.994e4 b55 * b64 - 211684 b55 * b73 - 4.1982e5 b56 * b59 - 4.2426e5 b56 * b62 + 6.994e4 b56 * b65 - 211684 b56 * b74 - 4.1982e5 b57 * b60 - 4.2426e5 b57 * b63 + 6.994e4 b57 * b66 - 211684 b57 * b75 - 1272 b58 * b61 + 45968 b58 * b67 - 389352 b58 * b76 - 1272 b59 * b62 + 45968 b59 * b68 - 389352 b59 * b77 - 1272 b60 * b63 + 45968 b60 * b69 - 389352 b60 * b78 + 36102 b61 * b70 + 28052 b61 * b79 + 36102 b62 * b71 + 28052 b62 * b80 + 36102 b63 * b72 + 28052 b63 * b81 + 74102 b64 * b67 - 29666 b64 * b70 - 26244 b64 * b73 + 74102 b65 * b68 - 29666 b65 * b71 - 26244 b65 * b74 + 74102 b66 * b69 - 29666 b66 * b72 - 26244 b66 * b75 - 133668 b67 * b70 + 1.036e5 b67 * b76 - 133668 b68 * b71 + 1.036e5 b68 * b77 - 133668 b69 * b72 + 1.036e5 b69 * b78 + 217658 b70 * b79 + 217658 b71 * b80 + 217658 b72 * b81 + 125172 b73 * b76 - 157298 b73 * b79 + 125172 b74 * b77 - 157298 b74 * b80 + 125172 b75 * b78 - 157298 b75 * b81 + 22072 b76 * b79 + 22072 b77 * b80 + 22072 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