Artifact a6c762d68e00b3ce5526d4deda4fde6ff4c87f2a:
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 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d V3..------------
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: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0050: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0060: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a ---------------.
0070: e5 af be e8 b1 a1 e3 81 a8 e3 81 aa e3 82 8b e3 ................
0080: 82 b2 e3 83 bc e3 83 a0 0a 20 20 2d 20 e4 ba 8c ......... - ...
0090: e4 ba ba e3 82 b2 e3 83 bc e3 83 a0 0a 20 20 2d ............. -
00a0: 20 e4 ba 8c e4 ba ba e3 81 a8 e3 82 82 e5 8b 95 ...............
00b0: e3 81 8b e3 81 9b e3 82 8b e6 89 8b e3 81 ae e9 ................
00c0: 9b 86 e5 90 88 e3 81 af e5 90 8c e3 81 98 0a 20 ...............
00d0: 20 2d 20 e5 8b 95 e3 81 8b e3 81 9b e3 81 aa e3 - .............
00e0: 81 8f e3 81 aa e3 81 a3 e3 81 9f e6 96 b9 e3 81 ................
00f0: 8c e8 b2 a0 e3 81 91 0a 20 20 2d 20 e7 84 a1 e9 ........ - ....
0100: 99 90 e3 83 ab e3 83 bc e3 83 97 e3 81 97 e3 81 ................
0110: aa e3 81 84 0a 0a 6e 69 6d 0a 20 20 2d 20 6e 20 ......nim. - n
0120: e5 80 8b e3 81 ae e7 9f b3 e3 81 ae e5 b1 b1 e3 ................
0130: 81 8c e3 81 82 e3 82 8b 0a 20 20 2d 20 e4 b8 80 ......... - ...
0140: e6 89 8b e3 81 a7 20 31 20 ef bd 9e 20 6e 20 e5 ...... 1 ... n .
0150: 80 8b e5 8f 96 e3 81 a3 e3 81 a6 e3 81 84 e3 81 ................
0160: 84 0a 20 20 2d 20 e6 9c 80 e5 be 8c e3 81 ae e7 .. - ..........
0170: 9f b3 e3 82 92 e5 8f 96 e3 81 a3 e3 81 9f e6 96 ................
0180: b9 e3 81 8c e5 8b 9d e3 81 a1 ef bc 88 e7 9f b3 ................
0190: e3 81 8c e3 81 aa e3 81 8f e3 81 aa e3 81 a3 e3 ................
01a0: 81 a6 e6 89 93 e3 81 a4 e6 89 8b e3 81 8c e7 84 ................
01b0: a1 e3 81 8f e3 81 aa e3 81 a3 e3 81 9f e6 96 b9 ................
01c0: e3 81 8c e8 b2 a0 e3 81 91 ef bc 89 0a 0a 2a 6e ..............*n
01d0: 20 e3 82 92 e3 82 b5 e3 82 a4 e3 82 ba 20 6e 20 ............ n
01e0: e3 81 ae e5 b1 b1 e3 81 8c 31 e5 80 8b e3 81 a0 .........1......
01f0: e3 81 91 e3 81 ae 20 6e 69 6d 20 e3 81 a8 e3 81 ...... nim .....
0200: 99 e3 82 8b 0a 20 20 2d 20 2a 30 20 e3 81 af e8 ..... - *0 ....
0210: b2 a0 e3 81 91 0a 20 20 2d 20 2a 6e 20 e3 81 af ...... - *n ...
0220: e5 8b 9d e3 81 a1 20 6e 3e 3d 31 0a 0a 2d 2d 2d ...... n>=1..---
0230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0250: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0260: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0270: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0280: 2d 2d 2d 2d 2d 2d 2d 2d 0a e3 82 b2 e3 83 bc e3 --------........
0290: 83 a0 0a 20 20 2d 20 e7 8a b6 e6 85 8b 20 47 20 ... - ...... G
02a0: e3 81 8b e3 82 89 e6 89 93 e3 81 a6 e3 82 8b e6 ................
02b0: 89 8b e3 81 a7 e9 81 b7 e7 a7 bb e3 81 99 e3 82 ................
02c0: 8b e5 85 88 e3 82 92 20 47 31 2c 20 2e 2e 2e 2c ....... G1, ...,
02d0: 20 47 6b 20 e3 81 a8 e3 81 99 e3 82 8b 0a 20 20 Gk ..........
02e0: 20 20 47 20 3d 20 7b 47 31 2c 20 2e 2e 2e 2c 20 G = {G1, ...,
02f0: 47 6b 7d 20 e3 81 a8 e6 9b b8 e3 81 8f 0a 0a e3 Gk} ............
0300: 82 b2 e3 83 bc e3 83 a0 e3 81 ae e5 92 8c 0a 20 ...............
0310: 20 2d 20 47 31 20 2b 20 47 32 20 e3 82 92 e3 80 - G1 + G2 .....
0320: 81 47 31 20 e3 81 a8 20 47 32 20 e3 81 ae e4 ba .G1 ... G2 .....
0330: 8c e3 81 a4 e3 81 ae e3 82 b2 e3 83 bc e3 83 a0 ................
0340: e3 81 8c e3 81 82 e3 81 a3 e3 81 a6 e3 80 81 e3 ................
0350: 81 a9 e3 81 a1 e3 82 89 e3 81 8b e3 82 92 e9 81 ................
0360: b8 e3 82 93 e3 81 a7 e4 b8 80 e6 89 8b e9 80 b2 ................
0370: e3 82 81 e3 82 89 e3 82 8c e3 82 8b e3 82 b2 e3 ................
0380: 83 bc e3 83 a0 e3 81 a8 e3 81 99 e3 82 8b e3 80 ................
0390: 82 0a 20 20 20 20 e3 81 99 e3 81 aa e3 82 8f e3 .. ..........
03a0: 81 a1 20 47 31 20 2b 20 47 32 20 3d 20 7b 28 76 .. G1 + G2 = {(v
03b0: 2c 47 32 29 20 7c 20 76 e2 88 88 47 31 7d 20 e2 ,G2) | v...G1} .
03c0: 88 aa 20 7b 28 47 31 2c 75 29 20 7c 20 75 e2 88 .. {(G1,u) | u..
03d0: 88 47 32 7d 20 0a 0a e7 ad 89 e4 be a1 0a 20 20 .G2} .........
03e0: 2d 20 e4 ba 8c e3 81 a4 e3 81 ae e3 82 b2 e3 83 - ..............
03f0: bc e3 83 a0 47 2c 20 46 e3 81 8c e7 ad 89 e4 be ....G, F........
0400: a1 e3 81 aa e3 81 93 e3 81 a8 e3 82 92 20 47 20 ............. G
0410: e2 89 a1 20 46 20 e3 81 a8 e6 9b b8 e3 81 8f 0a ... F ..........
0420: 20 20 20 20 e7 ad 89 e4 be a1 e3 81 a8 e3 81 84 ............
0430: e3 81 86 e3 81 ae e3 81 af e5 8b 9d e3 81 a1 e8 ................
0440: b2 a0 e3 81 91 e4 b8 80 e8 87 b4 e3 82 88 e3 82 ................
0450: 8a e3 82 82 e3 81 a3 e3 81 a8 e5 bc b7 e3 81 84 ................
0460: e3 80 82 e4 ba 8c e3 81 a4 e3 81 ae e3 82 b2 e3 ................
0470: 83 bc e3 83 a0 e3 81 ae e5 92 8c 20 47 2b 46 20 ........... G+F
0480: e3 81 8c e5 bf 85 e6 95 97 e3 81 ab e3 81 aa e3 ................
0490: 82 8b e3 81 93 e3 81 a8 e3 80 82 0a 20 20 20 20 ............
04a0: e3 81 9f e3 81 a8 e3 81 88 e3 81 b0 20 2a 6e 20 ............ *n
04b0: e3 81 a8 20 2a 6e 20 e3 81 af e5 90 8c e3 82 b5 ... *n .........
04c0: e3 82 a4 e3 82 ba e3 81 ae e5 b1 b1 32 e3 81 a4 ............2...
04d0: e3 81 ae 6e 69 6d e3 81 af e5 bf 85 e6 95 97 e3 ...nim..........
04e0: 81 aa e3 81 ae e3 81 a7 e7 ad 89 e4 be a1 e3 80 ................
04f0: 82 e5 90 8c e3 82 b5 e3 82 a4 e3 82 ba e3 81 a7 ................
0500: e3 81 aa e3 81 91 e3 82 8c e3 81 b0 e5 bf 85 e5 ................
0510: 8b 9d e3 81 aa e3 81 ae e3 81 a7 e7 ad 89 e4 be ................
0520: a1 e3 81 a7 e3 81 aa e3 81 84 0a 20 20 20 20 e7 ........... .
0530: ad 89 e4 be a1 e3 81 a8 e3 81 84 e3 81 86 e3 81 ................
0540: ae e3 81 af e5 8f af e8 83 bd e3 81 aa e5 8b 95 ................
0550: e3 81 8d e3 81 ae e6 a7 8b e9 80 a0 e3 81 8c 69 ...............i
0560: 73 6f 6d 6f 72 70 68 69 63 2f 62 69 73 69 6d 69 somorphic/bisimi
0570: 6c 61 72 e3 81 a8 e3 81 84 e3 81 86 e3 82 88 e3 lar.............
0580: 82 8a e3 81 af e5 bc b1 e3 81 84 e3 80 82 0a 20 ...............
0590: 20 20 20 e3 81 9f e3 81 a8 e3 81 88 e3 81 b0 e4 .............
05a0: bb a5 e4 b8 8b e3 81 a7 e7 a4 ba e3 81 99 e3 82 ................
05b0: 88 e3 81 86 e3 81 ab 20 2a 31 20 2b 20 2a 33 20 ....... *1 + *3
05c0: e2 89 a1 20 2a 32 20 e3 81 a0 e3 81 8c e5 88 9d ... *2 .........
05d0: e6 89 8b e3 81 ae e3 83 91 e3 82 bf e3 83 bc e3 ................
05e0: 83 b3 e6 95 b0 e3 81 aa e3 81 a9 e9 81 95 e3 81 ................
05f0: 86 e3 80 82 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ......----------
0600: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0630: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0640: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0650: 2d 0a e5 ae 9a e7 90 86 ef bc 9a e7 ad 89 e4 be -...............
0660: a1 28 e5 92 8c e3 82 92 e5 8f 96 e3 82 8b e3 81 .(..............
0670: a8 e5 bf 85 e6 95 97 29 20 3d 3e 20 e5 8b 9d e3 .......) => ....
0680: 81 a1 e8 b2 a0 e3 81 91 e4 b8 80 e8 87 b4 0a 20 ...............
0690: 20 2d 20 e5 bf 85 e5 8b 9d e3 82 b2 e3 83 bc e3 - .............
06a0: 83 a0 2b e5 bf 85 e6 95 97 e3 82 b2 e3 83 bc e3 ..+.............
06b0: 83 a0 20 e3 81 aa e3 82 89 e5 88 9d e6 89 8b e3 .. .............
06c0: 81 a7 e5 bf 85 e5 8b 9d e3 82 92 e5 bf 85 e6 95 ................
06d0: 97 e3 81 ab e5 a4 89 e3 81 88 e3 81 a6 e5 b8 b8 ................
06e0: e3 81 ab e3 81 9d e3 81 ae e7 8a b6 e6 85 8b e3 ................
06f0: 82 92 e4 bf 9d e3 81 a6 e3 81 b0 e5 8b 9d e3 81 ................
0700: a6 e3 82 8b e3 80 82 0a 20 20 20 20 e3 82 86 e3 ........ ....
0710: 81 88 e3 81 ab e5 8b 9d e3 81 a1 e8 b2 a0 e3 81 ................
0720: 91 e3 81 8c e4 b8 80 e8 87 b4 e3 81 97 e3 81 aa ................
0730: e3 81 84 e3 81 aa e3 82 89 e5 92 8c e3 82 92 e3 ................
0740: 81 a8 e3 81 a3 e3 81 9f e3 82 b2 e3 83 bc e3 83 ................
0750: a0 e3 81 af e5 bf 85 e5 8b 9d e3 80 82 0a 20 20 ..............
0760: 20 20 20 20 e5 bf 85 e6 95 97 20 2b 20 e5 bf 85 ...... + ...
0770: e6 95 97 20 3d 20 e5 bf 85 e6 95 97 0a 20 20 20 ... = .......
0780: 20 20 20 e5 bf 85 e5 8b 9d 20 2b 20 e5 bf 85 e6 ...... + ....
0790: 95 97 20 3d 20 e5 bf 85 e5 8b 9d 0a 0a 20 20 20 .. = ........
07a0: 20 e6 b3 a8 e6 84 8f ef bc 9a 0a 20 20 20 20 20 ..........
07b0: 20 e5 bf 85 e5 8b 9d 20 2b 20 e5 bf 85 e5 8b 9d ...... + ......
07c0: 20 3d 20 e5 bf 85 e6 95 97 0a 20 20 20 20 e3 81 = ....... ..
07d0: af e6 88 90 e3 82 8a e7 ab 8b e3 81 9f e3 81 aa ................
07e0: e3 81 84 ef bc 81 20 2a 32 20 2b 20 2a 31 20 e3 ...... *2 + *1 .
07f0: 81 af 20 e5 88 9d e6 89 8b e3 81 a7 20 2a 31 20 .. ......... *1
0800: 2b 20 2a 31 20 e3 81 ab e8 a1 8c e3 81 91 e3 82 + *1 ...........
0810: 8b e3 81 ae e3 81 a7 e3 81 93 e3 82 8c e3 81 af ................
0820: e5 8b 9d e3 81 a6 e3 82 8b 0a 0a e8 a3 9c e9 a1 ................
0830: 8c ef bc 9a 47 2b 47 20 e3 81 af e5 bf 85 e6 95 ....G+G ........
0840: 97 0a e3 80 80 2d 20 e3 81 be e3 81 ad e3 81 a3 .....- .........
0850: e3 81 93 6d 6f 76 65 e3 82 92 e3 81 95 e3 82 8c ...move.........
0860: e3 82 8b e3 81 a8 e8 b2 a0 e3 81 91 e3 82 8b e3 ................
0870: 81 97 e3 81 8b e3 81 aa e3 81 84 0a 0a e8 a3 9c ................
0880: e9 a1 8c ef bc 9a 41 e2 89 a1 42 20 e3 81 aa e3 ......A...B ....
0890: 82 89 e3 81 b0 20 41 2b 43 e2 89 a1 42 2b 43 0a ..... A+C...B+C.
08a0: 20 20 2d 20 41 2b 43 2b 42 2b 43 20 3d 20 28 41 - A+C+B+C = (A
08b0: 2b 42 29 2b 28 43 2b 43 29 20 3d 20 e5 bf 85 e6 +B)+(C+C) = ....
08c0: 95 97 2b e5 bf 85 e6 95 97 20 3d 20 e5 bf 85 e6 ..+...... = ....
08d0: 95 97 0a 0a e8 a3 9c e9 a1 8c ef bc 9a 41 e2 89 .............A..
08e0: a1 42 20 e3 81 aa e3 82 89 e3 81 b0 20 7b 41 2c .B ......... {A,
08f0: 47 31 2c 47 32 2c 2e 2e 2e 7d e2 89 a1 7b 42 2c G1,G2,...}...{B,
0900: 47 31 2c 47 32 2c 2e 2e 2e 7d 0a e3 80 80 2d 20 G1,G2,...}....-
0910: 7b 41 2c 47 31 2c 47 32 2c 2e 2e 2e 7d 2b 7b 42 {A,G1,G2,...}+{B
0920: 2c 47 31 2c 47 32 2c 2e 2e 2e 7d 20 e3 81 af e5 ,G1,G2,...} ....
0930: bf 85 e6 95 97 e3 80 82 e3 81 aa e3 81 9c e3 81 ................
0940: aa e3 82 89 e3 81 93 e3 81 a1 e3 82 89 e3 81 8c ................
0950: e3 81 a9 e3 81 86 e5 8b 95 e3 81 8b e3 81 97 e3 ................
0960: 81 a6 e3 82 82 0a 20 20 20 20 41 2b 42 2c 20 47 ...... A+B, G
0970: 31 2b 47 31 2c 20 47 32 2b 47 32 2c 20 2e 2e 2e 1+G1, G2+G2, ...
0980: 20 e3 81 ae e3 81 84 e3 81 9a e3 82 8c e3 81 8b ...............
0990: e3 81 ae e5 bf 85 e6 95 97 e7 8a b6 e6 85 8b e3 ................
09a0: 81 ab e9 81 b7 e7 a7 bb e3 81 95 e3 81 9b e3 82 ................
09b0: 89 e3 82 8c e3 82 8b e3 81 8b e3 82 89 e3 80 82 ................
09c0: 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ..--------------
09d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
09e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
09f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0a00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0a10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a e5 ae -------------...
0a20: 9a e7 90 86 e3 80 90 e3 82 b2 e3 83 bc e3 83 a0 ................
0a30: e3 81 ae e5 92 8c e3 81 af 78 6f 72 e3 80 91 0a .........xor....
0a40: 20 20 2d 20 2a 6e 31 20 2b 20 2a 6e 32 20 3d 20 - *n1 + *n2 =
0a50: 2a 28 6e 31 20 78 6f 72 20 6e 32 29 0a 20 20 2d *(n1 xor n2). -
0a60: 20 e3 82 88 e3 82 8a e4 b8 80 e8 88 ac e7 9a 84 ...............
0a70: e3 81 ab 20 47 31 e2 89 a1 2a 6e 31 2c 20 47 32 ... G1...*n1, G2
0a80: e2 89 a1 2a 6e 32 20 e3 81 aa e3 82 89 e3 81 b0 ...*n2 .........
0a90: e3 80 81 47 31 20 2b 20 47 32 20 e2 89 a1 20 2a ...G1 + G2 ... *
0aa0: 28 6e 31 20 78 6f 72 20 6e 32 29 0a 0a 20 20 e8 (n1 xor n2).. .
0ab0: a8 bc e6 98 8e 0a 20 20 20 20 2d 20 2a 6e 31 20 ...... - *n1
0ac0: 2b 20 2a 6e 32 20 2b 20 2a 28 6e 31 20 78 6f 72 + *n2 + *(n1 xor
0ad0: 20 6e 32 29 20 e3 81 8c e5 bf 85 e6 95 97 e3 81 n2) ...........
0ae0: a7 e3 81 82 e3 82 8b e3 81 93 e3 81 a8 e3 82 92 ................
0af0: e8 a8 80 e3 81 88 e3 81 b0 e8 89 af e3 81 84 e3 ................
0b00: 80 82 0a 20 20 20 20 2d 20 28 6e 31 20 78 6f 72 ... - (n1 xor
0b10: 20 6e 32 20 78 6f 72 20 28 6e 31 20 78 6f 72 20 n2 xor (n1 xor
0b20: 6e 32 29 29 20 e3 81 af 20 30 20 e3 81 a7 e3 81 n2)) ... 0 .....
0b30: 82 e3 82 8b 0a 20 20 20 20 2d 20 e4 b8 80 e6 89 ..... - .....
0b40: 8b e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 20 30 20 ............. 0
0b50: e3 81 98 e3 82 83 e3 81 aa e3 81 8f e3 81 aa e3 ................
0b60: 82 8b 0a 20 20 20 20 20 20 20 20 3e 3e 20 6e 31 ... >> n1
0b70: 20 e3 81 a8 20 6e 32 20 e3 81 a8 20 6e 31 5e 6e ... n2 ... n1^n
0b80: 32 20 e3 81 ae e3 81 a9 e3 82 8c e3 81 8b e4 b8 2 ..............
0b90: 80 e5 80 8b e3 81 a0 e3 81 91 e3 83 93 e3 83 83 ................
0ba0: e3 83 88 e3 81 8c e5 a4 89 e3 82 8f e3 82 8b e3 ................
0bb0: 81 ae e3 81 a7 e7 b5 b6 e5 af be 78 6f 72 e3 81 ...........xor..
0bc0: 8c e5 a4 89 e3 82 8f e3 82 8b e3 81 8b e3 82 89 ................
0bd0: 0a 20 20 20 20 2d 20 e7 9b b8 e6 89 8b e3 81 af . - .........
0be0: e4 b8 80 e6 89 8b e5 8b 95 e3 81 8b e3 81 97 e3 ................
0bf0: 81 a6 20 30 20 e3 81 ab e6 88 bb e3 81 9b e3 82 .. 0 ...........
0c00: 8b 0a 20 20 20 20 20 20 20 20 3e 3e 20 e5 b8 b8 .. >> ...
0c10: e3 81 ab 20 0a 20 20 20 20 2d 20 e3 82 88 e3 81 ... . - .....
0c20: a3 e3 81 a6 e6 9c 80 e7 b5 82 e5 b1 80 e9 9d a2 ................
0c30: 22 e5 85 a8 e9 83 a8 20 30 22 e3 81 ab e3 81 aa "...... 0"......
0c40: e3 82 8b e3 81 ae e3 81 af e7 b5 b6 e5 af be e3 ................
0c50: 81 ab e8 87 aa e5 88 86 e3 81 ae e3 82 bf e3 83 ................
0c60: bc e3 83 b3 0a 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d .......---------
0c70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0c80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0c90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ca0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0cb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0cc0: 2d 2d 0a e5 ae 9a e7 90 86 e3 80 90 e3 82 b2 e3 --..............
0cd0: 83 bc e3 83 a0 e3 81 ae e7 8a b6 e6 85 8b e9 81 ................
0ce0: b7 e7 a7 bb e3 81 af 6d 65 78 e3 80 91 0a 20 20 .......mex....
0cf0: 2d 20 7b 2a 6e 31 2c 20 2e 2e 2e 2c 20 2a 6e 6b - {*n1, ..., *nk
0d00: 7d 20 e2 89 a1 20 2a 6d 65 78 28 6e 31 2c 2e 2e } ... *mex(n1,..
0d10: 2e 2c 6e 6b 29 0a 20 20 20 20 20 20 77 68 65 72 .,nk). wher
0d20: 65 20 6d 65 78 28 53 29 20 3d 20 6d 69 6e 28 6e e mex(S) = min(n
0d30: 61 74 20 5c 73 65 74 6d 69 6e 75 73 20 53 29 0a at \setminus S).
0d40: 0a 20 20 2d 20 e3 82 88 e3 82 8a e4 b8 80 e8 88 . - ...........
0d50: ac e7 9a 84 e3 81 ab 20 47 31 e2 89 a1 2a 6e 31 ....... G1...*n1
0d60: 2c 20 2e 2e 2e 2c 20 47 6b e2 89 a1 2a 6e 6b 20 , ..., Gk...*nk
0d70: e3 81 aa e3 82 89 e3 81 b0 e3 80 81 47 3d 7b 47 ............G={G
0d80: 31 2c 20 2e 2e 2e 2c 20 47 6b 7d 20 e2 89 a1 20 1, ..., Gk} ...
0d90: 2a 6d 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 0a *mex(n1,...,nk).
0da0: 20 20 20 20 e5 b8 b0 e7 b4 8d e7 9a 84 e3 81 ab ............
0db0: e3 80 81 e5 85 a8 e3 81 a6 e3 81 ae e3 82 b2 e3 ................
0dc0: 83 bc e3 83 a0 e3 81 af e3 81 aa e3 82 93 e3 82 ................
0dd0: 89 e3 81 8b e3 81 ae 20 2a 6e 20 e3 81 a8 e7 ad ....... *n .....
0de0: 89 e4 be a1 0a 0a 20 20 e8 a8 bc e6 98 8e 0a 20 ...... .......
0df0: 20 20 20 2d 20 7b 2a 6e 31 2c 20 2e 2e 2e 2c 20 - {*n1, ...,
0e00: 2a 6e 6b 7d 20 e3 81 af 20 2a 6d 65 78 28 6e 31 *nk} ... *mex(n1
0e10: 2c 2e 2e 2e 2c 6e 6b 29 20 e3 81 a8 e7 ad 89 e4 ,...,nk) .......
0e20: be a1 e3 80 82 0a 20 20 20 20 20 20 e3 81 a4 e3 ...... ....
0e30: 81 be e3 82 8a e5 92 8c e3 82 92 e5 8f 96 e3 82 ................
0e40: 8b e3 81 a8 e5 bf 85 e6 95 97 e3 80 82 0a 20 20 ..............
0e50: 20 20 20 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e 2c *mex(n1,...,
0e60: 6e 6b 29 20 e5 81 b4 e3 82 92 e5 8b 95 e3 81 8b nk) ............
0e70: e3 81 97 e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 e7 ................
0e80: 9b b8 e6 89 8b e3 81 af e5 af be e5 bf 9c e3 81 ................
0e90: 99 e3 82 8b 20 6e 69 20 e3 81 ab e9 81 b7 e7 a7 .... ni ........
0ea0: bb e3 81 99 e3 82 8b e3 80 82 0a 20 20 20 20 20 ...........
0eb0: 20 7b 2a 6e 69 7d 20 e5 81 b4 e3 82 92 20 6d 65 {*ni} ...... me
0ec0: 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 20 e3 82 88 x(n1,...,nk) ...
0ed0: e3 82 8a e5 b0 8f e3 81 95 e3 81 84 e3 82 b2 e3 ................
0ee0: 83 bc e3 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 ................
0ef0: 97 e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 6d 65 78 .............mex
0f00: e5 81 b4 e3 82 92 e5 af be e5 bf 9c e3 81 99 e3 ................
0f10: 82 8b e5 80 a4 e3 81 ab e5 a4 89 e3 81 88 e3 82 ................
0f20: 8b e3 80 82 0a 20 20 20 20 20 20 7b 2a 6e 69 7d ..... {*ni}
0f30: 20 e5 81 b4 e3 82 92 20 6d 65 78 20 e3 82 88 e3 ...... mex ....
0f40: 82 8a e5 a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 83 ................
0f50: bc e3 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 97 ................
0f60: e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 e3 81 9d e3 ................
0f70: 81 ae e5 a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 83 ................
0f80: bc e3 83 a0 e3 82 92 6d 65 78 e3 81 ab e4 b8 8b .......mex......
0f90: e3 81 92 e3 82 8b e3 80 82 0a 20 20 20 20 20 20 ..........
0fa0: e3 81 a7 e4 b8 a1 e5 81 b4 e7 ad 89 e4 be a1 e3 ................
0fb0: 82 92 e4 bf 9d e3 81 a6 e3 81 a6 e3 81 97 e3 81 ................
0fc0: be e3 81 86 e3 80 82 0a 0a 0a 2d 2d 2d 2d 2d 2d ..........------
0fd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0fe0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ff0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1000: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1020: 2d 2d 2d 2d 2d 0a e3 81 be e3 81 a8 e3 82 81 0a -----...........
1030: 0a e3 83 bb e4 b8 80 e6 89 8b e5 8b 95 e3 81 8b ................
1040: e3 81 97 e3 81 9f e6 ac a1 e3 81 ae e5 b1 80 e9 ................
1050: 9d a2 e3 81 8c 20 2a 6e 31 20 e3 81 be e3 81 9f ..... *n1 ......
1060: e3 81 af 20 2a 6e 32 20 e3 81 be e3 81 9f e3 81 ... *n2 ........
1070: af 20 2e 2e 2e 20 e3 81 aa e3 82 b2 e3 83 bc e3 . ... ..........
1080: 83 a0 0a e3 80 80 e3 80 80 7b 2a 6e 31 2c 20 2e .........{*n1, .
1090: 2e 2e 2c 20 2a 6e 6b 7d 20 3d 20 2a 6d 65 78 28 .., *nk} = *mex(
10a0: 6e 31 2c 20 2e 2e 2e 2c 20 6e 6b 29 0a e3 83 bb n1, ..., nk)....
10b0: e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 20 e3 81 ......... *n1 ..
10c0: a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3 81 a1 e3 . *n2 ..........
10d0: 82 89 e3 81 8b e3 82 92 e9 81 b8 e3 82 93 e3 81 ................
10e0: a7 e4 b8 80 e6 89 8b e9 80 b2 e3 82 81 e3 82 89 ................
10f0: e3 82 8c e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 0a ................
1100: e3 80 80 e3 80 80 2a 6e 31 20 2b 20 2a 6e 32 20 ......*n1 + *n2
1110: 3d 20 2a 28 6e 31 20 78 6f 72 20 6e 32 29 0a e3 = *(n1 xor n2)..
1120: 83 bb e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 20 ........... *n1
1130: e3 81 a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3 81 ... *n2 ........
1140: a1 e3 82 89 e3 81 8b e4 b8 80 e6 96 b9 e3 81 be ................
1150: e3 81 9f e3 81 af e4 b8 a1 e6 96 b9 e4 b8 80 e6 ................
1160: b0 97 e3 81 ab e9 80 b2 e3 82 81 e3 82 89 e3 82 ................
1170: 8c e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 0a e3 80 ................
1180: 80 e3 80 80 2a 6e 31 20 3c 2b 3e 20 2a 6e 32 20 ....*n1 <+> *n2
1190: 3d 20 2a 28 6e 31 20 2b 20 6e 32 29 20 20 20 20 = *(n1 + n2)
11a0: 20 2f 2f e5 8d 98 e3 81 ab ef bc 91 e5 80 8b e3 //.............
11b0: 81 ae e5 b1 b1 e3 81 aa e3 81 ae e3 81 a8 e3 81 ................
11c0: 8b e3 82 8f e3 82 89 e3 81 aa e3 81 84 0a e3 83 ................
11d0: bb e4 b8 a1 e6 96 b9 e4 b8 80 e6 89 8b e3 81 9a ................
11e0: e3 81 a4 e9 80 b2 e3 82 81 e3 82 8b e3 82 b2 e3 ................
11f0: 83 bc e3 83 a0 ef bc 9f 0a e3 80 80 e3 80 80 2a ...............*
1200: 6e 31 20 58 20 2a 6e 32 20 3d 20 3f 0a n1 X *n2 = ?.