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