Problem: The New Year celebrations in Berland last n days. Only this year the winter is snowless, that’s why the winter celebrations’ organizers should buy artificial snow. There are m snow selling companies in Berland. Every day the i-th company produces wi cubic meters of snow. Next day the snow thaws and the company has to produce wi cubic meters of snow again. During the celebration new year discounts are on, that’s why the snow cost decreases every day. It is known that on the first day the total cost of all the snow produced by the i-th company is equal to ci bourles. Every day this total cost decreases by ai bourles, i.e. on the second day it is equal to ci - ai,and on the third day — to ci - 2ai, and so on. It is known that for one company the cost of the snow produced by it does not get negative or equal to zero. You have to organize the snow purchase so as to buy every day exactly W snow cubic meters. At that it is not necessary to buy from any company all the snow produced by it. If you buy ni cubic meters of snow (0 ≤ ni ≤ wi, the number ni is not necessarily integer!) from the i-th company at one of the days when the cost of its snow is equal to si, then its price will total to <image> bourles. During one day one can buy the snow from several companies. In different days one can buy the snow from different companies. It is required to make the purchases so as to spend as little money as possible. It is guaranteed that the snow produced by the companies will be enough.

Input

The first line contains integers n, m and W (1 ≤ n ≤ 100, 1 ≤ m ≤ 500000, 1 ≤ W ≤ 109) which represent the number of days, the number of companies and the amount of snow that needs to be purchased on every one of the n days. The second line contains m integers wi. The third line contains m integers ci. The fourth line contains m integers ai. All the numbers are strictly positive and do not exceed 109. For all the i the inequation ci - (n - 1)ai > 0 holds true. 

Output

Print a single number — the answer to the given problem. Print the answer in the format with the decimal point (even if the answer is integer, it must contain the decimal point), without "e" and without leading zeroes. The answer should differ with the right one by no more than 10 - 9.

Examples

Input

2 3 10
4 4 4
5 5 8
1 2 5


Output

22.000000000000000


Input

100 2 1000000000
999999998 999999999
1000000000 1000000000
1 1


Output

99999995149.999995249999991

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int n, m, s, day, w[500000], c[500000], a[500000];
long long ans;
double dot;
void qsort(int l, int r, int ok) {
  int x = (l + r) / 2, m = c[x] - day * a[x], v = w[x], i = l, j = r;
  if (l == r) {
    long long sum = m * 1ll * ok;
    dot += sum % w[x] * 1.0 / w[x];
    ans += sum / w[x];
    return;
  }
  while (i <= j) {
    while ((c[i] - day * a[i]) * 1ll * v < m * 1ll * w[i]) i++;
    while ((c[j] - day * a[j]) * 1ll * v > m * 1ll * w[j]) j--;
    if (i <= j) {
      swap(c[i], c[j]);
      swap(a[i], a[j]);
      swap(w[i], w[j]);
      i++, j--;
    }
  }
  j = max(j, l);
  long long cnt = 0, sum = 0;
  for (i = l; i <= j; i++) {
    cnt += w[i];
    sum += c[i] - day * a[i];
  }
  if (cnt >= ok)
    qsort(l, j, ok);
  else
    qsort(j + 1, r, ok - cnt), ans += sum;
}
int main() {
  char buff[100];
  scanf("%d%d%d", &n, &m, &s);
  for (int i = 0; i < m; i++) scanf("%d", w + i);
  for (int i = 0; i < m; i++) scanf("%d", c + i);
  for (int i = 0; i < m; i++) scanf("%d", a + i);
  for (day = 0; day < n; day++) {
    qsort(0, m - 1, s);
    ans += int(dot);
    dot -= int(dot);
  }
  sprintf(buff, "%.15f", dot);
  printf("%I64d%s\n", ans, buff + 1);
}