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