Actually I think rpi clone can clone down to a smaller sd card
https://github.com/billw2/rpi-clone
You could clone down to like a 4 gig SD card, and then back up that SD card.