The government was the big winner with a $230M take-home. (taxes)
It isn't really 230M in taxes. Some of it is taxes, some of it is lump-sum reduction.