Fix result comments.
Remove used import.
Add level_13.py.