Artifact 4dd19b13cd92c7f0e04f050a85e1d4caec207b9b:
0000: 0a 2f 2f 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d .//-------------
0010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0040: 0a 2f 2f 20 4d 6f 64 75 6c 6f 20 41 72 69 74 68 .// Modulo Arith
0050: 6d 65 74 69 63 73 0a 2f 2f 0a 2f 2f 20 56 65 72 metics.//.// Ver
0060: 69 66 69 65 64 20 62 79 0a 2f 2f 20 20 20 2d 20 ified by.// -
0070: 54 43 4f 31 30 20 52 33 20 4c 56 33 0a 2f 2f 20 TCO10 R3 LV3.//
0080: 20 20 2d 20 53 52 4d 20 35 34 35 20 4c 56 32 0a - SRM 545 LV2.
0090: 2f 2f 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d //--------------
00a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
00b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
00c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a ---------------.
00d0: 0a 73 74 61 74 69 63 20 63 6f 6e 73 74 20 69 6e .static const in
00e0: 74 20 4d 4f 44 56 41 4c 20 3d 20 31 30 30 30 30 t MODVAL = 10000
00f0: 30 30 30 30 37 3b 0a 73 74 72 75 63 74 20 6d 69 00007;.struct mi
0100: 6e 74 0a 7b 0a 09 69 6e 74 20 76 61 6c 3b 0a 09 nt.{..int val;..
0110: 6d 69 6e 74 28 29 3a 76 61 6c 28 30 29 7b 7d 0a mint():val(0){}.
0120: 09 6d 69 6e 74 28 69 6e 74 20 20 20 20 78 29 3a .mint(int x):
0130: 76 61 6c 28 78 25 4d 4f 44 56 41 4c 29 20 7b 7d val(x%MODVAL) {}
0140: 0a 09 6d 69 6e 74 28 73 69 7a 65 5f 74 20 78 29 ..mint(size_t x)
0150: 3a 76 61 6c 28 78 25 4d 4f 44 56 41 4c 29 20 7b :val(x%MODVAL) {
0160: 7d 0a 09 6d 69 6e 74 28 4c 4c 20 20 20 20 20 78 }..mint(LL x
0170: 29 3a 76 61 6c 28 78 25 4d 4f 44 56 41 4c 29 20 ):val(x%MODVAL)
0180: 7b 7d 0a 7d 3b 0a 6d 69 6e 74 26 20 6f 70 65 72 {}.};.mint& oper
0190: 61 74 6f 72 2b 3d 28 6d 69 6e 74 26 20 78 2c 20 ator+=(mint& x,
01a0: 6d 69 6e 74 20 79 29 20 7b 20 72 65 74 75 72 6e mint y) { return
01b0: 20 78 20 3d 20 78 2e 76 61 6c 2b 79 2e 76 61 6c x = x.val+y.val
01c0: 3b 20 7d 0a 6d 69 6e 74 26 20 6f 70 65 72 61 74 ; }.mint& operat
01d0: 6f 72 2d 3d 28 6d 69 6e 74 26 20 78 2c 20 6d 69 or-=(mint& x, mi
01e0: 6e 74 20 79 29 20 7b 20 72 65 74 75 72 6e 20 78 nt y) { return x
01f0: 20 3d 20 78 2e 76 61 6c 2d 79 2e 76 61 6c 2b 4d = x.val-y.val+M
0200: 4f 44 56 41 4c 3b 20 7d 0a 6d 69 6e 74 26 20 6f ODVAL; }.mint& o
0210: 70 65 72 61 74 6f 72 2a 3d 28 6d 69 6e 74 26 20 perator*=(mint&
0220: 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 65 74 x, mint y) { ret
0230: 75 72 6e 20 78 20 3d 20 4c 4c 28 78 2e 76 61 6c urn x = LL(x.val
0240: 29 2a 79 2e 76 61 6c 3b 20 7d 0a 6d 69 6e 74 20 )*y.val; }.mint
0250: 50 4f 57 28 6d 69 6e 74 20 78 2c 20 4c 4c 20 65 POW(mint x, LL e
0260: 29 20 7b 20 6d 69 6e 74 20 76 3d 31 3b 20 66 6f ) { mint v=1; fo
0270: 72 28 3b 65 3b 78 2a 3d 78 2c 65 3e 3e 3d 31 29 r(;e;x*=x,e>>=1)
0280: 20 69 66 28 65 26 31 29 20 76 2a 3d 78 3b 20 72 if(e&1) v*=x; r
0290: 65 74 75 72 6e 20 76 3b 20 7d 0a 6d 69 6e 74 26 eturn v; }.mint&
02a0: 20 6f 70 65 72 61 74 6f 72 2f 3d 28 6d 69 6e 74 operator/=(mint
02b0: 26 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 72 & x, mint y) { r
02c0: 65 74 75 72 6e 20 78 20 2a 3d 20 50 4f 57 28 79 eturn x *= POW(y
02d0: 2c 20 4d 4f 44 56 41 4c 2d 32 29 3b 20 7d 0a 6d , MODVAL-2); }.m
02e0: 69 6e 74 20 6f 70 65 72 61 74 6f 72 2b 28 6d 69 int operator+(mi
02f0: 6e 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 nt x, mint y) {
0300: 72 65 74 75 72 6e 20 78 2b 3d 79 3b 20 7d 0a 6d return x+=y; }.m
0310: 69 6e 74 20 6f 70 65 72 61 74 6f 72 2d 28 6d 69 int operator-(mi
0320: 6e 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 nt x, mint y) {
0330: 72 65 74 75 72 6e 20 78 2d 3d 79 3b 20 7d 0a 6d return x-=y; }.m
0340: 69 6e 74 20 6f 70 65 72 61 74 6f 72 2a 28 6d 69 int operator*(mi
0350: 6e 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 nt x, mint y) {
0360: 72 65 74 75 72 6e 20 78 2a 3d 79 3b 20 7d 0a 6d return x*=y; }.m
0370: 69 6e 74 20 6f 70 65 72 61 74 6f 72 2f 28 6d 69 int operator/(mi
0380: 6e 74 20 78 2c 20 6d 69 6e 74 20 79 29 20 7b 20 nt x, mint y) {
0390: 72 65 74 75 72 6e 20 78 2f 3d 79 3b 20 7d 0a 76 return x/=y; }.v
03a0: 65 63 74 6f 72 3c 6d 69 6e 74 3e 20 46 41 43 5f ector<mint> FAC_
03b0: 28 31 2c 31 29 3b 0a 6d 69 6e 74 20 46 41 43 28 (1,1);.mint FAC(
03c0: 4c 4c 20 6e 29 20 7b 20 77 68 69 6c 65 28 20 46 LL n) { while( F
03d0: 41 43 5f 2e 73 69 7a 65 28 29 3c 3d 6e 20 29 20 AC_.size()<=n )
03e0: 46 41 43 5f 2e 70 75 73 68 5f 62 61 63 6b 28 20 FAC_.push_back(
03f0: 46 41 43 5f 2e 62 61 63 6b 28 29 2a 46 41 43 5f FAC_.back()*FAC_
0400: 2e 73 69 7a 65 28 29 20 29 3b 20 72 65 74 75 72 .size() ); retur
0410: 6e 20 46 41 43 5f 5b 6e 5d 3b 20 7d 0a 6d 69 6e n FAC_[n]; }.min
0420: 74 20 43 28 4c 4c 20 6e 2c 20 4c 4c 20 6b 29 20 t C(LL n, LL k)
0430: 7b 20 72 65 74 75 72 6e 20 6b 3c 30 20 7c 7c 20 { return k<0 ||
0440: 6e 3c 6b 20 3f 20 30 20 3a 20 46 41 43 28 6e 29 n<k ? 0 : FAC(n)
0450: 20 2f 20 28 46 41 43 28 6b 29 20 2a 20 46 41 43 / (FAC(k) * FAC
0460: 28 6e 2d 6b 29 29 3b 20 7d 0a 0a 2f 2f 20 50 61 (n-k)); }..// Pa
0470: 73 63 61 6c 27 73 20 74 72 69 61 6e 67 6c 65 3a scal's triangle:
0480: 20 69 66 20 4f 28 31 29 20 6e 43 6b 20 69 73 20 if O(1) nCk is
0490: 6e 65 65 64 65 64 2e 0a 76 65 63 74 6f 72 3c 20 needed..vector<
04a0: 76 65 63 74 6f 72 3c 6d 69 6e 74 3e 20 3e 20 43 vector<mint> > C
04b0: 50 5f 28 32 30 30 31 29 3b 0a 6d 69 6e 74 20 43 P_(2001);.mint C
04c0: 28 4c 4c 20 6e 2c 20 4c 4c 20 6b 29 20 7b 0a 09 (LL n, LL k) {..
04d0: 69 66 28 43 50 5f 5b 30 5d 2e 65 6d 70 74 79 28 if(CP_[0].empty(
04e0: 29 29 20 7b 0a 09 09 43 50 5f 5b 30 5d 2e 70 75 )) {...CP_[0].pu
04f0: 73 68 5f 62 61 63 6b 28 31 29 3b 0a 09 09 66 6f sh_back(1);...fo
0500: 72 28 69 6e 74 20 6e 6e 3d 31 3b 20 6e 6e 3c 43 r(int nn=1; nn<C
0510: 50 5f 2e 73 69 7a 65 28 29 3b 20 2b 2b 6e 6e 29 P_.size(); ++nn)
0520: 0a 09 09 66 6f 72 28 69 6e 74 20 6b 6b 3d 30 3b ...for(int kk=0;
0530: 20 6b 6b 3c 3d 6e 6e 3b 20 2b 2b 6b 6b 29 0a 09 kk<=nn; ++kk)..
0540: 09 09 43 50 5f 5b 6e 6e 5d 2e 70 75 73 68 5f 62 ..CP_[nn].push_b
0550: 61 63 6b 28 20 28 6b 6b 3f 43 50 5f 5b 6e 6e 2d ack( (kk?CP_[nn-
0560: 31 5d 5b 6b 6b 2d 31 5d 3a 30 29 20 2b 20 28 6b 1][kk-1]:0) + (k
0570: 6b 3c 6e 6e 3f 43 50 5f 5b 6e 6e 2d 31 5d 5b 6b k<nn?CP_[nn-1][k
0580: 6b 5d 3a 30 29 20 29 3b 0a 09 7d 0a 09 72 65 74 k]:0) );..}..ret
0590: 75 72 6e 20 6b 3c 30 20 7c 7c 20 6e 3c 6b 20 3f urn k<0 || n<k ?
05a0: 20 30 20 3a 20 43 50 5f 5b 6e 5d 5b 6b 5d 3b 0a 0 : CP_[n][k];.
05b0: 7d 0a 0a 0a 0a 2f 2a 0a 2f 2f 20 4d 4f 44 56 41 }..../*.// MODVA
05c0: 4c 20 6d 75 73 74 20 62 65 20 61 20 70 72 69 6d L must be a prim
05d0: 65 21 21 0a 4c 4c 20 47 53 53 28 4c 4c 20 6b 2c e!!.LL GSS(LL k,
05e0: 20 4c 4c 20 62 2c 20 4c 4c 20 65 29 20 2f 2f 20 LL b, LL e) //
05f0: 6b 5e 62 20 2b 20 6b 5e 62 2b 31 20 2b 20 2e 2e k^b + k^b+1 + ..
0600: 2e 20 2b 20 6b 5e 65 0a 7b 0a 09 69 66 28 20 62 . + k^e.{..if( b
0610: 20 3e 20 20 65 20 29 20 72 65 74 75 72 6e 20 30 > e ) return 0
0620: 3b 0a 09 69 66 28 20 6b 20 3c 3d 20 31 20 29 20 ;..if( k <= 1 )
0630: 72 65 74 75 72 6e 20 6b 2a 28 65 2d 62 2b 31 29 return k*(e-b+1)
0640: 3b 0a 09 72 65 74 75 72 6e 20 44 49 56 28 53 55 ;..return DIV(SU
0650: 42 28 50 4f 57 28 6b 2c 20 65 2b 31 29 2c 20 50 B(POW(k, e+1), P
0660: 4f 57 28 6b 2c 62 29 29 2c 20 6b 2d 31 29 3b 0a OW(k,b)), k-1);.
0670: 7d 0a 0a 4c 4c 20 43 70 61 73 63 61 6c 28 4c 4c }..LL Cpascal(LL
0680: 20 6e 2c 20 4c 4c 20 6b 29 0a 7b 0a 09 76 65 63 n, LL k).{..vec
0690: 74 6f 72 3c 20 76 65 63 74 6f 72 3c 4c 4c 3e 20 tor< vector<LL>
06a0: 3e 20 63 28 6e 2b 31 2c 20 76 65 63 74 6f 72 3c > c(n+1, vector<
06b0: 4c 4c 3e 28 6b 2b 31 29 29 3b 0a 09 66 6f 72 28 LL>(k+1));..for(
06c0: 4c 4c 20 6e 6e 3d 31 3b 20 6e 6e 3c 3d 6e 3b 20 LL nn=1; nn<=n;
06d0: 2b 2b 6e 6e 29 0a 09 09 66 6f 72 28 4c 4c 20 6b ++nn)...for(LL k
06e0: 6b 3d 30 3b 20 6b 6b 3c 3d 6d 69 6e 28 6e 6e 2c k=0; kk<=min(nn,
06f0: 6b 29 3b 20 2b 2b 6b 6b 29 0a 09 09 09 63 5b 6e k); ++kk)....c[n
0700: 6e 5d 5b 6b 6b 5d 20 3d 20 6b 6b 3d 3d 30 20 7c n][kk] = kk==0 |
0710: 7c 20 6b 6b 3d 3d 6e 6e 20 3f 20 31 20 3a 20 41 | kk==nn ? 1 : A
0720: 44 44 28 63 5b 6e 6e 2d 31 5d 5b 6b 6b 2d 31 5d DD(c[nn-1][kk-1]
0730: 2c 20 63 5b 6e 6e 2d 31 5d 5b 6b 6b 5d 29 3b 0a , c[nn-1][kk]);.
0740: 09 72 65 74 75 72 6e 20 63 5b 6e 5d 5b 6b 5d 3b .return c[n][k];
0750: 0a 7d 0a 0a 76 65 63 74 6f 72 3c 20 76 65 63 74 .}..vector< vect
0760: 6f 72 3c 4c 4c 3e 20 3e 20 4d 41 54 4d 55 4c 28 or<LL> > MATMUL(
0770: 76 65 63 74 6f 72 3c 20 76 65 63 74 6f 72 3c 4c vector< vector<L
0780: 4c 3e 20 3e 26 20 61 2c 20 76 65 63 74 6f 72 3c L> >& a, vector<
0790: 20 76 65 63 74 6f 72 3c 4c 4c 3e 20 3e 26 20 62 vector<LL> >& b
07a0: 29 0a 7b 0a 20 20 20 69 6e 74 20 4e 20 3d 20 61 ).{. int N = a
07b0: 2e 73 69 7a 65 28 29 3b 0a 20 20 20 76 65 63 74 .size();. vect
07c0: 6f 72 3c 20 76 65 63 74 6f 72 3c 4c 4c 3e 20 3e or< vector<LL> >
07d0: 20 63 28 4e 2c 20 76 65 63 74 6f 72 3c 4c 4c 3e c(N, vector<LL>
07e0: 28 4e 29 29 3b 0a 20 20 20 66 6f 72 28 69 6e 74 (N));. for(int
07f0: 20 69 3d 30 3b 20 69 3c 4e 3b 20 2b 2b 69 29 0a i=0; i<N; ++i).
0800: 20 20 20 66 6f 72 28 69 6e 74 20 6a 3d 30 3b 20 for(int j=0;
0810: 6a 3c 4e 3b 20 2b 2b 6a 29 0a 20 20 20 66 6f 72 j<N; ++j). for
0820: 28 69 6e 74 20 6b 3d 30 3b 20 6b 3c 4e 3b 20 2b (int k=0; k<N; +
0830: 2b 6b 29 0a 20 20 20 20 20 20 63 5b 69 5d 5b 6a +k). c[i][j
0840: 5d 20 3d 20 41 44 44 28 63 5b 69 5d 5b 6a 5d 2c ] = ADD(c[i][j],
0850: 20 4d 55 4c 28 61 5b 69 5d 5b 6b 5d 2c 62 5b 6b MUL(a[i][k],b[k
0860: 5d 5b 6a 5d 29 29 3b 0a 20 20 20 72 65 74 75 72 ][j]));. retur
0870: 6e 20 63 3b 0a 7d 0a 0a 2f 2f 20 77 6f 72 6b 73 n c;.}..// works
0880: 20 66 6f 72 20 6e 6f 6e 2d 70 72 69 6d 65 20 4d for non-prime M
0890: 4f 44 56 41 4c 0a 4c 4c 20 47 45 4f 28 4c 4c 20 ODVAL.LL GEO(LL
08a0: 78 5f 2c 20 4c 4c 20 65 29 20 2f 2f 20 78 5e 30 x_, LL e) // x^0
08b0: 20 2b 20 78 5e 31 20 2b 20 2e 2e 2e 20 2b 20 78 + x^1 + ... + x
08c0: 5e 65 2d 31 0a 7b 0a 20 20 20 76 65 63 74 6f 72 ^e-1.{. vector
08d0: 3c 20 76 65 63 74 6f 72 3c 4c 4c 3e 20 3e 20 76 < vector<LL> > v
08e0: 28 32 2c 20 76 65 63 74 6f 72 3c 4c 4c 3e 28 32 (2, vector<LL>(2
08f0: 29 29 3b 0a 20 20 20 76 65 63 74 6f 72 3c 20 76 ));. vector< v
0900: 65 63 74 6f 72 3c 4c 4c 3e 20 3e 20 78 28 32 2c ector<LL> > x(2,
0910: 20 76 65 63 74 6f 72 3c 4c 4c 3e 28 32 29 29 3b vector<LL>(2));
0920: 0a 20 20 20 76 5b 30 5d 5b 30 5d 20 3d 20 76 5b . v[0][0] = v[
0930: 31 5d 5b 31 5d 20 3d 20 31 3b 0a 20 20 20 78 5b 1][1] = 1;. x[
0940: 30 5d 5b 30 5d 20 3d 20 78 5f 3b 20 78 5b 30 5d 0][0] = x_; x[0]
0950: 5b 31 5d 20 3d 20 30 3b 0a 20 20 20 78 5b 31 5d [1] = 0;. x[1]
0960: 5b 30 5d 20 3d 20 31 20 3b 20 78 5b 31 5d 5b 31 [0] = 1 ; x[1][1
0970: 5d 20 3d 20 31 3b 0a 20 20 20 66 6f 72 28 3b 65 ] = 1;. for(;e
0980: 3b 78 3d 4d 41 54 4d 55 4c 28 78 2c 78 29 2c 65 ;x=MATMUL(x,x),e
0990: 3e 3e 3d 31 29 0a 20 20 20 20 20 20 69 66 28 65 >>=1). if(e
09a0: 26 31 29 0a 20 20 20 20 20 20 20 20 20 76 20 3d &1). v =
09b0: 20 4d 41 54 4d 55 4c 28 76 2c 20 78 29 3b 0a 20 MATMUL(v, x);.
09c0: 20 20 72 65 74 75 72 6e 20 76 5b 31 5d 5b 30 5d return v[1][0]
09d0: 3b 0a 7d 0a 0a 2f 2f 20 77 6f 72 6b 73 20 66 6f ;.}..// works fo
09e0: 72 20 6e 6f 6e 2d 70 72 69 6d 65 20 4d 4f 44 56 r non-prime MODV
09f0: 41 4c 0a 4c 4c 20 48 59 50 28 4c 4c 20 78 5f 2c AL.LL HYP(LL x_,
0a00: 20 4c 4c 20 65 29 20 2f 2f 20 65 20 78 5e 30 20 LL e) // e x^0
0a10: 2b 20 28 65 2d 31 29 20 78 5e 31 20 2b 20 2e 2e + (e-1) x^1 + ..
0a20: 2e 20 2b 20 31 20 78 5e 65 2d 31 20 3d 20 47 45 . + 1 x^e-1 = GE
0a30: 4f 28 78 2c 31 29 2b 47 45 4f 28 78 2c 32 29 2b O(x,1)+GEO(x,2)+
0a40: 2e 2e 2e 2b 47 45 4f 28 78 2c 65 29 0a 7b 0a 20 ...+GEO(x,e).{.
0a50: 20 20 76 65 63 74 6f 72 3c 20 76 65 63 74 6f 72 vector< vector
0a60: 3c 4c 4c 3e 20 3e 20 76 28 33 2c 20 76 65 63 74 <LL> > v(3, vect
0a70: 6f 72 3c 4c 4c 3e 28 33 29 29 3b 0a 20 20 20 76 or<LL>(3));. v
0a80: 65 63 74 6f 72 3c 20 76 65 63 74 6f 72 3c 4c 4c ector< vector<LL
0a90: 3e 20 3e 20 78 28 33 2c 20 76 65 63 74 6f 72 3c > > x(3, vector<
0aa0: 4c 4c 3e 28 33 29 29 3b 0a 20 20 20 76 5b 30 5d LL>(3));. v[0]
0ab0: 5b 30 5d 20 3d 20 76 5b 31 5d 5b 31 5d 20 3d 20 [0] = v[1][1] =
0ac0: 76 5b 32 5d 5b 32 5d 20 3d 20 31 3b 0a 20 20 20 v[2][2] = 1;.
0ad0: 78 5b 30 5d 5b 30 5d 20 3d 20 78 5f 3b 20 78 5b x[0][0] = x_; x[
0ae0: 30 5d 5b 31 5d 20 3d 20 30 3b 20 78 5b 30 5d 5b 0][1] = 0; x[0][
0af0: 32 5d 20 3d 20 30 3b 0a 20 20 20 78 5b 31 5d 5b 2] = 0;. x[1][
0b00: 30 5d 20 3d 20 31 20 3b 20 78 5b 31 5d 5b 31 5d 0] = 1 ; x[1][1]
0b10: 20 3d 20 31 3b 20 78 5b 31 5d 5b 32 5d 20 3d 20 = 1; x[1][2] =
0b20: 30 3b 0a 20 20 20 78 5b 32 5d 5b 30 5d 20 3d 20 0;. x[2][0] =
0b30: 30 20 3b 20 78 5b 32 5d 5b 31 5d 20 3d 20 31 3b 0 ; x[2][1] = 1;
0b40: 20 78 5b 32 5d 5b 32 5d 20 3d 20 31 3b 0a 20 20 x[2][2] = 1;.
0b50: 20 65 2b 2b 3b 0a 20 20 20 66 6f 72 28 3b 65 3b e++;. for(;e;
0b60: 78 3d 4d 41 54 4d 55 4c 28 78 2c 78 29 2c 65 3e x=MATMUL(x,x),e>
0b70: 3e 3d 31 29 0a 20 20 20 20 20 20 69 66 28 65 26 >=1). if(e&
0b80: 31 29 0a 20 20 20 20 20 20 20 20 20 76 20 3d 20 1). v =
0b90: 4d 41 54 4d 55 4c 28 76 2c 20 78 29 3b 0a 20 20 MATMUL(v, x);.
0ba0: 20 72 65 74 75 72 6e 20 76 5b 32 5d 5b 30 5d 3b return v[2][0];
0bb0: 0a 7d 0a 2a 2f 0a .}.*/.