add initial axiom-math archives