#include <bits/stdc++.h>
using namespace std;
template <typename T>
inline T gcd(T a, T b) {
  if (b == 0)
    return a;
  else
    return gcd(b, a % b);
}
template <typename T>
inline T lcm(T a, T b) {
  return (a * b) / gcd(a, b);
}
int main() {
  int n, m, k, ans = 0;
  cin >> n >> m >> k;
  vector<int> vec(k);
  for (int i = 0; i < k; i++) cin >> vec[i];
  vector<vector<int> > ar;
  ar.assign(n, vector<int>(m));
  for (int i = 0; i < n; i++)
    for (int j = 0; j < m; j++) cin >> ar[i][j];
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < m; j++) {
      for (int x = 0; x < k; x++) {
        if (vec[x] == ar[i][j]) {
          ans += x + 1;
          vec.erase(vec.begin() + x);
          vec.insert(vec.begin(), ar[i][j]);
          break;
        }
      }
    }
  }
  cout << ans;
  return 0;
}
