#include <bits/stdc++.h>
using namespace std;
long long ANS = 0;
long long A[100010], B[100010], C[100010];
int n, m, K;
int main() {
  int i, j, k, l;
  scanf("%d%d%d", &n, &m, &K);
  for (i = 0; i < m; ++i) cin >> A[i] >> B[i] >> C[i];
  for (i = 0; i < K; ++i) {
    scanf("%d", &j);
    for (k = 0; k < m; ++k) {
      if (A[k] <= j && j <= B[k]) ANS += C[k] + j - A[k];
    }
  }
  cout << ANS << '\n';
  return 0;
}
