w(w(w(w(w(w(w(w(w(w(a))))))))));

b(a, b(a, b(a, b(a, b(a, b(a, b(a, b)))))));

b(b(b(b(b(b(b(b(b(b(b(b(a, a), a), a), a), a), a), a), a), a), a), a), a);

b(b(b(b(a, a, a), a, a), a, a), a, a);