none/tests/s390x/mul_GE.stdout.exp

   1 mhy 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   2 mhy 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0)
   3 mhy 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0)
   4 mhy 0000000000007FFF * 0000000000000000 = 00000000000000000000000000007FFF (cc=0)
   5 mhy 0000000000008000 * 0000000000000000 = 00000000000000000000000000008000 (cc=0)
   6 mhy 00000000FFFFFFFF * 0000000000000000 = 000000000000000000000000FFFFFFFF (cc=0)
   7 mhy 0000000080000000 * 0000000000000000 = 00000000000000000000000080000000 (cc=0)
   8 mhy 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0)
   9 mhy FFFFFFFFFFFFFFFF * 0000000000000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
  10 mhy 8000000000000000 * 0000000000000000 = 80000000000000008000000000000000 (cc=0)
  11 mhy 7FFFFFFFFFFFFFFF * 0000000000000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
  12 mfy 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  13 mfy 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  14 mfy 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  15 mfy 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  16 mfy 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  17 mfy 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  18 mfy 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  19 mfy 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  20 mfy FFFFFFFFFFFFFFFF * 0000000000000000 = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
  21 mfy 8000000000000000 * 0000000000000000 = 80000000000000008000000000000000 (cc=0)
  22 mfy 7FFFFFFFFFFFFFFF * 0000000000000000 = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
  23 mhy 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
  24 mhy 0000000000000001 * 7FFFFFFFFFFFFFFF = 0000000000007FFF0000000000000001 (cc=0)
  25 mhy 000000000000FFFF * 7FFFFFFFFFFFFFFF = 000000007FFE8001000000000000FFFF (cc=0)
  26 mhy 0000000000007FFF * 7FFFFFFFFFFFFFFF = 000000003FFF00010000000000007FFF (cc=0)
  27 mhy 0000000000008000 * 7FFFFFFFFFFFFFFF = 000000003FFF80000000000000008000 (cc=0)
  28 mhy 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000FFFF800100000000FFFFFFFF (cc=0)
  29 mhy 0000000080000000 * 7FFFFFFFFFFFFFFF = 00000000800000000000000080000000 (cc=0)
  30 mhy 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 000000007FFF8001000000007FFFFFFF (cc=0)
  31 mhy FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
  32 mhy 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
  33 mhy 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
  34 mfy 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
  35 mfy 0000000000000001 * 7FFFFFFFFFFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
  36 mfy 000000000000FFFF * 7FFFFFFFFFFFFFFF = 0000000000007FFF000000007FFF0001 (cc=0)
  37 mfy 0000000000007FFF * 7FFFFFFFFFFFFFFF = 0000000000003FFF000000007FFF8001 (cc=0)
  38 mfy 0000000000008000 * 7FFFFFFFFFFFFFFF = 0000000000003FFF00000000FFFF8000 (cc=0)
  39 mfy 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000080000001 (cc=0)
  40 mfy 0000000080000000 * 7FFFFFFFFFFFFFFF = 00000000C00000000000000080000000 (cc=0)
  41 mfy 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 000000003FFFFFFF0000000000000001 (cc=0)
  42 mfy FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000001 (cc=0)
  43 mfy 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
  44 mfy 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF7FFFFFFF80000001 (cc=0)
  45 mhy 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
  46 mhy 0000000000000001 * 8000000000000000 = 00000000FFFF80000000000000000001 (cc=0)
  47 mhy 000000000000FFFF * 8000000000000000 = 0000000080008000000000000000FFFF (cc=0)
  48 mhy 0000000000007FFF * 8000000000000000 = 00000000C00080000000000000007FFF (cc=0)
  49 mhy 0000000000008000 * 8000000000000000 = 00000000C00000000000000000008000 (cc=0)
  50 mhy 00000000FFFFFFFF * 8000000000000000 = 000000000000800000000000FFFFFFFF (cc=0)
  51 mhy 0000000080000000 * 8000000000000000 = 00000000000000000000000080000000 (cc=0)
  52 mhy 000000007FFFFFFF * 8000000000000000 = 0000000000008000000000007FFFFFFF (cc=0)
  53 mhy FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF00008000FFFFFFFFFFFFFFFF (cc=0)
  54 mhy 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0)
  55 mhy 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF000080007FFFFFFFFFFFFFFF (cc=0)
  56 mfy 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
  57 mfy 0000000000000001 * 8000000000000000 = 00000000FFFFFFFF0000000080000000 (cc=0)
  58 mfy 000000000000FFFF * 8000000000000000 = 00000000FFFF80000000000080000000 (cc=0)
  59 mfy 0000000000007FFF * 8000000000000000 = 00000000FFFFC0000000000080000000 (cc=0)
  60 mfy 0000000000008000 * 8000000000000000 = 00000000FFFFC0000000000000000000 (cc=0)
  61 mfy 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000080000000 (cc=0)
  62 mfy 0000000080000000 * 8000000000000000 = 00000000400000000000000000000000 (cc=0)
  63 mfy 000000007FFFFFFF * 8000000000000000 = 00000000C00000000000000080000000 (cc=0)
  64 mfy FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF00000000FFFFFFFF80000000 (cc=0)
  65 mfy 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0)
  66 mfy 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF000000007FFFFFFF80000000 (cc=0)
  67 mhy 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
  68 mhy 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000001 (cc=0)
  69 mhy 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFF0001000000000000FFFF (cc=0)
  70 mhy 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFF80010000000000007FFF (cc=0)
  71 mhy 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFF80000000000000008000 (cc=0)
  72 mhy 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 000000000000000100000000FFFFFFFF (cc=0)
  73 mhy 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000800000000000000080000000 (cc=0)
  74 mhy 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 0000000080000001000000007FFFFFFF (cc=0)
  75 mhy FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=0)
  76 mhy 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
  77 mhy 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=0)
  78 mfy 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
  79 mfy 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF00000000FFFFFFFF (cc=0)
  80 mfy 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF00000000FFFF0001 (cc=0)
  81 mfy 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF00000000FFFF8001 (cc=0)
  82 mfy 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF00000000FFFF8000 (cc=0)
  83 mfy 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000000000000000000001 (cc=0)
  84 mfy 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000080000000 (cc=0)
  85 mfy 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000080000001 (cc=0)
  86 mfy FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF00000000FFFFFFFF00000001 (cc=0)
  87 mfy 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
  88 mfy 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 7FFFFFFF000000007FFFFFFF00000001 (cc=0)
  89 mhy 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
  90 mhy 0000000000000001 * 7FFFFFFF00000000 = 0000000000007FFF0000000000000001 (cc=0)
  91 mhy 000000000000FFFF * 7FFFFFFF00000000 = 000000007FFE8001000000000000FFFF (cc=0)
  92 mhy 0000000000007FFF * 7FFFFFFF00000000 = 000000003FFF00010000000000007FFF (cc=0)
  93 mhy 0000000000008000 * 7FFFFFFF00000000 = 000000003FFF80000000000000008000 (cc=0)
  94 mhy 00000000FFFFFFFF * 7FFFFFFF00000000 = 00000000FFFF800100000000FFFFFFFF (cc=0)
  95 mhy 0000000080000000 * 7FFFFFFF00000000 = 00000000800000000000000080000000 (cc=0)
  96 mhy 000000007FFFFFFF * 7FFFFFFF00000000 = 000000007FFF8001000000007FFFFFFF (cc=0)
  97 mhy FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
  98 mhy 8000000000000000 * 7FFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
  99 mhy 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 100 mfy 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 101 mfy 0000000000000001 * 7FFFFFFF00000000 = 0000000000000000000000007FFFFFFF (cc=0)
 102 mfy 000000000000FFFF * 7FFFFFFF00000000 = 0000000000007FFF000000007FFF0001 (cc=0)
 103 mfy 0000000000007FFF * 7FFFFFFF00000000 = 0000000000003FFF000000007FFF8001 (cc=0)
 104 mfy 0000000000008000 * 7FFFFFFF00000000 = 0000000000003FFF00000000FFFF8000 (cc=0)
 105 mfy 00000000FFFFFFFF * 7FFFFFFF00000000 = 00000000FFFFFFFF0000000080000001 (cc=0)
 106 mfy 0000000080000000 * 7FFFFFFF00000000 = 00000000C00000000000000080000000 (cc=0)
 107 mfy 000000007FFFFFFF * 7FFFFFFF00000000 = 000000003FFFFFFF0000000000000001 (cc=0)
 108 mfy FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFFFFFF80000001 (cc=0)
 109 mfy 8000000000000000 * 7FFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 110 mfy 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF7FFFFFFF80000001 (cc=0)
 111 mhy 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 112 mhy 0000000000000001 * 8000000000000000 = 00000000FFFF80000000000000000001 (cc=0)
 113 mhy 000000000000FFFF * 8000000000000000 = 0000000080008000000000000000FFFF (cc=0)
 114 mhy 0000000000007FFF * 8000000000000000 = 00000000C00080000000000000007FFF (cc=0)
 115 mhy 0000000000008000 * 8000000000000000 = 00000000C00000000000000000008000 (cc=0)
 116 mhy 00000000FFFFFFFF * 8000000000000000 = 000000000000800000000000FFFFFFFF (cc=0)
 117 mhy 0000000080000000 * 8000000000000000 = 00000000000000000000000080000000 (cc=0)
 118 mhy 000000007FFFFFFF * 8000000000000000 = 0000000000008000000000007FFFFFFF (cc=0)
 119 mhy FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF00008000FFFFFFFFFFFFFFFF (cc=0)
 120 mhy 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0)
 121 mhy 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF000080007FFFFFFFFFFFFFFF (cc=0)
 122 mfy 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 123 mfy 0000000000000001 * 8000000000000000 = 00000000FFFFFFFF0000000080000000 (cc=0)
 124 mfy 000000000000FFFF * 8000000000000000 = 00000000FFFF80000000000080000000 (cc=0)
 125 mfy 0000000000007FFF * 8000000000000000 = 00000000FFFFC0000000000080000000 (cc=0)
 126 mfy 0000000000008000 * 8000000000000000 = 00000000FFFFC0000000000000000000 (cc=0)
 127 mfy 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000080000000 (cc=0)
 128 mfy 0000000080000000 * 8000000000000000 = 00000000400000000000000000000000 (cc=0)
 129 mfy 000000007FFFFFFF * 8000000000000000 = 00000000C00000000000000080000000 (cc=0)
 130 mfy FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF00000000FFFFFFFF80000000 (cc=0)
 131 mfy 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0)
 132 mfy 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF000000007FFFFFFF80000000 (cc=0)
 133 mhy 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 134 mhy 0000000000000001 * FFFFFFFF00000000 = 00000000FFFFFFFF0000000000000001 (cc=0)
 135 mhy 000000000000FFFF * FFFFFFFF00000000 = 00000000FFFF0001000000000000FFFF (cc=0)
 136 mhy 0000000000007FFF * FFFFFFFF00000000 = 00000000FFFF80010000000000007FFF (cc=0)
 137 mhy 0000000000008000 * FFFFFFFF00000000 = 00000000FFFF80000000000000008000 (cc=0)
 138 mhy 00000000FFFFFFFF * FFFFFFFF00000000 = 000000000000000100000000FFFFFFFF (cc=0)
 139 mhy 0000000080000000 * FFFFFFFF00000000 = 00000000800000000000000080000000 (cc=0)
 140 mhy 000000007FFFFFFF * FFFFFFFF00000000 = 0000000080000001000000007FFFFFFF (cc=0)
 141 mhy FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=0)
 142 mhy 8000000000000000 * FFFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 143 mhy 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=0)
 144 mfy 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 145 mfy 0000000000000001 * FFFFFFFF00000000 = 00000000FFFFFFFF00000000FFFFFFFF (cc=0)
 146 mfy 000000000000FFFF * FFFFFFFF00000000 = 00000000FFFFFFFF00000000FFFF0001 (cc=0)
 147 mfy 0000000000007FFF * FFFFFFFF00000000 = 00000000FFFFFFFF00000000FFFF8001 (cc=0)
 148 mfy 0000000000008000 * FFFFFFFF00000000 = 00000000FFFFFFFF00000000FFFF8000 (cc=0)
 149 mfy 00000000FFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000001 (cc=0)
 150 mfy 0000000080000000 * FFFFFFFF00000000 = 00000000000000000000000080000000 (cc=0)
 151 mfy 000000007FFFFFFF * FFFFFFFF00000000 = 00000000FFFFFFFF0000000080000001 (cc=0)
 152 mfy FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF00000000FFFFFFFF00000001 (cc=0)
 153 mfy 8000000000000000 * FFFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 154 mfy 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 7FFFFFFF000000007FFFFFFF00000001 (cc=0)
 155 mhy 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 156 mhy 0000000000000001 * 000000007FFFFFFF = 00000000000000000000000000000001 (cc=0)
 157 mhy 000000000000FFFF * 000000007FFFFFFF = 0000000000000000000000000000FFFF (cc=0)
 158 mhy 0000000000007FFF * 000000007FFFFFFF = 00000000000000000000000000007FFF (cc=0)
 159 mhy 0000000000008000 * 000000007FFFFFFF = 00000000000000000000000000008000 (cc=0)
 160 mhy 00000000FFFFFFFF * 000000007FFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 161 mhy 0000000080000000 * 000000007FFFFFFF = 00000000000000000000000080000000 (cc=0)
 162 mhy 000000007FFFFFFF * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 163 mhy FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 164 mhy 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=0)
 165 mhy 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 166 mfy 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 167 mfy 0000000000000001 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 168 mfy 000000000000FFFF * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 169 mfy 0000000000007FFF * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 170 mfy 0000000000008000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 171 mfy 00000000FFFFFFFF * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 172 mfy 0000000080000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 173 mfy 000000007FFFFFFF * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 174 mfy FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 175 mfy 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=0)
 176 mfy 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 177 mhy 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 178 mhy 0000000000000001 * 0000000080000000 = 00000000000000000000000000000001 (cc=0)
 179 mhy 000000000000FFFF * 0000000080000000 = 0000000000000000000000000000FFFF (cc=0)
 180 mhy 0000000000007FFF * 0000000080000000 = 00000000000000000000000000007FFF (cc=0)
 181 mhy 0000000000008000 * 0000000080000000 = 00000000000000000000000000008000 (cc=0)
 182 mhy 00000000FFFFFFFF * 0000000080000000 = 000000000000000000000000FFFFFFFF (cc=0)
 183 mhy 0000000080000000 * 0000000080000000 = 00000000000000000000000080000000 (cc=0)
 184 mhy 000000007FFFFFFF * 0000000080000000 = 0000000000000000000000007FFFFFFF (cc=0)
 185 mhy FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 186 mhy 8000000000000000 * 0000000080000000 = 80000000000000008000000000000000 (cc=0)
 187 mhy 7FFFFFFFFFFFFFFF * 0000000080000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 188 mfy 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 189 mfy 0000000000000001 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 190 mfy 000000000000FFFF * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 191 mfy 0000000000007FFF * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 192 mfy 0000000000008000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 193 mfy 00000000FFFFFFFF * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 194 mfy 0000000080000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 195 mfy 000000007FFFFFFF * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 196 mfy FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 197 mfy 8000000000000000 * 0000000080000000 = 80000000000000008000000000000000 (cc=0)
 198 mfy 7FFFFFFFFFFFFFFF * 0000000080000000 = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 199 mhy 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 200 mhy 0000000000000001 * 00000000FFFFFFFF = 00000000000000000000000000000001 (cc=0)
 201 mhy 000000000000FFFF * 00000000FFFFFFFF = 0000000000000000000000000000FFFF (cc=0)
 202 mhy 0000000000007FFF * 00000000FFFFFFFF = 00000000000000000000000000007FFF (cc=0)
 203 mhy 0000000000008000 * 00000000FFFFFFFF = 00000000000000000000000000008000 (cc=0)
 204 mhy 00000000FFFFFFFF * 00000000FFFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 205 mhy 0000000080000000 * 00000000FFFFFFFF = 00000000000000000000000080000000 (cc=0)
 206 mhy 000000007FFFFFFF * 00000000FFFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 207 mhy FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 208 mhy 8000000000000000 * 00000000FFFFFFFF = 80000000000000008000000000000000 (cc=0)
 209 mhy 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 210 mfy 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 211 mfy 0000000000000001 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 212 mfy 000000000000FFFF * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 213 mfy 0000000000007FFF * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 214 mfy 0000000000008000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 215 mfy 00000000FFFFFFFF * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 216 mfy 0000000080000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 217 mfy 000000007FFFFFFF * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 218 mfy FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 219 mfy 8000000000000000 * 00000000FFFFFFFF = 80000000000000008000000000000000 (cc=0)
 220 mfy 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 221 mhy 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 222 mhy 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000001 (cc=0)
 223 mhy 000000000000FFFF * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
 224 mhy 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000007FFF (cc=0)
 225 mhy 0000000000008000 * 000000000000FFFF = 00000000000000000000000000008000 (cc=0)
 226 mhy 00000000FFFFFFFF * 000000000000FFFF = 000000000000000000000000FFFFFFFF (cc=0)
 227 mhy 0000000080000000 * 000000000000FFFF = 00000000000000000000000080000000 (cc=0)
 228 mhy 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0)
 229 mhy FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 230 mhy 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0)
 231 mhy 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 232 mfy 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 233 mfy 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 234 mfy 000000000000FFFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 235 mfy 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 236 mfy 0000000000008000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 237 mfy 00000000FFFFFFFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 238 mfy 0000000080000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 239 mfy 000000007FFFFFFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 240 mfy FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 241 mfy 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0)
 242 mfy 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 243 mhy 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 244 mhy 0000000000000001 * 0000000000007FFF = 00000000000000000000000000000001 (cc=0)
 245 mhy 000000000000FFFF * 0000000000007FFF = 0000000000000000000000000000FFFF (cc=0)
 246 mhy 0000000000007FFF * 0000000000007FFF = 00000000000000000000000000007FFF (cc=0)
 247 mhy 0000000000008000 * 0000000000007FFF = 00000000000000000000000000008000 (cc=0)
 248 mhy 00000000FFFFFFFF * 0000000000007FFF = 000000000000000000000000FFFFFFFF (cc=0)
 249 mhy 0000000080000000 * 0000000000007FFF = 00000000000000000000000080000000 (cc=0)
 250 mhy 000000007FFFFFFF * 0000000000007FFF = 0000000000000000000000007FFFFFFF (cc=0)
 251 mhy FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 252 mhy 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 253 mhy 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 254 mfy 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 255 mfy 0000000000000001 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 256 mfy 000000000000FFFF * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 257 mfy 0000000000007FFF * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 258 mfy 0000000000008000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 259 mfy 00000000FFFFFFFF * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 260 mfy 0000000080000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 261 mfy 000000007FFFFFFF * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 262 mfy FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 263 mfy 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 264 mfy 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 265 mhy 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 266 mhy 0000000000000001 * 0000000000008000 = 00000000000000000000000000000001 (cc=0)
 267 mhy 000000000000FFFF * 0000000000008000 = 0000000000000000000000000000FFFF (cc=0)
 268 mhy 0000000000007FFF * 0000000000008000 = 00000000000000000000000000007FFF (cc=0)
 269 mhy 0000000000008000 * 0000000000008000 = 00000000000000000000000000008000 (cc=0)
 270 mhy 00000000FFFFFFFF * 0000000000008000 = 000000000000000000000000FFFFFFFF (cc=0)
 271 mhy 0000000080000000 * 0000000000008000 = 00000000000000000000000080000000 (cc=0)
 272 mhy 000000007FFFFFFF * 0000000000008000 = 0000000000000000000000007FFFFFFF (cc=0)
 273 mhy FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 274 mhy 8000000000000000 * 0000000000008000 = 80000000000000008000000000000000 (cc=0)
 275 mhy 7FFFFFFFFFFFFFFF * 0000000000008000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 276 mfy 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 277 mfy 0000000000000001 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 278 mfy 000000000000FFFF * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 279 mfy 0000000000007FFF * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 280 mfy 0000000000008000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 281 mfy 00000000FFFFFFFF * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 282 mfy 0000000080000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 283 mfy 000000007FFFFFFF * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 284 mfy FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 285 mfy 8000000000000000 * 0000000000008000 = 80000000000000008000000000000000 (cc=0)
 286 mfy 7FFFFFFFFFFFFFFF * 0000000000008000 = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 287 mhy 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 288 mhy 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000001 (cc=0)
 289 mhy 000000000000FFFF * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
 290 mhy 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000007FFF (cc=0)
 291 mhy 0000000000008000 * 000000000000FFFF = 00000000000000000000000000008000 (cc=0)
 292 mhy 00000000FFFFFFFF * 000000000000FFFF = 000000000000000000000000FFFFFFFF (cc=0)
 293 mhy 0000000080000000 * 000000000000FFFF = 00000000000000000000000080000000 (cc=0)
 294 mhy 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0)
 295 mhy FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 296 mhy 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0)
 297 mhy 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 298 mfy 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 299 mfy 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 300 mfy 000000000000FFFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 301 mfy 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 302 mfy 0000000000008000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 303 mfy 00000000FFFFFFFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 304 mfy 0000000080000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 305 mfy 000000007FFFFFFF * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 306 mfy FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFF00000000 (cc=0)
 307 mfy 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0)
 308 mfy 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFF00000000 (cc=0)
 309 MSFI 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
 310 MSFI 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0)
 311 MSFI 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0)
 312 MSFI 0000000000007FFF * 0000000000000000 = 00000000000000000000000000007FFF (cc=0)
 313 MSFI 0000000000008000 * 0000000000000000 = 00000000000000000000000000008000 (cc=0)
 314 MSFI 00000000FFFFFFFF * 0000000000000000 = 000000000000000000000000FFFFFFFF (cc=0)
 315 MSFI 0000000080000000 * 0000000000000000 = 00000000000000000000000080000000 (cc=0)
 316 MSFI 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0)
 317 MSFI FFFFFFFFFFFFFFFF * 0000000000000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 318 MSFI 8000000000000000 * 0000000000000000 = 80000000000000008000000000000000 (cc=0)
 319 MSFI 7FFFFFFFFFFFFFFF * 0000000000000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 320 MSFI 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 321 MSFI 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000001 (cc=0)
 322 MSFI 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFF0001000000000000FFFF (cc=0)
 323 MSFI 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFF80010000000000007FFF (cc=0)
 324 MSFI 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFF80000000000000008000 (cc=0)
 325 MSFI 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 000000000000000100000000FFFFFFFF (cc=0)
 326 MSFI 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000800000000000000080000000 (cc=0)
 327 MSFI 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 0000000080000001000000007FFFFFFF (cc=0)
 328 MSFI FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=0)
 329 MSFI 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
 330 MSFI 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=0)
 331 MSFI 0000000000000000 * FFFFFFFFFFFF8000 = 00000000000000000000000000000000 (cc=0)
 332 MSFI 0000000000000001 * FFFFFFFFFFFF8000 = 00000000FFFF80000000000000000001 (cc=0)
 333 MSFI 000000000000FFFF * FFFFFFFFFFFF8000 = 0000000080008000000000000000FFFF (cc=0)
 334 MSFI 0000000000007FFF * FFFFFFFFFFFF8000 = 00000000C00080000000000000007FFF (cc=0)
 335 MSFI 0000000000008000 * FFFFFFFFFFFF8000 = 00000000C00000000000000000008000 (cc=0)
 336 MSFI 00000000FFFFFFFF * FFFFFFFFFFFF8000 = 000000000000800000000000FFFFFFFF (cc=0)
 337 MSFI 0000000080000000 * FFFFFFFFFFFF8000 = 00000000000000000000000080000000 (cc=0)
 338 MSFI 000000007FFFFFFF * FFFFFFFFFFFF8000 = 0000000000008000000000007FFFFFFF (cc=0)
 339 MSFI FFFFFFFFFFFFFFFF * FFFFFFFFFFFF8000 = FFFFFFFF00008000FFFFFFFFFFFFFFFF (cc=0)
 340 MSFI 8000000000000000 * FFFFFFFFFFFF8000 = 80000000000000008000000000000000 (cc=0)
 341 MSFI 7FFFFFFFFFFFFFFF * FFFFFFFFFFFF8000 = 7FFFFFFF000080007FFFFFFFFFFFFFFF (cc=0)
 342 MSFI 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 343 MSFI 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=0)
 344 MSFI 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=0)
 345 MSFI 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=0)
 346 MSFI 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=0)
 347 MSFI 00000000FFFFFFFF * 0000000000007FFF = 00000000FFFF800100000000FFFFFFFF (cc=0)
 348 MSFI 0000000080000000 * 0000000000007FFF = 00000000800000000000000080000000 (cc=0)
 349 MSFI 000000007FFFFFFF * 0000000000007FFF = 000000007FFF8001000000007FFFFFFF (cc=0)
 350 MSFI FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 351 MSFI 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 352 MSFI 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 353 MSFI 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 354 MSFI 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=0)
 355 MSFI 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=0)
 356 MSFI 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=0)
 357 MSFI 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=0)
 358 MSFI 00000000FFFFFFFF * 0000000000007FFF = 00000000FFFF800100000000FFFFFFFF (cc=0)
 359 MSFI 0000000080000000 * 0000000000007FFF = 00000000800000000000000080000000 (cc=0)
 360 MSFI 000000007FFFFFFF * 0000000000007FFF = 000000007FFF8001000000007FFFFFFF (cc=0)
 361 MSFI FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 362 MSFI 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 363 MSFI 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 364 MSFI 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 365 MSFI 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=0)
 366 MSFI 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=0)
 367 MSFI 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=0)
 368 MSFI 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=0)
 369 MSFI 00000000FFFFFFFF * 0000000000007FFF = 00000000FFFF800100000000FFFFFFFF (cc=0)
 370 MSFI 0000000080000000 * 0000000000007FFF = 00000000800000000000000080000000 (cc=0)
 371 MSFI 000000007FFFFFFF * 0000000000007FFF = 000000007FFF8001000000007FFFFFFF (cc=0)
 372 MSFI FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 373 MSFI 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 374 MSFI 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 375 MSFI 0000000000000000 * FFFFFFFF80000000 = 00000000000000000000000000000000 (cc=0)
 376 MSFI 0000000000000001 * FFFFFFFF80000000 = 00000000800000000000000000000001 (cc=0)
 377 MSFI 000000000000FFFF * FFFFFFFF80000000 = 0000000080000000000000000000FFFF (cc=0)
 378 MSFI 0000000000007FFF * FFFFFFFF80000000 = 00000000800000000000000000007FFF (cc=0)
 379 MSFI 0000000000008000 * FFFFFFFF80000000 = 00000000000000000000000000008000 (cc=0)
 380 MSFI 00000000FFFFFFFF * FFFFFFFF80000000 = 000000008000000000000000FFFFFFFF (cc=0)
 381 MSFI 0000000080000000 * FFFFFFFF80000000 = 00000000000000000000000080000000 (cc=0)
 382 MSFI 000000007FFFFFFF * FFFFFFFF80000000 = 0000000080000000000000007FFFFFFF (cc=0)
 383 MSFI FFFFFFFFFFFFFFFF * FFFFFFFF80000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=0)
 384 MSFI 8000000000000000 * FFFFFFFF80000000 = 80000000000000008000000000000000 (cc=0)
 385 MSFI 7FFFFFFFFFFFFFFF * FFFFFFFF80000000 = 7FFFFFFF800000007FFFFFFFFFFFFFFF (cc=0)
 386 MSFI 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 387 MSFI 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000001 (cc=0)
 388 MSFI 000000000000FFFF * 000000007FFFFFFF = 000000007FFF0001000000000000FFFF (cc=0)
 389 MSFI 0000000000007FFF * 000000007FFFFFFF = 000000007FFF80010000000000007FFF (cc=0)
 390 MSFI 0000000000008000 * 000000007FFFFFFF = 00000000FFFF80000000000000008000 (cc=0)
 391 MSFI 00000000FFFFFFFF * 000000007FFFFFFF = 000000008000000100000000FFFFFFFF (cc=0)
 392 MSFI 0000000080000000 * 000000007FFFFFFF = 00000000800000000000000080000000 (cc=0)
 393 MSFI 000000007FFFFFFF * 000000007FFFFFFF = 0000000000000001000000007FFFFFFF (cc=0)
 394 MSFI FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=0)
 395 MSFI 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=0)
 396 MSFI 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=0)
 397 MSGFI 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
 398 MSGFI 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0)
 399 MSGFI 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0)
 400 MSGFI 0000000000007FFF * 0000000000000000 = 00000000000000000000000000007FFF (cc=0)
 401 MSGFI 0000000000008000 * 0000000000000000 = 00000000000000000000000000008000 (cc=0)
 402 MSGFI 00000000FFFFFFFF * 0000000000000000 = 000000000000000000000000FFFFFFFF (cc=0)
 403 MSGFI 0000000080000000 * 0000000000000000 = 00000000000000000000000080000000 (cc=0)
 404 MSGFI 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0)
 405 MSGFI FFFFFFFFFFFFFFFF * 0000000000000000 = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 406 MSGFI 8000000000000000 * 0000000000000000 = 00000000000000008000000000000000 (cc=0)
 407 MSGFI 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 408 MSGFI 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 409 MSGFI 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000001 (cc=0)
 410 MSGFI 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0001000000000000FFFF (cc=0)
 411 MSGFI 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80010000000000007FFF (cc=0)
 412 MSGFI 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000008000 (cc=0)
 413 MSGFI 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF0000000100000000FFFFFFFF (cc=0)
 414 MSGFI 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFF800000000000000080000000 (cc=0)
 415 MSGFI 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF80000001000000007FFFFFFF (cc=0)
 416 MSGFI FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 0000000000000001FFFFFFFFFFFFFFFF (cc=0)
 417 MSGFI 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
 418 MSGFI 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000017FFFFFFFFFFFFFFF (cc=0)
 419 MSGFI 0000000000000000 * FFFFFFFFFFFF8000 = 00000000000000000000000000000000 (cc=0)
 420 MSGFI 0000000000000001 * FFFFFFFFFFFF8000 = FFFFFFFFFFFF80000000000000000001 (cc=0)
 421 MSGFI 000000000000FFFF * FFFFFFFFFFFF8000 = FFFFFFFF80008000000000000000FFFF (cc=0)
 422 MSGFI 0000000000007FFF * FFFFFFFFFFFF8000 = FFFFFFFFC00080000000000000007FFF (cc=0)
 423 MSGFI 0000000000008000 * FFFFFFFFFFFF8000 = FFFFFFFFC00000000000000000008000 (cc=0)
 424 MSGFI 00000000FFFFFFFF * FFFFFFFFFFFF8000 = FFFF80000000800000000000FFFFFFFF (cc=0)
 425 MSGFI 0000000080000000 * FFFFFFFFFFFF8000 = FFFFC000000000000000000080000000 (cc=0)
 426 MSGFI 000000007FFFFFFF * FFFFFFFFFFFF8000 = FFFFC00000008000000000007FFFFFFF (cc=0)
 427 MSGFI FFFFFFFFFFFFFFFF * FFFFFFFFFFFF8000 = 0000000000008000FFFFFFFFFFFFFFFF (cc=0)
 428 MSGFI 8000000000000000 * FFFFFFFFFFFF8000 = 00000000000000008000000000000000 (cc=0)
 429 MSGFI 7FFFFFFFFFFFFFFF * FFFFFFFFFFFF8000 = 00000000000080007FFFFFFFFFFFFFFF (cc=0)
 430 MSGFI 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 431 MSGFI 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=0)
 432 MSGFI 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=0)
 433 MSGFI 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=0)
 434 MSGFI 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=0)
 435 MSGFI 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF800100000000FFFFFFFF (cc=0)
 436 MSGFI 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000080000000 (cc=0)
 437 MSGFI 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF8001000000007FFFFFFF (cc=0)
 438 MSGFI FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 439 MSGFI 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 440 MSGFI 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 441 MSGFI 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 442 MSGFI 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=0)
 443 MSGFI 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=0)
 444 MSGFI 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=0)
 445 MSGFI 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=0)
 446 MSGFI 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF800100000000FFFFFFFF (cc=0)
 447 MSGFI 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000080000000 (cc=0)
 448 MSGFI 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF8001000000007FFFFFFF (cc=0)
 449 MSGFI FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 450 MSGFI 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 451 MSGFI 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 452 MSGFI 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 453 MSGFI 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=0)
 454 MSGFI 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=0)
 455 MSGFI 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=0)
 456 MSGFI 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=0)
 457 MSGFI 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF800100000000FFFFFFFF (cc=0)
 458 MSGFI 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000080000000 (cc=0)
 459 MSGFI 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF8001000000007FFFFFFF (cc=0)
 460 MSGFI FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 461 MSGFI 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 462 MSGFI 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 463 MSGFI 0000000000000000 * FFFFFFFF80000000 = 00000000000000000000000000000000 (cc=0)
 464 MSGFI 0000000000000001 * FFFFFFFF80000000 = FFFFFFFF800000000000000000000001 (cc=0)
 465 MSGFI 000000000000FFFF * FFFFFFFF80000000 = FFFF800080000000000000000000FFFF (cc=0)
 466 MSGFI 0000000000007FFF * FFFFFFFF80000000 = FFFFC000800000000000000000007FFF (cc=0)
 467 MSGFI 0000000000008000 * FFFFFFFF80000000 = FFFFC000000000000000000000008000 (cc=0)
 468 MSGFI 00000000FFFFFFFF * FFFFFFFF80000000 = 800000008000000000000000FFFFFFFF (cc=0)
 469 MSGFI 0000000080000000 * FFFFFFFF80000000 = C0000000000000000000000080000000 (cc=0)
 470 MSGFI 000000007FFFFFFF * FFFFFFFF80000000 = C000000080000000000000007FFFFFFF (cc=0)
 471 MSGFI FFFFFFFFFFFFFFFF * FFFFFFFF80000000 = 0000000080000000FFFFFFFFFFFFFFFF (cc=0)
 472 MSGFI 8000000000000000 * FFFFFFFF80000000 = 00000000000000008000000000000000 (cc=0)
 473 MSGFI 7FFFFFFFFFFFFFFF * FFFFFFFF80000000 = 00000000800000007FFFFFFFFFFFFFFF (cc=0)
 474 MSGFI 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 475 MSGFI 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000001 (cc=0)
 476 MSGFI 000000000000FFFF * 000000007FFFFFFF = 00007FFF7FFF0001000000000000FFFF (cc=0)
 477 MSGFI 0000000000007FFF * 000000007FFFFFFF = 00003FFF7FFF80010000000000007FFF (cc=0)
 478 MSGFI 0000000000008000 * 000000007FFFFFFF = 00003FFFFFFF80000000000000008000 (cc=0)
 479 MSGFI 00000000FFFFFFFF * 000000007FFFFFFF = 7FFFFFFE8000000100000000FFFFFFFF (cc=0)
 480 MSGFI 0000000080000000 * 000000007FFFFFFF = 3FFFFFFF800000000000000080000000 (cc=0)
 481 MSGFI 000000007FFFFFFF * 000000007FFFFFFF = 3FFFFFFF00000001000000007FFFFFFF (cc=0)
 482 MSGFI FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=0)
 483 MSGFI 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=0)
 484 MSGFI 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=0)