#include <iostream>
#include <map>
using namespace std;
int main() {
long long n,k;
cin>>n>>k;
long long a[n];
for(long long i=0;i<n;i++)
{
cin>>a[i];
}
map<long long,long long> Map;
long long i=0;
long long j=0;
long long distinct_count=0;
long long count1=0;
while(i < n)
{
if(Map.count(a[i]) <= 0)
{
distinct_count++;
}
if(Map.count(a[i]) <= 0)
{
Map[a[i]]=1;
}
else
{
Map[a[i]]++;
}
while(distinct_count > k)
{
Map[a[j]]--;
if(Map[a[j]] == 0)
{
distinct_count--;
Map.erase(a[j]);
}
j++;
}
count1+=i-j+1;
i++;
}
cout<<count1<<endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8bWFwPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CgkKCWxvbmcgbG9uZyBuLGs7CgljaW4+Pm4+Pms7CgkKCWxvbmcgbG9uZyBhW25dOwoJZm9yKGxvbmcgbG9uZyBpPTA7aTxuO2krKykKCXsKCQljaW4+PmFbaV07Cgl9CgkKCW1hcDxsb25nIGxvbmcsbG9uZyBsb25nPiBNYXA7Cglsb25nIGxvbmcgaT0wOwoJbG9uZyBsb25nIGo9MDsKCWxvbmcgbG9uZyBkaXN0aW5jdF9jb3VudD0wOwoJbG9uZyBsb25nIGNvdW50MT0wOwoJd2hpbGUoaSA8IG4pCgl7CgkJaWYoTWFwLmNvdW50KGFbaV0pIDw9IDApCgkJewoJCQlkaXN0aW5jdF9jb3VudCsrOwoJCX0KCQkKCQlpZihNYXAuY291bnQoYVtpXSkgPD0gMCkKCQl7CgkJCU1hcFthW2ldXT0xOwoJCX0KCQllbHNlCgkJewoJCQlNYXBbYVtpXV0rKzsKCQl9CgkJCgkJd2hpbGUoZGlzdGluY3RfY291bnQgPiBrKQoJCXsKCQkJTWFwW2Fbal1dLS07CgkJCWlmKE1hcFthW2pdXSA9PSAwKQoJCQl7CgkJCQlkaXN0aW5jdF9jb3VudC0tOwoJCQkJTWFwLmVyYXNlKGFbal0pOwoJCQl9CgkJCWorKzsKCQl9CgkJCgkJY291bnQxKz1pLWorMTsKCQlpKys7Cgl9CgkKCWNvdXQ8PGNvdW50MTw8ZW5kbDsKCQoJcmV0dXJuIDA7Cn0=