axiom
#
   G(0,0.813)
   A(144)
   S(5) 
   W(0.01)
   P(0.5,0,1)
#
   ttttt;

rules 6
   t=F#S(S/(1+tau))#tttt #S(S*(1+tau))#F;
end

rules 1
  t=F-F;
end