(dubao.*)

Thuở xa xưa, khi con người sống hài hòa với thiên nhiên, thời tiết rất ấm áp, không quá lạnh cũng không quá nóng. Theo thời gian, với công cuộc công nghiệp hóa, hiện đại hóa, thiên nhiên bị tàn phá nghiêm trọng do hiệu ứng nhà kính, do khí thải công nghiệp, do ô nhiễm môi trường… khí hậu cũng dần dần khắc nghiệt hơn, có những ngày thời tiết rất nóng và rất lạnh. Để đối phó với thời tiết khắc nghiệt đó con người tìm cách dự báo thời tiết. Ta gọi ngày lạnh giá là ngày có nhiệt độ dưới 0⁰C, \(t\) ngày lạnh giá liên tiếp giữa những ngày không lạnh giá gọi là một giai đoạn lạnh giá \(t\). Theo tính toán thì ta có thể dự báo giai đoạn lạnh giá nhiều nhất \(2t\) ngày trước khi nó diễn ra. Ngoại lệ, với giai đoạn lạnh giá độ dài \(t\) dài nhất thì có thể dự báo nhiều nhất \(3t\) ngày trước khi nó bắt đầu. Nếu có nhiều giai đoạn lạnh giá cùng độ dài lớn nhất thì chỉ được chọn một giai đoạn theo quy tắc \(3t\). Trong những ngày lạnh giá thì không thể nói là dự báo cho những ngày lạnh giá này vì nó đang diễn ra, nhưng bạn có thể dự báo về giai đoạn lạnh giá trong tương lai theo quy tắc trên.

Yêu cầu: Cho nhiệt độ \(n\) ngày (theo ⁰C) liên tiếp, tìm số ngày tối đa trong thời gian đó mà có thể dự báo về giai đoạn lạnh giá.

Dữ liệu vào:

• Dòng đầu tiên chứa số nguyên \(n\ (1 < \ n\ < \ 10^{5})\).

• Dòng tiếp theo chứa \(n\) số nguyên (có giá trị tuyệt đối không quá 100) thể hiện nhiệt độ của \(n\) ngày.

Kết quả: Một số duy nhất là số ngày dự báo tìm được.

Ví dụ:

Giải thích test 1: