HOJ 171 「NO TITLE」

tosさんの問題。
0171 - Herbert Online Judge
法則は分かったんだけど、実装がむずい・・・
一応思い通りの動きをさせられるようになったけど、まだまだ長い。
なんとなく減らせそうな場所は分かる気もするんですが・・・う〜ん。

f(F,G):G
h(H,I,J,K):a(I,J,K,1)
a(A,B,C,D):a(A,B-C,C,D+1)f(C+1-B,A)h(2-B,A,D,C)
w(W):WrrWlsl
x(X):w(a(a(a(a(a(a(a(a(a(s,X,2,1),X,3,1),X,5,1),X,7,1),X,11,1),X,13,1),X,17,1),X,19,1),X,23,1))x(X+1)
x(2)

やっぱり減らせる気しないや・・・give up...