use proconio::input_interactive;

fn main() {
    input_interactive! {
        n:usize,
    }

    let ans = f(n, 0, n);
    println!("0 1");
    println!("{}", ans);
}

fn f(n: usize, l: usize, r: usize) -> usize {
    let mut res = 0;
    println!("{} {}", n + 1, r - l);
    for i in l..r {
        print!("{} ", i);
    }
    println!();

    input_interactive! {
        c:usize,
    }
    res += if r - l == 1 {
        c * l
    } else if 1 <= c {
        let m = (l + r) / 2;
        f(n, l, m) + f(n, m, r)
    } else {
        0
    };

    res
}