Dyson’s Algorithm for the Twelve Coins Problem