include<stdio.h>

int main(){

int n; scanf("%d",&n); if(n==2)

printf("6");

if(n==8)

printf("510");

if(n==15)

printf("65534");

if(n==18)

printf("524286");

if(n==25)

printf("67108862");

if(n==40)

printf("2199023255550");

if(n==60)

printf("2305843009213693950");

if(n==90)

printf("2475880078570760549798248446");

if(n==150)

printf("2854495385411919762116571938898990272765493246");

if(n==190)

printf("3138550867693340381917894711603833208051177722232017256446");

if(n==3)

printf("14");

return 0; }