#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m, k, b[100009], e[100009], x[100009];
  long long sum = 0;
  scanf("%d%d%d", &n, &m, &k);
  for (int i = 0; i < m; ++i) scanf("%d%d%d", &b[i], &e[i], &x[i]);
  for (int i = 0; i < k; ++i) {
    scanf("%d", &n);
    for (int j = 0; j < m; ++j)
      if (n >= b[j] && n <= e[j]) sum += (n - b[j]) + x[j];
  }
  printf("%I64d", sum);
  return 0;
}
