题目描述

约翰钓鱼 $h$ 小时（$12h$ 个单位时间，$5$ 分钟为一个单位时间），有 $n$ 个池塘，分布在一条直线上，依次为 $L_1$，$L_2$，$\dots$，$L_n$，从池塘 $L_i$ 到池塘 $L_{i+1}$ 要花去约翰 $t_i$ 个单位时间。约翰出发点为 $L_1$。

约翰可以任选若干个池塘垂钓，并且在每个池塘他都可以呆上任意个单位时间。

每个池塘的鱼会越钓越少。池塘 $L_i$ 在第一个单位时间内能钓到的鱼为 $F_i$，并且每过一个单位时间在单位时间内能钓到的鱼将减少一个常数 $d_i$，现在请你编一个程序计算约翰最多能钓到多少鱼。

输入格式

输入文件第一行为一个整数 $n$，第二行为一个整数 $h$，第三行为 $n$ 个用空格隔开的整数，表示 $F_i$，第四行为 $n$ 个用空格隔开的整数，表示 $d_i$，第五行为 $(n-1)$ 个用空格隔开的整数，表示 $t_i$。

输出格式

输出一个整数，表示约翰最多能钓到的鱼的数量。

2
1
10 1
2 5
2

31

数据规模与约定

$1\le h\le16$，$2\le n\le25$，$0\le F_i,d_i\le100$