#![allow(unused_parens)]
#![allow(unused_imports)]
#![allow(non_upper_case_globals)]
#![allow(non_snake_case)]
#![allow(unused_mut)]
#![allow(unused_variables)]
#![allow(dead_code)]

use itertools::Itertools;
use proconio::input;
use proconio::marker::{Chars, Usize1};

#[allow(unused_macros)]
#[cfg(debug_assertions)]
macro_rules! mydbg {
    //($arg:expr) => (dbg!($arg))
    //($arg:expr) => (println!("{:?}",$arg));
      ($($a:expr),*) => {
          eprintln!(concat!($(stringify!($a), " = {:?}, "),*), $($a),*);
      }
}
#[cfg(not(debug_assertions))]
macro_rules! mydbg {
    ($($arg:expr),*) => {};
}

macro_rules! echo {
    ($($a:expr),*) => {
          $(println!("{}",$a))*
      }
}

use std::cmp::*;
use std::collections::*;
use std::ops::{Add, Div, Mul, Sub};

#[allow(dead_code)]
static INF_I64: i64 = 92233720368547758;
#[allow(dead_code)]
static INF_U64: u64 = 92233720368547758;
#[allow(dead_code)]
static INF_I32: i32 = 21474836;
#[allow(dead_code)]
static INF_USIZE: usize = 18446744073709551;
#[allow(dead_code)]
static M_O_D: usize = 1000000007;
#[allow(dead_code)]
static PAI: f64 = 3.1415926535897932;

trait IteratorExt: Iterator {
    fn toVec(self) -> Vec<Self::Item>;
}

impl<T: Iterator> IteratorExt for T {
    fn toVec(self) -> Vec<Self::Item> {
        self.collect()
    }
}

trait CharExt {
    fn toNum(&self) -> usize;
    fn toAlphabetIndex(&self) -> usize;
    fn toNumIndex(&self) -> usize;
}
impl CharExt for char {
    fn toNum(&self) -> usize {
        return *self as usize;
    }
    fn toAlphabetIndex(&self) -> usize {
        return self.toNum() - 'a' as usize;
    }
    fn toNumIndex(&self) -> usize {
        return self.toNum() - '0' as usize;
    }
}

trait VectorExt {
    fn joinToString(&self, s: &str) -> String;
}
impl<T: ToString> VectorExt for Vec<T> {
    fn joinToString(&self, s: &str) -> String {
        return self
            .iter()
            .map(|x| x.to_string())
            .collect::<Vec<_>>()
            .join(s);
    }
}

trait StringExt {
    fn get_reverse(&self) -> String;
}
impl StringExt for String {
    fn get_reverse(&self) -> String {
        self.chars().rev().collect::<String>()
    }
}

trait UsizeExt {
    fn pow(&self, n: usize) -> usize;
}
impl UsizeExt for usize {
    fn pow(&self, n: usize) -> usize {
        return ((*self as u64).pow(n as u32)) as usize;
    }
}

pub trait Monoid {
    type T: Clone + PartialEq + std::fmt::Debug;
    fn id() -> Self::T;
    fn op(a: &Self::T, b: &Self::T) -> Self::T;
}
struct MIN;
impl Monoid for MIN {
    type T = u64;
    fn id() -> Self::T {
        INF_U64
    }
    fn op(a: &Self::T, b: &Self::T) -> Self::T {
        min(*a, *b)
    }
}

struct SqrtDecomposition<M: Monoid> {
    sqrt_N: usize,
    sub: Vec<M::T>,
    a: Vec<M::T>,
}
impl<M: Monoid> SqrtDecomposition<M> {
    //fn new(N: usize) -> SqrtDecomposition<M> {
    fn new(a: &Vec<M::T>) -> SqrtDecomposition<M> {
        let sqrt_N = (a.len() + 511) / 512;
        let mut sub = vec![M::id(); sqrt_N];
        let mut b = vec![M::id(); sqrt_N * 512];
        for i in 0..a.len() {
            b[i] = a[i].clone();
            sub[i / 512] = M::op(&sub[i / 512], &b[i]);
        }
        SqrtDecomposition {
            sqrt_N: sqrt_N,
            sub: sub,
            a: b,
        }
    }
    fn update(&mut self, i: usize, v: M::T) {
        let sub_index = i / 512;
        self.a[i] = v;
        let s = sub_index * 512;
        let e = sub_index * 512 + 512;
        self.sub[sub_index] = M::id();
        for j in s..e {
            self.sub[sub_index] = M::op(&self.sub[sub_index], &self.a[j]);
        }
    }
    fn query(&mut self, l: usize, r: usize) -> M::T {
        let sub_index = l / 512;
        let mut ret = M::id();
        for i in sub_index..self.sqrt_N {
            let s = i * 512;
            let e = i * 512 + 512;
            if l >= s && e <= r {
                ret = M::op(&ret, &self.sub[i]);
            } else {
                for j in s..e {
                    ret = M::op(&ret, &self.a[j]);
                }
            }
        }
        ret
    }
    fn query_custom<T>(
        &mut self,
        l: usize,
        r: usize,
        //check: fn(M::T) -> bool,
        check: T,
    ) -> Option<(M::T, usize)>
    where
        T: Fn(&M::T) -> bool,
    {
        let sub_index = l / 512;
        let mut ret = M::id();
        let mut index = 0;
        'outer: for i in sub_index..self.sqrt_N {
            let s = i * 512;
            let e = i * 512 + 512;

            if check(&self.sub[i]) {
                for j in s..e {
                    if check(&self.a[j]) {
                        ret = self.a[j].clone();
                        index = j;
                        break 'outer;
                    }
                }
            }
        }
        if ret == M::id() {
            return None;
        } else {
            return Some((ret, index));
        }
    }
}

fn main() {
    use superslice::*;
    input! {
       N: usize,
       mut s : [u64;1<<N],
    }

    s.sort();
    let mut a = vec![s.pop().unwrap()];

    let mut M = (1 << N) - 1;
    //let mut sqrtD: SqrtDecomposition<MIN> = SqrtDecomposition::new(M);
    s.reverse();
    let mut sqrtD: SqrtDecomposition<MIN> = SqrtDecomposition::new(&s);
    mydbg!(s);
    for _ in 0..N {
        mydbg!(a);
        let mut tmp = vec![];
        for &item in &a {
            tmp.push(item);
            if let Some((value, index)) = sqrtD.query_custom(0, M, |&x| x < item) {
                tmp.push(value);
                sqrtD.update(index, MIN::id());
            } else {
                echo!("No");
                return;
            }
        }
        std::mem::swap(&mut a, &mut tmp);
    }

    echo!("Yes");
}


Measured memory_bytes: 13680