結果
| 問題 | No.1627 三角形の成立 | 
| コンテスト | |
| ユーザー |  vwxyz | 
| 提出日時 | 2023-03-20 03:15:06 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 149 ms / 1,000 ms | 
| コード長 | 2,761 bytes | 
| コンパイル時間 | 297 ms | 
| コンパイル使用メモリ | 82,432 KB | 
| 実行使用メモリ | 85,096 KB | 
| 最終ジャッジ日時 | 2024-09-18 13:59:08 | 
| 合計ジャッジ時間 | 3,563 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 22 | 
ソースコード
import sys
readline=sys.stdin.readline
class Prime:
    def __init__(self,N):
        assert N<=10**8
        self.smallest_prime_factor=[None]*(N+1)
        for i in range(2,N+1,2):
            self.smallest_prime_factor[i]=2
        n=int(N**.5)+1
        for p in range(3,n,2):
            if self.smallest_prime_factor[p]==None:
                self.smallest_prime_factor[p]=p
                for i in range(p**2,N+1,2*p):
                    if self.smallest_prime_factor[i]==None:
                        self.smallest_prime_factor[i]=p
        for p in range(n,N+1):
            if self.smallest_prime_factor[p]==None:
                self.smallest_prime_factor[p]=p
        self.primes=[p for p in range(N+1) if p==self.smallest_prime_factor[p]]
    def Factorize(self,N):
        assert N>=1
        factors=defaultdict(int)
        if N<=len(self.smallest_prime_factor)-1:
            while N!=1:
                factors[self.smallest_prime_factor[N]]+=1
                N//=self.smallest_prime_factor[N]
        else:
            for p in self.primes:
                while N%p==0:
                    N//=p
                    factors[p]+=1
                if N<p*p:
                    if N!=1:
                        factors[N]+=1
                    break
                if N<=len(self.smallest_prime_factor)-1:
                    while N!=1:
                        factors[self.smallest_prime_factor[N]]+=1
                        N//=self.smallest_prime_factor[N]
                    break
            else:
                if N!=1:
                    factors[N]+=1
        return factors
    def Divisors(self,N):
        assert N>0
        divisors=[1]
        for p,e in self.Factorize(N).items():
            pow_p=[1]
            for _ in range(e):
                pow_p.append(pow_p[-1]*p)
            divisors=[i*j for i in divisors for j in pow_p]
        return divisors
    def Is_Prime(self,N):
        return N==self.smallest_prime_factor[N]
    def Totient(self,N):
        for p in self.Factorize(N).keys():
            N*=p-1
            N//=p
        return N
    def Mebius(self,N):
        fact=self.Factorize(N)
        for e in fact.values():
            if e>=2:
                return 0
        else:
            if len(fact)%2==0:
                return 1
            else:
                return -1
N,M=map(int,readline().split())
mod=10**9+7
ans=N*M*(N*M-1)*(N*M-2)//6
X=max(N,M)
P=Prime(X)
cnt=[0]*X
for g in range(1,X):
    cntN,cntM=0,0
    for n in range(g,N,g):
        cntN+=N-n
    for m in range(g,M,g):
        cntM+=M-m
    cnt[g]=cntN*cntM*2+N*cntM+M*cntN
for p in P.primes:
    for x in range(1,(X-1)//p+1):
        cnt[x]-=cnt[x*p]
for g in range(1,X):
    ans-=cnt[g]*(g-1)
ans%=mod
print(ans)
            
            
            
        