加载用户数据并统计角色分布

def solve():
    from pyodide.http import open_url
    from io import StringIO
    import pandas as pd
    csv_data = open_url('https://data.zuihe.com/dbd/ms-edulive/state_00/users.csv').read()
    df = pd.read_csv(StringIO(csv_data))
    result = df['role'].value_counts()
    for role, count in result.items():
        print(f'{role}: {count}')