(VAR X XS)
(RULES 
nats -> cons(0,n__incr(n__nats))
pairs -> cons(0,n__incr(n__odds))
odds -> incr(pairs)
incr(cons(X,XS)) -> cons(s(X),n__incr(activate(XS)))
head(cons(X,XS)) -> X
tail(cons(X,XS)) -> activate(XS)
incr(X) -> n__incr(X)
nats -> n__nats
odds -> n__odds
activate(n__incr(X)) -> incr(activate(X))
activate(n__nats) -> nats
activate(n__odds) -> odds
activate(X) -> X
)