Unknown

The greater petrosal nerve is formed from -