#![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_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;
    }
}

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 sqrtSize: usize = 512;
    let mut sqrt_N: usize = (M + sqrtSize - 1) / sqrtSize;
    mydbg!(sqrt_N);
    let mut s2 = vec![92233720368547758; sqrt_N * sqrtSize];
    s.reverse();
    mydbg!(s);
    for i in 0..s.len() {
        s2[i] = s[i];
    }
    let mut b = vec![92233720368547758; sqrt_N];
    for i in 0..sqrt_N {
        for j in i * sqrtSize..i * sqrtSize + sqrtSize {
            b[i] = min(b[i], s2[j]);
        }
    }

    for _ in 0..N {
        mydbg!(a);
        let mut tmp = vec![];
        for &item in &a {
            tmp.push(item);
            let mut a = 0;
            let mut b_index = 0;
            'outer: for i in 0..sqrt_N {
                if b[i] < item {
                    for j in i * sqrtSize..i * sqrtSize + sqrtSize {
                        if s2[j] < item {
                            a = s2[j];
                            s2[j] = 92233720368547758;
                            b_index = i;
                            break 'outer;
                        }
                    }
                }
            }
            if a == 0 {
                echo!("No");
                return;
            }
            tmp.push(a);
            let mut c = 92233720368547758;
            for j in b_index * sqrtSize..b_index * sqrtSize + sqrtSize {
                c = min(c, s2[j]);
            }
            b[b_index] = c;
        }
        std::mem::swap(&mut a, &mut tmp);
    }

    echo!("Yes");
}


Measured memory_bytes: 13680