Output in the format described in the paper.