fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val n = readInt () val a_s = List.tabulate (n, fn _ => readInt ()) val ans = foldl (fn (acc, x) => acc + x) 0 a_s in print (Int.toString ans) end