generators.ET0LTreeGrammar:
  (
    { 3A, 3B },
    { arm:12, three:3, 3F:2, 3G:1, versatileA:0, empty:0 },
    {
      {
        3A -> 3F[3B, 3A],
        3B -> 3G[3B]
      },
      {
        3A -> versatileA,
        3B -> versatileA
      }
    },
    three[
           arm[3B,3A,3B,3A,3B,3A,3B,3A,3A,3A,3A,3A],
           arm[3B,3A,3B,3A,3B,3A,3B,3A,3A,3A,3A,3A],
           arm[3B,3A,3B,3A,3B,3A,3B,3A,3A,3A,3A,3A]
         ]
  )
