The 512 px version was exported from inkscape. The smaller versions
were rescaled in gimp. They were all compressed with pngcrush.

These could be a bit smaller with a white background.