How many cups of shredded cabbage head after its cooked?

If there are 8 cups of shredded cabbage in a head, after it's cooked down it would probably cook down to at least half or three times size yielding 4 to 3 cups.