Does it equal the premium tax credit amount, or the amount the taxpayer paid after the allowable credit?