#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
inline int power(int a, int b) {
int x = 1;
while (b) {
if (b & 1) x *= a;
a *= a;
b >>= 1;
}
return x;
}
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
//_ ***************************** START Below *******************************
vector<int> a;
int consistency(int n, int k){
int ans = 0;
unordered_map<int,int> mp;
int s = 0, e = 0;
while(e<n){
mp[a[e]]++;
if(mp.size() <= k){
ans += e-s+1;
e++;
}
else{
while(s<=e && mp.size() > k){
mp[a[s]]--;
if(mp[a[s]] == 0) mp.erase(a[s]);
s++;
}
ans += (e-s+1);
e++;
}
}
return ans;
}
int practice(int n, int k){
return 0;
}
void solve() {
int n, k;
cin>>n >> k;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
cout << consistency(n, k) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYikgewogICAgaW50IHggPSAxOwogICAgd2hpbGUgKGIpIHsKICAgICAgICBpZiAoYiAmIDEpIHggKj0gYTsKICAgICAgICBhICo9IGE7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKY29uc3QgaW50IE0gPSAxMDAwMDAwMDA3Owpjb25zdCBpbnQgTiA9IDNlNSs5Owpjb25zdCBpbnQgSU5GID0gMmU5KzE7CmNvbnN0IGludCBMSU5GID0gMjAwMDAwMDAwMDAwMDAwMDAwMTsKCi8vXyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiBTVEFSVCBCZWxvdyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgp2ZWN0b3I8aW50PiBhOwoKaW50IGNvbnNpc3RlbmN5KGludCBuLCBpbnQgayl7CgkKCWludCBhbnMgPSAwOwoJCgl1bm9yZGVyZWRfbWFwPGludCxpbnQ+IG1wOwoJaW50IHMgPSAwLCBlID0gMDsKCXdoaWxlKGU8bil7CgkJbXBbYVtlXV0rKzsKCQkKCQlpZihtcC5zaXplKCkgPD0gayl7CgkJCWFucyArPSBlLXMrMTsKCQkJZSsrOwoJCX0KCQllbHNlewoJCQl3aGlsZShzPD1lICYmIG1wLnNpemUoKSA+IGspewoJCQkJbXBbYVtzXV0tLTsKCQkJCWlmKG1wW2Fbc11dID09IDApIG1wLmVyYXNlKGFbc10pOwoJCQkJcysrOwoJCQl9CgkJCWFucyArPSAoZS1zKzEpOwoJCQllKys7CgkJfQoJfQoKCXJldHVybiBhbnM7Cn0KCgoKCgoKCgppbnQgcHJhY3RpY2UoaW50IG4sIGludCBrKXsKCQoJCglyZXR1cm4gMDsKCQp9CgoKCgp2b2lkIHNvbHZlKCkgewogICAgCiAgICBpbnQgbiwgazsKICAgIGNpbj4+biA+PiBrOwogICAgCiAgICBhLnJlc2l6ZShuKTsKICAgIGZvcihpbnQgaT0wOyBpPG47IGkrKykgY2luID4+IGFbaV07CiAgICAKICAgIGNvdXQgPDwgY29uc2lzdGVuY3kobiwgaykgPDwgZW5kbDsKCgp9CgoKCgoKaW50MzJfdCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CgogICAgaW50IHQgPSAxOwogICAgLy8gY2luID4+IHQ7CiAgICB3aGlsZSAodC0tKSB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KCiAgICByZXR1cm4gMDsKfQ==