Thanks, yes, I upscaled them from the original tiny sprites by firstly using an automatic pixel art scaling algorithm and then manually fine tuning them, which of course took most time, a lot longer than I expected.
