#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main() {
ll n, k;
cin >> n >> k;
vector<ll> a(n);
for(ll i = 0; i < n; i++)
cin >> a[i];
map<ll, ll> mp;
ll l = 0;
ll ans = 0;
for(ll r = 0; r < n; r++) {
mp[a[r]]++;
while(mp.size() > k) {
mp[a[l]]--;
if(mp[a[l]] == 0)
mp.erase(a[l]);
l++;
}
ans += r - l + 1;
}
cout << ans << '\n';
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7Cgp0eXBlZGVmIGxvbmcgbG9uZyBsbDsKCmludCBtYWluKCkgewogICAgbGwgbiwgazsKICAgIGNpbiA+PiBuID4+IGs7CgogICAgdmVjdG9yPGxsPiBhKG4pOwoKICAgIGZvcihsbCBpID0gMDsgaSA8IG47IGkrKykKICAgICAgICBjaW4gPj4gYVtpXTsKCiAgICBtYXA8bGwsIGxsPiBtcDsKCiAgICBsbCBsID0gMDsKICAgIGxsIGFucyA9IDA7CgogICAgZm9yKGxsIHIgPSAwOyByIDwgbjsgcisrKSB7CiAgICAgICAgbXBbYVtyXV0rKzsKCiAgICAgICAgd2hpbGUobXAuc2l6ZSgpID4gaykgewogICAgICAgICAgICBtcFthW2xdXS0tOwoKICAgICAgICAgICAgaWYobXBbYVtsXV0gPT0gMCkKICAgICAgICAgICAgICAgIG1wLmVyYXNlKGFbbF0pOwoKICAgICAgICAgICAgbCsrOwogICAgICAgIH0KCiAgICAgICAgYW5zICs9IHIgLSBsICsgMTsKICAgIH0KCiAgICBjb3V0IDw8IGFucyA8PCAnXG4nOwoKICAgIHJldHVybiAwOwp9