generators.ET0LTreeGrammar:
(
  { K, SQ1, SQ2 },
  { o:8, k:4, sq:4, K:0, SQ1:0, SQ2:0, c001:1, c010:1, c011:1, c100:1, c101:1, c110:1 },
  {{
    K -> k[c001[K],c110[K],c100[SQ1],c010[SQ2]],
    SQ1 -> sq[c001[SQ1],c011[SQ1],c100[SQ1],c110[SQ1]],
    SQ2 -> sq[c101[SQ2],c001[SQ2],c110[SQ2],c010[SQ2]]
  }},
  K%o[K,K,K,K,K,K,K,K]
)
