Based on the paper which says $175 billion, inflation calculation says it’s worth approx $344 billion.
I would wager that Fed owned mineral and resource rights range over a trillion ++.