base (5)!(100)F
rule (x)F (x)F[!+(2*x/3)F<g(5)L>][!-(2*x/3)F<g(5)L>] (x)F[!-(2*x/3)F<g(5)L>]!(1*x/2)F<g(5)L> (x)F[!+(2*x/3)F<g(5)L>]!(1*x/2)F<g(5)L>