#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 *******************************
string str;
vector<int> a;
int consistency1(int n, int k){
vector<vector<int>> dp(n+1, vector<int>(k+1, 0));
dp[0][0] = 1;
dp[1][1] = 1;
for(int i=2; i<=n; i++){
for(int x=1; x<=k; x++){
vector<int> f(26, 0);
f[str[i-1]-'a']++;
int j = i-1;
while(j>=0){
bool isValid = true;
for(int p=0; p<26; p++){
if(f[p] == 0) continue;
if(f[p] > a[p]){
isValid = false;
break;
}
}
if(!isValid) break;
dp[i][x] += dp[j][x-1];
if(j-1>=0) f[str[j-1]-'a']++;
j--;
}
}
}
return dp[n][k];
}
int consistency2(int n, int k){
vector<vector<int>> dp(n+1, vector<int>(k+1, 0));
vector<vector<int>> prefixDp(n+1, vector<int>(k+1, 0));
dp[0][0] = 1;
prefixDp[0][0] = 1;
for(int i=1; i<=n; i++){
prefixDp[i][0] = 1;
}
for(int x=1; x<=k; x++){
vector<int> f(26, 0);
for(int i=1, j=1; i<=n; i++){
f[str[i-1]-'a']++;
while(j<=i){
bool isValid = true;
for(int p=0; p<26; p++){
if(f[p] == 0) continue;
if(f[p] > a[p]){
isValid = false;
break;
}
}
if(isValid) break;
f[str[j-1]-'a']--;
j++;
}
if(j-2>=0){
dp[i][x] = prefixDp[i-1][x-1] - prefixDp[j-2][x-1];
}
else{
dp[i][x] = prefixDp[i-1][x-1] - 0;
}
prefixDp[i][x] = prefixDp[i-1][x] + dp[i][x];
}
}
return dp[n][k];
}
int practice(int n, int k){
return 0;
}
void solve() {
int n , k;
cin>> n >> k;
cin >> str;
a.resize(26);
for(int i=0; i<n; i++) cin >> a[i];
cout << consistency1(n, k) << " " << consistency2(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+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKc3RyaW5nIHN0cjsKdmVjdG9yPGludD4gYTsKCmludCBjb25zaXN0ZW5jeTEoaW50IG4sIGludCBrKXsKCgl2ZWN0b3I8dmVjdG9yPGludD4+IGRwKG4rMSwgdmVjdG9yPGludD4oaysxLCAwKSk7CglkcFswXVswXSA9IDE7CglkcFsxXVsxXSA9IDE7CgkKCQoJZm9yKGludCBpPTI7IGk8PW47IGkrKyl7CgkJCgkJZm9yKGludCB4PTE7IHg8PWs7IHgrKyl7CgkJCXZlY3RvcjxpbnQ+IGYoMjYsIDApOwoJCQkKCQkJZltzdHJbaS0xXS0nYSddKys7CgkJCQoJCQlpbnQgaiA9IGktMTsKCQkJd2hpbGUoaj49MCl7CgkJCQlib29sIGlzVmFsaWQgPSB0cnVlOwoJCQkJCgkJCQlmb3IoaW50IHA9MDsgcDwyNjsgcCsrKXsKCQkJCQlpZihmW3BdID09IDApIGNvbnRpbnVlOwoJCQkJCWlmKGZbcF0gPiBhW3BdKXsKCQkJCQkJaXNWYWxpZCA9IGZhbHNlOwoJCQkJCQlicmVhazsKCQkJCQl9CgkJCQl9CgkJCQkKCQkJCWlmKCFpc1ZhbGlkKSBicmVhazsKCQkJCQoJCQkJZHBbaV1beF0gKz0gZHBbal1beC0xXTsKCQkJCQoJCQkJaWYoai0xPj0wKSBmW3N0cltqLTFdLSdhJ10rKzsKCQkJCWotLTsKCQkJfQoJCX0KCX0KCQoJcmV0dXJuIGRwW25dW2tdOwoKfQoKCgoKCgoKaW50IGNvbnNpc3RlbmN5MihpbnQgbiwgaW50IGspewoKCXZlY3Rvcjx2ZWN0b3I8aW50Pj4gZHAobisxLCB2ZWN0b3I8aW50PihrKzEsIDApKTsKCXZlY3Rvcjx2ZWN0b3I8aW50Pj4gcHJlZml4RHAobisxLCB2ZWN0b3I8aW50PihrKzEsIDApKTsKCQoJZHBbMF1bMF0gPSAxOwoJcHJlZml4RHBbMF1bMF0gPSAxOwoJCglmb3IoaW50IGk9MTsgaTw9bjsgaSsrKXsKCQlwcmVmaXhEcFtpXVswXSA9IDE7Cgl9CgkKCglmb3IoaW50IHg9MTsgeDw9azsgeCsrKXsKCQkKCQl2ZWN0b3I8aW50PiBmKDI2LCAwKTsKCgkJZm9yKGludCBpPTEsIGo9MTsgaTw9bjsgaSsrKXsKCQkJZltzdHJbaS0xXS0nYSddKys7CgkJCQoJCQl3aGlsZShqPD1pKXsKCQkJCWJvb2wgaXNWYWxpZCA9IHRydWU7CgkJCQlmb3IoaW50IHA9MDsgcDwyNjsgcCsrKXsKCQkJCQlpZihmW3BdID09IDApIGNvbnRpbnVlOwoJCQkJCWlmKGZbcF0gPiBhW3BdKXsKCQkJCQkJaXNWYWxpZCA9IGZhbHNlOwoJCQkJCQlicmVhazsKCQkJCQl9CgkJCQl9CgkJCQlpZihpc1ZhbGlkKSBicmVhazsKCQkJCQoJCQkJZltzdHJbai0xXS0nYSddLS07CgkJCQlqKys7CgkJCX0KCQkJCgkJCWlmKGotMj49MCl7CgkJCQlkcFtpXVt4XSA9IHByZWZpeERwW2ktMV1beC0xXSAtIHByZWZpeERwW2otMl1beC0xXTsKCQkJfQoJCQllbHNlewoJCQkJZHBbaV1beF0gPSBwcmVmaXhEcFtpLTFdW3gtMV0gLSAwOwoJCQl9CgkJCXByZWZpeERwW2ldW3hdID0gcHJlZml4RHBbaS0xXVt4XSArIGRwW2ldW3hdOyAKCQl9Cgl9CgkKCXJldHVybiBkcFtuXVtrXTsKCn0KCgoKCgoKCgppbnQgcHJhY3RpY2UoaW50IG4sIGludCBrKXsKCgogICAgcmV0dXJuIDA7Cn0KCgoKCgp2b2lkIHNvbHZlKCkgewogICAgCiAgICBpbnQgbiAsIGs7CiAgICBjaW4+PiBuID4+IGs7CiAgICAKICAgIGNpbiA+PiBzdHI7CiAgICAKICAgIGEucmVzaXplKDI2KTsKICAgIGZvcihpbnQgaT0wOyBpPG47IGkrKykgY2luID4+IGFbaV07CiAgICAKICAgIGNvdXQgPDwgY29uc2lzdGVuY3kxKG4sIGspIDw8ICIgIiA8PCBjb25zaXN0ZW5jeTIobiwgaykgPDwgZW5kbDsKCgp9CgoKCgoKaW50MzJfdCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CgogICAgaW50IHQgPSAxOwogICAgLy8gY2luID4+IHQ7CiAgICB3aGlsZSAodC0tKSB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KCiAgICByZXR1cm4gMDsKfQ==