axiom
#  G(-2, -2.75276, 4.45407)
   X(acos(tau/(tau+2)))
   Y(180)
   Z(36)
   S(4);
#
   c;

rules 3
   c=[
      px
       [
        [>---px]f++
        [>---px]f++
        [>---px]f++
        [>---px]f++
        [>---px]
       ]
       +++f--f<++f++f>--f--f<++
       px
       [
        [>---px]f++
        [>---px]f++
        [>---px]f++
        [>---px]f++
        [>---px]
       ]
     ];
   x=[+ #S((S/2)/cos(36))# f
        #S(2*cos(72)*S)# f ^ c];
end

rules 1
   p=[(F++F++F++F++F)];
   c=;
   x=;
end