Table schema:
CREATE TABLE table_name_50 (downhill_points INTEGER, total VARCHAR)

Question: What are the downhill points for the skier with total of 9.31 points?
SQL: SELECT SUM(downhill_points) FROM table_name_50 WHERE total = "9.31"