e::=
[7]
[?]
[*]
[/]
[W]
[;]
[!]
[S]
g::=
=
[0]
[3]
[6]
[4]
[u]
[;t]
[w]
[*2]
[t]
[00]
[;0]
[]
[2]
[1]
[u!]
[5]
[9]
[12]
[~]