main(){
    const char* ans[]={"0","1","2","5","14","42","132","429","1430","4862","16796","58786","208012","742900"};
    int a;
    scanf("%d",&a);
    printf("%s\n",ans[a]);
}