add the output of the last example of Input Formats