Đề 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é.

INPUT

Dòng 1 chứa hai số nguyên dương ~n \le 1000, l \le 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

Độ dài các đoạn dây không quá ~10^9~

OUTPUT

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