#include <stdio.h>
#include <stdint.h>
int main() {
    uint64_t result = 0;
    uint64_t target = 10551410;
    for (uint64_t i = 1; i <= target; i++) {
        if (target % i == 0)
            result += target / i;
    }
    printf("%d\n", result);
}