#include <stdio.h>

int a[int(1e8)];

int main()
{
    int n;
    scanf("%d", &n);

    for (int i = 0; i < n; i++)   
        a[i] = ((i ^ 327) >> 1) + i;
    
    long long ans = 0;  
    for (int i = 0; i < int(1e8); i++)
       ans += a[i];
    printf("%d", int(ans));
}