incr nil nil incr cons X L cons s X incr L adx nil nil adx cons X L incr cons X adx L nats adx zeros zeros cons 0 zeros head cons X L X tail cons X L L incr 1 1 nil 0 cons 2 1 s 1 1 adx 1 1 nats 0 zeros 0 0 0 head 1 1 tail 1 1 FULL ./TRS/CSR/ExIntrod_GM01.trs