how to access Source Network file: pgp.xml.gz?

Is there an alternate link for the Source Network file ( pgp.xml.gz<http://graph-tool.skewed.de/static/performance/pgp.xml.gz&gt; )
for the performance test at http://graph-tool.skewed.de/performance
When I try the current link, it just gives me a webpage with content as
below, but no working links:

Performance: pgp.xml.gz
File pgp.xml.gz, 2.0 MB (added by tiago peixoto, 6 months ago)

Strongly connected component of the PGP network circa 2009.

HTML preview not available, since the file size exceeds 262144 bytes. Try
downloading the file instead.
Download in other formats:

    Original Format

attachment.html (868 Bytes)

Hi,

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

attachment.html (2.03 KB)

It is a _gzipped_ xml file... Either save it as .xml.gz or unzip it,
before trying to load it.

Cheers,
Tiago

Yes, I did that (used gunzip), it gave the error I noted. Could you post
the xml file itself in a reply here? thanks.

attachment.html (890 Bytes)

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.

attachment.html (1.18 KB)

I don't really understand why it would be "double-zipped"... I tried
downloading it myself, and it seems normally "single-zipped".

Cheers,
Tiago