#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e5 + 50;
struct node {
  int x, y, z;
} ls[maxn];
int main() {
  int n, m, k;
  while (~scanf("%d%d%d", &n, &m, &k)) {
    for (int i = 0; i < m; i++) {
      scanf("%d%d%d", &ls[i].x, &ls[i].y, &ls[i].z);
    }
    long long ans = 0;
    while (k--) {
      int t;
      scanf("%d", &t);
      for (int i = 0; i < m; i++) {
        if (ls[i].x <= t && ls[i].y >= t) {
          ans += (t - ls[i].x + ls[i].z);
        }
      }
    }
    printf("%I64d\n", ans);
  }
  return 0;
}
