This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
//#include<bits/extc++.h>
//__gnu_pbds
#define int ll
ll dp[3005];
vector<int> stop;
signed main(){
	ios_base::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	int n,m,k;cin>>n>>m>>k;
	int a,b,c;cin>>a>>b>>c;
	ll T;cin>>T;
	stop.resize(m);
	k-=m;
	for(int i=0;i<k;i++) dp[i]=0;
	for(int i=0;i<m;i++){cin>>stop[i];stop[i]--;}
	for(int i=0;i<m-1;i++){
		if(stop[i]*b>T) break;
		for(int g=k;g>=0;g--){
			int ss = stop[i];
			int tt = stop[i]*b;
			for(int j=0;j<=g;j++){
				int kk = ss;
				ss = ss+((T-tt)/a)+1;
				//cout<<j<<" "<<ss<<" "<<T-tt<<" "<<((T-tt)/a)<<" "<<((T-tt)%a==0)<<"ff\n";
				dp[g] = max(dp[g-j]+min(ss-stop[i],stop[i+1]-stop[i]),dp[g]);
				tt = stop[i]*b+(ss-stop[i])*c;
				if(tt>T) break;
			}
			//cout<<i<<" "<<g<<" : "<<dp[g]<<"\n";
		}
		//cout<<"\n";
	}
	cout<<dp[k]+(((n-1)*b)<T)-1<<"\n";
	return 0;
}
Compilation message (stderr)
semiexpress.cpp: In function 'int main()':
semiexpress.cpp:27:9: warning: unused variable 'kk' [-Wunused-variable]
   27 |     int kk = ss;
      |         ^~| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |