#include <bits/stdc++.h>
using namespace std;
long long int n, m, l, r, c, p, k, mxSz;
pair<long long int, long long int> tree[4 * 1000006];
vector<pair<long long int, long long int> > on[1000006], off[1000006];
void update(long long int node, long long int l, long long int r,
            long long int key, long long int tot) {
  if (l > r || l > key || r < key) return;
  if (l == r) {
    tree[node].first += tot;
    tree[node].second += key * tot;
    return;
  }
  long long int mid = (l + r) >> 1;
  update(node << 1, l, mid, key, tot);
  update(node << 1 | 1, mid + 1, r, key, tot);
  tree[node].first = tree[node << 1].first + tree[node << 1 | 1].first;
  tree[node].second = tree[node << 1].second + tree[node << 1 | 1].second;
}
long long int query(long long int node, long long int l, long long int r,
                    long long int key) {
  if (l == r) {
    return min(key, tree[node].first) * l;
  }
  long long int mid = (l + r) >> 1;
  if (tree[node << 1].first < key) {
    return tree[node << 1].second +
           query(node << 1 | 1, mid + 1, r, key - tree[node << 1].first);
  }
  return query(node << 1, l, mid, key);
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> k >> m;
  for (int i = 0; i < m; i++) {
    cin >> l >> r >> c >> p;
    on[l].push_back({c, p});
    off[r].push_back({c, p});
    mxSz = max(mxSz, p);
  }
  long long int ans = 0;
  for (int i = 1; i <= n; i++) {
    for (int j = 0; j < on[i].size(); j++) {
      long long int tot = on[i][j].first;
      long long int val = on[i][j].second;
      update(1, 1, mxSz, val, tot);
    }
    ans += query(1, 1, mxSz, k);
    for (int j = 0; j < off[i].size(); j++) {
      long long int tot = off[i][j].first;
      long long int val = off[i][j].second;
      update(1, 1, mxSz, val, -tot);
    }
  }
  cout << ans << endl;
  return 0;
}
