During the delisting process, holders of OPEN.PPC token would be able to contact OpenLedger team and the team will manually return the tokens to the holders. The process: https://openledger.freshdesk.com/support/solutions/articles/33000218596-one-of-my-coins-will-be-delisted-what-should-i-do-
There are 4172.412558 PPC remaining in the gateway.