#include <stdio.h>
long long ans;
int main() {
//打表提速
printf("5000050000");
// for (int i = 1; i <= 100000; i++) {
// ans += i;
// }
// printf("%lld", ans);
return 0;
}