#include <bits/stdc++.h>
using namespace std;
const int N = 100100;
int sum[N * 5];
long long t[N * 5];
void update(int idx, int L, int R, int l, int r, int val) {
  if (L > r || l > R) return;
  if (l <= L && R <= r) {
    t[idx] += val + L - l;
    ++sum[idx];
    return;
  }
  int mid = (L + R) >> 1;
  update(idx * 2, L, mid, l, r, val);
  update(idx * 2 + 1, mid + 1, R, l, r, val);
}
long long query(int idx, int l, int r, int p) {
  if (p > r || p < l) return 0;
  if (l == r) return t[idx] + sum[idx] * (p - l);
  int mid = (l + r) >> 1;
  long long ret = t[idx] + (long long)(p - l) * sum[idx];
  return ret + query(idx * 2, l, mid, p) + query(idx * 2 + 1, mid + 1, r, p);
}
int main() {
  int n, m, k;
  scanf("%d%d%d", &n, &m, &k);
  for (int i = 0; i < m; i++) {
    int l, r, x;
    scanf("%d%d%d", &l, &r, &x);
    update(1, 1, n, l, r, x);
  }
  int x;
  long long ans = 0;
  while (k-- > 0) {
    scanf("%d", &x);
    ans += query(1, 1, n, x);
  }
  printf("%I64d\n", ans);
  return 0;
}
