#include <vector>
#include <string>
#include <algorithm>
#include <iostream>
#include <iomanip>
using namespace std;
int main(int argc, char * argv[])
{
vector<int> v;
v.reserve(36000000);
for(int i = 1; i <= 6000; ++i)
for(int j = 6001; j <= 12000; ++j)
v.push_back(i*j);
sort(v.begin(),v.end());
long long s = 0;
for(int x: v) s += x;
cout << s;
}
I2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPHN0cmluZz4KI2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8aW9tYW5pcD4KCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbihpbnQgYXJnYywgY2hhciAqIGFyZ3ZbXSkKewogICAgdmVjdG9yPGludD4gdjsKICAgIHYucmVzZXJ2ZSgzNjAwMDAwMCk7CiAgICBmb3IoaW50IGkgPSAxOyBpIDw9IDYwMDA7ICsraSkKICAgICAgICBmb3IoaW50IGogPSA2MDAxOyBqIDw9IDEyMDAwOyArK2opCiAgICAgICAgICAgIHYucHVzaF9iYWNrKGkqaik7CiAgICBzb3J0KHYuYmVnaW4oKSx2LmVuZCgpKTsKICAgIGxvbmcgbG9uZyBzID0gMDsKICAgIGZvcihpbnQgeDogdikgcyArPSB4OwogICAgY291dCA8PCBzOwp9Cg==