axiom
	Z(120) X(acos(1.0/3.0)) Y(180) t;

rules 1
	t= [>(F+F+F+)<f+
            >(F+F+F+)<f+
            >(F+F+F+)<f+^+
            >(F+F+F+)<];
end