Вы могли бы просто сделать это с помощью sed.
$ sed 's/\(.*\)/\1\n\1\n\1/g' file 888 888 888 924 924 924 873 873 873 1374 1374 1374