#include <bits/stdc++.h>
using namespace std;
int A[100005], B[100005], C[100005];
int n, m, k, x;
int main() {
  scanf("%d%d%d", &n, &m, &k);
  for (int i = 0; i < m; i++) {
    scanf("%d%d%d", A + i, B + i, C + i);
  }
  long long r = 0;
  while (k--) {
    scanf("%d", &x);
    for (int i = 0; i < m; i++)
      if (x >= A[i] && x <= B[i]) {
        r += x + C[i] - A[i];
      }
  }
  printf("%I64d\n", r);
}
