12 smaller PNG files.

Out of boredom I used zopfli-png to losslessly compress all the images.Only these 12 became smaller

They should decompress to the same image.