STOC 2025 is over, thank you for coming!