25.7<10.0>
6
f
f : f[+f]f[-f]f