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