#include <bits/stdc++.h>
using namespace std;
pair<pair<int, int>, int> a[100010];
int main() {
  int n, m, k;
  scanf("%d%d%d", &n, &m, &k);
  long long res = 0;
  for (int i = (0); i < (m); ++i)
    scanf("%d%d%d", &a[i].first.first, &a[i].first.second, &a[i].second);
  for (int i = (0); i < (k); ++i) {
    int s;
    scanf("%d", &s);
    for (int j = (0); j < (m); ++j)
      if ((s >= a[j].first.first) && (s <= a[j].first.second))
        res += a[j].second + s - a[j].first.first;
  }
  cout << res << endl;
  return 0;
}
