/*
这题卡常数....
二进制优化或者单调队列会被卡
必须+上个特判才能过QAQ
单调队列维护之前的钱数有几个能拼出来的
循环的时候以钱数为步长
如果队列超过c[i]就说明队头的不能再用了 拿出来
时刻维护sum表示之前的+v[i]能凑出j来的有几种
注意先进队在更新f
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#define maxm 100010
#define maxn 110
using namespace std;
int n,m,v[maxn],c[maxn],f[maxm],ans,q[maxm],head,tail,sum;
int main()
{
for(;;){
scanf("%d%d",&n,&m);
if(n==&&m==)break;ans=;
for(int i=;i<=m;i++)f[i]=;f[]=;
for(int i=;i<=n;i++)scanf("%d",&v[i]);
for(int i=;i<=n;i++)scanf("%d",&c[i]);
for(int i=;i<=n;i++){
if(v[i]*c[i]>=m){
for(int j=v[i];j<=m;j++)
if(f[j-v[i]]&&f[j]==){
ans++;f[j]=;
}
continue;
}
for(int s=;s<v[i];s++){
head=,tail=,sum=;
for(int j=s;j<=m;j+=v[i]){
if(tail-head+>c[i]){
sum-=q[head];head++;
}
q[++tail]=f[j];sum+=f[j];//这里先进队 就是说保证这些队列的f都是上一匹物品更新来的
if(sum&&f[j]==){
ans++;f[j]=;
}
}
}
}
printf("%d\n",ans);
}
return ;
}