Ignore agdai files.
Defined ordered lists of naturals.