Are Department of Justice liens extinguished at foreclosure sale ?

[Martin M.]

If a DoJ lien is filed AFTER the foreclosing party’s lien – is the DoJ lien extinguished at the foreclosure sale (no longer attached to the property) ?

For example, foreclosing mortgage lender lien recorded in 2005 and DoJ lien recorded 2007.

If the answer is yes – is the DoJ redemption period 12 months from the date of the foreclosure sale?

Side note, I’m aware of the rules for IRS liens, e.g. they’re senior if recorded before foreclosing party and junior if recorded after, w/ 120 day redemption.

Thanks in advance to anyone that responds