#pragma GCC optimize("Ofast") #pragma GCC target("avx2") char*mmap(); #define rd(v) long v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;} #define wt(v) {long _z=v;do*--wp=_z%10+48;while(_z/=10);} #define MD 1000000007 #define LIM 100000 long dp[LIM+20]; main(){ long*p=dp+1; for(long j=1;j<=LIM;j+=12){ *p++=1; *p++=2; *p++=3; *p++=5; *p++=1; *p++=4; *p++=1; *p++=5; *p++=3; *p++=2; *p++=1; *p++=7; } for(long i=5;i<=10000;++i){ long a=dp[i-1]; for(long j=i;j<=LIM;j+=i){ dp[j]+=a; } } for(long i=10001;i<=LIM/2;++i){ long a=dp[i-1]%MD; for(long j=i;j<=LIM;j+=i){ dp[j]+=a; } } for(long i=LIM/2+1;i<=LIM;++i){ dp[i]+=dp[i-1]%MD; } char buf[64]; char*rp=buf; read(0,rp,sizeof buf); rd(m); char*wp=buf+sizeof buf; wt(dp[m]%MD); write(1,wp,buf+sizeof buf-wp); _exit(0); }