#include <bits/stdc++.h>

//#pragma GCC optimize(3, "Ofast", "inline")

using namespace std;

typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int, int> PII;

const int N = 12, M = 1 << 10, K = 110;

vector<int> state; // 存所有合法状态
vector<int> head[M]; // 存某一状态下所对应的所有合法状态
int cnt[M]; // 记录每种状态二进制下1的个数
LL f[N][K][M]; // 状态转移方程含义：在1~n层，放置k个国王，且第n层放置的国王数为m
int n, m;

bool check(int x) // 判断此状态是否合法
{
    for (int i = 0; i < n; i ++)
        if ((x >> i & 1) && (x >> i + 1 & 1)) // 若有国王相邻则不合法
            return false;
    return true;
}

int count(int x) // 统计二进制状态下1的个数
{
    int res = 0;
    for (int i = 0; i < n; i ++) res += x >> i & 1;
    return res;
}

int main()
{
    ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);

    cin >> n >> m;

    for (int i = 0; i < 1 << n; i ++) // 预处理所有合法状态
        if (check(i))
        {
            cnt[i] = count(i); // 预处理1的个数
            state.push_back(i); 
        }

    for (int i = 0; i < state.size(); i ++)
        for (int j = 0; j < state.size(); j ++) // 预处理所有状态之间的关系是否合法
        {
            int a = state[i], b = state[j];
            if ((a & b) == 0 && (check(a | b))) // 通过与运算可以得知是否有国王上下相邻
                head[i].push_back(j);           // 通过或运算可以得知是否有皇帝处于对角的关系
        }

    f[0][0][0] = 1;
    for (int i = 1; i <= n + 1; i ++) // 枚举每层
        for (int j = 0; j <= m; j ++) // 枚举一共放置的国王个数
            for (int a = 0; a < state.size(); a ++) // 枚举每一种合法状态
                for (auto b : head[a]) // 枚举每一种与合法状态合法的状态
                {
                    int c = cnt[state[a]];
                    if (j >= c) f[i][j][a] += f[i - 1][j - c][b]; // 状态转移
                }

    cout << f[n + 1][m][0] << '\n'; // 这里直接处理到n+1层，那么状态表示的前n+1层放m个并且第n+1层放0个的
                                    // 状态就是前n层放m个的所有状态
    return 0;
}