generators.ET0LTreeGrammar:
(
  { K, SQ1, SQ2 },
  { o:8, k:4, sq:4, K:0, SQ1:0, SQ2:0, c00:1, c01:1, c10:1, c11:1 },
  {
    {
      K -> k[c01[K],c10[K],c10[SQ1],c00[SQ2]],
      SQ1 -> sq[c01[SQ1],c01[SQ1],c10[SQ1],c10[SQ1]],
      SQ2 -> sq[c11[SQ2],c01[SQ2],c10[SQ2],c00[SQ2]]
    }
  },
  o[K,K,K,K,K,K,K,K]
)
