#include<iostream>

 #include<cstdio>

 #include<cctype>

 #include<vector>

 using namespace std;

 int ans;

 vector<int>fish,lesss,t;//每个湖第一个 5 分钟能钓到鱼的数量，每个湖每钓鱼5分钟较前5分钟钓的鱼数减少的数量，如题意

 vector<int>get,tmpfish;//从第一个湖走到第i个湖所需时间，每个湖的当前5分钟能钓到的鱼数 

 char ch;

 inline int read()//快读（亦名读入优化）

 {

     ans=;

     ch=getchar();

     while(!isdigit(ch)) ch=getchar();

     while(isdigit(ch)) ans=(ans<<)+(ans<<)+ch-'',ch=getchar();

     return ans;

 }

 inline void init()//初始处理动态数组，因为希望动态数组的下标从1开始

 {

     fish.push_back();

     lesss.push_back();

     t.push_back();

     get.push_back();

     get.push_back();//注意get数组在主函数是从下标为2的开始处理的，因此需要多填一个0。

     tmpfish.push_back();

 }//为什么要填0？为了与普通全局数组的性质相同（定义时默认全初始化为0） 

 int main()

 {

     init();

     int n=read(),h=read()*;

     for(int i=;i<=n;i++) fish.push_back(read());

     for(int i=;i<=n;i++) lesss.push_back(read());

     for(int i=;i<n;i++) t.push_back(read());

     for(int i=;i<=n;i++) get.push_back(get[i-]+t[i-]);

     int mava,mapo,tmphours,matot=;//当前贪心找到的最大值，当前贪心找到的最大值对应的下标（即湖的编号），当前纯钓鱼时间，最后的答案。

     for(int i=;i<=n;i++) tmpfish.push_back();

     for(int k=;k<=n;k++)

         if(h>get[k])

         {

             tmphours=h-get[k];//可用的纯钓鱼时间

             for(int i=;i<=k;i++) tmpfish[i]=fish[i];//初始化

             int sum=;//记录的当佳佳最后停在第k个湖时的当前答案

             while(tmphours>)

             {

                 mava=-;

                 mapo=;

                 for(int i=;i<=k;i++)//贪心选择

                     if(mava<tmpfish[i])

                     {

                         mava=tmpfish[i];

                         mapo=i;

                     }

                 if(mava<=) break;//没鱼可钓就直接退出

                 sum+=mava;

                 if(tmpfish[mapo]>lesss[mapo]) tmpfish[mapo]-=lesss[mapo];

                 else tmpfish[mapo]=;

                 tmphours--;

             }

             if(sum>matot) matot=sum;

         }

         else break;

     printf("%d",matot);

     return ;

 }