Class FormulasEncoder