The 40% ? Of the State owned by the Feds remains US property.
I don’t know if I’d even insist on that. Maybe keep some military bases, a la Guantanamo.