Обозначим за $$$x \bmod y$$$ остаток от целочисленного деления $$$x$$$ на $$$y$$$ (оператор $$$\%$$$ в C++ или Java, mod в Pascal).

Назовем массив целых чисел $$$[a_1, a_2, \dots, a_k]$$$ стабильным, если для каждой перестановки $$$p$$$ целых чисел от $$$1$$$ до $$$k$$$, и для каждого неотрицательного целого числа $$$x$$$ выполняется следующее условие:

Другими словами, для каждого неотрицательного целого $$$x$$$ значение $$$(((x \bmod a_1) \bmod a_2) \dots \bmod a_{k - 1}) \bmod a_k$$$ не зависит от порядка элементов в массиве $$$a$$$.

Для двух заданных целых чисел $$$n$$$ и $$$k$$$ посчитайте количество стабильных массивов $$$[a_1, a_2, \dots, a_k]$$$, в которых $$$1 \le a_1 < a_2 < \dots < a_k \le n$$$.