How did you come up with the 9,000,000 total coins figure? Should be under a million based on the schedule in the OP.