usr/lib/open-axiom/input