#   a(2(n))
#   Salomaa, pp. 13-14
#
G->YXY
YX->YZ
2:ZX->XXZ
2:ZY->XXY
X->a
Y->
G:20