#include <bits/stdc++.h>
using namespace std;

using ll = long long;
using ld  = long double;
using pll = pair<ll, ll>;
using pld = pair<ld, ld>;
const int INF=1e9+7;
const ll LINF=9223372036854775807;
const ll MOD=1e9+7;
const ld PI=acos(-1);
const ld EPS = 1e-10; //微調整用（EPSより小さいと0と判定など）

int ii() { int x; if (scanf("%d", &x)==1) return x; else return 0; }
long long il() { long long x; if (scanf("%lld", &x)==1) return x; else return 0; }
string is() { string x; cin >> x; return x; }
char ic() { char x; cin >> x; return x; }
void oi(int x) { printf("%d ", x); }
void ol(long long x) { printf("%lld ", x); }
void od_nosp(double x) { printf("%.15f", x); } // 古い問題用
void od(double x) { printf("%.15f ", x); }
void os(const string &s) { printf("%s ", s.c_str()); }
void oc(const char &c) { printf("%c ", c); }
#define o_map(v){cerr << #v << endl; for(const auto& xxx: v){cout << xxx.first << " " << xxx.second << "\n";}} //動作未確認
void br() { putchar('\n'); }

// #define gcd __gcd //llは受け取らない C++17~のgcdと違うので注意
// int lcm(int a, int b){return a / gcd(a, b) * b;}
#define b_e(a) a.begin(),a.end() //sort(b_e(vec));
#define REP(i,m,n) for(ll i=(ll)(m) ; i < (ll)(n) ; i++ )
#define DREP(i,m,n) for(ll i=(ll)(m) ; i > (ll)(n) ; i-- )
#define rep(i,n) REP(i,0,n)
#define m_p(a,b) make_pair(a,b)
#define p_b push_back
#define SZ(x) ((ll)(x).size()) //size()がunsignedなのでエラー避けに
#define endk '\n'


// coutによるpairの出力（空白区切り）
template<typename T1, typename T2> ostream& operator<<(ostream& s, const pair<T1, T2>& p) {return s << "(" << p.first << " " << p.second << ")";}
// coutによるvectorの出力（空白区切り）
template<typename T> ostream& operator<<(ostream& s, const vector<T>& v) {
  int len = v.size();
  for (int i = 0; i < len; ++i) {
    s << v[i]; if (i < len - 1) s << " "; //"\t"に変えるとTabで見やすく区切る
  }
  return s;
}
// coutによる多次元vectorの出力（空白区切り）
template<typename T> ostream& operator<<(ostream& s, const vector< vector<T> >& vv) {
  int len = vv.size();
  for (int i = 0; i < len; ++i) {
    s << vv[i] << endl;
  }
  return s;
}

//最大値、最小値の更新。更新したor等しければtrueを返す
template<typename T>
bool chmax(T& a, T b){return (a = max(a, b)) == b;}
template<typename T>
bool chmin(T& a, T b){return (a = min(a, b)) == b;}

//4近傍（上下左右） rep(i, 2) にすると右・下だけに進む
vector<int> dx_4 = {1, 0, -1, 0};
vector<int> dy_4 = {0, 1, 0, -1};

// -------- template end - //


// - library ------------- //

#include <atcoder/all>
using namespace atcoder;



// --------- library end - //



int main(){

  string S = is();
  ll N = SZ(S);

  // S[i, N) （つまり、S[0, N) ~ S[N-1, N) ） を 辞書順に並べたときの i の順番を配列にしたもの
  vector<int> sa = suffix_array(S);

  // sa = {6, 0, 5, 3, 1, 4, 2}
  // これは具体的にはどういうことか？ というと、以下のとおり
  
  // S[6, 7) ------a
  // S[0, 7) abcbcba
  // S[5, 7) -----ba
  // S[3, 7) ---bcba
  // S[1, 7) -bcbcba
  // S[4, 7) ----cba
  // S[2, 7) --cbcba


  // これを左に詰めてみると、以下のとおり

  // S[6, 7) a------
  // S[0, 7) abcbcba
  // S[5, 7) ba-----
  // S[3, 7) bcba---
  // S[1, 7) bcbcba-
  // S[4, 7) cba----
  // S[2, 7) cbcba--


  // ここで、問題の「相異なる部分文字列の数」を数えるために、上から順番に、新しい部分文字列 S[l, r) が登場する度に、ans++; していくことを考えてみる
  // 部分文字列の「開始位置(l)」は 各行において固定（6, 0, 5, 3, 1, 4, 2 の部分が開始位置にあたる）されているので、「終了位置(r)」を動かしていけばいい

  // 具体的には：
  // S[6, 7) a------ -> S[6,7) a(new! ans++)
  // S[0, 7) abcbcba -> S[0,1) a(old), S[0,2), ab(new! ans++), S[0,3) abc(new! ans++)...（以降全部new）
  // S[5, 7) ba----- -> S[5,6) b(new! ans++), S[5,7) ba(new! ans++)
  // S[3, 7) bcba--- -> S[3,4) b(old), S[3,5) bc(new! ans++), S[3,6) bcb(new! ans++), S[3,7) bcba(new! ans++)
  // S[1, 7) bcbcba- -> S[1,2~4) b~bcb(old), S[1,5~7) bcbc~bcbcba(new! ans += 3)
  // S[4, 7) cba---- -> S[4,5~7) c~cba(new! ans += 3)
  // S[2, 7) cbcba-- -> S[2,3~4) c,cb(old), S[2,5~7) cbc~cbcba(new! ans += 3)


  // こうして見ていくと、一つ前の行と行頭が一致している箇所は全て NG で、一つ前の行と行頭が一致しなくなった箇所からは、全て OK であると分かる
  // 例 : cba -> cbcba は cb まで2文字一致しているので、c, cb の2種類は cba の行の時点で既出であり、cbc, cbcb, cbcba の3種類は cba の行の時点まででは未出（＝答えに追加する）
  // （各接尾辞が辞書式順序で並んでいるため、このように「新しい部分が出てきたら、残りは全て新しい部分文字列」という判別ができる。紙の辞書で言えば、「今までに開いたページより先にある単語は、全て未出の単語」という当たり前の事実に対応している）


  // これで、各接尾辞について 「接尾辞の文字数 - 前の接尾辞と先頭が一致する文字数」を足していけば答えが出ることが分かった
  // 前の接尾辞と先頭が一致する文字数は、そのものを lcp_array で求められる

  vector<int> la = lcp_array(S, sa);


  // ちょっと処理を簡単にするために、包除原理を考える
  // 「相異なる部分文字列の数（＝先程の処理で足した数）」＝「全ての l, r の組の選び方の数 - 部分文字列が被った l, r の組の数（＝先程の処理で省いた数）」
  // 全ての l, r の組は、N+1 個の場所から l, r という「部分文字列を選ぶための2枚の仕切り」の配置位置を決めるのと同じ（ |a|b|c|b|c|b|a| <- この | の位置のどこか2つを選ぶ）

  // よって、ans = N+1 C 2 - sum(la)
  ll ans = ll(N+1) * N / 2 - accumulate(la.begin(), la.end(), 0LL);

  cout << ans << endk;

}



Measured memory_bytes: 15644