Final version of "Longest increasing subsequence"