#include <bits/stdc++.h>
using namespace std;
template <class T>
T abs(T x) {
  return x > 0 ? x : -x;
}
int n;
int m, k;
int a[100000], b[100000], c[100000], x[100];
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]);
  for (int i = 0; i < k; i++) scanf("%d", &x[i]);
  long long ans = 0;
  for (int i = 0; i < m; i++)
    for (int j = 0; j < k; j++)
      if (a[i] <= x[j] && b[i] >= x[j]) ans += c[i] + (x[j] - a[i]);
  cout << ans << endl;
  return 0;
}
