projects from Analysis and Synthesis of Algorithms