Hi,

When I unzip it, I get a folder "Graph" with one file named "Graph", without extension.
When I unzipped that file also, I get the files you mention.

So unzipping twice works for me.

@ Marcvanriet Thanks for sharing