(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
Cops #647 - #721: generated ground TRSs; evenly distributed in the
UNR/UNC/NFP/CR hierarchy
submitted by: Bertram Felgenhauer
)