Program for automatic synthesis

3