usr/lib/open-axiom/algebra/*.daase
usr/lib/open-axiom/algebra/*.text
usr/lib/open-axiom/algebra/*.DAASE