#include <bits/stdc++.h>
using namespace std;
struct node {
  int l, r, c;
} p[111111];
int main() {
  int n, m, k;
  scanf("%d%d%d", &n, &m, &k);
  for (int i = 0; i < m; ++i) {
    scanf("%d%d%d", &p[i].l, &p[i].r, &p[i].c);
  }
  long long ans = 0;
  for (int i = 0; i < k; ++i) {
    int x;
    scanf("%d", &x);
    for (int j = 0; j < m; ++j) {
      if (p[j].l <= x && p[j].r >= x) {
        ans += p[j].c + x - p[j].l;
      }
    }
  }
  cout << ans << endl;
  return 0;
}
