axiom 
X(acos(1/3)) Z(120) Y(180) t;

rules 3
   t=[S(S/2)tff+tff+tff+>f+f-<t];  
end

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