MAGIC057: Spectral Theory of Ordinary Differential Operators