\ Equation counts \ Total E G L N X C B \ 152 16 0 136 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 152 0 152 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 694 392 302 0 \ Minimize obj: - 383 b2 - 886 b3 - 777 b4 - 915 b5 - 793 b6 - 335 b7 - 386 b8 - 492 b9 - 649 b10 - 421 b11 - 362 b12 - 27 b13 - 6.9e2 b14 - 59 b15 - 763 b16 - 926 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 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + [ - 1.08e3 b2 * b3 - 852 b2 * b4 - 344 b2 * b5 - 1472 b2 * b6 - 422 b2 * b7 - 736 b2 * b8 - 1134 b2 * b9 - 858 b2 * b10 - 1564 b2 * b11 - 1.06e3 b2 * b12 - 1724 b2 * b13 - 246 b2 * b14 - 134 b2 * b15 - 2.7e2 b2 * b16 - 1858 b2 * b17 - 1604 b3 * b4 - 44 b3 * b5 - 116 b3 * b6 - 138 b3 * b7 - 334 b3 * b8 - 786 b3 * b9 - 912 b3 * b10 - 22 b3 * b11 - 84 b3 * b12 - 458 b3 * b13 - 746 b3 * b14 - 842 b3 * b15 - 1838 b3 * b16 - 1568 b3 * b17 - 1074 b4 * b5 - 396 b4 * b6 - 648 b4 * b7 - 6.3e2 b4 * b8 - 7.4e2 b4 * b9 - 826 b4 * b10 - 1052 b4 * b11 - 182 b4 * b12 - 1.96e3 b4 * b13 - 1912 b4 * b14 - 1746 b4 * b15 - 1724 b4 * b16 - 3.4e2 b4 * b17 - 1992 b5 * b6 - 562 b5 * b7 - 6.1e2 b5 * b8 - 1.85e3 b5 * b9 - 168 b5 * b10 - 654 b5 * b11 - 672 b5 * b12 - 1.01e3 b5 * b13 - 1692 b5 * b14 - 1458 b5 * b15 - 626 b5 * b16 - 1714 b5 * b17 - 248 b6 * b7 - 1.79e3 b6 * b8 - 1164 b6 * b9 - 1.09e3 b6 * b10 - 1628 b6 * b11 - 734 b6 * b12 - 868 b6 * b13 - 728 b6 * b14 - 86 b6 * b15 - 1.5e3 b6 * b16 - 174 b6 * b17 - 1616 b7 * b8 - 552 b7 * b9 - 356 b7 * b10 - 1576 b7 * b11 - 1168 b7 * b12 - 806 b7 * b13 - 1302 b7 * b14 - 1508 b7 * b15 - 798 b7 * b16 - 1864 b7 * b17 - 1.2e2 b8 * b9 - 1352 b8 * b10 - 736 b8 * b11 - 1478 b8 * b12 - 24 b8 * b13 - 452 b8 * b14 - 1172 b8 * b15 - 188 b8 * b16 - 1078 b8 * b17 - 1.59e3 b9 * b10 - 1.14e3 b9 * b11 - 868 b9 * b12 - 756 b9 * b13 - 934 b9 * b14 - 1202 b9 * b15 - 194 b9 * b16 - 1804 b9 * b17 - 634 b10 * b11 - 984 b10 * b12 - 1304 b10 * b13 - 1512 b10 * b14 - 602 b10 * b15 - 5.6e2 b10 * b16 - 572 b10 * b17 - 882 b11 * b12 - 1.73e3 b11 * b13 - 1378 b11 * b14 - 888 b11 * b15 - 1238 b11 * b16 - 8.8e2 b11 * b17 - 1458 b12 * b13 - 62 b12 * b14 - 234 b12 * b15 - 194 b12 * b16 - 1542 b12 * b17 - 962 b13 * b14 - 1.35e3 b13 * b15 - 1418 b13 * b16 - 1854 b13 * b17 - 1134 b14 * b15 - 1712 b14 * b16 - 994 b14 * b17 - 706 b15 * b16 - 1172 b15 * b17 - 1.93e3 b16 * b17 - 1.08e3 b18 * b19 - 852 b18 * b20 - 344 b18 * b21 - 1472 b18 * b22 - 422 b18 * b23 - 736 b18 * b24 - 1134 b18 * b25 - 858 b18 * b26 - 1564 b18 * b27 - 1.06e3 b18 * b28 - 1724 b18 * b29 - 246 b18 * b30 - 134 b18 * b31 - 2.7e2 b18 * b32 - 1858 b18 * b33 - 1604 b19 * b20 - 44 b19 * b21 - 116 b19 * b22 - 138 b19 * b23 - 334 b19 * b24 - 786 b19 * b25 - 912 b19 * b26 - 22 b19 * b27 - 84 b19 * b28 - 458 b19 * b29 - 746 b19 * b30 - 842 b19 * b31 - 1838 b19 * b32 - 1568 b19 * b33 - 1074 b20 * b21 - 396 b20 * b22 - 648 b20 * b23 - 6.3e2 b20 * b24 - 7.4e2 b20 * b25 - 826 b20 * b26 - 1052 b20 * b27 - 182 b20 * b28 - 1.96e3 b20 * b29 - 1912 b20 * b30 - 1746 b20 * b31 - 1724 b20 * b32 - 3.4e2 b20 * b33 - 1992 b21 * b22 - 562 b21 * b23 - 6.1e2 b21 * b24 - 1.85e3 b21 * b25 - 168 b21 * b26 - 654 b21 * b27 - 672 b21 * b28 - 1.01e3 b21 * b29 - 1692 b21 * b30 - 1458 b21 * b31 - 626 b21 * b32 - 1714 b21 * b33 - 248 b22 * b23 - 1.79e3 b22 * b24 - 1164 b22 * b25 - 1.09e3 b22 * b26 - 1628 b22 * b27 - 734 b22 * b28 - 868 b22 * b29 - 728 b22 * b30 - 86 b22 * b31 - 1.5e3 b22 * b32 - 174 b22 * b33 - 1616 b23 * b24 - 552 b23 * b25 - 356 b23 * b26 - 1576 b23 * b27 - 1168 b23 * b28 - 806 b23 * b29 - 1302 b23 * b30 - 1508 b23 * b31 - 798 b23 * b32 - 1864 b23 * b33 - 1.2e2 b24 * b25 - 1352 b24 * b26 - 736 b24 * b27 - 1478 b24 * b28 - 24 b24 * b29 - 452 b24 * b30 - 1172 b24 * b31 - 188 b24 * b32 - 1078 b24 * b33 - 1.59e3 b25 * b26 - 1.14e3 b25 * b27 - 868 b25 * b28 - 756 b25 * b29 - 934 b25 * b30 - 1202 b25 * b31 - 194 b25 * b32 - 1804 b25 * b33 - 634 b26 * b27 - 984 b26 * b28 - 1304 b26 * b29 - 1512 b26 * b30 - 602 b26 * b31 - 5.6e2 b26 * b32 - 572 b26 * b33 - 882 b27 * b28 - 1.73e3 b27 * b29 - 1378 b27 * b30 - 888 b27 * b31 - 1238 b27 * b32 - 8.8e2 b27 * b33 - 1458 b28 * b29 - 62 b28 * b30 - 234 b28 * b31 - 194 b28 * b32 - 1542 b28 * b33 - 962 b29 * b30 - 1.35e3 b29 * b31 - 1418 b29 * b32 - 1854 b29 * b33 - 1134 b30 * b31 - 1712 b30 * b32 - 994 b30 * b33 - 706 b31 * b32 - 1172 b31 * b33 - 1.93e3 b32 * b33 - 1604 b34 * b35 - 44 b34 * b36 - 116 b34 * b37 - 138 b34 * b38 - 334 b34 * b39 - 786 b34 * b40 - 912 b34 * b41 - 22 b34 * b42 - 84 b34 * b43 - 458 b34 * b44 - 746 b34 * b45 - 842 b34 * b46 - 1838 b34 * b47 - 1568 b34 * b48 - 1074 b35 * b36 - 396 b35 * b37 - 648 b35 * b38 - 6.3e2 b35 * b39 - 7.4e2 b35 * b40 - 826 b35 * b41 - 1052 b35 * b42 - 182 b35 * b43 - 1.96e3 b35 * b44 - 1912 b35 * b45 - 1746 b35 * b46 - 1724 b35 * b47 - 3.4e2 b35 * b48 - 1992 b36 * b37 - 562 b36 * b38 - 6.1e2 b36 * b39 - 1.85e3 b36 * b40 - 168 b36 * b41 - 654 b36 * b42 - 672 b36 * b43 - 1.01e3 b36 * b44 - 1692 b36 * b45 - 1458 b36 * b46 - 626 b36 * b47 - 1714 b36 * b48 - 248 b37 * b38 - 1.79e3 b37 * b39 - 1164 b37 * b40 - 1.09e3 b37 * b41 - 1628 b37 * b42 - 734 b37 * b43 - 868 b37 * b44 - 728 b37 * b45 - 86 b37 * b46 - 1.5e3 b37 * b47 - 174 b37 * b48 - 1616 b38 * b39 - 552 b38 * b40 - 356 b38 * b41 - 1576 b38 * b42 - 1168 b38 * b43 - 806 b38 * b44 - 1302 b38 * b45 - 1508 b38 * b46 - 798 b38 * b47 - 1864 b38 * b48 - 1.2e2 b39 * b40 - 1352 b39 * b41 - 736 b39 * b42 - 1478 b39 * b43 - 24 b39 * b44 - 452 b39 * b45 - 1172 b39 * b46 - 188 b39 * b47 - 1078 b39 * b48 - 1.59e3 b40 * b41 - 1.14e3 b40 * b42 - 868 b40 * b43 - 756 b40 * b44 - 934 b40 * b45 - 1202 b40 * b46 - 194 b40 * b47 - 1804 b40 * b48 - 634 b41 * b42 - 984 b41 * b43 - 1304 b41 * b44 - 1512 b41 * b45 - 602 b41 * b46 - 5.6e2 b41 * b47 - 572 b41 * b48 - 882 b42 * b43 - 1.73e3 b42 * b44 - 1378 b42 * b45 - 888 b42 * b46 - 1238 b42 * b47 - 8.8e2 b42 * b48 - 1458 b43 * b44 - 62 b43 * b45 - 234 b43 * b46 - 194 b43 * b47 - 1542 b43 * b48 - 962 b44 * b45 - 1.35e3 b44 * b46 - 1418 b44 * b47 - 1854 b44 * b48 - 1134 b45 * b46 - 1712 b45 * b47 - 994 b45 * b48 - 706 b46 * b47 - 1172 b46 * b48 - 1.93e3 b47 * b48 - 1074 b49 * b50 - 396 b49 * b51 - 648 b49 * b52 - 6.3e2 b49 * b53 - 7.4e2 b49 * b54 - 826 b49 * b55 - 1052 b49 * b56 - 182 b49 * b57 - 1.96e3 b49 * b58 - 1912 b49 * b59 - 1746 b49 * b60 - 1724 b49 * b61 - 3.4e2 b49 * b62 - 1992 b50 * b51 - 562 b50 * b52 - 6.1e2 b50 * b53 - 1.85e3 b50 * b54 - 168 b50 * b55 - 654 b50 * b56 - 672 b50 * b57 - 1.01e3 b50 * b58 - 1692 b50 * b59 - 1458 b50 * b60 - 626 b50 * b61 - 1714 b50 * b62 - 248 b51 * b52 - 1.79e3 b51 * b53 - 1164 b51 * b54 - 1.09e3 b51 * b55 - 1628 b51 * b56 - 734 b51 * b57 - 868 b51 * b58 - 728 b51 * b59 - 86 b51 * b60 - 1.5e3 b51 * b61 - 174 b51 * b62 - 1616 b52 * b53 - 552 b52 * b54 - 356 b52 * b55 - 1576 b52 * b56 - 1168 b52 * b57 - 806 b52 * b58 - 1302 b52 * b59 - 1508 b52 * b60 - 798 b52 * b61 - 1864 b52 * b62 - 1.2e2 b53 * b54 - 1352 b53 * b55 - 736 b53 * b56 - 1478 b53 * b57 - 24 b53 * b58 - 452 b53 * b59 - 1172 b53 * b60 - 188 b53 * b61 - 1078 b53 * b62 - 1.59e3 b54 * b55 - 1.14e3 b54 * b56 - 868 b54 * b57 - 756 b54 * b58 - 934 b54 * b59 - 1202 b54 * b60 - 194 b54 * b61 - 1804 b54 * b62 - 634 b55 * b56 - 984 b55 * b57 - 1304 b55 * b58 - 1512 b55 * b59 - 602 b55 * b60 - 5.6e2 b55 * b61 - 572 b55 * b62 - 882 b56 * b57 - 1.73e3 b56 * b58 - 1378 b56 * b59 - 888 b56 * b60 - 1238 b56 * b61 - 8.8e2 b56 * b62 - 1458 b57 * b58 - 62 b57 * b59 - 234 b57 * b60 - 194 b57 * b61 - 1542 b57 * b62 - 962 b58 * b59 - 1.35e3 b58 * b60 - 1418 b58 * b61 - 1854 b58 * b62 - 1134 b59 * b60 - 1712 b59 * b61 - 994 b59 * b62 - 706 b60 * b61 - 1172 b60 * b62 - 1.93e3 b61 * b62 - 1992 b63 * b64 - 562 b63 * b65 - 6.1e2 b63 * b66 - 1.85e3 b63 * b67 - 168 b63 * b68 - 654 b63 * b69 - 672 b63 * b70 - 1.01e3 b63 * b71 - 1692 b63 * b72 - 1458 b63 * b73 - 626 b63 * b74 - 1714 b63 * b75 - 248 b64 * b65 - 1.79e3 b64 * b66 - 1164 b64 * b67 - 1.09e3 b64 * b68 - 1628 b64 * b69 - 734 b64 * b70 - 868 b64 * b71 - 728 b64 * b72 - 86 b64 * b73 - 1.5e3 b64 * b74 - 174 b64 * b75 - 1616 b65 * b66 - 552 b65 * b67 - 356 b65 * b68 - 1576 b65 * b69 - 1168 b65 * b70 - 806 b65 * b71 - 1302 b65 * b72 - 1508 b65 * b73 - 798 b65 * b74 - 1864 b65 * b75 - 1.2e2 b66 * b67 - 1352 b66 * b68 - 736 b66 * b69 - 1478 b66 * b70 - 24 b66 * b71 - 452 b66 * b72 - 1172 b66 * b73 - 188 b66 * b74 - 1078 b66 * b75 - 1.59e3 b67 * b68 - 1.14e3 b67 * b69 - 868 b67 * b70 - 756 b67 * b71 - 934 b67 * b72 - 1202 b67 * b73 - 194 b67 * b74 - 1804 b67 * b75 - 634 b68 * b69 - 984 b68 * b70 - 1304 b68 * b71 - 1512 b68 * b72 - 602 b68 * b73 - 5.6e2 b68 * b74 - 572 b68 * b75 - 882 b69 * b70 - 1.73e3 b69 * b71 - 1378 b69 * b72 - 888 b69 * b73 - 1238 b69 * b74 - 8.8e2 b69 * b75 - 1458 b70 * b71 - 62 b70 * b72 - 234 b70 * b73 - 194 b70 * b74 - 1542 b70 * b75 - 962 b71 * b72 - 1.35e3 b71 * b73 - 1418 b71 * b74 - 1854 b71 * b75 - 1134 b72 * b73 - 1712 b72 * b74 - 994 b72 * b75 - 706 b73 * b74 - 1172 b73 * b75 - 1.93e3 b74 * b75 - 248 b76 * b77 - 1.79e3 b76 * b78 - 1164 b76 * b79 - 1.09e3 b76 * b80 - 1628 b76 * b81 - 734 b76 * b82 - 868 b76 * b83 - 728 b76 * b84 - 86 b76 * b85 - 1.5e3 b76 * b86 - 174 b76 * b87 - 1616 b77 * b78 - 552 b77 * b79 - 356 b77 * b80 - 1576 b77 * b81 - 1168 b77 * b82 - 806 b77 * b83 - 1302 b77 * b84 - 1508 b77 * b85 - 798 b77 * b86 - 1864 b77 * b87 - 1.2e2 b78 * b79 - 1352 b78 * b80 - 736 b78 * b81 - 1478 b78 * b82 - 24 b78 * b83 - 452 b78 * b84 - 1172 b78 * b85 - 188 b78 * b86 - 1078 b78 * b87 - 1.59e3 b79 * b80 - 1.14e3 b79 * b81 - 868 b79 * b82 - 756 b79 * b83 - 934 b79 * b84 - 1202 b79 * b85 - 194 b79 * b86 - 1804 b79 * b87 - 634 b80 * b81 - 984 b80 * b82 - 1304 b80 * b83 - 1512 b80 * b84 - 602 b80 * b85 - 5.6e2 b80 * b86 - 572 b80 * b87 - 882 b81 * b82 - 1.73e3 b81 * b83 - 1378 b81 * b84 - 888 b81 * b85 - 1238 b81 * b86 - 8.8e2 b81 * b87 - 1458 b82 * b83 - 62 b82 * b84 - 234 b82 * b85 - 194 b82 * b86 - 1542 b82 * b87 - 962 b83 * b84 - 1.35e3 b83 * b85 - 1418 b83 * b86 - 1854 b83 * b87 - 1134 b84 * b85 - 1712 b84 * b86 - 994 b84 * b87 - 706 b85 * b86 - 1172 b85 * b87 - 1.93e3 b86 * b87 - 1616 b88 * b89 - 552 b88 * b90 - 356 b88 * b91 - 1576 b88 * b92 - 1168 b88 * b93 - 806 b88 * b94 - 1302 b88 * b95 - 1508 b88 * b96 - 798 b88 * b97 - 1864 b88 * b98 - 1.2e2 b89 * b90 - 1352 b89 * b91 - 736 b89 * b92 - 1478 b89 * b93 - 24 b89 * b94 - 452 b89 * b95 - 1172 b89 * b96 - 188 b89 * b97 - 1078 b89 * b98 - 1.59e3 b90 * b91 - 1.14e3 b90 * b92 - 868 b90 * b93 - 756 b90 * b94 - 934 b90 * b95 - 1202 b90 * b96 - 194 b90 * b97 - 1804 b90 * b98 - 634 b91 * b92 - 984 b91 * b93 - 1304 b91 * b94 - 1512 b91 * b95 - 602 b91 * b96 - 5.6e2 b91 * b97 - 572 b91 * b98 - 882 b92 * b93 - 1.73e3 b92 * b94 - 1378 b92 * b95 - 888 b92 * b96 - 1238 b92 * b97 - 8.8e2 b92 * b98 - 1458 b93 * b94 - 62 b93 * b95 - 234 b93 * b96 - 194 b93 * b97 - 1542 b93 * b98 - 962 b94 * b95 - 1.35e3 b94 * b96 - 1418 b94 * b97 - 1854 b94 * b98 - 1134 b95 * b96 - 1712 b95 * b97 - 994 b95 * b98 - 706 b96 * b97 - 1172 b96 * b98 - 1.93e3 b97 * b98 - 1.2e2 b99 * b100 - 1352 b99 * b101 - 736 b99 * b102 - 1478 b99 * b103 - 24 b99 * b104 - 452 b99 * b105 - 1172 b99 * b106 - 188 b99 * b107 - 1078 b99 * b108 - 1.59e3 b100 * b101 - 1.14e3 b100 * b102 - 868 b100 * b103 - 756 b100 * b104 - 934 b100 * b105 - 1202 b100 * b106 - 194 b100 * b107 - 1804 b100 * b108 - 634 b101 * b102 - 984 b101 * b103 - 1304 b101 * b104 - 1512 b101 * b105 - 602 b101 * b106 - 5.6e2 b101 * b107 - 572 b101 * b108 - 882 b102 * b103 - 1.73e3 b102 * b104 - 1378 b102 * b105 - 888 b102 * b106 - 1238 b102 * b107 - 8.8e2 b102 * b108 - 1458 b103 * b104 - 62 b103 * b105 - 234 b103 * b106 - 194 b103 * b107 - 1542 b103 * b108 - 962 b104 * b105 - 1.35e3 b104 * b106 - 1418 b104 * b107 - 1854 b104 * b108 - 1134 b105 * b106 - 1712 b105 * b107 - 994 b105 * b108 - 706 b106 * b107 - 1172 b106 * b108 - 1.93e3 b107 * b108 - 1.59e3 b109 * b110 - 1.14e3 b109 * b111 - 868 b109 * b112 - 756 b109 * b113 - 934 b109 * b114 - 1202 b109 * b115 - 194 b109 * b116 - 1804 b109 * b117 - 634 b110 * b111 - 984 b110 * b112 - 1304 b110 * b113 - 1512 b110 * b114 - 602 b110 * b115 - 5.6e2 b110 * b116 - 572 b110 * b117 - 882 b111 * b112 - 1.73e3 b111 * b113 - 1378 b111 * b114 - 888 b111 * b115 - 1238 b111 * b116 - 8.8e2 b111 * b117 - 1458 b112 * b113 - 62 b112 * b114 - 234 b112 * b115 - 194 b112 * b116 - 1542 b112 * b117 - 962 b113 * b114 - 1.35e3 b113 * b115 - 1418 b113 * b116 - 1854 b113 * b117 - 1134 b114 * b115 - 1712 b114 * b116 - 994 b114 * b117 - 706 b115 * b116 - 1172 b115 * b117 - 1.93e3 b116 * b117 - 634 b118 * b119 - 984 b118 * b120 - 1304 b118 * b121 - 1512 b118 * b122 - 602 b118 * b123 - 5.6e2 b118 * b124 - 572 b118 * b125 - 882 b119 * b120 - 1.73e3 b119 * b121 - 1378 b119 * b122 - 888 b119 * b123 - 1238 b119 * b124 - 8.8e2 b119 * b125 - 1458 b120 * b121 - 62 b120 * b122 - 234 b120 * b123 - 194 b120 * b124 - 1542 b120 * b125 - 962 b121 * b122 - 1.35e3 b121 * b123 - 1418 b121 * b124 - 1854 b121 * b125 - 1134 b122 * b123 - 1712 b122 * b124 - 994 b122 * b125 - 706 b123 * b124 - 1172 b123 * b125 - 1.93e3 b124 * b125 - 882 b126 * b127 - 1.73e3 b126 * b128 - 1378 b126 * b129 - 888 b126 * b130 - 1238 b126 * b131 - 8.8e2 b126 * b132 - 1458 b127 * b128 - 62 b127 * b129 - 234 b127 * b130 - 194 b127 * b131 - 1542 b127 * b132 - 962 b128 * b129 - 1.35e3 b128 * b130 - 1418 b128 * b131 - 1854 b128 * b132 - 1134 b129 * b130 - 1712 b129 * b131 - 994 b129 * b132 - 706 b130 * b131 - 1172 b130 * b132 - 1.93e3 b131 * b132 - 1458 b133 * b134 - 62 b133 * b135 - 234 b133 * b136 - 194 b133 * b137 - 1542 b133 * b138 - 962 b134 * b135 - 1.35e3 b134 * b136 - 1418 b134 * b137 - 1854 b134 * b138 - 1134 b135 * b136 - 1712 b135 * b137 - 994 b135 * b138 - 706 b136 * b137 - 1172 b136 * b138 - 1.93e3 b137 * b138 - 962 b139 * b140 - 1.35e3 b139 * b141 - 1418 b139 * b142 - 1854 b139 * b143 - 1134 b140 * b141 - 1712 b140 * b142 - 994 b140 * b143 - 706 b141 * b142 - 1172 b141 * b143 - 1.93e3 b142 * b143 - 1134 b144 * b145 - 1712 b144 * b146 - 994 b144 * b147 - 706 b145 * b146 - 1172 b145 * b147 - 1.93e3 b146 * b147 - 706 b148 * b149 - 1172 b148 * b150 - 1.93e3 b149 * b150 - 1.93e3 b151 * b152 ]/2 Subject To e2: b2 + b18 = 1 e3: b3 + b19 + b34 = 1 e4: b4 + b20 + b35 + b49 = 1 e5: b5 + b21 + b36 + b50 + b63 = 1 e6: b6 + b22 + b37 + b51 + b64 + b76 = 1 e7: b7 + b23 + b38 + b52 + b65 + b77 + b88 = 1 e8: b8 + b24 + b39 + b53 + b66 + b78 + b89 + b99 = 1 e9: b9 + b25 + b40 + b54 + b67 + b79 + b90 + b100 + b109 = 1 e10: b10 + b26 + b41 + b55 + b68 + b80 + b91 + b101 + b110 + b118 = 1 e11: b11 + b27 + b42 + b56 + b69 + b81 + b92 + b102 + b111 + b119 + b126 = 1 e12: b12 + b28 + b43 + b57 + b70 + b82 + b93 + b103 + b112 + b120 + b127 + b133 = 1 e13: b13 + b29 + b44 + b58 + b71 + b83 + b94 + b104 + b113 + b121 + b128 + b134 + b139 = 1 e14: b14 + b30 + b45 + b59 + b72 + b84 + b95 + b105 + b114 + b122 + b129 + b135 + b140 + b144 = 1 e15: b15 + b31 + b46 + b60 + b73 + b85 + b96 + b106 + b115 + b123 + b130 + b136 + b141 + b145 + b148 = 1 e16: b16 + b32 + b47 + b61 + b74 + b86 + b97 + b107 + b116 + b124 + b131 + b137 + b142 + b146 + b149 + b151 = 1 e17: b17 + b33 + b48 + b62 + b75 + b87 + b98 + b108 + b117 + b125 + b132 + b138 + b143 + b147 + b150 + b152 + b153 = 1 e18: - b18 + b19 <= 0 e19: - b18 + b20 <= 0 e20: - b18 + b21 <= 0 e21: - b18 + b22 <= 0 e22: - b18 + b23 <= 0 e23: - b18 + b24 <= 0 e24: - b18 + b25 <= 0 e25: - b18 + b26 <= 0 e26: - b18 + b27 <= 0 e27: - b18 + b28 <= 0 e28: - b18 + b29 <= 0 e29: - b18 + b30 <= 0 e30: - b18 + b31 <= 0 e31: - b18 + b32 <= 0 e32: - b18 + b33 <= 0 e33: - b34 + b35 <= 0 e34: - b34 + b36 <= 0 e35: - b34 + b37 <= 0 e36: - b34 + b38 <= 0 e37: - b34 + b39 <= 0 e38: - b34 + b40 <= 0 e39: - b34 + b41 <= 0 e40: - b34 + b42 <= 0 e41: - b34 + b43 <= 0 e42: - b34 + b44 <= 0 e43: - b34 + b45 <= 0 e44: - b34 + b46 <= 0 e45: - b34 + b47 <= 0 e46: - b34 + b48 <= 0 e47: - b49 + b50 <= 0 e48: - b49 + b51 <= 0 e49: - b49 + b52 <= 0 e50: - b49 + b53 <= 0 e51: - b49 + b54 <= 0 e52: - b49 + b55 <= 0 e53: - b49 + b56 <= 0 e54: - b49 + b57 <= 0 e55: - b49 + b58 <= 0 e56: - b49 + b59 <= 0 e57: - b49 + b60 <= 0 e58: - b49 + b61 <= 0 e59: - b49 + b62 <= 0 e60: - b63 + b64 <= 0 e61: - b63 + b65 <= 0 e62: - b63 + b66 <= 0 e63: - b63 + b67 <= 0 e64: - b63 + b68 <= 0 e65: - b63 + b69 <= 0 e66: - b63 + b70 <= 0 e67: - b63 + b71 <= 0 e68: - b63 + b72 <= 0 e69: - b63 + b73 <= 0 e70: - b63 + b74 <= 0 e71: - b63 + b75 <= 0 e72: - b76 + b77 <= 0 e73: - b76 + b78 <= 0 e74: - b76 + b79 <= 0 e75: - b76 + b80 <= 0 e76: - b76 + b81 <= 0 e77: - b76 + b82 <= 0 e78: - b76 + b83 <= 0 e79: - b76 + b84 <= 0 e80: - b76 + b85 <= 0 e81: - b76 + b86 <= 0 e82: - b76 + b87 <= 0 e83: - b88 + b89 <= 0 e84: - b88 + b90 <= 0 e85: - b88 + b91 <= 0 e86: - b88 + b92 <= 0 e87: - b88 + b93 <= 0 e88: - b88 + b94 <= 0 e89: - b88 + b95 <= 0 e90: - b88 + b96 <= 0 e91: - b88 + b97 <= 0 e92: - b88 + b98 <= 0 e93: - b99 + b100 <= 0 e94: - b99 + b101 <= 0 e95: - b99 + b102 <= 0 e96: - b99 + b103 <= 0 e97: - b99 + b104 <= 0 e98: - b99 + b105 <= 0 e99: - b99 + b106 <= 0 e100: - b99 + b107 <= 0 e101: - b99 + b108 <= 0 e102: - b109 + b110 <= 0 e103: - b109 + b111 <= 0 e104: - b109 + b112 <= 0 e105: - b109 + b113 <= 0 e106: - b109 + b114 <= 0 e107: - b109 + b115 <= 0 e108: - b109 + b116 <= 0 e109: - b109 + b117 <= 0 e110: - b118 + b119 <= 0 e111: - b118 + b120 <= 0 e112: - b118 + b121 <= 0 e113: - b118 + b122 <= 0 e114: - b118 + b123 <= 0 e115: - b118 + b124 <= 0 e116: - b118 + b125 <= 0 e117: - b126 + b127 <= 0 e118: - b126 + b128 <= 0 e119: - b126 + b129 <= 0 e120: - b126 + b130 <= 0 e121: - b126 + b131 <= 0 e122: - b126 + b132 <= 0 e123: - b133 + b134 <= 0 e124: - b133 + b135 <= 0 e125: - b133 + b136 <= 0 e126: - b133 + b137 <= 0 e127: - b133 + b138 <= 0 e128: - b139 + b140 <= 0 e129: - b139 + b141 <= 0 e130: - b139 + b142 <= 0 e131: - b139 + b143 <= 0 e132: - b144 + b145 <= 0 e133: - b144 + b146 <= 0 e134: - b144 + b147 <= 0 e135: - b148 + b149 <= 0 e136: - b148 + b150 <= 0 e137: - b151 + b152 <= 0 e138: 6877 b2 + 5286 b3 + 7843 b4 + 7235 b5 + 6993 b6 + 6782 b7 + 6158 b8 + 7417 b9 + 6.66e3 b10 + 8001 b11 + 5801 b12 + 8841 b13 + 7883 b14 + 7117 b15 + 7448 b16 + 9672 b17 + [ - 5.4e2 b2 * b3 - 426 b2 * b4 - 172 b2 * b5 - 736 b2 * b6 - 211 b2 * b7 - 368 b2 * b8 - 567 b2 * b9 - 429 b2 * b10 - 782 b2 * b11 - 5.3e2 b2 * b12 - 862 b2 * b13 - 123 b2 * b14 - 67 b2 * b15 - 135 b2 * b16 - 929 b2 * b17 - 802 b3 * b4 - 22 b3 * b5 - 58 b3 * b6 - 69 b3 * b7 - 167 b3 * b8 - 393 b3 * b9 - 456 b3 * b10 - 11 b3 * b11 - 42 b3 * b12 - 229 b3 * b13 - 373 b3 * b14 - 421 b3 * b15 - 919 b3 * b16 - 784 b3 * b17 - 537 b4 * b5 - 198 b4 * b6 - 324 b4 * b7 - 315 b4 * b8 - 3.7e2 b4 * b9 - 413 b4 * b10 - 526 b4 * b11 - 91 b4 * b12 - 9.8e2 b4 * b13 - 956 b4 * b14 - 873 b4 * b15 - 862 b4 * b16 - 1.7e2 b4 * b17 - 996 b5 * b6 - 281 b5 * b7 - 305 b5 * b8 - 925 b5 * b9 - 84 b5 * b10 - 327 b5 * b11 - 336 b5 * b12 - 505 b5 * b13 - 846 b5 * b14 - 729 b5 * b15 - 313 b5 * b16 - 857 b5 * b17 - 124 b6 * b7 - 895 b6 * b8 - 582 b6 * b9 - 545 b6 * b10 - 814 b6 * b11 - 367 b6 * b12 - 434 b6 * b13 - 364 b6 * b14 - 43 b6 * b15 - 7.5e2 b6 * b16 - 87 b6 * b17 - 808 b7 * b8 - 276 b7 * b9 - 178 b7 * b10 - 788 b7 * b11 - 584 b7 * b12 - 403 b7 * b13 - 651 b7 * b14 - 754 b7 * b15 - 399 b7 * b16 - 932 b7 * b17 - 60 b8 * b9 - 676 b8 * b10 - 368 b8 * b11 - 739 b8 * b12 - 12 b8 * b13 - 226 b8 * b14 - 586 b8 * b15 - 94 b8 * b16 - 539 b8 * b17 - 795 b9 * b10 - 5.7e2 b9 * b11 - 434 b9 * b12 - 378 b9 * b13 - 467 b9 * b14 - 601 b9 * b15 - 97 b9 * b16 - 902 b9 * b17 - 317 b10 * b11 - 492 b10 * b12 - 652 b10 * b13 - 756 b10 * b14 - 301 b10 * b15 - 2.8e2 b10 * b16 - 286 b10 * b17 - 441 b11 * b12 - 865 b11 * b13 - 689 b11 * b14 - 444 b11 * b15 - 619 b11 * b16 - 4.4e2 b11 * b17 - 729 b12 * b13 - 31 b12 * b14 - 117 b12 * b15 - 97 b12 * b16 - 771 b12 * b17 - 481 b13 * b14 - 675 b13 * b15 - 709 b13 * b16 - 927 b13 * b17 - 567 b14 * b15 - 856 b14 * b16 - 497 b14 * b17 - 353 b15 * b16 - 586 b15 * b17 - 965 b16 * b17 ] <= 11136 e139: - 1.274e4 b18 + 6172 b19 + 8.62e3 b20 + 8.15e3 b21 + 7786 b22 + 7117 b23 + 6544 b24 + 7909 b25 + 7309 b26 + 8422 b27 + 6163 b28 + 8868 b29 + 8573 b30 + 7176 b31 + 8211 b32 + 10598 b33 + [ - 5.4e2 b18 * b19 - 426 b18 * b20 - 172 b18 * b21 - 736 b18 * b22 - 211 b18 * b23 - 368 b18 * b24 - 567 b18 * b25 - 429 b18 * b26 - 782 b18 * b27 - 5.3e2 b18 * b28 - 862 b18 * b29 - 123 b18 * b30 - 67 b18 * b31 - 135 b18 * b32 - 929 b18 * b33 - 802 b19 * b20 - 22 b19 * b21 - 58 b19 * b22 - 69 b19 * b23 - 167 b19 * b24 - 393 b19 * b25 - 456 b19 * b26 - 11 b19 * b27 - 42 b19 * b28 - 229 b19 * b29 - 373 b19 * b30 - 421 b19 * b31 - 919 b19 * b32 - 784 b19 * b33 - 537 b20 * b21 - 198 b20 * b22 - 324 b20 * b23 - 315 b20 * b24 - 3.7e2 b20 * b25 - 413 b20 * b26 - 526 b20 * b27 - 91 b20 * b28 - 9.8e2 b20 * b29 - 956 b20 * b30 - 873 b20 * b31 - 862 b20 * b32 - 1.7e2 b20 * b33 - 996 b21 * b22 - 281 b21 * b23 - 305 b21 * b24 - 925 b21 * b25 - 84 b21 * b26 - 327 b21 * b27 - 336 b21 * b28 - 505 b21 * b29 - 846 b21 * b30 - 729 b21 * b31 - 313 b21 * b32 - 857 b21 * b33 - 124 b22 * b23 - 895 b22 * b24 - 582 b22 * b25 - 545 b22 * b26 - 814 b22 * b27 - 367 b22 * b28 - 434 b22 * b29 - 364 b22 * b30 - 43 b22 * b31 - 7.5e2 b22 * b32 - 87 b22 * b33 - 808 b23 * b24 - 276 b23 * b25 - 178 b23 * b26 - 788 b23 * b27 - 584 b23 * b28 - 403 b23 * b29 - 651 b23 * b30 - 754 b23 * b31 - 399 b23 * b32 - 932 b23 * b33 - 60 b24 * b25 - 676 b24 * b26 - 368 b24 * b27 - 739 b24 * b28 - 12 b24 * b29 - 226 b24 * b30 - 586 b24 * b31 - 94 b24 * b32 - 539 b24 * b33 - 795 b25 * b26 - 5.7e2 b25 * b27 - 434 b25 * b28 - 378 b25 * b29 - 467 b25 * b30 - 601 b25 * b31 - 97 b25 * b32 - 902 b25 * b33 - 317 b26 * b27 - 492 b26 * b28 - 652 b26 * b29 - 756 b26 * b30 - 301 b26 * b31 - 2.8e2 b26 * b32 - 286 b26 * b33 - 441 b27 * b28 - 865 b27 * b29 - 689 b27 * b30 - 444 b27 * b31 - 619 b27 * b32 - 4.4e2 b27 * b33 - 729 b28 * b29 - 31 b28 * b30 - 117 b28 * b31 - 97 b28 * b32 - 771 b28 * b33 - 481 b29 * b30 - 675 b29 * b31 - 709 b29 * b32 - 927 b29 * b33 - 567 b30 * b31 - 856 b30 * b32 - 497 b30 * b33 - 353 b31 * b32 - 586 b31 * b33 - 965 b32 * b33 ] <= 0 e140: - 13828 b34 + 8.62e3 b35 + 8.15e3 b36 + 7786 b37 + 7117 b38 + 6544 b39 + 7909 b40 + 7309 b41 + 8422 b42 + 6163 b43 + 8868 b44 + 8573 b45 + 7176 b46 + 8211 b47 + 10598 b48 + [ - 802 b34 * b35 - 22 b34 * b36 - 58 b34 * b37 - 69 b34 * b38 - 167 b34 * b39 - 393 b34 * b40 - 456 b34 * b41 - 11 b34 * b42 - 42 b34 * b43 - 229 b34 * b44 - 373 b34 * b45 - 421 b34 * b46 - 919 b34 * b47 - 784 b34 * b48 - 537 b35 * b36 - 198 b35 * b37 - 324 b35 * b38 - 315 b35 * b39 - 3.7e2 b35 * b40 - 413 b35 * b41 - 526 b35 * b42 - 91 b35 * b43 - 9.8e2 b35 * b44 - 956 b35 * b45 - 873 b35 * b46 - 862 b35 * b47 - 1.7e2 b35 * b48 - 996 b36 * b37 - 281 b36 * b38 - 305 b36 * b39 - 925 b36 * b40 - 84 b36 * b41 - 327 b36 * b42 - 336 b36 * b43 - 505 b36 * b44 - 846 b36 * b45 - 729 b36 * b46 - 313 b36 * b47 - 857 b36 * b48 - 124 b37 * b38 - 895 b37 * b39 - 582 b37 * b40 - 545 b37 * b41 - 814 b37 * b42 - 367 b37 * b43 - 434 b37 * b44 - 364 b37 * b45 - 43 b37 * b46 - 7.5e2 b37 * b47 - 87 b37 * b48 - 808 b38 * b39 - 276 b38 * b40 - 178 b38 * b41 - 788 b38 * b42 - 584 b38 * b43 - 403 b38 * b44 - 651 b38 * b45 - 754 b38 * b46 - 399 b38 * b47 - 932 b38 * b48 - 60 b39 * b40 - 676 b39 * b41 - 368 b39 * b42 - 739 b39 * b43 - 12 b39 * b44 - 226 b39 * b45 - 586 b39 * b46 - 94 b39 * b47 - 539 b39 * b48 - 795 b40 * b41 - 5.7e2 b40 * b42 - 434 b40 * b43 - 378 b40 * b44 - 467 b40 * b45 - 601 b40 * b46 - 97 b40 * b47 - 902 b40 * b48 - 317 b41 * b42 - 492 b41 * b43 - 652 b41 * b44 - 756 b41 * b45 - 301 b41 * b46 - 2.8e2 b41 * b47 - 286 b41 * b48 - 441 b42 * b43 - 865 b42 * b44 - 689 b42 * b45 - 444 b42 * b46 - 619 b42 * b47 - 4.4e2 b42 * b48 - 729 b43 * b44 - 31 b43 * b45 - 117 b43 * b46 - 97 b43 * b47 - 771 b43 * b48 - 481 b44 * b45 - 675 b44 * b46 - 709 b44 * b47 - 927 b44 * b48 - 567 b45 * b46 - 856 b45 * b47 - 497 b45 * b48 - 353 b46 * b47 - 586 b46 * b48 - 965 b47 * b48 ] <= 0 e141: - 1.138e4 b49 + 8.15e3 b50 + 7786 b51 + 7117 b52 + 6544 b53 + 7909 b54 + 7309 b55 + 8422 b56 + 6163 b57 + 8868 b58 + 8573 b59 + 7176 b60 + 8211 b61 + 10598 b62 + [ - 537 b49 * b50 - 198 b49 * b51 - 324 b49 * b52 - 315 b49 * b53 - 3.7e2 b49 * b54 - 413 b49 * b55 - 526 b49 * b56 - 91 b49 * b57 - 9.8e2 b49 * b58 - 956 b49 * b59 - 873 b49 * b60 - 862 b49 * b61 - 1.7e2 b49 * b62 - 996 b50 * b51 - 281 b50 * b52 - 305 b50 * b53 - 925 b50 * b54 - 84 b50 * b55 - 327 b50 * b56 - 336 b50 * b57 - 505 b50 * b58 - 846 b50 * b59 - 729 b50 * b60 - 313 b50 * b61 - 857 b50 * b62 - 124 b51 * b52 - 895 b51 * b53 - 582 b51 * b54 - 545 b51 * b55 - 814 b51 * b56 - 367 b51 * b57 - 434 b51 * b58 - 364 b51 * b59 - 43 b51 * b60 - 7.5e2 b51 * b61 - 87 b51 * b62 - 808 b52 * b53 - 276 b52 * b54 - 178 b52 * b55 - 788 b52 * b56 - 584 b52 * b57 - 403 b52 * b58 - 651 b52 * b59 - 754 b52 * b60 - 399 b52 * b61 - 932 b52 * b62 - 60 b53 * b54 - 676 b53 * b55 - 368 b53 * b56 - 739 b53 * b57 - 12 b53 * b58 - 226 b53 * b59 - 586 b53 * b60 - 94 b53 * b61 - 539 b53 * b62 - 795 b54 * b55 - 5.7e2 b54 * b56 - 434 b54 * b57 - 378 b54 * b58 - 467 b54 * b59 - 601 b54 * b60 - 97 b54 * b61 - 902 b54 * b62 - 317 b55 * b56 - 492 b55 * b57 - 652 b55 * b58 - 756 b55 * b59 - 301 b55 * b60 - 2.8e2 b55 * b61 - 286 b55 * b62 - 441 b56 * b57 - 865 b56 * b58 - 689 b56 * b59 - 444 b56 * b60 - 619 b56 * b61 - 4.4e2 b56 * b62 - 729 b57 * b58 - 31 b57 * b59 - 117 b57 * b60 - 97 b57 * b61 - 771 b57 * b62 - 481 b58 * b59 - 675 b58 * b60 - 709 b58 * b61 - 927 b58 * b62 - 567 b59 * b60 - 856 b59 * b61 - 497 b59 * b62 - 353 b60 * b61 - 586 b60 * b62 - 965 b61 * b62 ] <= 0 e142: - 1.185e4 b63 + 7786 b64 + 7117 b65 + 6544 b66 + 7909 b67 + 7309 b68 + 8422 b69 + 6163 b70 + 8868 b71 + 8573 b72 + 7176 b73 + 8211 b74 + 10598 b75 + [ - 996 b63 * b64 - 281 b63 * b65 - 305 b63 * b66 - 925 b63 * b67 - 84 b63 * b68 - 327 b63 * b69 - 336 b63 * b70 - 505 b63 * b71 - 846 b63 * b72 - 729 b63 * b73 - 313 b63 * b74 - 857 b63 * b75 - 124 b64 * b65 - 895 b64 * b66 - 582 b64 * b67 - 545 b64 * b68 - 814 b64 * b69 - 367 b64 * b70 - 434 b64 * b71 - 364 b64 * b72 - 43 b64 * b73 - 7.5e2 b64 * b74 - 87 b64 * b75 - 808 b65 * b66 - 276 b65 * b67 - 178 b65 * b68 - 788 b65 * b69 - 584 b65 * b70 - 403 b65 * b71 - 651 b65 * b72 - 754 b65 * b73 - 399 b65 * b74 - 932 b65 * b75 - 60 b66 * b67 - 676 b66 * b68 - 368 b66 * b69 - 739 b66 * b70 - 12 b66 * b71 - 226 b66 * b72 - 586 b66 * b73 - 94 b66 * b74 - 539 b66 * b75 - 795 b67 * b68 - 5.7e2 b67 * b69 - 434 b67 * b70 - 378 b67 * b71 - 467 b67 * b72 - 601 b67 * b73 - 97 b67 * b74 - 902 b67 * b75 - 317 b68 * b69 - 492 b68 * b70 - 652 b68 * b71 - 756 b68 * b72 - 301 b68 * b73 - 2.8e2 b68 * b74 - 286 b68 * b75 - 441 b69 * b70 - 865 b69 * b71 - 689 b69 * b72 - 444 b69 * b73 - 619 b69 * b74 - 4.4e2 b69 * b75 - 729 b70 * b71 - 31 b70 * b72 - 117 b70 * b73 - 97 b70 * b74 - 771 b70 * b75 - 481 b71 * b72 - 675 b71 * b73 - 709 b71 * b74 - 927 b71 * b75 - 567 b72 * b73 - 856 b72 * b74 - 497 b72 * b75 - 353 b73 * b74 - 586 b73 * b75 - 965 b74 * b75 ] <= 0 e143: - 12214 b76 + 7117 b77 + 6544 b78 + 7909 b79 + 7309 b80 + 8422 b81 + 6163 b82 + 8868 b83 + 8573 b84 + 7176 b85 + 8211 b86 + 10598 b87 + [ - 124 b76 * b77 - 895 b76 * b78 - 582 b76 * b79 - 545 b76 * b80 - 814 b76 * b81 - 367 b76 * b82 - 434 b76 * b83 - 364 b76 * b84 - 43 b76 * b85 - 7.5e2 b76 * b86 - 87 b76 * b87 - 808 b77 * b78 - 276 b77 * b79 - 178 b77 * b80 - 788 b77 * b81 - 584 b77 * b82 - 403 b77 * b83 - 651 b77 * b84 - 754 b77 * b85 - 399 b77 * b86 - 932 b77 * b87 - 60 b78 * b79 - 676 b78 * b80 - 368 b78 * b81 - 739 b78 * b82 - 12 b78 * b83 - 226 b78 * b84 - 586 b78 * b85 - 94 b78 * b86 - 539 b78 * b87 - 795 b79 * b80 - 5.7e2 b79 * b81 - 434 b79 * b82 - 378 b79 * b83 - 467 b79 * b84 - 601 b79 * b85 - 97 b79 * b86 - 902 b79 * b87 - 317 b80 * b81 - 492 b80 * b82 - 652 b80 * b83 - 756 b80 * b84 - 301 b80 * b85 - 2.8e2 b80 * b86 - 286 b80 * b87 - 441 b81 * b82 - 865 b81 * b83 - 689 b81 * b84 - 444 b81 * b85 - 619 b81 * b86 - 4.4e2 b81 * b87 - 729 b82 * b83 - 31 b82 * b84 - 117 b82 * b85 - 97 b82 * b86 - 771 b82 * b87 - 481 b83 * b84 - 675 b83 * b85 - 709 b83 * b86 - 927 b83 * b87 - 567 b84 * b85 - 856 b84 * b86 - 497 b84 * b87 - 353 b85 * b86 - 586 b85 * b87 - 965 b86 * b87 ] <= 0 e144: - 12883 b88 + 6544 b89 + 7909 b90 + 7309 b91 + 8422 b92 + 6163 b93 + 8868 b94 + 8573 b95 + 7176 b96 + 8211 b97 + 10598 b98 + [ - 808 b88 * b89 - 276 b88 * b90 - 178 b88 * b91 - 788 b88 * b92 - 584 b88 * b93 - 403 b88 * b94 - 651 b88 * b95 - 754 b88 * b96 - 399 b88 * b97 - 932 b88 * b98 - 60 b89 * b90 - 676 b89 * b91 - 368 b89 * b92 - 739 b89 * b93 - 12 b89 * b94 - 226 b89 * b95 - 586 b89 * b96 - 94 b89 * b97 - 539 b89 * b98 - 795 b90 * b91 - 5.7e2 b90 * b92 - 434 b90 * b93 - 378 b90 * b94 - 467 b90 * b95 - 601 b90 * b96 - 97 b90 * b97 - 902 b90 * b98 - 317 b91 * b92 - 492 b91 * b93 - 652 b91 * b94 - 756 b91 * b95 - 301 b91 * b96 - 2.8e2 b91 * b97 - 286 b91 * b98 - 441 b92 * b93 - 865 b92 * b94 - 689 b92 * b95 - 444 b92 * b96 - 619 b92 * b97 - 4.4e2 b92 * b98 - 729 b93 * b94 - 31 b93 * b95 - 117 b93 * b96 - 97 b93 * b97 - 771 b93 * b98 - 481 b94 * b95 - 675 b94 * b96 - 709 b94 * b97 - 927 b94 * b98 - 567 b95 * b96 - 856 b95 * b97 - 497 b95 * b98 - 353 b96 * b97 - 586 b96 * b98 - 965 b97 * b98 ] <= 0 e145: - 13456 b99 + 7909 b100 + 7309 b101 + 8422 b102 + 6163 b103 + 8868 b104 + 8573 b105 + 7176 b106 + 8211 b107 + 10598 b108 + [ - 60 b99 * b100 - 676 b99 * b101 - 368 b99 * b102 - 739 b99 * b103 - 12 b99 * b104 - 226 b99 * b105 - 586 b99 * b106 - 94 b99 * b107 - 539 b99 * b108 - 795 b100 * b101 - 5.7e2 b100 * b102 - 434 b100 * b103 - 378 b100 * b104 - 467 b100 * b105 - 601 b100 * b106 - 97 b100 * b107 - 902 b100 * b108 - 317 b101 * b102 - 492 b101 * b103 - 652 b101 * b104 - 756 b101 * b105 - 301 b101 * b106 - 2.8e2 b101 * b107 - 286 b101 * b108 - 441 b102 * b103 - 865 b102 * b104 - 689 b102 * b105 - 444 b102 * b106 - 619 b102 * b107 - 4.4e2 b102 * b108 - 729 b103 * b104 - 31 b103 * b105 - 117 b103 * b106 - 97 b103 * b107 - 771 b103 * b108 - 481 b104 * b105 - 675 b104 * b106 - 709 b104 * b107 - 927 b104 * b108 - 567 b105 * b106 - 856 b105 * b107 - 497 b105 * b108 - 353 b106 * b107 - 586 b106 * b108 - 965 b107 * b108 ] <= 0 e146: - 12091 b109 + 7309 b110 + 8422 b111 + 6163 b112 + 8868 b113 + 8573 b114 + 7176 b115 + 8211 b116 + 10598 b117 + [ - 795 b109 * b110 - 5.7e2 b109 * b111 - 434 b109 * b112 - 378 b109 * b113 - 467 b109 * b114 - 601 b109 * b115 - 97 b109 * b116 - 902 b109 * b117 - 317 b110 * b111 - 492 b110 * b112 - 652 b110 * b113 - 756 b110 * b114 - 301 b110 * b115 - 2.8e2 b110 * b116 - 286 b110 * b117 - 441 b111 * b112 - 865 b111 * b113 - 689 b111 * b114 - 444 b111 * b115 - 619 b111 * b116 - 4.4e2 b111 * b117 - 729 b112 * b113 - 31 b112 * b114 - 117 b112 * b115 - 97 b112 * b116 - 771 b112 * b117 - 481 b113 * b114 - 675 b113 * b115 - 709 b113 * b116 - 927 b113 * b117 - 567 b114 * b115 - 856 b114 * b116 - 497 b114 * b117 - 353 b115 * b116 - 586 b115 * b117 - 965 b116 * b117 ] <= 0 e147: - 12691 b118 + 8422 b119 + 6163 b120 + 8868 b121 + 8573 b122 + 7176 b123 + 8211 b124 + 10598 b125 + [ - 317 b118 * b119 - 492 b118 * b120 - 652 b118 * b121 - 756 b118 * b122 - 301 b118 * b123 - 2.8e2 b118 * b124 - 286 b118 * b125 - 441 b119 * b120 - 865 b119 * b121 - 689 b119 * b122 - 444 b119 * b123 - 619 b119 * b124 - 4.4e2 b119 * b125 - 729 b120 * b121 - 31 b120 * b122 - 117 b120 * b123 - 97 b120 * b124 - 771 b120 * b125 - 481 b121 * b122 - 675 b121 * b123 - 709 b121 * b124 - 927 b121 * b125 - 567 b122 * b123 - 856 b122 * b124 - 497 b122 * b125 - 353 b123 * b124 - 586 b123 * b125 - 965 b124 * b125 ] <= 0 e148: - 11578 b126 + 6163 b127 + 8868 b128 + 8573 b129 + 7176 b130 + 8211 b131 + 10598 b132 + [ - 441 b126 * b127 - 865 b126 * b128 - 689 b126 * b129 - 444 b126 * b130 - 619 b126 * b131 - 4.4e2 b126 * b132 - 729 b127 * b128 - 31 b127 * b129 - 117 b127 * b130 - 97 b127 * b131 - 771 b127 * b132 - 481 b128 * b129 - 675 b128 * b130 - 709 b128 * b131 - 927 b128 * b132 - 567 b129 * b130 - 856 b129 * b131 - 497 b129 * b132 - 353 b130 * b131 - 586 b130 * b132 - 965 b131 * b132 ] <= 0 e149: - 13837 b133 + 8868 b134 + 8573 b135 + 7176 b136 + 8211 b137 + 10598 b138 + [ - 729 b133 * b134 - 31 b133 * b135 - 117 b133 * b136 - 97 b133 * b137 - 771 b133 * b138 - 481 b134 * b135 - 675 b134 * b136 - 709 b134 * b137 - 927 b134 * b138 - 567 b135 * b136 - 856 b135 * b137 - 497 b135 * b138 - 353 b136 * b137 - 586 b136 * b138 - 965 b137 * b138 ] <= 0 e150: - 11132 b139 + 8573 b140 + 7176 b141 + 8211 b142 + 10598 b143 + [ - 481 b139 * b140 - 675 b139 * b141 - 709 b139 * b142 - 927 b139 * b143 - 567 b140 * b141 - 856 b140 * b142 - 497 b140 * b143 - 353 b141 * b142 - 586 b141 * b143 - 965 b142 * b143 ] <= 0 e151: - 11427 b144 + 7176 b145 + 8211 b146 + 10598 b147 + [ - 567 b144 * b145 - 856 b144 * b146 - 497 b144 * b147 - 353 b145 * b146 - 586 b145 * b147 - 965 b146 * b147 ] <= 0 e152: - 12824 b148 + 8211 b149 + 10598 b150 + [ - 353 b148 * b149 - 586 b148 * b150 - 965 b149 * b150 ] <= 0 e153: - 11789 b151 + 10598 b152 + [ - 965 b151 * b152 ] <= 0 Binary 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 b145 b146 b147 b148 b149 b150 b151 b152 b153 End