/*

好神奇好神奇...表示自己要学的还很多

注意到n<=9 不是搜索就是状丫

搜索+剪枝 70分 枚举放或者不放

这里用状丫 f[i][j][k] 表示前i行 放了j个国王 i行的状态是k的方案数

转移的话 枚举下层的状态 算出这个状态中有几个国王 然后更新

复杂度 2^n*2^n*n*K*n 最后一个n是算国王数 这个可以预处理搞出来

还有一个问题就是 互相伤害的问题

首先在同一行里 相邻的不行 不同行的就左移右移一下就好了 顺带处理好两个状态能不能互相转移

最后Σf[n][K][i]

*/

#include<iostream>

#include<cstdio>

#include<cstring>

#define maxn 520

using namespace std;

int n,K,v1[maxn],v2[maxn][maxn],cnt[maxn];

long long ans,f[][][maxn];

void Get_v()

{

    for(int i=;i<(<<n);i++)

      if((i&(i>>))==)

        {

          v1[i]=;int c=;

          for(int j=i;j;j>>=)c+=j&;

            cnt[i]=c;

        }

    for(int i=;i<(<<n);i++)if(v1[i])

      for(int j=;j<(<<n);j++)if(v1[j])

        if((i&j)==&&(i&(j>>))==&&(j&(i>>))==)

          v2[i][j]=;

}

int main()

{

    cin>>n>>K;

    Get_v();

    for(int i=;i<(<<n);i++)

      f[][cnt[i]][i]=;

    for(int i=;i<=n;i++)

      for(int j=;j<(<<n);j++)if(v1[j])

        for(int k=;k<(<<n);k++)if(v2[j][k])

          for(int r=cnt[j];r+cnt[k]<=K;r++)

            f[i][r+cnt[k]][k]+=f[i-][r][j];

    for(int i=;i<(<<n);i++)

      ans+=f[n][K][i];

    cout<<ans<<endl;

    return ;

}