I suggest you to add more information about your tokens or coins. Well, I see above there two cryptos: AST coin and ASTC token. What is the differences between them? And why do you create coins and also tokens? Do you have a specific reason?
The only token available is ASTC token. There are 125M in total. The previous token was named AST, but due to the smart contract requirements (to instantly swap the token for ETH), we have to change the name of the token from AST to ASTC (AirsaveTravelCoin)