#include <bits/stdc++.h>
using namespace std;
int main() {
  int item[110], n, m, k, t, p, ans = 0;
  scanf("%d%d%d", &n, &m, &k);
  for (int i = 1; i <= k; i++) scanf("%d", item + i);
  for (int i = 0; i < n; i++)
    for (int j = 0; j < m; j++) {
      scanf("%d", &t);
      for (p = 1; item[p] != t; p++)
        ;
      ans += p;
      for (; p > 1; p--) item[p] = item[p - 1];
      item[1] = t;
    }
  printf("%d\n", ans);
  return 0;
}
