def decode(n):
    seen = [0] * S
    lst = []
    for i in range(S):
        ind = -1
        for j in range(S):
            if not seen[j]:
                val = j
                break

        for j in range(S):
            if seen[j]:
                continue
            ind += 1
            if ind * fact[S - i - 1] <= n:
                val = j
        seen[val] = 1
        lst.append(val + 1)
        n %= fact[S - i - 1]
    return lst


def encode(X):
    seen = [0] * S
    v = 0
    for i in range(S):
        ind = 0
        for j in range(S):
            if seen[j]:
                continue
            if j != X[i] - 1:
                ind += 1
            else:
                break
        v += ind * fact[S - i - 1]
        seen[X[i] - 1] = 1
    return v



N, S = map(int, input().split())

fact = [1] * (S + 1)
for i in range(1, S + 1):
    fact[i] = fact[i - 1] * i

L = decode(N)
LL = []
for i in range(S):
    LL.append(L.index(i + 1) + 1)
print(encode(LL))