solved python koans