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

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.