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