Artifact afa6596dc04e5d36f21ae9d09e1031aa2f173eb4:
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 0a 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ......----------
0b10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0b20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0b30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0b40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0b50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0b60: 2d 0a e5 ae 9a e7 90 86 e3 80 90 e3 82 b2 e3 83 -...............
0b70: bc e3 83 a0 e3 81 ae e7 8a b6 e6 85 8b e9 81 b7 ................
0b80: e7 a7 bb e3 81 af 6d 65 78 e3 80 91 0a 20 20 2d ......mex.... -
0b90: 20 7b 2a 6e 31 2c 20 2e 2e 2e 2c 20 2a 6e 6b 7d {*n1, ..., *nk}
0ba0: 20 e2 89 a1 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e ... *mex(n1,...
0bb0: 2c 6e 6b 29 0a 20 20 20 20 20 20 77 68 65 72 65 ,nk). where
0bc0: 20 6d 65 78 28 53 29 20 3d 20 6d 69 6e 28 6e 61 mex(S) = min(na
0bd0: 74 20 5c 73 65 74 6d 69 6e 75 73 20 53 29 0a 0a t \setminus S)..
0be0: 20 20 2d 20 e3 82 88 e3 82 8a e4 b8 80 e8 88 ac - ............
0bf0: e7 9a 84 e3 81 ab 20 47 31 e2 89 a1 2a 6e 31 2c ...... G1...*n1,
0c00: 20 2e 2e 2e 2c 20 47 6b e2 89 a1 2a 6e 6b 20 e3 ..., Gk...*nk .
0c10: 81 aa e3 82 89 e3 81 b0 e3 80 81 47 3d 7b 47 31 ...........G={G1
0c20: 2c 20 2e 2e 2e 2c 20 47 6b 7d 20 e2 89 a1 20 2a , ..., Gk} ... *
0c30: 6d 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 0a 20 mex(n1,...,nk).
0c40: 20 20 20 e5 b8 b0 e7 b4 8d e7 9a 84 e3 81 ab e3 .............
0c50: 80 81 e5 85 a8 e3 81 a6 e3 81 ae e3 82 b2 e3 83 ................
0c60: bc e3 83 a0 e3 81 af e3 81 aa e3 82 93 e3 82 89 ................
0c70: e3 81 8b e3 81 ae 20 2a 6e 20 e3 81 a8 e7 ad 89 ...... *n ......
0c80: e4 be a1 0a 0a 20 20 e8 a8 bc e6 98 8e 0a 20 20 ..... .......
0c90: 20 20 2d 20 7b 2a 6e 31 2c 20 2e 2e 2e 2c 20 2a - {*n1, ..., *
0ca0: 6e 6b 7d 20 e3 81 af 20 2a 6d 65 78 28 6e 31 2c nk} ... *mex(n1,
0cb0: 2e 2e 2e 2c 6e 6b 29 20 e3 81 a8 e7 ad 89 e4 be ...,nk) ........
0cc0: a1 e3 80 82 0a 20 20 20 20 20 20 e3 81 a4 e3 81 ..... .....
0cd0: be e3 82 8a e5 92 8c e3 82 92 e5 8f 96 e3 82 8b ................
0ce0: e3 81 a8 e5 bf 85 e6 95 97 e3 80 82 0a 20 20 20 .............
0cf0: 20 20 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e 2c 6e *mex(n1,...,n
0d00: 6b 29 20 e5 81 b4 e3 82 92 e5 8b 95 e3 81 8b e3 k) .............
0d10: 81 97 e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 e7 9b ................
0d20: b8 e6 89 8b e3 81 af e5 af be e5 bf 9c e3 81 99 ................
0d30: e3 82 8b 20 6e 69 20 e3 81 ab e9 81 b7 e7 a7 bb ... ni .........
0d40: e3 81 99 e3 82 8b e3 80 82 0a 20 20 20 20 20 20 ..........
0d50: 7b 2a 6e 69 7d 20 e5 81 b4 e3 82 92 20 6d 65 78 {*ni} ...... mex
0d60: 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 20 e3 82 88 e3 (n1,...,nk) ....
0d70: 82 8a e5 b0 8f e3 81 95 e3 81 84 e3 82 b2 e3 83 ................
0d80: bc e3 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 97 ................
0d90: e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 6d 65 78 e5 ............mex.
0da0: 81 b4 e3 82 92 e5 af be e5 bf 9c e3 81 99 e3 82 ................
0db0: 8b e5 80 a4 e3 81 ab e5 a4 89 e3 81 88 e3 82 8b ................
0dc0: e3 80 82 0a 20 20 20 20 20 20 7b 2a 6e 69 7d 20 .... {*ni}
0dd0: e5 81 b4 e3 82 92 20 6d 65 78 20 e3 82 88 e3 82 ...... mex .....
0de0: 8a e5 a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 83 bc ................
0df0: e3 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 97 e3 ................
0e00: 81 9f e5 a0 b4 e5 90 88 e3 80 81 e3 81 9d e3 81 ................
0e10: ae e5 a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 83 bc ................
0e20: e3 83 a0 e3 82 92 6d 65 78 e3 81 ab e4 b8 8b e3 ......mex.......
0e30: 81 92 e3 82 8b e3 80 82 0a 20 20 20 20 20 20 e3 ......... .
0e40: 81 a7 e4 b8 a1 e5 81 b4 e7 ad 89 e4 be a1 e3 82 ................
0e50: 92 e4 bf 9d e3 81 a6 e3 81 a6 e3 81 97 e3 81 be ................
0e60: e3 81 86 e3 80 82 0a 0a 0a 2d 2d 2d 2d 2d 2d 2d .........-------
0e70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ea0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0eb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ec0: 2d 2d 2d 2d 0a e3 81 be e3 81 a8 e3 82 81 0a 0a ----............
0ed0: e3 83 bb e4 b8 80 e6 89 8b e5 8b 95 e3 81 8b e3 ................
0ee0: 81 97 e3 81 9f e6 ac a1 e3 81 ae e5 b1 80 e9 9d ................
0ef0: a2 e3 81 8c 20 2a 6e 31 20 e3 81 be e3 81 9f e3 .... *n1 .......
0f00: 81 af 20 2a 6e 32 20 e3 81 be e3 81 9f e3 81 af .. *n2 .........
0f10: 20 2e 2e 2e 20 e3 81 aa e3 82 b2 e3 83 bc e3 83 ... ...........
0f20: a0 0a e3 80 80 e3 80 80 7b 2a 6e 31 2c 20 2e 2e ........{*n1, ..
0f30: 2e 2c 20 2a 6e 6b 7d 20 3d 20 2a 6d 65 78 28 6e ., *nk} = *mex(n
0f40: 31 2c 20 2e 2e 2e 2c 20 6e 6b 29 0a e3 83 bb e3 1, ..., nk).....
0f50: 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 20 e3 81 a8 ........ *n1 ...
0f60: 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3 81 a1 e3 82 *n2 ...........
0f70: 89 e3 81 8b e3 82 92 e9 81 b8 e3 82 93 e3 81 a7 ................
0f80: e4 b8 80 e6 89 8b e9 80 b2 e3 82 81 e3 82 89 e3 ................
0f90: 82 8c e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 0a e3 ................
0fa0: 80 80 e3 80 80 2a 6e 31 20 2b 20 2a 6e 32 20 3d .....*n1 + *n2 =
0fb0: 20 2a 28 6e 31 20 78 6f 72 20 6e 32 29 0a e3 83 *(n1 xor n2)...
0fc0: bb e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 20 e3 .......... *n1 .
0fd0: 81 a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3 81 a1 .. *n2 .........
0fe0: e3 82 89 e3 81 8b e4 b8 80 e6 96 b9 e3 81 be e3 ................
0ff0: 81 9f e3 81 af e4 b8 a1 e6 96 b9 e4 b8 80 e6 b0 ................
1000: 97 e3 81 ab e9 80 b2 e3 82 81 e3 82 89 e3 82 8c ................
1010: e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 0a e3 80 80 ................
1020: e3 80 80 2a 6e 31 20 3c 2b 3e 20 2a 6e 32 20 3d ...*n1 <+> *n2 =
1030: 20 2a 28 6e 31 20 2b 20 6e 32 29 20 20 20 20 20 *(n1 + n2)
1040: 2f 2f e5 8d 98 e3 81 ab ef bc 91 e5 80 8b e3 81 //..............
1050: ae e5 b1 b1 e3 81 aa e3 81 ae e3 81 a8 e3 81 8b ................
1060: e3 82 8f e3 82 89 e3 81 aa e3 81 84 0a e3 83 bb ................
1070: e4 b8 a1 e6 96 b9 e4 b8 80 e6 89 8b e3 81 9a e3 ................
1080: 81 a4 e9 80 b2 e3 82 81 e3 82 8b e3 82 b2 e3 83 ................
1090: bc e3 83 a0 ef bc 9f 0a e3 80 80 e3 80 80 2a 6e ..............*n
10a0: 31 20 58 20 2a 6e 32 20 3d 20 3f 0a 1 X *n2 = ?.