\ 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 + [ 2 b1 * b4 + 2 b1 * b10 + 2 b1 * b13 - 2 b1 * b25 + 2 b1 * b37 - 2 b1 * b109 + 2 b2 * b5 + 2 b2 * b11 + 2 b2 * b14 - 2 b2 * b26 + 2 b2 * b38 - 2 b2 * b110 + 2 b3 * b6 + 2 b3 * b12 + 2 b3 * b15 - 2 b3 * b27 + 2 b3 * b39 - 2 b3 * b111 - 2 b4 * b7 - 2 b4 * b16 - 2 b4 * b28 - 2 b4 * b40 - 2 b4 * b112 - 2 b5 * b8 - 2 b5 * b17 - 2 b5 * b29 - 2 b5 * b41 - 2 b5 * b113 - 2 b6 * b9 - 2 b6 * b18 - 2 b6 * b30 - 2 b6 * b42 - 2 b6 * b114 - 2 b7 * b10 + 2 b7 * b19 - 2 b7 * b31 - 2 b7 * b43 + 2 b7 * b115 - 2 b8 * b11 + 2 b8 * b20 - 2 b8 * b32 - 2 b8 * b44 + 2 b8 * b116 - 2 b9 * b12 + 2 b9 * b21 - 2 b9 * b33 - 2 b9 * b45 + 2 b9 * b117 - 2 b10 * b22 - 2 b10 * b34 + 2 b10 * b46 + 2 b10 * b118 - 2 b11 * b23 - 2 b11 * b35 + 2 b11 * b47 + 2 b11 * b119 - 2 b12 * b24 - 2 b12 * b36 + 2 b12 * b48 + 2 b12 * b120 + 2 b13 * b16 + 2 b13 * b22 - 2 b13 * b25 + 2 b13 * b49 + 2 b13 * b121 + 2 b14 * b17 + 2 b14 * b23 - 2 b14 * b26 + 2 b14 * b50 + 2 b14 * b122 + 2 b15 * b18 + 2 b15 * b24 - 2 b15 * b27 + 2 b15 * b51 + 2 b15 * b123 - 2 b16 * b19 + 2 b16 * b28 + 2 b16 * b52 + 2 b16 * b124 - 2 b17 * b20 + 2 b17 * b29 + 2 b17 * b53 + 2 b17 * b125 - 2 b18 * b21 + 2 b18 * b30 + 2 b18 * b54 + 2 b18 * b126 + 2 b19 * b22 - 2 b19 * b31 - 2 b19 * b55 + 2 b19 * b127 + 2 b20 * b23 - 2 b20 * b32 - 2 b20 * b56 + 2 b20 * b128 + 2 b21 * b24 - 2 b21 * b33 - 2 b21 * b57 + 2 b21 * b129 + 2 b22 * b34 + 2 b22 * b58 + 2 b22 * b130 + 2 b23 * b35 + 2 b23 * b59 + 2 b23 * b131 + 2 b24 * b36 + 2 b24 * b60 + 2 b24 * b132 + 2 b25 * b28 - 2 b25 * b34 + 2 b25 * b61 + 2 b25 * b133 + 2 b26 * b29 - 2 b26 * b35 + 2 b26 * b62 + 2 b26 * b134 + 2 b27 * b30 - 2 b27 * b36 + 2 b27 * b63 + 2 b27 * b135 - 2 b28 * b31 - 2 b28 * b64 - 2 b28 * b136 - 2 b29 * b32 - 2 b29 * b65 - 2 b29 * b137 - 2 b30 * b33 - 2 b30 * b66 - 2 b30 * b138 - 2 b31 * b34 + 2 b31 * b67 - 2 b31 * b139 - 2 b32 * b35 + 2 b32 * b68 - 2 b32 * b140 - 2 b33 * b36 + 2 b33 * b69 - 2 b33 * b141 - 2 b34 * b70 - 2 b34 * b142 - 2 b35 * b71 - 2 b35 * b143 - 2 b36 * b72 - 2 b36 * b144 + 2 b37 * b40 - 2 b37 * b46 - 2 b37 * b49 + 2 b37 * b61 - 2 b37 * b73 + 2 b38 * b41 - 2 b38 * b47 - 2 b38 * b50 + 2 b38 * b62 - 2 b38 * b74 + 2 b39 * b42 - 2 b39 * b48 - 2 b39 * b51 + 2 b39 * b63 - 2 b39 * b75 + 2 b40 * b43 - 2 b40 * b52 + 2 b40 * b64 - 2 b40 * b76 + 2 b41 * b44 - 2 b41 * b53 + 2 b41 * b65 - 2 b41 * b77 + 2 b42 * b45 - 2 b42 * b54 + 2 b42 * b66 - 2 b42 * b78 - 2 b43 * b46 + 2 b43 * b55 + 2 b43 * b67 - 2 b43 * b79 - 2 b44 * b47 + 2 b44 * b56 + 2 b44 * b68 - 2 b44 * b80 - 2 b45 * b48 + 2 b45 * b57 + 2 b45 * b69 - 2 b45 * b81 - 2 b46 * b58 + 2 b46 * b70 - 2 b46 * b82 - 2 b47 * b59 + 2 b47 * b71 - 2 b47 * b83 - 2 b48 * b60 + 2 b48 * b72 - 2 b48 * b84 - 2 b49 * b52 + 2 b49 * b58 + 2 b49 * b61 + 2 b49 * b85 - 2 b50 * b53 + 2 b50 * b59 + 2 b50 * b62 + 2 b50 * b86 - 2 b51 * b54 + 2 b51 * b60 + 2 b51 * b63 + 2 b51 * b87 - 2 b52 * b55 - 2 b52 * b64 - 2 b52 * b88 - 2 b53 * b56 - 2 b53 * b65 - 2 b53 * b89 - 2 b54 * b57 - 2 b54 * b66 - 2 b54 * b90 - 2 b55 * b58 - 2 b55 * b67 + 2 b55 * b91 - 2 b56 * b59 - 2 b56 * b68 + 2 b56 * b92 - 2 b57 * b60 - 2 b57 * b69 + 2 b57 * b93 - 2 b58 * b70 + 2 b58 * b94 - 2 b59 * b71 + 2 b59 * b95 - 2 b60 * b72 + 2 b60 * b96 - 2 b61 * b64 + 2 b61 * b70 - 2 b61 * b97 - 2 b62 * b65 + 2 b62 * b71 - 2 b62 * b98 - 2 b63 * b66 + 2 b63 * b72 - 2 b63 * b99 + 2 b64 * b67 - 2 b64 * b100 + 2 b65 * b68 - 2 b65 * b101 + 2 b66 * b69 - 2 b66 * b102 - 2 b67 * b70 + 2 b67 * b103 - 2 b68 * b71 + 2 b68 * b104 - 2 b69 * b72 + 2 b69 * b105 + 2 b70 * b106 + 2 b71 * b107 + 2 b72 * b108 - 2 b73 * b76 - 2 b73 * b82 + 2 b73 * b85 - 2 b73 * b97 + 2 b73 * b109 - 2 b74 * b77 - 2 b74 * b83 + 2 b74 * b86 - 2 b74 * b98 + 2 b74 * b110 - 2 b75 * b78 - 2 b75 * b84 + 2 b75 * b87 - 2 b75 * b99 + 2 b75 * b111 - 2 b76 * b79 + 2 b76 * b88 + 2 b76 * b100 - 2 b76 * b112 - 2 b77 * b80 + 2 b77 * b89 + 2 b77 * b101 - 2 b77 * b113 - 2 b78 * b81 + 2 b78 * b90 + 2 b78 * b102 - 2 b78 * b114 + 2 b79 * b82 - 2 b79 * b91 - 2 b79 * b103 + 2 b79 * b115 + 2 b80 * b83 - 2 b80 * b92 - 2 b80 * b104 + 2 b80 * b116 + 2 b81 * b84 - 2 b81 * b93 - 2 b81 * b105 + 2 b81 * b117 - 2 b82 * b94 + 2 b82 * b106 + 2 b82 * b118 - 2 b83 * b95 + 2 b83 * b107 + 2 b83 * b119 - 2 b84 * b96 + 2 b84 * b108 + 2 b84 * b120 + 2 b85 * b88 - 2 b85 * b94 + 2 b85 * b97 + 2 b85 * b121 + 2 b86 * b89 - 2 b86 * b95 + 2 b86 * b98 + 2 b86 * b122 + 2 b87 * b90 - 2 b87 * b96 + 2 b87 * b99 + 2 b87 * b123 + 2 b88 * b91 + 2 b88 * b100 - 2 b88 * b124 + 2 b89 * b92 + 2 b89 * b101 - 2 b89 * b125 + 2 b90 * b93 + 2 b90 * b102 - 2 b90 * b126 + 2 b91 * b94 - 2 b91 * b103 + 2 b91 * b127 + 2 b92 * b95 - 2 b92 * b104 + 2 b92 * b128 + 2 b93 * b96 - 2 b93 * b105 + 2 b93 * b129 - 2 b94 * b106 + 2 b94 * b130 - 2 b95 * b107 + 2 b95 * b131 - 2 b96 * b108 + 2 b96 * b132 - 2 b97 * b100 + 2 b97 * b106 - 2 b97 * b133 - 2 b98 * b101 + 2 b98 * b107 - 2 b98 * b134 - 2 b99 * b102 + 2 b99 * b108 - 2 b99 * b135 + 2 b100 * b103 + 2 b100 * b136 + 2 b101 * b104 + 2 b101 * b137 + 2 b102 * b105 + 2 b102 * b138 - 2 b103 * b106 - 2 b103 * b139 - 2 b104 * b107 - 2 b104 * b140 - 2 b105 * b108 - 2 b105 * b141 + 2 b106 * b142 + 2 b107 * b143 + 2 b108 * b144 - 2 b109 * b112 - 2 b109 * b118 + 2 b109 * b121 - 2 b109 * b133 - 2 b110 * b113 - 2 b110 * b119 + 2 b110 * b122 - 2 b110 * b134 - 2 b111 * b114 - 2 b111 * b120 + 2 b111 * b123 - 2 b111 * b135 - 2 b112 * b115 - 2 b112 * b124 + 2 b112 * b136 - 2 b113 * b116 - 2 b113 * b125 + 2 b113 * b137 - 2 b114 * b117 - 2 b114 * b126 + 2 b114 * b138 - 2 b115 * b118 - 2 b115 * b127 - 2 b115 * b139 - 2 b116 * b119 - 2 b116 * b128 - 2 b116 * b140 - 2 b117 * b120 - 2 b117 * b129 - 2 b117 * b141 + 2 b118 * b130 + 2 b118 * b142 + 2 b119 * b131 + 2 b119 * b143 + 2 b120 * b132 + 2 b120 * b144 + 2 b121 * b124 - 2 b121 * b130 - 2 b121 * b133 + 2 b122 * b125 - 2 b122 * b131 - 2 b122 * b134 + 2 b123 * b126 - 2 b123 * b132 - 2 b123 * b135 + 2 b124 * b127 + 2 b124 * b136 + 2 b125 * b128 + 2 b125 * b137 + 2 b126 * b129 + 2 b126 * b138 + 2 b127 * b130 - 2 b127 * b139 + 2 b128 * b131 - 2 b128 * b140 + 2 b129 * b132 - 2 b129 * b141 + 2 b130 * b142 + 2 b131 * b143 + 2 b132 * b144 + 2 b133 * b136 + 2 b133 * b142 + 2 b134 * b137 + 2 b134 * b143 + 2 b135 * b138 + 2 b135 * b144 + 2 b136 * b139 + 2 b137 * b140 + 2 b138 * b141 - 2 b139 * b142 - 2 b140 * b143 - 2 b141 * b144 ]/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 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