awk "$0=($1+1)*$1/2"