[Leaning Right]

The Fed can print up $72 billion in credit lines with the push of a button

That's my uneducated guess. The Fed will not print money to explicitly pay off any of the debt, but they will issue "guarantees" for the loans.

Then when the loans go bad, the Fed will quietly pay off over a time line long enough that few will notice.

[quantumman]

The Fed will let these credit insurers handle this (or go broke doing so) and will not undertake a similar rescue analogous to the AIG debacle in 2008 which would have taken down the entire US financial system. AIG had several hundred billion of credit default swaps with shaky counterparties (Lehman, etc.). The AIG/Hank Greenberg case was adjudicated last week in favor of AIG/Greenberg against the Fed with zero dollars awarded as damages.