Artifact 5e1e68bb34c03f9de66d8d793311b2316f1e00da:
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 20 20 20 20 e5 ae 9a e7 90 86 e3 81 .... ........
0510: ae e8 a8 bc e6 98 8e 0a 20 20 20 20 20 20 2d 20 ........ -
0520: 7b 47 31 2c 20 2e 2e 2e 2c 20 47 6b 7d 20 e3 81 {G1, ..., Gk} ..
0530: af 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b . *mex(n1,...,nk
0540: 29 20 e3 81 a8 e7 ad 89 e4 be a1 e3 80 82 0a 20 ) .............
0550: 20 20 20 20 20 20 20 e3 81 a4 e3 81 be e3 82 8a .........
0560: e5 92 8c e3 82 92 e5 8f 96 e3 82 8b e3 81 a8 e5 ................
0570: bf 85 e6 95 97 e3 80 82 0a 20 20 20 20 20 20 20 .........
0580: 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 *mex(n1,...,nk)
0590: 20 e5 81 b4 e3 82 92 e5 8b 95 e3 81 8b e3 81 97 ...............
05a0: e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 e7 9b b8 e6 ................
05b0: 89 8b e3 81 af e5 af be e5 bf 9c e3 81 99 e3 82 ................
05c0: 8b 20 47 69 20 e3 81 ab e9 81 b7 e7 a7 bb e3 81 . Gi ...........
05d0: 99 e3 82 8b e3 80 82 0a 20 20 20 20 20 20 20 20 ........
05e0: 7b 47 7d 20 e5 81 b4 e3 82 92 20 6d 65 78 28 6e {G} ...... mex(n
05f0: 31 2c 2e 2e 2e 2c 6e 6b 29 20 e3 82 88 e3 82 8a 1,...,nk) ......
0600: e5 b0 8f e3 81 95 e3 81 84 e3 82 b2 e3 83 bc e3 ................
0610: 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 97 e3 81 ................
0620: 9f e5 a0 b4 e5 90 88 e3 80 81 6d 65 78 e5 81 b4 ..........mex...
0630: e3 82 92 e5 af be e5 bf 9c e3 81 99 e3 82 8b e5 ................
0640: 80 a4 e3 81 ab e5 a4 89 e3 81 88 e3 82 8b e3 80 ................
0650: 82 0a 20 20 20 20 20 20 20 20 7b 47 7d 20 e5 81 .. {G} ..
0660: b4 e3 82 92 20 6d 65 78 20 e3 82 88 e3 82 8a e5 .... mex .......
0670: a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 83 bc e3 83 ................
0680: a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 97 e3 81 9f ................
0690: e5 a0 b4 e5 90 88 e3 80 81 e3 81 9d e3 81 ae e5 ................
06a0: a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 83 bc e3 83 ................
06b0: a0 e3 82 92 6d 65 78 e3 81 ab e4 b8 8b e3 81 92 ....mex.........
06c0: e3 82 8b e3 80 82 0a 20 20 20 20 20 20 20 20 e3 ....... .
06d0: 81 a7 e4 b8 a1 e5 81 b4 e7 ad 89 e4 be a1 e3 82 ................
06e0: 92 e4 bf 9d e3 81 a6 e3 81 a6 e3 81 97 e3 81 be ................
06f0: e3 81 86 e3 80 82 0a 0a 20 20 20 20 e7 ad 89 e4 ........ ....
0700: be a1 28 e5 92 8c e3 82 92 e5 8f 96 e3 82 8b e3 ..(.............
0710: 81 a8 e5 bf 85 e6 95 97 29 20 3d 3e 20 e5 8b 9d ........) => ...
0720: e3 81 a1 e8 b2 a0 e3 81 91 e4 b8 80 e8 87 b4 20 ...............
0730: e3 81 ae e8 a8 bc e6 98 8e 0a 20 20 20 20 20 20 ..........
0740: 2d 20 e5 81 b6 e5 a5 87 e3 82 92 e8 80 83 e3 81 - ..............
0750: 88 e3 82 8c e3 81 b0 e8 89 af e3 81 84 e3 80 82 ................
0760: e5 bf 85 e5 8b 9d e3 82 b2 e3 83 bc e3 83 a0 2b ...............+
0770: e5 bf 85 e6 95 97 e3 82 b2 e3 83 bc e3 83 a0 20 ...............
0780: e3 81 aa e3 82 89 e5 88 9d e6 89 8b e3 81 a7 e5 ................
0790: bf 85 e5 8b 9d e3 82 92 e5 bf 85 e6 95 97 e3 81 ................
07a0: ab e5 a4 89 e3 81 88 e3 81 a6 e5 b8 b8 e3 81 ab ................
07b0: e3 81 9d e3 81 ae e7 8a b6 e6 85 8b e3 82 92 0a ................
07c0: 20 20 20 20 20 20 20 20 e4 bf 9d e3 81 a6 e3 81 ........
07d0: b0 e5 8b 9d e3 81 a6 e3 82 8b e3 80 82 e3 82 86 ................
07e0: e3 81 88 e3 81 ab e4 b8 80 e8 87 b4 e3 81 97 e3 ................
07f0: 81 aa e3 81 84 e3 81 aa e3 82 89 e5 92 8c e3 82 ................
0800: 92 e3 81 a8 e3 81 a3 e3 81 9f e3 82 b2 e3 83 bc ................
0810: e3 83 a0 e3 81 af e5 bf 85 e5 8b 9d e3 80 82 0a ................
0820: 0a 0a e3 81 8a e3 81 be e3 81 91 0a 20 20 40 47 ............ @G
0830: 20 e3 82 92 20 47 20 e3 81 ae 6e 69 6d e5 80 a4 ... G ...nim...
0840: e3 81 a8 e3 81 99 e3 82 8b e3 80 82 e3 81 a4 e3 ................
0850: 81 be e3 82 8a 47 e2 89 a1 2a 40 47 0a 20 20 47 .....G...*@G. G
0860: 20 3d 20 58 20 2b 20 59 20 e3 81 aa e3 82 89 e3 = X + Y .......
0870: 81 b0 20 40 47 20 3d 20 40 58 20 78 6f 72 20 40 .. @G = @X xor @
0880: 59 0a 20 20 e5 b1 b1 e3 81 8c e8 a4 87 e6 95 b0 Y. ............
0890: e3 81 ae 6e 69 6d e3 81 ae e5 8b 9d e6 95 97 e3 ...nim..........
08a0: 81 af e5 85 a8 e9 83 a8 78 6f 72 e3 81 a8 e3 81 ........xor.....
08b0: a3 e3 81 9f 31 e3 81 a4 e5 b1 b1 e3 81 ae 6e 69 ....1.........ni
08c0: 6d e3 81 ab e7 ad 89 e3 81 97 e3 81 84 e3 81 ae m...............
08d0: e3 81 a8 e5 90 8c e3 81 98 e5 8e 9f e7 90 86 e3 ................
08e0: 80 82 0a ...