#include <bits/stdc++.h>
using namespace std;
long long n;
long long d[9999999];
long long dp[999999][2];
int main() {
  long long n, m, h;
  cin >> n >> h >> m;
  long long ans = 0;
  for (int i = 0; i <= n; i++) {
    d[i] = h;
  }
  long long x, y, z;
  cin >> x >> y >> z;
  for (int j = x; j <= y; j++) {
    d[j] = min(d[j], z);
  }
  for (int i = 1; i <= m; i++) {
    long long x, y, z;
    cin >> x >> y >> z;
    for (int j = x; j <= y; j++) {
      d[j] = min(d[j], z);
    }
  }
  for (int i = 1; i <= n; i++) {
    ans += d[i] * d[i];
  }
  cout << ans;
}
