fn main() {
    let mut k = String::new();
    std::io::stdin().read_line(&mut k).ok();
    let k: usize = k.trim().parse().unwrap();

    if k == 0 {
        println!("2, 0");
        return;
    }
    let nstr = format!("{:b}", k).chars().map(|c| c as usize - '0' as usize).collect::<Vec<_>>();
    let n = nstr.len() + 2;
    let mut lines = (1..n).map(|i| (i, i+1)).collect::<Vec<_>>();
    for size in 2..=n-2 {
        for start in 1.. {
            let end = start + size;
            if end >= n { break; }
            lines.push((start, end));
        }
    }
    for i in 1..nstr.len() {
        if nstr[i] == 1 {
            lines.push((n-i-1, n));
        }
    }
    println!("{} {}", n, lines.len());
    for &(u, v) in lines.iter() {
        println!("{} {}", u, v);
    }
}