#[macro_use]
#[allow(dead_code)]
mod template {
    macro_rules! debug {
        ($($a:expr),*) => {{
            use ::std::io::Write;
            writeln!(&mut ::std::io::stderr(), concat!($(stringify!($a), " = {:?}, "),*), $($a),*).unwrap();
        }}
    }

    macro_rules! input {
        (source = $s:expr, $($r:tt)*) => {
            let mut scanner = ::template::BufScanner::new($s.as_bytes());
            input_inner!{scanner, $($r)*}
        };
        ($($r:tt)*) => {
            let stdin = ::std::io::stdin();
            let mut scanner = ::template::BufScanner::new(stdin.lock());
            input_inner!{scanner, $($r)*}
        };
    }

    macro_rules! input_inner {
        ($scanner:expr) => {};
        ($scanner:expr, ) => {};

        ($scanner:ident, $var:ident : $t:tt $($r:tt)*) => {
            let $var = read_value!($scanner, $t);
            input_inner!{$scanner $($r)*}
        };
    }

    macro_rules! read_value {
        ($scanner:ident, ( $($t:tt),* )) => {
            ( $(read_value!($scanner, $t)),* )
        };

        ($scanner:ident, [ $t:tt ; $len:expr ]) => {
            (0..$len).map(|_| read_value!($scanner, $t)).collect::<Vec<_>>()
        };

        ($scanner:ident, chars) => {
            read_value!($scanner, String).chars().collect::<Vec<char>>()
        };

        ($scanner:ident, usize1) => {
            read_value!($scanner, usize) - 1usize
        };

        ($scanner:ident, $t:ty) => {
            ($scanner).next::<$t>()
        };
    }

    pub struct BufScanner<R: ::std::io::BufRead> {
        br: R,
        buf: Vec<u8>,
        pos: usize,
    }

    impl<R: ::std::io::BufRead> BufScanner<R> {
        pub fn new(br: R) -> Self {
            BufScanner {
                br: br,
                buf: Vec::new(),
                pos: 0usize,
            }
        }
        fn fill_line(&mut self) {
            self.buf.clear();
            self.pos = 0;
            self.br
                .read_until(b'\n', &mut self.buf)
                .expect("Read a line");
            if let Some(&b'\n') = self.buf.last() {
                self.buf.pop();
                if let Some(&b'\r') = self.buf.last() {
                    self.buf.pop();
                }
            }
        }
        fn skip_space(&mut self) {
            loop {
                for i in self.pos..self.buf.len() {
                    if self.buf[i] != b' ' {
                        self.pos = i;
                        return;
                    }
                }
                self.fill_line();
            }
        }
        pub fn read_token(&mut self) -> &str {
            self.skip_space();
            let start = self.pos;
            while self.pos < self.buf.len() && self.buf[self.pos] != b' ' {
                self.pos += 1;
            }
            let ret = unsafe { ::std::str::from_utf8_unchecked(&self.buf[start..self.pos]) };
            self.pos += 1; // skip the last space (or len() + 1 which is fine)
            return ret;
        }
        pub fn next<T: ::std::str::FromStr>(&mut self) -> T {
            self.read_token().parse::<T>().ok().expect("Parse")
        }
    }
}

fn burger_size(level: u32) -> u64 {
    return if level == 0 {
        1
    } else {
        3 + 2 * burger_size(level - 1)
    };
}

fn count_p(level: u32) -> u64 {
    return if level == 0 {
        1
    } else {
        1 + 2 * count_p(level - 1)
    };
}

fn solve(level: u32, mut n: &mut u64) -> u64 {
    let size = burger_size(level);
    return if *n == 0 {
        0
    } else if *n >= size {
        *n -= size;
        count_p(level)
    } else {
        // level != 0
        *n -= 1; // bun
        let mut res = solve(level - 1, &mut n);
        if *n > 0 {
            res += 1;
            *n -= 1;
        }
        res += solve(level - 1, &mut n);
        if *n > 0 {
            *n -= 1; // bun
        }
        res
    };
}

fn main() {
    input! {
        level: u32,
        n: u64,
    }
    let mut n = n;
    let res = solve(level, &mut n);
    println!("{}", res);
}



Measured memory_bytes: 4352