lecture-5-synthesis.tar