nats cons 0 n__incr nats pairs cons 0 n__incr 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 activate n__incr X incr X activate X X nats 0 cons 2 0 0 n__incr 1 pairs 0 odds 0 incr 1 s 1 activate 1 head 1 tail 1 FULL ./TRS/TRCSR/Ex1_Luc04b_Z.trs