convert train.png -resize x30 train.gif
convert rail.png -resize x40 rail.gif
convert red.png -resize 20x red.gif
convert yellow.png -resize 20x yellow.gif
convert green.png -resize 20x green.gif
convert station.png -resize 200x station.gif
