https://en.wikipedia.org/wiki/Fannie_Mae
Fannie Mae is a publicly-traded, privately-owned corporation, despite being federally chartered for a public mission.
So, yes, their holdings are not counted in government holdings, because they aren't the government.
Which is why, their stock is worth a lot less than even their own book value.
https://en.wikipedia.org/wiki/Fannie_Mae