The proof is not completely rigorous, but it should be close while being kinda concise and humanly understandable.
Solution: CodeForces R. 769 Div. 2 C — Strange Test
The proof is not completely rigorous, but it should be close while being kinda concise and humanly understandable.