Those numbers are in the rough ballpark of what I expected (except that it's missing ~1B FUN that is supposed to be "locked"?).
Maybe the missing amount is related to the APY paid by Freebitco team to the FUN token holders. They are providing 25% APY to the locked FUN tokens amount of the users since 2021. Seems like they haven't bought and transferred the FUN tokens to their cold wallet address which they have paid as interest. Otherwise, the amount is on their hot wallet address or in an exchanger.