#include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 998244353; // constexpr int MOD = 1000000007; constexpr int DY4[]{1, 0, -1, 0}, DX4[]{0, -1, 0, 1}; constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1}; constexpr int DX8[]{0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T& a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T& a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; template struct Matrix { explicit Matrix(const int m, const int n, const T def = 0) : data(m, std::vector(n, def)) {} int nrow() const { return data.size(); } int ncol() const { return data.front().size(); } Matrix pow(long long exponent) const { const int n = nrow(); Matrix res(n, n, 0), tmp = *this; for (int i = 0; i < n; ++i) { res[i][i] = 1; } for (; exponent > 0; exponent >>= 1) { if (exponent & 1) res *= tmp; tmp *= tmp; } return res; } inline const std::vector& operator[](const int i) const { return data[i]; } inline std::vector& operator[](const int i) { return data[i]; } Matrix& operator=(const Matrix& x) = default; Matrix& operator+=(const Matrix& x) { const int m = nrow(), n = ncol(); for (int i = 0; i < m; ++i) { for (int j = 0; j < n; ++j) { data[i][j] += x[i][j]; } } return *this; } Matrix& operator-=(const Matrix& x) { const int m = nrow(), n = ncol(); for (int i = 0; i < m; ++i) { for (int j = 0; j < n; ++j) { data[i][j] -= x[i][j]; } } return *this; } Matrix& operator*=(const Matrix& x) { const int m = nrow(), l = ncol(), n = x.ncol(); std::vector> res(m, std::vector(n, 0)); for (int i = 0; i < m; ++i) { for (int k = 0; k < l; ++k) { for (int j = 0; j < n; ++j) { res[i][j] += data[i][k] * x[k][j]; } } } data.swap(res); return *this; } Matrix operator+(const Matrix& x) const { return Matrix(*this) += x; } Matrix operator-(const Matrix& x) const { return Matrix(*this) -= x; } Matrix operator*(const Matrix& x) const { return Matrix(*this) *= x; } private: std::vector> data; }; int main() { int n; cin >> n; vector a(1 << n); REP(i, 1 << n) cin >> a[i]; if (a[0] != 0) { cout << "No\n"; return 0; } FOR(i, 1, 1 << n) { __int128_t x = 0; REP(j, n) { if (i >> j & 1) x += a[1 << j]; } if (x != a[i]) { cout << "No\n"; return 0; } } cout << "Yes\n"; return 0; }