Trong xử lý dòng dữ liệu thời gian thực và kiểm soát chất lượng tín hiệu số, việc phân tích tần suất xuất hiện của các phần tử trong những khoảng thời gian quan sát đóng vai trò vô cùng quan trọng. Để tránh hiện tượng nghẽn mạng hoặc nhiễu dữ liệu do hiện tượng bùng nổ tín hiệu, các hệ thống giám sát thường phải đảm bảo rằng không có bất kỳ loại tín hiệu nào lặp lại quá nhiều lần trong cùng một chuỗi truyền dẫn liên tục.

Bài toán đặt ra là phân tích một dãy tín hiệu gồm ~N~ phần tử và đếm số lượng các đoạn tín hiệu liên tiếp hợp lệ. Một đoạn tín hiệu liên tiếp được coi là hợp lệ nếu không có bất kỳ giá trị nào xuất hiện nhiều hơn ~K~ lần bên trong đoạn đó.

• Dãy con liên tiếp: Là một chuỗi các phần tử xuất hiện liền nhau từ vị trí ~L~ đến ~R~ (~1 \le L \le R \le N~) trong dãy ban đầu.
• Giới hạn tần suất: Tần suất xuất hiện của mỗi giá trị trong dãy con liên tiếp không được vượt quá ~K~.

Trong bài tập này, bạn được cấp một dãy số ~A~ gồm ~N~ phần tử và số nguyên ~K~. Hãy viết chương trình đếm số lượng dãy con liên tiếp có chứa không quá ~K~ phần tử giống nhau!

Input

• Dòng ~1~: Chứa hai số nguyên ~N~ và ~K~.
• Dòng ~2~: Chứa ~N~ số nguyên ~A_1, A_2, \dots, A_N~.
• Lưu ý: ~1 \le K < N \le 10^5~, ~1 \le A_i \le 10^9~.

Output

• In ra một dòng duy nhất chứa một số nguyên: Số lượng dãy con liên tiếp thỏa mãn chứa không quá ~K~ phần tử giống nhau.

Example Input 1

5 2
1 1 1 2 2

Example Output 1

12

Example Output 2

4 1
1 2 1 3

Example Output 2

8

Example Input 3

3 1
2 2 2

Example Output 3

3