Instruct: What is the sum of all total values for Switzerland?
Output: SELECT SUM Total FROM table WHERE Nation = switzerland