#define _USE_MATH_DEFINES #include "bits/stdc++.h" using namespace std; #define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i)) #define rep(i,j) FOR(i,0,j) #define each(x,y) for(auto &(x):(y)) #define mp make_pair #define MT make_tuple #define all(x) (x).begin(),(x).end() #define debug(x) cout<<#x<<": "<<(x)<; using vi = vector; using vll = vector; template class ModInt { public: ModInt() :value(0) {} ModInt(long long val) :value((int)(val<0 ? MOD + val % MOD : val % MOD)) { } ModInt& operator+=(ModInt that) { value = value + that.value; if (value >= MOD)value -= MOD; return *this; } ModInt& operator-=(ModInt that) { value -= that.value; if (value<0)value += MOD; return *this; } ModInt& operator*=(ModInt that) { value = (int)((long long)value * that.value % MOD); return *this; } ModInt &operator/=(ModInt that) { return *this *= that.inverse(); } ModInt operator+(ModInt that) const { return ModInt(*this) += that; } ModInt operator-(ModInt that) const { return ModInt(*this) -= that; } ModInt operator*(ModInt that) const { return ModInt(*this) *= that; } ModInt operator/(ModInt that) const { return ModInt(*this) /= that; } ModInt pow(long long k) const { ModInt n = *this, res = 1; while (k) { if (k & 1)res *= n; n *= n; k >>= 1; } return res; } ModInt inverse() const { long long a = value, b = MOD, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } return ModInt(u); } int toi() const { return value; } private: int value; }; typedef ModInt<1000000007> mint; ostream& operator<<(ostream& os, const mint& x) { os << x.toi(); return os; } vector factorizer(int n) { vector res(n + 1, 1); for (int i = 2; i <= n; ++i)if (res[i] == 1) { for (int j = i; j <= n; j += i) { res[j] = i; } } return res; } void solve() { int H, W; cin >> H >> W; auto f = factorizer(H); vector used(H + 1); mint ans = (H - 1ll)*W + (W - 1ll)*H; for (int y = 1; y <= H; ++y) { vector ps; int val = y; while (val != 1) { if (used[f[val]] != y) { used[f[val]] = y; ps.push_back(f[val]); } val /= f[val]; } mint sum, tum; int n = sz(ps); rep(S, 1 << n) { int cnt = 0, base = 1; rep(i, n)if (S >> i & 1) { cnt++; base *= ps[i]; } int m = W / base; sum += mint(cnt & 1 ? -1 : 1) * m; tum += mint(cnt & 1 ? -1 : 1)*(base + base*m) / 2 * m; } ans += (sum*W - tum) * (H - y) * 2; } cout << ans << endl; } int main() { ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(15); solve(); return 0; }