print('TFOURTEEN0H8F0I8I0R8F0T8T4OTWO0E8E4N3T0E8E4E3H0N8NZERO3R0TWELVEE9E07L5FOURE07E5F07V5I07E5V07N2SIXE04NTEN2S04I5E04N5V04E5E04EIGHTN'.replace(/\d/g,function(a)+a?Array(+a).join(' '):'\n'))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).