Thanks for the help guys, but none of those are vectorized.
If you don't know the difference between RASTER and VECTOR, here is a little explanation.
RASTER files, like jpegs and gifs, are based on pixels. When you zoom in on them, you can wasily see the jaggedness of the pixels...