\ Equation counts \ Total E G L N X C B \ 46 30 0 16 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 240 0 240 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 720 480 240 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + 0 b184 + 0 b185 + 0 b186 + 0 b187 + 0 b188 + 0 b189 + 0 b190 + 0 b191 + 0 b192 + 0 b193 + 0 b194 + 0 b195 + 0 b196 + 0 b197 + 0 b198 + 0 b199 + 0 b200 + 0 b201 + 0 b202 + 0 b203 + 0 b204 + 0 b205 + 0 b206 + 0 b207 + 0 b208 + 0 b209 + 0 b210 + 0 b211 + 0 b212 + 0 b213 + 0 b214 + 0 b215 + 0 b216 + 0 b217 + 0 b218 + 0 b219 + 0 b220 + 0 b221 + 0 b222 + 0 b223 + 0 b224 + 0 b225 + 0 b226 + 0 b227 + 0 b228 + 0 b229 + 0 b230 + 0 b231 + 0 b232 + 0 b233 + 0 b234 + 0 b235 + 0 b236 + 0 b237 + 0 b238 + 0 b239 + 0 b240 + [ 736 b1 * b145 + 828 b1 * b146 + 9.2e2 b1 * b147 + 1012 b1 * b148 + 1104 b1 * b149 + 1196 b1 * b150 + 1288 b1 * b151 + 1.38e3 b1 * b152 + 5.6e2 b1 * b209 + 6.3e2 b1 * b210 + 700 b1 * b211 + 7.7e2 b1 * b212 + 8.4e2 b1 * b213 + 9.1e2 b1 * b214 + 9.8e2 b1 * b215 + 1.05e3 b1 * b216 + 828 b2 * b145 + 736 b2 * b146 + 828 b2 * b147 + 9.2e2 b2 * b148 + 1012 b2 * b149 + 1104 b2 * b150 + 1196 b2 * b151 + 1288 b2 * b152 + 6.3e2 b2 * b209 + 5.6e2 b2 * b210 + 6.3e2 b2 * b211 + 700 b2 * b212 + 7.7e2 b2 * b213 + 8.4e2 b2 * b214 + 9.1e2 b2 * b215 + 9.8e2 b2 * b216 + 9.2e2 b3 * b145 + 828 b3 * b146 + 736 b3 * b147 + 828 b3 * b148 + 9.2e2 b3 * b149 + 1012 b3 * b150 + 1104 b3 * b151 + 1196 b3 * b152 + 700 b3 * b209 + 6.3e2 b3 * b210 + 5.6e2 b3 * b211 + 6.3e2 b3 * b212 + 700 b3 * b213 + 7.7e2 b3 * b214 + 8.4e2 b3 * b215 + 9.1e2 b3 * b216 + 1012 b4 * b145 + 9.2e2 b4 * b146 + 828 b4 * b147 + 736 b4 * b148 + 828 b4 * b149 + 9.2e2 b4 * b150 + 1012 b4 * b151 + 1104 b4 * b152 + 7.7e2 b4 * b209 + 700 b4 * b210 + 6.3e2 b4 * b211 + 5.6e2 b4 * b212 + 6.3e2 b4 * b213 + 700 b4 * b214 + 7.7e2 b4 * b215 + 8.4e2 b4 * b216 + 1104 b5 * b145 + 1012 b5 * b146 + 9.2e2 b5 * b147 + 828 b5 * b148 + 736 b5 * b149 + 828 b5 * b150 + 9.2e2 b5 * b151 + 1012 b5 * b152 + 8.4e2 b5 * b209 + 7.7e2 b5 * b210 + 700 b5 * b211 + 6.3e2 b5 * b212 + 5.6e2 b5 * b213 + 6.3e2 b5 * b214 + 700 b5 * b215 + 7.7e2 b5 * b216 + 1196 b6 * b145 + 1104 b6 * b146 + 1012 b6 * b147 + 9.2e2 b6 * b148 + 828 b6 * b149 + 736 b6 * b150 + 828 b6 * b151 + 9.2e2 b6 * b152 + 9.1e2 b6 * b209 + 8.4e2 b6 * b210 + 7.7e2 b6 * b211 + 700 b6 * b212 + 6.3e2 b6 * b213 + 5.6e2 b6 * b214 + 6.3e2 b6 * b215 + 700 b6 * b216 + 1288 b7 * b145 + 1196 b7 * b146 + 1104 b7 * b147 + 1012 b7 * b148 + 9.2e2 b7 * b149 + 828 b7 * b150 + 736 b7 * b151 + 828 b7 * b152 + 9.8e2 b7 * b209 + 9.1e2 b7 * b210 + 8.4e2 b7 * b211 + 7.7e2 b7 * b212 + 700 b7 * b213 + 6.3e2 b7 * b214 + 5.6e2 b7 * b215 + 6.3e2 b7 * b216 + 1.38e3 b8 * b145 + 1288 b8 * b146 + 1196 b8 * b147 + 1104 b8 * b148 + 1012 b8 * b149 + 9.2e2 b8 * b150 + 828 b8 * b151 + 736 b8 * b152 + 1.05e3 b8 * b209 + 9.8e2 b8 * b210 + 9.1e2 b8 * b211 + 8.4e2 b8 * b212 + 7.7e2 b8 * b213 + 700 b8 * b214 + 6.3e2 b8 * b215 + 5.6e2 b8 * b216 + 544 b9 * b161 + 612 b9 * b162 + 6.8e2 b9 * b163 + 748 b9 * b164 + 816 b9 * b165 + 884 b9 * b166 + 952 b9 * b167 + 1.02e3 b9 * b168 + 3.2e2 b9 * b177 + 3.6e2 b9 * b178 + 400 b9 * b179 + 4.4e2 b9 * b180 + 4.8e2 b9 * b181 + 5.2e2 b9 * b182 + 5.6e2 b9 * b183 + 600 b9 * b184 + 256 b9 * b185 + 288 b9 * b186 + 3.2e2 b9 * b187 + 352 b9 * b188 + 384 b9 * b189 + 416 b9 * b190 + 448 b9 * b191 + 4.8e2 b9 * b192 + 304 b9 * b193 + 342 b9 * b194 + 3.8e2 b9 * b195 + 418 b9 * b196 + 456 b9 * b197 + 494 b9 * b198 + 532 b9 * b199 + 5.7e2 b9 * b200 + 400 b9 * b233 + 4.5e2 b9 * b234 + 500 b9 * b235 + 5.5e2 b9 * b236 + 600 b9 * b237 + 6.5e2 b9 * b238 + 700 b9 * b239 + 7.5e2 b9 * b240 + 612 b10 * b161 + 544 b10 * b162 + 612 b10 * b163 + 6.8e2 b10 * b164 + 748 b10 * b165 + 816 b10 * b166 + 884 b10 * b167 + 952 b10 * b168 + 3.6e2 b10 * b177 + 3.2e2 b10 * b178 + 3.6e2 b10 * b179 + 400 b10 * b180 + 4.4e2 b10 * b181 + 4.8e2 b10 * b182 + 5.2e2 b10 * b183 + 5.6e2 b10 * b184 + 288 b10 * b185 + 256 b10 * b186 + 288 b10 * b187 + 3.2e2 b10 * b188 + 352 b10 * b189 + 384 b10 * b190 + 416 b10 * b191 + 448 b10 * b192 + 342 b10 * b193 + 304 b10 * b194 + 342 b10 * b195 + 3.8e2 b10 * b196 + 418 b10 * b197 + 456 b10 * b198 + 494 b10 * b199 + 532 b10 * b200 + 4.5e2 b10 * b233 + 400 b10 * b234 + 4.5e2 b10 * b235 + 500 b10 * b236 + 5.5e2 b10 * b237 + 600 b10 * b238 + 6.5e2 b10 * b239 + 700 b10 * b240 + 6.8e2 b11 * b161 + 612 b11 * b162 + 544 b11 * b163 + 612 b11 * b164 + 6.8e2 b11 * b165 + 748 b11 * b166 + 816 b11 * b167 + 884 b11 * b168 + 400 b11 * b177 + 3.6e2 b11 * b178 + 3.2e2 b11 * b179 + 3.6e2 b11 * b180 + 400 b11 * b181 + 4.4e2 b11 * b182 + 4.8e2 b11 * b183 + 5.2e2 b11 * b184 + 3.2e2 b11 * b185 + 288 b11 * b186 + 256 b11 * b187 + 288 b11 * b188 + 3.2e2 b11 * b189 + 352 b11 * b190 + 384 b11 * b191 + 416 b11 * b192 + 3.8e2 b11 * b193 + 342 b11 * b194 + 304 b11 * b195 + 342 b11 * b196 + 3.8e2 b11 * b197 + 418 b11 * b198 + 456 b11 * b199 + 494 b11 * b200 + 500 b11 * b233 + 4.5e2 b11 * b234 + 400 b11 * b235 + 4.5e2 b11 * b236 + 500 b11 * b237 + 5.5e2 b11 * b238 + 600 b11 * b239 + 6.5e2 b11 * b240 + 748 b12 * b161 + 6.8e2 b12 * b162 + 612 b12 * b163 + 544 b12 * b164 + 612 b12 * b165 + 6.8e2 b12 * b166 + 748 b12 * b167 + 816 b12 * b168 + 4.4e2 b12 * b177 + 400 b12 * b178 + 3.6e2 b12 * b179 + 3.2e2 b12 * b180 + 3.6e2 b12 * b181 + 400 b12 * b182 + 4.4e2 b12 * b183 + 4.8e2 b12 * b184 + 352 b12 * b185 + 3.2e2 b12 * b186 + 288 b12 * b187 + 256 b12 * b188 + 288 b12 * b189 + 3.2e2 b12 * b190 + 352 b12 * b191 + 384 b12 * b192 + 418 b12 * b193 + 3.8e2 b12 * b194 + 342 b12 * b195 + 304 b12 * b196 + 342 b12 * b197 + 3.8e2 b12 * b198 + 418 b12 * b199 + 456 b12 * b200 + 5.5e2 b12 * b233 + 500 b12 * b234 + 4.5e2 b12 * b235 + 400 b12 * b236 + 4.5e2 b12 * b237 + 500 b12 * b238 + 5.5e2 b12 * b239 + 600 b12 * b240 + 816 b13 * b161 + 748 b13 * b162 + 6.8e2 b13 * b163 + 612 b13 * b164 + 544 b13 * b165 + 612 b13 * b166 + 6.8e2 b13 * b167 + 748 b13 * b168 + 4.8e2 b13 * b177 + 4.4e2 b13 * b178 + 400 b13 * b179 + 3.6e2 b13 * b180 + 3.2e2 b13 * b181 + 3.6e2 b13 * b182 + 400 b13 * b183 + 4.4e2 b13 * b184 + 384 b13 * b185 + 352 b13 * b186 + 3.2e2 b13 * b187 + 288 b13 * b188 + 256 b13 * b189 + 288 b13 * b190 + 3.2e2 b13 * b191 + 352 b13 * b192 + 456 b13 * b193 + 418 b13 * b194 + 3.8e2 b13 * b195 + 342 b13 * b196 + 304 b13 * b197 + 342 b13 * b198 + 3.8e2 b13 * b199 + 418 b13 * b200 + 600 b13 * b233 + 5.5e2 b13 * b234 + 500 b13 * b235 + 4.5e2 b13 * b236 + 400 b13 * b237 + 4.5e2 b13 * b238 + 500 b13 * b239 + 5.5e2 b13 * b240 + 884 b14 * b161 + 816 b14 * b162 + 748 b14 * b163 + 6.8e2 b14 * b164 + 612 b14 * b165 + 544 b14 * b166 + 612 b14 * b167 + 6.8e2 b14 * b168 + 5.2e2 b14 * b177 + 4.8e2 b14 * b178 + 4.4e2 b14 * b179 + 400 b14 * b180 + 3.6e2 b14 * b181 + 3.2e2 b14 * b182 + 3.6e2 b14 * b183 + 400 b14 * b184 + 416 b14 * b185 + 384 b14 * b186 + 352 b14 * b187 + 3.2e2 b14 * b188 + 288 b14 * b189 + 256 b14 * b190 + 288 b14 * b191 + 3.2e2 b14 * b192 + 494 b14 * b193 + 456 b14 * b194 + 418 b14 * b195 + 3.8e2 b14 * b196 + 342 b14 * b197 + 304 b14 * b198 + 342 b14 * b199 + 3.8e2 b14 * b200 + 6.5e2 b14 * b233 + 600 b14 * b234 + 5.5e2 b14 * b235 + 500 b14 * b236 + 4.5e2 b14 * b237 + 400 b14 * b238 + 4.5e2 b14 * b239 + 500 b14 * b240 + 952 b15 * b161 + 884 b15 * b162 + 816 b15 * b163 + 748 b15 * b164 + 6.8e2 b15 * b165 + 612 b15 * b166 + 544 b15 * b167 + 612 b15 * b168 + 5.6e2 b15 * b177 + 5.2e2 b15 * b178 + 4.8e2 b15 * b179 + 4.4e2 b15 * b180 + 400 b15 * b181 + 3.6e2 b15 * b182 + 3.2e2 b15 * b183 + 3.6e2 b15 * b184 + 448 b15 * b185 + 416 b15 * b186 + 384 b15 * b187 + 352 b15 * b188 + 3.2e2 b15 * b189 + 288 b15 * b190 + 256 b15 * b191 + 288 b15 * b192 + 532 b15 * b193 + 494 b15 * b194 + 456 b15 * b195 + 418 b15 * b196 + 3.8e2 b15 * b197 + 342 b15 * b198 + 304 b15 * b199 + 342 b15 * b200 + 700 b15 * b233 + 6.5e2 b15 * b234 + 600 b15 * b235 + 5.5e2 b15 * b236 + 500 b15 * b237 + 4.5e2 b15 * b238 + 400 b15 * b239 + 4.5e2 b15 * b240 + 1.02e3 b16 * b161 + 952 b16 * b162 + 884 b16 * b163 + 816 b16 * b164 + 748 b16 * b165 + 6.8e2 b16 * b166 + 612 b16 * b167 + 544 b16 * b168 + 600 b16 * b177 + 5.6e2 b16 * b178 + 5.2e2 b16 * b179 + 4.8e2 b16 * b180 + 4.4e2 b16 * b181 + 400 b16 * b182 + 3.6e2 b16 * b183 + 3.2e2 b16 * b184 + 4.8e2 b16 * b185 + 448 b16 * b186 + 416 b16 * b187 + 384 b16 * b188 + 352 b16 * b189 + 3.2e2 b16 * b190 + 288 b16 * b191 + 256 b16 * b192 + 5.7e2 b16 * b193 + 532 b16 * b194 + 494 b16 * b195 + 456 b16 * b196 + 418 b16 * b197 + 3.8e2 b16 * b198 + 342 b16 * b199 + 304 b16 * b200 + 7.5e2 b16 * b233 + 700 b16 * b234 + 6.5e2 b16 * b235 + 600 b16 * b236 + 5.5e2 b16 * b237 + 500 b16 * b238 + 4.5e2 b16 * b239 + 400 b16 * b240 + 4.8e2 b17 * b169 + 5.4e2 b17 * b170 + 600 b17 * b171 + 6.6e2 b17 * b172 + 7.2e2 b17 * b173 + 7.8e2 b17 * b174 + 8.4e2 b17 * b175 + 900 b17 * b176 + 448 b17 * b193 + 504 b17 * b194 + 5.6e2 b17 * b195 + 616 b17 * b196 + 672 b17 * b197 + 728 b17 * b198 + 784 b17 * b199 + 8.4e2 b17 * b200 + 400 b17 * b201 + 4.5e2 b17 * b202 + 500 b17 * b203 + 5.5e2 b17 * b204 + 600 b17 * b205 + 6.5e2 b17 * b206 + 700 b17 * b207 + 7.5e2 b17 * b208 + 272 b17 * b209 + 306 b17 * b210 + 3.4e2 b17 * b211 + 374 b17 * b212 + 408 b17 * b213 + 442 b17 * b214 + 476 b17 * b215 + 5.1e2 b17 * b216 + 5.4e2 b18 * b169 + 4.8e2 b18 * b170 + 5.4e2 b18 * b171 + 600 b18 * b172 + 6.6e2 b18 * b173 + 7.2e2 b18 * b174 + 7.8e2 b18 * b175 + 8.4e2 b18 * b176 + 504 b18 * b193 + 448 b18 * b194 + 504 b18 * b195 + 5.6e2 b18 * b196 + 616 b18 * b197 + 672 b18 * b198 + 728 b18 * b199 + 784 b18 * b200 + 4.5e2 b18 * b201 + 400 b18 * b202 + 4.5e2 b18 * b203 + 500 b18 * b204 + 5.5e2 b18 * b205 + 600 b18 * b206 + 6.5e2 b18 * b207 + 700 b18 * b208 + 306 b18 * b209 + 272 b18 * b210 + 306 b18 * b211 + 3.4e2 b18 * b212 + 374 b18 * b213 + 408 b18 * b214 + 442 b18 * b215 + 476 b18 * b216 + 600 b19 * b169 + 5.4e2 b19 * b170 + 4.8e2 b19 * b171 + 5.4e2 b19 * b172 + 600 b19 * b173 + 6.6e2 b19 * b174 + 7.2e2 b19 * b175 + 7.8e2 b19 * b176 + 5.6e2 b19 * b193 + 504 b19 * b194 + 448 b19 * b195 + 504 b19 * b196 + 5.6e2 b19 * b197 + 616 b19 * b198 + 672 b19 * b199 + 728 b19 * b200 + 500 b19 * b201 + 4.5e2 b19 * b202 + 400 b19 * b203 + 4.5e2 b19 * b204 + 500 b19 * b205 + 5.5e2 b19 * b206 + 600 b19 * b207 + 6.5e2 b19 * b208 + 3.4e2 b19 * b209 + 306 b19 * b210 + 272 b19 * b211 + 306 b19 * b212 + 3.4e2 b19 * b213 + 374 b19 * b214 + 408 b19 * b215 + 442 b19 * b216 + 6.6e2 b20 * b169 + 600 b20 * b170 + 5.4e2 b20 * b171 + 4.8e2 b20 * b172 + 5.4e2 b20 * b173 + 600 b20 * b174 + 6.6e2 b20 * b175 + 7.2e2 b20 * b176 + 616 b20 * b193 + 5.6e2 b20 * b194 + 504 b20 * b195 + 448 b20 * b196 + 504 b20 * b197 + 5.6e2 b20 * b198 + 616 b20 * b199 + 672 b20 * b200 + 5.5e2 b20 * b201 + 500 b20 * b202 + 4.5e2 b20 * b203 + 400 b20 * b204 + 4.5e2 b20 * b205 + 500 b20 * b206 + 5.5e2 b20 * b207 + 600 b20 * b208 + 374 b20 * b209 + 3.4e2 b20 * b210 + 306 b20 * b211 + 272 b20 * b212 + 306 b20 * b213 + 3.4e2 b20 * b214 + 374 b20 * b215 + 408 b20 * b216 + 7.2e2 b21 * b169 + 6.6e2 b21 * b170 + 600 b21 * b171 + 5.4e2 b21 * b172 + 4.8e2 b21 * b173 + 5.4e2 b21 * b174 + 600 b21 * b175 + 6.6e2 b21 * b176 + 672 b21 * b193 + 616 b21 * b194 + 5.6e2 b21 * b195 + 504 b21 * b196 + 448 b21 * b197 + 504 b21 * b198 + 5.6e2 b21 * b199 + 616 b21 * b200 + 600 b21 * b201 + 5.5e2 b21 * b202 + 500 b21 * b203 + 4.5e2 b21 * b204 + 400 b21 * b205 + 4.5e2 b21 * b206 + 500 b21 * b207 + 5.5e2 b21 * b208 + 408 b21 * b209 + 374 b21 * b210 + 3.4e2 b21 * b211 + 306 b21 * b212 + 272 b21 * b213 + 306 b21 * b214 + 3.4e2 b21 * b215 + 374 b21 * b216 + 7.8e2 b22 * b169 + 7.2e2 b22 * b170 + 6.6e2 b22 * b171 + 600 b22 * b172 + 5.4e2 b22 * b173 + 4.8e2 b22 * b174 + 5.4e2 b22 * b175 + 600 b22 * b176 + 728 b22 * b193 + 672 b22 * b194 + 616 b22 * b195 + 5.6e2 b22 * b196 + 504 b22 * b197 + 448 b22 * b198 + 504 b22 * b199 + 5.6e2 b22 * b200 + 6.5e2 b22 * b201 + 600 b22 * b202 + 5.5e2 b22 * b203 + 500 b22 * b204 + 4.5e2 b22 * b205 + 400 b22 * b206 + 4.5e2 b22 * b207 + 500 b22 * b208 + 442 b22 * b209 + 408 b22 * b210 + 374 b22 * b211 + 3.4e2 b22 * b212 + 306 b22 * b213 + 272 b22 * b214 + 306 b22 * b215 + 3.4e2 b22 * b216 + 8.4e2 b23 * b169 + 7.8e2 b23 * b170 + 7.2e2 b23 * b171 + 6.6e2 b23 * b172 + 600 b23 * b173 + 5.4e2 b23 * b174 + 4.8e2 b23 * b175 + 5.4e2 b23 * b176 + 784 b23 * b193 + 728 b23 * b194 + 672 b23 * b195 + 616 b23 * b196 + 5.6e2 b23 * b197 + 504 b23 * b198 + 448 b23 * b199 + 504 b23 * b200 + 700 b23 * b201 + 6.5e2 b23 * b202 + 600 b23 * b203 + 5.5e2 b23 * b204 + 500 b23 * b205 + 4.5e2 b23 * b206 + 400 b23 * b207 + 4.5e2 b23 * b208 + 476 b23 * b209 + 442 b23 * b210 + 408 b23 * b211 + 374 b23 * b212 + 3.4e2 b23 * b213 + 306 b23 * b214 + 272 b23 * b215 + 306 b23 * b216 + 900 b24 * b169 + 8.4e2 b24 * b170 + 7.8e2 b24 * b171 + 7.2e2 b24 * b172 + 6.6e2 b24 * b173 + 600 b24 * b174 + 5.4e2 b24 * b175 + 4.8e2 b24 * b176 + 8.4e2 b24 * b193 + 784 b24 * b194 + 728 b24 * b195 + 672 b24 * b196 + 616 b24 * b197 + 5.6e2 b24 * b198 + 504 b24 * b199 + 448 b24 * b200 + 7.5e2 b24 * b201 + 700 b24 * b202 + 6.5e2 b24 * b203 + 600 b24 * b204 + 5.5e2 b24 * b205 + 500 b24 * b206 + 4.5e2 b24 * b207 + 400 b24 * b208 + 5.1e2 b24 * b209 + 476 b24 * b210 + 442 b24 * b211 + 408 b24 * b212 + 374 b24 * b213 + 3.4e2 b24 * b214 + 306 b24 * b215 + 272 b24 * b216 + 3.2e2 b25 * b145 + 3.6e2 b25 * b146 + 400 b25 * b147 + 4.4e2 b25 * b148 + 4.8e2 b25 * b149 + 5.2e2 b25 * b150 + 5.6e2 b25 * b151 + 600 b25 * b152 + 4.8e2 b25 * b161 + 5.4e2 b25 * b162 + 600 b25 * b163 + 6.6e2 b25 * b164 + 7.2e2 b25 * b165 + 7.8e2 b25 * b166 + 8.4e2 b25 * b167 + 900 b25 * b168 + 3.6e2 b26 * b145 + 3.2e2 b26 * b146 + 3.6e2 b26 * b147 + 400 b26 * b148 + 4.4e2 b26 * b149 + 4.8e2 b26 * b150 + 5.2e2 b26 * b151 + 5.6e2 b26 * b152 + 5.4e2 b26 * b161 + 4.8e2 b26 * b162 + 5.4e2 b26 * b163 + 600 b26 * b164 + 6.6e2 b26 * b165 + 7.2e2 b26 * b166 + 7.8e2 b26 * b167 + 8.4e2 b26 * b168 + 400 b27 * b145 + 3.6e2 b27 * b146 + 3.2e2 b27 * b147 + 3.6e2 b27 * b148 + 400 b27 * b149 + 4.4e2 b27 * b150 + 4.8e2 b27 * b151 + 5.2e2 b27 * b152 + 600 b27 * b161 + 5.4e2 b27 * b162 + 4.8e2 b27 * b163 + 5.4e2 b27 * b164 + 600 b27 * b165 + 6.6e2 b27 * b166 + 7.2e2 b27 * b167 + 7.8e2 b27 * b168 + 4.4e2 b28 * b145 + 400 b28 * b146 + 3.6e2 b28 * b147 + 3.2e2 b28 * b148 + 3.6e2 b28 * b149 + 400 b28 * b150 + 4.4e2 b28 * b151 + 4.8e2 b28 * b152 + 6.6e2 b28 * b161 + 600 b28 * b162 + 5.4e2 b28 * b163 + 4.8e2 b28 * b164 + 5.4e2 b28 * b165 + 600 b28 * b166 + 6.6e2 b28 * b167 + 7.2e2 b28 * b168 + 4.8e2 b29 * b145 + 4.4e2 b29 * b146 + 400 b29 * b147 + 3.6e2 b29 * b148 + 3.2e2 b29 * b149 + 3.6e2 b29 * b150 + 400 b29 * b151 + 4.4e2 b29 * b152 + 7.2e2 b29 * b161 + 6.6e2 b29 * b162 + 600 b29 * b163 + 5.4e2 b29 * b164 + 4.8e2 b29 * b165 + 5.4e2 b29 * b166 + 600 b29 * b167 + 6.6e2 b29 * b168 + 5.2e2 b30 * b145 + 4.8e2 b30 * b146 + 4.4e2 b30 * b147 + 400 b30 * b148 + 3.6e2 b30 * b149 + 3.2e2 b30 * b150 + 3.6e2 b30 * b151 + 400 b30 * b152 + 7.8e2 b30 * b161 + 7.2e2 b30 * b162 + 6.6e2 b30 * b163 + 600 b30 * b164 + 5.4e2 b30 * b165 + 4.8e2 b30 * b166 + 5.4e2 b30 * b167 + 600 b30 * b168 + 5.6e2 b31 * b145 + 5.2e2 b31 * b146 + 4.8e2 b31 * b147 + 4.4e2 b31 * b148 + 400 b31 * b149 + 3.6e2 b31 * b150 + 3.2e2 b31 * b151 + 3.6e2 b31 * b152 + 8.4e2 b31 * b161 + 7.8e2 b31 * b162 + 7.2e2 b31 * b163 + 6.6e2 b31 * b164 + 600 b31 * b165 + 5.4e2 b31 * b166 + 4.8e2 b31 * b167 + 5.4e2 b31 * b168 + 600 b32 * b145 + 5.6e2 b32 * b146 + 5.2e2 b32 * b147 + 4.8e2 b32 * b148 + 4.4e2 b32 * b149 + 400 b32 * b150 + 3.6e2 b32 * b151 + 3.2e2 b32 * b152 + 900 b32 * b161 + 8.4e2 b32 * b162 + 7.8e2 b32 * b163 + 7.2e2 b32 * b164 + 6.6e2 b32 * b165 + 600 b32 * b166 + 5.4e2 b32 * b167 + 4.8e2 b32 * b168 + 208 b33 * b121 + 234 b33 * b122 + 2.6e2 b33 * b123 + 286 b33 * b124 + 312 b33 * b125 + 338 b33 * b126 + 364 b33 * b127 + 3.9e2 b33 * b128 + 608 b33 * b145 + 684 b33 * b146 + 7.6e2 b33 * b147 + 836 b33 * b148 + 912 b33 * b149 + 988 b33 * b150 + 1064 b33 * b151 + 1.14e3 b33 * b152 + 234 b34 * b121 + 208 b34 * b122 + 234 b34 * b123 + 2.6e2 b34 * b124 + 286 b34 * b125 + 312 b34 * b126 + 338 b34 * b127 + 364 b34 * b128 + 684 b34 * b145 + 608 b34 * b146 + 684 b34 * b147 + 7.6e2 b34 * b148 + 836 b34 * b149 + 912 b34 * b150 + 988 b34 * b151 + 1064 b34 * b152 + 2.6e2 b35 * b121 + 234 b35 * b122 + 208 b35 * b123 + 234 b35 * b124 + 2.6e2 b35 * b125 + 286 b35 * b126 + 312 b35 * b127 + 338 b35 * b128 + 7.6e2 b35 * b145 + 684 b35 * b146 + 608 b35 * b147 + 684 b35 * b148 + 7.6e2 b35 * b149 + 836 b35 * b150 + 912 b35 * b151 + 988 b35 * b152 + 286 b36 * b121 + 2.6e2 b36 * b122 + 234 b36 * b123 + 208 b36 * b124 + 234 b36 * b125 + 2.6e2 b36 * b126 + 286 b36 * b127 + 312 b36 * b128 + 836 b36 * b145 + 7.6e2 b36 * b146 + 684 b36 * b147 + 608 b36 * b148 + 684 b36 * b149 + 7.6e2 b36 * b150 + 836 b36 * b151 + 912 b36 * b152 + 312 b37 * b121 + 286 b37 * b122 + 2.6e2 b37 * b123 + 234 b37 * b124 + 208 b37 * b125 + 234 b37 * b126 + 2.6e2 b37 * b127 + 286 b37 * b128 + 912 b37 * b145 + 836 b37 * b146 + 7.6e2 b37 * b147 + 684 b37 * b148 + 608 b37 * b149 + 684 b37 * b150 + 7.6e2 b37 * b151 + 836 b37 * b152 + 338 b38 * b121 + 312 b38 * b122 + 286 b38 * b123 + 2.6e2 b38 * b124 + 234 b38 * b125 + 208 b38 * b126 + 234 b38 * b127 + 2.6e2 b38 * b128 + 988 b38 * b145 + 912 b38 * b146 + 836 b38 * b147 + 7.6e2 b38 * b148 + 684 b38 * b149 + 608 b38 * b150 + 684 b38 * b151 + 7.6e2 b38 * b152 + 364 b39 * b121 + 338 b39 * b122 + 312 b39 * b123 + 286 b39 * b124 + 2.6e2 b39 * b125 + 234 b39 * b126 + 208 b39 * b127 + 234 b39 * b128 + 1064 b39 * b145 + 988 b39 * b146 + 912 b39 * b147 + 836 b39 * b148 + 7.6e2 b39 * b149 + 684 b39 * b150 + 608 b39 * b151 + 684 b39 * b152 + 3.9e2 b40 * b121 + 364 b40 * b122 + 338 b40 * b123 + 312 b40 * b124 + 286 b40 * b125 + 2.6e2 b40 * b126 + 234 b40 * b127 + 208 b40 * b128 + 1.14e3 b40 * b145 + 1064 b40 * b146 + 988 b40 * b147 + 912 b40 * b148 + 836 b40 * b149 + 7.6e2 b40 * b150 + 684 b40 * b151 + 608 b40 * b152 + 784 b41 * b137 + 882 b41 * b138 + 9.8e2 b41 * b139 + 1078 b41 * b140 + 1176 b41 * b141 + 1274 b41 * b142 + 1372 b41 * b143 + 1.47e3 b41 * b144 + 608 b41 * b145 + 684 b41 * b146 + 7.6e2 b41 * b147 + 836 b41 * b148 + 912 b41 * b149 + 988 b41 * b150 + 1064 b41 * b151 + 1.14e3 b41 * b152 + 528 b41 * b161 + 594 b41 * b162 + 6.6e2 b41 * b163 + 726 b41 * b164 + 792 b41 * b165 + 858 b41 * b166 + 924 b41 * b167 + 9.9e2 b41 * b168 + 3.2e2 b41 * b201 + 3.6e2 b41 * b202 + 400 b41 * b203 + 4.4e2 b41 * b204 + 4.8e2 b41 * b205 + 5.2e2 b41 * b206 + 5.6e2 b41 * b207 + 600 b41 * b208 + 352 b41 * b217 + 396 b41 * b218 + 4.4e2 b41 * b219 + 484 b41 * b220 + 528 b41 * b221 + 572 b41 * b222 + 616 b41 * b223 + 6.6e2 b41 * b224 + 544 b41 * b233 + 612 b41 * b234 + 6.8e2 b41 * b235 + 748 b41 * b236 + 816 b41 * b237 + 884 b41 * b238 + 952 b41 * b239 + 1.02e3 b41 * b240 + 882 b42 * b137 + 784 b42 * b138 + 882 b42 * b139 + 9.8e2 b42 * b140 + 1078 b42 * b141 + 1176 b42 * b142 + 1274 b42 * b143 + 1372 b42 * b144 + 684 b42 * b145 + 608 b42 * b146 + 684 b42 * b147 + 7.6e2 b42 * b148 + 836 b42 * b149 + 912 b42 * b150 + 988 b42 * b151 + 1064 b42 * b152 + 594 b42 * b161 + 528 b42 * b162 + 594 b42 * b163 + 6.6e2 b42 * b164 + 726 b42 * b165 + 792 b42 * b166 + 858 b42 * b167 + 924 b42 * b168 + 3.6e2 b42 * b201 + 3.2e2 b42 * b202 + 3.6e2 b42 * b203 + 400 b42 * b204 + 4.4e2 b42 * b205 + 4.8e2 b42 * b206 + 5.2e2 b42 * b207 + 5.6e2 b42 * b208 + 396 b42 * b217 + 352 b42 * b218 + 396 b42 * b219 + 4.4e2 b42 * b220 + 484 b42 * b221 + 528 b42 * b222 + 572 b42 * b223 + 616 b42 * b224 + 612 b42 * b233 + 544 b42 * b234 + 612 b42 * b235 + 6.8e2 b42 * b236 + 748 b42 * b237 + 816 b42 * b238 + 884 b42 * b239 + 952 b42 * b240 + 9.8e2 b43 * b137 + 882 b43 * b138 + 784 b43 * b139 + 882 b43 * b140 + 9.8e2 b43 * b141 + 1078 b43 * b142 + 1176 b43 * b143 + 1274 b43 * b144 + 7.6e2 b43 * b145 + 684 b43 * b146 + 608 b43 * b147 + 684 b43 * b148 + 7.6e2 b43 * b149 + 836 b43 * b150 + 912 b43 * b151 + 988 b43 * b152 + 6.6e2 b43 * b161 + 594 b43 * b162 + 528 b43 * b163 + 594 b43 * b164 + 6.6e2 b43 * b165 + 726 b43 * b166 + 792 b43 * b167 + 858 b43 * b168 + 400 b43 * b201 + 3.6e2 b43 * b202 + 3.2e2 b43 * b203 + 3.6e2 b43 * b204 + 400 b43 * b205 + 4.4e2 b43 * b206 + 4.8e2 b43 * b207 + 5.2e2 b43 * b208 + 4.4e2 b43 * b217 + 396 b43 * b218 + 352 b43 * b219 + 396 b43 * b220 + 4.4e2 b43 * b221 + 484 b43 * b222 + 528 b43 * b223 + 572 b43 * b224 + 6.8e2 b43 * b233 + 612 b43 * b234 + 544 b43 * b235 + 612 b43 * b236 + 6.8e2 b43 * b237 + 748 b43 * b238 + 816 b43 * b239 + 884 b43 * b240 + 1078 b44 * b137 + 9.8e2 b44 * b138 + 882 b44 * b139 + 784 b44 * b140 + 882 b44 * b141 + 9.8e2 b44 * b142 + 1078 b44 * b143 + 1176 b44 * b144 + 836 b44 * b145 + 7.6e2 b44 * b146 + 684 b44 * b147 + 608 b44 * b148 + 684 b44 * b149 + 7.6e2 b44 * b150 + 836 b44 * b151 + 912 b44 * b152 + 726 b44 * b161 + 6.6e2 b44 * b162 + 594 b44 * b163 + 528 b44 * b164 + 594 b44 * b165 + 6.6e2 b44 * b166 + 726 b44 * b167 + 792 b44 * b168 + 4.4e2 b44 * b201 + 400 b44 * b202 + 3.6e2 b44 * b203 + 3.2e2 b44 * b204 + 3.6e2 b44 * b205 + 400 b44 * b206 + 4.4e2 b44 * b207 + 4.8e2 b44 * b208 + 484 b44 * b217 + 4.4e2 b44 * b218 + 396 b44 * b219 + 352 b44 * b220 + 396 b44 * b221 + 4.4e2 b44 * b222 + 484 b44 * b223 + 528 b44 * b224 + 748 b44 * b233 + 6.8e2 b44 * b234 + 612 b44 * b235 + 544 b44 * b236 + 612 b44 * b237 + 6.8e2 b44 * b238 + 748 b44 * b239 + 816 b44 * b240 + 1176 b45 * b137 + 1078 b45 * b138 + 9.8e2 b45 * b139 + 882 b45 * b140 + 784 b45 * b141 + 882 b45 * b142 + 9.8e2 b45 * b143 + 1078 b45 * b144 + 912 b45 * b145 + 836 b45 * b146 + 7.6e2 b45 * b147 + 684 b45 * b148 + 608 b45 * b149 + 684 b45 * b150 + 7.6e2 b45 * b151 + 836 b45 * b152 + 792 b45 * b161 + 726 b45 * b162 + 6.6e2 b45 * b163 + 594 b45 * b164 + 528 b45 * b165 + 594 b45 * b166 + 6.6e2 b45 * b167 + 726 b45 * b168 + 4.8e2 b45 * b201 + 4.4e2 b45 * b202 + 400 b45 * b203 + 3.6e2 b45 * b204 + 3.2e2 b45 * b205 + 3.6e2 b45 * b206 + 400 b45 * b207 + 4.4e2 b45 * b208 + 528 b45 * b217 + 484 b45 * b218 + 4.4e2 b45 * b219 + 396 b45 * b220 + 352 b45 * b221 + 396 b45 * b222 + 4.4e2 b45 * b223 + 484 b45 * b224 + 816 b45 * b233 + 748 b45 * b234 + 6.8e2 b45 * b235 + 612 b45 * b236 + 544 b45 * b237 + 612 b45 * b238 + 6.8e2 b45 * b239 + 748 b45 * b240 + 1274 b46 * b137 + 1176 b46 * b138 + 1078 b46 * b139 + 9.8e2 b46 * b140 + 882 b46 * b141 + 784 b46 * b142 + 882 b46 * b143 + 9.8e2 b46 * b144 + 988 b46 * b145 + 912 b46 * b146 + 836 b46 * b147 + 7.6e2 b46 * b148 + 684 b46 * b149 + 608 b46 * b150 + 684 b46 * b151 + 7.6e2 b46 * b152 + 858 b46 * b161 + 792 b46 * b162 + 726 b46 * b163 + 6.6e2 b46 * b164 + 594 b46 * b165 + 528 b46 * b166 + 594 b46 * b167 + 6.6e2 b46 * b168 + 5.2e2 b46 * b201 + 4.8e2 b46 * b202 + 4.4e2 b46 * b203 + 400 b46 * b204 + 3.6e2 b46 * b205 + 3.2e2 b46 * b206 + 3.6e2 b46 * b207 + 400 b46 * b208 + 572 b46 * b217 + 528 b46 * b218 + 484 b46 * b219 + 4.4e2 b46 * b220 + 396 b46 * b221 + 352 b46 * b222 + 396 b46 * b223 + 4.4e2 b46 * b224 + 884 b46 * b233 + 816 b46 * b234 + 748 b46 * b235 + 6.8e2 b46 * b236 + 612 b46 * b237 + 544 b46 * b238 + 612 b46 * b239 + 6.8e2 b46 * b240 + 1372 b47 * b137 + 1274 b47 * b138 + 1176 b47 * b139 + 1078 b47 * b140 + 9.8e2 b47 * b141 + 882 b47 * b142 + 784 b47 * b143 + 882 b47 * b144 + 1064 b47 * b145 + 988 b47 * b146 + 912 b47 * b147 + 836 b47 * b148 + 7.6e2 b47 * b149 + 684 b47 * b150 + 608 b47 * b151 + 684 b47 * b152 + 924 b47 * b161 + 858 b47 * b162 + 792 b47 * b163 + 726 b47 * b164 + 6.6e2 b47 * b165 + 594 b47 * b166 + 528 b47 * b167 + 594 b47 * b168 + 5.6e2 b47 * b201 + 5.2e2 b47 * b202 + 4.8e2 b47 * b203 + 4.4e2 b47 * b204 + 400 b47 * b205 + 3.6e2 b47 * b206 + 3.2e2 b47 * b207 + 3.6e2 b47 * b208 + 616 b47 * b217 + 572 b47 * b218 + 528 b47 * b219 + 484 b47 * b220 + 4.4e2 b47 * b221 + 396 b47 * b222 + 352 b47 * b223 + 396 b47 * b224 + 952 b47 * b233 + 884 b47 * b234 + 816 b47 * b235 + 748 b47 * b236 + 6.8e2 b47 * b237 + 612 b47 * b238 + 544 b47 * b239 + 612 b47 * b240 + 1.47e3 b48 * b137 + 1372 b48 * b138 + 1274 b48 * b139 + 1176 b48 * b140 + 1078 b48 * b141 + 9.8e2 b48 * b142 + 882 b48 * b143 + 784 b48 * b144 + 1.14e3 b48 * b145 + 1064 b48 * b146 + 988 b48 * b147 + 912 b48 * b148 + 836 b48 * b149 + 7.6e2 b48 * b150 + 684 b48 * b151 + 608 b48 * b152 + 9.9e2 b48 * b161 + 924 b48 * b162 + 858 b48 * b163 + 792 b48 * b164 + 726 b48 * b165 + 6.6e2 b48 * b166 + 594 b48 * b167 + 528 b48 * b168 + 600 b48 * b201 + 5.6e2 b48 * b202 + 5.2e2 b48 * b203 + 4.8e2 b48 * b204 + 4.4e2 b48 * b205 + 400 b48 * b206 + 3.6e2 b48 * b207 + 3.2e2 b48 * b208 + 6.6e2 b48 * b217 + 616 b48 * b218 + 572 b48 * b219 + 528 b48 * b220 + 484 b48 * b221 + 4.4e2 b48 * b222 + 396 b48 * b223 + 352 b48 * b224 + 1.02e3 b48 * b233 + 952 b48 * b234 + 884 b48 * b235 + 816 b48 * b236 + 748 b48 * b237 + 6.8e2 b48 * b238 + 612 b48 * b239 + 544 b48 * b240 + 272 b49 * b201 + 306 b49 * b202 + 3.4e2 b49 * b203 + 374 b49 * b204 + 408 b49 * b205 + 442 b49 * b206 + 476 b49 * b207 + 5.1e2 b49 * b208 + 192 b49 * b217 + 216 b49 * b218 + 2.4e2 b49 * b219 + 264 b49 * b220 + 288 b49 * b221 + 312 b49 * b222 + 336 b49 * b223 + 3.6e2 b49 * b224 + 752 b49 * b225 + 846 b49 * b226 + 9.4e2 b49 * b227 + 1034 b49 * b228 + 1128 b49 * b229 + 1222 b49 * b230 + 1316 b49 * b231 + 1.41e3 b49 * b232 + 3.2e2 b49 * b233 + 3.6e2 b49 * b234 + 400 b49 * b235 + 4.4e2 b49 * b236 + 4.8e2 b49 * b237 + 5.2e2 b49 * b238 + 5.6e2 b49 * b239 + 600 b49 * b240 + 306 b50 * b201 + 272 b50 * b202 + 306 b50 * b203 + 3.4e2 b50 * b204 + 374 b50 * b205 + 408 b50 * b206 + 442 b50 * b207 + 476 b50 * b208 + 216 b50 * b217 + 192 b50 * b218 + 216 b50 * b219 + 2.4e2 b50 * b220 + 264 b50 * b221 + 288 b50 * b222 + 312 b50 * b223 + 336 b50 * b224 + 846 b50 * b225 + 752 b50 * b226 + 846 b50 * b227 + 9.4e2 b50 * b228 + 1034 b50 * b229 + 1128 b50 * b230 + 1222 b50 * b231 + 1316 b50 * b232 + 3.6e2 b50 * b233 + 3.2e2 b50 * b234 + 3.6e2 b50 * b235 + 400 b50 * b236 + 4.4e2 b50 * b237 + 4.8e2 b50 * b238 + 5.2e2 b50 * b239 + 5.6e2 b50 * b240 + 3.4e2 b51 * b201 + 306 b51 * b202 + 272 b51 * b203 + 306 b51 * b204 + 3.4e2 b51 * b205 + 374 b51 * b206 + 408 b51 * b207 + 442 b51 * b208 + 2.4e2 b51 * b217 + 216 b51 * b218 + 192 b51 * b219 + 216 b51 * b220 + 2.4e2 b51 * b221 + 264 b51 * b222 + 288 b51 * b223 + 312 b51 * b224 + 9.4e2 b51 * b225 + 846 b51 * b226 + 752 b51 * b227 + 846 b51 * b228 + 9.4e2 b51 * b229 + 1034 b51 * b230 + 1128 b51 * b231 + 1222 b51 * b232 + 400 b51 * b233 + 3.6e2 b51 * b234 + 3.2e2 b51 * b235 + 3.6e2 b51 * b236 + 400 b51 * b237 + 4.4e2 b51 * b238 + 4.8e2 b51 * b239 + 5.2e2 b51 * b240 + 374 b52 * b201 + 3.4e2 b52 * b202 + 306 b52 * b203 + 272 b52 * b204 + 306 b52 * b205 + 3.4e2 b52 * b206 + 374 b52 * b207 + 408 b52 * b208 + 264 b52 * b217 + 2.4e2 b52 * b218 + 216 b52 * b219 + 192 b52 * b220 + 216 b52 * b221 + 2.4e2 b52 * b222 + 264 b52 * b223 + 288 b52 * b224 + 1034 b52 * b225 + 9.4e2 b52 * b226 + 846 b52 * b227 + 752 b52 * b228 + 846 b52 * b229 + 9.4e2 b52 * b230 + 1034 b52 * b231 + 1128 b52 * b232 + 4.4e2 b52 * b233 + 400 b52 * b234 + 3.6e2 b52 * b235 + 3.2e2 b52 * b236 + 3.6e2 b52 * b237 + 400 b52 * b238 + 4.4e2 b52 * b239 + 4.8e2 b52 * b240 + 408 b53 * b201 + 374 b53 * b202 + 3.4e2 b53 * b203 + 306 b53 * b204 + 272 b53 * b205 + 306 b53 * b206 + 3.4e2 b53 * b207 + 374 b53 * b208 + 288 b53 * b217 + 264 b53 * b218 + 2.4e2 b53 * b219 + 216 b53 * b220 + 192 b53 * b221 + 216 b53 * b222 + 2.4e2 b53 * b223 + 264 b53 * b224 + 1128 b53 * b225 + 1034 b53 * b226 + 9.4e2 b53 * b227 + 846 b53 * b228 + 752 b53 * b229 + 846 b53 * b230 + 9.4e2 b53 * b231 + 1034 b53 * b232 + 4.8e2 b53 * b233 + 4.4e2 b53 * b234 + 400 b53 * b235 + 3.6e2 b53 * b236 + 3.2e2 b53 * b237 + 3.6e2 b53 * b238 + 400 b53 * b239 + 4.4e2 b53 * b240 + 442 b54 * b201 + 408 b54 * b202 + 374 b54 * b203 + 3.4e2 b54 * b204 + 306 b54 * b205 + 272 b54 * b206 + 306 b54 * b207 + 3.4e2 b54 * b208 + 312 b54 * b217 + 288 b54 * b218 + 264 b54 * b219 + 2.4e2 b54 * b220 + 216 b54 * b221 + 192 b54 * b222 + 216 b54 * b223 + 2.4e2 b54 * b224 + 1222 b54 * b225 + 1128 b54 * b226 + 1034 b54 * b227 + 9.4e2 b54 * b228 + 846 b54 * b229 + 752 b54 * b230 + 846 b54 * b231 + 9.4e2 b54 * b232 + 5.2e2 b54 * b233 + 4.8e2 b54 * b234 + 4.4e2 b54 * b235 + 400 b54 * b236 + 3.6e2 b54 * b237 + 3.2e2 b54 * b238 + 3.6e2 b54 * b239 + 400 b54 * b240 + 476 b55 * b201 + 442 b55 * b202 + 408 b55 * b203 + 374 b55 * b204 + 3.4e2 b55 * b205 + 306 b55 * b206 + 272 b55 * b207 + 306 b55 * b208 + 336 b55 * b217 + 312 b55 * b218 + 288 b55 * b219 + 264 b55 * b220 + 2.4e2 b55 * b221 + 216 b55 * b222 + 192 b55 * b223 + 216 b55 * b224 + 1316 b55 * b225 + 1222 b55 * b226 + 1128 b55 * b227 + 1034 b55 * b228 + 9.4e2 b55 * b229 + 846 b55 * b230 + 752 b55 * b231 + 846 b55 * b232 + 5.6e2 b55 * b233 + 5.2e2 b55 * b234 + 4.8e2 b55 * b235 + 4.4e2 b55 * b236 + 400 b55 * b237 + 3.6e2 b55 * b238 + 3.2e2 b55 * b239 + 3.6e2 b55 * b240 + 5.1e2 b56 * b201 + 476 b56 * b202 + 442 b56 * b203 + 408 b56 * b204 + 374 b56 * b205 + 3.4e2 b56 * b206 + 306 b56 * b207 + 272 b56 * b208 + 3.6e2 b56 * b217 + 336 b56 * b218 + 312 b56 * b219 + 288 b56 * b220 + 264 b56 * b221 + 2.4e2 b56 * b222 + 216 b56 * b223 + 192 b56 * b224 + 1.41e3 b56 * b225 + 1316 b56 * b226 + 1222 b56 * b227 + 1128 b56 * b228 + 1034 b56 * b229 + 9.4e2 b56 * b230 + 846 b56 * b231 + 752 b56 * b232 + 600 b56 * b233 + 5.6e2 b56 * b234 + 5.2e2 b56 * b235 + 4.8e2 b56 * b236 + 4.4e2 b56 * b237 + 400 b56 * b238 + 3.6e2 b56 * b239 + 3.2e2 b56 * b240 + 6.4e2 b57 * b169 + 7.2e2 b57 * b170 + 800 b57 * b171 + 8.8e2 b57 * b172 + 9.6e2 b57 * b173 + 1.04e3 b57 * b174 + 1.12e3 b57 * b175 + 1.2e3 b57 * b176 + 736 b57 * b201 + 828 b57 * b202 + 9.2e2 b57 * b203 + 1012 b57 * b204 + 1104 b57 * b205 + 1196 b57 * b206 + 1288 b57 * b207 + 1.38e3 b57 * b208 + 672 b57 * b217 + 756 b57 * b218 + 8.4e2 b57 * b219 + 924 b57 * b220 + 1008 b57 * b221 + 1092 b57 * b222 + 1176 b57 * b223 + 1.26e3 b57 * b224 + 7.2e2 b58 * b169 + 6.4e2 b58 * b170 + 7.2e2 b58 * b171 + 800 b58 * b172 + 8.8e2 b58 * b173 + 9.6e2 b58 * b174 + 1.04e3 b58 * b175 + 1.12e3 b58 * b176 + 828 b58 * b201 + 736 b58 * b202 + 828 b58 * b203 + 9.2e2 b58 * b204 + 1012 b58 * b205 + 1104 b58 * b206 + 1196 b58 * b207 + 1288 b58 * b208 + 756 b58 * b217 + 672 b58 * b218 + 756 b58 * b219 + 8.4e2 b58 * b220 + 924 b58 * b221 + 1008 b58 * b222 + 1092 b58 * b223 + 1176 b58 * b224 + 800 b59 * b169 + 7.2e2 b59 * b170 + 6.4e2 b59 * b171 + 7.2e2 b59 * b172 + 800 b59 * b173 + 8.8e2 b59 * b174 + 9.6e2 b59 * b175 + 1.04e3 b59 * b176 + 9.2e2 b59 * b201 + 828 b59 * b202 + 736 b59 * b203 + 828 b59 * b204 + 9.2e2 b59 * b205 + 1012 b59 * b206 + 1104 b59 * b207 + 1196 b59 * b208 + 8.4e2 b59 * b217 + 756 b59 * b218 + 672 b59 * b219 + 756 b59 * b220 + 8.4e2 b59 * b221 + 924 b59 * b222 + 1008 b59 * b223 + 1092 b59 * b224 + 8.8e2 b60 * b169 + 800 b60 * b170 + 7.2e2 b60 * b171 + 6.4e2 b60 * b172 + 7.2e2 b60 * b173 + 800 b60 * b174 + 8.8e2 b60 * b175 + 9.6e2 b60 * b176 + 1012 b60 * b201 + 9.2e2 b60 * b202 + 828 b60 * b203 + 736 b60 * b204 + 828 b60 * b205 + 9.2e2 b60 * b206 + 1012 b60 * b207 + 1104 b60 * b208 + 924 b60 * b217 + 8.4e2 b60 * b218 + 756 b60 * b219 + 672 b60 * b220 + 756 b60 * b221 + 8.4e2 b60 * b222 + 924 b60 * b223 + 1008 b60 * b224 + 9.6e2 b61 * b169 + 8.8e2 b61 * b170 + 800 b61 * b171 + 7.2e2 b61 * b172 + 6.4e2 b61 * b173 + 7.2e2 b61 * b174 + 800 b61 * b175 + 8.8e2 b61 * b176 + 1104 b61 * b201 + 1012 b61 * b202 + 9.2e2 b61 * b203 + 828 b61 * b204 + 736 b61 * b205 + 828 b61 * b206 + 9.2e2 b61 * b207 + 1012 b61 * b208 + 1008 b61 * b217 + 924 b61 * b218 + 8.4e2 b61 * b219 + 756 b61 * b220 + 672 b61 * b221 + 756 b61 * b222 + 8.4e2 b61 * b223 + 924 b61 * b224 + 1.04e3 b62 * b169 + 9.6e2 b62 * b170 + 8.8e2 b62 * b171 + 800 b62 * b172 + 7.2e2 b62 * b173 + 6.4e2 b62 * b174 + 7.2e2 b62 * b175 + 800 b62 * b176 + 1196 b62 * b201 + 1104 b62 * b202 + 1012 b62 * b203 + 9.2e2 b62 * b204 + 828 b62 * b205 + 736 b62 * b206 + 828 b62 * b207 + 9.2e2 b62 * b208 + 1092 b62 * b217 + 1008 b62 * b218 + 924 b62 * b219 + 8.4e2 b62 * b220 + 756 b62 * b221 + 672 b62 * b222 + 756 b62 * b223 + 8.4e2 b62 * b224 + 1.12e3 b63 * b169 + 1.04e3 b63 * b170 + 9.6e2 b63 * b171 + 8.8e2 b63 * b172 + 800 b63 * b173 + 7.2e2 b63 * b174 + 6.4e2 b63 * b175 + 7.2e2 b63 * b176 + 1288 b63 * b201 + 1196 b63 * b202 + 1104 b63 * b203 + 1012 b63 * b204 + 9.2e2 b63 * b205 + 828 b63 * b206 + 736 b63 * b207 + 828 b63 * b208 + 1176 b63 * b217 + 1092 b63 * b218 + 1008 b63 * b219 + 924 b63 * b220 + 8.4e2 b63 * b221 + 756 b63 * b222 + 672 b63 * b223 + 756 b63 * b224 + 1.2e3 b64 * b169 + 1.12e3 b64 * b170 + 1.04e3 b64 * b171 + 9.6e2 b64 * b172 + 8.8e2 b64 * b173 + 800 b64 * b174 + 7.2e2 b64 * b175 + 6.4e2 b64 * b176 + 1.38e3 b64 * b201 + 1288 b64 * b202 + 1196 b64 * b203 + 1104 b64 * b204 + 1012 b64 * b205 + 9.2e2 b64 * b206 + 828 b64 * b207 + 736 b64 * b208 + 1.26e3 b64 * b217 + 1176 b64 * b218 + 1092 b64 * b219 + 1008 b64 * b220 + 924 b64 * b221 + 8.4e2 b64 * b222 + 756 b64 * b223 + 672 b64 * b224 + 768 b65 * b177 + 864 b65 * b178 + 9.6e2 b65 * b179 + 1056 b65 * b180 + 1152 b65 * b181 + 1248 b65 * b182 + 1344 b65 * b183 + 1.44e3 b65 * b184 + 176 b65 * b185 + 198 b65 * b186 + 2.2e2 b65 * b187 + 242 b65 * b188 + 264 b65 * b189 + 286 b65 * b190 + 308 b65 * b191 + 3.3e2 b65 * b192 + 384 b65 * b225 + 432 b65 * b226 + 4.8e2 b65 * b227 + 528 b65 * b228 + 576 b65 * b229 + 624 b65 * b230 + 672 b65 * b231 + 7.2e2 b65 * b232 + 864 b66 * b177 + 768 b66 * b178 + 864 b66 * b179 + 9.6e2 b66 * b180 + 1056 b66 * b181 + 1152 b66 * b182 + 1248 b66 * b183 + 1344 b66 * b184 + 198 b66 * b185 + 176 b66 * b186 + 198 b66 * b187 + 2.2e2 b66 * b188 + 242 b66 * b189 + 264 b66 * b190 + 286 b66 * b191 + 308 b66 * b192 + 432 b66 * b225 + 384 b66 * b226 + 432 b66 * b227 + 4.8e2 b66 * b228 + 528 b66 * b229 + 576 b66 * b230 + 624 b66 * b231 + 672 b66 * b232 + 9.6e2 b67 * b177 + 864 b67 * b178 + 768 b67 * b179 + 864 b67 * b180 + 9.6e2 b67 * b181 + 1056 b67 * b182 + 1152 b67 * b183 + 1248 b67 * b184 + 2.2e2 b67 * b185 + 198 b67 * b186 + 176 b67 * b187 + 198 b67 * b188 + 2.2e2 b67 * b189 + 242 b67 * b190 + 264 b67 * b191 + 286 b67 * b192 + 4.8e2 b67 * b225 + 432 b67 * b226 + 384 b67 * b227 + 432 b67 * b228 + 4.8e2 b67 * b229 + 528 b67 * b230 + 576 b67 * b231 + 624 b67 * b232 + 1056 b68 * b177 + 9.6e2 b68 * b178 + 864 b68 * b179 + 768 b68 * b180 + 864 b68 * b181 + 9.6e2 b68 * b182 + 1056 b68 * b183 + 1152 b68 * b184 + 242 b68 * b185 + 2.2e2 b68 * b186 + 198 b68 * b187 + 176 b68 * b188 + 198 b68 * b189 + 2.2e2 b68 * b190 + 242 b68 * b191 + 264 b68 * b192 + 528 b68 * b225 + 4.8e2 b68 * b226 + 432 b68 * b227 + 384 b68 * b228 + 432 b68 * b229 + 4.8e2 b68 * b230 + 528 b68 * b231 + 576 b68 * b232 + 1152 b69 * b177 + 1056 b69 * b178 + 9.6e2 b69 * b179 + 864 b69 * b180 + 768 b69 * b181 + 864 b69 * b182 + 9.6e2 b69 * b183 + 1056 b69 * b184 + 264 b69 * b185 + 242 b69 * b186 + 2.2e2 b69 * b187 + 198 b69 * b188 + 176 b69 * b189 + 198 b69 * b190 + 2.2e2 b69 * b191 + 242 b69 * b192 + 576 b69 * b225 + 528 b69 * b226 + 4.8e2 b69 * b227 + 432 b69 * b228 + 384 b69 * b229 + 432 b69 * b230 + 4.8e2 b69 * b231 + 528 b69 * b232 + 1248 b70 * b177 + 1152 b70 * b178 + 1056 b70 * b179 + 9.6e2 b70 * b180 + 864 b70 * b181 + 768 b70 * b182 + 864 b70 * b183 + 9.6e2 b70 * b184 + 286 b70 * b185 + 264 b70 * b186 + 242 b70 * b187 + 2.2e2 b70 * b188 + 198 b70 * b189 + 176 b70 * b190 + 198 b70 * b191 + 2.2e2 b70 * b192 + 624 b70 * b225 + 576 b70 * b226 + 528 b70 * b227 + 4.8e2 b70 * b228 + 432 b70 * b229 + 384 b70 * b230 + 432 b70 * b231 + 4.8e2 b70 * b232 + 1344 b71 * b177 + 1248 b71 * b178 + 1152 b71 * b179 + 1056 b71 * b180 + 9.6e2 b71 * b181 + 864 b71 * b182 + 768 b71 * b183 + 864 b71 * b184 + 308 b71 * b185 + 286 b71 * b186 + 264 b71 * b187 + 242 b71 * b188 + 2.2e2 b71 * b189 + 198 b71 * b190 + 176 b71 * b191 + 198 b71 * b192 + 672 b71 * b225 + 624 b71 * b226 + 576 b71 * b227 + 528 b71 * b228 + 4.8e2 b71 * b229 + 432 b71 * b230 + 384 b71 * b231 + 432 b71 * b232 + 1.44e3 b72 * b177 + 1344 b72 * b178 + 1248 b72 * b179 + 1152 b72 * b180 + 1056 b72 * b181 + 9.6e2 b72 * b182 + 864 b72 * b183 + 768 b72 * b184 + 3.3e2 b72 * b185 + 308 b72 * b186 + 286 b72 * b187 + 264 b72 * b188 + 242 b72 * b189 + 2.2e2 b72 * b190 + 198 b72 * b191 + 176 b72 * b192 + 7.2e2 b72 * b225 + 672 b72 * b226 + 624 b72 * b227 + 576 b72 * b228 + 528 b72 * b229 + 4.8e2 b72 * b230 + 432 b72 * b231 + 384 b72 * b232 + 2.4e2 b73 * b121 + 2.7e2 b73 * b122 + 300 b73 * b123 + 3.3e2 b73 * b124 + 3.6e2 b73 * b125 + 3.9e2 b73 * b126 + 4.2e2 b73 * b127 + 4.5e2 b73 * b128 + 496 b73 * b129 + 558 b73 * b130 + 6.2e2 b73 * b131 + 682 b73 * b132 + 744 b73 * b133 + 806 b73 * b134 + 868 b73 * b135 + 9.3e2 b73 * b136 + 624 b73 * b145 + 702 b73 * b146 + 7.8e2 b73 * b147 + 858 b73 * b148 + 936 b73 * b149 + 1014 b73 * b150 + 1092 b73 * b151 + 1.17e3 b73 * b152 + 256 b73 * b153 + 288 b73 * b154 + 3.2e2 b73 * b155 + 352 b73 * b156 + 384 b73 * b157 + 416 b73 * b158 + 448 b73 * b159 + 4.8e2 b73 * b160 + 736 b73 * b185 + 828 b73 * b186 + 9.2e2 b73 * b187 + 1012 b73 * b188 + 1104 b73 * b189 + 1196 b73 * b190 + 1288 b73 * b191 + 1.38e3 b73 * b192 + 672 b73 * b233 + 756 b73 * b234 + 8.4e2 b73 * b235 + 924 b73 * b236 + 1008 b73 * b237 + 1092 b73 * b238 + 1176 b73 * b239 + 1.26e3 b73 * b240 + 2.7e2 b74 * b121 + 2.4e2 b74 * b122 + 2.7e2 b74 * b123 + 300 b74 * b124 + 3.3e2 b74 * b125 + 3.6e2 b74 * b126 + 3.9e2 b74 * b127 + 4.2e2 b74 * b128 + 558 b74 * b129 + 496 b74 * b130 + 558 b74 * b131 + 6.2e2 b74 * b132 + 682 b74 * b133 + 744 b74 * b134 + 806 b74 * b135 + 868 b74 * b136 + 702 b74 * b145 + 624 b74 * b146 + 702 b74 * b147 + 7.8e2 b74 * b148 + 858 b74 * b149 + 936 b74 * b150 + 1014 b74 * b151 + 1092 b74 * b152 + 288 b74 * b153 + 256 b74 * b154 + 288 b74 * b155 + 3.2e2 b74 * b156 + 352 b74 * b157 + 384 b74 * b158 + 416 b74 * b159 + 448 b74 * b160 + 828 b74 * b185 + 736 b74 * b186 + 828 b74 * b187 + 9.2e2 b74 * b188 + 1012 b74 * b189 + 1104 b74 * b190 + 1196 b74 * b191 + 1288 b74 * b192 + 756 b74 * b233 + 672 b74 * b234 + 756 b74 * b235 + 8.4e2 b74 * b236 + 924 b74 * b237 + 1008 b74 * b238 + 1092 b74 * b239 + 1176 b74 * b240 + 300 b75 * b121 + 2.7e2 b75 * b122 + 2.4e2 b75 * b123 + 2.7e2 b75 * b124 + 300 b75 * b125 + 3.3e2 b75 * b126 + 3.6e2 b75 * b127 + 3.9e2 b75 * b128 + 6.2e2 b75 * b129 + 558 b75 * b130 + 496 b75 * b131 + 558 b75 * b132 + 6.2e2 b75 * b133 + 682 b75 * b134 + 744 b75 * b135 + 806 b75 * b136 + 7.8e2 b75 * b145 + 702 b75 * b146 + 624 b75 * b147 + 702 b75 * b148 + 7.8e2 b75 * b149 + 858 b75 * b150 + 936 b75 * b151 + 1014 b75 * b152 + 3.2e2 b75 * b153 + 288 b75 * b154 + 256 b75 * b155 + 288 b75 * b156 + 3.2e2 b75 * b157 + 352 b75 * b158 + 384 b75 * b159 + 416 b75 * b160 + 9.2e2 b75 * b185 + 828 b75 * b186 + 736 b75 * b187 + 828 b75 * b188 + 9.2e2 b75 * b189 + 1012 b75 * b190 + 1104 b75 * b191 + 1196 b75 * b192 + 8.4e2 b75 * b233 + 756 b75 * b234 + 672 b75 * b235 + 756 b75 * b236 + 8.4e2 b75 * b237 + 924 b75 * b238 + 1008 b75 * b239 + 1092 b75 * b240 + 3.3e2 b76 * b121 + 300 b76 * b122 + 2.7e2 b76 * b123 + 2.4e2 b76 * b124 + 2.7e2 b76 * b125 + 300 b76 * b126 + 3.3e2 b76 * b127 + 3.6e2 b76 * b128 + 682 b76 * b129 + 6.2e2 b76 * b130 + 558 b76 * b131 + 496 b76 * b132 + 558 b76 * b133 + 6.2e2 b76 * b134 + 682 b76 * b135 + 744 b76 * b136 + 858 b76 * b145 + 7.8e2 b76 * b146 + 702 b76 * b147 + 624 b76 * b148 + 702 b76 * b149 + 7.8e2 b76 * b150 + 858 b76 * b151 + 936 b76 * b152 + 352 b76 * b153 + 3.2e2 b76 * b154 + 288 b76 * b155 + 256 b76 * b156 + 288 b76 * b157 + 3.2e2 b76 * b158 + 352 b76 * b159 + 384 b76 * b160 + 1012 b76 * b185 + 9.2e2 b76 * b186 + 828 b76 * b187 + 736 b76 * b188 + 828 b76 * b189 + 9.2e2 b76 * b190 + 1012 b76 * b191 + 1104 b76 * b192 + 924 b76 * b233 + 8.4e2 b76 * b234 + 756 b76 * b235 + 672 b76 * b236 + 756 b76 * b237 + 8.4e2 b76 * b238 + 924 b76 * b239 + 1008 b76 * b240 + 3.6e2 b77 * b121 + 3.3e2 b77 * b122 + 300 b77 * b123 + 2.7e2 b77 * b124 + 2.4e2 b77 * b125 + 2.7e2 b77 * b126 + 300 b77 * b127 + 3.3e2 b77 * b128 + 744 b77 * b129 + 682 b77 * b130 + 6.2e2 b77 * b131 + 558 b77 * b132 + 496 b77 * b133 + 558 b77 * b134 + 6.2e2 b77 * b135 + 682 b77 * b136 + 936 b77 * b145 + 858 b77 * b146 + 7.8e2 b77 * b147 + 702 b77 * b148 + 624 b77 * b149 + 702 b77 * b150 + 7.8e2 b77 * b151 + 858 b77 * b152 + 384 b77 * b153 + 352 b77 * b154 + 3.2e2 b77 * b155 + 288 b77 * b156 + 256 b77 * b157 + 288 b77 * b158 + 3.2e2 b77 * b159 + 352 b77 * b160 + 1104 b77 * b185 + 1012 b77 * b186 + 9.2e2 b77 * b187 + 828 b77 * b188 + 736 b77 * b189 + 828 b77 * b190 + 9.2e2 b77 * b191 + 1012 b77 * b192 + 1008 b77 * b233 + 924 b77 * b234 + 8.4e2 b77 * b235 + 756 b77 * b236 + 672 b77 * b237 + 756 b77 * b238 + 8.4e2 b77 * b239 + 924 b77 * b240 + 3.9e2 b78 * b121 + 3.6e2 b78 * b122 + 3.3e2 b78 * b123 + 300 b78 * b124 + 2.7e2 b78 * b125 + 2.4e2 b78 * b126 + 2.7e2 b78 * b127 + 300 b78 * b128 + 806 b78 * b129 + 744 b78 * b130 + 682 b78 * b131 + 6.2e2 b78 * b132 + 558 b78 * b133 + 496 b78 * b134 + 558 b78 * b135 + 6.2e2 b78 * b136 + 1014 b78 * b145 + 936 b78 * b146 + 858 b78 * b147 + 7.8e2 b78 * b148 + 702 b78 * b149 + 624 b78 * b150 + 702 b78 * b151 + 7.8e2 b78 * b152 + 416 b78 * b153 + 384 b78 * b154 + 352 b78 * b155 + 3.2e2 b78 * b156 + 288 b78 * b157 + 256 b78 * b158 + 288 b78 * b159 + 3.2e2 b78 * b160 + 1196 b78 * b185 + 1104 b78 * b186 + 1012 b78 * b187 + 9.2e2 b78 * b188 + 828 b78 * b189 + 736 b78 * b190 + 828 b78 * b191 + 9.2e2 b78 * b192 + 1092 b78 * b233 + 1008 b78 * b234 + 924 b78 * b235 + 8.4e2 b78 * b236 + 756 b78 * b237 + 672 b78 * b238 + 756 b78 * b239 + 8.4e2 b78 * b240 + 4.2e2 b79 * b121 + 3.9e2 b79 * b122 + 3.6e2 b79 * b123 + 3.3e2 b79 * b124 + 300 b79 * b125 + 2.7e2 b79 * b126 + 2.4e2 b79 * b127 + 2.7e2 b79 * b128 + 868 b79 * b129 + 806 b79 * b130 + 744 b79 * b131 + 682 b79 * b132 + 6.2e2 b79 * b133 + 558 b79 * b134 + 496 b79 * b135 + 558 b79 * b136 + 1092 b79 * b145 + 1014 b79 * b146 + 936 b79 * b147 + 858 b79 * b148 + 7.8e2 b79 * b149 + 702 b79 * b150 + 624 b79 * b151 + 702 b79 * b152 + 448 b79 * b153 + 416 b79 * b154 + 384 b79 * b155 + 352 b79 * b156 + 3.2e2 b79 * b157 + 288 b79 * b158 + 256 b79 * b159 + 288 b79 * b160 + 1288 b79 * b185 + 1196 b79 * b186 + 1104 b79 * b187 + 1012 b79 * b188 + 9.2e2 b79 * b189 + 828 b79 * b190 + 736 b79 * b191 + 828 b79 * b192 + 1176 b79 * b233 + 1092 b79 * b234 + 1008 b79 * b235 + 924 b79 * b236 + 8.4e2 b79 * b237 + 756 b79 * b238 + 672 b79 * b239 + 756 b79 * b240 + 4.5e2 b80 * b121 + 4.2e2 b80 * b122 + 3.9e2 b80 * b123 + 3.6e2 b80 * b124 + 3.3e2 b80 * b125 + 300 b80 * b126 + 2.7e2 b80 * b127 + 2.4e2 b80 * b128 + 9.3e2 b80 * b129 + 868 b80 * b130 + 806 b80 * b131 + 744 b80 * b132 + 682 b80 * b133 + 6.2e2 b80 * b134 + 558 b80 * b135 + 496 b80 * b136 + 1.17e3 b80 * b145 + 1092 b80 * b146 + 1014 b80 * b147 + 936 b80 * b148 + 858 b80 * b149 + 7.8e2 b80 * b150 + 702 b80 * b151 + 624 b80 * b152 + 4.8e2 b80 * b153 + 448 b80 * b154 + 416 b80 * b155 + 384 b80 * b156 + 352 b80 * b157 + 3.2e2 b80 * b158 + 288 b80 * b159 + 256 b80 * b160 + 1.38e3 b80 * b185 + 1288 b80 * b186 + 1196 b80 * b187 + 1104 b80 * b188 + 1012 b80 * b189 + 9.2e2 b80 * b190 + 828 b80 * b191 + 736 b80 * b192 + 1.26e3 b80 * b233 + 1176 b80 * b234 + 1092 b80 * b235 + 1008 b80 * b236 + 924 b80 * b237 + 8.4e2 b80 * b238 + 756 b80 * b239 + 672 b80 * b240 + 736 b81 * b129 + 828 b81 * b130 + 9.2e2 b81 * b131 + 1012 b81 * b132 + 1104 b81 * b133 + 1196 b81 * b134 + 1288 b81 * b135 + 1.38e3 b81 * b136 + 448 b81 * b153 + 504 b81 * b154 + 5.6e2 b81 * b155 + 616 b81 * b156 + 672 b81 * b157 + 728 b81 * b158 + 784 b81 * b159 + 8.4e2 b81 * b160 + 176 b81 * b185 + 198 b81 * b186 + 2.2e2 b81 * b187 + 242 b81 * b188 + 264 b81 * b189 + 286 b81 * b190 + 308 b81 * b191 + 3.3e2 b81 * b192 + 448 b81 * b193 + 504 b81 * b194 + 5.6e2 b81 * b195 + 616 b81 * b196 + 672 b81 * b197 + 728 b81 * b198 + 784 b81 * b199 + 8.4e2 b81 * b200 + 828 b82 * b129 + 736 b82 * b130 + 828 b82 * b131 + 9.2e2 b82 * b132 + 1012 b82 * b133 + 1104 b82 * b134 + 1196 b82 * b135 + 1288 b82 * b136 + 504 b82 * b153 + 448 b82 * b154 + 504 b82 * b155 + 5.6e2 b82 * b156 + 616 b82 * b157 + 672 b82 * b158 + 728 b82 * b159 + 784 b82 * b160 + 198 b82 * b185 + 176 b82 * b186 + 198 b82 * b187 + 2.2e2 b82 * b188 + 242 b82 * b189 + 264 b82 * b190 + 286 b82 * b191 + 308 b82 * b192 + 504 b82 * b193 + 448 b82 * b194 + 504 b82 * b195 + 5.6e2 b82 * b196 + 616 b82 * b197 + 672 b82 * b198 + 728 b82 * b199 + 784 b82 * b200 + 9.2e2 b83 * b129 + 828 b83 * b130 + 736 b83 * b131 + 828 b83 * b132 + 9.2e2 b83 * b133 + 1012 b83 * b134 + 1104 b83 * b135 + 1196 b83 * b136 + 5.6e2 b83 * b153 + 504 b83 * b154 + 448 b83 * b155 + 504 b83 * b156 + 5.6e2 b83 * b157 + 616 b83 * b158 + 672 b83 * b159 + 728 b83 * b160 + 2.2e2 b83 * b185 + 198 b83 * b186 + 176 b83 * b187 + 198 b83 * b188 + 2.2e2 b83 * b189 + 242 b83 * b190 + 264 b83 * b191 + 286 b83 * b192 + 5.6e2 b83 * b193 + 504 b83 * b194 + 448 b83 * b195 + 504 b83 * b196 + 5.6e2 b83 * b197 + 616 b83 * b198 + 672 b83 * b199 + 728 b83 * b200 + 1012 b84 * b129 + 9.2e2 b84 * b130 + 828 b84 * b131 + 736 b84 * b132 + 828 b84 * b133 + 9.2e2 b84 * b134 + 1012 b84 * b135 + 1104 b84 * b136 + 616 b84 * b153 + 5.6e2 b84 * b154 + 504 b84 * b155 + 448 b84 * b156 + 504 b84 * b157 + 5.6e2 b84 * b158 + 616 b84 * b159 + 672 b84 * b160 + 242 b84 * b185 + 2.2e2 b84 * b186 + 198 b84 * b187 + 176 b84 * b188 + 198 b84 * b189 + 2.2e2 b84 * b190 + 242 b84 * b191 + 264 b84 * b192 + 616 b84 * b193 + 5.6e2 b84 * b194 + 504 b84 * b195 + 448 b84 * b196 + 504 b84 * b197 + 5.6e2 b84 * b198 + 616 b84 * b199 + 672 b84 * b200 + 1104 b85 * b129 + 1012 b85 * b130 + 9.2e2 b85 * b131 + 828 b85 * b132 + 736 b85 * b133 + 828 b85 * b134 + 9.2e2 b85 * b135 + 1012 b85 * b136 + 672 b85 * b153 + 616 b85 * b154 + 5.6e2 b85 * b155 + 504 b85 * b156 + 448 b85 * b157 + 504 b85 * b158 + 5.6e2 b85 * b159 + 616 b85 * b160 + 264 b85 * b185 + 242 b85 * b186 + 2.2e2 b85 * b187 + 198 b85 * b188 + 176 b85 * b189 + 198 b85 * b190 + 2.2e2 b85 * b191 + 242 b85 * b192 + 672 b85 * b193 + 616 b85 * b194 + 5.6e2 b85 * b195 + 504 b85 * b196 + 448 b85 * b197 + 504 b85 * b198 + 5.6e2 b85 * b199 + 616 b85 * b200 + 1196 b86 * b129 + 1104 b86 * b130 + 1012 b86 * b131 + 9.2e2 b86 * b132 + 828 b86 * b133 + 736 b86 * b134 + 828 b86 * b135 + 9.2e2 b86 * b136 + 728 b86 * b153 + 672 b86 * b154 + 616 b86 * b155 + 5.6e2 b86 * b156 + 504 b86 * b157 + 448 b86 * b158 + 504 b86 * b159 + 5.6e2 b86 * b160 + 286 b86 * b185 + 264 b86 * b186 + 242 b86 * b187 + 2.2e2 b86 * b188 + 198 b86 * b189 + 176 b86 * b190 + 198 b86 * b191 + 2.2e2 b86 * b192 + 728 b86 * b193 + 672 b86 * b194 + 616 b86 * b195 + 5.6e2 b86 * b196 + 504 b86 * b197 + 448 b86 * b198 + 504 b86 * b199 + 5.6e2 b86 * b200 + 1288 b87 * b129 + 1196 b87 * b130 + 1104 b87 * b131 + 1012 b87 * b132 + 9.2e2 b87 * b133 + 828 b87 * b134 + 736 b87 * b135 + 828 b87 * b136 + 784 b87 * b153 + 728 b87 * b154 + 672 b87 * b155 + 616 b87 * b156 + 5.6e2 b87 * b157 + 504 b87 * b158 + 448 b87 * b159 + 504 b87 * b160 + 308 b87 * b185 + 286 b87 * b186 + 264 b87 * b187 + 242 b87 * b188 + 2.2e2 b87 * b189 + 198 b87 * b190 + 176 b87 * b191 + 198 b87 * b192 + 784 b87 * b193 + 728 b87 * b194 + 672 b87 * b195 + 616 b87 * b196 + 5.6e2 b87 * b197 + 504 b87 * b198 + 448 b87 * b199 + 504 b87 * b200 + 1.38e3 b88 * b129 + 1288 b88 * b130 + 1196 b88 * b131 + 1104 b88 * b132 + 1012 b88 * b133 + 9.2e2 b88 * b134 + 828 b88 * b135 + 736 b88 * b136 + 8.4e2 b88 * b153 + 784 b88 * b154 + 728 b88 * b155 + 672 b88 * b156 + 616 b88 * b157 + 5.6e2 b88 * b158 + 504 b88 * b159 + 448 b88 * b160 + 3.3e2 b88 * b185 + 308 b88 * b186 + 286 b88 * b187 + 264 b88 * b188 + 242 b88 * b189 + 2.2e2 b88 * b190 + 198 b88 * b191 + 176 b88 * b192 + 8.4e2 b88 * b193 + 784 b88 * b194 + 728 b88 * b195 + 672 b88 * b196 + 616 b88 * b197 + 5.6e2 b88 * b198 + 504 b88 * b199 + 448 b88 * b200 + 6.4e2 b89 * b129 + 7.2e2 b89 * b130 + 800 b89 * b131 + 8.8e2 b89 * b132 + 9.6e2 b89 * b133 + 1.04e3 b89 * b134 + 1.12e3 b89 * b135 + 1.2e3 b89 * b136 + 256 b89 * b153 + 288 b89 * b154 + 3.2e2 b89 * b155 + 352 b89 * b156 + 384 b89 * b157 + 416 b89 * b158 + 448 b89 * b159 + 4.8e2 b89 * b160 + 176 b89 * b177 + 198 b89 * b178 + 2.2e2 b89 * b179 + 242 b89 * b180 + 264 b89 * b181 + 286 b89 * b182 + 308 b89 * b183 + 3.3e2 b89 * b184 + 400 b89 * b193 + 4.5e2 b89 * b194 + 500 b89 * b195 + 5.5e2 b89 * b196 + 600 b89 * b197 + 6.5e2 b89 * b198 + 700 b89 * b199 + 7.5e2 b89 * b200 + 7.2e2 b90 * b129 + 6.4e2 b90 * b130 + 7.2e2 b90 * b131 + 800 b90 * b132 + 8.8e2 b90 * b133 + 9.6e2 b90 * b134 + 1.04e3 b90 * b135 + 1.12e3 b90 * b136 + 288 b90 * b153 + 256 b90 * b154 + 288 b90 * b155 + 3.2e2 b90 * b156 + 352 b90 * b157 + 384 b90 * b158 + 416 b90 * b159 + 448 b90 * b160 + 198 b90 * b177 + 176 b90 * b178 + 198 b90 * b179 + 2.2e2 b90 * b180 + 242 b90 * b181 + 264 b90 * b182 + 286 b90 * b183 + 308 b90 * b184 + 4.5e2 b90 * b193 + 400 b90 * b194 + 4.5e2 b90 * b195 + 500 b90 * b196 + 5.5e2 b90 * b197 + 600 b90 * b198 + 6.5e2 b90 * b199 + 700 b90 * b200 + 800 b91 * b129 + 7.2e2 b91 * b130 + 6.4e2 b91 * b131 + 7.2e2 b91 * b132 + 800 b91 * b133 + 8.8e2 b91 * b134 + 9.6e2 b91 * b135 + 1.04e3 b91 * b136 + 3.2e2 b91 * b153 + 288 b91 * b154 + 256 b91 * b155 + 288 b91 * b156 + 3.2e2 b91 * b157 + 352 b91 * b158 + 384 b91 * b159 + 416 b91 * b160 + 2.2e2 b91 * b177 + 198 b91 * b178 + 176 b91 * b179 + 198 b91 * b180 + 2.2e2 b91 * b181 + 242 b91 * b182 + 264 b91 * b183 + 286 b91 * b184 + 500 b91 * b193 + 4.5e2 b91 * b194 + 400 b91 * b195 + 4.5e2 b91 * b196 + 500 b91 * b197 + 5.5e2 b91 * b198 + 600 b91 * b199 + 6.5e2 b91 * b200 + 8.8e2 b92 * b129 + 800 b92 * b130 + 7.2e2 b92 * b131 + 6.4e2 b92 * b132 + 7.2e2 b92 * b133 + 800 b92 * b134 + 8.8e2 b92 * b135 + 9.6e2 b92 * b136 + 352 b92 * b153 + 3.2e2 b92 * b154 + 288 b92 * b155 + 256 b92 * b156 + 288 b92 * b157 + 3.2e2 b92 * b158 + 352 b92 * b159 + 384 b92 * b160 + 242 b92 * b177 + 2.2e2 b92 * b178 + 198 b92 * b179 + 176 b92 * b180 + 198 b92 * b181 + 2.2e2 b92 * b182 + 242 b92 * b183 + 264 b92 * b184 + 5.5e2 b92 * b193 + 500 b92 * b194 + 4.5e2 b92 * b195 + 400 b92 * b196 + 4.5e2 b92 * b197 + 500 b92 * b198 + 5.5e2 b92 * b199 + 600 b92 * b200 + 9.6e2 b93 * b129 + 8.8e2 b93 * b130 + 800 b93 * b131 + 7.2e2 b93 * b132 + 6.4e2 b93 * b133 + 7.2e2 b93 * b134 + 800 b93 * b135 + 8.8e2 b93 * b136 + 384 b93 * b153 + 352 b93 * b154 + 3.2e2 b93 * b155 + 288 b93 * b156 + 256 b93 * b157 + 288 b93 * b158 + 3.2e2 b93 * b159 + 352 b93 * b160 + 264 b93 * b177 + 242 b93 * b178 + 2.2e2 b93 * b179 + 198 b93 * b180 + 176 b93 * b181 + 198 b93 * b182 + 2.2e2 b93 * b183 + 242 b93 * b184 + 600 b93 * b193 + 5.5e2 b93 * b194 + 500 b93 * b195 + 4.5e2 b93 * b196 + 400 b93 * b197 + 4.5e2 b93 * b198 + 500 b93 * b199 + 5.5e2 b93 * b200 + 1.04e3 b94 * b129 + 9.6e2 b94 * b130 + 8.8e2 b94 * b131 + 800 b94 * b132 + 7.2e2 b94 * b133 + 6.4e2 b94 * b134 + 7.2e2 b94 * b135 + 800 b94 * b136 + 416 b94 * b153 + 384 b94 * b154 + 352 b94 * b155 + 3.2e2 b94 * b156 + 288 b94 * b157 + 256 b94 * b158 + 288 b94 * b159 + 3.2e2 b94 * b160 + 286 b94 * b177 + 264 b94 * b178 + 242 b94 * b179 + 2.2e2 b94 * b180 + 198 b94 * b181 + 176 b94 * b182 + 198 b94 * b183 + 2.2e2 b94 * b184 + 6.5e2 b94 * b193 + 600 b94 * b194 + 5.5e2 b94 * b195 + 500 b94 * b196 + 4.5e2 b94 * b197 + 400 b94 * b198 + 4.5e2 b94 * b199 + 500 b94 * b200 + 1.12e3 b95 * b129 + 1.04e3 b95 * b130 + 9.6e2 b95 * b131 + 8.8e2 b95 * b132 + 800 b95 * b133 + 7.2e2 b95 * b134 + 6.4e2 b95 * b135 + 7.2e2 b95 * b136 + 448 b95 * b153 + 416 b95 * b154 + 384 b95 * b155 + 352 b95 * b156 + 3.2e2 b95 * b157 + 288 b95 * b158 + 256 b95 * b159 + 288 b95 * b160 + 308 b95 * b177 + 286 b95 * b178 + 264 b95 * b179 + 242 b95 * b180 + 2.2e2 b95 * b181 + 198 b95 * b182 + 176 b95 * b183 + 198 b95 * b184 + 700 b95 * b193 + 6.5e2 b95 * b194 + 600 b95 * b195 + 5.5e2 b95 * b196 + 500 b95 * b197 + 4.5e2 b95 * b198 + 400 b95 * b199 + 4.5e2 b95 * b200 + 1.2e3 b96 * b129 + 1.12e3 b96 * b130 + 1.04e3 b96 * b131 + 9.6e2 b96 * b132 + 8.8e2 b96 * b133 + 800 b96 * b134 + 7.2e2 b96 * b135 + 6.4e2 b96 * b136 + 4.8e2 b96 * b153 + 448 b96 * b154 + 416 b96 * b155 + 384 b96 * b156 + 352 b96 * b157 + 3.2e2 b96 * b158 + 288 b96 * b159 + 256 b96 * b160 + 3.3e2 b96 * b177 + 308 b96 * b178 + 286 b96 * b179 + 264 b96 * b180 + 242 b96 * b181 + 2.2e2 b96 * b182 + 198 b96 * b183 + 176 b96 * b184 + 7.5e2 b96 * b193 + 700 b96 * b194 + 6.5e2 b96 * b195 + 600 b96 * b196 + 5.5e2 b96 * b197 + 500 b96 * b198 + 4.5e2 b96 * b199 + 400 b96 * b200 + 6.4e2 b97 * b121 + 7.2e2 b97 * b122 + 800 b97 * b123 + 8.8e2 b97 * b124 + 9.6e2 b97 * b125 + 1.04e3 b97 * b126 + 1.12e3 b97 * b127 + 1.2e3 b97 * b128 + 688 b97 * b129 + 774 b97 * b130 + 8.6e2 b97 * b131 + 946 b97 * b132 + 1032 b97 * b133 + 1118 b97 * b134 + 1204 b97 * b135 + 1.29e3 b97 * b136 + 5.6e2 b97 * b169 + 6.3e2 b97 * b170 + 700 b97 * b171 + 7.7e2 b97 * b172 + 8.4e2 b97 * b173 + 9.1e2 b97 * b174 + 9.8e2 b97 * b175 + 1.05e3 b97 * b176 + 272 b97 * b193 + 306 b97 * b194 + 3.4e2 b97 * b195 + 374 b97 * b196 + 408 b97 * b197 + 442 b97 * b198 + 476 b97 * b199 + 5.1e2 b97 * b200 + 672 b97 * b209 + 756 b97 * b210 + 8.4e2 b97 * b211 + 924 b97 * b212 + 1008 b97 * b213 + 1092 b97 * b214 + 1176 b97 * b215 + 1.26e3 b97 * b216 + 512 b97 * b217 + 576 b97 * b218 + 6.4e2 b97 * b219 + 704 b97 * b220 + 768 b97 * b221 + 832 b97 * b222 + 896 b97 * b223 + 9.6e2 b97 * b224 + 7.2e2 b98 * b121 + 6.4e2 b98 * b122 + 7.2e2 b98 * b123 + 800 b98 * b124 + 8.8e2 b98 * b125 + 9.6e2 b98 * b126 + 1.04e3 b98 * b127 + 1.12e3 b98 * b128 + 774 b98 * b129 + 688 b98 * b130 + 774 b98 * b131 + 8.6e2 b98 * b132 + 946 b98 * b133 + 1032 b98 * b134 + 1118 b98 * b135 + 1204 b98 * b136 + 6.3e2 b98 * b169 + 5.6e2 b98 * b170 + 6.3e2 b98 * b171 + 700 b98 * b172 + 7.7e2 b98 * b173 + 8.4e2 b98 * b174 + 9.1e2 b98 * b175 + 9.8e2 b98 * b176 + 306 b98 * b193 + 272 b98 * b194 + 306 b98 * b195 + 3.4e2 b98 * b196 + 374 b98 * b197 + 408 b98 * b198 + 442 b98 * b199 + 476 b98 * b200 + 756 b98 * b209 + 672 b98 * b210 + 756 b98 * b211 + 8.4e2 b98 * b212 + 924 b98 * b213 + 1008 b98 * b214 + 1092 b98 * b215 + 1176 b98 * b216 + 576 b98 * b217 + 512 b98 * b218 + 576 b98 * b219 + 6.4e2 b98 * b220 + 704 b98 * b221 + 768 b98 * b222 + 832 b98 * b223 + 896 b98 * b224 + 800 b99 * b121 + 7.2e2 b99 * b122 + 6.4e2 b99 * b123 + 7.2e2 b99 * b124 + 800 b99 * b125 + 8.8e2 b99 * b126 + 9.6e2 b99 * b127 + 1.04e3 b99 * b128 + 8.6e2 b99 * b129 + 774 b99 * b130 + 688 b99 * b131 + 774 b99 * b132 + 8.6e2 b99 * b133 + 946 b99 * b134 + 1032 b99 * b135 + 1118 b99 * b136 + 700 b99 * b169 + 6.3e2 b99 * b170 + 5.6e2 b99 * b171 + 6.3e2 b99 * b172 + 700 b99 * b173 + 7.7e2 b99 * b174 + 8.4e2 b99 * b175 + 9.1e2 b99 * b176 + 3.4e2 b99 * b193 + 306 b99 * b194 + 272 b99 * b195 + 306 b99 * b196 + 3.4e2 b99 * b197 + 374 b99 * b198 + 408 b99 * b199 + 442 b99 * b200 + 8.4e2 b99 * b209 + 756 b99 * b210 + 672 b99 * b211 + 756 b99 * b212 + 8.4e2 b99 * b213 + 924 b99 * b214 + 1008 b99 * b215 + 1092 b99 * b216 + 6.4e2 b99 * b217 + 576 b99 * b218 + 512 b99 * b219 + 576 b99 * b220 + 6.4e2 b99 * b221 + 704 b99 * b222 + 768 b99 * b223 + 832 b99 * b224 + 8.8e2 b100 * b121 + 800 b100 * b122 + 7.2e2 b100 * b123 + 6.4e2 b100 * b124 + 7.2e2 b100 * b125 + 800 b100 * b126 + 8.8e2 b100 * b127 + 9.6e2 b100 * b128 + 946 b100 * b129 + 8.6e2 b100 * b130 + 774 b100 * b131 + 688 b100 * b132 + 774 b100 * b133 + 8.6e2 b100 * b134 + 946 b100 * b135 + 1032 b100 * b136 + 7.7e2 b100 * b169 + 700 b100 * b170 + 6.3e2 b100 * b171 + 5.6e2 b100 * b172 + 6.3e2 b100 * b173 + 700 b100 * b174 + 7.7e2 b100 * b175 + 8.4e2 b100 * b176 + 374 b100 * b193 + 3.4e2 b100 * b194 + 306 b100 * b195 + 272 b100 * b196 + 306 b100 * b197 + 3.4e2 b100 * b198 + 374 b100 * b199 + 408 b100 * b200 + 924 b100 * b209 + 8.4e2 b100 * b210 + 756 b100 * b211 + 672 b100 * b212 + 756 b100 * b213 + 8.4e2 b100 * b214 + 924 b100 * b215 + 1008 b100 * b216 + 704 b100 * b217 + 6.4e2 b100 * b218 + 576 b100 * b219 + 512 b100 * b220 + 576 b100 * b221 + 6.4e2 b100 * b222 + 704 b100 * b223 + 768 b100 * b224 + 9.6e2 b101 * b121 + 8.8e2 b101 * b122 + 800 b101 * b123 + 7.2e2 b101 * b124 + 6.4e2 b101 * b125 + 7.2e2 b101 * b126 + 800 b101 * b127 + 8.8e2 b101 * b128 + 1032 b101 * b129 + 946 b101 * b130 + 8.6e2 b101 * b131 + 774 b101 * b132 + 688 b101 * b133 + 774 b101 * b134 + 8.6e2 b101 * b135 + 946 b101 * b136 + 8.4e2 b101 * b169 + 7.7e2 b101 * b170 + 700 b101 * b171 + 6.3e2 b101 * b172 + 5.6e2 b101 * b173 + 6.3e2 b101 * b174 + 700 b101 * b175 + 7.7e2 b101 * b176 + 408 b101 * b193 + 374 b101 * b194 + 3.4e2 b101 * b195 + 306 b101 * b196 + 272 b101 * b197 + 306 b101 * b198 + 3.4e2 b101 * b199 + 374 b101 * b200 + 1008 b101 * b209 + 924 b101 * b210 + 8.4e2 b101 * b211 + 756 b101 * b212 + 672 b101 * b213 + 756 b101 * b214 + 8.4e2 b101 * b215 + 924 b101 * b216 + 768 b101 * b217 + 704 b101 * b218 + 6.4e2 b101 * b219 + 576 b101 * b220 + 512 b101 * b221 + 576 b101 * b222 + 6.4e2 b101 * b223 + 704 b101 * b224 + 1.04e3 b102 * b121 + 9.6e2 b102 * b122 + 8.8e2 b102 * b123 + 800 b102 * b124 + 7.2e2 b102 * b125 + 6.4e2 b102 * b126 + 7.2e2 b102 * b127 + 800 b102 * b128 + 1118 b102 * b129 + 1032 b102 * b130 + 946 b102 * b131 + 8.6e2 b102 * b132 + 774 b102 * b133 + 688 b102 * b134 + 774 b102 * b135 + 8.6e2 b102 * b136 + 9.1e2 b102 * b169 + 8.4e2 b102 * b170 + 7.7e2 b102 * b171 + 700 b102 * b172 + 6.3e2 b102 * b173 + 5.6e2 b102 * b174 + 6.3e2 b102 * b175 + 700 b102 * b176 + 442 b102 * b193 + 408 b102 * b194 + 374 b102 * b195 + 3.4e2 b102 * b196 + 306 b102 * b197 + 272 b102 * b198 + 306 b102 * b199 + 3.4e2 b102 * b200 + 1092 b102 * b209 + 1008 b102 * b210 + 924 b102 * b211 + 8.4e2 b102 * b212 + 756 b102 * b213 + 672 b102 * b214 + 756 b102 * b215 + 8.4e2 b102 * b216 + 832 b102 * b217 + 768 b102 * b218 + 704 b102 * b219 + 6.4e2 b102 * b220 + 576 b102 * b221 + 512 b102 * b222 + 576 b102 * b223 + 6.4e2 b102 * b224 + 1.12e3 b103 * b121 + 1.04e3 b103 * b122 + 9.6e2 b103 * b123 + 8.8e2 b103 * b124 + 800 b103 * b125 + 7.2e2 b103 * b126 + 6.4e2 b103 * b127 + 7.2e2 b103 * b128 + 1204 b103 * b129 + 1118 b103 * b130 + 1032 b103 * b131 + 946 b103 * b132 + 8.6e2 b103 * b133 + 774 b103 * b134 + 688 b103 * b135 + 774 b103 * b136 + 9.8e2 b103 * b169 + 9.1e2 b103 * b170 + 8.4e2 b103 * b171 + 7.7e2 b103 * b172 + 700 b103 * b173 + 6.3e2 b103 * b174 + 5.6e2 b103 * b175 + 6.3e2 b103 * b176 + 476 b103 * b193 + 442 b103 * b194 + 408 b103 * b195 + 374 b103 * b196 + 3.4e2 b103 * b197 + 306 b103 * b198 + 272 b103 * b199 + 306 b103 * b200 + 1176 b103 * b209 + 1092 b103 * b210 + 1008 b103 * b211 + 924 b103 * b212 + 8.4e2 b103 * b213 + 756 b103 * b214 + 672 b103 * b215 + 756 b103 * b216 + 896 b103 * b217 + 832 b103 * b218 + 768 b103 * b219 + 704 b103 * b220 + 6.4e2 b103 * b221 + 576 b103 * b222 + 512 b103 * b223 + 576 b103 * b224 + 1.2e3 b104 * b121 + 1.12e3 b104 * b122 + 1.04e3 b104 * b123 + 9.6e2 b104 * b124 + 8.8e2 b104 * b125 + 800 b104 * b126 + 7.2e2 b104 * b127 + 6.4e2 b104 * b128 + 1.29e3 b104 * b129 + 1204 b104 * b130 + 1118 b104 * b131 + 1032 b104 * b132 + 946 b104 * b133 + 8.6e2 b104 * b134 + 774 b104 * b135 + 688 b104 * b136 + 1.05e3 b104 * b169 + 9.8e2 b104 * b170 + 9.1e2 b104 * b171 + 8.4e2 b104 * b172 + 7.7e2 b104 * b173 + 700 b104 * b174 + 6.3e2 b104 * b175 + 5.6e2 b104 * b176 + 5.1e2 b104 * b193 + 476 b104 * b194 + 442 b104 * b195 + 408 b104 * b196 + 374 b104 * b197 + 3.4e2 b104 * b198 + 306 b104 * b199 + 272 b104 * b200 + 1.26e3 b104 * b209 + 1176 b104 * b210 + 1092 b104 * b211 + 1008 b104 * b212 + 924 b104 * b213 + 8.4e2 b104 * b214 + 756 b104 * b215 + 672 b104 * b216 + 9.6e2 b104 * b217 + 896 b104 * b218 + 832 b104 * b219 + 768 b104 * b220 + 704 b104 * b221 + 6.4e2 b104 * b222 + 576 b104 * b223 + 512 b104 * b224 + 6.4e2 b105 * b129 + 7.2e2 b105 * b130 + 800 b105 * b131 + 8.8e2 b105 * b132 + 9.6e2 b105 * b133 + 1.04e3 b105 * b134 + 1.12e3 b105 * b135 + 1.2e3 b105 * b136 + 768 b105 * b161 + 864 b105 * b162 + 9.6e2 b105 * b163 + 1056 b105 * b164 + 1152 b105 * b165 + 1248 b105 * b166 + 1344 b105 * b167 + 1.44e3 b105 * b168 + 368 b105 * b201 + 414 b105 * b202 + 4.6e2 b105 * b203 + 506 b105 * b204 + 552 b105 * b205 + 598 b105 * b206 + 644 b105 * b207 + 6.9e2 b105 * b208 + 464 b105 * b217 + 522 b105 * b218 + 5.8e2 b105 * b219 + 638 b105 * b220 + 696 b105 * b221 + 754 b105 * b222 + 812 b105 * b223 + 8.7e2 b105 * b224 + 7.2e2 b106 * b129 + 6.4e2 b106 * b130 + 7.2e2 b106 * b131 + 800 b106 * b132 + 8.8e2 b106 * b133 + 9.6e2 b106 * b134 + 1.04e3 b106 * b135 + 1.12e3 b106 * b136 + 864 b106 * b161 + 768 b106 * b162 + 864 b106 * b163 + 9.6e2 b106 * b164 + 1056 b106 * b165 + 1152 b106 * b166 + 1248 b106 * b167 + 1344 b106 * b168 + 414 b106 * b201 + 368 b106 * b202 + 414 b106 * b203 + 4.6e2 b106 * b204 + 506 b106 * b205 + 552 b106 * b206 + 598 b106 * b207 + 644 b106 * b208 + 522 b106 * b217 + 464 b106 * b218 + 522 b106 * b219 + 5.8e2 b106 * b220 + 638 b106 * b221 + 696 b106 * b222 + 754 b106 * b223 + 812 b106 * b224 + 800 b107 * b129 + 7.2e2 b107 * b130 + 6.4e2 b107 * b131 + 7.2e2 b107 * b132 + 800 b107 * b133 + 8.8e2 b107 * b134 + 9.6e2 b107 * b135 + 1.04e3 b107 * b136 + 9.6e2 b107 * b161 + 864 b107 * b162 + 768 b107 * b163 + 864 b107 * b164 + 9.6e2 b107 * b165 + 1056 b107 * b166 + 1152 b107 * b167 + 1248 b107 * b168 + 4.6e2 b107 * b201 + 414 b107 * b202 + 368 b107 * b203 + 414 b107 * b204 + 4.6e2 b107 * b205 + 506 b107 * b206 + 552 b107 * b207 + 598 b107 * b208 + 5.8e2 b107 * b217 + 522 b107 * b218 + 464 b107 * b219 + 522 b107 * b220 + 5.8e2 b107 * b221 + 638 b107 * b222 + 696 b107 * b223 + 754 b107 * b224 + 8.8e2 b108 * b129 + 800 b108 * b130 + 7.2e2 b108 * b131 + 6.4e2 b108 * b132 + 7.2e2 b108 * b133 + 800 b108 * b134 + 8.8e2 b108 * b135 + 9.6e2 b108 * b136 + 1056 b108 * b161 + 9.6e2 b108 * b162 + 864 b108 * b163 + 768 b108 * b164 + 864 b108 * b165 + 9.6e2 b108 * b166 + 1056 b108 * b167 + 1152 b108 * b168 + 506 b108 * b201 + 4.6e2 b108 * b202 + 414 b108 * b203 + 368 b108 * b204 + 414 b108 * b205 + 4.6e2 b108 * b206 + 506 b108 * b207 + 552 b108 * b208 + 638 b108 * b217 + 5.8e2 b108 * b218 + 522 b108 * b219 + 464 b108 * b220 + 522 b108 * b221 + 5.8e2 b108 * b222 + 638 b108 * b223 + 696 b108 * b224 + 9.6e2 b109 * b129 + 8.8e2 b109 * b130 + 800 b109 * b131 + 7.2e2 b109 * b132 + 6.4e2 b109 * b133 + 7.2e2 b109 * b134 + 800 b109 * b135 + 8.8e2 b109 * b136 + 1152 b109 * b161 + 1056 b109 * b162 + 9.6e2 b109 * b163 + 864 b109 * b164 + 768 b109 * b165 + 864 b109 * b166 + 9.6e2 b109 * b167 + 1056 b109 * b168 + 552 b109 * b201 + 506 b109 * b202 + 4.6e2 b109 * b203 + 414 b109 * b204 + 368 b109 * b205 + 414 b109 * b206 + 4.6e2 b109 * b207 + 506 b109 * b208 + 696 b109 * b217 + 638 b109 * b218 + 5.8e2 b109 * b219 + 522 b109 * b220 + 464 b109 * b221 + 522 b109 * b222 + 5.8e2 b109 * b223 + 638 b109 * b224 + 1.04e3 b110 * b129 + 9.6e2 b110 * b130 + 8.8e2 b110 * b131 + 800 b110 * b132 + 7.2e2 b110 * b133 + 6.4e2 b110 * b134 + 7.2e2 b110 * b135 + 800 b110 * b136 + 1248 b110 * b161 + 1152 b110 * b162 + 1056 b110 * b163 + 9.6e2 b110 * b164 + 864 b110 * b165 + 768 b110 * b166 + 864 b110 * b167 + 9.6e2 b110 * b168 + 598 b110 * b201 + 552 b110 * b202 + 506 b110 * b203 + 4.6e2 b110 * b204 + 414 b110 * b205 + 368 b110 * b206 + 414 b110 * b207 + 4.6e2 b110 * b208 + 754 b110 * b217 + 696 b110 * b218 + 638 b110 * b219 + 5.8e2 b110 * b220 + 522 b110 * b221 + 464 b110 * b222 + 522 b110 * b223 + 5.8e2 b110 * b224 + 1.12e3 b111 * b129 + 1.04e3 b111 * b130 + 9.6e2 b111 * b131 + 8.8e2 b111 * b132 + 800 b111 * b133 + 7.2e2 b111 * b134 + 6.4e2 b111 * b135 + 7.2e2 b111 * b136 + 1344 b111 * b161 + 1248 b111 * b162 + 1152 b111 * b163 + 1056 b111 * b164 + 9.6e2 b111 * b165 + 864 b111 * b166 + 768 b111 * b167 + 864 b111 * b168 + 644 b111 * b201 + 598 b111 * b202 + 552 b111 * b203 + 506 b111 * b204 + 4.6e2 b111 * b205 + 414 b111 * b206 + 368 b111 * b207 + 414 b111 * b208 + 812 b111 * b217 + 754 b111 * b218 + 696 b111 * b219 + 638 b111 * b220 + 5.8e2 b111 * b221 + 522 b111 * b222 + 464 b111 * b223 + 522 b111 * b224 + 1.2e3 b112 * b129 + 1.12e3 b112 * b130 + 1.04e3 b112 * b131 + 9.6e2 b112 * b132 + 8.8e2 b112 * b133 + 800 b112 * b134 + 7.2e2 b112 * b135 + 6.4e2 b112 * b136 + 1.44e3 b112 * b161 + 1344 b112 * b162 + 1248 b112 * b163 + 1152 b112 * b164 + 1056 b112 * b165 + 9.6e2 b112 * b166 + 864 b112 * b167 + 768 b112 * b168 + 6.9e2 b112 * b201 + 644 b112 * b202 + 598 b112 * b203 + 552 b112 * b204 + 506 b112 * b205 + 4.6e2 b112 * b206 + 414 b112 * b207 + 368 b112 * b208 + 8.7e2 b112 * b217 + 812 b112 * b218 + 754 b112 * b219 + 696 b112 * b220 + 638 b112 * b221 + 5.8e2 b112 * b222 + 522 b112 * b223 + 464 b112 * b224 + 368 b113 * b185 + 414 b113 * b186 + 4.6e2 b113 * b187 + 506 b113 * b188 + 552 b113 * b189 + 598 b113 * b190 + 644 b113 * b191 + 6.9e2 b113 * b192 + 368 b113 * b209 + 414 b113 * b210 + 4.6e2 b113 * b211 + 506 b113 * b212 + 552 b113 * b213 + 598 b113 * b214 + 644 b113 * b215 + 6.9e2 b113 * b216 + 414 b114 * b185 + 368 b114 * b186 + 414 b114 * b187 + 4.6e2 b114 * b188 + 506 b114 * b189 + 552 b114 * b190 + 598 b114 * b191 + 644 b114 * b192 + 414 b114 * b209 + 368 b114 * b210 + 414 b114 * b211 + 4.6e2 b114 * b212 + 506 b114 * b213 + 552 b114 * b214 + 598 b114 * b215 + 644 b114 * b216 + 4.6e2 b115 * b185 + 414 b115 * b186 + 368 b115 * b187 + 414 b115 * b188 + 4.6e2 b115 * b189 + 506 b115 * b190 + 552 b115 * b191 + 598 b115 * b192 + 4.6e2 b115 * b209 + 414 b115 * b210 + 368 b115 * b211 + 414 b115 * b212 + 4.6e2 b115 * b213 + 506 b115 * b214 + 552 b115 * b215 + 598 b115 * b216 + 506 b116 * b185 + 4.6e2 b116 * b186 + 414 b116 * b187 + 368 b116 * b188 + 414 b116 * b189 + 4.6e2 b116 * b190 + 506 b116 * b191 + 552 b116 * b192 + 506 b116 * b209 + 4.6e2 b116 * b210 + 414 b116 * b211 + 368 b116 * b212 + 414 b116 * b213 + 4.6e2 b116 * b214 + 506 b116 * b215 + 552 b116 * b216 + 552 b117 * b185 + 506 b117 * b186 + 4.6e2 b117 * b187 + 414 b117 * b188 + 368 b117 * b189 + 414 b117 * b190 + 4.6e2 b117 * b191 + 506 b117 * b192 + 552 b117 * b209 + 506 b117 * b210 + 4.6e2 b117 * b211 + 414 b117 * b212 + 368 b117 * b213 + 414 b117 * b214 + 4.6e2 b117 * b215 + 506 b117 * b216 + 598 b118 * b185 + 552 b118 * b186 + 506 b118 * b187 + 4.6e2 b118 * b188 + 414 b118 * b189 + 368 b118 * b190 + 414 b118 * b191 + 4.6e2 b118 * b192 + 598 b118 * b209 + 552 b118 * b210 + 506 b118 * b211 + 4.6e2 b118 * b212 + 414 b118 * b213 + 368 b118 * b214 + 414 b118 * b215 + 4.6e2 b118 * b216 + 644 b119 * b185 + 598 b119 * b186 + 552 b119 * b187 + 506 b119 * b188 + 4.6e2 b119 * b189 + 414 b119 * b190 + 368 b119 * b191 + 414 b119 * b192 + 644 b119 * b209 + 598 b119 * b210 + 552 b119 * b211 + 506 b119 * b212 + 4.6e2 b119 * b213 + 414 b119 * b214 + 368 b119 * b215 + 414 b119 * b216 + 6.9e2 b120 * b185 + 644 b120 * b186 + 598 b120 * b187 + 552 b120 * b188 + 506 b120 * b189 + 4.6e2 b120 * b190 + 414 b120 * b191 + 368 b120 * b192 + 6.9e2 b120 * b209 + 644 b120 * b210 + 598 b120 * b211 + 552 b120 * b212 + 506 b120 * b213 + 4.6e2 b120 * b214 + 414 b120 * b215 + 368 b120 * b216 ]/2 Subject To e2: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 = 1 e3: b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 = 1 e4: b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 = 1 e5: b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 = 1 e6: b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 = 1 e7: b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 = 1 e8: b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 = 1 e9: b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 = 1 e10: b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 = 1 e11: b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 = 1 e12: b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 = 1 e13: b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 = 1 e14: b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 = 1 e15: b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 = 1 e16: b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 = 1 e17: b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 = 1 e18: b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 = 1 e19: b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 = 1 e20: b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 = 1 e21: b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 = 1 e22: b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 = 1 e23: b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 = 1 e24: b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 = 1 e25: b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 = 1 e26: b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 = 1 e27: b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 = 1 e28: b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 = 1 e29: b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 = 1 e30: b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 = 1 e31: b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 = 1 e32: 81 b1 + 114 b9 + 100 b17 + 50 b25 + 51 b33 + 196 b41 + 96 b49 + 128 b57 + 83 b65 + 189 b73 + 113 b81 + 92 b89 + 209 b97 + 1.4e2 b105 + 46 b113 <= 233 e33: 81 b2 + 114 b10 + 100 b18 + 50 b26 + 51 b34 + 196 b42 + 96 b50 + 128 b58 + 83 b66 + 189 b74 + 113 b82 + 92 b90 + 209 b98 + 1.4e2 b106 + 46 b114 <= 233 e34: 81 b3 + 114 b11 + 100 b19 + 50 b27 + 51 b35 + 196 b43 + 96 b51 + 128 b59 + 83 b67 + 189 b75 + 113 b83 + 92 b91 + 209 b99 + 1.4e2 b107 + 46 b115 <= 233 e35: 81 b4 + 114 b12 + 100 b20 + 50 b28 + 51 b36 + 196 b44 + 96 b52 + 128 b60 + 83 b68 + 189 b76 + 113 b84 + 92 b92 + 209 b100 + 1.4e2 b108 + 46 b116 <= 233 e36: 81 b5 + 114 b13 + 100 b21 + 50 b29 + 51 b37 + 196 b45 + 96 b53 + 128 b61 + 83 b69 + 189 b77 + 113 b85 + 92 b93 + 209 b101 + 1.4e2 b109 + 46 b117 <= 233 e37: 81 b6 + 114 b14 + 100 b22 + 50 b30 + 51 b38 + 196 b46 + 96 b54 + 128 b62 + 83 b70 + 189 b78 + 113 b86 + 92 b94 + 209 b102 + 1.4e2 b110 + 46 b118 <= 233 e38: 81 b7 + 114 b15 + 100 b23 + 50 b31 + 51 b39 + 196 b47 + 96 b55 + 128 b63 + 83 b71 + 189 b79 + 113 b87 + 92 b95 + 209 b103 + 1.4e2 b111 + 46 b119 <= 233 e39: 81 b8 + 114 b16 + 100 b24 + 50 b32 + 51 b40 + 196 b48 + 96 b56 + 128 b64 + 83 b72 + 189 b80 + 113 b88 + 92 b96 + 209 b104 + 1.4e2 b112 + 46 b120 <= 233 e40: 68 b121 + 200 b129 + 49 b137 + 181 b145 + 60 b153 + 145 b161 + 105 b169 + 79 b177 + 107 b185 + 117 b193 + 131 b201 + 117 b209 + 137 b217 + 71 b225 + 121 b233 <= 233 e41: 68 b122 + 200 b130 + 49 b138 + 181 b146 + 60 b154 + 145 b162 + 105 b170 + 79 b178 + 107 b186 + 117 b194 + 131 b202 + 117 b210 + 137 b218 + 71 b226 + 121 b234 <= 233 e42: 68 b123 + 200 b131 + 49 b139 + 181 b147 + 60 b155 + 145 b163 + 105 b171 + 79 b179 + 107 b187 + 117 b195 + 131 b203 + 117 b211 + 137 b219 + 71 b227 + 121 b235 <= 233 e43: 68 b124 + 200 b132 + 49 b140 + 181 b148 + 60 b156 + 145 b164 + 105 b172 + 79 b180 + 107 b188 + 117 b196 + 131 b204 + 117 b212 + 137 b220 + 71 b228 + 121 b236 <= 233 e44: 68 b125 + 200 b133 + 49 b141 + 181 b149 + 60 b157 + 145 b165 + 105 b173 + 79 b181 + 107 b189 + 117 b197 + 131 b205 + 117 b213 + 137 b221 + 71 b229 + 121 b237 <= 233 e45: 68 b126 + 200 b134 + 49 b142 + 181 b150 + 60 b158 + 145 b166 + 105 b174 + 79 b182 + 107 b190 + 117 b198 + 131 b206 + 117 b214 + 137 b222 + 71 b230 + 121 b238 <= 233 e46: 68 b127 + 200 b135 + 49 b143 + 181 b151 + 60 b159 + 145 b167 + 105 b175 + 79 b183 + 107 b191 + 117 b199 + 131 b207 + 117 b215 + 137 b223 + 71 b231 + 121 b239 <= 233 e47: 68 b128 + 200 b136 + 49 b144 + 181 b152 + 60 b160 + 145 b168 + 105 b176 + 79 b184 + 107 b192 + 117 b200 + 131 b208 + 117 b216 + 137 b224 + 71 b232 + 121 b240 <= 233 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 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 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 End