Refactored problem 13256's main.py.