l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/s390x/add_EI.stdout.exp

   1 AFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
   2 AFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=2)
   3 AFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=2)
   4 AFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=2)
   5 AFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=2)
   6 AFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
   7 AFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
   8 AFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=2)
   9 AFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
  10 AFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=0)
  11 AFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
  12 AFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
  13 AFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
  14 AFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
  15 AFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
  16 AFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
  17 AFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
  18 AFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=3)
  19 AFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
  20 AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
  21 AFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
  22 AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=1)
  23 AFI 0 + 0000000000000000 + FFFFFFFFFFFF8000 = 00000000FFFF8000 (cc=1)
  24 AFI 0 + 0000000000000001 + FFFFFFFFFFFF8000 = 00000000FFFF8001 (cc=1)
  25 AFI 0 + 000000000000FFFF + FFFFFFFFFFFF8000 = 0000000000007FFF (cc=2)
  26 AFI 0 + 0000000000007FFF + FFFFFFFFFFFF8000 = 00000000FFFFFFFF (cc=1)
  27 AFI 0 + 0000000000008000 + FFFFFFFFFFFF8000 = 0000000000000000 (cc=0)
  28 AFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFF8000 = 00000000FFFF7FFF (cc=1)
  29 AFI 0 + 0000000080000000 + FFFFFFFFFFFF8000 = 000000007FFF8000 (cc=3)
  30 AFI 0 + 000000007FFFFFFF + FFFFFFFFFFFF8000 = 000000007FFF7FFF (cc=2)
  31 AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = FFFFFFFFFFFF7FFF (cc=1)
  32 AFI 0 + 8000000000000000 + FFFFFFFFFFFF8000 = 80000000FFFF8000 (cc=1)
  33 AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = 7FFFFFFFFFFF7FFF (cc=1)
  34 AFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=2)
  35 AFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=2)
  36 AFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=2)
  37 AFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=2)
  38 AFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=2)
  39 AFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=2)
  40 AFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=1)
  41 AFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=3)
  42 AFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = FFFFFFFF00007FFE (cc=2)
  43 AFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=2)
  44 AFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 7FFFFFFF00007FFE (cc=2)
  45 AFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
  46 AFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
  47 AFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
  48 AFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
  49 AFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
  50 AFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
  51 AFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=3)
  52 AFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
  53 AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
  54 AFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
  55 AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=1)
  56 AFI 0 + 0000000000000000 + FFFFFFFF80000000 = 0000000080000000 (cc=1)
  57 AFI 0 + 0000000000000001 + FFFFFFFF80000000 = 0000000080000001 (cc=1)
  58 AFI 0 + 000000000000FFFF + FFFFFFFF80000000 = 000000008000FFFF (cc=1)
  59 AFI 0 + 0000000000007FFF + FFFFFFFF80000000 = 0000000080007FFF (cc=1)
  60 AFI 0 + 0000000000008000 + FFFFFFFF80000000 = 0000000080008000 (cc=1)
  61 AFI 0 + 00000000FFFFFFFF + FFFFFFFF80000000 = 000000007FFFFFFF (cc=3)
  62 AFI 0 + 0000000080000000 + FFFFFFFF80000000 = 0000000000000000 (cc=3)
  63 AFI 0 + 000000007FFFFFFF + FFFFFFFF80000000 = 00000000FFFFFFFF (cc=1)
  64 AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFF80000000 = FFFFFFFF7FFFFFFF (cc=3)
  65 AFI 0 + 8000000000000000 + FFFFFFFF80000000 = 8000000080000000 (cc=1)
  66 AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFF80000000 = 7FFFFFFF7FFFFFFF (cc=3)
  67 AFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=2)
  68 AFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=3)
  69 AFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=3)
  70 AFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=3)
  71 AFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=3)
  72 AFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=2)
  73 AFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
  74 AFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=3)
  75 AFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = FFFFFFFF7FFFFFFE (cc=2)
  76 AFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=2)
  77 AFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 7FFFFFFF7FFFFFFE (cc=2)
  78 AGFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
  79 AGFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=2)
  80 AGFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=2)
  81 AGFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=2)
  82 AGFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=2)
  83 AGFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=2)
  84 AGFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=2)
  85 AGFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=2)
  86 AGFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
  87 AGFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
  88 AGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=2)
  89 AGFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
  90 AGFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
  91 AGFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
  92 AGFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
  93 AGFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
  94 AGFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=2)
  95 AGFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=2)
  96 AGFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
  97 AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
  98 AGFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=3)
  99 AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=2)
 100 AGFI 0 + 0000000000000000 + FFFFFFFFFFFF8000 = FFFFFFFFFFFF8000 (cc=1)
 101 AGFI 0 + 0000000000000001 + FFFFFFFFFFFF8000 = FFFFFFFFFFFF8001 (cc=1)
 102 AGFI 0 + 000000000000FFFF + FFFFFFFFFFFF8000 = 0000000000007FFF (cc=2)
 103 AGFI 0 + 0000000000007FFF + FFFFFFFFFFFF8000 = FFFFFFFFFFFFFFFF (cc=1)
 104 AGFI 0 + 0000000000008000 + FFFFFFFFFFFF8000 = 0000000000000000 (cc=0)
 105 AGFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFF8000 = 00000000FFFF7FFF (cc=2)
 106 AGFI 0 + 0000000080000000 + FFFFFFFFFFFF8000 = 000000007FFF8000 (cc=2)
 107 AGFI 0 + 000000007FFFFFFF + FFFFFFFFFFFF8000 = 000000007FFF7FFF (cc=2)
 108 AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = FFFFFFFFFFFF7FFF (cc=1)
 109 AGFI 0 + 8000000000000000 + FFFFFFFFFFFF8000 = 7FFFFFFFFFFF8000 (cc=3)
 110 AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = 7FFFFFFFFFFF7FFF (cc=2)
 111 AGFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=2)
 112 AGFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=2)
 113 AGFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=2)
 114 AGFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=2)
 115 AGFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=2)
 116 AGFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000100007FFE (cc=2)
 117 AGFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=2)
 118 AGFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=2)
 119 AGFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=2)
 120 AGFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=1)
 121 AGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 8000000000007FFE (cc=3)
 122 AGFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
 123 AGFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
 124 AGFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
 125 AGFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
 126 AGFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
 127 AGFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=2)
 128 AGFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=2)
 129 AGFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
 130 AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
 131 AGFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=3)
 132 AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=2)
 133 AGFI 0 + 0000000000000000 + FFFFFFFF80000000 = FFFFFFFF80000000 (cc=1)
 134 AGFI 0 + 0000000000000001 + FFFFFFFF80000000 = FFFFFFFF80000001 (cc=1)
 135 AGFI 0 + 000000000000FFFF + FFFFFFFF80000000 = FFFFFFFF8000FFFF (cc=1)
 136 AGFI 0 + 0000000000007FFF + FFFFFFFF80000000 = FFFFFFFF80007FFF (cc=1)
 137 AGFI 0 + 0000000000008000 + FFFFFFFF80000000 = FFFFFFFF80008000 (cc=1)
 138 AGFI 0 + 00000000FFFFFFFF + FFFFFFFF80000000 = 000000007FFFFFFF (cc=2)
 139 AGFI 0 + 0000000080000000 + FFFFFFFF80000000 = 0000000000000000 (cc=0)
 140 AGFI 0 + 000000007FFFFFFF + FFFFFFFF80000000 = FFFFFFFFFFFFFFFF (cc=1)
 141 AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFF80000000 = FFFFFFFF7FFFFFFF (cc=1)
 142 AGFI 0 + 8000000000000000 + FFFFFFFF80000000 = 7FFFFFFF80000000 (cc=3)
 143 AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFF80000000 = 7FFFFFFF7FFFFFFF (cc=2)
 144 AGFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=2)
 145 AGFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=2)
 146 AGFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=2)
 147 AGFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=2)
 148 AGFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=2)
 149 AGFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000017FFFFFFE (cc=2)
 150 AGFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=2)
 151 AGFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=2)
 152 AGFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=2)
 153 AGFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
 154 AGFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 800000007FFFFFFE (cc=3)
 155 ALFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
 156 ALFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=1)
 157 ALFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=1)
 158 ALFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=1)
 159 ALFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=1)
 160 ALFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
 161 ALFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
 162 ALFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=1)
 163 ALFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
 164 ALFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=0)
 165 ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
 166 ALFI 0 + 0000000000000000 + 000000000000FFFF = 000000000000FFFF (cc=1)
 167 ALFI 0 + 0000000000000001 + 000000000000FFFF = 0000000000010000 (cc=1)
 168 ALFI 0 + 000000000000FFFF + 000000000000FFFF = 000000000001FFFE (cc=1)
 169 ALFI 0 + 0000000000007FFF + 000000000000FFFF = 0000000000017FFE (cc=1)
 170 ALFI 0 + 0000000000008000 + 000000000000FFFF = 0000000000017FFF (cc=1)
 171 ALFI 0 + 00000000FFFFFFFF + 000000000000FFFF = 000000000000FFFE (cc=3)
 172 ALFI 0 + 0000000080000000 + 000000000000FFFF = 000000008000FFFF (cc=1)
 173 ALFI 0 + 000000007FFFFFFF + 000000000000FFFF = 000000008000FFFE (cc=1)
 174 ALFI 0 + FFFFFFFFFFFFFFFF + 000000000000FFFF = FFFFFFFF0000FFFE (cc=3)
 175 ALFI 0 + 8000000000000000 + 000000000000FFFF = 800000000000FFFF (cc=1)
 176 ALFI 0 + 7FFFFFFFFFFFFFFF + 000000000000FFFF = 7FFFFFFF0000FFFE (cc=3)
 177 ALFI 0 + 0000000000000000 + 0000000000008000 = 0000000000008000 (cc=1)
 178 ALFI 0 + 0000000000000001 + 0000000000008000 = 0000000000008001 (cc=1)
 179 ALFI 0 + 000000000000FFFF + 0000000000008000 = 0000000000017FFF (cc=1)
 180 ALFI 0 + 0000000000007FFF + 0000000000008000 = 000000000000FFFF (cc=1)
 181 ALFI 0 + 0000000000008000 + 0000000000008000 = 0000000000010000 (cc=1)
 182 ALFI 0 + 00000000FFFFFFFF + 0000000000008000 = 0000000000007FFF (cc=3)
 183 ALFI 0 + 0000000080000000 + 0000000000008000 = 0000000080008000 (cc=1)
 184 ALFI 0 + 000000007FFFFFFF + 0000000000008000 = 0000000080007FFF (cc=1)
 185 ALFI 0 + FFFFFFFFFFFFFFFF + 0000000000008000 = FFFFFFFF00007FFF (cc=3)
 186 ALFI 0 + 8000000000000000 + 0000000000008000 = 8000000000008000 (cc=1)
 187 ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000000008000 = 7FFFFFFF00007FFF (cc=3)
 188 ALFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=1)
 189 ALFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=1)
 190 ALFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=1)
 191 ALFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=1)
 192 ALFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=1)
 193 ALFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=3)
 194 ALFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=1)
 195 ALFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=1)
 196 ALFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = FFFFFFFF00007FFE (cc=3)
 197 ALFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=1)
 198 ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 7FFFFFFF00007FFE (cc=3)
 199 ALFI 0 + 0000000000000000 + 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
 200 ALFI 0 + 0000000000000001 + 00000000FFFFFFFF = 0000000000000000 (cc=2)
 201 ALFI 0 + 000000000000FFFF + 00000000FFFFFFFF = 000000000000FFFE (cc=3)
 202 ALFI 0 + 0000000000007FFF + 00000000FFFFFFFF = 0000000000007FFE (cc=3)
 203 ALFI 0 + 0000000000008000 + 00000000FFFFFFFF = 0000000000007FFF (cc=3)
 204 ALFI 0 + 00000000FFFFFFFF + 00000000FFFFFFFF = 00000000FFFFFFFE (cc=3)
 205 ALFI 0 + 0000000080000000 + 00000000FFFFFFFF = 000000007FFFFFFF (cc=3)
 206 ALFI 0 + 000000007FFFFFFF + 00000000FFFFFFFF = 000000007FFFFFFE (cc=3)
 207 ALFI 0 + FFFFFFFFFFFFFFFF + 00000000FFFFFFFF = FFFFFFFFFFFFFFFE (cc=3)
 208 ALFI 0 + 8000000000000000 + 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
 209 ALFI 0 + 7FFFFFFFFFFFFFFF + 00000000FFFFFFFF = 7FFFFFFFFFFFFFFE (cc=3)
 210 ALFI 0 + 0000000000000000 + 0000000080000000 = 0000000080000000 (cc=1)
 211 ALFI 0 + 0000000000000001 + 0000000080000000 = 0000000080000001 (cc=1)
 212 ALFI 0 + 000000000000FFFF + 0000000080000000 = 000000008000FFFF (cc=1)
 213 ALFI 0 + 0000000000007FFF + 0000000080000000 = 0000000080007FFF (cc=1)
 214 ALFI 0 + 0000000000008000 + 0000000080000000 = 0000000080008000 (cc=1)
 215 ALFI 0 + 00000000FFFFFFFF + 0000000080000000 = 000000007FFFFFFF (cc=3)
 216 ALFI 0 + 0000000080000000 + 0000000080000000 = 0000000000000000 (cc=2)
 217 ALFI 0 + 000000007FFFFFFF + 0000000080000000 = 00000000FFFFFFFF (cc=1)
 218 ALFI 0 + FFFFFFFFFFFFFFFF + 0000000080000000 = FFFFFFFF7FFFFFFF (cc=3)
 219 ALFI 0 + 8000000000000000 + 0000000080000000 = 8000000080000000 (cc=1)
 220 ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000080000000 = 7FFFFFFF7FFFFFFF (cc=3)
 221 ALFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
 222 ALFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=1)
 223 ALFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=1)
 224 ALFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=1)
 225 ALFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=1)
 226 ALFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=3)
 227 ALFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
 228 ALFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=1)
 229 ALFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = FFFFFFFF7FFFFFFE (cc=3)
 230 ALFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
 231 ALFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 7FFFFFFF7FFFFFFE (cc=3)
 232 ALGFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
 233 ALGFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=1)
 234 ALGFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=1)
 235 ALGFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=1)
 236 ALGFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=1)
 237 ALGFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
 238 ALGFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
 239 ALGFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=1)
 240 ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
 241 ALGFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
 242 ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
 243 ALGFI 0 + 0000000000000000 + 000000000000FFFF = 000000000000FFFF (cc=1)
 244 ALGFI 0 + 0000000000000001 + 000000000000FFFF = 0000000000010000 (cc=1)
 245 ALGFI 0 + 000000000000FFFF + 000000000000FFFF = 000000000001FFFE (cc=1)
 246 ALGFI 0 + 0000000000007FFF + 000000000000FFFF = 0000000000017FFE (cc=1)
 247 ALGFI 0 + 0000000000008000 + 000000000000FFFF = 0000000000017FFF (cc=1)
 248 ALGFI 0 + 00000000FFFFFFFF + 000000000000FFFF = 000000010000FFFE (cc=1)
 249 ALGFI 0 + 0000000080000000 + 000000000000FFFF = 000000008000FFFF (cc=1)
 250 ALGFI 0 + 000000007FFFFFFF + 000000000000FFFF = 000000008000FFFE (cc=1)
 251 ALGFI 0 + FFFFFFFFFFFFFFFF + 000000000000FFFF = 000000000000FFFE (cc=3)
 252 ALGFI 0 + 8000000000000000 + 000000000000FFFF = 800000000000FFFF (cc=1)
 253 ALGFI 0 + 7FFFFFFFFFFFFFFF + 000000000000FFFF = 800000000000FFFE (cc=1)
 254 ALGFI 0 + 0000000000000000 + 0000000000008000 = 0000000000008000 (cc=1)
 255 ALGFI 0 + 0000000000000001 + 0000000000008000 = 0000000000008001 (cc=1)
 256 ALGFI 0 + 000000000000FFFF + 0000000000008000 = 0000000000017FFF (cc=1)
 257 ALGFI 0 + 0000000000007FFF + 0000000000008000 = 000000000000FFFF (cc=1)
 258 ALGFI 0 + 0000000000008000 + 0000000000008000 = 0000000000010000 (cc=1)
 259 ALGFI 0 + 00000000FFFFFFFF + 0000000000008000 = 0000000100007FFF (cc=1)
 260 ALGFI 0 + 0000000080000000 + 0000000000008000 = 0000000080008000 (cc=1)
 261 ALGFI 0 + 000000007FFFFFFF + 0000000000008000 = 0000000080007FFF (cc=1)
 262 ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000000008000 = 0000000000007FFF (cc=3)
 263 ALGFI 0 + 8000000000000000 + 0000000000008000 = 8000000000008000 (cc=1)
 264 ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000008000 = 8000000000007FFF (cc=1)
 265 ALGFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=1)
 266 ALGFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=1)
 267 ALGFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=1)
 268 ALGFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=1)
 269 ALGFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=1)
 270 ALGFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000100007FFE (cc=1)
 271 ALGFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=1)
 272 ALGFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=1)
 273 ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=3)
 274 ALGFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=1)
 275 ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 8000000000007FFE (cc=1)
 276 ALGFI 0 + 0000000000000000 + 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
 277 ALGFI 0 + 0000000000000001 + 00000000FFFFFFFF = 0000000100000000 (cc=1)
 278 ALGFI 0 + 000000000000FFFF + 00000000FFFFFFFF = 000000010000FFFE (cc=1)
 279 ALGFI 0 + 0000000000007FFF + 00000000FFFFFFFF = 0000000100007FFE (cc=1)
 280 ALGFI 0 + 0000000000008000 + 00000000FFFFFFFF = 0000000100007FFF (cc=1)
 281 ALGFI 0 + 00000000FFFFFFFF + 00000000FFFFFFFF = 00000001FFFFFFFE (cc=1)
 282 ALGFI 0 + 0000000080000000 + 00000000FFFFFFFF = 000000017FFFFFFF (cc=1)
 283 ALGFI 0 + 000000007FFFFFFF + 00000000FFFFFFFF = 000000017FFFFFFE (cc=1)
 284 ALGFI 0 + FFFFFFFFFFFFFFFF + 00000000FFFFFFFF = 00000000FFFFFFFE (cc=3)
 285 ALGFI 0 + 8000000000000000 + 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
 286 ALGFI 0 + 7FFFFFFFFFFFFFFF + 00000000FFFFFFFF = 80000000FFFFFFFE (cc=1)
 287 ALGFI 0 + 0000000000000000 + 0000000080000000 = 0000000080000000 (cc=1)
 288 ALGFI 0 + 0000000000000001 + 0000000080000000 = 0000000080000001 (cc=1)
 289 ALGFI 0 + 000000000000FFFF + 0000000080000000 = 000000008000FFFF (cc=1)
 290 ALGFI 0 + 0000000000007FFF + 0000000080000000 = 0000000080007FFF (cc=1)
 291 ALGFI 0 + 0000000000008000 + 0000000080000000 = 0000000080008000 (cc=1)
 292 ALGFI 0 + 00000000FFFFFFFF + 0000000080000000 = 000000017FFFFFFF (cc=1)
 293 ALGFI 0 + 0000000080000000 + 0000000080000000 = 0000000100000000 (cc=1)
 294 ALGFI 0 + 000000007FFFFFFF + 0000000080000000 = 00000000FFFFFFFF (cc=1)
 295 ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000080000000 = 000000007FFFFFFF (cc=3)
 296 ALGFI 0 + 8000000000000000 + 0000000080000000 = 8000000080000000 (cc=1)
 297 ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000080000000 = 800000007FFFFFFF (cc=1)
 298 ALGFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
 299 ALGFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=1)
 300 ALGFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=1)
 301 ALGFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=1)
 302 ALGFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=1)
 303 ALGFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000017FFFFFFE (cc=1)
 304 ALGFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
 305 ALGFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=1)
 306 ALGFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=3)
 307 ALGFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
 308 ALGFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 800000007FFFFFFE (cc=1)