Hex Artifact Content
Not logged in

Artifact b75bd46f8bc82eec374d14159b21ec0f425c51a5:


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 e8 a3 9c e9 a1 8c ef bc  ................
08b0: 9a 41 e2 89 a1 41 27 2c 20 42 e2 89 a1 42 27 20  .A...A', B...B' 
08c0: e3 81 aa e3 82 89 e3 81 b0 20 41 2b 42 e2 89 a1  ......... A+B...
08d0: 41 27 2b 42 27 0a 20 20 2d 20 41 2b 42 2b 41 27  A'+B'.  - A+B+A'
08e0: 2b 42 27 20 3d 20 28 41 2b 41 27 29 2b 28 42 2b  +B' = (A+A')+(B+
08f0: 42 27 29 20 3d 20 e5 bf 85 e6 95 97 2b e5 bf 85  B') = ......+...
0900: e6 95 97 20 3d 20 e5 bf 85 e6 95 97 0a 0a e8 a3  ... = ..........
0910: 9c e9 a1 8c ef bc 9a 41 69 e2 89 a1 41 69 27 20  .......Ai...Ai' 
0920: e3 81 aa e3 82 89 e3 81 b0 20 7b 41 30 2c 41 31  ......... {A0,A1
0930: 2c 41 32 2c 2e 2e 2e 7d e2 89 a1 7b 41 30 27 2c  ,A2,...}...{A0',
0940: 41 31 27 2c 41 32 27 2c 2e 2e 2e 7d 0a e3 80 80  A1',A2',...}....
0950: 2d 20 7b 41 30 2c 41 31 2c 41 32 2c 2e 2e 2e 7d  - {A0,A1,A2,...}
0960: 2b 7b 41 30 27 2c 41 31 27 2c 41 32 27 2c 2e 2e  +{A0',A1',A2',..
0970: 2e 7d 20 e3 81 af e5 bf 85 e6 95 97 e3 80 82 e3  .} .............
0980: 81 aa e3 81 9c e3 81 aa e3 82 89 e3 81 93 e3 81  ................
0990: a1 e3 82 89 e3 81 8c e3 81 a9 e3 81 86 e5 8b 95  ................
09a0: e3 81 8b e3 81 97 e3 81 a6 e3 82 82 0a 20 20 20  .............   
09b0: 20 41 30 2b 41 30 27 2c 20 41 31 2b 41 31 27 2c   A0+A0', A1+A1',
09c0: 20 41 32 2b 41 32 27 2c 20 2e 2e 2e 20 e3 81 ae   A2+A2', ... ...
09d0: e3 81 84 e3 81 9a e3 82 8c e3 81 8b e3 81 ae e5  ................
09e0: bf 85 e6 95 97 e7 8a b6 e6 85 8b e3 81 ab e9 81  ................
09f0: b7 e7 a7 bb e3 81 95 e3 81 9b e3 82 89 e3 82 8c  ................
0a00: e3 82 8b e3 81 8b e3 82 89 e3 80 82 0a 0a 2d 2d  ..............--
0a10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0a20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0a30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0a40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0a50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0a60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a e5 ae 9a e7 90 86  ---------.......
0a70: e3 80 90 e3 82 b2 e3 83 bc e3 83 a0 e3 81 ae e5  ................
0a80: 92 8c e3 81 af 78 6f 72 e3 80 91 0a 20 20 2d 20  .....xor....  - 
0a90: 2a 6e 31 20 2b 20 2a 6e 32 20 3d 20 2a 28 6e 31  *n1 + *n2 = *(n1
0aa0: 20 78 6f 72 20 6e 32 29 0a 20 20 2d 20 e3 82 88   xor n2).  - ...
0ab0: e3 82 8a e4 b8 80 e8 88 ac e7 9a 84 e3 81 ab 20  ............... 
0ac0: 47 31 e2 89 a1 2a 6e 31 2c 20 47 32 e2 89 a1 2a  G1...*n1, G2...*
0ad0: 6e 32 20 e3 81 aa e3 82 89 e3 81 b0 e3 80 81 47  n2 ............G
0ae0: 31 20 2b 20 47 32 20 e2 89 a1 20 2a 28 6e 31 20  1 + G2 ... *(n1 
0af0: 78 6f 72 20 6e 32 29 0a 0a 20 20 e8 a8 bc e6 98  xor n2)..  .....
0b00: 8e 0a 20 20 20 20 2d 20 2a 6e 31 20 2b 20 2a 6e  ..    - *n1 + *n
0b10: 32 20 2b 20 2a 28 6e 31 20 78 6f 72 20 6e 32 29  2 + *(n1 xor n2)
0b20: 20 e3 81 8c e5 bf 85 e6 95 97 e3 81 a7 e3 81 82   ...............
0b30: e3 82 8b e3 81 93 e3 81 a8 e3 82 92 e8 a8 80 e3  ................
0b40: 81 88 e3 81 b0 e8 89 af e3 81 84 e3 80 82 0a 20  ............... 
0b50: 20 20 20 2d 20 28 6e 31 20 78 6f 72 20 6e 32 20     - (n1 xor n2 
0b60: 78 6f 72 20 28 6e 31 20 78 6f 72 20 6e 32 29 29  xor (n1 xor n2))
0b70: 20 e3 81 af 20 30 20 e3 81 a7 e3 81 82 e3 82 8b   ... 0 .........
0b80: 0a 20 20 20 20 2d 20 e4 b8 80 e6 89 8b e5 8b 95  .    - .........
0b90: e3 81 8b e3 81 99 e3 81 a8 20 30 20 e3 81 98 e3  ......... 0 ....
0ba0: 82 83 e3 81 aa e3 81 8f e3 81 aa e3 82 8b 0a 20  ............... 
0bb0: 20 20 20 20 20 20 20 3e 3e 20 6e 31 20 e3 81 a8         >> n1 ...
0bc0: 20 6e 32 20 e3 81 a8 20 6e 31 5e 6e 32 20 e3 81   n2 ... n1^n2 ..
0bd0: ae e3 81 a9 e3 82 8c e3 81 8b e4 b8 80 e5 80 8b  ................
0be0: e3 81 a0 e3 81 91 e3 83 93 e3 83 83 e3 83 88 e3  ................
0bf0: 81 8c e5 a4 89 e3 82 8f e3 82 8b e3 81 ae e3 81  ................
0c00: a7 e7 b5 b6 e5 af be 78 6f 72 e3 81 8c e5 a4 89  .......xor......
0c10: e3 82 8f e3 82 8b e3 81 8b e3 82 89 0a 20 20 20  .............   
0c20: 20 2d 20 e7 9b b8 e6 89 8b e3 81 af e4 b8 80 e6   - .............
0c30: 89 8b e5 8b 95 e3 81 8b e3 81 97 e3 81 a6 20 30  .............. 0
0c40: 20 e3 81 ab e6 88 bb e3 81 9b e3 82 8b 0a 20 20   .............  
0c50: 20 20 20 20 20 20 3e 3e 20 61 5e 62 5e 63 20 3d        >> a^b^c =
0c60: 20 78 20 e3 81 8c e9 9d 9e e3 82 bc e3 83 ad e3   x .............
0c70: 81 ae e5 a0 b4 e5 90 88 20 61 3d 3e 61 5e 78 20  ........ a=>a^x 
0c80: e3 81 8b 20 62 3d 3e 62 5e 78 20 e3 81 8b 20 63  ... b=>b^x ... c
0c90: 3d 3e 63 5e 78 20 e3 81 a8 e5 8b 95 e3 81 8b e3  =>c^x ..........
0ca0: 81 9b e3 81 b0 e3 82 88 e3 81 84 0a 20 20 20 20  ............    
0cb0: 20 20 20 20 3e 3e 20 e3 81 a4 e3 81 be e3 82 8a      >> .........
0cc0: 61 2c 62 2c 63 e3 81 ae e3 81 a9 e3 82 8c e3 81  a,b,c...........
0cd0: 8b e3 81 af 5e 78 e3 81 99 e3 82 8b e3 81 a8 e6  ....^x..........
0ce0: b8 9b e3 82 8b e3 81 93 e3 81 a8 e3 82 92 e8 a8  ................
0cf0: 80 e3 81 88 e3 81 b0 e3 82 88 e3 81 84 e3 80 82  ................
0d00: 0a 20 20 20 20 20 20 20 20 3e 3e 20 61 2c 62 2c  .        >> a,b,
0d10: 63 e3 81 ae e3 81 86 e3 81 a1 e6 9c 80 e4 b8 8a  c...............
0d20: e4 bd 8d e3 83 93 e3 83 83 e3 83 88 e3 81 8c e7  ................
0d30: ab 8b e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 82  ................
0d40: 82 e3 81 ae e3 81 8c e5 a5 87 e6 95 b0 e5 80 8b  ................
0d50: e3 81 aa e3 82 89 78 e3 82 82 e7 ab 8b e3 81 a4  ......x.........
0d60: e3 81 ae e3 81 a7 78 6f 72 e3 81 99 e3 82 8c e3  ......xor.......
0d70: 81 b0 e6 b8 9b e3 82 8b 0a 20 20 20 20 20 20 20  .........       
0d80: 20 3e 3e 20 e5 81 b6 e6 95 b0 e5 80 8b 28 32 e5   >> .........(2.
0d90: 80 8b 29 e3 81 aa e3 82 89 e3 80 81 e3 81 9d e3  ..).............
0da0: 81 ae e6 9c 80 e4 b8 8a e4 bd 8d e3 83 93 e3 83  ................
0db0: 83 e3 83 88 e3 82 92 e7 84 a1 e8 a6 96 e3 81 97  ................
0dc0: e3 81 9f e6 ae 8b e3 82 8a e3 82 92 61 27 2c 62  ............a',b
0dd0: 27 2c 63 27 e3 81 a8 e3 81 99 e3 82 8b e3 81 a8  ',c'............
0de0: e3 81 93 e3 82 8c e3 82 82 0a 20 20 20 20 20 20  ..........      
0df0: 20 20 3e 3e 20 78 6f 72 e3 81 8c 78 e3 81 aa e3    >> xor...x....
0e00: 81 ae e3 81 a7 e6 95 b0 e5 ad a6 e7 9a 84 e5 b8  ................
0e10: b0 e7 b4 8d e6 b3 95 e7 9a 84 e3 81 ab e3 82 84  ................
0e20: e3 82 8b e3 81 93 e3 81 a8 e3 81 ab e3 82 88 e3  ................
0e30: 82 8a e5 b7 a7 e3 81 84 e6 b8 9b e3 82 89 e3 81  ................
0e40: 97 e6 96 b9 e3 81 8c e8 a6 8b e3 81 a4 e3 81 8b  ................
0e50: e3 82 8b e3 80 82 0a 20 20 20 20 2d 20 e3 82 88  .......    - ...
0e60: e3 81 a3 e3 81 a6 e6 9c 80 e7 b5 82 e5 b1 80 e9  ................
0e70: 9d a2 22 e5 85 a8 e9 83 a8 20 30 22 e3 81 ab e3  .."...... 0"....
0e80: 81 aa e3 82 8b e3 81 ae e3 81 af e7 b5 b6 e5 af  ................
0e90: be e3 81 ab e8 87 aa e5 88 86 e3 81 ae e3 82 bf  ................
0ea0: e3 83 bc e3 83 b3 0a 0a 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 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0ed0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0ee0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0ef0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f00: 2d 2d 2d 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 3d 20 2a 6d 65 78  ..., *nk} = *mex
12e0: 28 6e 31 2c 20 2e 2e 2e 2c 20 6e 6b 29 0a e3 83  (n1, ..., nk)...
12f0: bb e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31 20 e3  .......... *n1 .
1300: 81 a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3 81 a1  .. *n2 .........
1310: e3 82 89 e3 81 8b e3 82 92 e9 81 b8 e3 82 93 e3  ................
1320: 81 a7 e4 b8 80 e6 89 8b e9 80 b2 e3 82 81 e3 82  ................
1330: 89 e3 82 8c e3 82 8b e3 82 b2 e3 83 bc e3 83 a0  ................
1340: 0a e3 80 80 e3 80 80 2a 6e 31 20 2b 20 2a 6e 32  .......*n1 + *n2
1350: 20 3d 20 2a 28 6e 31 20 78 6f 72 20 6e 32 29 0a   = *(n1 xor n2).
1360: e3 83 bb e3 82 b2 e3 83 bc e3 83 a0 20 2a 6e 31  ............ *n1
1370: 20 e3 81 a8 20 2a 6e 32 20 e3 81 a8 e3 81 a9 e3   ... *n2 .......
1380: 81 a1 e3 82 89 e3 81 8b e4 b8 80 e6 96 b9 e3 81  ................
1390: be e3 81 9f e3 81 af e4 b8 a1 e6 96 b9 e4 b8 80  ................
13a0: e6 b0 97 e3 81 ab e9 80 b2 e3 82 81 e3 82 89 e3  ................
13b0: 82 8c e3 82 8b e3 82 b2 e3 83 bc e3 83 a0 0a e3  ................
13c0: 80 80 e3 80 80 2a 6e 31 20 3c 2b 3e 20 2a 6e 32  .....*n1 <+> *n2
13d0: 20 3d 20 2a 28 6e 31 20 2b 20 6e 32 29 20 20 20   = *(n1 + n2)   
13e0: 20 20 2f 2f e5 8d 98 e3 81 ab ef bc 91 e5 80 8b    //............
13f0: e3 81 ae e5 b1 b1 e3 81 aa e3 81 ae e3 81 a8 e3  ................
1400: 81 8b e3 82 8f e3 82 89 e3 81 aa e3 81 84 0a e3  ................
1410: 83 bb e4 b8 a1 e6 96 b9 e4 b8 80 e6 89 8b e3 81  ................
1420: 9a e3 81 a4 e9 80 b2 e3 82 81 e3 82 8b e3 82 b2  ................
1430: e3 83 bc e3 83 a0 ef bc 9f ef bc 9f ef bc 9f ef  ................
1440: bc 9f ef bc 9f 0a e3 80 80 e3 80 80 2a 6e 31 20  ............*n1 
1450: 58 20 2a 6e 32 20 3d 20 3f 0a                    X *n2 = ?.