#pragma GCC optimize("O3")
#pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
#define _CRT_SECURE_NO_WARNINGS
#define debug(l) cerr<<#l<<' '<<l<<'\n';
#include "bits/stdc++.h"
using namespace std;
#define all(a) a.begin(), a.end()
typedef long long ll;
typedef pair<ll, ll> pll;
typedef long double ld;
constexpr int N = 1e9 / 3 + 2;
bitset<N> b;
signed main() {
#ifdef _DEBUG
	freopen("input.txt", "r", stdin);
	freopen("output.txt", "w", stdout);
#endif
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
	cout.tie(nullptr);
	int n, x;
	cin >> n >> x;
	int ans = 0;
	ans = ans * x + 2;
	ans = ans * x + 3;
	for (int i = 5; i <= n;) {
		int k = (i / 6) * 2 + (i % 6 == 5 ? 1 : 0);
		if (!b[k]) {
			ans = ans * x + i;
			if (i * 1ll * i <= n) {
				for (ll j = i * i; j <= n; j += i) {
					if (j % 6 != 1 && j % 6 != 5)continue;
					int k2 = (j / 6) * 2 + (j % 6 == 5 ? 1 : 0);
					b[k2] = 1;
				}
			}
		}
		if (i % 6 == 5) {
			i += 2;
		}
		else {
			i += 4;
		}
	}
	cout << ans << '\n';
}