CREATE TABLE table_name_50 (downhill_points INTEGER, total VARCHAR(255))
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"