P17788 樽见不是罪过
题目背景
『如果我不做些什么的话,一定在那个瞬间,这份缘分就断掉了吧。』
『尽可能地思考,像处理易碎品那样细致地……那是很容易就损坏的东西。』
题目描述
给定 $n,k$ 和一个长度为 $k$ 的序列 $x_{0\sim k-1}$。定义一个正整数序列 $A_{0\sim |A|-1}$ 是好的,当且仅当满足以下条件:
1. $\sum\limits_{i=0}^{|A|-1}A_i = n$。
2. 对 $i\in [0,|A|-1]$,有 $A_i \text{ AND } x_{i\bmod k}= A_i$。其中 $\text{AND}$ 为二进制与。
对于一个好的序列 $A$,定义其价值 $f(A) = \prod\limits_{i=0}^{|A|-1}(A_i+A_{(i+1)\bmod |A|})$。
求所有好的序列价值和,即 $\sum\limits_{\text{A is good}}^{}f(A)$。
结果对 $10^9+7$ 取模。
输入格式
第一行一个整数 $T$,表示测试点组数。
接下来 $T$ 组数据:
每组第一行两个整数 $n,k$。
每组第二行 $k$ 个整数 $x_{0\sim k-1}$。
输出格式
共 $T$ 行,每行一个整数表示每一组测试数据的答案。
说明/提示
我们再当一次朋友吧,小岛。
保证 $1\le T\le 10,1 \le n \le 5\times 10^4,1 \le k \le 10,0 \le x_i < 2^{30},1\le \sum n \le 10^5$。