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