../../Task/Longest-increasing-subsequence/Picat