Очевидно, что если число открывающих не равно числу закрывающих, то раз описанная операция не меняет их количество, получить правильную последовательность будет невозможно.

Обозначим нашу последовательность за $$$s_1\dots s_n$$$. Тогда пусть $$$p_i$$$ — префиксный баланс на первых $$$i$$$ символах, то есть разность между количеством открывающих и закрывающих.

Рассмотрим позицию $$$i$$$, такую, что $$$p_i \leq 0, p_{i+1} < 0$$$

*решение не дописано*