ยง Longest increasing subsequence, step by step (WIP)