Status of Filecoin Tokens Allocations

I own Filecoin tokens. Where are they allocated to? Coinlist?

Please advise as I want to ensure they are on a tradable exchange.