\ 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 + [ - 246724 b1 * b4 + 74354 b1 * b10 + 270136 b1 * b13 - 20348 b1 * b25 + 224726 b1 * b37 - 348118 b1 * b109 - 246724 b2 * b5 + 74354 b2 * b11 + 270136 b2 * b14 - 20348 b2 * b26 + 224726 b2 * b38 - 348118 b2 * b110 - 246724 b3 * b6 + 74354 b3 * b12 + 270136 b3 * b15 - 20348 b3 * b27 + 224726 b3 * b39 - 348118 b3 * b111 + 2992 b4 * b7 - 172166 b4 * b16 + 233508 b4 * b28 - 2.7065e5 b4 * b40 - 156566 b4 * b112 + 2992 b5 * b8 - 172166 b5 * b17 + 233508 b5 * b29 - 2.7065e5 b5 * b41 - 156566 b5 * b113 + 2992 b6 * b9 - 172166 b6 * b18 + 233508 b6 * b30 - 2.7065e5 b6 * b42 - 156566 b6 * b114 + 3.3433e5 b7 * b10 + 96622 b7 * b19 + 337516 b7 * b31 - 39238 b7 * b43 + 8.765e4 b7 * b115 + 3.3433e5 b8 * b11 + 96622 b8 * b20 + 337516 b8 * b32 - 39238 b8 * b44 + 8.765e4 b8 * b116 + 3.3433e5 b9 * b12 + 96622 b9 * b21 + 337516 b9 * b33 - 39238 b9 * b45 + 8.765e4 b9 * b117 + 81378 b10 * b22 + 55346 b10 * b34 + 4.161e4 b10 * b46 + 91302 b10 * b118 + 81378 b11 * b23 + 55346 b11 * b35 + 4.161e4 b11 * b47 + 91302 b11 * b119 + 81378 b12 * b24 + 55346 b12 * b36 + 4.161e4 b12 * b48 + 91302 b12 * b120 - 2.1851e5 b13 * b16 - 238734 b13 * b22 + 40358 b13 * b25 - 5.088e4 b13 * b49 + 496984 b13 * b121 - 2.1851e5 b14 * b17 - 238734 b14 * b23 + 40358 b14 * b26 - 5.088e4 b14 * b50 + 496984 b14 * b122 - 2.1851e5 b15 * b18 - 238734 b15 * b24 + 40358 b15 * b27 - 5.088e4 b15 * b51 + 496984 b15 * b123 + 93628 b16 * b19 + 1.0294e5 b16 * b28 + 161156 b16 * b52 + 7402 b16 * b124 + 93628 b17 * b20 + 1.0294e5 b17 * b29 + 161156 b17 * b53 + 7402 b17 * b125 + 93628 b18 * b21 + 1.0294e5 b18 * b30 + 161156 b18 * b54 + 7402 b18 * b126 + 161544 b19 * b22 + 295508 b19 * b31 + 350328 b19 * b55 - 3682 b19 * b127 + 161544 b20 * b23 + 295508 b20 * b32 + 350328 b20 * b56 - 3682 b20 * b128 + 161544 b21 * b24 + 295508 b21 * b33 + 350328 b21 * b57 - 3682 b21 * b129 + 111616 b22 * b34 - 435428 b22 * b58 + 206294 b22 * b130 + 111616 b23 * b35 - 435428 b23 * b59 + 206294 b23 * b131 + 111616 b24 * b36 - 435428 b24 * b60 + 206294 b24 * b132 - 123862 b25 * b28 - 176216 b25 * b34 - 260882 b25 * b61 + 7398 b25 * b133 - 123862 b26 * b29 - 176216 b26 * b35 - 260882 b26 * b62 + 7398 b26 * b134 - 123862 b27 * b30 - 176216 b27 * b36 - 260882 b27 * b63 + 7398 b27 * b135 + 200936 b28 * b31 - 155338 b28 * b64 - 372536 b28 * b136 + 200936 b29 * b32 - 155338 b29 * b65 - 372536 b29 * b137 + 200936 b30 * b33 - 155338 b30 * b66 - 372536 b30 * b138 - 2.5696e5 b31 * b34 - 220762 b31 * b67 - 315636 b31 * b139 - 2.5696e5 b32 * b35 - 220762 b32 * b68 - 315636 b32 * b140 - 2.5696e5 b33 * b36 - 220762 b33 * b69 - 315636 b33 * b141 + 50354 b34 * b70 - 132758 b34 * b142 + 50354 b35 * b71 - 132758 b35 * b143 + 50354 b36 * b72 - 132758 b36 * b144 + 100912 b37 * b40 + 53152 b37 * b46 - 9.141e4 b37 * b49 + 1.5918e5 b37 * b61 - 6762 b37 * b73 + 100912 b38 * b41 + 53152 b38 * b47 - 9.141e4 b38 * b50 + 1.5918e5 b38 * b62 - 6762 b38 * b74 + 100912 b39 * b42 + 53152 b39 * b48 - 9.141e4 b39 * b51 + 1.5918e5 b39 * b63 - 6762 b39 * b75 - 229302 b40 * b43 - 211094 b40 * b52 - 184918 b40 * b64 - 1.7121e5 b40 * b76 - 229302 b41 * b44 - 211094 b41 * b53 - 184918 b41 * b65 - 1.7121e5 b41 * b77 - 229302 b42 * b45 - 211094 b42 * b54 - 184918 b42 * b66 - 1.7121e5 b42 * b78 + 121372 b43 * b46 + 70872 b43 * b55 + 73762 b43 * b67 + 127932 b43 * b79 + 121372 b44 * b47 + 70872 b44 * b56 + 73762 b44 * b68 + 127932 b44 * b80 + 121372 b45 * b48 + 70872 b45 * b57 + 73762 b45 * b69 + 127932 b45 * b81 + 196648 b46 * b58 - 284874 b46 * b70 - 2.2685e5 b46 * b82 + 196648 b47 * b59 - 284874 b47 * b71 - 2.2685e5 b47 * b83 + 196648 b48 * b60 - 284874 b48 * b72 - 2.2685e5 b48 * b84 - 3.6537e5 b49 * b52 - 144832 b49 * b58 - 3.574e4 b49 * b61 + 196552 b49 * b85 - 3.6537e5 b50 * b53 - 144832 b50 * b59 - 3.574e4 b50 * b62 + 196552 b50 * b86 - 3.6537e5 b51 * b54 - 144832 b51 * b60 - 3.574e4 b51 * b63 + 196552 b51 * b87 - 547066 b52 * b55 - 482416 b52 * b64 - 98692 b52 * b88 - 547066 b53 * b56 - 482416 b53 * b65 - 98692 b53 * b89 - 547066 b54 * b57 - 482416 b54 * b66 - 98692 b54 * b90 - 128632 b55 * b58 - 2.7048e5 b55 * b67 - 361056 b55 * b91 - 128632 b56 * b59 - 2.7048e5 b56 * b68 - 361056 b56 * b92 - 128632 b57 * b60 - 2.7048e5 b57 * b69 - 361056 b57 * b93 + 183748 b58 * b70 - 7392 b58 * b94 + 183748 b59 * b71 - 7392 b59 * b95 + 183748 b60 * b72 - 7392 b60 * b96 - 80238 b61 * b64 + 245734 b61 * b70 - 123994 b61 * b97 - 80238 b62 * b65 + 245734 b62 * b71 - 123994 b62 * b98 - 80238 b63 * b66 + 245734 b63 * b72 - 123994 b63 * b99 - 74696 b64 * b67 + 350416 b64 * b100 - 74696 b65 * b68 + 350416 b65 * b101 - 74696 b66 * b69 + 350416 b66 * b102 - 44786 b67 * b70 - 29842 b67 * b103 - 44786 b68 * b71 - 29842 b68 * b104 - 44786 b69 * b72 - 29842 b69 * b105 - 1202 b70 * b106 - 1202 b71 * b107 - 1202 b72 * b108 - 153362 b73 * b76 + 25378 b73 * b82 + 4.1688e5 b73 * b85 - 54716 b73 * b97 - 147236 b73 * b109 - 153362 b74 * b77 + 25378 b74 * b83 + 4.1688e5 b74 * b86 - 54716 b74 * b98 - 147236 b74 * b110 - 153362 b75 * b78 + 25378 b75 * b84 + 4.1688e5 b75 * b87 - 54716 b75 * b99 - 147236 b75 * b111 + 42996 b76 * b79 + 93102 b76 * b88 + 301634 b76 * b100 - 3.038e4 b76 * b112 + 42996 b77 * b80 + 93102 b77 * b89 + 301634 b77 * b101 - 3.038e4 b77 * b113 + 42996 b78 * b81 + 93102 b78 * b90 + 301634 b78 * b102 - 3.038e4 b78 * b114 + 57508 b79 * b82 - 213904 b79 * b91 - 130312 b79 * b103 + 140262 b79 * b115 + 57508 b80 * b83 - 213904 b80 * b92 - 130312 b80 * b104 + 140262 b80 * b116 + 57508 b81 * b84 - 213904 b81 * b93 - 130312 b81 * b105 + 140262 b81 * b117 + 64384 b82 * b94 - 163334 b82 * b106 - 144474 b82 * b118 + 64384 b83 * b95 - 163334 b83 * b107 - 144474 b83 * b119 + 64384 b84 * b96 - 163334 b84 * b108 - 144474 b84 * b120 + 57714 b85 * b88 - 43064 b85 * b94 + 68162 b85 * b97 + 435614 b85 * b121 + 57714 b86 * b89 - 43064 b86 * b95 + 68162 b86 * b98 + 435614 b86 * b122 + 57714 b87 * b90 - 43064 b87 * b96 + 68162 b87 * b99 + 435614 b87 * b123 - 28126 b88 * b91 - 65782 b88 * b100 + 300394 b88 * b124 - 28126 b89 * b92 - 65782 b89 * b101 + 300394 b89 * b125 - 28126 b90 * b93 - 65782 b90 * b102 + 300394 b90 * b126 - 17116 b91 * b94 - 373458 b91 * b103 + 30542 b91 * b127 - 17116 b92 * b95 - 373458 b92 * b104 + 30542 b92 * b128 - 17116 b93 * b96 - 373458 b93 * b105 + 30542 b93 * b129 + 198432 b94 * b106 + 34852 b94 * b130 + 198432 b95 * b107 + 34852 b95 * b131 + 198432 b96 * b108 + 34852 b96 * b132 - 169332 b97 * b100 + 12724 b97 * b106 - 101516 b97 * b133 - 169332 b98 * b101 + 12724 b98 * b107 - 101516 b98 * b134 - 169332 b99 * b102 + 12724 b99 * b108 - 101516 b99 * b135 - 139316 b100 * b103 - 249402 b100 * b136 - 139316 b101 * b104 - 249402 b101 * b137 - 139316 b102 * b105 - 249402 b102 * b138 - 1.0334e5 b103 * b106 - 542826 b103 * b139 - 1.0334e5 b104 * b107 - 542826 b104 * b140 - 1.0334e5 b105 * b108 - 542826 b105 * b141 + 64718 b106 * b142 + 64718 b107 * b143 + 64718 b108 * b144 + 5.263e4 b109 * b112 - 346538 b109 * b118 - 1.6386e5 b109 * b121 + 154132 b109 * b133 + 5.263e4 b110 * b113 - 346538 b110 * b119 - 1.6386e5 b110 * b122 + 154132 b110 * b134 + 5.263e4 b111 * b114 - 346538 b111 * b120 - 1.6386e5 b111 * b123 + 154132 b111 * b135 + 371438 b112 * b115 + 9.738e4 b112 * b124 - 1.4689e5 b112 * b136 + 371438 b113 * b116 + 9.738e4 b113 * b125 - 1.4689e5 b113 * b137 + 371438 b114 * b117 + 9.738e4 b114 * b126 - 1.4689e5 b114 * b138 - 139138 b115 * b118 + 257496 b115 * b127 + 1.4441e5 b115 * b139 - 139138 b116 * b119 + 257496 b116 * b128 + 1.4441e5 b116 * b140 - 139138 b117 * b120 + 257496 b117 * b129 + 1.4441e5 b117 * b141 + 37568 b118 * b130 + 247228 b118 * b142 + 37568 b119 * b131 + 247228 b119 * b143 + 37568 b120 * b132 + 247228 b120 * b144 - 405128 b121 * b124 + 96468 b121 * b130 + 100182 b121 * b133 - 405128 b122 * b125 + 96468 b122 * b131 + 100182 b122 * b134 - 405128 b123 * b126 + 96468 b123 * b132 + 100182 b123 * b135 + 1.934e5 b124 * b127 + 1.845e4 b124 * b136 + 1.934e5 b125 * b128 + 1.845e4 b125 * b137 + 1.934e5 b126 * b129 + 1.845e4 b126 * b138 + 219928 b127 * b130 + 2.2762e5 b127 * b139 + 219928 b128 * b131 + 2.2762e5 b128 * b140 + 219928 b129 * b132 + 2.2762e5 b129 * b141 - 236952 b130 * b142 - 236952 b131 * b143 - 236952 b132 * b144 - 7.367e4 b133 * b136 + 19974 b133 * b142 - 7.367e4 b134 * b137 + 19974 b134 * b143 - 7.367e4 b135 * b138 + 19974 b135 * b144 + 2.166e4 b136 * b139 + 2.166e4 b137 * b140 + 2.166e4 b138 * b141 - 64358 b139 * b142 - 64358 b140 * b143 - 64358 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