import java.util.*;
public class Main {
public static void main
(String[] args
) { Scanner scanner
= new Scanner
(System.
in); int n = scanner.nextInt();
int k = scanner.nextInt();
int[] arr = new int[n];
for (int i = 0; i < n; i++) {
arr[i] = scanner.nextInt();
}
System.
out.
println(countSubarrays
(arr, k
)); }
public static int countSubarrays(int[] arr, int k) {
int count = 0, left = 0;
Map
<Integer, Integer
> freq
= new HashMap
<>();
for (int right = 0; right < arr.length; right++) {
freq.put(arr[right], freq.getOrDefault(arr[right], 0) + 1);
while (freq.size() > k) {
freq.put(arr[left], freq.get(arr[left]) - 1);
if (freq.get(arr[left]) == 0) {
freq.remove(arr[left]);
}
left++;
}
count += (right - left + 1);
}
return count;
}
}
aW1wb3J0IGphdmEudXRpbC4qOwoKcHVibGljIGNsYXNzIE1haW4gewogICAgcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nW10gYXJncykgewogICAgICAgIFNjYW5uZXIgc2Nhbm5lciA9IG5ldyBTY2FubmVyKFN5c3RlbS5pbik7CiAgICAgICAgaW50IG4gPSBzY2FubmVyLm5leHRJbnQoKTsKICAgICAgICBpbnQgayA9IHNjYW5uZXIubmV4dEludCgpOwogICAgICAgIGludFtdIGFyciA9IG5ldyBpbnRbbl07CgogICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgbjsgaSsrKSB7CiAgICAgICAgICAgIGFycltpXSA9IHNjYW5uZXIubmV4dEludCgpOwogICAgICAgIH0KCiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKGNvdW50U3ViYXJyYXlzKGFyciwgaykpOwogICAgfQoKICAgIHB1YmxpYyBzdGF0aWMgaW50IGNvdW50U3ViYXJyYXlzKGludFtdIGFyciwgaW50IGspIHsKICAgICAgICBpbnQgY291bnQgPSAwLCBsZWZ0ID0gMDsKICAgICAgICBNYXA8SW50ZWdlciwgSW50ZWdlcj4gZnJlcSA9IG5ldyBIYXNoTWFwPD4oKTsKCiAgICAgICAgZm9yIChpbnQgcmlnaHQgPSAwOyByaWdodCA8IGFyci5sZW5ndGg7IHJpZ2h0KyspIHsKICAgICAgICAgICAgZnJlcS5wdXQoYXJyW3JpZ2h0XSwgZnJlcS5nZXRPckRlZmF1bHQoYXJyW3JpZ2h0XSwgMCkgKyAxKTsKCiAgICAgICAgICAgIHdoaWxlIChmcmVxLnNpemUoKSA+IGspIHsKICAgICAgICAgICAgICAgIGZyZXEucHV0KGFycltsZWZ0XSwgZnJlcS5nZXQoYXJyW2xlZnRdKSAtIDEpOwogICAgICAgICAgICAgICAgaWYgKGZyZXEuZ2V0KGFycltsZWZ0XSkgPT0gMCkgewogICAgICAgICAgICAgICAgICAgIGZyZXEucmVtb3ZlKGFycltsZWZ0XSk7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICBsZWZ0Kys7CiAgICAgICAgICAgIH0KCiAgICAgICAgICAgIGNvdW50ICs9IChyaWdodCAtIGxlZnQgKyAxKTsKICAgICAgICB9CgogICAgICAgIHJldHVybiBjb3VudDsKICAgIH0KfQo=