printf("""TFOURTEEN
H%1$s F
I%1$s I
R%1$s F
T%1$s T OTWO
E%1$s E N T
E%1$s E E H
N%1$s NZERO R
TWELVEE%1$s E
%1$sL FOURE
%1$sE F
%1$sV I
%1$sE V
%1$sN SIXE
NTEN S
I E
N V
E E
EIGHTN"""," "*6)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).