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;

}