Details
unused -- ditto, a fresh mint set.
Further details
-----------------------------------