#include<bits/stdc++.h>
using namespace std;

typedef long long ll;

int X;
ll ans = 2;

int main()
{
    scanf("%d",&X);
    for(int i = 0; i < X; i++)ans = 1LL + ans + ans + 1LL;
    printf("%lld\n",ans);
    return 0;
}
