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