generators.BSTGrammar:
  (
    { S, A },
    { F:6, G:3, H:3, A:0, S:0, -:0 },
    { 1, 2 },
    2,
    { 
      {
        {
          S -> F[A<1 1>,A<1 1>,A<1 2>,A<1 2>,A<1 1>,A<1 1>],
          A -> F[A<1 1>,A<1 1>,A<1 2>,A<1 2>,A<1 1>,A<1 1>]
        }
      },
      {
        {
          S -> F[A<1 1>,A<1 1>,A<1 2>,A<1 2>,A<1 1>,A<1 1>],
          A -> G[S<1 1>,S<1 2>,S<1 1>]
        },
        {
          S -> F[A<1 1>,A<1 1>,A<1 2>,A<1 2>,A<1 1>,A<1 1>],
          A -> H[S<1 1>,S<1 2>,S<1 1>]
        }
      }
    },
    S<1 1>
  )
