formulas.elf nnf.elf