Home | History | Annotate | Download | only in s390x 
      1 x 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
      2 x 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
      3 x 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
      4 x 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
      5 x 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
      6 x 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
      7 x 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
      8 x 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
      9 x AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
     10 x 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
     11 x FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
     12 x 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
     13 xg 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
     14 xg 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
     15 xg 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
     16 xg 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
     17 xg 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
     18 xg 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
     19 xg 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
     20 xg 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
     21 xg AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
     22 xg 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
     23 xg FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
     24 xg 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
     25 xr 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
     26 xr 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
     27 xr 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
     28 xr 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
     29 xr 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
     30 xr 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
     31 xr 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
     32 xr 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
     33 xr AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
     34 xr 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
     35 xr FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
     36 xr 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
     37 xgr 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
     38 xgr 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
     39 xgr 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
     40 xgr 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
     41 xgr 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
     42 xgr 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
     43 xgr 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
     44 xgr 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
     45 xgr AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
     46 xgr 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
     47 xgr FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
     48 xgr 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
     49 xy 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
     50 xy 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
     51 xy 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
     52 xy 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
     53 xy 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
     54 xy 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
     55 xy 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
     56 xy 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
     57 xy AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
     58 xy 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
     59 xy FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
     60 xy 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
     61 x 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
     62 x 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
     63 x 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
     64 x 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
     65 x 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
     66 x 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
     67 x 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
     68 x 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
     69 x AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
     70 x 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
     71 x FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
     72 x 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
     73 xg 0000000000000000 ^ 5555555555555555 = 5555555555555555 (cc=1)
     74 xg 0000000000000001 ^ 5555555555555555 = 5555555555555554 (cc=1)
     75 xg 000000000000FFFF ^ 5555555555555555 = 555555555555AAAA (cc=1)
     76 xg 0000000000007FFF ^ 5555555555555555 = 5555555555552AAA (cc=1)
     77 xg 0000000000008000 ^ 5555555555555555 = 555555555555D555 (cc=1)
     78 xg 00000000FFFFFFFF ^ 5555555555555555 = 55555555AAAAAAAA (cc=1)
     79 xg 0000000080000000 ^ 5555555555555555 = 55555555D5555555 (cc=1)
     80 xg 000000007FFFFFFF ^ 5555555555555555 = 555555552AAAAAAA (cc=1)
     81 xg AAAAAAAAAAAAAAAA ^ 5555555555555555 = FFFFFFFFFFFFFFFF (cc=1)
     82 xg 8000000000000000 ^ 5555555555555555 = D555555555555555 (cc=1)
     83 xg FFFFFFFFFFFFFFFF ^ 5555555555555555 = AAAAAAAAAAAAAAAA (cc=1)
     84 xg 5555555555555555 ^ 5555555555555555 = 0000000000000000 (cc=0)
     85 xr 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
     86 xr 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
     87 xr 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
     88 xr 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
     89 xr 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
     90 xr 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
     91 xr 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
     92 xr 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
     93 xr AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
     94 xr 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
     95 xr FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
     96 xr 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
     97 xgr 0000000000000000 ^ 5555555555555555 = 5555555555555555 (cc=1)
     98 xgr 0000000000000001 ^ 5555555555555555 = 5555555555555554 (cc=1)
     99 xgr 000000000000FFFF ^ 5555555555555555 = 555555555555AAAA (cc=1)
    100 xgr 0000000000007FFF ^ 5555555555555555 = 5555555555552AAA (cc=1)
    101 xgr 0000000000008000 ^ 5555555555555555 = 555555555555D555 (cc=1)
    102 xgr 00000000FFFFFFFF ^ 5555555555555555 = 55555555AAAAAAAA (cc=1)
    103 xgr 0000000080000000 ^ 5555555555555555 = 55555555D5555555 (cc=1)
    104 xgr 000000007FFFFFFF ^ 5555555555555555 = 555555552AAAAAAA (cc=1)
    105 xgr AAAAAAAAAAAAAAAA ^ 5555555555555555 = FFFFFFFFFFFFFFFF (cc=1)
    106 xgr 8000000000000000 ^ 5555555555555555 = D555555555555555 (cc=1)
    107 xgr FFFFFFFFFFFFFFFF ^ 5555555555555555 = AAAAAAAAAAAAAAAA (cc=1)
    108 xgr 5555555555555555 ^ 5555555555555555 = 0000000000000000 (cc=0)
    109 xy 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
    110 xy 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
    111 xy 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
    112 xy 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
    113 xy 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
    114 xy 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
    115 xy 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
    116 xy 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
    117 xy AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
    118 xy 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
    119 xy FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
    120 xy 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
    121 x 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    122 x 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
    123 x 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
    124 x 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
    125 x 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
    126 x 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
    127 x 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    128 x 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
    129 x AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
    130 x 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
    131 x FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
    132 x 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
    133 xg 0000000000000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    134 xg 0000000000000001 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAB (cc=1)
    135 xg 000000000000FFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA5555 (cc=1)
    136 xg 0000000000007FFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAD555 (cc=1)
    137 xg 0000000000008000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA2AAA (cc=1)
    138 xg 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAA55555555 (cc=1)
    139 xg 0000000080000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAA2AAAAAAA (cc=1)
    140 xg 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAD5555555 (cc=1)
    141 xg AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    142 xg 8000000000000000 ^ AAAAAAAAAAAAAAAA = 2AAAAAAAAAAAAAAA (cc=1)
    143 xg FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = 5555555555555555 (cc=1)
    144 xg 5555555555555555 ^ AAAAAAAAAAAAAAAA = FFFFFFFFFFFFFFFF (cc=1)
    145 xr 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    146 xr 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
    147 xr 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
    148 xr 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
    149 xr 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
    150 xr 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
    151 xr 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    152 xr 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
    153 xr AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
    154 xr 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
    155 xr FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
    156 xr 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
    157 xgr 0000000000000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    158 xgr 0000000000000001 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAB (cc=1)
    159 xgr 000000000000FFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA5555 (cc=1)
    160 xgr 0000000000007FFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAD555 (cc=1)
    161 xgr 0000000000008000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA2AAA (cc=1)
    162 xgr 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAA55555555 (cc=1)
    163 xgr 0000000080000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAA2AAAAAAA (cc=1)
    164 xgr 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAD5555555 (cc=1)
    165 xgr AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    166 xgr 8000000000000000 ^ AAAAAAAAAAAAAAAA = 2AAAAAAAAAAAAAAA (cc=1)
    167 xgr FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = 5555555555555555 (cc=1)
    168 xgr 5555555555555555 ^ AAAAAAAAAAAAAAAA = FFFFFFFFFFFFFFFF (cc=1)
    169 xy 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    170 xy 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
    171 xy 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
    172 xy 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
    173 xy 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
    174 xy 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
    175 xy 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    176 xy 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
    177 xy AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
    178 xy 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
    179 xy FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
    180 xy 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
    181 x 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
    182 x 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
    183 x 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
    184 x 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
    185 x 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
    186 x 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
    187 x 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    188 x 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
    189 x AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
    190 x 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    191 x FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
    192 x 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
    193 xg 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
    194 xg 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
    195 xg 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
    196 xg 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
    197 xg 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
    198 xg 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
    199 xg 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    200 xg 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
    201 xg AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
    202 xg 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    203 xg FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
    204 xg 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
    205 xr 0000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    206 xr 0000000000000001 ^ 8000000000000000 = 0000000000000001 (cc=1)
    207 xr 000000000000FFFF ^ 8000000000000000 = 000000000000FFFF (cc=1)
    208 xr 0000000000007FFF ^ 8000000000000000 = 0000000000007FFF (cc=1)
    209 xr 0000000000008000 ^ 8000000000000000 = 0000000000008000 (cc=1)
    210 xr 00000000FFFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
    211 xr 0000000080000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
    212 xr 000000007FFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
    213 xr AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
    214 xr 8000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=0)
    215 xr FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
    216 xr 5555555555555555 ^ 8000000000000000 = 5555555555555555 (cc=1)
    217 xgr 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
    218 xgr 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
    219 xgr 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
    220 xgr 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
    221 xgr 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
    222 xgr 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
    223 xgr 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    224 xgr 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
    225 xgr AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
    226 xgr 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    227 xgr FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
    228 xgr 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
    229 xy 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
    230 xy 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
    231 xy 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
    232 xy 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
    233 xy 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
    234 xy 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
    235 xy 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    236 xy 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
    237 xy AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
    238 xy 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    239 xy FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
    240 xy 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
    241 x 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    242 x 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
    243 x 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
    244 x 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
    245 x 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
    246 x 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    247 x 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    248 x 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    249 x AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
    250 x 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
    251 x FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
    252 x 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
    253 xg 0000000000000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    254 xg 0000000000000001 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
    255 xg 000000000000FFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0000 (cc=1)
    256 xg 0000000000007FFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF8000 (cc=1)
    257 xg 0000000000008000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF7FFF (cc=1)
    258 xg 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
    259 xg 0000000080000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
    260 xg 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
    261 xg AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    262 xg 8000000000000000 ^ FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=1)
    263 xg FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    264 xg 5555555555555555 ^ FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    265 xr 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    266 xr 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
    267 xr 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
    268 xr 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
    269 xr 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
    270 xr 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    271 xr 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    272 xr 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    273 xr AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
    274 xr 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
    275 xr FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
    276 xr 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
    277 xgr 0000000000000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    278 xgr 0000000000000001 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
    279 xgr 000000000000FFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0000 (cc=1)
    280 xgr 0000000000007FFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF8000 (cc=1)
    281 xgr 0000000000008000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF7FFF (cc=1)
    282 xgr 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
    283 xgr 0000000080000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
    284 xgr 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
    285 xgr AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    286 xgr 8000000000000000 ^ FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=1)
    287 xgr FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    288 xgr 5555555555555555 ^ FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    289 xy 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    290 xy 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
    291 xy 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
    292 xy 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
    293 xy 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
    294 xy 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    295 xy 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    296 xy 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    297 xy AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
    298 xy 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
    299 xy FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
    300 xy 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
    301 x 0000000000000000 ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    302 x 0000000000000001 ^ 7FFFFFFF00000000 = 000000007FFFFFFE (cc=1)
    303 x 000000000000FFFF ^ 7FFFFFFF00000000 = 000000007FFF0000 (cc=1)
    304 x 0000000000007FFF ^ 7FFFFFFF00000000 = 000000007FFF8000 (cc=1)
    305 x 0000000000008000 ^ 7FFFFFFF00000000 = 000000007FFF7FFF (cc=1)
    306 x 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
    307 x 0000000080000000 ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    308 x 000000007FFFFFFF ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    309 x AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAD5555555 (cc=1)
    310 x 8000000000000000 ^ 7FFFFFFF00000000 = 800000007FFFFFFF (cc=1)
    311 x FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
    312 x 5555555555555555 ^ 7FFFFFFF00000000 = 555555552AAAAAAA (cc=1)
    313 xg 0000000000000000 ^ 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
    314 xg 0000000000000001 ^ 7FFFFFFF00000000 = 7FFFFFFF00000001 (cc=1)
    315 xg 000000000000FFFF ^ 7FFFFFFF00000000 = 7FFFFFFF0000FFFF (cc=1)
    316 xg 0000000000007FFF ^ 7FFFFFFF00000000 = 7FFFFFFF00007FFF (cc=1)
    317 xg 0000000000008000 ^ 7FFFFFFF00000000 = 7FFFFFFF00008000 (cc=1)
    318 xg 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF (cc=1)
    319 xg 0000000080000000 ^ 7FFFFFFF00000000 = 7FFFFFFF80000000 (cc=1)
    320 xg 000000007FFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFF7FFFFFFF (cc=1)
    321 xg AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = D5555555AAAAAAAA (cc=1)
    322 xg 8000000000000000 ^ 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
    323 xg FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
    324 xg 5555555555555555 ^ 7FFFFFFF00000000 = 2AAAAAAA55555555 (cc=1)
    325 xr 0000000000000000 ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    326 xr 0000000000000001 ^ 7FFFFFFF00000000 = 0000000000000001 (cc=1)
    327 xr 000000000000FFFF ^ 7FFFFFFF00000000 = 000000000000FFFF (cc=1)
    328 xr 0000000000007FFF ^ 7FFFFFFF00000000 = 0000000000007FFF (cc=1)
    329 xr 0000000000008000 ^ 7FFFFFFF00000000 = 0000000000008000 (cc=1)
    330 xr 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    331 xr 0000000080000000 ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
    332 xr 000000007FFFFFFF ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    333 xr AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
    334 xr 8000000000000000 ^ 7FFFFFFF00000000 = 8000000000000000 (cc=0)
    335 xr FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
    336 xr 5555555555555555 ^ 7FFFFFFF00000000 = 5555555555555555 (cc=1)
    337 xgr 0000000000000000 ^ 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
    338 xgr 0000000000000001 ^ 7FFFFFFF00000000 = 7FFFFFFF00000001 (cc=1)
    339 xgr 000000000000FFFF ^ 7FFFFFFF00000000 = 7FFFFFFF0000FFFF (cc=1)
    340 xgr 0000000000007FFF ^ 7FFFFFFF00000000 = 7FFFFFFF00007FFF (cc=1)
    341 xgr 0000000000008000 ^ 7FFFFFFF00000000 = 7FFFFFFF00008000 (cc=1)
    342 xgr 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF (cc=1)
    343 xgr 0000000080000000 ^ 7FFFFFFF00000000 = 7FFFFFFF80000000 (cc=1)
    344 xgr 000000007FFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFF7FFFFFFF (cc=1)
    345 xgr AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = D5555555AAAAAAAA (cc=1)
    346 xgr 8000000000000000 ^ 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
    347 xgr FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
    348 xgr 5555555555555555 ^ 7FFFFFFF00000000 = 2AAAAAAA55555555 (cc=1)
    349 xy 0000000000000000 ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    350 xy 0000000000000001 ^ 7FFFFFFF00000000 = 000000007FFFFFFE (cc=1)
    351 xy 000000000000FFFF ^ 7FFFFFFF00000000 = 000000007FFF0000 (cc=1)
    352 xy 0000000000007FFF ^ 7FFFFFFF00000000 = 000000007FFF8000 (cc=1)
    353 xy 0000000000008000 ^ 7FFFFFFF00000000 = 000000007FFF7FFF (cc=1)
    354 xy 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
    355 xy 0000000080000000 ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    356 xy 000000007FFFFFFF ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    357 xy AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAD5555555 (cc=1)
    358 xy 8000000000000000 ^ 7FFFFFFF00000000 = 800000007FFFFFFF (cc=1)
    359 xy FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
    360 xy 5555555555555555 ^ 7FFFFFFF00000000 = 555555552AAAAAAA (cc=1)
    361 x 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
    362 x 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
    363 x 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
    364 x 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
    365 x 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
    366 x 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
    367 x 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    368 x 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
    369 x AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
    370 x 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    371 x FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
    372 x 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
    373 xg 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
    374 xg 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
    375 xg 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
    376 xg 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
    377 xg 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
    378 xg 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
    379 xg 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    380 xg 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
    381 xg AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
    382 xg 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    383 xg FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
    384 xg 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
    385 xr 0000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    386 xr 0000000000000001 ^ 8000000000000000 = 0000000000000001 (cc=1)
    387 xr 000000000000FFFF ^ 8000000000000000 = 000000000000FFFF (cc=1)
    388 xr 0000000000007FFF ^ 8000000000000000 = 0000000000007FFF (cc=1)
    389 xr 0000000000008000 ^ 8000000000000000 = 0000000000008000 (cc=1)
    390 xr 00000000FFFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
    391 xr 0000000080000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
    392 xr 000000007FFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
    393 xr AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
    394 xr 8000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=0)
    395 xr FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
    396 xr 5555555555555555 ^ 8000000000000000 = 5555555555555555 (cc=1)
    397 xgr 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
    398 xgr 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
    399 xgr 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
    400 xgr 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
    401 xgr 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
    402 xgr 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
    403 xgr 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    404 xgr 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
    405 xgr AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
    406 xgr 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    407 xgr FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
    408 xgr 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
    409 xy 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
    410 xy 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
    411 xy 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
    412 xy 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
    413 xy 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
    414 xy 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
    415 xy 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
    416 xy 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
    417 xy AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
    418 xy 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
    419 xy FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
    420 xy 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
    421 x 0000000000000000 ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
    422 x 0000000000000001 ^ AAAAAAAA00000000 = 00000000AAAAAAAB (cc=1)
    423 x 000000000000FFFF ^ AAAAAAAA00000000 = 00000000AAAA5555 (cc=1)
    424 x 0000000000007FFF ^ AAAAAAAA00000000 = 00000000AAAAD555 (cc=1)
    425 x 0000000000008000 ^ AAAAAAAA00000000 = 00000000AAAA2AAA (cc=1)
    426 x 00000000FFFFFFFF ^ AAAAAAAA00000000 = 0000000055555555 (cc=1)
    427 x 0000000080000000 ^ AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
    428 x 000000007FFFFFFF ^ AAAAAAAA00000000 = 00000000D5555555 (cc=1)
    429 x AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
    430 x 8000000000000000 ^ AAAAAAAA00000000 = 80000000AAAAAAAA (cc=1)
    431 x FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
    432 x 5555555555555555 ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
    433 xg 0000000000000000 ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
    434 xg 0000000000000001 ^ AAAAAAAA00000000 = AAAAAAAA00000001 (cc=1)
    435 xg 000000000000FFFF ^ AAAAAAAA00000000 = AAAAAAAA0000FFFF (cc=1)
    436 xg 0000000000007FFF ^ AAAAAAAA00000000 = AAAAAAAA00007FFF (cc=1)
    437 xg 0000000000008000 ^ AAAAAAAA00000000 = AAAAAAAA00008000 (cc=1)
    438 xg 00000000FFFFFFFF ^ AAAAAAAA00000000 = AAAAAAAAFFFFFFFF (cc=1)
    439 xg 0000000080000000 ^ AAAAAAAA00000000 = AAAAAAAA80000000 (cc=1)
    440 xg 000000007FFFFFFF ^ AAAAAAAA00000000 = AAAAAAAA7FFFFFFF (cc=1)
    441 xg AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
    442 xg 8000000000000000 ^ AAAAAAAA00000000 = 2AAAAAAA00000000 (cc=1)
    443 xg FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
    444 xg 5555555555555555 ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
    445 xr 0000000000000000 ^ AAAAAAAA00000000 = 0000000000000000 (cc=0)
    446 xr 0000000000000001 ^ AAAAAAAA00000000 = 0000000000000001 (cc=1)
    447 xr 000000000000FFFF ^ AAAAAAAA00000000 = 000000000000FFFF (cc=1)
    448 xr 0000000000007FFF ^ AAAAAAAA00000000 = 0000000000007FFF (cc=1)
    449 xr 0000000000008000 ^ AAAAAAAA00000000 = 0000000000008000 (cc=1)
    450 xr 00000000FFFFFFFF ^ AAAAAAAA00000000 = 00000000FFFFFFFF (cc=1)
    451 xr 0000000080000000 ^ AAAAAAAA00000000 = 0000000080000000 (cc=1)
    452 xr 000000007FFFFFFF ^ AAAAAAAA00000000 = 000000007FFFFFFF (cc=1)
    453 xr AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAAAAAAAAAA (cc=1)
    454 xr 8000000000000000 ^ AAAAAAAA00000000 = 8000000000000000 (cc=0)
    455 xr FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFFFFFFFFFF (cc=1)
    456 xr 5555555555555555 ^ AAAAAAAA00000000 = 5555555555555555 (cc=1)
    457 xgr 0000000000000000 ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
    458 xgr 0000000000000001 ^ AAAAAAAA00000000 = AAAAAAAA00000001 (cc=1)
    459 xgr 000000000000FFFF ^ AAAAAAAA00000000 = AAAAAAAA0000FFFF (cc=1)
    460 xgr 0000000000007FFF ^ AAAAAAAA00000000 = AAAAAAAA00007FFF (cc=1)
    461 xgr 0000000000008000 ^ AAAAAAAA00000000 = AAAAAAAA00008000 (cc=1)
    462 xgr 00000000FFFFFFFF ^ AAAAAAAA00000000 = AAAAAAAAFFFFFFFF (cc=1)
    463 xgr 0000000080000000 ^ AAAAAAAA00000000 = AAAAAAAA80000000 (cc=1)
    464 xgr 000000007FFFFFFF ^ AAAAAAAA00000000 = AAAAAAAA7FFFFFFF (cc=1)
    465 xgr AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
    466 xgr 8000000000000000 ^ AAAAAAAA00000000 = 2AAAAAAA00000000 (cc=1)
    467 xgr FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
    468 xgr 5555555555555555 ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
    469 xy 0000000000000000 ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
    470 xy 0000000000000001 ^ AAAAAAAA00000000 = 00000000AAAAAAAB (cc=1)
    471 xy 000000000000FFFF ^ AAAAAAAA00000000 = 00000000AAAA5555 (cc=1)
    472 xy 0000000000007FFF ^ AAAAAAAA00000000 = 00000000AAAAD555 (cc=1)
    473 xy 0000000000008000 ^ AAAAAAAA00000000 = 00000000AAAA2AAA (cc=1)
    474 xy 00000000FFFFFFFF ^ AAAAAAAA00000000 = 0000000055555555 (cc=1)
    475 xy 0000000080000000 ^ AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
    476 xy 000000007FFFFFFF ^ AAAAAAAA00000000 = 00000000D5555555 (cc=1)
    477 xy AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
    478 xy 8000000000000000 ^ AAAAAAAA00000000 = 80000000AAAAAAAA (cc=1)
    479 xy FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
    480 xy 5555555555555555 ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
    481 x 0000000000000000 ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    482 x 0000000000000001 ^ FFFFFFFF00000000 = 00000000FFFFFFFE (cc=1)
    483 x 000000000000FFFF ^ FFFFFFFF00000000 = 00000000FFFF0000 (cc=1)
    484 x 0000000000007FFF ^ FFFFFFFF00000000 = 00000000FFFF8000 (cc=1)
    485 x 0000000000008000 ^ FFFFFFFF00000000 = 00000000FFFF7FFF (cc=1)
    486 x 00000000FFFFFFFF ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
    487 x 0000000080000000 ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    488 x 000000007FFFFFFF ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
    489 x AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
    490 x 8000000000000000 ^ FFFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
    491 x FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
    492 x 5555555555555555 ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
    493 xg 0000000000000000 ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
    494 xg 0000000000000001 ^ FFFFFFFF00000000 = FFFFFFFF00000001 (cc=1)
    495 xg 000000000000FFFF ^ FFFFFFFF00000000 = FFFFFFFF0000FFFF (cc=1)
    496 xg 0000000000007FFF ^ FFFFFFFF00000000 = FFFFFFFF00007FFF (cc=1)
    497 xg 0000000000008000 ^ FFFFFFFF00000000 = FFFFFFFF00008000 (cc=1)
    498 xg 00000000FFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
    499 xg 0000000080000000 ^ FFFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
    500 xg 000000007FFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
    501 xg AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
    502 xg 8000000000000000 ^ FFFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
    503 xg FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    504 xg 5555555555555555 ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
    505 xr 0000000000000000 ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
    506 xr 0000000000000001 ^ FFFFFFFF00000000 = 0000000000000001 (cc=1)
    507 xr 000000000000FFFF ^ FFFFFFFF00000000 = 000000000000FFFF (cc=1)
    508 xr 0000000000007FFF ^ FFFFFFFF00000000 = 0000000000007FFF (cc=1)
    509 xr 0000000000008000 ^ FFFFFFFF00000000 = 0000000000008000 (cc=1)
    510 xr 00000000FFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    511 xr 0000000080000000 ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
    512 xr 000000007FFFFFFF ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    513 xr AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
    514 xr 8000000000000000 ^ FFFFFFFF00000000 = 8000000000000000 (cc=0)
    515 xr FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
    516 xr 5555555555555555 ^ FFFFFFFF00000000 = 5555555555555555 (cc=1)
    517 xgr 0000000000000000 ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
    518 xgr 0000000000000001 ^ FFFFFFFF00000000 = FFFFFFFF00000001 (cc=1)
    519 xgr 000000000000FFFF ^ FFFFFFFF00000000 = FFFFFFFF0000FFFF (cc=1)
    520 xgr 0000000000007FFF ^ FFFFFFFF00000000 = FFFFFFFF00007FFF (cc=1)
    521 xgr 0000000000008000 ^ FFFFFFFF00000000 = FFFFFFFF00008000 (cc=1)
    522 xgr 00000000FFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
    523 xgr 0000000080000000 ^ FFFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
    524 xgr 000000007FFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
    525 xgr AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
    526 xgr 8000000000000000 ^ FFFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
    527 xgr FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    528 xgr 5555555555555555 ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
    529 xy 0000000000000000 ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    530 xy 0000000000000001 ^ FFFFFFFF00000000 = 00000000FFFFFFFE (cc=1)
    531 xy 000000000000FFFF ^ FFFFFFFF00000000 = 00000000FFFF0000 (cc=1)
    532 xy 0000000000007FFF ^ FFFFFFFF00000000 = 00000000FFFF8000 (cc=1)
    533 xy 0000000000008000 ^ FFFFFFFF00000000 = 00000000FFFF7FFF (cc=1)
    534 xy 00000000FFFFFFFF ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
    535 xy 0000000080000000 ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    536 xy 000000007FFFFFFF ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
    537 xy AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
    538 xy 8000000000000000 ^ FFFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
    539 xy FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
    540 xy 5555555555555555 ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
    541 x 0000000000000000 ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
    542 x 0000000000000001 ^ 000000007FFFFFFF = 0000000000000001 (cc=1)
    543 x 000000000000FFFF ^ 000000007FFFFFFF = 000000000000FFFF (cc=1)
    544 x 0000000000007FFF ^ 000000007FFFFFFF = 0000000000007FFF (cc=1)
    545 x 0000000000008000 ^ 000000007FFFFFFF = 0000000000008000 (cc=1)
    546 x 00000000FFFFFFFF ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
    547 x 0000000080000000 ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
    548 x 000000007FFFFFFF ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    549 x AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    550 x 8000000000000000 ^ 000000007FFFFFFF = 8000000000000000 (cc=0)
    551 x FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    552 x 5555555555555555 ^ 000000007FFFFFFF = 5555555555555555 (cc=1)
    553 xg 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    554 xg 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
    555 xg 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
    556 xg 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
    557 xg 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
    558 xg 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
    559 xg 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
    560 xg 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
    561 xg AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
    562 xg 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
    563 xg FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
    564 xg 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
    565 xr 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    566 xr 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
    567 xr 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
    568 xr 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
    569 xr 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
    570 xr 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
    571 xr 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
    572 xr 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
    573 xr AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
    574 xr 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
    575 xr FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
    576 xr 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
    577 xgr 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    578 xgr 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
    579 xgr 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
    580 xgr 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
    581 xgr 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
    582 xgr 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
    583 xgr 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
    584 xgr 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
    585 xgr AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
    586 xgr 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
    587 xgr FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
    588 xgr 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
    589 xy 0000000000000000 ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
    590 xy 0000000000000001 ^ 000000007FFFFFFF = 0000000000000001 (cc=1)
    591 xy 000000000000FFFF ^ 000000007FFFFFFF = 000000000000FFFF (cc=1)
    592 xy 0000000000007FFF ^ 000000007FFFFFFF = 0000000000007FFF (cc=1)
    593 xy 0000000000008000 ^ 000000007FFFFFFF = 0000000000008000 (cc=1)
    594 xy 00000000FFFFFFFF ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
    595 xy 0000000080000000 ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
    596 xy 000000007FFFFFFF ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    597 xy AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    598 xy 8000000000000000 ^ 000000007FFFFFFF = 8000000000000000 (cc=0)
    599 xy FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    600 xy 5555555555555555 ^ 000000007FFFFFFF = 5555555555555555 (cc=1)
    601 x 0000000000000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
    602 x 0000000000000001 ^ 0000000080000000 = 0000000000000001 (cc=1)
    603 x 000000000000FFFF ^ 0000000080000000 = 000000000000FFFF (cc=1)
    604 x 0000000000007FFF ^ 0000000080000000 = 0000000000007FFF (cc=1)
    605 x 0000000000008000 ^ 0000000080000000 = 0000000000008000 (cc=1)
    606 x 00000000FFFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
    607 x 0000000080000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
    608 x 000000007FFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
    609 x AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAAAAAAAAAA (cc=1)
    610 x 8000000000000000 ^ 0000000080000000 = 8000000000000000 (cc=0)
    611 x FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFFFFFFFFFF (cc=1)
    612 x 5555555555555555 ^ 0000000080000000 = 5555555555555555 (cc=1)
    613 xg 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
    614 xg 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
    615 xg 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
    616 xg 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
    617 xg 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
    618 xg 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
    619 xg 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
    620 xg 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
    621 xg AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
    622 xg 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
    623 xg FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
    624 xg 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
    625 xr 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
    626 xr 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
    627 xr 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
    628 xr 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
    629 xr 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
    630 xr 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
    631 xr 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
    632 xr 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
    633 xr AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
    634 xr 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
    635 xr FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
    636 xr 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
    637 xgr 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
    638 xgr 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
    639 xgr 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
    640 xgr 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
    641 xgr 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
    642 xgr 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
    643 xgr 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
    644 xgr 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
    645 xgr AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
    646 xgr 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
    647 xgr FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
    648 xgr 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
    649 xy 0000000000000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
    650 xy 0000000000000001 ^ 0000000080000000 = 0000000000000001 (cc=1)
    651 xy 000000000000FFFF ^ 0000000080000000 = 000000000000FFFF (cc=1)
    652 xy 0000000000007FFF ^ 0000000080000000 = 0000000000007FFF (cc=1)
    653 xy 0000000000008000 ^ 0000000080000000 = 0000000000008000 (cc=1)
    654 xy 00000000FFFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
    655 xy 0000000080000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
    656 xy 000000007FFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
    657 xy AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAAAAAAAAAA (cc=1)
    658 xy 8000000000000000 ^ 0000000080000000 = 8000000000000000 (cc=0)
    659 xy FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFFFFFFFFFF (cc=1)
    660 xy 5555555555555555 ^ 0000000080000000 = 5555555555555555 (cc=1)
    661 x 0000000000000000 ^ 0000000055555555 = 0000000000000000 (cc=0)
    662 x 0000000000000001 ^ 0000000055555555 = 0000000000000001 (cc=1)
    663 x 000000000000FFFF ^ 0000000055555555 = 000000000000FFFF (cc=1)
    664 x 0000000000007FFF ^ 0000000055555555 = 0000000000007FFF (cc=1)
    665 x 0000000000008000 ^ 0000000055555555 = 0000000000008000 (cc=1)
    666 x 00000000FFFFFFFF ^ 0000000055555555 = 00000000FFFFFFFF (cc=1)
    667 x 0000000080000000 ^ 0000000055555555 = 0000000080000000 (cc=1)
    668 x 000000007FFFFFFF ^ 0000000055555555 = 000000007FFFFFFF (cc=1)
    669 x AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAAAAAAAAA (cc=1)
    670 x 8000000000000000 ^ 0000000055555555 = 8000000000000000 (cc=0)
    671 x FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFFFFFFFFF (cc=1)
    672 x 5555555555555555 ^ 0000000055555555 = 5555555555555555 (cc=1)
    673 xg 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
    674 xg 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
    675 xg 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
    676 xg 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
    677 xg 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
    678 xg 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
    679 xg 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
    680 xg 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
    681 xg AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
    682 xg 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
    683 xg FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
    684 xg 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=1)
    685 xr 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
    686 xr 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
    687 xr 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
    688 xr 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
    689 xr 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
    690 xr 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
    691 xr 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
    692 xr 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
    693 xr AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
    694 xr 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
    695 xr FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
    696 xr 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=0)
    697 xgr 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
    698 xgr 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
    699 xgr 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
    700 xgr 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
    701 xgr 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
    702 xgr 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
    703 xgr 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
    704 xgr 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
    705 xgr AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
    706 xgr 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
    707 xgr FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
    708 xgr 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=1)
    709 xy 0000000000000000 ^ 0000000055555555 = 0000000000000000 (cc=0)
    710 xy 0000000000000001 ^ 0000000055555555 = 0000000000000001 (cc=1)
    711 xy 000000000000FFFF ^ 0000000055555555 = 000000000000FFFF (cc=1)
    712 xy 0000000000007FFF ^ 0000000055555555 = 0000000000007FFF (cc=1)
    713 xy 0000000000008000 ^ 0000000055555555 = 0000000000008000 (cc=1)
    714 xy 00000000FFFFFFFF ^ 0000000055555555 = 00000000FFFFFFFF (cc=1)
    715 xy 0000000080000000 ^ 0000000055555555 = 0000000080000000 (cc=1)
    716 xy 000000007FFFFFFF ^ 0000000055555555 = 000000007FFFFFFF (cc=1)
    717 xy AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAAAAAAAAA (cc=1)
    718 xy 8000000000000000 ^ 0000000055555555 = 8000000000000000 (cc=0)
    719 xy FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFFFFFFFFF (cc=1)
    720 xy 5555555555555555 ^ 0000000055555555 = 5555555555555555 (cc=1)
    721 x 0000000000000000 ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
    722 x 0000000000000001 ^ 00000000FFFFFFFF = 0000000000000001 (cc=1)
    723 x 000000000000FFFF ^ 00000000FFFFFFFF = 000000000000FFFF (cc=1)
    724 x 0000000000007FFF ^ 00000000FFFFFFFF = 0000000000007FFF (cc=1)
    725 x 0000000000008000 ^ 00000000FFFFFFFF = 0000000000008000 (cc=1)
    726 x 00000000FFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    727 x 0000000080000000 ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
    728 x 000000007FFFFFFF ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    729 x AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    730 x 8000000000000000 ^ 00000000FFFFFFFF = 8000000000000000 (cc=0)
    731 x FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    732 x 5555555555555555 ^ 00000000FFFFFFFF = 5555555555555555 (cc=1)
    733 xg 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    734 xg 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
    735 xg 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
    736 xg 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
    737 xg 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
    738 xg 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
    739 xg 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    740 xg 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
    741 xg AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
    742 xg 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
    743 xg FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
    744 xg 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
    745 xr 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    746 xr 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
    747 xr 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
    748 xr 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
    749 xr 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
    750 xr 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
    751 xr 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    752 xr 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
    753 xr AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
    754 xr 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
    755 xr FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
    756 xr 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
    757 xgr 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    758 xgr 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
    759 xgr 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
    760 xgr 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
    761 xgr 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
    762 xgr 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
    763 xgr 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    764 xgr 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
    765 xgr AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
    766 xgr 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
    767 xgr FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
    768 xgr 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
    769 xy 0000000000000000 ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
    770 xy 0000000000000001 ^ 00000000FFFFFFFF = 0000000000000001 (cc=1)
    771 xy 000000000000FFFF ^ 00000000FFFFFFFF = 000000000000FFFF (cc=1)
    772 xy 0000000000007FFF ^ 00000000FFFFFFFF = 0000000000007FFF (cc=1)
    773 xy 0000000000008000 ^ 00000000FFFFFFFF = 0000000000008000 (cc=1)
    774 xy 00000000FFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    775 xy 0000000080000000 ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
    776 xy 000000007FFFFFFF ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    777 xy AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    778 xy 8000000000000000 ^ 00000000FFFFFFFF = 8000000000000000 (cc=0)
    779 xy FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    780 xy 5555555555555555 ^ 00000000FFFFFFFF = 5555555555555555 (cc=1)
    781 x 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
    782 x 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
    783 x 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    784 x 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    785 x 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
    786 x 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
    787 x 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
    788 x 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
    789 x AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
    790 x 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
    791 x FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
    792 x 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
    793 xg 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    794 xg 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
    795 xg 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
    796 xg 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
    797 xg 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    798 xg 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
    799 xg 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
    800 xg 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
    801 xg AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
    802 xg 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
    803 xg FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
    804 xg 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
    805 xr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    806 xr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
    807 xr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
    808 xr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
    809 xr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    810 xr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
    811 xr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
    812 xr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
    813 xr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
    814 xr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
    815 xr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
    816 xr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
    817 xgr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    818 xgr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
    819 xgr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
    820 xgr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
    821 xgr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    822 xgr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
    823 xgr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
    824 xgr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
    825 xgr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
    826 xgr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
    827 xgr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
    828 xgr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
    829 xy 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
    830 xy 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
    831 xy 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    832 xy 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    833 xy 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
    834 xy 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
    835 xy 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
    836 xy 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
    837 xy AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
    838 xy 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
    839 xy FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
    840 xy 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
    841 x 0000000000000000 ^ 0000000000007FFF = 0000000000000000 (cc=0)
    842 x 0000000000000001 ^ 0000000000007FFF = 0000000000000001 (cc=1)
    843 x 000000000000FFFF ^ 0000000000007FFF = 000000000000FFFF (cc=1)
    844 x 0000000000007FFF ^ 0000000000007FFF = 0000000000007FFF (cc=1)
    845 x 0000000000008000 ^ 0000000000007FFF = 0000000000008000 (cc=1)
    846 x 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFFFFFF (cc=1)
    847 x 0000000080000000 ^ 0000000000007FFF = 0000000080000000 (cc=1)
    848 x 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFFFFFF (cc=1)
    849 x AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAAAAA (cc=1)
    850 x 8000000000000000 ^ 0000000000007FFF = 8000000000000000 (cc=0)
    851 x FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFFFFFF (cc=1)
    852 x 5555555555555555 ^ 0000000000007FFF = 5555555555555555 (cc=1)
    853 xg 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
    854 xg 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
    855 xg 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
    856 xg 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
    857 xg 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
    858 xg 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
    859 xg 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
    860 xg 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
    861 xg AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
    862 xg 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
    863 xg FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
    864 xg 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
    865 xr 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
    866 xr 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
    867 xr 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
    868 xr 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
    869 xr 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
    870 xr 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
    871 xr 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
    872 xr 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
    873 xr AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
    874 xr 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
    875 xr FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
    876 xr 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
    877 xgr 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
    878 xgr 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
    879 xgr 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
    880 xgr 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
    881 xgr 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
    882 xgr 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
    883 xgr 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
    884 xgr 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
    885 xgr AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
    886 xgr 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
    887 xgr FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
    888 xgr 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
    889 xy 0000000000000000 ^ 0000000000007FFF = 0000000000000000 (cc=0)
    890 xy 0000000000000001 ^ 0000000000007FFF = 0000000000000001 (cc=1)
    891 xy 000000000000FFFF ^ 0000000000007FFF = 000000000000FFFF (cc=1)
    892 xy 0000000000007FFF ^ 0000000000007FFF = 0000000000007FFF (cc=1)
    893 xy 0000000000008000 ^ 0000000000007FFF = 0000000000008000 (cc=1)
    894 xy 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFFFFFF (cc=1)
    895 xy 0000000080000000 ^ 0000000000007FFF = 0000000080000000 (cc=1)
    896 xy 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFFFFFF (cc=1)
    897 xy AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAAAAA (cc=1)
    898 xy 8000000000000000 ^ 0000000000007FFF = 8000000000000000 (cc=0)
    899 xy FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFFFFFF (cc=1)
    900 xy 5555555555555555 ^ 0000000000007FFF = 5555555555555555 (cc=1)
    901 x 0000000000000000 ^ 0000000000008000 = 0000000000000000 (cc=0)
    902 x 0000000000000001 ^ 0000000000008000 = 0000000000000001 (cc=1)
    903 x 000000000000FFFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
    904 x 0000000000007FFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
    905 x 0000000000008000 ^ 0000000000008000 = 0000000000008000 (cc=1)
    906 x 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFFFFFF (cc=1)
    907 x 0000000080000000 ^ 0000000000008000 = 0000000080000000 (cc=1)
    908 x 000000007FFFFFFF ^ 0000000000008000 = 000000007FFFFFFF (cc=1)
    909 x AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAAAAAA (cc=1)
    910 x 8000000000000000 ^ 0000000000008000 = 8000000000000000 (cc=0)
    911 x FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFFFFFF (cc=1)
    912 x 5555555555555555 ^ 0000000000008000 = 5555555555555555 (cc=1)
    913 xg 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
    914 xg 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
    915 xg 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
    916 xg 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
    917 xg 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
    918 xg 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
    919 xg 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
    920 xg 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
    921 xg AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
    922 xg 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
    923 xg FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
    924 xg 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
    925 xr 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
    926 xr 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
    927 xr 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
    928 xr 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
    929 xr 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
    930 xr 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
    931 xr 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
    932 xr 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
    933 xr AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
    934 xr 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
    935 xr FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
    936 xr 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
    937 xgr 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
    938 xgr 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
    939 xgr 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
    940 xgr 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
    941 xgr 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
    942 xgr 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
    943 xgr 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
    944 xgr 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
    945 xgr AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
    946 xgr 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
    947 xgr FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
    948 xgr 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
    949 xy 0000000000000000 ^ 0000000000008000 = 0000000000000000 (cc=0)
    950 xy 0000000000000001 ^ 0000000000008000 = 0000000000000001 (cc=1)
    951 xy 000000000000FFFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
    952 xy 0000000000007FFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
    953 xy 0000000000008000 ^ 0000000000008000 = 0000000000008000 (cc=1)
    954 xy 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFFFFFF (cc=1)
    955 xy 0000000080000000 ^ 0000000000008000 = 0000000080000000 (cc=1)
    956 xy 000000007FFFFFFF ^ 0000000000008000 = 000000007FFFFFFF (cc=1)
    957 xy AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAAAAAA (cc=1)
    958 xy 8000000000000000 ^ 0000000000008000 = 8000000000000000 (cc=0)
    959 xy FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFFFFFF (cc=1)
    960 xy 5555555555555555 ^ 0000000000008000 = 5555555555555555 (cc=1)
    961 x 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
    962 x 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
    963 x 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    964 x 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    965 x 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
    966 x 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
    967 x 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
    968 x 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
    969 x AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
    970 x 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
    971 x FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
    972 x 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
    973 xg 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    974 xg 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
    975 xg 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
    976 xg 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
    977 xg 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    978 xg 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
    979 xg 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
    980 xg 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
    981 xg AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
    982 xg 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
    983 xg FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
    984 xg 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
    985 xr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    986 xr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
    987 xr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
    988 xr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
    989 xr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
    990 xr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
    991 xr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
    992 xr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
    993 xr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
    994 xr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
    995 xr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
    996 xr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
    997 xgr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
    998 xgr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
    999 xgr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
   1000 xgr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
   1001 xgr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
   1002 xgr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
   1003 xgr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
   1004 xgr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
   1005 xgr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
   1006 xgr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
   1007 xgr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
   1008 xgr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
   1009 xy 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
   1010 xy 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
   1011 xy 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
   1012 xy 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
   1013 xy 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
   1014 xy 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
   1015 xy 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
   1016 xy 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
   1017 xy AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
   1018 xy 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
   1019 xy FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
   1020 xy 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
   1021 xi 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
   1022 xi 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
   1023 xi 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
   1024 xi 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
   1025 xi 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
   1026 xi 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
   1027 xi 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
   1028 xi 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
   1029 xi AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
   1030 xi 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
   1031 xi FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
   1032 xi 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
   1033 xi 0000000000000000 ^ 00000000000000FF = FF00000000000000 (cc=1)
   1034 xi 0000000000000001 ^ 00000000000000FF = FF00000000000001 (cc=1)
   1035 xi 000000000000FFFF ^ 00000000000000FF = FF0000000000FFFF (cc=1)
   1036 xi 0000000000007FFF ^ 00000000000000FF = FF00000000007FFF (cc=1)
   1037 xi 0000000000008000 ^ 00000000000000FF = FF00000000008000 (cc=1)
   1038 xi 00000000FFFFFFFF ^ 00000000000000FF = FF000000FFFFFFFF (cc=1)
   1039 xi 0000000080000000 ^ 00000000000000FF = FF00000080000000 (cc=1)
   1040 xi 000000007FFFFFFF ^ 00000000000000FF = FF0000007FFFFFFF (cc=1)
   1041 xi AAAAAAAAAAAAAAAA ^ 00000000000000FF = 55AAAAAAAAAAAAAA (cc=1)
   1042 xi 8000000000000000 ^ 00000000000000FF = 7F00000000000000 (cc=1)
   1043 xi FFFFFFFFFFFFFFFF ^ 00000000000000FF = 00FFFFFFFFFFFFFF (cc=0)
   1044 xi 5555555555555555 ^ 00000000000000FF = AA55555555555555 (cc=1)
   1045 xi 0000000000000000 ^ 0000000000000080 = 8000000000000000 (cc=1)
   1046 xi 0000000000000001 ^ 0000000000000080 = 8000000000000001 (cc=1)
   1047 xi 000000000000FFFF ^ 0000000000000080 = 800000000000FFFF (cc=1)
   1048 xi 0000000000007FFF ^ 0000000000000080 = 8000000000007FFF (cc=1)
   1049 xi 0000000000008000 ^ 0000000000000080 = 8000000000008000 (cc=1)
   1050 xi 00000000FFFFFFFF ^ 0000000000000080 = 80000000FFFFFFFF (cc=1)
   1051 xi 0000000080000000 ^ 0000000000000080 = 8000000080000000 (cc=1)
   1052 xi 000000007FFFFFFF ^ 0000000000000080 = 800000007FFFFFFF (cc=1)
   1053 xi AAAAAAAAAAAAAAAA ^ 0000000000000080 = 2AAAAAAAAAAAAAAA (cc=1)
   1054 xi 8000000000000000 ^ 0000000000000080 = 0000000000000000 (cc=0)
   1055 xi FFFFFFFFFFFFFFFF ^ 0000000000000080 = 7FFFFFFFFFFFFFFF (cc=1)
   1056 xi 5555555555555555 ^ 0000000000000080 = D555555555555555 (cc=1)
   1057 xi 0000000000000000 ^ 00000000000000AA = AA00000000000000 (cc=1)
   1058 xi 0000000000000001 ^ 00000000000000AA = AA00000000000001 (cc=1)
   1059 xi 000000000000FFFF ^ 00000000000000AA = AA0000000000FFFF (cc=1)
   1060 xi 0000000000007FFF ^ 00000000000000AA = AA00000000007FFF (cc=1)
   1061 xi 0000000000008000 ^ 00000000000000AA = AA00000000008000 (cc=1)
   1062 xi 00000000FFFFFFFF ^ 00000000000000AA = AA000000FFFFFFFF (cc=1)
   1063 xi 0000000080000000 ^ 00000000000000AA = AA00000080000000 (cc=1)
   1064 xi 000000007FFFFFFF ^ 00000000000000AA = AA0000007FFFFFFF (cc=1)
   1065 xi AAAAAAAAAAAAAAAA ^ 00000000000000AA = 00AAAAAAAAAAAAAA (cc=0)
   1066 xi 8000000000000000 ^ 00000000000000AA = 2A00000000000000 (cc=1)
   1067 xi FFFFFFFFFFFFFFFF ^ 00000000000000AA = 55FFFFFFFFFFFFFF (cc=1)
   1068 xi 5555555555555555 ^ 00000000000000AA = FF55555555555555 (cc=1)
   1069 xi 0000000000000000 ^ 0000000000000055 = 5500000000000000 (cc=1)
   1070 xi 0000000000000001 ^ 0000000000000055 = 5500000000000001 (cc=1)
   1071 xi 000000000000FFFF ^ 0000000000000055 = 550000000000FFFF (cc=1)
   1072 xi 0000000000007FFF ^ 0000000000000055 = 5500000000007FFF (cc=1)
   1073 xi 0000000000008000 ^ 0000000000000055 = 5500000000008000 (cc=1)
   1074 xi 00000000FFFFFFFF ^ 0000000000000055 = 55000000FFFFFFFF (cc=1)
   1075 xi 0000000080000000 ^ 0000000000000055 = 5500000080000000 (cc=1)
   1076 xi 000000007FFFFFFF ^ 0000000000000055 = 550000007FFFFFFF (cc=1)
   1077 xi AAAAAAAAAAAAAAAA ^ 0000000000000055 = FFAAAAAAAAAAAAAA (cc=1)
   1078 xi 8000000000000000 ^ 0000000000000055 = D500000000000000 (cc=1)
   1079 xi FFFFFFFFFFFFFFFF ^ 0000000000000055 = AAFFFFFFFFFFFFFF (cc=1)
   1080 xi 5555555555555555 ^ 0000000000000055 = 0055555555555555 (cc=0)
   1081 xiy 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
   1082 xiy 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
   1083 xiy 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
   1084 xiy 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
   1085 xiy 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
   1086 xiy 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
   1087 xiy 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
   1088 xiy 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
   1089 xiy AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
   1090 xiy 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
   1091 xiy FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
   1092 xiy 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
   1093 xiy 0000000000000000 ^ 00000000000000FF = FF00000000000000 (cc=1)
   1094 xiy 0000000000000001 ^ 00000000000000FF = FF00000000000001 (cc=1)
   1095 xiy 000000000000FFFF ^ 00000000000000FF = FF0000000000FFFF (cc=1)
   1096 xiy 0000000000007FFF ^ 00000000000000FF = FF00000000007FFF (cc=1)
   1097 xiy 0000000000008000 ^ 00000000000000FF = FF00000000008000 (cc=1)
   1098 xiy 00000000FFFFFFFF ^ 00000000000000FF = FF000000FFFFFFFF (cc=1)
   1099 xiy 0000000080000000 ^ 00000000000000FF = FF00000080000000 (cc=1)
   1100 xiy 000000007FFFFFFF ^ 00000000000000FF = FF0000007FFFFFFF (cc=1)
   1101 xiy AAAAAAAAAAAAAAAA ^ 00000000000000FF = 55AAAAAAAAAAAAAA (cc=1)
   1102 xiy 8000000000000000 ^ 00000000000000FF = 7F00000000000000 (cc=1)
   1103 xiy FFFFFFFFFFFFFFFF ^ 00000000000000FF = 00FFFFFFFFFFFFFF (cc=0)
   1104 xiy 5555555555555555 ^ 00000000000000FF = AA55555555555555 (cc=1)
   1105 xiy 0000000000000000 ^ 0000000000000080 = 8000000000000000 (cc=1)
   1106 xiy 0000000000000001 ^ 0000000000000080 = 8000000000000001 (cc=1)
   1107 xiy 000000000000FFFF ^ 0000000000000080 = 800000000000FFFF (cc=1)
   1108 xiy 0000000000007FFF ^ 0000000000000080 = 8000000000007FFF (cc=1)
   1109 xiy 0000000000008000 ^ 0000000000000080 = 8000000000008000 (cc=1)
   1110 xiy 00000000FFFFFFFF ^ 0000000000000080 = 80000000FFFFFFFF (cc=1)
   1111 xiy 0000000080000000 ^ 0000000000000080 = 8000000080000000 (cc=1)
   1112 xiy 000000007FFFFFFF ^ 0000000000000080 = 800000007FFFFFFF (cc=1)
   1113 xiy AAAAAAAAAAAAAAAA ^ 0000000000000080 = 2AAAAAAAAAAAAAAA (cc=1)
   1114 xiy 8000000000000000 ^ 0000000000000080 = 0000000000000000 (cc=0)
   1115 xiy FFFFFFFFFFFFFFFF ^ 0000000000000080 = 7FFFFFFFFFFFFFFF (cc=1)
   1116 xiy 5555555555555555 ^ 0000000000000080 = D555555555555555 (cc=1)
   1117 xiy 0000000000000000 ^ 00000000000000AA = AA00000000000000 (cc=1)
   1118 xiy 0000000000000001 ^ 00000000000000AA = AA00000000000001 (cc=1)
   1119 xiy 000000000000FFFF ^ 00000000000000AA = AA0000000000FFFF (cc=1)
   1120 xiy 0000000000007FFF ^ 00000000000000AA = AA00000000007FFF (cc=1)
   1121 xiy 0000000000008000 ^ 00000000000000AA = AA00000000008000 (cc=1)
   1122 xiy 00000000FFFFFFFF ^ 00000000000000AA = AA000000FFFFFFFF (cc=1)
   1123 xiy 0000000080000000 ^ 00000000000000AA = AA00000080000000 (cc=1)
   1124 xiy 000000007FFFFFFF ^ 00000000000000AA = AA0000007FFFFFFF (cc=1)
   1125 xiy AAAAAAAAAAAAAAAA ^ 00000000000000AA = 00AAAAAAAAAAAAAA (cc=0)
   1126 xiy 8000000000000000 ^ 00000000000000AA = 2A00000000000000 (cc=1)
   1127 xiy FFFFFFFFFFFFFFFF ^ 00000000000000AA = 55FFFFFFFFFFFFFF (cc=1)
   1128 xiy 5555555555555555 ^ 00000000000000AA = FF55555555555555 (cc=1)
   1129 xiy 0000000000000000 ^ 0000000000000055 = 5500000000000000 (cc=1)
   1130 xiy 0000000000000001 ^ 0000000000000055 = 5500000000000001 (cc=1)
   1131 xiy 000000000000FFFF ^ 0000000000000055 = 550000000000FFFF (cc=1)
   1132 xiy 0000000000007FFF ^ 0000000000000055 = 5500000000007FFF (cc=1)
   1133 xiy 0000000000008000 ^ 0000000000000055 = 5500000000008000 (cc=1)
   1134 xiy 00000000FFFFFFFF ^ 0000000000000055 = 55000000FFFFFFFF (cc=1)
   1135 xiy 0000000080000000 ^ 0000000000000055 = 5500000080000000 (cc=1)
   1136 xiy 000000007FFFFFFF ^ 0000000000000055 = 550000007FFFFFFF (cc=1)
   1137 xiy AAAAAAAAAAAAAAAA ^ 0000000000000055 = FFAAAAAAAAAAAAAA (cc=1)
   1138 xiy 8000000000000000 ^ 0000000000000055 = D500000000000000 (cc=1)
   1139 xiy FFFFFFFFFFFFFFFF ^ 0000000000000055 = AAFFFFFFFFFFFFFF (cc=1)
   1140 xiy 5555555555555555 ^ 0000000000000055 = 0055555555555555 (cc=0)
   1141