generators.ET0LTreeGrammar:
(
  { F },
  { F:0, conc:4, enc+:1, enc-:3, enc2+:1 },
  {
    {
      F -> conc[F,F,enc+[F],enc-[F, enc2+[F],F]]
    }
  },
  F
)
