#include using namespace std; struct iofast_t { iofast_t() { ios::sync_with_stdio(false); cin.tie(nullptr); } } iofast; struct uns_t {} uns; template auto vec(Element init, Head arg, Args ...args) { if constexpr (sizeof...(Args) == 0) return vector(arg, init); else return vector(arg, vec(init, args...)); } template auto vec(uns_t, Head arg, Args ...args) { return vec(Element(), arg, args...); } template auto distance(const Container &c, decltype(begin(c)) iter) { return distance(begin(c), iter); } template ::value_type>> auto isort(RIter first, RIter last, Compare comp = Compare()) { vector i(distance(first, last)); iota(begin(i), end(i), 0); sort(begin(i), end(i), [&](auto x, auto y) { return comp(*(first + x), *(first + y)); }); return i; } template typename, typename = void_t<>> struct detect : false_type {}; template typename Check> struct detect>> : true_type {}; template typename Check> constexpr inline bool detect_v = detect::value; template using has_member_sort = decltype(declval().sort()); template > auto sorted(Container c, Compare comp = Compare()) { if constexpr (detect_v) { c.sort(comp); return c; } else { sort(begin(c), end(c), comp); return c; } } template > auto uniqued(Container c, Compare comp = Compare()) { c.erase(unique(begin(c), end(c), comp), end(c)); return c; } template > T &chmin(T &l, T r, Compare &&f = less()) { return l = min(l, r, f); } template > T &chmax(T &l, T r, Compare &&f = less()) { return l = max(l, r, f); } template constexpr auto fix(F &&f) noexcept { return [f = std::tuple(std::forward(f))](auto &&...args) mutable { return std::get<0>(f)(fix(std::get<0>(f)), std::forward(args)...); }; } #include constexpr auto inf = INT_MAX / 4; int op(int x, int y) { return min(x, y); } int elem() { return inf; } using segtree = atcoder::segtree; int main() { int n, w; cin >> n >> w; auto a = vec(uns, n); for (auto &e : a) cin >> e; auto acc = vec(uns, n + 1); acc[0] = 0; for (int i = 0; i < n; ++i) { acc[i + 1] = acc[i] + a[i]; } segtree seg([&]() { map> last; auto r = vec(uns, n); for (int i = n - 1; 0 <= i; --i) { r[i] = last[a[i]].value_or(n); last[a[i]] = i; } return r; }()); auto check = [&](int m) { for (int i = 0; i + m <= n; ++i) { if (w < acc[i + m] - acc[i]) { continue; } if (seg.prod(i, i + m) < i + m) { continue; } return true; } return false; }; int l = 0, r = n + 1; while (1 < r - l) { int m = l + (r - l) / 2; if (check(m)) { l = m; } else { r = m; } } cout << l << endl; }