awk ワンライナー : 数字を全て足し算して合計を出力