1 2 3 4
Reads a polyhedron file on stdin, counts the rows, and outputs an equivalent file with a corrected row count.