FTX assets and liabilities are shown in the chart below - - https://medium.com/@DeMan01/a-hard-place-to-close-an-article-on-the-ftx-hard-to-sell-mystery-e986dd41bb2.
It claims, which the IRS estimated at that value, there is no way they will manage to get all the money from FTX with that claim, the funny thing is that it even considered failed capital gains taxes on the sums that were deposited on FTX, there is no way in hell any judge will agree with that.
It's IRS tactic as always, they file claims to every possible thing to have what to cut back when they are denied one after the other.
Besides, even that is nothing compared to the 1.7 trillion Blockfolio is asking for
Every single one of those including the claims between Ftx and Alameda will be dismissed one by one, contract claims, litigation claims, they will be lucky to get 5% of that value.
Not really, think of MtGox, BTC was priced at 20k last November before FTX closed, it's up almost 100%, they had recovered crypto assets worth 6.2 billion at November prices, double that, and once can think of getting even more (in $ terms of course) than it had at that time.