Có n đoạn dây xanh, n đoạn dây đỏ, n đoạn dây tím và n đoạn dây vàng. Độ dài các đoạn dây được cho trước. Mỗi bé được cho một số nguyên L và cần cho biết có bao nhiêu cách chọn đúng 1 đoạn dây xanh, 1 đoạn dây đỏ, 1 đoạn dây tím và 1 đoạn dây vàng để nối lại thành một sợi dây trang trí có độ dài bằng L. Hai cách chọn được gọi là khác nhau nếu có đoạn dây được chọn trong một cách nhưng không được chọn trong cách còn lại.

Yêu cầu: Viết chương trình tìm đáp án để chấm cho các bé.

Dữ liệu

• Dòng 1 chứa hai số nguyên dương n≤1000; L≤〖10〗^9

• Dòng 2 chứa n số nguyên dương là độ dài n đoạn dây xanh

• Dòng 3 chứa n số nguyên dương là độ dài n đoạn dây đỏ

• Dòng 4 chứa n số nguyên dương là độ dài n đoạn dây tím

• Dòng 5 chứa n số nguyên dương là độ dài n đoạn dây vàng

Các số trên một dòng của input file được ghi cách nhau bởi dấu cách, độ dài các đoạn dây không quá 〖10〗^9

Kết quả:

Ghi một số nguyên duy nhất là số cách chọn tính được

Sample Input

3 28
1 1 1
1 1 1
10 11 12
13 14 15

Sample Output

18