Title: A user's manual for the Automatic Synthesis Program