axiom: YF
rule: +YF-F-F[-F+Y]
gen:1
+F[-F+Y]+YF-F--+YF-F--+YF-F-[-+YF-F-+F[-F+Y]]
gen:2
++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]
gen:3
++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-
F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-
F--+YF-F---[-++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-
F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]]
gen:4
+++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F---[-++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-
F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]]++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F-----++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-
F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F-----++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F----[-++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F----+++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F---[-++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-
F-+F[-F+Y]]]]] gen:5 +++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-
F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F----[-++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F----+++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F---[-++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-
F-+F[-F+Y]]]]]+++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F---[-++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F---++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]]++F[-F+Y]+YF-
F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-
F--+YF-F-----++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F------+++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F---[-++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-
F-+F[-F+Y]]]]++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F-----++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F------+++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F---[-++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F---++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]]++F[-F+Y]+YF-
F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-
F--+YF-F-----++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F-----[-+++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F---[-++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-
F-+F[-F+Y]]]]++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F-----++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F-----+++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-F--+YF-F--++YF-
F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F----++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-
F--+YF-F---+F[-F+Y]+YF-F--+YF-F----[-++F[-F+Y]+YF-F--+YF-
F--[-+F[-F+Y]+YF-F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]++YF-F-[-+YF-
F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-F----++YF-
F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-F--+YF-
F----+++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-F---+F[-F+Y]+YF-
F--+YF-F---[-++YF-F-[-+YF-F-+F[-F+Y]]+F[-F+Y]+YF-F--+YF-
F---+F[-F+Y]+YF-F--+YF-F---++F[-F+Y]+YF-F--+YF-F--[-+F[-F+Y]+YF-
F--+YF-F--++YF-F-[-+YF-F-+F[-F+Y]]]]]]
