Thanks for fixing the link. I can now download the 12MB file, but still
can't load it in graph-tool (after extracting to pgp.xml):
Also, it doesn't appear to be in xml, but rather a binary file.
g = load_graph("pgp.xml")
File "/usr/lib/python2.7/dist-packages/graph_tool/__init__.py", line
1939, in load_graph
g.load(file_name, fmt, ignore_vp, ignore_ep, ignore_gp)
File "/usr/lib/python2.7/dist-packages/graph_tool/__init__.py", line
1695, in load
ignore_ep, ignore_gp)
IOError: error reading from file 'pgp.xml':basic_ios::clear
OK, I got it to work. Sorry.
For some reason i had to gunzip it twice, that is: gunzip pgp.xml.gz to
pgp.xml, then rename pgp.xml to pgp.xml.gz and gunzip that.