#include <bits/stdc++.h>
using namespace std;
int main() {
  int q, w, e, r, o, a[100000], s[100000], d[100000];
  scanf("%d%d%d", &q, &q, &o);
  for (w = 0; w < q; w++) scanf("%d%d%d", &a[w], &s[w], &d[w]);
  long long t = 0;
  for (; o; o--) {
    scanf("%d", &e);
    for (w = 0; w < q; w++)
      if ((a[w] <= e) && (e <= s[w])) t += d[w] + e - a[w];
  }
  printf("%I64d", t);
  return 0;
}
