P9712 "QFOI R1" Sticky

Little R is a cute girl. She hopes to get closer to the problem setter by writing solution posts for Luogu problems. She发现 that if she clicks the "Submit Solution" button on the solution page, the blog will automatically generate a URL identifier, which is the link to the post. The identifier is generated by the following rules: - Convert all uppercase letters in the problem ID to lowercase. - Replace all underscores in the result of the previous step with hyphens. - Add `solution-` in front of the result of the previous step. She is going to write a solution for a problem. Given the problem ID, can you compute the URL identifier?

One line, a string $s$, representing the problem ID.

One line, a string, representing the URL identifier.

**Explanation for Sample $3$** According to the generation rules: - Convert all uppercase letters in the problem ID to lowercase: `at_abc312_h`. - Replace all underscores in the result of the previous step with hyphens: `at-abc312-h`. - Add `solution-` in front of the result of the previous step: `solution-at-abc312-h`. --- **Constraints** This problem has $10$ test points, and each test point is worth $10$ points. For all data, the problem ID is guaranteed to contain only uppercase letters (ASCII $65\sim 90$), lowercase letters (ASCII $97\sim 122$), digits (ASCII $48\sim 57$), and underscores (ASCII $95$), and its length does not exceed $20$. For all data, the answer is required to contain only lowercase letters (ASCII $97\sim 122$), digits (ASCII $48\sim 57$), and hyphens (ASCII $45$). - For test point $1$: it is guaranteed to be a Main Problem Set problem. - For test point $2$: it is guaranteed to be an Intro & Interview problem. - For test points $3\sim 4$: it is guaranteed to be a CodeForces problem. - For test points $5\sim 6$: it is guaranteed to be a SPOJ problem. - For test points $7\sim 8$: it is guaranteed to be an AtCoder problem. - For test points $9\sim 10$: it is guaranteed to be a UVA problem. Translated by ChatGPT 5