#include "aliens.h"
#include <bits/stdc++.h>
using namespace std;
#define int long long
vector<pair<int, int>> intervals;
int cost(int i, int l) {
int overlap = max(0ll, intervals[l].second-intervals[l+1].first+1);
return (intervals[i].second-intervals[l+1].first+1)*(intervals[i].second-intervals[l+1].first+1) - overlap*overlap;
}
long long take_photos(signed n, signed m, signed k, vector<signed> r, vector<signed> c) {
for(int i = 0; i < n; i++) {
if(c[i] >= r[i])
intervals.push_back({r[i], -c[i]});
else
intervals.push_back({c[i], -r[i]});
}
sort(intervals.begin(), intervals.end());
auto interStore = intervals;
intervals.clear();
intervals.push_back({-1, -1});
int ma = -1;
for(auto p: interStore) {
if(-p.second > ma) {
ma = -p.second;
intervals.push_back({p.first, -p.second});
}
}
n = intervals.size()-1;
k = min(k, n);
vector<vector<int>> dp(k+1, vector<int>(n+1, 1ll<<60));
dp[0][0] = 0;
for(int j = 1; j <= k; j++) {
for(int i = j; i <= n; i++) {
for(int l = 0; l < i; l++) {
dp[j][i] = min(dp[j][i], dp[j-1][l] + cost(i, l));
}
}
}
return dp[k][n];
}
