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