#include <stdio.h>

#define rd_int(var, tmp)                                                                                               \
    for (;;) {                                                                                                         \
        tmp = getc_unlocked(stdin);                                                                                    \
        if (tmp < '0' || tmp > '9') break;                                                                             \
        var = var * 10 + tmp - '0';                                                                                    \
    }

// char buf[9]; int ptr = 0; を先に宣言する
#define wt_int(var, buf, ptr)                                                                                          \
    while (var) {                                                                                                      \
        buf[ptr++] = var % 10;                                                                                         \
        var /= 10;                                                                                                     \
    }                                                                                                                  \
    while (ptr--) putc_unlocked(buf[ptr] + '0', stdout);

int a[] = {1000000, 355065, 153009, 70685, 33758, 16414, 8065, 3988, 1979, 985, 491, 245, 122, 61, 30, 15, 7, 3, 1};

int main() {
    int k, n = 0, ptr = 0;
    char buf[8];
    rd_int(n, k);
    n -= 2;
    n = (n < 19 ? a[n] : 0);
    wt_int(n, buf, ptr);
    return 0;
}