This documentation is automatically generated by online-judge-tools/verification-helper
#define PROBLEM "https://judge.yosupo.jp/problem/suffixarray"
#include "test/template.hpp"
#include "src/string/SuffixArray.hpp"
int main() {
cin.tie(0)->sync_with_stdio(0);
string S;
cin >> S;
const ll N = sz(S);
auto [sa, lcp] = SA(S);
rep(i, 0, N) cout << sa[i] << " \n"[i + 1 == N];
}
#line 1 "test/string/SuffixArray.test.cpp"
#define PROBLEM "https://judge.yosupo.jp/problem/suffixarray"
#line 1 "test/template.hpp"
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const ll INF = LLONG_MAX / 4;
#define rep(i, a, b) for(ll i = a; i < (b); i++)
#define all(a) begin(a), end(a)
#define sz(a) ssize(a)
bool chmin(auto& a, auto b) { return a > b ? a = b, 1 : 0; }
bool chmax(auto& a, auto b) { return a < b ? a = b, 1 : 0; }
#line 1 "src/string/SuffixArray.hpp"
// returns pair{sa, lcp}
// sa 長さ n : s[sa[0]:] < s[sa[1]:] < … < s[sa[n-1]:]
// lcp 長さ n-1 : lcp[i] = LCP(s[sa[i]:], s[sa[i+1]:])
auto SA(string s) {
ll n = sz(s) + 1, lim = 256;
// assert(lim > ranges::max(s));
vector<ll> sa(n), lcp(n), x(all(s) + 1), y(n), ws(max(n, lim)), rk(n);
iota(all(sa), 0);
for(ll j = 0, p = 0; p < n; j = max(1LL, j * 2), lim = p) {
p = j;
iota(all(y), n - j);
rep(i, 0, n) if(sa[i] >= j) y[p++] = sa[i] - j;
fill(all(ws), 0);
rep(i, 0, n) ws[x[i]]++;
rep(i, 1, lim) ws[i] += ws[i - 1];
for(ll i = n; i--;) sa[--ws[x[y[i]]]] = y[i];
swap(x, y);
p = 1;
x[sa[0]] = 0;
rep(i, 1, n) {
ll a = sa[i - 1], b = sa[i];
x[b] = (y[a] == y[b] && y[a + j] == y[b + j]) ? p - 1 : p++;
}
}
rep(i, 1, n) rk[sa[i]] = i;
for(ll i = 0, k = 0; i < n - 1; lcp[rk[i++]] = k) {
if(k) k--;
while(s[i + k] == s[sa[rk[i] - 1] + k]) k++;
}
sa.erase(begin(sa));
lcp.erase(begin(lcp));
return pair{sa, lcp};
}
#line 4 "test/string/SuffixArray.test.cpp"
int main() {
cin.tie(0)->sync_with_stdio(0);
string S;
cin >> S;
const ll N = sz(S);
auto [sa, lcp] = SA(S);
rep(i, 0, N) cout << sa[i] << " \n"[i + 1 == N];
}