\ Equation counts \ Total E G L N X C B \ 299 23 0 276 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 299 0 299 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1401 805 596 0 \ Minimize obj: - 3.6e2 b2 - 744 b3 - 744 b4 - 504 b5 - 64 b6 - 416 b7 - 432 b8 - 512 b9 - 192 b10 - 112 b11 - 32 b12 - 152 b13 - 568 b14 - 224 b15 - 104 b16 - 3.6e2 b17 - 416 b18 - 632 b19 - 88 b20 - 3.2e2 b21 - 96 b22 - 456 b23 - 384 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 + 0 b241 + 0 b242 + 0 b243 + 0 b244 + 0 b245 + 0 b246 + 0 b247 + 0 b248 + 0 b249 + 0 b250 + 0 b251 + 0 b252 + 0 b253 + 0 b254 + 0 b255 + 0 b256 + 0 b257 + 0 b258 + 0 b259 + 0 b260 + 0 b261 + 0 b262 + 0 b263 + 0 b264 + 0 b265 + 0 b266 + 0 b267 + 0 b268 + 0 b269 + 0 b270 + 0 b271 + 0 b272 + 0 b273 + 0 b274 + 0 b275 + 0 b276 + 0 b277 + 0 b278 + 0 b279 + 0 b280 + 0 b281 + 0 b282 + 0 b283 + 0 b284 + 0 b285 + 0 b286 + 0 b287 + 0 b288 + 0 b289 + 0 b290 + 0 b291 + 0 b292 + 0 b293 + 0 b294 + 0 b295 + 0 b296 + 0 b297 + 0 b298 + 0 b299 + 0 b300 + [ - 272 b2 * b3 - 688 b2 * b4 - 992 b2 * b5 - 384 b2 * b6 - 7.2e2 b2 * b7 - 336 b2 * b8 - 9.6e2 b2 * b9 - 192 b2 * b10 - 1056 b2 * b11 - 848 b2 * b12 - 80 b2 * b13 - 1296 b2 * b14 - 976 b2 * b15 - 1.6e2 b2 * b16 - 1408 b2 * b17 - 1232 b2 * b18 - 544 b2 * b19 - 32 b2 * b20 - 1312 b2 * b21 - 848 b2 * b22 - 416 b2 * b23 - 992 b2 * b24 - 288 b3 * b4 - 1136 b3 * b5 - 224 b3 * b6 - 1552 b3 * b7 - 1312 b3 * b8 - 864 b3 * b9 - 144 b3 * b10 - 1472 b3 * b11 - 8.8e2 b3 * b12 - 1248 b3 * b13 - 1392 b3 * b14 - 1104 b3 * b15 - 32 b3 * b16 - 512 b3 * b17 - 672 b3 * b18 - 224 b3 * b19 - 7.2e2 b3 * b20 - 9.6e2 b3 * b21 - 1072 b3 * b22 - 32 b3 * b23 - 672 b3 * b24 - 1296 b4 * b5 - 1024 b4 * b6 - 1312 b4 * b7 - 928 b4 * b8 - 1568 b4 * b9 - 576 b4 * b10 - 1472 b4 * b11 - 48 b4 * b12 - 992 b4 * b13 - 864 b4 * b14 - 336 b4 * b15 - 1.36e3 b4 * b16 - 1104 b4 * b17 - 1.12e3 b4 * b18 - 3.2e2 b4 * b19 - 1.2e3 b4 * b20 - 1.28e3 b4 * b21 - 192 b4 * b22 - 1312 b4 * b23 - 1.6e2 b4 * b24 - 1584 b5 * b6 - 64 b5 * b7 - 208 b5 * b8 - 1344 b5 * b9 - 1568 b5 * b10 - 432 b5 * b11 - 1296 b5 * b12 - 944 b5 * b13 - 752 b5 * b14 - 1328 b5 * b15 - 848 b5 * b16 - 1.28e3 b5 * b17 - 5.6e2 b5 * b19 - 1.44e3 b5 * b20 - 1568 b5 * b21 - 1136 b5 * b22 - 1328 b5 * b23 - 864 b5 * b24 - 1376 b6 * b7 - 1424 b6 * b8 - 432 b6 * b9 - 1136 b6 * b10 - 1.6e2 b6 * b11 - 1568 b6 * b12 - 1456 b6 * b13 - 1376 b6 * b14 - 4.8e2 b6 * b15 - 8.8e2 b6 * b16 - 3.2e2 b6 * b17 - 6.4e2 b6 * b18 - 112 b6 * b19 - 1216 b6 * b20 - 848 b6 * b21 - 1456 b6 * b22 - 1.2e3 b6 * b23 - 528 b6 * b24 - 1152 b7 * b8 - 544 b7 * b9 - 512 b7 * b10 - 112 b7 * b11 - 1392 b7 * b12 - 1024 b7 * b13 - 112 b7 * b14 - 1184 b7 * b15 - 864 b7 * b16 - 928 b7 * b17 - 1552 b7 * b18 - 1424 b7 * b19 - 192 b7 * b20 - 1328 b7 * b21 - 1264 b7 * b22 - 624 b7 * b23 - 112 b7 * b24 - 1424 b8 * b9 - 1424 b8 * b10 - 1568 b8 * b11 - 432 b8 * b12 - 304 b8 * b13 - 96 b8 * b14 - 9.6e2 b8 * b16 - 208 b8 * b17 - 1216 b8 * b18 - 1.04e3 b8 * b19 - 896 b8 * b20 - 816 b8 * b21 - 800 b8 * b22 - 448 b8 * b23 - 592 b8 * b24 - 544 b9 * b10 - 1392 b9 * b11 - 384 b9 * b12 - 1568 b9 * b13 - 752 b9 * b14 - 800 b9 * b15 - 80 b9 * b16 - 912 b9 * b17 - 768 b9 * b18 - 1504 b9 * b19 - 336 b9 * b20 - 496 b9 * b21 - 400 b9 * b22 - 192 b9 * b23 - 608 b9 * b24 - 2.4e2 b10 * b11 - 32 b10 * b12 - 1424 b10 * b13 - 1504 b10 * b14 - 336 b10 * b15 - 1.52e3 b10 * b16 - 1504 b10 * b17 - 528 b10 * b18 - 128 b10 * b19 - 1136 b10 * b20 - 1584 b10 * b21 - 1024 b10 * b22 - 1184 b10 * b23 - 16 b10 * b24 - 704 b11 * b12 - 192 b11 * b13 - 576 b11 * b14 - 1328 b11 * b15 - 1408 b11 * b16 - 544 b11 * b17 - 4.8e2 b11 * b18 - 624 b11 * b19 - 624 b11 * b20 - 624 b11 * b21 - 1392 b11 * b22 - 1376 b11 * b23 - 9.6e2 b11 * b24 - 1.12e3 b12 * b13 - 176 b12 * b14 - 1168 b12 * b15 - 144 b12 * b16 - 1248 b12 * b17 - 1.2e3 b12 * b18 - 800 b12 * b19 - 1168 b12 * b20 - 768 b12 * b21 - 7.2e2 b12 * b22 - 304 b12 * b23 - 1312 b12 * b24 - 80 b13 * b14 - 1.44e3 b13 * b15 - 528 b13 * b16 - 336 b13 * b17 - 272 b13 * b18 - 544 b13 * b19 - 1.04e3 b13 * b20 - 1296 b13 * b21 - 1.12e3 b13 * b22 - 1104 b13 * b24 - 912 b14 * b15 - 1328 b14 * b16 - 9.6e2 b14 * b17 - 1536 b14 * b18 - 352 b14 * b19 - 1584 b14 * b20 - 544 b14 * b21 - 1328 b14 * b22 - 352 b14 * b23 - 736 b14 * b24 - 896 b15 * b16 - 1328 b15 * b17 - 384 b15 * b18 - 1328 b15 * b19 - 528 b15 * b20 - 784 b15 * b21 - 496 b15 * b22 - 4.8e2 b15 * b23 - 1104 b15 * b24 - 1.04e3 b16 * b17 - 5.6e2 b16 * b18 - 176 b16 * b19 - 1568 b16 * b20 - 896 b16 * b21 - 1.28e3 b16 * b22 - 1.36e3 b16 * b23 - 1168 b16 * b24 - 976 b17 * b18 - 8.8e2 b17 * b19 - 400 b17 * b20 - 1328 b17 * b21 - 192 b17 * b22 - 128 b17 * b23 - 1.52e3 b17 * b24 - 976 b18 * b19 - 496 b18 * b20 - 752 b18 * b21 - 1.52e3 b18 * b22 - 1056 b18 * b23 - 1104 b18 * b24 - 1488 b19 * b20 - 1184 b19 * b21 - 832 b19 * b22 - 1.12e3 b19 * b23 - 912 b19 * b24 - 1.36e3 b20 * b21 - 1136 b20 * b22 - 6.4e2 b20 * b23 - 2.4e2 b20 * b24 - 6.4e2 b21 * b22 - 928 b21 * b23 - 32 b21 * b24 - 64 b22 * b23 - 896 b22 * b24 - 1.6e2 b23 * b24 - 272 b25 * b26 - 688 b25 * b27 - 992 b25 * b28 - 384 b25 * b29 - 7.2e2 b25 * b30 - 336 b25 * b31 - 9.6e2 b25 * b32 - 192 b25 * b33 - 1056 b25 * b34 - 848 b25 * b35 - 80 b25 * b36 - 1296 b25 * b37 - 976 b25 * b38 - 1.6e2 b25 * b39 - 1408 b25 * b40 - 1232 b25 * b41 - 544 b25 * b42 - 32 b25 * b43 - 1312 b25 * b44 - 848 b25 * b45 - 416 b25 * b46 - 992 b25 * b47 - 288 b26 * b27 - 1136 b26 * b28 - 224 b26 * b29 - 1552 b26 * b30 - 1312 b26 * b31 - 864 b26 * b32 - 144 b26 * b33 - 1472 b26 * b34 - 8.8e2 b26 * b35 - 1248 b26 * b36 - 1392 b26 * b37 - 1104 b26 * b38 - 32 b26 * b39 - 512 b26 * b40 - 672 b26 * b41 - 224 b26 * b42 - 7.2e2 b26 * b43 - 9.6e2 b26 * b44 - 1072 b26 * b45 - 32 b26 * b46 - 672 b26 * b47 - 1296 b27 * b28 - 1024 b27 * b29 - 1312 b27 * b30 - 928 b27 * b31 - 1568 b27 * b32 - 576 b27 * b33 - 1472 b27 * b34 - 48 b27 * b35 - 992 b27 * b36 - 864 b27 * b37 - 336 b27 * b38 - 1.36e3 b27 * b39 - 1104 b27 * b40 - 1.12e3 b27 * b41 - 3.2e2 b27 * b42 - 1.2e3 b27 * b43 - 1.28e3 b27 * b44 - 192 b27 * b45 - 1312 b27 * b46 - 1.6e2 b27 * b47 - 1584 b28 * b29 - 64 b28 * b30 - 208 b28 * b31 - 1344 b28 * b32 - 1568 b28 * b33 - 432 b28 * b34 - 1296 b28 * b35 - 944 b28 * b36 - 752 b28 * b37 - 1328 b28 * b38 - 848 b28 * b39 - 1.28e3 b28 * b40 - 5.6e2 b28 * b42 - 1.44e3 b28 * b43 - 1568 b28 * b44 - 1136 b28 * b45 - 1328 b28 * b46 - 864 b28 * b47 - 1376 b29 * b30 - 1424 b29 * b31 - 432 b29 * b32 - 1136 b29 * b33 - 1.6e2 b29 * b34 - 1568 b29 * b35 - 1456 b29 * b36 - 1376 b29 * b37 - 4.8e2 b29 * b38 - 8.8e2 b29 * b39 - 3.2e2 b29 * b40 - 6.4e2 b29 * b41 - 112 b29 * b42 - 1216 b29 * b43 - 848 b29 * b44 - 1456 b29 * b45 - 1.2e3 b29 * b46 - 528 b29 * b47 - 1152 b30 * b31 - 544 b30 * b32 - 512 b30 * b33 - 112 b30 * b34 - 1392 b30 * b35 - 1024 b30 * b36 - 112 b30 * b37 - 1184 b30 * b38 - 864 b30 * b39 - 928 b30 * b40 - 1552 b30 * b41 - 1424 b30 * b42 - 192 b30 * b43 - 1328 b30 * b44 - 1264 b30 * b45 - 624 b30 * b46 - 112 b30 * b47 - 1424 b31 * b32 - 1424 b31 * b33 - 1568 b31 * b34 - 432 b31 * b35 - 304 b31 * b36 - 96 b31 * b37 - 9.6e2 b31 * b39 - 208 b31 * b40 - 1216 b31 * b41 - 1.04e3 b31 * b42 - 896 b31 * b43 - 816 b31 * b44 - 800 b31 * b45 - 448 b31 * b46 - 592 b31 * b47 - 544 b32 * b33 - 1392 b32 * b34 - 384 b32 * b35 - 1568 b32 * b36 - 752 b32 * b37 - 800 b32 * b38 - 80 b32 * b39 - 912 b32 * b40 - 768 b32 * b41 - 1504 b32 * b42 - 336 b32 * b43 - 496 b32 * b44 - 400 b32 * b45 - 192 b32 * b46 - 608 b32 * b47 - 2.4e2 b33 * b34 - 32 b33 * b35 - 1424 b33 * b36 - 1504 b33 * b37 - 336 b33 * b38 - 1.52e3 b33 * b39 - 1504 b33 * b40 - 528 b33 * b41 - 128 b33 * b42 - 1136 b33 * b43 - 1584 b33 * b44 - 1024 b33 * b45 - 1184 b33 * b46 - 16 b33 * b47 - 704 b34 * b35 - 192 b34 * b36 - 576 b34 * b37 - 1328 b34 * b38 - 1408 b34 * b39 - 544 b34 * b40 - 4.8e2 b34 * b41 - 624 b34 * b42 - 624 b34 * b43 - 624 b34 * b44 - 1392 b34 * b45 - 1376 b34 * b46 - 9.6e2 b34 * b47 - 1.12e3 b35 * b36 - 176 b35 * b37 - 1168 b35 * b38 - 144 b35 * b39 - 1248 b35 * b40 - 1.2e3 b35 * b41 - 800 b35 * b42 - 1168 b35 * b43 - 768 b35 * b44 - 7.2e2 b35 * b45 - 304 b35 * b46 - 1312 b35 * b47 - 80 b36 * b37 - 1.44e3 b36 * b38 - 528 b36 * b39 - 336 b36 * b40 - 272 b36 * b41 - 544 b36 * b42 - 1.04e3 b36 * b43 - 1296 b36 * b44 - 1.12e3 b36 * b45 - 1104 b36 * b47 - 912 b37 * b38 - 1328 b37 * b39 - 9.6e2 b37 * b40 - 1536 b37 * b41 - 352 b37 * b42 - 1584 b37 * b43 - 544 b37 * b44 - 1328 b37 * b45 - 352 b37 * b46 - 736 b37 * b47 - 896 b38 * b39 - 1328 b38 * b40 - 384 b38 * b41 - 1328 b38 * b42 - 528 b38 * b43 - 784 b38 * b44 - 496 b38 * b45 - 4.8e2 b38 * b46 - 1104 b38 * b47 - 1.04e3 b39 * b40 - 5.6e2 b39 * b41 - 176 b39 * b42 - 1568 b39 * b43 - 896 b39 * b44 - 1.28e3 b39 * b45 - 1.36e3 b39 * b46 - 1168 b39 * b47 - 976 b40 * b41 - 8.8e2 b40 * b42 - 400 b40 * b43 - 1328 b40 * b44 - 192 b40 * b45 - 128 b40 * b46 - 1.52e3 b40 * b47 - 976 b41 * b42 - 496 b41 * b43 - 752 b41 * b44 - 1.52e3 b41 * b45 - 1056 b41 * b46 - 1104 b41 * b47 - 1488 b42 * b43 - 1184 b42 * b44 - 832 b42 * b45 - 1.12e3 b42 * b46 - 912 b42 * b47 - 1.36e3 b43 * b44 - 1136 b43 * b45 - 6.4e2 b43 * b46 - 2.4e2 b43 * b47 - 6.4e2 b44 * b45 - 928 b44 * b46 - 32 b44 * b47 - 64 b45 * b46 - 896 b45 * b47 - 1.6e2 b46 * b47 - 288 b48 * b49 - 1136 b48 * b50 - 224 b48 * b51 - 1552 b48 * b52 - 1312 b48 * b53 - 864 b48 * b54 - 144 b48 * b55 - 1472 b48 * b56 - 8.8e2 b48 * b57 - 1248 b48 * b58 - 1392 b48 * b59 - 1104 b48 * b60 - 32 b48 * b61 - 512 b48 * b62 - 672 b48 * b63 - 224 b48 * b64 - 7.2e2 b48 * b65 - 9.6e2 b48 * b66 - 1072 b48 * b67 - 32 b48 * b68 - 672 b48 * b69 - 1296 b49 * b50 - 1024 b49 * b51 - 1312 b49 * b52 - 928 b49 * b53 - 1568 b49 * b54 - 576 b49 * b55 - 1472 b49 * b56 - 48 b49 * b57 - 992 b49 * b58 - 864 b49 * b59 - 336 b49 * b60 - 1.36e3 b49 * b61 - 1104 b49 * b62 - 1.12e3 b49 * b63 - 3.2e2 b49 * b64 - 1.2e3 b49 * b65 - 1.28e3 b49 * b66 - 192 b49 * b67 - 1312 b49 * b68 - 1.6e2 b49 * b69 - 1584 b50 * b51 - 64 b50 * b52 - 208 b50 * b53 - 1344 b50 * b54 - 1568 b50 * b55 - 432 b50 * b56 - 1296 b50 * b57 - 944 b50 * b58 - 752 b50 * b59 - 1328 b50 * b60 - 848 b50 * b61 - 1.28e3 b50 * b62 - 5.6e2 b50 * b64 - 1.44e3 b50 * b65 - 1568 b50 * b66 - 1136 b50 * b67 - 1328 b50 * b68 - 864 b50 * b69 - 1376 b51 * b52 - 1424 b51 * b53 - 432 b51 * b54 - 1136 b51 * b55 - 1.6e2 b51 * b56 - 1568 b51 * b57 - 1456 b51 * b58 - 1376 b51 * b59 - 4.8e2 b51 * b60 - 8.8e2 b51 * b61 - 3.2e2 b51 * b62 - 6.4e2 b51 * b63 - 112 b51 * b64 - 1216 b51 * b65 - 848 b51 * b66 - 1456 b51 * b67 - 1.2e3 b51 * b68 - 528 b51 * b69 - 1152 b52 * b53 - 544 b52 * b54 - 512 b52 * b55 - 112 b52 * b56 - 1392 b52 * b57 - 1024 b52 * b58 - 112 b52 * b59 - 1184 b52 * b60 - 864 b52 * b61 - 928 b52 * b62 - 1552 b52 * b63 - 1424 b52 * b64 - 192 b52 * b65 - 1328 b52 * b66 - 1264 b52 * b67 - 624 b52 * b68 - 112 b52 * b69 - 1424 b53 * b54 - 1424 b53 * b55 - 1568 b53 * b56 - 432 b53 * b57 - 304 b53 * b58 - 96 b53 * b59 - 9.6e2 b53 * b61 - 208 b53 * b62 - 1216 b53 * b63 - 1.04e3 b53 * b64 - 896 b53 * b65 - 816 b53 * b66 - 800 b53 * b67 - 448 b53 * b68 - 592 b53 * b69 - 544 b54 * b55 - 1392 b54 * b56 - 384 b54 * b57 - 1568 b54 * b58 - 752 b54 * b59 - 800 b54 * b60 - 80 b54 * b61 - 912 b54 * b62 - 768 b54 * b63 - 1504 b54 * b64 - 336 b54 * b65 - 496 b54 * b66 - 400 b54 * b67 - 192 b54 * b68 - 608 b54 * b69 - 2.4e2 b55 * b56 - 32 b55 * b57 - 1424 b55 * b58 - 1504 b55 * b59 - 336 b55 * b60 - 1.52e3 b55 * b61 - 1504 b55 * b62 - 528 b55 * b63 - 128 b55 * b64 - 1136 b55 * b65 - 1584 b55 * b66 - 1024 b55 * b67 - 1184 b55 * b68 - 16 b55 * b69 - 704 b56 * b57 - 192 b56 * b58 - 576 b56 * b59 - 1328 b56 * b60 - 1408 b56 * b61 - 544 b56 * b62 - 4.8e2 b56 * b63 - 624 b56 * b64 - 624 b56 * b65 - 624 b56 * b66 - 1392 b56 * b67 - 1376 b56 * b68 - 9.6e2 b56 * b69 - 1.12e3 b57 * b58 - 176 b57 * b59 - 1168 b57 * b60 - 144 b57 * b61 - 1248 b57 * b62 - 1.2e3 b57 * b63 - 800 b57 * b64 - 1168 b57 * b65 - 768 b57 * b66 - 7.2e2 b57 * b67 - 304 b57 * b68 - 1312 b57 * b69 - 80 b58 * b59 - 1.44e3 b58 * b60 - 528 b58 * b61 - 336 b58 * b62 - 272 b58 * b63 - 544 b58 * b64 - 1.04e3 b58 * b65 - 1296 b58 * b66 - 1.12e3 b58 * b67 - 1104 b58 * b69 - 912 b59 * b60 - 1328 b59 * b61 - 9.6e2 b59 * b62 - 1536 b59 * b63 - 352 b59 * b64 - 1584 b59 * b65 - 544 b59 * b66 - 1328 b59 * b67 - 352 b59 * b68 - 736 b59 * b69 - 896 b60 * b61 - 1328 b60 * b62 - 384 b60 * b63 - 1328 b60 * b64 - 528 b60 * b65 - 784 b60 * b66 - 496 b60 * b67 - 4.8e2 b60 * b68 - 1104 b60 * b69 - 1.04e3 b61 * b62 - 5.6e2 b61 * b63 - 176 b61 * b64 - 1568 b61 * b65 - 896 b61 * b66 - 1.28e3 b61 * b67 - 1.36e3 b61 * b68 - 1168 b61 * b69 - 976 b62 * b63 - 8.8e2 b62 * b64 - 400 b62 * b65 - 1328 b62 * b66 - 192 b62 * b67 - 128 b62 * b68 - 1.52e3 b62 * b69 - 976 b63 * b64 - 496 b63 * b65 - 752 b63 * b66 - 1.52e3 b63 * b67 - 1056 b63 * b68 - 1104 b63 * b69 - 1488 b64 * b65 - 1184 b64 * b66 - 832 b64 * b67 - 1.12e3 b64 * b68 - 912 b64 * b69 - 1.36e3 b65 * b66 - 1136 b65 * b67 - 6.4e2 b65 * b68 - 2.4e2 b65 * b69 - 6.4e2 b66 * b67 - 928 b66 * b68 - 32 b66 * b69 - 64 b67 * b68 - 896 b67 * b69 - 1.6e2 b68 * b69 - 1296 b70 * b71 - 1024 b70 * b72 - 1312 b70 * b73 - 928 b70 * b74 - 1568 b70 * b75 - 576 b70 * b76 - 1472 b70 * b77 - 48 b70 * b78 - 992 b70 * b79 - 864 b70 * b80 - 336 b70 * b81 - 1.36e3 b70 * b82 - 1104 b70 * b83 - 1.12e3 b70 * b84 - 3.2e2 b70 * b85 - 1.2e3 b70 * b86 - 1.28e3 b70 * b87 - 192 b70 * b88 - 1312 b70 * b89 - 1.6e2 b70 * b90 - 1584 b71 * b72 - 64 b71 * b73 - 208 b71 * b74 - 1344 b71 * b75 - 1568 b71 * b76 - 432 b71 * b77 - 1296 b71 * b78 - 944 b71 * b79 - 752 b71 * b80 - 1328 b71 * b81 - 848 b71 * b82 - 1.28e3 b71 * b83 - 5.6e2 b71 * b85 - 1.44e3 b71 * b86 - 1568 b71 * b87 - 1136 b71 * b88 - 1328 b71 * b89 - 864 b71 * b90 - 1376 b72 * b73 - 1424 b72 * b74 - 432 b72 * b75 - 1136 b72 * b76 - 1.6e2 b72 * b77 - 1568 b72 * b78 - 1456 b72 * b79 - 1376 b72 * b80 - 4.8e2 b72 * b81 - 8.8e2 b72 * b82 - 3.2e2 b72 * b83 - 6.4e2 b72 * b84 - 112 b72 * b85 - 1216 b72 * b86 - 848 b72 * b87 - 1456 b72 * b88 - 1.2e3 b72 * b89 - 528 b72 * b90 - 1152 b73 * b74 - 544 b73 * b75 - 512 b73 * b76 - 112 b73 * b77 - 1392 b73 * b78 - 1024 b73 * b79 - 112 b73 * b80 - 1184 b73 * b81 - 864 b73 * b82 - 928 b73 * b83 - 1552 b73 * b84 - 1424 b73 * b85 - 192 b73 * b86 - 1328 b73 * b87 - 1264 b73 * b88 - 624 b73 * b89 - 112 b73 * b90 - 1424 b74 * b75 - 1424 b74 * b76 - 1568 b74 * b77 - 432 b74 * b78 - 304 b74 * b79 - 96 b74 * b80 - 9.6e2 b74 * b82 - 208 b74 * b83 - 1216 b74 * b84 - 1.04e3 b74 * b85 - 896 b74 * b86 - 816 b74 * b87 - 800 b74 * b88 - 448 b74 * b89 - 592 b74 * b90 - 544 b75 * b76 - 1392 b75 * b77 - 384 b75 * b78 - 1568 b75 * b79 - 752 b75 * b80 - 800 b75 * b81 - 80 b75 * b82 - 912 b75 * b83 - 768 b75 * b84 - 1504 b75 * b85 - 336 b75 * b86 - 496 b75 * b87 - 400 b75 * b88 - 192 b75 * b89 - 608 b75 * b90 - 2.4e2 b76 * b77 - 32 b76 * b78 - 1424 b76 * b79 - 1504 b76 * b80 - 336 b76 * b81 - 1.52e3 b76 * b82 - 1504 b76 * b83 - 528 b76 * b84 - 128 b76 * b85 - 1136 b76 * b86 - 1584 b76 * b87 - 1024 b76 * b88 - 1184 b76 * b89 - 16 b76 * b90 - 704 b77 * b78 - 192 b77 * b79 - 576 b77 * b80 - 1328 b77 * b81 - 1408 b77 * b82 - 544 b77 * b83 - 4.8e2 b77 * b84 - 624 b77 * b85 - 624 b77 * b86 - 624 b77 * b87 - 1392 b77 * b88 - 1376 b77 * b89 - 9.6e2 b77 * b90 - 1.12e3 b78 * b79 - 176 b78 * b80 - 1168 b78 * b81 - 144 b78 * b82 - 1248 b78 * b83 - 1.2e3 b78 * b84 - 800 b78 * b85 - 1168 b78 * b86 - 768 b78 * b87 - 7.2e2 b78 * b88 - 304 b78 * b89 - 1312 b78 * b90 - 80 b79 * b80 - 1.44e3 b79 * b81 - 528 b79 * b82 - 336 b79 * b83 - 272 b79 * b84 - 544 b79 * b85 - 1.04e3 b79 * b86 - 1296 b79 * b87 - 1.12e3 b79 * b88 - 1104 b79 * b90 - 912 b80 * b81 - 1328 b80 * b82 - 9.6e2 b80 * b83 - 1536 b80 * b84 - 352 b80 * b85 - 1584 b80 * b86 - 544 b80 * b87 - 1328 b80 * b88 - 352 b80 * b89 - 736 b80 * b90 - 896 b81 * b82 - 1328 b81 * b83 - 384 b81 * b84 - 1328 b81 * b85 - 528 b81 * b86 - 784 b81 * b87 - 496 b81 * b88 - 4.8e2 b81 * b89 - 1104 b81 * b90 - 1.04e3 b82 * b83 - 5.6e2 b82 * b84 - 176 b82 * b85 - 1568 b82 * b86 - 896 b82 * b87 - 1.28e3 b82 * b88 - 1.36e3 b82 * b89 - 1168 b82 * b90 - 976 b83 * b84 - 8.8e2 b83 * b85 - 400 b83 * b86 - 1328 b83 * b87 - 192 b83 * b88 - 128 b83 * b89 - 1.52e3 b83 * b90 - 976 b84 * b85 - 496 b84 * b86 - 752 b84 * b87 - 1.52e3 b84 * b88 - 1056 b84 * b89 - 1104 b84 * b90 - 1488 b85 * b86 - 1184 b85 * b87 - 832 b85 * b88 - 1.12e3 b85 * b89 - 912 b85 * b90 - 1.36e3 b86 * b87 - 1136 b86 * b88 - 6.4e2 b86 * b89 - 2.4e2 b86 * b90 - 6.4e2 b87 * b88 - 928 b87 * b89 - 32 b87 * b90 - 64 b88 * b89 - 896 b88 * b90 - 1.6e2 b89 * b90 - 1584 b91 * b92 - 64 b91 * b93 - 208 b91 * b94 - 1344 b91 * b95 - 1568 b91 * b96 - 432 b91 * b97 - 1296 b91 * b98 - 944 b91 * b99 - 752 b91 * b100 - 1328 b91 * b101 - 848 b91 * b102 - 1.28e3 b91 * b103 - 5.6e2 b91 * b104 - 1.44e3 b91 * b105 - 1568 b91 * b106 - 1136 b91 * b107 - 1328 b91 * b108 - 864 b91 * b109 - 1376 b92 * b93 - 1424 b92 * b94 - 432 b92 * b95 - 1136 b92 * b96 - 1.6e2 b92 * b97 - 1568 b92 * b98 - 1456 b92 * b99 - 1376 b92 * b100 - 4.8e2 b92 * b101 - 8.8e2 b92 * b102 - 3.2e2 b92 * b103 - 112 b92 * b104 - 1216 b92 * b105 - 848 b92 * b106 - 1456 b92 * b107 - 1.2e3 b92 * b108 - 528 b92 * b109 - 6.4e2 b92 * b110 - 1152 b93 * b94 - 544 b93 * b95 - 512 b93 * b96 - 112 b93 * b97 - 1392 b93 * b98 - 1024 b93 * b99 - 112 b93 * b100 - 1184 b93 * b101 - 864 b93 * b102 - 928 b93 * b103 - 1424 b93 * b104 - 192 b93 * b105 - 1328 b93 * b106 - 1264 b93 * b107 - 624 b93 * b108 - 112 b93 * b109 - 1552 b93 * b110 - 1424 b94 * b95 - 1424 b94 * b96 - 1568 b94 * b97 - 432 b94 * b98 - 304 b94 * b99 - 96 b94 * b100 - 9.6e2 b94 * b102 - 208 b94 * b103 - 1.04e3 b94 * b104 - 896 b94 * b105 - 816 b94 * b106 - 800 b94 * b107 - 448 b94 * b108 - 592 b94 * b109 - 1216 b94 * b110 - 544 b95 * b96 - 1392 b95 * b97 - 384 b95 * b98 - 1568 b95 * b99 - 752 b95 * b100 - 800 b95 * b101 - 80 b95 * b102 - 912 b95 * b103 - 1504 b95 * b104 - 336 b95 * b105 - 496 b95 * b106 - 400 b95 * b107 - 192 b95 * b108 - 608 b95 * b109 - 768 b95 * b110 - 2.4e2 b96 * b97 - 32 b96 * b98 - 1424 b96 * b99 - 1504 b96 * b100 - 336 b96 * b101 - 1.52e3 b96 * b102 - 1504 b96 * b103 - 128 b96 * b104 - 1136 b96 * b105 - 1584 b96 * b106 - 1024 b96 * b107 - 1184 b96 * b108 - 16 b96 * b109 - 528 b96 * b110 - 704 b97 * b98 - 192 b97 * b99 - 576 b97 * b100 - 1328 b97 * b101 - 1408 b97 * b102 - 544 b97 * b103 - 624 b97 * b104 - 624 b97 * b105 - 624 b97 * b106 - 1392 b97 * b107 - 1376 b97 * b108 - 9.6e2 b97 * b109 - 4.8e2 b97 * b110 - 1.12e3 b98 * b99 - 176 b98 * b100 - 1168 b98 * b101 - 144 b98 * b102 - 1248 b98 * b103 - 800 b98 * b104 - 1168 b98 * b105 - 768 b98 * b106 - 7.2e2 b98 * b107 - 304 b98 * b108 - 1312 b98 * b109 - 1.2e3 b98 * b110 - 80 b99 * b100 - 1.44e3 b99 * b101 - 528 b99 * b102 - 336 b99 * b103 - 544 b99 * b104 - 1.04e3 b99 * b105 - 1296 b99 * b106 - 1.12e3 b99 * b107 - 1104 b99 * b109 - 272 b99 * b110 - 912 b100 * b101 - 1328 b100 * b102 - 9.6e2 b100 * b103 - 352 b100 * b104 - 1584 b100 * b105 - 544 b100 * b106 - 1328 b100 * b107 - 352 b100 * b108 - 736 b100 * b109 - 1536 b100 * b110 - 896 b101 * b102 - 1328 b101 * b103 - 1328 b101 * b104 - 528 b101 * b105 - 784 b101 * b106 - 496 b101 * b107 - 4.8e2 b101 * b108 - 1104 b101 * b109 - 384 b101 * b110 - 1.04e3 b102 * b103 - 176 b102 * b104 - 1568 b102 * b105 - 896 b102 * b106 - 1.28e3 b102 * b107 - 1.36e3 b102 * b108 - 1168 b102 * b109 - 5.6e2 b102 * b110 - 8.8e2 b103 * b104 - 400 b103 * b105 - 1328 b103 * b106 - 192 b103 * b107 - 128 b103 * b108 - 1.52e3 b103 * b109 - 976 b103 * b110 - 1488 b104 * b105 - 1184 b104 * b106 - 832 b104 * b107 - 1.12e3 b104 * b108 - 912 b104 * b109 - 976 b104 * b110 - 1.36e3 b105 * b106 - 1136 b105 * b107 - 6.4e2 b105 * b108 - 2.4e2 b105 * b109 - 496 b105 * b110 - 6.4e2 b106 * b107 - 928 b106 * b108 - 32 b106 * b109 - 752 b106 * b110 - 64 b107 * b108 - 896 b107 * b109 - 1.52e3 b107 * b110 - 1.6e2 b108 * b109 - 1056 b108 * b110 - 1104 b109 * b110 - 1376 b111 * b112 - 1424 b111 * b113 - 432 b111 * b114 - 1136 b111 * b115 - 1.6e2 b111 * b116 - 1568 b111 * b117 - 1456 b111 * b118 - 1376 b111 * b119 - 4.8e2 b111 * b120 - 8.8e2 b111 * b121 - 3.2e2 b111 * b122 - 6.4e2 b111 * b123 - 112 b111 * b124 - 1216 b111 * b125 - 848 b111 * b126 - 1456 b111 * b127 - 1.2e3 b111 * b128 - 528 b111 * b129 - 1152 b112 * b113 - 544 b112 * b114 - 512 b112 * b115 - 112 b112 * b116 - 1392 b112 * b117 - 1024 b112 * b118 - 112 b112 * b119 - 1184 b112 * b120 - 864 b112 * b121 - 928 b112 * b122 - 1552 b112 * b123 - 1424 b112 * b124 - 192 b112 * b125 - 1328 b112 * b126 - 1264 b112 * b127 - 624 b112 * b128 - 112 b112 * b129 - 1424 b113 * b114 - 1424 b113 * b115 - 1568 b113 * b116 - 432 b113 * b117 - 304 b113 * b118 - 96 b113 * b119 - 9.6e2 b113 * b121 - 208 b113 * b122 - 1216 b113 * b123 - 1.04e3 b113 * b124 - 896 b113 * b125 - 816 b113 * b126 - 800 b113 * b127 - 448 b113 * b128 - 592 b113 * b129 - 544 b114 * b115 - 1392 b114 * b116 - 384 b114 * b117 - 1568 b114 * b118 - 752 b114 * b119 - 800 b114 * b120 - 80 b114 * b121 - 912 b114 * b122 - 768 b114 * b123 - 1504 b114 * b124 - 336 b114 * b125 - 496 b114 * b126 - 400 b114 * b127 - 192 b114 * b128 - 608 b114 * b129 - 2.4e2 b115 * b116 - 32 b115 * b117 - 1424 b115 * b118 - 1504 b115 * b119 - 336 b115 * b120 - 1.52e3 b115 * b121 - 1504 b115 * b122 - 528 b115 * b123 - 128 b115 * b124 - 1136 b115 * b125 - 1584 b115 * b126 - 1024 b115 * b127 - 1184 b115 * b128 - 16 b115 * b129 - 704 b116 * b117 - 192 b116 * b118 - 576 b116 * b119 - 1328 b116 * b120 - 1408 b116 * b121 - 544 b116 * b122 - 4.8e2 b116 * b123 - 624 b116 * b124 - 624 b116 * b125 - 624 b116 * b126 - 1392 b116 * b127 - 1376 b116 * b128 - 9.6e2 b116 * b129 - 1.12e3 b117 * b118 - 176 b117 * b119 - 1168 b117 * b120 - 144 b117 * b121 - 1248 b117 * b122 - 1.2e3 b117 * b123 - 800 b117 * b124 - 1168 b117 * b125 - 768 b117 * b126 - 7.2e2 b117 * b127 - 304 b117 * b128 - 1312 b117 * b129 - 80 b118 * b119 - 1.44e3 b118 * b120 - 528 b118 * b121 - 336 b118 * b122 - 272 b118 * b123 - 544 b118 * b124 - 1.04e3 b118 * b125 - 1296 b118 * b126 - 1.12e3 b118 * b127 - 1104 b118 * b129 - 912 b119 * b120 - 1328 b119 * b121 - 9.6e2 b119 * b122 - 1536 b119 * b123 - 352 b119 * b124 - 1584 b119 * b125 - 544 b119 * b126 - 1328 b119 * b127 - 352 b119 * b128 - 736 b119 * b129 - 896 b120 * b121 - 1328 b120 * b122 - 384 b120 * b123 - 1328 b120 * b124 - 528 b120 * b125 - 784 b120 * b126 - 496 b120 * b127 - 4.8e2 b120 * b128 - 1104 b120 * b129 - 1.04e3 b121 * b122 - 5.6e2 b121 * b123 - 176 b121 * b124 - 1568 b121 * b125 - 896 b121 * b126 - 1.28e3 b121 * b127 - 1.36e3 b121 * b128 - 1168 b121 * b129 - 976 b122 * b123 - 8.8e2 b122 * b124 - 400 b122 * b125 - 1328 b122 * b126 - 192 b122 * b127 - 128 b122 * b128 - 1.52e3 b122 * b129 - 976 b123 * b124 - 496 b123 * b125 - 752 b123 * b126 - 1.52e3 b123 * b127 - 1056 b123 * b128 - 1104 b123 * b129 - 1488 b124 * b125 - 1184 b124 * b126 - 832 b124 * b127 - 1.12e3 b124 * b128 - 912 b124 * b129 - 1.36e3 b125 * b126 - 1136 b125 * b127 - 6.4e2 b125 * b128 - 2.4e2 b125 * b129 - 6.4e2 b126 * b127 - 928 b126 * b128 - 32 b126 * b129 - 64 b127 * b128 - 896 b127 * b129 - 1.6e2 b128 * b129 - 1152 b130 * b131 - 544 b130 * b132 - 512 b130 * b133 - 112 b130 * b134 - 1392 b130 * b135 - 1024 b130 * b136 - 112 b130 * b137 - 1184 b130 * b138 - 864 b130 * b139 - 928 b130 * b140 - 1552 b130 * b141 - 1424 b130 * b142 - 192 b130 * b143 - 1328 b130 * b144 - 1264 b130 * b145 - 624 b130 * b146 - 112 b130 * b147 - 1424 b131 * b132 - 1424 b131 * b133 - 1568 b131 * b134 - 432 b131 * b135 - 304 b131 * b136 - 96 b131 * b137 - 9.6e2 b131 * b139 - 208 b131 * b140 - 1216 b131 * b141 - 1.04e3 b131 * b142 - 896 b131 * b143 - 816 b131 * b144 - 800 b131 * b145 - 448 b131 * b146 - 592 b131 * b147 - 544 b132 * b133 - 1392 b132 * b134 - 384 b132 * b135 - 1568 b132 * b136 - 752 b132 * b137 - 800 b132 * b138 - 80 b132 * b139 - 912 b132 * b140 - 768 b132 * b141 - 1504 b132 * b142 - 336 b132 * b143 - 496 b132 * b144 - 400 b132 * b145 - 192 b132 * b146 - 608 b132 * b147 - 2.4e2 b133 * b134 - 32 b133 * b135 - 1424 b133 * b136 - 1504 b133 * b137 - 336 b133 * b138 - 1.52e3 b133 * b139 - 1504 b133 * b140 - 528 b133 * b141 - 128 b133 * b142 - 1136 b133 * b143 - 1584 b133 * b144 - 1024 b133 * b145 - 1184 b133 * b146 - 16 b133 * b147 - 704 b134 * b135 - 192 b134 * b136 - 576 b134 * b137 - 1328 b134 * b138 - 1408 b134 * b139 - 544 b134 * b140 - 4.8e2 b134 * b141 - 624 b134 * b142 - 624 b134 * b143 - 624 b134 * b144 - 1392 b134 * b145 - 1376 b134 * b146 - 9.6e2 b134 * b147 - 1.12e3 b135 * b136 - 176 b135 * b137 - 1168 b135 * b138 - 144 b135 * b139 - 1248 b135 * b140 - 1.2e3 b135 * b141 - 800 b135 * b142 - 1168 b135 * b143 - 768 b135 * b144 - 7.2e2 b135 * b145 - 304 b135 * b146 - 1312 b135 * b147 - 80 b136 * b137 - 1.44e3 b136 * b138 - 528 b136 * b139 - 336 b136 * b140 - 272 b136 * b141 - 544 b136 * b142 - 1.04e3 b136 * b143 - 1296 b136 * b144 - 1.12e3 b136 * b145 - 1104 b136 * b147 - 912 b137 * b138 - 1328 b137 * b139 - 9.6e2 b137 * b140 - 1536 b137 * b141 - 352 b137 * b142 - 1584 b137 * b143 - 544 b137 * b144 - 1328 b137 * b145 - 352 b137 * b146 - 736 b137 * b147 - 896 b138 * b139 - 1328 b138 * b140 - 384 b138 * b141 - 1328 b138 * b142 - 528 b138 * b143 - 784 b138 * b144 - 496 b138 * b145 - 4.8e2 b138 * b146 - 1104 b138 * b147 - 1.04e3 b139 * b140 - 5.6e2 b139 * b141 - 176 b139 * b142 - 1568 b139 * b143 - 896 b139 * b144 - 1.28e3 b139 * b145 - 1.36e3 b139 * b146 - 1168 b139 * b147 - 976 b140 * b141 - 8.8e2 b140 * b142 - 400 b140 * b143 - 1328 b140 * b144 - 192 b140 * b145 - 128 b140 * b146 - 1.52e3 b140 * b147 - 976 b141 * b142 - 496 b141 * b143 - 752 b141 * b144 - 1.52e3 b141 * b145 - 1056 b141 * b146 - 1104 b141 * b147 - 1488 b142 * b143 - 1184 b142 * b144 - 832 b142 * b145 - 1.12e3 b142 * b146 - 912 b142 * b147 - 1.36e3 b143 * b144 - 1136 b143 * b145 - 6.4e2 b143 * b146 - 2.4e2 b143 * b147 - 6.4e2 b144 * b145 - 928 b144 * b146 - 32 b144 * b147 - 64 b145 * b146 - 896 b145 * b147 - 1.6e2 b146 * b147 - 1424 b148 * b149 - 1424 b148 * b150 - 1568 b148 * b151 - 432 b148 * b152 - 304 b148 * b153 - 96 b148 * b154 - 9.6e2 b148 * b155 - 208 b148 * b156 - 1216 b148 * b157 - 1.04e3 b148 * b158 - 896 b148 * b159 - 816 b148 * b160 - 800 b148 * b161 - 448 b148 * b162 - 592 b148 * b163 - 544 b149 * b150 - 1392 b149 * b151 - 384 b149 * b152 - 1568 b149 * b153 - 752 b149 * b154 - 80 b149 * b155 - 912 b149 * b156 - 768 b149 * b157 - 1504 b149 * b158 - 336 b149 * b159 - 496 b149 * b160 - 400 b149 * b161 - 192 b149 * b162 - 608 b149 * b163 - 800 b149 * b164 - 2.4e2 b150 * b151 - 32 b150 * b152 - 1424 b150 * b153 - 1504 b150 * b154 - 1.52e3 b150 * b155 - 1504 b150 * b156 - 528 b150 * b157 - 128 b150 * b158 - 1136 b150 * b159 - 1584 b150 * b160 - 1024 b150 * b161 - 1184 b150 * b162 - 16 b150 * b163 - 336 b150 * b164 - 704 b151 * b152 - 192 b151 * b153 - 576 b151 * b154 - 1408 b151 * b155 - 544 b151 * b156 - 4.8e2 b151 * b157 - 624 b151 * b158 - 624 b151 * b159 - 624 b151 * b160 - 1392 b151 * b161 - 1376 b151 * b162 - 9.6e2 b151 * b163 - 1328 b151 * b164 - 1.12e3 b152 * b153 - 176 b152 * b154 - 144 b152 * b155 - 1248 b152 * b156 - 1.2e3 b152 * b157 - 800 b152 * b158 - 1168 b152 * b159 - 768 b152 * b160 - 7.2e2 b152 * b161 - 304 b152 * b162 - 1312 b152 * b163 - 1168 b152 * b164 - 80 b153 * b154 - 528 b153 * b155 - 336 b153 * b156 - 272 b153 * b157 - 544 b153 * b158 - 1.04e3 b153 * b159 - 1296 b153 * b160 - 1.12e3 b153 * b161 - 1104 b153 * b163 - 1.44e3 b153 * b164 - 1328 b154 * b155 - 9.6e2 b154 * b156 - 1536 b154 * b157 - 352 b154 * b158 - 1584 b154 * b159 - 544 b154 * b160 - 1328 b154 * b161 - 352 b154 * b162 - 736 b154 * b163 - 912 b154 * b164 - 1.04e3 b155 * b156 - 5.6e2 b155 * b157 - 176 b155 * b158 - 1568 b155 * b159 - 896 b155 * b160 - 1.28e3 b155 * b161 - 1.36e3 b155 * b162 - 1168 b155 * b163 - 896 b155 * b164 - 976 b156 * b157 - 8.8e2 b156 * b158 - 400 b156 * b159 - 1328 b156 * b160 - 192 b156 * b161 - 128 b156 * b162 - 1.52e3 b156 * b163 - 1328 b156 * b164 - 976 b157 * b158 - 496 b157 * b159 - 752 b157 * b160 - 1.52e3 b157 * b161 - 1056 b157 * b162 - 1104 b157 * b163 - 384 b157 * b164 - 1488 b158 * b159 - 1184 b158 * b160 - 832 b158 * b161 - 1.12e3 b158 * b162 - 912 b158 * b163 - 1328 b158 * b164 - 1.36e3 b159 * b160 - 1136 b159 * b161 - 6.4e2 b159 * b162 - 2.4e2 b159 * b163 - 528 b159 * b164 - 6.4e2 b160 * b161 - 928 b160 * b162 - 32 b160 * b163 - 784 b160 * b164 - 64 b161 * b162 - 896 b161 * b163 - 496 b161 * b164 - 1.6e2 b162 * b163 - 4.8e2 b162 * b164 - 1104 b163 * b164 - 544 b165 * b166 - 1392 b165 * b167 - 384 b165 * b168 - 1568 b165 * b169 - 752 b165 * b170 - 800 b165 * b171 - 80 b165 * b172 - 912 b165 * b173 - 768 b165 * b174 - 1504 b165 * b175 - 336 b165 * b176 - 496 b165 * b177 - 400 b165 * b178 - 192 b165 * b179 - 608 b165 * b180 - 2.4e2 b166 * b167 - 32 b166 * b168 - 1424 b166 * b169 - 1504 b166 * b170 - 336 b166 * b171 - 1.52e3 b166 * b172 - 1504 b166 * b173 - 528 b166 * b174 - 128 b166 * b175 - 1136 b166 * b176 - 1584 b166 * b177 - 1024 b166 * b178 - 1184 b166 * b179 - 16 b166 * b180 - 704 b167 * b168 - 192 b167 * b169 - 576 b167 * b170 - 1328 b167 * b171 - 1408 b167 * b172 - 544 b167 * b173 - 4.8e2 b167 * b174 - 624 b167 * b175 - 624 b167 * b176 - 624 b167 * b177 - 1392 b167 * b178 - 1376 b167 * b179 - 9.6e2 b167 * b180 - 1.12e3 b168 * b169 - 176 b168 * b170 - 1168 b168 * b171 - 144 b168 * b172 - 1248 b168 * b173 - 1.2e3 b168 * b174 - 800 b168 * b175 - 1168 b168 * b176 - 768 b168 * b177 - 7.2e2 b168 * b178 - 304 b168 * b179 - 1312 b168 * b180 - 80 b169 * b170 - 1.44e3 b169 * b171 - 528 b169 * b172 - 336 b169 * b173 - 272 b169 * b174 - 544 b169 * b175 - 1.04e3 b169 * b176 - 1296 b169 * b177 - 1.12e3 b169 * b178 - 1104 b169 * b180 - 912 b170 * b171 - 1328 b170 * b172 - 9.6e2 b170 * b173 - 1536 b170 * b174 - 352 b170 * b175 - 1584 b170 * b176 - 544 b170 * b177 - 1328 b170 * b178 - 352 b170 * b179 - 736 b170 * b180 - 896 b171 * b172 - 1328 b171 * b173 - 384 b171 * b174 - 1328 b171 * b175 - 528 b171 * b176 - 784 b171 * b177 - 496 b171 * b178 - 4.8e2 b171 * b179 - 1104 b171 * b180 - 1.04e3 b172 * b173 - 5.6e2 b172 * b174 - 176 b172 * b175 - 1568 b172 * b176 - 896 b172 * b177 - 1.28e3 b172 * b178 - 1.36e3 b172 * b179 - 1168 b172 * b180 - 976 b173 * b174 - 8.8e2 b173 * b175 - 400 b173 * b176 - 1328 b173 * b177 - 192 b173 * b178 - 128 b173 * b179 - 1.52e3 b173 * b180 - 976 b174 * b175 - 496 b174 * b176 - 752 b174 * b177 - 1.52e3 b174 * b178 - 1056 b174 * b179 - 1104 b174 * b180 - 1488 b175 * b176 - 1184 b175 * b177 - 832 b175 * b178 - 1.12e3 b175 * b179 - 912 b175 * b180 - 1.36e3 b176 * b177 - 1136 b176 * b178 - 6.4e2 b176 * b179 - 2.4e2 b176 * b180 - 6.4e2 b177 * b178 - 928 b177 * b179 - 32 b177 * b180 - 64 b178 * b179 - 896 b178 * b180 - 1.6e2 b179 * b180 - 2.4e2 b181 * b182 - 32 b181 * b183 - 1424 b181 * b184 - 1504 b181 * b185 - 336 b181 * b186 - 1.52e3 b181 * b187 - 1504 b181 * b188 - 528 b181 * b189 - 128 b181 * b190 - 1136 b181 * b191 - 1584 b181 * b192 - 1024 b181 * b193 - 1184 b181 * b194 - 16 b181 * b195 - 704 b182 * b183 - 192 b182 * b184 - 576 b182 * b185 - 1328 b182 * b186 - 1408 b182 * b187 - 544 b182 * b188 - 4.8e2 b182 * b189 - 624 b182 * b190 - 624 b182 * b191 - 624 b182 * b192 - 1392 b182 * b193 - 1376 b182 * b194 - 9.6e2 b182 * b195 - 1.12e3 b183 * b184 - 176 b183 * b185 - 1168 b183 * b186 - 144 b183 * b187 - 1248 b183 * b188 - 1.2e3 b183 * b189 - 800 b183 * b190 - 1168 b183 * b191 - 768 b183 * b192 - 7.2e2 b183 * b193 - 304 b183 * b194 - 1312 b183 * b195 - 80 b184 * b185 - 1.44e3 b184 * b186 - 528 b184 * b187 - 336 b184 * b188 - 272 b184 * b189 - 544 b184 * b190 - 1.04e3 b184 * b191 - 1296 b184 * b192 - 1.12e3 b184 * b193 - 1104 b184 * b195 - 912 b185 * b186 - 1328 b185 * b187 - 9.6e2 b185 * b188 - 1536 b185 * b189 - 352 b185 * b190 - 1584 b185 * b191 - 544 b185 * b192 - 1328 b185 * b193 - 352 b185 * b194 - 736 b185 * b195 - 896 b186 * b187 - 1328 b186 * b188 - 384 b186 * b189 - 1328 b186 * b190 - 528 b186 * b191 - 784 b186 * b192 - 496 b186 * b193 - 4.8e2 b186 * b194 - 1104 b186 * b195 - 1.04e3 b187 * b188 - 5.6e2 b187 * b189 - 176 b187 * b190 - 1568 b187 * b191 - 896 b187 * b192 - 1.28e3 b187 * b193 - 1.36e3 b187 * b194 - 1168 b187 * b195 - 976 b188 * b189 - 8.8e2 b188 * b190 - 400 b188 * b191 - 1328 b188 * b192 - 192 b188 * b193 - 128 b188 * b194 - 1.52e3 b188 * b195 - 976 b189 * b190 - 496 b189 * b191 - 752 b189 * b192 - 1.52e3 b189 * b193 - 1056 b189 * b194 - 1104 b189 * b195 - 1488 b190 * b191 - 1184 b190 * b192 - 832 b190 * b193 - 1.12e3 b190 * b194 - 912 b190 * b195 - 1.36e3 b191 * b192 - 1136 b191 * b193 - 6.4e2 b191 * b194 - 2.4e2 b191 * b195 - 6.4e2 b192 * b193 - 928 b192 * b194 - 32 b192 * b195 - 64 b193 * b194 - 896 b193 * b195 - 1.6e2 b194 * b195 - 704 b196 * b197 - 192 b196 * b198 - 576 b196 * b199 - 1328 b196 * b200 - 1408 b196 * b201 - 544 b196 * b202 - 4.8e2 b196 * b203 - 624 b196 * b204 - 624 b196 * b205 - 624 b196 * b206 - 1392 b196 * b207 - 1376 b196 * b208 - 9.6e2 b196 * b209 - 1.12e3 b197 * b198 - 176 b197 * b199 - 1168 b197 * b200 - 144 b197 * b201 - 1248 b197 * b202 - 1.2e3 b197 * b203 - 800 b197 * b204 - 1168 b197 * b205 - 768 b197 * b206 - 7.2e2 b197 * b207 - 304 b197 * b208 - 1312 b197 * b209 - 80 b198 * b199 - 1.44e3 b198 * b200 - 528 b198 * b201 - 336 b198 * b202 - 272 b198 * b203 - 544 b198 * b204 - 1.04e3 b198 * b205 - 1296 b198 * b206 - 1.12e3 b198 * b207 - 1104 b198 * b209 - 912 b199 * b200 - 1328 b199 * b201 - 9.6e2 b199 * b202 - 1536 b199 * b203 - 352 b199 * b204 - 1584 b199 * b205 - 544 b199 * b206 - 1328 b199 * b207 - 352 b199 * b208 - 736 b199 * b209 - 896 b200 * b201 - 1328 b200 * b202 - 384 b200 * b203 - 1328 b200 * b204 - 528 b200 * b205 - 784 b200 * b206 - 496 b200 * b207 - 4.8e2 b200 * b208 - 1104 b200 * b209 - 1.04e3 b201 * b202 - 5.6e2 b201 * b203 - 176 b201 * b204 - 1568 b201 * b205 - 896 b201 * b206 - 1.28e3 b201 * b207 - 1.36e3 b201 * b208 - 1168 b201 * b209 - 976 b202 * b203 - 8.8e2 b202 * b204 - 400 b202 * b205 - 1328 b202 * b206 - 192 b202 * b207 - 128 b202 * b208 - 1.52e3 b202 * b209 - 976 b203 * b204 - 496 b203 * b205 - 752 b203 * b206 - 1.52e3 b203 * b207 - 1056 b203 * b208 - 1104 b203 * b209 - 1488 b204 * b205 - 1184 b204 * b206 - 832 b204 * b207 - 1.12e3 b204 * b208 - 912 b204 * b209 - 1.36e3 b205 * b206 - 1136 b205 * b207 - 6.4e2 b205 * b208 - 2.4e2 b205 * b209 - 6.4e2 b206 * b207 - 928 b206 * b208 - 32 b206 * b209 - 64 b207 * b208 - 896 b207 * b209 - 1.6e2 b208 * b209 - 1.12e3 b210 * b211 - 176 b210 * b212 - 1168 b210 * b213 - 144 b210 * b214 - 1248 b210 * b215 - 1.2e3 b210 * b216 - 800 b210 * b217 - 1168 b210 * b218 - 768 b210 * b219 - 7.2e2 b210 * b220 - 304 b210 * b221 - 1312 b210 * b222 - 80 b211 * b212 - 1.44e3 b211 * b213 - 528 b211 * b214 - 336 b211 * b215 - 272 b211 * b216 - 544 b211 * b217 - 1.04e3 b211 * b218 - 1296 b211 * b219 - 1.12e3 b211 * b220 - 1104 b211 * b222 - 912 b212 * b213 - 1328 b212 * b214 - 9.6e2 b212 * b215 - 1536 b212 * b216 - 352 b212 * b217 - 1584 b212 * b218 - 544 b212 * b219 - 1328 b212 * b220 - 352 b212 * b221 - 736 b212 * b222 - 896 b213 * b214 - 1328 b213 * b215 - 384 b213 * b216 - 1328 b213 * b217 - 528 b213 * b218 - 784 b213 * b219 - 496 b213 * b220 - 4.8e2 b213 * b221 - 1104 b213 * b222 - 1.04e3 b214 * b215 - 5.6e2 b214 * b216 - 176 b214 * b217 - 1568 b214 * b218 - 896 b214 * b219 - 1.28e3 b214 * b220 - 1.36e3 b214 * b221 - 1168 b214 * b222 - 976 b215 * b216 - 8.8e2 b215 * b217 - 400 b215 * b218 - 1328 b215 * b219 - 192 b215 * b220 - 128 b215 * b221 - 1.52e3 b215 * b222 - 976 b216 * b217 - 496 b216 * b218 - 752 b216 * b219 - 1.52e3 b216 * b220 - 1056 b216 * b221 - 1104 b216 * b222 - 1488 b217 * b218 - 1184 b217 * b219 - 832 b217 * b220 - 1.12e3 b217 * b221 - 912 b217 * b222 - 1.36e3 b218 * b219 - 1136 b218 * b220 - 6.4e2 b218 * b221 - 2.4e2 b218 * b222 - 6.4e2 b219 * b220 - 928 b219 * b221 - 32 b219 * b222 - 64 b220 * b221 - 896 b220 * b222 - 1.6e2 b221 * b222 - 80 b223 * b224 - 1.44e3 b223 * b225 - 528 b223 * b226 - 336 b223 * b227 - 272 b223 * b228 - 544 b223 * b229 - 1.04e3 b223 * b230 - 1296 b223 * b231 - 1.12e3 b223 * b232 - 1104 b223 * b233 - 912 b224 * b225 - 1328 b224 * b226 - 9.6e2 b224 * b227 - 1536 b224 * b228 - 352 b224 * b229 - 1584 b224 * b230 - 544 b224 * b231 - 1328 b224 * b232 - 736 b224 * b233 - 352 b224 * b234 - 896 b225 * b226 - 1328 b225 * b227 - 384 b225 * b228 - 1328 b225 * b229 - 528 b225 * b230 - 784 b225 * b231 - 496 b225 * b232 - 1104 b225 * b233 - 4.8e2 b225 * b234 - 1.04e3 b226 * b227 - 5.6e2 b226 * b228 - 176 b226 * b229 - 1568 b226 * b230 - 896 b226 * b231 - 1.28e3 b226 * b232 - 1168 b226 * b233 - 1.36e3 b226 * b234 - 976 b227 * b228 - 8.8e2 b227 * b229 - 400 b227 * b230 - 1328 b227 * b231 - 192 b227 * b232 - 1.52e3 b227 * b233 - 128 b227 * b234 - 976 b228 * b229 - 496 b228 * b230 - 752 b228 * b231 - 1.52e3 b228 * b232 - 1104 b228 * b233 - 1056 b228 * b234 - 1488 b229 * b230 - 1184 b229 * b231 - 832 b229 * b232 - 912 b229 * b233 - 1.12e3 b229 * b234 - 1.36e3 b230 * b231 - 1136 b230 * b232 - 2.4e2 b230 * b233 - 6.4e2 b230 * b234 - 6.4e2 b231 * b232 - 32 b231 * b233 - 928 b231 * b234 - 896 b232 * b233 - 64 b232 * b234 - 1.6e2 b233 * b234 - 912 b235 * b236 - 1328 b235 * b237 - 9.6e2 b235 * b238 - 1536 b235 * b239 - 352 b235 * b240 - 1584 b235 * b241 - 544 b235 * b242 - 1328 b235 * b243 - 352 b235 * b244 - 736 b235 * b245 - 896 b236 * b237 - 1328 b236 * b238 - 384 b236 * b239 - 1328 b236 * b240 - 528 b236 * b241 - 784 b236 * b242 - 496 b236 * b243 - 4.8e2 b236 * b244 - 1104 b236 * b245 - 1.04e3 b237 * b238 - 5.6e2 b237 * b239 - 176 b237 * b240 - 1568 b237 * b241 - 896 b237 * b242 - 1.28e3 b237 * b243 - 1.36e3 b237 * b244 - 1168 b237 * b245 - 976 b238 * b239 - 8.8e2 b238 * b240 - 400 b238 * b241 - 1328 b238 * b242 - 192 b238 * b243 - 128 b238 * b244 - 1.52e3 b238 * b245 - 976 b239 * b240 - 496 b239 * b241 - 752 b239 * b242 - 1.52e3 b239 * b243 - 1056 b239 * b244 - 1104 b239 * b245 - 1488 b240 * b241 - 1184 b240 * b242 - 832 b240 * b243 - 1.12e3 b240 * b244 - 912 b240 * b245 - 1.36e3 b241 * b242 - 1136 b241 * b243 - 6.4e2 b241 * b244 - 2.4e2 b241 * b245 - 6.4e2 b242 * b243 - 928 b242 * b244 - 32 b242 * b245 - 64 b243 * b244 - 896 b243 * b245 - 1.6e2 b244 * b245 - 896 b246 * b247 - 1328 b246 * b248 - 384 b246 * b249 - 1328 b246 * b250 - 528 b246 * b251 - 784 b246 * b252 - 496 b246 * b253 - 4.8e2 b246 * b254 - 1104 b246 * b255 - 1.04e3 b247 * b248 - 5.6e2 b247 * b249 - 176 b247 * b250 - 1568 b247 * b251 - 896 b247 * b252 - 1.28e3 b247 * b253 - 1.36e3 b247 * b254 - 1168 b247 * b255 - 976 b248 * b249 - 8.8e2 b248 * b250 - 400 b248 * b251 - 1328 b248 * b252 - 192 b248 * b253 - 128 b248 * b254 - 1.52e3 b248 * b255 - 976 b249 * b250 - 496 b249 * b251 - 752 b249 * b252 - 1.52e3 b249 * b253 - 1056 b249 * b254 - 1104 b249 * b255 - 1488 b250 * b251 - 1184 b250 * b252 - 832 b250 * b253 - 1.12e3 b250 * b254 - 912 b250 * b255 - 1.36e3 b251 * b252 - 1136 b251 * b253 - 6.4e2 b251 * b254 - 2.4e2 b251 * b255 - 6.4e2 b252 * b253 - 928 b252 * b254 - 32 b252 * b255 - 64 b253 * b254 - 896 b253 * b255 - 1.6e2 b254 * b255 - 1.04e3 b256 * b257 - 5.6e2 b256 * b258 - 176 b256 * b259 - 1568 b256 * b260 - 896 b256 * b261 - 1.28e3 b256 * b262 - 1.36e3 b256 * b263 - 1168 b256 * b264 - 976 b257 * b258 - 8.8e2 b257 * b259 - 400 b257 * b260 - 1328 b257 * b261 - 192 b257 * b262 - 128 b257 * b263 - 1.52e3 b257 * b264 - 976 b258 * b259 - 496 b258 * b260 - 752 b258 * b261 - 1.52e3 b258 * b262 - 1056 b258 * b263 - 1104 b258 * b264 - 1488 b259 * b260 - 1184 b259 * b261 - 832 b259 * b262 - 1.12e3 b259 * b263 - 912 b259 * b264 - 1.36e3 b260 * b261 - 1136 b260 * b262 - 6.4e2 b260 * b263 - 2.4e2 b260 * b264 - 6.4e2 b261 * b262 - 928 b261 * b263 - 32 b261 * b264 - 64 b262 * b263 - 896 b262 * b264 - 1.6e2 b263 * b264 - 976 b265 * b266 - 8.8e2 b265 * b267 - 400 b265 * b268 - 1328 b265 * b269 - 192 b265 * b270 - 128 b265 * b271 - 1.52e3 b265 * b272 - 976 b266 * b267 - 496 b266 * b268 - 752 b266 * b269 - 1.52e3 b266 * b270 - 1056 b266 * b271 - 1104 b266 * b272 - 1488 b267 * b268 - 1184 b267 * b269 - 832 b267 * b270 - 1.12e3 b267 * b271 - 912 b267 * b272 - 1.36e3 b268 * b269 - 1136 b268 * b270 - 6.4e2 b268 * b271 - 2.4e2 b268 * b272 - 6.4e2 b269 * b270 - 928 b269 * b271 - 32 b269 * b272 - 64 b270 * b271 - 896 b270 * b272 - 1.6e2 b271 * b272 - 976 b273 * b274 - 496 b273 * b275 - 752 b273 * b276 - 1.52e3 b273 * b277 - 1056 b273 * b278 - 1104 b273 * b279 - 1488 b274 * b275 - 1184 b274 * b276 - 832 b274 * b277 - 1.12e3 b274 * b278 - 912 b274 * b279 - 1.36e3 b275 * b276 - 1136 b275 * b277 - 6.4e2 b275 * b278 - 2.4e2 b275 * b279 - 6.4e2 b276 * b277 - 928 b276 * b278 - 32 b276 * b279 - 64 b277 * b278 - 896 b277 * b279 - 1.6e2 b278 * b279 - 1488 b280 * b281 - 1184 b280 * b282 - 832 b280 * b283 - 1.12e3 b280 * b284 - 912 b280 * b285 - 1.36e3 b281 * b282 - 1136 b281 * b283 - 6.4e2 b281 * b284 - 2.4e2 b281 * b285 - 6.4e2 b282 * b283 - 928 b282 * b284 - 32 b282 * b285 - 64 b283 * b284 - 896 b283 * b285 - 1.6e2 b284 * b285 - 1.36e3 b286 * b287 - 1136 b286 * b288 - 6.4e2 b286 * b289 - 2.4e2 b286 * b290 - 6.4e2 b287 * b288 - 928 b287 * b289 - 32 b287 * b290 - 64 b288 * b289 - 896 b288 * b290 - 1.6e2 b289 * b290 - 6.4e2 b291 * b292 - 928 b291 * b293 - 32 b291 * b294 - 64 b292 * b293 - 896 b292 * b294 - 1.6e2 b293 * b294 - 64 b295 * b296 - 896 b295 * b297 - 1.6e2 b296 * b297 - 1.6e2 b298 * b299 ]/2 Subject To e2: b2 + b25 = 1 e3: b3 + b26 + b48 = 1 e4: b4 + b27 + b49 + b70 = 1 e5: b5 + b28 + b50 + b71 + b91 = 1 e6: b6 + b29 + b51 + b72 + b92 + b111 = 1 e7: b7 + b30 + b52 + b73 + b93 + b112 + b130 = 1 e8: b8 + b31 + b53 + b74 + b94 + b113 + b131 + b148 = 1 e9: b9 + b32 + b54 + b75 + b95 + b114 + b132 + b149 + b165 = 1 e10: b10 + b33 + b55 + b76 + b96 + b115 + b133 + b150 + b166 + b181 = 1 e11: b11 + b34 + b56 + b77 + b97 + b116 + b134 + b151 + b167 + b182 + b196 = 1 e12: b12 + b35 + b57 + b78 + b98 + b117 + b135 + b152 + b168 + b183 + b197 + b210 = 1 e13: b13 + b36 + b58 + b79 + b99 + b118 + b136 + b153 + b169 + b184 + b198 + b211 + b223 = 1 e14: b14 + b37 + b59 + b80 + b100 + b119 + b137 + b154 + b170 + b185 + b199 + b212 + b224 + b235 = 1 e15: b15 + b38 + b60 + b81 + b101 + b120 + b138 + b164 + b171 + b186 + b200 + b213 + b225 + b236 + b246 = 1 e16: b16 + b39 + b61 + b82 + b102 + b121 + b139 + b155 + b172 + b187 + b201 + b214 + b226 + b237 + b247 + b256 = 1 e17: b17 + b40 + b62 + b83 + b103 + b122 + b140 + b156 + b173 + b188 + b202 + b215 + b227 + b238 + b248 + b257 + b265 = 1 e18: b18 + b41 + b63 + b84 + b110 + b123 + b141 + b157 + b174 + b189 + b203 + b216 + b228 + b239 + b249 + b258 + b266 + b273 = 1 e19: b19 + b42 + b64 + b85 + b104 + b124 + b142 + b158 + b175 + b190 + b204 + b217 + b229 + b240 + b250 + b259 + b267 + b274 + b280 = 1 e20: b20 + b43 + b65 + b86 + b105 + b125 + b143 + b159 + b176 + b191 + b205 + b218 + b230 + b241 + b251 + b260 + b268 + b275 + b281 + b286 = 1 e21: b21 + b44 + b66 + b87 + b106 + b126 + b144 + b160 + b177 + b192 + b206 + b219 + b231 + b242 + b252 + b261 + b269 + b276 + b282 + b287 + b291 = 1 e22: b22 + b45 + b67 + b88 + b107 + b127 + b145 + b161 + b178 + b193 + b207 + b220 + b232 + b243 + b253 + b262 + b270 + b277 + b283 + b288 + b292 + b295 = 1 e23: b23 + b46 + b68 + b89 + b108 + b128 + b146 + b162 + b179 + b194 + b208 + b221 + b234 + b244 + b254 + b263 + b271 + b278 + b284 + b289 + b293 + b296 + b298 = 1 e24: b24 + b47 + b69 + b90 + b109 + b129 + b147 + b163 + b180 + b195 + b209 + b222 + b233 + b245 + b255 + b264 + b272 + b279 + b285 + b290 + b294 + b297 + b299 + b300 = 1 e25: - b25 + b26 <= 0 e26: - b25 + b27 <= 0 e27: - b25 + b28 <= 0 e28: - b25 + b29 <= 0 e29: - b25 + b30 <= 0 e30: - b25 + b31 <= 0 e31: - b25 + b32 <= 0 e32: - b25 + b33 <= 0 e33: - b25 + b34 <= 0 e34: - b25 + b35 <= 0 e35: - b25 + b36 <= 0 e36: - b25 + b37 <= 0 e37: - b25 + b38 <= 0 e38: - b25 + b39 <= 0 e39: - b25 + b40 <= 0 e40: - b25 + b41 <= 0 e41: - b25 + b42 <= 0 e42: - b25 + b43 <= 0 e43: - b25 + b44 <= 0 e44: - b25 + b45 <= 0 e45: - b25 + b46 <= 0 e46: - b25 + b47 <= 0 e47: - b48 + b49 <= 0 e48: - b48 + b50 <= 0 e49: - b48 + b51 <= 0 e50: - b48 + b52 <= 0 e51: - b48 + b53 <= 0 e52: - b48 + b54 <= 0 e53: - b48 + b55 <= 0 e54: - b48 + b56 <= 0 e55: - b48 + b57 <= 0 e56: - b48 + b58 <= 0 e57: - b48 + b59 <= 0 e58: - b48 + b60 <= 0 e59: - b48 + b61 <= 0 e60: - b48 + b62 <= 0 e61: - b48 + b63 <= 0 e62: - b48 + b64 <= 0 e63: - b48 + b65 <= 0 e64: - b48 + b66 <= 0 e65: - b48 + b67 <= 0 e66: - b48 + b68 <= 0 e67: - b48 + b69 <= 0 e68: - b70 + b71 <= 0 e69: - b70 + b72 <= 0 e70: - b70 + b73 <= 0 e71: - b70 + b74 <= 0 e72: - b70 + b75 <= 0 e73: - b70 + b76 <= 0 e74: - b70 + b77 <= 0 e75: - b70 + b78 <= 0 e76: - b70 + b79 <= 0 e77: - b70 + b80 <= 0 e78: - b70 + b81 <= 0 e79: - b70 + b82 <= 0 e80: - b70 + b83 <= 0 e81: - b70 + b84 <= 0 e82: - b70 + b85 <= 0 e83: - b70 + b86 <= 0 e84: - b70 + b87 <= 0 e85: - b70 + b88 <= 0 e86: - b70 + b89 <= 0 e87: - b70 + b90 <= 0 e88: - b91 + b92 <= 0 e89: - b91 + b93 <= 0 e90: - b91 + b94 <= 0 e91: - b91 + b95 <= 0 e92: - b91 + b96 <= 0 e93: - b91 + b97 <= 0 e94: - b91 + b98 <= 0 e95: - b91 + b99 <= 0 e96: - b91 + b100 <= 0 e97: - b91 + b101 <= 0 e98: - b91 + b102 <= 0 e99: - b91 + b103 <= 0 e100: - b91 + b110 <= 0 e101: - b91 + b104 <= 0 e102: - b91 + b105 <= 0 e103: - b91 + b106 <= 0 e104: - b91 + b107 <= 0 e105: - b91 + b108 <= 0 e106: - b91 + b109 <= 0 e107: - b111 + b112 <= 0 e108: - b111 + b113 <= 0 e109: - b111 + b114 <= 0 e110: - b111 + b115 <= 0 e111: - b111 + b116 <= 0 e112: - b111 + b117 <= 0 e113: - b111 + b118 <= 0 e114: - b111 + b119 <= 0 e115: - b111 + b120 <= 0 e116: - b111 + b121 <= 0 e117: - b111 + b122 <= 0 e118: - b111 + b123 <= 0 e119: - b111 + b124 <= 0 e120: - b111 + b125 <= 0 e121: - b111 + b126 <= 0 e122: - b111 + b127 <= 0 e123: - b111 + b128 <= 0 e124: - b111 + b129 <= 0 e125: - b130 + b131 <= 0 e126: - b130 + b132 <= 0 e127: - b130 + b133 <= 0 e128: - b130 + b134 <= 0 e129: - b130 + b135 <= 0 e130: - b130 + b136 <= 0 e131: - b130 + b137 <= 0 e132: - b130 + b138 <= 0 e133: - b130 + b139 <= 0 e134: - b130 + b140 <= 0 e135: - b130 + b141 <= 0 e136: - b130 + b142 <= 0 e137: - b130 + b143 <= 0 e138: - b130 + b144 <= 0 e139: - b130 + b145 <= 0 e140: - b130 + b146 <= 0 e141: - b130 + b147 <= 0 e142: - b148 + b149 <= 0 e143: - b148 + b150 <= 0 e144: - b148 + b151 <= 0 e145: - b148 + b152 <= 0 e146: - b148 + b153 <= 0 e147: - b148 + b154 <= 0 e148: - b148 + b164 <= 0 e149: - b148 + b155 <= 0 e150: - b148 + b156 <= 0 e151: - b148 + b157 <= 0 e152: - b148 + b158 <= 0 e153: - b148 + b159 <= 0 e154: - b148 + b160 <= 0 e155: - b148 + b161 <= 0 e156: - b148 + b162 <= 0 e157: - b148 + b163 <= 0 e158: - b165 + b166 <= 0 e159: - b165 + b167 <= 0 e160: - b165 + b168 <= 0 e161: - b165 + b169 <= 0 e162: - b165 + b170 <= 0 e163: - b165 + b171 <= 0 e164: - b165 + b172 <= 0 e165: - b165 + b173 <= 0 e166: - b165 + b174 <= 0 e167: - b165 + b175 <= 0 e168: - b165 + b176 <= 0 e169: - b165 + b177 <= 0 e170: - b165 + b178 <= 0 e171: - b165 + b179 <= 0 e172: - b165 + b180 <= 0 e173: - b181 + b182 <= 0 e174: - b181 + b183 <= 0 e175: - b181 + b184 <= 0 e176: - b181 + b185 <= 0 e177: - b181 + b186 <= 0 e178: - b181 + b187 <= 0 e179: - b181 + b188 <= 0 e180: - b181 + b189 <= 0 e181: - b181 + b190 <= 0 e182: - b181 + b191 <= 0 e183: - b181 + b192 <= 0 e184: - b181 + b193 <= 0 e185: - b181 + b194 <= 0 e186: - b181 + b195 <= 0 e187: - b196 + b197 <= 0 e188: - b196 + b198 <= 0 e189: - b196 + b199 <= 0 e190: - b196 + b200 <= 0 e191: - b196 + b201 <= 0 e192: - b196 + b202 <= 0 e193: - b196 + b203 <= 0 e194: - b196 + b204 <= 0 e195: - b196 + b205 <= 0 e196: - b196 + b206 <= 0 e197: - b196 + b207 <= 0 e198: - b196 + b208 <= 0 e199: - b196 + b209 <= 0 e200: - b210 + b211 <= 0 e201: - b210 + b212 <= 0 e202: - b210 + b213 <= 0 e203: - b210 + b214 <= 0 e204: - b210 + b215 <= 0 e205: - b210 + b216 <= 0 e206: - b210 + b217 <= 0 e207: - b210 + b218 <= 0 e208: - b210 + b219 <= 0 e209: - b210 + b220 <= 0 e210: - b210 + b221 <= 0 e211: - b210 + b222 <= 0 e212: - b223 + b224 <= 0 e213: - b223 + b225 <= 0 e214: - b223 + b226 <= 0 e215: - b223 + b227 <= 0 e216: - b223 + b228 <= 0 e217: - b223 + b229 <= 0 e218: - b223 + b230 <= 0 e219: - b223 + b231 <= 0 e220: - b223 + b232 <= 0 e221: - b223 + b234 <= 0 e222: - b223 + b233 <= 0 e223: - b235 + b236 <= 0 e224: - b235 + b237 <= 0 e225: - b235 + b238 <= 0 e226: - b235 + b239 <= 0 e227: - b235 + b240 <= 0 e228: - b235 + b241 <= 0 e229: - b235 + b242 <= 0 e230: - b235 + b243 <= 0 e231: - b235 + b244 <= 0 e232: - b235 + b245 <= 0 e233: - b246 + b247 <= 0 e234: - b246 + b248 <= 0 e235: - b246 + b249 <= 0 e236: - b246 + b250 <= 0 e237: - b246 + b251 <= 0 e238: - b246 + b252 <= 0 e239: - b246 + b253 <= 0 e240: - b246 + b254 <= 0 e241: - b246 + b255 <= 0 e242: - b256 + b257 <= 0 e243: - b256 + b258 <= 0 e244: - b256 + b259 <= 0 e245: - b256 + b260 <= 0 e246: - b256 + b261 <= 0 e247: - b256 + b262 <= 0 e248: - b256 + b263 <= 0 e249: - b256 + b264 <= 0 e250: - b265 + b266 <= 0 e251: - b265 + b267 <= 0 e252: - b265 + b268 <= 0 e253: - b265 + b269 <= 0 e254: - b265 + b270 <= 0 e255: - b265 + b271 <= 0 e256: - b265 + b272 <= 0 e257: - b273 + b274 <= 0 e258: - b273 + b275 <= 0 e259: - b273 + b276 <= 0 e260: - b273 + b277 <= 0 e261: - b273 + b278 <= 0 e262: - b273 + b279 <= 0 e263: - b280 + b281 <= 0 e264: - b280 + b282 <= 0 e265: - b280 + b283 <= 0 e266: - b280 + b284 <= 0 e267: - b280 + b285 <= 0 e268: - b286 + b287 <= 0 e269: - b286 + b288 <= 0 e270: - b286 + b289 <= 0 e271: - b286 + b290 <= 0 e272: - b291 + b292 <= 0 e273: - b291 + b293 <= 0 e274: - b291 + b294 <= 0 e275: - b295 + b296 <= 0 e276: - b295 + b297 <= 0 e277: - b298 + b299 <= 0 e278: 7872 b2 + 8392 b3 + 9.72e3 b4 + 10984 b5 + 9912 b6 + 9672 b7 + 8792 b8 + 8936 b9 + 9128 b10 + 9368 b11 + 8856 b12 + 9056 b13 + 9304 b14 + 9.36e3 b15 + 9528 b16 + 9528 b17 + 9.52e3 b18 + 8536 b19 + 9.72e3 b20 + 10664 b21 + 9904 b22 + 7352 b23 + 7896 b24 + [ - 136 b2 * b3 - 344 b2 * b4 - 496 b2 * b5 - 192 b2 * b6 - 3.6e2 b2 * b7 - 168 b2 * b8 - 4.8e2 b2 * b9 - 96 b2 * b10 - 528 b2 * b11 - 424 b2 * b12 - 40 b2 * b13 - 648 b2 * b14 - 488 b2 * b15 - 80 b2 * b16 - 704 b2 * b17 - 616 b2 * b18 - 272 b2 * b19 - 16 b2 * b20 - 656 b2 * b21 - 424 b2 * b22 - 208 b2 * b23 - 496 b2 * b24 - 144 b3 * b4 - 568 b3 * b5 - 112 b3 * b6 - 776 b3 * b7 - 656 b3 * b8 - 432 b3 * b9 - 72 b3 * b10 - 736 b3 * b11 - 4.4e2 b3 * b12 - 624 b3 * b13 - 696 b3 * b14 - 552 b3 * b15 - 16 b3 * b16 - 256 b3 * b17 - 336 b3 * b18 - 112 b3 * b19 - 3.6e2 b3 * b20 - 4.8e2 b3 * b21 - 536 b3 * b22 - 16 b3 * b23 - 336 b3 * b24 - 648 b4 * b5 - 512 b4 * b6 - 656 b4 * b7 - 464 b4 * b8 - 784 b4 * b9 - 288 b4 * b10 - 736 b4 * b11 - 24 b4 * b12 - 496 b4 * b13 - 432 b4 * b14 - 168 b4 * b15 - 6.8e2 b4 * b16 - 552 b4 * b17 - 5.6e2 b4 * b18 - 1.6e2 b4 * b19 - 600 b4 * b20 - 6.4e2 b4 * b21 - 96 b4 * b22 - 656 b4 * b23 - 80 b4 * b24 - 792 b5 * b6 - 32 b5 * b7 - 104 b5 * b8 - 672 b5 * b9 - 784 b5 * b10 - 216 b5 * b11 - 648 b5 * b12 - 472 b5 * b13 - 376 b5 * b14 - 664 b5 * b15 - 424 b5 * b16 - 6.4e2 b5 * b17 - 2.8e2 b5 * b19 - 7.2e2 b5 * b20 - 784 b5 * b21 - 568 b5 * b22 - 664 b5 * b23 - 432 b5 * b24 - 688 b6 * b7 - 712 b6 * b8 - 216 b6 * b9 - 568 b6 * b10 - 80 b6 * b11 - 784 b6 * b12 - 728 b6 * b13 - 688 b6 * b14 - 2.4e2 b6 * b15 - 4.4e2 b6 * b16 - 1.6e2 b6 * b17 - 3.2e2 b6 * b18 - 56 b6 * b19 - 608 b6 * b20 - 424 b6 * b21 - 728 b6 * b22 - 600 b6 * b23 - 264 b6 * b24 - 576 b7 * b8 - 272 b7 * b9 - 256 b7 * b10 - 56 b7 * b11 - 696 b7 * b12 - 512 b7 * b13 - 56 b7 * b14 - 592 b7 * b15 - 432 b7 * b16 - 464 b7 * b17 - 776 b7 * b18 - 712 b7 * b19 - 96 b7 * b20 - 664 b7 * b21 - 632 b7 * b22 - 312 b7 * b23 - 56 b7 * b24 - 712 b8 * b9 - 712 b8 * b10 - 784 b8 * b11 - 216 b8 * b12 - 152 b8 * b13 - 48 b8 * b14 - 4.8e2 b8 * b16 - 104 b8 * b17 - 608 b8 * b18 - 5.2e2 b8 * b19 - 448 b8 * b20 - 408 b8 * b21 - 400 b8 * b22 - 224 b8 * b23 - 296 b8 * b24 - 272 b9 * b10 - 696 b9 * b11 - 192 b9 * b12 - 784 b9 * b13 - 376 b9 * b14 - 400 b9 * b15 - 40 b9 * b16 - 456 b9 * b17 - 384 b9 * b18 - 752 b9 * b19 - 168 b9 * b20 - 248 b9 * b21 - 200 b9 * b22 - 96 b9 * b23 - 304 b9 * b24 - 1.2e2 b10 * b11 - 16 b10 * b12 - 712 b10 * b13 - 752 b10 * b14 - 168 b10 * b15 - 7.6e2 b10 * b16 - 752 b10 * b17 - 264 b10 * b18 - 64 b10 * b19 - 568 b10 * b20 - 792 b10 * b21 - 512 b10 * b22 - 592 b10 * b23 - 8 b10 * b24 - 352 b11 * b12 - 96 b11 * b13 - 288 b11 * b14 - 664 b11 * b15 - 704 b11 * b16 - 272 b11 * b17 - 2.4e2 b11 * b18 - 312 b11 * b19 - 312 b11 * b20 - 312 b11 * b21 - 696 b11 * b22 - 688 b11 * b23 - 4.8e2 b11 * b24 - 5.6e2 b12 * b13 - 88 b12 * b14 - 584 b12 * b15 - 72 b12 * b16 - 624 b12 * b17 - 600 b12 * b18 - 400 b12 * b19 - 584 b12 * b20 - 384 b12 * b21 - 3.6e2 b12 * b22 - 152 b12 * b23 - 656 b12 * b24 - 40 b13 * b14 - 7.2e2 b13 * b15 - 264 b13 * b16 - 168 b13 * b17 - 136 b13 * b18 - 272 b13 * b19 - 5.2e2 b13 * b20 - 648 b13 * b21 - 5.6e2 b13 * b22 - 552 b13 * b24 - 456 b14 * b15 - 664 b14 * b16 - 4.8e2 b14 * b17 - 768 b14 * b18 - 176 b14 * b19 - 792 b14 * b20 - 272 b14 * b21 - 664 b14 * b22 - 176 b14 * b23 - 368 b14 * b24 - 448 b15 * b16 - 664 b15 * b17 - 192 b15 * b18 - 664 b15 * b19 - 264 b15 * b20 - 392 b15 * b21 - 248 b15 * b22 - 2.4e2 b15 * b23 - 552 b15 * b24 - 5.2e2 b16 * b17 - 2.8e2 b16 * b18 - 88 b16 * b19 - 784 b16 * b20 - 448 b16 * b21 - 6.4e2 b16 * b22 - 6.8e2 b16 * b23 - 584 b16 * b24 - 488 b17 * b18 - 4.4e2 b17 * b19 - 200 b17 * b20 - 664 b17 * b21 - 96 b17 * b22 - 64 b17 * b23 - 7.6e2 b17 * b24 - 488 b18 * b19 - 248 b18 * b20 - 376 b18 * b21 - 7.6e2 b18 * b22 - 528 b18 * b23 - 552 b18 * b24 - 744 b19 * b20 - 592 b19 * b21 - 416 b19 * b22 - 5.6e2 b19 * b23 - 456 b19 * b24 - 6.8e2 b20 * b21 - 568 b20 * b22 - 3.2e2 b20 * b23 - 1.2e2 b20 * b24 - 3.2e2 b21 * b22 - 464 b21 * b23 - 16 b21 * b24 - 32 b22 * b23 - 448 b22 * b24 - 80 b23 * b24 ] <= 41592 e279: - 41272 b25 + 9136 b26 + 10464 b27 + 11488 b28 + 9976 b29 + 10088 b30 + 9224 b31 + 9448 b32 + 9.32e3 b33 + 9.48e3 b34 + 8888 b35 + 9208 b36 + 9872 b37 + 9584 b38 + 9632 b39 + 9888 b40 + 9936 b41 + 9168 b42 + 9808 b43 + 10984 b44 + 1e4 b45 + 7808 b46 + 8.28e3 b47 + [ - 136 b25 * b26 - 344 b25 * b27 - 496 b25 * b28 - 192 b25 * b29 - 3.6e2 b25 * b30 - 168 b25 * b31 - 4.8e2 b25 * b32 - 96 b25 * b33 - 528 b25 * b34 - 424 b25 * b35 - 40 b25 * b36 - 648 b25 * b37 - 488 b25 * b38 - 80 b25 * b39 - 704 b25 * b40 - 616 b25 * b41 - 272 b25 * b42 - 16 b25 * b43 - 656 b25 * b44 - 424 b25 * b45 - 208 b25 * b46 - 496 b25 * b47 - 144 b26 * b27 - 568 b26 * b28 - 112 b26 * b29 - 776 b26 * b30 - 656 b26 * b31 - 432 b26 * b32 - 72 b26 * b33 - 736 b26 * b34 - 4.4e2 b26 * b35 - 624 b26 * b36 - 696 b26 * b37 - 552 b26 * b38 - 16 b26 * b39 - 256 b26 * b40 - 336 b26 * b41 - 112 b26 * b42 - 3.6e2 b26 * b43 - 4.8e2 b26 * b44 - 536 b26 * b45 - 16 b26 * b46 - 336 b26 * b47 - 648 b27 * b28 - 512 b27 * b29 - 656 b27 * b30 - 464 b27 * b31 - 784 b27 * b32 - 288 b27 * b33 - 736 b27 * b34 - 24 b27 * b35 - 496 b27 * b36 - 432 b27 * b37 - 168 b27 * b38 - 6.8e2 b27 * b39 - 552 b27 * b40 - 5.6e2 b27 * b41 - 1.6e2 b27 * b42 - 600 b27 * b43 - 6.4e2 b27 * b44 - 96 b27 * b45 - 656 b27 * b46 - 80 b27 * b47 - 792 b28 * b29 - 32 b28 * b30 - 104 b28 * b31 - 672 b28 * b32 - 784 b28 * b33 - 216 b28 * b34 - 648 b28 * b35 - 472 b28 * b36 - 376 b28 * b37 - 664 b28 * b38 - 424 b28 * b39 - 6.4e2 b28 * b40 - 2.8e2 b28 * b42 - 7.2e2 b28 * b43 - 784 b28 * b44 - 568 b28 * b45 - 664 b28 * b46 - 432 b28 * b47 - 688 b29 * b30 - 712 b29 * b31 - 216 b29 * b32 - 568 b29 * b33 - 80 b29 * b34 - 784 b29 * b35 - 728 b29 * b36 - 688 b29 * b37 - 2.4e2 b29 * b38 - 4.4e2 b29 * b39 - 1.6e2 b29 * b40 - 3.2e2 b29 * b41 - 56 b29 * b42 - 608 b29 * b43 - 424 b29 * b44 - 728 b29 * b45 - 600 b29 * b46 - 264 b29 * b47 - 576 b30 * b31 - 272 b30 * b32 - 256 b30 * b33 - 56 b30 * b34 - 696 b30 * b35 - 512 b30 * b36 - 56 b30 * b37 - 592 b30 * b38 - 432 b30 * b39 - 464 b30 * b40 - 776 b30 * b41 - 712 b30 * b42 - 96 b30 * b43 - 664 b30 * b44 - 632 b30 * b45 - 312 b30 * b46 - 56 b30 * b47 - 712 b31 * b32 - 712 b31 * b33 - 784 b31 * b34 - 216 b31 * b35 - 152 b31 * b36 - 48 b31 * b37 - 4.8e2 b31 * b39 - 104 b31 * b40 - 608 b31 * b41 - 5.2e2 b31 * b42 - 448 b31 * b43 - 408 b31 * b44 - 400 b31 * b45 - 224 b31 * b46 - 296 b31 * b47 - 272 b32 * b33 - 696 b32 * b34 - 192 b32 * b35 - 784 b32 * b36 - 376 b32 * b37 - 400 b32 * b38 - 40 b32 * b39 - 456 b32 * b40 - 384 b32 * b41 - 752 b32 * b42 - 168 b32 * b43 - 248 b32 * b44 - 200 b32 * b45 - 96 b32 * b46 - 304 b32 * b47 - 1.2e2 b33 * b34 - 16 b33 * b35 - 712 b33 * b36 - 752 b33 * b37 - 168 b33 * b38 - 7.6e2 b33 * b39 - 752 b33 * b40 - 264 b33 * b41 - 64 b33 * b42 - 568 b33 * b43 - 792 b33 * b44 - 512 b33 * b45 - 592 b33 * b46 - 8 b33 * b47 - 352 b34 * b35 - 96 b34 * b36 - 288 b34 * b37 - 664 b34 * b38 - 704 b34 * b39 - 272 b34 * b40 - 2.4e2 b34 * b41 - 312 b34 * b42 - 312 b34 * b43 - 312 b34 * b44 - 696 b34 * b45 - 688 b34 * b46 - 4.8e2 b34 * b47 - 5.6e2 b35 * b36 - 88 b35 * b37 - 584 b35 * b38 - 72 b35 * b39 - 624 b35 * b40 - 600 b35 * b41 - 400 b35 * b42 - 584 b35 * b43 - 384 b35 * b44 - 3.6e2 b35 * b45 - 152 b35 * b46 - 656 b35 * b47 - 40 b36 * b37 - 7.2e2 b36 * b38 - 264 b36 * b39 - 168 b36 * b40 - 136 b36 * b41 - 272 b36 * b42 - 5.2e2 b36 * b43 - 648 b36 * b44 - 5.6e2 b36 * b45 - 552 b36 * b47 - 456 b37 * b38 - 664 b37 * b39 - 4.8e2 b37 * b40 - 768 b37 * b41 - 176 b37 * b42 - 792 b37 * b43 - 272 b37 * b44 - 664 b37 * b45 - 176 b37 * b46 - 368 b37 * b47 - 448 b38 * b39 - 664 b38 * b40 - 192 b38 * b41 - 664 b38 * b42 - 264 b38 * b43 - 392 b38 * b44 - 248 b38 * b45 - 2.4e2 b38 * b46 - 552 b38 * b47 - 5.2e2 b39 * b40 - 2.8e2 b39 * b41 - 88 b39 * b42 - 784 b39 * b43 - 448 b39 * b44 - 6.4e2 b39 * b45 - 6.8e2 b39 * b46 - 584 b39 * b47 - 488 b40 * b41 - 4.4e2 b40 * b42 - 200 b40 * b43 - 664 b40 * b44 - 96 b40 * b45 - 64 b40 * b46 - 7.6e2 b40 * b47 - 488 b41 * b42 - 248 b41 * b43 - 376 b41 * b44 - 7.6e2 b41 * b45 - 528 b41 * b46 - 552 b41 * b47 - 744 b42 * b43 - 592 b42 * b44 - 416 b42 * b45 - 5.6e2 b42 * b46 - 456 b42 * b47 - 6.8e2 b43 * b44 - 568 b43 * b45 - 3.2e2 b43 * b46 - 1.2e2 b43 * b47 - 3.2e2 b44 * b45 - 464 b44 * b46 - 16 b44 * b47 - 32 b45 * b46 - 448 b45 * b47 - 80 b46 * b47 ] <= 0 e280: - 40368 b48 + 10464 b49 + 11488 b50 + 9976 b51 + 10088 b52 + 9224 b53 + 9448 b54 + 9.32e3 b55 + 9.48e3 b56 + 8888 b57 + 9208 b58 + 9872 b59 + 9584 b60 + 9632 b61 + 9888 b62 + 9936 b63 + 9168 b64 + 9808 b65 + 10984 b66 + 1e4 b67 + 7808 b68 + 8.28e3 b69 + [ - 144 b48 * b49 - 568 b48 * b50 - 112 b48 * b51 - 776 b48 * b52 - 656 b48 * b53 - 432 b48 * b54 - 72 b48 * b55 - 736 b48 * b56 - 4.4e2 b48 * b57 - 624 b48 * b58 - 696 b48 * b59 - 552 b48 * b60 - 16 b48 * b61 - 256 b48 * b62 - 336 b48 * b63 - 112 b48 * b64 - 3.6e2 b48 * b65 - 4.8e2 b48 * b66 - 536 b48 * b67 - 16 b48 * b68 - 336 b48 * b69 - 648 b49 * b50 - 512 b49 * b51 - 656 b49 * b52 - 464 b49 * b53 - 784 b49 * b54 - 288 b49 * b55 - 736 b49 * b56 - 24 b49 * b57 - 496 b49 * b58 - 432 b49 * b59 - 168 b49 * b60 - 6.8e2 b49 * b61 - 552 b49 * b62 - 5.6e2 b49 * b63 - 1.6e2 b49 * b64 - 600 b49 * b65 - 6.4e2 b49 * b66 - 96 b49 * b67 - 656 b49 * b68 - 80 b49 * b69 - 792 b50 * b51 - 32 b50 * b52 - 104 b50 * b53 - 672 b50 * b54 - 784 b50 * b55 - 216 b50 * b56 - 648 b50 * b57 - 472 b50 * b58 - 376 b50 * b59 - 664 b50 * b60 - 424 b50 * b61 - 6.4e2 b50 * b62 - 2.8e2 b50 * b64 - 7.2e2 b50 * b65 - 784 b50 * b66 - 568 b50 * b67 - 664 b50 * b68 - 432 b50 * b69 - 688 b51 * b52 - 712 b51 * b53 - 216 b51 * b54 - 568 b51 * b55 - 80 b51 * b56 - 784 b51 * b57 - 728 b51 * b58 - 688 b51 * b59 - 2.4e2 b51 * b60 - 4.4e2 b51 * b61 - 1.6e2 b51 * b62 - 3.2e2 b51 * b63 - 56 b51 * b64 - 608 b51 * b65 - 424 b51 * b66 - 728 b51 * b67 - 600 b51 * b68 - 264 b51 * b69 - 576 b52 * b53 - 272 b52 * b54 - 256 b52 * b55 - 56 b52 * b56 - 696 b52 * b57 - 512 b52 * b58 - 56 b52 * b59 - 592 b52 * b60 - 432 b52 * b61 - 464 b52 * b62 - 776 b52 * b63 - 712 b52 * b64 - 96 b52 * b65 - 664 b52 * b66 - 632 b52 * b67 - 312 b52 * b68 - 56 b52 * b69 - 712 b53 * b54 - 712 b53 * b55 - 784 b53 * b56 - 216 b53 * b57 - 152 b53 * b58 - 48 b53 * b59 - 4.8e2 b53 * b61 - 104 b53 * b62 - 608 b53 * b63 - 5.2e2 b53 * b64 - 448 b53 * b65 - 408 b53 * b66 - 400 b53 * b67 - 224 b53 * b68 - 296 b53 * b69 - 272 b54 * b55 - 696 b54 * b56 - 192 b54 * b57 - 784 b54 * b58 - 376 b54 * b59 - 400 b54 * b60 - 40 b54 * b61 - 456 b54 * b62 - 384 b54 * b63 - 752 b54 * b64 - 168 b54 * b65 - 248 b54 * b66 - 200 b54 * b67 - 96 b54 * b68 - 304 b54 * b69 - 1.2e2 b55 * b56 - 16 b55 * b57 - 712 b55 * b58 - 752 b55 * b59 - 168 b55 * b60 - 7.6e2 b55 * b61 - 752 b55 * b62 - 264 b55 * b63 - 64 b55 * b64 - 568 b55 * b65 - 792 b55 * b66 - 512 b55 * b67 - 592 b55 * b68 - 8 b55 * b69 - 352 b56 * b57 - 96 b56 * b58 - 288 b56 * b59 - 664 b56 * b60 - 704 b56 * b61 - 272 b56 * b62 - 2.4e2 b56 * b63 - 312 b56 * b64 - 312 b56 * b65 - 312 b56 * b66 - 696 b56 * b67 - 688 b56 * b68 - 4.8e2 b56 * b69 - 5.6e2 b57 * b58 - 88 b57 * b59 - 584 b57 * b60 - 72 b57 * b61 - 624 b57 * b62 - 600 b57 * b63 - 400 b57 * b64 - 584 b57 * b65 - 384 b57 * b66 - 3.6e2 b57 * b67 - 152 b57 * b68 - 656 b57 * b69 - 40 b58 * b59 - 7.2e2 b58 * b60 - 264 b58 * b61 - 168 b58 * b62 - 136 b58 * b63 - 272 b58 * b64 - 5.2e2 b58 * b65 - 648 b58 * b66 - 5.6e2 b58 * b67 - 552 b58 * b69 - 456 b59 * b60 - 664 b59 * b61 - 4.8e2 b59 * b62 - 768 b59 * b63 - 176 b59 * b64 - 792 b59 * b65 - 272 b59 * b66 - 664 b59 * b67 - 176 b59 * b68 - 368 b59 * b69 - 448 b60 * b61 - 664 b60 * b62 - 192 b60 * b63 - 664 b60 * b64 - 264 b60 * b65 - 392 b60 * b66 - 248 b60 * b67 - 2.4e2 b60 * b68 - 552 b60 * b69 - 5.2e2 b61 * b62 - 2.8e2 b61 * b63 - 88 b61 * b64 - 784 b61 * b65 - 448 b61 * b66 - 6.4e2 b61 * b67 - 6.8e2 b61 * b68 - 584 b61 * b69 - 488 b62 * b63 - 4.4e2 b62 * b64 - 200 b62 * b65 - 664 b62 * b66 - 96 b62 * b67 - 64 b62 * b68 - 7.6e2 b62 * b69 - 488 b63 * b64 - 248 b63 * b65 - 376 b63 * b66 - 7.6e2 b63 * b67 - 528 b63 * b68 - 552 b63 * b69 - 744 b64 * b65 - 592 b64 * b66 - 416 b64 * b67 - 5.6e2 b64 * b68 - 456 b64 * b69 - 6.8e2 b65 * b66 - 568 b65 * b67 - 3.2e2 b65 * b68 - 1.2e2 b65 * b69 - 3.2e2 b66 * b67 - 464 b66 * b68 - 16 b66 * b69 - 32 b67 * b68 - 448 b67 * b69 - 80 b68 * b69 ] <= 0 e281: - 3.904e4 b70 + 11488 b71 + 9976 b72 + 10088 b73 + 9224 b74 + 9448 b75 + 9.32e3 b76 + 9.48e3 b77 + 8888 b78 + 9208 b79 + 9872 b80 + 9584 b81 + 9632 b82 + 9888 b83 + 9936 b84 + 9168 b85 + 9808 b86 + 10984 b87 + 1e4 b88 + 7808 b89 + 8.28e3 b90 + [ - 648 b70 * b71 - 512 b70 * b72 - 656 b70 * b73 - 464 b70 * b74 - 784 b70 * b75 - 288 b70 * b76 - 736 b70 * b77 - 24 b70 * b78 - 496 b70 * b79 - 432 b70 * b80 - 168 b70 * b81 - 6.8e2 b70 * b82 - 552 b70 * b83 - 5.6e2 b70 * b84 - 1.6e2 b70 * b85 - 600 b70 * b86 - 6.4e2 b70 * b87 - 96 b70 * b88 - 656 b70 * b89 - 80 b70 * b90 - 792 b71 * b72 - 32 b71 * b73 - 104 b71 * b74 - 672 b71 * b75 - 784 b71 * b76 - 216 b71 * b77 - 648 b71 * b78 - 472 b71 * b79 - 376 b71 * b80 - 664 b71 * b81 - 424 b71 * b82 - 6.4e2 b71 * b83 - 2.8e2 b71 * b85 - 7.2e2 b71 * b86 - 784 b71 * b87 - 568 b71 * b88 - 664 b71 * b89 - 432 b71 * b90 - 688 b72 * b73 - 712 b72 * b74 - 216 b72 * b75 - 568 b72 * b76 - 80 b72 * b77 - 784 b72 * b78 - 728 b72 * b79 - 688 b72 * b80 - 2.4e2 b72 * b81 - 4.4e2 b72 * b82 - 1.6e2 b72 * b83 - 3.2e2 b72 * b84 - 56 b72 * b85 - 608 b72 * b86 - 424 b72 * b87 - 728 b72 * b88 - 600 b72 * b89 - 264 b72 * b90 - 576 b73 * b74 - 272 b73 * b75 - 256 b73 * b76 - 56 b73 * b77 - 696 b73 * b78 - 512 b73 * b79 - 56 b73 * b80 - 592 b73 * b81 - 432 b73 * b82 - 464 b73 * b83 - 776 b73 * b84 - 712 b73 * b85 - 96 b73 * b86 - 664 b73 * b87 - 632 b73 * b88 - 312 b73 * b89 - 56 b73 * b90 - 712 b74 * b75 - 712 b74 * b76 - 784 b74 * b77 - 216 b74 * b78 - 152 b74 * b79 - 48 b74 * b80 - 4.8e2 b74 * b82 - 104 b74 * b83 - 608 b74 * b84 - 5.2e2 b74 * b85 - 448 b74 * b86 - 408 b74 * b87 - 400 b74 * b88 - 224 b74 * b89 - 296 b74 * b90 - 272 b75 * b76 - 696 b75 * b77 - 192 b75 * b78 - 784 b75 * b79 - 376 b75 * b80 - 400 b75 * b81 - 40 b75 * b82 - 456 b75 * b83 - 384 b75 * b84 - 752 b75 * b85 - 168 b75 * b86 - 248 b75 * b87 - 200 b75 * b88 - 96 b75 * b89 - 304 b75 * b90 - 1.2e2 b76 * b77 - 16 b76 * b78 - 712 b76 * b79 - 752 b76 * b80 - 168 b76 * b81 - 7.6e2 b76 * b82 - 752 b76 * b83 - 264 b76 * b84 - 64 b76 * b85 - 568 b76 * b86 - 792 b76 * b87 - 512 b76 * b88 - 592 b76 * b89 - 8 b76 * b90 - 352 b77 * b78 - 96 b77 * b79 - 288 b77 * b80 - 664 b77 * b81 - 704 b77 * b82 - 272 b77 * b83 - 2.4e2 b77 * b84 - 312 b77 * b85 - 312 b77 * b86 - 312 b77 * b87 - 696 b77 * b88 - 688 b77 * b89 - 4.8e2 b77 * b90 - 5.6e2 b78 * b79 - 88 b78 * b80 - 584 b78 * b81 - 72 b78 * b82 - 624 b78 * b83 - 600 b78 * b84 - 400 b78 * b85 - 584 b78 * b86 - 384 b78 * b87 - 3.6e2 b78 * b88 - 152 b78 * b89 - 656 b78 * b90 - 40 b79 * b80 - 7.2e2 b79 * b81 - 264 b79 * b82 - 168 b79 * b83 - 136 b79 * b84 - 272 b79 * b85 - 5.2e2 b79 * b86 - 648 b79 * b87 - 5.6e2 b79 * b88 - 552 b79 * b90 - 456 b80 * b81 - 664 b80 * b82 - 4.8e2 b80 * b83 - 768 b80 * b84 - 176 b80 * b85 - 792 b80 * b86 - 272 b80 * b87 - 664 b80 * b88 - 176 b80 * b89 - 368 b80 * b90 - 448 b81 * b82 - 664 b81 * b83 - 192 b81 * b84 - 664 b81 * b85 - 264 b81 * b86 - 392 b81 * b87 - 248 b81 * b88 - 2.4e2 b81 * b89 - 552 b81 * b90 - 5.2e2 b82 * b83 - 2.8e2 b82 * b84 - 88 b82 * b85 - 784 b82 * b86 - 448 b82 * b87 - 6.4e2 b82 * b88 - 6.8e2 b82 * b89 - 584 b82 * b90 - 488 b83 * b84 - 4.4e2 b83 * b85 - 200 b83 * b86 - 664 b83 * b87 - 96 b83 * b88 - 64 b83 * b89 - 7.6e2 b83 * b90 - 488 b84 * b85 - 248 b84 * b86 - 376 b84 * b87 - 7.6e2 b84 * b88 - 528 b84 * b89 - 552 b84 * b90 - 744 b85 * b86 - 592 b85 * b87 - 416 b85 * b88 - 5.6e2 b85 * b89 - 456 b85 * b90 - 6.8e2 b86 * b87 - 568 b86 * b88 - 3.2e2 b86 * b89 - 1.2e2 b86 * b90 - 3.2e2 b87 * b88 - 464 b87 * b89 - 16 b87 * b90 - 32 b88 * b89 - 448 b88 * b90 - 80 b89 * b90 ] <= 0 e282: - 38016 b91 + 9976 b92 + 10088 b93 + 9224 b94 + 9448 b95 + 9.32e3 b96 + 9.48e3 b97 + 8888 b98 + 9208 b99 + 9872 b100 + 9584 b101 + 9632 b102 + 9888 b103 + 9168 b104 + 9808 b105 + 10984 b106 + 1e4 b107 + 7808 b108 + 8.28e3 b109 + 9936 b110 + [ - 792 b91 * b92 - 32 b91 * b93 - 104 b91 * b94 - 672 b91 * b95 - 784 b91 * b96 - 216 b91 * b97 - 648 b91 * b98 - 472 b91 * b99 - 376 b91 * b100 - 664 b91 * b101 - 424 b91 * b102 - 6.4e2 b91 * b103 - 2.8e2 b91 * b104 - 7.2e2 b91 * b105 - 784 b91 * b106 - 568 b91 * b107 - 664 b91 * b108 - 432 b91 * b109 - 688 b92 * b93 - 712 b92 * b94 - 216 b92 * b95 - 568 b92 * b96 - 80 b92 * b97 - 784 b92 * b98 - 728 b92 * b99 - 688 b92 * b100 - 2.4e2 b92 * b101 - 4.4e2 b92 * b102 - 1.6e2 b92 * b103 - 56 b92 * b104 - 608 b92 * b105 - 424 b92 * b106 - 728 b92 * b107 - 600 b92 * b108 - 264 b92 * b109 - 3.2e2 b92 * b110 - 576 b93 * b94 - 272 b93 * b95 - 256 b93 * b96 - 56 b93 * b97 - 696 b93 * b98 - 512 b93 * b99 - 56 b93 * b100 - 592 b93 * b101 - 432 b93 * b102 - 464 b93 * b103 - 712 b93 * b104 - 96 b93 * b105 - 664 b93 * b106 - 632 b93 * b107 - 312 b93 * b108 - 56 b93 * b109 - 776 b93 * b110 - 712 b94 * b95 - 712 b94 * b96 - 784 b94 * b97 - 216 b94 * b98 - 152 b94 * b99 - 48 b94 * b100 - 4.8e2 b94 * b102 - 104 b94 * b103 - 5.2e2 b94 * b104 - 448 b94 * b105 - 408 b94 * b106 - 400 b94 * b107 - 224 b94 * b108 - 296 b94 * b109 - 608 b94 * b110 - 272 b95 * b96 - 696 b95 * b97 - 192 b95 * b98 - 784 b95 * b99 - 376 b95 * b100 - 400 b95 * b101 - 40 b95 * b102 - 456 b95 * b103 - 752 b95 * b104 - 168 b95 * b105 - 248 b95 * b106 - 200 b95 * b107 - 96 b95 * b108 - 304 b95 * b109 - 384 b95 * b110 - 1.2e2 b96 * b97 - 16 b96 * b98 - 712 b96 * b99 - 752 b96 * b100 - 168 b96 * b101 - 7.6e2 b96 * b102 - 752 b96 * b103 - 64 b96 * b104 - 568 b96 * b105 - 792 b96 * b106 - 512 b96 * b107 - 592 b96 * b108 - 8 b96 * b109 - 264 b96 * b110 - 352 b97 * b98 - 96 b97 * b99 - 288 b97 * b100 - 664 b97 * b101 - 704 b97 * b102 - 272 b97 * b103 - 312 b97 * b104 - 312 b97 * b105 - 312 b97 * b106 - 696 b97 * b107 - 688 b97 * b108 - 4.8e2 b97 * b109 - 2.4e2 b97 * b110 - 5.6e2 b98 * b99 - 88 b98 * b100 - 584 b98 * b101 - 72 b98 * b102 - 624 b98 * b103 - 400 b98 * b104 - 584 b98 * b105 - 384 b98 * b106 - 3.6e2 b98 * b107 - 152 b98 * b108 - 656 b98 * b109 - 600 b98 * b110 - 40 b99 * b100 - 7.2e2 b99 * b101 - 264 b99 * b102 - 168 b99 * b103 - 272 b99 * b104 - 5.2e2 b99 * b105 - 648 b99 * b106 - 5.6e2 b99 * b107 - 552 b99 * b109 - 136 b99 * b110 - 456 b100 * b101 - 664 b100 * b102 - 4.8e2 b100 * b103 - 176 b100 * b104 - 792 b100 * b105 - 272 b100 * b106 - 664 b100 * b107 - 176 b100 * b108 - 368 b100 * b109 - 768 b100 * b110 - 448 b101 * b102 - 664 b101 * b103 - 664 b101 * b104 - 264 b101 * b105 - 392 b101 * b106 - 248 b101 * b107 - 2.4e2 b101 * b108 - 552 b101 * b109 - 192 b101 * b110 - 5.2e2 b102 * b103 - 88 b102 * b104 - 784 b102 * b105 - 448 b102 * b106 - 6.4e2 b102 * b107 - 6.8e2 b102 * b108 - 584 b102 * b109 - 2.8e2 b102 * b110 - 4.4e2 b103 * b104 - 200 b103 * b105 - 664 b103 * b106 - 96 b103 * b107 - 64 b103 * b108 - 7.6e2 b103 * b109 - 488 b103 * b110 - 744 b104 * b105 - 592 b104 * b106 - 416 b104 * b107 - 5.6e2 b104 * b108 - 456 b104 * b109 - 488 b104 * b110 - 6.8e2 b105 * b106 - 568 b105 * b107 - 3.2e2 b105 * b108 - 1.2e2 b105 * b109 - 248 b105 * b110 - 3.2e2 b106 * b107 - 464 b106 * b108 - 16 b106 * b109 - 376 b106 * b110 - 32 b107 * b108 - 448 b107 * b109 - 7.6e2 b107 * b110 - 80 b108 * b109 - 528 b108 * b110 - 552 b109 * b110 ] <= 0 e283: - 39528 b111 + 10088 b112 + 9224 b113 + 9448 b114 + 9.32e3 b115 + 9.48e3 b116 + 8888 b117 + 9208 b118 + 9872 b119 + 9584 b120 + 9632 b121 + 9888 b122 + 9936 b123 + 9168 b124 + 9808 b125 + 10984 b126 + 1e4 b127 + 7808 b128 + 8.28e3 b129 + [ - 688 b111 * b112 - 712 b111 * b113 - 216 b111 * b114 - 568 b111 * b115 - 80 b111 * b116 - 784 b111 * b117 - 728 b111 * b118 - 688 b111 * b119 - 2.4e2 b111 * b120 - 4.4e2 b111 * b121 - 1.6e2 b111 * b122 - 3.2e2 b111 * b123 - 56 b111 * b124 - 608 b111 * b125 - 424 b111 * b126 - 728 b111 * b127 - 600 b111 * b128 - 264 b111 * b129 - 576 b112 * b113 - 272 b112 * b114 - 256 b112 * b115 - 56 b112 * b116 - 696 b112 * b117 - 512 b112 * b118 - 56 b112 * b119 - 592 b112 * b120 - 432 b112 * b121 - 464 b112 * b122 - 776 b112 * b123 - 712 b112 * b124 - 96 b112 * b125 - 664 b112 * b126 - 632 b112 * b127 - 312 b112 * b128 - 56 b112 * b129 - 712 b113 * b114 - 712 b113 * b115 - 784 b113 * b116 - 216 b113 * b117 - 152 b113 * b118 - 48 b113 * b119 - 4.8e2 b113 * b121 - 104 b113 * b122 - 608 b113 * b123 - 5.2e2 b113 * b124 - 448 b113 * b125 - 408 b113 * b126 - 400 b113 * b127 - 224 b113 * b128 - 296 b113 * b129 - 272 b114 * b115 - 696 b114 * b116 - 192 b114 * b117 - 784 b114 * b118 - 376 b114 * b119 - 400 b114 * b120 - 40 b114 * b121 - 456 b114 * b122 - 384 b114 * b123 - 752 b114 * b124 - 168 b114 * b125 - 248 b114 * b126 - 200 b114 * b127 - 96 b114 * b128 - 304 b114 * b129 - 1.2e2 b115 * b116 - 16 b115 * b117 - 712 b115 * b118 - 752 b115 * b119 - 168 b115 * b120 - 7.6e2 b115 * b121 - 752 b115 * b122 - 264 b115 * b123 - 64 b115 * b124 - 568 b115 * b125 - 792 b115 * b126 - 512 b115 * b127 - 592 b115 * b128 - 8 b115 * b129 - 352 b116 * b117 - 96 b116 * b118 - 288 b116 * b119 - 664 b116 * b120 - 704 b116 * b121 - 272 b116 * b122 - 2.4e2 b116 * b123 - 312 b116 * b124 - 312 b116 * b125 - 312 b116 * b126 - 696 b116 * b127 - 688 b116 * b128 - 4.8e2 b116 * b129 - 5.6e2 b117 * b118 - 88 b117 * b119 - 584 b117 * b120 - 72 b117 * b121 - 624 b117 * b122 - 600 b117 * b123 - 400 b117 * b124 - 584 b117 * b125 - 384 b117 * b126 - 3.6e2 b117 * b127 - 152 b117 * b128 - 656 b117 * b129 - 40 b118 * b119 - 7.2e2 b118 * b120 - 264 b118 * b121 - 168 b118 * b122 - 136 b118 * b123 - 272 b118 * b124 - 5.2e2 b118 * b125 - 648 b118 * b126 - 5.6e2 b118 * b127 - 552 b118 * b129 - 456 b119 * b120 - 664 b119 * b121 - 4.8e2 b119 * b122 - 768 b119 * b123 - 176 b119 * b124 - 792 b119 * b125 - 272 b119 * b126 - 664 b119 * b127 - 176 b119 * b128 - 368 b119 * b129 - 448 b120 * b121 - 664 b120 * b122 - 192 b120 * b123 - 664 b120 * b124 - 264 b120 * b125 - 392 b120 * b126 - 248 b120 * b127 - 2.4e2 b120 * b128 - 552 b120 * b129 - 5.2e2 b121 * b122 - 2.8e2 b121 * b123 - 88 b121 * b124 - 784 b121 * b125 - 448 b121 * b126 - 6.4e2 b121 * b127 - 6.8e2 b121 * b128 - 584 b121 * b129 - 488 b122 * b123 - 4.4e2 b122 * b124 - 200 b122 * b125 - 664 b122 * b126 - 96 b122 * b127 - 64 b122 * b128 - 7.6e2 b122 * b129 - 488 b123 * b124 - 248 b123 * b125 - 376 b123 * b126 - 7.6e2 b123 * b127 - 528 b123 * b128 - 552 b123 * b129 - 744 b124 * b125 - 592 b124 * b126 - 416 b124 * b127 - 5.6e2 b124 * b128 - 456 b124 * b129 - 6.8e2 b125 * b126 - 568 b125 * b127 - 3.2e2 b125 * b128 - 1.2e2 b125 * b129 - 3.2e2 b126 * b127 - 464 b126 * b128 - 16 b126 * b129 - 32 b127 * b128 - 448 b127 * b129 - 80 b128 * b129 ] <= 0 e284: - 39416 b130 + 9224 b131 + 9448 b132 + 9.32e3 b133 + 9.48e3 b134 + 8888 b135 + 9208 b136 + 9872 b137 + 9584 b138 + 9632 b139 + 9888 b140 + 9936 b141 + 9168 b142 + 9808 b143 + 10984 b144 + 1e4 b145 + 7808 b146 + 8.28e3 b147 + [ - 576 b130 * b131 - 272 b130 * b132 - 256 b130 * b133 - 56 b130 * b134 - 696 b130 * b135 - 512 b130 * b136 - 56 b130 * b137 - 592 b130 * b138 - 432 b130 * b139 - 464 b130 * b140 - 776 b130 * b141 - 712 b130 * b142 - 96 b130 * b143 - 664 b130 * b144 - 632 b130 * b145 - 312 b130 * b146 - 56 b130 * b147 - 712 b131 * b132 - 712 b131 * b133 - 784 b131 * b134 - 216 b131 * b135 - 152 b131 * b136 - 48 b131 * b137 - 4.8e2 b131 * b139 - 104 b131 * b140 - 608 b131 * b141 - 5.2e2 b131 * b142 - 448 b131 * b143 - 408 b131 * b144 - 400 b131 * b145 - 224 b131 * b146 - 296 b131 * b147 - 272 b132 * b133 - 696 b132 * b134 - 192 b132 * b135 - 784 b132 * b136 - 376 b132 * b137 - 400 b132 * b138 - 40 b132 * b139 - 456 b132 * b140 - 384 b132 * b141 - 752 b132 * b142 - 168 b132 * b143 - 248 b132 * b144 - 200 b132 * b145 - 96 b132 * b146 - 304 b132 * b147 - 1.2e2 b133 * b134 - 16 b133 * b135 - 712 b133 * b136 - 752 b133 * b137 - 168 b133 * b138 - 7.6e2 b133 * b139 - 752 b133 * b140 - 264 b133 * b141 - 64 b133 * b142 - 568 b133 * b143 - 792 b133 * b144 - 512 b133 * b145 - 592 b133 * b146 - 8 b133 * b147 - 352 b134 * b135 - 96 b134 * b136 - 288 b134 * b137 - 664 b134 * b138 - 704 b134 * b139 - 272 b134 * b140 - 2.4e2 b134 * b141 - 312 b134 * b142 - 312 b134 * b143 - 312 b134 * b144 - 696 b134 * b145 - 688 b134 * b146 - 4.8e2 b134 * b147 - 5.6e2 b135 * b136 - 88 b135 * b137 - 584 b135 * b138 - 72 b135 * b139 - 624 b135 * b140 - 600 b135 * b141 - 400 b135 * b142 - 584 b135 * b143 - 384 b135 * b144 - 3.6e2 b135 * b145 - 152 b135 * b146 - 656 b135 * b147 - 40 b136 * b137 - 7.2e2 b136 * b138 - 264 b136 * b139 - 168 b136 * b140 - 136 b136 * b141 - 272 b136 * b142 - 5.2e2 b136 * b143 - 648 b136 * b144 - 5.6e2 b136 * b145 - 552 b136 * b147 - 456 b137 * b138 - 664 b137 * b139 - 4.8e2 b137 * b140 - 768 b137 * b141 - 176 b137 * b142 - 792 b137 * b143 - 272 b137 * b144 - 664 b137 * b145 - 176 b137 * b146 - 368 b137 * b147 - 448 b138 * b139 - 664 b138 * b140 - 192 b138 * b141 - 664 b138 * b142 - 264 b138 * b143 - 392 b138 * b144 - 248 b138 * b145 - 2.4e2 b138 * b146 - 552 b138 * b147 - 5.2e2 b139 * b140 - 2.8e2 b139 * b141 - 88 b139 * b142 - 784 b139 * b143 - 448 b139 * b144 - 6.4e2 b139 * b145 - 6.8e2 b139 * b146 - 584 b139 * b147 - 488 b140 * b141 - 4.4e2 b140 * b142 - 200 b140 * b143 - 664 b140 * b144 - 96 b140 * b145 - 64 b140 * b146 - 7.6e2 b140 * b147 - 488 b141 * b142 - 248 b141 * b143 - 376 b141 * b144 - 7.6e2 b141 * b145 - 528 b141 * b146 - 552 b141 * b147 - 744 b142 * b143 - 592 b142 * b144 - 416 b142 * b145 - 5.6e2 b142 * b146 - 456 b142 * b147 - 6.8e2 b143 * b144 - 568 b143 * b145 - 3.2e2 b143 * b146 - 1.2e2 b143 * b147 - 3.2e2 b144 * b145 - 464 b144 * b146 - 16 b144 * b147 - 32 b145 * b146 - 448 b145 * b147 - 80 b146 * b147 ] <= 0 e285: - 4.028e4 b148 + 9448 b149 + 9.32e3 b150 + 9.48e3 b151 + 8888 b152 + 9208 b153 + 9872 b154 + 9632 b155 + 9888 b156 + 9936 b157 + 9168 b158 + 9808 b159 + 10984 b160 + 1e4 b161 + 7808 b162 + 8.28e3 b163 + 9584 b164 + [ - 712 b148 * b149 - 712 b148 * b150 - 784 b148 * b151 - 216 b148 * b152 - 152 b148 * b153 - 48 b148 * b154 - 4.8e2 b148 * b155 - 104 b148 * b156 - 608 b148 * b157 - 5.2e2 b148 * b158 - 448 b148 * b159 - 408 b148 * b160 - 400 b148 * b161 - 224 b148 * b162 - 296 b148 * b163 - 272 b149 * b150 - 696 b149 * b151 - 192 b149 * b152 - 784 b149 * b153 - 376 b149 * b154 - 40 b149 * b155 - 456 b149 * b156 - 384 b149 * b157 - 752 b149 * b158 - 168 b149 * b159 - 248 b149 * b160 - 200 b149 * b161 - 96 b149 * b162 - 304 b149 * b163 - 400 b149 * b164 - 1.2e2 b150 * b151 - 16 b150 * b152 - 712 b150 * b153 - 752 b150 * b154 - 7.6e2 b150 * b155 - 752 b150 * b156 - 264 b150 * b157 - 64 b150 * b158 - 568 b150 * b159 - 792 b150 * b160 - 512 b150 * b161 - 592 b150 * b162 - 8 b150 * b163 - 168 b150 * b164 - 352 b151 * b152 - 96 b151 * b153 - 288 b151 * b154 - 704 b151 * b155 - 272 b151 * b156 - 2.4e2 b151 * b157 - 312 b151 * b158 - 312 b151 * b159 - 312 b151 * b160 - 696 b151 * b161 - 688 b151 * b162 - 4.8e2 b151 * b163 - 664 b151 * b164 - 5.6e2 b152 * b153 - 88 b152 * b154 - 72 b152 * b155 - 624 b152 * b156 - 600 b152 * b157 - 400 b152 * b158 - 584 b152 * b159 - 384 b152 * b160 - 3.6e2 b152 * b161 - 152 b152 * b162 - 656 b152 * b163 - 584 b152 * b164 - 40 b153 * b154 - 264 b153 * b155 - 168 b153 * b156 - 136 b153 * b157 - 272 b153 * b158 - 5.2e2 b153 * b159 - 648 b153 * b160 - 5.6e2 b153 * b161 - 552 b153 * b163 - 7.2e2 b153 * b164 - 664 b154 * b155 - 4.8e2 b154 * b156 - 768 b154 * b157 - 176 b154 * b158 - 792 b154 * b159 - 272 b154 * b160 - 664 b154 * b161 - 176 b154 * b162 - 368 b154 * b163 - 456 b154 * b164 - 5.2e2 b155 * b156 - 2.8e2 b155 * b157 - 88 b155 * b158 - 784 b155 * b159 - 448 b155 * b160 - 6.4e2 b155 * b161 - 6.8e2 b155 * b162 - 584 b155 * b163 - 448 b155 * b164 - 488 b156 * b157 - 4.4e2 b156 * b158 - 200 b156 * b159 - 664 b156 * b160 - 96 b156 * b161 - 64 b156 * b162 - 7.6e2 b156 * b163 - 664 b156 * b164 - 488 b157 * b158 - 248 b157 * b159 - 376 b157 * b160 - 7.6e2 b157 * b161 - 528 b157 * b162 - 552 b157 * b163 - 192 b157 * b164 - 744 b158 * b159 - 592 b158 * b160 - 416 b158 * b161 - 5.6e2 b158 * b162 - 456 b158 * b163 - 664 b158 * b164 - 6.8e2 b159 * b160 - 568 b159 * b161 - 3.2e2 b159 * b162 - 1.2e2 b159 * b163 - 264 b159 * b164 - 3.2e2 b160 * b161 - 464 b160 * b162 - 16 b160 * b163 - 392 b160 * b164 - 32 b161 * b162 - 448 b161 * b163 - 248 b161 * b164 - 80 b162 * b163 - 2.4e2 b162 * b164 - 552 b163 * b164 ] <= 0 e286: - 40056 b165 + 9.32e3 b166 + 9.48e3 b167 + 8888 b168 + 9208 b169 + 9872 b170 + 9584 b171 + 9632 b172 + 9888 b173 + 9936 b174 + 9168 b175 + 9808 b176 + 10984 b177 + 1e4 b178 + 7808 b179 + 8.28e3 b180 + [ - 272 b165 * b166 - 696 b165 * b167 - 192 b165 * b168 - 784 b165 * b169 - 376 b165 * b170 - 400 b165 * b171 - 40 b165 * b172 - 456 b165 * b173 - 384 b165 * b174 - 752 b165 * b175 - 168 b165 * b176 - 248 b165 * b177 - 200 b165 * b178 - 96 b165 * b179 - 304 b165 * b180 - 1.2e2 b166 * b167 - 16 b166 * b168 - 712 b166 * b169 - 752 b166 * b170 - 168 b166 * b171 - 7.6e2 b166 * b172 - 752 b166 * b173 - 264 b166 * b174 - 64 b166 * b175 - 568 b166 * b176 - 792 b166 * b177 - 512 b166 * b178 - 592 b166 * b179 - 8 b166 * b180 - 352 b167 * b168 - 96 b167 * b169 - 288 b167 * b170 - 664 b167 * b171 - 704 b167 * b172 - 272 b167 * b173 - 2.4e2 b167 * b174 - 312 b167 * b175 - 312 b167 * b176 - 312 b167 * b177 - 696 b167 * b178 - 688 b167 * b179 - 4.8e2 b167 * b180 - 5.6e2 b168 * b169 - 88 b168 * b170 - 584 b168 * b171 - 72 b168 * b172 - 624 b168 * b173 - 600 b168 * b174 - 400 b168 * b175 - 584 b168 * b176 - 384 b168 * b177 - 3.6e2 b168 * b178 - 152 b168 * b179 - 656 b168 * b180 - 40 b169 * b170 - 7.2e2 b169 * b171 - 264 b169 * b172 - 168 b169 * b173 - 136 b169 * b174 - 272 b169 * b175 - 5.2e2 b169 * b176 - 648 b169 * b177 - 5.6e2 b169 * b178 - 552 b169 * b180 - 456 b170 * b171 - 664 b170 * b172 - 4.8e2 b170 * b173 - 768 b170 * b174 - 176 b170 * b175 - 792 b170 * b176 - 272 b170 * b177 - 664 b170 * b178 - 176 b170 * b179 - 368 b170 * b180 - 448 b171 * b172 - 664 b171 * b173 - 192 b171 * b174 - 664 b171 * b175 - 264 b171 * b176 - 392 b171 * b177 - 248 b171 * b178 - 2.4e2 b171 * b179 - 552 b171 * b180 - 5.2e2 b172 * b173 - 2.8e2 b172 * b174 - 88 b172 * b175 - 784 b172 * b176 - 448 b172 * b177 - 6.4e2 b172 * b178 - 6.8e2 b172 * b179 - 584 b172 * b180 - 488 b173 * b174 - 4.4e2 b173 * b175 - 200 b173 * b176 - 664 b173 * b177 - 96 b173 * b178 - 64 b173 * b179 - 7.6e2 b173 * b180 - 488 b174 * b175 - 248 b174 * b176 - 376 b174 * b177 - 7.6e2 b174 * b178 - 528 b174 * b179 - 552 b174 * b180 - 744 b175 * b176 - 592 b175 * b177 - 416 b175 * b178 - 5.6e2 b175 * b179 - 456 b175 * b180 - 6.8e2 b176 * b177 - 568 b176 * b178 - 3.2e2 b176 * b179 - 1.2e2 b176 * b180 - 3.2e2 b177 * b178 - 464 b177 * b179 - 16 b177 * b180 - 32 b178 * b179 - 448 b178 * b180 - 80 b179 * b180 ] <= 0 e287: - 40184 b181 + 9.48e3 b182 + 8888 b183 + 9208 b184 + 9872 b185 + 9584 b186 + 9632 b187 + 9888 b188 + 9936 b189 + 9168 b190 + 9808 b191 + 10984 b192 + 1e4 b193 + 7808 b194 + 8.28e3 b195 + [ - 1.2e2 b181 * b182 - 16 b181 * b183 - 712 b181 * b184 - 752 b181 * b185 - 168 b181 * b186 - 7.6e2 b181 * b187 - 752 b181 * b188 - 264 b181 * b189 - 64 b181 * b190 - 568 b181 * b191 - 792 b181 * b192 - 512 b181 * b193 - 592 b181 * b194 - 8 b181 * b195 - 352 b182 * b183 - 96 b182 * b184 - 288 b182 * b185 - 664 b182 * b186 - 704 b182 * b187 - 272 b182 * b188 - 2.4e2 b182 * b189 - 312 b182 * b190 - 312 b182 * b191 - 312 b182 * b192 - 696 b182 * b193 - 688 b182 * b194 - 4.8e2 b182 * b195 - 5.6e2 b183 * b184 - 88 b183 * b185 - 584 b183 * b186 - 72 b183 * b187 - 624 b183 * b188 - 600 b183 * b189 - 400 b183 * b190 - 584 b183 * b191 - 384 b183 * b192 - 3.6e2 b183 * b193 - 152 b183 * b194 - 656 b183 * b195 - 40 b184 * b185 - 7.2e2 b184 * b186 - 264 b184 * b187 - 168 b184 * b188 - 136 b184 * b189 - 272 b184 * b190 - 5.2e2 b184 * b191 - 648 b184 * b192 - 5.6e2 b184 * b193 - 552 b184 * b195 - 456 b185 * b186 - 664 b185 * b187 - 4.8e2 b185 * b188 - 768 b185 * b189 - 176 b185 * b190 - 792 b185 * b191 - 272 b185 * b192 - 664 b185 * b193 - 176 b185 * b194 - 368 b185 * b195 - 448 b186 * b187 - 664 b186 * b188 - 192 b186 * b189 - 664 b186 * b190 - 264 b186 * b191 - 392 b186 * b192 - 248 b186 * b193 - 2.4e2 b186 * b194 - 552 b186 * b195 - 5.2e2 b187 * b188 - 2.8e2 b187 * b189 - 88 b187 * b190 - 784 b187 * b191 - 448 b187 * b192 - 6.4e2 b187 * b193 - 6.8e2 b187 * b194 - 584 b187 * b195 - 488 b188 * b189 - 4.4e2 b188 * b190 - 200 b188 * b191 - 664 b188 * b192 - 96 b188 * b193 - 64 b188 * b194 - 7.6e2 b188 * b195 - 488 b189 * b190 - 248 b189 * b191 - 376 b189 * b192 - 7.6e2 b189 * b193 - 528 b189 * b194 - 552 b189 * b195 - 744 b190 * b191 - 592 b190 * b192 - 416 b190 * b193 - 5.6e2 b190 * b194 - 456 b190 * b195 - 6.8e2 b191 * b192 - 568 b191 * b193 - 3.2e2 b191 * b194 - 1.2e2 b191 * b195 - 3.2e2 b192 * b193 - 464 b192 * b194 - 16 b192 * b195 - 32 b193 * b194 - 448 b193 * b195 - 80 b194 * b195 ] <= 0 e288: - 40024 b196 + 8888 b197 + 9208 b198 + 9872 b199 + 9584 b200 + 9632 b201 + 9888 b202 + 9936 b203 + 9168 b204 + 9808 b205 + 10984 b206 + 1e4 b207 + 7808 b208 + 8.28e3 b209 + [ - 352 b196 * b197 - 96 b196 * b198 - 288 b196 * b199 - 664 b196 * b200 - 704 b196 * b201 - 272 b196 * b202 - 2.4e2 b196 * b203 - 312 b196 * b204 - 312 b196 * b205 - 312 b196 * b206 - 696 b196 * b207 - 688 b196 * b208 - 4.8e2 b196 * b209 - 5.6e2 b197 * b198 - 88 b197 * b199 - 584 b197 * b200 - 72 b197 * b201 - 624 b197 * b202 - 600 b197 * b203 - 400 b197 * b204 - 584 b197 * b205 - 384 b197 * b206 - 3.6e2 b197 * b207 - 152 b197 * b208 - 656 b197 * b209 - 40 b198 * b199 - 7.2e2 b198 * b200 - 264 b198 * b201 - 168 b198 * b202 - 136 b198 * b203 - 272 b198 * b204 - 5.2e2 b198 * b205 - 648 b198 * b206 - 5.6e2 b198 * b207 - 552 b198 * b209 - 456 b199 * b200 - 664 b199 * b201 - 4.8e2 b199 * b202 - 768 b199 * b203 - 176 b199 * b204 - 792 b199 * b205 - 272 b199 * b206 - 664 b199 * b207 - 176 b199 * b208 - 368 b199 * b209 - 448 b200 * b201 - 664 b200 * b202 - 192 b200 * b203 - 664 b200 * b204 - 264 b200 * b205 - 392 b200 * b206 - 248 b200 * b207 - 2.4e2 b200 * b208 - 552 b200 * b209 - 5.2e2 b201 * b202 - 2.8e2 b201 * b203 - 88 b201 * b204 - 784 b201 * b205 - 448 b201 * b206 - 6.4e2 b201 * b207 - 6.8e2 b201 * b208 - 584 b201 * b209 - 488 b202 * b203 - 4.4e2 b202 * b204 - 200 b202 * b205 - 664 b202 * b206 - 96 b202 * b207 - 64 b202 * b208 - 7.6e2 b202 * b209 - 488 b203 * b204 - 248 b203 * b205 - 376 b203 * b206 - 7.6e2 b203 * b207 - 528 b203 * b208 - 552 b203 * b209 - 744 b204 * b205 - 592 b204 * b206 - 416 b204 * b207 - 5.6e2 b204 * b208 - 456 b204 * b209 - 6.8e2 b205 * b206 - 568 b205 * b207 - 3.2e2 b205 * b208 - 1.2e2 b205 * b209 - 3.2e2 b206 * b207 - 464 b206 * b208 - 16 b206 * b209 - 32 b207 * b208 - 448 b207 * b209 - 80 b208 * b209 ] <= 0 e289: - 40616 b210 + 9208 b211 + 9872 b212 + 9584 b213 + 9632 b214 + 9888 b215 + 9936 b216 + 9168 b217 + 9808 b218 + 10984 b219 + 1e4 b220 + 7808 b221 + 8.28e3 b222 + [ - 5.6e2 b210 * b211 - 88 b210 * b212 - 584 b210 * b213 - 72 b210 * b214 - 624 b210 * b215 - 600 b210 * b216 - 400 b210 * b217 - 584 b210 * b218 - 384 b210 * b219 - 3.6e2 b210 * b220 - 152 b210 * b221 - 656 b210 * b222 - 40 b211 * b212 - 7.2e2 b211 * b213 - 264 b211 * b214 - 168 b211 * b215 - 136 b211 * b216 - 272 b211 * b217 - 5.2e2 b211 * b218 - 648 b211 * b219 - 5.6e2 b211 * b220 - 552 b211 * b222 - 456 b212 * b213 - 664 b212 * b214 - 4.8e2 b212 * b215 - 768 b212 * b216 - 176 b212 * b217 - 792 b212 * b218 - 272 b212 * b219 - 664 b212 * b220 - 176 b212 * b221 - 368 b212 * b222 - 448 b213 * b214 - 664 b213 * b215 - 192 b213 * b216 - 664 b213 * b217 - 264 b213 * b218 - 392 b213 * b219 - 248 b213 * b220 - 2.4e2 b213 * b221 - 552 b213 * b222 - 5.2e2 b214 * b215 - 2.8e2 b214 * b216 - 88 b214 * b217 - 784 b214 * b218 - 448 b214 * b219 - 6.4e2 b214 * b220 - 6.8e2 b214 * b221 - 584 b214 * b222 - 488 b215 * b216 - 4.4e2 b215 * b217 - 200 b215 * b218 - 664 b215 * b219 - 96 b215 * b220 - 64 b215 * b221 - 7.6e2 b215 * b222 - 488 b216 * b217 - 248 b216 * b218 - 376 b216 * b219 - 7.6e2 b216 * b220 - 528 b216 * b221 - 552 b216 * b222 - 744 b217 * b218 - 592 b217 * b219 - 416 b217 * b220 - 5.6e2 b217 * b221 - 456 b217 * b222 - 6.8e2 b218 * b219 - 568 b218 * b220 - 3.2e2 b218 * b221 - 1.2e2 b218 * b222 - 3.2e2 b219 * b220 - 464 b219 * b221 - 16 b219 * b222 - 32 b220 * b221 - 448 b220 * b222 - 80 b221 * b222 ] <= 0 e290: - 40296 b223 + 9872 b224 + 9584 b225 + 9632 b226 + 9888 b227 + 9936 b228 + 9168 b229 + 9808 b230 + 10984 b231 + 1e4 b232 + 8.28e3 b233 + 7808 b234 + [ - 40 b223 * b224 - 7.2e2 b223 * b225 - 264 b223 * b226 - 168 b223 * b227 - 136 b223 * b228 - 272 b223 * b229 - 5.2e2 b223 * b230 - 648 b223 * b231 - 5.6e2 b223 * b232 - 552 b223 * b233 - 456 b224 * b225 - 664 b224 * b226 - 4.8e2 b224 * b227 - 768 b224 * b228 - 176 b224 * b229 - 792 b224 * b230 - 272 b224 * b231 - 664 b224 * b232 - 368 b224 * b233 - 176 b224 * b234 - 448 b225 * b226 - 664 b225 * b227 - 192 b225 * b228 - 664 b225 * b229 - 264 b225 * b230 - 392 b225 * b231 - 248 b225 * b232 - 552 b225 * b233 - 2.4e2 b225 * b234 - 5.2e2 b226 * b227 - 2.8e2 b226 * b228 - 88 b226 * b229 - 784 b226 * b230 - 448 b226 * b231 - 6.4e2 b226 * b232 - 584 b226 * b233 - 6.8e2 b226 * b234 - 488 b227 * b228 - 4.4e2 b227 * b229 - 200 b227 * b230 - 664 b227 * b231 - 96 b227 * b232 - 7.6e2 b227 * b233 - 64 b227 * b234 - 488 b228 * b229 - 248 b228 * b230 - 376 b228 * b231 - 7.6e2 b228 * b232 - 552 b228 * b233 - 528 b228 * b234 - 744 b229 * b230 - 592 b229 * b231 - 416 b229 * b232 - 456 b229 * b233 - 5.6e2 b229 * b234 - 6.8e2 b230 * b231 - 568 b230 * b232 - 1.2e2 b230 * b233 - 3.2e2 b230 * b234 - 3.2e2 b231 * b232 - 16 b231 * b233 - 464 b231 * b234 - 448 b232 * b233 - 32 b232 * b234 - 80 b233 * b234 ] <= 0 e291: - 39632 b235 + 9584 b236 + 9632 b237 + 9888 b238 + 9936 b239 + 9168 b240 + 9808 b241 + 10984 b242 + 1e4 b243 + 7808 b244 + 8.28e3 b245 + [ - 456 b235 * b236 - 664 b235 * b237 - 4.8e2 b235 * b238 - 768 b235 * b239 - 176 b235 * b240 - 792 b235 * b241 - 272 b235 * b242 - 664 b235 * b243 - 176 b235 * b244 - 368 b235 * b245 - 448 b236 * b237 - 664 b236 * b238 - 192 b236 * b239 - 664 b236 * b240 - 264 b236 * b241 - 392 b236 * b242 - 248 b236 * b243 - 2.4e2 b236 * b244 - 552 b236 * b245 - 5.2e2 b237 * b238 - 2.8e2 b237 * b239 - 88 b237 * b240 - 784 b237 * b241 - 448 b237 * b242 - 6.4e2 b237 * b243 - 6.8e2 b237 * b244 - 584 b237 * b245 - 488 b238 * b239 - 4.4e2 b238 * b240 - 200 b238 * b241 - 664 b238 * b242 - 96 b238 * b243 - 64 b238 * b244 - 7.6e2 b238 * b245 - 488 b239 * b240 - 248 b239 * b241 - 376 b239 * b242 - 7.6e2 b239 * b243 - 528 b239 * b244 - 552 b239 * b245 - 744 b240 * b241 - 592 b240 * b242 - 416 b240 * b243 - 5.6e2 b240 * b244 - 456 b240 * b245 - 6.8e2 b241 * b242 - 568 b241 * b243 - 3.2e2 b241 * b244 - 1.2e2 b241 * b245 - 3.2e2 b242 * b243 - 464 b242 * b244 - 16 b242 * b245 - 32 b243 * b244 - 448 b243 * b245 - 80 b244 * b245 ] <= 0 e292: - 3.992e4 b246 + 9632 b247 + 9888 b248 + 9936 b249 + 9168 b250 + 9808 b251 + 10984 b252 + 1e4 b253 + 7808 b254 + 8.28e3 b255 + [ - 448 b246 * b247 - 664 b246 * b248 - 192 b246 * b249 - 664 b246 * b250 - 264 b246 * b251 - 392 b246 * b252 - 248 b246 * b253 - 2.4e2 b246 * b254 - 552 b246 * b255 - 5.2e2 b247 * b248 - 2.8e2 b247 * b249 - 88 b247 * b250 - 784 b247 * b251 - 448 b247 * b252 - 6.4e2 b247 * b253 - 6.8e2 b247 * b254 - 584 b247 * b255 - 488 b248 * b249 - 4.4e2 b248 * b250 - 200 b248 * b251 - 664 b248 * b252 - 96 b248 * b253 - 64 b248 * b254 - 7.6e2 b248 * b255 - 488 b249 * b250 - 248 b249 * b251 - 376 b249 * b252 - 7.6e2 b249 * b253 - 528 b249 * b254 - 552 b249 * b255 - 744 b250 * b251 - 592 b250 * b252 - 416 b250 * b253 - 5.6e2 b250 * b254 - 456 b250 * b255 - 6.8e2 b251 * b252 - 568 b251 * b253 - 3.2e2 b251 * b254 - 1.2e2 b251 * b255 - 3.2e2 b252 * b253 - 464 b252 * b254 - 16 b252 * b255 - 32 b253 * b254 - 448 b253 * b255 - 80 b254 * b255 ] <= 0 e293: - 39872 b256 + 9888 b257 + 9936 b258 + 9168 b259 + 9808 b260 + 10984 b261 + 1e4 b262 + 7808 b263 + 8.28e3 b264 + [ - 5.2e2 b256 * b257 - 2.8e2 b256 * b258 - 88 b256 * b259 - 784 b256 * b260 - 448 b256 * b261 - 6.4e2 b256 * b262 - 6.8e2 b256 * b263 - 584 b256 * b264 - 488 b257 * b258 - 4.4e2 b257 * b259 - 200 b257 * b260 - 664 b257 * b261 - 96 b257 * b262 - 64 b257 * b263 - 7.6e2 b257 * b264 - 488 b258 * b259 - 248 b258 * b260 - 376 b258 * b261 - 7.6e2 b258 * b262 - 528 b258 * b263 - 552 b258 * b264 - 744 b259 * b260 - 592 b259 * b261 - 416 b259 * b262 - 5.6e2 b259 * b263 - 456 b259 * b264 - 6.8e2 b260 * b261 - 568 b260 * b262 - 3.2e2 b260 * b263 - 1.2e2 b260 * b264 - 3.2e2 b261 * b262 - 464 b261 * b263 - 16 b261 * b264 - 32 b262 * b263 - 448 b262 * b264 - 80 b263 * b264 ] <= 0 e294: - 39616 b265 + 9936 b266 + 9168 b267 + 9808 b268 + 10984 b269 + 1e4 b270 + 7808 b271 + 8.28e3 b272 + [ - 488 b265 * b266 - 4.4e2 b265 * b267 - 200 b265 * b268 - 664 b265 * b269 - 96 b265 * b270 - 64 b265 * b271 - 7.6e2 b265 * b272 - 488 b266 * b267 - 248 b266 * b268 - 376 b266 * b269 - 7.6e2 b266 * b270 - 528 b266 * b271 - 552 b266 * b272 - 744 b267 * b268 - 592 b267 * b269 - 416 b267 * b270 - 5.6e2 b267 * b271 - 456 b267 * b272 - 6.8e2 b268 * b269 - 568 b268 * b270 - 3.2e2 b268 * b271 - 1.2e2 b268 * b272 - 3.2e2 b269 * b270 - 464 b269 * b271 - 16 b269 * b272 - 32 b270 * b271 - 448 b270 * b272 - 80 b271 * b272 ] <= 0 e295: - 39568 b273 + 9168 b274 + 9808 b275 + 10984 b276 + 1e4 b277 + 7808 b278 + 8.28e3 b279 + [ - 488 b273 * b274 - 248 b273 * b275 - 376 b273 * b276 - 7.6e2 b273 * b277 - 528 b273 * b278 - 552 b273 * b279 - 744 b274 * b275 - 592 b274 * b276 - 416 b274 * b277 - 5.6e2 b274 * b278 - 456 b274 * b279 - 6.8e2 b275 * b276 - 568 b275 * b277 - 3.2e2 b275 * b278 - 1.2e2 b275 * b279 - 3.2e2 b276 * b277 - 464 b276 * b278 - 16 b276 * b279 - 32 b277 * b278 - 448 b277 * b279 - 80 b278 * b279 ] <= 0 e296: - 40336 b280 + 9808 b281 + 10984 b282 + 1e4 b283 + 7808 b284 + 8.28e3 b285 + [ - 744 b280 * b281 - 592 b280 * b282 - 416 b280 * b283 - 5.6e2 b280 * b284 - 456 b280 * b285 - 6.8e2 b281 * b282 - 568 b281 * b283 - 3.2e2 b281 * b284 - 1.2e2 b281 * b285 - 3.2e2 b282 * b283 - 464 b282 * b284 - 16 b282 * b285 - 32 b283 * b284 - 448 b283 * b285 - 80 b284 * b285 ] <= 0 e297: - 39696 b286 + 10984 b287 + 1e4 b288 + 7808 b289 + 8.28e3 b290 + [ - 6.8e2 b286 * b287 - 568 b286 * b288 - 3.2e2 b286 * b289 - 1.2e2 b286 * b290 - 3.2e2 b287 * b288 - 464 b287 * b289 - 16 b287 * b290 - 32 b288 * b289 - 448 b288 * b290 - 80 b289 * b290 ] <= 0 e298: - 3.852e4 b291 + 1e4 b292 + 7808 b293 + 8.28e3 b294 + [ - 3.2e2 b291 * b292 - 464 b291 * b293 - 16 b291 * b294 - 32 b292 * b293 - 448 b292 * b294 - 80 b293 * b294 ] <= 0 e299: - 39504 b295 + 7808 b296 + 8.28e3 b297 + [ - 32 b295 * b296 - 448 b295 * b297 - 80 b296 * b297 ] <= 0 e300: - 41696 b298 + 8.28e3 b299 + [ - 80 b298 * b299 ] <= 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 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 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 End