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