How Many Formulas Are There In Abacus