\ Equation counts \ Total E G L N X C B \ 252 21 0 231 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 252 0 252 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1174 672 502 0 \ Minimize obj: - 544 b2 - 328 b3 - 504 b4 - 536 b5 - 248 b6 - 168 b7 - 568 b8 - 704 b9 - 424 b10 - 400 b11 - 504 b12 - 736 b13 - 232 b14 - 144 b15 - 688 b16 - 456 b17 - 584 b18 - 144 b19 - 1.2e2 b20 - 472 b21 - 312 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + 0 b184 + 0 b185 + 0 b186 + 0 b187 + 0 b188 + 0 b189 + 0 b190 + 0 b191 + 0 b192 + 0 b193 + 0 b194 + 0 b195 + 0 b196 + 0 b197 + 0 b198 + 0 b199 + 0 b200 + 0 b201 + 0 b202 + 0 b203 + 0 b204 + 0 b205 + 0 b206 + 0 b207 + 0 b208 + 0 b209 + 0 b210 + 0 b211 + 0 b212 + 0 b213 + 0 b214 + 0 b215 + 0 b216 + 0 b217 + 0 b218 + 0 b219 + 0 b220 + 0 b221 + 0 b222 + 0 b223 + 0 b224 + 0 b225 + 0 b226 + 0 b227 + 0 b228 + 0 b229 + 0 b230 + 0 b231 + 0 b232 + 0 b233 + 0 b234 + 0 b235 + 0 b236 + 0 b237 + 0 b238 + 0 b239 + 0 b240 + 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 + [ - 48 b2 * b3 - 304 b2 * b4 - 128 b2 * b5 - 1408 b2 * b6 - 688 b2 * b7 - 912 b2 * b8 - 368 b2 * b9 - 1504 b2 * b10 - 336 b2 * b11 - 1152 b2 * b12 - 224 b2 * b13 - 224 b2 * b14 - 1392 b2 * b15 - 528 b2 * b16 - 736 b2 * b17 - 128 b2 * b18 - 64 b2 * b19 - 544 b2 * b20 - 992 b2 * b21 - 8.8e2 b2 * b22 - 784 b3 * b4 - 96 b3 * b5 - 576 b3 * b6 - 1072 b3 * b7 - 7.2e2 b3 * b8 - 1488 b3 * b9 - 1488 b3 * b10 - 1008 b3 * b11 - 128 b3 * b12 - 832 b3 * b13 - 864 b3 * b14 - 1024 b3 * b15 - 384 b3 * b16 - 224 b3 * b17 - 64 b3 * b18 - 304 b3 * b19 - 1136 b3 * b20 - 448 b3 * b21 - 208 b3 * b22 - 7.2e2 b4 * b5 - 832 b4 * b6 - 1264 b4 * b7 - 176 b4 * b8 - 6.4e2 b4 * b9 - 192 b4 * b10 - 912 b4 * b11 - 768 b4 * b12 - 272 b4 * b13 - 688 b4 * b14 - 992 b4 * b15 - 384 b4 * b16 - 7.2e2 b4 * b17 - 336 b4 * b18 - 9.6e2 b4 * b19 - 192 b4 * b20 - 1056 b4 * b21 - 848 b4 * b22 - 80 b5 * b6 - 1296 b5 * b7 - 976 b5 * b8 - 1.6e2 b5 * b9 - 1408 b5 * b10 - 1232 b5 * b11 - 544 b5 * b12 - 32 b5 * b13 - 1312 b5 * b14 - 848 b5 * b15 - 416 b5 * b16 - 992 b5 * b17 - 288 b5 * b18 - 1136 b5 * b19 - 224 b5 * b20 - 1552 b5 * b21 - 1312 b5 * b22 - 864 b6 * b7 - 144 b6 * b8 - 1472 b6 * b9 - 8.8e2 b6 * b10 - 1248 b6 * b11 - 1392 b6 * b12 - 1104 b6 * b13 - 32 b6 * b14 - 512 b6 * b15 - 672 b6 * b16 - 224 b6 * b17 - 7.2e2 b6 * b18 - 9.6e2 b6 * b19 - 1072 b6 * b20 - 32 b6 * b21 - 672 b6 * b22 - 1296 b7 * b8 - 1024 b7 * b9 - 1312 b7 * b10 - 928 b7 * b11 - 1568 b7 * b12 - 576 b7 * b13 - 1472 b7 * b14 - 48 b7 * b15 - 992 b7 * b16 - 864 b7 * b17 - 336 b7 * b18 - 1.36e3 b7 * b19 - 1104 b7 * b20 - 1.12e3 b7 * b21 - 3.2e2 b7 * b22 - 1.2e3 b8 * b9 - 1.28e3 b8 * b10 - 192 b8 * b11 - 1312 b8 * b12 - 1.6e2 b8 * b13 - 1584 b8 * b14 - 64 b8 * b15 - 208 b8 * b16 - 1344 b8 * b17 - 1568 b8 * b18 - 432 b8 * b19 - 1296 b8 * b20 - 944 b8 * b21 - 752 b8 * b22 - 1328 b9 * b10 - 848 b9 * b11 - 1.28e3 b9 * b12 - 5.6e2 b9 * b14 - 1.44e3 b9 * b15 - 1568 b9 * b16 - 1136 b9 * b17 - 1328 b9 * b18 - 864 b9 * b19 - 1376 b9 * b20 - 1424 b9 * b21 - 432 b9 * b22 - 1136 b10 * b11 - 1.6e2 b10 * b12 - 1568 b10 * b13 - 1456 b10 * b14 - 1376 b10 * b15 - 4.8e2 b10 * b16 - 8.8e2 b10 * b17 - 3.2e2 b10 * b18 - 6.4e2 b10 * b19 - 112 b10 * b20 - 1216 b10 * b21 - 848 b10 * b22 - 1456 b11 * b12 - 1.2e3 b11 * b13 - 528 b11 * b14 - 1152 b11 * b15 - 544 b11 * b16 - 512 b11 * b17 - 112 b11 * b18 - 1392 b11 * b19 - 1024 b11 * b20 - 112 b11 * b21 - 1184 b11 * b22 - 864 b12 * b13 - 928 b12 * b14 - 1552 b12 * b15 - 1424 b12 * b16 - 192 b12 * b17 - 1328 b12 * b18 - 1264 b12 * b19 - 624 b12 * b20 - 112 b12 * b21 - 1424 b12 * b22 - 1424 b13 * b14 - 1568 b13 * b15 - 432 b13 * b16 - 304 b13 * b17 - 96 b13 * b18 - 9.6e2 b13 * b20 - 208 b13 * b21 - 1216 b13 * b22 - 1.04e3 b14 * b15 - 896 b14 * b16 - 816 b14 * b17 - 800 b14 * b18 - 448 b14 * b19 - 592 b14 * b20 - 544 b14 * b21 - 1392 b14 * b22 - 384 b15 * b16 - 1568 b15 * b17 - 752 b15 * b18 - 800 b15 * b19 - 80 b15 * b20 - 912 b15 * b21 - 768 b15 * b22 - 1504 b16 * b17 - 336 b16 * b18 - 496 b16 * b19 - 400 b16 * b20 - 192 b16 * b21 - 608 b16 * b22 - 2.4e2 b17 * b18 - 32 b17 * b19 - 1424 b17 * b20 - 1504 b17 * b21 - 336 b17 * b22 - 1.52e3 b18 * b19 - 1504 b18 * b20 - 528 b18 * b21 - 128 b18 * b22 - 1136 b19 * b20 - 1584 b19 * b21 - 1024 b19 * b22 - 1184 b20 * b21 - 16 b20 * b22 - 704 b21 * b22 - 48 b23 * b24 - 304 b23 * b25 - 128 b23 * b26 - 1408 b23 * b27 - 688 b23 * b28 - 912 b23 * b29 - 368 b23 * b30 - 1504 b23 * b31 - 336 b23 * b32 - 1152 b23 * b33 - 224 b23 * b34 - 224 b23 * b35 - 1392 b23 * b36 - 528 b23 * b37 - 736 b23 * b38 - 128 b23 * b39 - 64 b23 * b40 - 544 b23 * b41 - 992 b23 * b42 - 8.8e2 b23 * b43 - 784 b24 * b25 - 96 b24 * b26 - 576 b24 * b27 - 1072 b24 * b28 - 7.2e2 b24 * b29 - 1488 b24 * b30 - 1488 b24 * b31 - 1008 b24 * b32 - 128 b24 * b33 - 832 b24 * b34 - 864 b24 * b35 - 1024 b24 * b36 - 384 b24 * b37 - 224 b24 * b38 - 64 b24 * b39 - 304 b24 * b40 - 1136 b24 * b41 - 448 b24 * b42 - 208 b24 * b43 - 7.2e2 b25 * b26 - 832 b25 * b27 - 1264 b25 * b28 - 176 b25 * b29 - 6.4e2 b25 * b30 - 192 b25 * b31 - 912 b25 * b32 - 768 b25 * b33 - 272 b25 * b34 - 688 b25 * b35 - 992 b25 * b36 - 384 b25 * b37 - 7.2e2 b25 * b38 - 336 b25 * b39 - 9.6e2 b25 * b40 - 192 b25 * b41 - 1056 b25 * b42 - 848 b25 * b43 - 80 b26 * b27 - 1296 b26 * b28 - 976 b26 * b29 - 1.6e2 b26 * b30 - 1408 b26 * b31 - 1232 b26 * b32 - 544 b26 * b33 - 32 b26 * b34 - 1312 b26 * b35 - 848 b26 * b36 - 416 b26 * b37 - 992 b26 * b38 - 288 b26 * b39 - 1136 b26 * b40 - 224 b26 * b41 - 1552 b26 * b42 - 1312 b26 * b43 - 864 b27 * b28 - 144 b27 * b29 - 1472 b27 * b30 - 8.8e2 b27 * b31 - 1248 b27 * b32 - 1392 b27 * b33 - 1104 b27 * b34 - 32 b27 * b35 - 512 b27 * b36 - 672 b27 * b37 - 224 b27 * b38 - 7.2e2 b27 * b39 - 9.6e2 b27 * b40 - 1072 b27 * b41 - 32 b27 * b42 - 672 b27 * b43 - 1296 b28 * b29 - 1024 b28 * b30 - 1312 b28 * b31 - 928 b28 * b32 - 1568 b28 * b33 - 576 b28 * b34 - 1472 b28 * b35 - 48 b28 * b36 - 992 b28 * b37 - 864 b28 * b38 - 336 b28 * b39 - 1.36e3 b28 * b40 - 1104 b28 * b41 - 1.12e3 b28 * b42 - 3.2e2 b28 * b43 - 1.2e3 b29 * b30 - 1.28e3 b29 * b31 - 192 b29 * b32 - 1312 b29 * b33 - 1.6e2 b29 * b34 - 1584 b29 * b35 - 64 b29 * b36 - 208 b29 * b37 - 1344 b29 * b38 - 1568 b29 * b39 - 432 b29 * b40 - 1296 b29 * b41 - 944 b29 * b42 - 752 b29 * b43 - 1328 b30 * b31 - 848 b30 * b32 - 1.28e3 b30 * b33 - 5.6e2 b30 * b35 - 1.44e3 b30 * b36 - 1568 b30 * b37 - 1136 b30 * b38 - 1328 b30 * b39 - 864 b30 * b40 - 1376 b30 * b41 - 1424 b30 * b42 - 432 b30 * b43 - 1136 b31 * b32 - 1.6e2 b31 * b33 - 1568 b31 * b34 - 1456 b31 * b35 - 1376 b31 * b36 - 4.8e2 b31 * b37 - 8.8e2 b31 * b38 - 3.2e2 b31 * b39 - 6.4e2 b31 * b40 - 112 b31 * b41 - 1216 b31 * b42 - 848 b31 * b43 - 1456 b32 * b33 - 1.2e3 b32 * b34 - 528 b32 * b35 - 1152 b32 * b36 - 544 b32 * b37 - 512 b32 * b38 - 112 b32 * b39 - 1392 b32 * b40 - 1024 b32 * b41 - 112 b32 * b42 - 1184 b32 * b43 - 864 b33 * b34 - 928 b33 * b35 - 1552 b33 * b36 - 1424 b33 * b37 - 192 b33 * b38 - 1328 b33 * b39 - 1264 b33 * b40 - 624 b33 * b41 - 112 b33 * b42 - 1424 b33 * b43 - 1424 b34 * b35 - 1568 b34 * b36 - 432 b34 * b37 - 304 b34 * b38 - 96 b34 * b39 - 9.6e2 b34 * b41 - 208 b34 * b42 - 1216 b34 * b43 - 1.04e3 b35 * b36 - 896 b35 * b37 - 816 b35 * b38 - 800 b35 * b39 - 448 b35 * b40 - 592 b35 * b41 - 544 b35 * b42 - 1392 b35 * b43 - 384 b36 * b37 - 1568 b36 * b38 - 752 b36 * b39 - 800 b36 * b40 - 80 b36 * b41 - 912 b36 * b42 - 768 b36 * b43 - 1504 b37 * b38 - 336 b37 * b39 - 496 b37 * b40 - 400 b37 * b41 - 192 b37 * b42 - 608 b37 * b43 - 2.4e2 b38 * b39 - 32 b38 * b40 - 1424 b38 * b41 - 1504 b38 * b42 - 336 b38 * b43 - 1.52e3 b39 * b40 - 1504 b39 * b41 - 528 b39 * b42 - 128 b39 * b43 - 1136 b40 * b41 - 1584 b40 * b42 - 1024 b40 * b43 - 1184 b41 * b42 - 16 b41 * b43 - 704 b42 * b43 - 784 b44 * b45 - 96 b44 * b46 - 576 b44 * b47 - 1072 b44 * b48 - 7.2e2 b44 * b49 - 1488 b44 * b50 - 1488 b44 * b51 - 1008 b44 * b52 - 128 b44 * b53 - 832 b44 * b54 - 864 b44 * b55 - 1024 b44 * b56 - 384 b44 * b57 - 224 b44 * b58 - 64 b44 * b59 - 304 b44 * b60 - 1136 b44 * b61 - 448 b44 * b62 - 208 b44 * b63 - 7.2e2 b45 * b46 - 832 b45 * b47 - 1264 b45 * b48 - 176 b45 * b49 - 6.4e2 b45 * b50 - 192 b45 * b51 - 912 b45 * b52 - 768 b45 * b53 - 272 b45 * b54 - 688 b45 * b55 - 992 b45 * b56 - 384 b45 * b57 - 7.2e2 b45 * b58 - 336 b45 * b59 - 9.6e2 b45 * b60 - 192 b45 * b61 - 1056 b45 * b62 - 848 b45 * b63 - 80 b46 * b47 - 1296 b46 * b48 - 976 b46 * b49 - 1.6e2 b46 * b50 - 1408 b46 * b51 - 1232 b46 * b52 - 544 b46 * b53 - 32 b46 * b54 - 1312 b46 * b55 - 848 b46 * b56 - 416 b46 * b57 - 992 b46 * b58 - 288 b46 * b59 - 1136 b46 * b60 - 224 b46 * b61 - 1552 b46 * b62 - 1312 b46 * b63 - 864 b47 * b48 - 144 b47 * b49 - 1472 b47 * b50 - 8.8e2 b47 * b51 - 1248 b47 * b52 - 1392 b47 * b53 - 1104 b47 * b54 - 32 b47 * b55 - 512 b47 * b56 - 672 b47 * b57 - 224 b47 * b58 - 7.2e2 b47 * b59 - 9.6e2 b47 * b60 - 1072 b47 * b61 - 32 b47 * b62 - 672 b47 * b63 - 1296 b48 * b49 - 1024 b48 * b50 - 1312 b48 * b51 - 928 b48 * b52 - 1568 b48 * b53 - 576 b48 * b54 - 1472 b48 * b55 - 48 b48 * b56 - 992 b48 * b57 - 864 b48 * b58 - 336 b48 * b59 - 1.36e3 b48 * b60 - 1104 b48 * b61 - 1.12e3 b48 * b62 - 3.2e2 b48 * b63 - 1.2e3 b49 * b50 - 1.28e3 b49 * b51 - 192 b49 * b52 - 1312 b49 * b53 - 1.6e2 b49 * b54 - 1584 b49 * b55 - 64 b49 * b56 - 208 b49 * b57 - 1344 b49 * b58 - 1568 b49 * b59 - 432 b49 * b60 - 1296 b49 * b61 - 944 b49 * b62 - 752 b49 * b63 - 1328 b50 * b51 - 848 b50 * b52 - 1.28e3 b50 * b53 - 5.6e2 b50 * b55 - 1.44e3 b50 * b56 - 1568 b50 * b57 - 1136 b50 * b58 - 1328 b50 * b59 - 864 b50 * b60 - 1376 b50 * b61 - 1424 b50 * b62 - 432 b50 * b63 - 1136 b51 * b52 - 1.6e2 b51 * b53 - 1568 b51 * b54 - 1456 b51 * b55 - 1376 b51 * b56 - 4.8e2 b51 * b57 - 8.8e2 b51 * b58 - 3.2e2 b51 * b59 - 6.4e2 b51 * b60 - 112 b51 * b61 - 1216 b51 * b62 - 848 b51 * b63 - 1456 b52 * b53 - 1.2e3 b52 * b54 - 528 b52 * b55 - 1152 b52 * b56 - 544 b52 * b57 - 512 b52 * b58 - 112 b52 * b59 - 1392 b52 * b60 - 1024 b52 * b61 - 112 b52 * b62 - 1184 b52 * b63 - 864 b53 * b54 - 928 b53 * b55 - 1552 b53 * b56 - 1424 b53 * b57 - 192 b53 * b58 - 1328 b53 * b59 - 1264 b53 * b60 - 624 b53 * b61 - 112 b53 * b62 - 1424 b53 * b63 - 1424 b54 * b55 - 1568 b54 * b56 - 432 b54 * b57 - 304 b54 * b58 - 96 b54 * b59 - 9.6e2 b54 * b61 - 208 b54 * b62 - 1216 b54 * b63 - 1.04e3 b55 * b56 - 896 b55 * b57 - 816 b55 * b58 - 800 b55 * b59 - 448 b55 * b60 - 592 b55 * b61 - 544 b55 * b62 - 1392 b55 * b63 - 384 b56 * b57 - 1568 b56 * b58 - 752 b56 * b59 - 800 b56 * b60 - 80 b56 * b61 - 912 b56 * b62 - 768 b56 * b63 - 1504 b57 * b58 - 336 b57 * b59 - 496 b57 * b60 - 400 b57 * b61 - 192 b57 * b62 - 608 b57 * b63 - 2.4e2 b58 * b59 - 32 b58 * b60 - 1424 b58 * b61 - 1504 b58 * b62 - 336 b58 * b63 - 1.52e3 b59 * b60 - 1504 b59 * b61 - 528 b59 * b62 - 128 b59 * b63 - 1136 b60 * b61 - 1584 b60 * b62 - 1024 b60 * b63 - 1184 b61 * b62 - 16 b61 * b63 - 704 b62 * b63 - 7.2e2 b64 * b65 - 832 b64 * b66 - 1264 b64 * b67 - 176 b64 * b68 - 6.4e2 b64 * b69 - 192 b64 * b70 - 912 b64 * b71 - 768 b64 * b72 - 272 b64 * b73 - 688 b64 * b74 - 992 b64 * b75 - 384 b64 * b76 - 7.2e2 b64 * b77 - 336 b64 * b78 - 9.6e2 b64 * b79 - 192 b64 * b80 - 1056 b64 * b81 - 848 b64 * b82 - 80 b65 * b66 - 1296 b65 * b67 - 976 b65 * b68 - 1.6e2 b65 * b69 - 1408 b65 * b70 - 1232 b65 * b71 - 544 b65 * b72 - 32 b65 * b73 - 1312 b65 * b74 - 848 b65 * b75 - 416 b65 * b76 - 992 b65 * b77 - 288 b65 * b78 - 1136 b65 * b79 - 224 b65 * b80 - 1552 b65 * b81 - 1312 b65 * b82 - 864 b66 * b67 - 144 b66 * b68 - 1472 b66 * b69 - 8.8e2 b66 * b70 - 1248 b66 * b71 - 1392 b66 * b72 - 1104 b66 * b73 - 32 b66 * b74 - 512 b66 * b75 - 672 b66 * b76 - 224 b66 * b77 - 7.2e2 b66 * b78 - 9.6e2 b66 * b79 - 1072 b66 * b80 - 32 b66 * b81 - 672 b66 * b82 - 1296 b67 * b68 - 1024 b67 * b69 - 1312 b67 * b70 - 928 b67 * b71 - 1568 b67 * b72 - 576 b67 * b73 - 1472 b67 * b74 - 48 b67 * b75 - 992 b67 * b76 - 864 b67 * b77 - 336 b67 * b78 - 1.36e3 b67 * b79 - 1104 b67 * b80 - 1.12e3 b67 * b81 - 3.2e2 b67 * b82 - 1.2e3 b68 * b69 - 1.28e3 b68 * b70 - 192 b68 * b71 - 1312 b68 * b72 - 1.6e2 b68 * b73 - 1584 b68 * b74 - 64 b68 * b75 - 208 b68 * b76 - 1344 b68 * b77 - 1568 b68 * b78 - 432 b68 * b79 - 1296 b68 * b80 - 944 b68 * b81 - 752 b68 * b82 - 1328 b69 * b70 - 848 b69 * b71 - 1.28e3 b69 * b72 - 5.6e2 b69 * b74 - 1.44e3 b69 * b75 - 1568 b69 * b76 - 1136 b69 * b77 - 1328 b69 * b78 - 864 b69 * b79 - 1376 b69 * b80 - 1424 b69 * b81 - 432 b69 * b82 - 1136 b70 * b71 - 1.6e2 b70 * b72 - 1568 b70 * b73 - 1456 b70 * b74 - 1376 b70 * b75 - 4.8e2 b70 * b76 - 8.8e2 b70 * b77 - 3.2e2 b70 * b78 - 6.4e2 b70 * b79 - 112 b70 * b80 - 1216 b70 * b81 - 848 b70 * b82 - 1456 b71 * b72 - 1.2e3 b71 * b73 - 528 b71 * b74 - 1152 b71 * b75 - 544 b71 * b76 - 512 b71 * b77 - 112 b71 * b78 - 1392 b71 * b79 - 1024 b71 * b80 - 112 b71 * b81 - 1184 b71 * b82 - 864 b72 * b73 - 928 b72 * b74 - 1552 b72 * b75 - 1424 b72 * b76 - 192 b72 * b77 - 1328 b72 * b78 - 1264 b72 * b79 - 624 b72 * b80 - 112 b72 * b81 - 1424 b72 * b82 - 1424 b73 * b74 - 1568 b73 * b75 - 432 b73 * b76 - 304 b73 * b77 - 96 b73 * b78 - 9.6e2 b73 * b80 - 208 b73 * b81 - 1216 b73 * b82 - 1.04e3 b74 * b75 - 896 b74 * b76 - 816 b74 * b77 - 800 b74 * b78 - 448 b74 * b79 - 592 b74 * b80 - 544 b74 * b81 - 1392 b74 * b82 - 384 b75 * b76 - 1568 b75 * b77 - 752 b75 * b78 - 800 b75 * b79 - 80 b75 * b80 - 912 b75 * b81 - 768 b75 * b82 - 1504 b76 * b77 - 336 b76 * b78 - 496 b76 * b79 - 400 b76 * b80 - 192 b76 * b81 - 608 b76 * b82 - 2.4e2 b77 * b78 - 32 b77 * b79 - 1424 b77 * b80 - 1504 b77 * b81 - 336 b77 * b82 - 1.52e3 b78 * b79 - 1504 b78 * b80 - 528 b78 * b81 - 128 b78 * b82 - 1136 b79 * b80 - 1584 b79 * b81 - 1024 b79 * b82 - 1184 b80 * b81 - 16 b80 * b82 - 704 b81 * b82 - 80 b83 * b84 - 1296 b83 * b85 - 976 b83 * b86 - 1.6e2 b83 * b87 - 1408 b83 * b88 - 1232 b83 * b89 - 544 b83 * b90 - 32 b83 * b91 - 1312 b83 * b92 - 848 b83 * b93 - 416 b83 * b94 - 992 b83 * b95 - 288 b83 * b96 - 1136 b83 * b97 - 224 b83 * b98 - 1552 b83 * b99 - 1312 b83 * b100 - 864 b84 * b85 - 144 b84 * b86 - 1472 b84 * b87 - 8.8e2 b84 * b88 - 1248 b84 * b89 - 1392 b84 * b90 - 1104 b84 * b91 - 32 b84 * b92 - 512 b84 * b93 - 672 b84 * b94 - 224 b84 * b95 - 7.2e2 b84 * b96 - 9.6e2 b84 * b97 - 1072 b84 * b98 - 32 b84 * b99 - 672 b84 * b100 - 1296 b85 * b86 - 1024 b85 * b87 - 1312 b85 * b88 - 928 b85 * b89 - 1568 b85 * b90 - 576 b85 * b91 - 1472 b85 * b92 - 48 b85 * b93 - 992 b85 * b94 - 864 b85 * b95 - 336 b85 * b96 - 1.36e3 b85 * b97 - 1104 b85 * b98 - 1.12e3 b85 * b99 - 3.2e2 b85 * b100 - 1.2e3 b86 * b87 - 1.28e3 b86 * b88 - 192 b86 * b89 - 1312 b86 * b90 - 1.6e2 b86 * b91 - 1584 b86 * b92 - 64 b86 * b93 - 208 b86 * b94 - 1344 b86 * b95 - 1568 b86 * b96 - 432 b86 * b97 - 1296 b86 * b98 - 944 b86 * b99 - 752 b86 * b100 - 1328 b87 * b88 - 848 b87 * b89 - 1.28e3 b87 * b90 - 5.6e2 b87 * b92 - 1.44e3 b87 * b93 - 1568 b87 * b94 - 1136 b87 * b95 - 1328 b87 * b96 - 864 b87 * b97 - 1376 b87 * b98 - 1424 b87 * b99 - 432 b87 * b100 - 1136 b88 * b89 - 1.6e2 b88 * b90 - 1568 b88 * b91 - 1456 b88 * b92 - 1376 b88 * b93 - 4.8e2 b88 * b94 - 8.8e2 b88 * b95 - 3.2e2 b88 * b96 - 6.4e2 b88 * b97 - 112 b88 * b98 - 1216 b88 * b99 - 848 b88 * b100 - 1456 b89 * b90 - 1.2e3 b89 * b91 - 528 b89 * b92 - 1152 b89 * b93 - 544 b89 * b94 - 512 b89 * b95 - 112 b89 * b96 - 1392 b89 * b97 - 1024 b89 * b98 - 112 b89 * b99 - 1184 b89 * b100 - 864 b90 * b91 - 928 b90 * b92 - 1552 b90 * b93 - 1424 b90 * b94 - 192 b90 * b95 - 1328 b90 * b96 - 1264 b90 * b97 - 624 b90 * b98 - 112 b90 * b99 - 1424 b90 * b100 - 1424 b91 * b92 - 1568 b91 * b93 - 432 b91 * b94 - 304 b91 * b95 - 96 b91 * b96 - 9.6e2 b91 * b98 - 208 b91 * b99 - 1216 b91 * b100 - 1.04e3 b92 * b93 - 896 b92 * b94 - 816 b92 * b95 - 800 b92 * b96 - 448 b92 * b97 - 592 b92 * b98 - 544 b92 * b99 - 1392 b92 * b100 - 384 b93 * b94 - 1568 b93 * b95 - 752 b93 * b96 - 800 b93 * b97 - 80 b93 * b98 - 912 b93 * b99 - 768 b93 * b100 - 1504 b94 * b95 - 336 b94 * b96 - 496 b94 * b97 - 400 b94 * b98 - 192 b94 * b99 - 608 b94 * b100 - 2.4e2 b95 * b96 - 32 b95 * b97 - 1424 b95 * b98 - 1504 b95 * b99 - 336 b95 * b100 - 1.52e3 b96 * b97 - 1504 b96 * b98 - 528 b96 * b99 - 128 b96 * b100 - 1136 b97 * b98 - 1584 b97 * b99 - 1024 b97 * b100 - 1184 b98 * b99 - 16 b98 * b100 - 704 b99 * b100 - 864 b101 * b102 - 144 b101 * b103 - 1472 b101 * b104 - 8.8e2 b101 * b105 - 1248 b101 * b106 - 1392 b101 * b107 - 1104 b101 * b108 - 32 b101 * b109 - 512 b101 * b110 - 672 b101 * b111 - 224 b101 * b112 - 7.2e2 b101 * b113 - 9.6e2 b101 * b114 - 1072 b101 * b115 - 32 b101 * b116 - 672 b101 * b117 - 1296 b102 * b103 - 1024 b102 * b104 - 1312 b102 * b105 - 928 b102 * b106 - 1568 b102 * b107 - 576 b102 * b108 - 1472 b102 * b109 - 48 b102 * b110 - 992 b102 * b111 - 864 b102 * b112 - 336 b102 * b113 - 1.36e3 b102 * b114 - 1104 b102 * b115 - 1.12e3 b102 * b116 - 3.2e2 b102 * b117 - 1.2e3 b103 * b104 - 1.28e3 b103 * b105 - 192 b103 * b106 - 1312 b103 * b107 - 1.6e2 b103 * b108 - 1584 b103 * b109 - 64 b103 * b110 - 208 b103 * b111 - 1344 b103 * b112 - 1568 b103 * b113 - 432 b103 * b114 - 1296 b103 * b115 - 944 b103 * b116 - 752 b103 * b117 - 1328 b104 * b105 - 848 b104 * b106 - 1.28e3 b104 * b107 - 5.6e2 b104 * b109 - 1.44e3 b104 * b110 - 1568 b104 * b111 - 1136 b104 * b112 - 1328 b104 * b113 - 864 b104 * b114 - 1376 b104 * b115 - 1424 b104 * b116 - 432 b104 * b117 - 1136 b105 * b106 - 1.6e2 b105 * b107 - 1568 b105 * b108 - 1456 b105 * b109 - 1376 b105 * b110 - 4.8e2 b105 * b111 - 8.8e2 b105 * b112 - 3.2e2 b105 * b113 - 6.4e2 b105 * b114 - 112 b105 * b115 - 1216 b105 * b116 - 848 b105 * b117 - 1456 b106 * b107 - 1.2e3 b106 * b108 - 528 b106 * b109 - 1152 b106 * b110 - 544 b106 * b111 - 512 b106 * b112 - 112 b106 * b113 - 1392 b106 * b114 - 1024 b106 * b115 - 112 b106 * b116 - 1184 b106 * b117 - 864 b107 * b108 - 928 b107 * b109 - 1552 b107 * b110 - 1424 b107 * b111 - 192 b107 * b112 - 1328 b107 * b113 - 1264 b107 * b114 - 624 b107 * b115 - 112 b107 * b116 - 1424 b107 * b117 - 1424 b108 * b109 - 1568 b108 * b110 - 432 b108 * b111 - 304 b108 * b112 - 96 b108 * b113 - 9.6e2 b108 * b115 - 208 b108 * b116 - 1216 b108 * b117 - 1.04e3 b109 * b110 - 896 b109 * b111 - 816 b109 * b112 - 800 b109 * b113 - 448 b109 * b114 - 592 b109 * b115 - 544 b109 * b116 - 1392 b109 * b117 - 384 b110 * b111 - 1568 b110 * b112 - 752 b110 * b113 - 800 b110 * b114 - 80 b110 * b115 - 912 b110 * b116 - 768 b110 * b117 - 1504 b111 * b112 - 336 b111 * b113 - 496 b111 * b114 - 400 b111 * b115 - 192 b111 * b116 - 608 b111 * b117 - 2.4e2 b112 * b113 - 32 b112 * b114 - 1424 b112 * b115 - 1504 b112 * b116 - 336 b112 * b117 - 1.52e3 b113 * b114 - 1504 b113 * b115 - 528 b113 * b116 - 128 b113 * b117 - 1136 b114 * b115 - 1584 b114 * b116 - 1024 b114 * b117 - 1184 b115 * b116 - 16 b115 * b117 - 704 b116 * b117 - 1296 b118 * b119 - 1024 b118 * b120 - 1312 b118 * b121 - 928 b118 * b122 - 1568 b118 * b123 - 576 b118 * b124 - 1472 b118 * b125 - 48 b118 * b126 - 992 b118 * b127 - 864 b118 * b128 - 336 b118 * b129 - 1.36e3 b118 * b130 - 1104 b118 * b131 - 1.12e3 b118 * b132 - 3.2e2 b118 * b133 - 1.2e3 b119 * b120 - 1.28e3 b119 * b121 - 192 b119 * b122 - 1312 b119 * b123 - 1.6e2 b119 * b124 - 1584 b119 * b125 - 64 b119 * b126 - 208 b119 * b127 - 1344 b119 * b128 - 1568 b119 * b129 - 432 b119 * b130 - 1296 b119 * b131 - 944 b119 * b132 - 752 b119 * b133 - 1328 b120 * b121 - 848 b120 * b122 - 1.28e3 b120 * b123 - 5.6e2 b120 * b125 - 1.44e3 b120 * b126 - 1568 b120 * b127 - 1136 b120 * b128 - 1328 b120 * b129 - 864 b120 * b130 - 1376 b120 * b131 - 1424 b120 * b132 - 432 b120 * b133 - 1136 b121 * b122 - 1.6e2 b121 * b123 - 1568 b121 * b124 - 1456 b121 * b125 - 1376 b121 * b126 - 4.8e2 b121 * b127 - 8.8e2 b121 * b128 - 3.2e2 b121 * b129 - 6.4e2 b121 * b130 - 112 b121 * b131 - 1216 b121 * b132 - 848 b121 * b133 - 1456 b122 * b123 - 1.2e3 b122 * b124 - 528 b122 * b125 - 1152 b122 * b126 - 544 b122 * b127 - 512 b122 * b128 - 112 b122 * b129 - 1392 b122 * b130 - 1024 b122 * b131 - 112 b122 * b132 - 1184 b122 * b133 - 864 b123 * b124 - 928 b123 * b125 - 1552 b123 * b126 - 1424 b123 * b127 - 192 b123 * b128 - 1328 b123 * b129 - 1264 b123 * b130 - 624 b123 * b131 - 112 b123 * b132 - 1424 b123 * b133 - 1424 b124 * b125 - 1568 b124 * b126 - 432 b124 * b127 - 304 b124 * b128 - 96 b124 * b129 - 9.6e2 b124 * b131 - 208 b124 * b132 - 1216 b124 * b133 - 1.04e3 b125 * b126 - 896 b125 * b127 - 816 b125 * b128 - 800 b125 * b129 - 448 b125 * b130 - 592 b125 * b131 - 544 b125 * b132 - 1392 b125 * b133 - 384 b126 * b127 - 1568 b126 * b128 - 752 b126 * b129 - 800 b126 * b130 - 80 b126 * b131 - 912 b126 * b132 - 768 b126 * b133 - 1504 b127 * b128 - 336 b127 * b129 - 496 b127 * b130 - 400 b127 * b131 - 192 b127 * b132 - 608 b127 * b133 - 2.4e2 b128 * b129 - 32 b128 * b130 - 1424 b128 * b131 - 1504 b128 * b132 - 336 b128 * b133 - 1.52e3 b129 * b130 - 1504 b129 * b131 - 528 b129 * b132 - 128 b129 * b133 - 1136 b130 * b131 - 1584 b130 * b132 - 1024 b130 * b133 - 1184 b131 * b132 - 16 b131 * b133 - 704 b132 * b133 - 1.2e3 b134 * b135 - 1.28e3 b134 * b136 - 192 b134 * b137 - 1312 b134 * b138 - 1.6e2 b134 * b139 - 1584 b134 * b140 - 64 b134 * b141 - 208 b134 * b142 - 1344 b134 * b143 - 1568 b134 * b144 - 432 b134 * b145 - 1296 b134 * b146 - 944 b134 * b147 - 752 b134 * b148 - 1328 b135 * b136 - 848 b135 * b137 - 1.28e3 b135 * b138 - 5.6e2 b135 * b140 - 1.44e3 b135 * b141 - 1568 b135 * b142 - 1136 b135 * b143 - 1328 b135 * b144 - 864 b135 * b145 - 1376 b135 * b146 - 1424 b135 * b147 - 432 b135 * b148 - 1136 b136 * b137 - 1.6e2 b136 * b138 - 1568 b136 * b139 - 1456 b136 * b140 - 1376 b136 * b141 - 4.8e2 b136 * b142 - 8.8e2 b136 * b143 - 3.2e2 b136 * b144 - 6.4e2 b136 * b145 - 112 b136 * b146 - 1216 b136 * b147 - 848 b136 * b148 - 1456 b137 * b138 - 1.2e3 b137 * b139 - 528 b137 * b140 - 1152 b137 * b141 - 544 b137 * b142 - 512 b137 * b143 - 112 b137 * b144 - 1392 b137 * b145 - 1024 b137 * b146 - 112 b137 * b147 - 1184 b137 * b148 - 864 b138 * b139 - 928 b138 * b140 - 1552 b138 * b141 - 1424 b138 * b142 - 192 b138 * b143 - 1328 b138 * b144 - 1264 b138 * b145 - 624 b138 * b146 - 112 b138 * b147 - 1424 b138 * b148 - 1424 b139 * b140 - 1568 b139 * b141 - 432 b139 * b142 - 304 b139 * b143 - 96 b139 * b144 - 9.6e2 b139 * b146 - 208 b139 * b147 - 1216 b139 * b148 - 1.04e3 b140 * b141 - 896 b140 * b142 - 816 b140 * b143 - 800 b140 * b144 - 448 b140 * b145 - 592 b140 * b146 - 544 b140 * b147 - 1392 b140 * b148 - 384 b141 * b142 - 1568 b141 * b143 - 752 b141 * b144 - 800 b141 * b145 - 80 b141 * b146 - 912 b141 * b147 - 768 b141 * b148 - 1504 b142 * b143 - 336 b142 * b144 - 496 b142 * b145 - 400 b142 * b146 - 192 b142 * b147 - 608 b142 * b148 - 2.4e2 b143 * b144 - 32 b143 * b145 - 1424 b143 * b146 - 1504 b143 * b147 - 336 b143 * b148 - 1.52e3 b144 * b145 - 1504 b144 * b146 - 528 b144 * b147 - 128 b144 * b148 - 1136 b145 * b146 - 1584 b145 * b147 - 1024 b145 * b148 - 1184 b146 * b147 - 16 b146 * b148 - 704 b147 * b148 - 1328 b149 * b150 - 848 b149 * b151 - 1.28e3 b149 * b152 - 5.6e2 b149 * b153 - 1.44e3 b149 * b154 - 1568 b149 * b155 - 1136 b149 * b156 - 1328 b149 * b157 - 864 b149 * b158 - 1376 b149 * b159 - 1424 b149 * b160 - 432 b149 * b161 - 1136 b150 * b151 - 1.6e2 b150 * b152 - 1456 b150 * b153 - 1376 b150 * b154 - 4.8e2 b150 * b155 - 8.8e2 b150 * b156 - 3.2e2 b150 * b157 - 6.4e2 b150 * b158 - 112 b150 * b159 - 1216 b150 * b160 - 848 b150 * b161 - 1568 b150 * b162 - 1456 b151 * b152 - 528 b151 * b153 - 1152 b151 * b154 - 544 b151 * b155 - 512 b151 * b156 - 112 b151 * b157 - 1392 b151 * b158 - 1024 b151 * b159 - 112 b151 * b160 - 1184 b151 * b161 - 1.2e3 b151 * b162 - 928 b152 * b153 - 1552 b152 * b154 - 1424 b152 * b155 - 192 b152 * b156 - 1328 b152 * b157 - 1264 b152 * b158 - 624 b152 * b159 - 112 b152 * b160 - 1424 b152 * b161 - 864 b152 * b162 - 1.04e3 b153 * b154 - 896 b153 * b155 - 816 b153 * b156 - 800 b153 * b157 - 448 b153 * b158 - 592 b153 * b159 - 544 b153 * b160 - 1392 b153 * b161 - 1424 b153 * b162 - 384 b154 * b155 - 1568 b154 * b156 - 752 b154 * b157 - 800 b154 * b158 - 80 b154 * b159 - 912 b154 * b160 - 768 b154 * b161 - 1568 b154 * b162 - 1504 b155 * b156 - 336 b155 * b157 - 496 b155 * b158 - 400 b155 * b159 - 192 b155 * b160 - 608 b155 * b161 - 432 b155 * b162 - 2.4e2 b156 * b157 - 32 b156 * b158 - 1424 b156 * b159 - 1504 b156 * b160 - 336 b156 * b161 - 304 b156 * b162 - 1.52e3 b157 * b158 - 1504 b157 * b159 - 528 b157 * b160 - 128 b157 * b161 - 96 b157 * b162 - 1136 b158 * b159 - 1584 b158 * b160 - 1024 b158 * b161 - 1184 b159 * b160 - 16 b159 * b161 - 9.6e2 b159 * b162 - 704 b160 * b161 - 208 b160 * b162 - 1216 b161 * b162 - 1136 b163 * b164 - 1.6e2 b163 * b165 - 1568 b163 * b166 - 1456 b163 * b167 - 1376 b163 * b168 - 4.8e2 b163 * b169 - 8.8e2 b163 * b170 - 3.2e2 b163 * b171 - 6.4e2 b163 * b172 - 112 b163 * b173 - 1216 b163 * b174 - 848 b163 * b175 - 1456 b164 * b165 - 1.2e3 b164 * b166 - 528 b164 * b167 - 1152 b164 * b168 - 544 b164 * b169 - 512 b164 * b170 - 112 b164 * b171 - 1392 b164 * b172 - 1024 b164 * b173 - 112 b164 * b174 - 1184 b164 * b175 - 864 b165 * b166 - 928 b165 * b167 - 1552 b165 * b168 - 1424 b165 * b169 - 192 b165 * b170 - 1328 b165 * b171 - 1264 b165 * b172 - 624 b165 * b173 - 112 b165 * b174 - 1424 b165 * b175 - 1424 b166 * b167 - 1568 b166 * b168 - 432 b166 * b169 - 304 b166 * b170 - 96 b166 * b171 - 9.6e2 b166 * b173 - 208 b166 * b174 - 1216 b166 * b175 - 1.04e3 b167 * b168 - 896 b167 * b169 - 816 b167 * b170 - 800 b167 * b171 - 448 b167 * b172 - 592 b167 * b173 - 544 b167 * b174 - 1392 b167 * b175 - 384 b168 * b169 - 1568 b168 * b170 - 752 b168 * b171 - 800 b168 * b172 - 80 b168 * b173 - 912 b168 * b174 - 768 b168 * b175 - 1504 b169 * b170 - 336 b169 * b171 - 496 b169 * b172 - 400 b169 * b173 - 192 b169 * b174 - 608 b169 * b175 - 2.4e2 b170 * b171 - 32 b170 * b172 - 1424 b170 * b173 - 1504 b170 * b174 - 336 b170 * b175 - 1.52e3 b171 * b172 - 1504 b171 * b173 - 528 b171 * b174 - 128 b171 * b175 - 1136 b172 * b173 - 1584 b172 * b174 - 1024 b172 * b175 - 1184 b173 * b174 - 16 b173 * b175 - 704 b174 * b175 - 1456 b176 * b177 - 1.2e3 b176 * b178 - 528 b176 * b179 - 1152 b176 * b180 - 544 b176 * b181 - 512 b176 * b182 - 112 b176 * b183 - 1392 b176 * b184 - 1024 b176 * b185 - 112 b176 * b186 - 1184 b176 * b187 - 864 b177 * b178 - 928 b177 * b179 - 1552 b177 * b180 - 1424 b177 * b181 - 192 b177 * b182 - 1328 b177 * b183 - 1264 b177 * b184 - 624 b177 * b185 - 112 b177 * b186 - 1424 b177 * b187 - 1424 b178 * b179 - 1568 b178 * b180 - 432 b178 * b181 - 304 b178 * b182 - 96 b178 * b183 - 9.6e2 b178 * b185 - 208 b178 * b186 - 1216 b178 * b187 - 1.04e3 b179 * b180 - 896 b179 * b181 - 816 b179 * b182 - 800 b179 * b183 - 448 b179 * b184 - 592 b179 * b185 - 544 b179 * b186 - 1392 b179 * b187 - 384 b180 * b181 - 1568 b180 * b182 - 752 b180 * b183 - 800 b180 * b184 - 80 b180 * b185 - 912 b180 * b186 - 768 b180 * b187 - 1504 b181 * b182 - 336 b181 * b183 - 496 b181 * b184 - 400 b181 * b185 - 192 b181 * b186 - 608 b181 * b187 - 2.4e2 b182 * b183 - 32 b182 * b184 - 1424 b182 * b185 - 1504 b182 * b186 - 336 b182 * b187 - 1.52e3 b183 * b184 - 1504 b183 * b185 - 528 b183 * b186 - 128 b183 * b187 - 1136 b184 * b185 - 1584 b184 * b186 - 1024 b184 * b187 - 1184 b185 * b186 - 16 b185 * b187 - 704 b186 * b187 - 864 b188 * b189 - 928 b188 * b190 - 1552 b188 * b191 - 1424 b188 * b192 - 192 b188 * b193 - 1328 b188 * b194 - 1264 b188 * b195 - 624 b188 * b196 - 112 b188 * b197 - 1424 b188 * b198 - 1424 b189 * b190 - 1568 b189 * b191 - 432 b189 * b192 - 304 b189 * b193 - 96 b189 * b194 - 9.6e2 b189 * b196 - 208 b189 * b197 - 1216 b189 * b198 - 1.04e3 b190 * b191 - 896 b190 * b192 - 816 b190 * b193 - 800 b190 * b194 - 448 b190 * b195 - 592 b190 * b196 - 544 b190 * b197 - 1392 b190 * b198 - 384 b191 * b192 - 1568 b191 * b193 - 752 b191 * b194 - 800 b191 * b195 - 80 b191 * b196 - 912 b191 * b197 - 768 b191 * b198 - 1504 b192 * b193 - 336 b192 * b194 - 496 b192 * b195 - 400 b192 * b196 - 192 b192 * b197 - 608 b192 * b198 - 2.4e2 b193 * b194 - 32 b193 * b195 - 1424 b193 * b196 - 1504 b193 * b197 - 336 b193 * b198 - 1.52e3 b194 * b195 - 1504 b194 * b196 - 528 b194 * b197 - 128 b194 * b198 - 1136 b195 * b196 - 1584 b195 * b197 - 1024 b195 * b198 - 1184 b196 * b197 - 16 b196 * b198 - 704 b197 * b198 - 1424 b199 * b200 - 1568 b199 * b201 - 432 b199 * b202 - 304 b199 * b203 - 96 b199 * b204 - 9.6e2 b199 * b205 - 208 b199 * b206 - 1216 b199 * b207 - 1.04e3 b200 * b201 - 896 b200 * b202 - 816 b200 * b203 - 800 b200 * b204 - 592 b200 * b205 - 544 b200 * b206 - 1392 b200 * b207 - 448 b200 * b208 - 384 b201 * b202 - 1568 b201 * b203 - 752 b201 * b204 - 80 b201 * b205 - 912 b201 * b206 - 768 b201 * b207 - 800 b201 * b208 - 1504 b202 * b203 - 336 b202 * b204 - 400 b202 * b205 - 192 b202 * b206 - 608 b202 * b207 - 496 b202 * b208 - 2.4e2 b203 * b204 - 1424 b203 * b205 - 1504 b203 * b206 - 336 b203 * b207 - 32 b203 * b208 - 1504 b204 * b205 - 528 b204 * b206 - 128 b204 * b207 - 1.52e3 b204 * b208 - 1184 b205 * b206 - 16 b205 * b207 - 1136 b205 * b208 - 704 b206 * b207 - 1584 b206 * b208 - 1024 b207 * b208 - 1.04e3 b209 * b210 - 896 b209 * b211 - 816 b209 * b212 - 800 b209 * b213 - 448 b209 * b214 - 592 b209 * b215 - 544 b209 * b216 - 1392 b209 * b217 - 384 b210 * b211 - 1568 b210 * b212 - 752 b210 * b213 - 800 b210 * b214 - 80 b210 * b215 - 912 b210 * b216 - 768 b210 * b217 - 1504 b211 * b212 - 336 b211 * b213 - 496 b211 * b214 - 400 b211 * b215 - 192 b211 * b216 - 608 b211 * b217 - 2.4e2 b212 * b213 - 32 b212 * b214 - 1424 b212 * b215 - 1504 b212 * b216 - 336 b212 * b217 - 1.52e3 b213 * b214 - 1504 b213 * b215 - 528 b213 * b216 - 128 b213 * b217 - 1136 b214 * b215 - 1584 b214 * b216 - 1024 b214 * b217 - 1184 b215 * b216 - 16 b215 * b217 - 704 b216 * b217 - 384 b218 * b219 - 1568 b218 * b220 - 752 b218 * b221 - 800 b218 * b222 - 80 b218 * b223 - 912 b218 * b224 - 768 b218 * b225 - 1504 b219 * b220 - 336 b219 * b221 - 496 b219 * b222 - 400 b219 * b223 - 192 b219 * b224 - 608 b219 * b225 - 2.4e2 b220 * b221 - 32 b220 * b222 - 1424 b220 * b223 - 1504 b220 * b224 - 336 b220 * b225 - 1.52e3 b221 * b222 - 1504 b221 * b223 - 528 b221 * b224 - 128 b221 * b225 - 1136 b222 * b223 - 1584 b222 * b224 - 1024 b222 * b225 - 1184 b223 * b224 - 16 b223 * b225 - 704 b224 * b225 - 1504 b226 * b227 - 336 b226 * b228 - 496 b226 * b229 - 400 b226 * b230 - 192 b226 * b231 - 608 b226 * b232 - 2.4e2 b227 * b228 - 32 b227 * b229 - 1424 b227 * b230 - 1504 b227 * b231 - 336 b227 * b232 - 1.52e3 b228 * b229 - 1504 b228 * b230 - 528 b228 * b231 - 128 b228 * b232 - 1136 b229 * b230 - 1584 b229 * b231 - 1024 b229 * b232 - 1184 b230 * b231 - 16 b230 * b232 - 704 b231 * b232 - 2.4e2 b233 * b234 - 32 b233 * b235 - 1424 b233 * b236 - 1504 b233 * b237 - 336 b233 * b238 - 1.52e3 b234 * b235 - 1504 b234 * b236 - 528 b234 * b237 - 128 b234 * b238 - 1136 b235 * b236 - 1584 b235 * b237 - 1024 b235 * b238 - 1184 b236 * b237 - 16 b236 * b238 - 704 b237 * b238 - 1.52e3 b239 * b240 - 1504 b239 * b241 - 528 b239 * b242 - 128 b239 * b243 - 1136 b240 * b241 - 1584 b240 * b242 - 1024 b240 * b243 - 1184 b241 * b242 - 16 b241 * b243 - 704 b242 * b243 - 1136 b244 * b245 - 1584 b244 * b246 - 1024 b244 * b247 - 1184 b245 * b246 - 16 b245 * b247 - 704 b246 * b247 - 1184 b248 * b249 - 16 b248 * b250 - 704 b249 * b250 - 704 b251 * b252 ]/2 Subject To e2: b2 + b23 = 1 e3: b3 + b24 + b44 = 1 e4: b4 + b25 + b45 + b64 = 1 e5: b5 + b26 + b46 + b65 + b83 = 1 e6: b6 + b27 + b47 + b66 + b84 + b101 = 1 e7: b7 + b28 + b48 + b67 + b85 + b102 + b118 = 1 e8: b8 + b29 + b49 + b68 + b86 + b103 + b119 + b134 = 1 e9: b9 + b30 + b50 + b69 + b87 + b104 + b120 + b135 + b149 = 1 e10: b10 + b31 + b51 + b70 + b88 + b105 + b121 + b136 + b150 + b163 = 1 e11: b11 + b32 + b52 + b71 + b89 + b106 + b122 + b137 + b151 + b164 + b176 = 1 e12: b12 + b33 + b53 + b72 + b90 + b107 + b123 + b138 + b152 + b165 + b177 + b188 = 1 e13: b13 + b34 + b54 + b73 + b91 + b108 + b124 + b139 + b162 + b166 + b178 + b189 + b199 = 1 e14: b14 + b35 + b55 + b74 + b92 + b109 + b125 + b140 + b153 + b167 + b179 + b190 + b200 + b209 = 1 e15: b15 + b36 + b56 + b75 + b93 + b110 + b126 + b141 + b154 + b168 + b180 + b191 + b201 + b210 + b218 = 1 e16: b16 + b37 + b57 + b76 + b94 + b111 + b127 + b142 + b155 + b169 + b181 + b192 + b202 + b211 + b219 + b226 = 1 e17: b17 + b38 + b58 + b77 + b95 + b112 + b128 + b143 + b156 + b170 + b182 + b193 + b203 + b212 + b220 + b227 + b233 = 1 e18: b18 + b39 + b59 + b78 + b96 + b113 + b129 + b144 + b157 + b171 + b183 + b194 + b204 + b213 + b221 + b228 + b234 + b239 = 1 e19: b19 + b40 + b60 + b79 + b97 + b114 + b130 + b145 + b158 + b172 + b184 + b195 + b208 + b214 + b222 + b229 + b235 + b240 + b244 = 1 e20: b20 + b41 + b61 + b80 + b98 + b115 + b131 + b146 + b159 + b173 + b185 + b196 + b205 + b215 + b223 + b230 + b236 + b241 + b245 + b248 = 1 e21: b21 + b42 + b62 + b81 + b99 + b116 + b132 + b147 + b160 + b174 + b186 + b197 + b206 + b216 + b224 + b231 + b237 + b242 + b246 + b249 + b251 = 1 e22: b22 + b43 + b63 + b82 + b100 + b117 + b133 + b148 + b161 + b175 + b187 + b198 + b207 + b217 + b225 + b232 + b238 + b243 + b247 + b250 + b252 + b253 = 1 e23: - b23 + b24 <= 0 e24: - b23 + b25 <= 0 e25: - b23 + b26 <= 0 e26: - b23 + b27 <= 0 e27: - b23 + b28 <= 0 e28: - b23 + b29 <= 0 e29: - b23 + b30 <= 0 e30: - b23 + b31 <= 0 e31: - b23 + b32 <= 0 e32: - b23 + b33 <= 0 e33: - b23 + b34 <= 0 e34: - b23 + b35 <= 0 e35: - b23 + b36 <= 0 e36: - b23 + b37 <= 0 e37: - b23 + b38 <= 0 e38: - b23 + b39 <= 0 e39: - b23 + b40 <= 0 e40: - b23 + b41 <= 0 e41: - b23 + b42 <= 0 e42: - b23 + b43 <= 0 e43: - b44 + b45 <= 0 e44: - b44 + b46 <= 0 e45: - b44 + b47 <= 0 e46: - b44 + b48 <= 0 e47: - b44 + b49 <= 0 e48: - b44 + b50 <= 0 e49: - b44 + b51 <= 0 e50: - b44 + b52 <= 0 e51: - b44 + b53 <= 0 e52: - b44 + b54 <= 0 e53: - b44 + b55 <= 0 e54: - b44 + b56 <= 0 e55: - b44 + b57 <= 0 e56: - b44 + b58 <= 0 e57: - b44 + b59 <= 0 e58: - b44 + b60 <= 0 e59: - b44 + b61 <= 0 e60: - b44 + b62 <= 0 e61: - b44 + b63 <= 0 e62: - b64 + b65 <= 0 e63: - b64 + b66 <= 0 e64: - b64 + b67 <= 0 e65: - b64 + b68 <= 0 e66: - b64 + b69 <= 0 e67: - b64 + b70 <= 0 e68: - b64 + b71 <= 0 e69: - b64 + b72 <= 0 e70: - b64 + b73 <= 0 e71: - b64 + b74 <= 0 e72: - b64 + b75 <= 0 e73: - b64 + b76 <= 0 e74: - b64 + b77 <= 0 e75: - b64 + b78 <= 0 e76: - b64 + b79 <= 0 e77: - b64 + b80 <= 0 e78: - b64 + b81 <= 0 e79: - b64 + b82 <= 0 e80: - b83 + b84 <= 0 e81: - b83 + b85 <= 0 e82: - b83 + b86 <= 0 e83: - b83 + b87 <= 0 e84: - b83 + b88 <= 0 e85: - b83 + b89 <= 0 e86: - b83 + b90 <= 0 e87: - b83 + b91 <= 0 e88: - b83 + b92 <= 0 e89: - b83 + b93 <= 0 e90: - b83 + b94 <= 0 e91: - b83 + b95 <= 0 e92: - b83 + b96 <= 0 e93: - b83 + b97 <= 0 e94: - b83 + b98 <= 0 e95: - b83 + b99 <= 0 e96: - b83 + b100 <= 0 e97: - b101 + b102 <= 0 e98: - b101 + b103 <= 0 e99: - b101 + b104 <= 0 e100: - b101 + b105 <= 0 e101: - b101 + b106 <= 0 e102: - b101 + b107 <= 0 e103: - b101 + b108 <= 0 e104: - b101 + b109 <= 0 e105: - b101 + b110 <= 0 e106: - b101 + b111 <= 0 e107: - b101 + b112 <= 0 e108: - b101 + b113 <= 0 e109: - b101 + b114 <= 0 e110: - b101 + b115 <= 0 e111: - b101 + b116 <= 0 e112: - b101 + b117 <= 0 e113: - b118 + b119 <= 0 e114: - b118 + b120 <= 0 e115: - b118 + b121 <= 0 e116: - b118 + b122 <= 0 e117: - b118 + b123 <= 0 e118: - b118 + b124 <= 0 e119: - b118 + b125 <= 0 e120: - b118 + b126 <= 0 e121: - b118 + b127 <= 0 e122: - b118 + b128 <= 0 e123: - b118 + b129 <= 0 e124: - b118 + b130 <= 0 e125: - b118 + b131 <= 0 e126: - b118 + b132 <= 0 e127: - b118 + b133 <= 0 e128: - b134 + b135 <= 0 e129: - b134 + b136 <= 0 e130: - b134 + b137 <= 0 e131: - b134 + b138 <= 0 e132: - b134 + b139 <= 0 e133: - b134 + b140 <= 0 e134: - b134 + b141 <= 0 e135: - b134 + b142 <= 0 e136: - b134 + b143 <= 0 e137: - b134 + b144 <= 0 e138: - b134 + b145 <= 0 e139: - b134 + b146 <= 0 e140: - b134 + b147 <= 0 e141: - b134 + b148 <= 0 e142: - b149 + b150 <= 0 e143: - b149 + b151 <= 0 e144: - b149 + b152 <= 0 e145: - b149 + b162 <= 0 e146: - b149 + b153 <= 0 e147: - b149 + b154 <= 0 e148: - b149 + b155 <= 0 e149: - b149 + b156 <= 0 e150: - b149 + b157 <= 0 e151: - b149 + b158 <= 0 e152: - b149 + b159 <= 0 e153: - b149 + b160 <= 0 e154: - b149 + b161 <= 0 e155: - b163 + b164 <= 0 e156: - b163 + b165 <= 0 e157: - b163 + b166 <= 0 e158: - b163 + b167 <= 0 e159: - b163 + b168 <= 0 e160: - b163 + b169 <= 0 e161: - b163 + b170 <= 0 e162: - b163 + b171 <= 0 e163: - b163 + b172 <= 0 e164: - b163 + b173 <= 0 e165: - b163 + b174 <= 0 e166: - b163 + b175 <= 0 e167: - b176 + b177 <= 0 e168: - b176 + b178 <= 0 e169: - b176 + b179 <= 0 e170: - b176 + b180 <= 0 e171: - b176 + b181 <= 0 e172: - b176 + b182 <= 0 e173: - b176 + b183 <= 0 e174: - b176 + b184 <= 0 e175: - b176 + b185 <= 0 e176: - b176 + b186 <= 0 e177: - b176 + b187 <= 0 e178: - b188 + b189 <= 0 e179: - b188 + b190 <= 0 e180: - b188 + b191 <= 0 e181: - b188 + b192 <= 0 e182: - b188 + b193 <= 0 e183: - b188 + b194 <= 0 e184: - b188 + b195 <= 0 e185: - b188 + b196 <= 0 e186: - b188 + b197 <= 0 e187: - b188 + b198 <= 0 e188: - b199 + b200 <= 0 e189: - b199 + b201 <= 0 e190: - b199 + b202 <= 0 e191: - b199 + b203 <= 0 e192: - b199 + b204 <= 0 e193: - b199 + b208 <= 0 e194: - b199 + b205 <= 0 e195: - b199 + b206 <= 0 e196: - b199 + b207 <= 0 e197: - b209 + b210 <= 0 e198: - b209 + b211 <= 0 e199: - b209 + b212 <= 0 e200: - b209 + b213 <= 0 e201: - b209 + b214 <= 0 e202: - b209 + b215 <= 0 e203: - b209 + b216 <= 0 e204: - b209 + b217 <= 0 e205: - b218 + b219 <= 0 e206: - b218 + b220 <= 0 e207: - b218 + b221 <= 0 e208: - b218 + b222 <= 0 e209: - b218 + b223 <= 0 e210: - b218 + b224 <= 0 e211: - b218 + b225 <= 0 e212: - b226 + b227 <= 0 e213: - b226 + b228 <= 0 e214: - b226 + b229 <= 0 e215: - b226 + b230 <= 0 e216: - b226 + b231 <= 0 e217: - b226 + b232 <= 0 e218: - b233 + b234 <= 0 e219: - b233 + b235 <= 0 e220: - b233 + b236 <= 0 e221: - b233 + b237 <= 0 e222: - b233 + b238 <= 0 e223: - b239 + b240 <= 0 e224: - b239 + b241 <= 0 e225: - b239 + b242 <= 0 e226: - b239 + b243 <= 0 e227: - b244 + b245 <= 0 e228: - b244 + b246 <= 0 e229: - b244 + b247 <= 0 e230: - b248 + b249 <= 0 e231: - b248 + b250 <= 0 e232: - b251 + b252 <= 0 e233: 6.28e3 b2 + 6448 b3 + 6.52e3 b4 + 7376 b5 + 7448 b6 + 9752 b7 + 8.28e3 b8 + 9968 b9 + 9792 b10 + 8528 b11 + 9736 b12 + 6.52e3 b13 + 8.8e3 b14 + 9136 b15 + 6424 b16 + 7776 b17 + 6216 b18 + 8208 b19 + 8e3 b20 + 8184 b21 + 7536 b22 + [ - 24 b2 * b3 - 152 b2 * b4 - 64 b2 * b5 - 704 b2 * b6 - 344 b2 * b7 - 456 b2 * b8 - 184 b2 * b9 - 752 b2 * b10 - 168 b2 * b11 - 576 b2 * b12 - 112 b2 * b13 - 112 b2 * b14 - 696 b2 * b15 - 264 b2 * b16 - 368 b2 * b17 - 64 b2 * b18 - 32 b2 * b19 - 272 b2 * b20 - 496 b2 * b21 - 4.4e2 b2 * b22 - 392 b3 * b4 - 48 b3 * b5 - 288 b3 * b6 - 536 b3 * b7 - 3.6e2 b3 * b8 - 744 b3 * b9 - 744 b3 * b10 - 504 b3 * b11 - 64 b3 * b12 - 416 b3 * b13 - 432 b3 * b14 - 512 b3 * b15 - 192 b3 * b16 - 112 b3 * b17 - 32 b3 * b18 - 152 b3 * b19 - 568 b3 * b20 - 224 b3 * b21 - 104 b3 * b22 - 3.6e2 b4 * b5 - 416 b4 * b6 - 632 b4 * b7 - 88 b4 * b8 - 3.2e2 b4 * b9 - 96 b4 * b10 - 456 b4 * b11 - 384 b4 * b12 - 136 b4 * b13 - 344 b4 * b14 - 496 b4 * b15 - 192 b4 * b16 - 3.6e2 b4 * b17 - 168 b4 * b18 - 4.8e2 b4 * b19 - 96 b4 * b20 - 528 b4 * b21 - 424 b4 * b22 - 40 b5 * b6 - 648 b5 * b7 - 488 b5 * b8 - 80 b5 * b9 - 704 b5 * b10 - 616 b5 * b11 - 272 b5 * b12 - 16 b5 * b13 - 656 b5 * b14 - 424 b5 * b15 - 208 b5 * b16 - 496 b5 * b17 - 144 b5 * b18 - 568 b5 * b19 - 112 b5 * b20 - 776 b5 * b21 - 656 b5 * b22 - 432 b6 * b7 - 72 b6 * b8 - 736 b6 * b9 - 4.4e2 b6 * b10 - 624 b6 * b11 - 696 b6 * b12 - 552 b6 * b13 - 16 b6 * b14 - 256 b6 * b15 - 336 b6 * b16 - 112 b6 * b17 - 3.6e2 b6 * b18 - 4.8e2 b6 * b19 - 536 b6 * b20 - 16 b6 * b21 - 336 b6 * b22 - 648 b7 * b8 - 512 b7 * b9 - 656 b7 * b10 - 464 b7 * b11 - 784 b7 * b12 - 288 b7 * b13 - 736 b7 * b14 - 24 b7 * b15 - 496 b7 * b16 - 432 b7 * b17 - 168 b7 * b18 - 6.8e2 b7 * b19 - 552 b7 * b20 - 5.6e2 b7 * b21 - 1.6e2 b7 * b22 - 600 b8 * b9 - 6.4e2 b8 * b10 - 96 b8 * b11 - 656 b8 * b12 - 80 b8 * b13 - 792 b8 * b14 - 32 b8 * b15 - 104 b8 * b16 - 672 b8 * b17 - 784 b8 * b18 - 216 b8 * b19 - 648 b8 * b20 - 472 b8 * b21 - 376 b8 * b22 - 664 b9 * b10 - 424 b9 * b11 - 6.4e2 b9 * b12 - 2.8e2 b9 * b14 - 7.2e2 b9 * b15 - 784 b9 * b16 - 568 b9 * b17 - 664 b9 * b18 - 432 b9 * b19 - 688 b9 * b20 - 712 b9 * b21 - 216 b9 * b22 - 568 b10 * b11 - 80 b10 * b12 - 784 b10 * b13 - 728 b10 * b14 - 688 b10 * b15 - 2.4e2 b10 * b16 - 4.4e2 b10 * b17 - 1.6e2 b10 * b18 - 3.2e2 b10 * b19 - 56 b10 * b20 - 608 b10 * b21 - 424 b10 * b22 - 728 b11 * b12 - 600 b11 * b13 - 264 b11 * b14 - 576 b11 * b15 - 272 b11 * b16 - 256 b11 * b17 - 56 b11 * b18 - 696 b11 * b19 - 512 b11 * b20 - 56 b11 * b21 - 592 b11 * b22 - 432 b12 * b13 - 464 b12 * b14 - 776 b12 * b15 - 712 b12 * b16 - 96 b12 * b17 - 664 b12 * b18 - 632 b12 * b19 - 312 b12 * b20 - 56 b12 * b21 - 712 b12 * b22 - 712 b13 * b14 - 784 b13 * b15 - 216 b13 * b16 - 152 b13 * b17 - 48 b13 * b18 - 4.8e2 b13 * b20 - 104 b13 * b21 - 608 b13 * b22 - 5.2e2 b14 * b15 - 448 b14 * b16 - 408 b14 * b17 - 400 b14 * b18 - 224 b14 * b19 - 296 b14 * b20 - 272 b14 * b21 - 696 b14 * b22 - 192 b15 * b16 - 784 b15 * b17 - 376 b15 * b18 - 400 b15 * b19 - 40 b15 * b20 - 456 b15 * b21 - 384 b15 * b22 - 752 b16 * b17 - 168 b16 * b18 - 248 b16 * b19 - 200 b16 * b20 - 96 b16 * b21 - 304 b16 * b22 - 1.2e2 b17 * b18 - 16 b17 * b19 - 712 b17 * b20 - 752 b17 * b21 - 168 b17 * b22 - 7.6e2 b18 * b19 - 752 b18 * b20 - 264 b18 * b21 - 64 b18 * b22 - 568 b19 * b20 - 792 b19 * b21 - 512 b19 * b22 - 592 b20 * b21 - 8 b20 * b22 - 352 b21 * b22 ] <= 27089 e234: - 29081 b23 + 6776 b24 + 7024 b25 + 7912 b26 + 7696 b27 + 9.92e3 b28 + 8848 b29 + 10672 b30 + 10216 b31 + 8928 b32 + 1.024e4 b33 + 7256 b34 + 9032 b35 + 9.28e3 b36 + 7112 b37 + 8232 b38 + 6.8e3 b39 + 8352 b40 + 8.12e3 b41 + 8656 b42 + 7848 b43 + [ - 24 b23 * b24 - 152 b23 * b25 - 64 b23 * b26 - 704 b23 * b27 - 344 b23 * b28 - 456 b23 * b29 - 184 b23 * b30 - 752 b23 * b31 - 168 b23 * b32 - 576 b23 * b33 - 112 b23 * b34 - 112 b23 * b35 - 696 b23 * b36 - 264 b23 * b37 - 368 b23 * b38 - 64 b23 * b39 - 32 b23 * b40 - 272 b23 * b41 - 496 b23 * b42 - 4.4e2 b23 * b43 - 392 b24 * b25 - 48 b24 * b26 - 288 b24 * b27 - 536 b24 * b28 - 3.6e2 b24 * b29 - 744 b24 * b30 - 744 b24 * b31 - 504 b24 * b32 - 64 b24 * b33 - 416 b24 * b34 - 432 b24 * b35 - 512 b24 * b36 - 192 b24 * b37 - 112 b24 * b38 - 32 b24 * b39 - 152 b24 * b40 - 568 b24 * b41 - 224 b24 * b42 - 104 b24 * b43 - 3.6e2 b25 * b26 - 416 b25 * b27 - 632 b25 * b28 - 88 b25 * b29 - 3.2e2 b25 * b30 - 96 b25 * b31 - 456 b25 * b32 - 384 b25 * b33 - 136 b25 * b34 - 344 b25 * b35 - 496 b25 * b36 - 192 b25 * b37 - 3.6e2 b25 * b38 - 168 b25 * b39 - 4.8e2 b25 * b40 - 96 b25 * b41 - 528 b25 * b42 - 424 b25 * b43 - 40 b26 * b27 - 648 b26 * b28 - 488 b26 * b29 - 80 b26 * b30 - 704 b26 * b31 - 616 b26 * b32 - 272 b26 * b33 - 16 b26 * b34 - 656 b26 * b35 - 424 b26 * b36 - 208 b26 * b37 - 496 b26 * b38 - 144 b26 * b39 - 568 b26 * b40 - 112 b26 * b41 - 776 b26 * b42 - 656 b26 * b43 - 432 b27 * b28 - 72 b27 * b29 - 736 b27 * b30 - 4.4e2 b27 * b31 - 624 b27 * b32 - 696 b27 * b33 - 552 b27 * b34 - 16 b27 * b35 - 256 b27 * b36 - 336 b27 * b37 - 112 b27 * b38 - 3.6e2 b27 * b39 - 4.8e2 b27 * b40 - 536 b27 * b41 - 16 b27 * b42 - 336 b27 * b43 - 648 b28 * b29 - 512 b28 * b30 - 656 b28 * b31 - 464 b28 * b32 - 784 b28 * b33 - 288 b28 * b34 - 736 b28 * b35 - 24 b28 * b36 - 496 b28 * b37 - 432 b28 * b38 - 168 b28 * b39 - 6.8e2 b28 * b40 - 552 b28 * b41 - 5.6e2 b28 * b42 - 1.6e2 b28 * b43 - 600 b29 * b30 - 6.4e2 b29 * b31 - 96 b29 * b32 - 656 b29 * b33 - 80 b29 * b34 - 792 b29 * b35 - 32 b29 * b36 - 104 b29 * b37 - 672 b29 * b38 - 784 b29 * b39 - 216 b29 * b40 - 648 b29 * b41 - 472 b29 * b42 - 376 b29 * b43 - 664 b30 * b31 - 424 b30 * b32 - 6.4e2 b30 * b33 - 2.8e2 b30 * b35 - 7.2e2 b30 * b36 - 784 b30 * b37 - 568 b30 * b38 - 664 b30 * b39 - 432 b30 * b40 - 688 b30 * b41 - 712 b30 * b42 - 216 b30 * b43 - 568 b31 * b32 - 80 b31 * b33 - 784 b31 * b34 - 728 b31 * b35 - 688 b31 * b36 - 2.4e2 b31 * b37 - 4.4e2 b31 * b38 - 1.6e2 b31 * b39 - 3.2e2 b31 * b40 - 56 b31 * b41 - 608 b31 * b42 - 424 b31 * b43 - 728 b32 * b33 - 600 b32 * b34 - 264 b32 * b35 - 576 b32 * b36 - 272 b32 * b37 - 256 b32 * b38 - 56 b32 * b39 - 696 b32 * b40 - 512 b32 * b41 - 56 b32 * b42 - 592 b32 * b43 - 432 b33 * b34 - 464 b33 * b35 - 776 b33 * b36 - 712 b33 * b37 - 96 b33 * b38 - 664 b33 * b39 - 632 b33 * b40 - 312 b33 * b41 - 56 b33 * b42 - 712 b33 * b43 - 712 b34 * b35 - 784 b34 * b36 - 216 b34 * b37 - 152 b34 * b38 - 48 b34 * b39 - 4.8e2 b34 * b41 - 104 b34 * b42 - 608 b34 * b43 - 5.2e2 b35 * b36 - 448 b35 * b37 - 408 b35 * b38 - 400 b35 * b39 - 224 b35 * b40 - 296 b35 * b41 - 272 b35 * b42 - 696 b35 * b43 - 192 b36 * b37 - 784 b36 * b38 - 376 b36 * b39 - 400 b36 * b40 - 40 b36 * b41 - 456 b36 * b42 - 384 b36 * b43 - 752 b37 * b38 - 168 b37 * b39 - 248 b37 * b40 - 200 b37 * b41 - 96 b37 * b42 - 304 b37 * b43 - 1.2e2 b38 * b39 - 16 b38 * b40 - 712 b38 * b41 - 752 b38 * b42 - 168 b38 * b43 - 7.6e2 b39 * b40 - 752 b39 * b41 - 264 b39 * b42 - 64 b39 * b43 - 568 b40 * b41 - 792 b40 * b42 - 512 b40 * b43 - 592 b41 * b42 - 8 b41 * b43 - 352 b42 * b43 ] <= 0 e235: - 29129 b44 + 7024 b45 + 7912 b46 + 7696 b47 + 9.92e3 b48 + 8848 b49 + 10672 b50 + 10216 b51 + 8928 b52 + 1.024e4 b53 + 7256 b54 + 9032 b55 + 9.28e3 b56 + 7112 b57 + 8232 b58 + 6.8e3 b59 + 8352 b60 + 8.12e3 b61 + 8656 b62 + 7848 b63 + [ - 392 b44 * b45 - 48 b44 * b46 - 288 b44 * b47 - 536 b44 * b48 - 3.6e2 b44 * b49 - 744 b44 * b50 - 744 b44 * b51 - 504 b44 * b52 - 64 b44 * b53 - 416 b44 * b54 - 432 b44 * b55 - 512 b44 * b56 - 192 b44 * b57 - 112 b44 * b58 - 32 b44 * b59 - 152 b44 * b60 - 568 b44 * b61 - 224 b44 * b62 - 104 b44 * b63 - 3.6e2 b45 * b46 - 416 b45 * b47 - 632 b45 * b48 - 88 b45 * b49 - 3.2e2 b45 * b50 - 96 b45 * b51 - 456 b45 * b52 - 384 b45 * b53 - 136 b45 * b54 - 344 b45 * b55 - 496 b45 * b56 - 192 b45 * b57 - 3.6e2 b45 * b58 - 168 b45 * b59 - 4.8e2 b45 * b60 - 96 b45 * b61 - 528 b45 * b62 - 424 b45 * b63 - 40 b46 * b47 - 648 b46 * b48 - 488 b46 * b49 - 80 b46 * b50 - 704 b46 * b51 - 616 b46 * b52 - 272 b46 * b53 - 16 b46 * b54 - 656 b46 * b55 - 424 b46 * b56 - 208 b46 * b57 - 496 b46 * b58 - 144 b46 * b59 - 568 b46 * b60 - 112 b46 * b61 - 776 b46 * b62 - 656 b46 * b63 - 432 b47 * b48 - 72 b47 * b49 - 736 b47 * b50 - 4.4e2 b47 * b51 - 624 b47 * b52 - 696 b47 * b53 - 552 b47 * b54 - 16 b47 * b55 - 256 b47 * b56 - 336 b47 * b57 - 112 b47 * b58 - 3.6e2 b47 * b59 - 4.8e2 b47 * b60 - 536 b47 * b61 - 16 b47 * b62 - 336 b47 * b63 - 648 b48 * b49 - 512 b48 * b50 - 656 b48 * b51 - 464 b48 * b52 - 784 b48 * b53 - 288 b48 * b54 - 736 b48 * b55 - 24 b48 * b56 - 496 b48 * b57 - 432 b48 * b58 - 168 b48 * b59 - 6.8e2 b48 * b60 - 552 b48 * b61 - 5.6e2 b48 * b62 - 1.6e2 b48 * b63 - 600 b49 * b50 - 6.4e2 b49 * b51 - 96 b49 * b52 - 656 b49 * b53 - 80 b49 * b54 - 792 b49 * b55 - 32 b49 * b56 - 104 b49 * b57 - 672 b49 * b58 - 784 b49 * b59 - 216 b49 * b60 - 648 b49 * b61 - 472 b49 * b62 - 376 b49 * b63 - 664 b50 * b51 - 424 b50 * b52 - 6.4e2 b50 * b53 - 2.8e2 b50 * b55 - 7.2e2 b50 * b56 - 784 b50 * b57 - 568 b50 * b58 - 664 b50 * b59 - 432 b50 * b60 - 688 b50 * b61 - 712 b50 * b62 - 216 b50 * b63 - 568 b51 * b52 - 80 b51 * b53 - 784 b51 * b54 - 728 b51 * b55 - 688 b51 * b56 - 2.4e2 b51 * b57 - 4.4e2 b51 * b58 - 1.6e2 b51 * b59 - 3.2e2 b51 * b60 - 56 b51 * b61 - 608 b51 * b62 - 424 b51 * b63 - 728 b52 * b53 - 600 b52 * b54 - 264 b52 * b55 - 576 b52 * b56 - 272 b52 * b57 - 256 b52 * b58 - 56 b52 * b59 - 696 b52 * b60 - 512 b52 * b61 - 56 b52 * b62 - 592 b52 * b63 - 432 b53 * b54 - 464 b53 * b55 - 776 b53 * b56 - 712 b53 * b57 - 96 b53 * b58 - 664 b53 * b59 - 632 b53 * b60 - 312 b53 * b61 - 56 b53 * b62 - 712 b53 * b63 - 712 b54 * b55 - 784 b54 * b56 - 216 b54 * b57 - 152 b54 * b58 - 48 b54 * b59 - 4.8e2 b54 * b61 - 104 b54 * b62 - 608 b54 * b63 - 5.2e2 b55 * b56 - 448 b55 * b57 - 408 b55 * b58 - 400 b55 * b59 - 224 b55 * b60 - 296 b55 * b61 - 272 b55 * b62 - 696 b55 * b63 - 192 b56 * b57 - 784 b56 * b58 - 376 b56 * b59 - 400 b56 * b60 - 40 b56 * b61 - 456 b56 * b62 - 384 b56 * b63 - 752 b57 * b58 - 168 b57 * b59 - 248 b57 * b60 - 200 b57 * b61 - 96 b57 * b62 - 304 b57 * b63 - 1.2e2 b58 * b59 - 16 b58 * b60 - 712 b58 * b61 - 752 b58 * b62 - 168 b58 * b63 - 7.6e2 b59 * b60 - 752 b59 * b61 - 264 b59 * b62 - 64 b59 * b63 - 568 b60 * b61 - 792 b60 * b62 - 512 b60 * b63 - 592 b61 * b62 - 8 b61 * b63 - 352 b62 * b63 ] <= 0 e236: - 28881 b64 + 7912 b65 + 7696 b66 + 9.92e3 b67 + 8848 b68 + 10672 b69 + 10216 b70 + 8928 b71 + 1.024e4 b72 + 7256 b73 + 9032 b74 + 9.28e3 b75 + 7112 b76 + 8232 b77 + 6.8e3 b78 + 8352 b79 + 8.12e3 b80 + 8656 b81 + 7848 b82 + [ - 3.6e2 b64 * b65 - 416 b64 * b66 - 632 b64 * b67 - 88 b64 * b68 - 3.2e2 b64 * b69 - 96 b64 * b70 - 456 b64 * b71 - 384 b64 * b72 - 136 b64 * b73 - 344 b64 * b74 - 496 b64 * b75 - 192 b64 * b76 - 3.6e2 b64 * b77 - 168 b64 * b78 - 4.8e2 b64 * b79 - 96 b64 * b80 - 528 b64 * b81 - 424 b64 * b82 - 40 b65 * b66 - 648 b65 * b67 - 488 b65 * b68 - 80 b65 * b69 - 704 b65 * b70 - 616 b65 * b71 - 272 b65 * b72 - 16 b65 * b73 - 656 b65 * b74 - 424 b65 * b75 - 208 b65 * b76 - 496 b65 * b77 - 144 b65 * b78 - 568 b65 * b79 - 112 b65 * b80 - 776 b65 * b81 - 656 b65 * b82 - 432 b66 * b67 - 72 b66 * b68 - 736 b66 * b69 - 4.4e2 b66 * b70 - 624 b66 * b71 - 696 b66 * b72 - 552 b66 * b73 - 16 b66 * b74 - 256 b66 * b75 - 336 b66 * b76 - 112 b66 * b77 - 3.6e2 b66 * b78 - 4.8e2 b66 * b79 - 536 b66 * b80 - 16 b66 * b81 - 336 b66 * b82 - 648 b67 * b68 - 512 b67 * b69 - 656 b67 * b70 - 464 b67 * b71 - 784 b67 * b72 - 288 b67 * b73 - 736 b67 * b74 - 24 b67 * b75 - 496 b67 * b76 - 432 b67 * b77 - 168 b67 * b78 - 6.8e2 b67 * b79 - 552 b67 * b80 - 5.6e2 b67 * b81 - 1.6e2 b67 * b82 - 600 b68 * b69 - 6.4e2 b68 * b70 - 96 b68 * b71 - 656 b68 * b72 - 80 b68 * b73 - 792 b68 * b74 - 32 b68 * b75 - 104 b68 * b76 - 672 b68 * b77 - 784 b68 * b78 - 216 b68 * b79 - 648 b68 * b80 - 472 b68 * b81 - 376 b68 * b82 - 664 b69 * b70 - 424 b69 * b71 - 6.4e2 b69 * b72 - 2.8e2 b69 * b74 - 7.2e2 b69 * b75 - 784 b69 * b76 - 568 b69 * b77 - 664 b69 * b78 - 432 b69 * b79 - 688 b69 * b80 - 712 b69 * b81 - 216 b69 * b82 - 568 b70 * b71 - 80 b70 * b72 - 784 b70 * b73 - 728 b70 * b74 - 688 b70 * b75 - 2.4e2 b70 * b76 - 4.4e2 b70 * b77 - 1.6e2 b70 * b78 - 3.2e2 b70 * b79 - 56 b70 * b80 - 608 b70 * b81 - 424 b70 * b82 - 728 b71 * b72 - 600 b71 * b73 - 264 b71 * b74 - 576 b71 * b75 - 272 b71 * b76 - 256 b71 * b77 - 56 b71 * b78 - 696 b71 * b79 - 512 b71 * b80 - 56 b71 * b81 - 592 b71 * b82 - 432 b72 * b73 - 464 b72 * b74 - 776 b72 * b75 - 712 b72 * b76 - 96 b72 * b77 - 664 b72 * b78 - 632 b72 * b79 - 312 b72 * b80 - 56 b72 * b81 - 712 b72 * b82 - 712 b73 * b74 - 784 b73 * b75 - 216 b73 * b76 - 152 b73 * b77 - 48 b73 * b78 - 4.8e2 b73 * b80 - 104 b73 * b81 - 608 b73 * b82 - 5.2e2 b74 * b75 - 448 b74 * b76 - 408 b74 * b77 - 400 b74 * b78 - 224 b74 * b79 - 296 b74 * b80 - 272 b74 * b81 - 696 b74 * b82 - 192 b75 * b76 - 784 b75 * b77 - 376 b75 * b78 - 400 b75 * b79 - 40 b75 * b80 - 456 b75 * b81 - 384 b75 * b82 - 752 b76 * b77 - 168 b76 * b78 - 248 b76 * b79 - 200 b76 * b80 - 96 b76 * b81 - 304 b76 * b82 - 1.2e2 b77 * b78 - 16 b77 * b79 - 712 b77 * b80 - 752 b77 * b81 - 168 b77 * b82 - 7.6e2 b78 * b79 - 752 b78 * b80 - 264 b78 * b81 - 64 b78 * b82 - 568 b79 * b80 - 792 b79 * b81 - 512 b79 * b82 - 592 b80 * b81 - 8 b80 * b82 - 352 b81 * b82 ] <= 0 e237: - 27993 b83 + 7696 b84 + 9.92e3 b85 + 8848 b86 + 10672 b87 + 10216 b88 + 8928 b89 + 1.024e4 b90 + 7256 b91 + 9032 b92 + 9.28e3 b93 + 7112 b94 + 8232 b95 + 6.8e3 b96 + 8352 b97 + 8.12e3 b98 + 8656 b99 + 7848 b100 + [ - 40 b83 * b84 - 648 b83 * b85 - 488 b83 * b86 - 80 b83 * b87 - 704 b83 * b88 - 616 b83 * b89 - 272 b83 * b90 - 16 b83 * b91 - 656 b83 * b92 - 424 b83 * b93 - 208 b83 * b94 - 496 b83 * b95 - 144 b83 * b96 - 568 b83 * b97 - 112 b83 * b98 - 776 b83 * b99 - 656 b83 * b100 - 432 b84 * b85 - 72 b84 * b86 - 736 b84 * b87 - 4.4e2 b84 * b88 - 624 b84 * b89 - 696 b84 * b90 - 552 b84 * b91 - 16 b84 * b92 - 256 b84 * b93 - 336 b84 * b94 - 112 b84 * b95 - 3.6e2 b84 * b96 - 4.8e2 b84 * b97 - 536 b84 * b98 - 16 b84 * b99 - 336 b84 * b100 - 648 b85 * b86 - 512 b85 * b87 - 656 b85 * b88 - 464 b85 * b89 - 784 b85 * b90 - 288 b85 * b91 - 736 b85 * b92 - 24 b85 * b93 - 496 b85 * b94 - 432 b85 * b95 - 168 b85 * b96 - 6.8e2 b85 * b97 - 552 b85 * b98 - 5.6e2 b85 * b99 - 1.6e2 b85 * b100 - 600 b86 * b87 - 6.4e2 b86 * b88 - 96 b86 * b89 - 656 b86 * b90 - 80 b86 * b91 - 792 b86 * b92 - 32 b86 * b93 - 104 b86 * b94 - 672 b86 * b95 - 784 b86 * b96 - 216 b86 * b97 - 648 b86 * b98 - 472 b86 * b99 - 376 b86 * b100 - 664 b87 * b88 - 424 b87 * b89 - 6.4e2 b87 * b90 - 2.8e2 b87 * b92 - 7.2e2 b87 * b93 - 784 b87 * b94 - 568 b87 * b95 - 664 b87 * b96 - 432 b87 * b97 - 688 b87 * b98 - 712 b87 * b99 - 216 b87 * b100 - 568 b88 * b89 - 80 b88 * b90 - 784 b88 * b91 - 728 b88 * b92 - 688 b88 * b93 - 2.4e2 b88 * b94 - 4.4e2 b88 * b95 - 1.6e2 b88 * b96 - 3.2e2 b88 * b97 - 56 b88 * b98 - 608 b88 * b99 - 424 b88 * b100 - 728 b89 * b90 - 600 b89 * b91 - 264 b89 * b92 - 576 b89 * b93 - 272 b89 * b94 - 256 b89 * b95 - 56 b89 * b96 - 696 b89 * b97 - 512 b89 * b98 - 56 b89 * b99 - 592 b89 * b100 - 432 b90 * b91 - 464 b90 * b92 - 776 b90 * b93 - 712 b90 * b94 - 96 b90 * b95 - 664 b90 * b96 - 632 b90 * b97 - 312 b90 * b98 - 56 b90 * b99 - 712 b90 * b100 - 712 b91 * b92 - 784 b91 * b93 - 216 b91 * b94 - 152 b91 * b95 - 48 b91 * b96 - 4.8e2 b91 * b98 - 104 b91 * b99 - 608 b91 * b100 - 5.2e2 b92 * b93 - 448 b92 * b94 - 408 b92 * b95 - 400 b92 * b96 - 224 b92 * b97 - 296 b92 * b98 - 272 b92 * b99 - 696 b92 * b100 - 192 b93 * b94 - 784 b93 * b95 - 376 b93 * b96 - 400 b93 * b97 - 40 b93 * b98 - 456 b93 * b99 - 384 b93 * b100 - 752 b94 * b95 - 168 b94 * b96 - 248 b94 * b97 - 200 b94 * b98 - 96 b94 * b99 - 304 b94 * b100 - 1.2e2 b95 * b96 - 16 b95 * b97 - 712 b95 * b98 - 752 b95 * b99 - 168 b95 * b100 - 7.6e2 b96 * b97 - 752 b96 * b98 - 264 b96 * b99 - 64 b96 * b100 - 568 b97 * b98 - 792 b97 * b99 - 512 b97 * b100 - 592 b98 * b99 - 8 b98 * b100 - 352 b99 * b100 ] <= 0 e238: - 28209 b101 + 9.92e3 b102 + 8848 b103 + 10672 b104 + 10216 b105 + 8928 b106 + 1.024e4 b107 + 7256 b108 + 9032 b109 + 9.28e3 b110 + 7112 b111 + 8232 b112 + 6.8e3 b113 + 8352 b114 + 8.12e3 b115 + 8656 b116 + 7848 b117 + [ - 432 b101 * b102 - 72 b101 * b103 - 736 b101 * b104 - 4.4e2 b101 * b105 - 624 b101 * b106 - 696 b101 * b107 - 552 b101 * b108 - 16 b101 * b109 - 256 b101 * b110 - 336 b101 * b111 - 112 b101 * b112 - 3.6e2 b101 * b113 - 4.8e2 b101 * b114 - 536 b101 * b115 - 16 b101 * b116 - 336 b101 * b117 - 648 b102 * b103 - 512 b102 * b104 - 656 b102 * b105 - 464 b102 * b106 - 784 b102 * b107 - 288 b102 * b108 - 736 b102 * b109 - 24 b102 * b110 - 496 b102 * b111 - 432 b102 * b112 - 168 b102 * b113 - 6.8e2 b102 * b114 - 552 b102 * b115 - 5.6e2 b102 * b116 - 1.6e2 b102 * b117 - 600 b103 * b104 - 6.4e2 b103 * b105 - 96 b103 * b106 - 656 b103 * b107 - 80 b103 * b108 - 792 b103 * b109 - 32 b103 * b110 - 104 b103 * b111 - 672 b103 * b112 - 784 b103 * b113 - 216 b103 * b114 - 648 b103 * b115 - 472 b103 * b116 - 376 b103 * b117 - 664 b104 * b105 - 424 b104 * b106 - 6.4e2 b104 * b107 - 2.8e2 b104 * b109 - 7.2e2 b104 * b110 - 784 b104 * b111 - 568 b104 * b112 - 664 b104 * b113 - 432 b104 * b114 - 688 b104 * b115 - 712 b104 * b116 - 216 b104 * b117 - 568 b105 * b106 - 80 b105 * b107 - 784 b105 * b108 - 728 b105 * b109 - 688 b105 * b110 - 2.4e2 b105 * b111 - 4.4e2 b105 * b112 - 1.6e2 b105 * b113 - 3.2e2 b105 * b114 - 56 b105 * b115 - 608 b105 * b116 - 424 b105 * b117 - 728 b106 * b107 - 600 b106 * b108 - 264 b106 * b109 - 576 b106 * b110 - 272 b106 * b111 - 256 b106 * b112 - 56 b106 * b113 - 696 b106 * b114 - 512 b106 * b115 - 56 b106 * b116 - 592 b106 * b117 - 432 b107 * b108 - 464 b107 * b109 - 776 b107 * b110 - 712 b107 * b111 - 96 b107 * b112 - 664 b107 * b113 - 632 b107 * b114 - 312 b107 * b115 - 56 b107 * b116 - 712 b107 * b117 - 712 b108 * b109 - 784 b108 * b110 - 216 b108 * b111 - 152 b108 * b112 - 48 b108 * b113 - 4.8e2 b108 * b115 - 104 b108 * b116 - 608 b108 * b117 - 5.2e2 b109 * b110 - 448 b109 * b111 - 408 b109 * b112 - 400 b109 * b113 - 224 b109 * b114 - 296 b109 * b115 - 272 b109 * b116 - 696 b109 * b117 - 192 b110 * b111 - 784 b110 * b112 - 376 b110 * b113 - 400 b110 * b114 - 40 b110 * b115 - 456 b110 * b116 - 384 b110 * b117 - 752 b111 * b112 - 168 b111 * b113 - 248 b111 * b114 - 200 b111 * b115 - 96 b111 * b116 - 304 b111 * b117 - 1.2e2 b112 * b113 - 16 b112 * b114 - 712 b112 * b115 - 752 b112 * b116 - 168 b112 * b117 - 7.6e2 b113 * b114 - 752 b113 * b115 - 264 b113 * b116 - 64 b113 * b117 - 568 b114 * b115 - 792 b114 * b116 - 512 b114 * b117 - 592 b115 * b116 - 8 b115 * b117 - 352 b116 * b117 ] <= 0 e239: - 25985 b118 + 8848 b119 + 10672 b120 + 10216 b121 + 8928 b122 + 1.024e4 b123 + 7256 b124 + 9032 b125 + 9.28e3 b126 + 7112 b127 + 8232 b128 + 6.8e3 b129 + 8352 b130 + 8.12e3 b131 + 8656 b132 + 7848 b133 + [ - 648 b118 * b119 - 512 b118 * b120 - 656 b118 * b121 - 464 b118 * b122 - 784 b118 * b123 - 288 b118 * b124 - 736 b118 * b125 - 24 b118 * b126 - 496 b118 * b127 - 432 b118 * b128 - 168 b118 * b129 - 6.8e2 b118 * b130 - 552 b118 * b131 - 5.6e2 b118 * b132 - 1.6e2 b118 * b133 - 600 b119 * b120 - 6.4e2 b119 * b121 - 96 b119 * b122 - 656 b119 * b123 - 80 b119 * b124 - 792 b119 * b125 - 32 b119 * b126 - 104 b119 * b127 - 672 b119 * b128 - 784 b119 * b129 - 216 b119 * b130 - 648 b119 * b131 - 472 b119 * b132 - 376 b119 * b133 - 664 b120 * b121 - 424 b120 * b122 - 6.4e2 b120 * b123 - 2.8e2 b120 * b125 - 7.2e2 b120 * b126 - 784 b120 * b127 - 568 b120 * b128 - 664 b120 * b129 - 432 b120 * b130 - 688 b120 * b131 - 712 b120 * b132 - 216 b120 * b133 - 568 b121 * b122 - 80 b121 * b123 - 784 b121 * b124 - 728 b121 * b125 - 688 b121 * b126 - 2.4e2 b121 * b127 - 4.4e2 b121 * b128 - 1.6e2 b121 * b129 - 3.2e2 b121 * b130 - 56 b121 * b131 - 608 b121 * b132 - 424 b121 * b133 - 728 b122 * b123 - 600 b122 * b124 - 264 b122 * b125 - 576 b122 * b126 - 272 b122 * b127 - 256 b122 * b128 - 56 b122 * b129 - 696 b122 * b130 - 512 b122 * b131 - 56 b122 * b132 - 592 b122 * b133 - 432 b123 * b124 - 464 b123 * b125 - 776 b123 * b126 - 712 b123 * b127 - 96 b123 * b128 - 664 b123 * b129 - 632 b123 * b130 - 312 b123 * b131 - 56 b123 * b132 - 712 b123 * b133 - 712 b124 * b125 - 784 b124 * b126 - 216 b124 * b127 - 152 b124 * b128 - 48 b124 * b129 - 4.8e2 b124 * b131 - 104 b124 * b132 - 608 b124 * b133 - 5.2e2 b125 * b126 - 448 b125 * b127 - 408 b125 * b128 - 400 b125 * b129 - 224 b125 * b130 - 296 b125 * b131 - 272 b125 * b132 - 696 b125 * b133 - 192 b126 * b127 - 784 b126 * b128 - 376 b126 * b129 - 400 b126 * b130 - 40 b126 * b131 - 456 b126 * b132 - 384 b126 * b133 - 752 b127 * b128 - 168 b127 * b129 - 248 b127 * b130 - 200 b127 * b131 - 96 b127 * b132 - 304 b127 * b133 - 1.2e2 b128 * b129 - 16 b128 * b130 - 712 b128 * b131 - 752 b128 * b132 - 168 b128 * b133 - 7.6e2 b129 * b130 - 752 b129 * b131 - 264 b129 * b132 - 64 b129 * b133 - 568 b130 * b131 - 792 b130 * b132 - 512 b130 * b133 - 592 b131 * b132 - 8 b131 * b133 - 352 b132 * b133 ] <= 0 e240: - 27057 b134 + 10672 b135 + 10216 b136 + 8928 b137 + 1.024e4 b138 + 7256 b139 + 9032 b140 + 9.28e3 b141 + 7112 b142 + 8232 b143 + 6.8e3 b144 + 8352 b145 + 8.12e3 b146 + 8656 b147 + 7848 b148 + [ - 600 b134 * b135 - 6.4e2 b134 * b136 - 96 b134 * b137 - 656 b134 * b138 - 80 b134 * b139 - 792 b134 * b140 - 32 b134 * b141 - 104 b134 * b142 - 672 b134 * b143 - 784 b134 * b144 - 216 b134 * b145 - 648 b134 * b146 - 472 b134 * b147 - 376 b134 * b148 - 664 b135 * b136 - 424 b135 * b137 - 6.4e2 b135 * b138 - 2.8e2 b135 * b140 - 7.2e2 b135 * b141 - 784 b135 * b142 - 568 b135 * b143 - 664 b135 * b144 - 432 b135 * b145 - 688 b135 * b146 - 712 b135 * b147 - 216 b135 * b148 - 568 b136 * b137 - 80 b136 * b138 - 784 b136 * b139 - 728 b136 * b140 - 688 b136 * b141 - 2.4e2 b136 * b142 - 4.4e2 b136 * b143 - 1.6e2 b136 * b144 - 3.2e2 b136 * b145 - 56 b136 * b146 - 608 b136 * b147 - 424 b136 * b148 - 728 b137 * b138 - 600 b137 * b139 - 264 b137 * b140 - 576 b137 * b141 - 272 b137 * b142 - 256 b137 * b143 - 56 b137 * b144 - 696 b137 * b145 - 512 b137 * b146 - 56 b137 * b147 - 592 b137 * b148 - 432 b138 * b139 - 464 b138 * b140 - 776 b138 * b141 - 712 b138 * b142 - 96 b138 * b143 - 664 b138 * b144 - 632 b138 * b145 - 312 b138 * b146 - 56 b138 * b147 - 712 b138 * b148 - 712 b139 * b140 - 784 b139 * b141 - 216 b139 * b142 - 152 b139 * b143 - 48 b139 * b144 - 4.8e2 b139 * b146 - 104 b139 * b147 - 608 b139 * b148 - 5.2e2 b140 * b141 - 448 b140 * b142 - 408 b140 * b143 - 400 b140 * b144 - 224 b140 * b145 - 296 b140 * b146 - 272 b140 * b147 - 696 b140 * b148 - 192 b141 * b142 - 784 b141 * b143 - 376 b141 * b144 - 400 b141 * b145 - 40 b141 * b146 - 456 b141 * b147 - 384 b141 * b148 - 752 b142 * b143 - 168 b142 * b144 - 248 b142 * b145 - 200 b142 * b146 - 96 b142 * b147 - 304 b142 * b148 - 1.2e2 b143 * b144 - 16 b143 * b145 - 712 b143 * b146 - 752 b143 * b147 - 168 b143 * b148 - 7.6e2 b144 * b145 - 752 b144 * b146 - 264 b144 * b147 - 64 b144 * b148 - 568 b145 * b146 - 792 b145 * b147 - 512 b145 * b148 - 592 b146 * b147 - 8 b146 * b148 - 352 b147 * b148 ] <= 0 e241: - 25233 b149 + 10216 b150 + 8928 b151 + 1.024e4 b152 + 9032 b153 + 9.28e3 b154 + 7112 b155 + 8232 b156 + 6.8e3 b157 + 8352 b158 + 8.12e3 b159 + 8656 b160 + 7848 b161 + 7256 b162 + [ - 664 b149 * b150 - 424 b149 * b151 - 6.4e2 b149 * b152 - 2.8e2 b149 * b153 - 7.2e2 b149 * b154 - 784 b149 * b155 - 568 b149 * b156 - 664 b149 * b157 - 432 b149 * b158 - 688 b149 * b159 - 712 b149 * b160 - 216 b149 * b161 - 568 b150 * b151 - 80 b150 * b152 - 728 b150 * b153 - 688 b150 * b154 - 2.4e2 b150 * b155 - 4.4e2 b150 * b156 - 1.6e2 b150 * b157 - 3.2e2 b150 * b158 - 56 b150 * b159 - 608 b150 * b160 - 424 b150 * b161 - 784 b150 * b162 - 728 b151 * b152 - 264 b151 * b153 - 576 b151 * b154 - 272 b151 * b155 - 256 b151 * b156 - 56 b151 * b157 - 696 b151 * b158 - 512 b151 * b159 - 56 b151 * b160 - 592 b151 * b161 - 600 b151 * b162 - 464 b152 * b153 - 776 b152 * b154 - 712 b152 * b155 - 96 b152 * b156 - 664 b152 * b157 - 632 b152 * b158 - 312 b152 * b159 - 56 b152 * b160 - 712 b152 * b161 - 432 b152 * b162 - 5.2e2 b153 * b154 - 448 b153 * b155 - 408 b153 * b156 - 400 b153 * b157 - 224 b153 * b158 - 296 b153 * b159 - 272 b153 * b160 - 696 b153 * b161 - 712 b153 * b162 - 192 b154 * b155 - 784 b154 * b156 - 376 b154 * b157 - 400 b154 * b158 - 40 b154 * b159 - 456 b154 * b160 - 384 b154 * b161 - 784 b154 * b162 - 752 b155 * b156 - 168 b155 * b157 - 248 b155 * b158 - 200 b155 * b159 - 96 b155 * b160 - 304 b155 * b161 - 216 b155 * b162 - 1.2e2 b156 * b157 - 16 b156 * b158 - 712 b156 * b159 - 752 b156 * b160 - 168 b156 * b161 - 152 b156 * b162 - 7.6e2 b157 * b158 - 752 b157 * b159 - 264 b157 * b160 - 64 b157 * b161 - 48 b157 * b162 - 568 b158 * b159 - 792 b158 * b160 - 512 b158 * b161 - 592 b159 * b160 - 8 b159 * b161 - 4.8e2 b159 * b162 - 352 b160 * b161 - 104 b160 * b162 - 608 b161 * b162 ] <= 0 e242: - 25689 b163 + 8928 b164 + 1.024e4 b165 + 7256 b166 + 9032 b167 + 9.28e3 b168 + 7112 b169 + 8232 b170 + 6.8e3 b171 + 8352 b172 + 8.12e3 b173 + 8656 b174 + 7848 b175 + [ - 568 b163 * b164 - 80 b163 * b165 - 784 b163 * b166 - 728 b163 * b167 - 688 b163 * b168 - 2.4e2 b163 * b169 - 4.4e2 b163 * b170 - 1.6e2 b163 * b171 - 3.2e2 b163 * b172 - 56 b163 * b173 - 608 b163 * b174 - 424 b163 * b175 - 728 b164 * b165 - 600 b164 * b166 - 264 b164 * b167 - 576 b164 * b168 - 272 b164 * b169 - 256 b164 * b170 - 56 b164 * b171 - 696 b164 * b172 - 512 b164 * b173 - 56 b164 * b174 - 592 b164 * b175 - 432 b165 * b166 - 464 b165 * b167 - 776 b165 * b168 - 712 b165 * b169 - 96 b165 * b170 - 664 b165 * b171 - 632 b165 * b172 - 312 b165 * b173 - 56 b165 * b174 - 712 b165 * b175 - 712 b166 * b167 - 784 b166 * b168 - 216 b166 * b169 - 152 b166 * b170 - 48 b166 * b171 - 4.8e2 b166 * b173 - 104 b166 * b174 - 608 b166 * b175 - 5.2e2 b167 * b168 - 448 b167 * b169 - 408 b167 * b170 - 400 b167 * b171 - 224 b167 * b172 - 296 b167 * b173 - 272 b167 * b174 - 696 b167 * b175 - 192 b168 * b169 - 784 b168 * b170 - 376 b168 * b171 - 400 b168 * b172 - 40 b168 * b173 - 456 b168 * b174 - 384 b168 * b175 - 752 b169 * b170 - 168 b169 * b171 - 248 b169 * b172 - 200 b169 * b173 - 96 b169 * b174 - 304 b169 * b175 - 1.2e2 b170 * b171 - 16 b170 * b172 - 712 b170 * b173 - 752 b170 * b174 - 168 b170 * b175 - 7.6e2 b171 * b172 - 752 b171 * b173 - 264 b171 * b174 - 64 b171 * b175 - 568 b172 * b173 - 792 b172 * b174 - 512 b172 * b175 - 592 b173 * b174 - 8 b173 * b175 - 352 b174 * b175 ] <= 0 e243: - 26977 b176 + 1.024e4 b177 + 7256 b178 + 9032 b179 + 9.28e3 b180 + 7112 b181 + 8232 b182 + 6.8e3 b183 + 8352 b184 + 8.12e3 b185 + 8656 b186 + 7848 b187 + [ - 728 b176 * b177 - 600 b176 * b178 - 264 b176 * b179 - 576 b176 * b180 - 272 b176 * b181 - 256 b176 * b182 - 56 b176 * b183 - 696 b176 * b184 - 512 b176 * b185 - 56 b176 * b186 - 592 b176 * b187 - 432 b177 * b178 - 464 b177 * b179 - 776 b177 * b180 - 712 b177 * b181 - 96 b177 * b182 - 664 b177 * b183 - 632 b177 * b184 - 312 b177 * b185 - 56 b177 * b186 - 712 b177 * b187 - 712 b178 * b179 - 784 b178 * b180 - 216 b178 * b181 - 152 b178 * b182 - 48 b178 * b183 - 4.8e2 b178 * b185 - 104 b178 * b186 - 608 b178 * b187 - 5.2e2 b179 * b180 - 448 b179 * b181 - 408 b179 * b182 - 400 b179 * b183 - 224 b179 * b184 - 296 b179 * b185 - 272 b179 * b186 - 696 b179 * b187 - 192 b180 * b181 - 784 b180 * b182 - 376 b180 * b183 - 400 b180 * b184 - 40 b180 * b185 - 456 b180 * b186 - 384 b180 * b187 - 752 b181 * b182 - 168 b181 * b183 - 248 b181 * b184 - 200 b181 * b185 - 96 b181 * b186 - 304 b181 * b187 - 1.2e2 b182 * b183 - 16 b182 * b184 - 712 b182 * b185 - 752 b182 * b186 - 168 b182 * b187 - 7.6e2 b183 * b184 - 752 b183 * b185 - 264 b183 * b186 - 64 b183 * b187 - 568 b184 * b185 - 792 b184 * b186 - 512 b184 * b187 - 592 b185 * b186 - 8 b185 * b187 - 352 b186 * b187 ] <= 0 e244: - 25665 b188 + 7256 b189 + 9032 b190 + 9.28e3 b191 + 7112 b192 + 8232 b193 + 6.8e3 b194 + 8352 b195 + 8.12e3 b196 + 8656 b197 + 7848 b198 + [ - 432 b188 * b189 - 464 b188 * b190 - 776 b188 * b191 - 712 b188 * b192 - 96 b188 * b193 - 664 b188 * b194 - 632 b188 * b195 - 312 b188 * b196 - 56 b188 * b197 - 712 b188 * b198 - 712 b189 * b190 - 784 b189 * b191 - 216 b189 * b192 - 152 b189 * b193 - 48 b189 * b194 - 4.8e2 b189 * b196 - 104 b189 * b197 - 608 b189 * b198 - 5.2e2 b190 * b191 - 448 b190 * b192 - 408 b190 * b193 - 400 b190 * b194 - 224 b190 * b195 - 296 b190 * b196 - 272 b190 * b197 - 696 b190 * b198 - 192 b191 * b192 - 784 b191 * b193 - 376 b191 * b194 - 400 b191 * b195 - 40 b191 * b196 - 456 b191 * b197 - 384 b191 * b198 - 752 b192 * b193 - 168 b192 * b194 - 248 b192 * b195 - 200 b192 * b196 - 96 b192 * b197 - 304 b192 * b198 - 1.2e2 b193 * b194 - 16 b193 * b195 - 712 b193 * b196 - 752 b193 * b197 - 168 b193 * b198 - 7.6e2 b194 * b195 - 752 b194 * b196 - 264 b194 * b197 - 64 b194 * b198 - 568 b195 * b196 - 792 b195 * b197 - 512 b195 * b198 - 592 b196 * b197 - 8 b196 * b198 - 352 b197 * b198 ] <= 0 e245: - 28649 b199 + 9032 b200 + 9.28e3 b201 + 7112 b202 + 8232 b203 + 6.8e3 b204 + 8.12e3 b205 + 8656 b206 + 7848 b207 + 8352 b208 + [ - 712 b199 * b200 - 784 b199 * b201 - 216 b199 * b202 - 152 b199 * b203 - 48 b199 * b204 - 4.8e2 b199 * b205 - 104 b199 * b206 - 608 b199 * b207 - 5.2e2 b200 * b201 - 448 b200 * b202 - 408 b200 * b203 - 400 b200 * b204 - 296 b200 * b205 - 272 b200 * b206 - 696 b200 * b207 - 224 b200 * b208 - 192 b201 * b202 - 784 b201 * b203 - 376 b201 * b204 - 40 b201 * b205 - 456 b201 * b206 - 384 b201 * b207 - 400 b201 * b208 - 752 b202 * b203 - 168 b202 * b204 - 200 b202 * b205 - 96 b202 * b206 - 304 b202 * b207 - 248 b202 * b208 - 1.2e2 b203 * b204 - 712 b203 * b205 - 752 b203 * b206 - 168 b203 * b207 - 16 b203 * b208 - 752 b204 * b205 - 264 b204 * b206 - 64 b204 * b207 - 7.6e2 b204 * b208 - 592 b205 * b206 - 8 b205 * b207 - 568 b205 * b208 - 352 b206 * b207 - 792 b206 * b208 - 512 b207 * b208 ] <= 0 e246: - 26873 b209 + 9.28e3 b210 + 7112 b211 + 8232 b212 + 6.8e3 b213 + 8352 b214 + 8.12e3 b215 + 8656 b216 + 7848 b217 + [ - 5.2e2 b209 * b210 - 448 b209 * b211 - 408 b209 * b212 - 400 b209 * b213 - 224 b209 * b214 - 296 b209 * b215 - 272 b209 * b216 - 696 b209 * b217 - 192 b210 * b211 - 784 b210 * b212 - 376 b210 * b213 - 400 b210 * b214 - 40 b210 * b215 - 456 b210 * b216 - 384 b210 * b217 - 752 b211 * b212 - 168 b211 * b213 - 248 b211 * b214 - 200 b211 * b215 - 96 b211 * b216 - 304 b211 * b217 - 1.2e2 b212 * b213 - 16 b212 * b214 - 712 b212 * b215 - 752 b212 * b216 - 168 b212 * b217 - 7.6e2 b213 * b214 - 752 b213 * b215 - 264 b213 * b216 - 64 b213 * b217 - 568 b214 * b215 - 792 b214 * b216 - 512 b214 * b217 - 592 b215 * b216 - 8 b215 * b217 - 352 b216 * b217 ] <= 0 e247: - 26625 b218 + 7112 b219 + 8232 b220 + 6.8e3 b221 + 8352 b222 + 8.12e3 b223 + 8656 b224 + 7848 b225 + [ - 192 b218 * b219 - 784 b218 * b220 - 376 b218 * b221 - 400 b218 * b222 - 40 b218 * b223 - 456 b218 * b224 - 384 b218 * b225 - 752 b219 * b220 - 168 b219 * b221 - 248 b219 * b222 - 200 b219 * b223 - 96 b219 * b224 - 304 b219 * b225 - 1.2e2 b220 * b221 - 16 b220 * b222 - 712 b220 * b223 - 752 b220 * b224 - 168 b220 * b225 - 7.6e2 b221 * b222 - 752 b221 * b223 - 264 b221 * b224 - 64 b221 * b225 - 568 b222 * b223 - 792 b222 * b224 - 512 b222 * b225 - 592 b223 * b224 - 8 b223 * b225 - 352 b224 * b225 ] <= 0 e248: - 28793 b226 + 8232 b227 + 6.8e3 b228 + 8352 b229 + 8.12e3 b230 + 8656 b231 + 7848 b232 + [ - 752 b226 * b227 - 168 b226 * b228 - 248 b226 * b229 - 200 b226 * b230 - 96 b226 * b231 - 304 b226 * b232 - 1.2e2 b227 * b228 - 16 b227 * b229 - 712 b227 * b230 - 752 b227 * b231 - 168 b227 * b232 - 7.6e2 b228 * b229 - 752 b228 * b230 - 264 b228 * b231 - 64 b228 * b232 - 568 b229 * b230 - 792 b229 * b231 - 512 b229 * b232 - 592 b230 * b231 - 8 b230 * b232 - 352 b231 * b232 ] <= 0 e249: - 27673 b233 + 6.8e3 b234 + 8352 b235 + 8.12e3 b236 + 8656 b237 + 7848 b238 + [ - 1.2e2 b233 * b234 - 16 b233 * b235 - 712 b233 * b236 - 752 b233 * b237 - 168 b233 * b238 - 7.6e2 b234 * b235 - 752 b234 * b236 - 264 b234 * b237 - 64 b234 * b238 - 568 b235 * b236 - 792 b235 * b237 - 512 b235 * b238 - 592 b236 * b237 - 8 b236 * b238 - 352 b237 * b238 ] <= 0 e250: - 29105 b239 + 8352 b240 + 8.12e3 b241 + 8656 b242 + 7848 b243 + [ - 7.6e2 b239 * b240 - 752 b239 * b241 - 264 b239 * b242 - 64 b239 * b243 - 568 b240 * b241 - 792 b240 * b242 - 512 b240 * b243 - 592 b241 * b242 - 8 b241 * b243 - 352 b242 * b243 ] <= 0 e251: - 27553 b244 + 8.12e3 b245 + 8656 b246 + 7848 b247 + [ - 568 b244 * b245 - 792 b244 * b246 - 512 b244 * b247 - 592 b245 * b246 - 8 b245 * b247 - 352 b246 * b247 ] <= 0 e252: - 27785 b248 + 8656 b249 + 7848 b250 + [ - 592 b248 * b249 - 8 b248 * b250 - 352 b249 * b250 ] <= 0 e253: - 27249 b251 + 7848 b252 + [ - 352 b251 * b252 ] <= 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 End