#include<stdio.h>
#include<stdlib.h>
int main()
{
int n;
int cnt = 1;
scanf("%d", &n);
int *weight = (int *)malloc(sizeof(int) * n);
int *num = (int *)malloc(sizeof(int) * n);
for(int i=0; i<n; i++)
{
scanf("%d ", weight+i);
}
for(int i=0; i<n; i++)
{
scanf("%d ", num+i);
cnt += weight[i] * num[i];
}
int *sum = (int *)malloc(sizeof(int) * cnt);
sum[0] = 1;
for(int i=0; i<n; i++)
{
for(int j=0; j<num[i]; j++)
{
for(int k=cnt-1; k>=0; k--)
{
if(sum[k])
sum[k + weight[i]] = 1;
}
}
}
int count = 0;
for(int i=0; i<cnt; i++)
{
if(sum[i])
count++;
}
printf("%d\n", count);
free(weight);
weight = NULL;
free(num);
num = NULL;
free(sum);
sum = NULL;
return 0;
}