use std::io::Read;

fn get_word() -> String {
    let stdin = std::io::stdin();
    let mut stdin=stdin.lock();
    let mut u8b: [u8; 1] = [0];
    loop {
        let mut buf: Vec<u8> = Vec::with_capacity(16);
        loop {
            let res = stdin.read(&mut u8b);
            if res.unwrap_or(0) == 0 || u8b[0] <= b' ' {
                break;
            } else {
                buf.push(u8b[0]);
            }
        }
        if buf.len() >= 1 {
            let ret = String::from_utf8(buf).unwrap();
            return ret;
        }
    }
}

#[allow(dead_code)]
fn get<T: std::str::FromStr>() -> T { get_word().parse().ok().unwrap() }

fn main() {
    let k: i64 = get();
    let n = 32;
    let mut e = vec![];
    for i in 1..n {
        for j in i + 1..n {
            e.push((i, j));
        }
    }
    for i in 0..30 {
        if (k & 1 << i) != 0 {
            e.push((0, n - 2 - i));
        }
    }
    println!("{} {}", n, e.len());
    for (a, b) in e {
        println!("{} {}", a + 1, b + 1);
    }
}