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