#include <bits/extc++.h>

#define int long long
using namespace std;
int n, k;
int num[1000010];
vector<int> wz[1000010];
int zz[1000010];
int task = 0;
priority_queue<int, vector<int>, greater<int> > q;
unordered_map<int, bool> up;

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    cin >> n >> k;
    for (int i = 1; i <= n; i++) {
        cin >> num[i];
        task = max(task, num[i]);
        wz[num[i]].push_back(i);
    }
    int minn = 0x3f3f3f3f, maxn = 0;
    int ans = 0;
    for (int i = 1; i <= task; i++) {
        if (wz[i].size() <= k) {
            minn = min(minn, wz[i][k - 1]);
            maxn = max(maxn, wz[i][k - 1]);
            q.push(wz[i][k - 1]);
//            cout << wz[i][k - 1] << endl;
        }
        zz[i] = k - 1;
    }

    ans += (maxn - minn + 1);
    for (int i = 1; i < n; i++) {
        if (zz[num[i]] < wz[num[i]].size()) {
            up[wz[num[i]][zz[num[i]]]] = 1;
            bool need_update = 0;
            if (!q.empty() && q.top() == minn)need_update = 1;
            while (!q.empty() && up[q.top()] == 1)q.pop();
            if (!q.empty() && need_update)minn = q.top();
        }
        zz[num[i]]++;
        if (zz[num[i]] < wz[num[i]].size()) {
            maxn = max(maxn, wz[num[i]][zz[num[i]]]);
            q.push(wz[num[i]][zz[num[i]]]);
//            cout << i << " " << wz[num[i]][zz[num[i]]] << endl;
        }
        if (!q.empty())ans += (maxn - minn + 1);
    }
    cout << (n + 1) * n / 2 - ans << "\n";
    return 0;
}