Lie_product_formula loading ...