axiom # G(-2.74976, -3.78472, 6.12381) X(acos(tau/(tau+2))) Z(36) S(20) # d; rules 2 d=[h df++df++df++df++df++ [[>---f++d]f++ [>---f++d]f++ [>---f++d]f++ [>---f++d]f++ [>---f++d]f++] +++f--f<++f++f>--f--f<++ df++df++df++df++df++ [[>---f++d]f++ [>---f++d]f++ [>---f++d]f++ [>---f++d]f++ [>---f++d]]]; end rules 1 d=[hp [[>---p]f++ [>---p]f++ [>---p]f++ [>---p]f++ [>---p]] +++f--f<++f++f>--f--f<++ p [[>---p]f++ [>---p]f++ [>---p]f++ [>---p]f++ [>---p]]]; end rules 1 p=[(F++F++F++F++F++)]; h=#S(S*sin(18)/cos(36)*tan(35.75))#; end