first 0 X nil first s X cons Y cons Y from X cons X first 2 0 0 nil 0 s 1 cons 1 from 1 FULL ./TRS/TRCSR/Ex6_Luc98_L.trs