Mùa giáng sinh, người người nhà nhà đều dẫn gấu đi chơi...

Bên cạnh đó, vẫn đó những con người cô đơn giữa mùa đông lạnh giá, cụ thể là Tèo. Tèo cảm thấy quá cô đơn nên đã nghĩ ra một trò chơi để thách thức đám bạn. Tèo cung cấp một dãy gồm ~n~ số nguyên ~a_1, a_2, \dots, a_n~, người chơi có thể loại bỏ nhiều nhất một dãy con gồm ~x~ phần tử liên tiếp trong dãy ban đầu. Tìm độ dài của dãy con liên tiếp tăng nghiêm ngặt dài nhất.

Ghi chú: Dãy tăng nghiêm ngặt có ~k~ phần tử là dãy có các phần tử thỏa mãn điều kiện: ~b_1 < b_2 < \dots < b_k~.

Dữ liệu vào

• Dòng đầu tiên chứa hai số nguyên ~n, x~ ~(1 \le n \le 10^6, 1 \le x \le n)~.
• Dòng thứ hai chứ ~n~ số nguyên ~a_1, a_2, \dots, a_n~ ~(1 \le a_i \le 10^6)~.

Kết quả ra

• Một dòng duy nhất chứa độ dài dãy con liên tiếp tăng nghiêm ngặt dài nhất.

Ràng buộc

• Có ~30\%~ số test ứng với ~1 \le n \le 5000~.
• Có ~30\%~ số test ứng với ~x = 0~.
• Còn lại ~40\%~ số test không có ràng buộc gì thêm.

Ví dụ

Dữ liệu vào

5 2
1 7 5 9 8 

Kết quả ra

3

Giải thích

• Ta có thể loại bỏ đoạn con 5 9, dãy còn lại là 1 7 8.
• Dễ thấy, 1 7 8 là dãy con tăng nghiêm ngặt dài nhất.