#include <bits/stdc++.h>
using namespace std;
int n;
long long ans = 0;
int main() {
  scanf("%d", &n);
  for (int i = 1; i <= n; i++)
    for (int j = 1; j < i; j++) {
      int k = i ^ j;
      if (k > n) continue;
      if (i + j > k && i + k > j && j + k > i) ans++;
    }
  printf("%I64d", ans / 3);
  return 0;
}
