Knuths Algorithm x