\ Equation counts \ Total E G L N X C B \ 1237 0 0 1237 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 100 0 100 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2574 2474 100 0 \ Maximize obj: - 84 b2 + 7 b3 + 68 b4 + 37 b5 + 47 b6 + 10 b7 + 26 b8 + 58 b9 + 71 b10 + 86 b11 + 84 b12 - 65 b13 + 53 b14 - 69 b15 + 33 b16 + 31 b17 + 67 b18 + 5 b19 - 72 b20 + 95 b21 + 76 b22 + 39 b23 + 8 b24 - 74 b25 + 58 b26 - 94 b27 + 51 b28 + 79 b29 + 61 b30 + 32 b31 + 27 b32 - 12 b33 + 99 b34 + 78 b35 + 61 b36 - 91 b37 - 80 b38 - 88 b39 + 80 b40 + 64 b41 + 25 b42 + 29 b43 + 67 b44 + 30 b45 + 59 b46 - 72 b47 + 74 b48 + 30 b49 + 4 b50 + 46 b51 - 83 b52 + 4 b53 + 69 b54 + 48 b55 + 56 b56 + 37 b57 + 72 b58 + 59 b59 - 77 b60 + 18 b61 + 100 b62 + 71 b63 + 28 b64 - 97 b65 - 11 b66 - 99 b67 + 83 b68 + 54 b69 + 48 b70 + 55 b71 - 15 b72 + 87 b73 + 61 b74 - 29 b75 + 84 b76 + 23 b77 + 38 b78 + 8 b79 + 97 b80 + 48 b81 - 50 b82 - 51 b83 + 3 b84 + 39 b85 - 56 b86 + 6 b87 - 36 b88 - 12 b89 + 89 b90 + 84 b91 + 37 b92 + 59 b93 + 3 b94 + 92 b95 - 21 b96 + 9 b97 + 89 b98 - 58 b99 - 62 b100 + 41 b101 + [ - 82 b2 * b3 + 84 b2 * b4 + 84 b2 * b5 + 48 b2 * b6 + 90 b2 * b7 + 106 b2 * b8 + 34 b2 * b9 + 120 b2 * b10 + 56 b2 * b11 + 146 b2 * b12 - 82 b2 * b13 - 150 b2 * b14 + 78 b2 * b15 - 144 b2 * b16 + 160 b2 * b17 + 40 b2 * b18 + 124 b2 * b19 + 94 b2 * b20 + 36 b2 * b21 + 168 b2 * b22 - 58 b2 * b23 - 192 b2 * b24 + 102 b2 * b25 + 134 b2 * b26 + 114 b2 * b27 - 60 b2 * b28 + 38 b2 * b29 + 60 b2 * b30 + 176 b2 * b31 + 16 b2 * b32 - 32 b2 * b33 + 76 b2 * b34 + 182 b2 * b35 + 166 b2 * b36 + 12 b2 * b37 - 46 b2 * b38 + 116 b2 * b39 + 164 b2 * b40 - 48 b2 * b41 - 74 b2 * b42 + 180 b2 * b43 + 56 b2 * b44 + 148 b2 * b45 + 32 b2 * b46 + 18 b2 * b47 - 62 b2 * b48 + 10 b2 * b49 + 114 b2 * b50 + 112 b2 * b51 + 14 b2 * b52 + 18 b2 * b53 + 196 b2 * b54 + 196 b2 * b55 + 146 b2 * b56 + 60 b2 * b57 + 8 b2 * b58 - 64 b2 * b59 + 156 b2 * b60 + 184 b2 * b61 + 140 b2 * b62 + 142 b2 * b63 + 58 b2 * b64 - 48 b2 * b65 + 146 b2 * b66 - 152 b2 * b67 - 190 b2 * b68 - 120 b2 * b69 + 100 b2 * b70 + 148 b2 * b71 + 164 b2 * b72 + 72 b2 * b73 + 146 b2 * b74 + 42 b2 * b75 + 150 b2 * b76 + 92 b2 * b77 + 32 b2 * b78 + 96 b2 * b79 + 188 b2 * b80 + 162 b2 * b81 + 10 b2 * b82 - 194 b2 * b83 + 184 b2 * b84 - 180 b2 * b85 + 36 b2 * b86 + 136 b2 * b87 + 34 b2 * b88 + 176 b2 * b89 + 146 b2 * b90 + 84 b2 * b91 + 48 b2 * b92 + 86 b2 * b93 - 12 b2 * b94 + 166 b2 * b95 + 128 b2 * b96 + 136 b2 * b97 + 44 b2 * b98 + 132 b2 * b99 + 50 b2 * b100 + 118 b2 * b101 + 42 b3 * b4 - 184 b3 * b5 + 160 b3 * b6 + 58 b3 * b7 + 182 b3 * b8 + 196 b3 * b9 - 120 b3 * b10 + 106 b3 * b11 - 66 b3 * b12 - 134 b3 * b13 - 2 b3 * b14 + 30 b3 * b15 - 4 b3 * b16 - 78 b3 * b17 - 76 b3 * b18 + 38 b3 * b19 + 148 b3 * b20 + 92 b3 * b21 + 188 b3 * b22 + 16 b3 * b23 + 94 b3 * b24 + 100 b3 * b25 + 98 b3 * b26 - 148 b3 * b27 + 80 b3 * b28 - 154 b3 * b29 - 156 b3 * b30 + 130 b3 * b31 + 46 b3 * b32 + 18 b3 * b33 + 104 b3 * b34 - 140 b3 * b35 + 82 b3 * b36 + 164 b3 * b37 - 186 b3 * b38 + 140 b3 * b39 + 94 b3 * b40 - 194 b3 * b41 + 48 b3 * b42 + 152 b3 * b43 + 124 b3 * b44 + 12 b3 * b45 + 192 b3 * b46 + 140 b3 * b47 - 154 b3 * b48 - 60 b3 * b49 - 112 b3 * b50 - 116 b3 * b51 + 134 b3 * b52 + 164 b3 * b53 + 160 b3 * b54 + 100 b3 * b55 + 50 b3 * b56 + 146 b3 * b57 + 34 b3 * b58 - 124 b3 * b59 + 104 b3 * b60 - 34 b3 * b61 + 82 b3 * b62 + 138 b3 * b63 + 134 b3 * b64 + 194 b3 * b65 + 98 b3 * b66 + 140 b3 * b67 + 194 b3 * b68 + 156 b3 * b69 + 12 b3 * b70 + 108 b3 * b71 + 146 b3 * b72 - 60 b3 * b73 + 146 b3 * b74 - 38 b3 * b75 - 124 b3 * b76 + 54 b3 * b77 - 48 b3 * b78 - 142 b3 * b79 + 194 b3 * b80 - 126 b3 * b81 + 50 b3 * b82 + 128 b3 * b83 + 72 b3 * b84 - 96 b3 * b85 + 38 b3 * b86 + 46 b3 * b87 + 52 b3 * b88 + 168 b3 * b89 + 96 b3 * b90 + 158 b3 * b91 + 176 b3 * b92 + 126 b3 * b93 + 104 b3 * b94 + 104 b3 * b95 + 6 b3 * b96 + 88 b3 * b97 + 102 b3 * b98 + 198 b3 * b99 - 102 b3 * b100 + 60 b3 * b101 + 198 b4 * b5 - 26 b4 * b6 + 18 b4 * b7 + 158 b4 * b8 + 100 b4 * b9 + 128 b4 * b10 - 130 b4 * b11 + 104 b4 * b12 + 20 b4 * b13 + 30 b4 * b14 + 42 b4 * b15 + 182 b4 * b16 + 138 b4 * b17 + 16 b4 * b18 - 80 b4 * b19 - 82 b4 * b20 + 188 b4 * b21 + 36 b4 * b22 + 104 b4 * b23 + 18 b4 * b24 + 112 b4 * b25 + 84 b4 * b26 - 4 b4 * b27 + 80 b4 * b28 + 94 b4 * b29 + 54 b4 * b30 + 34 b4 * b31 - 180 b4 * b32 + 22 b4 * b33 + 112 b4 * b34 + 182 b4 * b35 - 86 b4 * b36 + 8 b4 * b37 + 178 b4 * b38 - 24 b4 * b39 + 24 b4 * b40 + 144 b4 * b41 + 184 b4 * b42 + 194 b4 * b43 + 176 b4 * b44 + 74 b4 * b45 + 126 b4 * b46 + 70 b4 * b47 - 180 b4 * b48 - 10 b4 * b49 - 196 b4 * b50 - 194 b4 * b51 - 60 b4 * b52 + 114 b4 * b53 + 118 b4 * b54 + 132 b4 * b55 + 174 b4 * b56 - 150 b4 * b57 + 124 b4 * b58 + 18 b4 * b59 - 134 b4 * b60 - 134 b4 * b61 + 100 b4 * b62 + 72 b4 * b63 + 196 b4 * b64 + 70 b4 * b65 + 174 b4 * b66 + 182 b4 * b67 + 166 b4 * b68 - 172 b4 * b69 + 30 b4 * b70 + 30 b4 * b71 + 82 b4 * b72 + 62 b4 * b73 - 130 b4 * b74 + 110 b4 * b75 + 174 b4 * b76 - 126 b4 * b77 - 146 b4 * b78 + 52 b4 * b79 + 180 b4 * b80 - 42 b4 * b81 + 86 b4 * b82 + 186 b4 * b83 + 20 b4 * b84 + 140 b4 * b85 - 162 b4 * b86 + 56 b4 * b87 + 50 b4 * b88 - 150 b4 * b89 - 200 b4 * b90 + 142 b4 * b91 + 106 b4 * b92 - 52 b4 * b93 + 166 b4 * b94 + 198 b4 * b95 + 128 b4 * b96 + 96 b4 * b97 - 66 b4 * b98 + 70 b4 * b99 + 44 b4 * b100 + 34 b4 * b101 - 78 b5 * b6 + 54 b5 * b7 + 12 b5 * b8 + 8 b5 * b9 + 66 b5 * b10 + 192 b5 * b11 + 118 b5 * b12 - 26 b5 * b13 + 48 b5 * b14 + 130 b5 * b15 + 66 b5 * b16 + 98 b5 * b17 - 16 b5 * b18 + 118 b5 * b19 + 76 b5 * b20 + 68 b5 * b21 + 48 b5 * b22 + 182 b5 * b23 + 24 b5 * b24 - 172 b5 * b25 + 146 b5 * b26 - 64 b5 * b27 - 12 b5 * b28 + 152 b5 * b29 + 118 b5 * b30 + 40 b5 * b31 + 110 b5 * b32 + 122 b5 * b33 + 4 b5 * b34 + 84 b5 * b35 + 196 b5 * b36 + 28 b5 * b37 + 174 b5 * b38 - 4 b5 * b39 + 6 b5 * b40 + 92 b5 * b41 + 48 b5 * b42 + 114 b5 * b43 + 52 b5 * b44 + 18 b5 * b45 - 46 b5 * b46 - 62 b5 * b47 - 94 b5 * b48 + 182 b5 * b49 + 28 b5 * b50 + 76 b5 * b51 + 16 b5 * b52 - 168 b5 * b53 + 16 b5 * b54 + 88 b5 * b55 - 54 b5 * b56 + 72 b5 * b57 - 38 b5 * b58 - 156 b5 * b59 + 48 b5 * b60 - 62 b5 * b61 + 36 b5 * b62 + 150 b5 * b63 + 112 b5 * b64 + 32 b5 * b65 + 100 b5 * b66 + 160 b5 * b67 + 114 b5 * b68 + 4 b5 * b69 - 102 b5 * b70 - 154 b5 * b71 + 78 b5 * b72 + 54 b5 * b73 + 6 b5 * b74 - 8 b5 * b75 - 188 b5 * b76 + 152 b5 * b77 + 198 b5 * b78 + 56 b5 * b79 + 38 b5 * b80 + 150 b5 * b81 + 96 b5 * b82 + 48 b5 * b83 - 136 b5 * b84 + 38 b5 * b85 - 54 b5 * b86 + 94 b5 * b87 + 12 b5 * b88 + 146 b5 * b89 + 160 b5 * b90 + 76 b5 * b91 + 130 b5 * b92 + 74 b5 * b93 + 134 b5 * b94 - 44 b5 * b95 - 20 b5 * b96 + 106 b5 * b97 + 4 b5 * b98 + 122 b5 * b99 + 114 b5 * b100 - 182 b5 * b101 - 52 b6 * b7 - 94 b6 * b8 + 26 b6 * b9 - 88 b6 * b10 + 100 b6 * b11 + 34 b6 * b12 + 196 b6 * b13 + 164 b6 * b14 + 144 b6 * b15 - 200 b6 * b16 + 4 b6 * b17 + 182 b6 * b18 + 64 b6 * b19 - 152 b6 * b20 + 68 b6 * b21 + 142 b6 * b22 + 12 b6 * b23 + 94 b6 * b24 - 184 b6 * b25 - 122 b6 * b26 + 148 b6 * b27 + 118 b6 * b28 - 68 b6 * b29 + 172 b6 * b30 + 196 b6 * b31 - 182 b6 * b32 - 178 b6 * b33 + 108 b6 * b34 + 70 b6 * b35 + 120 b6 * b36 - 92 b6 * b37 + 168 b6 * b38 + 4 b6 * b39 - 40 b6 * b40 - 142 b6 * b41 + 76 b6 * b42 + 20 b6 * b43 - 134 b6 * b44 + 80 b6 * b45 - 8 b6 * b46 - 82 b6 * b47 - 176 b6 * b48 + 52 b6 * b49 + 106 b6 * b50 + 44 b6 * b51 + 66 b6 * b52 + 90 b6 * b53 + 140 b6 * b54 - 90 b6 * b55 + 182 b6 * b56 + 44 b6 * b57 + 20 b6 * b58 + 152 b6 * b59 + 154 b6 * b60 - 64 b6 * b61 + 110 b6 * b62 + 52 b6 * b63 + 10 b6 * b64 + 72 b6 * b65 + 32 b6 * b66 + 146 b6 * b67 + 152 b6 * b68 + 30 b6 * b69 + 128 b6 * b70 + 174 b6 * b71 + 50 b6 * b72 + 164 b6 * b73 + 180 b6 * b74 + 124 b6 * b75 - 150 b6 * b76 + 100 b6 * b77 + 32 b6 * b78 + 46 b6 * b79 + 62 b6 * b80 + 164 b6 * b81 + 134 b6 * b82 + 186 b6 * b83 + 142 b6 * b84 - 78 b6 * b85 + 34 b6 * b86 - 80 b6 * b87 + 168 b6 * b88 + 156 b6 * b89 + 66 b6 * b90 + 86 b6 * b91 - 166 b6 * b92 + 174 b6 * b93 + 38 b6 * b94 + 46 b6 * b95 + 38 b6 * b96 - 92 b6 * b97 - 18 b6 * b98 - 158 b6 * b99 + 96 b6 * b100 + 130 b6 * b101 + 188 b7 * b8 - 16 b7 * b9 - 160 b7 * b10 + 4 b7 * b11 - 152 b7 * b12 + 140 b7 * b13 + 174 b7 * b14 + 26 b7 * b15 - 36 b7 * b16 + 116 b7 * b17 + 84 b7 * b18 + 146 b7 * b19 + 186 b7 * b20 + 162 b7 * b21 - 38 b7 * b22 + 112 b7 * b23 + 10 b7 * b24 - 82 b7 * b25 - 2 b7 * b26 + 96 b7 * b27 + 178 b7 * b28 + 76 b7 * b29 + 148 b7 * b30 - 168 b7 * b31 + 176 b7 * b32 + 156 b7 * b33 + 194 b7 * b34 - 62 b7 * b35 + 8 b7 * b36 + 162 b7 * b37 + 120 b7 * b38 + 172 b7 * b39 - 8 b7 * b40 + 2 b7 * b41 + 142 b7 * b42 + 166 b7 * b43 + 130 b7 * b44 + 172 b7 * b45 + 148 b7 * b46 + 160 b7 * b47 + 124 b7 * b48 + 180 b7 * b49 + 22 b7 * b50 + 94 b7 * b51 - 166 b7 * b52 + 178 b7 * b53 + 134 b7 * b54 + 116 b7 * b55 + 8 b7 * b56 + 50 b7 * b57 + 12 b7 * b58 + 170 b7 * b59 + 64 b7 * b60 + 120 b7 * b61 - 180 b7 * b62 + 132 b7 * b63 + 104 b7 * b64 + 18 b7 * b65 + 158 b7 * b66 + 58 b7 * b67 + 172 b7 * b68 + 110 b7 * b69 + 92 b7 * b70 + 44 b7 * b71 + 140 b7 * b72 + 54 b7 * b73 + 10 b7 * b74 + 192 b7 * b75 + 64 b7 * b76 + 82 b7 * b77 + 100 b7 * b78 + 48 b7 * b79 + 34 b7 * b80 - 30 b7 * b81 + 182 b7 * b82 + 16 b7 * b83 + 126 b7 * b84 + 160 b7 * b85 + 156 b7 * b86 + 122 b7 * b87 + 196 b7 * b88 + 50 b7 * b89 + 2 b7 * b90 + 180 b7 * b91 - 158 b7 * b92 - 10 b7 * b93 + 184 b7 * b94 + 160 b7 * b95 - 24 b7 * b96 + 110 b7 * b97 + 178 b7 * b98 + 60 b7 * b99 + 160 b7 * b100 + 128 b7 * b101 + 122 b8 * b9 + 110 b8 * b10 - 30 b8 * b11 + 130 b8 * b12 + 102 b8 * b13 - 198 b8 * b14 + 176 b8 * b15 - 120 b8 * b16 + 68 b8 * b17 + 76 b8 * b18 + 170 b8 * b19 + 200 b8 * b20 + 118 b8 * b21 + 58 b8 * b22 - 180 b8 * b23 + 94 b8 * b24 + 38 b8 * b25 + 120 b8 * b26 + 160 b8 * b27 + 200 b8 * b28 - 60 b8 * b29 + 20 b8 * b30 + 8 b8 * b31 + 94 b8 * b32 - 118 b8 * b33 - 68 b8 * b34 + 56 b8 * b35 + 42 b8 * b36 + 28 b8 * b37 + 56 b8 * b38 + 184 b8 * b39 + 8 b8 * b40 + 52 b8 * b41 + 86 b8 * b42 - 78 b8 * b43 + 172 b8 * b44 + 86 b8 * b45 + 176 b8 * b46 + 134 b8 * b47 - 164 b8 * b48 + 140 b8 * b49 + 146 b8 * b50 - 200 b8 * b51 + 78 b8 * b52 + 82 b8 * b53 + 30 b8 * b54 + 182 b8 * b55 + 186 b8 * b56 - 68 b8 * b57 + 146 b8 * b58 + 160 b8 * b59 + 192 b8 * b60 - 10 b8 * b61 + 38 b8 * b62 + 138 b8 * b63 - 200 b8 * b64 + 40 b8 * b65 + 180 b8 * b66 + 32 b8 * b67 + 168 b8 * b68 + 90 b8 * b69 + 78 b8 * b70 - 40 b8 * b71 + 6 b8 * b72 + 140 b8 * b73 + 58 b8 * b74 + 168 b8 * b75 + 46 b8 * b76 - 116 b8 * b77 + 126 b8 * b78 + 92 b8 * b79 + 134 b8 * b80 + 76 b8 * b81 + 70 b8 * b82 + 168 b8 * b83 - 122 b8 * b84 + 136 b8 * b85 - 134 b8 * b86 + 68 b8 * b87 + 184 b8 * b88 + 190 b8 * b89 - 10 b8 * b90 - 94 b8 * b91 + 36 b8 * b92 - 144 b8 * b93 + 68 b8 * b94 - 188 b8 * b95 - 170 b8 * b96 + 112 b8 * b97 - 70 b8 * b98 - 178 b8 * b99 + 144 b8 * b100 - 196 b8 * b101 + 190 b9 * b10 + 118 b9 * b11 + 172 b9 * b12 - 122 b9 * b13 + 166 b9 * b14 + 42 b9 * b15 - 28 b9 * b16 + 64 b9 * b17 - 26 b9 * b18 - 94 b9 * b19 + 118 b9 * b20 + 136 b9 * b21 + 90 b9 * b22 + 184 b9 * b23 - 128 b9 * b24 + 20 b9 * b25 + 40 b9 * b26 + 198 b9 * b27 + 48 b9 * b28 + 198 b9 * b29 + 34 b9 * b30 - 118 b9 * b31 + 124 b9 * b32 + 58 b9 * b33 + 38 b9 * b34 + 142 b9 * b35 + 162 b9 * b36 - 148 b9 * b37 + 92 b9 * b38 + 194 b9 * b39 + 108 b9 * b40 + 142 b9 * b41 + 50 b9 * b42 + 68 b9 * b43 + 56 b9 * b44 - 12 b9 * b45 + 100 b9 * b46 + 158 b9 * b47 + 116 b9 * b48 + 74 b9 * b49 + 172 b9 * b50 + 8 b9 * b51 + 96 b9 * b52 - 84 b9 * b53 + 190 b9 * b54 - 110 b9 * b55 + 190 b9 * b56 + 154 b9 * b57 + 92 b9 * b58 + 38 b9 * b59 + 186 b9 * b60 + 44 b9 * b61 + 80 b9 * b62 - 8 b9 * b63 - 20 b9 * b64 - 48 b9 * b65 - 100 b9 * b66 - 24 b9 * b67 + 120 b9 * b68 + 182 b9 * b69 - 86 b9 * b70 - 12 b9 * b71 + 146 b9 * b72 + 16 b9 * b73 - 190 b9 * b74 - 88 b9 * b75 + 108 b9 * b76 - 160 b9 * b77 - 136 b9 * b78 + 82 b9 * b79 + 150 b9 * b80 + 48 b9 * b81 + 92 b9 * b82 + 146 b9 * b83 + 80 b9 * b84 + 22 b9 * b85 + 22 b9 * b86 + 48 b9 * b87 - 2 b9 * b88 - 108 b9 * b89 - 122 b9 * b90 + 66 b9 * b91 + 26 b9 * b92 + 116 b9 * b93 + 190 b9 * b94 + 120 b9 * b95 + 34 b9 * b96 + 192 b9 * b97 + 44 b9 * b98 + 134 b9 * b99 - 174 b9 * b100 + 94 b9 * b101 + 90 b10 * b11 + 170 b10 * b12 + 114 b10 * b13 + 184 b10 * b14 + 172 b10 * b15 + 164 b10 * b16 - 176 b10 * b17 - 162 b10 * b18 - 184 b10 * b19 + 108 b10 * b20 + 54 b10 * b21 + 138 b10 * b22 - 148 b10 * b23 + 24 b10 * b24 + 130 b10 * b25 + 18 b10 * b26 + 64 b10 * b27 - 116 b10 * b28 + 68 b10 * b29 + 112 b10 * b30 - 52 b10 * b31 + 136 b10 * b32 - 158 b10 * b33 + 94 b10 * b34 + 184 b10 * b35 + 58 b10 * b36 - 10 b10 * b37 - 138 b10 * b38 - 170 b10 * b39 + 180 b10 * b40 + 180 b10 * b41 + 122 b10 * b42 + 190 b10 * b43 + 26 b10 * b44 + 40 b10 * b45 - 94 b10 * b46 + 18 b10 * b47 + 122 b10 * b48 + 36 b10 * b49 + 122 b10 * b50 - 22 b10 * b51 + 60 b10 * b52 - 78 b10 * b53 + 186 b10 * b54 - 58 b10 * b55 + 150 b10 * b56 - 62 b10 * b57 - 88 b10 * b58 + 114 b10 * b59 + 10 b10 * b60 + 56 b10 * b61 + 152 b10 * b62 + 40 b10 * b63 + 56 b10 * b64 - 190 b10 * b65 + 90 b10 * b66 + 154 b10 * b67 + 40 b10 * b68 + 46 b10 * b69 + 82 b10 * b70 + 194 b10 * b71 - 44 b10 * b72 + 12 b10 * b73 + 112 b10 * b74 + 144 b10 * b75 - 84 b10 * b76 + 28 b10 * b77 + 176 b10 * b78 + 10 b10 * b79 - 44 b10 * b80 + 4 b10 * b81 + 112 b10 * b82 + 184 b10 * b83 + 194 b10 * b84 + 180 b10 * b85 + 34 b10 * b86 - 8 b10 * b87 + 34 b10 * b88 + 12 b10 * b89 - 46 b10 * b90 + 174 b10 * b91 + 58 b10 * b92 + 168 b10 * b93 - 168 b10 * b94 + 60 b10 * b95 - 80 b10 * b96 - 46 b10 * b97 + 26 b10 * b98 + 44 b10 * b99 + 166 b10 * b100 + 94 b10 * b101 + 2 b11 * b12 + 82 b11 * b13 + 126 b11 * b14 + 88 b11 * b15 + 152 b11 * b16 + 8 b11 * b17 - 162 b11 * b18 + 38 b11 * b19 - 54 b11 * b20 + 146 b11 * b21 + 164 b11 * b22 - 122 b11 * b23 - 128 b11 * b24 + 112 b11 * b25 + 88 b11 * b26 - 194 b11 * b27 - 110 b11 * b28 + 128 b11 * b29 + 72 b11 * b30 + 114 b11 * b31 + 176 b11 * b32 + 132 b11 * b33 - 94 b11 * b34 + 168 b11 * b35 + 70 b11 * b36 + 78 b11 * b37 + 108 b11 * b38 + 20 b11 * b39 + 168 b11 * b40 - 124 b11 * b41 + 140 b11 * b42 + 150 b11 * b43 - 200 b11 * b44 + 90 b11 * b45 + 98 b11 * b46 + 194 b11 * b47 + 122 b11 * b48 + 112 b11 * b49 - 194 b11 * b50 + 64 b11 * b51 + 196 b11 * b52 + 196 b11 * b53 + 48 b11 * b54 + 38 b11 * b55 + 152 b11 * b56 + 170 b11 * b57 + 84 b11 * b58 + 140 b11 * b59 + 2 b11 * b60 + 54 b11 * b61 + 134 b11 * b62 + 72 b11 * b63 + 176 b11 * b64 - 76 b11 * b65 + 66 b11 * b66 + 132 b11 * b67 + 84 b11 * b68 + 64 b11 * b69 + 46 b11 * b70 + 142 b11 * b71 + 164 b11 * b72 + 190 b11 * b73 + 36 b11 * b74 + 32 b11 * b75 - 164 b11 * b76 + 36 b11 * b77 + 138 b11 * b78 + 54 b11 * b79 + 96 b11 * b80 + 184 b11 * b81 + 170 b11 * b82 - 124 b11 * b83 + 144 b11 * b84 + 86 b11 * b85 + 190 b11 * b86 + 192 b11 * b87 - 146 b11 * b88 - 6 b11 * b89 + 12 b11 * b90 - 120 b11 * b91 + 22 b11 * b92 + 172 b11 * b93 + 172 b11 * b94 - 174 b11 * b95 - 162 b11 * b96 + 36 b11 * b97 + 172 b11 * b98 + 86 b11 * b99 + 152 b11 * b100 + 110 b11 * b101 + 6 b12 * b13 + 100 b12 * b14 + 184 b12 * b15 + 136 b12 * b16 + 42 b12 * b17 - 174 b12 * b18 + 16 b12 * b19 - 28 b12 * b20 + 176 b12 * b21 + 60 b12 * b22 + 162 b12 * b23 + 66 b12 * b24 + 156 b12 * b25 + 56 b12 * b26 - 128 b12 * b27 + 54 b12 * b28 + 72 b12 * b29 - 88 b12 * b30 + 64 b12 * b31 + 54 b12 * b32 + 180 b12 * b33 - 176 b12 * b34 + 72 b12 * b35 + 84 b12 * b36 + 10 b12 * b37 - 86 b12 * b38 + 36 b12 * b39 + 6 b12 * b40 + 108 b12 * b41 + 102 b12 * b42 + 128 b12 * b43 - 174 b12 * b44 + 116 b12 * b45 - 154 b12 * b46 + 82 b12 * b47 + 186 b12 * b48 + 38 b12 * b49 + 158 b12 * b50 + 170 b12 * b51 + 162 b12 * b52 + 86 b12 * b53 + 154 b12 * b54 + 100 b12 * b55 + 116 b12 * b56 + 122 b12 * b57 + 144 b12 * b58 + 178 b12 * b59 + 148 b12 * b60 + 78 b12 * b61 + 174 b12 * b62 + 112 b12 * b63 + 28 b12 * b64 - 126 b12 * b65 - 160 b12 * b66 + 128 b12 * b67 + 182 b12 * b68 + 166 b12 * b69 - 34 b12 * b70 + 196 b12 * b71 + 174 b12 * b72 + 170 b12 * b73 + 172 b12 * b74 + 38 b12 * b75 + 142 b12 * b76 + 26 b12 * b77 + 178 b12 * b78 + 80 b12 * b79 + 188 b12 * b80 + 90 b12 * b81 + 104 b12 * b82 - 170 b12 * b83 + 130 b12 * b84 + 120 b12 * b85 + 6 b12 * b86 + 116 b12 * b87 + 40 b12 * b88 + 6 b12 * b89 + 32 b12 * b90 + 136 b12 * b91 + 62 b12 * b92 + 94 b12 * b93 - 106 b12 * b94 + 144 b12 * b95 + 182 b12 * b96 + 142 b12 * b97 + 56 b12 * b98 + 174 b12 * b99 + 154 b12 * b100 - 154 b12 * b101 - 14 b13 * b14 - 146 b13 * b15 + 56 b13 * b16 - 174 b13 * b17 + 96 b13 * b18 - 66 b13 * b19 + 76 b13 * b20 - 96 b13 * b21 + 32 b13 * b22 + 176 b13 * b23 + 78 b13 * b24 + 198 b13 * b25 - 32 b13 * b26 - 26 b13 * b27 + 164 b13 * b28 + 46 b13 * b29 + 54 b13 * b30 + 36 b13 * b31 + 44 b13 * b32 + 2 b13 * b33 - 20 b13 * b34 - 198 b13 * b35 + 30 b13 * b36 - 178 b13 * b37 + 34 b13 * b38 + 78 b13 * b39 - 74 b13 * b40 + 152 b13 * b41 - 50 b13 * b42 + 94 b13 * b43 + 58 b13 * b44 + 196 b13 * b45 + 136 b13 * b46 - 24 b13 * b47 + 46 b13 * b48 - 20 b13 * b49 + 96 b13 * b50 + 166 b13 * b51 + 10 b13 * b52 + 190 b13 * b53 - 4 b13 * b54 + 158 b13 * b55 + 146 b13 * b56 - 186 b13 * b57 + 84 b13 * b58 + 110 b13 * b59 + 120 b13 * b60 + 56 b13 * b61 + 142 b13 * b62 - 136 b13 * b63 + 6 b13 * b64 + 58 b13 * b65 + 72 b13 * b66 - 32 b13 * b67 + 170 b13 * b68 - 130 b13 * b69 + 94 b13 * b70 + 150 b13 * b71 + 98 b13 * b72 + 32 b13 * b73 + 116 b13 * b74 + 126 b13 * b75 + 50 b13 * b76 - 192 b13 * b77 + 162 b13 * b78 - 82 b13 * b79 + 88 b13 * b80 + 168 b13 * b81 - 64 b13 * b82 + 48 b13 * b83 + 122 b13 * b84 + 108 b13 * b85 + 166 b13 * b86 + 50 b13 * b87 - 94 b13 * b88 + 50 b13 * b89 - 130 b13 * b90 - 48 b13 * b91 + 58 b13 * b92 + 74 b13 * b93 - 174 b13 * b94 - 86 b13 * b95 - 194 b13 * b96 - 130 b13 * b97 + 154 b13 * b98 + 96 b13 * b99 + 160 b13 * b100 + 190 b13 * b101 + 64 b14 * b15 - 90 b14 * b16 + 126 b14 * b17 + 66 b14 * b18 + 18 b14 * b19 - 138 b14 * b20 + 56 b14 * b21 + 100 b14 * b22 + 66 b14 * b23 - 94 b14 * b24 + 148 b14 * b25 + 122 b14 * b26 + 102 b14 * b27 + 78 b14 * b28 + 24 b14 * b29 - 88 b14 * b30 + 10 b14 * b31 + 50 b14 * b32 + 122 b14 * b33 + 196 b14 * b34 + 130 b14 * b35 + 20 b14 * b36 + 140 b14 * b37 + 122 b14 * b38 + 108 b14 * b39 + 70 b14 * b40 + 46 b14 * b41 + 60 b14 * b42 + 12 b14 * b43 + 110 b14 * b44 + 10 b14 * b45 + 126 b14 * b46 - 82 b14 * b47 + 160 b14 * b48 - 192 b14 * b49 + 140 b14 * b50 + 86 b14 * b51 + 16 b14 * b52 + 82 b14 * b53 - 36 b14 * b54 + 158 b14 * b55 + 148 b14 * b56 + 196 b14 * b57 + 52 b14 * b58 + 148 b14 * b59 - 46 b14 * b60 + 162 b14 * b61 + 78 b14 * b62 + 48 b14 * b63 + 44 b14 * b64 + 94 b14 * b65 + 68 b14 * b66 + 52 b14 * b67 + 8 b14 * b68 + 122 b14 * b69 + 26 b14 * b70 - 48 b14 * b71 + 80 b14 * b72 + 80 b14 * b73 + 150 b14 * b74 - 96 b14 * b75 + 182 b14 * b76 - 172 b14 * b77 + 200 b14 * b78 + 102 b14 * b79 - 62 b14 * b80 + 138 b14 * b81 - 74 b14 * b82 - 114 b14 * b83 + 24 b14 * b84 + 130 b14 * b85 - 118 b14 * b86 + 18 b14 * b87 - 18 b14 * b88 + 132 b14 * b89 + 130 b14 * b90 + 168 b14 * b91 + 184 b14 * b92 + 176 b14 * b93 + 58 b14 * b94 + 34 b14 * b95 + 70 b14 * b96 + 54 b14 * b97 + 164 b14 * b98 - 32 b14 * b99 - 6 b14 * b100 + 34 b14 * b101 - 136 b15 * b16 + 126 b15 * b17 + 154 b15 * b18 + 128 b15 * b19 - 82 b15 * b20 + 96 b15 * b21 + 136 b15 * b22 - 150 b15 * b23 + 50 b15 * b24 + 118 b15 * b25 - 62 b15 * b26 + 70 b15 * b27 + 38 b15 * b28 + 116 b15 * b29 + 162 b15 * b30 + 170 b15 * b31 + 6 b15 * b32 + 162 b15 * b33 - 150 b15 * b34 + 48 b15 * b35 + 188 b15 * b36 + 196 b15 * b37 + 116 b15 * b38 - 18 b15 * b39 + 38 b15 * b40 + 186 b15 * b41 + 6 b15 * b42 + 28 b15 * b43 + 56 b15 * b44 + 90 b15 * b45 + 192 b15 * b46 + 122 b15 * b47 + 56 b15 * b48 + 164 b15 * b49 + 176 b15 * b50 - 40 b15 * b51 + 56 b15 * b52 + 188 b15 * b53 + 90 b15 * b54 + 140 b15 * b55 + 144 b15 * b56 + 130 b15 * b57 + 186 b15 * b58 + 92 b15 * b59 + 104 b15 * b60 - 162 b15 * b61 - 44 b15 * b62 + 98 b15 * b63 + 170 b15 * b64 + 4 b15 * b65 + 174 b15 * b66 + 8 b15 * b67 - 84 b15 * b68 - 108 b15 * b69 + 100 b15 * b70 + 2 b15 * b71 + 178 b15 * b72 - 92 b15 * b73 + 188 b15 * b74 - 108 b15 * b75 - 168 b15 * b76 + 192 b15 * b77 + 156 b15 * b78 + 12 b15 * b79 + 52 b15 * b80 + 170 b15 * b81 - 64 b15 * b82 + 58 b15 * b83 + 74 b15 * b84 + 22 b15 * b85 + 16 b15 * b86 - 22 b15 * b87 + 56 b15 * b88 + 60 b15 * b89 + 6 b15 * b90 + 140 b15 * b91 + 40 b15 * b92 + 190 b15 * b93 + 16 b15 * b94 + 124 b15 * b95 + 24 b15 * b96 - 192 b15 * b97 + 170 b15 * b98 + 40 b15 * b99 + 18 b15 * b100 + 118 b15 * b101 + 184 b16 * b17 + 130 b16 * b18 + 56 b16 * b19 + 184 b16 * b20 + 160 b16 * b21 + 136 b16 * b22 + 154 b16 * b23 - 198 b16 * b24 + 132 b16 * b25 - 138 b16 * b26 + 10 b16 * b27 + 48 b16 * b28 + 88 b16 * b29 + 124 b16 * b30 + 48 b16 * b31 + 144 b16 * b32 - 80 b16 * b33 + 172 b16 * b34 + 66 b16 * b35 + 98 b16 * b36 + 82 b16 * b37 + 28 b16 * b38 + 162 b16 * b39 + 8 b16 * b40 + 46 b16 * b41 - 150 b16 * b42 - 80 b16 * b43 - 40 b16 * b44 + 80 b16 * b45 + 76 b16 * b46 + 104 b16 * b47 + 164 b16 * b48 + 194 b16 * b49 - 26 b16 * b50 + 198 b16 * b51 - 90 b16 * b52 + 160 b16 * b53 + 118 b16 * b54 + 52 b16 * b55 + 22 b16 * b56 - 172 b16 * b57 - 158 b16 * b58 + 166 b16 * b59 + 22 b16 * b60 + 164 b16 * b61 - 82 b16 * b62 + 114 b16 * b63 + 158 b16 * b64 - 184 b16 * b65 + 174 b16 * b66 - 8 b16 * b67 + 64 b16 * b68 + 90 b16 * b69 + 96 b16 * b70 + 110 b16 * b71 - 142 b16 * b72 + 188 b16 * b73 + 40 b16 * b74 + 198 b16 * b75 - 4 b16 * b76 - 156 b16 * b77 - 34 b16 * b78 - 134 b16 * b79 + 182 b16 * b80 - 172 b16 * b81 - 102 b16 * b82 + 120 b16 * b83 + 154 b16 * b84 + 54 b16 * b85 + 148 b16 * b86 + 66 b16 * b87 + 50 b16 * b88 + 90 b16 * b89 - 108 b16 * b90 + 52 b16 * b91 + 52 b16 * b92 + 200 b16 * b93 + 80 b16 * b94 + 74 b16 * b95 + 150 b16 * b96 + 118 b16 * b97 + 126 b16 * b98 + 20 b16 * b99 + 148 b16 * b100 - 28 b16 * b101 + 136 b17 * b18 + 190 b17 * b19 - 48 b17 * b20 + 176 b17 * b21 + 170 b17 * b22 + 70 b17 * b23 - 38 b17 * b24 + 104 b17 * b25 - 6 b17 * b26 - 80 b17 * b27 - 122 b17 * b28 + 106 b17 * b29 + 40 b17 * b30 - 124 b17 * b31 + 98 b17 * b32 + 88 b17 * b33 - 146 b17 * b34 + 120 b17 * b35 - 160 b17 * b36 + 152 b17 * b37 + 126 b17 * b38 + 50 b17 * b39 + 94 b17 * b40 + 180 b17 * b41 - 134 b17 * b42 + 154 b17 * b43 - 64 b17 * b44 + 102 b17 * b45 + 188 b17 * b46 + 192 b17 * b47 - 182 b17 * b48 + 20 b17 * b49 + 160 b17 * b50 + 126 b17 * b51 - 38 b17 * b52 - 52 b17 * b53 + 104 b17 * b54 - 26 b17 * b55 + 164 b17 * b56 + 198 b17 * b57 + 174 b17 * b58 + 150 b17 * b59 - 16 b17 * b60 + 42 b17 * b61 + 186 b17 * b62 - 190 b17 * b63 + 12 b17 * b64 + 100 b17 * b65 + 48 b17 * b66 + 198 b17 * b67 + 6 b17 * b68 + 148 b17 * b69 + 58 b17 * b70 + 8 b17 * b71 + 184 b17 * b72 - 116 b17 * b73 - 164 b17 * b74 + 96 b17 * b75 + 122 b17 * b76 + 188 b17 * b77 + 70 b17 * b78 - 174 b17 * b79 + 88 b17 * b80 + 56 b17 * b81 + 2 b17 * b82 + 122 b17 * b83 + 106 b17 * b84 - 120 b17 * b85 + 144 b17 * b86 + 182 b17 * b87 - 44 b17 * b88 + 90 b17 * b89 - 166 b17 * b90 + 190 b17 * b91 + 22 b17 * b92 + 94 b17 * b93 - 162 b17 * b94 + 72 b17 * b95 + 148 b17 * b96 + 86 b17 * b97 + 184 b17 * b98 + 56 b17 * b99 + 180 b17 * b100 + 48 b17 * b101 + 108 b18 * b19 + 56 b18 * b20 + 130 b18 * b21 + 162 b18 * b22 + 126 b18 * b23 + 84 b18 * b24 + 136 b18 * b25 + 138 b18 * b26 + 52 b18 * b27 - 46 b18 * b28 + 140 b18 * b29 + 48 b18 * b30 + 146 b18 * b31 + 112 b18 * b32 - 82 b18 * b33 + 52 b18 * b34 + 194 b18 * b35 + 146 b18 * b36 + 48 b18 * b37 + 16 b18 * b38 + 162 b18 * b39 + 124 b18 * b40 + 84 b18 * b41 + 94 b18 * b42 + 170 b18 * b43 + 34 b18 * b44 + 180 b18 * b45 + 132 b18 * b46 + 84 b18 * b47 - 54 b18 * b48 + 104 b18 * b49 + 160 b18 * b50 + 114 b18 * b51 + 16 b18 * b52 + 116 b18 * b53 - 140 b18 * b54 + 138 b18 * b55 + 74 b18 * b56 + 122 b18 * b57 - 56 b18 * b58 + 110 b18 * b59 + 102 b18 * b60 + 166 b18 * b61 + 116 b18 * b62 + 178 b18 * b63 - 114 b18 * b64 + 82 b18 * b65 - 78 b18 * b66 - 82 b18 * b67 - 58 b18 * b68 + 132 b18 * b69 + 78 b18 * b70 + 164 b18 * b71 - 190 b18 * b72 + 122 b18 * b73 + 182 b18 * b74 - 130 b18 * b75 - 22 b18 * b76 + 124 b18 * b77 + 44 b18 * b78 + 18 b18 * b79 + 188 b18 * b80 + 132 b18 * b81 + 194 b18 * b82 - 60 b18 * b83 + 14 b18 * b84 + 56 b18 * b85 + 64 b18 * b86 + 142 b18 * b87 + 108 b18 * b88 + 198 b18 * b89 + 100 b18 * b90 + 180 b18 * b91 + 26 b18 * b92 - 64 b18 * b93 + 8 b18 * b94 - 32 b18 * b95 + 80 b18 * b96 + 162 b18 * b97 + 86 b18 * b98 + 28 b18 * b99 - 18 b18 * b100 - 188 b18 * b101 + 106 b19 * b20 + 36 b19 * b21 + 198 b19 * b22 + 4 b19 * b23 - 70 b19 * b24 + 118 b19 * b25 + 186 b19 * b26 - 170 b19 * b27 + 68 b19 * b28 + 90 b19 * b29 + 72 b19 * b30 - 20 b19 * b31 + 174 b19 * b32 + 54 b19 * b33 + 134 b19 * b34 + 180 b19 * b35 + 174 b19 * b36 + 48 b19 * b37 - 54 b19 * b38 + 168 b19 * b39 - 136 b19 * b40 + 118 b19 * b41 + 74 b19 * b42 + 18 b19 * b43 + 92 b19 * b44 - 86 b19 * b45 + 60 b19 * b46 + 118 b19 * b47 + 156 b19 * b48 - 132 b19 * b49 + 16 b19 * b50 + 28 b19 * b51 - 28 b19 * b52 + 166 b19 * b53 + 134 b19 * b54 - 104 b19 * b55 + 26 b19 * b56 + 100 b19 * b57 + 10 b19 * b58 + 140 b19 * b59 + 126 b19 * b60 - 62 b19 * b61 + 40 b19 * b62 + 22 b19 * b63 + 156 b19 * b64 + 90 b19 * b65 + 60 b19 * b66 + 72 b19 * b67 + 200 b19 * b68 + 68 b19 * b69 - 176 b19 * b70 + 110 b19 * b71 + 94 b19 * b72 + 104 b19 * b73 + 28 b19 * b74 + 104 b19 * b75 + 76 b19 * b76 + 38 b19 * b77 + 152 b19 * b78 + 12 b19 * b79 + 8 b19 * b80 - 84 b19 * b81 - 26 b19 * b82 + 56 b19 * b83 + 198 b19 * b84 - 162 b19 * b85 - 196 b19 * b86 - 180 b19 * b87 + 182 b19 * b88 + 92 b19 * b89 - 28 b19 * b90 + 168 b19 * b91 + 64 b19 * b92 + 120 b19 * b93 + 166 b19 * b94 + 126 b19 * b95 + 38 b19 * b96 + 48 b19 * b97 + 66 b19 * b98 - 188 b19 * b99 + 32 b19 * b100 + 138 b19 * b101 + 130 b20 * b21 + 122 b20 * b22 + 100 b20 * b23 + 126 b20 * b24 + 112 b20 * b25 + 36 b20 * b26 - 2 b20 * b27 - 194 b20 * b28 + 92 b20 * b29 + 42 b20 * b30 + 134 b20 * b31 + 198 b20 * b32 + 94 b20 * b33 + 68 b20 * b34 + 44 b20 * b35 - 158 b20 * b36 + 22 b20 * b37 + 184 b20 * b38 + 196 b20 * b39 + 56 b20 * b40 + 2 b20 * b41 + 86 b20 * b42 - 148 b20 * b43 + 70 b20 * b44 + 2 b20 * b45 + 172 b20 * b46 - 102 b20 * b47 - 38 b20 * b48 + 160 b20 * b49 + 22 b20 * b50 - 12 b20 * b51 + 172 b20 * b52 - 160 b20 * b53 - 160 b20 * b54 + 166 b20 * b55 + 58 b20 * b56 + 8 b20 * b57 + 174 b20 * b58 + 26 b20 * b59 + 198 b20 * b60 + 154 b20 * b61 - 162 b20 * b62 - 144 b20 * b63 + 152 b20 * b64 + 4 b20 * b65 + 102 b20 * b66 - 156 b20 * b67 + 54 b20 * b68 + 32 b20 * b69 - 68 b20 * b70 + 34 b20 * b71 + 66 b20 * b72 + 74 b20 * b73 + 200 b20 * b74 + 186 b20 * b75 + 126 b20 * b76 - 170 b20 * b77 + 198 b20 * b78 + 90 b20 * b79 + 116 b20 * b80 + 126 b20 * b81 - 10 b20 * b82 + 94 b20 * b83 + 100 b20 * b84 + 176 b20 * b85 + 122 b20 * b86 + 98 b20 * b87 + 150 b20 * b88 + 32 b20 * b89 + 78 b20 * b90 + 46 b20 * b91 + 56 b20 * b92 + 94 b20 * b93 + 30 b20 * b94 + 104 b20 * b95 + 176 b20 * b96 + 168 b20 * b97 + 118 b20 * b98 + 148 b20 * b99 + 186 b20 * b100 + 188 b20 * b101 - 34 b21 * b22 - 98 b21 * b23 + 64 b21 * b24 + 34 b21 * b25 - 48 b21 * b26 + 148 b21 * b27 + 102 b21 * b28 + 164 b21 * b29 - 28 b21 * b30 + 82 b21 * b31 + 102 b21 * b32 + 194 b21 * b33 + 110 b21 * b34 - 40 b21 * b35 + 70 b21 * b36 + 6 b21 * b37 + 120 b21 * b38 + 190 b21 * b39 + 38 b21 * b40 - 128 b21 * b41 + 108 b21 * b42 + 196 b21 * b43 - 16 b21 * b44 + 42 b21 * b45 + 126 b21 * b46 + 146 b21 * b47 + 74 b21 * b48 + 52 b21 * b49 - 86 b21 * b50 - 82 b21 * b51 - 126 b21 * b52 + 160 b21 * b53 + 196 b21 * b54 + 136 b21 * b55 + 178 b21 * b56 + 124 b21 * b57 + 38 b21 * b58 + 92 b21 * b59 + 82 b21 * b60 + 196 b21 * b61 + 60 b21 * b62 + 42 b21 * b63 - 182 b21 * b64 + 18 b21 * b65 + 94 b21 * b66 + 122 b21 * b67 + 192 b21 * b68 + 68 b21 * b69 + 36 b21 * b70 + 26 b21 * b71 + 166 b21 * b72 + 96 b21 * b73 + 74 b21 * b74 - 156 b21 * b75 + 124 b21 * b76 - 64 b21 * b77 + 90 b21 * b78 - 18 b21 * b79 + 4 b21 * b80 - 38 b21 * b81 - 142 b21 * b82 + 122 b21 * b83 + 142 b21 * b84 - 22 b21 * b85 + 94 b21 * b86 - 92 b21 * b87 - 200 b21 * b88 - 164 b21 * b89 + 178 b21 * b90 + 34 b21 * b91 + 172 b21 * b92 - 186 b21 * b93 + 8 b21 * b94 + 136 b21 * b95 + 44 b21 * b96 - 112 b21 * b97 + 32 b21 * b98 + 116 b21 * b99 + 124 b21 * b100 + 158 b21 * b101 + 84 b22 * b23 - 80 b22 * b24 + 138 b22 * b25 + 162 b22 * b26 - 72 b22 * b27 + 118 b22 * b28 + 192 b22 * b29 - 4 b22 * b30 + 110 b22 * b31 - 110 b22 * b32 + 116 b22 * b33 + 136 b22 * b34 - 156 b22 * b35 - 126 b22 * b36 + 192 b22 * b37 - 4 b22 * b38 - 34 b22 * b39 - 164 b22 * b40 + 132 b22 * b41 + 186 b22 * b42 + 116 b22 * b43 + 146 b22 * b44 + 10 b22 * b45 + 8 b22 * b46 + 92 b22 * b47 + 176 b22 * b48 + 144 b22 * b49 + 56 b22 * b50 + 168 b22 * b51 - 88 b22 * b52 + 166 b22 * b53 + 136 b22 * b54 + 78 b22 * b55 + 70 b22 * b56 - 124 b22 * b57 + 18 b22 * b58 - 164 b22 * b59 + 150 b22 * b60 + 14 b22 * b61 + 194 b22 * b62 + 80 b22 * b63 + 118 b22 * b64 - 182 b22 * b65 + 32 b22 * b66 + 54 b22 * b67 + 8 b22 * b68 + 10 b22 * b69 + 22 b22 * b70 - 142 b22 * b71 - 196 b22 * b72 + 56 b22 * b73 + 108 b22 * b74 + 78 b22 * b75 - 92 b22 * b76 - 20 b22 * b77 + 200 b22 * b78 + 60 b22 * b79 + 128 b22 * b80 - 190 b22 * b81 + 194 b22 * b82 + 180 b22 * b83 - 68 b22 * b84 - 150 b22 * b85 - 176 b22 * b86 + 90 b22 * b87 + 162 b22 * b88 + 190 b22 * b89 + 160 b22 * b90 - 30 b22 * b91 + 58 b22 * b92 - 48 b22 * b93 + 50 b22 * b94 - 180 b22 * b95 - 154 b22 * b96 + 36 b22 * b97 + 116 b22 * b98 + 154 b22 * b99 + 106 b22 * b100 + 182 b22 * b101 + 2 b23 * b24 - 156 b23 * b25 + 14 b23 * b26 + 134 b23 * b27 - 114 b23 * b28 + 136 b23 * b29 - 114 b23 * b30 - 138 b23 * b31 + 190 b23 * b32 + 40 b23 * b33 - 190 b23 * b34 + 96 b23 * b35 + 192 b23 * b36 + 196 b23 * b37 - 158 b23 * b38 + 186 b23 * b39 + 48 b23 * b40 - 128 b23 * b41 + 186 b23 * b42 + 40 b23 * b43 - 22 b23 * b44 + 180 b23 * b45 + 58 b23 * b46 + 198 b23 * b47 + 32 b23 * b48 + 196 b23 * b49 - 12 b23 * b50 + 130 b23 * b51 + 146 b23 * b52 + 12 b23 * b53 - 102 b23 * b54 + 172 b23 * b55 + 38 b23 * b56 + 14 b23 * b57 - 156 b23 * b58 + 128 b23 * b59 + 34 b23 * b60 + 116 b23 * b61 + 124 b23 * b62 - 42 b23 * b63 + 50 b23 * b64 - 182 b23 * b65 + 30 b23 * b66 + 176 b23 * b67 - 36 b23 * b68 + 186 b23 * b69 - 84 b23 * b70 + 194 b23 * b71 + 52 b23 * b72 + 148 b23 * b73 + 66 b23 * b74 + 190 b23 * b75 + 82 b23 * b76 + 190 b23 * b77 + 120 b23 * b78 + 64 b23 * b79 + 168 b23 * b80 - 142 b23 * b81 + 58 b23 * b82 - 176 b23 * b83 - 4 b23 * b84 - 138 b23 * b85 + 116 b23 * b86 + 108 b23 * b87 + 40 b23 * b88 + 182 b23 * b89 + 32 b23 * b90 + 106 b23 * b91 + 82 b23 * b92 + 124 b23 * b93 + 26 b23 * b94 - 178 b23 * b95 + 38 b23 * b96 + 92 b23 * b97 + 40 b23 * b98 + 194 b23 * b99 + 132 b23 * b100 + 134 b23 * b101 + 60 b24 * b25 + 20 b24 * b26 + 196 b24 * b27 + 104 b24 * b28 + 178 b24 * b29 + 146 b24 * b30 - 6 b24 * b31 + 66 b24 * b32 + 62 b24 * b33 + 128 b24 * b34 + 166 b24 * b35 + 94 b24 * b36 + 92 b24 * b37 + 148 b24 * b38 + 16 b24 * b39 + 172 b24 * b40 - 22 b24 * b41 + 74 b24 * b42 + 94 b24 * b43 - 50 b24 * b44 + 88 b24 * b45 - 134 b24 * b46 - 70 b24 * b47 + 28 b24 * b48 + 144 b24 * b49 + 130 b24 * b50 + 178 b24 * b51 + 16 b24 * b52 + 12 b24 * b53 + 90 b24 * b54 - 146 b24 * b55 + 2 b24 * b56 - 154 b24 * b57 + 192 b24 * b58 + 56 b24 * b59 + 122 b24 * b60 + 42 b24 * b61 + 148 b24 * b62 - 52 b24 * b63 + 46 b24 * b64 + 134 b24 * b65 + 112 b24 * b66 + 2 b24 * b67 + 186 b24 * b68 - 96 b24 * b69 + 140 b24 * b70 + 142 b24 * b71 + 16 b24 * b72 + 20 b24 * b73 - 42 b24 * b74 + 52 b24 * b75 - 130 b24 * b76 + 120 b24 * b77 - 112 b24 * b78 + 152 b24 * b79 - 68 b24 * b80 + 136 b24 * b81 + 200 b24 * b82 - 112 b24 * b83 + 52 b24 * b84 + 68 b24 * b85 + 54 b24 * b86 + 138 b24 * b87 + 6 b24 * b88 + 80 b24 * b89 + 40 b24 * b90 + 16 b24 * b91 + 30 b24 * b92 + 146 b24 * b93 - 6 b24 * b94 - 104 b24 * b95 + 186 b24 * b96 - 58 b24 * b97 + 184 b24 * b98 + 72 b24 * b99 + 78 b24 * b100 + 32 b24 * b101 + 146 b25 * b26 + 102 b25 * b27 + 134 b25 * b28 + 2 b25 * b29 + 118 b25 * b30 + 146 b25 * b31 + 52 b25 * b32 + 96 b25 * b33 + 88 b25 * b34 + 34 b25 * b35 - 44 b25 * b36 + 158 b25 * b37 + 66 b25 * b38 + 164 b25 * b39 + 70 b25 * b40 + 78 b25 * b41 + 170 b25 * b42 + 170 b25 * b43 - 166 b25 * b44 - 80 b25 * b45 + 90 b25 * b46 + 36 b25 * b47 + 16 b25 * b48 + 198 b25 * b49 + 136 b25 * b50 + 180 b25 * b51 + 30 b25 * b52 + 108 b25 * b53 - 70 b25 * b54 + 42 b25 * b55 + 174 b25 * b56 + 56 b25 * b57 + 104 b25 * b58 + 52 b25 * b59 + 98 b25 * b60 - 54 b25 * b61 - 154 b25 * b62 - 128 b25 * b63 + 130 b25 * b64 + 78 b25 * b65 + 160 b25 * b66 + 144 b25 * b67 - 194 b25 * b68 + 90 b25 * b69 + 30 b25 * b70 + 102 b25 * b71 + 152 b25 * b72 + 154 b25 * b73 + 188 b25 * b74 - 26 b25 * b75 - 38 b25 * b76 + 174 b25 * b77 + 174 b25 * b78 + 168 b25 * b79 + 30 b25 * b80 + 68 b25 * b81 + 100 b25 * b82 + 88 b25 * b83 - 172 b25 * b84 + 56 b25 * b85 + 104 b25 * b86 - 10 b25 * b87 + 24 b25 * b88 + 118 b25 * b89 + 174 b25 * b90 + 102 b25 * b91 + 124 b25 * b92 - 8 b25 * b93 - 182 b25 * b94 + 4 b25 * b95 - 18 b25 * b96 + 110 b25 * b97 - 190 b25 * b98 - 16 b25 * b99 - 170 b25 * b100 - 168 b25 * b101 + 34 b26 * b27 + 38 b26 * b28 - 146 b26 * b29 + 170 b26 * b30 + 96 b26 * b31 + 30 b26 * b32 + 48 b26 * b33 + 24 b26 * b34 + 114 b26 * b35 + 44 b26 * b36 + 6 b26 * b37 - 54 b26 * b38 - 154 b26 * b39 + 58 b26 * b40 + 144 b26 * b41 + 2 b26 * b42 + 6 b26 * b43 + 42 b26 * b44 + 96 b26 * b45 + 170 b26 * b46 + 184 b26 * b47 + 14 b26 * b48 + 44 b26 * b49 + 64 b26 * b50 + 68 b26 * b51 + 94 b26 * b52 + 66 b26 * b53 + 168 b26 * b54 + 20 b26 * b55 + 44 b26 * b56 + 150 b26 * b57 - 146 b26 * b58 - 88 b26 * b59 + 8 b26 * b60 - 196 b26 * b61 + 178 b26 * b62 - 184 b26 * b63 + 14 b26 * b64 - 32 b26 * b65 + 84 b26 * b66 + 188 b26 * b67 - 72 b26 * b68 + 32 b26 * b69 - 174 b26 * b70 + 166 b26 * b71 + 20 b26 * b72 - 170 b26 * b73 + 174 b26 * b74 - 54 b26 * b75 + 46 b26 * b76 + 156 b26 * b77 + 32 b26 * b78 + 116 b26 * b79 + 66 b26 * b80 + 126 b26 * b81 + 148 b26 * b82 + 36 b26 * b83 + 172 b26 * b84 + 160 b26 * b85 + 124 b26 * b86 + 166 b26 * b87 + 144 b26 * b88 + 10 b26 * b89 + 92 b26 * b90 + 198 b26 * b91 + 12 b26 * b92 + 158 b26 * b93 - 98 b26 * b94 - 92 b26 * b95 + 120 b26 * b96 - 120 b26 * b97 - 134 b26 * b98 + 92 b26 * b99 + 20 b26 * b100 + 150 b26 * b101 + 78 b27 * b28 + 188 b27 * b29 + 150 b27 * b30 + 142 b27 * b31 + 160 b27 * b32 + 184 b27 * b33 + 100 b27 * b34 - 18 b27 * b35 + 18 b27 * b36 + 62 b27 * b37 - 130 b27 * b38 + 106 b27 * b39 - 134 b27 * b40 + 166 b27 * b41 + 150 b27 * b42 + 102 b27 * b43 - 36 b27 * b44 - 158 b27 * b45 + 92 b27 * b46 + 34 b27 * b47 + 44 b27 * b48 + 28 b27 * b49 + 60 b27 * b50 + 42 b27 * b51 + 160 b27 * b52 - 116 b27 * b53 + 186 b27 * b54 + 56 b27 * b55 + 120 b27 * b56 - 76 b27 * b57 - 142 b27 * b58 + 6 b27 * b59 - 170 b27 * b60 + 66 b27 * b61 + 162 b27 * b62 + 14 b27 * b63 + 16 b27 * b64 + 154 b27 * b65 + 94 b27 * b66 - 150 b27 * b67 + 104 b27 * b68 - 148 b27 * b69 + 188 b27 * b70 + 12 b27 * b71 + 30 b27 * b72 + 86 b27 * b73 + 166 b27 * b74 + 154 b27 * b75 + 50 b27 * b76 + 2 b27 * b77 + 122 b27 * b78 + 24 b27 * b79 + 62 b27 * b80 - 114 b27 * b81 + 178 b27 * b82 - 110 b27 * b83 + 30 b27 * b84 + 78 b27 * b85 + 162 b27 * b86 + 34 b27 * b87 + 172 b27 * b88 + 166 b27 * b89 + 8 b27 * b90 - 78 b27 * b91 + 144 b27 * b92 - 180 b27 * b93 + 196 b27 * b94 + 10 b27 * b95 + 184 b27 * b96 + 10 b27 * b97 + 184 b27 * b98 + 150 b27 * b99 + 180 b27 * b100 + 34 b27 * b101 - 112 b28 * b29 - 32 b28 * b30 + 90 b28 * b31 - 28 b28 * b32 + 124 b28 * b33 + 64 b28 * b34 + 86 b28 * b35 - 138 b28 * b36 + 146 b28 * b37 + 38 b28 * b38 + 68 b28 * b39 - 96 b28 * b40 + 74 b28 * b41 + 68 b28 * b42 + 70 b28 * b43 + 192 b28 * b44 + 174 b28 * b45 - 176 b28 * b46 + 28 b28 * b47 + 70 b28 * b48 + 112 b28 * b49 + 118 b28 * b50 + 78 b28 * b51 + 82 b28 * b52 + 104 b28 * b53 - 158 b28 * b54 - 172 b28 * b55 + 122 b28 * b56 + 2 b28 * b57 - 98 b28 * b58 - 96 b28 * b59 - 162 b28 * b60 + 118 b28 * b61 + 42 b28 * b62 + 40 b28 * b63 + 196 b28 * b64 + 48 b28 * b65 + 50 b28 * b66 + 176 b28 * b67 + 154 b28 * b68 + 154 b28 * b69 + 48 b28 * b70 + 170 b28 * b71 + 72 b28 * b72 + 164 b28 * b73 - 152 b28 * b74 + 64 b28 * b75 + 36 b28 * b76 + 48 b28 * b77 - 132 b28 * b78 + 192 b28 * b79 + 140 b28 * b80 + 46 b28 * b81 + 66 b28 * b82 + 128 b28 * b83 + 98 b28 * b84 + 136 b28 * b85 + 106 b28 * b86 + 118 b28 * b87 + 82 b28 * b88 + 152 b28 * b89 + 40 b28 * b90 + 46 b28 * b91 - 98 b28 * b92 + 54 b28 * b93 + 90 b28 * b94 + 56 b28 * b95 + 188 b28 * b96 + 24 b28 * b97 + 24 b28 * b98 + 78 b28 * b99 + 28 b28 * b100 + 70 b28 * b101 - 26 b29 * b30 + 22 b29 * b31 - 170 b29 * b32 + 144 b29 * b33 + 90 b29 * b34 + 188 b29 * b35 + 88 b29 * b36 + 20 b29 * b37 - 92 b29 * b38 + 108 b29 * b39 + 182 b29 * b40 + 34 b29 * b41 + 184 b29 * b42 + 132 b29 * b43 + 128 b29 * b44 + 150 b29 * b45 - 92 b29 * b46 + 162 b29 * b47 + 46 b29 * b48 + 172 b29 * b49 + 196 b29 * b50 - 126 b29 * b51 + 110 b29 * b52 - 66 b29 * b53 + 24 b29 * b54 + 78 b29 * b55 + 110 b29 * b56 + 18 b29 * b57 + 26 b29 * b58 + 4 b29 * b59 + 52 b29 * b60 + 6 b29 * b61 - 130 b29 * b62 - 2 b29 * b63 + 174 b29 * b64 + 10 b29 * b65 + 138 b29 * b66 + 162 b29 * b67 + 180 b29 * b68 + 148 b29 * b69 + 110 b29 * b70 + 112 b29 * b71 + 140 b29 * b72 - 12 b29 * b73 + 178 b29 * b74 + 18 b29 * b75 + 80 b29 * b76 + 170 b29 * b77 + 92 b29 * b78 - 182 b29 * b79 + 150 b29 * b80 - 144 b29 * b81 + 28 b29 * b82 + 138 b29 * b83 - 138 b29 * b84 + 112 b29 * b85 + 116 b29 * b86 - 168 b29 * b87 + 156 b29 * b88 + 26 b29 * b89 + 2 b29 * b90 + 162 b29 * b91 + 168 b29 * b92 - 190 b29 * b93 - 12 b29 * b94 - 34 b29 * b95 - 64 b29 * b96 - 52 b29 * b97 + 184 b29 * b98 + 102 b29 * b99 + 78 b29 * b100 - 166 b29 * b101 + 146 b30 * b31 + 150 b30 * b32 - 16 b30 * b33 + 138 b30 * b34 + 118 b30 * b35 - 102 b30 * b36 + 34 b30 * b37 + 56 b30 * b38 + 164 b30 * b39 + 106 b30 * b40 + 64 b30 * b41 + 26 b30 * b42 + 150 b30 * b43 + 164 b30 * b44 + 146 b30 * b45 + 18 b30 * b46 + 70 b30 * b47 - 96 b30 * b48 + 146 b30 * b49 + 106 b30 * b50 + 32 b30 * b51 - 156 b30 * b52 + 198 b30 * b53 + 116 b30 * b54 + 96 b30 * b55 + 192 b30 * b56 + 184 b30 * b57 + 10 b30 * b58 + 46 b30 * b59 + 62 b30 * b60 - 110 b30 * b61 + 88 b30 * b62 - 156 b30 * b63 + 68 b30 * b64 + 12 b30 * b65 + 68 b30 * b66 + 184 b30 * b67 + 18 b30 * b68 + 134 b30 * b69 + 52 b30 * b70 + 62 b30 * b71 + 194 b30 * b72 + 66 b30 * b73 + 184 b30 * b74 + 182 b30 * b75 - 106 b30 * b76 - 130 b30 * b77 - 74 b30 * b78 + 174 b30 * b79 + 90 b30 * b80 + 14 b30 * b81 + 138 b30 * b82 + 80 b30 * b83 + 88 b30 * b84 + 92 b30 * b85 + 142 b30 * b86 + 186 b30 * b87 + 4 b30 * b88 - 144 b30 * b89 + 62 b30 * b90 - 38 b30 * b91 + 118 b30 * b92 - 64 b30 * b93 + 58 b30 * b94 + 34 b30 * b95 + 28 b30 * b96 + 108 b30 * b97 - 154 b30 * b98 + 126 b30 * b99 + 100 b30 * b100 + 184 b30 * b101 - 178 b31 * b32 - 86 b31 * b33 + 18 b31 * b34 + 70 b31 * b35 + 56 b31 * b36 + 148 b31 * b37 + 78 b31 * b38 + 168 b31 * b39 + 150 b31 * b40 + 184 b31 * b41 + 54 b31 * b42 + 148 b31 * b43 + 180 b31 * b44 - 52 b31 * b45 + 194 b31 * b46 + 128 b31 * b47 + 200 b31 * b48 + 156 b31 * b49 + 48 b31 * b50 + 198 b31 * b51 + 32 b31 * b52 + 80 b31 * b53 + 58 b31 * b54 + 148 b31 * b55 + 54 b31 * b56 + 188 b31 * b57 + 124 b31 * b58 + 14 b31 * b59 + 8 b31 * b60 + 190 b31 * b61 + 96 b31 * b62 - 80 b31 * b63 + 134 b31 * b64 - 14 b31 * b65 + 162 b31 * b66 + 184 b31 * b67 - 160 b31 * b68 + 108 b31 * b69 - 116 b31 * b70 - 124 b31 * b71 + 192 b31 * b72 + 176 b31 * b73 - 150 b31 * b74 + 24 b31 * b75 + 154 b31 * b76 + 162 b31 * b77 + 134 b31 * b78 + 148 b31 * b79 + 176 b31 * b80 + 150 b31 * b81 + 176 b31 * b82 + 136 b31 * b83 + 106 b31 * b84 + 150 b31 * b85 - 104 b31 * b86 - 186 b31 * b87 - 192 b31 * b88 + 14 b31 * b89 + 50 b31 * b90 + 198 b31 * b91 + 152 b31 * b92 + 56 b31 * b93 + 4 b31 * b94 + 56 b31 * b95 + 170 b31 * b96 + 122 b31 * b97 - 48 b31 * b98 - 80 b31 * b99 + 104 b31 * b100 + 172 b31 * b101 + 12 b32 * b33 + 106 b32 * b34 + 124 b32 * b35 + 140 b32 * b36 + 60 b32 * b37 + 182 b32 * b38 + 100 b32 * b39 + 102 b32 * b40 - 144 b32 * b41 + 184 b32 * b42 + 168 b32 * b43 + 160 b32 * b44 + 166 b32 * b45 + 166 b32 * b46 + 178 b32 * b47 - 178 b32 * b48 - 6 b32 * b49 + 94 b32 * b50 + 104 b32 * b51 + 4 b32 * b52 + 72 b32 * b53 + 180 b32 * b54 + 126 b32 * b55 - 176 b32 * b56 + 140 b32 * b57 + 186 b32 * b58 + 68 b32 * b59 + 22 b32 * b60 + 190 b32 * b61 - 2 b32 * b62 + 36 b32 * b63 + 58 b32 * b64 + 68 b32 * b65 + 70 b32 * b66 - 84 b32 * b67 + 140 b32 * b68 + 66 b32 * b69 + 132 b32 * b70 + 4 b32 * b71 + 64 b32 * b72 + 70 b32 * b73 + 150 b32 * b74 - 96 b32 * b75 - 70 b32 * b76 - 166 b32 * b77 - 154 b32 * b78 + 56 b32 * b79 + 38 b32 * b80 + 62 b32 * b81 + 2 b32 * b82 + 186 b32 * b83 - 106 b32 * b84 + 64 b32 * b85 + 46 b32 * b86 + 44 b32 * b87 + 112 b32 * b88 + 164 b32 * b89 - 54 b32 * b90 + 136 b32 * b91 + 150 b32 * b92 + 200 b32 * b93 - 2 b32 * b94 + 16 b32 * b95 + 86 b32 * b96 + 150 b32 * b97 + 126 b32 * b98 + 130 b32 * b99 - 88 b32 * b100 + 170 b32 * b101 + 162 b33 * b34 + 48 b33 * b35 + 132 b33 * b36 + 38 b33 * b37 - 172 b33 * b38 + 114 b33 * b39 + 174 b33 * b40 - 30 b33 * b41 + 76 b33 * b42 - 114 b33 * b43 + 26 b33 * b44 + 44 b33 * b45 + 100 b33 * b46 - 82 b33 * b47 + 172 b33 * b48 + 24 b33 * b49 - 166 b33 * b50 - 108 b33 * b51 + 184 b33 * b52 + 86 b33 * b53 - 18 b33 * b54 + 80 b33 * b55 + 116 b33 * b56 - 170 b33 * b57 - 58 b33 * b58 + 148 b33 * b59 + 48 b33 * b60 + 134 b33 * b61 + 74 b33 * b62 + 36 b33 * b63 - 64 b33 * b64 + 80 b33 * b65 - 136 b33 * b66 + 130 b33 * b67 + 34 b33 * b68 - 182 b33 * b69 + 116 b33 * b70 + 152 b33 * b71 + 72 b33 * b72 + 124 b33 * b73 - 106 b33 * b74 + 112 b33 * b75 + 172 b33 * b76 + 104 b33 * b77 + 162 b33 * b78 + 88 b33 * b79 + 108 b33 * b80 + 58 b33 * b81 - 160 b33 * b82 - 70 b33 * b83 + 102 b33 * b84 + 48 b33 * b85 - 14 b33 * b86 + 54 b33 * b87 - 22 b33 * b88 + 116 b33 * b89 + 52 b33 * b90 + 84 b33 * b91 + 78 b33 * b92 + 68 b33 * b93 + 132 b33 * b94 + 68 b33 * b95 + 128 b33 * b96 - 88 b33 * b97 - 12 b33 * b98 + 180 b33 * b99 + 6 b33 * b100 + 136 b33 * b101 + 32 b34 * b35 - 6 b34 * b36 + 170 b34 * b37 + 184 b34 * b38 - 152 b34 * b39 + 146 b34 * b40 + 58 b34 * b41 + 72 b34 * b42 + 174 b34 * b43 + 36 b34 * b44 + 60 b34 * b45 - 192 b34 * b46 + 86 b34 * b47 - 190 b34 * b48 + 106 b34 * b49 + 116 b34 * b50 + 118 b34 * b51 + 90 b34 * b52 + 46 b34 * b53 - 8 b34 * b54 - 144 b34 * b55 + 32 b34 * b56 + 68 b34 * b57 + 94 b34 * b58 + 40 b34 * b59 + 146 b34 * b60 + 160 b34 * b61 + 176 b34 * b62 + 112 b34 * b63 + 40 b34 * b64 - 94 b34 * b65 + 152 b34 * b66 + 178 b34 * b67 + 198 b34 * b68 + 120 b34 * b69 + 122 b34 * b70 - 62 b34 * b71 + 64 b34 * b72 + 56 b34 * b73 - 72 b34 * b74 + 194 b34 * b75 + 200 b34 * b76 - 56 b34 * b77 - 196 b34 * b78 + 42 b34 * b79 + 182 b34 * b80 + 196 b34 * b81 - 48 b34 * b82 + 182 b34 * b83 + 96 b34 * b84 + 58 b34 * b85 + 66 b34 * b86 + 178 b34 * b87 + 52 b34 * b88 + 194 b34 * b89 - 132 b34 * b90 + 42 b34 * b91 + 42 b34 * b92 + 106 b34 * b93 + 164 b34 * b94 + 78 b34 * b95 + 88 b34 * b96 + 86 b34 * b97 - 42 b34 * b98 + 188 b34 * b99 + 172 b34 * b100 + 160 b34 * b101 + 168 b35 * b36 + 68 b35 * b37 + 70 b35 * b38 + 44 b35 * b39 + 46 b35 * b40 - 132 b35 * b41 + 82 b35 * b42 + 130 b35 * b43 + 188 b35 * b44 - 196 b35 * b45 - 76 b35 * b46 + 18 b35 * b47 + 152 b35 * b48 + 162 b35 * b49 + 54 b35 * b50 + 160 b35 * b51 + 160 b35 * b52 + 140 b35 * b53 - 190 b35 * b54 + 134 b35 * b55 - 168 b35 * b56 + 128 b35 * b57 + 106 b35 * b58 - 100 b35 * b59 - 164 b35 * b60 + 174 b35 * b61 - 182 b35 * b62 + 160 b35 * b63 + 96 b35 * b64 + 158 b35 * b65 + 42 b35 * b66 + 166 b35 * b67 + 46 b35 * b68 + 132 b35 * b69 - 190 b35 * b70 + 76 b35 * b71 + 134 b35 * b72 + 12 b35 * b73 + 66 b35 * b74 + 138 b35 * b75 + 12 b35 * b76 - 170 b35 * b77 + 4 b35 * b78 + 26 b35 * b79 - 50 b35 * b80 - 150 b35 * b81 + 2 b35 * b82 + 96 b35 * b83 + 26 b35 * b84 + 88 b35 * b85 + 98 b35 * b86 + 84 b35 * b87 - 76 b35 * b88 + 76 b35 * b89 + 12 b35 * b90 + 170 b35 * b91 + 130 b35 * b92 + 116 b35 * b93 + 170 b35 * b94 + 36 b35 * b95 + 26 b35 * b96 + 114 b35 * b97 + 106 b35 * b98 + 176 b35 * b99 + 44 b35 * b100 + 56 b35 * b101 + 32 b36 * b37 + 178 b36 * b38 - 40 b36 * b39 + 46 b36 * b40 + 72 b36 * b41 - 174 b36 * b42 + 56 b36 * b43 + 34 b36 * b44 - 130 b36 * b45 - 146 b36 * b46 + 60 b36 * b47 + 182 b36 * b48 - 74 b36 * b49 + 6 b36 * b50 - 122 b36 * b51 + 64 b36 * b52 + 6 b36 * b53 + 56 b36 * b54 + 100 b36 * b55 - 196 b36 * b56 - 122 b36 * b57 - 74 b36 * b58 + 54 b36 * b59 - 104 b36 * b60 + 184 b36 * b61 + 40 b36 * b62 + 112 b36 * b63 - 14 b36 * b64 + 80 b36 * b65 - 4 b36 * b66 + 180 b36 * b67 - 150 b36 * b68 + 114 b36 * b69 + 130 b36 * b70 + 112 b36 * b71 + 86 b36 * b72 + 90 b36 * b73 + 112 b36 * b74 + 74 b36 * b75 + 132 b36 * b76 - 68 b36 * b77 - 200 b36 * b78 + 94 b36 * b79 - 164 b36 * b80 - 132 b36 * b81 + 170 b36 * b82 + 136 b36 * b83 + 198 b36 * b84 + 32 b36 * b85 + 162 b36 * b86 + 154 b36 * b87 + 80 b36 * b88 - 14 b36 * b89 + 192 b36 * b90 + 108 b36 * b91 - 44 b36 * b92 + 100 b36 * b93 - 56 b36 * b94 + 62 b36 * b95 + 162 b36 * b96 + 88 b36 * b97 + 110 b36 * b98 + 158 b36 * b99 - 172 b36 * b100 + 42 b36 * b101 + 34 b37 * b38 + 186 b37 * b39 - 44 b37 * b40 + 110 b37 * b41 + 186 b37 * b42 + 164 b37 * b43 + 92 b37 * b44 + 78 b37 * b45 + 52 b37 * b46 + 164 b37 * b47 - 40 b37 * b48 + 148 b37 * b49 + 78 b37 * b50 + 64 b37 * b51 + 100 b37 * b52 + 84 b37 * b53 + 104 b37 * b54 + 52 b37 * b55 - 66 b37 * b56 - 86 b37 * b57 + 78 b37 * b58 - 86 b37 * b59 + 14 b37 * b60 + 18 b37 * b61 + 10 b37 * b62 + 84 b37 * b63 + 38 b37 * b64 + 100 b37 * b65 + 142 b37 * b66 + 162 b37 * b67 + 72 b37 * b68 - 178 b37 * b69 + 16 b37 * b70 - 122 b37 * b71 + 90 b37 * b72 + 136 b37 * b73 + 156 b37 * b74 + 38 b37 * b75 + 92 b37 * b76 + 136 b37 * b77 + 42 b37 * b78 + 52 b37 * b79 + 150 b37 * b80 - 194 b37 * b81 + 120 b37 * b82 - 136 b37 * b83 + 110 b37 * b84 + 164 b37 * b85 - 44 b37 * b86 + 10 b37 * b87 + 96 b37 * b88 - 106 b37 * b89 + 172 b37 * b90 + 26 b37 * b91 - 4 b37 * b92 + 66 b37 * b93 + 80 b37 * b94 + 122 b37 * b95 + 168 b37 * b96 + 126 b37 * b97 + 180 b37 * b98 + 76 b37 * b99 + 174 b37 * b100 + 114 b37 * b101 + 130 b38 * b39 + 156 b38 * b40 + 72 b38 * b41 + 178 b38 * b42 + 10 b38 * b43 + 112 b38 * b44 - 66 b38 * b45 + 56 b38 * b46 + 90 b38 * b47 - 182 b38 * b48 + 98 b38 * b49 - 150 b38 * b50 + 166 b38 * b51 + 170 b38 * b52 + 68 b38 * b53 - 162 b38 * b54 + 106 b38 * b55 + 124 b38 * b56 + 184 b38 * b57 - 26 b38 * b58 + 6 b38 * b59 + 4 b38 * b60 - 110 b38 * b61 + 24 b38 * b62 + 42 b38 * b63 + 164 b38 * b64 + 108 b38 * b65 - 20 b38 * b66 - 38 b38 * b67 + 122 b38 * b68 - 172 b38 * b69 - 100 b38 * b70 + 110 b38 * b71 + 58 b38 * b72 + 26 b38 * b73 + 84 b38 * b74 - 16 b38 * b75 + 108 b38 * b76 + 152 b38 * b77 + 32 b38 * b78 - 132 b38 * b79 + 40 b38 * b80 + 106 b38 * b81 + 24 b38 * b82 + 148 b38 * b83 + 48 b38 * b84 + 34 b38 * b85 + 200 b38 * b86 - 176 b38 * b87 + 32 b38 * b88 + 42 b38 * b89 - 36 b38 * b90 + 114 b38 * b91 - 92 b38 * b92 + 176 b38 * b93 + 64 b38 * b94 + 118 b38 * b95 + 154 b38 * b96 - 64 b38 * b97 + 68 b38 * b98 + 22 b38 * b99 + 40 b38 * b100 + 68 b38 * b101 + 98 b39 * b40 + 102 b39 * b41 + 48 b39 * b42 - 52 b39 * b43 - 112 b39 * b44 + 32 b39 * b45 + 130 b39 * b46 + 28 b39 * b47 + 122 b39 * b48 + 102 b39 * b49 + 174 b39 * b50 + 152 b39 * b51 - 180 b39 * b52 + 58 b39 * b53 + 130 b39 * b54 + 64 b39 * b55 - 172 b39 * b56 + 162 b39 * b57 + 10 b39 * b58 + 10 b39 * b59 + 78 b39 * b60 + 26 b39 * b61 - 56 b39 * b62 - 6 b39 * b63 + 4 b39 * b64 - 48 b39 * b65 - 172 b39 * b66 + 14 b39 * b67 - 72 b39 * b68 + 176 b39 * b69 + 200 b39 * b70 + 34 b39 * b71 - 106 b39 * b72 + 194 b39 * b73 + 110 b39 * b74 - 42 b39 * b75 - 148 b39 * b76 + 200 b39 * b77 + 124 b39 * b78 + 80 b39 * b79 + 14 b39 * b80 + 100 b39 * b81 + 26 b39 * b82 + 48 b39 * b83 + 190 b39 * b84 - 200 b39 * b85 + 68 b39 * b86 - 62 b39 * b87 - 128 b39 * b88 + 188 b39 * b89 + 66 b39 * b90 + 30 b39 * b91 + 196 b39 * b92 + 20 b39 * b93 + 136 b39 * b94 + 148 b39 * b95 + 22 b39 * b96 + 142 b39 * b97 + 168 b39 * b98 + 44 b39 * b99 + 16 b39 * b100 + 152 b39 * b101 + 80 b40 * b41 + 156 b40 * b42 + 76 b40 * b43 + 50 b40 * b44 + 74 b40 * b45 - 158 b40 * b46 - 10 b40 * b47 + 196 b40 * b48 + 72 b40 * b49 - 196 b40 * b50 + 196 b40 * b51 + 144 b40 * b52 + 130 b40 * b53 + 126 b40 * b54 - 140 b40 * b55 + 130 b40 * b56 + 192 b40 * b57 - 32 b40 * b58 - 132 b40 * b59 + 12 b40 * b60 - 166 b40 * b61 - 176 b40 * b62 + 142 b40 * b63 + 118 b40 * b64 + 120 b40 * b65 + 110 b40 * b66 - 152 b40 * b67 + 188 b40 * b68 + 46 b40 * b69 - 32 b40 * b70 - 194 b40 * b71 - 104 b40 * b72 + 150 b40 * b73 + 58 b40 * b74 + 24 b40 * b75 + 186 b40 * b76 - 36 b40 * b77 + 66 b40 * b78 - 138 b40 * b79 + 196 b40 * b80 + 196 b40 * b81 + 74 b40 * b82 + 68 b40 * b83 + 130 b40 * b84 - 74 b40 * b85 + 198 b40 * b86 + 24 b40 * b87 + 154 b40 * b88 + 148 b40 * b89 + 154 b40 * b90 + 184 b40 * b91 + 164 b40 * b92 + 108 b40 * b93 + 98 b40 * b94 + 112 b40 * b95 + 100 b40 * b96 + 6 b40 * b97 + 60 b40 * b98 - 38 b40 * b99 + 88 b40 * b100 - 52 b40 * b101 - 182 b41 * b42 + 96 b41 * b43 + 54 b41 * b44 + 50 b41 * b45 + 114 b41 * b46 - 56 b41 * b47 - 152 b41 * b48 + 112 b41 * b49 + 6 b41 * b50 + 46 b41 * b51 - 34 b41 * b52 + 82 b41 * b53 + 24 b41 * b54 + 184 b41 * b55 + 34 b41 * b56 + 2 b41 * b57 - 18 b41 * b58 - 52 b41 * b59 + 42 b41 * b60 + 188 b41 * b61 + 34 b41 * b62 + 142 b41 * b63 + 4 b41 * b64 + 138 b41 * b65 + 180 b41 * b66 + 14 b41 * b67 - 142 b41 * b68 - 110 b41 * b69 + 18 b41 * b70 + 82 b41 * b71 + 132 b41 * b72 + 62 b41 * b73 + 80 b41 * b74 + 26 b41 * b75 + 116 b41 * b76 + 186 b41 * b77 + 158 b41 * b78 - 142 b41 * b79 - 82 b41 * b80 + 70 b41 * b81 + 66 b41 * b82 + 174 b41 * b83 + 78 b41 * b84 - 72 b41 * b85 + 78 b41 * b86 + 46 b41 * b87 + 136 b41 * b88 + 166 b41 * b89 + 122 b41 * b90 + 142 b41 * b91 + 106 b41 * b92 + 194 b41 * b93 + 60 b41 * b94 + 124 b41 * b95 - 114 b41 * b96 + 200 b41 * b97 + 176 b41 * b98 - 190 b41 * b99 + 158 b41 * b100 + 152 b41 * b101 - 116 b42 * b43 + 52 b42 * b44 + 4 b42 * b45 + 168 b42 * b46 + 12 b42 * b47 + 66 b42 * b48 - 146 b42 * b49 + 184 b42 * b50 + 94 b42 * b51 + 144 b42 * b52 + 96 b42 * b53 + 190 b42 * b54 - 120 b42 * b55 + 24 b42 * b56 + 140 b42 * b57 + 120 b42 * b58 - 72 b42 * b59 + 8 b42 * b60 - 88 b42 * b61 + 104 b42 * b62 + 90 b42 * b63 + 118 b42 * b64 + 32 b42 * b65 + 38 b42 * b66 + 110 b42 * b67 + 32 b42 * b68 + 128 b42 * b69 + 178 b42 * b70 + 100 b42 * b71 + 28 b42 * b72 + 182 b42 * b73 - 196 b42 * b74 + 18 b42 * b75 + 30 b42 * b76 + 78 b42 * b77 - 104 b42 * b78 + 106 b42 * b79 + 106 b42 * b80 + 24 b42 * b81 + 162 b42 * b82 + 130 b42 * b83 + 142 b42 * b84 + 18 b42 * b85 + 6 b42 * b86 + 126 b42 * b87 + 162 b42 * b88 - 80 b42 * b89 - 68 b42 * b90 + 60 b42 * b91 + 102 b42 * b92 + 36 b42 * b93 + 6 b42 * b94 + 32 b42 * b95 - 84 b42 * b96 + 156 b42 * b97 + 192 b42 * b98 + 44 b42 * b99 - 42 b42 * b100 + 154 b42 * b101 - 88 b43 * b44 + 182 b43 * b45 - 94 b43 * b46 - 106 b43 * b47 - 164 b43 * b48 - 162 b43 * b49 - 4 b43 * b50 + 78 b43 * b51 + 144 b43 * b52 + 22 b43 * b53 - 66 b43 * b54 + 176 b43 * b55 + 58 b43 * b56 + 188 b43 * b57 + 86 b43 * b58 - 48 b43 * b59 + 26 b43 * b60 + 124 b43 * b61 + 98 b43 * b62 + 80 b43 * b63 + 96 b43 * b64 + 28 b43 * b65 + 42 b43 * b66 - 10 b43 * b67 + 116 b43 * b68 - 12 b43 * b69 - 4 b43 * b70 - 138 b43 * b71 + 106 b43 * b72 + 164 b43 * b73 + 74 b43 * b74 + 172 b43 * b75 + 144 b43 * b76 + 120 b43 * b77 + 122 b43 * b78 + 98 b43 * b79 + 44 b43 * b80 + 18 b43 * b81 + 36 b43 * b82 + 174 b43 * b83 - 158 b43 * b84 - 32 b43 * b85 + 72 b43 * b86 + 26 b43 * b87 - 102 b43 * b88 + 78 b43 * b89 + 200 b43 * b90 + 78 b43 * b91 + 142 b43 * b92 - 84 b43 * b93 + 106 b43 * b94 + 86 b43 * b95 + 16 b43 * b96 + 42 b43 * b97 + 32 b43 * b98 - 200 b43 * b99 + 196 b43 * b100 - 52 b43 * b101 + 8 b44 * b45 + 152 b44 * b46 + 66 b44 * b47 - 88 b44 * b48 + 76 b44 * b49 + 12 b44 * b50 - 72 b44 * b51 - 182 b44 * b52 + 184 b44 * b53 - 30 b44 * b54 - 72 b44 * b55 + 50 b44 * b56 + 186 b44 * b57 + 196 b44 * b58 + 86 b44 * b59 - 52 b44 * b60 + 26 b44 * b61 + 6 b44 * b62 + 30 b44 * b63 + 160 b44 * b64 + 64 b44 * b65 + 24 b44 * b66 + 70 b44 * b67 + 110 b44 * b68 + 78 b44 * b69 + 156 b44 * b70 + 14 b44 * b71 + 58 b44 * b72 - 58 b44 * b73 + 184 b44 * b74 + 106 b44 * b75 + 42 b44 * b76 + 140 b44 * b77 + 124 b44 * b78 + 42 b44 * b79 + 184 b44 * b80 + 156 b44 * b81 + 38 b44 * b82 + 18 b44 * b83 - 84 b44 * b84 + 196 b44 * b85 + 50 b44 * b86 + 144 b44 * b87 + 14 b44 * b88 + 62 b44 * b89 - 48 b44 * b90 - 38 b44 * b91 + 198 b44 * b92 + 142 b44 * b93 - 54 b44 * b94 + 106 b44 * b95 - 190 b44 * b96 + 148 b44 * b97 + 90 b44 * b98 - 180 b44 * b99 + 66 b44 * b100 + 114 b44 * b101 + 188 b45 * b46 + 26 b45 * b47 + 162 b45 * b48 + 4 b45 * b49 + 154 b45 * b50 + 102 b45 * b51 + 22 b45 * b52 + 174 b45 * b53 + 130 b45 * b54 + 110 b45 * b55 - 40 b45 * b56 + 152 b45 * b57 + 132 b45 * b58 - 110 b45 * b59 + 110 b45 * b60 - 116 b45 * b61 + 182 b45 * b62 + 104 b45 * b63 + 130 b45 * b64 - 52 b45 * b65 + 48 b45 * b66 + 40 b45 * b67 + 4 b45 * b68 + 44 b45 * b69 + 194 b45 * b70 + 56 b45 * b71 + 16 b45 * b72 + 170 b45 * b73 - 142 b45 * b74 - 44 b45 * b75 - 2 b45 * b76 - 58 b45 * b77 - 2 b45 * b78 + 28 b45 * b79 - 168 b45 * b80 + 18 b45 * b81 + 40 b45 * b82 + 88 b45 * b83 + 174 b45 * b84 - 180 b45 * b85 + 186 b45 * b86 + 6 b45 * b87 + 144 b45 * b88 - 50 b45 * b89 - 58 b45 * b90 + 46 b45 * b91 + 154 b45 * b92 + 146 b45 * b93 + 164 b45 * b94 + 90 b45 * b95 + 58 b45 * b96 - 150 b45 * b97 + 164 b45 * b98 + 144 b45 * b99 + 164 b45 * b100 + 4 b45 * b101 + 156 b46 * b47 + 54 b46 * b48 + 190 b46 * b49 + 92 b46 * b50 + 2 b46 * b51 + 106 b46 * b52 - 140 b46 * b53 + 116 b46 * b54 + 28 b46 * b55 - 134 b46 * b56 - 112 b46 * b57 - 188 b46 * b58 + 20 b46 * b59 - 16 b46 * b60 + 156 b46 * b61 + 36 b46 * b62 + 34 b46 * b63 + 14 b46 * b64 + 92 b46 * b65 - 70 b46 * b66 + 48 b46 * b67 - 56 b46 * b68 - 134 b46 * b69 + 96 b46 * b70 + 78 b46 * b71 + 52 b46 * b72 + 118 b46 * b73 + 68 b46 * b74 - 178 b46 * b75 + 120 b46 * b76 - 108 b46 * b77 + 146 b46 * b78 + 144 b46 * b79 + 66 b46 * b80 + 70 b46 * b81 + 134 b46 * b82 - 18 b46 * b83 + 8 b46 * b84 + 62 b46 * b85 + 14 b46 * b86 - 34 b46 * b87 + 30 b46 * b88 - 110 b46 * b89 + 88 b46 * b90 + 186 b46 * b91 - 122 b46 * b92 + 166 b46 * b93 + 38 b46 * b94 + 126 b46 * b95 - 148 b46 * b96 - 44 b46 * b97 + 16 b46 * b98 + 76 b46 * b99 + 114 b46 * b100 + 26 b46 * b101 + 74 b47 * b48 + 94 b47 * b49 + 114 b47 * b50 - 108 b47 * b51 + 96 b47 * b52 + 12 b47 * b53 - 190 b47 * b54 + 184 b47 * b55 + 186 b47 * b56 + 138 b47 * b57 + 6 b47 * b58 + 20 b47 * b59 + 48 b47 * b60 - 144 b47 * b61 + 134 b47 * b62 + 190 b47 * b63 + 132 b47 * b64 + 114 b47 * b65 + 92 b47 * b66 - 50 b47 * b67 + 16 b47 * b68 + 104 b47 * b69 + 138 b47 * b70 + 40 b47 * b71 - 192 b47 * b72 + 60 b47 * b73 - 58 b47 * b74 + 24 b47 * b75 + 182 b47 * b76 + 170 b47 * b77 - 144 b47 * b78 - 24 b47 * b79 + 144 b47 * b80 + 124 b47 * b81 - 164 b47 * b82 - 122 b47 * b83 + 134 b47 * b84 + 88 b47 * b85 + 108 b47 * b86 + 94 b47 * b87 + 4 b47 * b88 - 102 b47 * b89 + 38 b47 * b90 + 172 b47 * b91 + 100 b47 * b92 + 36 b47 * b93 + 2 b47 * b94 + 122 b47 * b95 + 200 b47 * b96 - 80 b47 * b97 - 118 b47 * b98 + 46 b47 * b99 + 22 b47 * b100 + 118 b47 * b101 + 64 b48 * b49 - 128 b48 * b50 + 64 b48 * b51 + 132 b48 * b52 + 162 b48 * b53 + 118 b48 * b54 + 50 b48 * b55 + 100 b48 * b56 + 112 b48 * b57 + 96 b48 * b58 - 166 b48 * b59 - 178 b48 * b60 + 172 b48 * b61 - 34 b48 * b62 + 64 b48 * b63 + 22 b48 * b64 + 62 b48 * b65 + 198 b48 * b66 + 186 b48 * b67 + 24 b48 * b68 + 38 b48 * b69 - 4 b48 * b70 + 100 b48 * b71 + 40 b48 * b72 + 128 b48 * b73 - 130 b48 * b74 + 108 b48 * b75 - 180 b48 * b76 + 134 b48 * b77 + 78 b48 * b78 + 64 b48 * b79 + 128 b48 * b80 + 152 b48 * b81 + 54 b48 * b82 - 58 b48 * b83 - 80 b48 * b84 - 26 b48 * b85 + 94 b48 * b86 + 190 b48 * b87 + 142 b48 * b88 + 170 b48 * b89 + 14 b48 * b90 - 78 b48 * b91 + 164 b48 * b92 + 106 b48 * b93 + 12 b48 * b94 + 138 b48 * b95 - 2 b48 * b96 + 68 b48 * b97 + 30 b48 * b98 + 138 b48 * b99 - 132 b48 * b100 + 196 b48 * b101 - 94 b49 * b50 + 154 b49 * b51 + 2 b49 * b52 + 104 b49 * b53 + 104 b49 * b54 - 12 b49 * b55 + 198 b49 * b56 + 8 b49 * b57 + 90 b49 * b58 - 50 b49 * b59 + 40 b49 * b60 + 152 b49 * b61 + 48 b49 * b62 - 80 b49 * b63 + 154 b49 * b64 + 200 b49 * b65 + 162 b49 * b66 + 182 b49 * b67 + 84 b49 * b68 - 184 b49 * b69 - 72 b49 * b70 + 154 b49 * b71 + 14 b49 * b72 + 178 b49 * b73 + 112 b49 * b74 + 200 b49 * b75 + 46 b49 * b76 + 28 b49 * b77 + 142 b49 * b78 + 70 b49 * b79 - 84 b49 * b80 + 42 b49 * b81 + 28 b49 * b82 + 112 b49 * b83 - 10 b49 * b84 + 94 b49 * b85 + 192 b49 * b86 + 146 b49 * b87 + 14 b49 * b88 + 116 b49 * b89 + 52 b49 * b90 - 82 b49 * b91 + 72 b49 * b92 + 90 b49 * b93 + 118 b49 * b94 - 8 b49 * b95 + 34 b49 * b96 + 148 b49 * b97 - 172 b49 * b98 - 170 b49 * b99 - 160 b49 * b100 + 58 b49 * b101 + 20 b50 * b51 + 162 b50 * b52 - 132 b50 * b53 - 162 b50 * b54 + 102 b50 * b55 + 180 b50 * b56 - 158 b50 * b57 + 190 b50 * b58 + 34 b50 * b59 + 178 b50 * b60 + 50 b50 * b61 + 124 b50 * b62 - 94 b50 * b63 + 200 b50 * b64 - 66 b50 * b65 + 8 b50 * b66 - 66 b50 * b67 - 18 b50 * b68 + 52 b50 * b69 + 80 b50 * b70 - 132 b50 * b71 + 26 b50 * b72 + 132 b50 * b73 - 66 b50 * b74 + 16 b50 * b75 + 132 b50 * b76 - 174 b50 * b77 + 188 b50 * b78 - 154 b50 * b79 + 20 b50 * b80 + 144 b50 * b81 + 4 b50 * b82 + 2 b50 * b83 + 10 b50 * b84 + 6 b50 * b85 + 108 b50 * b86 + 48 b50 * b87 + 128 b50 * b88 - 154 b50 * b89 - 46 b50 * b90 + 42 b50 * b91 + 136 b50 * b92 + 40 b50 * b93 + 182 b50 * b94 + 10 b50 * b95 + 18 b50 * b96 + 34 b50 * b97 + 168 b50 * b98 - 144 b50 * b99 + 190 b50 * b100 + 168 b50 * b101 + 186 b51 * b52 + 134 b51 * b53 + 2 b51 * b54 + 10 b51 * b55 + 158 b51 * b56 - 30 b51 * b57 + 168 b51 * b58 + 118 b51 * b59 + 68 b51 * b60 + 156 b51 * b61 + 88 b51 * b62 + 102 b51 * b63 + 28 b51 * b64 + 134 b51 * b65 + 94 b51 * b66 - 18 b51 * b67 + 124 b51 * b68 + 96 b51 * b69 + 138 b51 * b70 - 72 b51 * b71 + 56 b51 * b72 + 196 b51 * b73 + 72 b51 * b74 + 178 b51 * b75 + 46 b51 * b76 + 124 b51 * b77 + 126 b51 * b78 + 90 b51 * b79 + 172 b51 * b80 - 72 b51 * b81 + 130 b51 * b82 + 152 b51 * b83 + 140 b51 * b84 - 174 b51 * b85 + 156 b51 * b86 + 180 b51 * b87 + 154 b51 * b88 + 136 b51 * b89 + 92 b51 * b90 + 170 b51 * b91 + 146 b51 * b92 - 172 b51 * b93 - 116 b51 * b94 - 28 b51 * b95 + 90 b51 * b96 + 160 b51 * b97 + 90 b51 * b98 + 174 b51 * b99 + 162 b51 * b100 + 114 b51 * b101 + 198 b52 * b53 + 28 b52 * b54 + 72 b52 * b55 - 182 b52 * b56 + 80 b52 * b57 + 106 b52 * b58 + 40 b52 * b59 + 100 b52 * b60 + 144 b52 * b61 + 154 b52 * b62 + 130 b52 * b63 + 154 b52 * b64 + 124 b52 * b65 + 54 b52 * b66 - 78 b52 * b67 - 102 b52 * b68 + 160 b52 * b69 + 32 b52 * b70 + 194 b52 * b71 + 96 b52 * b72 - 64 b52 * b73 + 200 b52 * b74 + 180 b52 * b75 + 170 b52 * b76 + 32 b52 * b77 + 58 b52 * b78 + 136 b52 * b79 - 186 b52 * b80 + 142 b52 * b81 + 148 b52 * b82 + 108 b52 * b83 - 198 b52 * b84 + 174 b52 * b85 + 200 b52 * b86 - 48 b52 * b87 + 46 b52 * b88 + 100 b52 * b89 - 20 b52 * b90 + 148 b52 * b91 + 10 b52 * b92 + 116 b52 * b93 - 146 b52 * b94 + 84 b52 * b95 + 18 b52 * b96 - 72 b52 * b97 + 42 b52 * b98 + 10 b52 * b99 + 50 b52 * b100 + 170 b52 * b101 + 60 b53 * b54 + 148 b53 * b55 + 28 b53 * b56 + 154 b53 * b57 + 134 b53 * b58 + 146 b53 * b59 - 88 b53 * b60 + 14 b53 * b61 + 22 b53 * b62 + 66 b53 * b63 + 120 b53 * b64 - 106 b53 * b65 + 120 b53 * b66 - 102 b53 * b67 + 10 b53 * b68 + 120 b53 * b69 - 188 b53 * b70 + 76 b53 * b71 + 24 b53 * b72 + 172 b53 * b73 + 32 b53 * b74 + 104 b53 * b75 + 186 b53 * b76 + 54 b53 * b77 + 12 b53 * b78 + 148 b53 * b79 + 156 b53 * b80 - 194 b53 * b81 + 72 b53 * b82 - 144 b53 * b83 - 66 b53 * b84 + 50 b53 * b85 + 40 b53 * b86 + 72 b53 * b87 + 56 b53 * b88 + 26 b53 * b89 + 64 b53 * b90 + 108 b53 * b91 - 44 b53 * b92 - 156 b53 * b93 + 180 b53 * b94 + 88 b53 * b95 + 60 b53 * b96 + 14 b53 * b97 + 76 b53 * b98 + 16 b53 * b99 - 26 b53 * b100 - 94 b53 * b101 - 196 b54 * b55 + 132 b54 * b56 - 112 b54 * b57 + 38 b54 * b58 + 84 b54 * b59 + 124 b54 * b60 - 6 b54 * b61 + 188 b54 * b62 - 188 b54 * b63 + 124 b54 * b64 + 162 b54 * b65 + 182 b54 * b66 - 196 b54 * b67 + 80 b54 * b68 - 68 b54 * b69 + 90 b54 * b70 + 42 b54 * b71 + 110 b54 * b72 + 80 b54 * b73 + 132 b54 * b74 - 194 b54 * b75 + 94 b54 * b76 + 42 b54 * b77 + 190 b54 * b78 + 164 b54 * b79 + 178 b54 * b80 - 152 b54 * b81 + 64 b54 * b82 + 58 b54 * b83 + 76 b54 * b84 - 20 b54 * b85 - 88 b54 * b86 - 86 b54 * b87 + 18 b54 * b88 + 46 b54 * b89 + 132 b54 * b90 + 8 b54 * b91 + 42 b54 * b92 + 10 b54 * b93 + 180 b54 * b94 + 46 b54 * b95 + 198 b54 * b96 + 20 b54 * b97 - 52 b54 * b98 + 4 b54 * b99 + 8 b54 * b100 + 192 b54 * b101 - 88 b55 * b56 + 194 b55 * b57 + 48 b55 * b58 + 154 b55 * b59 + 178 b55 * b60 + 10 b55 * b61 + 14 b55 * b62 + 56 b55 * b63 + 196 b55 * b64 - 158 b55 * b65 + 102 b55 * b66 + 158 b55 * b67 + 162 b55 * b68 - 180 b55 * b69 + 188 b55 * b70 + 166 b55 * b71 + 52 b55 * b72 + 176 b55 * b73 + 98 b55 * b74 - 84 b55 * b75 - 198 b55 * b76 + 98 b55 * b77 + 118 b55 * b78 + 114 b55 * b79 + 58 b55 * b80 - 8 b55 * b81 - 52 b55 * b82 + 116 b55 * b83 - 26 b55 * b84 + 84 b55 * b85 + 70 b55 * b86 + 84 b55 * b87 - 108 b55 * b88 + 130 b55 * b89 + 96 b55 * b90 - 188 b55 * b91 - 112 b55 * b92 + 14 b55 * b93 + 44 b55 * b94 + 42 b55 * b95 + 100 b55 * b96 + 162 b55 * b97 + 12 b55 * b98 + 162 b55 * b99 + 74 b55 * b100 + 152 b55 * b101 + 196 b56 * b57 + 72 b56 * b58 - 100 b56 * b59 + 18 b56 * b60 + 116 b56 * b61 + 94 b56 * b62 + 194 b56 * b63 + 156 b56 * b64 - 32 b56 * b65 + 40 b56 * b66 + 44 b56 * b67 - 182 b56 * b68 + 78 b56 * b69 + 196 b56 * b70 + 92 b56 * b71 + 100 b56 * b72 - 188 b56 * b73 + 196 b56 * b74 + 74 b56 * b75 - 186 b56 * b76 - 18 b56 * b77 + 116 b56 * b78 + 88 b56 * b79 + 52 b56 * b80 - 64 b56 * b81 + 54 b56 * b82 + 196 b56 * b83 - 170 b56 * b84 + 80 b56 * b85 - 132 b56 * b86 + 116 b56 * b87 + 160 b56 * b88 - 104 b56 * b89 + 94 b56 * b90 + 70 b56 * b91 - 170 b56 * b92 + 58 b56 * b93 + 6 b56 * b94 - 56 b56 * b95 + 68 b56 * b96 + 156 b56 * b97 + 34 b56 * b98 + 58 b56 * b99 + 132 b56 * b100 + 172 b56 * b101 + 10 b57 * b58 + 196 b57 * b59 + 92 b57 * b60 - 128 b57 * b61 + 186 b57 * b62 - 164 b57 * b63 + 90 b57 * b64 + 38 b57 * b65 + 172 b57 * b66 + 56 b57 * b67 + 116 b57 * b68 + 70 b57 * b69 + 166 b57 * b70 + 156 b57 * b71 + 70 b57 * b72 - 60 b57 * b73 - 114 b57 * b74 + 52 b57 * b75 + 162 b57 * b76 + 92 b57 * b77 - 182 b57 * b78 + 4 b57 * b79 + 84 b57 * b80 - 70 b57 * b81 + 38 b57 * b82 + 100 b57 * b83 + 140 b57 * b84 + 106 b57 * b85 + 102 b57 * b86 - 198 b57 * b87 - 184 b57 * b88 - 150 b57 * b89 + 118 b57 * b90 - 4 b57 * b91 - 90 b57 * b92 + 128 b57 * b93 + 158 b57 * b94 + 44 b57 * b95 + 74 b57 * b96 + 100 b57 * b97 + 42 b57 * b98 - 164 b57 * b99 + 176 b57 * b100 + 82 b57 * b101 - 30 b58 * b59 + 46 b58 * b60 + 142 b58 * b61 - 12 b58 * b62 + 106 b58 * b63 - 144 b58 * b64 - 20 b58 * b65 + 166 b58 * b66 + 6 b58 * b67 + 22 b58 * b68 + 128 b58 * b69 - 92 b58 * b70 - 128 b58 * b71 + 148 b58 * b72 + 130 b58 * b73 - 176 b58 * b74 + 18 b58 * b75 - 74 b58 * b76 - 126 b58 * b77 + 24 b58 * b78 - 10 b58 * b79 + 126 b58 * b80 + 138 b58 * b81 + 12 b58 * b82 + 2 b58 * b83 + 124 b58 * b84 + 56 b58 * b85 - 2 b58 * b86 + 78 b58 * b87 + 186 b58 * b88 + 88 b58 * b89 + 68 b58 * b90 + 188 b58 * b91 + 166 b58 * b92 - 32 b58 * b93 + 148 b58 * b94 + 56 b58 * b95 - 172 b58 * b96 - 66 b58 * b97 - 134 b58 * b98 - 116 b58 * b99 + 2 b58 * b100 + 174 b58 * b101 - 56 b59 * b60 + 62 b59 * b61 + 160 b59 * b62 + 106 b59 * b63 - 156 b59 * b64 + 70 b59 * b65 + 116 b59 * b66 + 116 b59 * b67 - 44 b59 * b68 + 38 b59 * b69 + 162 b59 * b70 - 2 b59 * b71 + 174 b59 * b72 - 158 b59 * b73 + 192 b59 * b74 + 184 b59 * b75 + 188 b59 * b76 + 94 b59 * b77 + 96 b59 * b78 - 178 b59 * b79 + 2 b59 * b80 + 178 b59 * b81 + 156 b59 * b82 + 80 b59 * b83 + 64 b59 * b84 + 20 b59 * b85 + 24 b59 * b86 - 126 b59 * b87 + 40 b59 * b88 + 76 b59 * b89 + 18 b59 * b90 + 188 b59 * b91 + 6 b59 * b92 + 156 b59 * b93 + 182 b59 * b94 + 52 b59 * b95 + 84 b59 * b96 + 104 b59 * b97 - 26 b59 * b98 - 138 b59 * b99 + 106 b59 * b100 + 118 b59 * b101 + 184 b60 * b61 + 28 b60 * b62 + 26 b60 * b63 + 156 b60 * b64 + 64 b60 * b65 + 54 b60 * b66 + 124 b60 * b67 + 70 b60 * b68 + 142 b60 * b69 + 92 b60 * b70 - 156 b60 * b71 + 68 b60 * b72 + 80 b60 * b73 - 178 b60 * b74 + 168 b60 * b75 + 110 b60 * b76 + 40 b60 * b77 - 74 b60 * b78 + 142 b60 * b79 + 116 b60 * b80 - 176 b60 * b81 + 174 b60 * b82 + 176 b60 * b83 + 106 b60 * b84 + 74 b60 * b85 + 50 b60 * b86 + 94 b60 * b87 + 16 b60 * b88 + 128 b60 * b89 - 58 b60 * b90 + 190 b60 * b91 + 50 b60 * b92 + 8 b60 * b93 + 198 b60 * b94 + 54 b60 * b95 + 160 b60 * b96 + 182 b60 * b97 + 30 b60 * b98 + 182 b60 * b99 + 184 b60 * b100 + 140 b60 * b101 + 184 b61 * b62 + 156 b61 * b63 + 108 b61 * b64 + 198 b61 * b65 + 78 b61 * b66 + 138 b61 * b67 + 22 b61 * b68 + 152 b61 * b69 + 100 b61 * b70 + 136 b61 * b71 + 134 b61 * b72 + 196 b61 * b73 - 82 b61 * b74 + 2 b61 * b75 + 132 b61 * b76 + 200 b61 * b77 - 74 b61 * b78 + 120 b61 * b79 + 140 b61 * b80 + 56 b61 * b81 - 110 b61 * b82 + 150 b61 * b83 + 40 b61 * b84 + 52 b61 * b85 - 6 b61 * b86 + 2 b61 * b87 - 6 b61 * b88 + 110 b61 * b89 + 76 b61 * b90 + 54 b61 * b91 - 160 b61 * b92 + 24 b61 * b93 + 110 b61 * b94 + 20 b61 * b95 + 170 b61 * b96 - 170 b61 * b97 + 168 b61 * b98 + 112 b61 * b99 + 122 b61 * b100 + 150 b61 * b101 + 154 b62 * b63 + 176 b62 * b64 - 50 b62 * b65 + 148 b62 * b66 + 104 b62 * b67 + 32 b62 * b68 + 60 b62 * b69 - 198 b62 * b70 + 6 b62 * b71 - 120 b62 * b72 - 96 b62 * b73 + 156 b62 * b74 - 14 b62 * b75 + 172 b62 * b76 + 138 b62 * b77 + 66 b62 * b78 + 78 b62 * b79 + 152 b62 * b80 + 132 b62 * b81 + 152 b62 * b82 - 106 b62 * b83 - 200 b62 * b84 + 140 b62 * b85 + 36 b62 * b86 + 18 b62 * b87 + 22 b62 * b88 + 50 b62 * b89 - 174 b62 * b90 + 48 b62 * b91 + 2 b62 * b92 - 174 b62 * b93 + 176 b62 * b94 + 114 b62 * b95 + 78 b62 * b96 + 138 b62 * b97 + 88 b62 * b98 - 114 b62 * b99 - 110 b62 * b100 + 90 b62 * b101 + 4 b63 * b64 + 104 b63 * b65 + 122 b63 * b66 - 6 b63 * b67 - 20 b63 * b68 + 44 b63 * b69 + 42 b63 * b70 + 190 b63 * b71 + 170 b63 * b72 + 150 b63 * b73 + 154 b63 * b74 + 178 b63 * b75 - 32 b63 * b76 + 134 b63 * b77 + 52 b63 * b78 + 90 b63 * b79 - 30 b63 * b80 + 180 b63 * b81 + 152 b63 * b82 - 50 b63 * b83 - 42 b63 * b84 - 94 b63 * b85 - 116 b63 * b86 + 106 b63 * b87 - 190 b63 * b88 + 32 b63 * b89 + 148 b63 * b90 - 190 b63 * b91 + 104 b63 * b92 - 124 b63 * b93 + 150 b63 * b94 + 112 b63 * b95 - 106 b63 * b96 + 40 b63 * b97 + 82 b63 * b98 + 130 b63 * b99 + 84 b63 * b100 - 12 b63 * b101 + 6 b64 * b65 - 184 b64 * b66 + 178 b64 * b67 + 144 b64 * b68 + 126 b64 * b69 + 4 b64 * b70 + 62 b64 * b71 + 192 b64 * b72 + 136 b64 * b73 + 102 b64 * b74 + 200 b64 * b75 - 200 b64 * b76 + 132 b64 * b77 + 12 b64 * b78 + 148 b64 * b79 + 116 b64 * b80 + 146 b64 * b81 + 48 b64 * b82 - 114 b64 * b83 + 148 b64 * b84 + 28 b64 * b85 - 74 b64 * b86 + 74 b64 * b87 + 10 b64 * b88 + 70 b64 * b89 + 54 b64 * b90 - 154 b64 * b91 + 52 b64 * b92 - 186 b64 * b93 + 98 b64 * b94 + 196 b64 * b95 + 90 b64 * b96 + 16 b64 * b97 + 68 b64 * b98 + 136 b64 * b99 - 68 b64 * b100 + 66 b64 * b101 + 56 b65 * b66 + 12 b65 * b67 + 152 b65 * b68 + 78 b65 * b69 + 52 b65 * b70 + 64 b65 * b71 + 18 b65 * b72 + 172 b65 * b73 - 84 b65 * b74 - 30 b65 * b75 + 8 b65 * b76 + 12 b65 * b77 + 74 b65 * b78 + 190 b65 * b79 + 114 b65 * b80 - 90 b65 * b81 + 94 b65 * b82 + 138 b65 * b83 + 84 b65 * b84 + 150 b65 * b85 + 148 b65 * b86 - 138 b65 * b87 + 60 b65 * b88 + 180 b65 * b89 + 176 b65 * b90 + 120 b65 * b91 + 60 b65 * b92 + 62 b65 * b93 + 84 b65 * b94 - 82 b65 * b95 - 6 b65 * b96 + 166 b65 * b97 + 172 b65 * b98 - 44 b65 * b99 - 18 b65 * b100 - 90 b65 * b101 + 108 b66 * b67 - 30 b66 * b68 + 142 b66 * b69 + 114 b66 * b70 + 122 b66 * b71 - 10 b66 * b72 + 68 b66 * b73 + 16 b66 * b74 + 120 b66 * b75 + 146 b66 * b76 + 64 b66 * b77 + 126 b66 * b78 + 18 b66 * b79 + 96 b66 * b80 + 66 b66 * b81 + 102 b66 * b82 + 124 b66 * b83 - 146 b66 * b84 + 140 b66 * b85 - 92 b66 * b86 + 90 b66 * b87 - 142 b66 * b88 - 172 b66 * b89 - 10 b66 * b90 - 156 b66 * b91 + 22 b66 * b92 + 72 b66 * b93 + 62 b66 * b94 + 124 b66 * b95 + 26 b66 * b96 + 52 b66 * b97 + 166 b66 * b98 + 162 b66 * b99 + 46 b66 * b100 + 72 b66 * b101 - 166 b67 * b68 + 140 b67 * b69 + 20 b67 * b70 + 166 b67 * b71 + 8 b67 * b72 + 84 b67 * b73 - 148 b67 * b74 + 182 b67 * b75 + 42 b67 * b76 + 170 b67 * b77 + 2 b67 * b78 - 96 b67 * b79 + 2 b67 * b80 + 180 b67 * b81 - 58 b67 * b82 + 86 b67 * b83 + 114 b67 * b84 + 32 b67 * b85 + 38 b67 * b86 + 62 b67 * b87 + 124 b67 * b88 + 174 b67 * b89 - 98 b67 * b90 + 180 b67 * b91 + 162 b67 * b92 - 106 b67 * b93 + 74 b67 * b94 + 34 b67 * b95 + 56 b67 * b96 + 24 b67 * b97 + 174 b67 * b98 + 38 b67 * b99 + 138 b67 * b100 - 24 b67 * b101 + 168 b68 * b69 - 16 b68 * b70 + 130 b68 * b71 + 64 b68 * b72 + 48 b68 * b73 + 66 b68 * b74 + 94 b68 * b75 + 178 b68 * b76 + 76 b68 * b77 + 48 b68 * b78 + 134 b68 * b79 + 50 b68 * b80 + 184 b68 * b81 + 190 b68 * b82 + 154 b68 * b83 + 94 b68 * b84 + 198 b68 * b85 + 18 b68 * b86 - 104 b68 * b87 + 56 b68 * b88 + 24 b68 * b89 + 70 b68 * b90 + 98 b68 * b91 + 90 b68 * b92 + 64 b68 * b93 - 110 b68 * b94 + 108 b68 * b95 + 100 b68 * b96 - 148 b68 * b97 + 10 b68 * b98 + 106 b68 * b99 + 132 b68 * b100 + 16 b68 * b101 + 130 b69 * b70 - 34 b69 * b71 - 76 b69 * b72 + 112 b69 * b73 + 182 b69 * b74 + 198 b69 * b75 + 188 b69 * b76 - 110 b69 * b77 + 54 b69 * b78 + 60 b69 * b79 + 10 b69 * b80 + 46 b69 * b81 + 116 b69 * b82 + 126 b69 * b83 + 154 b69 * b84 + 2 b69 * b85 + 66 b69 * b86 + 170 b69 * b87 + 194 b69 * b88 - 92 b69 * b89 + 190 b69 * b90 + 148 b69 * b91 - 146 b69 * b92 + 78 b69 * b93 + 78 b69 * b94 + 156 b69 * b95 - 152 b69 * b96 - 110 b69 * b97 + 148 b69 * b98 + 118 b69 * b99 + 78 b69 * b100 + 86 b69 * b101 - 152 b70 * b71 + 90 b70 * b72 - 140 b70 * b73 + 22 b70 * b74 + 172 b70 * b75 + 112 b70 * b76 - 30 b70 * b77 + 122 b70 * b78 + 28 b70 * b79 - 200 b70 * b80 + 76 b70 * b81 + 146 b70 * b82 - 142 b70 * b83 + 130 b70 * b84 + 84 b70 * b85 + 166 b70 * b86 + 74 b70 * b87 + 186 b70 * b88 + 140 b70 * b89 + 44 b70 * b90 - 180 b70 * b91 + 34 b70 * b92 - 140 b70 * b93 + 120 b70 * b94 + 136 b70 * b95 + 48 b70 * b96 + 26 b70 * b97 + 40 b70 * b98 + 64 b70 * b99 + 94 b70 * b100 + 190 b70 * b101 + 188 b71 * b72 - 16 b71 * b73 - 74 b71 * b74 + 80 b71 * b75 + 168 b71 * b76 - 172 b71 * b77 + 72 b71 * b78 - 58 b71 * b79 - 86 b71 * b80 + 108 b71 * b81 + 10 b71 * b82 + 132 b71 * b83 + 8 b71 * b84 + 24 b71 * b85 + 148 b71 * b86 + 156 b71 * b87 - 76 b71 * b88 + 8 b71 * b89 + 28 b71 * b90 - 72 b71 * b91 + 46 b71 * b92 + 98 b71 * b93 + 64 b71 * b94 + 104 b71 * b95 + 50 b71 * b96 - 88 b71 * b97 + 52 b71 * b98 + 112 b71 * b99 + 20 b71 * b100 + 156 b71 * b101 + 148 b72 * b73 + 2 b72 * b74 + 186 b72 * b75 + 176 b72 * b76 + 196 b72 * b77 + 110 b72 * b78 + 96 b72 * b79 - 58 b72 * b80 + 166 b72 * b81 + 10 b72 * b82 - 82 b72 * b83 + 78 b72 * b84 + 120 b72 * b85 + 190 b72 * b86 + 28 b72 * b87 + 110 b72 * b88 + 158 b72 * b89 + 106 b72 * b90 + 124 b72 * b91 + 58 b72 * b92 + 134 b72 * b93 + 60 b72 * b94 + 82 b72 * b95 + 88 b72 * b96 - 84 b72 * b97 - 68 b72 * b98 + 102 b72 * b99 + 94 b72 * b100 + 140 b72 * b101 - 166 b73 * b74 - 130 b73 * b75 + 146 b73 * b76 + 192 b73 * b77 + 132 b73 * b78 + 34 b73 * b79 - 136 b73 * b80 + 64 b73 * b81 + 96 b73 * b82 + 118 b73 * b83 + 92 b73 * b84 - 190 b73 * b85 + 66 b73 * b86 + 6 b73 * b87 + 14 b73 * b88 + 48 b73 * b89 - 14 b73 * b90 + 62 b73 * b91 - 62 b73 * b92 - 112 b73 * b93 + 174 b73 * b94 + 186 b73 * b95 + 12 b73 * b96 + 16 b73 * b97 + 190 b73 * b98 - 94 b73 * b99 + 140 b73 * b100 + 142 b73 * b101 + 76 b74 * b75 + 170 b74 * b76 + 192 b74 * b77 + 170 b74 * b78 + 192 b74 * b79 - 170 b74 * b80 - 90 b74 * b81 - 50 b74 * b82 + 30 b74 * b83 + 82 b74 * b84 + 80 b74 * b85 - 152 b74 * b86 + 132 b74 * b87 + 156 b74 * b88 - 30 b74 * b89 + 176 b74 * b90 + 48 b74 * b91 + 94 b74 * b92 + 66 b74 * b93 + 50 b74 * b94 + 100 b74 * b95 - 12 b74 * b96 - 104 b74 * b97 + 154 b74 * b98 + 198 b74 * b99 - 178 b74 * b100 + 34 b74 * b101 - 152 b75 * b76 + 74 b75 * b77 + 136 b75 * b78 + 8 b75 * b79 + 108 b75 * b80 + 158 b75 * b81 + 194 b75 * b82 + 72 b75 * b83 - 78 b75 * b84 - 170 b75 * b85 + 158 b75 * b86 + 58 b75 * b87 + 10 b75 * b88 - 150 b75 * b89 + 34 b75 * b90 + 16 b75 * b91 + 152 b75 * b92 + 200 b75 * b93 + 94 b75 * b94 + 196 b75 * b95 + 162 b75 * b96 + 106 b75 * b97 - 78 b75 * b98 + 4 b75 * b99 - 48 b75 * b100 + 48 b75 * b101 + 148 b76 * b77 + 120 b76 * b78 - 62 b76 * b79 - 46 b76 * b80 + 58 b76 * b81 + 188 b76 * b82 - 52 b76 * b83 + 198 b76 * b84 - 94 b76 * b85 + 50 b76 * b86 + 48 b76 * b87 + 110 b76 * b88 + 136 b76 * b89 - 84 b76 * b90 + 92 b76 * b91 + 186 b76 * b92 + 40 b76 * b93 + 200 b76 * b94 + 180 b76 * b95 + 200 b76 * b96 + 8 b76 * b97 + 54 b76 * b98 + 74 b76 * b99 - 106 b76 * b100 - 146 b76 * b101 + 122 b77 * b78 + 10 b77 * b79 + 122 b77 * b80 + 150 b77 * b81 + 126 b77 * b82 + 140 b77 * b83 - 180 b77 * b84 + 20 b77 * b85 + 182 b77 * b86 + 126 b77 * b87 + 148 b77 * b88 - 174 b77 * b89 + 198 b77 * b90 + 152 b77 * b91 + 116 b77 * b92 + 56 b77 * b93 + 94 b77 * b94 + 170 b77 * b95 + 8 b77 * b96 + 120 b77 * b97 + 62 b77 * b98 + 48 b77 * b99 - 140 b77 * b100 + 28 b77 * b101 + 176 b78 * b79 + 2 b78 * b80 + 196 b78 * b81 - 24 b78 * b82 - 28 b78 * b83 + 92 b78 * b84 + 174 b78 * b85 + 80 b78 * b86 - 114 b78 * b87 + 184 b78 * b88 + 176 b78 * b89 + 58 b78 * b90 + 64 b78 * b91 + 84 b78 * b92 + 176 b78 * b93 + 24 b78 * b94 + 174 b78 * b95 - 176 b78 * b96 - 6 b78 * b97 + 158 b78 * b98 + 78 b78 * b99 - 76 b78 * b100 - 98 b78 * b101 + 20 b79 * b80 + 108 b79 * b81 + 32 b79 * b82 - 114 b79 * b83 - 20 b79 * b84 + 198 b79 * b85 - 82 b79 * b86 + 124 b79 * b87 + 122 b79 * b88 + 136 b79 * b89 + 62 b79 * b90 + 200 b79 * b91 + 76 b79 * b92 + 170 b79 * b93 + 28 b79 * b94 + 106 b79 * b95 + 178 b79 * b96 + 162 b79 * b97 + 100 b79 * b98 + 102 b79 * b99 + 152 b79 * b100 + 132 b79 * b101 + 172 b80 * b81 - 144 b80 * b82 + 150 b80 * b83 + 198 b80 * b84 + 122 b80 * b85 - 132 b80 * b86 + 78 b80 * b87 + 148 b80 * b88 - 68 b80 * b89 + 158 b80 * b90 + 174 b80 * b91 + 58 b80 * b92 + 94 b80 * b93 + 196 b80 * b94 + 62 b80 * b95 + 180 b80 * b96 + 182 b80 * b97 + 30 b80 * b98 + 104 b80 * b99 + 44 b80 * b100 - 28 b80 * b101 + 124 b81 * b82 - 178 b81 * b83 + 110 b81 * b84 - 32 b81 * b85 + 192 b81 * b86 - 192 b81 * b87 + 178 b81 * b88 - 14 b81 * b89 + 34 b81 * b90 + 100 b81 * b91 + 108 b81 * b92 + 142 b81 * b93 + 112 b81 * b94 + 72 b81 * b95 + 74 b81 * b96 + 138 b81 * b97 + 104 b81 * b98 + 178 b81 * b99 + 62 b81 * b100 - 86 b81 * b101 + 20 b82 * b83 - 110 b82 * b84 + 66 b82 * b85 + 170 b82 * b86 - 196 b82 * b87 + 116 b82 * b88 - 154 b82 * b89 - 148 b82 * b90 + 106 b82 * b91 + 26 b82 * b92 - 114 b82 * b93 + 184 b82 * b94 + 180 b82 * b95 + 36 b82 * b96 + 176 b82 * b97 - 196 b82 * b98 + 100 b82 * b99 + 192 b82 * b100 + 130 b82 * b101 + 68 b83 * b84 + 138 b83 * b85 - 34 b83 * b86 - 150 b83 * b87 - 160 b83 * b88 + 102 b83 * b89 + 42 b83 * b90 + 50 b83 * b91 + 38 b83 * b92 + 190 b83 * b93 + 172 b83 * b94 + 94 b83 * b95 - 64 b83 * b96 - 78 b83 * b97 + 164 b83 * b98 + 124 b83 * b99 - 136 b83 * b100 + 126 b83 * b101 + 156 b84 * b85 + 156 b84 * b86 + 32 b84 * b87 + 2 b84 * b88 - 76 b84 * b89 + 198 b84 * b90 + 86 b84 * b91 - 86 b84 * b92 - 160 b84 * b93 + 134 b84 * b94 + 76 b84 * b95 + 82 b84 * b96 + 22 b84 * b97 + 172 b84 * b98 + 70 b84 * b99 + 36 b84 * b100 - 74 b84 * b101 + 40 b85 * b86 + 148 b85 * b87 + 80 b85 * b88 + 100 b85 * b89 + 38 b85 * b90 + 70 b85 * b91 + 152 b85 * b92 + 100 b85 * b93 + 152 b85 * b94 + 196 b85 * b95 + 116 b85 * b96 - 42 b85 * b97 + 178 b85 * b98 + 190 b85 * b99 + 36 b85 * b100 + 104 b85 * b101 - 68 b86 * b87 + 20 b86 * b88 + 80 b86 * b89 + 126 b86 * b90 - 12 b86 * b91 - 140 b86 * b92 + 126 b86 * b93 - 148 b86 * b94 + 20 b86 * b95 + 20 b86 * b96 + 164 b86 * b97 + 28 b86 * b98 + 74 b86 * b99 + 56 b86 * b100 + 180 b86 * b101 + 86 b87 * b88 + 16 b87 * b89 + 96 b87 * b90 + 132 b87 * b91 + 112 b87 * b92 + 116 b87 * b93 + 8 b87 * b94 - 98 b87 * b95 + 124 b87 * b96 + 104 b87 * b97 + 154 b87 * b98 - 104 b87 * b99 + 112 b87 * b100 - 98 b87 * b101 - 196 b88 * b89 - 132 b88 * b90 + 128 b88 * b91 + 192 b88 * b92 + 144 b88 * b93 - 144 b88 * b94 + 72 b88 * b95 + 114 b88 * b96 + 2 b88 * b97 + 138 b88 * b98 + 124 b88 * b99 + 72 b88 * b100 + 10 b88 * b101 + 158 b89 * b90 - 62 b89 * b91 + 190 b89 * b92 + 136 b89 * b93 + 40 b89 * b94 + 170 b89 * b95 + 188 b89 * b96 + 158 b89 * b97 + 176 b89 * b98 + 190 b89 * b99 + 12 b89 * b100 + 200 b89 * b101 + 26 b90 * b91 + 90 b90 * b92 + 102 b90 * b93 - 78 b90 * b94 + 122 b90 * b95 + 120 b90 * b96 + 98 b90 * b97 + 30 b90 * b98 - 20 b90 * b99 + 68 b90 * b100 + 14 b90 * b101 - 138 b91 * b92 + 158 b91 * b93 - 178 b91 * b94 - 122 b91 * b95 + 18 b91 * b96 + 2 b91 * b97 + 146 b91 * b98 + 12 b91 * b99 + 70 b91 * b100 - 64 b91 * b101 - 42 b92 * b93 - 146 b92 * b94 - 96 b92 * b95 + 172 b92 * b96 + 170 b92 * b97 + 196 b92 * b98 + 76 b92 * b99 - 38 b92 * b100 - 126 b92 * b101 + 36 b93 * b94 + 8 b93 * b95 + 54 b93 * b96 - 144 b93 * b97 + 182 b93 * b98 + 102 b93 * b99 + 104 b93 * b100 + 108 b93 * b101 + 116 b94 * b95 - 10 b94 * b96 + 78 b94 * b97 - 76 b94 * b98 + 92 b94 * b99 + 30 b94 * b100 + 10 b94 * b101 + 192 b95 * b96 + 102 b95 * b97 + 86 b95 * b98 + 158 b95 * b99 + 26 b95 * b100 + 142 b95 * b101 + 188 b96 * b97 + 172 b96 * b98 - 194 b96 * b99 + 2 b96 * b100 + 178 b96 * b101 - 94 b97 * b98 - 52 b97 * b99 - 10 b97 * b100 + 112 b97 * b101 + 40 b98 * b99 + 68 b98 * b100 + 108 b98 * b101 - 4 b99 * b100 + 82 b99 * b101 + 8 b100 * b101 ]/2 Subject To e2: b85 + b88 <= 1 e3: b17 + b79 <= 1 e4: b37 + b95 <= 1 e5: b88 + b94 <= 1 e6: b23 + b51 <= 1 e7: b29 + b64 <= 1 e8: b61 + b92 <= 1 e9: b28 + b65 <= 1 e10: b28 + b42 <= 1 e11: b38 + b74 <= 1 e12: b13 + b70 <= 1 e13: b31 + b69 <= 1 e14: b32 + b84 <= 1 e15: b25 + b64 <= 1 e16: b37 + b69 <= 1 e17: b4 + b31 <= 1 e18: b24 + b60 <= 1 e19: b69 + b71 <= 1 e20: b58 + b95 <= 1 e21: b13 + b44 <= 1 e22: b31 + b75 <= 1 e23: b21 + b23 <= 1 e24: b39 + b86 <= 1 e25: b26 + b100 <= 1 e26: b17 + b72 <= 1 e27: b15 + b28 <= 1 e28: b82 + b93 <= 1 e29: b58 + b75 <= 1 e30: b64 + b72 <= 1 e31: b83 + b98 <= 1 e32: b7 + b27 <= 1 e33: b29 + b86 <= 1 e34: b7 + b38 <= 1 e35: b31 + b48 <= 1 e36: b15 + b59 <= 1 e37: b26 + b97 <= 1 e38: b47 + b84 <= 1 e39: b16 + b69 <= 1 e40: b36 + b66 <= 1 e41: b45 + b52 <= 1 e42: b10 + b89 <= 1 e43: b78 + b80 <= 1 e44: b86 + b90 <= 1 e45: b5 + b53 <= 1 e46: b56 + b101 <= 1 e47: b34 + b62 <= 1 e48: b70 + b78 <= 1 e49: b14 + b41 <= 1 e50: b28 + b88 <= 1 e51: b41 + b96 <= 1 e52: b72 + b97 <= 1 e53: b36 + b80 <= 1 e54: b3 + b69 <= 1 e55: b4 + b99 <= 1 e56: b19 + b94 <= 1 e57: b54 + b58 <= 1 e58: b3 + b82 <= 1 e59: b43 + b88 <= 1 e60: b67 + b91 <= 1 e61: b21 + b46 <= 1 e62: b31 + b42 <= 1 e63: b19 + b33 <= 1 e64: b73 + b99 <= 1 e65: b77 + b83 <= 1 e66: b11 + b29 <= 1 e67: b58 + b69 <= 1 e68: b55 + b99 <= 1 e69: b67 + b88 <= 1 e70: b8 + b85 <= 1 e71: b21 + b26 <= 1 e72: b30 + b73 <= 1 e73: b31 + b34 <= 1 e74: b5 + b21 <= 1 e75: b70 + b72 <= 1 e76: b10 + b17 <= 1 e77: b42 + b51 <= 1 e78: b25 + b98 <= 1 e79: b20 + b47 <= 1 e80: b48 + b53 <= 1 e81: b23 + b57 <= 1 e82: b81 + b90 <= 1 e83: b30 + b66 <= 1 e84: b43 + b52 <= 1 e85: b2 + b95 <= 1 e86: b16 + b26 <= 1 e87: b58 + b89 <= 1 e88: b45 + b93 <= 1 e89: b29 + b67 <= 1 e90: b38 + b61 <= 1 e91: b34 + b53 <= 1 e92: b30 + b39 <= 1 e93: b9 + b77 <= 1 e94: b23 + b76 <= 1 e95: b60 + b97 <= 1 e96: b31 + b39 <= 1 e97: b20 + b30 <= 1 e98: b13 + b45 <= 1 e99: b30 + b31 <= 1 e100: b6 + b78 <= 1 e101: b45 + b65 <= 1 e102: b15 + b40 <= 1 e103: b8 + b42 <= 1 e104: b6 + b20 <= 1 e105: b30 + b90 <= 1 e106: b19 + b71 <= 1 e107: b19 + b98 <= 1 e108: b26 + b45 <= 1 e109: b72 + b85 <= 1 e110: b92 + b101 <= 1 e111: b27 + b74 <= 1 e112: b46 + b92 <= 1 e113: b7 + b41 <= 1 e114: b56 + b88 <= 1 e115: b71 + b84 <= 1 e116: b44 + b66 <= 1 e117: b9 + b99 <= 1 e118: b6 + b57 <= 1 e119: b13 + b50 <= 1 e120: b24 + b30 <= 1 e121: b45 + b101 <= 1 e122: b48 + b70 <= 1 e123: b24 + b42 <= 1 e124: b12 + b13 <= 1 e125: b3 + b7 <= 1 e126: b32 + b63 <= 1 e127: b7 + b80 <= 1 e128: b22 + b38 <= 1 e129: b28 + b46 <= 1 e130: b24 + b67 <= 1 e131: b10 + b18 <= 1 e132: b60 + b84 <= 1 e133: b26 + b39 <= 1 e134: b26 + b64 <= 1 e135: b2 + b38 <= 1 e136: b54 + b101 <= 1 e137: b52 + b81 <= 1 e138: b70 + b73 <= 1 e139: b33 + b75 <= 1 e140: b32 + b83 <= 1 e141: b35 + b96 <= 1 e142: b62 + b65 <= 1 e143: b83 + b101 <= 1 e144: b98 + b101 <= 1 e145: b61 + b75 <= 1 e146: b15 + b70 <= 1 e147: b92 + b97 <= 1 e148: b28 + b68 <= 1 e149: b42 + b86 <= 1 e150: b86 + b92 <= 1 e151: b44 + b78 <= 1 e152: b9 + b38 <= 1 e153: b47 + b58 <= 1 e154: b20 + b81 <= 1 e155: b14 + b89 <= 1 e156: b50 + b74 <= 1 e157: b11 + b61 <= 1 e158: b12 + b38 <= 1 e159: b44 + b89 <= 1 e160: b3 + b8 <= 1 e161: b15 + b74 <= 1 e162: b21 + b101 <= 1 e163: b6 + b23 <= 1 e164: b13 + b41 <= 1 e165: b42 + b69 <= 1 e166: b7 + b30 <= 1 e167: b29 + b52 <= 1 e168: b60 + b86 <= 1 e169: b22 + b26 <= 1 e170: b24 + b71 <= 1 e171: b32 + b86 <= 1 e172: b74 + b94 <= 1 e173: b52 + b74 <= 1 e174: b27 + b87 <= 1 e175: b24 + b101 <= 1 e176: b42 + b44 <= 1 e177: b15 + b100 <= 1 e178: b92 + b100 <= 1 e179: b26 + b92 <= 1 e180: b11 + b83 <= 1 e181: b21 + b38 <= 1 e182: b34 + b57 <= 1 e183: b6 + b96 <= 1 e184: b71 + b81 <= 1 e185: b75 + b78 <= 1 e186: b52 + b57 <= 1 e187: b44 + b62 <= 1 e188: b81 + b86 <= 1 e189: b7 + b95 <= 1 e190: b23 + b69 <= 1 e191: b6 + b15 <= 1 e192: b56 + b63 <= 1 e193: b28 + b61 <= 1 e194: b4 + b46 <= 1 e195: b4 + b8 <= 1 e196: b23 + b86 <= 1 e197: b44 + b70 <= 1 e198: b30 + b91 <= 1 e199: b10 + b74 <= 1 e200: b60 + b100 <= 1 e201: b10 + b38 <= 1 e202: b50 + b55 <= 1 e203: b5 + b35 <= 1 e204: b35 + b50 <= 1 e205: b56 + b92 <= 1 e206: b48 + b69 <= 1 e207: b31 + b70 <= 1 e208: b2 + b48 <= 1 e209: b90 + b99 <= 1 e210: b51 + b92 <= 1 e211: b65 + b99 <= 1 e212: b55 + b94 <= 1 e213: b27 + b88 <= 1 e214: b54 + b98 <= 1 e215: b77 + b90 <= 1 e216: b31 + b59 <= 1 e217: b38 + b62 <= 1 e218: b16 + b23 <= 1 e219: b6 + b62 <= 1 e220: b29 + b30 <= 1 e221: b50 + b52 <= 1 e222: b4 + b58 <= 1 e223: b96 + b99 <= 1 e224: b4 + b41 <= 1 e225: b5 + b30 <= 1 e226: b2 + b83 <= 1 e227: b40 + b49 <= 1 e228: b53 + b61 <= 1 e229: b36 + b37 <= 1 e230: b41 + b94 <= 1 e231: b17 + b29 <= 1 e232: b6 + b31 <= 1 e233: b51 + b66 <= 1 e234: b31 + b87 <= 1 e235: b37 + b45 <= 1 e236: b2 + b79 <= 1 e237: b40 + b73 <= 1 e238: b51 + b91 <= 1 e239: b69 + b90 <= 1 e240: b94 + b97 <= 1 e241: b45 + b46 <= 1 e242: b31 + b92 <= 1 e243: b42 + b84 <= 1 e244: b43 + b71 <= 1 e245: b28 + b34 <= 1 e246: b44 + b63 <= 1 e247: b19 + b62 <= 1 e248: b25 + b63 <= 1 e249: b27 + b92 <= 1 e250: b69 + b98 <= 1 e251: b36 + b79 <= 1 e252: b28 + b92 <= 1 e253: b26 + b59 <= 1 e254: b16 + b70 <= 1 e255: b7 + b60 <= 1 e256: b14 + b88 <= 1 e257: b28 + b96 <= 1 e258: b18 + b54 <= 1 e259: b31 + b80 <= 1 e260: b48 + b92 <= 1 e261: b49 + b72 <= 1 e262: b53 + b82 <= 1 e263: b33 + b95 <= 1 e264: b29 + b59 <= 1 e265: b16 + b57 <= 1 e266: b14 + b92 <= 1 e267: b14 + b81 <= 1 e268: b12 + b71 <= 1 e269: b76 + b91 <= 1 e270: b43 + b57 <= 1 e271: b22 + b35 <= 1 e272: b89 + b90 <= 1 e273: b40 + b68 <= 1 e274: b72 + b86 <= 1 e275: b19 + b58 <= 1 e276: b8 + b62 <= 1 e277: b39 + b51 <= 1 e278: b7 + b61 <= 1 e279: b19 + b20 <= 1 e280: b47 + b85 <= 1 e281: b60 + b75 <= 1 e282: b39 + b75 <= 1 e283: b85 + b91 <= 1 e284: b9 + b80 <= 1 e285: b16 + b59 <= 1 e286: b31 + b73 <= 1 e287: b2 + b61 <= 1 e288: b20 + b40 <= 1 e289: b27 + b90 <= 1 e290: b35 + b76 <= 1 e291: b59 + b83 <= 1 e292: b60 + b95 <= 1 e293: b72 + b101 <= 1 e294: b19 + b41 <= 1 e295: b65 + b71 <= 1 e296: b24 + b96 <= 1 e297: b49 + b75 <= 1 e298: b33 + b64 <= 1 e299: b84 + b92 <= 1 e300: b93 + b94 <= 1 e301: b17 + b59 <= 1 e302: b23 + b59 <= 1 e303: b76 + b93 <= 1 e304: b49 + b53 <= 1 e305: b23 + b33 <= 1 e306: b39 + b42 <= 1 e307: b32 + b56 <= 1 e308: b27 + b100 <= 1 e309: b18 + b83 <= 1 e310: b4 + b18 <= 1 e311: b33 + b41 <= 1 e312: b6 + b98 <= 1 e313: b40 + b82 <= 1 e314: b20 + b23 <= 1 e315: b79 + b87 <= 1 e316: b6 + b38 <= 1 e317: b78 + b85 <= 1 e318: b9 + b61 <= 1 e319: b46 + b59 <= 1 e320: b13 + b101 <= 1 e321: b7 + b20 <= 1 e322: b51 + b65 <= 1 e323: b13 + b46 <= 1 e324: b7 + b36 <= 1 e325: b77 + b93 <= 1 e326: b70 + b91 <= 1 e327: b20 + b95 <= 1 e328: b7 + b84 <= 1 e329: b24 + b84 <= 1 e330: b19 + b32 <= 1 e331: b76 + b95 <= 1 e332: b28 + b95 <= 1 e333: b55 + b88 <= 1 e334: b45 + b76 <= 1 e335: b15 + b16 <= 1 e336: b79 + b81 <= 1 e337: b64 + b77 <= 1 e338: b21 + b90 <= 1 e339: b12 + b34 <= 1 e340: b19 + b96 <= 1 e341: b37 + b48 <= 1 e342: b39 + b93 <= 1 e343: b45 + b55 <= 1 e344: b30 + b75 <= 1 e345: b27 + b93 <= 1 e346: b12 + b20 <= 1 e347: b19 + b38 <= 1 e348: b57 + b65 <= 1 e349: b60 + b92 <= 1 e350: b6 + b32 <= 1 e351: b63 + b73 <= 1 e352: b35 + b87 <= 1 e353: b75 + b91 <= 1 e354: b6 + b53 <= 1 e355: b7 + b52 <= 1 e356: b5 + b70 <= 1 e357: b8 + b87 <= 1 e358: b41 + b97 <= 1 e359: b22 + b51 <= 1 e360: b28 + b69 <= 1 e361: b65 + b79 <= 1 e362: b62 + b67 <= 1 e363: b38 + b57 <= 1 e364: b20 + b72 <= 1 e365: b34 + b98 <= 1 e366: b23 + b81 <= 1 e367: b29 + b74 <= 1 e368: b36 + b42 <= 1 e369: b74 + b85 <= 1 e370: b32 + b100 <= 1 e371: b49 + b65 <= 1 e372: b32 + b52 <= 1 e373: b16 + b75 <= 1 e374: b24 + b61 <= 1 e375: b26 + b49 <= 1 e376: b37 + b84 <= 1 e377: b6 + b34 <= 1 e378: b45 + b56 <= 1 e379: b88 + b100 <= 1 e380: b42 + b80 <= 1 e381: b61 + b64 <= 1 e382: b64 + b85 <= 1 e383: b43 + b50 <= 1 e384: b25 + b26 <= 1 e385: b24 + b74 <= 1 e386: b37 + b56 <= 1 e387: b49 + b67 <= 1 e388: b73 + b78 <= 1 e389: b20 + b71 <= 1 e390: b3 + b5 <= 1 e391: b35 + b55 <= 1 e392: b8 + b30 <= 1 e393: b22 + b99 <= 1 e394: b10 + b86 <= 1 e395: b36 + b100 <= 1 e396: b78 + b93 <= 1 e397: b17 + b100 <= 1 e398: b54 + b73 <= 1 e399: b61 + b91 <= 1 e400: b8 + b12 <= 1 e401: b18 + b26 <= 1 e402: b11 + b41 <= 1 e403: b2 + b80 <= 1 e404: b11 + b55 <= 1 e405: b16 + b83 <= 1 e406: b40 + b91 <= 1 e407: b25 + b49 <= 1 e408: b33 + b89 <= 1 e409: b24 + b34 <= 1 e410: b33 + b52 <= 1 e411: b83 + b96 <= 1 e412: b5 + b83 <= 1 e413: b83 + b84 <= 1 e414: b17 + b89 <= 1 e415: b27 + b98 <= 1 e416: b6 + b24 <= 1 e417: b53 + b94 <= 1 e418: b34 + b99 <= 1 e419: b36 + b83 <= 1 e420: b8 + b17 <= 1 e421: b10 + b59 <= 1 e422: b97 + b101 <= 1 e423: b64 + b99 <= 1 e424: b56 + b79 <= 1 e425: b11 + b89 <= 1 e426: b34 + b84 <= 1 e427: b23 + b68 <= 1 e428: b13 + b84 <= 1 e429: b87 + b88 <= 1 e430: b32 + b87 <= 1 e431: b85 + b92 <= 1 e432: b16 + b78 <= 1 e433: b18 + b22 <= 1 e434: b27 + b94 <= 1 e435: b30 + b41 <= 1 e436: b20 + b45 <= 1 e437: b23 + b84 <= 1 e438: b12 + b57 <= 1 e439: b39 + b55 <= 1 e440: b10 + b24 <= 1 e441: b52 + b85 <= 1 e442: b59 + b99 <= 1 e443: b28 + b29 <= 1 e444: b71 + b73 <= 1 e445: b51 + b53 <= 1 e446: b12 + b30 <= 1 e447: b41 + b100 <= 1 e448: b12 + b90 <= 1 e449: b79 + b95 <= 1 e450: b78 + b92 <= 1 e451: b79 + b101 <= 1 e452: b59 + b68 <= 1 e453: b19 + b54 <= 1 e454: b37 + b43 <= 1 e455: b70 + b100 <= 1 e456: b86 + b97 <= 1 e457: b7 + b78 <= 1 e458: b30 + b68 <= 1 e459: b30 + b56 <= 1 e460: b10 + b95 <= 1 e461: b80 + b99 <= 1 e462: b57 + b74 <= 1 e463: b47 + b76 <= 1 e464: b2 + b27 <= 1 e465: b85 + b99 <= 1 e466: b14 + b29 <= 1 e467: b36 + b95 <= 1 e468: b36 + b41 <= 1 e469: b23 + b61 <= 1 e470: b59 + b87 <= 1 e471: b64 + b74 <= 1 e472: b18 + b43 <= 1 e473: b52 + b54 <= 1 e474: b64 + b84 <= 1 e475: b19 + b101 <= 1 e476: b56 + b75 <= 1 e477: b53 + b66 <= 1 e478: b65 + b92 <= 1 e479: b74 + b93 <= 1 e480: b30 + b61 <= 1 e481: b73 + b82 <= 1 e482: b43 + b92 <= 1 e483: b54 + b72 <= 1 e484: b13 + b67 <= 1 e485: b63 + b85 <= 1 e486: b14 + b53 <= 1 e487: b2 + b8 <= 1 e488: b40 + b69 <= 1 e489: b66 + b91 <= 1 e490: b34 + b56 <= 1 e491: b6 + b77 <= 1 e492: b43 + b81 <= 1 e493: b14 + b40 <= 1 e494: b38 + b71 <= 1 e495: b58 + b72 <= 1 e496: b46 + b62 <= 1 e497: b16 + b51 <= 1 e498: b16 + b67 <= 1 e499: b41 + b85 <= 1 e500: b37 + b71 <= 1 e501: b23 + b54 <= 1 e502: b92 + b95 <= 1 e503: b11 + b91 <= 1 e504: b37 + b66 <= 1 e505: b50 + b97 <= 1 e506: b15 + b79 <= 1 e507: b35 + b100 <= 1 e508: b51 + b57 <= 1 e509: b57 + b95 <= 1 e510: b58 + b70 <= 1 e511: b35 + b62 <= 1 e512: b25 + b88 <= 1 e513: b60 + b73 <= 1 e514: b42 + b79 <= 1 e515: b47 + b83 <= 1 e516: b63 + b92 <= 1 e517: b25 + b52 <= 1 e518: b2 + b56 <= 1 e519: b66 + b77 <= 1 e520: b26 + b44 <= 1 e521: b21 + b61 <= 1 e522: b46 + b91 <= 1 e523: b40 + b71 <= 1 e524: b53 + b78 <= 1 e525: b21 + b85 <= 1 e526: b35 + b45 <= 1 e527: b6 + b58 <= 1 e528: b13 + b68 <= 1 e529: b14 + b69 <= 1 e530: b31 + b94 <= 1 e531: b4 + b70 <= 1 e532: b4 + b33 <= 1 e533: b9 + b76 <= 1 e534: b18 + b20 <= 1 e535: b79 + b85 <= 1 e536: b74 + b89 <= 1 e537: b59 + b75 <= 1 e538: b27 + b64 <= 1 e539: b35 + b99 <= 1 e540: b20 + b98 <= 1 e541: b43 + b55 <= 1 e542: b28 + b76 <= 1 e543: b82 + b95 <= 1 e544: b50 + b87 <= 1 e545: b7 + b32 <= 1 e546: b31 + b61 <= 1 e547: b62 + b100 <= 1 e548: b21 + b82 <= 1 e549: b4 + b43 <= 1 e550: b12 + b82 <= 1 e551: b28 + b85 <= 1 e552: b42 + b91 <= 1 e553: b10 + b25 <= 1 e554: b40 + b59 <= 1 e555: b12 + b22 <= 1 e556: b7 + b92 <= 1 e557: b15 + b93 <= 1 e558: b40 + b72 <= 1 e559: b45 + b82 <= 1 e560: b26 + b90 <= 1 e561: b34 + b71 <= 1 e562: b32 + b75 <= 1 e563: b35 + b65 <= 1 e564: b81 + b89 <= 1 e565: b51 + b96 <= 1 e566: b53 + b101 <= 1 e567: b41 + b66 <= 1 e568: b32 + b44 <= 1 e569: b17 + b88 <= 1 e570: b17 + b51 <= 1 e571: b83 + b88 <= 1 e572: b13 + b36 <= 1 e573: b35 + b89 <= 1 e574: b24 + b89 <= 1 e575: b45 + b75 <= 1 e576: b21 + b44 <= 1 e577: b46 + b56 <= 1 e578: b26 + b41 <= 1 e579: b61 + b65 <= 1 e580: b20 + b55 <= 1 e581: b14 + b71 <= 1 e582: b6 + b7 <= 1 e583: b35 + b101 <= 1 e584: b21 + b36 <= 1 e585: b17 + b37 <= 1 e586: b55 + b89 <= 1 e587: b52 + b71 <= 1 e588: b4 + b89 <= 1 e589: b39 + b64 <= 1 e590: b12 + b91 <= 1 e591: b7 + b62 <= 1 e592: b6 + b13 <= 1 e593: b5 + b18 <= 1 e594: b23 + b94 <= 1 e595: b7 + b24 <= 1 e596: b45 + b81 <= 1 e597: b30 + b63 <= 1 e598: b49 + b80 <= 1 e599: b2 + b47 <= 1 e600: b84 + b89 <= 1 e601: b88 + b91 <= 1 e602: b28 + b55 <= 1 e603: b50 + b96 <= 1 e604: b8 + b38 <= 1 e605: b9 + b94 <= 1 e606: b19 + b66 <= 1 e607: b22 + b23 <= 1 e608: b68 + b82 <= 1 e609: b56 + b96 <= 1 e610: b25 + b39 <= 1 e611: b35 + b86 <= 1 e612: b14 + b19 <= 1 e613: b11 + b67 <= 1 e614: b10 + b58 <= 1 e615: b47 + b71 <= 1 e616: b24 + b97 <= 1 e617: b73 + b97 <= 1 e618: b61 + b71 <= 1 e619: b3 + b78 <= 1 e620: b27 + b42 <= 1 e621: b45 + b74 <= 1 e622: b91 + b93 <= 1 e623: b29 + b68 <= 1 e624: b14 + b80 <= 1 e625: b52 + b98 <= 1 e626: b26 + b35 <= 1 e627: b15 + b88 <= 1 e628: b70 + b96 <= 1 e629: b17 + b43 <= 1 e630: b41 + b44 <= 1 e631: b39 + b65 <= 1 e632: b15 + b33 <= 1 e633: b30 + b59 <= 1 e634: b6 + b73 <= 1 e635: b48 + b85 <= 1 e636: b27 + b40 <= 1 e637: b42 + b97 <= 1 e638: b23 + b74 <= 1 e639: b28 + b36 <= 1 e640: b27 + b60 <= 1 e641: b47 + b74 <= 1 e642: b41 + b48 <= 1 e643: b13 + b85 <= 1 e644: b5 + b63 <= 1 e645: b27 + b44 <= 1 e646: b18 + b41 <= 1 e647: b46 + b76 <= 1 e648: b32 + b98 <= 1 e649: b69 + b96 <= 1 e650: b21 + b62 <= 1 e651: b52 + b94 <= 1 e652: b34 + b78 <= 1 e653: b81 + b92 <= 1 e654: b37 + b55 <= 1 e655: b97 + b100 <= 1 e656: b9 + b43 <= 1 e657: b39 + b72 <= 1 e658: b42 + b78 <= 1 e659: b3 + b86 <= 1 e660: b2 + b85 <= 1 e661: b11 + b94 <= 1 e662: b42 + b98 <= 1 e663: b41 + b65 <= 1 e664: b6 + b37 <= 1 e665: b8 + b75 <= 1 e666: b25 + b66 <= 1 e667: b32 + b53 <= 1 e668: b6 + b41 <= 1 e669: b4 + b27 <= 1 e670: b81 + b93 <= 1 e671: b9 + b49 <= 1 e672: b33 + b86 <= 1 e673: b21 + b63 <= 1 e674: b33 + b55 <= 1 e675: b21 + b96 <= 1 e676: b45 + b83 <= 1 e677: b25 + b70 <= 1 e678: b41 + b89 <= 1 e679: b40 + b45 <= 1 e680: b90 + b96 <= 1 e681: b22 + b82 <= 1 e682: b20 + b54 <= 1 e683: b65 + b100 <= 1 e684: b12 + b97 <= 1 e685: b7 + b81 <= 1 e686: b44 + b68 <= 1 e687: b74 + b80 <= 1 e688: b55 + b68 <= 1 e689: b50 + b99 <= 1 e690: b49 + b74 <= 1 e691: b18 + b88 <= 1 e692: b14 + b61 <= 1 e693: b5 + b34 <= 1 e694: b37 + b53 <= 1 e695: b9 + b100 <= 1 e696: b51 + b56 <= 1 e697: b8 + b63 <= 1 e698: b5 + b36 <= 1 e699: b27 + b86 <= 1 e700: b30 + b99 <= 1 e701: b17 + b62 <= 1 e702: b87 + b99 <= 1 e703: b2 + b99 <= 1 e704: b10 + b31 <= 1 e705: b15 + b51 <= 1 e706: b36 + b81 <= 1 e707: b16 + b18 <= 1 e708: b77 + b87 <= 1 e709: b28 + b32 <= 1 e710: b18 + b94 <= 1 e711: b31 + b71 <= 1 e712: b11 + b54 <= 1 e713: b17 + b68 <= 1 e714: b35 + b97 <= 1 e715: b30 + b78 <= 1 e716: b15 + b49 <= 1 e717: b2 + b28 <= 1 e718: b64 + b88 <= 1 e719: b31 + b65 <= 1 e720: b2 + b10 <= 1 e721: b18 + b99 <= 1 e722: b77 + b84 <= 1 e723: b42 + b46 <= 1 e724: b22 + b28 <= 1 e725: b20 + b67 <= 1 e726: b96 + b101 <= 1 e727: b36 + b48 <= 1 e728: b10 + b55 <= 1 e729: b5 + b64 <= 1 e730: b44 + b88 <= 1 e731: b34 + b36 <= 1 e732: b9 + b12 <= 1 e733: b36 + b71 <= 1 e734: b17 + b98 <= 1 e735: b86 + b98 <= 1 e736: b26 + b84 <= 1 e737: b53 + b67 <= 1 e738: b18 + b63 <= 1 e739: b39 + b45 <= 1 e740: b63 + b89 <= 1 e741: b4 + b83 <= 1 e742: b62 + b90 <= 1 e743: b22 + b81 <= 1 e744: b43 + b95 <= 1 e745: b26 + b30 <= 1 e746: b10 + b37 <= 1 e747: b44 + b64 <= 1 e748: b72 + b98 <= 1 e749: b65 + b68 <= 1 e750: b2 + b13 <= 1 e751: b52 + b92 <= 1 e752: b35 + b95 <= 1 e753: b41 + b82 <= 1 e754: b95 + b96 <= 1 e755: b15 + b56 <= 1 e756: b46 + b84 <= 1 e757: b25 + b77 <= 1 e758: b40 + b53 <= 1 e759: b53 + b75 <= 1 e760: b70 + b83 <= 1 e761: b15 + b85 <= 1 e762: b16 + b37 <= 1 e763: b66 + b71 <= 1 e764: b9 + b48 <= 1 e765: b13 + b42 <= 1 e766: b25 + b89 <= 1 e767: b38 + b59 <= 1 e768: b41 + b95 <= 1 e769: b22 + b83 <= 1 e770: b16 + b73 <= 1 e771: b20 + b73 <= 1 e772: b36 + b98 <= 1 e773: b66 + b85 <= 1 e774: b69 + b99 <= 1 e775: b2 + b69 <= 1 e776: b37 + b76 <= 1 e777: b35 + b92 <= 1 e778: b34 + b59 <= 1 e779: b31 + b51 <= 1 e780: b25 + b92 <= 1 e781: b49 + b94 <= 1 e782: b24 + b37 <= 1 e783: b42 + b70 <= 1 e784: b45 + b57 <= 1 e785: b41 + b68 <= 1 e786: b27 + b38 <= 1 e787: b55 + b62 <= 1 e788: b22 + b54 <= 1 e789: b6 + b59 <= 1 e790: b85 + b89 <= 1 e791: b23 + b42 <= 1 e792: b28 + b99 <= 1 e793: b7 + b29 <= 1 e794: b30 + b80 <= 1 e795: b71 + b72 <= 1 e796: b29 + b100 <= 1 e797: b22 + b65 <= 1 e798: b23 + b62 <= 1 e799: b18 + b85 <= 1 e800: b25 + b69 <= 1 e801: b84 + b94 <= 1 e802: b13 + b37 <= 1 e803: b55 + b65 <= 1 e804: b10 + b64 <= 1 e805: b70 + b97 <= 1 e806: b11 + b75 <= 1 e807: b5 + b89 <= 1 e808: b25 + b31 <= 1 e809: b46 + b98 <= 1 e810: b44 + b82 <= 1 e811: b11 + b14 <= 1 e812: b49 + b57 <= 1 e813: b56 + b68 <= 1 e814: b36 + b61 <= 1 e815: b44 + b83 <= 1 e816: b3 + b75 <= 1 e817: b15 + b60 <= 1 e818: b57 + b86 <= 1 e819: b5 + b25 <= 1 e820: b2 + b22 <= 1 e821: b2 + b44 <= 1 e822: b14 + b54 <= 1 e823: b6 + b9 <= 1 e824: b60 + b61 <= 1 e825: b27 + b96 <= 1 e826: b19 + b60 <= 1 e827: b38 + b92 <= 1 e828: b28 + b62 <= 1 e829: b39 + b67 <= 1 e830: b23 + b50 <= 1 e831: b11 + b22 <= 1 e832: b2 + b65 <= 1 e833: b34 + b88 <= 1 e834: b6 + b35 <= 1 e835: b58 + b60 <= 1 e836: b12 + b29 <= 1 e837: b33 + b70 <= 1 e838: b30 + b71 <= 1 e839: b43 + b48 <= 1 e840: b60 + b76 <= 1 e841: b7 + b12 <= 1 e842: b3 + b67 <= 1 e843: b69 + b91 <= 1 e844: b34 + b40 <= 1 e845: b7 + b101 <= 1 e846: b2 + b64 <= 1 e847: b50 + b63 <= 1 e848: b9 + b19 <= 1 e849: b71 + b99 <= 1 e850: b87 + b94 <= 1 e851: b35 + b56 <= 1 e852: b9 + b45 <= 1 e853: b2 + b52 <= 1 e854: b23 + b87 <= 1 e855: b22 + b90 <= 1 e856: b42 + b92 <= 1 e857: b36 + b49 <= 1 e858: b27 + b85 <= 1 e859: b63 + b96 <= 1 e860: b65 + b93 <= 1 e861: b40 + b56 <= 1 e862: b44 + b94 <= 1 e863: b24 + b32 <= 1 e864: b36 + b87 <= 1 e865: b10 + b96 <= 1 e866: b10 + b82 <= 1 e867: b47 + b86 <= 1 e868: b27 + b59 <= 1 e869: b4 + b37 <= 1 e870: b50 + b94 <= 1 e871: b88 + b98 <= 1 e872: b32 + b42 <= 1 e873: b14 + b58 <= 1 e874: b56 + b91 <= 1 e875: b30 + b84 <= 1 e876: b59 + b90 <= 1 e877: b39 + b78 <= 1 e878: b7 + b16 <= 1 e879: b25 + b71 <= 1 e880: b17 + b38 <= 1 e881: b19 + b86 <= 1 e882: b55 + b101 <= 1 e883: b26 + b56 <= 1 e884: b38 + b52 <= 1 e885: b12 + b94 <= 1 e886: b44 + b60 <= 1 e887: b23 + b43 <= 1 e888: b13 + b71 <= 1 e889: b12 + b62 <= 1 e890: b4 + b92 <= 1 e891: b18 + b91 <= 1 e892: b41 + b83 <= 1 e893: b8 + b77 <= 1 e894: b3 + b13 <= 1 e895: b76 + b80 <= 1 e896: b67 + b79 <= 1 e897: b68 + b78 <= 1 e898: b63 + b71 <= 1 e899: b35 + b36 <= 1 e900: b29 + b38 <= 1 e901: b8 + b101 <= 1 e902: b41 + b62 <= 1 e903: b69 + b72 <= 1 e904: b10 + b69 <= 1 e905: b68 + b79 <= 1 e906: b37 + b38 <= 1 e907: b39 + b95 <= 1 e908: b21 + b48 <= 1 e909: b19 + b42 <= 1 e910: b76 + b97 <= 1 e911: b4 + b10 <= 1 e912: b49 + b92 <= 1 e913: b63 + b78 <= 1 e914: b65 + b97 <= 1 e915: b33 + b37 <= 1 e916: b2 + b90 <= 1 e917: b63 + b98 <= 1 e918: b3 + b76 <= 1 e919: b16 + b71 <= 1 e920: b18 + b30 <= 1 e921: b54 + b84 <= 1 e922: b27 + b84 <= 1 e923: b4 + b35 <= 1 e924: b25 + b79 <= 1 e925: b48 + b62 <= 1 e926: b49 + b101 <= 1 e927: b30 + b51 <= 1 e928: b30 + b101 <= 1 e929: b15 + b91 <= 1 e930: b65 + b78 <= 1 e931: b68 + b92 <= 1 e932: b86 + b96 <= 1 e933: b78 + b86 <= 1 e934: b11 + b73 <= 1 e935: b2 + b40 <= 1 e936: b41 + b86 <= 1 e937: b37 + b92 <= 1 e938: b52 + b77 <= 1 e939: b28 + b83 <= 1 e940: b52 + b64 <= 1 e941: b66 + b81 <= 1 e942: b55 + b60 <= 1 e943: b36 + b46 <= 1 e944: b7 + b79 <= 1 e945: b36 + b44 <= 1 e946: b67 + b74 <= 1 e947: b34 + b67 <= 1 e948: b9 + b51 <= 1 e949: b69 + b78 <= 1 e950: b3 + b60 <= 1 e951: b4 + b62 <= 1 e952: b65 + b84 <= 1 e953: b29 + b40 <= 1 e954: b16 + b98 <= 1 e955: b35 + b60 <= 1 e956: b9 + b71 <= 1 e957: b29 + b61 <= 1 e958: b3 + b97 <= 1 e959: b15 + b69 <= 1 e960: b20 + b62 <= 1 e961: b31 + b37 <= 1 e962: b33 + b94 <= 1 e963: b14 + b45 <= 1 e964: b9 + b55 <= 1 e965: b15 + b64 <= 1 e966: b15 + b30 <= 1 e967: b53 + b98 <= 1 e968: b12 + b58 <= 1 e969: b43 + b101 <= 1 e970: b71 + b83 <= 1 e971: b10 + b84 <= 1 e972: b6 + b28 <= 1 e973: b16 + b89 <= 1 e974: b59 + b66 <= 1 e975: b26 + b53 <= 1 e976: b12 + b66 <= 1 e977: b25 + b40 <= 1 e978: b3 + b28 <= 1 e979: b27 + b47 <= 1 e980: b68 + b96 <= 1 e981: b8 + b91 <= 1 e982: b49 + b58 <= 1 e983: b28 + b97 <= 1 e984: b5 + b86 <= 1 e985: b42 + b62 <= 1 e986: b57 + b84 <= 1 e987: b50 + b75 <= 1 e988: b7 + b48 <= 1 e989: b68 + b69 <= 1 e990: b6 + b65 <= 1 e991: b10 + b92 <= 1 e992: b70 + b92 <= 1 e993: b37 + b63 <= 1 e994: b3 + b53 <= 1 e995: b12 + b46 <= 1 e996: b53 + b93 <= 1 e997: b37 + b90 <= 1 e998: b49 + b50 <= 1 e999: b2 + b58 <= 1 e1000: b31 + b53 <= 1 e1001: b51 + b62 <= 1 e1002: b3 + b66 <= 1 e1003: b45 + b66 <= 1 e1004: b13 + b35 <= 1 e1005: b44 + b58 <= 1 e1006: b12 + b60 <= 1 e1007: b30 + b48 <= 1 e1008: b77 + b99 <= 1 e1009: b26 + b96 <= 1 e1010: b52 + b58 <= 1 e1011: b21 + b55 <= 1 e1012: b57 + b73 <= 1 e1013: b26 + b82 <= 1 e1014: b21 + b98 <= 1 e1015: b46 + b69 <= 1 e1016: b5 + b32 <= 1 e1017: b72 + b88 <= 1 e1018: b47 + b96 <= 1 e1019: b54 + b60 <= 1 e1020: b10 + b88 <= 1 e1021: b7 + b100 <= 1 e1022: b15 + b46 <= 1 e1023: b23 + b32 <= 1 e1024: b2 + b60 <= 1 e1025: b9 + b60 <= 1 e1026: b55 + b81 <= 1 e1027: b9 + b74 <= 1 e1028: b12 + b77 <= 1 e1029: b4 + b6 <= 1 e1030: b10 + b42 <= 1 e1031: b4 + b28 <= 1 e1032: b8 + b48 <= 1 e1033: b6 + b25 <= 1 e1034: b39 + b53 <= 1 e1035: b3 + b35 <= 1 e1036: b12 + b50 <= 1 e1037: b71 + b94 <= 1 e1038: b2 + b73 <= 1 e1039: b10 + b52 <= 1 e1040: b58 + b83 <= 1 e1041: b30 + b64 <= 1 e1042: b53 + b85 <= 1 e1043: b20 + b61 <= 1 e1044: b25 + b47 <= 1 e1045: b16 + b63 <= 1 e1046: b74 + b84 <= 1 e1047: b9 + b59 <= 1 e1048: b13 + b31 <= 1 e1049: b32 + b96 <= 1 e1050: b39 + b80 <= 1 e1051: b28 + b80 <= 1 e1052: b30 + b62 <= 1 e1053: b67 + b84 <= 1 e1054: b35 + b41 <= 1 e1055: b50 + b60 <= 1 e1056: b25 + b46 <= 1 e1057: b87 + b91 <= 1 e1058: b46 + b85 <= 1 e1059: b14 + b48 <= 1 e1060: b22 + b52 <= 1 e1061: b51 + b52 <= 1 e1062: b39 + b58 <= 1 e1063: b43 + b44 <= 1 e1064: b56 + b60 <= 1 e1065: b11 + b60 <= 1 e1066: b56 + b66 <= 1 e1067: b21 + b83 <= 1 e1068: b62 + b101 <= 1 e1069: b8 + b65 <= 1 e1070: b20 + b65 <= 1 e1071: b3 + b72 <= 1 e1072: b13 + b79 <= 1 e1073: b19 + b57 <= 1 e1074: b81 + b85 <= 1 e1075: b81 + b91 <= 1 e1076: b39 + b91 <= 1 e1077: b49 + b55 <= 1 e1078: b82 + b97 <= 1 e1079: b13 + b26 <= 1 e1080: b86 + b101 <= 1 e1081: b13 + b16 <= 1 e1082: b28 + b45 <= 1 e1083: b44 + b86 <= 1 e1084: b9 + b34 <= 1 e1085: b20 + b27 <= 1 e1086: b33 + b43 <= 1 e1087: b12 + b65 <= 1 e1088: b88 + b96 <= 1 e1089: b37 + b85 <= 1 e1090: b15 + b17 <= 1 e1091: b16 + b19 <= 1 e1092: b82 + b100 <= 1 e1093: b43 + b82 <= 1 e1094: b8 + b66 <= 1 e1095: b37 + b40 <= 1 e1096: b25 + b33 <= 1 e1097: b44 + b54 <= 1 e1098: b11 + b47 <= 1 e1099: b26 + b27 <= 1 e1100: b58 + b65 <= 1 e1101: b4 + b73 <= 1 e1102: b8 + b82 <= 1 e1103: b87 + b93 <= 1 e1104: b46 + b58 <= 1 e1105: b63 + b90 <= 1 e1106: b50 + b81 <= 1 e1107: b20 + b68 <= 1 e1108: b40 + b44 <= 1 e1109: b44 + b52 <= 1 e1110: b61 + b86 <= 1 e1111: b37 + b98 <= 1 e1112: b8 + b26 <= 1 e1113: b58 + b100 <= 1 e1114: b15 + b37 <= 1 e1115: b49 + b56 <= 1 e1116: b46 + b64 <= 1 e1117: b4 + b12 <= 1 e1118: b42 + b53 <= 1 e1119: b73 + b88 <= 1 e1120: b6 + b101 <= 1 e1121: b84 + b86 <= 1 e1122: b45 + b88 <= 1 e1123: b21 + b70 <= 1 e1124: b20 + b94 <= 1 e1125: b59 + b78 <= 1 e1126: b55 + b77 <= 1 e1127: b17 + b65 <= 1 e1128: b21 + b27 <= 1 e1129: b71 + b79 <= 1 e1130: b33 + b34 <= 1 e1131: b2 + b24 <= 1 e1132: b22 + b48 <= 1 e1133: b15 + b58 <= 1 e1134: b31 + b66 <= 1 e1135: b46 + b96 <= 1 e1136: b20 + b74 <= 1 e1137: b6 + b74 <= 1 e1138: b49 + b69 <= 1 e1139: b21 + b41 <= 1 e1140: b11 + b95 <= 1 e1141: b50 + b56 <= 1 e1142: b30 + b72 <= 1 e1143: b52 + b61 <= 1 e1144: b31 + b33 <= 1 e1145: b44 + b50 <= 1 e1146: b79 + b90 <= 1 e1147: b8 + b70 <= 1 e1148: b10 + b56 <= 1 e1149: b71 + b100 <= 1 e1150: b9 + b72 <= 1 e1151: b5 + b28 <= 1 e1152: b42 + b73 <= 1 e1153: b66 + b90 <= 1 e1154: b18 + b78 <= 1 e1155: b29 + b43 <= 1 e1156: b24 + b80 <= 1 e1157: b67 + b101 <= 1 e1158: b60 + b69 <= 1 e1159: b34 + b90 <= 1 e1160: b32 + b78 <= 1 e1161: b53 + b74 <= 1 e1162: b8 + b46 <= 1 e1163: b24 + b82 <= 1 e1164: b51 + b95 <= 1 e1165: b40 + b60 <= 1 e1166: b51 + b60 <= 1 e1167: b22 + b76 <= 1 e1168: b16 + b60 <= 1 e1169: b16 + b64 <= 1 e1170: b41 + b58 <= 1 e1171: b17 + b36 <= 1 e1172: b59 + b62 <= 1 e1173: b9 + b37 <= 1 e1174: b48 + b66 <= 1 e1175: b57 + b85 <= 1 e1176: b5 + b39 <= 1 e1177: b35 + b44 <= 1 e1178: b50 + b85 <= 1 e1179: b2 + b70 <= 1 e1180: b18 + b48 <= 1 e1181: b23 + b44 <= 1 e1182: b45 + b77 <= 1 e1183: b12 + b79 <= 1 e1184: b72 + b99 <= 1 e1185: b19 + b95 <= 1 e1186: b19 + b26 <= 1 e1187: b60 + b68 <= 1 e1188: b61 + b68 <= 1 e1189: b61 + b95 <= 1 e1190: b11 + b88 <= 1 e1191: b37 + b59 <= 1 e1192: b32 + b48 <= 1 e1193: b4 + b97 <= 1 e1194: b18 + b19 <= 1 e1195: b15 + b98 <= 1 e1196: b76 + b94 <= 1 e1197: b8 + b25 <= 1 e1198: b62 + b96 <= 1 e1199: b5 + b8 <= 1 e1200: b19 + b65 <= 1 e1201: b36 + b54 <= 1 e1202: b20 + b44 <= 1 e1203: b4 + b94 <= 1 e1204: b46 + b89 <= 1 e1205: b6 + b63 <= 1 e1206: b3 + b58 <= 1 e1207: b28 + b50 <= 1 e1208: b41 + b56 <= 1 e1209: b11 + b98 <= 1 e1210: b13 + b47 <= 1 e1211: b28 + b82 <= 1 e1212: b4 + b14 <= 1 e1213: b34 + b54 <= 1 e1214: b5 + b59 <= 1 e1215: b48 + b63 <= 1 e1216: b52 + b62 <= 1 e1217: b29 + b54 <= 1 e1218: b55 + b73 <= 1 e1219: b42 + b59 <= 1 e1220: b50 + b86 <= 1 e1221: b39 + b50 <= 1 e1222: b63 + b79 <= 1 e1223: b65 + b76 <= 1 e1224: b28 + b56 <= 1 e1225: b66 + b80 <= 1 e1226: b4 + b79 <= 1 e1227: b6 + b29 <= 1 e1228: b56 + b82 <= 1 e1229: b48 + b77 <= 1 e1230: b62 + b92 <= 1 e1231: b2 + b96 <= 1 e1232: b25 + b44 <= 1 e1233: b90 + b92 <= 1 e1234: b14 + b51 <= 1 e1235: b27 + b95 <= 1 e1236: b53 + b62 <= 1 e1237: b26 + b31 <= 1 e1238: b4 + b61 <= 1 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 End