../../Task/Longest-increasing-subsequence/XPL0