/*
* @uni_kakurenbo
* https://github.com/uni-kakurenbo/competitive-programming-workspace
*
* CC0 1.0 http://creativecommons.org/publicdomain/zero/1.0/deed.ja
*/
/* #language C++ 20 GCC */
#define PROBLEM "https://judge.yosupo.jp/problem/longest_increasing_subsequence"
#include <iostream><--- Include file: not found. Please note: Cppcheck does not need standard library headers to get proper results.
#include "snippet/fast_io.hpp"
#include "adaptor/io.hpp"
#include "adaptor/vector.hpp"
#include "iterable/longest_increasing_subsequence.hpp"
signed main() {
uni::i32 n; input >> n;
uni::vector<uni::i32> a(n); input >> a;
uni::lis<true,uni::i32> lis(ALL(a));
print(lis.size(), lis.indices);
}