Well, this quite simple code of mine doesn't only produce the expected output but also fully coincides with the suggested solution (I checked it line by line). Still, it does not pass the verification. Could there be a bug?