\ 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 + [ 26808 b1 * b4 - 76134 b1 * b10 - 75988 b1 * b13 + 265186 b1 * b25 + 158784 b1 * b73 + 26808 b2 * b5 - 76134 b2 * b11 - 75988 b2 * b14 + 265186 b2 * b26 + 158784 b2 * b74 + 26808 b3 * b6 - 76134 b3 * b12 - 75988 b3 * b15 + 265186 b3 * b27 + 158784 b3 * b75 + 156566 b4 * b7 - 345244 b4 * b16 + 358314 b4 * b28 - 21422 b4 * b76 + 156566 b5 * b8 - 345244 b5 * b17 + 358314 b5 * b29 - 21422 b5 * b77 + 156566 b6 * b9 - 345244 b6 * b18 + 358314 b6 * b30 - 21422 b6 * b78 - 21934 b7 * b10 + 267842 b7 * b19 + 94674 b7 * b31 + 3.57e3 b7 * b79 - 21934 b8 * b11 + 267842 b8 * b20 + 94674 b8 * b32 + 3.57e3 b8 * b80 - 21934 b9 * b12 + 267842 b9 * b21 + 94674 b9 * b33 + 3.57e3 b9 * b81 - 23226 b10 * b22 + 209016 b10 * b34 + 352152 b10 * b82 - 23226 b11 * b23 + 209016 b11 * b35 + 352152 b11 * b83 - 23226 b12 * b24 + 209016 b12 * b36 + 352152 b12 * b84 - 84352 b13 * b16 + 117048 b13 * b22 - 2.5441e5 b13 * b37 - 48564 b13 * b85 - 84352 b14 * b17 + 117048 b14 * b23 - 2.5441e5 b14 * b38 - 48564 b14 * b86 - 84352 b15 * b18 + 117048 b15 * b24 - 2.5441e5 b15 * b39 - 48564 b15 * b87 - 496028 b16 * b19 + 169156 b16 * b40 - 184402 b16 * b88 - 496028 b17 * b20 + 169156 b17 * b41 - 184402 b17 * b89 - 496028 b18 * b21 + 169156 b18 * b42 - 184402 b18 * b90 - 103914 b19 * b22 - 96108 b19 * b43 + 370492 b19 * b91 - 103914 b20 * b23 - 96108 b20 * b44 + 370492 b20 * b92 - 103914 b21 * b24 - 96108 b21 * b45 + 370492 b21 * b93 + 186534 b22 * b46 + 175802 b22 * b94 + 186534 b23 * b47 + 175802 b23 * b95 + 186534 b24 * b48 + 175802 b24 * b96 - 190132 b25 * b28 + 67574 b25 * b34 + 259262 b25 * b37 + 30328 b25 * b49 - 190132 b26 * b29 + 67574 b26 * b35 + 259262 b26 * b38 + 30328 b26 * b50 - 190132 b27 * b30 + 67574 b27 * b36 + 259262 b27 * b39 + 30328 b27 * b51 + 312022 b28 * b31 + 12584 b28 * b40 - 316954 b28 * b52 + 312022 b29 * b32 + 12584 b29 * b41 - 316954 b29 * b53 + 312022 b30 * b33 + 12584 b30 * b42 - 316954 b30 * b54 - 165158 b31 * b34 + 165978 b31 * b43 + 225772 b31 * b55 - 165158 b32 * b35 + 165978 b32 * b44 + 225772 b32 * b56 - 165158 b33 * b36 + 165978 b33 * b45 + 225772 b33 * b57 - 168548 b34 * b46 + 1.6561e5 b34 * b58 - 168548 b35 * b47 + 1.6561e5 b35 * b59 - 168548 b36 * b48 + 1.6561e5 b36 * b60 - 201208 b37 * b40 + 18114 b37 * b46 - 3.9342e5 b37 * b61 - 201208 b38 * b41 + 18114 b38 * b47 - 3.9342e5 b38 * b62 - 201208 b39 * b42 + 18114 b39 * b48 - 3.9342e5 b39 * b63 - 1.0294e5 b40 * b43 - 2.0239e5 b40 * b64 - 1.0294e5 b41 * b44 - 2.0239e5 b41 * b65 - 1.0294e5 b42 * b45 - 2.0239e5 b42 * b66 + 105758 b43 * b46 - 678 b43 * b67 + 105758 b44 * b47 - 678 b44 * b68 + 105758 b45 * b48 - 678 b45 * b69 - 325706 b46 * b70 - 325706 b47 * b71 - 325706 b48 * b72 + 40572 b49 * b52 - 2.2613e5 b49 * b58 + 9.619e4 b49 * b61 + 176756 b49 * b73 + 40572 b50 * b53 - 2.2613e5 b50 * b59 + 9.619e4 b50 * b62 + 176756 b50 * b74 + 40572 b51 * b54 - 2.2613e5 b51 * b60 + 9.619e4 b51 * b63 + 176756 b51 * b75 + 111044 b52 * b55 - 60614 b52 * b64 - 313748 b52 * b76 + 111044 b53 * b56 - 60614 b53 * b65 - 313748 b53 * b77 + 111044 b54 * b57 - 60614 b54 * b66 - 313748 b54 * b78 - 114516 b55 * b58 - 1.3125e5 b55 * b67 - 201898 b55 * b79 - 114516 b56 * b59 - 1.3125e5 b56 * b68 - 201898 b56 * b80 - 114516 b57 * b60 - 1.3125e5 b57 * b69 - 201898 b57 * b81 + 4446 b58 * b70 + 172968 b58 * b82 + 4446 b59 * b71 + 172968 b59 * b83 + 4446 b60 * b72 + 172968 b60 * b84 + 249922 b61 * b64 - 187398 b61 * b70 + 420372 b61 * b85 + 249922 b62 * b65 - 187398 b62 * b71 + 420372 b62 * b86 + 249922 b63 * b66 - 187398 b63 * b72 + 420372 b63 * b87 - 1.4051e5 b64 * b67 + 279682 b64 * b88 - 1.4051e5 b65 * b68 + 279682 b65 * b89 - 1.4051e5 b66 * b69 + 279682 b66 * b90 + 361526 b67 * b70 + 413136 b67 * b91 + 361526 b68 * b71 + 413136 b68 * b92 + 361526 b69 * b72 + 413136 b69 * b93 - 140636 b70 * b94 - 140636 b71 * b95 - 140636 b72 * b96 - 284362 b73 * b76 + 202558 b73 * b82 + 2.2917e5 b73 * b85 - 284362 b74 * b77 + 202558 b74 * b83 + 2.2917e5 b74 * b86 - 284362 b75 * b78 + 202558 b75 * b84 + 2.2917e5 b75 * b87 - 2.2101e5 b76 * b79 - 35002 b76 * b88 - 2.2101e5 b77 * b80 - 35002 b77 * b89 - 2.2101e5 b78 * b81 - 35002 b78 * b90 + 86144 b79 * b82 + 136326 b79 * b91 + 86144 b80 * b83 + 136326 b80 * b92 + 86144 b81 * b84 + 136326 b81 * b93 - 55048 b82 * b94 - 55048 b83 * b95 - 55048 b84 * b96 - 412156 b85 * b88 + 256246 b85 * b94 - 412156 b86 * b89 + 256246 b86 * b95 - 412156 b87 * b90 + 256246 b87 * b96 - 4136 b88 * b91 - 4136 b89 * b92 - 4136 b90 * b93 + 302146 b91 * b94 + 302146 b92 * b95 + 302146 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