rev ls r1 ls empty r1 empty a a r1 cons x k a r1 k cons x a rev 1 r1 2 empty 0 cons 2 FULL ./TRS/LJB01/jones1.trs