Tăng trưởng doanh thu

Một công ty được thành lập từ năm $2001$. Doanh thu của công ty trong năm $2000+i$ là $a_i$ (tỉ đồng), có thể âm nếu năm đó thua lỗ.

Để trình bày một biểu đồ tăng trưởng "hoàn hảo", ta muốn chọn ra một dãy các năm $y_1<y_2<\dots <y_k$ sao cho:

• Doanh thu năm $y_1$ đúng bằng $1$,
• Doanh thu năm $y_2$ đúng bằng $2$,
• ...,
• Doanh thu năm $y_k$ đúng bằng $k$.

Nói cách khác, các giá trị doanh thu tại những năm được chọn (theo thứ tự thời gian) phải đúng bằng $1,2,3,\dots ,k$. Hãy chọn dãy năm dài nhất thỏa mãn điều kiện trên.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$: số năm.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$: doanh thu của công ty trong các năm $2001,2002,\dots ,2000+n$.

Dữ liệu ra

• Dòng đầu in số $k$: độ dài lớn nhất của dãy năm hoàn hảo.
• Nếu $k>0$, dòng thứ hai in $k$ năm $y_1,y_2,\dots ,y_k$ theo thứ tự tăng dần, cách nhau bởi dấu cách. Nếu có nhiều đáp án, in ra bất kỳ đáp án nào.
• Nếu không tồn tại dãy nào (tức không có năm nào doanh thu bằng $1$), in ra một số $0$.

Ràng buộc

• $1\le n\le 100$
• $-100\le a_i\le 100$

Ví dụ