int n,k;int main(){__builtin_scanf("%d%d",&n,&k);n=__builtin_printf("%d",(1<<n-k)-n*!~-k);}