Artifact d63874d4c871cfe6a11e5aec18ce96f10590e9f0:
0000: 2f 2f 20 53 52 4d 33 33 38 20 44 69 76 31 20 4c // SRM338 Div1 L
0010: 56 33 0a 0a e5 ae 9a e7 90 86 e3 81 ae e3 82 b9 V3..............
0020: e3 83 86 e3 83 bc e3 83 88 e3 83 a1 e3 83 b3 e3 ................
0030: 83 88 0a 0a 20 20 20 20 e5 af be e8 b1 a1 e3 81 .... ........
0040: a8 e3 81 aa e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 ................
0050: 0a 20 20 20 20 20 20 2d 20 e4 ba 8c e4 ba ba e3 . - .......
0060: 82 b2 e3 83 bc e3 83 a0 0a 20 20 20 20 20 20 2d ......... -
0070: 20 e4 ba 8c e4 ba ba e3 81 a8 e3 82 82 e5 8b 95 ...............
0080: e3 81 8b e3 81 9b e3 82 8b e6 89 8b e3 81 ae e9 ................
0090: 9b 86 e5 90 88 e3 81 af e5 90 8c e3 81 98 0a 20 ...............
00a0: 20 20 20 20 20 2d 20 e5 8b 95 e3 81 8b e3 81 9b - .........
00b0: e3 81 aa e3 81 8f e3 81 aa e3 81 a3 e3 81 9f e6 ................
00c0: 96 b9 e3 81 8c e8 b2 a0 e3 81 91 0a 20 20 20 20 ............
00d0: 20 20 2d 20 e7 84 a1 e9 99 90 e3 83 ab e3 83 bc - ............
00e0: e3 83 97 e3 81 97 e3 81 aa e3 81 84 0a 0a 20 20 ..............
00f0: 20 20 6e 69 6d 0a 20 20 20 20 20 20 2d 20 e3 82 nim. - ..
0100: b5 e3 82 a4 e3 82 ba 20 73 31 2c 20 73 32 2c 20 ....... s1, s2,
0110: 2e 2e 2c 20 73 6b 20 e3 81 ae e5 b1 b1 e3 81 8c .., sk .........
0120: e3 81 82 e3 82 8b 0a 20 20 20 20 20 20 2d 20 e3 ....... - .
0130: 81 a9 e3 82 8c e3 81 8b e4 b8 80 e3 81 a4 e5 b1 ................
0140: b1 e3 82 92 e9 81 b8 e3 82 93 e3 81 a7 20 31 20 ............. 1
0150: ef bd 9e 20 e5 b1 b1 e3 82 b5 e3 82 a4 e3 82 ba ... ............
0160: 20 e3 81 ae e4 bb bb e6 84 8f e5 80 8b e5 8f 96 ...............
0170: e3 82 8a e9 99 a4 e3 81 91 e3 82 8b 0a 20 20 20 .............
0180: 20 20 20 2d 20 e6 9c 80 e5 be 8c e3 81 ae e5 b1 - ...........
0190: b1 e3 82 92 e5 8f 96 e3 81 a3 e3 81 9f e6 96 b9 ................
01a0: e3 81 8c e5 8b 9d e3 81 a1 ef bc 88 e5 b1 b1 e3 ................
01b0: 81 8c e3 81 aa e3 81 8f e3 81 aa e3 81 a3 e3 81 ................
01c0: a6 e6 89 93 e3 81 a4 e6 89 8b e3 81 8c e7 84 a1 ................
01d0: e3 81 8f e3 81 aa e3 81 a3 e3 81 9f e6 96 b9 e3 ................
01e0: 81 8c e8 b2 a0 e3 81 91 ef bc 89 0a 0a 20 20 20 .............
01f0: 20 2a 6e 20 e3 82 92 e3 82 b5 e3 82 a4 e3 82 ba *n ............
0200: 20 6e 20 e3 81 ae e5 b1 b1 e3 81 8c 31 e5 80 8b n .........1...
0210: e3 81 a0 e3 81 91 e3 81 ae 20 6e 69 6d 20 e3 81 ......... nim ..
0220: a8 e3 81 99 e3 82 8b 0a 20 20 20 20 20 20 2d 20 ........ -
0230: 2a 30 20 e3 81 af e8 b2 a0 e3 81 91 0a 20 20 20 *0 ..........
0240: 20 20 20 2d 20 2a 6e 20 e3 81 af e5 8b 9d e3 81 - *n ........
0250: a1 20 6e 3e 3d 31 0a 0a 20 20 20 20 e3 82 b2 e3 . n>=1.. ....
0260: 83 bc e3 83 a0 0a 20 20 20 20 20 20 2d 20 e7 8a ...... - ..
0270: b6 e6 85 8b 20 47 20 e3 81 8b e3 82 89 e6 89 93 .... G .........
0280: e3 81 a6 e3 82 8b e6 89 8b e3 81 a7 e9 81 b7 e7 ................
0290: a7 bb e3 81 99 e3 82 8b e5 85 88 e3 82 92 20 47 .............. G
02a0: 31 2c 20 2e 2e 2e 2c 20 47 6b 20 e3 81 a8 e3 81 1, ..., Gk .....
02b0: 99 e3 82 8b 0a 20 20 20 20 20 20 20 20 47 20 3d ..... G =
02c0: 20 7b 47 31 2c 20 2e 2e 2e 2c 20 47 6b 7d 20 e3 {G1, ..., Gk} .
02d0: 81 a8 e6 9b b8 e3 81 8f 0a 0a 20 20 20 20 e7 ad .......... ..
02e0: 89 e4 be a1 0a 20 20 20 20 20 20 2d 20 e4 ba 8c ..... - ...
02f0: e3 81 a4 e3 81 ae e3 82 b2 e3 83 bc e3 83 a0 47 ...............G
0300: 2c 20 46 e3 81 8c e7 ad 89 e4 be a1 e3 81 aa e3 , F.............
0310: 81 93 e3 81 a8 e3 82 92 20 47 20 e2 89 a1 20 46 ........ G ... F
0320: 20 e3 81 a8 e6 9b b8 e3 81 8f 0a 20 20 20 20 20 ..........
0330: 20 20 20 e7 ad 89 e4 be a1 e3 81 a8 e3 81 84 e3 .............
0340: 81 86 e3 81 ae e3 81 af e5 8b 9d e3 81 a1 e8 b2 ................
0350: a0 e3 81 91 e4 b8 80 e8 87 b4 e3 82 88 e3 82 8a ................
0360: e3 82 82 e3 81 a3 e3 81 a8 e5 bc b7 e3 81 84 e3 ................
0370: 80 82 e4 ba 8c e3 81 a4 e3 81 ae e3 82 b2 e3 83 ................
0380: bc e3 83 a0 e3 81 ae e5 92 8c e3 82 92 e5 8f 96 ................
0390: e3 82 8b e3 81 a8 e5 bf 85 e6 95 97 e3 81 ab e3 ................
03a0: 81 aa e3 82 8b e3 81 93 e3 81 a8 0a 20 20 20 20 ............
03b0: 20 20 20 20 2a 6e 20 e3 81 a8 20 2a 6e 20 e3 81 *n ... *n ..
03c0: af e5 90 8c e3 82 b5 e3 82 a4 e3 82 ba e3 81 ae ................
03d0: e5 b1 b1 32 e3 81 a4 e3 81 ae 6e 69 6d e3 81 af ...2......nim...
03e0: e5 bf 85 e6 95 97 e3 81 aa e3 81 ae e3 81 a7 e7 ................
03f0: ad 89 e4 be a1 e3 80 82 e5 90 8c e3 82 b5 e3 82 ................
0400: a4 e3 82 ba e3 81 a7 e3 81 aa e3 81 91 e3 82 8c ................
0410: e3 81 b0 e5 bf 85 e5 8b 9d e3 81 aa e3 81 ae e3 ................
0420: 81 a7 e7 ad 89 e4 be a1 e3 81 a7 e3 81 aa e3 81 ................
0430: 84 0a 0a 20 20 20 20 e5 ae 9a e7 90 86 0a 20 20 ... .......
0440: 20 20 20 20 2d 20 47 31 e2 89 a1 2a 6e 31 2c 20 - G1...*n1,
0450: 2e 2e 2e 2c 20 47 6b e2 89 a1 2a 6e 6b 20 e3 81 ..., Gk...*nk ..
0460: aa e3 82 89 e3 81 b0 e3 80 81 47 3d 7b 47 31 2c ..........G={G1,
0470: 20 2e 2e 2e 2c 20 47 6b 7d 20 e2 89 a1 20 2a 6d ..., Gk} ... *m
0480: 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 0a 20 20 ex(n1,...,nk).
0490: 20 20 20 20 20 20 77 68 65 72 65 20 6d 65 78 28 where mex(
04a0: 53 29 20 3d 20 6d 69 6e 28 6e 61 74 20 5c 73 65 S) = min(nat \se
04b0: 74 6d 69 6e 75 73 20 53 29 0a 20 20 20 20 20 20 tminus S).
04c0: 20 20 e5 b8 b0 e7 b4 8d e7 9a 84 e3 81 ab e3 80 ..............
04d0: 81 e5 85 a8 e3 81 a6 e3 81 ae e3 82 b2 e3 83 bc ................
04e0: e3 83 a0 e3 81 af e3 81 aa e3 82 93 e3 82 89 e3 ................
04f0: 81 8b e3 81 ae 20 2a 6e 20 e3 81 a8 e7 ad 89 e4 ..... *n .......
0500: be a1 0a 0a 0a e3 81 8a e3 81 be e3 81 91 0a 20 ...............
0510: 20 40 47 20 e3 82 92 20 47 20 e3 81 ae 6e 69 6d @G ... G ...nim
0520: e5 80 a4 e3 81 a8 e3 81 99 e3 82 8b e3 80 82 e3 ................
0530: 81 a4 e3 81 be e3 82 8a 47 e2 89 a1 2a 40 47 0a ........G...*@G.
0540: 20 20 47 20 3d 20 58 20 2b 20 59 20 e3 81 aa e3 G = X + Y ....
0550: 82 89 e3 81 b0 20 40 47 20 3d 20 40 58 20 78 6f ..... @G = @X xo
0560: 72 20 40 59 0a 20 20 e5 b1 b1 e3 81 8c e8 a4 87 r @Y. .........
0570: e6 95 b0 e3 81 ae 6e 69 6d e3 81 ae e5 8b 9d e6 ......nim.......
0580: 95 97 e3 81 af e5 85 a8 e9 83 a8 78 6f 72 e3 81 ...........xor..
0590: a8 e3 81 a3 e3 81 9f 31 e3 81 a4 e5 b1 b1 e3 81 .......1........
05a0: ae 6e 69 6d e3 81 ab e7 ad 89 e3 81 97 e3 81 84 .nim............
05b0: e3 81 ae e3 81 a8 e5 90 8c e3 81 98 e5 8e 9f e7 ................
05c0: 90 86 e3 80 82 0a ......