(RULES
  f0(g0(g0(c2)),f0(c2,f0(c2,f0(f0(g0(c1),g0(g0(g0(g0(c1))))),c1)))) -> f0(f0(c0,c0),g0(c2))
  f0(c1,f0(c2,f0(c1,f0(c0,c1)))) -> c0
  g0(c2) -> g0(g0(c0))
  c0 -> g0(g0(c1))
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)