converted python sol