-- Testing the reverse function from Prelude
--
import System.Environment

main = do
   args <- getArgs
   let n = read (args !! 0):: Int in
      do 
         putStr "n = " 
         print  n  
         putStr "sum = " 
         print ( sum ( reverse [1..n] ) )