Wallis file
Finite sums file
Non-linear recurrence file
valuation file
even-odd file