; @origtpdbfilename ./TRS/nontermin/CSR/Ex4_7_77_Bor03.trs
; @xtcfilename "./TRS_Standard/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml"
(format TRS)
(fun zeros 0)
(fun cons 2)
(fun |0| 0)
(fun tail 1)
(rule zeros (cons |0| zeros))
(rule (tail (cons X XS)) XS)