#include<bits/stdc++.h>
#define ll unsigned long long
#define N 301
#define MOD 1000000007
using namespace std;
int n,m;
ll ans[16][16]={{1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1},
{0, 2, 8, 28, 96, 320, 1056, 3456, 11264, 36864, 120832, 393216, 1284096, 4194304, 13701120},
{0, 0, 2, 54, 486, 3240, 19440, 108864, 598122, 3265920, 17825760, 96954624, 526389504, 285798758, 897581058},
{0, 0, 0, 24, 1728, 20736, 1990656, 16796160, 130439808, 954289152, 277206528, 387982336, 837282816, 534515200, 927464960},
{0, 0, 0, 0, 2880, 691200, 124416000, 857945600, 688787200, 765920256, 725554240, 207349504, 647878144, 75200000, 976857600},
{0, 0, 0, 0, 0, 86400, 362880000, 393459200, 478976000, 386304000, 426240000, 71904000, 24064000, 654464000, 112064000},
{0, 0, 0, 0, 0, 0, 3628800, 321288000, 828880896, 926891008, 325652992, 767757312, 464476160, 534359040, 922757120},
{0, 0, 0, 0, 0, 0, 0, 203212800, 203212800, 803212800, 303212800, 103212800, 903212800, 703212800, 503212800},
{0, 0, 0, 0, 0, 0, 0, 0, 620607902, 620607972, 620608000, 620607944, 620607986, 620607951, 620607993},
{0, 0, 0, 0, 0, 0, 0, 0, 0, 854710895, 854719895, 854719965, 854719405, 854719755, 854719335},
{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 350999482, 351996682, 351999482, 519996899, 35199342},
{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 598061000, 999203575, 999735687},
{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 99997207, 993461099},
{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 877317071}};
int main(){
	freopen("rotk.in","r",stdin);
	freopen("rotk.out","w",stdout);
	cin>>n>>m;
	if(n>m){
		cout<<0<<endl;
		return 0;
	}
	cout<<ans[n-1][m-1]<<endl;
	return 0;
}