\ Equation counts \ Total E G L N X C B \ 1456 0 0 1456 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 182 0 182 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4550 4368 182 0 \ Minimize obj: b2 + 7 b3 - 4 b4 - 13 b5 - 2 b6 - 16 b7 - 5 b8 - 16 b9 - 9 b10 - 2 b11 - 3 b12 - 4 b13 - 2 b14 - 12 b15 - 6 b16 - 10 b17 - 6 b18 - 12 b19 - 3 b20 - 14 b21 - 2 b22 - 13 b23 - 7 b24 - 5 b25 + 4 b26 - 17 b27 - 21 b28 - 28 b29 - 7 b30 - 9 b31 - 15 b32 - 16 b33 - 17 b34 - 19 b35 - 19 b36 - 6 b37 - 5 b38 - 12 b39 - 4 b40 - 3 b41 - 10 b42 - 9 b43 + b44 + 5 b45 - 10 b46 + 14 b47 - 8 b48 - 5 b49 - b50 - 8 b51 - 7 b52 + 5 b53 + 11 b54 - 7 b55 + 19 b56 - 2 b57 + b58 - 2 b59 + 11 b60 + 21 b61 - 2 b62 + 22 b63 + 2 b64 - b65 + b66 + 3 b67 + 7 b68 + 5 b69 - 2 b70 - b71 + b72 + 4 b73 - 2 b74 + 6 b75 + 12 b76 + 15 b77 + 16 b78 + 9 b79 + 13 b80 - b81 + 14 b82 + 3 b83 - 11 b84 + 12 b85 - 17 b86 + 14 b87 + 18 b88 - 8 b89 - 11 b90 - 4 b91 - 2 b92 + 2 b93 - 13 b94 - 13 b95 - 2 b96 + 2 b97 - 9 b98 - 7 b99 - 13 b100 - 15 b101 - 4 b102 - b103 - b104 + 7 b105 - 19 b106 - 19 b107 - 8 b108 - 13 b109 - 9 b110 - 10 b111 - 9 b112 + 7 b113 + 4 b114 + 11 b115 + 7 b116 + 4 b117 + 9 b118 + 16 b119 + 5 b120 + 12 b121 + 9 b122 + 6 b123 - 7 b124 + b125 - 7 b126 - 7 b127 - 2 b128 + b129 - 12 b130 - 6 b131 - 9 b132 - 6 b133 + 14 b134 + b135 + 2 b136 + 9 b137 + 20 b138 - b139 + 11 b140 + 5 b141 + 4 b142 - 11 b143 - 17 b144 - 5 b145 + 2 b146 - 23 b147 - 7 b148 - 15 b149 - 13 b150 - b151 + 7 b152 + 16 b153 - 4 b154 + 7 b155 + 2 b156 + b157 + 11 b158 + 24 b159 - 4 b160 + 13 b161 + 5 b162 + 2 b163 + 7 b164 - 17 b165 - 5 b166 - 11 b167 - 9 b168 - 32 b169 - 13 b170 - 22 b171 - 18 b172 + 18 b173 + 10 b174 + 6 b175 - 7 b176 - 9 b177 - 3 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + [ - 4 b2 * b89 - 4 b2 * b90 + 4 b2 * b96 + 4 b2 * b97 + 4 b2 * b100 + 4 b2 * b101 + 4 b2 * b102 + 4 b2 * b103 - 4 b2 * b111 - 4 b2 * b112 + 4 b2 * b115 + 4 b2 * b117 + 4 b2 * b118 + 4 b2 * b119 - 4 b2 * b146 - 4 b2 * b150 - 4 b2 * b159 - 4 b2 * b163 - 4 b2 * b164 - 4 b2 * b168 - 4 b2 * b172 - 4 b3 * b91 - 4 b3 * b96 + 4 b3 * b101 + 4 b3 * b103 - 4 b3 * b104 - 4 b3 * b108 + 4 b3 * b144 + 4 b3 * b145 - 4 b3 * b148 - 4 b3 * b159 - 4 b3 * b161 - 4 b3 * b164 - 4 b3 * b166 - 4 b3 * b170 - 4 b3 * b179 - 4 b4 * b90 + 4 b4 * b91 + 4 b4 * b96 + 4 b4 * b97 + 4 b4 * b104 + 4 b4 * b108 - 4 b4 * b112 + 4 b4 * b115 + 4 b4 * b119 + 4 b4 * b121 - 4 b4 * b146 - 4 b4 * b150 + 4 b4 * b170 - 4 b4 * b172 - 4 b4 * b177 + 4 b4 * b179 - 4 b5 * b89 - 4 b5 * b91 + 4 b5 * b92 + 4 b5 * b93 + 4 b5 * b94 + 4 b5 * b95 + 4 b5 * b96 + 4 b5 * b97 + 4 b5 * b100 + 4 b5 * b101 + 4 b5 * b102 + 4 b5 * b103 + 4 b5 * b105 + 4 b5 * b106 + 4 b5 * b107 + 4 b5 * b109 + 4 b5 * b110 + 4 b5 * b112 + 4 b5 * b113 + 4 b5 * b114 + 4 b5 * b115 + 4 b5 * b117 + 4 b5 * b118 + 4 b5 * b119 + 4 b5 * b120 + 4 b5 * b122 + 4 b5 * b123 - 4 b5 * b129 - 4 b5 * b133 - 4 b5 * b138 - 4 b5 * b142 - 4 b5 * b146 - 4 b5 * b150 - 4 b5 * b159 - 4 b5 * b163 - 4 b5 * b164 - 4 b5 * b168 + 4 b5 * b169 + 4 b5 * b171 - 4 b5 * b175 - 4 b5 * b178 - 4 b6 * b91 + 4 b6 * b93 + 4 b6 * b95 - 4 b6 * b96 + 4 b6 * b97 + 4 b6 * b101 + 4 b6 * b103 - 4 b6 * b104 + 4 b6 * b105 + 4 b6 * b107 - 4 b6 * b108 + 4 b6 * b110 + 4 b6 * b112 - 4 b6 * b125 - 4 b6 * b129 - 4 b6 * b131 - 4 b6 * b134 - 4 b6 * b138 - 4 b6 * b140 + 4 b6 * b144 + 4 b6 * b145 + 4 b6 * b147 - 4 b6 * b148 + 4 b6 * b149 + 4 b6 * b150 - 4 b6 * b159 - 4 b6 * b161 - 4 b6 * b164 - 4 b6 * b166 + 4 b6 * b169 - 4 b6 * b170 + 4 b6 * b171 + 4 b6 * b172 - 4 b6 * b173 + 4 b6 * b176 + 4 b6 * b177 + 4 b7 * b92 + 4 b7 * b93 + 4 b7 * b94 + 4 b7 * b95 + 4 b7 * b96 + 4 b7 * b97 + 4 b7 * b98 + 4 b7 * b99 + 4 b7 * b102 + 4 b7 * b103 + 4 b7 * b104 + 4 b7 * b105 + 4 b7 * b106 + 4 b7 * b107 + 4 b7 * b108 + 4 b7 * b109 + 4 b7 * b110 + 4 b7 * b113 + 4 b7 * b114 + 4 b7 * b115 + 4 b7 * b116 + 4 b7 * b118 + 4 b7 * b119 + 4 b7 * b120 + 4 b7 * b121 + 4 b7 * b122 - 4 b7 * b129 - 4 b7 * b133 - 4 b7 * b138 - 4 b7 * b142 - 4 b7 * b146 - 4 b7 * b150 - 4 b7 * b153 - 4 b7 * b157 - 4 b7 * b164 - 4 b7 * b168 + 4 b7 * b169 + 4 b7 * b170 + 4 b7 * b171 - 4 b7 * b172 - 4 b7 * b175 - 4 b7 * b177 - 4 b7 * b178 + 4 b7 * b179 + 4 b8 * b93 + 4 b8 * b95 + 4 b8 * b97 + 4 b8 * b99 + 4 b8 * b103 + 4 b8 * b105 + 4 b8 * b107 + 4 b8 * b110 - 4 b8 * b125 - 4 b8 * b129 - 4 b8 * b131 - 4 b8 * b134 - 4 b8 * b138 - 4 b8 * b140 + 4 b8 * b143 + 4 b8 * b145 + 4 b8 * b147 + 4 b8 * b149 - 4 b8 * b153 - 4 b8 * b155 - 4 b8 * b164 - 4 b8 * b166 + 4 b8 * b169 + 4 b8 * b171 - 4 b8 * b173 + 4 b8 * b176 + 4 b8 * b179 + 4 b9 * b89 + 4 b9 * b91 + 4 b9 * b98 + 4 b9 * b99 + 4 b9 * b100 + 4 b9 * b101 + 4 b9 * b102 + 4 b9 * b103 + 4 b9 * b104 + 4 b9 * b106 + 4 b9 * b107 + 4 b9 * b108 + 4 b9 * b109 + 4 b9 * b110 + 4 b9 * b111 + 4 b9 * b116 + 4 b9 * b117 + 4 b9 * b118 + 4 b9 * b120 + 4 b9 * b121 + 4 b9 * b122 - 4 b9 * b153 - 4 b9 * b157 - 4 b9 * b159 - 4 b9 * b163 - 4 b9 * b164 - 4 b9 * b168 + 4 b9 * b169 + 4 b9 * b170 + 4 b9 * b171 - 4 b9 * b175 - 4 b9 * b177 - 4 b9 * b178 + 4 b9 * b179 + 4 b10 * b90 - 4 b10 * b97 + 4 b10 * b99 + 4 b10 * b101 + 4 b10 * b103 + 4 b10 * b107 + 4 b10 * b110 + 4 b10 * b112 - 4 b10 * b115 - 4 b10 * b119 - 4 b10 * b121 + 4 b10 * b143 + 4 b10 * b144 + 4 b10 * b145 + 4 b10 * b146 + 4 b10 * b147 + 4 b10 * b148 + 4 b10 * b149 + 4 b10 * b150 - 4 b10 * b153 - 4 b10 * b155 - 4 b10 * b159 - 4 b10 * b161 - 4 b10 * b164 - 4 b10 * b166 + 4 b10 * b169 + 4 b10 * b171 + 4 b10 * b172 - 4 b10 * b173 + 4 b10 * b176 + 4 b10 * b177 - 4 b11 * b89 - 4 b11 * b91 - 4 b11 * b104 + 4 b11 * b108 + 4 b11 * b109 + 4 b11 * b110 - 4 b11 * b111 + 4 b11 * b121 + 4 b11 * b122 + 4 b11 * b170 + 4 b11 * b171 - 4 b11 * b177 - 4 b11 * b178 + 4 b11 * b179 - 4 b12 * b91 - 4 b12 * b96 - 4 b12 * b104 - 4 b12 * b108 + 4 b12 * b110 + 4 b12 * b148 + 4 b12 * b149 + 4 b12 * b170 + 4 b12 * b171 + 4 b12 * b176 + 4 b12 * b179 - 4 b13 * b90 + 4 b13 * b91 - 4 b13 * b105 + 4 b13 * b106 + 4 b13 * b107 + 4 b13 * b108 - 4 b13 * b112 + 4 b13 * b120 + 4 b13 * b121 + 4 b13 * b169 + 4 b13 * b170 - 4 b13 * b175 - 4 b13 * b177 + 4 b13 * b179 - 4 b14 * b97 - 4 b14 * b105 + 4 b14 * b107 + 4 b14 * b147 + 4 b14 * b148 + 4 b14 * b169 + 4 b14 * b170 - 4 b14 * b173 + 4 b15 * b94 + 4 b15 * b95 + 4 b15 * b96 + 4 b15 * b97 + 4 b15 * b100 + 4 b15 * b101 + 4 b15 * b104 + 4 b15 * b105 + 4 b15 * b109 + 4 b15 * b110 + 4 b15 * b111 + 4 b15 * b112 + 4 b15 * b114 + 4 b15 * b115 + 4 b15 * b117 + 4 b15 * b119 + 4 b15 * b122 + 4 b15 * b123 - 4 b15 * b138 - 4 b15 * b142 - 4 b15 * b146 - 4 b15 * b150 - 4 b15 * b159 - 4 b15 * b163 + 4 b15 * b171 - 4 b15 * b178 + 4 b16 * b95 + 4 b16 * b97 + 4 b16 * b101 + 4 b16 * b105 + 4 b16 * b110 + 4 b16 * b112 - 4 b16 * b134 - 4 b16 * b138 - 4 b16 * b140 + 4 b16 * b144 - 4 b16 * b148 + 4 b16 * b149 + 4 b16 * b150 - 4 b16 * b159 - 4 b16 * b161 - 4 b16 * b170 + 4 b16 * b171 + 4 b16 * b172 + 4 b16 * b176 + 4 b16 * b177 - 4 b17 * b90 + 4 b17 * b91 + 4 b17 * b98 + 4 b17 * b99 + 4 b17 * b100 + 4 b17 * b101 - 4 b17 * b105 + 4 b17 * b106 + 4 b17 * b107 + 4 b17 * b108 + 4 b17 * b111 + 4 b17 * b116 + 4 b17 * b117 + 4 b17 * b120 + 4 b17 * b121 + 4 b17 * b123 - 4 b17 * b153 - 4 b17 * b157 - 4 b17 * b159 - 4 b17 * b163 + 4 b17 * b169 + 4 b17 * b170 + 4 b17 * b172 - 4 b17 * b175 - 4 b17 * b177 + 4 b17 * b179 - 4 b18 * b97 + 4 b18 * b99 + 4 b18 * b101 - 4 b18 * b105 + 4 b18 * b107 + 4 b18 * b112 + 4 b18 * b143 + 4 b18 * b144 + 4 b18 * b147 + 4 b18 * b148 + 4 b18 * b150 - 4 b18 * b153 - 4 b18 * b155 - 4 b18 * b159 - 4 b18 * b161 + 4 b18 * b169 + 4 b18 * b170 + 4 b18 * b172 - 4 b18 * b173 + 4 b18 * b177 - 4 b19 * b89 - 4 b19 * b90 + 4 b19 * b92 + 4 b19 * b93 + 4 b19 * b94 + 4 b19 * b95 + 4 b19 * b98 + 4 b19 * b99 + 4 b19 * b106 + 4 b19 * b107 + 4 b19 * b108 + 4 b19 * b109 + 4 b19 * b110 + 4 b19 * b113 + 4 b19 * b114 + 4 b19 * b116 + 4 b19 * b119 + 4 b19 * b120 + 4 b19 * b121 + 4 b19 * b122 + 4 b19 * b123 - 4 b19 * b129 - 4 b19 * b133 - 4 b19 * b138 - 4 b19 * b142 - 4 b19 * b153 - 4 b19 * b157 + 4 b19 * b169 + 4 b19 * b170 + 4 b19 * b171 - 4 b19 * b175 - 4 b19 * b177 - 4 b19 * b178 + 4 b19 * b179 - 4 b20 * b91 + 4 b20 * b93 + 4 b20 * b95 - 4 b20 * b96 - 4 b20 * b97 + 4 b20 * b99 - 4 b20 * b104 + 4 b20 * b107 - 4 b20 * b108 + 4 b20 * b110 + 4 b20 * b112 - 4 b20 * b125 - 4 b20 * b129 - 4 b20 * b131 - 4 b20 * b134 - 4 b20 * b138 - 4 b20 * b140 + 4 b20 * b143 + 4 b20 * b146 + 4 b20 * b147 + 4 b20 * b148 + 4 b20 * b149 + 4 b20 * b150 - 4 b20 * b153 - 4 b20 * b155 + 4 b20 * b169 + 4 b20 * b171 + 4 b20 * b172 - 4 b20 * b173 + 4 b20 * b176 + 4 b20 * b177 + 4 b21 * b89 + 4 b21 * b91 + 4 b21 * b94 + 4 b21 * b95 + 4 b21 * b96 + 4 b21 * b97 + 4 b21 * b98 + 4 b21 * b99 + 4 b21 * b100 + 4 b21 * b101 + 4 b21 * b102 + 4 b21 * b103 + 4 b21 * b104 + 4 b21 * b106 + 4 b21 * b107 + 4 b21 * b108 + 4 b21 * b109 + 4 b21 * b110 - 4 b21 * b112 + 4 b21 * b114 + 4 b21 * b115 + 4 b21 * b116 + 4 b21 * b117 + 4 b21 * b118 + 4 b21 * b120 + 4 b21 * b121 + 4 b21 * b122 - 4 b21 * b123 - 4 b21 * b138 - 4 b21 * b142 - 4 b21 * b146 - 4 b21 * b150 - 4 b21 * b153 - 4 b21 * b157 - 4 b21 * b159 - 4 b21 * b163 - 4 b21 * b164 - 4 b21 * b168 + 4 b21 * b169 + 4 b21 * b170 + 4 b21 * b171 - 4 b21 * b172 - 4 b21 * b175 - 4 b21 * b177 - 4 b21 * b178 + 4 b21 * b179 + 4 b22 * b90 + 4 b22 * b95 + 4 b22 * b99 + 4 b22 * b101 + 4 b22 * b103 + 4 b22 * b107 + 4 b22 * b110 - 4 b22 * b115 - 4 b22 * b119 - 4 b22 * b121 - 4 b22 * b134 - 4 b22 * b138 - 4 b22 * b140 + 4 b22 * b143 + 4 b22 * b144 + 4 b22 * b145 + 4 b22 * b147 + 4 b22 * b149 - 4 b22 * b153 - 4 b22 * b155 - 4 b22 * b159 - 4 b22 * b161 - 4 b22 * b164 - 4 b22 * b166 + 4 b22 * b169 + 4 b22 * b171 - 4 b22 * b173 + 4 b22 * b176 + 4 b23 * b89 + 4 b23 * b90 + 4 b23 * b96 + 4 b23 * b97 + 4 b23 * b100 + 4 b23 * b101 + 4 b23 * b102 + 4 b23 * b103 + 4 b23 * b106 + 4 b23 * b107 + 4 b23 * b109 + 4 b23 * b110 + 4 b23 * b111 + 4 b23 * b112 + 4 b23 * b115 + 4 b23 * b117 + 4 b23 * b118 - 4 b23 * b119 + 4 b23 * b120 + 4 b23 * b122 - 4 b23 * b146 - 4 b23 * b150 - 4 b23 * b159 - 4 b23 * b163 - 4 b23 * b164 - 4 b23 * b168 + 4 b23 * b169 + 4 b23 * b171 + 4 b23 * b172 - 4 b23 * b175 - 4 b23 * b178 + 4 b24 * b90 + 4 b24 * b97 + 4 b24 * b101 + 4 b24 * b103 + 4 b24 * b107 + 4 b24 * b110 + 4 b24 * b112 - 4 b24 * b115 - 4 b24 * b119 - 4 b24 * b121 + 4 b24 * b144 + 4 b24 * b145 - 4 b24 * b146 + 4 b24 * b147 - 4 b24 * b148 + 4 b24 * b149 + 4 b24 * b150 - 4 b24 * b159 - 4 b24 * b161 - 4 b24 * b164 - 4 b24 * b166 + 4 b24 * b169 + 4 b24 * b171 + 4 b24 * b172 - 4 b24 * b173 + 4 b24 * b176 + 4 b24 * b177 + 4 b25 * b94 + 4 b25 * b95 + 4 b25 * b100 + 4 b25 * b101 + 4 b25 * b106 + 4 b25 * b107 + 4 b25 * b114 + 4 b25 * b117 + 4 b25 * b120 - 4 b25 * b138 - 4 b25 * b142 - 4 b25 * b159 - 4 b25 * b163 + 4 b25 * b169 - 4 b25 * b175 + 4 b26 * b90 - 4 b26 * b91 + 4 b26 * b95 - 4 b26 * b96 - 4 b26 * b97 + 4 b26 * b101 - 4 b26 * b104 + 4 b26 * b107 - 4 b26 * b108 + 4 b26 * b112 - 4 b26 * b115 - 4 b26 * b119 - 4 b26 * b121 - 4 b26 * b134 - 4 b26 * b138 - 4 b26 * b140 + 4 b26 * b144 + 4 b26 * b146 + 4 b26 * b147 + 4 b26 * b150 - 4 b26 * b159 - 4 b26 * b161 + 4 b26 * b169 - 4 b26 * b170 + 4 b26 * b172 - 4 b26 * b173 + 4 b26 * b177 - 4 b26 * b179 - 4 b27 * b91 + 4 b27 * b92 + 4 b27 * b93 + 4 b27 * b94 + 4 b27 * b95 + 4 b27 * b97 + 4 b27 * b101 + 4 b27 * b103 + 4 b27 * b105 + 4 b27 * b106 + 4 b27 * b107 + 4 b27 * b109 + 4 b27 * b110 + 4 b27 * b111 + 4 b27 * b112 - 4 b27 * b125 - 4 b27 * b127 - 4 b27 * b128 - 4 b27 * b129 - 4 b27 * b134 - 4 b27 * b136 - 4 b27 * b137 - 4 b27 * b138 + 4 b27 * b147 + 4 b27 * b149 + 4 b27 * b150 + 4 b27 * b160 + 4 b27 * b162 + 4 b27 * b163 + 4 b27 * b165 + 4 b27 * b167 + 4 b27 * b168 + 4 b27 * b169 + 4 b27 * b171 + 4 b27 * b172 + 4 b28 * b92 + 4 b28 * b93 + 4 b28 * b94 + 4 b28 * b95 + 4 b28 * b96 + 4 b28 * b97 + 4 b28 * b98 + 4 b28 * b99 + 4 b28 * b102 + 4 b28 * b103 + 4 b28 * b104 + 4 b28 * b105 + 4 b28 * b106 + 4 b28 * b107 + 4 b28 * b108 + 4 b28 * b109 + 4 b28 * b110 - 4 b28 * b125 - 4 b28 * b127 - 4 b28 * b128 - 4 b28 * b129 - 4 b28 * b134 - 4 b28 * b136 - 4 b28 * b137 - 4 b28 * b138 + 4 b28 * b143 - 4 b28 * b144 + 4 b28 * b147 + 4 b28 * b148 + 4 b28 * b149 - 4 b28 * b151 - 4 b28 * b152 - 4 b28 * b153 + 4 b28 * b158 + 4 b28 * b159 + 4 b28 * b160 + 4 b28 * b161 + 4 b28 * b162 + 4 b28 * b165 + 4 b28 * b166 + 4 b28 * b167 + 4 b28 * b169 + 4 b28 * b170 + 4 b28 * b171 + 4 b28 * b179 + 4 b29 * b89 + 4 b29 * b90 + 4 b29 * b91 - 4 b29 * b97 + 4 b29 * b98 + 4 b29 * b99 + 4 b29 * b100 + 4 b29 * b102 + 4 b29 * b104 + 4 b29 * b106 + 4 b29 * b107 + 4 b29 * b108 + 4 b29 * b109 + 4 b29 * b110 + 4 b29 * b111 + 4 b29 * b112 - 4 b29 * b115 - 4 b29 * b117 - 4 b29 * b118 - 4 b29 * b119 + 4 b29 * b143 + 4 b29 * b144 + 4 b29 * b145 + 4 b29 * b146 + 4 b29 * b147 + 4 b29 * b148 + 4 b29 * b149 + 4 b29 * b150 - 4 b29 * b151 - 4 b29 * b152 - 4 b29 * b153 + 4 b29 * b160 + 4 b29 * b161 + 4 b29 * b162 + 4 b29 * b163 + 4 b29 * b165 + 4 b29 * b166 + 4 b29 * b167 + 4 b29 * b168 + 4 b29 * b169 + 4 b29 * b170 + 4 b29 * b171 + 4 b29 * b172 + 4 b29 * b179 - 4 b30 * b91 - 4 b30 * b96 - 4 b30 * b100 - 4 b30 * b102 - 4 b30 * b104 + 4 b30 * b108 + 4 b30 * b109 + 4 b30 * b110 + 4 b30 * b148 + 4 b30 * b149 + 4 b30 * b161 + 4 b30 * b162 + 4 b30 * b166 + 4 b30 * b167 + 4 b30 * b170 + 4 b30 * b171 + 4 b30 * b179 + 4 b31 * b91 - 4 b31 * b97 - 4 b31 * b101 - 4 b31 * b103 - 4 b31 * b105 + 4 b31 * b106 + 4 b31 * b107 + 4 b31 * b108 + 4 b31 * b147 + 4 b31 * b148 + 4 b31 * b160 + 4 b31 * b161 + 4 b31 * b165 + 4 b31 * b166 + 4 b31 * b169 + 4 b31 * b170 + 4 b31 * b179 + 4 b32 * b94 + 4 b32 * b95 + 4 b32 * b96 + 4 b32 * b97 + 4 b32 * b100 + 4 b32 * b101 + 4 b32 * b104 + 4 b32 * b105 + 4 b32 * b109 + 4 b32 * b110 + 4 b32 * b111 + 4 b32 * b112 - 4 b32 * b134 - 4 b32 * b136 - 4 b32 * b137 - 4 b32 * b138 - 4 b32 * b145 + 4 b32 * b149 + 4 b32 * b150 - 4 b32 * b158 + 4 b32 * b162 + 4 b32 * b163 + 4 b32 * b164 + 4 b32 * b167 + 4 b32 * b168 + 4 b32 * b171 + 4 b32 * b172 + 4 b33 * b91 - 4 b33 * b97 + 4 b33 * b98 + 4 b33 * b99 + 4 b33 * b100 - 4 b33 * b103 - 4 b33 * b105 + 4 b33 * b106 + 4 b33 * b107 + 4 b33 * b108 + 4 b33 * b111 + 4 b33 * b112 + 4 b33 * b143 + 4 b33 * b144 + 4 b33 * b147 + 4 b33 * b148 + 4 b33 * b150 - 4 b33 * b151 - 4 b33 * b152 - 4 b33 * b153 - 4 b33 * b158 - 4 b33 * b159 + 4 b33 * b160 + 4 b33 * b161 + 4 b33 * b163 + 4 b33 * b165 + 4 b33 * b166 + 4 b33 * b168 + 4 b33 * b169 + 4 b33 * b170 + 4 b33 * b172 + 4 b33 * b179 + 4 b34 * b92 + 4 b34 * b93 + 4 b34 * b94 + 4 b34 * b95 - 4 b34 * b96 - 4 b34 * b97 + 4 b34 * b98 + 4 b34 * b99 - 4 b34 * b100 - 4 b34 * b101 - 4 b34 * b102 - 4 b34 * b103 + 4 b34 * b106 + 4 b34 * b107 + 4 b34 * b108 + 4 b34 * b109 + 4 b34 * b110 + 4 b34 * b111 + 4 b34 * b112 - 4 b34 * b125 - 4 b34 * b127 - 4 b34 * b128 - 4 b34 * b129 - 4 b34 * b134 - 4 b34 * b136 - 4 b34 * b137 - 4 b34 * b138 + 4 b34 * b143 + 4 b34 * b146 + 4 b34 * b147 + 4 b34 * b148 + 4 b34 * b149 + 4 b34 * b150 - 4 b34 * b151 - 4 b34 * b152 - 4 b34 * b153 + 4 b34 * b159 + 4 b34 * b160 + 4 b34 * b161 + 4 b34 * b162 + 4 b34 * b163 + 4 b34 * b164 + 4 b34 * b165 + 4 b34 * b166 + 4 b34 * b167 + 4 b34 * b168 + 4 b34 * b169 + 4 b34 * b170 + 4 b34 * b171 + 4 b34 * b172 + 4 b34 * b179 + 4 b35 * b89 + 4 b35 * b90 + 4 b35 * b91 + 4 b35 * b94 + 4 b35 * b95 + 4 b35 * b96 + 4 b35 * b98 + 4 b35 * b99 + 4 b35 * b100 + 4 b35 * b102 + 4 b35 * b104 + 4 b35 * b106 + 4 b35 * b107 + 4 b35 * b108 + 4 b35 * b109 + 4 b35 * b110 - 4 b35 * b115 - 4 b35 * b117 - 4 b35 * b118 - 4 b35 * b119 - 4 b35 * b134 - 4 b35 * b136 - 4 b35 * b137 - 4 b35 * b138 + 4 b35 * b143 + 4 b35 * b147 + 4 b35 * b148 + 4 b35 * b149 - 4 b35 * b151 - 4 b35 * b152 - 4 b35 * b153 + 4 b35 * b160 + 4 b35 * b161 + 4 b35 * b162 + 4 b35 * b165 + 4 b35 * b166 + 4 b35 * b167 + 4 b35 * b169 + 4 b35 * b170 + 4 b35 * b171 + 4 b35 * b179 + 4 b36 * b89 + 4 b36 * b90 + 4 b36 * b96 + 4 b36 * b97 + 4 b36 * b100 + 4 b36 * b101 + 4 b36 * b102 + 4 b36 * b103 + 4 b36 * b106 + 4 b36 * b107 + 4 b36 * b109 + 4 b36 * b110 + 4 b36 * b111 + 4 b36 * b112 - 4 b36 * b115 - 4 b36 * b117 - 4 b36 * b118 - 4 b36 * b119 - 4 b36 * b146 + 4 b36 * b147 + 4 b36 * b149 + 4 b36 * b150 - 4 b36 * b159 + 4 b36 * b160 + 4 b36 * b162 + 4 b36 * b163 - 4 b36 * b164 + 4 b36 * b165 + 4 b36 * b167 + 4 b36 * b168 + 4 b36 * b169 + 4 b36 * b171 + 4 b36 * b172 + 4 b37 * b89 + 4 b37 * b90 + 4 b37 * b94 + 4 b37 * b95 - 4 b37 * b96 - 4 b37 * b97 - 4 b37 * b102 - 4 b37 * b103 + 4 b37 * b106 + 4 b37 * b107 + 4 b37 * b111 + 4 b37 * b112 - 4 b37 * b115 - 4 b37 * b117 - 4 b37 * b118 - 4 b37 * b119 - 4 b37 * b134 - 4 b37 * b136 - 4 b37 * b137 - 4 b37 * b138 + 4 b37 * b144 + 4 b37 * b146 + 4 b37 * b147 + 4 b37 * b150 - 4 b37 * b158 + 4 b37 * b160 + 4 b37 * b163 + 4 b37 * b164 + 4 b37 * b165 + 4 b37 * b168 + 4 b37 * b169 + 4 b37 * b172 + 4 b38 * b92 + 4 b38 * b94 + 4 b38 * b96 + 4 b38 * b98 + 4 b38 * b102 + 4 b38 * b104 + 4 b38 * b106 + 4 b38 * b108 + 4 b38 * b109 + 4 b38 * b126 - 4 b38 * b127 + 4 b38 * b131 - 4 b38 * b133 + 4 b38 * b135 - 4 b38 * b136 + 4 b38 * b140 - 4 b38 * b142 + 4 b38 * b143 - 4 b38 * b144 + 4 b38 * b148 - 4 b38 * b150 - 4 b38 * b151 - 4 b38 * b152 - 4 b38 * b153 - 4 b38 * b154 - 4 b38 * b156 - 4 b38 * b157 + 4 b38 * b158 + 4 b38 * b159 + 4 b38 * b160 + 4 b38 * b161 + 4 b38 * b162 + 4 b38 * b166 - 4 b38 * b168 + 4 b38 * b170 - 4 b38 * b172 + 4 b38 * b173 - 4 b38 * b175 - 4 b38 * b176 - 4 b38 * b177 - 4 b38 * b178 + 4 b39 * b89 + 4 b39 * b91 - 4 b39 * b93 - 4 b39 * b95 - 4 b39 * b97 + 4 b39 * b98 + 4 b39 * b100 - 4 b39 * b101 + 4 b39 * b102 - 4 b39 * b103 + 4 b39 * b104 - 4 b39 * b105 + 4 b39 * b106 - 4 b39 * b107 + 4 b39 * b108 + 4 b39 * b109 - 4 b39 * b110 + 4 b39 * b111 - 4 b39 * b112 - 4 b39 * b113 - 4 b39 * b114 - 4 b39 * b115 - 4 b39 * b117 - 4 b39 * b118 - 4 b39 * b119 - 4 b39 * b120 - 4 b39 * b122 - 4 b39 * b123 + 4 b39 * b126 + 4 b39 * b127 + 4 b39 * b128 + 4 b39 * b129 + 4 b39 * b130 + 4 b39 * b131 + 4 b39 * b132 + 4 b39 * b133 + 4 b39 * b135 + 4 b39 * b136 + 4 b39 * b137 + 4 b39 * b138 + 4 b39 * b139 + 4 b39 * b140 + 4 b39 * b141 + 4 b39 * b142 + 4 b39 * b143 + 4 b39 * b144 + 4 b39 * b145 + 4 b39 * b146 + 4 b39 * b147 + 4 b39 * b148 + 4 b39 * b149 + 4 b39 * b150 - 4 b39 * b151 - 4 b39 * b152 - 4 b39 * b153 - 4 b39 * b154 - 4 b39 * b156 - 4 b39 * b157 + 4 b39 * b161 + 4 b39 * b166 + 4 b39 * b170 + 4 b39 * b173 - 4 b39 * b176 - 4 b39 * b177 - 4 b40 * b92 - 4 b40 * b94 - 4 b40 * b96 - 4 b40 * b100 - 4 b40 * b102 - 4 b40 * b104 - 4 b40 * b106 + 4 b40 * b108 - 4 b40 * b111 + 4 b40 * b131 + 4 b40 * b132 + 4 b40 * b140 + 4 b40 * b141 + 4 b40 * b148 + 4 b40 * b149 + 4 b40 * b161 + 4 b40 * b162 + 4 b40 * b166 + 4 b40 * b167 + 4 b40 * b170 + 4 b40 * b171 + 4 b40 * b173 + 4 b40 * b174 - 4 b40 * b176 - 4 b40 * b177 - 4 b40 * b178 + 4 b41 * b91 - 4 b41 * b93 - 4 b41 * b95 - 4 b41 * b97 - 4 b41 * b101 - 4 b41 * b103 - 4 b41 * b105 + 4 b41 * b106 - 4 b41 * b107 + 4 b41 * b108 - 4 b41 * b110 - 4 b41 * b112 + 4 b41 * b130 + 4 b41 * b131 + 4 b41 * b139 + 4 b41 * b140 + 4 b41 * b147 + 4 b41 * b148 + 4 b41 * b160 + 4 b41 * b161 + 4 b41 * b165 + 4 b41 * b166 + 4 b41 * b169 + 4 b41 * b170 + 4 b41 * b173 - 4 b41 * b174 - 4 b41 * b175 - 4 b41 * b176 - 4 b41 * b177 + 4 b42 * b94 + 4 b42 * b96 + 4 b42 * b100 + 4 b42 * b104 + 4 b42 * b109 + 4 b42 * b111 + 4 b42 * b124 + 4 b42 * b125 + 4 b42 * b127 + 4 b42 * b129 + 4 b42 * b132 + 4 b42 * b133 - 4 b42 * b137 - 4 b42 * b139 - 4 b42 * b145 - 4 b42 * b147 - 4 b42 * b158 - 4 b42 * b160 + 4 b42 * b164 + 4 b42 * b167 + 4 b42 * b168 - 4 b42 * b169 + 4 b42 * b174 + 4 b42 * b175 + 4 b43 * b91 - 4 b43 * b93 - 4 b43 * b95 - 4 b43 * b97 + 4 b43 * b98 + 4 b43 * b100 - 4 b43 * b101 - 4 b43 * b103 - 4 b43 * b105 + 4 b43 * b106 - 4 b43 * b107 + 4 b43 * b108 - 4 b43 * b110 + 4 b43 * b111 - 4 b43 * b112 + 4 b43 * b126 + 4 b43 * b127 + 4 b43 * b130 + 4 b43 * b131 + 4 b43 * b133 + 4 b43 * b135 + 4 b43 * b136 + 4 b43 * b139 + 4 b43 * b140 + 4 b43 * b142 + 4 b43 * b143 + 4 b43 * b144 + 4 b43 * b147 + 4 b43 * b148 + 4 b43 * b150 - 4 b43 * b151 - 4 b43 * b152 - 4 b43 * b153 - 4 b43 * b154 - 4 b43 * b156 - 4 b43 * b157 - 4 b43 * b158 - 4 b43 * b159 + 4 b43 * b161 - 4 b43 * b162 + 4 b43 * b165 + 4 b43 * b166 + 4 b43 * b168 + 4 b43 * b169 + 4 b43 * b170 + 4 b43 * b172 + 4 b43 * b173 - 4 b43 * b174 - 4 b43 * b176 - 4 b43 * b177 + 4 b43 * b178 + 4 b44 * b91 - 4 b44 * b93 - 4 b44 * b95 - 4 b44 * b96 - 4 b44 * b97 + 4 b44 * b98 - 4 b44 * b100 - 4 b44 * b101 - 4 b44 * b102 - 4 b44 * b103 - 4 b44 * b105 - 4 b44 * b107 + 4 b44 * b108 - 4 b44 * b110 - 4 b44 * b112 - 4 b44 * b125 + 4 b44 * b126 - 4 b44 * b127 - 4 b44 * b128 + 4 b44 * b131 - 4 b44 * b134 + 4 b44 * b135 - 4 b44 * b136 - 4 b44 * b137 + 4 b44 * b140 + 4 b44 * b143 + 4 b44 * b146 + 4 b44 * b147 + 4 b44 * b148 + 4 b44 * b149 + 4 b44 * b150 - 4 b44 * b151 - 4 b44 * b152 - 4 b44 * b153 - 4 b44 * b154 - 4 b44 * b156 - 4 b44 * b157 + 4 b44 * b159 + 4 b44 * b160 + 4 b44 * b161 + 4 b44 * b162 + 4 b44 * b163 + 4 b44 * b164 + 4 b44 * b165 + 4 b44 * b166 + 4 b44 * b167 + 4 b44 * b168 + 4 b44 * b170 + 4 b44 * b173 - 4 b44 * b176 - 4 b44 * b177 + 4 b45 * b89 + 4 b45 * b91 - 4 b45 * b93 + 4 b45 * b94 - 4 b45 * b95 + 4 b45 * b96 - 4 b45 * b97 + 4 b45 * b98 + 4 b45 * b100 - 4 b45 * b101 + 4 b45 * b102 - 4 b45 * b103 + 4 b45 * b104 - 4 b45 * b105 + 4 b45 * b106 - 4 b45 * b107 + 4 b45 * b108 + 4 b45 * b109 - 4 b45 * b110 - 4 b45 * b112 - 4 b45 * b113 - 4 b45 * b114 - 4 b45 * b115 - 4 b45 * b117 - 4 b45 * b118 - 4 b45 * b119 - 4 b45 * b120 - 4 b45 * b122 - 4 b45 * b123 + 4 b45 * b124 + 4 b45 * b125 + 4 b45 * b126 + 4 b45 * b127 + 4 b45 * b128 + 4 b45 * b129 + 4 b45 * b130 + 4 b45 * b131 + 4 b45 * b132 + 4 b45 * b135 + 4 b45 * b140 - 4 b45 * b142 + 4 b45 * b143 + 4 b45 * b148 - 4 b45 * b150 - 4 b45 * b151 - 4 b45 * b152 - 4 b45 * b153 - 4 b45 * b154 - 4 b45 * b156 - 4 b45 * b157 + 4 b45 * b161 - 4 b45 * b163 + 4 b45 * b166 - 4 b45 * b168 + 4 b45 * b170 - 4 b45 * b172 + 4 b45 * b173 - 4 b45 * b175 - 4 b45 * b176 - 4 b45 * b177 - 4 b45 * b178 + 4 b46 * b89 + 4 b46 * b96 + 4 b46 * b100 + 4 b46 * b102 + 4 b46 * b106 + 4 b46 * b109 + 4 b46 * b111 - 4 b46 * b113 - 4 b46 * b114 - 4 b46 * b115 - 4 b46 * b117 - 4 b46 * b118 - 4 b46 * b119 - 4 b46 * b120 - 4 b46 * b122 - 4 b46 * b123 + 4 b46 * b125 + 4 b46 * b127 + 4 b46 * b128 + 4 b46 * b130 + 4 b46 * b132 + 4 b46 * b133 + 4 b46 * b134 + 4 b46 * b136 + 4 b46 * b137 + 4 b46 * b139 + 4 b46 * b141 + 4 b46 * b142 - 4 b46 * b146 - 4 b46 * b159 - 4 b46 * b164 + 4 b46 * b169 + 4 b46 * b171 + 4 b46 * b172 + 4 b47 * b89 + 4 b47 * b91 - 4 b47 * b92 - 4 b47 * b93 - 4 b47 * b95 - 4 b47 * b96 - 4 b47 * b97 - 4 b47 * b101 - 4 b47 * b102 - 4 b47 * b103 - 4 b47 * b105 - 4 b47 * b107 - 4 b47 * b109 - 4 b47 * b110 - 4 b47 * b112 - 4 b47 * b113 - 4 b47 * b114 - 4 b47 * b115 - 4 b47 * b117 - 4 b47 * b118 - 4 b47 * b119 - 4 b47 * b120 - 4 b47 * b122 - 4 b47 * b123 + 4 b47 * b124 + 4 b47 * b127 + 4 b47 * b129 + 4 b47 * b130 + 4 b47 * b133 - 4 b47 * b134 - 4 b47 * b137 - 4 b47 * b141 + 4 b47 * b144 + 4 b47 * b146 + 4 b47 * b147 + 4 b47 * b150 - 4 b47 * b158 - 4 b47 * b162 + 4 b47 * b164 + 4 b47 * b165 + 4 b47 * b168 - 4 b47 * b171 - 4 b47 * b174 + 4 b47 * b178 - 4 b48 * b93 - 4 b48 * b95 - 4 b48 * b97 - 4 b48 * b99 - 4 b48 * b103 - 4 b48 * b105 - 4 b48 * b107 - 4 b48 * b110 - 4 b48 * b113 - 4 b48 * b114 - 4 b48 * b115 - 4 b48 * b116 - 4 b48 * b118 - 4 b48 * b119 - 4 b48 * b120 - 4 b48 * b121 - 4 b48 * b122 + 4 b48 * b126 + 4 b48 * b127 + 4 b48 * b128 + 4 b48 * b129 + 4 b48 * b130 + 4 b48 * b131 + 4 b48 * b132 + 4 b48 * b133 + 4 b48 * b135 + 4 b48 * b136 + 4 b48 * b137 + 4 b48 * b138 + 4 b48 * b139 + 4 b48 * b140 + 4 b48 * b141 + 4 b48 * b142 + 4 b48 * b143 + 4 b48 * b144 + 4 b48 * b145 + 4 b48 * b146 + 4 b48 * b147 + 4 b48 * b148 + 4 b48 * b149 + 4 b48 * b150 + 4 b48 * b151 + 4 b48 * b157 - 4 b48 * b158 - 4 b48 * b159 - 4 b48 * b160 - 4 b48 * b161 - 4 b48 * b162 + 4 b48 * b168 + 4 b48 * b172 + 4 b48 * b175 + 4 b48 * b177 + 4 b48 * b178 - 4 b48 * b179 - 4 b49 * b92 - 4 b49 * b94 - 4 b49 * b96 - 4 b49 * b98 - 4 b49 * b102 - 4 b49 * b104 - 4 b49 * b106 - 4 b49 * b108 - 4 b49 * b109 + 4 b49 * b131 + 4 b49 * b132 + 4 b49 * b140 + 4 b49 * b141 + 4 b49 * b148 + 4 b49 * b149 + 4 b49 * b155 + 4 b49 * b156 + 4 b49 * b166 + 4 b49 * b167 + 4 b49 * b170 + 4 b49 * b171 + 4 b49 * b173 + 4 b49 * b174 - 4 b50 * b93 - 4 b50 * b95 - 4 b50 * b97 - 4 b50 * b99 - 4 b50 * b103 - 4 b50 * b105 - 4 b50 * b107 - 4 b50 * b110 + 4 b50 * b130 + 4 b50 * b131 + 4 b50 * b139 + 4 b50 * b140 + 4 b50 * b147 + 4 b50 * b148 + 4 b50 * b154 + 4 b50 * b155 + 4 b50 * b165 + 4 b50 * b166 + 4 b50 * b169 + 4 b50 * b170 - 4 b50 * b174 - 4 b50 * b176 - 4 b50 * b179 + 4 b51 * b124 + 4 b51 * b125 + 4 b51 * b127 + 4 b51 * b129 + 4 b51 * b132 + 4 b51 * b133 - 4 b51 * b135 + 4 b51 * b136 - 4 b51 * b137 - 4 b51 * b139 - 4 b51 * b140 + 4 b51 * b142 - 4 b51 * b143 + 4 b51 * b144 - 4 b51 * b145 - 4 b51 * b147 - 4 b51 * b148 + 4 b51 * b150 + 4 b51 * b151 + 4 b51 * b153 + 4 b51 * b156 + 4 b51 * b157 - 4 b51 * b158 - 4 b51 * b159 - 4 b51 * b160 - 4 b51 * b161 - 4 b51 * b162 + 4 b51 * b164 + 4 b51 * b167 + 4 b51 * b168 - 4 b51 * b169 - 4 b51 * b170 + 4 b51 * b172 + 4 b51 * b174 + 4 b51 * b175 + 4 b51 * b176 + 4 b51 * b177 + 4 b51 * b178 - 4 b52 * b93 - 4 b52 * b95 - 4 b52 * b97 - 4 b52 * b99 - 4 b52 * b103 - 4 b52 * b105 - 4 b52 * b107 - 4 b52 * b110 + 4 b52 * b126 + 4 b52 * b127 + 4 b52 * b130 + 4 b52 * b131 + 4 b52 * b133 + 4 b52 * b135 + 4 b52 * b136 + 4 b52 * b139 + 4 b52 * b140 + 4 b52 * b142 + 4 b52 * b143 + 4 b52 * b144 + 4 b52 * b147 + 4 b52 * b148 + 4 b52 * b150 + 4 b52 * b151 - 4 b52 * b152 - 4 b52 * b153 - 4 b52 * b156 + 4 b52 * b157 - 4 b52 * b158 - 4 b52 * b159 - 4 b52 * b160 - 4 b52 * b161 - 4 b52 * b162 + 4 b52 * b165 + 4 b52 * b166 + 4 b52 * b168 + 4 b52 * b169 + 4 b52 * b170 + 4 b52 * b172 - 4 b52 * b174 + 4 b52 * b175 - 4 b52 * b176 + 4 b52 * b177 + 4 b52 * b178 - 4 b52 * b179 - 4 b53 * b92 - 4 b53 * b93 - 4 b53 * b94 - 4 b53 * b95 - 4 b53 * b96 - 4 b53 * b97 - 4 b53 * b98 - 4 b53 * b99 - 4 b53 * b102 - 4 b53 * b103 - 4 b53 * b104 - 4 b53 * b105 - 4 b53 * b106 - 4 b53 * b107 - 4 b53 * b108 - 4 b53 * b109 - 4 b53 * b110 - 4 b53 * b125 - 4 b53 * b128 + 4 b53 * b133 - 4 b53 * b134 - 4 b53 * b137 + 4 b53 * b142 + 4 b53 * b143 + 4 b53 * b146 + 4 b53 * b147 + 4 b53 * b148 + 4 b53 * b149 + 4 b53 * b150 - 4 b53 * b152 + 4 b53 * b157 + 4 b53 * b164 + 4 b53 * b165 + 4 b53 * b166 + 4 b53 * b167 + 4 b53 * b168 + 4 b53 * b172 + 4 b53 * b175 + 4 b53 * b177 + 4 b53 * b178 - 4 b53 * b179 - 4 b54 * b93 - 4 b54 * b95 - 4 b54 * b97 - 4 b54 * b99 - 4 b54 * b103 - 4 b54 * b105 - 4 b54 * b107 - 4 b54 * b110 - 4 b54 * b113 - 4 b54 * b114 - 4 b54 * b115 - 4 b54 * b116 - 4 b54 * b118 - 4 b54 * b119 - 4 b54 * b120 - 4 b54 * b121 - 4 b54 * b122 + 4 b54 * b124 + 4 b54 * b125 + 4 b54 * b126 + 4 b54 * b127 + 4 b54 * b128 + 4 b54 * b129 + 4 b54 * b130 + 4 b54 * b131 + 4 b54 * b132 + 4 b54 * b136 + 4 b54 * b144 + 4 b54 * b151 - 4 b54 * b158 - 4 b54 * b159 - 4 b54 * b160 - 4 b54 * b161 - 4 b54 * b162 - 4 b54 * b179 - 4 b55 * b113 - 4 b55 * b114 - 4 b55 * b115 - 4 b55 * b116 - 4 b55 * b118 - 4 b55 * b119 - 4 b55 * b120 - 4 b55 * b121 - 4 b55 * b122 + 4 b55 * b125 + 4 b55 * b127 + 4 b55 * b128 + 4 b55 * b130 + 4 b55 * b132 + 4 b55 * b133 + 4 b55 * b134 + 4 b55 * b136 + 4 b55 * b137 + 4 b55 * b139 + 4 b55 * b141 + 4 b55 * b142 - 4 b55 * b143 + 4 b55 * b144 - 4 b55 * b146 - 4 b55 * b148 + 4 b55 * b150 + 4 b55 * b151 + 4 b55 * b152 + 4 b55 * b154 + 4 b55 * b156 + 4 b55 * b157 - 4 b55 * b158 - 4 b55 * b159 - 4 b55 * b160 - 4 b55 * b161 - 4 b55 * b162 - 4 b55 * b164 - 4 b55 * b166 + 4 b55 * b168 + 4 b55 * b169 + 4 b55 * b171 + 4 b55 * b172 - 4 b55 * b173 + 4 b55 * b175 + 4 b55 * b176 + 4 b55 * b177 + 4 b55 * b178 - 4 b56 * b92 - 4 b56 * b93 - 4 b56 * b94 - 4 b56 * b95 - 4 b56 * b96 - 4 b56 * b97 - 4 b56 * b98 - 4 b56 * b99 - 4 b56 * b102 - 4 b56 * b103 - 4 b56 * b104 - 4 b56 * b105 - 4 b56 * b106 - 4 b56 * b107 - 4 b56 * b108 - 4 b56 * b109 - 4 b56 * b110 - 4 b56 * b113 - 4 b56 * b114 - 4 b56 * b115 - 4 b56 * b116 - 4 b56 * b118 - 4 b56 * b119 - 4 b56 * b120 - 4 b56 * b121 - 4 b56 * b122 + 4 b56 * b124 + 4 b56 * b127 + 4 b56 * b129 + 4 b56 * b130 + 4 b56 * b133 - 4 b56 * b134 - 4 b56 * b135 + 4 b56 * b136 - 4 b56 * b137 - 4 b56 * b140 - 4 b56 * b141 + 4 b56 * b142 + 4 b56 * b144 + 4 b56 * b146 + 4 b56 * b147 + 4 b56 * b150 + 4 b56 * b151 + 4 b56 * b153 + 4 b56 * b154 + 4 b56 * b157 - 4 b56 * b158 - 4 b56 * b159 - 4 b56 * b160 - 4 b56 * b161 - 4 b56 * b162 + 4 b56 * b164 + 4 b56 * b165 + 4 b56 * b168 - 4 b56 * b170 - 4 b56 * b171 + 4 b56 * b172 - 4 b56 * b173 - 4 b56 * b174 + 4 b56 * b175 + 4 b56 * b177 + 4 b56 * b178 - 4 b56 * b179 - 4 b57 * b89 - 4 b57 * b91 - 4 b57 * b98 - 4 b57 * b100 - 4 b57 * b102 - 4 b57 * b104 - 4 b57 * b106 - 4 b57 * b108 - 4 b57 * b109 + 4 b57 * b110 - 4 b57 * b111 + 4 b57 * b121 + 4 b57 * b122 + 4 b57 * b155 + 4 b57 * b156 + 4 b57 * b161 + 4 b57 * b162 + 4 b57 * b166 + 4 b57 * b167 + 4 b57 * b170 + 4 b57 * b171 + 4 b57 * b173 + 4 b57 * b174 - 4 b57 * b177 - 4 b57 * b178 + 4 b57 * b179 - 4 b58 * b90 - 4 b58 * b99 - 4 b58 * b101 - 4 b58 * b103 - 4 b58 * b105 - 4 b58 * b110 - 4 b58 * b112 + 4 b58 * b120 + 4 b58 * b121 + 4 b58 * b154 + 4 b58 * b155 + 4 b58 * b160 + 4 b58 * b161 + 4 b58 * b165 + 4 b58 * b166 + 4 b58 * b169 + 4 b58 * b170 - 4 b58 * b174 - 4 b58 * b175 - 4 b58 * b176 - 4 b58 * b177 + 4 b59 * b95 + 4 b59 * b97 + 4 b59 * b101 + 4 b59 * b105 + 4 b59 * b110 + 4 b59 * b112 + 4 b59 * b114 + 4 b59 * b115 + 4 b59 * b117 + 4 b59 * b119 + 4 b59 * b122 + 4 b59 * b123 - 4 b59 * b135 - 4 b59 * b136 - 4 b59 * b137 - 4 b59 * b138 - 4 b59 * b139 - 4 b59 * b140 - 4 b59 * b141 - 4 b59 * b142 - 4 b59 * b143 - 4 b59 * b144 - 4 b59 * b145 - 4 b59 * b146 - 4 b59 * b147 - 4 b59 * b148 - 4 b59 * b149 - 4 b59 * b150 + 4 b59 * b151 + 4 b59 * b153 + 4 b59 * b156 + 4 b59 * b157 - 4 b59 * b158 - 4 b59 * b160 - 4 b59 * b161 + 4 b59 * b164 + 4 b59 * b167 + 4 b59 * b168 - 4 b59 * b169 - 4 b59 * b170 + 4 b59 * b174 + 4 b59 * b175 + 4 b59 * b176 + 4 b59 * b177 - 4 b60 * b89 - 4 b60 * b90 - 4 b60 * b91 + 4 b60 * b93 + 4 b60 * b95 - 4 b60 * b98 - 4 b60 * b100 - 4 b60 * b101 - 4 b60 * b102 - 4 b60 * b103 - 4 b60 * b104 - 4 b60 * b106 - 4 b60 * b108 - 4 b60 * b109 - 4 b60 * b111 + 4 b60 * b113 + 4 b60 * b114 + 4 b60 * b116 + 4 b60 * b119 + 4 b60 * b120 + 4 b60 * b121 + 4 b60 * b122 + 4 b60 * b123 - 4 b60 * b126 - 4 b60 * b127 - 4 b60 * b128 - 4 b60 * b129 - 4 b60 * b130 - 4 b60 * b131 - 4 b60 * b132 - 4 b60 * b133 - 4 b60 * b135 - 4 b60 * b136 - 4 b60 * b137 - 4 b60 * b138 - 4 b60 * b139 - 4 b60 * b140 - 4 b60 * b141 - 4 b60 * b142 - 4 b60 * b151 - 4 b60 * b152 + 4 b60 * b159 + 4 b60 * b160 + 4 b60 * b161 + 4 b60 * b162 + 4 b60 * b163 + 4 b60 * b164 + 4 b60 * b165 + 4 b60 * b166 + 4 b60 * b167 + 4 b60 * b168 + 4 b61 * b95 + 4 b61 * b97 - 4 b61 * b112 + 4 b61 * b114 + 4 b61 * b115 - 4 b61 * b123 - 4 b61 * b135 - 4 b61 * b136 - 4 b61 * b137 - 4 b61 * b138 - 4 b61 * b139 - 4 b61 * b140 - 4 b61 * b141 - 4 b61 * b142 - 4 b61 * b143 - 4 b61 * b144 - 4 b61 * b145 - 4 b61 * b146 - 4 b61 * b147 - 4 b61 * b148 - 4 b61 * b149 - 4 b61 * b150 - 4 b61 * b157 - 4 b61 * b163 - 4 b61 * b168 - 4 b61 * b172 - 4 b61 * b175 - 4 b61 * b177 - 4 b61 * b178 + 4 b62 * b90 + 4 b62 * b97 + 4 b62 * b101 + 4 b62 * b103 + 4 b62 * b107 + 4 b62 * b110 + 4 b62 * b112 + 4 b62 * b115 - 4 b62 * b116 - 4 b62 * b119 - 4 b62 * b121 - 4 b62 * b143 - 4 b62 * b144 - 4 b62 * b145 - 4 b62 * b146 - 4 b62 * b147 - 4 b62 * b148 - 4 b62 * b149 - 4 b62 * b150 + 4 b62 * b151 + 4 b62 * b152 + 4 b62 * b154 + 4 b62 * b156 + 4 b62 * b157 - 4 b62 * b159 - 4 b62 * b161 - 4 b62 * b164 - 4 b62 * b166 + 4 b62 * b169 + 4 b62 * b171 + 4 b62 * b172 - 4 b62 * b173 + 4 b62 * b176 + 4 b62 * b177 - 4 b63 * b89 - 4 b63 * b91 + 4 b63 * b95 - 4 b63 * b98 - 4 b63 * b99 - 4 b63 * b100 - 4 b63 * b102 - 4 b63 * b103 - 4 b63 * b104 - 4 b63 * b106 - 4 b63 * b108 - 4 b63 * b109 - 4 b63 * b110 - 4 b63 * b111 + 4 b63 * b114 - 4 b63 * b116 - 4 b63 * b118 - 4 b63 * b121 - 4 b63 * b122 - 4 b63 * b135 - 4 b63 * b136 - 4 b63 * b137 - 4 b63 * b138 - 4 b63 * b139 - 4 b63 * b140 - 4 b63 * b141 - 4 b63 * b142 + 4 b63 * b151 + 4 b63 * b153 + 4 b63 * b154 + 4 b63 * b157 - 4 b63 * b158 - 4 b63 * b161 - 4 b63 * b162 + 4 b63 * b164 + 4 b63 * b165 + 4 b63 * b168 - 4 b63 * b170 - 4 b63 * b171 - 4 b63 * b173 - 4 b63 * b174 + 4 b63 * b177 + 4 b63 * b178 - 4 b63 * b179 + 4 b64 * b91 + 4 b64 * b106 + 4 b64 * b108 - 4 b64 * b110 - 4 b64 * b173 - 4 b64 * b174 - 4 b64 * b176 - 4 b64 * b179 + 4 b65 * b94 + 4 b65 * b96 + 4 b65 * b100 + 4 b65 * b104 + 4 b65 * b109 + 4 b65 * b111 - 4 b65 * b140 - 4 b65 * b141 - 4 b65 * b148 - 4 b65 * b149 - 4 b65 * b161 - 4 b65 * b162 - 4 b65 * b170 - 4 b65 * b171 + 4 b65 * b176 + 4 b65 * b177 + 4 b65 * b178 + 4 b66 * b91 + 4 b66 * b98 + 4 b66 * b100 + 4 b66 * b106 + 4 b66 * b108 - 4 b66 * b110 + 4 b66 * b111 - 4 b66 * b155 - 4 b66 * b156 - 4 b66 * b161 - 4 b66 * b162 - 4 b66 * b173 - 4 b66 * b174 - 4 b66 * b176 + 4 b66 * b177 + 4 b66 * b178 - 4 b66 * b179 + 4 b67 * b91 + 4 b67 * b92 + 4 b67 * b94 + 4 b67 * b98 + 4 b67 * b104 + 4 b67 * b106 - 4 b67 * b110 + 4 b67 * b111 - 4 b67 * b131 - 4 b67 * b132 - 4 b67 * b140 - 4 b67 * b141 - 4 b67 * b155 - 4 b67 * b156 - 4 b67 * b170 - 4 b67 * b171 - 4 b67 * b173 - 4 b67 * b174 + 4 b67 * b177 + 4 b67 * b178 - 4 b67 * b179 + 4 b68 * b89 + 4 b68 * b91 + 4 b68 * b94 + 4 b68 * b96 + 4 b68 * b98 + 4 b68 * b100 + 4 b68 * b102 + 4 b68 * b104 + 4 b68 * b106 + 4 b68 * b108 + 4 b68 * b109 - 4 b68 * b110 - 4 b68 * b121 - 4 b68 * b122 - 4 b68 * b140 - 4 b68 * b141 - 4 b68 * b148 - 4 b68 * b149 - 4 b68 * b155 - 4 b68 * b156 - 4 b68 * b161 - 4 b68 * b162 - 4 b68 * b166 - 4 b68 * b167 - 4 b68 * b170 - 4 b68 * b171 - 4 b68 * b173 - 4 b68 * b174 - 4 b68 * b179 + 4 b69 * b89 + 4 b69 * b91 + 4 b69 * b94 + 4 b69 * b100 + 4 b69 * b104 + 4 b69 * b106 - 4 b69 * b108 - 4 b69 * b109 - 4 b69 * b110 + 4 b69 * b111 - 4 b69 * b121 - 4 b69 * b122 - 4 b69 * b140 - 4 b69 * b141 - 4 b69 * b161 - 4 b69 * b162 - 4 b69 * b170 - 4 b69 * b171 - 4 b69 * b173 - 4 b69 * b174 + 4 b69 * b177 + 4 b69 * b178 - 4 b69 * b179 + 4 b70 * b95 + 4 b70 * b97 + 4 b70 * b101 + 4 b70 * b105 + 4 b70 * b110 + 4 b70 * b112 - 4 b70 * b139 - 4 b70 * b140 - 4 b70 * b147 - 4 b70 * b148 - 4 b70 * b160 - 4 b70 * b161 - 4 b70 * b169 - 4 b70 * b170 + 4 b70 * b174 + 4 b70 * b175 + 4 b70 * b176 + 4 b70 * b177 + 4 b71 * b99 + 4 b71 * b101 + 4 b71 * b112 - 4 b71 * b154 - 4 b71 * b155 - 4 b71 * b160 - 4 b71 * b161 + 4 b71 * b175 + 4 b71 * b177 - 4 b72 * b91 + 4 b72 * b93 + 4 b72 * b95 + 4 b72 * b99 + 4 b72 * b105 - 4 b72 * b106 - 4 b72 * b108 + 4 b72 * b110 + 4 b72 * b112 - 4 b72 * b130 - 4 b72 * b131 - 4 b72 * b139 - 4 b72 * b140 - 4 b72 * b154 - 4 b72 * b155 - 4 b72 * b169 - 4 b72 * b170 + 4 b72 * b174 + 4 b72 * b175 + 4 b72 * b176 + 4 b72 * b177 + 4 b73 * b90 + 4 b73 * b95 + 4 b73 * b97 + 4 b73 * b99 + 4 b73 * b101 + 4 b73 * b103 + 4 b73 * b105 + 4 b73 * b110 - 4 b73 * b120 - 4 b73 * b121 - 4 b73 * b139 - 4 b73 * b140 - 4 b73 * b147 - 4 b73 * b148 - 4 b73 * b154 - 4 b73 * b155 - 4 b73 * b160 - 4 b73 * b161 - 4 b73 * b165 - 4 b73 * b166 - 4 b73 * b169 - 4 b73 * b170 + 4 b73 * b174 + 4 b73 * b176 + 4 b74 * b90 + 4 b74 * b97 + 4 b74 * b101 + 4 b74 * b103 + 4 b74 * b107 + 4 b74 * b110 + 4 b74 * b112 - 4 b74 * b120 - 4 b74 * b121 - 4 b74 * b147 - 4 b74 * b148 - 4 b74 * b160 - 4 b74 * b161 - 4 b74 * b165 - 4 b74 * b166 - 4 b74 * b173 + 4 b74 * b174 + 4 b74 * b175 + 4 b74 * b176 + 4 b74 * b177 + 4 b75 * b90 - 4 b75 * b91 + 4 b75 * b95 + 4 b75 * b101 + 4 b75 * b105 - 4 b75 * b106 - 4 b75 * b108 + 4 b75 * b112 - 4 b75 * b120 - 4 b75 * b121 - 4 b75 * b139 - 4 b75 * b140 - 4 b75 * b160 - 4 b75 * b161 - 4 b75 * b169 - 4 b75 * b170 - 4 b75 * b173 + 4 b75 * b175 + 4 b75 * b177 - 4 b75 * b179 - 4 b76 * b94 - 4 b76 * b95 - 4 b76 * b96 - 4 b76 * b97 - 4 b76 * b100 - 4 b76 * b101 - 4 b76 * b104 - 4 b76 * b105 - 4 b76 * b109 - 4 b76 * b110 - 4 b76 * b111 - 4 b76 * b112 - 4 b76 * b124 - 4 b76 * b125 - 4 b76 * b127 - 4 b76 * b129 - 4 b76 * b132 - 4 b76 * b133 - 4 b76 * b134 + 4 b76 * b135 - 4 b76 * b136 + 4 b76 * b139 + 4 b76 * b140 + 4 b76 * b143 + 4 b76 * b146 + 4 b76 * b147 + 4 b76 * b148 + 4 b76 * b149 + 4 b76 * b150 - 4 b76 * b151 - 4 b76 * b153 - 4 b76 * b156 - 4 b76 * b157 + 4 b76 * b159 + 4 b76 * b160 + 4 b76 * b161 + 4 b76 * b162 + 4 b76 * b163 + 4 b76 * b169 + 4 b76 * b170 - 4 b76 * b174 - 4 b76 * b175 - 4 b76 * b176 - 4 b76 * b177 - 4 b77 * b95 - 4 b77 * b97 - 4 b77 * b101 - 4 b77 * b105 - 4 b77 * b110 - 4 b77 * b112 - 4 b77 * b114 - 4 b77 * b115 - 4 b77 * b117 - 4 b77 * b119 - 4 b77 * b122 - 4 b77 * b123 + 4 b77 * b135 + 4 b77 * b137 + 4 b77 * b139 + 4 b77 * b140 - 4 b77 * b142 + 4 b77 * b143 + 4 b77 * b145 + 4 b77 * b147 + 4 b77 * b148 - 4 b77 * b150 - 4 b77 * b151 - 4 b77 * b153 - 4 b77 * b156 - 4 b77 * b157 + 4 b77 * b158 + 4 b77 * b160 + 4 b77 * b161 - 4 b77 * b163 - 4 b77 * b164 - 4 b77 * b167 - 4 b77 * b168 + 4 b77 * b169 + 4 b77 * b170 - 4 b77 * b172 - 4 b77 * b174 - 4 b77 * b175 - 4 b77 * b176 - 4 b77 * b177 - 4 b77 * b178 - 4 b78 * b94 - 4 b78 * b95 - 4 b78 * b96 - 4 b78 * b97 - 4 b78 * b100 - 4 b78 * b101 - 4 b78 * b104 - 4 b78 * b105 - 4 b78 * b109 - 4 b78 * b110 - 4 b78 * b111 - 4 b78 * b112 - 4 b78 * b114 - 4 b78 * b115 - 4 b78 * b117 - 4 b78 * b119 - 4 b78 * b122 - 4 b78 * b123 - 4 b78 * b134 + 4 b78 * b139 - 4 b78 * b141 + 4 b78 * b144 + 4 b78 * b146 + 4 b78 * b147 + 4 b78 * b150 + 4 b78 * b160 - 4 b78 * b162 + 4 b78 * b169 - 4 b78 * b171 - 4 b78 * b174 - 4 b78 * b175 + 4 b78 * b178 - 4 b79 * b91 + 4 b79 * b93 + 4 b79 * b95 - 4 b79 * b98 - 4 b79 * b100 - 4 b79 * b101 + 4 b79 * b105 - 4 b79 * b106 - 4 b79 * b108 + 4 b79 * b110 - 4 b79 * b111 - 4 b79 * b126 - 4 b79 * b127 - 4 b79 * b130 - 4 b79 * b131 - 4 b79 * b133 - 4 b79 * b135 - 4 b79 * b136 - 4 b79 * b139 - 4 b79 * b140 - 4 b79 * b142 - 4 b79 * b151 + 4 b79 * b153 + 4 b79 * b156 + 4 b79 * b159 + 4 b79 * b160 + 4 b79 * b161 + 4 b79 * b162 + 4 b79 * b163 - 4 b79 * b169 - 4 b79 * b170 - 4 b79 * b172 + 4 b79 * b174 + 4 b79 * b176 - 4 b79 * b178 + 4 b80 * b90 + 4 b80 * b95 + 4 b80 * b97 + 4 b80 * b103 + 4 b80 * b105 + 4 b80 * b110 - 4 b80 * b112 - 4 b80 * b116 - 4 b80 * b117 - 4 b80 * b120 - 4 b80 * b121 - 4 b80 * b123 - 4 b80 * b135 - 4 b80 * b136 - 4 b80 * b139 - 4 b80 * b140 - 4 b80 * b142 - 4 b80 * b143 - 4 b80 * b144 - 4 b80 * b147 - 4 b80 * b148 - 4 b80 * b150 + 4 b80 * b152 + 4 b80 * b153 + 4 b80 * b156 - 4 b80 * b157 + 4 b80 * b158 + 4 b80 * b159 + 4 b80 * b162 - 4 b80 * b163 - 4 b80 * b165 - 4 b80 * b166 - 4 b80 * b168 - 4 b80 * b169 - 4 b80 * b170 - 4 b80 * b172 + 4 b80 * b174 - 4 b80 * b175 + 4 b80 * b176 - 4 b80 * b177 - 4 b80 * b178 + 4 b81 * b90 + 4 b81 * b97 + 4 b81 * b101 + 4 b81 * b103 + 4 b81 * b107 + 4 b81 * b110 + 4 b81 * b112 - 4 b81 * b116 - 4 b81 * b117 - 4 b81 * b120 - 4 b81 * b121 - 4 b81 * b123 - 4 b81 * b143 - 4 b81 * b144 - 4 b81 * b147 - 4 b81 * b148 - 4 b81 * b150 + 4 b81 * b151 + 4 b81 * b152 + 4 b81 * b154 + 4 b81 * b156 + 4 b81 * b157 + 4 b81 * b158 - 4 b81 * b161 + 4 b81 * b162 - 4 b81 * b165 - 4 b81 * b166 - 4 b81 * b168 - 4 b81 * b173 + 4 b81 * b174 + 4 b81 * b176 + 4 b81 * b177 - 4 b81 * b178 + 4 b82 * b90 - 4 b82 * b91 + 4 b82 * b95 - 4 b82 * b98 - 4 b82 * b99 - 4 b82 * b100 + 4 b82 * b105 - 4 b82 * b106 - 4 b82 * b108 - 4 b82 * b111 - 4 b82 * b116 - 4 b82 * b117 - 4 b82 * b120 - 4 b82 * b121 - 4 b82 * b123 - 4 b82 * b135 - 4 b82 * b136 - 4 b82 * b139 - 4 b82 * b140 - 4 b82 * b142 + 4 b82 * b151 + 4 b82 * b153 + 4 b82 * b154 + 4 b82 * b157 + 4 b82 * b159 - 4 b82 * b161 - 4 b82 * b169 - 4 b82 * b170 - 4 b82 * b172 - 4 b82 * b173 + 4 b82 * b177 - 4 b82 * b179 + 4 b83 * b89 + 4 b83 * b90 + 4 b83 * b91 - 4 b83 * b93 + 4 b83 * b94 + 4 b83 * b96 + 4 b83 * b97 + 4 b83 * b98 + 4 b83 * b100 + 4 b83 * b101 + 4 b83 * b102 + 4 b83 * b103 + 4 b83 * b104 + 4 b83 * b106 + 4 b83 * b108 + 4 b83 * b109 - 4 b83 * b112 - 4 b83 * b113 - 4 b83 * b114 - 4 b83 * b116 - 4 b83 * b119 - 4 b83 * b120 - 4 b83 * b121 - 4 b83 * b122 - 4 b83 * b123 + 4 b83 * b124 + 4 b83 * b125 + 4 b83 * b126 + 4 b83 * b127 + 4 b83 * b128 + 4 b83 * b129 + 4 b83 * b130 + 4 b83 * b131 + 4 b83 * b132 + 4 b83 * b134 + 4 b83 * b136 + 4 b83 * b137 - 4 b83 * b142 - 4 b83 * b143 - 4 b83 * b146 - 4 b83 * b147 - 4 b83 * b148 - 4 b83 * b149 - 4 b83 * b150 + 4 b83 * b151 + 4 b83 * b152 - 4 b83 * b157 - 4 b83 * b159 - 4 b83 * b160 - 4 b83 * b161 - 4 b83 * b162 - 4 b83 * b163 - 4 b83 * b164 - 4 b83 * b165 - 4 b83 * b166 - 4 b83 * b167 - 4 b83 * b168 - 4 b83 * b172 - 4 b83 * b175 - 4 b83 * b177 - 4 b83 * b178 + 4 b84 * b89 + 4 b84 * b90 + 4 b84 * b96 + 4 b84 * b97 + 4 b84 * b100 + 4 b84 * b101 + 4 b84 * b102 + 4 b84 * b103 + 4 b84 * b106 + 4 b84 * b107 + 4 b84 * b109 + 4 b84 * b110 + 4 b84 * b111 + 4 b84 * b112 - 4 b84 * b113 - 4 b84 * b114 - 4 b84 * b116 - 4 b84 * b119 - 4 b84 * b120 - 4 b84 * b121 - 4 b84 * b122 - 4 b84 * b123 + 4 b84 * b125 + 4 b84 * b127 + 4 b84 * b128 + 4 b84 * b130 + 4 b84 * b132 + 4 b84 * b133 + 4 b84 * b134 + 4 b84 * b136 + 4 b84 * b137 + 4 b84 * b139 + 4 b84 * b141 + 4 b84 * b142 - 4 b84 * b143 - 4 b84 * b146 - 4 b84 * b147 - 4 b84 * b148 - 4 b84 * b149 - 4 b84 * b150 + 4 b84 * b151 + 4 b84 * b152 + 4 b84 * b154 + 4 b84 * b156 + 4 b84 * b157 - 4 b84 * b159 - 4 b84 * b160 - 4 b84 * b161 - 4 b84 * b162 - 4 b84 * b163 - 4 b84 * b164 - 4 b84 * b165 - 4 b84 * b166 - 4 b84 * b167 - 4 b84 * b168 + 4 b84 * b169 + 4 b84 * b171 + 4 b84 * b172 - 4 b84 * b173 + 4 b84 * b176 + 4 b84 * b177 + 4 b85 * b89 + 4 b85 * b90 - 4 b85 * b92 - 4 b85 * b93 - 4 b85 * b98 - 4 b85 * b99 + 4 b85 * b100 + 4 b85 * b101 - 4 b85 * b108 - 4 b85 * b109 - 4 b85 * b110 - 4 b85 * b113 - 4 b85 * b114 - 4 b85 * b116 - 4 b85 * b119 - 4 b85 * b120 - 4 b85 * b121 - 4 b85 * b122 - 4 b85 * b123 + 4 b85 * b124 + 4 b85 * b127 + 4 b85 * b129 + 4 b85 * b130 + 4 b85 * b133 - 4 b85 * b135 + 4 b85 * b136 - 4 b85 * b140 - 4 b85 * b141 + 4 b85 * b151 + 4 b85 * b153 + 4 b85 * b154 + 4 b85 * b157 - 4 b85 * b159 - 4 b85 * b160 - 4 b85 * b161 - 4 b85 * b162 - 4 b85 * b163 - 4 b85 * b170 - 4 b85 * b171 - 4 b85 * b173 - 4 b85 * b174 + 4 b85 * b177 + 4 b85 * b178 - 4 b85 * b179 + 4 b86 * b90 + 4 b86 * b97 + 4 b86 * b101 + 4 b86 * b103 + 4 b86 * b107 + 4 b86 * b110 + 4 b86 * b112 - 4 b86 * b114 - 4 b86 * b116 - 4 b86 * b119 - 4 b86 * b121 + 4 b86 * b123 + 4 b86 * b134 + 4 b86 * b136 + 4 b86 * b137 + 4 b86 * b139 + 4 b86 * b141 + 4 b86 * b142 - 4 b86 * b143 - 4 b86 * b146 - 4 b86 * b148 + 4 b86 * b150 + 4 b86 * b151 + 4 b86 * b152 + 4 b86 * b154 + 4 b86 * b156 + 4 b86 * b157 - 4 b86 * b159 - 4 b86 * b161 + 4 b86 * b163 - 4 b86 * b164 - 4 b86 * b166 + 4 b86 * b168 + 4 b86 * b169 + 4 b86 * b171 + 4 b86 * b172 - 4 b86 * b173 + 4 b86 * b175 + 4 b86 * b176 + 4 b86 * b177 + 4 b86 * b178 - 4 b87 * b89 - 4 b87 * b91 - 4 b87 * b94 - 4 b87 * b96 - 4 b87 * b97 - 4 b87 * b98 - 4 b87 * b99 - 4 b87 * b100 - 4 b87 * b102 - 4 b87 * b103 - 4 b87 * b104 - 4 b87 * b106 - 4 b87 * b108 - 4 b87 * b109 - 4 b87 * b110 + 4 b87 * b112 - 4 b87 * b115 - 4 b87 * b116 - 4 b87 * b118 - 4 b87 * b121 - 4 b87 * b122 + 4 b87 * b123 - 4 b87 * b134 - 4 b87 * b135 - 4 b87 * b137 - 4 b87 * b140 - 4 b87 * b141 + 4 b87 * b142 + 4 b87 * b144 + 4 b87 * b146 + 4 b87 * b147 + 4 b87 * b150 + 4 b87 * b151 + 4 b87 * b153 + 4 b87 * b154 + 4 b87 * b157 - 4 b87 * b158 - 4 b87 * b161 - 4 b87 * b162 + 4 b87 * b163 + 4 b87 * b164 + 4 b87 * b165 + 4 b87 * b168 - 4 b87 * b170 - 4 b87 * b171 + 4 b87 * b172 - 4 b87 * b173 - 4 b87 * b174 + 4 b87 * b175 + 4 b87 * b177 + 4 b87 * b178 - 4 b87 * b179 - 4 b88 * b89 - 4 b88 * b90 - 4 b88 * b96 - 4 b88 * b97 - 4 b88 * b100 - 4 b88 * b101 - 4 b88 * b102 - 4 b88 * b103 - 4 b88 * b106 - 4 b88 * b107 - 4 b88 * b109 - 4 b88 * b110 - 4 b88 * b111 - 4 b88 * b112 + 4 b88 * b114 - 4 b88 * b115 - 4 b88 * b118 + 4 b88 * b119 - 4 b88 * b122 - 4 b88 * b134 - 4 b88 * b136 - 4 b88 * b137 - 4 b88 * b139 - 4 b88 * b141 - 4 b88 * b142 + 4 b88 * b144 + 4 b88 * b146 + 4 b88 * b147 + 4 b88 * b150 - 4 b88 * b158 + 4 b88 * b159 - 4 b88 * b162 + 4 b88 * b164 + 4 b88 * b165 + 4 b88 * b168 - 4 b88 * b169 - 4 b88 * b171 - 4 b88 * b172 - 4 b88 * b174 + 4 b88 * b178 + 4 b89 * b180 - 4 b90 * b181 - 4 b95 * b182 + 4 b96 * b180 - 4 b97 * b182 + 4 b100 * b180 - 4 b101 * b182 + 4 b102 * b180 - 4 b103 * b181 - 4 b105 * b181 - 4 b105 * b182 + 4 b106 * b180 + 4 b109 * b180 - 4 b110 * b181 - 4 b110 * b182 + 4 b111 * b180 - 4 b112 * b182 - 4 b114 * b183 - 4 b115 * b183 + 4 b116 * b181 + 4 b117 * b181 - 4 b117 * b183 - 4 b119 * b183 + 4 b120 * b181 - 4 b121 * b180 + 4 b121 * b181 - 4 b122 * b180 - 4 b122 * b183 + 4 b123 * b181 - 4 b123 * b183 + 4 b134 * b183 + 4 b135 * b182 + 4 b136 * b182 + 4 b136 * b183 + 4 b137 * b183 + 4 b139 * b182 + 4 b139 * b183 + 4 b140 * b182 + 4 b141 * b183 + 4 b142 * b182 + 4 b142 * b183 + 4 b143 * b182 + 4 b144 * b182 + 4 b145 * b183 - 4 b146 * b183 + 4 b147 * b182 + 4 b147 * b183 - 4 b148 * b180 + 4 b148 * b182 - 4 b149 * b180 + 4 b150 * b182 - 4 b151 * b182 - 4 b152 * b181 - 4 b153 * b181 - 4 b153 * b182 - 4 b156 * b181 - 4 b156 * b182 - 4 b157 * b182 - 4 b158 * b181 + 4 b158 * b183 - 4 b159 * b181 - 4 b159 * b182 - 4 b159 * b183 + 4 b160 * b182 + 4 b160 * b183 - 4 b161 * b180 + 4 b161 * b182 - 4 b162 * b180 - 4 b162 * b181 - 4 b162 * b182 - 4 b164 * b183 + 4 b165 * b181 - 4 b166 * b180 + 4 b166 * b181 - 4 b167 * b180 - 4 b167 * b183 + 4 b168 * b181 - 4 b168 * b183 + 4 b169 * b181 + 4 b169 * b182 + 4 b169 * b183 + 4 b170 * b181 + 4 b170 * b182 + 4 b171 * b183 + 4 b172 * b181 + 4 b172 * b182 + 4 b172 * b183 - 4 b173 * b180 - 4 b174 * b180 - 4 b174 * b181 - 4 b174 * b182 - 4 b174 * b183 - 4 b175 * b182 - 4 b175 * b183 + 4 b176 * b180 - 4 b176 * b181 - 4 b176 * b182 + 4 b177 * b180 - 4 b177 * b182 + 4 b178 * b180 + 4 b178 * b181 + 4 b178 * b182 ]/2 Subject To e2: - b2 + b3 + b4 <= 1 e3: b4 - b5 + b6 <= 1 e4: b4 - b7 + b8 <= 1 e5: b4 - b9 + b10 <= 1 e6: b4 - b11 + b12 <= 1 e7: b4 - b13 + b14 <= 1 e8: b4 - b15 + b16 <= 1 e9: b4 - b17 + b18 <= 1 e10: b4 - b19 + b20 <= 1 e11: b4 - b21 + b22 <= 1 e12: b4 - b23 + b24 <= 1 e13: b4 - b25 + b26 <= 1 e14: b2 - b5 + b27 <= 1 e15: b2 - b7 + b28 <= 1 e16: b2 - b9 + b29 <= 1 e17: b2 - b11 + b30 <= 1 e18: b2 - b13 + b31 <= 1 e19: b2 - b15 + b32 <= 1 e20: b2 - b17 + b33 <= 1 e21: b2 - b19 + b34 <= 1 e22: b2 - b21 + b35 <= 1 e23: b2 - b23 + b36 <= 1 e24: b2 - b25 + b37 <= 1 e25: b5 - b7 + b38 <= 1 e26: b5 - b9 + b39 <= 1 e27: b5 - b11 + b40 <= 1 e28: b5 - b13 + b41 <= 1 e29: b5 - b15 + b42 <= 1 e30: b5 - b17 + b43 <= 1 e31: b5 - b19 + b44 <= 1 e32: b5 - b21 + b45 <= 1 e33: b5 - b23 + b46 <= 1 e34: b5 - b25 + b47 <= 1 e35: b7 - b9 + b48 <= 1 e36: b7 - b11 + b49 <= 1 e37: b7 - b13 + b50 <= 1 e38: b7 - b15 + b51 <= 1 e39: b7 - b17 + b52 <= 1 e40: b7 - b19 + b53 <= 1 e41: b7 - b21 + b54 <= 1 e42: b7 - b23 + b55 <= 1 e43: b7 - b25 + b56 <= 1 e44: b9 - b11 + b57 <= 1 e45: b9 - b13 + b58 <= 1 e46: b9 - b15 + b59 <= 1 e47: b9 - b17 + b181 <= 1 e48: b9 - b19 + b60 <= 1 e49: b9 - b21 + b61 <= 1 e50: b9 - b23 + b62 <= 1 e51: b9 - b25 + b63 <= 1 e52: b11 - b13 + b64 <= 1 e53: b11 - b15 + b65 <= 1 e54: b11 - b17 + b66 <= 1 e55: b11 - b19 + b67 <= 1 e56: b11 - b21 + b68 <= 1 e57: b11 - b23 + b180 <= 1 e58: b11 - b25 + b69 <= 1 e59: b13 - b15 + b70 <= 1 e60: b13 - b17 + b71 <= 1 e61: b13 - b19 + b72 <= 1 e62: b13 - b21 + b73 <= 1 e63: b13 - b23 + b74 <= 1 e64: b13 - b25 + b75 <= 1 e65: b15 - b17 + b182 <= 1 e66: b15 - b19 + b76 <= 1 e67: b15 - b21 + b77 <= 1 e68: b15 - b23 + b183 <= 1 e69: b15 - b25 + b78 <= 1 e70: b17 - b19 + b79 <= 1 e71: b17 - b21 + b80 <= 1 e72: b17 - b23 + b81 <= 1 e73: b17 - b25 + b82 <= 1 e74: b19 - b21 + b83 <= 1 e75: b19 - b23 + b84 <= 1 e76: b19 - b25 + b85 <= 1 e77: b21 - b23 + b86 <= 1 e78: b21 - b25 + b87 <= 1 e79: b23 - b25 + b88 <= 1 e80: b3 - b6 + b27 <= 1 e81: b3 - b8 + b28 <= 1 e82: b3 - b10 + b29 <= 1 e83: b3 - b12 + b30 <= 1 e84: b3 - b14 + b31 <= 1 e85: b3 - b16 + b32 <= 1 e86: b3 - b18 + b33 <= 1 e87: b3 - b20 + b34 <= 1 e88: b3 - b22 + b35 <= 1 e89: b3 - b24 + b36 <= 1 e90: b3 - b26 + b37 <= 1 e91: b6 - b8 + b38 <= 1 e92: b6 - b10 + b39 <= 1 e93: b6 - b12 + b40 <= 1 e94: b6 - b14 + b41 <= 1 e95: b6 - b16 + b42 <= 1 e96: b6 - b18 + b43 <= 1 e97: b6 - b20 + b44 <= 1 e98: b6 - b22 + b45 <= 1 e99: b6 - b24 + b46 <= 1 e100: b6 - b26 + b47 <= 1 e101: b8 - b10 + b48 <= 1 e102: b8 - b12 + b49 <= 1 e103: b8 - b14 + b50 <= 1 e104: b8 - b16 + b51 <= 1 e105: b8 - b18 + b52 <= 1 e106: b8 - b20 + b53 <= 1 e107: b8 - b22 + b54 <= 1 e108: b8 - b24 + b55 <= 1 e109: b8 - b26 + b56 <= 1 e110: b10 - b12 + b57 <= 1 e111: b10 - b14 + b58 <= 1 e112: b10 - b16 + b59 <= 1 e113: b10 - b18 + b181 <= 1 e114: b10 - b20 + b60 <= 1 e115: b10 - b22 + b61 <= 1 e116: b10 - b24 + b62 <= 1 e117: b10 - b26 + b63 <= 1 e118: b12 - b14 + b64 <= 1 e119: b12 - b16 + b65 <= 1 e120: b12 - b18 + b66 <= 1 e121: b12 - b20 + b67 <= 1 e122: b12 - b22 + b68 <= 1 e123: b12 - b24 + b180 <= 1 e124: b12 - b26 + b69 <= 1 e125: b14 - b16 + b70 <= 1 e126: b14 - b18 + b71 <= 1 e127: b14 - b20 + b72 <= 1 e128: b14 - b22 + b73 <= 1 e129: b14 - b24 + b74 <= 1 e130: b14 - b26 + b75 <= 1 e131: b16 - b18 + b182 <= 1 e132: b16 - b20 + b76 <= 1 e133: b16 - b22 + b77 <= 1 e134: b16 - b24 + b183 <= 1 e135: b16 - b26 + b78 <= 1 e136: b18 - b20 + b79 <= 1 e137: b18 - b22 + b80 <= 1 e138: b18 - b24 + b81 <= 1 e139: b18 - b26 + b82 <= 1 e140: b20 - b22 + b83 <= 1 e141: b20 - b24 + b84 <= 1 e142: b20 - b26 + b85 <= 1 e143: b22 - b24 + b86 <= 1 e144: b22 - b26 + b87 <= 1 e145: b24 - b26 + b88 <= 1 e146: b27 - b28 + b38 <= 1 e147: b27 - b29 + b39 <= 1 e148: b27 - b30 + b40 <= 1 e149: b27 - b31 + b41 <= 1 e150: b27 - b32 + b42 <= 1 e151: b27 - b33 + b43 <= 1 e152: b27 - b34 + b44 <= 1 e153: b27 - b35 + b45 <= 1 e154: b27 - b36 + b46 <= 1 e155: b27 - b37 + b47 <= 1 e156: b28 - b29 + b48 <= 1 e157: b28 - b30 + b49 <= 1 e158: b28 - b31 + b50 <= 1 e159: b28 - b32 + b51 <= 1 e160: b28 - b33 + b52 <= 1 e161: b28 - b34 + b53 <= 1 e162: b28 - b35 + b54 <= 1 e163: b28 - b36 + b55 <= 1 e164: b28 - b37 + b56 <= 1 e165: b29 - b30 + b57 <= 1 e166: b29 - b31 + b58 <= 1 e167: b29 - b32 + b59 <= 1 e168: b29 - b33 + b181 <= 1 e169: b29 - b34 + b60 <= 1 e170: b29 - b35 + b61 <= 1 e171: b29 - b36 + b62 <= 1 e172: b29 - b37 + b63 <= 1 e173: b30 - b31 + b64 <= 1 e174: b30 - b32 + b65 <= 1 e175: b30 - b33 + b66 <= 1 e176: b30 - b34 + b67 <= 1 e177: b30 - b35 + b68 <= 1 e178: b30 - b36 + b180 <= 1 e179: b30 - b37 + b69 <= 1 e180: b31 - b32 + b70 <= 1 e181: b31 - b33 + b71 <= 1 e182: b31 - b34 + b72 <= 1 e183: b31 - b35 + b73 <= 1 e184: b31 - b36 + b74 <= 1 e185: b31 - b37 + b75 <= 1 e186: b32 - b33 + b182 <= 1 e187: b32 - b34 + b76 <= 1 e188: b32 - b35 + b77 <= 1 e189: b32 - b36 + b183 <= 1 e190: b32 - b37 + b78 <= 1 e191: b33 - b34 + b79 <= 1 e192: b33 - b35 + b80 <= 1 e193: b33 - b36 + b81 <= 1 e194: b33 - b37 + b82 <= 1 e195: b34 - b35 + b83 <= 1 e196: b34 - b36 + b84 <= 1 e197: b34 - b37 + b85 <= 1 e198: b35 - b36 + b86 <= 1 e199: b35 - b37 + b87 <= 1 e200: b36 - b37 + b88 <= 1 e201: b38 - b39 + b48 <= 1 e202: b38 - b40 + b49 <= 1 e203: b38 - b41 + b50 <= 1 e204: b38 - b42 + b51 <= 1 e205: b38 - b43 + b52 <= 1 e206: b38 - b44 + b53 <= 1 e207: b38 - b45 + b54 <= 1 e208: b38 - b46 + b55 <= 1 e209: b38 - b47 + b56 <= 1 e210: b39 - b40 + b57 <= 1 e211: b39 - b41 + b58 <= 1 e212: b39 - b42 + b59 <= 1 e213: b39 - b43 + b181 <= 1 e214: b39 - b44 + b60 <= 1 e215: b39 - b45 + b61 <= 1 e216: b39 - b46 + b62 <= 1 e217: b39 - b47 + b63 <= 1 e218: b40 - b41 + b64 <= 1 e219: b40 - b42 + b65 <= 1 e220: b40 - b43 + b66 <= 1 e221: b40 - b44 + b67 <= 1 e222: b40 - b45 + b68 <= 1 e223: b40 - b46 + b180 <= 1 e224: b40 - b47 + b69 <= 1 e225: b41 - b42 + b70 <= 1 e226: b41 - b43 + b71 <= 1 e227: b41 - b44 + b72 <= 1 e228: b41 - b45 + b73 <= 1 e229: b41 - b46 + b74 <= 1 e230: b41 - b47 + b75 <= 1 e231: b42 - b43 + b182 <= 1 e232: b42 - b44 + b76 <= 1 e233: b42 - b45 + b77 <= 1 e234: b42 - b46 + b183 <= 1 e235: b42 - b47 + b78 <= 1 e236: b43 - b44 + b79 <= 1 e237: b43 - b45 + b80 <= 1 e238: b43 - b46 + b81 <= 1 e239: b43 - b47 + b82 <= 1 e240: b44 - b45 + b83 <= 1 e241: b44 - b46 + b84 <= 1 e242: b44 - b47 + b85 <= 1 e243: b45 - b46 + b86 <= 1 e244: b45 - b47 + b87 <= 1 e245: b46 - b47 + b88 <= 1 e246: b48 - b49 + b57 <= 1 e247: b48 - b50 + b58 <= 1 e248: b48 - b51 + b59 <= 1 e249: b48 - b52 + b181 <= 1 e250: b48 - b53 + b60 <= 1 e251: b48 - b54 + b61 <= 1 e252: b48 - b55 + b62 <= 1 e253: b48 - b56 + b63 <= 1 e254: b49 - b50 + b64 <= 1 e255: b49 - b51 + b65 <= 1 e256: b49 - b52 + b66 <= 1 e257: b49 - b53 + b67 <= 1 e258: b49 - b54 + b68 <= 1 e259: b49 - b55 + b180 <= 1 e260: b49 - b56 + b69 <= 1 e261: b50 - b51 + b70 <= 1 e262: b50 - b52 + b71 <= 1 e263: b50 - b53 + b72 <= 1 e264: b50 - b54 + b73 <= 1 e265: b50 - b55 + b74 <= 1 e266: b50 - b56 + b75 <= 1 e267: b51 - b52 + b182 <= 1 e268: b51 - b53 + b76 <= 1 e269: b51 - b54 + b77 <= 1 e270: b51 - b55 + b183 <= 1 e271: b51 - b56 + b78 <= 1 e272: b52 - b53 + b79 <= 1 e273: b52 - b54 + b80 <= 1 e274: b52 - b55 + b81 <= 1 e275: b52 - b56 + b82 <= 1 e276: b53 - b54 + b83 <= 1 e277: b53 - b55 + b84 <= 1 e278: b53 - b56 + b85 <= 1 e279: b54 - b55 + b86 <= 1 e280: b54 - b56 + b87 <= 1 e281: b55 - b56 + b88 <= 1 e282: b57 - b58 + b64 <= 1 e283: b57 - b59 + b65 <= 1 e284: b57 + b66 - b181 <= 1 e285: b57 - b60 + b67 <= 1 e286: b57 - b61 + b68 <= 1 e287: b57 - b62 + b180 <= 1 e288: b57 - b63 + b69 <= 1 e289: b58 - b59 + b70 <= 1 e290: b58 + b71 - b181 <= 1 e291: b58 - b60 + b72 <= 1 e292: b58 - b61 + b73 <= 1 e293: b58 - b62 + b74 <= 1 e294: b58 - b63 + b75 <= 1 e295: b59 - b181 + b182 <= 1 e296: b59 - b60 + b76 <= 1 e297: b59 - b61 + b77 <= 1 e298: b59 - b62 + b183 <= 1 e299: b59 - b63 + b78 <= 1 e300: - b60 + b79 + b181 <= 1 e301: - b61 + b80 + b181 <= 1 e302: - b62 + b81 + b181 <= 1 e303: - b63 + b82 + b181 <= 1 e304: b60 - b61 + b83 <= 1 e305: b60 - b62 + b84 <= 1 e306: b60 - b63 + b85 <= 1 e307: b61 - b62 + b86 <= 1 e308: b61 - b63 + b87 <= 1 e309: b62 - b63 + b88 <= 1 e310: b64 - b65 + b70 <= 1 e311: b64 - b66 + b71 <= 1 e312: b64 - b67 + b72 <= 1 e313: b64 - b68 + b73 <= 1 e314: b64 + b74 - b180 <= 1 e315: b64 - b69 + b75 <= 1 e316: b65 - b66 + b182 <= 1 e317: b65 - b67 + b76 <= 1 e318: b65 - b68 + b77 <= 1 e319: b65 - b180 + b183 <= 1 e320: b65 - b69 + b78 <= 1 e321: b66 - b67 + b79 <= 1 e322: b66 - b68 + b80 <= 1 e323: b66 + b81 - b180 <= 1 e324: b66 - b69 + b82 <= 1 e325: b67 - b68 + b83 <= 1 e326: b67 + b84 - b180 <= 1 e327: b67 - b69 + b85 <= 1 e328: b68 + b86 - b180 <= 1 e329: b68 - b69 + b87 <= 1 e330: - b69 + b88 + b180 <= 1 e331: b70 - b71 + b182 <= 1 e332: b70 - b72 + b76 <= 1 e333: b70 - b73 + b77 <= 1 e334: b70 - b74 + b183 <= 1 e335: b70 - b75 + b78 <= 1 e336: b71 - b72 + b79 <= 1 e337: b71 - b73 + b80 <= 1 e338: b71 - b74 + b81 <= 1 e339: b71 - b75 + b82 <= 1 e340: b72 - b73 + b83 <= 1 e341: b72 - b74 + b84 <= 1 e342: b72 - b75 + b85 <= 1 e343: b73 - b74 + b86 <= 1 e344: b73 - b75 + b87 <= 1 e345: b74 - b75 + b88 <= 1 e346: - b76 + b79 + b182 <= 1 e347: - b77 + b80 + b182 <= 1 e348: b81 + b182 - b183 <= 1 e349: - b78 + b82 + b182 <= 1 e350: b76 - b77 + b83 <= 1 e351: b76 + b84 - b183 <= 1 e352: b76 - b78 + b85 <= 1 e353: b77 + b86 - b183 <= 1 e354: b77 - b78 + b87 <= 1 e355: - b78 + b88 + b183 <= 1 e356: b79 - b80 + b83 <= 1 e357: b79 - b81 + b84 <= 1 e358: b79 - b82 + b85 <= 1 e359: b80 - b81 + b86 <= 1 e360: b80 - b82 + b87 <= 1 e361: b81 - b82 + b88 <= 1 e362: b83 - b84 + b86 <= 1 e363: b83 - b85 + b87 <= 1 e364: b84 - b85 + b88 <= 1 e365: b86 - b87 + b88 <= 1 e366: b2 - b3 - b4 <= 0 e367: - b4 + b5 - b6 <= 0 e368: - b4 + b7 - b8 <= 0 e369: - b4 + b9 - b10 <= 0 e370: - b4 + b11 - b12 <= 0 e371: - b4 + b13 - b14 <= 0 e372: - b4 + b15 - b16 <= 0 e373: - b4 + b17 - b18 <= 0 e374: - b4 + b19 - b20 <= 0 e375: - b4 + b21 - b22 <= 0 e376: - b4 + b23 - b24 <= 0 e377: - b4 + b25 - b26 <= 0 e378: - b2 + b5 - b27 <= 0 e379: - b2 + b7 - b28 <= 0 e380: - b2 + b9 - b29 <= 0 e381: - b2 + b11 - b30 <= 0 e382: - b2 + b13 - b31 <= 0 e383: - b2 + b15 - b32 <= 0 e384: - b2 + b17 - b33 <= 0 e385: - b2 + b19 - b34 <= 0 e386: - b2 + b21 - b35 <= 0 e387: - b2 + b23 - b36 <= 0 e388: - b2 + b25 - b37 <= 0 e389: - b5 + b7 - b38 <= 0 e390: - b5 + b9 - b39 <= 0 e391: - b5 + b11 - b40 <= 0 e392: - b5 + b13 - b41 <= 0 e393: - b5 + b15 - b42 <= 0 e394: - b5 + b17 - b43 <= 0 e395: - b5 + b19 - b44 <= 0 e396: - b5 + b21 - b45 <= 0 e397: - b5 + b23 - b46 <= 0 e398: - b5 + b25 - b47 <= 0 e399: - b7 + b9 - b48 <= 0 e400: - b7 + b11 - b49 <= 0 e401: - b7 + b13 - b50 <= 0 e402: - b7 + b15 - b51 <= 0 e403: - b7 + b17 - b52 <= 0 e404: - b7 + b19 - b53 <= 0 e405: - b7 + b21 - b54 <= 0 e406: - b7 + b23 - b55 <= 0 e407: - b7 + b25 - b56 <= 0 e408: - b9 + b11 - b57 <= 0 e409: - b9 + b13 - b58 <= 0 e410: - b9 + b15 - b59 <= 0 e411: - b9 + b17 - b181 <= 0 e412: - b9 + b19 - b60 <= 0 e413: - b9 + b21 - b61 <= 0 e414: - b9 + b23 - b62 <= 0 e415: - b9 + b25 - b63 <= 0 e416: - b11 + b13 - b64 <= 0 e417: - b11 + b15 - b65 <= 0 e418: - b11 + b17 - b66 <= 0 e419: - b11 + b19 - b67 <= 0 e420: - b11 + b21 - b68 <= 0 e421: - b11 + b23 - b180 <= 0 e422: - b11 + b25 - b69 <= 0 e423: - b13 + b15 - b70 <= 0 e424: - b13 + b17 - b71 <= 0 e425: - b13 + b19 - b72 <= 0 e426: - b13 + b21 - b73 <= 0 e427: - b13 + b23 - b74 <= 0 e428: - b13 + b25 - b75 <= 0 e429: - b15 + b17 - b182 <= 0 e430: - b15 + b19 - b76 <= 0 e431: - b15 + b21 - b77 <= 0 e432: - b15 + b23 - b183 <= 0 e433: - b15 + b25 - b78 <= 0 e434: - b17 + b19 - b79 <= 0 e435: - b17 + b21 - b80 <= 0 e436: - b17 + b23 - b81 <= 0 e437: - b17 + b25 - b82 <= 0 e438: - b19 + b21 - b83 <= 0 e439: - b19 + b23 - b84 <= 0 e440: - b19 + b25 - b85 <= 0 e441: - b21 + b23 - b86 <= 0 e442: - b21 + b25 - b87 <= 0 e443: - b23 + b25 - b88 <= 0 e444: - b3 + b6 - b27 <= 0 e445: - b3 + b8 - b28 <= 0 e446: - b3 + b10 - b29 <= 0 e447: - b3 + b12 - b30 <= 0 e448: - b3 + b14 - b31 <= 0 e449: - b3 + b16 - b32 <= 0 e450: - b3 + b18 - b33 <= 0 e451: - b3 + b20 - b34 <= 0 e452: - b3 + b22 - b35 <= 0 e453: - b3 + b24 - b36 <= 0 e454: - b3 + b26 - b37 <= 0 e455: - b6 + b8 - b38 <= 0 e456: - b6 + b10 - b39 <= 0 e457: - b6 + b12 - b40 <= 0 e458: - b6 + b14 - b41 <= 0 e459: - b6 + b16 - b42 <= 0 e460: - b6 + b18 - b43 <= 0 e461: - b6 + b20 - b44 <= 0 e462: - b6 + b22 - b45 <= 0 e463: - b6 + b24 - b46 <= 0 e464: - b6 + b26 - b47 <= 0 e465: - b8 + b10 - b48 <= 0 e466: - b8 + b12 - b49 <= 0 e467: - b8 + b14 - b50 <= 0 e468: - b8 + b16 - b51 <= 0 e469: - b8 + b18 - b52 <= 0 e470: - b8 + b20 - b53 <= 0 e471: - b8 + b22 - b54 <= 0 e472: - b8 + b24 - b55 <= 0 e473: - b8 + b26 - b56 <= 0 e474: - b10 + b12 - b57 <= 0 e475: - b10 + b14 - b58 <= 0 e476: - b10 + b16 - b59 <= 0 e477: - b10 + b18 - b181 <= 0 e478: - b10 + b20 - b60 <= 0 e479: - b10 + b22 - b61 <= 0 e480: - b10 + b24 - b62 <= 0 e481: - b10 + b26 - b63 <= 0 e482: - b12 + b14 - b64 <= 0 e483: - b12 + b16 - b65 <= 0 e484: - b12 + b18 - b66 <= 0 e485: - b12 + b20 - b67 <= 0 e486: - b12 + b22 - b68 <= 0 e487: - b12 + b24 - b180 <= 0 e488: - b12 + b26 - b69 <= 0 e489: - b14 + b16 - b70 <= 0 e490: - b14 + b18 - b71 <= 0 e491: - b14 + b20 - b72 <= 0 e492: - b14 + b22 - b73 <= 0 e493: - b14 + b24 - b74 <= 0 e494: - b14 + b26 - b75 <= 0 e495: - b16 + b18 - b182 <= 0 e496: - b16 + b20 - b76 <= 0 e497: - b16 + b22 - b77 <= 0 e498: - b16 + b24 - b183 <= 0 e499: - b16 + b26 - b78 <= 0 e500: - b18 + b20 - b79 <= 0 e501: - b18 + b22 - b80 <= 0 e502: - b18 + b24 - b81 <= 0 e503: - b18 + b26 - b82 <= 0 e504: - b20 + b22 - b83 <= 0 e505: - b20 + b24 - b84 <= 0 e506: - b20 + b26 - b85 <= 0 e507: - b22 + b24 - b86 <= 0 e508: - b22 + b26 - b87 <= 0 e509: - b24 + b26 - b88 <= 0 e510: - b27 + b28 - b38 <= 0 e511: - b27 + b29 - b39 <= 0 e512: - b27 + b30 - b40 <= 0 e513: - b27 + b31 - b41 <= 0 e514: - b27 + b32 - b42 <= 0 e515: - b27 + b33 - b43 <= 0 e516: - b27 + b34 - b44 <= 0 e517: - b27 + b35 - b45 <= 0 e518: - b27 + b36 - b46 <= 0 e519: - b27 + b37 - b47 <= 0 e520: - b28 + b29 - b48 <= 0 e521: - b28 + b30 - b49 <= 0 e522: - b28 + b31 - b50 <= 0 e523: - b28 + b32 - b51 <= 0 e524: - b28 + b33 - b52 <= 0 e525: - b28 + b34 - b53 <= 0 e526: - b28 + b35 - b54 <= 0 e527: - b28 + b36 - b55 <= 0 e528: - b28 + b37 - b56 <= 0 e529: - b29 + b30 - b57 <= 0 e530: - b29 + b31 - b58 <= 0 e531: - b29 + b32 - b59 <= 0 e532: - b29 + b33 - b181 <= 0 e533: - b29 + b34 - b60 <= 0 e534: - b29 + b35 - b61 <= 0 e535: - b29 + b36 - b62 <= 0 e536: - b29 + b37 - b63 <= 0 e537: - b30 + b31 - b64 <= 0 e538: - b30 + b32 - b65 <= 0 e539: - b30 + b33 - b66 <= 0 e540: - b30 + b34 - b67 <= 0 e541: - b30 + b35 - b68 <= 0 e542: - b30 + b36 - b180 <= 0 e543: - b30 + b37 - b69 <= 0 e544: - b31 + b32 - b70 <= 0 e545: - b31 + b33 - b71 <= 0 e546: - b31 + b34 - b72 <= 0 e547: - b31 + b35 - b73 <= 0 e548: - b31 + b36 - b74 <= 0 e549: - b31 + b37 - b75 <= 0 e550: - b32 + b33 - b182 <= 0 e551: - b32 + b34 - b76 <= 0 e552: - b32 + b35 - b77 <= 0 e553: - b32 + b36 - b183 <= 0 e554: - b32 + b37 - b78 <= 0 e555: - b33 + b34 - b79 <= 0 e556: - b33 + b35 - b80 <= 0 e557: - b33 + b36 - b81 <= 0 e558: - b33 + b37 - b82 <= 0 e559: - b34 + b35 - b83 <= 0 e560: - b34 + b36 - b84 <= 0 e561: - b34 + b37 - b85 <= 0 e562: - b35 + b36 - b86 <= 0 e563: - b35 + b37 - b87 <= 0 e564: - b36 + b37 - b88 <= 0 e565: - b38 + b39 - b48 <= 0 e566: - b38 + b40 - b49 <= 0 e567: - b38 + b41 - b50 <= 0 e568: - b38 + b42 - b51 <= 0 e569: - b38 + b43 - b52 <= 0 e570: - b38 + b44 - b53 <= 0 e571: - b38 + b45 - b54 <= 0 e572: - b38 + b46 - b55 <= 0 e573: - b38 + b47 - b56 <= 0 e574: - b39 + b40 - b57 <= 0 e575: - b39 + b41 - b58 <= 0 e576: - b39 + b42 - b59 <= 0 e577: - b39 + b43 - b181 <= 0 e578: - b39 + b44 - b60 <= 0 e579: - b39 + b45 - b61 <= 0 e580: - b39 + b46 - b62 <= 0 e581: - b39 + b47 - b63 <= 0 e582: - b40 + b41 - b64 <= 0 e583: - b40 + b42 - b65 <= 0 e584: - b40 + b43 - b66 <= 0 e585: - b40 + b44 - b67 <= 0 e586: - b40 + b45 - b68 <= 0 e587: - b40 + b46 - b180 <= 0 e588: - b40 + b47 - b69 <= 0 e589: - b41 + b42 - b70 <= 0 e590: - b41 + b43 - b71 <= 0 e591: - b41 + b44 - b72 <= 0 e592: - b41 + b45 - b73 <= 0 e593: - b41 + b46 - b74 <= 0 e594: - b41 + b47 - b75 <= 0 e595: - b42 + b43 - b182 <= 0 e596: - b42 + b44 - b76 <= 0 e597: - b42 + b45 - b77 <= 0 e598: - b42 + b46 - b183 <= 0 e599: - b42 + b47 - b78 <= 0 e600: - b43 + b44 - b79 <= 0 e601: - b43 + b45 - b80 <= 0 e602: - b43 + b46 - b81 <= 0 e603: - b43 + b47 - b82 <= 0 e604: - b44 + b45 - b83 <= 0 e605: - b44 + b46 - b84 <= 0 e606: - b44 + b47 - b85 <= 0 e607: - b45 + b46 - b86 <= 0 e608: - b45 + b47 - b87 <= 0 e609: - b46 + b47 - b88 <= 0 e610: - b48 + b49 - b57 <= 0 e611: - b48 + b50 - b58 <= 0 e612: - b48 + b51 - b59 <= 0 e613: - b48 + b52 - b181 <= 0 e614: - b48 + b53 - b60 <= 0 e615: - b48 + b54 - b61 <= 0 e616: - b48 + b55 - b62 <= 0 e617: - b48 + b56 - b63 <= 0 e618: - b49 + b50 - b64 <= 0 e619: - b49 + b51 - b65 <= 0 e620: - b49 + b52 - b66 <= 0 e621: - b49 + b53 - b67 <= 0 e622: - b49 + b54 - b68 <= 0 e623: - b49 + b55 - b180 <= 0 e624: - b49 + b56 - b69 <= 0 e625: - b50 + b51 - b70 <= 0 e626: - b50 + b52 - b71 <= 0 e627: - b50 + b53 - b72 <= 0 e628: - b50 + b54 - b73 <= 0 e629: - b50 + b55 - b74 <= 0 e630: - b50 + b56 - b75 <= 0 e631: - b51 + b52 - b182 <= 0 e632: - b51 + b53 - b76 <= 0 e633: - b51 + b54 - b77 <= 0 e634: - b51 + b55 - b183 <= 0 e635: - b51 + b56 - b78 <= 0 e636: - b52 + b53 - b79 <= 0 e637: - b52 + b54 - b80 <= 0 e638: - b52 + b55 - b81 <= 0 e639: - b52 + b56 - b82 <= 0 e640: - b53 + b54 - b83 <= 0 e641: - b53 + b55 - b84 <= 0 e642: - b53 + b56 - b85 <= 0 e643: - b54 + b55 - b86 <= 0 e644: - b54 + b56 - b87 <= 0 e645: - b55 + b56 - b88 <= 0 e646: - b57 + b58 - b64 <= 0 e647: - b57 + b59 - b65 <= 0 e648: - b57 - b66 + b181 <= 0 e649: - b57 + b60 - b67 <= 0 e650: - b57 + b61 - b68 <= 0 e651: - b57 + b62 - b180 <= 0 e652: - b57 + b63 - b69 <= 0 e653: - b58 + b59 - b70 <= 0 e654: - b58 - b71 + b181 <= 0 e655: - b58 + b60 - b72 <= 0 e656: - b58 + b61 - b73 <= 0 e657: - b58 + b62 - b74 <= 0 e658: - b58 + b63 - b75 <= 0 e659: - b59 + b181 - b182 <= 0 e660: - b59 + b60 - b76 <= 0 e661: - b59 + b61 - b77 <= 0 e662: - b59 + b62 - b183 <= 0 e663: - b59 + b63 - b78 <= 0 e664: b60 - b79 - b181 <= 0 e665: b61 - b80 - b181 <= 0 e666: b62 - b81 - b181 <= 0 e667: b63 - b82 - b181 <= 0 e668: - b60 + b61 - b83 <= 0 e669: - b60 + b62 - b84 <= 0 e670: - b60 + b63 - b85 <= 0 e671: - b61 + b62 - b86 <= 0 e672: - b61 + b63 - b87 <= 0 e673: - b62 + b63 - b88 <= 0 e674: - b64 + b65 - b70 <= 0 e675: - b64 + b66 - b71 <= 0 e676: - b64 + b67 - b72 <= 0 e677: - b64 + b68 - b73 <= 0 e678: - b64 - b74 + b180 <= 0 e679: - b64 + b69 - b75 <= 0 e680: - b65 + b66 - b182 <= 0 e681: - b65 + b67 - b76 <= 0 e682: - b65 + b68 - b77 <= 0 e683: - b65 + b180 - b183 <= 0 e684: - b65 + b69 - b78 <= 0 e685: - b66 + b67 - b79 <= 0 e686: - b66 + b68 - b80 <= 0 e687: - b66 - b81 + b180 <= 0 e688: - b66 + b69 - b82 <= 0 e689: - b67 + b68 - b83 <= 0 e690: - b67 - b84 + b180 <= 0 e691: - b67 + b69 - b85 <= 0 e692: - b68 - b86 + b180 <= 0 e693: - b68 + b69 - b87 <= 0 e694: b69 - b88 - b180 <= 0 e695: - b70 + b71 - b182 <= 0 e696: - b70 + b72 - b76 <= 0 e697: - b70 + b73 - b77 <= 0 e698: - b70 + b74 - b183 <= 0 e699: - b70 + b75 - b78 <= 0 e700: - b71 + b72 - b79 <= 0 e701: - b71 + b73 - b80 <= 0 e702: - b71 + b74 - b81 <= 0 e703: - b71 + b75 - b82 <= 0 e704: - b72 + b73 - b83 <= 0 e705: - b72 + b74 - b84 <= 0 e706: - b72 + b75 - b85 <= 0 e707: - b73 + b74 - b86 <= 0 e708: - b73 + b75 - b87 <= 0 e709: - b74 + b75 - b88 <= 0 e710: b76 - b79 - b182 <= 0 e711: b77 - b80 - b182 <= 0 e712: - b81 - b182 + b183 <= 0 e713: b78 - b82 - b182 <= 0 e714: - b76 + b77 - b83 <= 0 e715: - b76 - b84 + b183 <= 0 e716: - b76 + b78 - b85 <= 0 e717: - b77 - b86 + b183 <= 0 e718: - b77 + b78 - b87 <= 0 e719: b78 - b88 - b183 <= 0 e720: - b79 + b80 - b83 <= 0 e721: - b79 + b81 - b84 <= 0 e722: - b79 + b82 - b85 <= 0 e723: - b80 + b81 - b86 <= 0 e724: - b80 + b82 - b87 <= 0 e725: - b81 + b82 - b88 <= 0 e726: - b83 + b84 - b86 <= 0 e727: - b83 + b85 - b87 <= 0 e728: - b84 + b85 - b88 <= 0 e729: - b86 + b87 - b88 <= 0 e730: - b89 + b90 + b91 <= 1 e731: b91 - b92 + b93 <= 1 e732: b91 - b94 + b95 <= 1 e733: b91 - b96 + b97 <= 1 e734: b91 - b98 + b99 <= 1 e735: b91 - b100 + b101 <= 1 e736: b91 - b102 + b103 <= 1 e737: b91 - b104 + b105 <= 1 e738: b91 - b106 + b107 <= 1 e739: b91 - b108 + b179 <= 1 e740: b91 - b109 + b110 <= 1 e741: b91 - b111 + b112 <= 1 e742: b89 - b92 + b113 <= 1 e743: b89 - b94 + b114 <= 1 e744: b89 - b96 + b115 <= 1 e745: b89 - b98 + b116 <= 1 e746: b89 - b100 + b117 <= 1 e747: b89 - b102 + b118 <= 1 e748: b89 - b104 + b119 <= 1 e749: b89 - b106 + b120 <= 1 e750: b89 - b108 + b121 <= 1 e751: b89 - b109 + b122 <= 1 e752: b89 - b111 + b123 <= 1 e753: b92 - b94 + b124 <= 1 e754: b92 - b96 + b125 <= 1 e755: b92 - b98 + b126 <= 1 e756: b92 - b100 + b127 <= 1 e757: b92 - b102 + b128 <= 1 e758: b92 - b104 + b129 <= 1 e759: b92 - b106 + b130 <= 1 e760: b92 - b108 + b131 <= 1 e761: b92 - b109 + b132 <= 1 e762: b92 - b111 + b133 <= 1 e763: b94 - b96 + b134 <= 1 e764: b94 - b98 + b135 <= 1 e765: b94 - b100 + b136 <= 1 e766: b94 - b102 + b137 <= 1 e767: b94 - b104 + b138 <= 1 e768: b94 - b106 + b139 <= 1 e769: b94 - b108 + b140 <= 1 e770: b94 - b109 + b141 <= 1 e771: b94 - b111 + b142 <= 1 e772: b96 - b98 + b143 <= 1 e773: b96 - b100 + b144 <= 1 e774: b96 - b102 + b145 <= 1 e775: b96 - b104 + b146 <= 1 e776: b96 - b106 + b147 <= 1 e777: b96 - b108 + b148 <= 1 e778: b96 - b109 + b149 <= 1 e779: b96 - b111 + b150 <= 1 e780: b98 - b100 + b151 <= 1 e781: b98 - b102 + b152 <= 1 e782: b98 - b104 + b153 <= 1 e783: b98 - b106 + b154 <= 1 e784: b98 - b108 + b155 <= 1 e785: b98 - b109 + b156 <= 1 e786: b98 - b111 + b157 <= 1 e787: b100 - b102 + b158 <= 1 e788: b100 - b104 + b159 <= 1 e789: b100 - b106 + b160 <= 1 e790: b100 - b108 + b161 <= 1 e791: b100 - b109 + b162 <= 1 e792: b100 - b111 + b163 <= 1 e793: b102 - b104 + b164 <= 1 e794: b102 - b106 + b165 <= 1 e795: b102 - b108 + b166 <= 1 e796: b102 - b109 + b167 <= 1 e797: b102 - b111 + b168 <= 1 e798: b104 - b106 + b169 <= 1 e799: b104 - b108 + b170 <= 1 e800: b104 - b109 + b171 <= 1 e801: b104 - b111 + b172 <= 1 e802: b106 - b108 + b173 <= 1 e803: b106 - b109 + b174 <= 1 e804: b106 - b111 + b175 <= 1 e805: b108 - b109 + b176 <= 1 e806: b108 - b111 + b177 <= 1 e807: b109 - b111 + b178 <= 1 e808: b90 - b93 + b113 <= 1 e809: b90 - b95 + b114 <= 1 e810: b90 - b97 + b115 <= 1 e811: b90 - b99 + b116 <= 1 e812: b90 - b101 + b117 <= 1 e813: b90 - b103 + b118 <= 1 e814: b90 - b105 + b119 <= 1 e815: b90 - b107 + b120 <= 1 e816: b90 + b121 - b179 <= 1 e817: b90 - b110 + b122 <= 1 e818: b90 - b112 + b123 <= 1 e819: b93 - b95 + b124 <= 1 e820: b93 - b97 + b125 <= 1 e821: b93 - b99 + b126 <= 1 e822: b93 - b101 + b127 <= 1 e823: b93 - b103 + b128 <= 1 e824: b93 - b105 + b129 <= 1 e825: b93 - b107 + b130 <= 1 e826: b93 + b131 - b179 <= 1 e827: b93 - b110 + b132 <= 1 e828: b93 - b112 + b133 <= 1 e829: b95 - b97 + b134 <= 1 e830: b95 - b99 + b135 <= 1 e831: b95 - b101 + b136 <= 1 e832: b95 - b103 + b137 <= 1 e833: b95 - b105 + b138 <= 1 e834: b95 - b107 + b139 <= 1 e835: b95 + b140 - b179 <= 1 e836: b95 - b110 + b141 <= 1 e837: b95 - b112 + b142 <= 1 e838: b97 - b99 + b143 <= 1 e839: b97 - b101 + b144 <= 1 e840: b97 - b103 + b145 <= 1 e841: b97 - b105 + b146 <= 1 e842: b97 - b107 + b147 <= 1 e843: b97 + b148 - b179 <= 1 e844: b97 - b110 + b149 <= 1 e845: b97 - b112 + b150 <= 1 e846: b99 - b101 + b151 <= 1 e847: b99 - b103 + b152 <= 1 e848: b99 - b105 + b153 <= 1 e849: b99 - b107 + b154 <= 1 e850: b99 + b155 - b179 <= 1 e851: b99 - b110 + b156 <= 1 e852: b99 - b112 + b157 <= 1 e853: b101 - b103 + b158 <= 1 e854: b101 - b105 + b159 <= 1 e855: b101 - b107 + b160 <= 1 e856: b101 + b161 - b179 <= 1 e857: b101 - b110 + b162 <= 1 e858: b101 - b112 + b163 <= 1 e859: b103 - b105 + b164 <= 1 e860: b103 - b107 + b165 <= 1 e861: b103 + b166 - b179 <= 1 e862: b103 - b110 + b167 <= 1 e863: b103 - b112 + b168 <= 1 e864: b105 - b107 + b169 <= 1 e865: b105 + b170 - b179 <= 1 e866: b105 - b110 + b171 <= 1 e867: b105 - b112 + b172 <= 1 e868: b107 + b173 - b179 <= 1 e869: b107 - b110 + b174 <= 1 e870: b107 - b112 + b175 <= 1 e871: - b110 + b176 + b179 <= 1 e872: - b112 + b177 + b179 <= 1 e873: b110 - b112 + b178 <= 1 e874: b113 - b114 + b124 <= 1 e875: b113 - b115 + b125 <= 1 e876: b113 - b116 + b126 <= 1 e877: b113 - b117 + b127 <= 1 e878: b113 - b118 + b128 <= 1 e879: b113 - b119 + b129 <= 1 e880: b113 - b120 + b130 <= 1 e881: b113 - b121 + b131 <= 1 e882: b113 - b122 + b132 <= 1 e883: b113 - b123 + b133 <= 1 e884: b114 - b115 + b134 <= 1 e885: b114 - b116 + b135 <= 1 e886: b114 - b117 + b136 <= 1 e887: b114 - b118 + b137 <= 1 e888: b114 - b119 + b138 <= 1 e889: b114 - b120 + b139 <= 1 e890: b114 - b121 + b140 <= 1 e891: b114 - b122 + b141 <= 1 e892: b114 - b123 + b142 <= 1 e893: b115 - b116 + b143 <= 1 e894: b115 - b117 + b144 <= 1 e895: b115 - b118 + b145 <= 1 e896: b115 - b119 + b146 <= 1 e897: b115 - b120 + b147 <= 1 e898: b115 - b121 + b148 <= 1 e899: b115 - b122 + b149 <= 1 e900: b115 - b123 + b150 <= 1 e901: b116 - b117 + b151 <= 1 e902: b116 - b118 + b152 <= 1 e903: b116 - b119 + b153 <= 1 e904: b116 - b120 + b154 <= 1 e905: b116 - b121 + b155 <= 1 e906: b116 - b122 + b156 <= 1 e907: b116 - b123 + b157 <= 1 e908: b117 - b118 + b158 <= 1 e909: b117 - b119 + b159 <= 1 e910: b117 - b120 + b160 <= 1 e911: b117 - b121 + b161 <= 1 e912: b117 - b122 + b162 <= 1 e913: b117 - b123 + b163 <= 1 e914: b118 - b119 + b164 <= 1 e915: b118 - b120 + b165 <= 1 e916: b118 - b121 + b166 <= 1 e917: b118 - b122 + b167 <= 1 e918: b118 - b123 + b168 <= 1 e919: b119 - b120 + b169 <= 1 e920: b119 - b121 + b170 <= 1 e921: b119 - b122 + b171 <= 1 e922: b119 - b123 + b172 <= 1 e923: b120 - b121 + b173 <= 1 e924: b120 - b122 + b174 <= 1 e925: b120 - b123 + b175 <= 1 e926: b121 - b122 + b176 <= 1 e927: b121 - b123 + b177 <= 1 e928: b122 - b123 + b178 <= 1 e929: b124 - b125 + b134 <= 1 e930: b124 - b126 + b135 <= 1 e931: b124 - b127 + b136 <= 1 e932: b124 - b128 + b137 <= 1 e933: b124 - b129 + b138 <= 1 e934: b124 - b130 + b139 <= 1 e935: b124 - b131 + b140 <= 1 e936: b124 - b132 + b141 <= 1 e937: b124 - b133 + b142 <= 1 e938: b125 - b126 + b143 <= 1 e939: b125 - b127 + b144 <= 1 e940: b125 - b128 + b145 <= 1 e941: b125 - b129 + b146 <= 1 e942: b125 - b130 + b147 <= 1 e943: b125 - b131 + b148 <= 1 e944: b125 - b132 + b149 <= 1 e945: b125 - b133 + b150 <= 1 e946: b126 - b127 + b151 <= 1 e947: b126 - b128 + b152 <= 1 e948: b126 - b129 + b153 <= 1 e949: b126 - b130 + b154 <= 1 e950: b126 - b131 + b155 <= 1 e951: b126 - b132 + b156 <= 1 e952: b126 - b133 + b157 <= 1 e953: b127 - b128 + b158 <= 1 e954: b127 - b129 + b159 <= 1 e955: b127 - b130 + b160 <= 1 e956: b127 - b131 + b161 <= 1 e957: b127 - b132 + b162 <= 1 e958: b127 - b133 + b163 <= 1 e959: b128 - b129 + b164 <= 1 e960: b128 - b130 + b165 <= 1 e961: b128 - b131 + b166 <= 1 e962: b128 - b132 + b167 <= 1 e963: b128 - b133 + b168 <= 1 e964: b129 - b130 + b169 <= 1 e965: b129 - b131 + b170 <= 1 e966: b129 - b132 + b171 <= 1 e967: b129 - b133 + b172 <= 1 e968: b130 - b131 + b173 <= 1 e969: b130 - b132 + b174 <= 1 e970: b130 - b133 + b175 <= 1 e971: b131 - b132 + b176 <= 1 e972: b131 - b133 + b177 <= 1 e973: b132 - b133 + b178 <= 1 e974: b134 - b135 + b143 <= 1 e975: b134 - b136 + b144 <= 1 e976: b134 - b137 + b145 <= 1 e977: b134 - b138 + b146 <= 1 e978: b134 - b139 + b147 <= 1 e979: b134 - b140 + b148 <= 1 e980: b134 - b141 + b149 <= 1 e981: b134 - b142 + b150 <= 1 e982: b135 - b136 + b151 <= 1 e983: b135 - b137 + b152 <= 1 e984: b135 - b138 + b153 <= 1 e985: b135 - b139 + b154 <= 1 e986: b135 - b140 + b155 <= 1 e987: b135 - b141 + b156 <= 1 e988: b135 - b142 + b157 <= 1 e989: b136 - b137 + b158 <= 1 e990: b136 - b138 + b159 <= 1 e991: b136 - b139 + b160 <= 1 e992: b136 - b140 + b161 <= 1 e993: b136 - b141 + b162 <= 1 e994: b136 - b142 + b163 <= 1 e995: b137 - b138 + b164 <= 1 e996: b137 - b139 + b165 <= 1 e997: b137 - b140 + b166 <= 1 e998: b137 - b141 + b167 <= 1 e999: b137 - b142 + b168 <= 1 e1000: b138 - b139 + b169 <= 1 e1001: b138 - b140 + b170 <= 1 e1002: b138 - b141 + b171 <= 1 e1003: b138 - b142 + b172 <= 1 e1004: b139 - b140 + b173 <= 1 e1005: b139 - b141 + b174 <= 1 e1006: b139 - b142 + b175 <= 1 e1007: b140 - b141 + b176 <= 1 e1008: b140 - b142 + b177 <= 1 e1009: b141 - b142 + b178 <= 1 e1010: b143 - b144 + b151 <= 1 e1011: b143 - b145 + b152 <= 1 e1012: b143 - b146 + b153 <= 1 e1013: b143 - b147 + b154 <= 1 e1014: b143 - b148 + b155 <= 1 e1015: b143 - b149 + b156 <= 1 e1016: b143 - b150 + b157 <= 1 e1017: b144 - b145 + b158 <= 1 e1018: b144 - b146 + b159 <= 1 e1019: b144 - b147 + b160 <= 1 e1020: b144 - b148 + b161 <= 1 e1021: b144 - b149 + b162 <= 1 e1022: b144 - b150 + b163 <= 1 e1023: b145 - b146 + b164 <= 1 e1024: b145 - b147 + b165 <= 1 e1025: b145 - b148 + b166 <= 1 e1026: b145 - b149 + b167 <= 1 e1027: b145 - b150 + b168 <= 1 e1028: b146 - b147 + b169 <= 1 e1029: b146 - b148 + b170 <= 1 e1030: b146 - b149 + b171 <= 1 e1031: b146 - b150 + b172 <= 1 e1032: b147 - b148 + b173 <= 1 e1033: b147 - b149 + b174 <= 1 e1034: b147 - b150 + b175 <= 1 e1035: b148 - b149 + b176 <= 1 e1036: b148 - b150 + b177 <= 1 e1037: b149 - b150 + b178 <= 1 e1038: b151 - b152 + b158 <= 1 e1039: b151 - b153 + b159 <= 1 e1040: b151 - b154 + b160 <= 1 e1041: b151 - b155 + b161 <= 1 e1042: b151 - b156 + b162 <= 1 e1043: b151 - b157 + b163 <= 1 e1044: b152 - b153 + b164 <= 1 e1045: b152 - b154 + b165 <= 1 e1046: b152 - b155 + b166 <= 1 e1047: b152 - b156 + b167 <= 1 e1048: b152 - b157 + b168 <= 1 e1049: b153 - b154 + b169 <= 1 e1050: b153 - b155 + b170 <= 1 e1051: b153 - b156 + b171 <= 1 e1052: b153 - b157 + b172 <= 1 e1053: b154 - b155 + b173 <= 1 e1054: b154 - b156 + b174 <= 1 e1055: b154 - b157 + b175 <= 1 e1056: b155 - b156 + b176 <= 1 e1057: b155 - b157 + b177 <= 1 e1058: b156 - b157 + b178 <= 1 e1059: b158 - b159 + b164 <= 1 e1060: b158 - b160 + b165 <= 1 e1061: b158 - b161 + b166 <= 1 e1062: b158 - b162 + b167 <= 1 e1063: b158 - b163 + b168 <= 1 e1064: b159 - b160 + b169 <= 1 e1065: b159 - b161 + b170 <= 1 e1066: b159 - b162 + b171 <= 1 e1067: b159 - b163 + b172 <= 1 e1068: b160 - b161 + b173 <= 1 e1069: b160 - b162 + b174 <= 1 e1070: b160 - b163 + b175 <= 1 e1071: b161 - b162 + b176 <= 1 e1072: b161 - b163 + b177 <= 1 e1073: b162 - b163 + b178 <= 1 e1074: b164 - b165 + b169 <= 1 e1075: b164 - b166 + b170 <= 1 e1076: b164 - b167 + b171 <= 1 e1077: b164 - b168 + b172 <= 1 e1078: b165 - b166 + b173 <= 1 e1079: b165 - b167 + b174 <= 1 e1080: b165 - b168 + b175 <= 1 e1081: b166 - b167 + b176 <= 1 e1082: b166 - b168 + b177 <= 1 e1083: b167 - b168 + b178 <= 1 e1084: b169 - b170 + b173 <= 1 e1085: b169 - b171 + b174 <= 1 e1086: b169 - b172 + b175 <= 1 e1087: b170 - b171 + b176 <= 1 e1088: b170 - b172 + b177 <= 1 e1089: b171 - b172 + b178 <= 1 e1090: b173 - b174 + b176 <= 1 e1091: b173 - b175 + b177 <= 1 e1092: b174 - b175 + b178 <= 1 e1093: b176 - b177 + b178 <= 1 e1094: b89 - b90 - b91 <= 0 e1095: - b91 + b92 - b93 <= 0 e1096: - b91 + b94 - b95 <= 0 e1097: - b91 + b96 - b97 <= 0 e1098: - b91 + b98 - b99 <= 0 e1099: - b91 + b100 - b101 <= 0 e1100: - b91 + b102 - b103 <= 0 e1101: - b91 + b104 - b105 <= 0 e1102: - b91 + b106 - b107 <= 0 e1103: - b91 + b108 - b179 <= 0 e1104: - b91 + b109 - b110 <= 0 e1105: - b91 + b111 - b112 <= 0 e1106: - b89 + b92 - b113 <= 0 e1107: - b89 + b94 - b114 <= 0 e1108: - b89 + b96 - b115 <= 0 e1109: - b89 + b98 - b116 <= 0 e1110: - b89 + b100 - b117 <= 0 e1111: - b89 + b102 - b118 <= 0 e1112: - b89 + b104 - b119 <= 0 e1113: - b89 + b106 - b120 <= 0 e1114: - b89 + b108 - b121 <= 0 e1115: - b89 + b109 - b122 <= 0 e1116: - b89 + b111 - b123 <= 0 e1117: - b92 + b94 - b124 <= 0 e1118: - b92 + b96 - b125 <= 0 e1119: - b92 + b98 - b126 <= 0 e1120: - b92 + b100 - b127 <= 0 e1121: - b92 + b102 - b128 <= 0 e1122: - b92 + b104 - b129 <= 0 e1123: - b92 + b106 - b130 <= 0 e1124: - b92 + b108 - b131 <= 0 e1125: - b92 + b109 - b132 <= 0 e1126: - b92 + b111 - b133 <= 0 e1127: - b94 + b96 - b134 <= 0 e1128: - b94 + b98 - b135 <= 0 e1129: - b94 + b100 - b136 <= 0 e1130: - b94 + b102 - b137 <= 0 e1131: - b94 + b104 - b138 <= 0 e1132: - b94 + b106 - b139 <= 0 e1133: - b94 + b108 - b140 <= 0 e1134: - b94 + b109 - b141 <= 0 e1135: - b94 + b111 - b142 <= 0 e1136: - b96 + b98 - b143 <= 0 e1137: - b96 + b100 - b144 <= 0 e1138: - b96 + b102 - b145 <= 0 e1139: - b96 + b104 - b146 <= 0 e1140: - b96 + b106 - b147 <= 0 e1141: - b96 + b108 - b148 <= 0 e1142: - b96 + b109 - b149 <= 0 e1143: - b96 + b111 - b150 <= 0 e1144: - b98 + b100 - b151 <= 0 e1145: - b98 + b102 - b152 <= 0 e1146: - b98 + b104 - b153 <= 0 e1147: - b98 + b106 - b154 <= 0 e1148: - b98 + b108 - b155 <= 0 e1149: - b98 + b109 - b156 <= 0 e1150: - b98 + b111 - b157 <= 0 e1151: - b100 + b102 - b158 <= 0 e1152: - b100 + b104 - b159 <= 0 e1153: - b100 + b106 - b160 <= 0 e1154: - b100 + b108 - b161 <= 0 e1155: - b100 + b109 - b162 <= 0 e1156: - b100 + b111 - b163 <= 0 e1157: - b102 + b104 - b164 <= 0 e1158: - b102 + b106 - b165 <= 0 e1159: - b102 + b108 - b166 <= 0 e1160: - b102 + b109 - b167 <= 0 e1161: - b102 + b111 - b168 <= 0 e1162: - b104 + b106 - b169 <= 0 e1163: - b104 + b108 - b170 <= 0 e1164: - b104 + b109 - b171 <= 0 e1165: - b104 + b111 - b172 <= 0 e1166: - b106 + b108 - b173 <= 0 e1167: - b106 + b109 - b174 <= 0 e1168: - b106 + b111 - b175 <= 0 e1169: - b108 + b109 - b176 <= 0 e1170: - b108 + b111 - b177 <= 0 e1171: - b109 + b111 - b178 <= 0 e1172: - b90 + b93 - b113 <= 0 e1173: - b90 + b95 - b114 <= 0 e1174: - b90 + b97 - b115 <= 0 e1175: - b90 + b99 - b116 <= 0 e1176: - b90 + b101 - b117 <= 0 e1177: - b90 + b103 - b118 <= 0 e1178: - b90 + b105 - b119 <= 0 e1179: - b90 + b107 - b120 <= 0 e1180: - b90 - b121 + b179 <= 0 e1181: - b90 + b110 - b122 <= 0 e1182: - b90 + b112 - b123 <= 0 e1183: - b93 + b95 - b124 <= 0 e1184: - b93 + b97 - b125 <= 0 e1185: - b93 + b99 - b126 <= 0 e1186: - b93 + b101 - b127 <= 0 e1187: - b93 + b103 - b128 <= 0 e1188: - b93 + b105 - b129 <= 0 e1189: - b93 + b107 - b130 <= 0 e1190: - b93 - b131 + b179 <= 0 e1191: - b93 + b110 - b132 <= 0 e1192: - b93 + b112 - b133 <= 0 e1193: - b95 + b97 - b134 <= 0 e1194: - b95 + b99 - b135 <= 0 e1195: - b95 + b101 - b136 <= 0 e1196: - b95 + b103 - b137 <= 0 e1197: - b95 + b105 - b138 <= 0 e1198: - b95 + b107 - b139 <= 0 e1199: - b95 - b140 + b179 <= 0 e1200: - b95 + b110 - b141 <= 0 e1201: - b95 + b112 - b142 <= 0 e1202: - b97 + b99 - b143 <= 0 e1203: - b97 + b101 - b144 <= 0 e1204: - b97 + b103 - b145 <= 0 e1205: - b97 + b105 - b146 <= 0 e1206: - b97 + b107 - b147 <= 0 e1207: - b97 - b148 + b179 <= 0 e1208: - b97 + b110 - b149 <= 0 e1209: - b97 + b112 - b150 <= 0 e1210: - b99 + b101 - b151 <= 0 e1211: - b99 + b103 - b152 <= 0 e1212: - b99 + b105 - b153 <= 0 e1213: - b99 + b107 - b154 <= 0 e1214: - b99 - b155 + b179 <= 0 e1215: - b99 + b110 - b156 <= 0 e1216: - b99 + b112 - b157 <= 0 e1217: - b101 + b103 - b158 <= 0 e1218: - b101 + b105 - b159 <= 0 e1219: - b101 + b107 - b160 <= 0 e1220: - b101 - b161 + b179 <= 0 e1221: - b101 + b110 - b162 <= 0 e1222: - b101 + b112 - b163 <= 0 e1223: - b103 + b105 - b164 <= 0 e1224: - b103 + b107 - b165 <= 0 e1225: - b103 - b166 + b179 <= 0 e1226: - b103 + b110 - b167 <= 0 e1227: - b103 + b112 - b168 <= 0 e1228: - b105 + b107 - b169 <= 0 e1229: - b105 - b170 + b179 <= 0 e1230: - b105 + b110 - b171 <= 0 e1231: - b105 + b112 - b172 <= 0 e1232: - b107 - b173 + b179 <= 0 e1233: - b107 + b110 - b174 <= 0 e1234: - b107 + b112 - b175 <= 0 e1235: b110 - b176 - b179 <= 0 e1236: b112 - b177 - b179 <= 0 e1237: - b110 + b112 - b178 <= 0 e1238: - b113 + b114 - b124 <= 0 e1239: - b113 + b115 - b125 <= 0 e1240: - b113 + b116 - b126 <= 0 e1241: - b113 + b117 - b127 <= 0 e1242: - b113 + b118 - b128 <= 0 e1243: - b113 + b119 - b129 <= 0 e1244: - b113 + b120 - b130 <= 0 e1245: - b113 + b121 - b131 <= 0 e1246: - b113 + b122 - b132 <= 0 e1247: - b113 + b123 - b133 <= 0 e1248: - b114 + b115 - b134 <= 0 e1249: - b114 + b116 - b135 <= 0 e1250: - b114 + b117 - b136 <= 0 e1251: - b114 + b118 - b137 <= 0 e1252: - b114 + b119 - b138 <= 0 e1253: - b114 + b120 - b139 <= 0 e1254: - b114 + b121 - b140 <= 0 e1255: - b114 + b122 - b141 <= 0 e1256: - b114 + b123 - b142 <= 0 e1257: - b115 + b116 - b143 <= 0 e1258: - b115 + b117 - b144 <= 0 e1259: - b115 + b118 - b145 <= 0 e1260: - b115 + b119 - b146 <= 0 e1261: - b115 + b120 - b147 <= 0 e1262: - b115 + b121 - b148 <= 0 e1263: - b115 + b122 - b149 <= 0 e1264: - b115 + b123 - b150 <= 0 e1265: - b116 + b117 - b151 <= 0 e1266: - b116 + b118 - b152 <= 0 e1267: - b116 + b119 - b153 <= 0 e1268: - b116 + b120 - b154 <= 0 e1269: - b116 + b121 - b155 <= 0 e1270: - b116 + b122 - b156 <= 0 e1271: - b116 + b123 - b157 <= 0 e1272: - b117 + b118 - b158 <= 0 e1273: - b117 + b119 - b159 <= 0 e1274: - b117 + b120 - b160 <= 0 e1275: - b117 + b121 - b161 <= 0 e1276: - b117 + b122 - b162 <= 0 e1277: - b117 + b123 - b163 <= 0 e1278: - b118 + b119 - b164 <= 0 e1279: - b118 + b120 - b165 <= 0 e1280: - b118 + b121 - b166 <= 0 e1281: - b118 + b122 - b167 <= 0 e1282: - b118 + b123 - b168 <= 0 e1283: - b119 + b120 - b169 <= 0 e1284: - b119 + b121 - b170 <= 0 e1285: - b119 + b122 - b171 <= 0 e1286: - b119 + b123 - b172 <= 0 e1287: - b120 + b121 - b173 <= 0 e1288: - b120 + b122 - b174 <= 0 e1289: - b120 + b123 - b175 <= 0 e1290: - b121 + b122 - b176 <= 0 e1291: - b121 + b123 - b177 <= 0 e1292: - b122 + b123 - b178 <= 0 e1293: - b124 + b125 - b134 <= 0 e1294: - b124 + b126 - b135 <= 0 e1295: - b124 + b127 - b136 <= 0 e1296: - b124 + b128 - b137 <= 0 e1297: - b124 + b129 - b138 <= 0 e1298: - b124 + b130 - b139 <= 0 e1299: - b124 + b131 - b140 <= 0 e1300: - b124 + b132 - b141 <= 0 e1301: - b124 + b133 - b142 <= 0 e1302: - b125 + b126 - b143 <= 0 e1303: - b125 + b127 - b144 <= 0 e1304: - b125 + b128 - b145 <= 0 e1305: - b125 + b129 - b146 <= 0 e1306: - b125 + b130 - b147 <= 0 e1307: - b125 + b131 - b148 <= 0 e1308: - b125 + b132 - b149 <= 0 e1309: - b125 + b133 - b150 <= 0 e1310: - b126 + b127 - b151 <= 0 e1311: - b126 + b128 - b152 <= 0 e1312: - b126 + b129 - b153 <= 0 e1313: - b126 + b130 - b154 <= 0 e1314: - b126 + b131 - b155 <= 0 e1315: - b126 + b132 - b156 <= 0 e1316: - b126 + b133 - b157 <= 0 e1317: - b127 + b128 - b158 <= 0 e1318: - b127 + b129 - b159 <= 0 e1319: - b127 + b130 - b160 <= 0 e1320: - b127 + b131 - b161 <= 0 e1321: - b127 + b132 - b162 <= 0 e1322: - b127 + b133 - b163 <= 0 e1323: - b128 + b129 - b164 <= 0 e1324: - b128 + b130 - b165 <= 0 e1325: - b128 + b131 - b166 <= 0 e1326: - b128 + b132 - b167 <= 0 e1327: - b128 + b133 - b168 <= 0 e1328: - b129 + b130 - b169 <= 0 e1329: - b129 + b131 - b170 <= 0 e1330: - b129 + b132 - b171 <= 0 e1331: - b129 + b133 - b172 <= 0 e1332: - b130 + b131 - b173 <= 0 e1333: - b130 + b132 - b174 <= 0 e1334: - b130 + b133 - b175 <= 0 e1335: - b131 + b132 - b176 <= 0 e1336: - b131 + b133 - b177 <= 0 e1337: - b132 + b133 - b178 <= 0 e1338: - b134 + b135 - b143 <= 0 e1339: - b134 + b136 - b144 <= 0 e1340: - b134 + b137 - b145 <= 0 e1341: - b134 + b138 - b146 <= 0 e1342: - b134 + b139 - b147 <= 0 e1343: - b134 + b140 - b148 <= 0 e1344: - b134 + b141 - b149 <= 0 e1345: - b134 + b142 - b150 <= 0 e1346: - b135 + b136 - b151 <= 0 e1347: - b135 + b137 - b152 <= 0 e1348: - b135 + b138 - b153 <= 0 e1349: - b135 + b139 - b154 <= 0 e1350: - b135 + b140 - b155 <= 0 e1351: - b135 + b141 - b156 <= 0 e1352: - b135 + b142 - b157 <= 0 e1353: - b136 + b137 - b158 <= 0 e1354: - b136 + b138 - b159 <= 0 e1355: - b136 + b139 - b160 <= 0 e1356: - b136 + b140 - b161 <= 0 e1357: - b136 + b141 - b162 <= 0 e1358: - b136 + b142 - b163 <= 0 e1359: - b137 + b138 - b164 <= 0 e1360: - b137 + b139 - b165 <= 0 e1361: - b137 + b140 - b166 <= 0 e1362: - b137 + b141 - b167 <= 0 e1363: - b137 + b142 - b168 <= 0 e1364: - b138 + b139 - b169 <= 0 e1365: - b138 + b140 - b170 <= 0 e1366: - b138 + b141 - b171 <= 0 e1367: - b138 + b142 - b172 <= 0 e1368: - b139 + b140 - b173 <= 0 e1369: - b139 + b141 - b174 <= 0 e1370: - b139 + b142 - b175 <= 0 e1371: - b140 + b141 - b176 <= 0 e1372: - b140 + b142 - b177 <= 0 e1373: - b141 + b142 - b178 <= 0 e1374: - b143 + b144 - b151 <= 0 e1375: - b143 + b145 - b152 <= 0 e1376: - b143 + b146 - b153 <= 0 e1377: - b143 + b147 - b154 <= 0 e1378: - b143 + b148 - b155 <= 0 e1379: - b143 + b149 - b156 <= 0 e1380: - b143 + b150 - b157 <= 0 e1381: - b144 + b145 - b158 <= 0 e1382: - b144 + b146 - b159 <= 0 e1383: - b144 + b147 - b160 <= 0 e1384: - b144 + b148 - b161 <= 0 e1385: - b144 + b149 - b162 <= 0 e1386: - b144 + b150 - b163 <= 0 e1387: - b145 + b146 - b164 <= 0 e1388: - b145 + b147 - b165 <= 0 e1389: - b145 + b148 - b166 <= 0 e1390: - b145 + b149 - b167 <= 0 e1391: - b145 + b150 - b168 <= 0 e1392: - b146 + b147 - b169 <= 0 e1393: - b146 + b148 - b170 <= 0 e1394: - b146 + b149 - b171 <= 0 e1395: - b146 + b150 - b172 <= 0 e1396: - b147 + b148 - b173 <= 0 e1397: - b147 + b149 - b174 <= 0 e1398: - b147 + b150 - b175 <= 0 e1399: - b148 + b149 - b176 <= 0 e1400: - b148 + b150 - b177 <= 0 e1401: - b149 + b150 - b178 <= 0 e1402: - b151 + b152 - b158 <= 0 e1403: - b151 + b153 - b159 <= 0 e1404: - b151 + b154 - b160 <= 0 e1405: - b151 + b155 - b161 <= 0 e1406: - b151 + b156 - b162 <= 0 e1407: - b151 + b157 - b163 <= 0 e1408: - b152 + b153 - b164 <= 0 e1409: - b152 + b154 - b165 <= 0 e1410: - b152 + b155 - b166 <= 0 e1411: - b152 + b156 - b167 <= 0 e1412: - b152 + b157 - b168 <= 0 e1413: - b153 + b154 - b169 <= 0 e1414: - b153 + b155 - b170 <= 0 e1415: - b153 + b156 - b171 <= 0 e1416: - b153 + b157 - b172 <= 0 e1417: - b154 + b155 - b173 <= 0 e1418: - b154 + b156 - b174 <= 0 e1419: - b154 + b157 - b175 <= 0 e1420: - b155 + b156 - b176 <= 0 e1421: - b155 + b157 - b177 <= 0 e1422: - b156 + b157 - b178 <= 0 e1423: - b158 + b159 - b164 <= 0 e1424: - b158 + b160 - b165 <= 0 e1425: - b158 + b161 - b166 <= 0 e1426: - b158 + b162 - b167 <= 0 e1427: - b158 + b163 - b168 <= 0 e1428: - b159 + b160 - b169 <= 0 e1429: - b159 + b161 - b170 <= 0 e1430: - b159 + b162 - b171 <= 0 e1431: - b159 + b163 - b172 <= 0 e1432: - b160 + b161 - b173 <= 0 e1433: - b160 + b162 - b174 <= 0 e1434: - b160 + b163 - b175 <= 0 e1435: - b161 + b162 - b176 <= 0 e1436: - b161 + b163 - b177 <= 0 e1437: - b162 + b163 - b178 <= 0 e1438: - b164 + b165 - b169 <= 0 e1439: - b164 + b166 - b170 <= 0 e1440: - b164 + b167 - b171 <= 0 e1441: - b164 + b168 - b172 <= 0 e1442: - b165 + b166 - b173 <= 0 e1443: - b165 + b167 - b174 <= 0 e1444: - b165 + b168 - b175 <= 0 e1445: - b166 + b167 - b176 <= 0 e1446: - b166 + b168 - b177 <= 0 e1447: - b167 + b168 - b178 <= 0 e1448: - b169 + b170 - b173 <= 0 e1449: - b169 + b171 - b174 <= 0 e1450: - b169 + b172 - b175 <= 0 e1451: - b170 + b171 - b176 <= 0 e1452: - b170 + b172 - b177 <= 0 e1453: - b171 + b172 - b178 <= 0 e1454: - b173 + b174 - b176 <= 0 e1455: - b173 + b175 - b177 <= 0 e1456: - b174 + b175 - b178 <= 0 e1457: - b176 + b177 - b178 <= 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 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 End