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