fn main() {
    let n: usize = readln();
    if n == 2 {
        if query(0, 1) {
            answer(&[0, 1]);
        }
        else {
            answer(&[1, 0]);
        }
    }
    else {
        let mut path = triple();
        for i in 3..n {
            let mut down = -1;
            let mut up = path.len() as isize;
            while up - down > 1 {
                let mid = ((up + down) >> 1) as usize;
                let e = query(path[mid], i);
                if e {
                    // down
                    down = mid as isize;
                }
                else {
                    up = mid as isize;
                }
            }
            path.insert(up as usize, i);
        }
        answer(&path);
    }
}

fn triple() -> Vec<usize> {
    let a = query(0, 1);
    let b = query(1, 2);
    let c = query(2, 0);
    if a && b {
        vec![0, 1, 2]
    }
    else if b && c {
        vec![1, 2, 0]
    }
    else if c && a {
        vec![2, 0, 1]
    }
    else if !a && !b {
        vec![2, 1, 0]
    }
    else if !b && !c {
        vec![0, 2, 1]
    }
    else {
        vec![1, 0, 2]
    }
}

fn get_line() -> String {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).ok();
    s.trim().to_string()
}
fn readln<T>() -> T
    where
        T: std::str::FromStr,
        <T as std::str::FromStr>::Err: std::fmt::Debug {
    get_line().parse().unwrap()
}
fn query(i: usize, j: usize) -> bool {
    println!("? {} {}", i + 1, j + 1);
    let ans: usize = readln();
    ans == 1
}
fn answer(arr: &[usize]) {
    println!("!");
    println!("{}", arr.len());
    for i in 0..arr.len() {
        print!("{}", arr[i] + 1);
        if i + 1 == arr.len() {
            println!("");
        }
        else {
            print!(" ");
        }
    }
}