chiark / gitweb /
Output dissection in the same format as partition.py.