(RULES
  f(h(a,c)) -> h(f(b),h(c,h(c,h(f(h(b,b)),a))))
  h(h(h(f(b),c),b),h(a,h(a,c))) -> h(f(b),h(c,b))
  a -> h(h(b,b),b)
  c -> a
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)