SEQ198

Con số $198$ có gợi cho bạn điều gì không? Khi học lịch sử Việt Nam, Vinh biết rằng ngày $19$-$8$-$1945$ là ngày Tổng khởi nghĩa, ngày nhân dân cả nước ta nhất tề đứng lên làm cuộc Cách mạng Tháng Tám vĩ đại. Hiện nay, $198$ được đặt tên cho nhiều bệnh viện, công viên, đường phố trong cả nước. Con số này đã gợi ý cho Vinh khảo sát dãy số $\text{SEQ198}$ sau đây:

Dãy số nguyên không âm $a_1,a_2,\dots ,a_n$ được gọi là dãy $\text{SEQ198}$ nếu không tồn tại hai chỉ số $i$ và $j$ $(1\le i,j\le n)$ mà $a_i-a_j$ hoặc là bằng $1$ hoặc là bằng $8$ hoặc là bằng $9$.

Ví dụ:

• Dãy số nguyên $1,3,5,7$ là dãy $\text{SEQ198}$.
• Dãy số nguyên $7,3,5,1,9,21$ không phải là dãy $\text{SEQ198}$ bởi vì có hai phần tử $1$ và $9$ có hiệu $9-1=8$. Tuy nhiên, sau khi xóa bớt phần tử $1$, ta thu được dãy $7,3,5,9,21$ là một dãy $\text{SEQ198}$.

Vinh quan tâm tới bài toán sau đây: cho dãy số nguyên không âm $b_1,b_2,\dots ,b_m$, hãy tìm cách loại bỏ một số ít nhất phần tử của dãy để được dãy còn lại là $\text{SEQ198}$.

Yêu cầu: Hãy giúp Vinh giải quyết bài toán đặt ra.

Dữ liệu vào

• Dòng đầu chứa số nguyên dương $m$.
• Dòng thứ hai chứa $m$ số nguyên không âm $b_1,b_2,\dots ,b_m$ $(b_i\le {10}^9)$.

Dữ liệu ra

In ra số nguyên $k$ là số phần tử bị loại bỏ. In ra $0$ nếu dãy đã cho là $\text{SEQ198}$.

Ràng buộc

• $1\le m\le 2000$;
• $0\le b_i\le {10}^9$.

Subtasks

• Subtask 1 ($50\%$ số test, $50\%$ số điểm): $m\le 20$;
• Subtask 2 ($50\%$ số test, $50\%$ số điểm): $m\le 2000$.

Ví dụ