Another theory is that the feds allowed Mark to withdraw a part of his bitcoins, remmeber that so far this is the theory that makes most sense.
Maybe. However when they made their statement, they claimed that the DHS seizure was ~$5mil worth of assets. These are over $150million and these wallets weren't "counted" when they released their assets/liability claims.