COMPETITIVE_UTILS_LIS = 1

proc lis[T](a: openArray[T]): int

proc restore_lis[T](a: openArray[T]): seq[T]