tail cons X L incr nil nil incr cons X cons s X adx nil nil adx cons X incr cons X nats adx zeros zeros cons 0 head cons X X tail 1 cons 1 incr 1 nil 0 s 1 adx 1 nats 0 zeros 0 0 0 head 1 FULL ./TRS/TRCSR/ExIntrod_GM01_L.trs