def _part(f):
    """
    Return a character representing a partly-filled cell with proportion
    `f` (rounded down to width of nearest available character).
    """
    return [" ", "▏", "▎", "▍", "▌", "▋", "▊", "▉", "█"][int(9*f)]