We converted the original PNGs to vector using Illustrator's image trace, then cleaned up some noise and removed some bits of pixelation before scaling them up and resaving them as raster.