Chợ nổi là một nét văn hóa lâu đời của Khu vực Đồng bằng sông Cửu Long, cũng là điểm du lịch đẹp mà nhiều đoàn tham quan ghé thăm. Đến với Chợ nổi bạn có thể thuê những chiếc xuồng tham quan mua sắm và thưởng thức các món ăn ngon đậm chất miền Tây.

Một đoàn khách tham quan có \(n\) người được đánh số thứ tự từ 1 đến \(n\), du khách thứ i có cân nặng là \(a_{i}\). Do hiện tại có nhiều du khách nên đoàn tham quan chỉ thuê được một chiếc xuồng có tải trọng là \(k\) và chỉ chở được hai du khách có cân nặng không được vượt quá \(k\) để đảm bảo an toàn cho du khách. Hướng dẫn viên muốn bố trí cho hai du khách xuống xuồng trước, các du khách còn lại sẽ chờ để xuống xuồng tham quan trong các lượt tiếp theo hoặc có thể tản bộ dọc theo bờ sông để tham quan và thư giãn.

Yêu cầu: Hãy cho biết có bao nhiêu cách chọn ra hai du khách bố trí xuống xuồng để tham quan mà vẫn phải đảm bảo an toàn (tổng cân nặng không vượt quá \(k\)).

Dữ liệu vào:

+ Dòng thứ nhất ghi hai số nguyên dương \(n,\ k\ (1\ \leq \ n,\ k\ \ \leq \ 10^{6})\).

+ Dòng thứ hai ghi \(n\) số nguyên dương \(a_{1},\ a_{2},\ ...,\ a_{n}\ (1\ \leq \ a_{i}\ \leq \ 10^{6},\ i\ = \ 1..n)\).

Kết quả:

+ Ghi một số nguyên dương là số cách chọn ra hai du khách bố trí xuống xuồng để tham quan mà vẫn phải đảm bảo an toàn.

Ví dụ:

Ràng buộc:

• Có 70% số test tương ứng 70% số điểm có \(n\ \leq \ 10^{3}\);

• Có 30% số test tương ứng 30% số điểm có \(n\ \leq \ 10^{6}\).