That is why the SPS would be considered "repaid." keep in mind, a court order changes everything... the Judgement Fund:
"The Judgment Fund was established to pay court judgments and Justice Department compromise settlements of actual or imminent lawsuits against the government. ... The Judgment Fund is a permanent, indefinite appropriation available to pay judicially and administratively ordered monetary awards against the United States."