#ifndef LOCAL #pragma GCC target("avx2") #pragma GCC optimize("O3,unroll-loops") #endif #include #include using namespace std; using namespace atcoder; typedef long long int ll; typedef long double ld; typedef vector vi; typedef vector vl; typedef vector vvl; typedef vector vvvl; typedef vector vvvvl; typedef vector vb; typedef vector vvb; typedef vector vvvb; typedef vector vvvvb; typedef pair pl; typedef pair ppl; typedef pair pppl; typedef pair pppppl; #define rep(i,a,b) for(int i=(a);i<(b);i++) #define rrep(i,a,b) for(int i=(b)-1;i>=(a);i--) #define all(a) begin(a),end(a) #define sz(a) (int)(a).size() #define F first #define S second #define bs(A,x) binary_search(all(A),x) #define lb(A,x) (ll)(lower_bound(all(A),x)-A.begin()) #define ub(A,x) (ll)(upper_bound(all(A),x)-A.begin()) #define cou(A,x) (ll)(upper_bound(all(A),x)-lower_bound(all(A),x)) templateusing min_priority_queue=priority_queue,greater>; templatebool chmax(T&a,T b){if(abool chmin(T&a,T b){if(b vm; typedef vector vvm; typedef vector vvvm; typedef vector vvvvm; ostream&operator<<(ostream&os,mint a){os<>(istream&is,mint&a){int x;is>>x;a=mint(x);return is;} //*/ templateostream&operator<<(ostream&os,pairp){os<istream&operator>>(istream&is,pair&p){is>>p.F>>p.S;return is;} templateostream&operator<<(ostream&os,vectorv){rep(i,0,sz(v))os<istream&operator>>(istream&is,vector&v){for(T&in:v)is>>in;return is;} int main(){ cin.tie(0)->sync_with_stdio(0); cin.exceptions(cin.failbit); int M,N;cin>>M>>N; vectormp(N+1); for(int i=2;i*i<=N;i++)if(!mp[i])for(int j=i;j<=N;j+=i)mp[j]=i; vl F(N+1); F[1]=1; rep(i,2,N+1){ int p=mp[i]; if(!p)F[i]=1-i; else if(i/p%p==0)F[i]=F[i/p]; else F[i]=F[i/p]*(1-p); } vectorA(N+1),B(N+1); rep(i,1,N+1)A[i]=N/i,B[i]=M/i; mint ans=0; rep(i,1,N+1){ int j=i; mint s=0; while(i<=N&&A[i]==A[j]&&B[i]==B[j])s+=i*F[i],i++; ans+=mint(A[j])*(A[j]+1)*B[j]*(B[j]+1)*s; i--; } ans/=4; cout<