OK, let’s see. The first link says “You have successfully migrated your AE tokens to Mainnet.” - sounds promising, and the tokens were migrated to
ak_kPmNNeggffuR9CVQBQ72KgrjJ3zd8SRPCyF6rStgWW4qbaFTy. (The migrated amount of 0.0 AE looks a bit less promising, but let’s stay positive!)
Let’s check the status of 0x725c7ff5d63254482b27c3a1823ac42541af0d58 at the token migration status page - it says that the tokens were indeed migrated, and the amount is roughly 1390 AE. The migration took place in transaction th_223wxMoGbxu55vQiFZvSmEgnGX45XREwphAdK5EAA5MwD3BKKV at height 265686.
Now let’s check the receiving account ak_kPmNNeggffuR9CVQBQ72KgrjJ3zd8SRPCyF6rStgWW4qbaFTy - it doesn’t list the token migration itself (since it happened inside a contract) but there is one transaction listed, that transfer roughly 1390 AE out of the account at height 265704 - so it seems plausible that the account indeed received the migrated tokens.
Finally I can ask my node about the balance change of
ak_kPmNNeggffuR9CVQBQ72KgrjJ3zd8SRPCyF6rStgWW4qbaFTy at height 265686:
([email protected])33> BalanceDiff(265686, <<"ak_kPmNNeggffuR9CVQBQ72KgrjJ3zd8SRPCyF6rStgWW4qbaFTy">>).
It received the correct amount at this height, so to me it seems that the migration was successful.