open import Examples.API
open import Examples.NormRational
open import Examples.PendulumCoefficients
open import Examples.Paper