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