first 0 X nil first s X cons Y Z cons Y first X Z from X cons X from s X first 2 1 2 0 0 nil 0 s 1 1 cons 2 1 from 1 1 FULL ./TRS/CSR/Ex6_Luc98.trs