在线编程：最长递增子序列重建

O(n log n)求长度并输出一条序列。

输入：第一行n，第二行数组。
输出：输出严格递增子序列长度及算法重建的一条序列。
约束：0≤n≤200000。

使用 Python 3 从标准输入读取，向标准输出写出唯一规定结果；不得读取文件或网络。

使用 Python 3 标准输入输出；不得使用第三方包。必须覆盖题面边界，不能只针对样例。