Anleitung der enumerativen Programmsynthese mit großen Sprachmodellen