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 e7 9f b3 e3 81 8c e3 81 aa e3 .. - ..........
0170: 81 8f e3 81 aa e3 81 a3 e3 81 a6 e6 89 93 e3 81 ................
0180: a4 e6 89 8b e3 81 8c e7 84 a1 e3 81 8f e3 81 aa ................
0190: e3 81 a3 e3 81 9f e6 96 b9 e3 81 8c e8 b2 a0 e3 ................
01a0: 81 91 ef bc 88 e6 9c 80 e5 be 8c e3 81 ae e7 9f ................
01b0: b3 e3 82 92 e5 8f 96 e3 81 a3 e3 81 9f e6 96 b9 ................
01c0: e3 81 8c e5 8b 9d e3 81 a1 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 81 a8 e5 ae 9a e7 be ................
04a0: a9 e3 81 99 e3 82 8b e3 80 82 0a 20 20 20 20 e3 ........... .
04b0: 81 9f e3 81 a8 e3 81 88 e3 81 b0 20 2a 6e 20 e3 ........... *n .
04c0: 81 a8 20 2a 6e 20 e3 81 af e5 90 8c e3 82 b5 e3 .. *n ..........
04d0: 82 a4 e3 82 ba e3 81 ae e5 b1 b1 32 e3 81 a4 e3 ...........2....
04e0: 81 ae 6e 69 6d e3 81 af e5 bf 85 e6 95 97 e3 81 ..nim...........
04f0: aa e3 81 ae e3 81 a7 e7 ad 89 e4 be a1 e3 80 82 ................
0500: e5 90 8c e3 82 b5 e3 82 a4 e3 82 ba e3 81 a7 e3 ................
0510: 81 aa e3 81 91 e3 82 8c e3 81 b0 e5 bf 85 e5 8b ................
0520: 9d e3 81 aa e3 81 ae e3 81 a7 e7 ad 89 e4 be a1 ................
0530: e3 81 a7 e3 81 aa e3 81 84 0a 20 20 20 20 e7 ad .......... ..
0540: 89 e4 be a1 e3 81 a8 e3 81 84 e3 81 86 e3 81 ae ................
0550: e3 81 af e5 8f af e8 83 bd e3 81 aa e5 8b 95 e3 ................
0560: 81 8d e3 81 ae e6 a7 8b e9 80 a0 e3 81 8c 69 73 ..............is
0570: 6f 6d 6f 72 70 68 69 63 2f 62 69 73 69 6d 69 6c omorphic/bisimil
0580: 61 72 e3 81 a8 e3 81 84 e3 81 86 e3 82 88 e3 82 ar..............
0590: 8a e3 81 af e5 bc b1 e3 81 84 e3 80 82 0a 20 20 ..............
05a0: 20 20 e3 81 9f e3 81 a8 e3 81 88 e3 81 b0 e4 bb ..............
05b0: a5 e4 b8 8b e3 81 a7 e7 a4 ba e3 81 99 e3 82 88 ................
05c0: e3 81 86 e3 81 ab 20 2a 31 20 2b 20 2a 33 20 e2 ...... *1 + *3 .
05d0: 89 a1 20 2a 32 20 e3 81 a0 e3 81 8c e5 88 9d e6 .. *2 ..........
05e0: 89 8b e3 81 ae e3 83 91 e3 82 bf e3 83 bc e3 83 ................
05f0: b3 e6 95 b0 e3 81 aa e3 81 a9 e9 81 95 e3 81 86 ................
0600: e3 80 82 0a 0a 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 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0660: 0a e8 a3 9c e9 a1 8c ef bc 9a e5 bf 85 e6 95 97 ................
0670: 20 2b 20 e5 bf 85 e6 95 97 20 3d 20 e5 bf 85 e6 + ...... = ....
0680: 95 97 0a e3 80 80 2d 20 e3 81 a9 e3 81 86 e5 8b ......- ........
0690: 95 e3 81 8b e3 81 97 e3 81 a6 e3 82 82 e3 81 a8 ................
06a0: e5 bf 85 e5 8b 9d 2b e5 bf 85 e6 95 97 e3 81 ab ......+.........
06b0: e3 81 aa e3 82 8b e3 81 ae e3 81 a7 e5 bf 85 e6 ................
06c0: 95 97 2b e5 bf 85 e6 95 97 e3 81 ab e6 88 bb e3 ..+.............
06d0: 81 95 e3 82 8c e3 81 a6 e8 b2 a0 e3 81 91 e3 82 ................
06e0: 8b 0a 0a e8 a3 9c e9 a1 8c ef bc 9a e5 bf 85 e5 ................
06f0: 8b 9d 20 2b 20 e5 bf 85 e6 95 97 20 3d 20 e5 bf .. + ...... = ..
0700: 85 e5 8b 9d 0a e3 80 80 2d 20 e5 bf 85 e6 95 97 ........- ......
0710: 2b e5 bf 85 e6 95 97 20 e3 81 ab e5 8b 95 e3 81 +...... ........
0720: 8b e3 81 9b e3 81 b0 e3 82 88 e3 81 84 0a 0a e5 ................
0730: ae 9a e7 90 86 ef bc 9a e3 80 90 e7 ad 89 e4 be ................
0740: a1 28 e5 92 8c e3 82 92 e5 8f 96 e3 82 8b e3 81 .(..............
0750: a8 e5 bf 85 e6 95 97 29 20 3d 3e 20 e5 8b 9d e3 .......) => ....
0760: 81 a1 e8 b2 a0 e3 81 91 e4 b8 80 e8 87 b4 e3 80 ................
0770: 91 0a 20 20 2d 20 e5 8b 9d e3 81 a1 e8 b2 a0 e3 .. - ..........
0780: 81 91 e4 b8 8d e4 b8 80 e8 87 b4 3d 3e e5 bf 85 ...........=>...
0790: e5 8b 9d e3 81 8c e4 b8 8a e3 81 ae e8 a3 9c e9 ................
07a0: a1 8c e3 81 a7 e8 a8 80 e3 81 88 e3 81 a6 e3 81 ................
07b0: 84 e3 82 8b e3 81 ae e3 81 a7 e8 a8 bc e6 98 8e ................
07c0: e7 b5 82 e4 ba 86 0a 0a 20 20 20 20 e6 b3 a8 e6 ........ ....
07d0: 84 8f ef bc 9a 0a 20 20 20 20 20 20 e5 bf 85 e5 ...... ....
07e0: 8b 9d 20 2b 20 e5 bf 85 e5 8b 9d 20 3d 20 e5 bf .. + ...... = ..
07f0: 85 e6 95 97 0a 20 20 20 20 e3 81 af e6 88 90 e3 ..... .......
0800: 82 8a e7 ab 8b e3 81 9f e3 81 aa e3 81 84 ef bc ................
0810: 81 20 2a 32 20 2b 20 2a 31 20 e3 81 af 20 e5 88 . *2 + *1 ... ..
0820: 9d e6 89 8b e3 81 a7 20 2a 31 20 2b 20 2a 31 20 ....... *1 + *1
0830: e3 81 ab e8 a1 8c e3 81 91 e3 82 8b e3 81 ae e3 ................
0840: 81 a7 e3 81 93 e3 82 8c e3 81 af e5 8b 9d e3 81 ................
0850: a6 e3 82 8b 0a 0a e8 a3 9c e9 a1 8c ef bc 9a 47 ...............G
0860: 2b 47 20 e3 81 af e5 bf 85 e6 95 97 0a e3 80 80 +G .............
0870: 2d 20 e3 81 be e3 81 ad e3 81 a3 e3 81 93 6d 6f - ............mo
0880: 76 65 e3 82 92 e3 81 95 e3 82 8c e3 82 8b e3 81 ve..............
0890: a8 e8 b2 a0 e3 81 91 e3 82 8b e3 81 97 e3 81 8b ................
08a0: e3 81 aa e3 81 84 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d ........--------
08b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0900: 2d 2d 2d 0a e8 a3 9c e9 a1 8c ef bc 9a 41 e2 89 ---..........A..
0910: a1 41 27 2c 20 42 e2 89 a1 42 27 20 e3 81 aa e3 .A', B...B' ....
0920: 82 89 e3 81 b0 20 41 2b 42 e2 89 a1 41 27 2b 42 ..... A+B...A'+B
0930: 27 0a 20 20 2d 20 41 2b 42 2b 41 27 2b 42 27 20 '. - A+B+A'+B'
0940: 3d 20 28 41 2b 41 27 29 2b 28 42 2b 42 27 29 20 = (A+A')+(B+B')
0950: 3d 20 e5 bf 85 e6 95 97 2b e5 bf 85 e6 95 97 20 = ......+......
0960: 3d 20 e5 bf 85 e6 95 97 0a 0a e5 ae 9a e7 90 86 = ..............
0970: e3 80 90 e3 82 b2 e3 83 bc e3 83 a0 e3 81 ae e5 ................
0980: 92 8c e3 81 af 78 6f 72 e3 80 91 0a 20 20 2d 20 .....xor.... -
0990: 2a 6e 31 20 2b 20 2a 6e 32 20 3d 20 2a 28 6e 31 *n1 + *n2 = *(n1
09a0: 20 78 6f 72 20 6e 32 29 0a 20 20 2d 20 e3 82 88 xor n2). - ...
09b0: e3 82 8a e4 b8 80 e8 88 ac e7 9a 84 e3 81 ab 20 ...............
09c0: 47 31 e2 89 a1 2a 6e 31 2c 20 47 32 e2 89 a1 2a G1...*n1, G2...*
09d0: 6e 32 20 e3 81 aa e3 82 89 e3 81 b0 e3 80 81 47 n2 ............G
09e0: 31 20 2b 20 47 32 20 e2 89 a1 20 2a 28 6e 31 20 1 + G2 ... *(n1
09f0: 78 6f 72 20 6e 32 29 0a 0a 20 20 e8 a8 bc e6 98 xor n2).. .....
0a00: 8e 0a 20 20 20 20 2d 20 2a 6e 31 20 2b 20 2a 6e .. - *n1 + *n
0a10: 32 20 2b 20 2a 28 6e 31 20 78 6f 72 20 6e 32 29 2 + *(n1 xor n2)
0a20: 20 e3 81 8c e5 bf 85 e6 95 97 e3 81 a7 e3 81 82 ...............
0a30: e3 82 8b e3 81 93 e3 81 a8 e3 82 92 e8 a8 80 e3 ................
0a40: 81 88 e3 81 b0 e8 89 af e3 81 84 e3 80 82 0a 20 ...............
0a50: 20 20 20 2d 20 28 6e 31 20 78 6f 72 20 6e 32 20 - (n1 xor n2
0a60: 78 6f 72 20 28 6e 31 20 78 6f 72 20 6e 32 29 29 xor (n1 xor n2))
0a70: 20 e3 81 af 20 30 20 e3 81 a7 e3 81 82 e3 82 8b ... 0 .........
0a80: 0a 20 20 20 20 2d 20 e4 b8 80 e6 89 8b e5 8b 95 . - .........
0a90: e3 81 8b e3 81 99 e3 81 a8 20 30 20 e3 81 98 e3 ......... 0 ....
0aa0: 82 83 e3 81 aa e3 81 8f e3 81 aa e3 82 8b 0a 20 ...............
0ab0: 20 20 20 20 20 20 20 3e 3e 20 6e 31 20 e3 81 a8 >> n1 ...
0ac0: 20 6e 32 20 e3 81 a8 20 6e 31 5e 6e 32 20 e3 81 n2 ... n1^n2 ..
0ad0: ae e3 81 a9 e3 82 8c e3 81 8b e4 b8 80 e5 80 8b ................
0ae0: e3 81 a0 e3 81 91 e3 83 93 e3 83 83 e3 83 88 e3 ................
0af0: 81 8c e5 a4 89 e3 82 8f e3 82 8b e3 81 ae e3 81 ................
0b00: a7 e7 b5 b6 e5 af be 78 6f 72 e3 81 8c e5 a4 89 .......xor......
0b10: e3 82 8f e3 82 8b e3 81 8b e3 82 89 0a 20 20 20 .............
0b20: 20 2d 20 e7 9b b8 e6 89 8b e3 81 af e4 b8 80 e6 - .............
0b30: 89 8b e5 8b 95 e3 81 8b e3 81 97 e3 81 a6 20 30 .............. 0
0b40: 20 e3 81 ab e6 88 bb e3 81 9b e3 82 8b 0a 20 20 .............
0b50: 20 20 20 20 20 20 3e 3e 20 61 5e 62 5e 63 20 3d >> a^b^c =
0b60: 20 78 20 e3 81 8c e9 9d 9e e3 82 bc e3 83 ad e3 x .............
0b70: 81 ae e5 a0 b4 e5 90 88 20 61 3d 3e 61 5e 78 20 ........ a=>a^x
0b80: e3 81 8b 20 62 3d 3e 62 5e 78 20 e3 81 8b 20 63 ... b=>b^x ... c
0b90: 3d 3e 63 5e 78 20 e3 81 a8 e5 8b 95 e3 81 8b e3 =>c^x ..........
0ba0: 81 9b e3 81 b0 e3 82 88 e3 81 84 0a 20 20 20 20 ............
0bb0: 20 20 20 20 3e 3e 20 e3 81 a4 e3 81 be e3 82 8a >> .........
0bc0: 61 2c 62 2c 63 e3 81 ae e3 81 a9 e3 82 8c e3 81 a,b,c...........
0bd0: 8b e3 81 af 5e 78 e3 81 99 e3 82 8b e3 81 a8 e6 ....^x..........
0be0: b8 9b e3 82 8b e3 81 93 e3 81 a8 e3 82 92 e8 a8 ................
0bf0: 80 e3 81 88 e3 81 b0 e3 82 88 e3 81 84 e3 80 82 ................
0c00: 0a 20 20 20 20 20 20 20 20 3e 3e 20 61 2c 62 2c . >> a,b,
0c10: 63 e3 81 ae e3 81 86 e3 81 a1 e6 9c 80 e4 b8 8a c...............
0c20: e4 bd 8d e3 83 93 e3 83 83 e3 83 88 e3 81 8c e7 ................
0c30: ab 8b e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 82 ................
0c40: 82 e3 81 ae e3 81 8c e5 a5 87 e6 95 b0 e5 80 8b ................
0c50: e3 81 aa e3 82 89 78 e3 82 82 e7 ab 8b e3 81 a4 ......x.........
0c60: e3 81 ae e3 81 a7 78 6f 72 e3 81 99 e3 82 8c e3 ......xor.......
0c70: 81 b0 e6 b8 9b e3 82 8b 0a 20 20 20 20 20 20 20 .........
0c80: 20 3e 3e 20 e5 81 b6 e6 95 b0 e5 80 8b 28 32 e5 >> .........(2.
0c90: 80 8b 29 e3 81 aa e3 82 89 e3 80 81 e3 81 9d e3 ..).............
0ca0: 81 ae e6 9c 80 e4 b8 8a e4 bd 8d e3 83 93 e3 83 ................
0cb0: 83 e3 83 88 e3 82 92 e7 84 a1 e8 a6 96 e3 81 97 ................
0cc0: e3 81 9f e6 ae 8b e3 82 8a e3 82 92 61 27 2c 62 ............a',b
0cd0: 27 2c 63 27 e3 81 a8 e3 81 99 e3 82 8b e3 81 a8 ',c'............
0ce0: e3 81 93 e3 82 8c e3 82 82 0a 20 20 20 20 20 20 ..........
0cf0: 20 20 3e 3e 20 78 6f 72 e3 81 8c 78 e3 81 aa e3 >> xor...x....
0d00: 81 ae e3 81 a7 e6 95 b0 e5 ad a6 e7 9a 84 e5 b8 ................
0d10: b0 e7 b4 8d e6 b3 95 e7 9a 84 e3 81 ab e3 82 84 ................
0d20: e3 82 8b e3 81 93 e3 81 a8 e3 81 ab e3 82 88 e3 ................
0d30: 82 8a e5 b7 a7 e3 81 84 e6 b8 9b e3 82 89 e3 81 ................
0d40: 97 e6 96 b9 e3 81 8c e8 a6 8b e3 81 a4 e3 81 8b ................
0d50: e3 82 8b e3 80 82 0a 20 20 20 20 2d 20 e3 82 88 ....... - ...
0d60: e3 81 a3 e3 81 a6 e6 9c 80 e7 b5 82 e5 b1 80 e9 ................
0d70: 9d a2 22 e5 85 a8 e9 83 a8 20 30 22 e3 81 ab e3 .."...... 0"....
0d80: 81 aa e3 82 8b e3 81 ae e3 81 af e7 b5 b6 e5 af ................
0d90: be e3 81 ab e8 87 aa e5 88 86 e3 81 ae e3 82 bf ................
0da0: e3 83 bc e3 83 b3 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d ........--------
0db0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0dc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0dd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0de0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0df0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e00: 2d 2d 2d 0a e8 a3 9c e9 a1 8c ef bc 9a 41 69 e2 ---..........Ai.
0e10: 89 a1 41 69 27 20 e3 81 aa e3 82 89 e3 81 b0 20 ..Ai' .........
0e20: 7b 41 30 2c 41 31 2c 41 32 2c 2e 2e 2e 7d e2 89 {A0,A1,A2,...}..
0e30: a1 7b 41 30 27 2c 41 31 27 2c 41 32 27 2c 2e 2e .{A0',A1',A2',..
0e40: 2e 7d 0a e3 80 80 2d 20 7b 41 30 2c 41 31 2c 41 .}....- {A0,A1,A
0e50: 32 2c 2e 2e 2e 7d 2b 7b 41 30 27 2c 41 31 27 2c 2,...}+{A0',A1',
0e60: 41 32 27 2c 2e 2e 2e 7d 20 e3 81 af e5 bf 85 e6 A2',...} .......
0e70: 95 97 e3 80 82 e3 81 aa e3 81 9c e3 81 aa e3 82 ................
0e80: 89 e3 81 93 e3 81 a1 e3 82 89 e3 81 8c e3 81 a9 ................
0e90: e3 81 86 e5 8b 95 e3 81 8b e3 81 97 e3 81 a6 e3 ................
0ea0: 82 82 0a 20 20 20 20 41 30 2b 41 30 27 2c 20 41 ... A0+A0', A
0eb0: 31 2b 41 31 27 2c 20 41 32 2b 41 32 27 2c 20 2e 1+A1', A2+A2', .
0ec0: 2e 2e 20 e3 81 ae e3 81 84 e3 81 9a e3 82 8c e3 .. .............
0ed0: 81 8b e3 81 ae e5 bf 85 e6 95 97 e7 8a b6 e6 85 ................
0ee0: 8b e3 81 ab e9 81 b7 e7 a7 bb e3 81 95 e3 81 9b ................
0ef0: e3 82 89 e3 82 8c e3 82 8b e3 81 8b e3 82 89 e3 ................
0f00: 80 82 0a 0a e5 ae 9a e7 90 86 e3 80 90 e3 82 b2 ................
0f10: e3 83 bc e3 83 a0 e3 81 ae e7 8a b6 e6 85 8b e9 ................
0f20: 81 b7 e7 a7 bb e3 81 af 6d 65 78 e3 80 91 0a 20 ........mex....
0f30: 20 2d 20 7b 2a 6e 31 2c 20 2e 2e 2e 2c 20 2a 6e - {*n1, ..., *n
0f40: 6b 7d 20 e2 89 a1 20 2a 6d 65 78 28 6e 31 2c 2e k} ... *mex(n1,.
0f50: 2e 2e 2c 6e 6b 29 0a 20 20 20 20 20 20 77 68 65 ..,nk). whe
0f60: 72 65 20 6d 65 78 28 53 29 20 3d 20 6d 69 6e 28 re mex(S) = min(
0f70: 6e 61 74 20 5c 73 65 74 6d 69 6e 75 73 20 53 29 nat \setminus S)
0f80: 0a 0a 20 20 2d 20 e3 82 88 e3 82 8a e4 b8 80 e8 .. - ..........
0f90: 88 ac e7 9a 84 e3 81 ab 20 47 31 e2 89 a1 2a 6e ........ G1...*n
0fa0: 31 2c 20 2e 2e 2e 2c 20 47 6b e2 89 a1 2a 6e 6b 1, ..., Gk...*nk
0fb0: 20 e3 81 aa e3 82 89 e3 81 b0 e3 80 81 47 3d 7b ............G={
0fc0: 47 31 2c 20 2e 2e 2e 2c 20 47 6b 7d 20 e2 89 a1 G1, ..., Gk} ...
0fd0: 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 *mex(n1,...,nk)
0fe0: 0a 20 20 20 20 e5 b8 b0 e7 b4 8d e7 9a 84 e3 81 . ...........
0ff0: ab e3 80 81 e5 85 a8 e3 81 a6 e3 81 ae e3 82 b2 ................
1000: e3 83 bc e3 83 a0 e3 81 af e3 81 aa e3 82 93 e3 ................
1010: 82 89 e3 81 8b e3 81 ae 20 2a 6e 20 e3 81 a8 e7 ........ *n ....
1020: ad 89 e4 be a1 0a 0a 20 20 e8 a8 bc e6 98 8e 0a ....... .......
1030: 20 20 20 20 2d 20 7b 2a 6e 31 2c 20 2e 2e 2e 2c - {*n1, ...,
1040: 20 2a 6e 6b 7d 20 e3 81 af 20 2a 6d 65 78 28 6e *nk} ... *mex(n
1050: 31 2c 2e 2e 2e 2c 6e 6b 29 20 e3 81 a8 e7 ad 89 1,...,nk) ......
1060: e4 be a1 e3 80 82 0a 20 20 20 20 20 20 e3 81 a4 ....... ...
1070: e3 81 be e3 82 8a e5 92 8c e3 82 92 e5 8f 96 e3 ................
1080: 82 8b e3 81 a8 e5 bf 85 e6 95 97 e3 80 82 0a 20 ...............
1090: 20 20 20 20 20 2a 6d 65 78 28 6e 31 2c 2e 2e 2e *mex(n1,...
10a0: 2c 6e 6b 29 20 e5 81 b4 e3 82 92 e5 8b 95 e3 81 ,nk) ...........
10b0: 8b e3 81 97 e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 ................
10c0: e7 9b b8 e6 89 8b e3 81 af e5 af be e5 bf 9c e3 ................
10d0: 81 99 e3 82 8b 20 6e 69 20 e3 81 ab e9 81 b7 e7 ..... ni .......
10e0: a7 bb e3 81 99 e3 82 8b e3 80 82 0a 20 20 20 20 ............
10f0: 20 20 7b 2a 6e 69 7d 20 e5 81 b4 e3 82 92 20 6d {*ni} ...... m
1100: 65 78 28 6e 31 2c 2e 2e 2e 2c 6e 6b 29 20 e3 82 ex(n1,...,nk) ..
1110: 88 e3 82 8a e5 b0 8f e3 81 95 e3 81 84 e3 82 b2 ................
1120: e3 83 bc e3 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 ................
1130: 81 97 e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 6d 65 ..............me
1140: 78 e5 81 b4 e3 82 92 e5 af be e5 bf 9c e3 81 99 x...............
1150: e3 82 8b e5 80 a4 e3 81 ab e5 a4 89 e3 81 88 e3 ................
1160: 82 8b e3 80 82 0a 20 20 20 20 20 20 7b 2a 6e 69 ...... {*ni
1170: 7d 20 e5 81 b4 e3 82 92 20 6d 65 78 20 e3 82 88 } ...... mex ...
1180: e3 82 8a e5 a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 ................
1190: 83 bc e3 83 a0 e3 81 ab e5 8b 95 e3 81 8b e3 81 ................
11a0: 97 e3 81 9f e5 a0 b4 e5 90 88 e3 80 81 e3 81 9d ................
11b0: e3 81 ae e5 a4 a7 e3 81 8d e3 81 84 e3 82 b2 e3 ................
11c0: 83 bc e3 83 a0 e3 82 92 6d 65 78 e3 81 ab e4 b8 ........mex.....
11d0: 8b e3 81 92 e3 82 8b e3 80 82 0a 20 20 20 20 20 ...........
11e0: 20 e3 81 a7 e4 b8 a1 e5 81 b4 e7 ad 89 e4 be a1 ...............
11f0: e3 82 92 e4 bf 9d e3 81 a6 e3 81 a6 e3 81 97 e3 ................
1200: 81 be e3 81 86 e3 80 82 0a 0a 0a 2d 2d 2d 2d 2d ...........-----
1210: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1220: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1250: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1260: 2d 2d 2d 2d 2d 2d 0a e3 81 be e3 81 a8 e3 82 81 ------..........
1270: 0a 0a e3 83 bb e4 b8 80 e6 89 8b e5 8b 95 e3 81 ................
1280: 8b e3 81 97 e3 81 9f e6 ac a1 e3 81 ae e5 b1 80 ................
1290: e9 9d a2 e3 81 8c 20 2a 6e 31 20 e3 81 be e3 81 ...... *n1 .....
12a0: 9f e3 81 af 20 2a 6e 32 20 e3 81 be e3 81 9f e3 .... *n2 .......
12b0: 81 af 20 2e 2e 2e 20 e3 81 aa e3 82 b2 e3 83 bc .. ... .........
12c0: e3 83 a0 0a e3 80 80 e3 80 80 7b 2a 6e 31 2c 20 ..........{*n1,
12d0: 2e 2e 2e 2c 20 2a 6e 6b 7d 20 e2 89 a1 20 2a 6d ..., *nk} ... *m
12e0: 65 78 28 6e 31 2c 20 2e 2e 2e 2c 20 6e 6b 29 0a ex(n1, ..., nk).
12f0: 0a e3 83 bb e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e ............. *n
1300: 31 20 e3 81 a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 1 ... *n2 ......
1310: e3 81 a1 e3 82 89 e3 81 8b e3 82 92 e9 81 b8 e3 ................
1320: 82 93 e3 81 a7 e4 b8 80 e6 89 8b e9 80 b2 e3 82 ................
1330: 81 e3 82 89 e3 82 8c e3 82 8b e3 82 b2 e3 83 bc ................
1340: e3 83 a0 0a e3 80 80 e3 80 80 2a 6e 31 20 2b 20 ..........*n1 +
1350: 2a 6e 32 20 e2 89 a1 20 2a 28 6e 31 20 78 6f 72 *n2 ... *(n1 xor
1360: 20 6e 32 29 0a 0a 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d n2)...---------
1370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
13a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
13b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
13c0: 2d 2d 0a e3 81 9d e3 81 ae e4 bb 96 e3 81 ae e3 --..............
13d0: 82 b2 e3 83 bc e3 83 a0 e3 81 ae e7 b5 84 e3 81 ................
13e0: bf e5 90 88 e3 82 8f e3 81 9b ef bc 88 e8 a8 bc ................
13f0: e6 98 8e e3 81 8c e3 81 82 e3 82 84 e3 81 97 e3 ................
1400: 81 84 ef bc 89 0a 0a e5 ae 9a e7 90 86 ef bc 9a ................
1410: 20 e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 20 e3 ......... *n1 .
1420: 81 a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3 81 a1 .. *n2 .........
1430: e3 82 89 e3 81 8b e4 b8 80 e6 96 b9 e3 81 be e3 ................
1440: 81 9f e3 81 af e4 b8 a1 e6 96 b9 e4 b8 80 e6 b0 ................
1450: 97 e3 81 ab e9 80 b2 e3 82 81 e3 82 89 e3 82 8c ................
1460: e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 0a e3 80 80 ................
1470: e3 80 80 2a 6e 31 20 3c 2b 3e 20 2a 6e 32 20 e2 ...*n1 <+> *n2 .
1480: 89 a1 20 2a 28 6e 31 20 2b 20 6e 32 29 0a e8 a8 .. *(n1 + n2)...
1490: bc e6 98 8e ef bc 9a 20 e5 8d 98 e3 81 ab ef bc ....... ........
14a0: 91 e5 80 8b e3 81 ae e5 b1 b1 e3 81 aa e3 81 ae ................
14b0: e3 81 a8 e3 81 8b e3 82 8f e3 82 89 e3 81 aa e3 ................
14c0: 81 84 e3 81 ae e3 81 a7 e5 8b 9d e6 95 97 e4 b8 ................
14d0: 80 e8 87 b4 e3 81 a9 e3 81 93 e3 82 8d e3 81 8b ................
14e0: e5 90 8c e5 9e 8b 0a 0a e8 a3 9c e9 a1 8c ef bc ................
14f0: 9a 41 e2 89 a1 41 27 20 e3 81 8b e3 81 a4 20 42 .A...A' ...... B
1500: e2 89 a1 42 27 20 e3 81 aa e3 82 89 e3 81 b0 20 ...B' .........
1510: 28 41 3c 2b 3e 42 29 e2 89 a1 28 41 27 3c 2b 3e (A<+>B)...(A'<+>
1520: 42 27 29 e3 80 82 0a e3 80 80 e3 80 80 e3 80 80 B').............
1530: e3 82 86 e3 81 88 e3 81 ab e4 b8 80 e8 88 ac e3 ................
1540: 81 ab 20 47 31 e2 89 a1 2a 6e 31 2c 20 47 32 e2 .. G1...*n1, G2.
1550: 89 a1 2a 6e 32 20 e3 81 aa e3 82 89 e3 81 b0 20 ..*n2 .........
1560: 47 31 3c 2b 3e 47 32 20 e2 89 a1 20 2a 28 6e 31 G1<+>G2 ... *(n1
1570: 2b 6e 32 29 0a e8 a8 bc e6 98 8e ef bc 9a 28 41 +n2)..........(A
1580: 3c 2b 3e 42 29 2b 28 41 27 3c 2b 3e 42 27 29 e3 <+>B)+(A'<+>B').
1590: 81 8c e5 bf 85 e6 95 97 e3 81 a7 e3 81 82 e3 82 ................
15a0: 8b e3 81 93 e3 81 a8 e3 82 92 e8 a8 80 e3 81 88 ................
15b0: e3 81 b0 e3 82 88 e3 81 84 e3 80 82 0a e3 80 80 ................
15c0: e3 80 80 e3 80 80 e7 9b b8 e6 89 8b e3 81 8c e3 ................
15d0: 81 a9 e3 81 86 e5 8b 95 e3 81 8b e3 81 97 e3 81 ................
15e0: a6 e3 82 82 20 41 3c 2b 3e 42 20 3d 3d 3e 20 61 .... A<+>B ==> a
15f0: 3c 2b 3e 62 0a e3 80 80 e3 80 80 e3 80 80 61 2b <+>b..........a+
1600: 61 27 e3 80 81 62 2b 62 27 e3 81 8c e5 bf 85 e6 a'...b+b'.......
1610: 95 97 e3 81 a7 e3 81 82 e3 82 8b e3 82 88 e3 81 ................
1620: 86 e3 81 ab 20 28 61 3c 2b 3e 62 29 2b 28 61 27 .... (a<+>b)+(a'
1630: 3c 2b 3e 62 27 29 20 e3 81 a8 e5 8b 95 e3 81 8b <+>b') .........
1640: e3 81 9b e3 82 8b e3 80 82 0a e3 80 80 e3 80 80 ................
1650: e3 80 80 e3 81 84 e3 81 9a e3 82 8c e7 9b b8 e6 ................
1660: 89 8b e3 81 af e6 ad bb e3 81 ac 0a 0a 0a e5 ae ................
1670: 9a e7 90 86 ef bc 9a 20 e5 85 88 e6 89 8b e3 81 ....... ........
1680: af e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 e3 80 .......... *n1..
1690: 81 e5 be 8c e6 89 8b e3 81 af e3 82 b2 e3 83 bc ................
16a0: e3 83 a0 20 2a 6e 32 20 e3 82 92 e4 ba a4 e4 ba ... *n2 ........
16b0: 92 e3 81 ab e4 b8 80 e6 89 8b e3 81 9a e3 81 a4 ................
16c0: e9 80 b2 e3 82 81 e3 82 8b e3 82 b2 e3 83 bc e3 ................
16d0: 83 a0 0a e3 80 80 e3 80 80 2a 6e 31 20 58 20 2a .........*n1 X *
16e0: 6e 32 20 e2 89 a1 20 2a 28 6e 31 3c 3d 6e 32 20 n2 ... *(n1<=n2
16f0: 3f 20 30 20 3a 20 6e 32 2b 31 29 0a e3 80 80 e3 ? 0 : n2+1).....
1700: 80 80 e3 80 80 e3 80 80 e3 80 80 e3 80 80 20 20 ..............
1710: e5 be 8c e6 89 8b 0a e3 80 80 e3 80 80 20 20 20 .............
1720: 20 20 20 20 30 20 31 20 32 20 33 20 34 0a e3 80 0 1 2 3 4...
1730: 80 e3 80 80 2d 2d 2d 2d 2d 2d 2b 2d 2d 2d 2d 2d ....------+-----
1740: 2d 2d 2d 2d 2d 0a e3 80 80 e3 80 80 e5 85 88 e6 -----...........
1750: 89 8b 20 30 7c 30 20 30 20 30 20 30 20 30 0a e3 .. 0|0 0 0 0 0..
1760: 80 80 e3 80 80 20 20 20 20 20 31 7c 31 20 30 20 ..... 1|1 0
1770: 30 20 30 20 30 0a e3 80 80 e3 80 80 20 20 20 20 0 0 0.......
1780: 20 32 7c 31 20 32 20 30 20 30 20 30 0a e3 80 80 2|1 2 0 0 0....
1790: e3 80 80 20 20 20 20 20 33 7c 31 20 32 20 33 20 ... 3|1 2 3
17a0: 30 20 30 0a e3 80 80 e3 80 80 20 20 20 20 20 34 0 0....... 4
17b0: 7c 31 20 32 20 33 20 34 20 30 0a e3 80 80 e5 b7 |1 2 3 4 0......
17c0: a6 e8 be ba e3 81 ae e3 82 b2 e3 83 bc e3 83 a0 ................
17d0: e3 81 ae 6d 65 78 e8 a8 88 e7 ae 97 e3 81 97 e3 ...mex..........
17e0: 81 a6 e3 81 bf e3 82 8b e3 81 a8 e3 81 93 e3 81 ................
17f0: 86 e3 81 aa e3 82 8b e3 80 82 0a 0a e8 a3 9c e9 ................
1800: a1 8c ef bc 9a 41 e2 89 a1 41 27 20 e3 81 8b e3 .....A...A' ....
1810: 81 a4 20 42 e2 89 a1 42 27 20 e3 81 aa e3 82 89 .. B...B' ......
1820: e3 81 b0 20 28 41 20 58 20 42 29 e2 89 a1 28 41 ... (A X B)...(A
1830: 27 20 58 20 42 27 29 e3 80 82 0a e3 80 80 e3 80 ' X B').........
1840: 80 e3 80 80 e3 82 86 e3 81 88 e3 81 ab e4 b8 80 ................
1850: e8 88 ac e3 81 ab 20 47 31 e2 89 a1 2a 6e 31 2c ...... G1...*n1,
1860: 20 47 32 e2 89 a1 2a 6e 32 20 e3 81 aa e3 82 89 G2...*n2 ......
1870: e3 81 b0 20 47 31 20 58 20 47 32 20 e2 89 a1 20 ... G1 X G2 ...
1880: 2a 28 6e 31 3c 3d 6e 32 20 3f 20 30 20 3a 20 6e *(n1<=n2 ? 0 : n
1890: 32 2b 31 29 0a e8 a8 bc e6 98 8e ef bc 9a 41 78 2+1)..........Ax
18a0: 42 20 2b 20 41 27 78 42 27 20 e3 82 92 20 42 78 B + A'xB' ... Bx
18b0: 61 20 2b 20 41 27 78 42 27 20 e3 81 a8 e5 8b 95 a + A'xB' ......
18c0: e3 81 8b e3 81 95 e3 82 8c e3 81 9f e3 82 89 20 ...............
18d0: 42 78 61 20 2b 20 42 27 78 61 27 20 e3 81 ab e5 Bxa + B'xa' ....
18e0: 8b 95 e3 81 8b e3 81 9b e3 81 a6 e2 89 a1 e3 81 ................
18f0: 8c 0a e3 80 80 e3 80 80 e3 80 80 e4 bf 9d e3 81 ................
1900: a6 e3 82 8b e3 81 ae e3 81 a7 e3 81 84 e3 81 9a ................
1910: e3 82 8c e7 9b b8 e6 89 8b e3 81 af e6 ad bb e3 ................
1920: 81 ac 0a ...