\ Equation counts \ Total E G L N X C B \ 48 48 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 144 0 144 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 288 144 144 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 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + b1 b4 + b1 b10 + b1 b13 - b1 b25 + b1 b37 - b1 b109 + b2 b5 + b2 b11 + b2 b14 - b2 b26 + b2 b38 - b2 b110 + b3 b6 + b3 b12 + b3 b15 - b3 b27 + b3 b39 - b3 b111 - b4 b7 - b4 b16 - b4 b28 - b4 b40 - b4 b112 - b5 b8 - b5 b17 - b5 b29 - b5 b41 - b5 b113 - b6 b9 - b6 b18 - b6 b30 - b6 b42 - b6 b114 - b7 b10 + b7 b19 - b7 b31 - b7 b43 + b7 b115 - b8 b11 + b8 b20 - b8 b32 - b8 b44 + b8 b116 - b9 b12 + b9 b21 - b9 b33 - b9 b45 + b9 b117 - b10 b22 - b10 b34 + b10 b46 + b10 b118 - b11 b23 - b11 b35 + b11 b47 + b11 b119 - b12 b24 - b12 b36 + b12 b48 + b12 b120 + b13 b16 + b13 b22 - b13 b25 + b13 b49 + b13 b121 + b14 b17 + b14 b23 - b14 b26 + b14 b50 + b14 b122 + b15 b18 + b15 b24 - b15 b27 + b15 b51 + b15 b123 - b16 b19 + b16 b28 + b16 b52 + b16 b124 - b17 b20 + b17 b29 + b17 b53 + b17 b125 - b18 b21 + b18 b30 + b18 b54 + b18 b126 + b19 b22 - b19 b31 - b19 b55 + b19 b127 + b20 b23 - b20 b32 - b20 b56 + b20 b128 + b21 b24 - b21 b33 - b21 b57 + b21 b129 + b22 b34 + b22 b58 + b22 b130 + b23 b35 + b23 b59 + b23 b131 + b24 b36 + b24 b60 + b24 b132 + b25 b28 - b25 b34 + b25 b61 + b25 b133 + b26 b29 - b26 b35 + b26 b62 + b26 b134 + b27 b30 - b27 b36 + b27 b63 + b27 b135 - b28 b31 - b28 b64 - b28 b136 - b29 b32 - b29 b65 - b29 b137 - b30 b33 - b30 b66 - b30 b138 - b31 b34 + b31 b67 - b31 b139 - b32 b35 + b32 b68 - b32 b140 - b33 b36 + b33 b69 - b33 b141 - b34 b70 - b34 b142 - b35 b71 - b35 b143 - b36 b72 - b36 b144 + b37 b40 - b37 b46 - b37 b49 + b37 b61 - b37 b73 + b38 b41 - b38 b47 - b38 b50 + b38 b62 - b38 b74 + b39 b42 - b39 b48 - b39 b51 + b39 b63 - b39 b75 + b40 b43 - b40 b52 + b40 b64 - b40 b76 + b41 b44 - b41 b53 + b41 b65 - b41 b77 + b42 b45 - b42 b54 + b42 b66 - b42 b78 - b43 b46 + b43 b55 + b43 b67 - b43 b79 - b44 b47 + b44 b56 + b44 b68 - b44 b80 - b45 b48 + b45 b57 + b45 b69 - b45 b81 - b46 b58 + b46 b70 - b46 b82 - b47 b59 + b47 b71 - b47 b83 - b48 b60 + b48 b72 - b48 b84 - b49 b52 + b49 b58 + b49 b61 + b49 b85 - b50 b53 + b50 b59 + b50 b62 + b50 b86 - b51 b54 + b51 b60 + b51 b63 + b51 b87 - b52 b55 - b52 b64 - b52 b88 - b53 b56 - b53 b65 - b53 b89 - b54 b57 - b54 b66 - b54 b90 - b55 b58 - b55 b67 + b55 b91 - b56 b59 - b56 b68 + b56 b92 - b57 b60 - b57 b69 + b57 b93 - b58 b70 + b58 b94 - b59 b71 + b59 b95 - b60 b72 + b60 b96 - b61 b64 + b61 b70 - b61 b97 - b62 b65 + b62 b71 - b62 b98 - b63 b66 + b63 b72 - b63 b99 + b64 b67 - b64 b100 + b65 b68 - b65 b101 + b66 b69 - b66 b102 - b67 b70 + b67 b103 - b68 b71 + b68 b104 - b69 b72 + b69 b105 + b70 b106 + b71 b107 + b72 b108 - b73 b76 - b73 b82 + b73 b85 - b73 b97 + b73 b109 - b74 b77 - b74 b83 + b74 b86 - b74 b98 + b74 b110 - b75 b78 - b75 b84 + b75 b87 - b75 b99 + b75 b111 - b76 b79 + b76 b88 + b76 b100 - b76 b112 - b77 b80 + b77 b89 + b77 b101 - b77 b113 - b78 b81 + b78 b90 + b78 b102 - b78 b114 + b79 b82 - b79 b91 - b79 b103 + b79 b115 + b80 b83 - b80 b92 - b80 b104 + b80 b116 + b81 b84 - b81 b93 - b81 b105 + b81 b117 - b82 b94 + b82 b106 + b82 b118 - b83 b95 + b83 b107 + b83 b119 - b84 b96 + b84 b108 + b84 b120 + b85 b88 - b85 b94 + b85 b97 + b85 b121 + b86 b89 - b86 b95 + b86 b98 + b86 b122 + b87 b90 - b87 b96 + b87 b99 + b87 b123 + b88 b91 + b88 b100 - b88 b124 + b89 b92 + b89 b101 - b89 b125 + b90 b93 + b90 b102 - b90 b126 + b91 b94 - b91 b103 + b91 b127 + b92 b95 - b92 b104 + b92 b128 + b93 b96 - b93 b105 + b93 b129 - b94 b106 + b94 b130 - b95 b107 + b95 b131 - b96 b108 + b96 b132 - b97 b100 + b97 b106 - b97 b133 - b98 b101 + b98 b107 - b98 b134 - b99 b102 + b99 b108 - b99 b135 + b100 b103 + b100 b136 + b101 b104 + b101 b137 + b102 b105 + b102 b138 - b103 b106 - b103 b139 - b104 b107 - b104 b140 - b105 b108 - b105 b141 + b106 b142 + b107 b143 + b108 b144 - b109 b112 - b109 b118 + b109 b121 - b109 b133 - b110 b113 - b110 b119 + b110 b122 - b110 b134 - b111 b114 - b111 b120 + b111 b123 - b111 b135 - b112 b115 - b112 b124 + b112 b136 - b113 b116 - b113 b125 + b113 b137 - b114 b117 - b114 b126 + b114 b138 - b115 b118 - b115 b127 - b115 b139 - b116 b119 - b116 b128 - b116 b140 - b117 b120 - b117 b129 - b117 b141 + b118 b130 + b118 b142 + b119 b131 + b119 b143 + b120 b132 + b120 b144 + b121 b124 - b121 b130 - b121 b133 + b122 b125 - b122 b131 - b122 b134 + b123 b126 - b123 b132 - b123 b135 + b124 b127 + b124 b136 + b125 b128 + b125 b137 + b126 b129 + b126 b138 + b127 b130 - b127 b139 + b128 b131 - b128 b140 + b129 b132 - b129 b141 + b130 b142 + b131 b143 + b132 b144 + b133 b136 + b133 b142 + b134 b137 + b134 b143 + b135 b138 + b135 b144 + b136 b139 + b137 b140 + b138 b141 - b139 b142 - b140 b143 - b141 b144 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 e33: b97 + b98 + b99 = 1 e34: b100 + b101 + b102 = 1 e35: b103 + b104 + b105 = 1 e36: b106 + b107 + b108 = 1 e37: b109 + b110 + b111 = 1 e38: b112 + b113 + b114 = 1 e39: b115 + b116 + b117 = 1 e40: b118 + b119 + b120 = 1 e41: b121 + b122 + b123 = 1 e42: b124 + b125 + b126 = 1 e43: b127 + b128 + b129 = 1 e44: b130 + b131 + b132 = 1 e45: b133 + b134 + b135 = 1 e46: b136 + b137 + b138 = 1 e47: b139 + b140 + b141 = 1 e48: b142 + b143 + b144 = 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 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 End