Topology files taken from http://www.topology-zoo.org/dataset.html.
