Làm rối mã nguồn

Một chương trình gốc chứa nhiều tên biến (mỗi tên là một dãy ký tự, chương trình không dùng tên biến chỉ có một chữ cái). Người ta làm rối chương trình bằng cách sau: xét tên biến đầu tiên xuất hiện, thay mọi lần xuất hiện của nó bằng chữ cái $a$; rồi xét tên biến tiếp theo chưa được thay, thay mọi lần xuất hiện của nó bằng chữ cái $b$; cứ như vậy dùng lần lượt $a,b,c,\dots$ theo đúng thứ tự bảng chữ cái. Chương trình có nhiều nhất $26$ tên biến khác nhau.

Sau khi làm rối, người ta xoá hết dấu cách và ký tự xuống dòng, thu được một xâu $S$ gồm các chữ cái thường. Cho xâu $S$, hãy kiểm tra xem $S$ có thể là kết quả của quá trình làm rối nói trên hay không.

Nói cách khác, $S$ hợp lệ khi và chỉ khi: khi duyệt $S$ từ trái sang phải, một chữ cái mới chỉ được phép xuất hiện lần đầu nếu tất cả các chữ cái đứng trước nó trong bảng chữ cái đều đã xuất hiện trước đó. Đặc biệt, chữ cái xuất hiện đầu tiên trong $S$ (nếu có) phải là $a$.

Dữ liệu vào

Một dòng duy nhất chứa xâu $S$ gồm các chữ cái Latinh thường ($1\le |S|\le 500$).

Dữ liệu ra

In ra YES nếu $S$ có thể là kết quả của quá trình làm rối, ngược lại in ra NO (không có dấu ngoặc kép).

Ví dụ