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