#include <bits/stdc++.h>
using namespace std;
int l[100100];
int r[100100];
int x[100100];
int main() {
  int n, m, k, i, j;
  int v;
  scanf("%d %d %d", &n, &m, &k);
  for (i = 0; i < m; i++) scanf("%d %d %d", l + i, r + i, x + i);
  long long ret = 0;
  for (i = 0; i < k; i++) {
    scanf("%d", &v);
    for (j = 0; j < m; j++)
      if (v >= l[j] && v <= r[j]) ret = ret + v - l[j] + x[j];
  }
  cout << ret << endl;
  return 0;
}
