#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define X first #define Y second #define pb push_back #define rep(X,Y) for (int (X) = 0;(X) < (Y);++(X)) #define reps(X,S,Y) for (int (X) = S;(X) < (Y);++(X)) #define rrep(X,Y) for (int (X) = (Y)-1;(X) >=0;--(X)) #define rreps(X,S,Y) for (int (X) = (Y)-1;(X) >= (S);--(X)) #define repe(X,Y) for ((X) = 0;(X) < (Y);++(X)) #define peat(X,Y) for (;(X) < (Y);++(X)) #define all(X) (X).begin(),(X).end() #define rall(X) (X).rbegin(),(X).rend() #define eb emplace_back #define UNIQUE(X) (X).erase(unique(all(X)),(X).end()) #define Endl endl using namespace std; typedef long long ll; typedef pair pii; typedef pair pll; template using vv=vector>; template ostream& operator<<(ostream &os, const vector &t) { os<<"{"; rep(i,t.size()) {os< ostream& operator<<(ostream &os, const array &t) { os<<"{"; rep(i,n) {os< ostream& operator<<(ostream &os, const pair &t) { return os<<"("< ostream& operator<<(ostream &os, const tuple &t) { return os<<"("<(t)<<","<(t)<<","<(t)<<")";} template ostream& operator<<(ostream &os, const tuple &t) { return os<<"("<(t)<<","<(t)<<","<(t)<<","<(t)<<")";} template inline bool MX(T &l,const T &r){return l inline bool MN(T &l,const T &r){return l>r?l=r,1:0;} //#undef NUIP #ifdef NUIP #define out(args...){vector a_r_g_s=s_p_l_i_t(#args, ','); e_r_r(a_r_g_s.begin(), args); } vector s_p_l_i_t(const string &s, char c){vector v;int d=0,f=0;string t;for(char c:s){if(!d&&c==',')v.pb(t),t="";else t+=c;if(c=='\"'||c=='\'')f^=1;if(!f&&c=='(')++d;if(!f&&c==')')--d;}v.pb(t);return move(v);} void e_r_r(vector::iterator it) {} template void e_r_r(vector::iterator it, T a, Args... args){ if(*it==" 1"||*it=="1") cerr< substr((*it)[0] == ' ', it -> length()) << " = " << a << ", "; e_r_r(++it, args...);} #else #define out #endif #ifdef __cpp_init_captures templatevector table(int n, T v){ return vector(n, v);} template auto table(int n, Args... args){auto val = table(args...); return vector(n, move(val));} #endif const ll MOD=1e9+7; ll modpow(ll r,ll n,ll m=MOD){ ll re=1,d=r%m; if(n<0)(n%=m-1)+=m-1; for(;n;n/=2){ if(n&1)(re*=d)%=m; (d*=d)%=m; } return re; } template struct modInt{ int v; modInt(int v=0):v(v){} modInt operator+(const modInt &n)const{return v+n.v=mod) v-=mod; return *this;} modInt& operator-=(const modInt &n){v-=n.v; if(v<0) v+=mod; return *this;} modInt& operator*=(const modInt &n){v=ll(v)*n.v%mod; return *this;} modInt& operator/=(const modInt &n){v=ll(v)*modpow(n.v,-1,mod)%mod; return *this;} modInt& operator+=(const ll &n){v+=n; if(v>=mod) v-=mod; return *this;} modInt& operator-=(const ll &n){v-=n; if(v<0) v+=mod; return *this;} modInt& operator*=(const ll &n){v=ll(v)*n%mod; return *this;} modInt& operator/=(const ll &n){v=ll(v)*modpow(n,-1,mod)%mod; return *this;} }; template ostream& operator<<(ostream &os,const modInt &n){return os< modInt operator+(const ll &n,const modInt &m){return m.v+n modInt operator-(const ll &n,const modInt &m){return n-m.v<0 ? n-m.v+mod : n-m.v;} template modInt operator*(const ll &n,const modInt &m){return ll(m.v)*(n%mod)%mod;} template modInt operator/(const ll &n,const modInt &m){return ll(m.v)*modpow(n%mod,-1,mod)%mod;} typedef modInt mint; template modInt modpow(modInt r,ll n){ modInt re(1); if(n<0)(n%=mod-1)+=mod-1; for(;n;n/=2){if(n&1) re*=r; r*=r;} return re;} vector fact,finv,inv; mint comb(ll n,ll r){ if(n &re,int n){ re.resize(n+1); re[1]=1; for(int i=2;i<=n;++i)re[i]=re[MOD%i]*(MOD-MOD/i);} void Facts(vector &re,int n){ re.resize(n+1); re[0]=1; rep(i,n)re[i+1]=re[i]*(i+1);} void Factinvs(vector &re,const vector &inv,int n){ re.resize(n+1); re[0]=1; rep(i,n)re[i+1]=re[i]*inv[i+1];} public: Doralion(int n){ Modinvs(inv,n); Facts(fact,n); Factinvs(finv,inv,n);} } doralion(212345); mint sumxi(ll x,ll n){ if(x==1) return n%MOD; mint xx=x%MOD; mint re=1-modpow(xx,n); re/=1-xx; return re; }; mint sumixi(ll x,ll n){ if(x==1) return n*(n-1)/2%MOD; mint xx=x%MOD; mint re=1-modpow(xx,n); re/=1-xx; re-=mint(n%MOD)*modpow(xx,n); re/=1-xx; return re-sumxi(x,n); } mint sumG(ll n,ll d){ mint re=n%MOD; //out(re,n,d,sumxi(d+1,n),sumixi(d+1,n),1); re*=sumxi(d+1,n); re-=sumixi(d+1,n); return d%MOD*re; } int main(){ ios_base::sync_with_stdio(false); cout< ans(10); ans[0]=0; reps(n,1,10){ ans[n]=mint(d%MOD)*n+mint(d+1)*ans[n-1]; mint op=sumG(n,d); if(ans[n].v!=op.v) out(d,n,ans[n],op,1); } } ll n,b,d; cin>>n>>b>>d; ll INF=n+1; vector dp(100); reps(i,1,100){ dp[i]=d+(d+1)*dp[i-1]; if(MN(dp[i],INF)){ dp.resize(i+1); break; } } out(dp,1); mint re=sumG(b,d); rreps(i,1,(int)dp.size()){ if(n==dp[i]){ re+=sumG(i,d); n-=dp[i]; } ll t=n/(dp[i-1]+1); out(t,sumG(i-1,d),i,1); re-=(sumG(i-1,d)+i)*t; n%=(dp[i-1]+1); if(n==dp[i-1]){ re-=sumG(i-1,d); n-=dp[i-1]; } out(n,re,i,1); } cout<