统计场景执行频率排名

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-smarthome/state_02/scenes.csv').read()
    df = pd.read_csv(StringIO(csv_data))
    result = df.sort_values('exec_count', ascending=False)[['name', 'exec_count']]
    for _, r in result.head(5).iterrows():
        print(f"{r['name']}: {r['exec_count']}次")