type 4 civilization cryptogalaxies: galaxies full of abandoned dyson spheres with depleted stars for crypto mining.