$ cat 1159573.out
10 values; max: 10; avg: 5.5