#include <bits/stdc++.h>
using namespace std;
template <class T, class U>
void ckmin(T &a, U b) {
  if (a > b) a = b;
}
template <class T, class U>
void ckmax(T &a, U b) {
  if (a < b) a = b;
}
const int INF = 1000000007;
const int MAXN = 2013;
const int LG = 15;
int N, M;
pair<int, int> arr[MAXN];
int val[2 * MAXN];
int dp[2 * MAXN][MAXN];
int ans = -INF;
int32_t main() {
  cout << fixed << setprecision(12);
  cerr << fixed << setprecision(4);
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cin >> N >> M;
  for (auto i = (0); i < (N); i++) {
    cin >> arr[i].first;
    arr[i].first--;
  }
  for (auto i = (0); i < (N); i++) {
    cin >> arr[i].second;
  }
  for (auto i = (0); i < (N + M); i++) {
    cin >> val[i];
  }
  reverse(arr, arr + N);
  for (auto i = (0); i < (N + M + 1); i++) {
    for (auto j = (0); j < (N + 1); j++) {
      dp[i][j] = -INF;
    }
    dp[i][0] = 0;
  }
  for (auto i = (0); i < (N); i++) {
    int x = arr[i].first, c = arr[i].second;
    for (auto j = (N)-1; j >= (0); j--) {
      ckmax(dp[x][j + 1], dp[x][j] - c + val[x]);
      int n = j + 1, v = x;
      while (n) {
        ckmax(dp[v + 1][n >> 1], dp[v][n] + (n >> 1) * val[v + 1]);
        v++;
        n >>= 1;
      }
    }
    for (auto j = (1); j < (N + M + 1); j++) {
      ckmax(dp[j][0], dp[j - 1][1]);
    }
    for (auto j = (1); j < (N + M + 1); j++) {
      ckmax(dp[j][0], dp[j - 1][0]);
    }
  }
  for (auto i = (0); i < (N + M + 1); i++) {
    ckmax(ans, dp[i][0]);
  }
  cout << ans << '\n';
  return 0;
}
