Output format

TODO

Should also describe the intermediate output that’s printed in the terminal.