Added synthesis scripts