Problem: Due to the recent popularity of the Deep learning new countries are starting to look like Neural Networks. That is, the countries are being built deep with many layers, each layer possibly having many cities. They also have one entry, and one exit point.

There are exactly L layers, each having N cities. Let us look at the two adjacent layers L1 and L2. Each city from the layer L1 is connected to each city from the layer L2 with the traveling cost cij for <image>, and each pair of adjacent layers has the same cost in between their cities as any other pair (they just stacked the same layers, as usual). Also, the traveling costs to each city from the layer L2 are same for all cities in the L1, that is cij is the same for <image>, and fixed j.

Doctor G. needs to speed up his computations for this country so he asks you to find the number of paths he can take from entry to exit point such that his traveling cost is divisible by given number M.

Input

The first line of input contains N (1 ≤ N ≤ 106), L (2 ≤ L ≤ 105) and M (2 ≤ M ≤ 100), the number of cities in each layer, the number of layers and the number that travelling cost should be divisible by, respectively.

Second, third and fourth line contain N integers each denoting costs 0 ≤ cost ≤ M from entry point to the first layer, costs between adjacent layers as described above, and costs from the last layer to the exit point.

Output

Output a single integer, the number of paths Doctor G. can take which have total cost divisible by M, modulo 109 + 7.

Example

Input

2 3 13
4 6
2 1
3 4


Output

2

Note

<image>

This is a country with 3 layers, each layer having 2 cities. Paths <image>, and <image> are the only paths having total cost divisible by 13. Notice that input edges for layer cities have the same cost, and that they are same for all layers.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
int p, n, l;
long long ansr;
int val1[1000005], val2[1000005], val3[1000005];
struct GET {
  long long a[101][101];
  int n, m;
  void init(int l, int r) {
    n = l, m = r;
    for (int i = 0; i < l; i++)
      for (int j = 0; j < r; j++) a[i][j] = (i == j);
  }
} ct, ans, null, tmp;
GET operator*(const GET &a, const GET &b) {
  for (int i = 0; i < a.n; i++)
    for (int j = 0; j < b.m; j++) {
      tmp.a[i][j] = 0;
      for (int k = 0; k < a.m; k++)
        tmp.a[i][j] = (tmp.a[i][j] + a.a[i][k] * b.a[k][j]) % 1000000007;
    }
  tmp.n = a.n, tmp.m = b.m;
  return tmp;
}
void calc() {
  GET t = ct, anss;
  anss.init(p, p);
  for (int k = l - 2; k; k >>= 1, t = t * t)
    if (k & 1) anss = anss * t;
  ans = ans * anss;
}
int main() {
  scanf("%d%d%d", &n, &l, &p);
  ans.n = 1, ans.m = ct.n = ct.m = p;
  for (int i = 1; i <= n; i++) {
    scanf("%d", &val1[i]);
    ans.a[0][val1[i] % p]++;
  }
  for (int i = 1; i <= n; i++) {
    scanf("%d", &val2[i]);
    for (int j = 0; j < p; j++) ct.a[(p - val2[i] % p + j) % p][j]++;
  }
  for (int i = 1; i <= n; i++)
    scanf("%d", &val3[i]), val3[i] = (val3[i] + val2[i]) % p;
  calc();
  for (int i = 1; i <= n; i++)
    ansr = (ansr + ans.a[0][(p - val3[i]) % p]) % 1000000007;
  printf("%I64d", ansr);
}