题目描述

学校食堂推出了一份午餐搭配表。午餐需要从三个区域中各选一样：主食区、小菜区和饮品区。每个区域都有 $n$ 种可选项目，每个项目都有一个正整数价格。

老师想统计一共有多少种搭配方式，使得三样东西的总价格不超过预算 $s$。如果两种搭配在任意一个区域选到的项目编号不同，就认为是不同的搭配方式。也就是说，即使两个项目价格相同，只要它们在表中的编号不同，也要分别计算。

输入格式

第一行输入两个整数 $n$ 和 $s$，表示每个区域的项目数量和预算上限。

接下来三行，每行包含 $n$ 个正整数，依次表示主食区、小菜区、饮品区中各项目的价格。

输出格式

输出一个整数，表示总价格不超过 $s$ 的午餐搭配数量。

样例

3 11  
3 4 5  
3 4 5  
3 4 5

10

2 2  
1 1  
1 1  
1 1

0

提示

样例解释

样例 $1$ 中，预算为 $11$。可以选择的价格组合包括：

• $3+3+3$，共有 $1$ 种；
• $3+3+4$，共有 $3$ 种；
• $3+3+5$，共有 $3$ 种；
• $3+4+4$，共有 $3$ 种。

因此答案为 $1+3+3+3=10$。

样例 $2$ 中，任意搭配的总价格都是 $1+1+1=3$，已经超过预算 $2$，所以答案为 $0$。

数据范围

对于 $30\%$ 的数据，$1 \le n \le 500$。

对于 $50\%$ 的数据，$1 \le n \le 1500$。

对于 $100\%$ 的数据，$1 \le n \le 5000$。

对于所有数据，$1 \le s \le 5000$，每个项目的价格均为不超过 $5000$ 的正整数。