//
#ifndef __SIZEOF_INT128__
#define __SIZEOF_INT128__
#endif
#pragma GCC optimize("Ofast")
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
using namespace chrono;
using namespace __gnu_pbds;
template <typename T> using oset = tree<T, null_type, less_equal<T>, rb_tree_tag, tree_order_statistics_node_update>;
#define rep(i, p, k) for(int i(p); i < (k); ++i)
#define per(i, p, k) for(int i(p); i > (k); --i)
#define sz(x) (int)(x).size()
#define sc static_cast
typedef long long ll;
typedef long double ld;
typedef unsigned int uint;
typedef unsigned long long ull;
typedef __int128_t lll;
//#define int ll
template <typename T = int> using par = std::pair <T, T>;
#define fi first
#define se second
#define test int _number_of_tests(in()); while(_number_of_tests--)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define pb emplace_back
struct Timer {
string name{""};
time_point<high_resolution_clock> end, start{high_resolution_clock::now()};
duration<float, std::milli> dur;
Timer() = default;
Timer(string nm): name(nm) {}
~Timer() {
end = high_resolution_clock::now(); dur= end - start;
cout << "@" << name << "> " << dur.count() << " ms" << '\n';
}
};
template <typename T = int> inline T in()
{
static T x;
std::cin >> x;
return x;
}
std::string yn(bool b)
{
if(b) return "YES\n";
else return "NO\n";
}
template <typename F, typename S> std::ostream& operator<<(std::ostream& out, const std::pair <F, S>& par);
template <typename T> std::ostream& operator<< (std::ostream& out, const std::vector <T>& wek)
{
for(const auto& i : wek)out << i << ' ';
return out;
}
template <typename F, typename S> std::ostream& operator<<(std::ostream& out, const std::pair <F, S>& par)
{
out << '{'<<par.first<<", "<<par.second<<"}";
return out;
}
#define show(x) cerr << #x << " = " << x << '\n';
int l, n, x, m;
vector <ll> t;
vector <int> w;
vector <int> s;
#define g0 get<0>
#define g1 get<1>
#define g2 get<2>
constexpr int maxn = 1003;
vector <tuple <ll, int, int>> dp[maxn];
ll mt[maxn][maxn];
struct ty{
ll p, k, w;
ty(ll a, ll b, ll c) : p(a), k(b), w(c) {}
};
vector <ty> odp;
void init(int Wl, int Wn, vector <ll> Wt, vector <int> Ww, int Wx, int Wm, vector <int> Ws)
{
l = Wl;
n = Wn;
t = Wt;
x = Wx;
m = Wm;
w = Ww;
s = Ws;
vector < tuple<ll, int, int>> v;
rep(i, 0, n)v.pb(t[i], w[i], i);
rep(i, 1, m){
sort(all(v));
rep(j, 0, n)mt[i-1][g2(v[j])] = g0(v[j]);
dp[i-1] = v;
ll d(s[i]-s[i-1]);
vector <tuple <ll, int, int>> v2;
v2.pb(g0(v[0]) + g1(v[0])*d, g1(v[0]), g2(v[0]));
rep(j, 1, n)v2.pb(max(g0(v[j])+ g1(v[j])*d, g0(v2[j-1])), g1(v[j]), g2(v[j]));
v = v2;
}
rep(j, 0, n)mt[m-1][g2(v[j])] = g0(v[j]);
dp[m-1] = v;
// rep(i, 0, m+1)dp[i].pb(1e18, 0, n+1);
// rep(i, 0, m+1)mt[i][n+1] = 1e18;
ll sd(0);
rep(i, 1, m){
ll d(x*ll(s[i]-s[i-1]));
vector <pair <ll, ll>> v;
rep(j, 0, n)v.pb(g0(dp[i-1][j]) + (g1(dp[i-1][j])<=x?0:1), mt[i][g2(dp[i-1][j])]-d);
vector <ty> w;
for(auto [g, m]: v){
if(sz(w) && w.back().w >= m)continue;
while(sz(w) && (w.back().p == g))w.pop_back();
if(sz(w)) w.back().k = min(w.back().k, g-1);
w.pb(g, m, m);
}
set <ll> s;
for(auto [p, k, w]: w)for(auto i: {p, k, p-sd, k-sd})rep(j, -1, 2)s.insert(i+j);
for(auto [p, k, w]: odp)for(auto i: {p, k})rep(j, -1, 2)s.insert(i+j);
int jo(0), jw(0);
vector <ty> o2;
// cerr << "--------------\n";
for(auto i: s){
ll I(-1);
bool c(0);
while(jo < sz(odp) && odp[jo].k < i)++jo;
if(jo < sz(odp) && odp[jo].p <= i && i <= odp[jo].k){
I = odp[jo].w;
c = 1;
}
else I = i+sd;
// cerr << i << '-' << I << '-' ;
// cerr << '('<<w[jw].p<<'-'<<w[jw].k<<")-";
while(jw < sz(w) && (w[jw].p > w[jw].k || w[jw].k < I))++jw;
if(jw < sz(w) && w[jw].p <= I && I <= w[jw].k){
I = max(I, w[jw].w);
c = 1;
}
// cerr << I<<' ';
I += d;
if(c){
if(!sz(o2) || o2.back().w != I)o2.pb(i, i, I);
else o2.back().k = max(o2.back().k, i);
}
}
// cerr << '\n';
sd += d;
odp = o2;
// cerr << d << '\n';
// for(auto [p, k, w]: w)cerr << '\t' << p << '-' << k << ": " << w << '\n';
}
// for(auto [p, k, w]: odp)cerr << p << '-' << k << ": " << w << '\n';
}
ll arrival_time(ll y)
{
int p(0), k(sz(odp)-1), s;
while(k > p){
s = (p+k)/2;
if(y < odp[s].p)k = s-1;
else if(y > odp[s].k)p = s+1;
else return odp[s].w;
}
if(odp[p].p <= y && y <= odp[p].k)return odp[p].w;
return y+1ll*l*x;
}
