#include <bits/stdc++.h>
template <class T = int>
inline T readInt();
inline double readDouble();
inline int readUInt();
inline int readChar();
inline void readWord(char *s);
inline bool readLine(char *s);
inline bool isEof();
inline int getChar();
inline int peekChar();
inline bool seekEof();
inline void skipBlanks();
template <class T>
inline void writeInt(T x, char end = 0, int len = -1);
inline void writeChar(int x);
inline void writeWord(const char *s);
inline void writeDouble(double x, int len = 0);
inline void flush();
static struct buffer_flusher_t {
  ~buffer_flusher_t() { flush(); }
} buffer_flusher;
static const int buf_size = 4096;
static unsigned char buf[buf_size];
static int buf_len = 0, buf_pos = 0;
inline bool isEof() {
  if (buf_pos == buf_len) {
    buf_pos = 0, buf_len = fread(buf, 1, buf_size, stdin);
    if (buf_pos == buf_len) return 1;
  }
  return 0;
}
inline int getChar() { return isEof() ? -1 : buf[buf_pos++]; }
inline int peekChar() { return isEof() ? -1 : buf[buf_pos]; }
inline bool seekEof() {
  int c;
  while ((c = peekChar()) != -1 && c <= 32) buf_pos++;
  return c == -1;
}
inline void skipBlanks() {
  while (!isEof() && buf[buf_pos] <= 32U) buf_pos++;
}
inline int readChar() {
  int c = getChar();
  while (c != -1 && c <= 32) c = getChar();
  return c;
}
inline int readUInt() {
  int c = readChar(), x = 0;
  while ('0' <= c && c <= '9') x = x * 10 + c - '0', c = getChar();
  return x;
}
template <class T>
inline T readInt() {
  int s = 1, c = readChar();
  T x = 0;
  if (c == '-')
    s = -1, c = getChar();
  else if (c == '+')
    c = getChar();
  while ('0' <= c && c <= '9') x = x * 10 + c - '0', c = getChar();
  return s == 1 ? x : -x;
}
inline double readDouble() {
  int s = 1, c = readChar();
  double x = 0;
  if (c == '-') s = -1, c = getChar();
  while ('0' <= c && c <= '9') x = x * 10 + c - '0', c = getChar();
  if (c == '.') {
    c = getChar();
    double coef = 1;
    while ('0' <= c && c <= '9') x += (c - '0') * (coef *= 1e-1), c = getChar();
  }
  return s == 1 ? x : -x;
}
inline void readWord(char *s) {
  int c = readChar();
  while (c > 32) *s++ = c, c = getChar();
  *s = 0;
}
inline bool readLine(char *s) {
  int c = getChar();
  while (c != '\n' && c != -1) *s++ = c, c = getChar();
  *s = 0;
  return c != -1;
}
static int write_buf_pos = 0;
static char write_buf[buf_size];
inline void writeChar(int x) {
  if (write_buf_pos == buf_size)
    fwrite(write_buf, 1, buf_size, stdout), write_buf_pos = 0;
  write_buf[write_buf_pos++] = x;
}
inline void flush() {
  if (write_buf_pos)
    fwrite(write_buf, 1, write_buf_pos, stdout), write_buf_pos = 0;
}
template <class T>
inline void writeInt(T x, char end, int output_len) {
  if (x < 0) writeChar('-'), x = -x;
  char s[24];
  int n = 0;
  while (x || !n) s[n++] = '0' + x % 10, x /= 10;
  while (n < output_len) s[n++] = '0';
  while (n--) writeChar(s[n]);
  if (end) writeChar(end);
}
inline void writeWord(const char *s) {
  while (*s) writeChar(*s++);
}
inline void writeDouble(double x, int output_len) {
  if (x < 0) writeChar('-'), x = -x;
  int t = (int)x;
  writeInt(t), x -= t;
  writeChar('.');
  for (int i = output_len - 1; i > 0; i--) {
    x *= 10;
    t = std::min(9, (int)x);
    writeChar('0' + t), x -= t;
  }
  x *= 10;
  t = std::min(9, (int)(x + 0.5));
  writeChar('0' + t);
}
using namespace std;
int main() {
  int n;
  cin >> n;
  vector<int> var(n);
  vector<int> to(n);
  int u, v;
  for (int i = 0; i < n - 1; i++) {
    cout << '?' << ' ' << 0 << ' ' << i << '\n';
    fflush(stdout);
    cin >> u;
    to[i] = u;
    cout << '?' << ' ' << i + 1 << ' ' << i << '\n';
    fflush(stdout);
    cin >> v;
    var[i + 1] = u ^ v;
  }
  if (n % 2 == 1) {
    int now = 0;
    for (int i = 1; i < n; i++) {
      now = now ^ var[i];
    }
    int good = 0;
    for (int i = 0; i < n; i++) {
      good = good ^ i;
    }
    cout << '!' << '\n';
    fflush(stdout);
    vector<int> ans(n);
    ans[0] = good ^ now;
    for (int i = 1; i < n; i++) {
      ans[i] = var[i] ^ ans[0];
    }
    cout << 1 << '\n';
    fflush(stdout);
    for (int i = 0; i < n; i++) {
      cout << ans[i] << ' ';
    }
    cout << '\n';
    fflush(stdout);
    return 0;
  } else {
    vector<int> va(n);
    int ans = 0;
    for (int i = 0; i < n; i++) {
      vector<int> now(n);
      now[0] = i;
      bool f = false;
      for (int j = 1; j < n; j++) {
        now[j] = now[0] ^ var[j];
        if (now[j] >= n) {
          f = true;
          break;
        }
      }
      if (f) {
        continue;
      }
      vector<int> used(n, 0);
      for (int j = 0; j < n; j++) {
        used[now[j]] = 1;
      }
      for (int j = 0; j < n - 1; j++) {
        if (used[j] != 1) {
          break;
        }
        if ((to[j] ^ now[0]) >= n || now[to[j] ^ now[0]] != j) {
          break;
        }
        if (j == n - 2) {
          va[i] = 1;
          ans++;
        }
      }
    }
    cout << '!' << '\n';
    fflush(stdout);
    cout << ans << '\n';
    fflush(stdout);
    for (int i = 0; i < n; i++) {
      if (va[i] == 1) {
        cout << i << ' ';
        for (int j = 1; j < n; j++) {
          cout << (var[j] ^ i) << ' ';
        }
        cout << '\n';
        fflush(stdout);
        break;
      }
    }
  }
  return 0;
}
