In the event of a bankruptcy, how is recovery money allocated?

Municipal liens related to real property have first priority, followed by any Colorado C-PACE payments in arrears, followed by non-real property municipal liens and assessments, followed by the first mortgage holder.