#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);