#include <bits/stdc++.h>
using namespace std;
const int MAXN = 505;
int a[MAXN], b[MAXN];
int lcs[MAXN][MAXN];
long long f[MAXN][MAXN];
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int n, m;
cin >> n >> m;
for(int i = 1; i <= n; i++) cin >> a[i];
for(int j = 1; j <= m; j++) cin >> b[j];
// Khởi tạo: i=0 hoặc j=0 -> f = 1 (dãy rỗng)
for(int j = 0; j <= m; j++) f[0][j] = 1;
for(int i = 1; i <= n; i++) {
for(int j = 1; j <= m; j++) {
if(a[i] == b[j]) {
lcs[i][j] = 1;
f[i][j] = 0;
for(int t = 0; t < j; t++) {
if(lcs[i-1][t] + 1 > lcs[i][j])
lcs[i][j] = lcs[i-1][t] + 1, f[i][j] = 0;
}
for(int t = 0; t < j; t++) {
// Check điều kiện không đếm trùng
bool ok = true;
for(int h = t+1; h < j; h++)
if(b[h] == b[t]) { ok = false; break; }
if(ok && lcs[i-1][t] + 1 == lcs[i][j])
f[i][j] += f[i-1][t];
}
} else {
lcs[i][j] = lcs[i-1][j];
f[i][j] = f[i-1][j];
}
}
}
// Tìm độ dài LCS lớn nhất và số cách
int best = 0; long long ways = 0;
for(int j = 1; j <= m; j++)
best = max(best, lcs[n][j]);
for(int j = 1; j <= m; j++)
if(lcs[n][j] == best) ways += f[n][j];
cout << best << " " << ways << "\n";
}