#include <bits/stdc++.h>
using namespace std;
const int MAX = 5000 + 5;
int pb[MAX][MAX], pp[MAX][MAX], p[MAX], b[MAX], anss[MAX];
int n;
int ask(int x, int y) {
  printf("? %d %d\n", x, y);
  fflush(stdout);
  int k;
  scanf("%d", &k);
  return k;
}
int main() {
  scanf("%d", &n);
  for (int i = int(0); i < int(n); i++) {
    int k = ask(0, i);
    pb[0][i] = k;
    int k2 = ask(i, 0);
    pb[i][0] = k2;
  }
  for (int i = int(1); i < int(n); i++) {
    for (int j = int(1); j < int(n); j++) {
      int tmp = pb[0][j] ^ pb[0][0];
      pb[i][j] = tmp ^ pb[i][0];
    }
  }
  vector<pair<int, int> > zeros;
  for (int i = int(0); i < int(n); i++) {
    for (int j = int(0); j < int(n); j++) {
      if (pb[i][j] == 0) {
        zeros.emplace_back(i, j);
      }
    }
  }
  int ans = 0;
  for (int i = int(0); i < int(n); i++) {
    p[0] = i;
    for (int j = int(0); j < int(n); j++) {
      b[j] = pb[0][j] ^ p[0];
    }
    for (int j = int(0); j < int(n); j++) {
      p[b[j]] = j;
    }
    bool ok = true;
    for (auto &each : zeros) {
      if ((p[each.first] ^ b[each.second]) != 0) {
        ok = false;
      }
    }
    ans += ok;
    if (ok) {
      memcpy(anss, p, sizeof anss);
    }
  }
  puts("!");
  printf("%d\n", ans);
  for (int i = int(0); i < int(n); i++) {
    printf("%d ", anss[i]);
  }
  puts("");
  fflush(stdout);
  return 0;
}
