给定两个正整数 $n,k$，找到对于满足下列条件的长度为 $2^n$ 下标从 $0$ 开始的序列的个数：

1. $0\le a_i\le k$
2. $a_i+a_j=a_{i\operatorname{and} j}+a_{i\operatorname{or}j},0\le i,j< 2^n$

• $1\le n\le 3\times 10^5,1\le k\le 10^{18}$