val lcs : 'a list -> 'a list -> 'a list