axiom
	S(10) A(90) t ;

rules 3
	t=S(S/3)tftft+f-t+f-tbtbt-f+t-f+S(S*3);
end

rules 1
	t= S(S/3)f+f-F+F+F+F+b-f+S(S*3);
end