#include <bits/stdc++.h>
using namespace std;
long long n, h, m, data[55];
int main() {
  cin >> n >> h >> m;
  for (int i = 1; i <= n; i++) {
    data[i] = h;
  }
  for (int i = 1; i <= m; i++) {
    long long l, r, x;
    cin >> l >> r >> x;
    for (int j = l; j <= r; j++) {
      data[j] = min(data[j], x);
    }
  }
  long long ans = 0;
  for (int i = 1; i <= n; i++) ans += data[i] * data[i];
  cout << ans << endl;
  return 0;
}
