-парою рядка символів називається пара літер, що знаходяться на відстані одна від одної. Рядок вважається -унікальним, якщо всі його -пари різні. Рядок називається унікальним, якщо він є -унікальним для кожної можливої відстані .
Розглянемо рядок ZGBG. Його -парами є ZG, GB та BG. Оскільки всі три пари різні, ZGBG є -унікальним. Аналогічно, -парами для ZGBG є ZB та GG, і оскільки ці дві пари різні, ZGBG є -унікальним. Нарешті, єдиною -парою рядка ZGBG є ZG, тому ZGBG є -унікальним. Таким чином, рядок ZGBG є дивовижним (зауважте, що ZG є одночасно і -парою, і -парою рядка ZGBG, оскільки і - різні відстані).
Складається з одного або кількох рядків, кожен з яких містить не більше великих літер. Останній рядок містить зірочку, що означає кінець вхідних даних.
Для кожного рядка символів виведіть, чи є він дивовижним у форматі, вказаному в прикладі.
Приклад 1