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 v_i and the revenue c_i. 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:

$\text{[math]}$

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 l_i and give them to managers of the startup. For each l_i they should pick some r_i ≥ l_i 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(l_i, r_i) as the total evaluation grade of the startup. Assuming that managers of the startup always report the optimal values of r_i for some particular l_i, 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 v_i (1 ≤ v_i ≤ 10⁷) — the number of unique visitors during each week.

The third line contains n integers c_i (1 ≤ c_i ≤ 10⁷) —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 $\text{[math]}$ .

Note

Consider the first sample.

If the investors ask for l_i = 1 onwards, startup will choose r_i = 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 l_i = 2 onwards, startup will choose r_i = 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 l_i = 3 onwards, startup will choose r_i = 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).

Idx	Name	Rating
A	Ebony and Ivory	1100
B	A Trivial Problem	1300
C	Spy Syndrome 2	1900
D	Fibonacci-ish	2000
E	Startup Funding	2400
F	The Chocolate Spree	2600
G	Yash And Trees	2800
H	Fibonacci-ish II	3100

Manthan, Codefest 16