\ 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 567 b144 b145 - 856 b144 b146 - 497 b144 b147 - 353 b145 b146 - 586 b145 b147 - 965 b146 b147 - 353 b148 b149 - 586 b148 b150 - 965 b149 b150 - 965 b151 b152 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