Formal_Lie_713