reddcoin magic numbers