AIM Tech Round (Div. 1)
E
Transforming Sequence
Codeforces
3300
原题
← D→
翻译中…

Let's define the transformation $*P*$ of a sequence of integers $*a*_{1}, *a*_{2}, ..., *a*_{*n*}$ as $*b*_{1}, *b*_{2}, ..., *b*_{*n*}$, where $*b*_{*i*} = *a*_{1} | *a*_{2} | ... | *a*_{*i*}$ for all $*i* = 1, 2, ..., *n*$, where $|$ is the bitwise OR operation.

翻译中…

Vasya consequently applies the transformation $*P*$ to all sequences of length $*n*$ consisting of integers from $1$ to $2^{*k*} - 1$ inclusive. He wants to know how many of these sequences have such property that their transformation is a strictly increasing sequence. Help him to calculate this number modulo $10^{9} + 7$.

翻译中…

Input

翻译中…

The only line of the input contains two integers $*n*$ and $*k*$ ($1 ≤ *n* ≤ 10^{18}, 1 ≤ *k* ≤ 30 000$).

翻译中…

Output

翻译中…

Print a single integer — the answer to the problem modulo $10^{9} + 7$.

翻译中…

样例

Input #1
1 2
Output #1
3
InputCopy OutputCopy
Input #2
2 3
Output #2
30
InputCopy OutputCopy
Input #3
3 3
Output #3
48
InputCopy OutputCopy
题目信息
题号
623E
时间限制
7 s
内存限制
256 MB
标签
组合数学
动态规划
FFT
数学

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。