Problem: An e-commerce startup pitches to the investors to get funding. They have been functional for n weeks now and also have a website!

For each week they know the number of unique visitors during this week vi and the revenue ci. To evaluate the potential of the startup at some range of weeks from l to r inclusive investors use the minimum among the maximum number of visitors multiplied by 100 and the minimum revenue during this period, that is: 

<image>

The truth is that investors have no idea how to efficiently evaluate the startup, so they are going to pick some k random distinct weeks li and give them to managers of the startup. For each li they should pick some ri ≥ li and report maximum number of visitors and minimum revenue during this period.

Then, investors will calculate the potential of the startup for each of these ranges and take minimum value of p(li, ri) as the total evaluation grade of the startup. Assuming that managers of the startup always report the optimal values of ri for some particular li, i.e., the value such that the resulting grade of the startup is maximized, what is the expected resulting grade of the startup? 

Input

The first line of the input contains two integers n and k (1 ≤ k ≤ n ≤ 1 000 000).

The second line contains n integers vi (1 ≤ vi ≤ 107) — the number of unique visitors during each week.

The third line contains n integers ci (1 ≤ ci ≤ 107) —the revenue for each week.

Output

Print a single real value — the expected grade of the startup. Your answer will be considered correct if its absolute or relative error does not exceed 10 - 6. 

Namely: let's assume that your answer is a, and the answer of the jury is b. The checker program will consider your answer correct, if <image>.

Examples

Input

3 2
3 2 1
300 200 300


Output

133.3333333

Note

Consider the first sample.

If the investors ask for li = 1 onwards, startup will choose ri = 1, such that max number of visitors is 3 and minimum revenue is 300. Thus, potential in this case is min(3·100, 300) = 300.

If the investors ask for li = 2 onwards, startup will choose ri = 3, such that max number of visitors is 2 and minimum revenue is 200. Thus, potential in this case is min(2·100, 200) = 200.

If the investors ask for li = 3 onwards, startup will choose ri = 3, such that max number of visitors is 1 and minimum revenue is 300. Thus, potential in this case is min(1·100, 300) = 100.

We have to choose a set of size 2 equi-probably and take minimum of each. The possible sets here are : {200, 300},{100, 300},{100, 200}, effectively the set of possible values as perceived by investors equi-probably: {200, 100, 100}. Thus, the expected value is (100 + 200 + 100) / 3 = 133.(3).

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int v[1200000], c[1200000], t1[1200000], t2[1200000], q1[1200000], q2[1200000],
    K, n, n1, n2, ans[1200000];
double pr[1200000];
int main() {
  scanf("%d%d", &n, &K);
  for (int i = (1); i <= (n); ++i) scanf("%d", &v[i]);
  for (int i = (1); i <= (n); ++i) scanf("%d", &c[i]);
  int R = n, p1 = 1, p2 = 1;
  t1[0] = n + 1;
  t2[0] = n + 1;
  for (int i = n; i >= 1; --i) {
    while (n2 > 0 && v[i] >= q2[n2]) n2--;
    q2[++n2] = v[i];
    t2[n2] = i;
    while (n1 > 0 && c[i] <= q1[n1]) n1--;
    q1[++n1] = c[i];
    t1[n1] = i;
    p1 = min(p1, n1);
    p2 = min(p2, n2);
    while (R > i && q2[p2] * 100 > q1[p1]) {
      R--;
      if (R < t2[p2]) p2++;
      if (R < t1[p1]) p1++;
    }
    ans[i] = min(100 * q2[p2], q1[p1]);
    if (t1[p1 - 1] == t2[p2 - 1])
      ans[i] = max(ans[i], min(100 * q2[p2 - 1], q1[p1 - 1]));
    else if (t1[p1 - 1] > t2[p2 - 1])
      ans[i] = max(ans[i], min(100 * q2[p2 - 1], q1[p1]));
    else if (t1[p1 - 1] < t2[p2 - 1])
      ans[i] = max(ans[i], min(100 * q2[p2], q1[p1 - 1]));
  }
  sort(ans + 1, ans + n + 1);
  pr[0] = (double)K / (n - K + 1);
  for (int i = (0); i <= (n - 1); ++i)
    pr[i + 1] = pr[i] / (n - i) * (n - i - K + 1);
  double fans = 0;
  for (int i = (1); i <= (n); ++i) fans += ans[i] * pr[i];
  printf("%lf\n", fans);
  return 0;
}