#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
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> a;
//* Template 1 :
int consistency1(int n, int m, int k){
unordered_map<int,int> big, sm;
int s = 0, e = 0;
int l = 0;
int ans = 0;
int distinct = 0; //* total distinct ele in big window
int count = 0; //* total >=m ele's in small window
while(e<n){
big[a[e]]++;
if(big[a[e]] == 1) distinct++;
sm[a[e]]++;
if(sm[a[e]] == m) count++;
while(l<=e && count >= k){
sm[a[l]]--;
if(sm[a[l]] == m-1) count--;
if(sm[a[l]] == 0) sm.erase(a[l]);
l++;
}
if(distinct < k){
e++;
}
else{
while(s<=e && distinct > k){
big[a[s]]--;
if(big[a[s]] == 0){
distinct--;
big.erase(a[s]);
}
s++;
}
if(l>=s) ans += l-s;
e++;
}
}
return ans;
}
//* Template 2 :
int consistency2(int n, int m, int k){
unordered_map<int,int> big, sm;
int s = 0, e = 0;
int l = 0;
int ans = 0;
int distinct = 0; //* total distinct ele in big window
int count = 0; //* total >=m ele's in small window
while(e<n){
big[a[e]]++;
if(big[a[e]] == 1) distinct++;
sm[a[e]]++;
if(sm[a[e]] == m) count++;
while(l<=e && count >= k){
sm[a[l]]--;
if(sm[a[l]] == m-1) count--;
if(sm[a[l]] == 0) sm.erase(a[l]);
l++;
}
while(s<=e && distinct > k){
big[a[s]]--;
if(big[a[s]] == 0){
distinct--;
big.erase(a[s]);
}
s++;
}
if(l>=s) ans += l-s;
e++;
}
return ans;
}
int practice(int n, int m, int k){
return 0;
}
void solve() {
int n, m, k;
cin>> n >> m >> k;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
cout << consistency1(n, m, k) << " " << consistency2(n, m, 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+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKCnZlY3RvcjxpbnQ+IGE7CgoKLy8qIFRlbXBsYXRlIDEgOiAKCmludCBjb25zaXN0ZW5jeTEoaW50IG4sIGludCBtLCBpbnQgayl7CgkKCXVub3JkZXJlZF9tYXA8aW50LGludD4gYmlnLCBzbTsKCQoJaW50IHMgPSAwLCBlID0gMDsKCWludCBsID0gMDsKCQoJaW50IGFucyA9IDA7CgkKCWludCBkaXN0aW5jdCA9IDA7IC8vKiB0b3RhbCBkaXN0aW5jdCBlbGUgaW4gYmlnIHdpbmRvdwoJaW50IGNvdW50ID0gMDsgLy8qIHRvdGFsID49bSBlbGUncyBpbiBzbWFsbCB3aW5kb3cKCQoJd2hpbGUoZTxuKXsKCQliaWdbYVtlXV0rKzsKCQlpZihiaWdbYVtlXV0gPT0gMSkgZGlzdGluY3QrKzsKCQkKCQlzbVthW2VdXSsrOwoJCWlmKHNtW2FbZV1dID09IG0pIGNvdW50Kys7CgkJCgkJd2hpbGUobDw9ZSAmJiBjb3VudCA+PSBrKXsKCQkJc21bYVtsXV0tLTsKCQkJaWYoc21bYVtsXV0gPT0gbS0xKSBjb3VudC0tOwoJCQlpZihzbVthW2xdXSA9PSAwKSBzbS5lcmFzZShhW2xdKTsKCQkJbCsrOwoJCX0KCQkKCQlpZihkaXN0aW5jdCA8IGspewoJCQllKys7CgkJfQoJCWVsc2V7CgkJCXdoaWxlKHM8PWUgJiYgZGlzdGluY3QgPiBrKXsKCQkJCQoJCQkJYmlnW2Fbc11dLS07CgkJCQlpZihiaWdbYVtzXV0gPT0gMCl7CgkJCQkJZGlzdGluY3QtLTsKCQkJCQliaWcuZXJhc2UoYVtzXSk7CgkJCQl9CgkJCQlzKys7CgkJCX0KCQkJCgkJCWlmKGw+PXMpIGFucyArPSBsLXM7CgkJCQoJCQllKys7CgkJfQoJfQoJCglyZXR1cm4gYW5zOwp9CgoKCgoKLy8qIFRlbXBsYXRlIDIgOiAKCmludCBjb25zaXN0ZW5jeTIoaW50IG4sIGludCBtLCBpbnQgayl7CgkKCXVub3JkZXJlZF9tYXA8aW50LGludD4gYmlnLCBzbTsKCQoJaW50IHMgPSAwLCBlID0gMDsKCWludCBsID0gMDsKCQoJaW50IGFucyA9IDA7CgkKCWludCBkaXN0aW5jdCA9IDA7IC8vKiB0b3RhbCBkaXN0aW5jdCBlbGUgaW4gYmlnIHdpbmRvdwoJaW50IGNvdW50ID0gMDsgLy8qIHRvdGFsID49bSBlbGUncyBpbiBzbWFsbCB3aW5kb3cKCQoJd2hpbGUoZTxuKXsKCQliaWdbYVtlXV0rKzsKCQlpZihiaWdbYVtlXV0gPT0gMSkgZGlzdGluY3QrKzsKCQkKCQlzbVthW2VdXSsrOwoJCWlmKHNtW2FbZV1dID09IG0pIGNvdW50Kys7CgkJCgkJd2hpbGUobDw9ZSAmJiBjb3VudCA+PSBrKXsKCQkJc21bYVtsXV0tLTsKCQkJaWYoc21bYVtsXV0gPT0gbS0xKSBjb3VudC0tOwoJCQlpZihzbVthW2xdXSA9PSAwKSBzbS5lcmFzZShhW2xdKTsKCQkJbCsrOwoJCX0KCQkKCQl3aGlsZShzPD1lICYmIGRpc3RpbmN0ID4gayl7CgkJCQoJCQliaWdbYVtzXV0tLTsKCQkJaWYoYmlnW2Fbc11dID09IDApewoJCQkJZGlzdGluY3QtLTsKCQkJCWJpZy5lcmFzZShhW3NdKTsKCQkJfQoJCQlzKys7CgkJfQoJCQoJCWlmKGw+PXMpIGFucyArPSBsLXM7CgkJCgkJZSsrOwoJfQoJCglyZXR1cm4gYW5zOwp9CgoKCgoKCgoKCgoKCgoKCgoKCgoKaW50IHByYWN0aWNlKGludCBuLCBpbnQgbSwgaW50IGspewoKCiAgICByZXR1cm4gMDsKfQoKCgoKCnZvaWQgc29sdmUoKSB7CiAgICAKICAgIGludCBuLCBtLCBrOwogICAgY2luPj4gbiA+PiBtID4+IGs7CiAgICAKICAgIGEucmVzaXplKG4pOwogICAgZm9yKGludCBpPTA7IGk8bjsgaSsrKSBjaW4gPj4gYVtpXTsKICAgIAogICAgY291dCA8PCBjb25zaXN0ZW5jeTEobiwgbSwgaykgPDwgIiAiIDw8IGNvbnNpc3RlbmN5MihuLCBtLCBrKSA8PCBlbmRsOwoKCn0KCgoKCgppbnQzMl90IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICBpbnQgdCA9IDE7CiAgICAvLyBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQoKICAgIHJldHVybiAwOwp9