Results for #hariraya2023