\ Equation counts \ Total E G L N X C B \ 60 60 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 180 0 180 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 360 180 180 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + [ 2 b1 * b4 + 4 b1 * b7 + 6 b1 * b10 + 8 b1 * b13 + 10 b1 * b16 + 12 b1 * b19 + 14 b1 * b22 + 16 b1 * b25 + 18 b1 * b28 + 20 b1 * b31 + 22 b1 * b34 + 24 b1 * b37 + 26 b1 * b40 + 28 b1 * b43 + 30 b1 * b46 + 32 b1 * b49 + 34 b1 * b52 + 36 b1 * b55 + 38 b1 * b58 + 40 b1 * b61 + 42 b1 * b64 + 44 b1 * b67 + 46 b1 * b70 + 48 b1 * b73 + 50 b1 * b76 + 52 b1 * b79 + 54 b1 * b82 + 56 b1 * b85 + 58 b1 * b88 + 60 b1 * b91 + 62 b1 * b94 + 64 b1 * b97 + 66 b1 * b100 + 68 b1 * b103 + 70 b1 * b106 + 72 b1 * b109 + 74 b1 * b112 + 76 b1 * b115 + 78 b1 * b118 + 80 b1 * b121 + 82 b1 * b124 + 84 b1 * b127 + 86 b1 * b130 + 88 b1 * b133 + 90 b1 * b136 + 92 b1 * b139 + 94 b1 * b142 + 96 b1 * b145 + 98 b1 * b148 + 100 b1 * b151 + 102 b1 * b154 + 104 b1 * b157 + 106 b1 * b160 + 108 b1 * b163 + 1.1e2 b1 * b166 + 112 b1 * b169 + 114 b1 * b172 + 116 b1 * b175 + 118 b1 * b178 + 2 b2 * b5 + 4 b2 * b8 + 6 b2 * b11 + 8 b2 * b14 + 10 b2 * b17 + 12 b2 * b20 + 14 b2 * b23 + 16 b2 * b26 + 18 b2 * b29 + 20 b2 * b32 + 22 b2 * b35 + 24 b2 * b38 + 26 b2 * b41 + 28 b2 * b44 + 30 b2 * b47 + 32 b2 * b50 + 34 b2 * b53 + 36 b2 * b56 + 38 b2 * b59 + 40 b2 * b62 + 42 b2 * b65 + 44 b2 * b68 + 46 b2 * b71 + 48 b2 * b74 + 50 b2 * b77 + 52 b2 * b80 + 54 b2 * b83 + 56 b2 * b86 + 58 b2 * b89 + 60 b2 * b92 + 62 b2 * b95 + 64 b2 * b98 + 66 b2 * b101 + 68 b2 * b104 + 70 b2 * b107 + 72 b2 * b110 + 74 b2 * b113 + 76 b2 * b116 + 78 b2 * b119 + 80 b2 * b122 + 82 b2 * b125 + 84 b2 * b128 + 86 b2 * b131 + 88 b2 * b134 + 90 b2 * b137 + 92 b2 * b140 + 94 b2 * b143 + 96 b2 * b146 + 98 b2 * b149 + 100 b2 * b152 + 102 b2 * b155 + 104 b2 * b158 + 106 b2 * b161 + 108 b2 * b164 + 1.1e2 b2 * b167 + 112 b2 * b170 + 114 b2 * b173 + 116 b2 * b176 + 118 b2 * b179 + 2 b3 * b6 + 4 b3 * b9 + 6 b3 * b12 + 8 b3 * b15 + 10 b3 * b18 + 12 b3 * b21 + 14 b3 * b24 + 16 b3 * b27 + 18 b3 * b30 + 20 b3 * b33 + 22 b3 * b36 + 24 b3 * b39 + 26 b3 * b42 + 28 b3 * b45 + 30 b3 * b48 + 32 b3 * b51 + 34 b3 * b54 + 36 b3 * b57 + 38 b3 * b60 + 40 b3 * b63 + 42 b3 * b66 + 44 b3 * b69 + 46 b3 * b72 + 48 b3 * b75 + 50 b3 * b78 + 52 b3 * b81 + 54 b3 * b84 + 56 b3 * b87 + 58 b3 * b90 + 60 b3 * b93 + 62 b3 * b96 + 64 b3 * b99 + 66 b3 * b102 + 68 b3 * b105 + 70 b3 * b108 + 72 b3 * b111 + 74 b3 * b114 + 76 b3 * b117 + 78 b3 * b120 + 80 b3 * b123 + 82 b3 * b126 + 84 b3 * b129 + 86 b3 * b132 + 88 b3 * b135 + 90 b3 * b138 + 92 b3 * b141 + 94 b3 * b144 + 96 b3 * b147 + 98 b3 * b150 + 100 b3 * b153 + 102 b3 * b156 + 104 b3 * b159 + 106 b3 * b162 + 108 b3 * b165 + 1.1e2 b3 * b168 + 112 b3 * b171 + 114 b3 * b174 + 116 b3 * b177 + 118 b3 * b180 + 2 b4 * b7 + 4 b4 * b10 + 6 b4 * b13 + 8 b4 * b16 + 10 b4 * b19 + 12 b4 * b22 + 14 b4 * b25 + 16 b4 * b28 + 18 b4 * b31 + 20 b4 * b34 + 22 b4 * b37 + 24 b4 * b40 + 26 b4 * b43 + 28 b4 * b46 + 30 b4 * b49 + 32 b4 * b52 + 34 b4 * b55 + 36 b4 * b58 + 38 b4 * b61 + 40 b4 * b64 + 42 b4 * b67 + 44 b4 * b70 + 46 b4 * b73 + 48 b4 * b76 + 50 b4 * b79 + 52 b4 * b82 + 54 b4 * b85 + 56 b4 * b88 + 58 b4 * b91 + 60 b4 * b94 + 62 b4 * b97 + 64 b4 * b100 + 66 b4 * b103 + 68 b4 * b106 + 70 b4 * b109 + 72 b4 * b112 + 74 b4 * b115 + 76 b4 * b118 + 78 b4 * b121 + 80 b4 * b124 + 82 b4 * b127 + 84 b4 * b130 + 86 b4 * b133 + 88 b4 * b136 + 90 b4 * b139 + 92 b4 * b142 + 94 b4 * b145 + 96 b4 * b148 + 98 b4 * b151 + 100 b4 * b154 + 102 b4 * b157 + 104 b4 * b160 + 106 b4 * b163 + 108 b4 * b166 + 1.1e2 b4 * b169 + 112 b4 * b172 + 114 b4 * b175 + 116 b4 * b178 + 2 b5 * b8 + 4 b5 * b11 + 6 b5 * b14 + 8 b5 * b17 + 10 b5 * b20 + 12 b5 * b23 + 14 b5 * b26 + 16 b5 * b29 + 18 b5 * b32 + 20 b5 * b35 + 22 b5 * b38 + 24 b5 * b41 + 26 b5 * b44 + 28 b5 * b47 + 30 b5 * b50 + 32 b5 * b53 + 34 b5 * b56 + 36 b5 * b59 + 38 b5 * b62 + 40 b5 * b65 + 42 b5 * b68 + 44 b5 * b71 + 46 b5 * b74 + 48 b5 * b77 + 50 b5 * b80 + 52 b5 * b83 + 54 b5 * b86 + 56 b5 * b89 + 58 b5 * b92 + 60 b5 * b95 + 62 b5 * b98 + 64 b5 * b101 + 66 b5 * b104 + 68 b5 * b107 + 70 b5 * b110 + 72 b5 * b113 + 74 b5 * b116 + 76 b5 * b119 + 78 b5 * b122 + 80 b5 * b125 + 82 b5 * b128 + 84 b5 * b131 + 86 b5 * b134 + 88 b5 * b137 + 90 b5 * b140 + 92 b5 * b143 + 94 b5 * b146 + 96 b5 * b149 + 98 b5 * b152 + 100 b5 * b155 + 102 b5 * b158 + 104 b5 * b161 + 106 b5 * b164 + 108 b5 * b167 + 1.1e2 b5 * b170 + 112 b5 * b173 + 114 b5 * b176 + 116 b5 * b179 + 2 b6 * b9 + 4 b6 * b12 + 6 b6 * b15 + 8 b6 * b18 + 10 b6 * b21 + 12 b6 * b24 + 14 b6 * b27 + 16 b6 * b30 + 18 b6 * b33 + 20 b6 * b36 + 22 b6 * b39 + 24 b6 * b42 + 26 b6 * b45 + 28 b6 * b48 + 30 b6 * b51 + 32 b6 * b54 + 34 b6 * b57 + 36 b6 * b60 + 38 b6 * b63 + 40 b6 * b66 + 42 b6 * b69 + 44 b6 * b72 + 46 b6 * b75 + 48 b6 * b78 + 50 b6 * b81 + 52 b6 * b84 + 54 b6 * b87 + 56 b6 * b90 + 58 b6 * b93 + 60 b6 * b96 + 62 b6 * b99 + 64 b6 * b102 + 66 b6 * b105 + 68 b6 * b108 + 70 b6 * b111 + 72 b6 * b114 + 74 b6 * b117 + 76 b6 * b120 + 78 b6 * b123 + 80 b6 * b126 + 82 b6 * b129 + 84 b6 * b132 + 86 b6 * b135 + 88 b6 * b138 + 90 b6 * b141 + 92 b6 * b144 + 94 b6 * b147 + 96 b6 * b150 + 98 b6 * b153 + 100 b6 * b156 + 102 b6 * b159 + 104 b6 * b162 + 106 b6 * b165 + 108 b6 * b168 + 1.1e2 b6 * b171 + 112 b6 * b174 + 114 b6 * b177 + 116 b6 * b180 + 2 b7 * b10 + 4 b7 * b13 + 6 b7 * b16 + 8 b7 * b19 + 10 b7 * b22 + 12 b7 * b25 + 14 b7 * b28 + 16 b7 * b31 + 18 b7 * b34 + 20 b7 * b37 + 22 b7 * b40 + 24 b7 * b43 + 26 b7 * b46 + 28 b7 * b49 + 30 b7 * b52 + 32 b7 * b55 + 34 b7 * b58 + 36 b7 * b61 + 38 b7 * b64 + 40 b7 * b67 + 42 b7 * b70 + 44 b7 * b73 + 46 b7 * b76 + 48 b7 * b79 + 50 b7 * b82 + 52 b7 * b85 + 54 b7 * b88 + 56 b7 * b91 + 58 b7 * b94 + 60 b7 * b97 + 62 b7 * b100 + 64 b7 * b103 + 66 b7 * b106 + 68 b7 * b109 + 70 b7 * b112 + 72 b7 * b115 + 74 b7 * b118 + 76 b7 * b121 + 78 b7 * b124 + 80 b7 * b127 + 82 b7 * b130 + 84 b7 * b133 + 86 b7 * b136 + 88 b7 * b139 + 90 b7 * b142 + 92 b7 * b145 + 94 b7 * b148 + 96 b7 * b151 + 98 b7 * b154 + 100 b7 * b157 + 102 b7 * b160 + 104 b7 * b163 + 106 b7 * b166 + 108 b7 * b169 + 1.1e2 b7 * b172 + 112 b7 * b175 + 114 b7 * b178 + 2 b8 * b11 + 4 b8 * b14 + 6 b8 * b17 + 8 b8 * b20 + 10 b8 * b23 + 12 b8 * b26 + 14 b8 * b29 + 16 b8 * b32 + 18 b8 * b35 + 20 b8 * b38 + 22 b8 * b41 + 24 b8 * b44 + 26 b8 * b47 + 28 b8 * b50 + 30 b8 * b53 + 32 b8 * b56 + 34 b8 * b59 + 36 b8 * b62 + 38 b8 * b65 + 40 b8 * b68 + 42 b8 * b71 + 44 b8 * b74 + 46 b8 * b77 + 48 b8 * b80 + 50 b8 * b83 + 52 b8 * b86 + 54 b8 * b89 + 56 b8 * b92 + 58 b8 * b95 + 60 b8 * b98 + 62 b8 * b101 + 64 b8 * b104 + 66 b8 * b107 + 68 b8 * b110 + 70 b8 * b113 + 72 b8 * b116 + 74 b8 * b119 + 76 b8 * b122 + 78 b8 * b125 + 80 b8 * b128 + 82 b8 * b131 + 84 b8 * b134 + 86 b8 * b137 + 88 b8 * b140 + 90 b8 * b143 + 92 b8 * b146 + 94 b8 * b149 + 96 b8 * b152 + 98 b8 * b155 + 100 b8 * b158 + 102 b8 * b161 + 104 b8 * b164 + 106 b8 * b167 + 108 b8 * b170 + 1.1e2 b8 * b173 + 112 b8 * b176 + 114 b8 * b179 + 2 b9 * b12 + 4 b9 * b15 + 6 b9 * b18 + 8 b9 * b21 + 10 b9 * b24 + 12 b9 * b27 + 14 b9 * b30 + 16 b9 * b33 + 18 b9 * b36 + 20 b9 * b39 + 22 b9 * b42 + 24 b9 * b45 + 26 b9 * b48 + 28 b9 * b51 + 30 b9 * b54 + 32 b9 * b57 + 34 b9 * b60 + 36 b9 * b63 + 38 b9 * b66 + 40 b9 * b69 + 42 b9 * b72 + 44 b9 * b75 + 46 b9 * b78 + 48 b9 * b81 + 50 b9 * b84 + 52 b9 * b87 + 54 b9 * b90 + 56 b9 * b93 + 58 b9 * b96 + 60 b9 * b99 + 62 b9 * b102 + 64 b9 * b105 + 66 b9 * b108 + 68 b9 * b111 + 70 b9 * b114 + 72 b9 * b117 + 74 b9 * b120 + 76 b9 * b123 + 78 b9 * b126 + 80 b9 * b129 + 82 b9 * b132 + 84 b9 * b135 + 86 b9 * b138 + 88 b9 * b141 + 90 b9 * b144 + 92 b9 * b147 + 94 b9 * b150 + 96 b9 * b153 + 98 b9 * b156 + 100 b9 * b159 + 102 b9 * b162 + 104 b9 * b165 + 106 b9 * b168 + 108 b9 * b171 + 1.1e2 b9 * b174 + 112 b9 * b177 + 114 b9 * b180 + 2 b10 * b13 + 4 b10 * b16 + 6 b10 * b19 + 8 b10 * b22 + 10 b10 * b25 + 12 b10 * b28 + 14 b10 * b31 + 16 b10 * b34 + 18 b10 * b37 + 20 b10 * b40 + 22 b10 * b43 + 24 b10 * b46 + 26 b10 * b49 + 28 b10 * b52 + 30 b10 * b55 + 32 b10 * b58 + 34 b10 * b61 + 36 b10 * b64 + 38 b10 * b67 + 40 b10 * b70 + 42 b10 * b73 + 44 b10 * b76 + 46 b10 * b79 + 48 b10 * b82 + 50 b10 * b85 + 52 b10 * b88 + 54 b10 * b91 + 56 b10 * b94 + 58 b10 * b97 + 60 b10 * b100 + 62 b10 * b103 + 64 b10 * b106 + 66 b10 * b109 + 68 b10 * b112 + 70 b10 * b115 + 72 b10 * b118 + 74 b10 * b121 + 76 b10 * b124 + 78 b10 * b127 + 80 b10 * b130 + 82 b10 * b133 + 84 b10 * b136 + 86 b10 * b139 + 88 b10 * b142 + 90 b10 * b145 + 92 b10 * b148 + 94 b10 * b151 + 96 b10 * b154 + 98 b10 * b157 + 100 b10 * b160 + 102 b10 * b163 + 104 b10 * b166 + 106 b10 * b169 + 108 b10 * b172 + 1.1e2 b10 * b175 + 112 b10 * b178 + 2 b11 * b14 + 4 b11 * b17 + 6 b11 * b20 + 8 b11 * b23 + 10 b11 * b26 + 12 b11 * b29 + 14 b11 * b32 + 16 b11 * b35 + 18 b11 * b38 + 20 b11 * b41 + 22 b11 * b44 + 24 b11 * b47 + 26 b11 * b50 + 28 b11 * b53 + 30 b11 * b56 + 32 b11 * b59 + 34 b11 * b62 + 36 b11 * b65 + 38 b11 * b68 + 40 b11 * b71 + 42 b11 * b74 + 44 b11 * b77 + 46 b11 * b80 + 48 b11 * b83 + 50 b11 * b86 + 52 b11 * b89 + 54 b11 * b92 + 56 b11 * b95 + 58 b11 * b98 + 60 b11 * b101 + 62 b11 * b104 + 64 b11 * b107 + 66 b11 * b110 + 68 b11 * b113 + 70 b11 * b116 + 72 b11 * b119 + 74 b11 * b122 + 76 b11 * b125 + 78 b11 * b128 + 80 b11 * b131 + 82 b11 * b134 + 84 b11 * b137 + 86 b11 * b140 + 88 b11 * b143 + 90 b11 * b146 + 92 b11 * b149 + 94 b11 * b152 + 96 b11 * b155 + 98 b11 * b158 + 100 b11 * b161 + 102 b11 * b164 + 104 b11 * b167 + 106 b11 * b170 + 108 b11 * b173 + 1.1e2 b11 * b176 + 112 b11 * b179 + 2 b12 * b15 + 4 b12 * b18 + 6 b12 * b21 + 8 b12 * b24 + 10 b12 * b27 + 12 b12 * b30 + 14 b12 * b33 + 16 b12 * b36 + 18 b12 * b39 + 20 b12 * b42 + 22 b12 * b45 + 24 b12 * b48 + 26 b12 * b51 + 28 b12 * b54 + 30 b12 * b57 + 32 b12 * b60 + 34 b12 * b63 + 36 b12 * b66 + 38 b12 * b69 + 40 b12 * b72 + 42 b12 * b75 + 44 b12 * b78 + 46 b12 * b81 + 48 b12 * b84 + 50 b12 * b87 + 52 b12 * b90 + 54 b12 * b93 + 56 b12 * b96 + 58 b12 * b99 + 60 b12 * b102 + 62 b12 * b105 + 64 b12 * b108 + 66 b12 * b111 + 68 b12 * b114 + 70 b12 * b117 + 72 b12 * b120 + 74 b12 * b123 + 76 b12 * b126 + 78 b12 * b129 + 80 b12 * b132 + 82 b12 * b135 + 84 b12 * b138 + 86 b12 * b141 + 88 b12 * b144 + 90 b12 * b147 + 92 b12 * b150 + 94 b12 * b153 + 96 b12 * b156 + 98 b12 * b159 + 100 b12 * b162 + 102 b12 * b165 + 104 b12 * b168 + 106 b12 * b171 + 108 b12 * b174 + 1.1e2 b12 * b177 + 112 b12 * b180 + 2 b13 * b16 + 4 b13 * b19 + 6 b13 * b22 + 8 b13 * b25 + 10 b13 * b28 + 12 b13 * b31 + 14 b13 * b34 + 16 b13 * b37 + 18 b13 * b40 + 20 b13 * b43 + 22 b13 * b46 + 24 b13 * b49 + 26 b13 * b52 + 28 b13 * b55 + 30 b13 * b58 + 32 b13 * b61 + 34 b13 * b64 + 36 b13 * b67 + 38 b13 * b70 + 40 b13 * b73 + 42 b13 * b76 + 44 b13 * b79 + 46 b13 * b82 + 48 b13 * b85 + 50 b13 * b88 + 52 b13 * b91 + 54 b13 * b94 + 56 b13 * b97 + 58 b13 * b100 + 60 b13 * b103 + 62 b13 * b106 + 64 b13 * b109 + 66 b13 * b112 + 68 b13 * b115 + 70 b13 * b118 + 72 b13 * b121 + 74 b13 * b124 + 76 b13 * b127 + 78 b13 * b130 + 80 b13 * b133 + 82 b13 * b136 + 84 b13 * b139 + 86 b13 * b142 + 88 b13 * b145 + 90 b13 * b148 + 92 b13 * b151 + 94 b13 * b154 + 96 b13 * b157 + 98 b13 * b160 + 100 b13 * b163 + 102 b13 * b166 + 104 b13 * b169 + 106 b13 * b172 + 108 b13 * b175 + 1.1e2 b13 * b178 + 2 b14 * b17 + 4 b14 * b20 + 6 b14 * b23 + 8 b14 * b26 + 10 b14 * b29 + 12 b14 * b32 + 14 b14 * b35 + 16 b14 * b38 + 18 b14 * b41 + 20 b14 * b44 + 22 b14 * b47 + 24 b14 * b50 + 26 b14 * b53 + 28 b14 * b56 + 30 b14 * b59 + 32 b14 * b62 + 34 b14 * b65 + 36 b14 * b68 + 38 b14 * b71 + 40 b14 * b74 + 42 b14 * b77 + 44 b14 * b80 + 46 b14 * b83 + 48 b14 * b86 + 50 b14 * b89 + 52 b14 * b92 + 54 b14 * b95 + 56 b14 * b98 + 58 b14 * b101 + 60 b14 * b104 + 62 b14 * b107 + 64 b14 * b110 + 66 b14 * b113 + 68 b14 * b116 + 70 b14 * b119 + 72 b14 * b122 + 74 b14 * b125 + 76 b14 * b128 + 78 b14 * b131 + 80 b14 * b134 + 82 b14 * b137 + 84 b14 * b140 + 86 b14 * b143 + 88 b14 * b146 + 90 b14 * b149 + 92 b14 * b152 + 94 b14 * b155 + 96 b14 * b158 + 98 b14 * b161 + 100 b14 * b164 + 102 b14 * b167 + 104 b14 * b170 + 106 b14 * b173 + 108 b14 * b176 + 1.1e2 b14 * b179 + 2 b15 * b18 + 4 b15 * b21 + 6 b15 * b24 + 8 b15 * b27 + 10 b15 * b30 + 12 b15 * b33 + 14 b15 * b36 + 16 b15 * b39 + 18 b15 * b42 + 20 b15 * b45 + 22 b15 * b48 + 24 b15 * b51 + 26 b15 * b54 + 28 b15 * b57 + 30 b15 * b60 + 32 b15 * b63 + 34 b15 * b66 + 36 b15 * b69 + 38 b15 * b72 + 40 b15 * b75 + 42 b15 * b78 + 44 b15 * b81 + 46 b15 * b84 + 48 b15 * b87 + 50 b15 * b90 + 52 b15 * b93 + 54 b15 * b96 + 56 b15 * b99 + 58 b15 * b102 + 60 b15 * b105 + 62 b15 * b108 + 64 b15 * b111 + 66 b15 * b114 + 68 b15 * b117 + 70 b15 * b120 + 72 b15 * b123 + 74 b15 * b126 + 76 b15 * b129 + 78 b15 * b132 + 80 b15 * b135 + 82 b15 * b138 + 84 b15 * b141 + 86 b15 * b144 + 88 b15 * b147 + 90 b15 * b150 + 92 b15 * b153 + 94 b15 * b156 + 96 b15 * b159 + 98 b15 * b162 + 100 b15 * b165 + 102 b15 * b168 + 104 b15 * b171 + 106 b15 * b174 + 108 b15 * b177 + 1.1e2 b15 * b180 + 2 b16 * b19 + 4 b16 * b22 + 6 b16 * b25 + 8 b16 * b28 + 10 b16 * b31 + 12 b16 * b34 + 14 b16 * b37 + 16 b16 * b40 + 18 b16 * b43 + 20 b16 * b46 + 22 b16 * b49 + 24 b16 * b52 + 26 b16 * b55 + 28 b16 * b58 + 30 b16 * b61 + 32 b16 * b64 + 34 b16 * b67 + 36 b16 * b70 + 38 b16 * b73 + 40 b16 * b76 + 42 b16 * b79 + 44 b16 * b82 + 46 b16 * b85 + 48 b16 * b88 + 50 b16 * b91 + 52 b16 * b94 + 54 b16 * b97 + 56 b16 * b100 + 58 b16 * b103 + 60 b16 * b106 + 62 b16 * b109 + 64 b16 * b112 + 66 b16 * b115 + 68 b16 * b118 + 70 b16 * b121 + 72 b16 * b124 + 74 b16 * b127 + 76 b16 * b130 + 78 b16 * b133 + 80 b16 * b136 + 82 b16 * b139 + 84 b16 * b142 + 86 b16 * b145 + 88 b16 * b148 + 90 b16 * b151 + 92 b16 * b154 + 94 b16 * b157 + 96 b16 * b160 + 98 b16 * b163 + 100 b16 * b166 + 102 b16 * b169 + 104 b16 * b172 + 106 b16 * b175 + 108 b16 * b178 + 2 b17 * b20 + 4 b17 * b23 + 6 b17 * b26 + 8 b17 * b29 + 10 b17 * b32 + 12 b17 * b35 + 14 b17 * b38 + 16 b17 * b41 + 18 b17 * b44 + 20 b17 * b47 + 22 b17 * b50 + 24 b17 * b53 + 26 b17 * b56 + 28 b17 * b59 + 30 b17 * b62 + 32 b17 * b65 + 34 b17 * b68 + 36 b17 * b71 + 38 b17 * b74 + 40 b17 * b77 + 42 b17 * b80 + 44 b17 * b83 + 46 b17 * b86 + 48 b17 * b89 + 50 b17 * b92 + 52 b17 * b95 + 54 b17 * b98 + 56 b17 * b101 + 58 b17 * b104 + 60 b17 * b107 + 62 b17 * b110 + 64 b17 * b113 + 66 b17 * b116 + 68 b17 * b119 + 70 b17 * b122 + 72 b17 * b125 + 74 b17 * b128 + 76 b17 * b131 + 78 b17 * b134 + 80 b17 * b137 + 82 b17 * b140 + 84 b17 * b143 + 86 b17 * b146 + 88 b17 * b149 + 90 b17 * b152 + 92 b17 * b155 + 94 b17 * b158 + 96 b17 * b161 + 98 b17 * b164 + 100 b17 * b167 + 102 b17 * b170 + 104 b17 * b173 + 106 b17 * b176 + 108 b17 * b179 + 2 b18 * b21 + 4 b18 * b24 + 6 b18 * b27 + 8 b18 * b30 + 10 b18 * b33 + 12 b18 * b36 + 14 b18 * b39 + 16 b18 * b42 + 18 b18 * b45 + 20 b18 * b48 + 22 b18 * b51 + 24 b18 * b54 + 26 b18 * b57 + 28 b18 * b60 + 30 b18 * b63 + 32 b18 * b66 + 34 b18 * b69 + 36 b18 * b72 + 38 b18 * b75 + 40 b18 * b78 + 42 b18 * b81 + 44 b18 * b84 + 46 b18 * b87 + 48 b18 * b90 + 50 b18 * b93 + 52 b18 * b96 + 54 b18 * b99 + 56 b18 * b102 + 58 b18 * b105 + 60 b18 * b108 + 62 b18 * b111 + 64 b18 * b114 + 66 b18 * b117 + 68 b18 * b120 + 70 b18 * b123 + 72 b18 * b126 + 74 b18 * b129 + 76 b18 * b132 + 78 b18 * b135 + 80 b18 * b138 + 82 b18 * b141 + 84 b18 * b144 + 86 b18 * b147 + 88 b18 * b150 + 90 b18 * b153 + 92 b18 * b156 + 94 b18 * b159 + 96 b18 * b162 + 98 b18 * b165 + 100 b18 * b168 + 102 b18 * b171 + 104 b18 * b174 + 106 b18 * b177 + 108 b18 * b180 + 2 b19 * b22 + 4 b19 * b25 + 6 b19 * b28 + 8 b19 * b31 + 10 b19 * b34 + 12 b19 * b37 + 14 b19 * b40 + 16 b19 * b43 + 18 b19 * b46 + 20 b19 * b49 + 22 b19 * b52 + 24 b19 * b55 + 26 b19 * b58 + 28 b19 * b61 + 30 b19 * b64 + 32 b19 * b67 + 34 b19 * b70 + 36 b19 * b73 + 38 b19 * b76 + 40 b19 * b79 + 42 b19 * b82 + 44 b19 * b85 + 46 b19 * b88 + 48 b19 * b91 + 50 b19 * b94 + 52 b19 * b97 + 54 b19 * b100 + 56 b19 * b103 + 58 b19 * b106 + 60 b19 * b109 + 62 b19 * b112 + 64 b19 * b115 + 66 b19 * b118 + 68 b19 * b121 + 70 b19 * b124 + 72 b19 * b127 + 74 b19 * b130 + 76 b19 * b133 + 78 b19 * b136 + 80 b19 * b139 + 82 b19 * b142 + 84 b19 * b145 + 86 b19 * b148 + 88 b19 * b151 + 90 b19 * b154 + 92 b19 * b157 + 94 b19 * b160 + 96 b19 * b163 + 98 b19 * b166 + 100 b19 * b169 + 102 b19 * b172 + 104 b19 * b175 + 106 b19 * b178 + 2 b20 * b23 + 4 b20 * b26 + 6 b20 * b29 + 8 b20 * b32 + 10 b20 * b35 + 12 b20 * b38 + 14 b20 * b41 + 16 b20 * b44 + 18 b20 * b47 + 20 b20 * b50 + 22 b20 * b53 + 24 b20 * b56 + 26 b20 * b59 + 28 b20 * b62 + 30 b20 * b65 + 32 b20 * b68 + 34 b20 * b71 + 36 b20 * b74 + 38 b20 * b77 + 40 b20 * b80 + 42 b20 * b83 + 44 b20 * b86 + 46 b20 * b89 + 48 b20 * b92 + 50 b20 * b95 + 52 b20 * b98 + 54 b20 * b101 + 56 b20 * b104 + 58 b20 * b107 + 60 b20 * b110 + 62 b20 * b113 + 64 b20 * b116 + 66 b20 * b119 + 68 b20 * b122 + 70 b20 * b125 + 72 b20 * b128 + 74 b20 * b131 + 76 b20 * b134 + 78 b20 * b137 + 80 b20 * b140 + 82 b20 * b143 + 84 b20 * b146 + 86 b20 * b149 + 88 b20 * b152 + 90 b20 * b155 + 92 b20 * b158 + 94 b20 * b161 + 96 b20 * b164 + 98 b20 * b167 + 100 b20 * b170 + 102 b20 * b173 + 104 b20 * b176 + 106 b20 * b179 + 2 b21 * b24 + 4 b21 * b27 + 6 b21 * b30 + 8 b21 * b33 + 10 b21 * b36 + 12 b21 * b39 + 14 b21 * b42 + 16 b21 * b45 + 18 b21 * b48 + 20 b21 * b51 + 22 b21 * b54 + 24 b21 * b57 + 26 b21 * b60 + 28 b21 * b63 + 30 b21 * b66 + 32 b21 * b69 + 34 b21 * b72 + 36 b21 * b75 + 38 b21 * b78 + 40 b21 * b81 + 42 b21 * b84 + 44 b21 * b87 + 46 b21 * b90 + 48 b21 * b93 + 50 b21 * b96 + 52 b21 * b99 + 54 b21 * b102 + 56 b21 * b105 + 58 b21 * b108 + 60 b21 * b111 + 62 b21 * b114 + 64 b21 * b117 + 66 b21 * b120 + 68 b21 * b123 + 70 b21 * b126 + 72 b21 * b129 + 74 b21 * b132 + 76 b21 * b135 + 78 b21 * b138 + 80 b21 * b141 + 82 b21 * b144 + 84 b21 * b147 + 86 b21 * b150 + 88 b21 * b153 + 90 b21 * b156 + 92 b21 * b159 + 94 b21 * b162 + 96 b21 * b165 + 98 b21 * b168 + 100 b21 * b171 + 102 b21 * b174 + 104 b21 * b177 + 106 b21 * b180 + 2 b22 * b25 + 4 b22 * b28 + 6 b22 * b31 + 8 b22 * b34 + 10 b22 * b37 + 12 b22 * b40 + 14 b22 * b43 + 16 b22 * b46 + 18 b22 * b49 + 20 b22 * b52 + 22 b22 * b55 + 24 b22 * b58 + 26 b22 * b61 + 28 b22 * b64 + 30 b22 * b67 + 32 b22 * b70 + 34 b22 * b73 + 36 b22 * b76 + 38 b22 * b79 + 40 b22 * b82 + 42 b22 * b85 + 44 b22 * b88 + 46 b22 * b91 + 48 b22 * b94 + 50 b22 * b97 + 52 b22 * b100 + 54 b22 * b103 + 56 b22 * b106 + 58 b22 * b109 + 60 b22 * b112 + 62 b22 * b115 + 64 b22 * b118 + 66 b22 * b121 + 68 b22 * b124 + 70 b22 * b127 + 72 b22 * b130 + 74 b22 * b133 + 76 b22 * b136 + 78 b22 * b139 + 80 b22 * b142 + 82 b22 * b145 + 84 b22 * b148 + 86 b22 * b151 + 88 b22 * b154 + 90 b22 * b157 + 92 b22 * b160 + 94 b22 * b163 + 96 b22 * b166 + 98 b22 * b169 + 100 b22 * b172 + 102 b22 * b175 + 104 b22 * b178 + 2 b23 * b26 + 4 b23 * b29 + 6 b23 * b32 + 8 b23 * b35 + 10 b23 * b38 + 12 b23 * b41 + 14 b23 * b44 + 16 b23 * b47 + 18 b23 * b50 + 20 b23 * b53 + 22 b23 * b56 + 24 b23 * b59 + 26 b23 * b62 + 28 b23 * b65 + 30 b23 * b68 + 32 b23 * b71 + 34 b23 * b74 + 36 b23 * b77 + 38 b23 * b80 + 40 b23 * b83 + 42 b23 * b86 + 44 b23 * b89 + 46 b23 * b92 + 48 b23 * b95 + 50 b23 * b98 + 52 b23 * b101 + 54 b23 * b104 + 56 b23 * b107 + 58 b23 * b110 + 60 b23 * b113 + 62 b23 * b116 + 64 b23 * b119 + 66 b23 * b122 + 68 b23 * b125 + 70 b23 * b128 + 72 b23 * b131 + 74 b23 * b134 + 76 b23 * b137 + 78 b23 * b140 + 80 b23 * b143 + 82 b23 * b146 + 84 b23 * b149 + 86 b23 * b152 + 88 b23 * b155 + 90 b23 * b158 + 92 b23 * b161 + 94 b23 * b164 + 96 b23 * b167 + 98 b23 * b170 + 100 b23 * b173 + 102 b23 * b176 + 104 b23 * b179 + 2 b24 * b27 + 4 b24 * b30 + 6 b24 * b33 + 8 b24 * b36 + 10 b24 * b39 + 12 b24 * b42 + 14 b24 * b45 + 16 b24 * b48 + 18 b24 * b51 + 20 b24 * b54 + 22 b24 * b57 + 24 b24 * b60 + 26 b24 * b63 + 28 b24 * b66 + 30 b24 * b69 + 32 b24 * b72 + 34 b24 * b75 + 36 b24 * b78 + 38 b24 * b81 + 40 b24 * b84 + 42 b24 * b87 + 44 b24 * b90 + 46 b24 * b93 + 48 b24 * b96 + 50 b24 * b99 + 52 b24 * b102 + 54 b24 * b105 + 56 b24 * b108 + 58 b24 * b111 + 60 b24 * b114 + 62 b24 * b117 + 64 b24 * b120 + 66 b24 * b123 + 68 b24 * b126 + 70 b24 * b129 + 72 b24 * b132 + 74 b24 * b135 + 76 b24 * b138 + 78 b24 * b141 + 80 b24 * b144 + 82 b24 * b147 + 84 b24 * b150 + 86 b24 * b153 + 88 b24 * b156 + 90 b24 * b159 + 92 b24 * b162 + 94 b24 * b165 + 96 b24 * b168 + 98 b24 * b171 + 100 b24 * b174 + 102 b24 * b177 + 104 b24 * b180 + 2 b25 * b28 + 4 b25 * b31 + 6 b25 * b34 + 8 b25 * b37 + 10 b25 * b40 + 12 b25 * b43 + 14 b25 * b46 + 16 b25 * b49 + 18 b25 * b52 + 20 b25 * b55 + 22 b25 * b58 + 24 b25 * b61 + 26 b25 * b64 + 28 b25 * b67 + 30 b25 * b70 + 32 b25 * b73 + 34 b25 * b76 + 36 b25 * b79 + 38 b25 * b82 + 40 b25 * b85 + 42 b25 * b88 + 44 b25 * b91 + 46 b25 * b94 + 48 b25 * b97 + 50 b25 * b100 + 52 b25 * b103 + 54 b25 * b106 + 56 b25 * b109 + 58 b25 * b112 + 60 b25 * b115 + 62 b25 * b118 + 64 b25 * b121 + 66 b25 * b124 + 68 b25 * b127 + 70 b25 * b130 + 72 b25 * b133 + 74 b25 * b136 + 76 b25 * b139 + 78 b25 * b142 + 80 b25 * b145 + 82 b25 * b148 + 84 b25 * b151 + 86 b25 * b154 + 88 b25 * b157 + 90 b25 * b160 + 92 b25 * b163 + 94 b25 * b166 + 96 b25 * b169 + 98 b25 * b172 + 100 b25 * b175 + 102 b25 * b178 + 2 b26 * b29 + 4 b26 * b32 + 6 b26 * b35 + 8 b26 * b38 + 10 b26 * b41 + 12 b26 * b44 + 14 b26 * b47 + 16 b26 * b50 + 18 b26 * b53 + 20 b26 * b56 + 22 b26 * b59 + 24 b26 * b62 + 26 b26 * b65 + 28 b26 * b68 + 30 b26 * b71 + 32 b26 * b74 + 34 b26 * b77 + 36 b26 * b80 + 38 b26 * b83 + 40 b26 * b86 + 42 b26 * b89 + 44 b26 * b92 + 46 b26 * b95 + 48 b26 * b98 + 50 b26 * b101 + 52 b26 * b104 + 54 b26 * b107 + 56 b26 * b110 + 58 b26 * b113 + 60 b26 * b116 + 62 b26 * b119 + 64 b26 * b122 + 66 b26 * b125 + 68 b26 * b128 + 70 b26 * b131 + 72 b26 * b134 + 74 b26 * b137 + 76 b26 * b140 + 78 b26 * b143 + 80 b26 * b146 + 82 b26 * b149 + 84 b26 * b152 + 86 b26 * b155 + 88 b26 * b158 + 90 b26 * b161 + 92 b26 * b164 + 94 b26 * b167 + 96 b26 * b170 + 98 b26 * b173 + 100 b26 * b176 + 102 b26 * b179 + 2 b27 * b30 + 4 b27 * b33 + 6 b27 * b36 + 8 b27 * b39 + 10 b27 * b42 + 12 b27 * b45 + 14 b27 * b48 + 16 b27 * b51 + 18 b27 * b54 + 20 b27 * b57 + 22 b27 * b60 + 24 b27 * b63 + 26 b27 * b66 + 28 b27 * b69 + 30 b27 * b72 + 32 b27 * b75 + 34 b27 * b78 + 36 b27 * b81 + 38 b27 * b84 + 40 b27 * b87 + 42 b27 * b90 + 44 b27 * b93 + 46 b27 * b96 + 48 b27 * b99 + 50 b27 * b102 + 52 b27 * b105 + 54 b27 * b108 + 56 b27 * b111 + 58 b27 * b114 + 60 b27 * b117 + 62 b27 * b120 + 64 b27 * b123 + 66 b27 * b126 + 68 b27 * b129 + 70 b27 * b132 + 72 b27 * b135 + 74 b27 * b138 + 76 b27 * b141 + 78 b27 * b144 + 80 b27 * b147 + 82 b27 * b150 + 84 b27 * b153 + 86 b27 * b156 + 88 b27 * b159 + 90 b27 * b162 + 92 b27 * b165 + 94 b27 * b168 + 96 b27 * b171 + 98 b27 * b174 + 100 b27 * b177 + 102 b27 * b180 + 2 b28 * b31 + 4 b28 * b34 + 6 b28 * b37 + 8 b28 * b40 + 10 b28 * b43 + 12 b28 * b46 + 14 b28 * b49 + 16 b28 * b52 + 18 b28 * b55 + 20 b28 * b58 + 22 b28 * b61 + 24 b28 * b64 + 26 b28 * b67 + 28 b28 * b70 + 30 b28 * b73 + 32 b28 * b76 + 34 b28 * b79 + 36 b28 * b82 + 38 b28 * b85 + 40 b28 * b88 + 42 b28 * b91 + 44 b28 * b94 + 46 b28 * b97 + 48 b28 * b100 + 50 b28 * b103 + 52 b28 * b106 + 54 b28 * b109 + 56 b28 * b112 + 58 b28 * b115 + 60 b28 * b118 + 62 b28 * b121 + 64 b28 * b124 + 66 b28 * b127 + 68 b28 * b130 + 70 b28 * b133 + 72 b28 * b136 + 74 b28 * b139 + 76 b28 * b142 + 78 b28 * b145 + 80 b28 * b148 + 82 b28 * b151 + 84 b28 * b154 + 86 b28 * b157 + 88 b28 * b160 + 90 b28 * b163 + 92 b28 * b166 + 94 b28 * b169 + 96 b28 * b172 + 98 b28 * b175 + 100 b28 * b178 + 2 b29 * b32 + 4 b29 * b35 + 6 b29 * b38 + 8 b29 * b41 + 10 b29 * b44 + 12 b29 * b47 + 14 b29 * b50 + 16 b29 * b53 + 18 b29 * b56 + 20 b29 * b59 + 22 b29 * b62 + 24 b29 * b65 + 26 b29 * b68 + 28 b29 * b71 + 30 b29 * b74 + 32 b29 * b77 + 34 b29 * b80 + 36 b29 * b83 + 38 b29 * b86 + 40 b29 * b89 + 42 b29 * b92 + 44 b29 * b95 + 46 b29 * b98 + 48 b29 * b101 + 50 b29 * b104 + 52 b29 * b107 + 54 b29 * b110 + 56 b29 * b113 + 58 b29 * b116 + 60 b29 * b119 + 62 b29 * b122 + 64 b29 * b125 + 66 b29 * b128 + 68 b29 * b131 + 70 b29 * b134 + 72 b29 * b137 + 74 b29 * b140 + 76 b29 * b143 + 78 b29 * b146 + 80 b29 * b149 + 82 b29 * b152 + 84 b29 * b155 + 86 b29 * b158 + 88 b29 * b161 + 90 b29 * b164 + 92 b29 * b167 + 94 b29 * b170 + 96 b29 * b173 + 98 b29 * b176 + 100 b29 * b179 + 2 b30 * b33 + 4 b30 * b36 + 6 b30 * b39 + 8 b30 * b42 + 10 b30 * b45 + 12 b30 * b48 + 14 b30 * b51 + 16 b30 * b54 + 18 b30 * b57 + 20 b30 * b60 + 22 b30 * b63 + 24 b30 * b66 + 26 b30 * b69 + 28 b30 * b72 + 30 b30 * b75 + 32 b30 * b78 + 34 b30 * b81 + 36 b30 * b84 + 38 b30 * b87 + 40 b30 * b90 + 42 b30 * b93 + 44 b30 * b96 + 46 b30 * b99 + 48 b30 * b102 + 50 b30 * b105 + 52 b30 * b108 + 54 b30 * b111 + 56 b30 * b114 + 58 b30 * b117 + 60 b30 * b120 + 62 b30 * b123 + 64 b30 * b126 + 66 b30 * b129 + 68 b30 * b132 + 70 b30 * b135 + 72 b30 * b138 + 74 b30 * b141 + 76 b30 * b144 + 78 b30 * b147 + 80 b30 * b150 + 82 b30 * b153 + 84 b30 * b156 + 86 b30 * b159 + 88 b30 * b162 + 90 b30 * b165 + 92 b30 * b168 + 94 b30 * b171 + 96 b30 * b174 + 98 b30 * b177 + 100 b30 * b180 + 2 b31 * b34 + 4 b31 * b37 + 6 b31 * b40 + 8 b31 * b43 + 10 b31 * b46 + 12 b31 * b49 + 14 b31 * b52 + 16 b31 * b55 + 18 b31 * b58 + 20 b31 * b61 + 22 b31 * b64 + 24 b31 * b67 + 26 b31 * b70 + 28 b31 * b73 + 30 b31 * b76 + 32 b31 * b79 + 34 b31 * b82 + 36 b31 * b85 + 38 b31 * b88 + 40 b31 * b91 + 42 b31 * b94 + 44 b31 * b97 + 46 b31 * b100 + 48 b31 * b103 + 50 b31 * b106 + 52 b31 * b109 + 54 b31 * b112 + 56 b31 * b115 + 58 b31 * b118 + 60 b31 * b121 + 62 b31 * b124 + 64 b31 * b127 + 66 b31 * b130 + 68 b31 * b133 + 70 b31 * b136 + 72 b31 * b139 + 74 b31 * b142 + 76 b31 * b145 + 78 b31 * b148 + 80 b31 * b151 + 82 b31 * b154 + 84 b31 * b157 + 86 b31 * b160 + 88 b31 * b163 + 90 b31 * b166 + 92 b31 * b169 + 94 b31 * b172 + 96 b31 * b175 + 98 b31 * b178 + 2 b32 * b35 + 4 b32 * b38 + 6 b32 * b41 + 8 b32 * b44 + 10 b32 * b47 + 12 b32 * b50 + 14 b32 * b53 + 16 b32 * b56 + 18 b32 * b59 + 20 b32 * b62 + 22 b32 * b65 + 24 b32 * b68 + 26 b32 * b71 + 28 b32 * b74 + 30 b32 * b77 + 32 b32 * b80 + 34 b32 * b83 + 36 b32 * b86 + 38 b32 * b89 + 40 b32 * b92 + 42 b32 * b95 + 44 b32 * b98 + 46 b32 * b101 + 48 b32 * b104 + 50 b32 * b107 + 52 b32 * b110 + 54 b32 * b113 + 56 b32 * b116 + 58 b32 * b119 + 60 b32 * b122 + 62 b32 * b125 + 64 b32 * b128 + 66 b32 * b131 + 68 b32 * b134 + 70 b32 * b137 + 72 b32 * b140 + 74 b32 * b143 + 76 b32 * b146 + 78 b32 * b149 + 80 b32 * b152 + 82 b32 * b155 + 84 b32 * b158 + 86 b32 * b161 + 88 b32 * b164 + 90 b32 * b167 + 92 b32 * b170 + 94 b32 * b173 + 96 b32 * b176 + 98 b32 * b179 + 2 b33 * b36 + 4 b33 * b39 + 6 b33 * b42 + 8 b33 * b45 + 10 b33 * b48 + 12 b33 * b51 + 14 b33 * b54 + 16 b33 * b57 + 18 b33 * b60 + 20 b33 * b63 + 22 b33 * b66 + 24 b33 * b69 + 26 b33 * b72 + 28 b33 * b75 + 30 b33 * b78 + 32 b33 * b81 + 34 b33 * b84 + 36 b33 * b87 + 38 b33 * b90 + 40 b33 * b93 + 42 b33 * b96 + 44 b33 * b99 + 46 b33 * b102 + 48 b33 * b105 + 50 b33 * b108 + 52 b33 * b111 + 54 b33 * b114 + 56 b33 * b117 + 58 b33 * b120 + 60 b33 * b123 + 62 b33 * b126 + 64 b33 * b129 + 66 b33 * b132 + 68 b33 * b135 + 70 b33 * b138 + 72 b33 * b141 + 74 b33 * b144 + 76 b33 * b147 + 78 b33 * b150 + 80 b33 * b153 + 82 b33 * b156 + 84 b33 * b159 + 86 b33 * b162 + 88 b33 * b165 + 90 b33 * b168 + 92 b33 * b171 + 94 b33 * b174 + 96 b33 * b177 + 98 b33 * b180 + 2 b34 * b37 + 4 b34 * b40 + 6 b34 * b43 + 8 b34 * b46 + 10 b34 * b49 + 12 b34 * b52 + 14 b34 * b55 + 16 b34 * b58 + 18 b34 * b61 + 20 b34 * b64 + 22 b34 * b67 + 24 b34 * b70 + 26 b34 * b73 + 28 b34 * b76 + 30 b34 * b79 + 32 b34 * b82 + 34 b34 * b85 + 36 b34 * b88 + 38 b34 * b91 + 40 b34 * b94 + 42 b34 * b97 + 44 b34 * b100 + 46 b34 * b103 + 48 b34 * b106 + 50 b34 * b109 + 52 b34 * b112 + 54 b34 * b115 + 56 b34 * b118 + 58 b34 * b121 + 60 b34 * b124 + 62 b34 * b127 + 64 b34 * b130 + 66 b34 * b133 + 68 b34 * b136 + 70 b34 * b139 + 72 b34 * b142 + 74 b34 * b145 + 76 b34 * b148 + 78 b34 * b151 + 80 b34 * b154 + 82 b34 * b157 + 84 b34 * b160 + 86 b34 * b163 + 88 b34 * b166 + 90 b34 * b169 + 92 b34 * b172 + 94 b34 * b175 + 96 b34 * b178 + 2 b35 * b38 + 4 b35 * b41 + 6 b35 * b44 + 8 b35 * b47 + 10 b35 * b50 + 12 b35 * b53 + 14 b35 * b56 + 16 b35 * b59 + 18 b35 * b62 + 20 b35 * b65 + 22 b35 * b68 + 24 b35 * b71 + 26 b35 * b74 + 28 b35 * b77 + 30 b35 * b80 + 32 b35 * b83 + 34 b35 * b86 + 36 b35 * b89 + 38 b35 * b92 + 40 b35 * b95 + 42 b35 * b98 + 44 b35 * b101 + 46 b35 * b104 + 48 b35 * b107 + 50 b35 * b110 + 52 b35 * b113 + 54 b35 * b116 + 56 b35 * b119 + 58 b35 * b122 + 60 b35 * b125 + 62 b35 * b128 + 64 b35 * b131 + 66 b35 * b134 + 68 b35 * b137 + 70 b35 * b140 + 72 b35 * b143 + 74 b35 * b146 + 76 b35 * b149 + 78 b35 * b152 + 80 b35 * b155 + 82 b35 * b158 + 84 b35 * b161 + 86 b35 * b164 + 88 b35 * b167 + 90 b35 * b170 + 92 b35 * b173 + 94 b35 * b176 + 96 b35 * b179 + 2 b36 * b39 + 4 b36 * b42 + 6 b36 * b45 + 8 b36 * b48 + 10 b36 * b51 + 12 b36 * b54 + 14 b36 * b57 + 16 b36 * b60 + 18 b36 * b63 + 20 b36 * b66 + 22 b36 * b69 + 24 b36 * b72 + 26 b36 * b75 + 28 b36 * b78 + 30 b36 * b81 + 32 b36 * b84 + 34 b36 * b87 + 36 b36 * b90 + 38 b36 * b93 + 40 b36 * b96 + 42 b36 * b99 + 44 b36 * b102 + 46 b36 * b105 + 48 b36 * b108 + 50 b36 * b111 + 52 b36 * b114 + 54 b36 * b117 + 56 b36 * b120 + 58 b36 * b123 + 60 b36 * b126 + 62 b36 * b129 + 64 b36 * b132 + 66 b36 * b135 + 68 b36 * b138 + 70 b36 * b141 + 72 b36 * b144 + 74 b36 * b147 + 76 b36 * b150 + 78 b36 * b153 + 80 b36 * b156 + 82 b36 * b159 + 84 b36 * b162 + 86 b36 * b165 + 88 b36 * b168 + 90 b36 * b171 + 92 b36 * b174 + 94 b36 * b177 + 96 b36 * b180 + 2 b37 * b40 + 4 b37 * b43 + 6 b37 * b46 + 8 b37 * b49 + 10 b37 * b52 + 12 b37 * b55 + 14 b37 * b58 + 16 b37 * b61 + 18 b37 * b64 + 20 b37 * b67 + 22 b37 * b70 + 24 b37 * b73 + 26 b37 * b76 + 28 b37 * b79 + 30 b37 * b82 + 32 b37 * b85 + 34 b37 * b88 + 36 b37 * b91 + 38 b37 * b94 + 40 b37 * b97 + 42 b37 * b100 + 44 b37 * b103 + 46 b37 * b106 + 48 b37 * b109 + 50 b37 * b112 + 52 b37 * b115 + 54 b37 * b118 + 56 b37 * b121 + 58 b37 * b124 + 60 b37 * b127 + 62 b37 * b130 + 64 b37 * b133 + 66 b37 * b136 + 68 b37 * b139 + 70 b37 * b142 + 72 b37 * b145 + 74 b37 * b148 + 76 b37 * b151 + 78 b37 * b154 + 80 b37 * b157 + 82 b37 * b160 + 84 b37 * b163 + 86 b37 * b166 + 88 b37 * b169 + 90 b37 * b172 + 92 b37 * b175 + 94 b37 * b178 + 2 b38 * b41 + 4 b38 * b44 + 6 b38 * b47 + 8 b38 * b50 + 10 b38 * b53 + 12 b38 * b56 + 14 b38 * b59 + 16 b38 * b62 + 18 b38 * b65 + 20 b38 * b68 + 22 b38 * b71 + 24 b38 * b74 + 26 b38 * b77 + 28 b38 * b80 + 30 b38 * b83 + 32 b38 * b86 + 34 b38 * b89 + 36 b38 * b92 + 38 b38 * b95 + 40 b38 * b98 + 42 b38 * b101 + 44 b38 * b104 + 46 b38 * b107 + 48 b38 * b110 + 50 b38 * b113 + 52 b38 * b116 + 54 b38 * b119 + 56 b38 * b122 + 58 b38 * b125 + 60 b38 * b128 + 62 b38 * b131 + 64 b38 * b134 + 66 b38 * b137 + 68 b38 * b140 + 70 b38 * b143 + 72 b38 * b146 + 74 b38 * b149 + 76 b38 * b152 + 78 b38 * b155 + 80 b38 * b158 + 82 b38 * b161 + 84 b38 * b164 + 86 b38 * b167 + 88 b38 * b170 + 90 b38 * b173 + 92 b38 * b176 + 94 b38 * b179 + 2 b39 * b42 + 4 b39 * b45 + 6 b39 * b48 + 8 b39 * b51 + 10 b39 * b54 + 12 b39 * b57 + 14 b39 * b60 + 16 b39 * b63 + 18 b39 * b66 + 20 b39 * b69 + 22 b39 * b72 + 24 b39 * b75 + 26 b39 * b78 + 28 b39 * b81 + 30 b39 * b84 + 32 b39 * b87 + 34 b39 * b90 + 36 b39 * b93 + 38 b39 * b96 + 40 b39 * b99 + 42 b39 * b102 + 44 b39 * b105 + 46 b39 * b108 + 48 b39 * b111 + 50 b39 * b114 + 52 b39 * b117 + 54 b39 * b120 + 56 b39 * b123 + 58 b39 * b126 + 60 b39 * b129 + 62 b39 * b132 + 64 b39 * b135 + 66 b39 * b138 + 68 b39 * b141 + 70 b39 * b144 + 72 b39 * b147 + 74 b39 * b150 + 76 b39 * b153 + 78 b39 * b156 + 80 b39 * b159 + 82 b39 * b162 + 84 b39 * b165 + 86 b39 * b168 + 88 b39 * b171 + 90 b39 * b174 + 92 b39 * b177 + 94 b39 * b180 + 2 b40 * b43 + 4 b40 * b46 + 6 b40 * b49 + 8 b40 * b52 + 10 b40 * b55 + 12 b40 * b58 + 14 b40 * b61 + 16 b40 * b64 + 18 b40 * b67 + 20 b40 * b70 + 22 b40 * b73 + 24 b40 * b76 + 26 b40 * b79 + 28 b40 * b82 + 30 b40 * b85 + 32 b40 * b88 + 34 b40 * b91 + 36 b40 * b94 + 38 b40 * b97 + 40 b40 * b100 + 42 b40 * b103 + 44 b40 * b106 + 46 b40 * b109 + 48 b40 * b112 + 50 b40 * b115 + 52 b40 * b118 + 54 b40 * b121 + 56 b40 * b124 + 58 b40 * b127 + 60 b40 * b130 + 62 b40 * b133 + 64 b40 * b136 + 66 b40 * b139 + 68 b40 * b142 + 70 b40 * b145 + 72 b40 * b148 + 74 b40 * b151 + 76 b40 * b154 + 78 b40 * b157 + 80 b40 * b160 + 82 b40 * b163 + 84 b40 * b166 + 86 b40 * b169 + 88 b40 * b172 + 90 b40 * b175 + 92 b40 * b178 + 2 b41 * b44 + 4 b41 * b47 + 6 b41 * b50 + 8 b41 * b53 + 10 b41 * b56 + 12 b41 * b59 + 14 b41 * b62 + 16 b41 * b65 + 18 b41 * b68 + 20 b41 * b71 + 22 b41 * b74 + 24 b41 * b77 + 26 b41 * b80 + 28 b41 * b83 + 30 b41 * b86 + 32 b41 * b89 + 34 b41 * b92 + 36 b41 * b95 + 38 b41 * b98 + 40 b41 * b101 + 42 b41 * b104 + 44 b41 * b107 + 46 b41 * b110 + 48 b41 * b113 + 50 b41 * b116 + 52 b41 * b119 + 54 b41 * b122 + 56 b41 * b125 + 58 b41 * b128 + 60 b41 * b131 + 62 b41 * b134 + 64 b41 * b137 + 66 b41 * b140 + 68 b41 * b143 + 70 b41 * b146 + 72 b41 * b149 + 74 b41 * b152 + 76 b41 * b155 + 78 b41 * b158 + 80 b41 * b161 + 82 b41 * b164 + 84 b41 * b167 + 86 b41 * b170 + 88 b41 * b173 + 90 b41 * b176 + 92 b41 * b179 + 2 b42 * b45 + 4 b42 * b48 + 6 b42 * b51 + 8 b42 * b54 + 10 b42 * b57 + 12 b42 * b60 + 14 b42 * b63 + 16 b42 * b66 + 18 b42 * b69 + 20 b42 * b72 + 22 b42 * b75 + 24 b42 * b78 + 26 b42 * b81 + 28 b42 * b84 + 30 b42 * b87 + 32 b42 * b90 + 34 b42 * b93 + 36 b42 * b96 + 38 b42 * b99 + 40 b42 * b102 + 42 b42 * b105 + 44 b42 * b108 + 46 b42 * b111 + 48 b42 * b114 + 50 b42 * b117 + 52 b42 * b120 + 54 b42 * b123 + 56 b42 * b126 + 58 b42 * b129 + 60 b42 * b132 + 62 b42 * b135 + 64 b42 * b138 + 66 b42 * b141 + 68 b42 * b144 + 70 b42 * b147 + 72 b42 * b150 + 74 b42 * b153 + 76 b42 * b156 + 78 b42 * b159 + 80 b42 * b162 + 82 b42 * b165 + 84 b42 * b168 + 86 b42 * b171 + 88 b42 * b174 + 90 b42 * b177 + 92 b42 * b180 + 2 b43 * b46 + 4 b43 * b49 + 6 b43 * b52 + 8 b43 * b55 + 10 b43 * b58 + 12 b43 * b61 + 14 b43 * b64 + 16 b43 * b67 + 18 b43 * b70 + 20 b43 * b73 + 22 b43 * b76 + 24 b43 * b79 + 26 b43 * b82 + 28 b43 * b85 + 30 b43 * b88 + 32 b43 * b91 + 34 b43 * b94 + 36 b43 * b97 + 38 b43 * b100 + 40 b43 * b103 + 42 b43 * b106 + 44 b43 * b109 + 46 b43 * b112 + 48 b43 * b115 + 50 b43 * b118 + 52 b43 * b121 + 54 b43 * b124 + 56 b43 * b127 + 58 b43 * b130 + 60 b43 * b133 + 62 b43 * b136 + 64 b43 * b139 + 66 b43 * b142 + 68 b43 * b145 + 70 b43 * b148 + 72 b43 * b151 + 74 b43 * b154 + 76 b43 * b157 + 78 b43 * b160 + 80 b43 * b163 + 82 b43 * b166 + 84 b43 * b169 + 86 b43 * b172 + 88 b43 * b175 + 90 b43 * b178 + 2 b44 * b47 + 4 b44 * b50 + 6 b44 * b53 + 8 b44 * b56 + 10 b44 * b59 + 12 b44 * b62 + 14 b44 * b65 + 16 b44 * b68 + 18 b44 * b71 + 20 b44 * b74 + 22 b44 * b77 + 24 b44 * b80 + 26 b44 * b83 + 28 b44 * b86 + 30 b44 * b89 + 32 b44 * b92 + 34 b44 * b95 + 36 b44 * b98 + 38 b44 * b101 + 40 b44 * b104 + 42 b44 * b107 + 44 b44 * b110 + 46 b44 * b113 + 48 b44 * b116 + 50 b44 * b119 + 52 b44 * b122 + 54 b44 * b125 + 56 b44 * b128 + 58 b44 * b131 + 60 b44 * b134 + 62 b44 * b137 + 64 b44 * b140 + 66 b44 * b143 + 68 b44 * b146 + 70 b44 * b149 + 72 b44 * b152 + 74 b44 * b155 + 76 b44 * b158 + 78 b44 * b161 + 80 b44 * b164 + 82 b44 * b167 + 84 b44 * b170 + 86 b44 * b173 + 88 b44 * b176 + 90 b44 * b179 + 2 b45 * b48 + 4 b45 * b51 + 6 b45 * b54 + 8 b45 * b57 + 10 b45 * b60 + 12 b45 * b63 + 14 b45 * b66 + 16 b45 * b69 + 18 b45 * b72 + 20 b45 * b75 + 22 b45 * b78 + 24 b45 * b81 + 26 b45 * b84 + 28 b45 * b87 + 30 b45 * b90 + 32 b45 * b93 + 34 b45 * b96 + 36 b45 * b99 + 38 b45 * b102 + 40 b45 * b105 + 42 b45 * b108 + 44 b45 * b111 + 46 b45 * b114 + 48 b45 * b117 + 50 b45 * b120 + 52 b45 * b123 + 54 b45 * b126 + 56 b45 * b129 + 58 b45 * b132 + 60 b45 * b135 + 62 b45 * b138 + 64 b45 * b141 + 66 b45 * b144 + 68 b45 * b147 + 70 b45 * b150 + 72 b45 * b153 + 74 b45 * b156 + 76 b45 * b159 + 78 b45 * b162 + 80 b45 * b165 + 82 b45 * b168 + 84 b45 * b171 + 86 b45 * b174 + 88 b45 * b177 + 90 b45 * b180 + 2 b46 * b49 + 4 b46 * b52 + 6 b46 * b55 + 8 b46 * b58 + 10 b46 * b61 + 12 b46 * b64 + 14 b46 * b67 + 16 b46 * b70 + 18 b46 * b73 + 20 b46 * b76 + 22 b46 * b79 + 24 b46 * b82 + 26 b46 * b85 + 28 b46 * b88 + 30 b46 * b91 + 32 b46 * b94 + 34 b46 * b97 + 36 b46 * b100 + 38 b46 * b103 + 40 b46 * b106 + 42 b46 * b109 + 44 b46 * b112 + 46 b46 * b115 + 48 b46 * b118 + 50 b46 * b121 + 52 b46 * b124 + 54 b46 * b127 + 56 b46 * b130 + 58 b46 * b133 + 60 b46 * b136 + 62 b46 * b139 + 64 b46 * b142 + 66 b46 * b145 + 68 b46 * b148 + 70 b46 * b151 + 72 b46 * b154 + 74 b46 * b157 + 76 b46 * b160 + 78 b46 * b163 + 80 b46 * b166 + 82 b46 * b169 + 84 b46 * b172 + 86 b46 * b175 + 88 b46 * b178 + 2 b47 * b50 + 4 b47 * b53 + 6 b47 * b56 + 8 b47 * b59 + 10 b47 * b62 + 12 b47 * b65 + 14 b47 * b68 + 16 b47 * b71 + 18 b47 * b74 + 20 b47 * b77 + 22 b47 * b80 + 24 b47 * b83 + 26 b47 * b86 + 28 b47 * b89 + 30 b47 * b92 + 32 b47 * b95 + 34 b47 * b98 + 36 b47 * b101 + 38 b47 * b104 + 40 b47 * b107 + 42 b47 * b110 + 44 b47 * b113 + 46 b47 * b116 + 48 b47 * b119 + 50 b47 * b122 + 52 b47 * b125 + 54 b47 * b128 + 56 b47 * b131 + 58 b47 * b134 + 60 b47 * b137 + 62 b47 * b140 + 64 b47 * b143 + 66 b47 * b146 + 68 b47 * b149 + 70 b47 * b152 + 72 b47 * b155 + 74 b47 * b158 + 76 b47 * b161 + 78 b47 * b164 + 80 b47 * b167 + 82 b47 * b170 + 84 b47 * b173 + 86 b47 * b176 + 88 b47 * b179 + 2 b48 * b51 + 4 b48 * b54 + 6 b48 * b57 + 8 b48 * b60 + 10 b48 * b63 + 12 b48 * b66 + 14 b48 * b69 + 16 b48 * b72 + 18 b48 * b75 + 20 b48 * b78 + 22 b48 * b81 + 24 b48 * b84 + 26 b48 * b87 + 28 b48 * b90 + 30 b48 * b93 + 32 b48 * b96 + 34 b48 * b99 + 36 b48 * b102 + 38 b48 * b105 + 40 b48 * b108 + 42 b48 * b111 + 44 b48 * b114 + 46 b48 * b117 + 48 b48 * b120 + 50 b48 * b123 + 52 b48 * b126 + 54 b48 * b129 + 56 b48 * b132 + 58 b48 * b135 + 60 b48 * b138 + 62 b48 * b141 + 64 b48 * b144 + 66 b48 * b147 + 68 b48 * b150 + 70 b48 * b153 + 72 b48 * b156 + 74 b48 * b159 + 76 b48 * b162 + 78 b48 * b165 + 80 b48 * b168 + 82 b48 * b171 + 84 b48 * b174 + 86 b48 * b177 + 88 b48 * b180 + 2 b49 * b52 + 4 b49 * b55 + 6 b49 * b58 + 8 b49 * b61 + 10 b49 * b64 + 12 b49 * b67 + 14 b49 * b70 + 16 b49 * b73 + 18 b49 * b76 + 20 b49 * b79 + 22 b49 * b82 + 24 b49 * b85 + 26 b49 * b88 + 28 b49 * b91 + 30 b49 * b94 + 32 b49 * b97 + 34 b49 * b100 + 36 b49 * b103 + 38 b49 * b106 + 40 b49 * b109 + 42 b49 * b112 + 44 b49 * b115 + 46 b49 * b118 + 48 b49 * b121 + 50 b49 * b124 + 52 b49 * b127 + 54 b49 * b130 + 56 b49 * b133 + 58 b49 * b136 + 60 b49 * b139 + 62 b49 * b142 + 64 b49 * b145 + 66 b49 * b148 + 68 b49 * b151 + 70 b49 * b154 + 72 b49 * b157 + 74 b49 * b160 + 76 b49 * b163 + 78 b49 * b166 + 80 b49 * b169 + 82 b49 * b172 + 84 b49 * b175 + 86 b49 * b178 + 2 b50 * b53 + 4 b50 * b56 + 6 b50 * b59 + 8 b50 * b62 + 10 b50 * b65 + 12 b50 * b68 + 14 b50 * b71 + 16 b50 * b74 + 18 b50 * b77 + 20 b50 * b80 + 22 b50 * b83 + 24 b50 * b86 + 26 b50 * b89 + 28 b50 * b92 + 30 b50 * b95 + 32 b50 * b98 + 34 b50 * b101 + 36 b50 * b104 + 38 b50 * b107 + 40 b50 * b110 + 42 b50 * b113 + 44 b50 * b116 + 46 b50 * b119 + 48 b50 * b122 + 50 b50 * b125 + 52 b50 * b128 + 54 b50 * b131 + 56 b50 * b134 + 58 b50 * b137 + 60 b50 * b140 + 62 b50 * b143 + 64 b50 * b146 + 66 b50 * b149 + 68 b50 * b152 + 70 b50 * b155 + 72 b50 * b158 + 74 b50 * b161 + 76 b50 * b164 + 78 b50 * b167 + 80 b50 * b170 + 82 b50 * b173 + 84 b50 * b176 + 86 b50 * b179 + 2 b51 * b54 + 4 b51 * b57 + 6 b51 * b60 + 8 b51 * b63 + 10 b51 * b66 + 12 b51 * b69 + 14 b51 * b72 + 16 b51 * b75 + 18 b51 * b78 + 20 b51 * b81 + 22 b51 * b84 + 24 b51 * b87 + 26 b51 * b90 + 28 b51 * b93 + 30 b51 * b96 + 32 b51 * b99 + 34 b51 * b102 + 36 b51 * b105 + 38 b51 * b108 + 40 b51 * b111 + 42 b51 * b114 + 44 b51 * b117 + 46 b51 * b120 + 48 b51 * b123 + 50 b51 * b126 + 52 b51 * b129 + 54 b51 * b132 + 56 b51 * b135 + 58 b51 * b138 + 60 b51 * b141 + 62 b51 * b144 + 64 b51 * b147 + 66 b51 * b150 + 68 b51 * b153 + 70 b51 * b156 + 72 b51 * b159 + 74 b51 * b162 + 76 b51 * b165 + 78 b51 * b168 + 80 b51 * b171 + 82 b51 * b174 + 84 b51 * b177 + 86 b51 * b180 + 2 b52 * b55 + 4 b52 * b58 + 6 b52 * b61 + 8 b52 * b64 + 10 b52 * b67 + 12 b52 * b70 + 14 b52 * b73 + 16 b52 * b76 + 18 b52 * b79 + 20 b52 * b82 + 22 b52 * b85 + 24 b52 * b88 + 26 b52 * b91 + 28 b52 * b94 + 30 b52 * b97 + 32 b52 * b100 + 34 b52 * b103 + 36 b52 * b106 + 38 b52 * b109 + 40 b52 * b112 + 42 b52 * b115 + 44 b52 * b118 + 46 b52 * b121 + 48 b52 * b124 + 50 b52 * b127 + 52 b52 * b130 + 54 b52 * b133 + 56 b52 * b136 + 58 b52 * b139 + 60 b52 * b142 + 62 b52 * b145 + 64 b52 * b148 + 66 b52 * b151 + 68 b52 * b154 + 70 b52 * b157 + 72 b52 * b160 + 74 b52 * b163 + 76 b52 * b166 + 78 b52 * b169 + 80 b52 * b172 + 82 b52 * b175 + 84 b52 * b178 + 2 b53 * b56 + 4 b53 * b59 + 6 b53 * b62 + 8 b53 * b65 + 10 b53 * b68 + 12 b53 * b71 + 14 b53 * b74 + 16 b53 * b77 + 18 b53 * b80 + 20 b53 * b83 + 22 b53 * b86 + 24 b53 * b89 + 26 b53 * b92 + 28 b53 * b95 + 30 b53 * b98 + 32 b53 * b101 + 34 b53 * b104 + 36 b53 * b107 + 38 b53 * b110 + 40 b53 * b113 + 42 b53 * b116 + 44 b53 * b119 + 46 b53 * b122 + 48 b53 * b125 + 50 b53 * b128 + 52 b53 * b131 + 54 b53 * b134 + 56 b53 * b137 + 58 b53 * b140 + 60 b53 * b143 + 62 b53 * b146 + 64 b53 * b149 + 66 b53 * b152 + 68 b53 * b155 + 70 b53 * b158 + 72 b53 * b161 + 74 b53 * b164 + 76 b53 * b167 + 78 b53 * b170 + 80 b53 * b173 + 82 b53 * b176 + 84 b53 * b179 + 2 b54 * b57 + 4 b54 * b60 + 6 b54 * b63 + 8 b54 * b66 + 10 b54 * b69 + 12 b54 * b72 + 14 b54 * b75 + 16 b54 * b78 + 18 b54 * b81 + 20 b54 * b84 + 22 b54 * b87 + 24 b54 * b90 + 26 b54 * b93 + 28 b54 * b96 + 30 b54 * b99 + 32 b54 * b102 + 34 b54 * b105 + 36 b54 * b108 + 38 b54 * b111 + 40 b54 * b114 + 42 b54 * b117 + 44 b54 * b120 + 46 b54 * b123 + 48 b54 * b126 + 50 b54 * b129 + 52 b54 * b132 + 54 b54 * b135 + 56 b54 * b138 + 58 b54 * b141 + 60 b54 * b144 + 62 b54 * b147 + 64 b54 * b150 + 66 b54 * b153 + 68 b54 * b156 + 70 b54 * b159 + 72 b54 * b162 + 74 b54 * b165 + 76 b54 * b168 + 78 b54 * b171 + 80 b54 * b174 + 82 b54 * b177 + 84 b54 * b180 + 2 b55 * b58 + 4 b55 * b61 + 6 b55 * b64 + 8 b55 * b67 + 10 b55 * b70 + 12 b55 * b73 + 14 b55 * b76 + 16 b55 * b79 + 18 b55 * b82 + 20 b55 * b85 + 22 b55 * b88 + 24 b55 * b91 + 26 b55 * b94 + 28 b55 * b97 + 30 b55 * b100 + 32 b55 * b103 + 34 b55 * b106 + 36 b55 * b109 + 38 b55 * b112 + 40 b55 * b115 + 42 b55 * b118 + 44 b55 * b121 + 46 b55 * b124 + 48 b55 * b127 + 50 b55 * b130 + 52 b55 * b133 + 54 b55 * b136 + 56 b55 * b139 + 58 b55 * b142 + 60 b55 * b145 + 62 b55 * b148 + 64 b55 * b151 + 66 b55 * b154 + 68 b55 * b157 + 70 b55 * b160 + 72 b55 * b163 + 74 b55 * b166 + 76 b55 * b169 + 78 b55 * b172 + 80 b55 * b175 + 82 b55 * b178 + 2 b56 * b59 + 4 b56 * b62 + 6 b56 * b65 + 8 b56 * b68 + 10 b56 * b71 + 12 b56 * b74 + 14 b56 * b77 + 16 b56 * b80 + 18 b56 * b83 + 20 b56 * b86 + 22 b56 * b89 + 24 b56 * b92 + 26 b56 * b95 + 28 b56 * b98 + 30 b56 * b101 + 32 b56 * b104 + 34 b56 * b107 + 36 b56 * b110 + 38 b56 * b113 + 40 b56 * b116 + 42 b56 * b119 + 44 b56 * b122 + 46 b56 * b125 + 48 b56 * b128 + 50 b56 * b131 + 52 b56 * b134 + 54 b56 * b137 + 56 b56 * b140 + 58 b56 * b143 + 60 b56 * b146 + 62 b56 * b149 + 64 b56 * b152 + 66 b56 * b155 + 68 b56 * b158 + 70 b56 * b161 + 72 b56 * b164 + 74 b56 * b167 + 76 b56 * b170 + 78 b56 * b173 + 80 b56 * b176 + 82 b56 * b179 + 2 b57 * b60 + 4 b57 * b63 + 6 b57 * b66 + 8 b57 * b69 + 10 b57 * b72 + 12 b57 * b75 + 14 b57 * b78 + 16 b57 * b81 + 18 b57 * b84 + 20 b57 * b87 + 22 b57 * b90 + 24 b57 * b93 + 26 b57 * b96 + 28 b57 * b99 + 30 b57 * b102 + 32 b57 * b105 + 34 b57 * b108 + 36 b57 * b111 + 38 b57 * b114 + 40 b57 * b117 + 42 b57 * b120 + 44 b57 * b123 + 46 b57 * b126 + 48 b57 * b129 + 50 b57 * b132 + 52 b57 * b135 + 54 b57 * b138 + 56 b57 * b141 + 58 b57 * b144 + 60 b57 * b147 + 62 b57 * b150 + 64 b57 * b153 + 66 b57 * b156 + 68 b57 * b159 + 70 b57 * b162 + 72 b57 * b165 + 74 b57 * b168 + 76 b57 * b171 + 78 b57 * b174 + 80 b57 * b177 + 82 b57 * b180 + 2 b58 * b61 + 4 b58 * b64 + 6 b58 * b67 + 8 b58 * b70 + 10 b58 * b73 + 12 b58 * b76 + 14 b58 * b79 + 16 b58 * b82 + 18 b58 * b85 + 20 b58 * b88 + 22 b58 * b91 + 24 b58 * b94 + 26 b58 * b97 + 28 b58 * b100 + 30 b58 * b103 + 32 b58 * b106 + 34 b58 * b109 + 36 b58 * b112 + 38 b58 * b115 + 40 b58 * b118 + 42 b58 * b121 + 44 b58 * b124 + 46 b58 * b127 + 48 b58 * b130 + 50 b58 * b133 + 52 b58 * b136 + 54 b58 * b139 + 56 b58 * b142 + 58 b58 * b145 + 60 b58 * b148 + 62 b58 * b151 + 64 b58 * b154 + 66 b58 * b157 + 68 b58 * b160 + 70 b58 * b163 + 72 b58 * b166 + 74 b58 * b169 + 76 b58 * b172 + 78 b58 * b175 + 80 b58 * b178 + 2 b59 * b62 + 4 b59 * b65 + 6 b59 * b68 + 8 b59 * b71 + 10 b59 * b74 + 12 b59 * b77 + 14 b59 * b80 + 16 b59 * b83 + 18 b59 * b86 + 20 b59 * b89 + 22 b59 * b92 + 24 b59 * b95 + 26 b59 * b98 + 28 b59 * b101 + 30 b59 * b104 + 32 b59 * b107 + 34 b59 * b110 + 36 b59 * b113 + 38 b59 * b116 + 40 b59 * b119 + 42 b59 * b122 + 44 b59 * b125 + 46 b59 * b128 + 48 b59 * b131 + 50 b59 * b134 + 52 b59 * b137 + 54 b59 * b140 + 56 b59 * b143 + 58 b59 * b146 + 60 b59 * b149 + 62 b59 * b152 + 64 b59 * b155 + 66 b59 * b158 + 68 b59 * b161 + 70 b59 * b164 + 72 b59 * b167 + 74 b59 * b170 + 76 b59 * b173 + 78 b59 * b176 + 80 b59 * b179 + 2 b60 * b63 + 4 b60 * b66 + 6 b60 * b69 + 8 b60 * b72 + 10 b60 * b75 + 12 b60 * b78 + 14 b60 * b81 + 16 b60 * b84 + 18 b60 * b87 + 20 b60 * b90 + 22 b60 * b93 + 24 b60 * b96 + 26 b60 * b99 + 28 b60 * b102 + 30 b60 * b105 + 32 b60 * b108 + 34 b60 * b111 + 36 b60 * b114 + 38 b60 * b117 + 40 b60 * b120 + 42 b60 * b123 + 44 b60 * b126 + 46 b60 * b129 + 48 b60 * b132 + 50 b60 * b135 + 52 b60 * b138 + 54 b60 * b141 + 56 b60 * b144 + 58 b60 * b147 + 60 b60 * b150 + 62 b60 * b153 + 64 b60 * b156 + 66 b60 * b159 + 68 b60 * b162 + 70 b60 * b165 + 72 b60 * b168 + 74 b60 * b171 + 76 b60 * b174 + 78 b60 * b177 + 80 b60 * b180 + 2 b61 * b64 + 4 b61 * b67 + 6 b61 * b70 + 8 b61 * b73 + 10 b61 * b76 + 12 b61 * b79 + 14 b61 * b82 + 16 b61 * b85 + 18 b61 * b88 + 20 b61 * b91 + 22 b61 * b94 + 24 b61 * b97 + 26 b61 * b100 + 28 b61 * b103 + 30 b61 * b106 + 32 b61 * b109 + 34 b61 * b112 + 36 b61 * b115 + 38 b61 * b118 + 40 b61 * b121 + 42 b61 * b124 + 44 b61 * b127 + 46 b61 * b130 + 48 b61 * b133 + 50 b61 * b136 + 52 b61 * b139 + 54 b61 * b142 + 56 b61 * b145 + 58 b61 * b148 + 60 b61 * b151 + 62 b61 * b154 + 64 b61 * b157 + 66 b61 * b160 + 68 b61 * b163 + 70 b61 * b166 + 72 b61 * b169 + 74 b61 * b172 + 76 b61 * b175 + 78 b61 * b178 + 2 b62 * b65 + 4 b62 * b68 + 6 b62 * b71 + 8 b62 * b74 + 10 b62 * b77 + 12 b62 * b80 + 14 b62 * b83 + 16 b62 * b86 + 18 b62 * b89 + 20 b62 * b92 + 22 b62 * b95 + 24 b62 * b98 + 26 b62 * b101 + 28 b62 * b104 + 30 b62 * b107 + 32 b62 * b110 + 34 b62 * b113 + 36 b62 * b116 + 38 b62 * b119 + 40 b62 * b122 + 42 b62 * b125 + 44 b62 * b128 + 46 b62 * b131 + 48 b62 * b134 + 50 b62 * b137 + 52 b62 * b140 + 54 b62 * b143 + 56 b62 * b146 + 58 b62 * b149 + 60 b62 * b152 + 62 b62 * b155 + 64 b62 * b158 + 66 b62 * b161 + 68 b62 * b164 + 70 b62 * b167 + 72 b62 * b170 + 74 b62 * b173 + 76 b62 * b176 + 78 b62 * b179 + 2 b63 * b66 + 4 b63 * b69 + 6 b63 * b72 + 8 b63 * b75 + 10 b63 * b78 + 12 b63 * b81 + 14 b63 * b84 + 16 b63 * b87 + 18 b63 * b90 + 20 b63 * b93 + 22 b63 * b96 + 24 b63 * b99 + 26 b63 * b102 + 28 b63 * b105 + 30 b63 * b108 + 32 b63 * b111 + 34 b63 * b114 + 36 b63 * b117 + 38 b63 * b120 + 40 b63 * b123 + 42 b63 * b126 + 44 b63 * b129 + 46 b63 * b132 + 48 b63 * b135 + 50 b63 * b138 + 52 b63 * b141 + 54 b63 * b144 + 56 b63 * b147 + 58 b63 * b150 + 60 b63 * b153 + 62 b63 * b156 + 64 b63 * b159 + 66 b63 * b162 + 68 b63 * b165 + 70 b63 * b168 + 72 b63 * b171 + 74 b63 * b174 + 76 b63 * b177 + 78 b63 * b180 + 2 b64 * b67 + 4 b64 * b70 + 6 b64 * b73 + 8 b64 * b76 + 10 b64 * b79 + 12 b64 * b82 + 14 b64 * b85 + 16 b64 * b88 + 18 b64 * b91 + 20 b64 * b94 + 22 b64 * b97 + 24 b64 * b100 + 26 b64 * b103 + 28 b64 * b106 + 30 b64 * b109 + 32 b64 * b112 + 34 b64 * b115 + 36 b64 * b118 + 38 b64 * b121 + 40 b64 * b124 + 42 b64 * b127 + 44 b64 * b130 + 46 b64 * b133 + 48 b64 * b136 + 50 b64 * b139 + 52 b64 * b142 + 54 b64 * b145 + 56 b64 * b148 + 58 b64 * b151 + 60 b64 * b154 + 62 b64 * b157 + 64 b64 * b160 + 66 b64 * b163 + 68 b64 * b166 + 70 b64 * b169 + 72 b64 * b172 + 74 b64 * b175 + 76 b64 * b178 + 2 b65 * b68 + 4 b65 * b71 + 6 b65 * b74 + 8 b65 * b77 + 10 b65 * b80 + 12 b65 * b83 + 14 b65 * b86 + 16 b65 * b89 + 18 b65 * b92 + 20 b65 * b95 + 22 b65 * b98 + 24 b65 * b101 + 26 b65 * b104 + 28 b65 * b107 + 30 b65 * b110 + 32 b65 * b113 + 34 b65 * b116 + 36 b65 * b119 + 38 b65 * b122 + 40 b65 * b125 + 42 b65 * b128 + 44 b65 * b131 + 46 b65 * b134 + 48 b65 * b137 + 50 b65 * b140 + 52 b65 * b143 + 54 b65 * b146 + 56 b65 * b149 + 58 b65 * b152 + 60 b65 * b155 + 62 b65 * b158 + 64 b65 * b161 + 66 b65 * b164 + 68 b65 * b167 + 70 b65 * b170 + 72 b65 * b173 + 74 b65 * b176 + 76 b65 * b179 + 2 b66 * b69 + 4 b66 * b72 + 6 b66 * b75 + 8 b66 * b78 + 10 b66 * b81 + 12 b66 * b84 + 14 b66 * b87 + 16 b66 * b90 + 18 b66 * b93 + 20 b66 * b96 + 22 b66 * b99 + 24 b66 * b102 + 26 b66 * b105 + 28 b66 * b108 + 30 b66 * b111 + 32 b66 * b114 + 34 b66 * b117 + 36 b66 * b120 + 38 b66 * b123 + 40 b66 * b126 + 42 b66 * b129 + 44 b66 * b132 + 46 b66 * b135 + 48 b66 * b138 + 50 b66 * b141 + 52 b66 * b144 + 54 b66 * b147 + 56 b66 * b150 + 58 b66 * b153 + 60 b66 * b156 + 62 b66 * b159 + 64 b66 * b162 + 66 b66 * b165 + 68 b66 * b168 + 70 b66 * b171 + 72 b66 * b174 + 74 b66 * b177 + 76 b66 * b180 + 2 b67 * b70 + 4 b67 * b73 + 6 b67 * b76 + 8 b67 * b79 + 10 b67 * b82 + 12 b67 * b85 + 14 b67 * b88 + 16 b67 * b91 + 18 b67 * b94 + 20 b67 * b97 + 22 b67 * b100 + 24 b67 * b103 + 26 b67 * b106 + 28 b67 * b109 + 30 b67 * b112 + 32 b67 * b115 + 34 b67 * b118 + 36 b67 * b121 + 38 b67 * b124 + 40 b67 * b127 + 42 b67 * b130 + 44 b67 * b133 + 46 b67 * b136 + 48 b67 * b139 + 50 b67 * b142 + 52 b67 * b145 + 54 b67 * b148 + 56 b67 * b151 + 58 b67 * b154 + 60 b67 * b157 + 62 b67 * b160 + 64 b67 * b163 + 66 b67 * b166 + 68 b67 * b169 + 70 b67 * b172 + 72 b67 * b175 + 74 b67 * b178 + 2 b68 * b71 + 4 b68 * b74 + 6 b68 * b77 + 8 b68 * b80 + 10 b68 * b83 + 12 b68 * b86 + 14 b68 * b89 + 16 b68 * b92 + 18 b68 * b95 + 20 b68 * b98 + 22 b68 * b101 + 24 b68 * b104 + 26 b68 * b107 + 28 b68 * b110 + 30 b68 * b113 + 32 b68 * b116 + 34 b68 * b119 + 36 b68 * b122 + 38 b68 * b125 + 40 b68 * b128 + 42 b68 * b131 + 44 b68 * b134 + 46 b68 * b137 + 48 b68 * b140 + 50 b68 * b143 + 52 b68 * b146 + 54 b68 * b149 + 56 b68 * b152 + 58 b68 * b155 + 60 b68 * b158 + 62 b68 * b161 + 64 b68 * b164 + 66 b68 * b167 + 68 b68 * b170 + 70 b68 * b173 + 72 b68 * b176 + 74 b68 * b179 + 2 b69 * b72 + 4 b69 * b75 + 6 b69 * b78 + 8 b69 * b81 + 10 b69 * b84 + 12 b69 * b87 + 14 b69 * b90 + 16 b69 * b93 + 18 b69 * b96 + 20 b69 * b99 + 22 b69 * b102 + 24 b69 * b105 + 26 b69 * b108 + 28 b69 * b111 + 30 b69 * b114 + 32 b69 * b117 + 34 b69 * b120 + 36 b69 * b123 + 38 b69 * b126 + 40 b69 * b129 + 42 b69 * b132 + 44 b69 * b135 + 46 b69 * b138 + 48 b69 * b141 + 50 b69 * b144 + 52 b69 * b147 + 54 b69 * b150 + 56 b69 * b153 + 58 b69 * b156 + 60 b69 * b159 + 62 b69 * b162 + 64 b69 * b165 + 66 b69 * b168 + 68 b69 * b171 + 70 b69 * b174 + 72 b69 * b177 + 74 b69 * b180 + 2 b70 * b73 + 4 b70 * b76 + 6 b70 * b79 + 8 b70 * b82 + 10 b70 * b85 + 12 b70 * b88 + 14 b70 * b91 + 16 b70 * b94 + 18 b70 * b97 + 20 b70 * b100 + 22 b70 * b103 + 24 b70 * b106 + 26 b70 * b109 + 28 b70 * b112 + 30 b70 * b115 + 32 b70 * b118 + 34 b70 * b121 + 36 b70 * b124 + 38 b70 * b127 + 40 b70 * b130 + 42 b70 * b133 + 44 b70 * b136 + 46 b70 * b139 + 48 b70 * b142 + 50 b70 * b145 + 52 b70 * b148 + 54 b70 * b151 + 56 b70 * b154 + 58 b70 * b157 + 60 b70 * b160 + 62 b70 * b163 + 64 b70 * b166 + 66 b70 * b169 + 68 b70 * b172 + 70 b70 * b175 + 72 b70 * b178 + 2 b71 * b74 + 4 b71 * b77 + 6 b71 * b80 + 8 b71 * b83 + 10 b71 * b86 + 12 b71 * b89 + 14 b71 * b92 + 16 b71 * b95 + 18 b71 * b98 + 20 b71 * b101 + 22 b71 * b104 + 24 b71 * b107 + 26 b71 * b110 + 28 b71 * b113 + 30 b71 * b116 + 32 b71 * b119 + 34 b71 * b122 + 36 b71 * b125 + 38 b71 * b128 + 40 b71 * b131 + 42 b71 * b134 + 44 b71 * b137 + 46 b71 * b140 + 48 b71 * b143 + 50 b71 * b146 + 52 b71 * b149 + 54 b71 * b152 + 56 b71 * b155 + 58 b71 * b158 + 60 b71 * b161 + 62 b71 * b164 + 64 b71 * b167 + 66 b71 * b170 + 68 b71 * b173 + 70 b71 * b176 + 72 b71 * b179 + 2 b72 * b75 + 4 b72 * b78 + 6 b72 * b81 + 8 b72 * b84 + 10 b72 * b87 + 12 b72 * b90 + 14 b72 * b93 + 16 b72 * b96 + 18 b72 * b99 + 20 b72 * b102 + 22 b72 * b105 + 24 b72 * b108 + 26 b72 * b111 + 28 b72 * b114 + 30 b72 * b117 + 32 b72 * b120 + 34 b72 * b123 + 36 b72 * b126 + 38 b72 * b129 + 40 b72 * b132 + 42 b72 * b135 + 44 b72 * b138 + 46 b72 * b141 + 48 b72 * b144 + 50 b72 * b147 + 52 b72 * b150 + 54 b72 * b153 + 56 b72 * b156 + 58 b72 * b159 + 60 b72 * b162 + 62 b72 * b165 + 64 b72 * b168 + 66 b72 * b171 + 68 b72 * b174 + 70 b72 * b177 + 72 b72 * b180 + 2 b73 * b76 + 4 b73 * b79 + 6 b73 * b82 + 8 b73 * b85 + 10 b73 * b88 + 12 b73 * b91 + 14 b73 * b94 + 16 b73 * b97 + 18 b73 * b100 + 20 b73 * b103 + 22 b73 * b106 + 24 b73 * b109 + 26 b73 * b112 + 28 b73 * b115 + 30 b73 * b118 + 32 b73 * b121 + 34 b73 * b124 + 36 b73 * b127 + 38 b73 * b130 + 40 b73 * b133 + 42 b73 * b136 + 44 b73 * b139 + 46 b73 * b142 + 48 b73 * b145 + 50 b73 * b148 + 52 b73 * b151 + 54 b73 * b154 + 56 b73 * b157 + 58 b73 * b160 + 60 b73 * b163 + 62 b73 * b166 + 64 b73 * b169 + 66 b73 * b172 + 68 b73 * b175 + 70 b73 * b178 + 2 b74 * b77 + 4 b74 * b80 + 6 b74 * b83 + 8 b74 * b86 + 10 b74 * b89 + 12 b74 * b92 + 14 b74 * b95 + 16 b74 * b98 + 18 b74 * b101 + 20 b74 * b104 + 22 b74 * b107 + 24 b74 * b110 + 26 b74 * b113 + 28 b74 * b116 + 30 b74 * b119 + 32 b74 * b122 + 34 b74 * b125 + 36 b74 * b128 + 38 b74 * b131 + 40 b74 * b134 + 42 b74 * b137 + 44 b74 * b140 + 46 b74 * b143 + 48 b74 * b146 + 50 b74 * b149 + 52 b74 * b152 + 54 b74 * b155 + 56 b74 * b158 + 58 b74 * b161 + 60 b74 * b164 + 62 b74 * b167 + 64 b74 * b170 + 66 b74 * b173 + 68 b74 * b176 + 70 b74 * b179 + 2 b75 * b78 + 4 b75 * b81 + 6 b75 * b84 + 8 b75 * b87 + 10 b75 * b90 + 12 b75 * b93 + 14 b75 * b96 + 16 b75 * b99 + 18 b75 * b102 + 20 b75 * b105 + 22 b75 * b108 + 24 b75 * b111 + 26 b75 * b114 + 28 b75 * b117 + 30 b75 * b120 + 32 b75 * b123 + 34 b75 * b126 + 36 b75 * b129 + 38 b75 * b132 + 40 b75 * b135 + 42 b75 * b138 + 44 b75 * b141 + 46 b75 * b144 + 48 b75 * b147 + 50 b75 * b150 + 52 b75 * b153 + 54 b75 * b156 + 56 b75 * b159 + 58 b75 * b162 + 60 b75 * b165 + 62 b75 * b168 + 64 b75 * b171 + 66 b75 * b174 + 68 b75 * b177 + 70 b75 * b180 + 2 b76 * b79 + 4 b76 * b82 + 6 b76 * b85 + 8 b76 * b88 + 10 b76 * b91 + 12 b76 * b94 + 14 b76 * b97 + 16 b76 * b100 + 18 b76 * b103 + 20 b76 * b106 + 22 b76 * b109 + 24 b76 * b112 + 26 b76 * b115 + 28 b76 * b118 + 30 b76 * b121 + 32 b76 * b124 + 34 b76 * b127 + 36 b76 * b130 + 38 b76 * b133 + 40 b76 * b136 + 42 b76 * b139 + 44 b76 * b142 + 46 b76 * b145 + 48 b76 * b148 + 50 b76 * b151 + 52 b76 * b154 + 54 b76 * b157 + 56 b76 * b160 + 58 b76 * b163 + 60 b76 * b166 + 62 b76 * b169 + 64 b76 * b172 + 66 b76 * b175 + 68 b76 * b178 + 2 b77 * b80 + 4 b77 * b83 + 6 b77 * b86 + 8 b77 * b89 + 10 b77 * b92 + 12 b77 * b95 + 14 b77 * b98 + 16 b77 * b101 + 18 b77 * b104 + 20 b77 * b107 + 22 b77 * b110 + 24 b77 * b113 + 26 b77 * b116 + 28 b77 * b119 + 30 b77 * b122 + 32 b77 * b125 + 34 b77 * b128 + 36 b77 * b131 + 38 b77 * b134 + 40 b77 * b137 + 42 b77 * b140 + 44 b77 * b143 + 46 b77 * b146 + 48 b77 * b149 + 50 b77 * b152 + 52 b77 * b155 + 54 b77 * b158 + 56 b77 * b161 + 58 b77 * b164 + 60 b77 * b167 + 62 b77 * b170 + 64 b77 * b173 + 66 b77 * b176 + 68 b77 * b179 + 2 b78 * b81 + 4 b78 * b84 + 6 b78 * b87 + 8 b78 * b90 + 10 b78 * b93 + 12 b78 * b96 + 14 b78 * b99 + 16 b78 * b102 + 18 b78 * b105 + 20 b78 * b108 + 22 b78 * b111 + 24 b78 * b114 + 26 b78 * b117 + 28 b78 * b120 + 30 b78 * b123 + 32 b78 * b126 + 34 b78 * b129 + 36 b78 * b132 + 38 b78 * b135 + 40 b78 * b138 + 42 b78 * b141 + 44 b78 * b144 + 46 b78 * b147 + 48 b78 * b150 + 50 b78 * b153 + 52 b78 * b156 + 54 b78 * b159 + 56 b78 * b162 + 58 b78 * b165 + 60 b78 * b168 + 62 b78 * b171 + 64 b78 * b174 + 66 b78 * b177 + 68 b78 * b180 + 2 b79 * b82 + 4 b79 * b85 + 6 b79 * b88 + 8 b79 * b91 + 10 b79 * b94 + 12 b79 * b97 + 14 b79 * b100 + 16 b79 * b103 + 18 b79 * b106 + 20 b79 * b109 + 22 b79 * b112 + 24 b79 * b115 + 26 b79 * b118 + 28 b79 * b121 + 30 b79 * b124 + 32 b79 * b127 + 34 b79 * b130 + 36 b79 * b133 + 38 b79 * b136 + 40 b79 * b139 + 42 b79 * b142 + 44 b79 * b145 + 46 b79 * b148 + 48 b79 * b151 + 50 b79 * b154 + 52 b79 * b157 + 54 b79 * b160 + 56 b79 * b163 + 58 b79 * b166 + 60 b79 * b169 + 62 b79 * b172 + 64 b79 * b175 + 66 b79 * b178 + 2 b80 * b83 + 4 b80 * b86 + 6 b80 * b89 + 8 b80 * b92 + 10 b80 * b95 + 12 b80 * b98 + 14 b80 * b101 + 16 b80 * b104 + 18 b80 * b107 + 20 b80 * b110 + 22 b80 * b113 + 24 b80 * b116 + 26 b80 * b119 + 28 b80 * b122 + 30 b80 * b125 + 32 b80 * b128 + 34 b80 * b131 + 36 b80 * b134 + 38 b80 * b137 + 40 b80 * b140 + 42 b80 * b143 + 44 b80 * b146 + 46 b80 * b149 + 48 b80 * b152 + 50 b80 * b155 + 52 b80 * b158 + 54 b80 * b161 + 56 b80 * b164 + 58 b80 * b167 + 60 b80 * b170 + 62 b80 * b173 + 64 b80 * b176 + 66 b80 * b179 + 2 b81 * b84 + 4 b81 * b87 + 6 b81 * b90 + 8 b81 * b93 + 10 b81 * b96 + 12 b81 * b99 + 14 b81 * b102 + 16 b81 * b105 + 18 b81 * b108 + 20 b81 * b111 + 22 b81 * b114 + 24 b81 * b117 + 26 b81 * b120 + 28 b81 * b123 + 30 b81 * b126 + 32 b81 * b129 + 34 b81 * b132 + 36 b81 * b135 + 38 b81 * b138 + 40 b81 * b141 + 42 b81 * b144 + 44 b81 * b147 + 46 b81 * b150 + 48 b81 * b153 + 50 b81 * b156 + 52 b81 * b159 + 54 b81 * b162 + 56 b81 * b165 + 58 b81 * b168 + 60 b81 * b171 + 62 b81 * b174 + 64 b81 * b177 + 66 b81 * b180 + 2 b82 * b85 + 4 b82 * b88 + 6 b82 * b91 + 8 b82 * b94 + 10 b82 * b97 + 12 b82 * b100 + 14 b82 * b103 + 16 b82 * b106 + 18 b82 * b109 + 20 b82 * b112 + 22 b82 * b115 + 24 b82 * b118 + 26 b82 * b121 + 28 b82 * b124 + 30 b82 * b127 + 32 b82 * b130 + 34 b82 * b133 + 36 b82 * b136 + 38 b82 * b139 + 40 b82 * b142 + 42 b82 * b145 + 44 b82 * b148 + 46 b82 * b151 + 48 b82 * b154 + 50 b82 * b157 + 52 b82 * b160 + 54 b82 * b163 + 56 b82 * b166 + 58 b82 * b169 + 60 b82 * b172 + 62 b82 * b175 + 64 b82 * b178 + 2 b83 * b86 + 4 b83 * b89 + 6 b83 * b92 + 8 b83 * b95 + 10 b83 * b98 + 12 b83 * b101 + 14 b83 * b104 + 16 b83 * b107 + 18 b83 * b110 + 20 b83 * b113 + 22 b83 * b116 + 24 b83 * b119 + 26 b83 * b122 + 28 b83 * b125 + 30 b83 * b128 + 32 b83 * b131 + 34 b83 * b134 + 36 b83 * b137 + 38 b83 * b140 + 40 b83 * b143 + 42 b83 * b146 + 44 b83 * b149 + 46 b83 * b152 + 48 b83 * b155 + 50 b83 * b158 + 52 b83 * b161 + 54 b83 * b164 + 56 b83 * b167 + 58 b83 * b170 + 60 b83 * b173 + 62 b83 * b176 + 64 b83 * b179 + 2 b84 * b87 + 4 b84 * b90 + 6 b84 * b93 + 8 b84 * b96 + 10 b84 * b99 + 12 b84 * b102 + 14 b84 * b105 + 16 b84 * b108 + 18 b84 * b111 + 20 b84 * b114 + 22 b84 * b117 + 24 b84 * b120 + 26 b84 * b123 + 28 b84 * b126 + 30 b84 * b129 + 32 b84 * b132 + 34 b84 * b135 + 36 b84 * b138 + 38 b84 * b141 + 40 b84 * b144 + 42 b84 * b147 + 44 b84 * b150 + 46 b84 * b153 + 48 b84 * b156 + 50 b84 * b159 + 52 b84 * b162 + 54 b84 * b165 + 56 b84 * b168 + 58 b84 * b171 + 60 b84 * b174 + 62 b84 * b177 + 64 b84 * b180 + 2 b85 * b88 + 4 b85 * b91 + 6 b85 * b94 + 8 b85 * b97 + 10 b85 * b100 + 12 b85 * b103 + 14 b85 * b106 + 16 b85 * b109 + 18 b85 * b112 + 20 b85 * b115 + 22 b85 * b118 + 24 b85 * b121 + 26 b85 * b124 + 28 b85 * b127 + 30 b85 * b130 + 32 b85 * b133 + 34 b85 * b136 + 36 b85 * b139 + 38 b85 * b142 + 40 b85 * b145 + 42 b85 * b148 + 44 b85 * b151 + 46 b85 * b154 + 48 b85 * b157 + 50 b85 * b160 + 52 b85 * b163 + 54 b85 * b166 + 56 b85 * b169 + 58 b85 * b172 + 60 b85 * b175 + 62 b85 * b178 + 2 b86 * b89 + 4 b86 * b92 + 6 b86 * b95 + 8 b86 * b98 + 10 b86 * b101 + 12 b86 * b104 + 14 b86 * b107 + 16 b86 * b110 + 18 b86 * b113 + 20 b86 * b116 + 22 b86 * b119 + 24 b86 * b122 + 26 b86 * b125 + 28 b86 * b128 + 30 b86 * b131 + 32 b86 * b134 + 34 b86 * b137 + 36 b86 * b140 + 38 b86 * b143 + 40 b86 * b146 + 42 b86 * b149 + 44 b86 * b152 + 46 b86 * b155 + 48 b86 * b158 + 50 b86 * b161 + 52 b86 * b164 + 54 b86 * b167 + 56 b86 * b170 + 58 b86 * b173 + 60 b86 * b176 + 62 b86 * b179 + 2 b87 * b90 + 4 b87 * b93 + 6 b87 * b96 + 8 b87 * b99 + 10 b87 * b102 + 12 b87 * b105 + 14 b87 * b108 + 16 b87 * b111 + 18 b87 * b114 + 20 b87 * b117 + 22 b87 * b120 + 24 b87 * b123 + 26 b87 * b126 + 28 b87 * b129 + 30 b87 * b132 + 32 b87 * b135 + 34 b87 * b138 + 36 b87 * b141 + 38 b87 * b144 + 40 b87 * b147 + 42 b87 * b150 + 44 b87 * b153 + 46 b87 * b156 + 48 b87 * b159 + 50 b87 * b162 + 52 b87 * b165 + 54 b87 * b168 + 56 b87 * b171 + 58 b87 * b174 + 60 b87 * b177 + 62 b87 * b180 + 2 b88 * b91 + 4 b88 * b94 + 6 b88 * b97 + 8 b88 * b100 + 10 b88 * b103 + 12 b88 * b106 + 14 b88 * b109 + 16 b88 * b112 + 18 b88 * b115 + 20 b88 * b118 + 22 b88 * b121 + 24 b88 * b124 + 26 b88 * b127 + 28 b88 * b130 + 30 b88 * b133 + 32 b88 * b136 + 34 b88 * b139 + 36 b88 * b142 + 38 b88 * b145 + 40 b88 * b148 + 42 b88 * b151 + 44 b88 * b154 + 46 b88 * b157 + 48 b88 * b160 + 50 b88 * b163 + 52 b88 * b166 + 54 b88 * b169 + 56 b88 * b172 + 58 b88 * b175 + 60 b88 * b178 + 2 b89 * b92 + 4 b89 * b95 + 6 b89 * b98 + 8 b89 * b101 + 10 b89 * b104 + 12 b89 * b107 + 14 b89 * b110 + 16 b89 * b113 + 18 b89 * b116 + 20 b89 * b119 + 22 b89 * b122 + 24 b89 * b125 + 26 b89 * b128 + 28 b89 * b131 + 30 b89 * b134 + 32 b89 * b137 + 34 b89 * b140 + 36 b89 * b143 + 38 b89 * b146 + 40 b89 * b149 + 42 b89 * b152 + 44 b89 * b155 + 46 b89 * b158 + 48 b89 * b161 + 50 b89 * b164 + 52 b89 * b167 + 54 b89 * b170 + 56 b89 * b173 + 58 b89 * b176 + 60 b89 * b179 + 2 b90 * b93 + 4 b90 * b96 + 6 b90 * b99 + 8 b90 * b102 + 10 b90 * b105 + 12 b90 * b108 + 14 b90 * b111 + 16 b90 * b114 + 18 b90 * b117 + 20 b90 * b120 + 22 b90 * b123 + 24 b90 * b126 + 26 b90 * b129 + 28 b90 * b132 + 30 b90 * b135 + 32 b90 * b138 + 34 b90 * b141 + 36 b90 * b144 + 38 b90 * b147 + 40 b90 * b150 + 42 b90 * b153 + 44 b90 * b156 + 46 b90 * b159 + 48 b90 * b162 + 50 b90 * b165 + 52 b90 * b168 + 54 b90 * b171 + 56 b90 * b174 + 58 b90 * b177 + 60 b90 * b180 + 2 b91 * b94 + 4 b91 * b97 + 6 b91 * b100 + 8 b91 * b103 + 10 b91 * b106 + 12 b91 * b109 + 14 b91 * b112 + 16 b91 * b115 + 18 b91 * b118 + 20 b91 * b121 + 22 b91 * b124 + 24 b91 * b127 + 26 b91 * b130 + 28 b91 * b133 + 30 b91 * b136 + 32 b91 * b139 + 34 b91 * b142 + 36 b91 * b145 + 38 b91 * b148 + 40 b91 * b151 + 42 b91 * b154 + 44 b91 * b157 + 46 b91 * b160 + 48 b91 * b163 + 50 b91 * b166 + 52 b91 * b169 + 54 b91 * b172 + 56 b91 * b175 + 58 b91 * b178 + 2 b92 * b95 + 4 b92 * b98 + 6 b92 * b101 + 8 b92 * b104 + 10 b92 * b107 + 12 b92 * b110 + 14 b92 * b113 + 16 b92 * b116 + 18 b92 * b119 + 20 b92 * b122 + 22 b92 * b125 + 24 b92 * b128 + 26 b92 * b131 + 28 b92 * b134 + 30 b92 * b137 + 32 b92 * b140 + 34 b92 * b143 + 36 b92 * b146 + 38 b92 * b149 + 40 b92 * b152 + 42 b92 * b155 + 44 b92 * b158 + 46 b92 * b161 + 48 b92 * b164 + 50 b92 * b167 + 52 b92 * b170 + 54 b92 * b173 + 56 b92 * b176 + 58 b92 * b179 + 2 b93 * b96 + 4 b93 * b99 + 6 b93 * b102 + 8 b93 * b105 + 10 b93 * b108 + 12 b93 * b111 + 14 b93 * b114 + 16 b93 * b117 + 18 b93 * b120 + 20 b93 * b123 + 22 b93 * b126 + 24 b93 * b129 + 26 b93 * b132 + 28 b93 * b135 + 30 b93 * b138 + 32 b93 * b141 + 34 b93 * b144 + 36 b93 * b147 + 38 b93 * b150 + 40 b93 * b153 + 42 b93 * b156 + 44 b93 * b159 + 46 b93 * b162 + 48 b93 * b165 + 50 b93 * b168 + 52 b93 * b171 + 54 b93 * b174 + 56 b93 * b177 + 58 b93 * b180 + 2 b94 * b97 + 4 b94 * b100 + 6 b94 * b103 + 8 b94 * b106 + 10 b94 * b109 + 12 b94 * b112 + 14 b94 * b115 + 16 b94 * b118 + 18 b94 * b121 + 20 b94 * b124 + 22 b94 * b127 + 24 b94 * b130 + 26 b94 * b133 + 28 b94 * b136 + 30 b94 * b139 + 32 b94 * b142 + 34 b94 * b145 + 36 b94 * b148 + 38 b94 * b151 + 40 b94 * b154 + 42 b94 * b157 + 44 b94 * b160 + 46 b94 * b163 + 48 b94 * b166 + 50 b94 * b169 + 52 b94 * b172 + 54 b94 * b175 + 56 b94 * b178 + 2 b95 * b98 + 4 b95 * b101 + 6 b95 * b104 + 8 b95 * b107 + 10 b95 * b110 + 12 b95 * b113 + 14 b95 * b116 + 16 b95 * b119 + 18 b95 * b122 + 20 b95 * b125 + 22 b95 * b128 + 24 b95 * b131 + 26 b95 * b134 + 28 b95 * b137 + 30 b95 * b140 + 32 b95 * b143 + 34 b95 * b146 + 36 b95 * b149 + 38 b95 * b152 + 40 b95 * b155 + 42 b95 * b158 + 44 b95 * b161 + 46 b95 * b164 + 48 b95 * b167 + 50 b95 * b170 + 52 b95 * b173 + 54 b95 * b176 + 56 b95 * b179 + 2 b96 * b99 + 4 b96 * b102 + 6 b96 * b105 + 8 b96 * b108 + 10 b96 * b111 + 12 b96 * b114 + 14 b96 * b117 + 16 b96 * b120 + 18 b96 * b123 + 20 b96 * b126 + 22 b96 * b129 + 24 b96 * b132 + 26 b96 * b135 + 28 b96 * b138 + 30 b96 * b141 + 32 b96 * b144 + 34 b96 * b147 + 36 b96 * b150 + 38 b96 * b153 + 40 b96 * b156 + 42 b96 * b159 + 44 b96 * b162 + 46 b96 * b165 + 48 b96 * b168 + 50 b96 * b171 + 52 b96 * b174 + 54 b96 * b177 + 56 b96 * b180 + 2 b97 * b100 + 4 b97 * b103 + 6 b97 * b106 + 8 b97 * b109 + 10 b97 * b112 + 12 b97 * b115 + 14 b97 * b118 + 16 b97 * b121 + 18 b97 * b124 + 20 b97 * b127 + 22 b97 * b130 + 24 b97 * b133 + 26 b97 * b136 + 28 b97 * b139 + 30 b97 * b142 + 32 b97 * b145 + 34 b97 * b148 + 36 b97 * b151 + 38 b97 * b154 + 40 b97 * b157 + 42 b97 * b160 + 44 b97 * b163 + 46 b97 * b166 + 48 b97 * b169 + 50 b97 * b172 + 52 b97 * b175 + 54 b97 * b178 + 2 b98 * b101 + 4 b98 * b104 + 6 b98 * b107 + 8 b98 * b110 + 10 b98 * b113 + 12 b98 * b116 + 14 b98 * b119 + 16 b98 * b122 + 18 b98 * b125 + 20 b98 * b128 + 22 b98 * b131 + 24 b98 * b134 + 26 b98 * b137 + 28 b98 * b140 + 30 b98 * b143 + 32 b98 * b146 + 34 b98 * b149 + 36 b98 * b152 + 38 b98 * b155 + 40 b98 * b158 + 42 b98 * b161 + 44 b98 * b164 + 46 b98 * b167 + 48 b98 * b170 + 50 b98 * b173 + 52 b98 * b176 + 54 b98 * b179 + 2 b99 * b102 + 4 b99 * b105 + 6 b99 * b108 + 8 b99 * b111 + 10 b99 * b114 + 12 b99 * b117 + 14 b99 * b120 + 16 b99 * b123 + 18 b99 * b126 + 20 b99 * b129 + 22 b99 * b132 + 24 b99 * b135 + 26 b99 * b138 + 28 b99 * b141 + 30 b99 * b144 + 32 b99 * b147 + 34 b99 * b150 + 36 b99 * b153 + 38 b99 * b156 + 40 b99 * b159 + 42 b99 * b162 + 44 b99 * b165 + 46 b99 * b168 + 48 b99 * b171 + 50 b99 * b174 + 52 b99 * b177 + 54 b99 * b180 + 2 b100 * b103 + 4 b100 * b106 + 6 b100 * b109 + 8 b100 * b112 + 10 b100 * b115 + 12 b100 * b118 + 14 b100 * b121 + 16 b100 * b124 + 18 b100 * b127 + 20 b100 * b130 + 22 b100 * b133 + 24 b100 * b136 + 26 b100 * b139 + 28 b100 * b142 + 30 b100 * b145 + 32 b100 * b148 + 34 b100 * b151 + 36 b100 * b154 + 38 b100 * b157 + 40 b100 * b160 + 42 b100 * b163 + 44 b100 * b166 + 46 b100 * b169 + 48 b100 * b172 + 50 b100 * b175 + 52 b100 * b178 + 2 b101 * b104 + 4 b101 * b107 + 6 b101 * b110 + 8 b101 * b113 + 10 b101 * b116 + 12 b101 * b119 + 14 b101 * b122 + 16 b101 * b125 + 18 b101 * b128 + 20 b101 * b131 + 22 b101 * b134 + 24 b101 * b137 + 26 b101 * b140 + 28 b101 * b143 + 30 b101 * b146 + 32 b101 * b149 + 34 b101 * b152 + 36 b101 * b155 + 38 b101 * b158 + 40 b101 * b161 + 42 b101 * b164 + 44 b101 * b167 + 46 b101 * b170 + 48 b101 * b173 + 50 b101 * b176 + 52 b101 * b179 + 2 b102 * b105 + 4 b102 * b108 + 6 b102 * b111 + 8 b102 * b114 + 10 b102 * b117 + 12 b102 * b120 + 14 b102 * b123 + 16 b102 * b126 + 18 b102 * b129 + 20 b102 * b132 + 22 b102 * b135 + 24 b102 * b138 + 26 b102 * b141 + 28 b102 * b144 + 30 b102 * b147 + 32 b102 * b150 + 34 b102 * b153 + 36 b102 * b156 + 38 b102 * b159 + 40 b102 * b162 + 42 b102 * b165 + 44 b102 * b168 + 46 b102 * b171 + 48 b102 * b174 + 50 b102 * b177 + 52 b102 * b180 + 2 b103 * b106 + 4 b103 * b109 + 6 b103 * b112 + 8 b103 * b115 + 10 b103 * b118 + 12 b103 * b121 + 14 b103 * b124 + 16 b103 * b127 + 18 b103 * b130 + 20 b103 * b133 + 22 b103 * b136 + 24 b103 * b139 + 26 b103 * b142 + 28 b103 * b145 + 30 b103 * b148 + 32 b103 * b151 + 34 b103 * b154 + 36 b103 * b157 + 38 b103 * b160 + 40 b103 * b163 + 42 b103 * b166 + 44 b103 * b169 + 46 b103 * b172 + 48 b103 * b175 + 50 b103 * b178 + 2 b104 * b107 + 4 b104 * b110 + 6 b104 * b113 + 8 b104 * b116 + 10 b104 * b119 + 12 b104 * b122 + 14 b104 * b125 + 16 b104 * b128 + 18 b104 * b131 + 20 b104 * b134 + 22 b104 * b137 + 24 b104 * b140 + 26 b104 * b143 + 28 b104 * b146 + 30 b104 * b149 + 32 b104 * b152 + 34 b104 * b155 + 36 b104 * b158 + 38 b104 * b161 + 40 b104 * b164 + 42 b104 * b167 + 44 b104 * b170 + 46 b104 * b173 + 48 b104 * b176 + 50 b104 * b179 + 2 b105 * b108 + 4 b105 * b111 + 6 b105 * b114 + 8 b105 * b117 + 10 b105 * b120 + 12 b105 * b123 + 14 b105 * b126 + 16 b105 * b129 + 18 b105 * b132 + 20 b105 * b135 + 22 b105 * b138 + 24 b105 * b141 + 26 b105 * b144 + 28 b105 * b147 + 30 b105 * b150 + 32 b105 * b153 + 34 b105 * b156 + 36 b105 * b159 + 38 b105 * b162 + 40 b105 * b165 + 42 b105 * b168 + 44 b105 * b171 + 46 b105 * b174 + 48 b105 * b177 + 50 b105 * b180 + 2 b106 * b109 + 4 b106 * b112 + 6 b106 * b115 + 8 b106 * b118 + 10 b106 * b121 + 12 b106 * b124 + 14 b106 * b127 + 16 b106 * b130 + 18 b106 * b133 + 20 b106 * b136 + 22 b106 * b139 + 24 b106 * b142 + 26 b106 * b145 + 28 b106 * b148 + 30 b106 * b151 + 32 b106 * b154 + 34 b106 * b157 + 36 b106 * b160 + 38 b106 * b163 + 40 b106 * b166 + 42 b106 * b169 + 44 b106 * b172 + 46 b106 * b175 + 48 b106 * b178 + 2 b107 * b110 + 4 b107 * b113 + 6 b107 * b116 + 8 b107 * b119 + 10 b107 * b122 + 12 b107 * b125 + 14 b107 * b128 + 16 b107 * b131 + 18 b107 * b134 + 20 b107 * b137 + 22 b107 * b140 + 24 b107 * b143 + 26 b107 * b146 + 28 b107 * b149 + 30 b107 * b152 + 32 b107 * b155 + 34 b107 * b158 + 36 b107 * b161 + 38 b107 * b164 + 40 b107 * b167 + 42 b107 * b170 + 44 b107 * b173 + 46 b107 * b176 + 48 b107 * b179 + 2 b108 * b111 + 4 b108 * b114 + 6 b108 * b117 + 8 b108 * b120 + 10 b108 * b123 + 12 b108 * b126 + 14 b108 * b129 + 16 b108 * b132 + 18 b108 * b135 + 20 b108 * b138 + 22 b108 * b141 + 24 b108 * b144 + 26 b108 * b147 + 28 b108 * b150 + 30 b108 * b153 + 32 b108 * b156 + 34 b108 * b159 + 36 b108 * b162 + 38 b108 * b165 + 40 b108 * b168 + 42 b108 * b171 + 44 b108 * b174 + 46 b108 * b177 + 48 b108 * b180 + 2 b109 * b112 + 4 b109 * b115 + 6 b109 * b118 + 8 b109 * b121 + 10 b109 * b124 + 12 b109 * b127 + 14 b109 * b130 + 16 b109 * b133 + 18 b109 * b136 + 20 b109 * b139 + 22 b109 * b142 + 24 b109 * b145 + 26 b109 * b148 + 28 b109 * b151 + 30 b109 * b154 + 32 b109 * b157 + 34 b109 * b160 + 36 b109 * b163 + 38 b109 * b166 + 40 b109 * b169 + 42 b109 * b172 + 44 b109 * b175 + 46 b109 * b178 + 2 b110 * b113 + 4 b110 * b116 + 6 b110 * b119 + 8 b110 * b122 + 10 b110 * b125 + 12 b110 * b128 + 14 b110 * b131 + 16 b110 * b134 + 18 b110 * b137 + 20 b110 * b140 + 22 b110 * b143 + 24 b110 * b146 + 26 b110 * b149 + 28 b110 * b152 + 30 b110 * b155 + 32 b110 * b158 + 34 b110 * b161 + 36 b110 * b164 + 38 b110 * b167 + 40 b110 * b170 + 42 b110 * b173 + 44 b110 * b176 + 46 b110 * b179 + 2 b111 * b114 + 4 b111 * b117 + 6 b111 * b120 + 8 b111 * b123 + 10 b111 * b126 + 12 b111 * b129 + 14 b111 * b132 + 16 b111 * b135 + 18 b111 * b138 + 20 b111 * b141 + 22 b111 * b144 + 24 b111 * b147 + 26 b111 * b150 + 28 b111 * b153 + 30 b111 * b156 + 32 b111 * b159 + 34 b111 * b162 + 36 b111 * b165 + 38 b111 * b168 + 40 b111 * b171 + 42 b111 * b174 + 44 b111 * b177 + 46 b111 * b180 + 2 b112 * b115 + 4 b112 * b118 + 6 b112 * b121 + 8 b112 * b124 + 10 b112 * b127 + 12 b112 * b130 + 14 b112 * b133 + 16 b112 * b136 + 18 b112 * b139 + 20 b112 * b142 + 22 b112 * b145 + 24 b112 * b148 + 26 b112 * b151 + 28 b112 * b154 + 30 b112 * b157 + 32 b112 * b160 + 34 b112 * b163 + 36 b112 * b166 + 38 b112 * b169 + 40 b112 * b172 + 42 b112 * b175 + 44 b112 * b178 + 2 b113 * b116 + 4 b113 * b119 + 6 b113 * b122 + 8 b113 * b125 + 10 b113 * b128 + 12 b113 * b131 + 14 b113 * b134 + 16 b113 * b137 + 18 b113 * b140 + 20 b113 * b143 + 22 b113 * b146 + 24 b113 * b149 + 26 b113 * b152 + 28 b113 * b155 + 30 b113 * b158 + 32 b113 * b161 + 34 b113 * b164 + 36 b113 * b167 + 38 b113 * b170 + 40 b113 * b173 + 42 b113 * b176 + 44 b113 * b179 + 2 b114 * b117 + 4 b114 * b120 + 6 b114 * b123 + 8 b114 * b126 + 10 b114 * b129 + 12 b114 * b132 + 14 b114 * b135 + 16 b114 * b138 + 18 b114 * b141 + 20 b114 * b144 + 22 b114 * b147 + 24 b114 * b150 + 26 b114 * b153 + 28 b114 * b156 + 30 b114 * b159 + 32 b114 * b162 + 34 b114 * b165 + 36 b114 * b168 + 38 b114 * b171 + 40 b114 * b174 + 42 b114 * b177 + 44 b114 * b180 + 2 b115 * b118 + 4 b115 * b121 + 6 b115 * b124 + 8 b115 * b127 + 10 b115 * b130 + 12 b115 * b133 + 14 b115 * b136 + 16 b115 * b139 + 18 b115 * b142 + 20 b115 * b145 + 22 b115 * b148 + 24 b115 * b151 + 26 b115 * b154 + 28 b115 * b157 + 30 b115 * b160 + 32 b115 * b163 + 34 b115 * b166 + 36 b115 * b169 + 38 b115 * b172 + 40 b115 * b175 + 42 b115 * b178 + 2 b116 * b119 + 4 b116 * b122 + 6 b116 * b125 + 8 b116 * b128 + 10 b116 * b131 + 12 b116 * b134 + 14 b116 * b137 + 16 b116 * b140 + 18 b116 * b143 + 20 b116 * b146 + 22 b116 * b149 + 24 b116 * b152 + 26 b116 * b155 + 28 b116 * b158 + 30 b116 * b161 + 32 b116 * b164 + 34 b116 * b167 + 36 b116 * b170 + 38 b116 * b173 + 40 b116 * b176 + 42 b116 * b179 + 2 b117 * b120 + 4 b117 * b123 + 6 b117 * b126 + 8 b117 * b129 + 10 b117 * b132 + 12 b117 * b135 + 14 b117 * b138 + 16 b117 * b141 + 18 b117 * b144 + 20 b117 * b147 + 22 b117 * b150 + 24 b117 * b153 + 26 b117 * b156 + 28 b117 * b159 + 30 b117 * b162 + 32 b117 * b165 + 34 b117 * b168 + 36 b117 * b171 + 38 b117 * b174 + 40 b117 * b177 + 42 b117 * b180 + 2 b118 * b121 + 4 b118 * b124 + 6 b118 * b127 + 8 b118 * b130 + 10 b118 * b133 + 12 b118 * b136 + 14 b118 * b139 + 16 b118 * b142 + 18 b118 * b145 + 20 b118 * b148 + 22 b118 * b151 + 24 b118 * b154 + 26 b118 * b157 + 28 b118 * b160 + 30 b118 * b163 + 32 b118 * b166 + 34 b118 * b169 + 36 b118 * b172 + 38 b118 * b175 + 40 b118 * b178 + 2 b119 * b122 + 4 b119 * b125 + 6 b119 * b128 + 8 b119 * b131 + 10 b119 * b134 + 12 b119 * b137 + 14 b119 * b140 + 16 b119 * b143 + 18 b119 * b146 + 20 b119 * b149 + 22 b119 * b152 + 24 b119 * b155 + 26 b119 * b158 + 28 b119 * b161 + 30 b119 * b164 + 32 b119 * b167 + 34 b119 * b170 + 36 b119 * b173 + 38 b119 * b176 + 40 b119 * b179 + 2 b120 * b123 + 4 b120 * b126 + 6 b120 * b129 + 8 b120 * b132 + 10 b120 * b135 + 12 b120 * b138 + 14 b120 * b141 + 16 b120 * b144 + 18 b120 * b147 + 20 b120 * b150 + 22 b120 * b153 + 24 b120 * b156 + 26 b120 * b159 + 28 b120 * b162 + 30 b120 * b165 + 32 b120 * b168 + 34 b120 * b171 + 36 b120 * b174 + 38 b120 * b177 + 40 b120 * b180 + 2 b121 * b124 + 4 b121 * b127 + 6 b121 * b130 + 8 b121 * b133 + 10 b121 * b136 + 12 b121 * b139 + 14 b121 * b142 + 16 b121 * b145 + 18 b121 * b148 + 20 b121 * b151 + 22 b121 * b154 + 24 b121 * b157 + 26 b121 * b160 + 28 b121 * b163 + 30 b121 * b166 + 32 b121 * b169 + 34 b121 * b172 + 36 b121 * b175 + 38 b121 * b178 + 2 b122 * b125 + 4 b122 * b128 + 6 b122 * b131 + 8 b122 * b134 + 10 b122 * b137 + 12 b122 * b140 + 14 b122 * b143 + 16 b122 * b146 + 18 b122 * b149 + 20 b122 * b152 + 22 b122 * b155 + 24 b122 * b158 + 26 b122 * b161 + 28 b122 * b164 + 30 b122 * b167 + 32 b122 * b170 + 34 b122 * b173 + 36 b122 * b176 + 38 b122 * b179 + 2 b123 * b126 + 4 b123 * b129 + 6 b123 * b132 + 8 b123 * b135 + 10 b123 * b138 + 12 b123 * b141 + 14 b123 * b144 + 16 b123 * b147 + 18 b123 * b150 + 20 b123 * b153 + 22 b123 * b156 + 24 b123 * b159 + 26 b123 * b162 + 28 b123 * b165 + 30 b123 * b168 + 32 b123 * b171 + 34 b123 * b174 + 36 b123 * b177 + 38 b123 * b180 + 2 b124 * b127 + 4 b124 * b130 + 6 b124 * b133 + 8 b124 * b136 + 10 b124 * b139 + 12 b124 * b142 + 14 b124 * b145 + 16 b124 * b148 + 18 b124 * b151 + 20 b124 * b154 + 22 b124 * b157 + 24 b124 * b160 + 26 b124 * b163 + 28 b124 * b166 + 30 b124 * b169 + 32 b124 * b172 + 34 b124 * b175 + 36 b124 * b178 + 2 b125 * b128 + 4 b125 * b131 + 6 b125 * b134 + 8 b125 * b137 + 10 b125 * b140 + 12 b125 * b143 + 14 b125 * b146 + 16 b125 * b149 + 18 b125 * b152 + 20 b125 * b155 + 22 b125 * b158 + 24 b125 * b161 + 26 b125 * b164 + 28 b125 * b167 + 30 b125 * b170 + 32 b125 * b173 + 34 b125 * b176 + 36 b125 * b179 + 2 b126 * b129 + 4 b126 * b132 + 6 b126 * b135 + 8 b126 * b138 + 10 b126 * b141 + 12 b126 * b144 + 14 b126 * b147 + 16 b126 * b150 + 18 b126 * b153 + 20 b126 * b156 + 22 b126 * b159 + 24 b126 * b162 + 26 b126 * b165 + 28 b126 * b168 + 30 b126 * b171 + 32 b126 * b174 + 34 b126 * b177 + 36 b126 * b180 + 2 b127 * b130 + 4 b127 * b133 + 6 b127 * b136 + 8 b127 * b139 + 10 b127 * b142 + 12 b127 * b145 + 14 b127 * b148 + 16 b127 * b151 + 18 b127 * b154 + 20 b127 * b157 + 22 b127 * b160 + 24 b127 * b163 + 26 b127 * b166 + 28 b127 * b169 + 30 b127 * b172 + 32 b127 * b175 + 34 b127 * b178 + 2 b128 * b131 + 4 b128 * b134 + 6 b128 * b137 + 8 b128 * b140 + 10 b128 * b143 + 12 b128 * b146 + 14 b128 * b149 + 16 b128 * b152 + 18 b128 * b155 + 20 b128 * b158 + 22 b128 * b161 + 24 b128 * b164 + 26 b128 * b167 + 28 b128 * b170 + 30 b128 * b173 + 32 b128 * b176 + 34 b128 * b179 + 2 b129 * b132 + 4 b129 * b135 + 6 b129 * b138 + 8 b129 * b141 + 10 b129 * b144 + 12 b129 * b147 + 14 b129 * b150 + 16 b129 * b153 + 18 b129 * b156 + 20 b129 * b159 + 22 b129 * b162 + 24 b129 * b165 + 26 b129 * b168 + 28 b129 * b171 + 30 b129 * b174 + 32 b129 * b177 + 34 b129 * b180 + 2 b130 * b133 + 4 b130 * b136 + 6 b130 * b139 + 8 b130 * b142 + 10 b130 * b145 + 12 b130 * b148 + 14 b130 * b151 + 16 b130 * b154 + 18 b130 * b157 + 20 b130 * b160 + 22 b130 * b163 + 24 b130 * b166 + 26 b130 * b169 + 28 b130 * b172 + 30 b130 * b175 + 32 b130 * b178 + 2 b131 * b134 + 4 b131 * b137 + 6 b131 * b140 + 8 b131 * b143 + 10 b131 * b146 + 12 b131 * b149 + 14 b131 * b152 + 16 b131 * b155 + 18 b131 * b158 + 20 b131 * b161 + 22 b131 * b164 + 24 b131 * b167 + 26 b131 * b170 + 28 b131 * b173 + 30 b131 * b176 + 32 b131 * b179 + 2 b132 * b135 + 4 b132 * b138 + 6 b132 * b141 + 8 b132 * b144 + 10 b132 * b147 + 12 b132 * b150 + 14 b132 * b153 + 16 b132 * b156 + 18 b132 * b159 + 20 b132 * b162 + 22 b132 * b165 + 24 b132 * b168 + 26 b132 * b171 + 28 b132 * b174 + 30 b132 * b177 + 32 b132 * b180 + 2 b133 * b136 + 4 b133 * b139 + 6 b133 * b142 + 8 b133 * b145 + 10 b133 * b148 + 12 b133 * b151 + 14 b133 * b154 + 16 b133 * b157 + 18 b133 * b160 + 20 b133 * b163 + 22 b133 * b166 + 24 b133 * b169 + 26 b133 * b172 + 28 b133 * b175 + 30 b133 * b178 + 2 b134 * b137 + 4 b134 * b140 + 6 b134 * b143 + 8 b134 * b146 + 10 b134 * b149 + 12 b134 * b152 + 14 b134 * b155 + 16 b134 * b158 + 18 b134 * b161 + 20 b134 * b164 + 22 b134 * b167 + 24 b134 * b170 + 26 b134 * b173 + 28 b134 * b176 + 30 b134 * b179 + 2 b135 * b138 + 4 b135 * b141 + 6 b135 * b144 + 8 b135 * b147 + 10 b135 * b150 + 12 b135 * b153 + 14 b135 * b156 + 16 b135 * b159 + 18 b135 * b162 + 20 b135 * b165 + 22 b135 * b168 + 24 b135 * b171 + 26 b135 * b174 + 28 b135 * b177 + 30 b135 * b180 + 2 b136 * b139 + 4 b136 * b142 + 6 b136 * b145 + 8 b136 * b148 + 10 b136 * b151 + 12 b136 * b154 + 14 b136 * b157 + 16 b136 * b160 + 18 b136 * b163 + 20 b136 * b166 + 22 b136 * b169 + 24 b136 * b172 + 26 b136 * b175 + 28 b136 * b178 + 2 b137 * b140 + 4 b137 * b143 + 6 b137 * b146 + 8 b137 * b149 + 10 b137 * b152 + 12 b137 * b155 + 14 b137 * b158 + 16 b137 * b161 + 18 b137 * b164 + 20 b137 * b167 + 22 b137 * b170 + 24 b137 * b173 + 26 b137 * b176 + 28 b137 * b179 + 2 b138 * b141 + 4 b138 * b144 + 6 b138 * b147 + 8 b138 * b150 + 10 b138 * b153 + 12 b138 * b156 + 14 b138 * b159 + 16 b138 * b162 + 18 b138 * b165 + 20 b138 * b168 + 22 b138 * b171 + 24 b138 * b174 + 26 b138 * b177 + 28 b138 * b180 + 2 b139 * b142 + 4 b139 * b145 + 6 b139 * b148 + 8 b139 * b151 + 10 b139 * b154 + 12 b139 * b157 + 14 b139 * b160 + 16 b139 * b163 + 18 b139 * b166 + 20 b139 * b169 + 22 b139 * b172 + 24 b139 * b175 + 26 b139 * b178 + 2 b140 * b143 + 4 b140 * b146 + 6 b140 * b149 + 8 b140 * b152 + 10 b140 * b155 + 12 b140 * b158 + 14 b140 * b161 + 16 b140 * b164 + 18 b140 * b167 + 20 b140 * b170 + 22 b140 * b173 + 24 b140 * b176 + 26 b140 * b179 + 2 b141 * b144 + 4 b141 * b147 + 6 b141 * b150 + 8 b141 * b153 + 10 b141 * b156 + 12 b141 * b159 + 14 b141 * b162 + 16 b141 * b165 + 18 b141 * b168 + 20 b141 * b171 + 22 b141 * b174 + 24 b141 * b177 + 26 b141 * b180 + 2 b142 * b145 + 4 b142 * b148 + 6 b142 * b151 + 8 b142 * b154 + 10 b142 * b157 + 12 b142 * b160 + 14 b142 * b163 + 16 b142 * b166 + 18 b142 * b169 + 20 b142 * b172 + 22 b142 * b175 + 24 b142 * b178 + 2 b143 * b146 + 4 b143 * b149 + 6 b143 * b152 + 8 b143 * b155 + 10 b143 * b158 + 12 b143 * b161 + 14 b143 * b164 + 16 b143 * b167 + 18 b143 * b170 + 20 b143 * b173 + 22 b143 * b176 + 24 b143 * b179 + 2 b144 * b147 + 4 b144 * b150 + 6 b144 * b153 + 8 b144 * b156 + 10 b144 * b159 + 12 b144 * b162 + 14 b144 * b165 + 16 b144 * b168 + 18 b144 * b171 + 20 b144 * b174 + 22 b144 * b177 + 24 b144 * b180 + 2 b145 * b148 + 4 b145 * b151 + 6 b145 * b154 + 8 b145 * b157 + 10 b145 * b160 + 12 b145 * b163 + 14 b145 * b166 + 16 b145 * b169 + 18 b145 * b172 + 20 b145 * b175 + 22 b145 * b178 + 2 b146 * b149 + 4 b146 * b152 + 6 b146 * b155 + 8 b146 * b158 + 10 b146 * b161 + 12 b146 * b164 + 14 b146 * b167 + 16 b146 * b170 + 18 b146 * b173 + 20 b146 * b176 + 22 b146 * b179 + 2 b147 * b150 + 4 b147 * b153 + 6 b147 * b156 + 8 b147 * b159 + 10 b147 * b162 + 12 b147 * b165 + 14 b147 * b168 + 16 b147 * b171 + 18 b147 * b174 + 20 b147 * b177 + 22 b147 * b180 + 2 b148 * b151 + 4 b148 * b154 + 6 b148 * b157 + 8 b148 * b160 + 10 b148 * b163 + 12 b148 * b166 + 14 b148 * b169 + 16 b148 * b172 + 18 b148 * b175 + 20 b148 * b178 + 2 b149 * b152 + 4 b149 * b155 + 6 b149 * b158 + 8 b149 * b161 + 10 b149 * b164 + 12 b149 * b167 + 14 b149 * b170 + 16 b149 * b173 + 18 b149 * b176 + 20 b149 * b179 + 2 b150 * b153 + 4 b150 * b156 + 6 b150 * b159 + 8 b150 * b162 + 10 b150 * b165 + 12 b150 * b168 + 14 b150 * b171 + 16 b150 * b174 + 18 b150 * b177 + 20 b150 * b180 + 2 b151 * b154 + 4 b151 * b157 + 6 b151 * b160 + 8 b151 * b163 + 10 b151 * b166 + 12 b151 * b169 + 14 b151 * b172 + 16 b151 * b175 + 18 b151 * b178 + 2 b152 * b155 + 4 b152 * b158 + 6 b152 * b161 + 8 b152 * b164 + 10 b152 * b167 + 12 b152 * b170 + 14 b152 * b173 + 16 b152 * b176 + 18 b152 * b179 + 2 b153 * b156 + 4 b153 * b159 + 6 b153 * b162 + 8 b153 * b165 + 10 b153 * b168 + 12 b153 * b171 + 14 b153 * b174 + 16 b153 * b177 + 18 b153 * b180 + 2 b154 * b157 + 4 b154 * b160 + 6 b154 * b163 + 8 b154 * b166 + 10 b154 * b169 + 12 b154 * b172 + 14 b154 * b175 + 16 b154 * b178 + 2 b155 * b158 + 4 b155 * b161 + 6 b155 * b164 + 8 b155 * b167 + 10 b155 * b170 + 12 b155 * b173 + 14 b155 * b176 + 16 b155 * b179 + 2 b156 * b159 + 4 b156 * b162 + 6 b156 * b165 + 8 b156 * b168 + 10 b156 * b171 + 12 b156 * b174 + 14 b156 * b177 + 16 b156 * b180 + 2 b157 * b160 + 4 b157 * b163 + 6 b157 * b166 + 8 b157 * b169 + 10 b157 * b172 + 12 b157 * b175 + 14 b157 * b178 + 2 b158 * b161 + 4 b158 * b164 + 6 b158 * b167 + 8 b158 * b170 + 10 b158 * b173 + 12 b158 * b176 + 14 b158 * b179 + 2 b159 * b162 + 4 b159 * b165 + 6 b159 * b168 + 8 b159 * b171 + 10 b159 * b174 + 12 b159 * b177 + 14 b159 * b180 + 2 b160 * b163 + 4 b160 * b166 + 6 b160 * b169 + 8 b160 * b172 + 10 b160 * b175 + 12 b160 * b178 + 2 b161 * b164 + 4 b161 * b167 + 6 b161 * b170 + 8 b161 * b173 + 10 b161 * b176 + 12 b161 * b179 + 2 b162 * b165 + 4 b162 * b168 + 6 b162 * b171 + 8 b162 * b174 + 10 b162 * b177 + 12 b162 * b180 + 2 b163 * b166 + 4 b163 * b169 + 6 b163 * b172 + 8 b163 * b175 + 10 b163 * b178 + 2 b164 * b167 + 4 b164 * b170 + 6 b164 * b173 + 8 b164 * b176 + 10 b164 * b179 + 2 b165 * b168 + 4 b165 * b171 + 6 b165 * b174 + 8 b165 * b177 + 10 b165 * b180 + 2 b166 * b169 + 4 b166 * b172 + 6 b166 * b175 + 8 b166 * b178 + 2 b167 * b170 + 4 b167 * b173 + 6 b167 * b176 + 8 b167 * b179 + 2 b168 * b171 + 4 b168 * b174 + 6 b168 * b177 + 8 b168 * b180 + 2 b169 * b172 + 4 b169 * b175 + 6 b169 * b178 + 2 b170 * b173 + 4 b170 * b176 + 6 b170 * b179 + 2 b171 * b174 + 4 b171 * b177 + 6 b171 * b180 + 2 b172 * b175 + 4 b172 * b178 + 2 b173 * b176 + 4 b173 * b179 + 2 b174 * b177 + 4 b174 * b180 + 2 b175 * b178 + 2 b176 * b179 + 2 b177 * b180 ]/2 Subject To e1: b1 + b2 + b3 = 1 e2: b4 + b5 + b6 = 1 e3: b7 + b8 + b9 = 1 e4: b10 + b11 + b12 = 1 e5: b13 + b14 + b15 = 1 e6: b16 + b17 + b18 = 1 e7: b19 + b20 + b21 = 1 e8: b22 + b23 + b24 = 1 e9: b25 + b26 + b27 = 1 e10: b28 + b29 + b30 = 1 e11: b31 + b32 + b33 = 1 e12: b34 + b35 + b36 = 1 e13: b37 + b38 + b39 = 1 e14: b40 + b41 + b42 = 1 e15: b43 + b44 + b45 = 1 e16: b46 + b47 + b48 = 1 e17: b49 + b50 + b51 = 1 e18: b52 + b53 + b54 = 1 e19: b55 + b56 + b57 = 1 e20: b58 + b59 + b60 = 1 e21: b61 + b62 + b63 = 1 e22: b64 + b65 + b66 = 1 e23: b67 + b68 + b69 = 1 e24: b70 + b71 + b72 = 1 e25: b73 + b74 + b75 = 1 e26: b76 + b77 + b78 = 1 e27: b79 + b80 + b81 = 1 e28: b82 + b83 + b84 = 1 e29: b85 + b86 + b87 = 1 e30: b88 + b89 + b90 = 1 e31: b91 + b92 + b93 = 1 e32: b94 + b95 + b96 = 1 e33: b97 + b98 + b99 = 1 e34: b100 + b101 + b102 = 1 e35: b103 + b104 + b105 = 1 e36: b106 + b107 + b108 = 1 e37: b109 + b110 + b111 = 1 e38: b112 + b113 + b114 = 1 e39: b115 + b116 + b117 = 1 e40: b118 + b119 + b120 = 1 e41: b121 + b122 + b123 = 1 e42: b124 + b125 + b126 = 1 e43: b127 + b128 + b129 = 1 e44: b130 + b131 + b132 = 1 e45: b133 + b134 + b135 = 1 e46: b136 + b137 + b138 = 1 e47: b139 + b140 + b141 = 1 e48: b142 + b143 + b144 = 1 e49: b145 + b146 + b147 = 1 e50: b148 + b149 + b150 = 1 e51: b151 + b152 + b153 = 1 e52: b154 + b155 + b156 = 1 e53: b157 + b158 + b159 = 1 e54: b160 + b161 + b162 = 1 e55: b163 + b164 + b165 = 1 e56: b166 + b167 + b168 = 1 e57: b169 + b170 + b171 = 1 e58: b172 + b173 + b174 = 1 e59: b175 + b176 + b177 = 1 e60: b178 + b179 + b180 = 1 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 End