#include <bits/stdc++.h>
#ifdef DEBUG
#include "cpp-dump/dump.hpp"
#define dump(...) cpp_dump(__VA_ARGS__)
#else
#define dump(...)
#endif
using namespace std;
typedef long long ll;

void solve() {
    ll n,k;
    cin >> n >> k;
    vector<ll> A(n), B(n), C(n);
    for (ll i = 0; i < n; ++i) cin >> A[i];
    for (ll i = 0; i < n; ++i) cin >> B[i];
    for (ll i = 0; i < n; ++i) cin >> C[i];

    // vector<vector<ll>> dp(n+3, vector<ll>(k+3,0));
    vector<ll> dp(k+2), old(k+2);

    
    // i本目までj個塩でトッピングするときの最大値
    for (ll i = 0; i < n; ++i) {
        for (ll j = 0; j < k; ++j) {
            if (j > i) continue;

            // dp[i+1][j] = max(dp[i+1][j], dp[i][j]+A[i]+C[i]);
            // dp[i+1][j+1] = max(dp[i+1][j+1], dp[i][j]+A[i]+B[i]);

            dp[j] = max(dp[j], old[j]+A[i]+C[i]);
            dp[j+1] = max(dp[j+1], old[j]+A[i]+B[i]);
        }

        swap(old,dp);
        dp.resize(k+3, 0);
    }
    dump(dp);

    cout << old[k] << endl;
}

int main() {
    solve();
    return 0;
}