Đề thi vào trường mẫu giáo SuperBabies khá đơn giản: 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 vào

• 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 ra một số nguyên duy nhất là số cách chọn tính được

Ràng buộc

• Ít nhất ~ 40% ~ số điểm ứng với các test có ~ n ≤ 50 ~

Ví dụ:

Input 1

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

Output 1

18