시간 제한메모리 제한제출정답맞힌 사람정답 비율
2 초 512 MB45222048.780%

문제

Fedor wants to earn some extra money out of oil futures. His analysis is based on trends and historical data of $d$ previous days.

A cost sequence of at least three distinct days $c_0, c_1, c_2, \cdots, c_n$ forms a trend of power $P$ if average cost change is at least $P$ times bigger than the standard deviation of cost changes.

Formally, average cost change is $A = \frac{1}{n}\sum\limits_{i=1}^n \left(c_i - c_{i-1}\right)$. The standard deviation of cost changes is $D = \sqrt{\frac{1}{n}\sum\limits_{i=1}^n{\left(c_i - c_{i-1} - A\right)^2}}$. The sequence forms a positive trend of power $P$ if $\frac{A}{D} \ge P$, and a negative trend of power $P$ if $\frac{A}{D} \le -P$. 

We assume that if $A > 0$ and $D = 0$ then a positive trend of any power is formed. Similarly, if $A < 0$ and $D = 0$ then a negative trend of any power is formed. If $A = 0$ then no trend is formed, even if $D = 0$.  

To check his theory, Fedor needs to count the number of subsegments of historical data which form positive and negative trends of the given power. Can you help him?

입력

The first line contains an integer $d$ ($3 \le d \le 3\,000$) and a real number $P$ ($0.001 \le P \le 1000$) --- the number of days in Fedor's historical data and the required trend power. $P$ is given with at most 9 digits after the decimal point.  

The next line contains $d$ integers $c_1, c_2, \ldots, c_d$ ($-1000 \le c_i \le 1000$). For each $i$, $c_i$ is the cost of oil futures at the end of the $i$-th day. 

출력

Print two integers --- the number of subsegments of historical data forming a positive and a negative trend of power $P$, respectively. It's guaranteed that the answer would not change if one changes $P$ by no more than $10^{-8}$.

예제 입력 1

6 0.2
100 110 120 30 40 50

예제 출력 1

2 8

예제 입력 2

6 0.7
100 110 120 30 40 50

예제 출력 2

2 2

예제 입력 3

10 1.234
236 250 227 224 201 198 198 182 -376 100

예제 출력 3

0 5

노트

The third example test case demonstrates the real prices of oil futures in April 2020 (in dollars, multiplied by 10 and rounded). Be careful with theories like the one Fedor made.