; @origtpdbfilename ./TRS/TRCSR/Ex4_7_77_Bor03_L.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml"
(format TRS)
(fun tail 1)
(fun cons 1)
(fun zeros 0)
(fun |0| 0)
(rule (tail (cons X)) XS)
(rule zeros (cons |0|))