New output format, and faster file I/O thanks to Jeroen.