Inside the stadium, the crowd in the auditorium sang cheerful songs cheering.