base F
rule F FF-[-F+F+F]+[+F-F-F] FF-[-F+F]+[+F-F] FF-[-F]+[+F]