You and I may assume it's "not entitled to do so" (FDIC) -- but until it's adjudicated or settled, yes they do have the right to a claim.
So, since the debtor has not challenged the FDIC-R's claims, they are treated -- by the law and the system -- as valid claims.
It's been discussed ad-nauseam about their claims, etc.
I suggest you look at the history of posting, and/or, look up their claims in the KCCLLC claims register.
And/or read the Disclosure Statement about their claims, and what is begin settled.
And lastly, it is FDIC-R that filed claim(s). Per James Berg, the FDIC-C did not file claim(s). And I think he's right about that.
...Catz