Xoá ít nhất để đẹp

Cho mảng $a$ gồm $n$ số nguyên, mỗi phần tử là một trong sáu giá trị: $4,8,15,16,23,42$.

Một mảng độ dài $k$ được gọi là đẹp nếu $k$ chia hết cho $6$ và có thể chia mảng thành $k/6$ dãy con (không nhất thiết liên tiếp) sao cho mỗi dãy con có giá trị đúng theo thứ tự là $4,8,15,16,23,42$.

Hãy tìm số phần tử ít nhất cần xoá khỏi $a$ để mảng còn lại trở nên đẹp. Khi xoá xong, các phần tử còn lại giữ nguyên thứ tự ban đầu.

Lưu ý: mảng rỗng (sau khi xoá hết) cũng được xem là đẹp.

Dữ liệu vào

• Dòng 1: số nguyên $n$ — số phần tử của mảng.
• Dòng 2: $n$ số nguyên $a_1,a_2,\dots ,a_n$, mỗi số là một trong $\{4,8,15,16,23,42\}$.

Dữ liệu ra

Một số nguyên duy nhất — số phần tử ít nhất phải xoá.

Ràng buộc

• $1\le n\le 5·{10}^5$
• $a_i\in \{4,8,15,16,23,42\}$

Ví dụ