Home | History | Annotate | Download | only in s390x 
      1 n + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
      2 n + 0000000000000001 & 0000000000000000 = 0000000000000000 (cc=0)
      3 n + 000000000000FFFF & 0000000000000000 = 0000000000000000 (cc=0)
      4 n + 0000000000007FFF & 0000000000000000 = 0000000000000000 (cc=0)
      5 n + 0000000000008000 & 0000000000000000 = 0000000000000000 (cc=0)
      6 n + 00000000FFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
      7 n + 0000000080000000 & 0000000000000000 = 0000000000000000 (cc=0)
      8 n + 000000007FFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
      9 n + AAAAAAAAAAAAAAAA & 0000000000000000 = AAAAAAAA00000000 (cc=0)
     10 n + 8000000000000000 & 0000000000000000 = 8000000000000000 (cc=0)
     11 n + FFFFFFFFFFFFFFFF & 0000000000000000 = FFFFFFFF00000000 (cc=0)
     12 n + 5555555555555555 & 0000000000000000 = 5555555500000000 (cc=0)
     13 ng + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
     14 ng + 0000000000000001 & 0000000000000000 = 0000000000000000 (cc=0)
     15 ng + 000000000000FFFF & 0000000000000000 = 0000000000000000 (cc=0)
     16 ng + 0000000000007FFF & 0000000000000000 = 0000000000000000 (cc=0)
     17 ng + 0000000000008000 & 0000000000000000 = 0000000000000000 (cc=0)
     18 ng + 00000000FFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     19 ng + 0000000080000000 & 0000000000000000 = 0000000000000000 (cc=0)
     20 ng + 000000007FFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     21 ng + AAAAAAAAAAAAAAAA & 0000000000000000 = 0000000000000000 (cc=0)
     22 ng + 8000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
     23 ng + FFFFFFFFFFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     24 ng + 5555555555555555 & 0000000000000000 = 0000000000000000 (cc=0)
     25 nr + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
     26 nr + 0000000000000001 & 0000000000000000 = 0000000000000000 (cc=0)
     27 nr + 000000000000FFFF & 0000000000000000 = 0000000000000000 (cc=0)
     28 nr + 0000000000007FFF & 0000000000000000 = 0000000000000000 (cc=0)
     29 nr + 0000000000008000 & 0000000000000000 = 0000000000000000 (cc=0)
     30 nr + 00000000FFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     31 nr + 0000000080000000 & 0000000000000000 = 0000000000000000 (cc=0)
     32 nr + 000000007FFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     33 nr + AAAAAAAAAAAAAAAA & 0000000000000000 = AAAAAAAA00000000 (cc=0)
     34 nr + 8000000000000000 & 0000000000000000 = 8000000000000000 (cc=0)
     35 nr + FFFFFFFFFFFFFFFF & 0000000000000000 = FFFFFFFF00000000 (cc=0)
     36 nr + 5555555555555555 & 0000000000000000 = 5555555500000000 (cc=0)
     37 ngr + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
     38 ngr + 0000000000000001 & 0000000000000000 = 0000000000000000 (cc=0)
     39 ngr + 000000000000FFFF & 0000000000000000 = 0000000000000000 (cc=0)
     40 ngr + 0000000000007FFF & 0000000000000000 = 0000000000000000 (cc=0)
     41 ngr + 0000000000008000 & 0000000000000000 = 0000000000000000 (cc=0)
     42 ngr + 00000000FFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     43 ngr + 0000000080000000 & 0000000000000000 = 0000000000000000 (cc=0)
     44 ngr + 000000007FFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     45 ngr + AAAAAAAAAAAAAAAA & 0000000000000000 = 0000000000000000 (cc=0)
     46 ngr + 8000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
     47 ngr + FFFFFFFFFFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     48 ngr + 5555555555555555 & 0000000000000000 = 0000000000000000 (cc=0)
     49 ny + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
     50 ny + 0000000000000001 & 0000000000000000 = 0000000000000000 (cc=0)
     51 ny + 000000000000FFFF & 0000000000000000 = 0000000000000000 (cc=0)
     52 ny + 0000000000007FFF & 0000000000000000 = 0000000000000000 (cc=0)
     53 ny + 0000000000008000 & 0000000000000000 = 0000000000000000 (cc=0)
     54 ny + 00000000FFFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     55 ny + 0000000080000000 & 0000000000000000 = 0000000000000000 (cc=0)
     56 ny + 000000007FFFFFFF & 0000000000000000 = 0000000000000000 (cc=0)
     57 ny + AAAAAAAAAAAAAAAA & 0000000000000000 = AAAAAAAA00000000 (cc=0)
     58 ny + 8000000000000000 & 0000000000000000 = 8000000000000000 (cc=0)
     59 ny + FFFFFFFFFFFFFFFF & 0000000000000000 = FFFFFFFF00000000 (cc=0)
     60 ny + 5555555555555555 & 0000000000000000 = 5555555500000000 (cc=0)
     61 n + 0000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
     62 n + 0000000000000001 & 5555555555555555 = 0000000000000001 (cc=1)
     63 n + 000000000000FFFF & 5555555555555555 = 0000000000005555 (cc=1)
     64 n + 0000000000007FFF & 5555555555555555 = 0000000000005555 (cc=1)
     65 n + 0000000000008000 & 5555555555555555 = 0000000000000000 (cc=0)
     66 n + 00000000FFFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
     67 n + 0000000080000000 & 5555555555555555 = 0000000000000000 (cc=0)
     68 n + 000000007FFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
     69 n + AAAAAAAAAAAAAAAA & 5555555555555555 = AAAAAAAA00000000 (cc=0)
     70 n + 8000000000000000 & 5555555555555555 = 8000000000000000 (cc=0)
     71 n + FFFFFFFFFFFFFFFF & 5555555555555555 = FFFFFFFF55555555 (cc=1)
     72 n + 5555555555555555 & 5555555555555555 = 5555555555555555 (cc=1)
     73 ng + 0000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
     74 ng + 0000000000000001 & 5555555555555555 = 0000000000000001 (cc=1)
     75 ng + 000000000000FFFF & 5555555555555555 = 0000000000005555 (cc=1)
     76 ng + 0000000000007FFF & 5555555555555555 = 0000000000005555 (cc=1)
     77 ng + 0000000000008000 & 5555555555555555 = 0000000000000000 (cc=0)
     78 ng + 00000000FFFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
     79 ng + 0000000080000000 & 5555555555555555 = 0000000000000000 (cc=0)
     80 ng + 000000007FFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
     81 ng + AAAAAAAAAAAAAAAA & 5555555555555555 = 0000000000000000 (cc=0)
     82 ng + 8000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
     83 ng + FFFFFFFFFFFFFFFF & 5555555555555555 = 5555555555555555 (cc=1)
     84 ng + 5555555555555555 & 5555555555555555 = 5555555555555555 (cc=1)
     85 nr + 0000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
     86 nr + 0000000000000001 & 5555555555555555 = 0000000000000001 (cc=1)
     87 nr + 000000000000FFFF & 5555555555555555 = 0000000000005555 (cc=1)
     88 nr + 0000000000007FFF & 5555555555555555 = 0000000000005555 (cc=1)
     89 nr + 0000000000008000 & 5555555555555555 = 0000000000000000 (cc=0)
     90 nr + 00000000FFFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
     91 nr + 0000000080000000 & 5555555555555555 = 0000000000000000 (cc=0)
     92 nr + 000000007FFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
     93 nr + AAAAAAAAAAAAAAAA & 5555555555555555 = AAAAAAAA00000000 (cc=0)
     94 nr + 8000000000000000 & 5555555555555555 = 8000000000000000 (cc=0)
     95 nr + FFFFFFFFFFFFFFFF & 5555555555555555 = FFFFFFFF55555555 (cc=1)
     96 nr + 5555555555555555 & 5555555555555555 = 5555555555555555 (cc=1)
     97 ngr + 0000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
     98 ngr + 0000000000000001 & 5555555555555555 = 0000000000000001 (cc=1)
     99 ngr + 000000000000FFFF & 5555555555555555 = 0000000000005555 (cc=1)
    100 ngr + 0000000000007FFF & 5555555555555555 = 0000000000005555 (cc=1)
    101 ngr + 0000000000008000 & 5555555555555555 = 0000000000000000 (cc=0)
    102 ngr + 00000000FFFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
    103 ngr + 0000000080000000 & 5555555555555555 = 0000000000000000 (cc=0)
    104 ngr + 000000007FFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
    105 ngr + AAAAAAAAAAAAAAAA & 5555555555555555 = 0000000000000000 (cc=0)
    106 ngr + 8000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
    107 ngr + FFFFFFFFFFFFFFFF & 5555555555555555 = 5555555555555555 (cc=1)
    108 ngr + 5555555555555555 & 5555555555555555 = 5555555555555555 (cc=1)
    109 ny + 0000000000000000 & 5555555555555555 = 0000000000000000 (cc=0)
    110 ny + 0000000000000001 & 5555555555555555 = 0000000000000001 (cc=1)
    111 ny + 000000000000FFFF & 5555555555555555 = 0000000000005555 (cc=1)
    112 ny + 0000000000007FFF & 5555555555555555 = 0000000000005555 (cc=1)
    113 ny + 0000000000008000 & 5555555555555555 = 0000000000000000 (cc=0)
    114 ny + 00000000FFFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
    115 ny + 0000000080000000 & 5555555555555555 = 0000000000000000 (cc=0)
    116 ny + 000000007FFFFFFF & 5555555555555555 = 0000000055555555 (cc=1)
    117 ny + AAAAAAAAAAAAAAAA & 5555555555555555 = AAAAAAAA00000000 (cc=0)
    118 ny + 8000000000000000 & 5555555555555555 = 8000000000000000 (cc=0)
    119 ny + FFFFFFFFFFFFFFFF & 5555555555555555 = FFFFFFFF55555555 (cc=1)
    120 ny + 5555555555555555 & 5555555555555555 = 5555555555555555 (cc=1)
    121 n + 0000000000000000 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    122 n + 0000000000000001 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    123 n + 000000000000FFFF & AAAAAAAAAAAAAAAA = 000000000000AAAA (cc=1)
    124 n + 0000000000007FFF & AAAAAAAAAAAAAAAA = 0000000000002AAA (cc=1)
    125 n + 0000000000008000 & AAAAAAAAAAAAAAAA = 0000000000008000 (cc=1)
    126 n + 00000000FFFFFFFF & AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    127 n + 0000000080000000 & AAAAAAAAAAAAAAAA = 0000000080000000 (cc=1)
    128 n + 000000007FFFFFFF & AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    129 n + AAAAAAAAAAAAAAAA & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    130 n + 8000000000000000 & AAAAAAAAAAAAAAAA = 8000000000000000 (cc=0)
    131 n + FFFFFFFFFFFFFFFF & AAAAAAAAAAAAAAAA = FFFFFFFFAAAAAAAA (cc=1)
    132 n + 5555555555555555 & AAAAAAAAAAAAAAAA = 5555555500000000 (cc=0)
    133 ng + 0000000000000000 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    134 ng + 0000000000000001 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    135 ng + 000000000000FFFF & AAAAAAAAAAAAAAAA = 000000000000AAAA (cc=1)
    136 ng + 0000000000007FFF & AAAAAAAAAAAAAAAA = 0000000000002AAA (cc=1)
    137 ng + 0000000000008000 & AAAAAAAAAAAAAAAA = 0000000000008000 (cc=1)
    138 ng + 00000000FFFFFFFF & AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    139 ng + 0000000080000000 & AAAAAAAAAAAAAAAA = 0000000080000000 (cc=1)
    140 ng + 000000007FFFFFFF & AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    141 ng + AAAAAAAAAAAAAAAA & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    142 ng + 8000000000000000 & AAAAAAAAAAAAAAAA = 8000000000000000 (cc=1)
    143 ng + FFFFFFFFFFFFFFFF & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    144 ng + 5555555555555555 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    145 nr + 0000000000000000 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    146 nr + 0000000000000001 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    147 nr + 000000000000FFFF & AAAAAAAAAAAAAAAA = 000000000000AAAA (cc=1)
    148 nr + 0000000000007FFF & AAAAAAAAAAAAAAAA = 0000000000002AAA (cc=1)
    149 nr + 0000000000008000 & AAAAAAAAAAAAAAAA = 0000000000008000 (cc=1)
    150 nr + 00000000FFFFFFFF & AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    151 nr + 0000000080000000 & AAAAAAAAAAAAAAAA = 0000000080000000 (cc=1)
    152 nr + 000000007FFFFFFF & AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    153 nr + AAAAAAAAAAAAAAAA & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    154 nr + 8000000000000000 & AAAAAAAAAAAAAAAA = 8000000000000000 (cc=0)
    155 nr + FFFFFFFFFFFFFFFF & AAAAAAAAAAAAAAAA = FFFFFFFFAAAAAAAA (cc=1)
    156 nr + 5555555555555555 & AAAAAAAAAAAAAAAA = 5555555500000000 (cc=0)
    157 ngr + 0000000000000000 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    158 ngr + 0000000000000001 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    159 ngr + 000000000000FFFF & AAAAAAAAAAAAAAAA = 000000000000AAAA (cc=1)
    160 ngr + 0000000000007FFF & AAAAAAAAAAAAAAAA = 0000000000002AAA (cc=1)
    161 ngr + 0000000000008000 & AAAAAAAAAAAAAAAA = 0000000000008000 (cc=1)
    162 ngr + 00000000FFFFFFFF & AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    163 ngr + 0000000080000000 & AAAAAAAAAAAAAAAA = 0000000080000000 (cc=1)
    164 ngr + 000000007FFFFFFF & AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    165 ngr + AAAAAAAAAAAAAAAA & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    166 ngr + 8000000000000000 & AAAAAAAAAAAAAAAA = 8000000000000000 (cc=1)
    167 ngr + FFFFFFFFFFFFFFFF & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    168 ngr + 5555555555555555 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    169 ny + 0000000000000000 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    170 ny + 0000000000000001 & AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
    171 ny + 000000000000FFFF & AAAAAAAAAAAAAAAA = 000000000000AAAA (cc=1)
    172 ny + 0000000000007FFF & AAAAAAAAAAAAAAAA = 0000000000002AAA (cc=1)
    173 ny + 0000000000008000 & AAAAAAAAAAAAAAAA = 0000000000008000 (cc=1)
    174 ny + 00000000FFFFFFFF & AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
    175 ny + 0000000080000000 & AAAAAAAAAAAAAAAA = 0000000080000000 (cc=1)
    176 ny + 000000007FFFFFFF & AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
    177 ny + AAAAAAAAAAAAAAAA & AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
    178 ny + 8000000000000000 & AAAAAAAAAAAAAAAA = 8000000000000000 (cc=0)
    179 ny + FFFFFFFFFFFFFFFF & AAAAAAAAAAAAAAAA = FFFFFFFFAAAAAAAA (cc=1)
    180 ny + 5555555555555555 & AAAAAAAAAAAAAAAA = 5555555500000000 (cc=0)
    181 n + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    182 n + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    183 n + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    184 n + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    185 n + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    186 n + 00000000FFFFFFFF & 8000000000000000 = 0000000080000000 (cc=1)
    187 n + 0000000080000000 & 8000000000000000 = 0000000080000000 (cc=1)
    188 n + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    189 n + AAAAAAAAAAAAAAAA & 8000000000000000 = AAAAAAAA80000000 (cc=1)
    190 n + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=0)
    191 n + FFFFFFFFFFFFFFFF & 8000000000000000 = FFFFFFFF80000000 (cc=1)
    192 n + 5555555555555555 & 8000000000000000 = 5555555500000000 (cc=0)
    193 ng + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    194 ng + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    195 ng + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    196 ng + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    197 ng + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    198 ng + 00000000FFFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    199 ng + 0000000080000000 & 8000000000000000 = 0000000000000000 (cc=0)
    200 ng + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    201 ng + AAAAAAAAAAAAAAAA & 8000000000000000 = 8000000000000000 (cc=1)
    202 ng + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=1)
    203 ng + FFFFFFFFFFFFFFFF & 8000000000000000 = 8000000000000000 (cc=1)
    204 ng + 5555555555555555 & 8000000000000000 = 0000000000000000 (cc=0)
    205 nr + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    206 nr + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    207 nr + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    208 nr + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    209 nr + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    210 nr + 00000000FFFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    211 nr + 0000000080000000 & 8000000000000000 = 0000000000000000 (cc=0)
    212 nr + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    213 nr + AAAAAAAAAAAAAAAA & 8000000000000000 = AAAAAAAA00000000 (cc=0)
    214 nr + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=0)
    215 nr + FFFFFFFFFFFFFFFF & 8000000000000000 = FFFFFFFF00000000 (cc=0)
    216 nr + 5555555555555555 & 8000000000000000 = 5555555500000000 (cc=0)
    217 ngr + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    218 ngr + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    219 ngr + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    220 ngr + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    221 ngr + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    222 ngr + 00000000FFFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    223 ngr + 0000000080000000 & 8000000000000000 = 0000000000000000 (cc=0)
    224 ngr + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    225 ngr + AAAAAAAAAAAAAAAA & 8000000000000000 = 8000000000000000 (cc=1)
    226 ngr + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=1)
    227 ngr + FFFFFFFFFFFFFFFF & 8000000000000000 = 8000000000000000 (cc=1)
    228 ngr + 5555555555555555 & 8000000000000000 = 0000000000000000 (cc=0)
    229 ny + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    230 ny + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    231 ny + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    232 ny + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    233 ny + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    234 ny + 00000000FFFFFFFF & 8000000000000000 = 0000000080000000 (cc=1)
    235 ny + 0000000080000000 & 8000000000000000 = 0000000080000000 (cc=1)
    236 ny + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    237 ny + AAAAAAAAAAAAAAAA & 8000000000000000 = AAAAAAAA80000000 (cc=1)
    238 ny + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=0)
    239 ny + FFFFFFFFFFFFFFFF & 8000000000000000 = FFFFFFFF80000000 (cc=1)
    240 ny + 5555555555555555 & 8000000000000000 = 5555555500000000 (cc=0)
    241 n + 0000000000000000 & FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    242 n + 0000000000000001 & FFFFFFFFFFFFFFFF = 0000000000000001 (cc=1)
    243 n + 000000000000FFFF & FFFFFFFFFFFFFFFF = 000000000000FFFF (cc=1)
    244 n + 0000000000007FFF & FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=1)
    245 n + 0000000000008000 & FFFFFFFFFFFFFFFF = 0000000000008000 (cc=1)
    246 n + 00000000FFFFFFFF & FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    247 n + 0000000080000000 & FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    248 n + 000000007FFFFFFF & FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    249 n + AAAAAAAAAAAAAAAA & FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    250 n + 8000000000000000 & FFFFFFFFFFFFFFFF = 8000000000000000 (cc=0)
    251 n + FFFFFFFFFFFFFFFF & FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    252 n + 5555555555555555 & FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    253 ng + 0000000000000000 & FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    254 ng + 0000000000000001 & FFFFFFFFFFFFFFFF = 0000000000000001 (cc=1)
    255 ng + 000000000000FFFF & FFFFFFFFFFFFFFFF = 000000000000FFFF (cc=1)
    256 ng + 0000000000007FFF & FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=1)
    257 ng + 0000000000008000 & FFFFFFFFFFFFFFFF = 0000000000008000 (cc=1)
    258 ng + 00000000FFFFFFFF & FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    259 ng + 0000000080000000 & FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    260 ng + 000000007FFFFFFF & FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    261 ng + AAAAAAAAAAAAAAAA & FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    262 ng + 8000000000000000 & FFFFFFFFFFFFFFFF = 8000000000000000 (cc=1)
    263 ng + FFFFFFFFFFFFFFFF & FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    264 ng + 5555555555555555 & FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    265 nr + 0000000000000000 & FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    266 nr + 0000000000000001 & FFFFFFFFFFFFFFFF = 0000000000000001 (cc=1)
    267 nr + 000000000000FFFF & FFFFFFFFFFFFFFFF = 000000000000FFFF (cc=1)
    268 nr + 0000000000007FFF & FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=1)
    269 nr + 0000000000008000 & FFFFFFFFFFFFFFFF = 0000000000008000 (cc=1)
    270 nr + 00000000FFFFFFFF & FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    271 nr + 0000000080000000 & FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    272 nr + 000000007FFFFFFF & FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    273 nr + AAAAAAAAAAAAAAAA & FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    274 nr + 8000000000000000 & FFFFFFFFFFFFFFFF = 8000000000000000 (cc=0)
    275 nr + FFFFFFFFFFFFFFFF & FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    276 nr + 5555555555555555 & FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    277 ngr + 0000000000000000 & FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    278 ngr + 0000000000000001 & FFFFFFFFFFFFFFFF = 0000000000000001 (cc=1)
    279 ngr + 000000000000FFFF & FFFFFFFFFFFFFFFF = 000000000000FFFF (cc=1)
    280 ngr + 0000000000007FFF & FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=1)
    281 ngr + 0000000000008000 & FFFFFFFFFFFFFFFF = 0000000000008000 (cc=1)
    282 ngr + 00000000FFFFFFFF & FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    283 ngr + 0000000080000000 & FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    284 ngr + 000000007FFFFFFF & FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    285 ngr + AAAAAAAAAAAAAAAA & FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    286 ngr + 8000000000000000 & FFFFFFFFFFFFFFFF = 8000000000000000 (cc=1)
    287 ngr + FFFFFFFFFFFFFFFF & FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    288 ngr + 5555555555555555 & FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    289 ny + 0000000000000000 & FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
    290 ny + 0000000000000001 & FFFFFFFFFFFFFFFF = 0000000000000001 (cc=1)
    291 ny + 000000000000FFFF & FFFFFFFFFFFFFFFF = 000000000000FFFF (cc=1)
    292 ny + 0000000000007FFF & FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=1)
    293 ny + 0000000000008000 & FFFFFFFFFFFFFFFF = 0000000000008000 (cc=1)
    294 ny + 00000000FFFFFFFF & FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
    295 ny + 0000000080000000 & FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
    296 ny + 000000007FFFFFFF & FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
    297 ny + AAAAAAAAAAAAAAAA & FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    298 ny + 8000000000000000 & FFFFFFFFFFFFFFFF = 8000000000000000 (cc=0)
    299 ny + FFFFFFFFFFFFFFFF & FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    300 ny + 5555555555555555 & FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
    301 n + 0000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    302 n + 0000000000000001 & 7FFFFFFF00000000 = 0000000000000001 (cc=1)
    303 n + 000000000000FFFF & 7FFFFFFF00000000 = 000000000000FFFF (cc=1)
    304 n + 0000000000007FFF & 7FFFFFFF00000000 = 0000000000007FFF (cc=1)
    305 n + 0000000000008000 & 7FFFFFFF00000000 = 0000000000008000 (cc=1)
    306 n + 00000000FFFFFFFF & 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    307 n + 0000000080000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    308 n + 000000007FFFFFFF & 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    309 n + AAAAAAAAAAAAAAAA & 7FFFFFFF00000000 = AAAAAAAA2AAAAAAA (cc=1)
    310 n + 8000000000000000 & 7FFFFFFF00000000 = 8000000000000000 (cc=0)
    311 n + FFFFFFFFFFFFFFFF & 7FFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
    312 n + 5555555555555555 & 7FFFFFFF00000000 = 5555555555555555 (cc=1)
    313 ng + 0000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    314 ng + 0000000000000001 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    315 ng + 000000000000FFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    316 ng + 0000000000007FFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    317 ng + 0000000000008000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    318 ng + 00000000FFFFFFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    319 ng + 0000000080000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    320 ng + 000000007FFFFFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    321 ng + AAAAAAAAAAAAAAAA & 7FFFFFFF00000000 = 2AAAAAAA00000000 (cc=1)
    322 ng + 8000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    323 ng + FFFFFFFFFFFFFFFF & 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
    324 ng + 5555555555555555 & 7FFFFFFF00000000 = 5555555500000000 (cc=1)
    325 nr + 0000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    326 nr + 0000000000000001 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    327 nr + 000000000000FFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    328 nr + 0000000000007FFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    329 nr + 0000000000008000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    330 nr + 00000000FFFFFFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    331 nr + 0000000080000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    332 nr + 000000007FFFFFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    333 nr + AAAAAAAAAAAAAAAA & 7FFFFFFF00000000 = AAAAAAAA00000000 (cc=0)
    334 nr + 8000000000000000 & 7FFFFFFF00000000 = 8000000000000000 (cc=0)
    335 nr + FFFFFFFFFFFFFFFF & 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
    336 nr + 5555555555555555 & 7FFFFFFF00000000 = 5555555500000000 (cc=0)
    337 ngr + 0000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    338 ngr + 0000000000000001 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    339 ngr + 000000000000FFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    340 ngr + 0000000000007FFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    341 ngr + 0000000000008000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    342 ngr + 00000000FFFFFFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    343 ngr + 0000000080000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    344 ngr + 000000007FFFFFFF & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    345 ngr + AAAAAAAAAAAAAAAA & 7FFFFFFF00000000 = 2AAAAAAA00000000 (cc=1)
    346 ngr + 8000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    347 ngr + FFFFFFFFFFFFFFFF & 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
    348 ngr + 5555555555555555 & 7FFFFFFF00000000 = 5555555500000000 (cc=1)
    349 ny + 0000000000000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    350 ny + 0000000000000001 & 7FFFFFFF00000000 = 0000000000000001 (cc=1)
    351 ny + 000000000000FFFF & 7FFFFFFF00000000 = 000000000000FFFF (cc=1)
    352 ny + 0000000000007FFF & 7FFFFFFF00000000 = 0000000000007FFF (cc=1)
    353 ny + 0000000000008000 & 7FFFFFFF00000000 = 0000000000008000 (cc=1)
    354 ny + 00000000FFFFFFFF & 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    355 ny + 0000000080000000 & 7FFFFFFF00000000 = 0000000000000000 (cc=0)
    356 ny + 000000007FFFFFFF & 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    357 ny + AAAAAAAAAAAAAAAA & 7FFFFFFF00000000 = AAAAAAAA2AAAAAAA (cc=1)
    358 ny + 8000000000000000 & 7FFFFFFF00000000 = 8000000000000000 (cc=0)
    359 ny + FFFFFFFFFFFFFFFF & 7FFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
    360 ny + 5555555555555555 & 7FFFFFFF00000000 = 5555555555555555 (cc=1)
    361 n + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    362 n + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    363 n + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    364 n + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    365 n + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    366 n + 00000000FFFFFFFF & 8000000000000000 = 0000000080000000 (cc=1)
    367 n + 0000000080000000 & 8000000000000000 = 0000000080000000 (cc=1)
    368 n + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    369 n + AAAAAAAAAAAAAAAA & 8000000000000000 = AAAAAAAA80000000 (cc=1)
    370 n + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=0)
    371 n + FFFFFFFFFFFFFFFF & 8000000000000000 = FFFFFFFF80000000 (cc=1)
    372 n + 5555555555555555 & 8000000000000000 = 5555555500000000 (cc=0)
    373 ng + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    374 ng + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    375 ng + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    376 ng + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    377 ng + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    378 ng + 00000000FFFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    379 ng + 0000000080000000 & 8000000000000000 = 0000000000000000 (cc=0)
    380 ng + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    381 ng + AAAAAAAAAAAAAAAA & 8000000000000000 = 8000000000000000 (cc=1)
    382 ng + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=1)
    383 ng + FFFFFFFFFFFFFFFF & 8000000000000000 = 8000000000000000 (cc=1)
    384 ng + 5555555555555555 & 8000000000000000 = 0000000000000000 (cc=0)
    385 nr + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    386 nr + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    387 nr + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    388 nr + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    389 nr + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    390 nr + 00000000FFFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    391 nr + 0000000080000000 & 8000000000000000 = 0000000000000000 (cc=0)
    392 nr + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    393 nr + AAAAAAAAAAAAAAAA & 8000000000000000 = AAAAAAAA00000000 (cc=0)
    394 nr + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=0)
    395 nr + FFFFFFFFFFFFFFFF & 8000000000000000 = FFFFFFFF00000000 (cc=0)
    396 nr + 5555555555555555 & 8000000000000000 = 5555555500000000 (cc=0)
    397 ngr + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    398 ngr + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    399 ngr + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    400 ngr + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    401 ngr + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    402 ngr + 00000000FFFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    403 ngr + 0000000080000000 & 8000000000000000 = 0000000000000000 (cc=0)
    404 ngr + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    405 ngr + AAAAAAAAAAAAAAAA & 8000000000000000 = 8000000000000000 (cc=1)
    406 ngr + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=1)
    407 ngr + FFFFFFFFFFFFFFFF & 8000000000000000 = 8000000000000000 (cc=1)
    408 ngr + 5555555555555555 & 8000000000000000 = 0000000000000000 (cc=0)
    409 ny + 0000000000000000 & 8000000000000000 = 0000000000000000 (cc=0)
    410 ny + 0000000000000001 & 8000000000000000 = 0000000000000000 (cc=0)
    411 ny + 000000000000FFFF & 8000000000000000 = 0000000000000000 (cc=0)
    412 ny + 0000000000007FFF & 8000000000000000 = 0000000000000000 (cc=0)
    413 ny + 0000000000008000 & 8000000000000000 = 0000000000000000 (cc=0)
    414 ny + 00000000FFFFFFFF & 8000000000000000 = 0000000080000000 (cc=1)
    415 ny + 0000000080000000 & 8000000000000000 = 0000000080000000 (cc=1)
    416 ny + 000000007FFFFFFF & 8000000000000000 = 0000000000000000 (cc=0)
    417 ny + AAAAAAAAAAAAAAAA & 8000000000000000 = AAAAAAAA80000000 (cc=1)
    418 ny + 8000000000000000 & 8000000000000000 = 8000000000000000 (cc=0)
    419 ny + FFFFFFFFFFFFFFFF & 8000000000000000 = FFFFFFFF80000000 (cc=1)
    420 ny + 5555555555555555 & 8000000000000000 = 5555555500000000 (cc=0)
    421 n + 0000000000000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    422 n + 0000000000000001 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    423 n + 000000000000FFFF & AAAAAAAA00000000 = 000000000000AAAA (cc=1)
    424 n + 0000000000007FFF & AAAAAAAA00000000 = 0000000000002AAA (cc=1)
    425 n + 0000000000008000 & AAAAAAAA00000000 = 0000000000008000 (cc=1)
    426 n + 00000000FFFFFFFF & AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
    427 n + 0000000080000000 & AAAAAAAA00000000 = 0000000080000000 (cc=1)
    428 n + 000000007FFFFFFF & AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
    429 n + AAAAAAAAAAAAAAAA & AAAAAAAA00000000 = AAAAAAAAAAAAAAAA (cc=1)
    430 n + 8000000000000000 & AAAAAAAA00000000 = 8000000000000000 (cc=0)
    431 n + FFFFFFFFFFFFFFFF & AAAAAAAA00000000 = FFFFFFFFAAAAAAAA (cc=1)
    432 n + 5555555555555555 & AAAAAAAA00000000 = 5555555500000000 (cc=0)
    433 ng + 0000000000000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    434 ng + 0000000000000001 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    435 ng + 000000000000FFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    436 ng + 0000000000007FFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    437 ng + 0000000000008000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    438 ng + 00000000FFFFFFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    439 ng + 0000000080000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    440 ng + 000000007FFFFFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    441 ng + AAAAAAAAAAAAAAAA & AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
    442 ng + 8000000000000000 & AAAAAAAA00000000 = 8000000000000000 (cc=1)
    443 ng + FFFFFFFFFFFFFFFF & AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
    444 ng + 5555555555555555 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    445 nr + 0000000000000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    446 nr + 0000000000000001 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    447 nr + 000000000000FFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    448 nr + 0000000000007FFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    449 nr + 0000000000008000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    450 nr + 00000000FFFFFFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    451 nr + 0000000080000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    452 nr + 000000007FFFFFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    453 nr + AAAAAAAAAAAAAAAA & AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
    454 nr + 8000000000000000 & AAAAAAAA00000000 = 8000000000000000 (cc=0)
    455 nr + FFFFFFFFFFFFFFFF & AAAAAAAA00000000 = FFFFFFFF00000000 (cc=0)
    456 nr + 5555555555555555 & AAAAAAAA00000000 = 5555555500000000 (cc=0)
    457 ngr + 0000000000000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    458 ngr + 0000000000000001 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    459 ngr + 000000000000FFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    460 ngr + 0000000000007FFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    461 ngr + 0000000000008000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    462 ngr + 00000000FFFFFFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    463 ngr + 0000000080000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    464 ngr + 000000007FFFFFFF & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    465 ngr + AAAAAAAAAAAAAAAA & AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
    466 ngr + 8000000000000000 & AAAAAAAA00000000 = 8000000000000000 (cc=1)
    467 ngr + FFFFFFFFFFFFFFFF & AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
    468 ngr + 5555555555555555 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    469 ny + 0000000000000000 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    470 ny + 0000000000000001 & AAAAAAAA00000000 = 0000000000000000 (cc=0)
    471 ny + 000000000000FFFF & AAAAAAAA00000000 = 000000000000AAAA (cc=1)
    472 ny + 0000000000007FFF & AAAAAAAA00000000 = 0000000000002AAA (cc=1)
    473 ny + 0000000000008000 & AAAAAAAA00000000 = 0000000000008000 (cc=1)
    474 ny + 00000000FFFFFFFF & AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
    475 ny + 0000000080000000 & AAAAAAAA00000000 = 0000000080000000 (cc=1)
    476 ny + 000000007FFFFFFF & AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
    477 ny + AAAAAAAAAAAAAAAA & AAAAAAAA00000000 = AAAAAAAAAAAAAAAA (cc=1)
    478 ny + 8000000000000000 & AAAAAAAA00000000 = 8000000000000000 (cc=0)
    479 ny + FFFFFFFFFFFFFFFF & AAAAAAAA00000000 = FFFFFFFFAAAAAAAA (cc=1)
    480 ny + 5555555555555555 & AAAAAAAA00000000 = 5555555500000000 (cc=0)
    481 n + 0000000000000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    482 n + 0000000000000001 & FFFFFFFF00000000 = 0000000000000001 (cc=1)
    483 n + 000000000000FFFF & FFFFFFFF00000000 = 000000000000FFFF (cc=1)
    484 n + 0000000000007FFF & FFFFFFFF00000000 = 0000000000007FFF (cc=1)
    485 n + 0000000000008000 & FFFFFFFF00000000 = 0000000000008000 (cc=1)
    486 n + 00000000FFFFFFFF & FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    487 n + 0000000080000000 & FFFFFFFF00000000 = 0000000080000000 (cc=1)
    488 n + 000000007FFFFFFF & FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    489 n + AAAAAAAAAAAAAAAA & FFFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
    490 n + 8000000000000000 & FFFFFFFF00000000 = 8000000000000000 (cc=0)
    491 n + FFFFFFFFFFFFFFFF & FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
    492 n + 5555555555555555 & FFFFFFFF00000000 = 5555555555555555 (cc=1)
    493 ng + 0000000000000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    494 ng + 0000000000000001 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    495 ng + 000000000000FFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    496 ng + 0000000000007FFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    497 ng + 0000000000008000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    498 ng + 00000000FFFFFFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    499 ng + 0000000080000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    500 ng + 000000007FFFFFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    501 ng + AAAAAAAAAAAAAAAA & FFFFFFFF00000000 = AAAAAAAA00000000 (cc=1)
    502 ng + 8000000000000000 & FFFFFFFF00000000 = 8000000000000000 (cc=1)
    503 ng + FFFFFFFFFFFFFFFF & FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
    504 ng + 5555555555555555 & FFFFFFFF00000000 = 5555555500000000 (cc=1)
    505 nr + 0000000000000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    506 nr + 0000000000000001 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    507 nr + 000000000000FFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    508 nr + 0000000000007FFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    509 nr + 0000000000008000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    510 nr + 00000000FFFFFFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    511 nr + 0000000080000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    512 nr + 000000007FFFFFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    513 nr + AAAAAAAAAAAAAAAA & FFFFFFFF00000000 = AAAAAAAA00000000 (cc=0)
    514 nr + 8000000000000000 & FFFFFFFF00000000 = 8000000000000000 (cc=0)
    515 nr + FFFFFFFFFFFFFFFF & FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
    516 nr + 5555555555555555 & FFFFFFFF00000000 = 5555555500000000 (cc=0)
    517 ngr + 0000000000000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    518 ngr + 0000000000000001 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    519 ngr + 000000000000FFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    520 ngr + 0000000000007FFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    521 ngr + 0000000000008000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    522 ngr + 00000000FFFFFFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    523 ngr + 0000000080000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    524 ngr + 000000007FFFFFFF & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    525 ngr + AAAAAAAAAAAAAAAA & FFFFFFFF00000000 = AAAAAAAA00000000 (cc=1)
    526 ngr + 8000000000000000 & FFFFFFFF00000000 = 8000000000000000 (cc=1)
    527 ngr + FFFFFFFFFFFFFFFF & FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
    528 ngr + 5555555555555555 & FFFFFFFF00000000 = 5555555500000000 (cc=1)
    529 ny + 0000000000000000 & FFFFFFFF00000000 = 0000000000000000 (cc=0)
    530 ny + 0000000000000001 & FFFFFFFF00000000 = 0000000000000001 (cc=1)
    531 ny + 000000000000FFFF & FFFFFFFF00000000 = 000000000000FFFF (cc=1)
    532 ny + 0000000000007FFF & FFFFFFFF00000000 = 0000000000007FFF (cc=1)
    533 ny + 0000000000008000 & FFFFFFFF00000000 = 0000000000008000 (cc=1)
    534 ny + 00000000FFFFFFFF & FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
    535 ny + 0000000080000000 & FFFFFFFF00000000 = 0000000080000000 (cc=1)
    536 ny + 000000007FFFFFFF & FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
    537 ny + AAAAAAAAAAAAAAAA & FFFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
    538 ny + 8000000000000000 & FFFFFFFF00000000 = 8000000000000000 (cc=0)
    539 ny + FFFFFFFFFFFFFFFF & FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
    540 ny + 5555555555555555 & FFFFFFFF00000000 = 5555555555555555 (cc=1)
    541 n + 0000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    542 n + 0000000000000001 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    543 n + 000000000000FFFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    544 n + 0000000000007FFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    545 n + 0000000000008000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    546 n + 00000000FFFFFFFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    547 n + 0000000080000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    548 n + 000000007FFFFFFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    549 n + AAAAAAAAAAAAAAAA & 000000007FFFFFFF = AAAAAAAA00000000 (cc=0)
    550 n + 8000000000000000 & 000000007FFFFFFF = 8000000000000000 (cc=0)
    551 n + FFFFFFFFFFFFFFFF & 000000007FFFFFFF = FFFFFFFF00000000 (cc=0)
    552 n + 5555555555555555 & 000000007FFFFFFF = 5555555500000000 (cc=0)
    553 ng + 0000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    554 ng + 0000000000000001 & 000000007FFFFFFF = 0000000000000001 (cc=1)
    555 ng + 000000000000FFFF & 000000007FFFFFFF = 000000000000FFFF (cc=1)
    556 ng + 0000000000007FFF & 000000007FFFFFFF = 0000000000007FFF (cc=1)
    557 ng + 0000000000008000 & 000000007FFFFFFF = 0000000000008000 (cc=1)
    558 ng + 00000000FFFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    559 ng + 0000000080000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    560 ng + 000000007FFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    561 ng + AAAAAAAAAAAAAAAA & 000000007FFFFFFF = 000000002AAAAAAA (cc=1)
    562 ng + 8000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    563 ng + FFFFFFFFFFFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    564 ng + 5555555555555555 & 000000007FFFFFFF = 0000000055555555 (cc=1)
    565 nr + 0000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    566 nr + 0000000000000001 & 000000007FFFFFFF = 0000000000000001 (cc=1)
    567 nr + 000000000000FFFF & 000000007FFFFFFF = 000000000000FFFF (cc=1)
    568 nr + 0000000000007FFF & 000000007FFFFFFF = 0000000000007FFF (cc=1)
    569 nr + 0000000000008000 & 000000007FFFFFFF = 0000000000008000 (cc=1)
    570 nr + 00000000FFFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    571 nr + 0000000080000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    572 nr + 000000007FFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    573 nr + AAAAAAAAAAAAAAAA & 000000007FFFFFFF = AAAAAAAA2AAAAAAA (cc=1)
    574 nr + 8000000000000000 & 000000007FFFFFFF = 8000000000000000 (cc=0)
    575 nr + FFFFFFFFFFFFFFFF & 000000007FFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
    576 nr + 5555555555555555 & 000000007FFFFFFF = 5555555555555555 (cc=1)
    577 ngr + 0000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    578 ngr + 0000000000000001 & 000000007FFFFFFF = 0000000000000001 (cc=1)
    579 ngr + 000000000000FFFF & 000000007FFFFFFF = 000000000000FFFF (cc=1)
    580 ngr + 0000000000007FFF & 000000007FFFFFFF = 0000000000007FFF (cc=1)
    581 ngr + 0000000000008000 & 000000007FFFFFFF = 0000000000008000 (cc=1)
    582 ngr + 00000000FFFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    583 ngr + 0000000080000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    584 ngr + 000000007FFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    585 ngr + AAAAAAAAAAAAAAAA & 000000007FFFFFFF = 000000002AAAAAAA (cc=1)
    586 ngr + 8000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    587 ngr + FFFFFFFFFFFFFFFF & 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
    588 ngr + 5555555555555555 & 000000007FFFFFFF = 0000000055555555 (cc=1)
    589 ny + 0000000000000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    590 ny + 0000000000000001 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    591 ny + 000000000000FFFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    592 ny + 0000000000007FFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    593 ny + 0000000000008000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    594 ny + 00000000FFFFFFFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    595 ny + 0000000080000000 & 000000007FFFFFFF = 0000000000000000 (cc=0)
    596 ny + 000000007FFFFFFF & 000000007FFFFFFF = 0000000000000000 (cc=0)
    597 ny + AAAAAAAAAAAAAAAA & 000000007FFFFFFF = AAAAAAAA00000000 (cc=0)
    598 ny + 8000000000000000 & 000000007FFFFFFF = 8000000000000000 (cc=0)
    599 ny + FFFFFFFFFFFFFFFF & 000000007FFFFFFF = FFFFFFFF00000000 (cc=0)
    600 ny + 5555555555555555 & 000000007FFFFFFF = 5555555500000000 (cc=0)
    601 n + 0000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    602 n + 0000000000000001 & 0000000080000000 = 0000000000000000 (cc=0)
    603 n + 000000000000FFFF & 0000000080000000 = 0000000000000000 (cc=0)
    604 n + 0000000000007FFF & 0000000080000000 = 0000000000000000 (cc=0)
    605 n + 0000000000008000 & 0000000080000000 = 0000000000000000 (cc=0)
    606 n + 00000000FFFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    607 n + 0000000080000000 & 0000000080000000 = 0000000000000000 (cc=0)
    608 n + 000000007FFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    609 n + AAAAAAAAAAAAAAAA & 0000000080000000 = AAAAAAAA00000000 (cc=0)
    610 n + 8000000000000000 & 0000000080000000 = 8000000000000000 (cc=0)
    611 n + FFFFFFFFFFFFFFFF & 0000000080000000 = FFFFFFFF00000000 (cc=0)
    612 n + 5555555555555555 & 0000000080000000 = 5555555500000000 (cc=0)
    613 ng + 0000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    614 ng + 0000000000000001 & 0000000080000000 = 0000000000000000 (cc=0)
    615 ng + 000000000000FFFF & 0000000080000000 = 0000000000000000 (cc=0)
    616 ng + 0000000000007FFF & 0000000080000000 = 0000000000000000 (cc=0)
    617 ng + 0000000000008000 & 0000000080000000 = 0000000000000000 (cc=0)
    618 ng + 00000000FFFFFFFF & 0000000080000000 = 0000000080000000 (cc=1)
    619 ng + 0000000080000000 & 0000000080000000 = 0000000080000000 (cc=1)
    620 ng + 000000007FFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    621 ng + AAAAAAAAAAAAAAAA & 0000000080000000 = 0000000080000000 (cc=1)
    622 ng + 8000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    623 ng + FFFFFFFFFFFFFFFF & 0000000080000000 = 0000000080000000 (cc=1)
    624 ng + 5555555555555555 & 0000000080000000 = 0000000000000000 (cc=0)
    625 nr + 0000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    626 nr + 0000000000000001 & 0000000080000000 = 0000000000000000 (cc=0)
    627 nr + 000000000000FFFF & 0000000080000000 = 0000000000000000 (cc=0)
    628 nr + 0000000000007FFF & 0000000080000000 = 0000000000000000 (cc=0)
    629 nr + 0000000000008000 & 0000000080000000 = 0000000000000000 (cc=0)
    630 nr + 00000000FFFFFFFF & 0000000080000000 = 0000000080000000 (cc=1)
    631 nr + 0000000080000000 & 0000000080000000 = 0000000080000000 (cc=1)
    632 nr + 000000007FFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    633 nr + AAAAAAAAAAAAAAAA & 0000000080000000 = AAAAAAAA80000000 (cc=1)
    634 nr + 8000000000000000 & 0000000080000000 = 8000000000000000 (cc=0)
    635 nr + FFFFFFFFFFFFFFFF & 0000000080000000 = FFFFFFFF80000000 (cc=1)
    636 nr + 5555555555555555 & 0000000080000000 = 5555555500000000 (cc=0)
    637 ngr + 0000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    638 ngr + 0000000000000001 & 0000000080000000 = 0000000000000000 (cc=0)
    639 ngr + 000000000000FFFF & 0000000080000000 = 0000000000000000 (cc=0)
    640 ngr + 0000000000007FFF & 0000000080000000 = 0000000000000000 (cc=0)
    641 ngr + 0000000000008000 & 0000000080000000 = 0000000000000000 (cc=0)
    642 ngr + 00000000FFFFFFFF & 0000000080000000 = 0000000080000000 (cc=1)
    643 ngr + 0000000080000000 & 0000000080000000 = 0000000080000000 (cc=1)
    644 ngr + 000000007FFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    645 ngr + AAAAAAAAAAAAAAAA & 0000000080000000 = 0000000080000000 (cc=1)
    646 ngr + 8000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    647 ngr + FFFFFFFFFFFFFFFF & 0000000080000000 = 0000000080000000 (cc=1)
    648 ngr + 5555555555555555 & 0000000080000000 = 0000000000000000 (cc=0)
    649 ny + 0000000000000000 & 0000000080000000 = 0000000000000000 (cc=0)
    650 ny + 0000000000000001 & 0000000080000000 = 0000000000000000 (cc=0)
    651 ny + 000000000000FFFF & 0000000080000000 = 0000000000000000 (cc=0)
    652 ny + 0000000000007FFF & 0000000080000000 = 0000000000000000 (cc=0)
    653 ny + 0000000000008000 & 0000000080000000 = 0000000000000000 (cc=0)
    654 ny + 00000000FFFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    655 ny + 0000000080000000 & 0000000080000000 = 0000000000000000 (cc=0)
    656 ny + 000000007FFFFFFF & 0000000080000000 = 0000000000000000 (cc=0)
    657 ny + AAAAAAAAAAAAAAAA & 0000000080000000 = AAAAAAAA00000000 (cc=0)
    658 ny + 8000000000000000 & 0000000080000000 = 8000000000000000 (cc=0)
    659 ny + FFFFFFFFFFFFFFFF & 0000000080000000 = FFFFFFFF00000000 (cc=0)
    660 ny + 5555555555555555 & 0000000080000000 = 5555555500000000 (cc=0)
    661 n + 0000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    662 n + 0000000000000001 & 0000000055555555 = 0000000000000000 (cc=0)
    663 n + 000000000000FFFF & 0000000055555555 = 0000000000000000 (cc=0)
    664 n + 0000000000007FFF & 0000000055555555 = 0000000000000000 (cc=0)
    665 n + 0000000000008000 & 0000000055555555 = 0000000000000000 (cc=0)
    666 n + 00000000FFFFFFFF & 0000000055555555 = 0000000000000000 (cc=0)
    667 n + 0000000080000000 & 0000000055555555 = 0000000000000000 (cc=0)
    668 n + 000000007FFFFFFF & 0000000055555555 = 0000000000000000 (cc=0)
    669 n + AAAAAAAAAAAAAAAA & 0000000055555555 = AAAAAAAA00000000 (cc=0)
    670 n + 8000000000000000 & 0000000055555555 = 8000000000000000 (cc=0)
    671 n + FFFFFFFFFFFFFFFF & 0000000055555555 = FFFFFFFF00000000 (cc=0)
    672 n + 5555555555555555 & 0000000055555555 = 5555555500000000 (cc=0)
    673 ng + 0000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    674 ng + 0000000000000001 & 0000000055555555 = 0000000000000001 (cc=1)
    675 ng + 000000000000FFFF & 0000000055555555 = 0000000000005555 (cc=1)
    676 ng + 0000000000007FFF & 0000000055555555 = 0000000000005555 (cc=1)
    677 ng + 0000000000008000 & 0000000055555555 = 0000000000000000 (cc=0)
    678 ng + 00000000FFFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    679 ng + 0000000080000000 & 0000000055555555 = 0000000000000000 (cc=0)
    680 ng + 000000007FFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    681 ng + AAAAAAAAAAAAAAAA & 0000000055555555 = 0000000000000000 (cc=0)
    682 ng + 8000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    683 ng + FFFFFFFFFFFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    684 ng + 5555555555555555 & 0000000055555555 = 0000000055555555 (cc=1)
    685 nr + 0000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    686 nr + 0000000000000001 & 0000000055555555 = 0000000000000001 (cc=1)
    687 nr + 000000000000FFFF & 0000000055555555 = 0000000000005555 (cc=1)
    688 nr + 0000000000007FFF & 0000000055555555 = 0000000000005555 (cc=1)
    689 nr + 0000000000008000 & 0000000055555555 = 0000000000000000 (cc=0)
    690 nr + 00000000FFFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    691 nr + 0000000080000000 & 0000000055555555 = 0000000000000000 (cc=0)
    692 nr + 000000007FFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    693 nr + AAAAAAAAAAAAAAAA & 0000000055555555 = AAAAAAAA00000000 (cc=0)
    694 nr + 8000000000000000 & 0000000055555555 = 8000000000000000 (cc=0)
    695 nr + FFFFFFFFFFFFFFFF & 0000000055555555 = FFFFFFFF55555555 (cc=1)
    696 nr + 5555555555555555 & 0000000055555555 = 5555555555555555 (cc=1)
    697 ngr + 0000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    698 ngr + 0000000000000001 & 0000000055555555 = 0000000000000001 (cc=1)
    699 ngr + 000000000000FFFF & 0000000055555555 = 0000000000005555 (cc=1)
    700 ngr + 0000000000007FFF & 0000000055555555 = 0000000000005555 (cc=1)
    701 ngr + 0000000000008000 & 0000000055555555 = 0000000000000000 (cc=0)
    702 ngr + 00000000FFFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    703 ngr + 0000000080000000 & 0000000055555555 = 0000000000000000 (cc=0)
    704 ngr + 000000007FFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    705 ngr + AAAAAAAAAAAAAAAA & 0000000055555555 = 0000000000000000 (cc=0)
    706 ngr + 8000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    707 ngr + FFFFFFFFFFFFFFFF & 0000000055555555 = 0000000055555555 (cc=1)
    708 ngr + 5555555555555555 & 0000000055555555 = 0000000055555555 (cc=1)
    709 ny + 0000000000000000 & 0000000055555555 = 0000000000000000 (cc=0)
    710 ny + 0000000000000001 & 0000000055555555 = 0000000000000000 (cc=0)
    711 ny + 000000000000FFFF & 0000000055555555 = 0000000000000000 (cc=0)
    712 ny + 0000000000007FFF & 0000000055555555 = 0000000000000000 (cc=0)
    713 ny + 0000000000008000 & 0000000055555555 = 0000000000000000 (cc=0)
    714 ny + 00000000FFFFFFFF & 0000000055555555 = 0000000000000000 (cc=0)
    715 ny + 0000000080000000 & 0000000055555555 = 0000000000000000 (cc=0)
    716 ny + 000000007FFFFFFF & 0000000055555555 = 0000000000000000 (cc=0)
    717 ny + AAAAAAAAAAAAAAAA & 0000000055555555 = AAAAAAAA00000000 (cc=0)
    718 ny + 8000000000000000 & 0000000055555555 = 8000000000000000 (cc=0)
    719 ny + FFFFFFFFFFFFFFFF & 0000000055555555 = FFFFFFFF00000000 (cc=0)
    720 ny + 5555555555555555 & 0000000055555555 = 5555555500000000 (cc=0)
    721 n + 0000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    722 n + 0000000000000001 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    723 n + 000000000000FFFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    724 n + 0000000000007FFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    725 n + 0000000000008000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    726 n + 00000000FFFFFFFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    727 n + 0000000080000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    728 n + 000000007FFFFFFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    729 n + AAAAAAAAAAAAAAAA & 00000000FFFFFFFF = AAAAAAAA00000000 (cc=0)
    730 n + 8000000000000000 & 00000000FFFFFFFF = 8000000000000000 (cc=0)
    731 n + FFFFFFFFFFFFFFFF & 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
    732 n + 5555555555555555 & 00000000FFFFFFFF = 5555555500000000 (cc=0)
    733 ng + 0000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    734 ng + 0000000000000001 & 00000000FFFFFFFF = 0000000000000001 (cc=1)
    735 ng + 000000000000FFFF & 00000000FFFFFFFF = 000000000000FFFF (cc=1)
    736 ng + 0000000000007FFF & 00000000FFFFFFFF = 0000000000007FFF (cc=1)
    737 ng + 0000000000008000 & 00000000FFFFFFFF = 0000000000008000 (cc=1)
    738 ng + 00000000FFFFFFFF & 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    739 ng + 0000000080000000 & 00000000FFFFFFFF = 0000000080000000 (cc=1)
    740 ng + 000000007FFFFFFF & 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    741 ng + AAAAAAAAAAAAAAAA & 00000000FFFFFFFF = 00000000AAAAAAAA (cc=1)
    742 ng + 8000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    743 ng + FFFFFFFFFFFFFFFF & 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    744 ng + 5555555555555555 & 00000000FFFFFFFF = 0000000055555555 (cc=1)
    745 nr + 0000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    746 nr + 0000000000000001 & 00000000FFFFFFFF = 0000000000000001 (cc=1)
    747 nr + 000000000000FFFF & 00000000FFFFFFFF = 000000000000FFFF (cc=1)
    748 nr + 0000000000007FFF & 00000000FFFFFFFF = 0000000000007FFF (cc=1)
    749 nr + 0000000000008000 & 00000000FFFFFFFF = 0000000000008000 (cc=1)
    750 nr + 00000000FFFFFFFF & 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    751 nr + 0000000080000000 & 00000000FFFFFFFF = 0000000080000000 (cc=1)
    752 nr + 000000007FFFFFFF & 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    753 nr + AAAAAAAAAAAAAAAA & 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
    754 nr + 8000000000000000 & 00000000FFFFFFFF = 8000000000000000 (cc=0)
    755 nr + FFFFFFFFFFFFFFFF & 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
    756 nr + 5555555555555555 & 00000000FFFFFFFF = 5555555555555555 (cc=1)
    757 ngr + 0000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    758 ngr + 0000000000000001 & 00000000FFFFFFFF = 0000000000000001 (cc=1)
    759 ngr + 000000000000FFFF & 00000000FFFFFFFF = 000000000000FFFF (cc=1)
    760 ngr + 0000000000007FFF & 00000000FFFFFFFF = 0000000000007FFF (cc=1)
    761 ngr + 0000000000008000 & 00000000FFFFFFFF = 0000000000008000 (cc=1)
    762 ngr + 00000000FFFFFFFF & 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    763 ngr + 0000000080000000 & 00000000FFFFFFFF = 0000000080000000 (cc=1)
    764 ngr + 000000007FFFFFFF & 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
    765 ngr + AAAAAAAAAAAAAAAA & 00000000FFFFFFFF = 00000000AAAAAAAA (cc=1)
    766 ngr + 8000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    767 ngr + FFFFFFFFFFFFFFFF & 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
    768 ngr + 5555555555555555 & 00000000FFFFFFFF = 0000000055555555 (cc=1)
    769 ny + 0000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    770 ny + 0000000000000001 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    771 ny + 000000000000FFFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    772 ny + 0000000000007FFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    773 ny + 0000000000008000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    774 ny + 00000000FFFFFFFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    775 ny + 0000000080000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    776 ny + 000000007FFFFFFF & 00000000FFFFFFFF = 0000000000000000 (cc=0)
    777 ny + AAAAAAAAAAAAAAAA & 00000000FFFFFFFF = AAAAAAAA00000000 (cc=0)
    778 ny + 8000000000000000 & 00000000FFFFFFFF = 8000000000000000 (cc=0)
    779 ny + FFFFFFFFFFFFFFFF & 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
    780 ny + 5555555555555555 & 00000000FFFFFFFF = 5555555500000000 (cc=0)
    781 n + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    782 n + 0000000000000001 & 000000000000FFFF = 0000000000000000 (cc=0)
    783 n + 000000000000FFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    784 n + 0000000000007FFF & 000000000000FFFF = 0000000000000000 (cc=0)
    785 n + 0000000000008000 & 000000000000FFFF = 0000000000000000 (cc=0)
    786 n + 00000000FFFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    787 n + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    788 n + 000000007FFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    789 n + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAA00000000 (cc=0)
    790 n + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
    791 n + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFF00000000 (cc=0)
    792 n + 5555555555555555 & 000000000000FFFF = 5555555500000000 (cc=0)
    793 ng + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    794 ng + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
    795 ng + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    796 ng + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
    797 ng + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
    798 ng + 00000000FFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    799 ng + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    800 ng + 000000007FFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    801 ng + AAAAAAAAAAAAAAAA & 000000000000FFFF = 000000000000AAAA (cc=1)
    802 ng + 8000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    803 ng + FFFFFFFFFFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    804 ng + 5555555555555555 & 000000000000FFFF = 0000000000005555 (cc=1)
    805 nr + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    806 nr + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
    807 nr + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    808 nr + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
    809 nr + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
    810 nr + 00000000FFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    811 nr + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    812 nr + 000000007FFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    813 nr + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAA0000AAAA (cc=1)
    814 nr + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
    815 nr + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFF0000FFFF (cc=1)
    816 nr + 5555555555555555 & 000000000000FFFF = 5555555500005555 (cc=1)
    817 ngr + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    818 ngr + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
    819 ngr + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    820 ngr + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
    821 ngr + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
    822 ngr + 00000000FFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    823 ngr + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    824 ngr + 000000007FFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    825 ngr + AAAAAAAAAAAAAAAA & 000000000000FFFF = 000000000000AAAA (cc=1)
    826 ngr + 8000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    827 ngr + FFFFFFFFFFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    828 ngr + 5555555555555555 & 000000000000FFFF = 0000000000005555 (cc=1)
    829 ny + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    830 ny + 0000000000000001 & 000000000000FFFF = 0000000000000000 (cc=0)
    831 ny + 000000000000FFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    832 ny + 0000000000007FFF & 000000000000FFFF = 0000000000000000 (cc=0)
    833 ny + 0000000000008000 & 000000000000FFFF = 0000000000000000 (cc=0)
    834 ny + 00000000FFFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    835 ny + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    836 ny + 000000007FFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    837 ny + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAA00000000 (cc=0)
    838 ny + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
    839 ny + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFF00000000 (cc=0)
    840 ny + 5555555555555555 & 000000000000FFFF = 5555555500000000 (cc=0)
    841 n + 0000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    842 n + 0000000000000001 & 0000000000007FFF = 0000000000000000 (cc=0)
    843 n + 000000000000FFFF & 0000000000007FFF = 0000000000000000 (cc=0)
    844 n + 0000000000007FFF & 0000000000007FFF = 0000000000000000 (cc=0)
    845 n + 0000000000008000 & 0000000000007FFF = 0000000000000000 (cc=0)
    846 n + 00000000FFFFFFFF & 0000000000007FFF = 0000000000000000 (cc=0)
    847 n + 0000000080000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    848 n + 000000007FFFFFFF & 0000000000007FFF = 0000000000000000 (cc=0)
    849 n + AAAAAAAAAAAAAAAA & 0000000000007FFF = AAAAAAAA00000000 (cc=0)
    850 n + 8000000000000000 & 0000000000007FFF = 8000000000000000 (cc=0)
    851 n + FFFFFFFFFFFFFFFF & 0000000000007FFF = FFFFFFFF00000000 (cc=0)
    852 n + 5555555555555555 & 0000000000007FFF = 5555555500000000 (cc=0)
    853 ng + 0000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    854 ng + 0000000000000001 & 0000000000007FFF = 0000000000000001 (cc=1)
    855 ng + 000000000000FFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    856 ng + 0000000000007FFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    857 ng + 0000000000008000 & 0000000000007FFF = 0000000000000000 (cc=0)
    858 ng + 00000000FFFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    859 ng + 0000000080000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    860 ng + 000000007FFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    861 ng + AAAAAAAAAAAAAAAA & 0000000000007FFF = 0000000000002AAA (cc=1)
    862 ng + 8000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    863 ng + FFFFFFFFFFFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    864 ng + 5555555555555555 & 0000000000007FFF = 0000000000005555 (cc=1)
    865 nr + 0000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    866 nr + 0000000000000001 & 0000000000007FFF = 0000000000000001 (cc=1)
    867 nr + 000000000000FFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    868 nr + 0000000000007FFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    869 nr + 0000000000008000 & 0000000000007FFF = 0000000000000000 (cc=0)
    870 nr + 00000000FFFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    871 nr + 0000000080000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    872 nr + 000000007FFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    873 nr + AAAAAAAAAAAAAAAA & 0000000000007FFF = AAAAAAAA00002AAA (cc=1)
    874 nr + 8000000000000000 & 0000000000007FFF = 8000000000000000 (cc=0)
    875 nr + FFFFFFFFFFFFFFFF & 0000000000007FFF = FFFFFFFF00007FFF (cc=1)
    876 nr + 5555555555555555 & 0000000000007FFF = 5555555500005555 (cc=1)
    877 ngr + 0000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    878 ngr + 0000000000000001 & 0000000000007FFF = 0000000000000001 (cc=1)
    879 ngr + 000000000000FFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    880 ngr + 0000000000007FFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    881 ngr + 0000000000008000 & 0000000000007FFF = 0000000000000000 (cc=0)
    882 ngr + 00000000FFFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    883 ngr + 0000000080000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    884 ngr + 000000007FFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    885 ngr + AAAAAAAAAAAAAAAA & 0000000000007FFF = 0000000000002AAA (cc=1)
    886 ngr + 8000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    887 ngr + FFFFFFFFFFFFFFFF & 0000000000007FFF = 0000000000007FFF (cc=1)
    888 ngr + 5555555555555555 & 0000000000007FFF = 0000000000005555 (cc=1)
    889 ny + 0000000000000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    890 ny + 0000000000000001 & 0000000000007FFF = 0000000000000000 (cc=0)
    891 ny + 000000000000FFFF & 0000000000007FFF = 0000000000000000 (cc=0)
    892 ny + 0000000000007FFF & 0000000000007FFF = 0000000000000000 (cc=0)
    893 ny + 0000000000008000 & 0000000000007FFF = 0000000000000000 (cc=0)
    894 ny + 00000000FFFFFFFF & 0000000000007FFF = 0000000000000000 (cc=0)
    895 ny + 0000000080000000 & 0000000000007FFF = 0000000000000000 (cc=0)
    896 ny + 000000007FFFFFFF & 0000000000007FFF = 0000000000000000 (cc=0)
    897 ny + AAAAAAAAAAAAAAAA & 0000000000007FFF = AAAAAAAA00000000 (cc=0)
    898 ny + 8000000000000000 & 0000000000007FFF = 8000000000000000 (cc=0)
    899 ny + FFFFFFFFFFFFFFFF & 0000000000007FFF = FFFFFFFF00000000 (cc=0)
    900 ny + 5555555555555555 & 0000000000007FFF = 5555555500000000 (cc=0)
    901 n + 0000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    902 n + 0000000000000001 & 0000000000008000 = 0000000000000000 (cc=0)
    903 n + 000000000000FFFF & 0000000000008000 = 0000000000000000 (cc=0)
    904 n + 0000000000007FFF & 0000000000008000 = 0000000000000000 (cc=0)
    905 n + 0000000000008000 & 0000000000008000 = 0000000000000000 (cc=0)
    906 n + 00000000FFFFFFFF & 0000000000008000 = 0000000000000000 (cc=0)
    907 n + 0000000080000000 & 0000000000008000 = 0000000000000000 (cc=0)
    908 n + 000000007FFFFFFF & 0000000000008000 = 0000000000000000 (cc=0)
    909 n + AAAAAAAAAAAAAAAA & 0000000000008000 = AAAAAAAA00000000 (cc=0)
    910 n + 8000000000000000 & 0000000000008000 = 8000000000000000 (cc=0)
    911 n + FFFFFFFFFFFFFFFF & 0000000000008000 = FFFFFFFF00000000 (cc=0)
    912 n + 5555555555555555 & 0000000000008000 = 5555555500000000 (cc=0)
    913 ng + 0000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    914 ng + 0000000000000001 & 0000000000008000 = 0000000000000000 (cc=0)
    915 ng + 000000000000FFFF & 0000000000008000 = 0000000000008000 (cc=1)
    916 ng + 0000000000007FFF & 0000000000008000 = 0000000000000000 (cc=0)
    917 ng + 0000000000008000 & 0000000000008000 = 0000000000008000 (cc=1)
    918 ng + 00000000FFFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    919 ng + 0000000080000000 & 0000000000008000 = 0000000000000000 (cc=0)
    920 ng + 000000007FFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    921 ng + AAAAAAAAAAAAAAAA & 0000000000008000 = 0000000000008000 (cc=1)
    922 ng + 8000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    923 ng + FFFFFFFFFFFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    924 ng + 5555555555555555 & 0000000000008000 = 0000000000000000 (cc=0)
    925 nr + 0000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    926 nr + 0000000000000001 & 0000000000008000 = 0000000000000000 (cc=0)
    927 nr + 000000000000FFFF & 0000000000008000 = 0000000000008000 (cc=1)
    928 nr + 0000000000007FFF & 0000000000008000 = 0000000000000000 (cc=0)
    929 nr + 0000000000008000 & 0000000000008000 = 0000000000008000 (cc=1)
    930 nr + 00000000FFFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    931 nr + 0000000080000000 & 0000000000008000 = 0000000000000000 (cc=0)
    932 nr + 000000007FFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    933 nr + AAAAAAAAAAAAAAAA & 0000000000008000 = AAAAAAAA00008000 (cc=1)
    934 nr + 8000000000000000 & 0000000000008000 = 8000000000000000 (cc=0)
    935 nr + FFFFFFFFFFFFFFFF & 0000000000008000 = FFFFFFFF00008000 (cc=1)
    936 nr + 5555555555555555 & 0000000000008000 = 5555555500000000 (cc=0)
    937 ngr + 0000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    938 ngr + 0000000000000001 & 0000000000008000 = 0000000000000000 (cc=0)
    939 ngr + 000000000000FFFF & 0000000000008000 = 0000000000008000 (cc=1)
    940 ngr + 0000000000007FFF & 0000000000008000 = 0000000000000000 (cc=0)
    941 ngr + 0000000000008000 & 0000000000008000 = 0000000000008000 (cc=1)
    942 ngr + 00000000FFFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    943 ngr + 0000000080000000 & 0000000000008000 = 0000000000000000 (cc=0)
    944 ngr + 000000007FFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    945 ngr + AAAAAAAAAAAAAAAA & 0000000000008000 = 0000000000008000 (cc=1)
    946 ngr + 8000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    947 ngr + FFFFFFFFFFFFFFFF & 0000000000008000 = 0000000000008000 (cc=1)
    948 ngr + 5555555555555555 & 0000000000008000 = 0000000000000000 (cc=0)
    949 ny + 0000000000000000 & 0000000000008000 = 0000000000000000 (cc=0)
    950 ny + 0000000000000001 & 0000000000008000 = 0000000000000000 (cc=0)
    951 ny + 000000000000FFFF & 0000000000008000 = 0000000000000000 (cc=0)
    952 ny + 0000000000007FFF & 0000000000008000 = 0000000000000000 (cc=0)
    953 ny + 0000000000008000 & 0000000000008000 = 0000000000000000 (cc=0)
    954 ny + 00000000FFFFFFFF & 0000000000008000 = 0000000000000000 (cc=0)
    955 ny + 0000000080000000 & 0000000000008000 = 0000000000000000 (cc=0)
    956 ny + 000000007FFFFFFF & 0000000000008000 = 0000000000000000 (cc=0)
    957 ny + AAAAAAAAAAAAAAAA & 0000000000008000 = AAAAAAAA00000000 (cc=0)
    958 ny + 8000000000000000 & 0000000000008000 = 8000000000000000 (cc=0)
    959 ny + FFFFFFFFFFFFFFFF & 0000000000008000 = FFFFFFFF00000000 (cc=0)
    960 ny + 5555555555555555 & 0000000000008000 = 5555555500000000 (cc=0)
    961 n + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    962 n + 0000000000000001 & 000000000000FFFF = 0000000000000000 (cc=0)
    963 n + 000000000000FFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    964 n + 0000000000007FFF & 000000000000FFFF = 0000000000000000 (cc=0)
    965 n + 0000000000008000 & 000000000000FFFF = 0000000000000000 (cc=0)
    966 n + 00000000FFFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    967 n + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    968 n + 000000007FFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
    969 n + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAA00000000 (cc=0)
    970 n + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
    971 n + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFF00000000 (cc=0)
    972 n + 5555555555555555 & 000000000000FFFF = 5555555500000000 (cc=0)
    973 ng + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    974 ng + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
    975 ng + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    976 ng + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
    977 ng + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
    978 ng + 00000000FFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    979 ng + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    980 ng + 000000007FFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    981 ng + AAAAAAAAAAAAAAAA & 000000000000FFFF = 000000000000AAAA (cc=1)
    982 ng + 8000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    983 ng + FFFFFFFFFFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    984 ng + 5555555555555555 & 000000000000FFFF = 0000000000005555 (cc=1)
    985 nr + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    986 nr + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
    987 nr + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    988 nr + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
    989 nr + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
    990 nr + 00000000FFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    991 nr + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    992 nr + 000000007FFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
    993 nr + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAA0000AAAA (cc=1)
    994 nr + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
    995 nr + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFF0000FFFF (cc=1)
    996 nr + 5555555555555555 & 000000000000FFFF = 5555555500005555 (cc=1)
    997 ngr + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
    998 ngr + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
    999 ngr + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
   1000 ngr + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
   1001 ngr + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
   1002 ngr + 00000000FFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
   1003 ngr + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1004 ngr + 000000007FFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
   1005 ngr + AAAAAAAAAAAAAAAA & 000000000000FFFF = 000000000000AAAA (cc=1)
   1006 ngr + 8000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1007 ngr + FFFFFFFFFFFFFFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
   1008 ngr + 5555555555555555 & 000000000000FFFF = 0000000000005555 (cc=1)
   1009 ny + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1010 ny + 0000000000000001 & 000000000000FFFF = 0000000000000000 (cc=0)
   1011 ny + 000000000000FFFF & 000000000000FFFF = 0000000000000000 (cc=0)
   1012 ny + 0000000000007FFF & 000000000000FFFF = 0000000000000000 (cc=0)
   1013 ny + 0000000000008000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1014 ny + 00000000FFFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
   1015 ny + 0000000080000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1016 ny + 000000007FFFFFFF & 000000000000FFFF = 0000000000000000 (cc=0)
   1017 ny + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAA00000000 (cc=0)
   1018 ny + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
   1019 ny + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFF00000000 (cc=0)
   1020 ny + 5555555555555555 & 000000000000FFFF = 5555555500000000 (cc=0)
   1021 ni + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1022 ni + 0000000000000001 & 0000000000000000 = 0000000000000001 (cc=0)
   1023 ni + 000000000000FFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1024 ni + 0000000000007FFF & 0000000000000000 = 0000000000007FFF (cc=0)
   1025 ni + 0000000000008000 & 0000000000000000 = 0000000000008000 (cc=0)
   1026 ni + 00000000FFFFFFFF & 0000000000000000 = 00000000FFFFFFFF (cc=0)
   1027 ni + 0000000080000000 & 0000000000000000 = 0000000080000000 (cc=0)
   1028 ni + 000000007FFFFFFF & 0000000000000000 = 000000007FFFFFFF (cc=0)
   1029 ni + AAAAAAAAAAAAAAAA & 0000000000000000 = 00AAAAAAAAAAAAAA (cc=0)
   1030 ni + 8000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1031 ni + FFFFFFFFFFFFFFFF & 0000000000000000 = 00FFFFFFFFFFFFFF (cc=0)
   1032 ni + 5555555555555555 & 0000000000000000 = 0055555555555555 (cc=0)
   1033 ni + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1034 ni + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=0)
   1035 ni + 000000000000FFFF & 00000000000000FF = 000000000000FFFF (cc=0)
   1036 ni + 0000000000007FFF & 00000000000000FF = 0000000000007FFF (cc=0)
   1037 ni + 0000000000008000 & 00000000000000FF = 0000000000008000 (cc=0)
   1038 ni + 00000000FFFFFFFF & 00000000000000FF = 00000000FFFFFFFF (cc=0)
   1039 ni + 0000000080000000 & 00000000000000FF = 0000000080000000 (cc=0)
   1040 ni + 000000007FFFFFFF & 00000000000000FF = 000000007FFFFFFF (cc=0)
   1041 ni + AAAAAAAAAAAAAAAA & 00000000000000FF = AAAAAAAAAAAAAAAA (cc=1)
   1042 ni + 8000000000000000 & 00000000000000FF = 8000000000000000 (cc=1)
   1043 ni + FFFFFFFFFFFFFFFF & 00000000000000FF = FFFFFFFFFFFFFFFF (cc=1)
   1044 ni + 5555555555555555 & 00000000000000FF = 5555555555555555 (cc=1)
   1045 ni + 0000000000000000 & 0000000000000080 = 0000000000000000 (cc=0)
   1046 ni + 0000000000000001 & 0000000000000080 = 0000000000000001 (cc=0)
   1047 ni + 000000000000FFFF & 0000000000000080 = 000000000000FFFF (cc=0)
   1048 ni + 0000000000007FFF & 0000000000000080 = 0000000000007FFF (cc=0)
   1049 ni + 0000000000008000 & 0000000000000080 = 0000000000008000 (cc=0)
   1050 ni + 00000000FFFFFFFF & 0000000000000080 = 00000000FFFFFFFF (cc=0)
   1051 ni + 0000000080000000 & 0000000000000080 = 0000000080000000 (cc=0)
   1052 ni + 000000007FFFFFFF & 0000000000000080 = 000000007FFFFFFF (cc=0)
   1053 ni + AAAAAAAAAAAAAAAA & 0000000000000080 = 80AAAAAAAAAAAAAA (cc=1)
   1054 ni + 8000000000000000 & 0000000000000080 = 8000000000000000 (cc=1)
   1055 ni + FFFFFFFFFFFFFFFF & 0000000000000080 = 80FFFFFFFFFFFFFF (cc=1)
   1056 ni + 5555555555555555 & 0000000000000080 = 0055555555555555 (cc=0)
   1057 ni + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1058 ni + 0000000000000001 & 00000000000000AA = 0000000000000001 (cc=0)
   1059 ni + 000000000000FFFF & 00000000000000AA = 000000000000FFFF (cc=0)
   1060 ni + 0000000000007FFF & 00000000000000AA = 0000000000007FFF (cc=0)
   1061 ni + 0000000000008000 & 00000000000000AA = 0000000000008000 (cc=0)
   1062 ni + 00000000FFFFFFFF & 00000000000000AA = 00000000FFFFFFFF (cc=0)
   1063 ni + 0000000080000000 & 00000000000000AA = 0000000080000000 (cc=0)
   1064 ni + 000000007FFFFFFF & 00000000000000AA = 000000007FFFFFFF (cc=0)
   1065 ni + AAAAAAAAAAAAAAAA & 00000000000000AA = AAAAAAAAAAAAAAAA (cc=1)
   1066 ni + 8000000000000000 & 00000000000000AA = 8000000000000000 (cc=1)
   1067 ni + FFFFFFFFFFFFFFFF & 00000000000000AA = AAFFFFFFFFFFFFFF (cc=1)
   1068 ni + 5555555555555555 & 00000000000000AA = 0055555555555555 (cc=0)
   1069 ni + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1070 ni + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=0)
   1071 ni + 000000000000FFFF & 0000000000000055 = 000000000000FFFF (cc=0)
   1072 ni + 0000000000007FFF & 0000000000000055 = 0000000000007FFF (cc=0)
   1073 ni + 0000000000008000 & 0000000000000055 = 0000000000008000 (cc=0)
   1074 ni + 00000000FFFFFFFF & 0000000000000055 = 00000000FFFFFFFF (cc=0)
   1075 ni + 0000000080000000 & 0000000000000055 = 0000000080000000 (cc=0)
   1076 ni + 000000007FFFFFFF & 0000000000000055 = 000000007FFFFFFF (cc=0)
   1077 ni + AAAAAAAAAAAAAAAA & 0000000000000055 = 00AAAAAAAAAAAAAA (cc=0)
   1078 ni + 8000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1079 ni + FFFFFFFFFFFFFFFF & 0000000000000055 = 55FFFFFFFFFFFFFF (cc=1)
   1080 ni + 5555555555555555 & 0000000000000055 = 5555555555555555 (cc=1)
   1081 niy + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1082 niy + 0000000000000001 & 0000000000000000 = 0000000000000001 (cc=0)
   1083 niy + 000000000000FFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1084 niy + 0000000000007FFF & 0000000000000000 = 0000000000007FFF (cc=0)
   1085 niy + 0000000000008000 & 0000000000000000 = 0000000000008000 (cc=0)
   1086 niy + 00000000FFFFFFFF & 0000000000000000 = 00000000FFFFFFFF (cc=0)
   1087 niy + 0000000080000000 & 0000000000000000 = 0000000080000000 (cc=0)
   1088 niy + 000000007FFFFFFF & 0000000000000000 = 000000007FFFFFFF (cc=0)
   1089 niy + AAAAAAAAAAAAAAAA & 0000000000000000 = 00AAAAAAAAAAAAAA (cc=0)
   1090 niy + 8000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1091 niy + FFFFFFFFFFFFFFFF & 0000000000000000 = 00FFFFFFFFFFFFFF (cc=0)
   1092 niy + 5555555555555555 & 0000000000000000 = 0055555555555555 (cc=0)
   1093 niy + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1094 niy + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=0)
   1095 niy + 000000000000FFFF & 00000000000000FF = 000000000000FFFF (cc=0)
   1096 niy + 0000000000007FFF & 00000000000000FF = 0000000000007FFF (cc=0)
   1097 niy + 0000000000008000 & 00000000000000FF = 0000000000008000 (cc=0)
   1098 niy + 00000000FFFFFFFF & 00000000000000FF = 00000000FFFFFFFF (cc=0)
   1099 niy + 0000000080000000 & 00000000000000FF = 0000000080000000 (cc=0)
   1100 niy + 000000007FFFFFFF & 00000000000000FF = 000000007FFFFFFF (cc=0)
   1101 niy + AAAAAAAAAAAAAAAA & 00000000000000FF = AAAAAAAAAAAAAAAA (cc=1)
   1102 niy + 8000000000000000 & 00000000000000FF = 8000000000000000 (cc=1)
   1103 niy + FFFFFFFFFFFFFFFF & 00000000000000FF = FFFFFFFFFFFFFFFF (cc=1)
   1104 niy + 5555555555555555 & 00000000000000FF = 5555555555555555 (cc=1)
   1105 niy + 0000000000000000 & 0000000000000080 = 0000000000000000 (cc=0)
   1106 niy + 0000000000000001 & 0000000000000080 = 0000000000000001 (cc=0)
   1107 niy + 000000000000FFFF & 0000000000000080 = 000000000000FFFF (cc=0)
   1108 niy + 0000000000007FFF & 0000000000000080 = 0000000000007FFF (cc=0)
   1109 niy + 0000000000008000 & 0000000000000080 = 0000000000008000 (cc=0)
   1110 niy + 00000000FFFFFFFF & 0000000000000080 = 00000000FFFFFFFF (cc=0)
   1111 niy + 0000000080000000 & 0000000000000080 = 0000000080000000 (cc=0)
   1112 niy + 000000007FFFFFFF & 0000000000000080 = 000000007FFFFFFF (cc=0)
   1113 niy + AAAAAAAAAAAAAAAA & 0000000000000080 = 80AAAAAAAAAAAAAA (cc=1)
   1114 niy + 8000000000000000 & 0000000000000080 = 8000000000000000 (cc=1)
   1115 niy + FFFFFFFFFFFFFFFF & 0000000000000080 = 80FFFFFFFFFFFFFF (cc=1)
   1116 niy + 5555555555555555 & 0000000000000080 = 0055555555555555 (cc=0)
   1117 niy + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1118 niy + 0000000000000001 & 00000000000000AA = 0000000000000001 (cc=0)
   1119 niy + 000000000000FFFF & 00000000000000AA = 000000000000FFFF (cc=0)
   1120 niy + 0000000000007FFF & 00000000000000AA = 0000000000007FFF (cc=0)
   1121 niy + 0000000000008000 & 00000000000000AA = 0000000000008000 (cc=0)
   1122 niy + 00000000FFFFFFFF & 00000000000000AA = 00000000FFFFFFFF (cc=0)
   1123 niy + 0000000080000000 & 00000000000000AA = 0000000080000000 (cc=0)
   1124 niy + 000000007FFFFFFF & 00000000000000AA = 000000007FFFFFFF (cc=0)
   1125 niy + AAAAAAAAAAAAAAAA & 00000000000000AA = AAAAAAAAAAAAAAAA (cc=1)
   1126 niy + 8000000000000000 & 00000000000000AA = 8000000000000000 (cc=1)
   1127 niy + FFFFFFFFFFFFFFFF & 00000000000000AA = AAFFFFFFFFFFFFFF (cc=1)
   1128 niy + 5555555555555555 & 00000000000000AA = 0055555555555555 (cc=0)
   1129 niy + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1130 niy + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=0)
   1131 niy + 000000000000FFFF & 0000000000000055 = 000000000000FFFF (cc=0)
   1132 niy + 0000000000007FFF & 0000000000000055 = 0000000000007FFF (cc=0)
   1133 niy + 0000000000008000 & 0000000000000055 = 0000000000008000 (cc=0)
   1134 niy + 00000000FFFFFFFF & 0000000000000055 = 00000000FFFFFFFF (cc=0)
   1135 niy + 0000000080000000 & 0000000000000055 = 0000000080000000 (cc=0)
   1136 niy + 000000007FFFFFFF & 0000000000000055 = 000000007FFFFFFF (cc=0)
   1137 niy + AAAAAAAAAAAAAAAA & 0000000000000055 = 00AAAAAAAAAAAAAA (cc=0)
   1138 niy + 8000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1139 niy + FFFFFFFFFFFFFFFF & 0000000000000055 = 55FFFFFFFFFFFFFF (cc=1)
   1140 niy + 5555555555555555 & 0000000000000055 = 5555555555555555 (cc=1)
   1141 nihh + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1142 nihh + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=0)
   1143 nihh + 000000000000FFFF & 0000000000000055 = 000000000000FFFF (cc=0)
   1144 nihh + 0000000000007FFF & 0000000000000055 = 0000000000007FFF (cc=0)
   1145 nihh + 0000000000008000 & 0000000000000055 = 0000000000008000 (cc=0)
   1146 nihh + 00000000FFFFFFFF & 0000000000000055 = 00000000FFFFFFFF (cc=0)
   1147 nihh + 0000000080000000 & 0000000000000055 = 0000000080000000 (cc=0)
   1148 nihh + 000000007FFFFFFF & 0000000000000055 = 000000007FFFFFFF (cc=0)
   1149 nihh + AAAAAAAAAAAAAAAA & 0000000000000055 = 0000AAAAAAAAAAAA (cc=0)
   1150 nihh + 8000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1151 nihh + FFFFFFFFFFFFFFFF & 0000000000000055 = 0055FFFFFFFFFFFF (cc=1)
   1152 nihh + 5555555555555555 & 0000000000000055 = 0055555555555555 (cc=1)
   1153 nihl + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1154 nihl + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=0)
   1155 nihl + 000000000000FFFF & 0000000000000055 = 000000000000FFFF (cc=0)
   1156 nihl + 0000000000007FFF & 0000000000000055 = 0000000000007FFF (cc=0)
   1157 nihl + 0000000000008000 & 0000000000000055 = 0000000000008000 (cc=0)
   1158 nihl + 00000000FFFFFFFF & 0000000000000055 = 00000000FFFFFFFF (cc=0)
   1159 nihl + 0000000080000000 & 0000000000000055 = 0000000080000000 (cc=0)
   1160 nihl + 000000007FFFFFFF & 0000000000000055 = 000000007FFFFFFF (cc=0)
   1161 nihl + AAAAAAAAAAAAAAAA & 0000000000000055 = AAAA0000AAAAAAAA (cc=0)
   1162 nihl + 8000000000000000 & 0000000000000055 = 8000000000000000 (cc=0)
   1163 nihl + FFFFFFFFFFFFFFFF & 0000000000000055 = FFFF0055FFFFFFFF (cc=1)
   1164 nihl + 5555555555555555 & 0000000000000055 = 5555005555555555 (cc=1)
   1165 nilh + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1166 nilh + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=0)
   1167 nilh + 000000000000FFFF & 0000000000000055 = 000000000000FFFF (cc=0)
   1168 nilh + 0000000000007FFF & 0000000000000055 = 0000000000007FFF (cc=0)
   1169 nilh + 0000000000008000 & 0000000000000055 = 0000000000008000 (cc=0)
   1170 nilh + 00000000FFFFFFFF & 0000000000000055 = 000000000055FFFF (cc=1)
   1171 nilh + 0000000080000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1172 nilh + 000000007FFFFFFF & 0000000000000055 = 000000000055FFFF (cc=1)
   1173 nilh + AAAAAAAAAAAAAAAA & 0000000000000055 = AAAAAAAA0000AAAA (cc=0)
   1174 nilh + 8000000000000000 & 0000000000000055 = 8000000000000000 (cc=0)
   1175 nilh + FFFFFFFFFFFFFFFF & 0000000000000055 = FFFFFFFF0055FFFF (cc=1)
   1176 nilh + 5555555555555555 & 0000000000000055 = 5555555500555555 (cc=1)
   1177 nill + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0)
   1178 nill + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=1)
   1179 nill + 000000000000FFFF & 0000000000000055 = 0000000000000055 (cc=1)
   1180 nill + 0000000000007FFF & 0000000000000055 = 0000000000000055 (cc=1)
   1181 nill + 0000000000008000 & 0000000000000055 = 0000000000000000 (cc=0)
   1182 nill + 00000000FFFFFFFF & 0000000000000055 = 00000000FFFF0055 (cc=1)
   1183 nill + 0000000080000000 & 0000000000000055 = 0000000080000000 (cc=0)
   1184 nill + 000000007FFFFFFF & 0000000000000055 = 000000007FFF0055 (cc=1)
   1185 nill + AAAAAAAAAAAAAAAA & 0000000000000055 = AAAAAAAAAAAA0000 (cc=0)
   1186 nill + 8000000000000000 & 0000000000000055 = 8000000000000000 (cc=0)
   1187 nill + FFFFFFFFFFFFFFFF & 0000000000000055 = FFFFFFFFFFFF0055 (cc=1)
   1188 nill + 5555555555555555 & 0000000000000055 = 5555555555550055 (cc=1)
   1189 nihh + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1190 nihh + 0000000000000001 & 00000000000000AA = 0000000000000001 (cc=0)
   1191 nihh + 000000000000FFFF & 00000000000000AA = 000000000000FFFF (cc=0)
   1192 nihh + 0000000000007FFF & 00000000000000AA = 0000000000007FFF (cc=0)
   1193 nihh + 0000000000008000 & 00000000000000AA = 0000000000008000 (cc=0)
   1194 nihh + 00000000FFFFFFFF & 00000000000000AA = 00000000FFFFFFFF (cc=0)
   1195 nihh + 0000000080000000 & 00000000000000AA = 0000000080000000 (cc=0)
   1196 nihh + 000000007FFFFFFF & 00000000000000AA = 000000007FFFFFFF (cc=0)
   1197 nihh + AAAAAAAAAAAAAAAA & 00000000000000AA = 00AAAAAAAAAAAAAA (cc=1)
   1198 nihh + 8000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1199 nihh + FFFFFFFFFFFFFFFF & 00000000000000AA = 00AAFFFFFFFFFFFF (cc=1)
   1200 nihh + 5555555555555555 & 00000000000000AA = 0000555555555555 (cc=0)
   1201 nihl + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1202 nihl + 0000000000000001 & 00000000000000AA = 0000000000000001 (cc=0)
   1203 nihl + 000000000000FFFF & 00000000000000AA = 000000000000FFFF (cc=0)
   1204 nihl + 0000000000007FFF & 00000000000000AA = 0000000000007FFF (cc=0)
   1205 nihl + 0000000000008000 & 00000000000000AA = 0000000000008000 (cc=0)
   1206 nihl + 00000000FFFFFFFF & 00000000000000AA = 00000000FFFFFFFF (cc=0)
   1207 nihl + 0000000080000000 & 00000000000000AA = 0000000080000000 (cc=0)
   1208 nihl + 000000007FFFFFFF & 00000000000000AA = 000000007FFFFFFF (cc=0)
   1209 nihl + AAAAAAAAAAAAAAAA & 00000000000000AA = AAAA00AAAAAAAAAA (cc=1)
   1210 nihl + 8000000000000000 & 00000000000000AA = 8000000000000000 (cc=0)
   1211 nihl + FFFFFFFFFFFFFFFF & 00000000000000AA = FFFF00AAFFFFFFFF (cc=1)
   1212 nihl + 5555555555555555 & 00000000000000AA = 5555000055555555 (cc=0)
   1213 nilh + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1214 nilh + 0000000000000001 & 00000000000000AA = 0000000000000001 (cc=0)
   1215 nilh + 000000000000FFFF & 00000000000000AA = 000000000000FFFF (cc=0)
   1216 nilh + 0000000000007FFF & 00000000000000AA = 0000000000007FFF (cc=0)
   1217 nilh + 0000000000008000 & 00000000000000AA = 0000000000008000 (cc=0)
   1218 nilh + 00000000FFFFFFFF & 00000000000000AA = 0000000000AAFFFF (cc=1)
   1219 nilh + 0000000080000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1220 nilh + 000000007FFFFFFF & 00000000000000AA = 0000000000AAFFFF (cc=1)
   1221 nilh + AAAAAAAAAAAAAAAA & 00000000000000AA = AAAAAAAA00AAAAAA (cc=1)
   1222 nilh + 8000000000000000 & 00000000000000AA = 8000000000000000 (cc=0)
   1223 nilh + FFFFFFFFFFFFFFFF & 00000000000000AA = FFFFFFFF00AAFFFF (cc=1)
   1224 nilh + 5555555555555555 & 00000000000000AA = 5555555500005555 (cc=0)
   1225 nill + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0)
   1226 nill + 0000000000000001 & 00000000000000AA = 0000000000000000 (cc=0)
   1227 nill + 000000000000FFFF & 00000000000000AA = 00000000000000AA (cc=1)
   1228 nill + 0000000000007FFF & 00000000000000AA = 00000000000000AA (cc=1)
   1229 nill + 0000000000008000 & 00000000000000AA = 0000000000000000 (cc=0)
   1230 nill + 00000000FFFFFFFF & 00000000000000AA = 00000000FFFF00AA (cc=1)
   1231 nill + 0000000080000000 & 00000000000000AA = 0000000080000000 (cc=0)
   1232 nill + 000000007FFFFFFF & 00000000000000AA = 000000007FFF00AA (cc=1)
   1233 nill + AAAAAAAAAAAAAAAA & 00000000000000AA = AAAAAAAAAAAA00AA (cc=1)
   1234 nill + 8000000000000000 & 00000000000000AA = 8000000000000000 (cc=0)
   1235 nill + FFFFFFFFFFFFFFFF & 00000000000000AA = FFFFFFFFFFFF00AA (cc=1)
   1236 nill + 5555555555555555 & 00000000000000AA = 5555555555550000 (cc=0)
   1237 nihh + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1238 nihh + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=0)
   1239 nihh + 000000000000FFFF & 00000000000000FF = 000000000000FFFF (cc=0)
   1240 nihh + 0000000000007FFF & 00000000000000FF = 0000000000007FFF (cc=0)
   1241 nihh + 0000000000008000 & 00000000000000FF = 0000000000008000 (cc=0)
   1242 nihh + 00000000FFFFFFFF & 00000000000000FF = 00000000FFFFFFFF (cc=0)
   1243 nihh + 0000000080000000 & 00000000000000FF = 0000000080000000 (cc=0)
   1244 nihh + 000000007FFFFFFF & 00000000000000FF = 000000007FFFFFFF (cc=0)
   1245 nihh + AAAAAAAAAAAAAAAA & 00000000000000FF = 00AAAAAAAAAAAAAA (cc=1)
   1246 nihh + 8000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1247 nihh + FFFFFFFFFFFFFFFF & 00000000000000FF = 00FFFFFFFFFFFFFF (cc=1)
   1248 nihh + 5555555555555555 & 00000000000000FF = 0055555555555555 (cc=1)
   1249 nihl + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1250 nihl + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=0)
   1251 nihl + 000000000000FFFF & 00000000000000FF = 000000000000FFFF (cc=0)
   1252 nihl + 0000000000007FFF & 00000000000000FF = 0000000000007FFF (cc=0)
   1253 nihl + 0000000000008000 & 00000000000000FF = 0000000000008000 (cc=0)
   1254 nihl + 00000000FFFFFFFF & 00000000000000FF = 00000000FFFFFFFF (cc=0)
   1255 nihl + 0000000080000000 & 00000000000000FF = 0000000080000000 (cc=0)
   1256 nihl + 000000007FFFFFFF & 00000000000000FF = 000000007FFFFFFF (cc=0)
   1257 nihl + AAAAAAAAAAAAAAAA & 00000000000000FF = AAAA00AAAAAAAAAA (cc=1)
   1258 nihl + 8000000000000000 & 00000000000000FF = 8000000000000000 (cc=0)
   1259 nihl + FFFFFFFFFFFFFFFF & 00000000000000FF = FFFF00FFFFFFFFFF (cc=1)
   1260 nihl + 5555555555555555 & 00000000000000FF = 5555005555555555 (cc=1)
   1261 nilh + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1262 nilh + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=0)
   1263 nilh + 000000000000FFFF & 00000000000000FF = 000000000000FFFF (cc=0)
   1264 nilh + 0000000000007FFF & 00000000000000FF = 0000000000007FFF (cc=0)
   1265 nilh + 0000000000008000 & 00000000000000FF = 0000000000008000 (cc=0)
   1266 nilh + 00000000FFFFFFFF & 00000000000000FF = 0000000000FFFFFF (cc=1)
   1267 nilh + 0000000080000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1268 nilh + 000000007FFFFFFF & 00000000000000FF = 0000000000FFFFFF (cc=1)
   1269 nilh + AAAAAAAAAAAAAAAA & 00000000000000FF = AAAAAAAA00AAAAAA (cc=1)
   1270 nilh + 8000000000000000 & 00000000000000FF = 8000000000000000 (cc=0)
   1271 nilh + FFFFFFFFFFFFFFFF & 00000000000000FF = FFFFFFFF00FFFFFF (cc=1)
   1272 nilh + 5555555555555555 & 00000000000000FF = 5555555500555555 (cc=1)
   1273 nill + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0)
   1274 nill + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=1)
   1275 nill + 000000000000FFFF & 00000000000000FF = 00000000000000FF (cc=1)
   1276 nill + 0000000000007FFF & 00000000000000FF = 00000000000000FF (cc=1)
   1277 nill + 0000000000008000 & 00000000000000FF = 0000000000000000 (cc=0)
   1278 nill + 00000000FFFFFFFF & 00000000000000FF = 00000000FFFF00FF (cc=1)
   1279 nill + 0000000080000000 & 00000000000000FF = 0000000080000000 (cc=0)
   1280 nill + 000000007FFFFFFF & 00000000000000FF = 000000007FFF00FF (cc=1)
   1281 nill + AAAAAAAAAAAAAAAA & 00000000000000FF = AAAAAAAAAAAA00AA (cc=1)
   1282 nill + 8000000000000000 & 00000000000000FF = 8000000000000000 (cc=0)
   1283 nill + FFFFFFFFFFFFFFFF & 00000000000000FF = FFFFFFFFFFFF00FF (cc=1)
   1284 nill + 5555555555555555 & 00000000000000FF = 5555555555550055 (cc=1)
   1285 nihh + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1286 nihh + 0000000000000001 & 0000000000000000 = 0000000000000001 (cc=0)
   1287 nihh + 000000000000FFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1288 nihh + 0000000000007FFF & 0000000000000000 = 0000000000007FFF (cc=0)
   1289 nihh + 0000000000008000 & 0000000000000000 = 0000000000008000 (cc=0)
   1290 nihh + 00000000FFFFFFFF & 0000000000000000 = 00000000FFFFFFFF (cc=0)
   1291 nihh + 0000000080000000 & 0000000000000000 = 0000000080000000 (cc=0)
   1292 nihh + 000000007FFFFFFF & 0000000000000000 = 000000007FFFFFFF (cc=0)
   1293 nihh + AAAAAAAAAAAAAAAA & 0000000000000000 = 0000AAAAAAAAAAAA (cc=0)
   1294 nihh + 8000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1295 nihh + FFFFFFFFFFFFFFFF & 0000000000000000 = 0000FFFFFFFFFFFF (cc=0)
   1296 nihh + 5555555555555555 & 0000000000000000 = 0000555555555555 (cc=0)
   1297 nihl + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1298 nihl + 0000000000000001 & 0000000000000000 = 0000000000000001 (cc=0)
   1299 nihl + 000000000000FFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1300 nihl + 0000000000007FFF & 0000000000000000 = 0000000000007FFF (cc=0)
   1301 nihl + 0000000000008000 & 0000000000000000 = 0000000000008000 (cc=0)
   1302 nihl + 00000000FFFFFFFF & 0000000000000000 = 00000000FFFFFFFF (cc=0)
   1303 nihl + 0000000080000000 & 0000000000000000 = 0000000080000000 (cc=0)
   1304 nihl + 000000007FFFFFFF & 0000000000000000 = 000000007FFFFFFF (cc=0)
   1305 nihl + AAAAAAAAAAAAAAAA & 0000000000000000 = AAAA0000AAAAAAAA (cc=0)
   1306 nihl + 8000000000000000 & 0000000000000000 = 8000000000000000 (cc=0)
   1307 nihl + FFFFFFFFFFFFFFFF & 0000000000000000 = FFFF0000FFFFFFFF (cc=0)
   1308 nihl + 5555555555555555 & 0000000000000000 = 5555000055555555 (cc=0)
   1309 nilh + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1310 nilh + 0000000000000001 & 0000000000000000 = 0000000000000001 (cc=0)
   1311 nilh + 000000000000FFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1312 nilh + 0000000000007FFF & 0000000000000000 = 0000000000007FFF (cc=0)
   1313 nilh + 0000000000008000 & 0000000000000000 = 0000000000008000 (cc=0)
   1314 nilh + 00000000FFFFFFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1315 nilh + 0000000080000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1316 nilh + 000000007FFFFFFF & 0000000000000000 = 000000000000FFFF (cc=0)
   1317 nilh + AAAAAAAAAAAAAAAA & 0000000000000000 = AAAAAAAA0000AAAA (cc=0)
   1318 nilh + 8000000000000000 & 0000000000000000 = 8000000000000000 (cc=0)
   1319 nilh + FFFFFFFFFFFFFFFF & 0000000000000000 = FFFFFFFF0000FFFF (cc=0)
   1320 nilh + 5555555555555555 & 0000000000000000 = 5555555500005555 (cc=0)
   1321 nill + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0)
   1322 nill + 0000000000000001 & 0000000000000000 = 0000000000000000 (cc=0)
   1323 nill + 000000000000FFFF & 0000000000000000 = 0000000000000000 (cc=0)
   1324 nill + 0000000000007FFF & 0000000000000000 = 0000000000000000 (cc=0)
   1325 nill + 0000000000008000 & 0000000000000000 = 0000000000000000 (cc=0)
   1326 nill + 00000000FFFFFFFF & 0000000000000000 = 00000000FFFF0000 (cc=0)
   1327 nill + 0000000080000000 & 0000000000000000 = 0000000080000000 (cc=0)
   1328 nill + 000000007FFFFFFF & 0000000000000000 = 000000007FFF0000 (cc=0)
   1329 nill + AAAAAAAAAAAAAAAA & 0000000000000000 = AAAAAAAAAAAA0000 (cc=0)
   1330 nill + 8000000000000000 & 0000000000000000 = 8000000000000000 (cc=0)
   1331 nill + FFFFFFFFFFFFFFFF & 0000000000000000 = FFFFFFFFFFFF0000 (cc=0)
   1332 nill + 5555555555555555 & 0000000000000000 = 5555555555550000 (cc=0)
   1333 nihh + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1334 nihh + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=0)
   1335 nihh + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=0)
   1336 nihh + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=0)
   1337 nihh + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=0)
   1338 nihh + 00000000FFFFFFFF & 000000000000FFFF = 00000000FFFFFFFF (cc=0)
   1339 nihh + 0000000080000000 & 000000000000FFFF = 0000000080000000 (cc=0)
   1340 nihh + 000000007FFFFFFF & 000000000000FFFF = 000000007FFFFFFF (cc=0)
   1341 nihh + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
   1342 nihh + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=1)
   1343 nihh + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
   1344 nihh + 5555555555555555 & 000000000000FFFF = 5555555555555555 (cc=1)
   1345 nihl + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1346 nihl + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=0)
   1347 nihl + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=0)
   1348 nihl + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=0)
   1349 nihl + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=0)
   1350 nihl + 00000000FFFFFFFF & 000000000000FFFF = 00000000FFFFFFFF (cc=0)
   1351 nihl + 0000000080000000 & 000000000000FFFF = 0000000080000000 (cc=0)
   1352 nihl + 000000007FFFFFFF & 000000000000FFFF = 000000007FFFFFFF (cc=0)
   1353 nihl + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
   1354 nihl + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
   1355 nihl + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
   1356 nihl + 5555555555555555 & 000000000000FFFF = 5555555555555555 (cc=1)
   1357 nilh + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1358 nilh + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=0)
   1359 nilh + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=0)
   1360 nilh + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=0)
   1361 nilh + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=0)
   1362 nilh + 00000000FFFFFFFF & 000000000000FFFF = 00000000FFFFFFFF (cc=1)
   1363 nilh + 0000000080000000 & 000000000000FFFF = 0000000080000000 (cc=1)
   1364 nilh + 000000007FFFFFFF & 000000000000FFFF = 000000007FFFFFFF (cc=1)
   1365 nilh + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
   1366 nilh + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
   1367 nilh + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
   1368 nilh + 5555555555555555 & 000000000000FFFF = 5555555555555555 (cc=1)
   1369 nill + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0)
   1370 nill + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=1)
   1371 nill + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=1)
   1372 nill + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=1)
   1373 nill + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=1)
   1374 nill + 00000000FFFFFFFF & 000000000000FFFF = 00000000FFFFFFFF (cc=1)
   1375 nill + 0000000080000000 & 000000000000FFFF = 0000000080000000 (cc=0)
   1376 nill + 000000007FFFFFFF & 000000000000FFFF = 000000007FFFFFFF (cc=1)
   1377 nill + AAAAAAAAAAAAAAAA & 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
   1378 nill + 8000000000000000 & 000000000000FFFF = 8000000000000000 (cc=0)
   1379 nill + FFFFFFFFFFFFFFFF & 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
   1380 nill + 5555555555555555 & 000000000000FFFF = 5555555555555555 (cc=1)
   1381 nihh + 0000000000000000 & 000000000000AAAA = 0000000000000000 (cc=0)
   1382 nihh + 0000000000000001 & 000000000000AAAA = 0000000000000001 (cc=0)
   1383 nihh + 000000000000FFFF & 000000000000AAAA = 000000000000FFFF (cc=0)
   1384 nihh + 0000000000007FFF & 000000000000AAAA = 0000000000007FFF (cc=0)
   1385 nihh + 0000000000008000 & 000000000000AAAA = 0000000000008000 (cc=0)
   1386 nihh + 00000000FFFFFFFF & 000000000000AAAA = 00000000FFFFFFFF (cc=0)
   1387 nihh + 0000000080000000 & 000000000000AAAA = 0000000080000000 (cc=0)
   1388 nihh + 000000007FFFFFFF & 000000000000AAAA = 000000007FFFFFFF (cc=0)
   1389 nihh + AAAAAAAAAAAAAAAA & 000000000000AAAA = AAAAAAAAAAAAAAAA (cc=1)
   1390 nihh + 8000000000000000 & 000000000000AAAA = 8000000000000000 (cc=1)
   1391 nihh + FFFFFFFFFFFFFFFF & 000000000000AAAA = AAAAFFFFFFFFFFFF (cc=1)
   1392 nihh + 5555555555555555 & 000000000000AAAA = 0000555555555555 (cc=0)
   1393 nihl + 0000000000000000 & 000000000000AAAA = 0000000000000000 (cc=0)
   1394 nihl + 0000000000000001 & 000000000000AAAA = 0000000000000001 (cc=0)
   1395 nihl + 000000000000FFFF & 000000000000AAAA = 000000000000FFFF (cc=0)
   1396 nihl + 0000000000007FFF & 000000000000AAAA = 0000000000007FFF (cc=0)
   1397 nihl + 0000000000008000 & 000000000000AAAA = 0000000000008000 (cc=0)
   1398 nihl + 00000000FFFFFFFF & 000000000000AAAA = 00000000FFFFFFFF (cc=0)
   1399 nihl + 0000000080000000 & 000000000000AAAA = 0000000080000000 (cc=0)
   1400 nihl + 000000007FFFFFFF & 000000000000AAAA = 000000007FFFFFFF (cc=0)
   1401 nihl + AAAAAAAAAAAAAAAA & 000000000000AAAA = AAAAAAAAAAAAAAAA (cc=1)
   1402 nihl + 8000000000000000 & 000000000000AAAA = 8000000000000000 (cc=0)
   1403 nihl + FFFFFFFFFFFFFFFF & 000000000000AAAA = FFFFAAAAFFFFFFFF (cc=1)
   1404 nihl + 5555555555555555 & 000000000000AAAA = 5555000055555555 (cc=0)
   1405 nilh + 0000000000000000 & 000000000000AAAA = 0000000000000000 (cc=0)
   1406 nilh + 0000000000000001 & 000000000000AAAA = 0000000000000001 (cc=0)
   1407 nilh + 000000000000FFFF & 000000000000AAAA = 000000000000FFFF (cc=0)
   1408 nilh + 0000000000007FFF & 000000000000AAAA = 0000000000007FFF (cc=0)
   1409 nilh + 0000000000008000 & 000000000000AAAA = 0000000000008000 (cc=0)
   1410 nilh + 00000000FFFFFFFF & 000000000000AAAA = 00000000AAAAFFFF (cc=1)
   1411 nilh + 0000000080000000 & 000000000000AAAA = 0000000080000000 (cc=1)
   1412 nilh + 000000007FFFFFFF & 000000000000AAAA = 000000002AAAFFFF (cc=1)
   1413 nilh + AAAAAAAAAAAAAAAA & 000000000000AAAA = AAAAAAAAAAAAAAAA (cc=1)
   1414 nilh + 8000000000000000 & 000000000000AAAA = 8000000000000000 (cc=0)
   1415 nilh + FFFFFFFFFFFFFFFF & 000000000000AAAA = FFFFFFFFAAAAFFFF (cc=1)
   1416 nilh + 5555555555555555 & 000000000000AAAA = 5555555500005555 (cc=0)
   1417 nill + 0000000000000000 & 000000000000AAAA = 0000000000000000 (cc=0)
   1418 nill + 0000000000000001 & 000000000000AAAA = 0000000000000000 (cc=0)
   1419 nill + 000000000000FFFF & 000000000000AAAA = 000000000000AAAA (cc=1)
   1420 nill + 0000000000007FFF & 000000000000AAAA = 0000000000002AAA (cc=1)
   1421 nill + 0000000000008000 & 000000000000AAAA = 0000000000008000 (cc=1)
   1422 nill + 00000000FFFFFFFF & 000000000000AAAA = 00000000FFFFAAAA (cc=1)
   1423 nill + 0000000080000000 & 000000000000AAAA = 0000000080000000 (cc=0)
   1424 nill + 000000007FFFFFFF & 000000000000AAAA = 000000007FFFAAAA (cc=1)
   1425 nill + AAAAAAAAAAAAAAAA & 000000000000AAAA = AAAAAAAAAAAAAAAA (cc=1)
   1426 nill + 8000000000000000 & 000000000000AAAA = 8000000000000000 (cc=0)
   1427 nill + FFFFFFFFFFFFFFFF & 000000000000AAAA = FFFFFFFFFFFFAAAA (cc=1)
   1428 nill + 5555555555555555 & 000000000000AAAA = 5555555555550000 (cc=0)
   1429 nihh + 0000000000000000 & 0000000000005555 = 0000000000000000 (cc=0)
   1430 nihh + 0000000000000001 & 0000000000005555 = 0000000000000001 (cc=0)
   1431 nihh + 000000000000FFFF & 0000000000005555 = 000000000000FFFF (cc=0)
   1432 nihh + 0000000000007FFF & 0000000000005555 = 0000000000007FFF (cc=0)
   1433 nihh + 0000000000008000 & 0000000000005555 = 0000000000008000 (cc=0)
   1434 nihh + 00000000FFFFFFFF & 0000000000005555 = 00000000FFFFFFFF (cc=0)
   1435 nihh + 0000000080000000 & 0000000000005555 = 0000000080000000 (cc=0)
   1436 nihh + 000000007FFFFFFF & 0000000000005555 = 000000007FFFFFFF (cc=0)
   1437 nihh + AAAAAAAAAAAAAAAA & 0000000000005555 = 0000AAAAAAAAAAAA (cc=0)
   1438 nihh + 8000000000000000 & 0000000000005555 = 0000000000000000 (cc=0)
   1439 nihh + FFFFFFFFFFFFFFFF & 0000000000005555 = 5555FFFFFFFFFFFF (cc=1)
   1440 nihh + 5555555555555555 & 0000000000005555 = 5555555555555555 (cc=1)
   1441 nihl + 0000000000000000 & 0000000000005555 = 0000000000000000 (cc=0)
   1442 nihl + 0000000000000001 & 0000000000005555 = 0000000000000001 (cc=0)
   1443 nihl + 000000000000FFFF & 0000000000005555 = 000000000000FFFF (cc=0)
   1444 nihl + 0000000000007FFF & 0000000000005555 = 0000000000007FFF (cc=0)
   1445 nihl + 0000000000008000 & 0000000000005555 = 0000000000008000 (cc=0)
   1446 nihl + 00000000FFFFFFFF & 0000000000005555 = 00000000FFFFFFFF (cc=0)
   1447 nihl + 0000000080000000 & 0000000000005555 = 0000000080000000 (cc=0)
   1448 nihl + 000000007FFFFFFF & 0000000000005555 = 000000007FFFFFFF (cc=0)
   1449 nihl + AAAAAAAAAAAAAAAA & 0000000000005555 = AAAA0000AAAAAAAA (cc=0)
   1450 nihl + 8000000000000000 & 0000000000005555 = 8000000000000000 (cc=0)
   1451 nihl + FFFFFFFFFFFFFFFF & 0000000000005555 = FFFF5555FFFFFFFF (cc=1)
   1452 nihl + 5555555555555555 & 0000000000005555 = 5555555555555555 (cc=1)
   1453 nilh + 0000000000000000 & 0000000000005555 = 0000000000000000 (cc=0)
   1454 nilh + 0000000000000001 & 0000000000005555 = 0000000000000001 (cc=0)
   1455 nilh + 000000000000FFFF & 0000000000005555 = 000000000000FFFF (cc=0)
   1456 nilh + 0000000000007FFF & 0000000000005555 = 0000000000007FFF (cc=0)
   1457 nilh + 0000000000008000 & 0000000000005555 = 0000000000008000 (cc=0)
   1458 nilh + 00000000FFFFFFFF & 0000000000005555 = 000000005555FFFF (cc=1)
   1459 nilh + 0000000080000000 & 0000000000005555 = 0000000000000000 (cc=0)
   1460 nilh + 000000007FFFFFFF & 0000000000005555 = 000000005555FFFF (cc=1)
   1461 nilh + AAAAAAAAAAAAAAAA & 0000000000005555 = AAAAAAAA0000AAAA (cc=0)
   1462 nilh + 8000000000000000 & 0000000000005555 = 8000000000000000 (cc=0)
   1463 nilh + FFFFFFFFFFFFFFFF & 0000000000005555 = FFFFFFFF5555FFFF (cc=1)
   1464 nilh + 5555555555555555 & 0000000000005555 = 5555555555555555 (cc=1)
   1465 nill + 0000000000000000 & 0000000000005555 = 0000000000000000 (cc=0)
   1466 nill + 0000000000000001 & 0000000000005555 = 0000000000000001 (cc=1)
   1467 nill + 000000000000FFFF & 0000000000005555 = 0000000000005555 (cc=1)
   1468 nill + 0000000000007FFF & 0000000000005555 = 0000000000005555 (cc=1)
   1469 nill + 0000000000008000 & 0000000000005555 = 0000000000000000 (cc=0)
   1470 nill + 00000000FFFFFFFF & 0000000000005555 = 00000000FFFF5555 (cc=1)
   1471 nill + 0000000080000000 & 0000000000005555 = 0000000080000000 (cc=0)
   1472 nill + 000000007FFFFFFF & 0000000000005555 = 000000007FFF5555 (cc=1)
   1473 nill + AAAAAAAAAAAAAAAA & 0000000000005555 = AAAAAAAAAAAA0000 (cc=0)
   1474 nill + 8000000000000000 & 0000000000005555 = 8000000000000000 (cc=0)
   1475 nill + FFFFFFFFFFFFFFFF & 0000000000005555 = FFFFFFFFFFFF5555 (cc=1)
   1476 nill + 5555555555555555 & 0000000000005555 = 5555555555555555 (cc=1)
   1477