Convert images:
From: PPM
To: GIF
Create a sha1 file.