#include using namespace std; template class y_combinator { F f; public: y_combinator(F&& f) : f(std::forward(f)) {} template auto operator()(Args&&... args) const { return f(*this, std::forward(args)...); } }; using ll = long long; using ld = long double; template > using prique = std::priority_queue, U>; template T floor(T a, T b) noexcept { return a / b - (a % b && (a ^ b) < 0); } template T ceil(T a, T b) noexcept { return floor(a + b - 1, b); } template bool chmin(T& x, const T& y) noexcept { return (x > y ? x = y, true : false); } template bool chmax(T& x, const T& y) noexcept { return (x < y ? x = y, true : false); } #define overload4(a, b, c, d, e, ...) e #define rep1(a) for (long long _i = 0; _i < (a); _i++) #define rep2(i, a) for (long long i = 0; i < (a); i++) #define rep3(i, a, b) for (long long i = (a); i < (b); i++) #define rep4(i, a, b, c) for (long long i = (a); i < (b); i += (c)) #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define rrep(i, a, b, c) for (long long i = (a); i > (b); i += (c)) #define all(x) std::begin(x), std::end(x) #define rall(x) std::rbegin(x), std::rend(x) #define pb push_back #ifndef LOCAL #define debug(...) #endif void run_case() { int N, K; cin >> N >> K; vector A(N), B(N), C(N); vector vis(N); rep(i, N) cin >> A[i]; rep(i, N) cin >> B[i]; rep(i, N) cin >> C[i]; prique> pq; rep(i, N) { pq.push({A[i] + B[i], i}); pq.push({A[i] + C[i], i + N}); } int k = 0, s = 0; ll ans = 0; while (!pq.empty()) { auto [sm, idx] = pq.top(); pq.pop(); bool f = idx >= N; idx = (idx >= N ? idx - N : idx); if (vis[idx]) continue; if (!f) { if (k < K) { k += 1; vis[idx] = 1; ans += sm; } } else { if(s < N - K) { s += 1; vis[idx] = 1; ans += sm; } } } cout << ans << endl; } int main() { std::ios_base::sync_with_stdio(false); std::cin.tie(nullptr); std::fixed(std::cout).precision(16); int T = 1; // cin >> T; while (T--) run_case(); return 0; }