Problem: This is an interactive problem.

Jury has hidden a permutation p of integers from 0 to n - 1. You know only the length n. Remind that in permutation all integers are distinct.

Let b be the inverse permutation for p, i.e. pbi = i for all i. The only thing you can do is to ask xor of elements pi and bj, printing two indices i and j (not necessarily distinct). As a result of the query with indices i and j you'll get the value <image>, where <image> denotes the xor operation. You can find the description of xor operation in notes.

Note that some permutations can remain indistinguishable from the hidden one, even if you make all possible n2 queries. You have to compute the number of permutations indistinguishable from the hidden one, and print one of such permutations, making no more than 2n queries.

The hidden permutation does not depend on your queries.

Input

The first line contains single integer n (1 ≤ n ≤ 5000) — the length of the hidden permutation. You should read this integer first.

Output

When your program is ready to print the answer, print three lines.

In the first line print "!".

In the second line print single integer answers_cnt — the number of permutations indistinguishable from the hidden one, including the hidden one. 

In the third line print n integers p0, p1, ..., pn - 1 (0 ≤ pi < n, all pi should be distinct) — one of the permutations indistinguishable from the hidden one.

Your program should terminate after printing the answer.

Interaction

To ask about xor of two elements, print a string "? i j", where i and j — are integers from 0 to n - 1 — the index of the permutation element and the index of the inverse permutation element you want to know the xor-sum for. After that print a line break and make flush operation.

After printing the query your program should read single integer — the value of <image>.

For a permutation of length n your program should make no more than 2n queries about xor-sum. Note that printing answer doesn't count as a query. Note that you can't ask more than 2n questions. If you ask more than 2n questions or at least one incorrect question, your solution will get "Wrong answer".

If at some moment your program reads -1 as an answer, it should immediately exit (for example, by calling exit(0)). You will get "Wrong answer" in this case, it means that you asked more than 2n questions, or asked an invalid question. If you ignore this, you can get other verdicts since your program will continue to read from a closed stream.

Your solution will get "Idleness Limit Exceeded", if you don't print anything or forget to flush the output, including for the final answer .

To flush you can use (just after printing line break): 

  * fflush(stdout) in C++; 
  * System.out.flush() in Java; 
  * stdout.flush() in Python; 
  * flush(output) in Pascal; 
  * For other languages see the documentation. 



Hacking

For hacking use the following format:

n

p0 p1 ... pn - 1

Contestant programs will not be able to see this input.

Examples

Input

3
0
0
3
2
3
2

Output

? 0 0
? 1 1
? 1 2
? 0 2
? 2 1
? 2 0
!
1
0 1 2

Input

4
2
3
2
0
2
3
2
0

Output

? 0 1
? 1 2
? 2 3
? 3 3
? 3 2
? 2 1
? 1 0
? 0 0
!
2
3 1 2 0

Note

xor operation, or bitwise exclusive OR, is an operation performed over two integers, in which the i-th digit in binary representation of the result is equal to 1 if and only if exactly one of the two integers has the i-th digit in binary representation equal to 1. For more information, see [here](https://en.wikipedia.org/wiki/Bitwise_operation#XOR).

In the first example p = [0, 1, 2], thus b = [0, 1, 2], the values <image> are correct for the given i, j. There are no other permutations that give the same answers for the given queries.

The answers for the queries are: 

  * <image>, 
  * <image>, 
  * <image>, 
  * <image>, 
  * <image>, 
  * <image>. 



In the second example p = [3, 1, 2, 0], and b = [3, 1, 2, 0], the values <image> match for all pairs i, j. But there is one more suitable permutation p = [0, 2, 1, 3], b = [0, 2, 1, 3] that matches all n2 possible queries as well. All other permutations do not match even the shown queries.

Solution (in JAVA):

Solution:
/**
 * @author derrick20
 */
import java.io.*;
import java.util.*;

public class XORQueries implements Runnable {
    public static void main(String[] args) throws Exception {
        new Thread(null, new XORQueries(), ": )", 1 << 28).start();
    }

    public void run() {
        FastScanner sc = new FastScanner();
        PrintWriter out = new PrintWriter(System.out);

        int N = sc.nextInt();
        int[] p0_i = new int[N];
        int[] b0_i = new int[N];
        for (int i = 0; i < N; i++) {
            out.println("? " + 0 + " " + i);
            out.flush();
            b0_i[i] = sc.nextInt();
            out.println("? " + i + " " + 0);
            out.flush();
            p0_i[i] = sc.nextInt();
        }
        int[] deltaP = new int[N];
        int[] deltaB = new int[N];
        for (int i = 1; i < N; i++) {
            // 0 to i - 1, 0 to i.
            deltaP[i] = p0_i[i - 1] ^ p0_i[i];
            deltaB[i] = b0_i[i - 1] ^ b0_i[i];
        }
        int ct = 0;
        String ans = "";
        for (int start = 0; start < N; start++) {
            int[] perm = new int[N];
            int[] inv = new int[N];
            Arrays.fill(inv, -1);
            perm[0] = start;
            inv[start] = 0;
            boolean valid = true;
            construction: for (int pos = 1; pos < N; pos++) {
                int val = deltaP[pos] ^ perm[pos - 1];
                perm[pos] = val;
                if (val >= N || inv[val] != -1) {
                    valid = false;
                    break construction;
                }
                inv[val] = pos;
            }
            check: for (int pos = 1; pos < N; pos++) {
                // check the deltaB's also hold
                int expected = deltaB[pos] ^ inv[pos - 1];
                if (inv[pos] != expected) {
                    valid = false;
                    break check;
                }
            }
            // last check. the basis of everything is deltas
            // from p0 to any of b0, 1, ...
            // So, our construction only ensures that, within each of p and b,
            // the adjacent XORs are correct. Now, we need to link the two
            // together, with p0 and b0 having the right XOR. If so, we can
            // retrieve any i, j XOR value with (0, 0) ^ (i, 0) ^ (0, j).
            // and we've already forced (i, 0) and (0, j) to be correct because
            // we used those to create the adjacent deltas.
            valid &= (inv[0] ^ perm[0]) == p0_i[0];
            if (valid) {
                StringJoiner sj = new StringJoiner(" ");
                for (int x : perm) {
                    sj.add(Integer.toString(x));
                }
                ans = sj.toString();
//                System.out.println(ans);
                ct++;
            }
        }
        out.println("!");
        ASSERT(ct > 0);
        out.println(ct);
        out.println(ans);
        out.flush();
        out.close();
    }

    static class FastScanner {
        private int BS = 1 << 16;
        private char NC = (char) 0;
        private byte[] buf = new byte[BS];
        private int bId = 0, size = 0;
        private char c = NC;
        private double cnt = 1;
        private BufferedInputStream in;

        public FastScanner() {
            in = new BufferedInputStream(System.in, BS);
        }

        public FastScanner(String s) {
            try {
                in = new BufferedInputStream(new FileInputStream(new File(s)), BS);
            } catch (Exception e) {
                in = new BufferedInputStream(System.in, BS);
            }
        }

        private char getChar() {
            while (bId == size) {
                try {
                    size = in.read(buf);
                } catch (Exception e) {
                    return NC;
                }
                if (size == -1) return NC;
                bId = 0;
            }
            return (char) buf[bId++];
        }

        public int nextInt() {
            return (int) nextLong();
        }

        public int[] nextInts(int N) {
            int[] res = new int[N];
            for (int i = 0; i < N; i++) {
                res[i] = (int) nextLong();
            }
            return res;
        }

        public long[] nextLongs(int N) {
            long[] res = new long[N];
            for (int i = 0; i < N; i++) {
                res[i] = nextLong();
            }
            return res;
        }

        public long nextLong() {
            cnt = 1;
            boolean neg = false;
            if (c == NC) c = getChar();
            for (; (c < '0' || c > '9'); c = getChar()) {
                if (c == '-') neg = true;
            }
            long res = 0;
            for (; c >= '0' && c <= '9'; c = getChar()) {
                res = (res << 3) + (res << 1) + c - '0';
                cnt *= 10;
            }
            return neg ? -res : res;
        }

        public double nextDouble() {
            double cur = nextLong();
            return c != '.' ? cur : cur + nextLong() / cnt;
        }

        public double[] nextDoubles(int N) {
            double[] res = new double[N];
            for (int i = 0; i < N; i++) {
                res[i] = nextDouble();
            }
            return res;
        }

        public String next() {
            StringBuilder res = new StringBuilder();
            while (c <= 32) c = getChar();
            while (c > 32) {
                res.append(c);
                c = getChar();
            }
            return res.toString();
        }

        public String nextLine() {
            StringBuilder res = new StringBuilder();
            while (c <= 32) c = getChar();
            while (c != '\n') {
                res.append(c);
                c = getChar();
            }
            return res.toString();
        }

        public boolean hasNext() {
            if (c > 32) return true;
            while (true) {
                c = getChar();
                if (c == NC) return false;
                else if (c > 32) return true;
            }
        }
    }

    static void ASSERT(boolean assertion, String message) {
        if (!assertion) throw new AssertionError(message);
    }

    static void ASSERT(boolean assertion) {
        if (!assertion) throw new AssertionError();
    }
}