nats cons 0 incr nats pairs cons 0 incr odds odds incr pairs incr cons X XS cons s X incr XS head cons X XS X tail cons X XS XS nats 0 cons 2 1 0 0 incr 1 1 pairs 0 odds 0 s 1 1 head 1 1 tail 1 1 FULL ./TRS/CSR/Ex1_Luc04b.trs