; @origtpdbfilename ./TRS/nontermin/CSR/Ex9_BLR02.trs
; @xtcfilename "./TRS_Standard/Strategy_removed_CSR_05/Ex9_BLR02.xml"
(format TRS)
(fun filter 3)
(fun cons 2)
(fun |0| 0)
(fun s 1)
(fun sieve 1)
(fun nats 1)
(fun zprimes 0)
(rule (filter (cons X Y) |0| M) (cons |0| (filter Y M M)))
(rule (filter (cons X Y) (s N) M) (cons X (filter Y N M)))
(rule (sieve (cons |0| Y)) (cons |0| (sieve Y)))
(rule (sieve (cons (s N) Y)) (cons (s N) (sieve (filter Y N N))))
(rule (nats N) (cons N (nats (s N))))
(rule zprimes (sieve (nats (s (s |0|)))))