#include<bits/stdc++.h>
using namespace std;
const int md=1e9+7;
int n,m,dp[2005][2005];
int main()
{
	scanf("%d%d",&n,&m);
	dp[1][1]=1;
	for(int i=2;i<=n;i++)for(int j=1;j<=i;j++)dp[i][j]=(dp[i-1][j]+dp[i][j-1])%md;
	int ans=dp[n][m];
	for(int i=1;i<n-m;i++)ans=ans*2%md;
	printf("%d\n",ans);
	return 0;
}