none/tests/s390x/and.stdout.exp

   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)