a__nats cons 0 incr nats a__pairs cons 0 incr odds a__odds a__incr a__pairs a__incr cons X XS cons s mark X incr XS a__head cons X XS mark X a__tail cons X XS mark XS mark nats a__nats mark pairs a__pairs mark odds a__odds mark incr X a__incr mark X mark head X a__head mark X mark tail X a__tail mark X mark 0 0 mark s X s mark X mark nil nil mark cons X1 X2 cons mark X1 X2 a__nats nats a__pairs pairs a__odds odds a__incr X incr X a__head X head X a__tail X tail X a__nats 0 cons 2 0 0 incr 1 nats 0 a__pairs 0 odds 0 a__odds 0 a__incr 1 s 1 mark 1 a__head 1 a__tail 1 pairs 0 head 1 tail 1 nil 0 FULL ./TRS/CSR/Ex1_Luc04b_GM.trs