How much in credits did companies redeem against each type of tax?