a:srslsrsa la
a(X):Xa(XXrs) a(l)
a(X):XlXa(srs) a()
a(X):XXXXX a(la(a(s)r))
g(X):XXXXX d:g(s)l g(g(d)ddl)
a(A):sAsAsAAsa(sA) a(r)
a(X):XXXXsrsla(sX) a(sr)
a(X):XsrXrsa(sXs) a(sr)
a(X):XrX b(X):a(a(a(X)a(rrX)))b(ssX) b()
a(A,B,C):CCCCa(AssrBl,sB,AlA) a(l,,)
a(X,Y,Z):ZZZZa(sX,ssYX,YrY) a(,rs,)
w(X):XrX a(X):w(w(w(X)w(llX)))a(sX) a()
a(X,Y):Xa(Y,ssYYlX) a(l,)
f(X,Y):ssrXlf(sX,Y-1)r g:f(,5)rf(,5)g g
a(X):sa(X-1) b:a(4)ra(3)la(4)ra(7)la(2)la(10)la(10)rb b
a(X,Y):Xa(ssX,Y-1)rrX d:a(l,7)rssd d
a(A,B):lAa(ssA,B-1)rA b:ra(,7)ssb b
a(X,Y):YYYa(ssX,rXYlX) a(,ssr)
a(X):Xa(XssXr) a(s)
a(X):Xa(lXsXss) a()
a(X,T):lXa(Xss,T-1)rX a(a(,7),10)