結果
問題 | No.1276 3枚のカード |
ユーザー |
![]() |
提出日時 | 2020-10-31 02:58:11 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,854 ms / 2,000 ms |
コード長 | 667 bytes |
コンパイル時間 | 281 ms |
コンパイル使用メモリ | 82,708 KB |
実行使用メモリ | 75,904 KB |
最終ジャッジ日時 | 2024-07-22 04:27:24 |
合計ジャッジ時間 | 56,179 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 61 |
ソースコード
mod = 10 ** 9 + 7n = int(input())def s1(n):rv = 0i = 1while i <= n:v = n // ini = n // v + 1rv += (ni - i) * vrv %= modi = nireturn rvcnt1 = s1(n)def s2(n):rv = 0i = 1while i <= n:v = n // ini = n // v + 1rv += (ni - i) * v * vrv %= modi = nireturn rvcnt2 = s2(n)def s3(n):rv = 0i = 1while i <= n:v = n // ini = n // v + 1rv += (ni - i) * s1(v)rv %= modi = nireturn rvcnt3 = s3(n)ans = n * cnt1 - cnt2 - cnt3 + cnt1ans -= n * n - 2 * cnt1 + nprint(ans % mod)