#include <bits/stdc++.h>
using namespace std;
using ll=long long;
using vell=vector<long long>;
using vs=vector<string>;
int main(){
  ll N;
  N=pow(2,31);
  cout<<N*(N+1)/2<<endl;
  return 0;
}