#include namespace { #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic pop using namespace std; using namespace atcoder; #define rep(i,n)for (int i = 0; i < int(n); ++i) #define rrep(i,n)for (int i = int(n)-1; i >= 0; --i) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() template void chmax(T& a, const T& b) { a = max(a, b); } template void chmin(T& a, const T& b) { a = min(a, b); } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n; cin >> n; VI p(n); rep(i, n) cin >> p[i], p[i]--; VI pre1(n); VI d1; for(int x : p) { int pos = lower_bound(all(d1), x) - d1.begin(); pre1[x] = pos ? d1[pos - 1] : -1; if (pos < d1.size()) d1[pos] = x; else d1.emplace_back(x); } VI lis1; int v = d1.back(); while(v != -1) { lis1.emplace_back(v); v = pre1[v]; } reverse(all(lis1)); VI pre2(n); VI d2; reverse(all(p)); for(int x : p) { int pos = lower_bound(all(d2), x, greater<>()) - d2.begin(); pre2[x] = pos ? d2[pos - 1] : -1; if (pos < d2.size()) d2[pos] = x; else d2.emplace_back(x); } VI lis2; v = d2.back(); while(v != -1) { lis2.emplace_back(v); v = pre2[v]; } vector used(n); for(int x : lis1) used[x] = true; VI ans; for(int x : lis2) if (used[x]) ans.emplace_back(x); int sz = ans.size(); cout << sz << '\n'; if (sz) { rep(i, sz) cout << ans[i] + 1 << " \n"[i + 1 == sz]; } else { cout << '\n'; } }