测试数据来自 system/2050

描述

休闲游戏玩家小Q不仅在算法竞赛方面取得了优异的成绩，还在一款收集钻石的游戏中排名很高。

这款游戏一共有$n$种不同类别的钻石，编号依次为$1$到$n$。小Q已经玩了这款游戏很久了，对于第$i$种钻石，他已经收集到了$a_i$个。这款游戏最大的亮点就是，钻石只有一种获得途径，那就是从商城中购买。具体来说，第$i$种钻石的单价为$b_i$点券。为了鼓励玩家充值，每种钻石都没有数量上限，只要肯充钱，就可以拥有任意多的钻石。但是这款游戏并没有开发 "丢弃道具" 功能，因此小Q不能通过丢弃钻石去完成任务。

最近这款游戏推出了一个限时成就任务，完成任务的玩家可以获得荣誉称号，而完成任务条件则是：给定正整数$k$和$m$，对于任意一个整数$x(2^k\leq x\leq n)$，$a_x+a_{\lfloor\frac{x}{2}\rfloor}+a_{\lfloor\frac{x}{4}\rfloor}+a_{\lfloor\frac{x}{8}\rfloor}+...+a_{\lfloor\frac{x}{2^k}\rfloor}$都要是$m$的倍数。

高玩小Q当然想完成这个限时成就任务，但是在充钱之前他想知道他究竟需要多少点券才能完成这个任务。请写一个程序帮助小Q计算最少需要的点券数量。

格式

输入格式

第一行包含一个正整数$T$，表示测试数据的组数。

每组数据第一行包含9个正整数$n,k,m,p,SA,SB,SC,A,B$，其中$n$表示钻石种类数，$k,m$表示任务条件。

为了在某种程度上减少输入量，$a[]$和$b[]$由以下代码生成：

unsigned int SA, SB, SC;int p, A, B;
unsigned int rng61(){
    SA ^= SA << 16;
    SA ^= SA >> 5;
    SA ^= SA << 1;
    unsigned int t = SA;
    SA = SB;
    SB = SC;
    SC ^= t ^ SA;
    return SC;
}
void gen(){
    scanf("%d%d%d%d%u%u%u%d%d", &n, &k, &m, &p, &SA, &SB, &SC, &A, &B);
    for(int i = 1; i <= p; i++)scanf("%d%d", &a[i], &b[i]);
    for(int i = p + 1; i <= n; i++){
        a[i] = rng61() % A + 1;
        b[i] = rng61() % B + 1;
    }
}

输出格式

对于每组数据，输出一行一个整数，即最少需要的点券数量。

样例1

样例输入1

2
3 1 2 3 11111 22222 33333 1 1
1 5
2 3
3 6
7 2 3 7 11111 22222 33333 1 1
6 9
4 5
3 7
5 2
2 4
1 7
9 6

样例输出1

3
14

限制

• $1\le T\le 10$，
• $1\le k\le 10$且$2^k\le n$，
• $1\le p\le \min(n,100000)$，$10000\le SA,SB,SC\le 1000000$，
• $1\le A,B,a_i,b_i\le 10^7$。

子任务1（30分）：满足 $1\le n\le 1000$ 且 $m=2$。

子任务2（40分）：满足 $1\le n\le 10^5$ 且 $m\le 200$。

子任务3（30分）：满足 $1\le n\le 10^7$ 且 $m\le 200$。

来源

SDOI 2018 Round2