#include <bits/stdc++.h>
#define int long long
using namespace std;
long getDataDependenceSum(long n) {
    int sum = 0, x = 1;
    map<int, int> seen;
    while(x * x <= n) {
        if(!seen.count(x)) {
            sum += x;
            seen[x] = 1;
        }
        if(!seen.count(n / x)) {
            sum += n / x;
            seen[n / x] = 1;
        }
        x++;
    }
    return sum;
}
signed main()
{
    cout << getDataDependenceSum(13) << endl;
    return 0;
}

I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNkZWZpbmUgaW50IGxvbmcgbG9uZwp1c2luZyBuYW1lc3BhY2Ugc3RkOwpsb25nIGdldERhdGFEZXBlbmRlbmNlU3VtKGxvbmcgbikgewogICAgaW50IHN1bSA9IDAsIHggPSAxOwogICAgbWFwPGludCwgaW50PiBzZWVuOwogICAgd2hpbGUoeCAqIHggPD0gbikgewogICAgICAgIGlmKCFzZWVuLmNvdW50KHgpKSB7CiAgICAgICAgICAgIHN1bSArPSB4OwogICAgICAgICAgICBzZWVuW3hdID0gMTsKICAgICAgICB9CiAgICAgICAgaWYoIXNlZW4uY291bnQobiAvIHgpKSB7CiAgICAgICAgICAgIHN1bSArPSBuIC8geDsKICAgICAgICAgICAgc2VlbltuIC8geF0gPSAxOwogICAgICAgIH0KICAgICAgICB4Kys7CiAgICB9CiAgICByZXR1cm4gc3VtOwp9CnNpZ25lZCBtYWluKCkKewogICAgY291dCA8PCBnZXREYXRhRGVwZW5kZW5jZVN1bSgxMykgPDwgZW5kbDsKICAgIHJldHVybiAwOwp9

NQ==

5