#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  int bitnum = 0;
  scanf("%d", &n);
  int maxn = 0;
  int tem = n;
  while (tem > 0) {
    tem /= 2;
    maxn += (1 << bitnum);
    bitnum++;
  }
  int used[n + 10];
  memset(used, 0, sizeof(used));
  int per[n + 10];
  long long ans = 0;
  for (int i = n; i >= 0; i--) {
    tem = maxn;
    int tem1 = bitnum - 1;
    while (tem - i < 0 || tem - i > n || used[tem - i]) {
      tem -= (1 << tem1);
      tem1--;
    }
    if (tem - i >= 0) {
      used[tem - i] = 1;
      ans += tem;
      per[i] = tem - i;
    }
  }
  printf("%I64d\n", ans);
  for (int i = 0; i <= n; i++) {
    printf("%d ", per[i]);
  }
  printf("\n");
  return 0;
}
