none/tests/s390x/mul-z14.stdout.exp

   1 mg 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   2 mg 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   3 mg 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   4 mg 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   5 mg 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   6 mg 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   7 mg 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   8 mg 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
   9 mg FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  10 mg 8000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  11 mg 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  12 mgh 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  13 mgh 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0)
  14 mgh 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0)
  15 mgh 0000000000007FFF * 0000000000000000 = 00000000000000000000000000007FFF (cc=0)
  16 mgh 0000000000008000 * 0000000000000000 = 00000000000000000000000000008000 (cc=0)
  17 mgh 00000000FFFFFFFF * 0000000000000000 = 000000000000000000000000FFFFFFFF (cc=0)
  18 mgh 0000000080000000 * 0000000000000000 = 00000000000000000000000080000000 (cc=0)
  19 mgh 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0)
  20 mgh FFFFFFFFFFFFFFFF * 0000000000000000 = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
  21 mgh 8000000000000000 * 0000000000000000 = 00000000000000008000000000000000 (cc=0)
  22 mgh 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
  23 mgrk 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  24 mgrk 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  25 mgrk 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  26 mgrk 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  27 mgrk 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  28 mgrk 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  29 mgrk 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  30 mgrk 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  31 mgrk FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  32 mgrk 8000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  33 mgrk 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  34 msc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  35 msc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0)
  36 msc 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0)
  37 msc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000007FFF (cc=0)
  38 msc 0000000000008000 * 0000000000000000 = 00000000000000000000000000008000 (cc=0)
  39 msc 00000000FFFFFFFF * 0000000000000000 = 000000000000000000000000FFFFFFFF (cc=0)
  40 msc 0000000080000000 * 0000000000000000 = 00000000000000000000000080000000 (cc=0)
  41 msc 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0)
  42 msc FFFFFFFFFFFFFFFF * 0000000000000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
  43 msc 8000000000000000 * 0000000000000000 = 80000000000000008000000000000000 (cc=0)
  44 msc 7FFFFFFFFFFFFFFF * 0000000000000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
  45 msrkc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  46 msrkc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  47 msrkc 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  48 msrkc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  49 msrkc 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  50 msrkc 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  51 msrkc 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  52 msrkc 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  53 msrkc FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  54 msrkc 8000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  55 msrkc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  56 msgc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  57 msgc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0)
  58 msgc 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0)
  59 msgc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000007FFF (cc=0)
  60 msgc 0000000000008000 * 0000000000000000 = 00000000000000000000000000008000 (cc=0)
  61 msgc 00000000FFFFFFFF * 0000000000000000 = 000000000000000000000000FFFFFFFF (cc=0)
  62 msgc 0000000080000000 * 0000000000000000 = 00000000000000000000000080000000 (cc=0)
  63 msgc 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0)
  64 msgc FFFFFFFFFFFFFFFF * 0000000000000000 = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
  65 msgc 8000000000000000 * 0000000000000000 = 00000000000000008000000000000000 (cc=0)
  66 msgc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
  67 msgrkc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  68 msgrkc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  69 msgrkc 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  70 msgrkc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  71 msgrkc 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  72 msgrkc 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  73 msgrkc 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  74 msgrkc 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  75 msgrkc FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  76 msgrkc 8000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  77 msgrkc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0)
  78 mg 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
  79 mg 0000000000000001 * 7FFFFFFFFFFFFFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
  80 mg 000000000000FFFF * 7FFFFFFFFFFFFFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0)
  81 mg 0000000000007FFF * 7FFFFFFFFFFFFFFF = 0000000000003FFF7FFFFFFFFFFF8001 (cc=0)
  82 mg 0000000000008000 * 7FFFFFFFFFFFFFFF = 0000000000003FFFFFFFFFFFFFFF8000 (cc=0)
  83 mg 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 000000007FFFFFFF7FFFFFFF00000001 (cc=0)
  84 mg 0000000080000000 * 7FFFFFFFFFFFFFFF = 000000003FFFFFFFFFFFFFFF80000000 (cc=0)
  85 mg 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 000000003FFFFFFF7FFFFFFF80000001 (cc=0)
  86 mg FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF8000000000000001 (cc=0)
  87 mg 8000000000000000 * 7FFFFFFFFFFFFFFF = C0000000000000008000000000000000 (cc=0)
  88 mg 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 3FFFFFFFFFFFFFFF0000000000000001 (cc=0)
  89 mgh 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
  90 mgh 0000000000000001 * 7FFFFFFFFFFFFFFF = 0000000000007FFF0000000000000001 (cc=0)
  91 mgh 000000000000FFFF * 7FFFFFFFFFFFFFFF = 000000007FFE8001000000000000FFFF (cc=0)
  92 mgh 0000000000007FFF * 7FFFFFFFFFFFFFFF = 000000003FFF00010000000000007FFF (cc=0)
  93 mgh 0000000000008000 * 7FFFFFFFFFFFFFFF = 000000003FFF80000000000000008000 (cc=0)
  94 mgh 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 00007FFEFFFF800100000000FFFFFFFF (cc=0)
  95 mgh 0000000080000000 * 7FFFFFFFFFFFFFFF = 00003FFF800000000000000080000000 (cc=0)
  96 mgh 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 00003FFF7FFF8001000000007FFFFFFF (cc=0)
  97 mgh FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
  98 mgh 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
  99 mgh 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 100 mgrk 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 101 mgrk 0000000000000001 * 7FFFFFFFFFFFFFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 102 mgrk 000000000000FFFF * 7FFFFFFFFFFFFFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0)
 103 mgrk 0000000000007FFF * 7FFFFFFFFFFFFFFF = 0000000000003FFF7FFFFFFFFFFF8001 (cc=0)
 104 mgrk 0000000000008000 * 7FFFFFFFFFFFFFFF = 0000000000003FFFFFFFFFFFFFFF8000 (cc=0)
 105 mgrk 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 000000007FFFFFFF7FFFFFFF00000001 (cc=0)
 106 mgrk 0000000080000000 * 7FFFFFFFFFFFFFFF = 000000003FFFFFFFFFFFFFFF80000000 (cc=0)
 107 mgrk 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 000000003FFFFFFF7FFFFFFF80000001 (cc=0)
 108 mgrk FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF8000000000000001 (cc=0)
 109 mgrk 8000000000000000 * 7FFFFFFFFFFFFFFF = C0000000000000008000000000000000 (cc=0)
 110 mgrk 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 3FFFFFFFFFFFFFFF0000000000000001 (cc=0)
 111 msc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 112 msc 0000000000000001 * 7FFFFFFFFFFFFFFF = 000000007FFFFFFF0000000000000001 (cc=2)
 113 msc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 000000007FFF0001000000000000FFFF (cc=3)
 114 msc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 000000007FFF80010000000000007FFF (cc=3)
 115 msc 0000000000008000 * 7FFFFFFFFFFFFFFF = 00000000FFFF80000000000000008000 (cc=3)
 116 msc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 000000008000000100000000FFFFFFFF (cc=1)
 117 msc 0000000080000000 * 7FFFFFFFFFFFFFFF = 00000000800000000000000080000000 (cc=3)
 118 msc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 0000000000000001000000007FFFFFFF (cc=3)
 119 msc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=1)
 120 msc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
 121 msc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=1)
 122 msrkc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 123 msrkc 0000000000000001 * 7FFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=1)
 124 msrkc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 00000000FFFF00010000000000000000 (cc=1)
 125 msrkc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 00000000FFFF80010000000000000000 (cc=1)
 126 msrkc 0000000000008000 * 7FFFFFFFFFFFFFFF = 00000000FFFF80000000000000000000 (cc=1)
 127 msrkc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 128 msrkc 0000000080000000 * 7FFFFFFFFFFFFFFF = 00000000800000000000000000000000 (cc=3)
 129 msrkc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 00000000800000010000000000000000 (cc=1)
 130 msrkc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 131 msrkc 8000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 132 msrkc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 133 msgc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 134 msgc 0000000000000001 * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF0000000000000001 (cc=2)
 135 msgc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF0001000000000000FFFF (cc=3)
 136 msgc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF80010000000000007FFF (cc=3)
 137 msgc 0000000000008000 * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000008000 (cc=3)
 138 msgc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF0000000100000000FFFFFFFF (cc=3)
 139 msgc 0000000080000000 * 7FFFFFFFFFFFFFFF = FFFFFFFF800000000000000080000000 (cc=3)
 140 msgc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF80000001000000007FFFFFFF (cc=3)
 141 msgc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 8000000000000001FFFFFFFFFFFFFFFF (cc=1)
 142 msgc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=3)
 143 msgc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000017FFFFFFFFFFFFFFF (cc=3)
 144 msgrkc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 145 msgrkc 0000000000000001 * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF0000000000000000 (cc=2)
 146 msgrkc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF00010000000000000000 (cc=3)
 147 msgrkc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF80010000000000000000 (cc=3)
 148 msgrkc 0000000000008000 * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000000000 (cc=3)
 149 msgrkc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF000000010000000000000000 (cc=3)
 150 msgrkc 0000000080000000 * 7FFFFFFFFFFFFFFF = FFFFFFFF800000000000000000000000 (cc=3)
 151 msgrkc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF800000010000000000000000 (cc=3)
 152 msgrkc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 80000000000000010000000000000000 (cc=1)
 153 msgrkc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000000000000000000000 (cc=3)
 154 msgrkc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=3)
 155 mg 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 156 mg 0000000000000001 * 8000000000000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0)
 157 mg 000000000000FFFF * 8000000000000000 = FFFFFFFFFFFF80008000000000000000 (cc=0)
 158 mg 0000000000007FFF * 8000000000000000 = FFFFFFFFFFFFC0008000000000000000 (cc=0)
 159 mg 0000000000008000 * 8000000000000000 = FFFFFFFFFFFFC0000000000000000000 (cc=0)
 160 mg 00000000FFFFFFFF * 8000000000000000 = FFFFFFFF800000008000000000000000 (cc=0)
 161 mg 0000000080000000 * 8000000000000000 = FFFFFFFFC00000000000000000000000 (cc=0)
 162 mg 000000007FFFFFFF * 8000000000000000 = FFFFFFFFC00000008000000000000000 (cc=0)
 163 mg FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000008000000000000000 (cc=0)
 164 mg 8000000000000000 * 8000000000000000 = 40000000000000000000000000000000 (cc=0)
 165 mg 7FFFFFFFFFFFFFFF * 8000000000000000 = C0000000000000008000000000000000 (cc=0)
 166 mgh 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 167 mgh 0000000000000001 * 8000000000000000 = FFFFFFFFFFFF80000000000000000001 (cc=0)
 168 mgh 000000000000FFFF * 8000000000000000 = FFFFFFFF80008000000000000000FFFF (cc=0)
 169 mgh 0000000000007FFF * 8000000000000000 = FFFFFFFFC00080000000000000007FFF (cc=0)
 170 mgh 0000000000008000 * 8000000000000000 = FFFFFFFFC00000000000000000008000 (cc=0)
 171 mgh 00000000FFFFFFFF * 8000000000000000 = FFFF80000000800000000000FFFFFFFF (cc=0)
 172 mgh 0000000080000000 * 8000000000000000 = FFFFC000000000000000000080000000 (cc=0)
 173 mgh 000000007FFFFFFF * 8000000000000000 = FFFFC00000008000000000007FFFFFFF (cc=0)
 174 mgh FFFFFFFFFFFFFFFF * 8000000000000000 = 0000000000008000FFFFFFFFFFFFFFFF (cc=0)
 175 mgh 8000000000000000 * 8000000000000000 = 00000000000000008000000000000000 (cc=0)
 176 mgh 7FFFFFFFFFFFFFFF * 8000000000000000 = 00000000000080007FFFFFFFFFFFFFFF (cc=0)
 177 mgrk 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 178 mgrk 0000000000000001 * 8000000000000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0)
 179 mgrk 000000000000FFFF * 8000000000000000 = FFFFFFFFFFFF80008000000000000000 (cc=0)
 180 mgrk 0000000000007FFF * 8000000000000000 = FFFFFFFFFFFFC0008000000000000000 (cc=0)
 181 mgrk 0000000000008000 * 8000000000000000 = FFFFFFFFFFFFC0000000000000000000 (cc=0)
 182 mgrk 00000000FFFFFFFF * 8000000000000000 = FFFFFFFF800000008000000000000000 (cc=0)
 183 mgrk 0000000080000000 * 8000000000000000 = FFFFFFFFC00000000000000000000000 (cc=0)
 184 mgrk 000000007FFFFFFF * 8000000000000000 = FFFFFFFFC00000008000000000000000 (cc=0)
 185 mgrk FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000008000000000000000 (cc=0)
 186 mgrk 8000000000000000 * 8000000000000000 = 40000000000000000000000000000000 (cc=0)
 187 mgrk 7FFFFFFFFFFFFFFF * 8000000000000000 = C0000000000000008000000000000000 (cc=0)
 188 msc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 189 msc 0000000000000001 * 8000000000000000 = 00000000800000000000000000000001 (cc=1)
 190 msc 000000000000FFFF * 8000000000000000 = 0000000080000000000000000000FFFF (cc=3)
 191 msc 0000000000007FFF * 8000000000000000 = 00000000800000000000000000007FFF (cc=3)
 192 msc 0000000000008000 * 8000000000000000 = 00000000000000000000000000008000 (cc=3)
 193 msc 00000000FFFFFFFF * 8000000000000000 = 000000008000000000000000FFFFFFFF (cc=3)
 194 msc 0000000080000000 * 8000000000000000 = 00000000000000000000000080000000 (cc=3)
 195 msc 000000007FFFFFFF * 8000000000000000 = 0000000080000000000000007FFFFFFF (cc=3)
 196 msc FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=3)
 197 msc 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0)
 198 msc 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF800000007FFFFFFFFFFFFFFF (cc=3)
 199 msrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 200 msrkc 0000000000000001 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 201 msrkc 000000000000FFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 202 msrkc 0000000000007FFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 203 msrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 204 msrkc 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 205 msrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 206 msrkc 000000007FFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 207 msrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 208 msrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 209 msrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 210 msgc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 211 msgc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000001 (cc=1)
 212 msgc 000000000000FFFF * 8000000000000000 = 8000000000000000000000000000FFFF (cc=3)
 213 msgc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000007FFF (cc=3)
 214 msgc 0000000000008000 * 8000000000000000 = 00000000000000000000000000008000 (cc=3)
 215 msgc 00000000FFFFFFFF * 8000000000000000 = 800000000000000000000000FFFFFFFF (cc=3)
 216 msgc 0000000080000000 * 8000000000000000 = 00000000000000000000000080000000 (cc=3)
 217 msgc 000000007FFFFFFF * 8000000000000000 = 8000000000000000000000007FFFFFFF (cc=3)
 218 msgc FFFFFFFFFFFFFFFF * 8000000000000000 = 8000000000000000FFFFFFFFFFFFFFFF (cc=3)
 219 msgc 8000000000000000 * 8000000000000000 = 00000000000000008000000000000000 (cc=3)
 220 msgc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000007FFFFFFFFFFFFFFF (cc=3)
 221 msgrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 222 msgrkc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000000 (cc=1)
 223 msgrkc 000000000000FFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 224 msgrkc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 225 msgrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3)
 226 msgrkc 00000000FFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 227 msgrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3)
 228 msgrkc 000000007FFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 229 msgrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 230 msgrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3)
 231 msgrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 232 mg 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 233 mg 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF (cc=0)
 234 mg 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0)
 235 mg 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8001 (cc=0)
 236 mg 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8000 (cc=0)
 237 mg 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF00000001 (cc=0)
 238 mg 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000000 (cc=0)
 239 mg 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000001 (cc=0)
 240 mg FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000000000000000000001 (cc=0)
 241 mg 8000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000008000000000000000 (cc=0)
 242 mg 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF8000000000000001 (cc=0)
 243 mgh 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 244 mgh 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000001 (cc=0)
 245 mgh 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0001000000000000FFFF (cc=0)
 246 mgh 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80010000000000007FFF (cc=0)
 247 mgh 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000008000 (cc=0)
 248 mgh 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF0000000100000000FFFFFFFF (cc=0)
 249 mgh 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFF800000000000000080000000 (cc=0)
 250 mgh 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF80000001000000007FFFFFFF (cc=0)
 251 mgh FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 0000000000000001FFFFFFFFFFFFFFFF (cc=0)
 252 mgh 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
 253 mgh 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000017FFFFFFFFFFFFFFF (cc=0)
 254 mgrk 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 255 mgrk 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF (cc=0)
 256 mgrk 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0)
 257 mgrk 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8001 (cc=0)
 258 mgrk 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8000 (cc=0)
 259 mgrk 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF00000001 (cc=0)
 260 mgrk 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000000 (cc=0)
 261 mgrk 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000001 (cc=0)
 262 mgrk FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000000000000000000001 (cc=0)
 263 mgrk 8000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000008000000000000000 (cc=0)
 264 mgrk 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF8000000000000001 (cc=0)
 265 msc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 266 msc 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000001 (cc=1)
 267 msc 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFF0001000000000000FFFF (cc=1)
 268 msc 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFF80010000000000007FFF (cc=1)
 269 msc 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFF80000000000000008000 (cc=1)
 270 msc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 000000000000000100000000FFFFFFFF (cc=2)
 271 msc 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000800000000000000080000000 (cc=3)
 272 msc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 0000000080000001000000007FFFFFFF (cc=1)
 273 msc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=2)
 274 msc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0)
 275 msc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=2)
 276 msrkc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 277 msrkc 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=1)
 278 msrkc 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFF00010000000000000000 (cc=1)
 279 msrkc 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFF80010000000000000000 (cc=1)
 280 msrkc 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFF80000000000000000000 (cc=1)
 281 msrkc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 282 msrkc 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000800000000000000000000000 (cc=3)
 283 msrkc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 00000000800000010000000000000000 (cc=1)
 284 msrkc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 285 msrkc 8000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 286 msrkc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 287 msgc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 288 msgc 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000001 (cc=1)
 289 msgc 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0001000000000000FFFF (cc=1)
 290 msgc 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80010000000000007FFF (cc=1)
 291 msgc 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000008000 (cc=1)
 292 msgc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF0000000100000000FFFFFFFF (cc=1)
 293 msgc 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFF800000000000000080000000 (cc=1)
 294 msgc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF80000001000000007FFFFFFF (cc=1)
 295 msgc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 0000000000000001FFFFFFFFFFFFFFFF (cc=2)
 296 msgc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=3)
 297 msgc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000017FFFFFFFFFFFFFFF (cc=1)
 298 msgrkc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0)
 299 msgrkc 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000000 (cc=1)
 300 msgrkc 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF00010000000000000000 (cc=1)
 301 msgrkc 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80010000000000000000 (cc=1)
 302 msgrkc 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000000000 (cc=1)
 303 msgrkc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF000000010000000000000000 (cc=1)
 304 msgrkc 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFF800000000000000000000000 (cc=1)
 305 msgrkc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF800000010000000000000000 (cc=1)
 306 msgrkc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2)
 307 msgrkc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000000000000000000000 (cc=3)
 308 msgrkc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000010000000000000000 (cc=1)
 309 mg 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 310 mg 0000000000000001 * 7FFFFFFF00000000 = 00000000000000007FFFFFFF00000000 (cc=0)
 311 mg 000000000000FFFF * 7FFFFFFF00000000 = 0000000000007FFF7FFF000100000000 (cc=0)
 312 mg 0000000000007FFF * 7FFFFFFF00000000 = 0000000000003FFF7FFF800100000000 (cc=0)
 313 mg 0000000000008000 * 7FFFFFFF00000000 = 0000000000003FFFFFFF800000000000 (cc=0)
 314 mg 00000000FFFFFFFF * 7FFFFFFF00000000 = 000000007FFFFFFE8000000100000000 (cc=0)
 315 mg 0000000080000000 * 7FFFFFFF00000000 = 000000003FFFFFFF8000000000000000 (cc=0)
 316 mg 000000007FFFFFFF * 7FFFFFFF00000000 = 000000003FFFFFFF0000000100000000 (cc=0)
 317 mg FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFFFFFFFFFF8000000100000000 (cc=0)
 318 mg 8000000000000000 * 7FFFFFFF00000000 = C0000000800000000000000000000000 (cc=0)
 319 mg 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 3FFFFFFF7FFFFFFF8000000100000000 (cc=0)
 320 mgh 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 321 mgh 0000000000000001 * 7FFFFFFF00000000 = 0000000000007FFF0000000000000001 (cc=0)
 322 mgh 000000000000FFFF * 7FFFFFFF00000000 = 000000007FFE8001000000000000FFFF (cc=0)
 323 mgh 0000000000007FFF * 7FFFFFFF00000000 = 000000003FFF00010000000000007FFF (cc=0)
 324 mgh 0000000000008000 * 7FFFFFFF00000000 = 000000003FFF80000000000000008000 (cc=0)
 325 mgh 00000000FFFFFFFF * 7FFFFFFF00000000 = 00007FFEFFFF800100000000FFFFFFFF (cc=0)
 326 mgh 0000000080000000 * 7FFFFFFF00000000 = 00003FFF800000000000000080000000 (cc=0)
 327 mgh 000000007FFFFFFF * 7FFFFFFF00000000 = 00003FFF7FFF8001000000007FFFFFFF (cc=0)
 328 mgh FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=0)
 329 mgh 8000000000000000 * 7FFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 330 mgh 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=0)
 331 mgrk 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 332 mgrk 0000000000000001 * 7FFFFFFF00000000 = 00000000000000007FFFFFFF00000000 (cc=0)
 333 mgrk 000000000000FFFF * 7FFFFFFF00000000 = 0000000000007FFF7FFF000100000000 (cc=0)
 334 mgrk 0000000000007FFF * 7FFFFFFF00000000 = 0000000000003FFF7FFF800100000000 (cc=0)
 335 mgrk 0000000000008000 * 7FFFFFFF00000000 = 0000000000003FFFFFFF800000000000 (cc=0)
 336 mgrk 00000000FFFFFFFF * 7FFFFFFF00000000 = 000000007FFFFFFE8000000100000000 (cc=0)
 337 mgrk 0000000080000000 * 7FFFFFFF00000000 = 000000003FFFFFFF8000000000000000 (cc=0)
 338 mgrk 000000007FFFFFFF * 7FFFFFFF00000000 = 000000003FFFFFFF0000000100000000 (cc=0)
 339 mgrk FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFFFFFFFFFF8000000100000000 (cc=0)
 340 mgrk 8000000000000000 * 7FFFFFFF00000000 = C0000000800000000000000000000000 (cc=0)
 341 mgrk 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 3FFFFFFF7FFFFFFF8000000100000000 (cc=0)
 342 msc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 343 msc 0000000000000001 * 7FFFFFFF00000000 = 000000007FFFFFFF0000000000000001 (cc=2)
 344 msc 000000000000FFFF * 7FFFFFFF00000000 = 000000007FFF0001000000000000FFFF (cc=3)
 345 msc 0000000000007FFF * 7FFFFFFF00000000 = 000000007FFF80010000000000007FFF (cc=3)
 346 msc 0000000000008000 * 7FFFFFFF00000000 = 00000000FFFF80000000000000008000 (cc=3)
 347 msc 00000000FFFFFFFF * 7FFFFFFF00000000 = 000000008000000100000000FFFFFFFF (cc=1)
 348 msc 0000000080000000 * 7FFFFFFF00000000 = 00000000800000000000000080000000 (cc=3)
 349 msc 000000007FFFFFFF * 7FFFFFFF00000000 = 0000000000000001000000007FFFFFFF (cc=3)
 350 msc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=1)
 351 msc 8000000000000000 * 7FFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 352 msc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=1)
 353 msrkc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 354 msrkc 0000000000000001 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 355 msrkc 000000000000FFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 356 msrkc 0000000000007FFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 357 msrkc 0000000000008000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 358 msrkc 00000000FFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 359 msrkc 0000000080000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 360 msrkc 000000007FFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 361 msrkc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 362 msrkc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 363 msrkc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 364 msgc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 365 msgc 0000000000000001 * 7FFFFFFF00000000 = 7FFFFFFF000000000000000000000001 (cc=2)
 366 msgc 000000000000FFFF * 7FFFFFFF00000000 = 7FFF000100000000000000000000FFFF (cc=3)
 367 msgc 0000000000007FFF * 7FFFFFFF00000000 = 7FFF8001000000000000000000007FFF (cc=3)
 368 msgc 0000000000008000 * 7FFFFFFF00000000 = FFFF8000000000000000000000008000 (cc=3)
 369 msgc 00000000FFFFFFFF * 7FFFFFFF00000000 = 800000010000000000000000FFFFFFFF (cc=3)
 370 msgc 0000000080000000 * 7FFFFFFF00000000 = 80000000000000000000000080000000 (cc=3)
 371 msgc 000000007FFFFFFF * 7FFFFFFF00000000 = 0000000100000000000000007FFFFFFF (cc=3)
 372 msgc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 8000000100000000FFFFFFFFFFFFFFFF (cc=1)
 373 msgc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000008000000000000000 (cc=3)
 374 msgc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000007FFFFFFFFFFFFFFF (cc=3)
 375 msgrkc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 376 msgrkc 0000000000000001 * 7FFFFFFF00000000 = 7FFFFFFF000000000000000000000000 (cc=2)
 377 msgrkc 000000000000FFFF * 7FFFFFFF00000000 = 7FFF0001000000000000000000000000 (cc=3)
 378 msgrkc 0000000000007FFF * 7FFFFFFF00000000 = 7FFF8001000000000000000000000000 (cc=3)
 379 msgrkc 0000000000008000 * 7FFFFFFF00000000 = FFFF8000000000000000000000000000 (cc=3)
 380 msgrkc 00000000FFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000000 (cc=3)
 381 msgrkc 0000000080000000 * 7FFFFFFF00000000 = 80000000000000000000000000000000 (cc=3)
 382 msgrkc 000000007FFFFFFF * 7FFFFFFF00000000 = 00000001000000000000000000000000 (cc=3)
 383 msgrkc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000000 (cc=1)
 384 msgrkc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=3)
 385 msgrkc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000000 (cc=3)
 386 mg 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 387 mg 0000000000000001 * 8000000000000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0)
 388 mg 000000000000FFFF * 8000000000000000 = FFFFFFFFFFFF80008000000000000000 (cc=0)
 389 mg 0000000000007FFF * 8000000000000000 = FFFFFFFFFFFFC0008000000000000000 (cc=0)
 390 mg 0000000000008000 * 8000000000000000 = FFFFFFFFFFFFC0000000000000000000 (cc=0)
 391 mg 00000000FFFFFFFF * 8000000000000000 = FFFFFFFF800000008000000000000000 (cc=0)
 392 mg 0000000080000000 * 8000000000000000 = FFFFFFFFC00000000000000000000000 (cc=0)
 393 mg 000000007FFFFFFF * 8000000000000000 = FFFFFFFFC00000008000000000000000 (cc=0)
 394 mg FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000008000000000000000 (cc=0)
 395 mg 8000000000000000 * 8000000000000000 = 40000000000000000000000000000000 (cc=0)
 396 mg 7FFFFFFFFFFFFFFF * 8000000000000000 = C0000000000000008000000000000000 (cc=0)
 397 mgh 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 398 mgh 0000000000000001 * 8000000000000000 = FFFFFFFFFFFF80000000000000000001 (cc=0)
 399 mgh 000000000000FFFF * 8000000000000000 = FFFFFFFF80008000000000000000FFFF (cc=0)
 400 mgh 0000000000007FFF * 8000000000000000 = FFFFFFFFC00080000000000000007FFF (cc=0)
 401 mgh 0000000000008000 * 8000000000000000 = FFFFFFFFC00000000000000000008000 (cc=0)
 402 mgh 00000000FFFFFFFF * 8000000000000000 = FFFF80000000800000000000FFFFFFFF (cc=0)
 403 mgh 0000000080000000 * 8000000000000000 = FFFFC000000000000000000080000000 (cc=0)
 404 mgh 000000007FFFFFFF * 8000000000000000 = FFFFC00000008000000000007FFFFFFF (cc=0)
 405 mgh FFFFFFFFFFFFFFFF * 8000000000000000 = 0000000000008000FFFFFFFFFFFFFFFF (cc=0)
 406 mgh 8000000000000000 * 8000000000000000 = 00000000000000008000000000000000 (cc=0)
 407 mgh 7FFFFFFFFFFFFFFF * 8000000000000000 = 00000000000080007FFFFFFFFFFFFFFF (cc=0)
 408 mgrk 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 409 mgrk 0000000000000001 * 8000000000000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0)
 410 mgrk 000000000000FFFF * 8000000000000000 = FFFFFFFFFFFF80008000000000000000 (cc=0)
 411 mgrk 0000000000007FFF * 8000000000000000 = FFFFFFFFFFFFC0008000000000000000 (cc=0)
 412 mgrk 0000000000008000 * 8000000000000000 = FFFFFFFFFFFFC0000000000000000000 (cc=0)
 413 mgrk 00000000FFFFFFFF * 8000000000000000 = FFFFFFFF800000008000000000000000 (cc=0)
 414 mgrk 0000000080000000 * 8000000000000000 = FFFFFFFFC00000000000000000000000 (cc=0)
 415 mgrk 000000007FFFFFFF * 8000000000000000 = FFFFFFFFC00000008000000000000000 (cc=0)
 416 mgrk FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000008000000000000000 (cc=0)
 417 mgrk 8000000000000000 * 8000000000000000 = 40000000000000000000000000000000 (cc=0)
 418 mgrk 7FFFFFFFFFFFFFFF * 8000000000000000 = C0000000000000008000000000000000 (cc=0)
 419 msc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 420 msc 0000000000000001 * 8000000000000000 = 00000000800000000000000000000001 (cc=1)
 421 msc 000000000000FFFF * 8000000000000000 = 0000000080000000000000000000FFFF (cc=3)
 422 msc 0000000000007FFF * 8000000000000000 = 00000000800000000000000000007FFF (cc=3)
 423 msc 0000000000008000 * 8000000000000000 = 00000000000000000000000000008000 (cc=3)
 424 msc 00000000FFFFFFFF * 8000000000000000 = 000000008000000000000000FFFFFFFF (cc=3)
 425 msc 0000000080000000 * 8000000000000000 = 00000000000000000000000080000000 (cc=3)
 426 msc 000000007FFFFFFF * 8000000000000000 = 0000000080000000000000007FFFFFFF (cc=3)
 427 msc FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=3)
 428 msc 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0)
 429 msc 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF800000007FFFFFFFFFFFFFFF (cc=3)
 430 msrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 431 msrkc 0000000000000001 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 432 msrkc 000000000000FFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 433 msrkc 0000000000007FFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 434 msrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 435 msrkc 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 436 msrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 437 msrkc 000000007FFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 438 msrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 439 msrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 440 msrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 441 msgc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 442 msgc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000001 (cc=1)
 443 msgc 000000000000FFFF * 8000000000000000 = 8000000000000000000000000000FFFF (cc=3)
 444 msgc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000007FFF (cc=3)
 445 msgc 0000000000008000 * 8000000000000000 = 00000000000000000000000000008000 (cc=3)
 446 msgc 00000000FFFFFFFF * 8000000000000000 = 800000000000000000000000FFFFFFFF (cc=3)
 447 msgc 0000000080000000 * 8000000000000000 = 00000000000000000000000080000000 (cc=3)
 448 msgc 000000007FFFFFFF * 8000000000000000 = 8000000000000000000000007FFFFFFF (cc=3)
 449 msgc FFFFFFFFFFFFFFFF * 8000000000000000 = 8000000000000000FFFFFFFFFFFFFFFF (cc=3)
 450 msgc 8000000000000000 * 8000000000000000 = 00000000000000008000000000000000 (cc=3)
 451 msgc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000007FFFFFFFFFFFFFFF (cc=3)
 452 msgrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0)
 453 msgrkc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000000 (cc=1)
 454 msgrkc 000000000000FFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 455 msgrkc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 456 msgrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3)
 457 msgrkc 00000000FFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 458 msgrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3)
 459 msgrkc 000000007FFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 460 msgrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 461 msgrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3)
 462 msgrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3)
 463 mg 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 464 mg 0000000000000001 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFFFFFF00000000 (cc=0)
 465 mg 000000000000FFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF000100000000 (cc=0)
 466 mg 0000000000007FFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF800100000000 (cc=0)
 467 mg 0000000000008000 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF800000000000 (cc=0)
 468 mg 00000000FFFFFFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF0000000100000000 (cc=0)
 469 mg 0000000080000000 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0)
 470 mg 000000007FFFFFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF8000000100000000 (cc=0)
 471 mg FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000100000000 (cc=0)
 472 mg 8000000000000000 * FFFFFFFF00000000 = 00000000800000000000000000000000 (cc=0)
 473 mg 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF800000000000000100000000 (cc=0)
 474 mgh 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 475 mgh 0000000000000001 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF0000000000000001 (cc=0)
 476 mgh 000000000000FFFF * FFFFFFFF00000000 = FFFFFFFFFFFF0001000000000000FFFF (cc=0)
 477 mgh 0000000000007FFF * FFFFFFFF00000000 = FFFFFFFFFFFF80010000000000007FFF (cc=0)
 478 mgh 0000000000008000 * FFFFFFFF00000000 = FFFFFFFFFFFF80000000000000008000 (cc=0)
 479 mgh 00000000FFFFFFFF * FFFFFFFF00000000 = FFFFFFFF0000000100000000FFFFFFFF (cc=0)
 480 mgh 0000000080000000 * FFFFFFFF00000000 = FFFFFFFF800000000000000080000000 (cc=0)
 481 mgh 000000007FFFFFFF * FFFFFFFF00000000 = FFFFFFFF80000001000000007FFFFFFF (cc=0)
 482 mgh FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 0000000000000001FFFFFFFFFFFFFFFF (cc=0)
 483 mgh 8000000000000000 * FFFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 484 mgh 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 80000000000000017FFFFFFFFFFFFFFF (cc=0)
 485 mgrk 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 486 mgrk 0000000000000001 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFFFFFF00000000 (cc=0)
 487 mgrk 000000000000FFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF000100000000 (cc=0)
 488 mgrk 0000000000007FFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF800100000000 (cc=0)
 489 mgrk 0000000000008000 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF800000000000 (cc=0)
 490 mgrk 00000000FFFFFFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF0000000100000000 (cc=0)
 491 mgrk 0000000080000000 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0)
 492 mgrk 000000007FFFFFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFF8000000100000000 (cc=0)
 493 mgrk FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000100000000 (cc=0)
 494 mgrk 8000000000000000 * FFFFFFFF00000000 = 00000000800000000000000000000000 (cc=0)
 495 mgrk 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF800000000000000100000000 (cc=0)
 496 msc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 497 msc 0000000000000001 * FFFFFFFF00000000 = 00000000FFFFFFFF0000000000000001 (cc=1)
 498 msc 000000000000FFFF * FFFFFFFF00000000 = 00000000FFFF0001000000000000FFFF (cc=1)
 499 msc 0000000000007FFF * FFFFFFFF00000000 = 00000000FFFF80010000000000007FFF (cc=1)
 500 msc 0000000000008000 * FFFFFFFF00000000 = 00000000FFFF80000000000000008000 (cc=1)
 501 msc 00000000FFFFFFFF * FFFFFFFF00000000 = 000000000000000100000000FFFFFFFF (cc=2)
 502 msc 0000000080000000 * FFFFFFFF00000000 = 00000000800000000000000080000000 (cc=3)
 503 msc 000000007FFFFFFF * FFFFFFFF00000000 = 0000000080000001000000007FFFFFFF (cc=1)
 504 msc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=2)
 505 msc 8000000000000000 * FFFFFFFF00000000 = 80000000000000008000000000000000 (cc=0)
 506 msc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=2)
 507 msrkc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 508 msrkc 0000000000000001 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 509 msrkc 000000000000FFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 510 msrkc 0000000000007FFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 511 msrkc 0000000000008000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 512 msrkc 00000000FFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 513 msrkc 0000000080000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 514 msrkc 000000007FFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 515 msrkc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 516 msrkc 8000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 517 msrkc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 518 msgc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 519 msgc 0000000000000001 * FFFFFFFF00000000 = FFFFFFFF000000000000000000000001 (cc=1)
 520 msgc 000000000000FFFF * FFFFFFFF00000000 = FFFF000100000000000000000000FFFF (cc=1)
 521 msgc 0000000000007FFF * FFFFFFFF00000000 = FFFF8001000000000000000000007FFF (cc=1)
 522 msgc 0000000000008000 * FFFFFFFF00000000 = FFFF8000000000000000000000008000 (cc=1)
 523 msgc 00000000FFFFFFFF * FFFFFFFF00000000 = 000000010000000000000000FFFFFFFF (cc=3)
 524 msgc 0000000080000000 * FFFFFFFF00000000 = 80000000000000000000000080000000 (cc=1)
 525 msgc 000000007FFFFFFF * FFFFFFFF00000000 = 8000000100000000000000007FFFFFFF (cc=1)
 526 msgc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 0000000100000000FFFFFFFFFFFFFFFF (cc=2)
 527 msgc 8000000000000000 * FFFFFFFF00000000 = 00000000000000008000000000000000 (cc=3)
 528 msgc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000007FFFFFFFFFFFFFFF (cc=3)
 529 msgrkc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0)
 530 msgrkc 0000000000000001 * FFFFFFFF00000000 = FFFFFFFF000000000000000000000000 (cc=1)
 531 msgrkc 000000000000FFFF * FFFFFFFF00000000 = FFFF0001000000000000000000000000 (cc=1)
 532 msgrkc 0000000000007FFF * FFFFFFFF00000000 = FFFF8001000000000000000000000000 (cc=1)
 533 msgrkc 0000000000008000 * FFFFFFFF00000000 = FFFF8000000000000000000000000000 (cc=1)
 534 msgrkc 00000000FFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000000 (cc=3)
 535 msgrkc 0000000080000000 * FFFFFFFF00000000 = 80000000000000000000000000000000 (cc=1)
 536 msgrkc 000000007FFFFFFF * FFFFFFFF00000000 = 80000001000000000000000000000000 (cc=1)
 537 msgrkc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000000 (cc=2)
 538 msgrkc 8000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=3)
 539 msgrkc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000000 (cc=3)
 540 mg 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 541 mg 0000000000000001 * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 542 mg 000000000000FFFF * 000000007FFFFFFF = 000000000000000000007FFF7FFF0001 (cc=0)
 543 mg 0000000000007FFF * 000000007FFFFFFF = 000000000000000000003FFF7FFF8001 (cc=0)
 544 mg 0000000000008000 * 000000007FFFFFFF = 000000000000000000003FFFFFFF8000 (cc=0)
 545 mg 00000000FFFFFFFF * 000000007FFFFFFF = 00000000000000007FFFFFFE80000001 (cc=0)
 546 mg 0000000080000000 * 000000007FFFFFFF = 00000000000000003FFFFFFF80000000 (cc=0)
 547 mg 000000007FFFFFFF * 000000007FFFFFFF = 00000000000000003FFFFFFF00000001 (cc=0)
 548 mg FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000001 (cc=0)
 549 mg 8000000000000000 * 000000007FFFFFFF = FFFFFFFFC00000008000000000000000 (cc=0)
 550 mg 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 000000003FFFFFFF7FFFFFFF80000001 (cc=0)
 551 mgh 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 552 mgh 0000000000000001 * 000000007FFFFFFF = 00000000000000000000000000000001 (cc=0)
 553 mgh 000000000000FFFF * 000000007FFFFFFF = 0000000000000000000000000000FFFF (cc=0)
 554 mgh 0000000000007FFF * 000000007FFFFFFF = 00000000000000000000000000007FFF (cc=0)
 555 mgh 0000000000008000 * 000000007FFFFFFF = 00000000000000000000000000008000 (cc=0)
 556 mgh 00000000FFFFFFFF * 000000007FFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 557 mgh 0000000080000000 * 000000007FFFFFFF = 00000000000000000000000080000000 (cc=0)
 558 mgh 000000007FFFFFFF * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 559 mgh FFFFFFFFFFFFFFFF * 000000007FFFFFFF = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 560 mgh 8000000000000000 * 000000007FFFFFFF = 00000000000000008000000000000000 (cc=0)
 561 mgh 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 562 mgrk 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 563 mgrk 0000000000000001 * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 564 mgrk 000000000000FFFF * 000000007FFFFFFF = 000000000000000000007FFF7FFF0001 (cc=0)
 565 mgrk 0000000000007FFF * 000000007FFFFFFF = 000000000000000000003FFF7FFF8001 (cc=0)
 566 mgrk 0000000000008000 * 000000007FFFFFFF = 000000000000000000003FFFFFFF8000 (cc=0)
 567 mgrk 00000000FFFFFFFF * 000000007FFFFFFF = 00000000000000007FFFFFFE80000001 (cc=0)
 568 mgrk 0000000080000000 * 000000007FFFFFFF = 00000000000000003FFFFFFF80000000 (cc=0)
 569 mgrk 000000007FFFFFFF * 000000007FFFFFFF = 00000000000000003FFFFFFF00000001 (cc=0)
 570 mgrk FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF80000001 (cc=0)
 571 mgrk 8000000000000000 * 000000007FFFFFFF = FFFFFFFFC00000008000000000000000 (cc=0)
 572 mgrk 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 000000003FFFFFFF7FFFFFFF80000001 (cc=0)
 573 msc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 574 msc 0000000000000001 * 000000007FFFFFFF = 00000000000000000000000000000001 (cc=0)
 575 msc 000000000000FFFF * 000000007FFFFFFF = 0000000000000000000000000000FFFF (cc=0)
 576 msc 0000000000007FFF * 000000007FFFFFFF = 00000000000000000000000000007FFF (cc=0)
 577 msc 0000000000008000 * 000000007FFFFFFF = 00000000000000000000000000008000 (cc=0)
 578 msc 00000000FFFFFFFF * 000000007FFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 579 msc 0000000080000000 * 000000007FFFFFFF = 00000000000000000000000080000000 (cc=0)
 580 msc 000000007FFFFFFF * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 581 msc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 582 msc 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=0)
 583 msc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 584 msrkc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 585 msrkc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000000 (cc=2)
 586 msrkc 000000000000FFFF * 000000007FFFFFFF = 000000007FFF00010000000000000000 (cc=3)
 587 msrkc 0000000000007FFF * 000000007FFFFFFF = 000000007FFF80010000000000000000 (cc=3)
 588 msrkc 0000000000008000 * 000000007FFFFFFF = 00000000FFFF80000000000000000000 (cc=3)
 589 msrkc 00000000FFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000000 (cc=1)
 590 msrkc 0000000080000000 * 000000007FFFFFFF = 00000000800000000000000000000000 (cc=3)
 591 msrkc 000000007FFFFFFF * 000000007FFFFFFF = 00000000000000010000000000000000 (cc=3)
 592 msrkc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000000 (cc=1)
 593 msrkc 8000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 594 msrkc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000000 (cc=1)
 595 msgc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 596 msgc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000001 (cc=2)
 597 msgc 000000000000FFFF * 000000007FFFFFFF = 00007FFF7FFF0001000000000000FFFF (cc=2)
 598 msgc 0000000000007FFF * 000000007FFFFFFF = 00003FFF7FFF80010000000000007FFF (cc=2)
 599 msgc 0000000000008000 * 000000007FFFFFFF = 00003FFFFFFF80000000000000008000 (cc=2)
 600 msgc 00000000FFFFFFFF * 000000007FFFFFFF = 7FFFFFFE8000000100000000FFFFFFFF (cc=2)
 601 msgc 0000000080000000 * 000000007FFFFFFF = 3FFFFFFF800000000000000080000000 (cc=2)
 602 msgc 000000007FFFFFFF * 000000007FFFFFFF = 3FFFFFFF00000001000000007FFFFFFF (cc=2)
 603 msgc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=1)
 604 msgc 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=3)
 605 msgc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=3)
 606 msgrkc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0)
 607 msgrkc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000000 (cc=2)
 608 msgrkc 000000000000FFFF * 000000007FFFFFFF = 00007FFF7FFF00010000000000000000 (cc=2)
 609 msgrkc 0000000000007FFF * 000000007FFFFFFF = 00003FFF7FFF80010000000000000000 (cc=2)
 610 msgrkc 0000000000008000 * 000000007FFFFFFF = 00003FFFFFFF80000000000000000000 (cc=2)
 611 msgrkc 00000000FFFFFFFF * 000000007FFFFFFF = 7FFFFFFE800000010000000000000000 (cc=2)
 612 msgrkc 0000000080000000 * 000000007FFFFFFF = 3FFFFFFF800000000000000000000000 (cc=2)
 613 msgrkc 000000007FFFFFFF * 000000007FFFFFFF = 3FFFFFFF000000010000000000000000 (cc=2)
 614 msgrkc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF800000010000000000000000 (cc=1)
 615 msgrkc 8000000000000000 * 000000007FFFFFFF = 80000000000000000000000000000000 (cc=3)
 616 msgrkc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000010000000000000000 (cc=3)
 617 mg 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 618 mg 0000000000000001 * 0000000080000000 = 00000000000000000000000080000000 (cc=0)
 619 mg 000000000000FFFF * 0000000080000000 = 000000000000000000007FFF80000000 (cc=0)
 620 mg 0000000000007FFF * 0000000080000000 = 000000000000000000003FFF80000000 (cc=0)
 621 mg 0000000000008000 * 0000000080000000 = 00000000000000000000400000000000 (cc=0)
 622 mg 00000000FFFFFFFF * 0000000080000000 = 00000000000000007FFFFFFF80000000 (cc=0)
 623 mg 0000000080000000 * 0000000080000000 = 00000000000000004000000000000000 (cc=0)
 624 mg 000000007FFFFFFF * 0000000080000000 = 00000000000000003FFFFFFF80000000 (cc=0)
 625 mg FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFFFFFFFFFFFFFFFFFF80000000 (cc=0)
 626 mg 8000000000000000 * 0000000080000000 = FFFFFFFFC00000000000000000000000 (cc=0)
 627 mg 7FFFFFFFFFFFFFFF * 0000000080000000 = 000000003FFFFFFFFFFFFFFF80000000 (cc=0)
 628 mgh 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 629 mgh 0000000000000001 * 0000000080000000 = 00000000000000000000000000000001 (cc=0)
 630 mgh 000000000000FFFF * 0000000080000000 = 0000000000000000000000000000FFFF (cc=0)
 631 mgh 0000000000007FFF * 0000000080000000 = 00000000000000000000000000007FFF (cc=0)
 632 mgh 0000000000008000 * 0000000080000000 = 00000000000000000000000000008000 (cc=0)
 633 mgh 00000000FFFFFFFF * 0000000080000000 = 000000000000000000000000FFFFFFFF (cc=0)
 634 mgh 0000000080000000 * 0000000080000000 = 00000000000000000000000080000000 (cc=0)
 635 mgh 000000007FFFFFFF * 0000000080000000 = 0000000000000000000000007FFFFFFF (cc=0)
 636 mgh FFFFFFFFFFFFFFFF * 0000000080000000 = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 637 mgh 8000000000000000 * 0000000080000000 = 00000000000000008000000000000000 (cc=0)
 638 mgh 7FFFFFFFFFFFFFFF * 0000000080000000 = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 639 mgrk 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 640 mgrk 0000000000000001 * 0000000080000000 = 00000000000000000000000080000000 (cc=0)
 641 mgrk 000000000000FFFF * 0000000080000000 = 000000000000000000007FFF80000000 (cc=0)
 642 mgrk 0000000000007FFF * 0000000080000000 = 000000000000000000003FFF80000000 (cc=0)
 643 mgrk 0000000000008000 * 0000000080000000 = 00000000000000000000400000000000 (cc=0)
 644 mgrk 00000000FFFFFFFF * 0000000080000000 = 00000000000000007FFFFFFF80000000 (cc=0)
 645 mgrk 0000000080000000 * 0000000080000000 = 00000000000000004000000000000000 (cc=0)
 646 mgrk 000000007FFFFFFF * 0000000080000000 = 00000000000000003FFFFFFF80000000 (cc=0)
 647 mgrk FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFFFFFFFFFFFFFFFFFF80000000 (cc=0)
 648 mgrk 8000000000000000 * 0000000080000000 = FFFFFFFFC00000000000000000000000 (cc=0)
 649 mgrk 7FFFFFFFFFFFFFFF * 0000000080000000 = 000000003FFFFFFFFFFFFFFF80000000 (cc=0)
 650 msc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 651 msc 0000000000000001 * 0000000080000000 = 00000000000000000000000000000001 (cc=0)
 652 msc 000000000000FFFF * 0000000080000000 = 0000000000000000000000000000FFFF (cc=0)
 653 msc 0000000000007FFF * 0000000080000000 = 00000000000000000000000000007FFF (cc=0)
 654 msc 0000000000008000 * 0000000080000000 = 00000000000000000000000000008000 (cc=0)
 655 msc 00000000FFFFFFFF * 0000000080000000 = 000000000000000000000000FFFFFFFF (cc=0)
 656 msc 0000000080000000 * 0000000080000000 = 00000000000000000000000080000000 (cc=0)
 657 msc 000000007FFFFFFF * 0000000080000000 = 0000000000000000000000007FFFFFFF (cc=0)
 658 msc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 659 msc 8000000000000000 * 0000000080000000 = 80000000000000008000000000000000 (cc=0)
 660 msc 7FFFFFFFFFFFFFFF * 0000000080000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 661 msrkc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 662 msrkc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000000 (cc=1)
 663 msrkc 000000000000FFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3)
 664 msrkc 0000000000007FFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3)
 665 msrkc 0000000000008000 * 0000000080000000 = 00000000000000000000000000000000 (cc=3)
 666 msrkc 00000000FFFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3)
 667 msrkc 0000000080000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=3)
 668 msrkc 000000007FFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3)
 669 msrkc FFFFFFFFFFFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3)
 670 msrkc 8000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 671 msrkc 7FFFFFFFFFFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3)
 672 msgc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 673 msgc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000001 (cc=2)
 674 msgc 000000000000FFFF * 0000000080000000 = 00007FFF80000000000000000000FFFF (cc=2)
 675 msgc 0000000000007FFF * 0000000080000000 = 00003FFF800000000000000000007FFF (cc=2)
 676 msgc 0000000000008000 * 0000000080000000 = 00004000000000000000000000008000 (cc=2)
 677 msgc 00000000FFFFFFFF * 0000000080000000 = 7FFFFFFF8000000000000000FFFFFFFF (cc=2)
 678 msgc 0000000080000000 * 0000000080000000 = 40000000000000000000000080000000 (cc=2)
 679 msgc 000000007FFFFFFF * 0000000080000000 = 3FFFFFFF80000000000000007FFFFFFF (cc=2)
 680 msgc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=1)
 681 msgc 8000000000000000 * 0000000080000000 = 00000000000000008000000000000000 (cc=3)
 682 msgc 7FFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000007FFFFFFFFFFFFFFF (cc=3)
 683 msgrkc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0)
 684 msgrkc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000000 (cc=2)
 685 msgrkc 000000000000FFFF * 0000000080000000 = 00007FFF800000000000000000000000 (cc=2)
 686 msgrkc 0000000000007FFF * 0000000080000000 = 00003FFF800000000000000000000000 (cc=2)
 687 msgrkc 0000000000008000 * 0000000080000000 = 00004000000000000000000000000000 (cc=2)
 688 msgrkc 00000000FFFFFFFF * 0000000080000000 = 7FFFFFFF800000000000000000000000 (cc=2)
 689 msgrkc 0000000080000000 * 0000000080000000 = 40000000000000000000000000000000 (cc=2)
 690 msgrkc 000000007FFFFFFF * 0000000080000000 = 3FFFFFFF800000000000000000000000 (cc=2)
 691 msgrkc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000000 (cc=1)
 692 msgrkc 8000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=3)
 693 msgrkc 7FFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000000 (cc=3)
 694 mg 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 695 mg 0000000000000001 * 00000000FFFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 696 mg 000000000000FFFF * 00000000FFFFFFFF = 00000000000000000000FFFEFFFF0001 (cc=0)
 697 mg 0000000000007FFF * 00000000FFFFFFFF = 000000000000000000007FFEFFFF8001 (cc=0)
 698 mg 0000000000008000 * 00000000FFFFFFFF = 000000000000000000007FFFFFFF8000 (cc=0)
 699 mg 00000000FFFFFFFF * 00000000FFFFFFFF = 0000000000000000FFFFFFFE00000001 (cc=0)
 700 mg 0000000080000000 * 00000000FFFFFFFF = 00000000000000007FFFFFFF80000000 (cc=0)
 701 mg 000000007FFFFFFF * 00000000FFFFFFFF = 00000000000000007FFFFFFE80000001 (cc=0)
 702 mg FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF00000001 (cc=0)
 703 mg 8000000000000000 * 00000000FFFFFFFF = FFFFFFFF800000008000000000000000 (cc=0)
 704 mg 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 000000007FFFFFFF7FFFFFFF00000001 (cc=0)
 705 mgh 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 706 mgh 0000000000000001 * 00000000FFFFFFFF = 00000000000000000000000000000001 (cc=0)
 707 mgh 000000000000FFFF * 00000000FFFFFFFF = 0000000000000000000000000000FFFF (cc=0)
 708 mgh 0000000000007FFF * 00000000FFFFFFFF = 00000000000000000000000000007FFF (cc=0)
 709 mgh 0000000000008000 * 00000000FFFFFFFF = 00000000000000000000000000008000 (cc=0)
 710 mgh 00000000FFFFFFFF * 00000000FFFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 711 mgh 0000000080000000 * 00000000FFFFFFFF = 00000000000000000000000080000000 (cc=0)
 712 mgh 000000007FFFFFFF * 00000000FFFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 713 mgh FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 714 mgh 8000000000000000 * 00000000FFFFFFFF = 00000000000000008000000000000000 (cc=0)
 715 mgh 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 716 mgrk 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 717 mgrk 0000000000000001 * 00000000FFFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 718 mgrk 000000000000FFFF * 00000000FFFFFFFF = 00000000000000000000FFFEFFFF0001 (cc=0)
 719 mgrk 0000000000007FFF * 00000000FFFFFFFF = 000000000000000000007FFEFFFF8001 (cc=0)
 720 mgrk 0000000000008000 * 00000000FFFFFFFF = 000000000000000000007FFFFFFF8000 (cc=0)
 721 mgrk 00000000FFFFFFFF * 00000000FFFFFFFF = 0000000000000000FFFFFFFE00000001 (cc=0)
 722 mgrk 0000000080000000 * 00000000FFFFFFFF = 00000000000000007FFFFFFF80000000 (cc=0)
 723 mgrk 000000007FFFFFFF * 00000000FFFFFFFF = 00000000000000007FFFFFFE80000001 (cc=0)
 724 mgrk FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFF00000001 (cc=0)
 725 mgrk 8000000000000000 * 00000000FFFFFFFF = FFFFFFFF800000008000000000000000 (cc=0)
 726 mgrk 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 000000007FFFFFFF7FFFFFFF00000001 (cc=0)
 727 msc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 728 msc 0000000000000001 * 00000000FFFFFFFF = 00000000000000000000000000000001 (cc=0)
 729 msc 000000000000FFFF * 00000000FFFFFFFF = 0000000000000000000000000000FFFF (cc=0)
 730 msc 0000000000007FFF * 00000000FFFFFFFF = 00000000000000000000000000007FFF (cc=0)
 731 msc 0000000000008000 * 00000000FFFFFFFF = 00000000000000000000000000008000 (cc=0)
 732 msc 00000000FFFFFFFF * 00000000FFFFFFFF = 000000000000000000000000FFFFFFFF (cc=0)
 733 msc 0000000080000000 * 00000000FFFFFFFF = 00000000000000000000000080000000 (cc=0)
 734 msc 000000007FFFFFFF * 00000000FFFFFFFF = 0000000000000000000000007FFFFFFF (cc=0)
 735 msc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 736 msc 8000000000000000 * 00000000FFFFFFFF = 80000000000000008000000000000000 (cc=0)
 737 msc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 738 msrkc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 739 msrkc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=1)
 740 msrkc 000000000000FFFF * 00000000FFFFFFFF = 00000000FFFF00010000000000000000 (cc=1)
 741 msrkc 0000000000007FFF * 00000000FFFFFFFF = 00000000FFFF80010000000000000000 (cc=1)
 742 msrkc 0000000000008000 * 00000000FFFFFFFF = 00000000FFFF80000000000000000000 (cc=1)
 743 msrkc 00000000FFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000000 (cc=2)
 744 msrkc 0000000080000000 * 00000000FFFFFFFF = 00000000800000000000000000000000 (cc=3)
 745 msrkc 000000007FFFFFFF * 00000000FFFFFFFF = 00000000800000010000000000000000 (cc=1)
 746 msrkc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000000 (cc=2)
 747 msrkc 8000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 748 msrkc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000000 (cc=2)
 749 msgc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 750 msgc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000001 (cc=2)
 751 msgc 000000000000FFFF * 00000000FFFFFFFF = 0000FFFEFFFF0001000000000000FFFF (cc=2)
 752 msgc 0000000000007FFF * 00000000FFFFFFFF = 00007FFEFFFF80010000000000007FFF (cc=2)
 753 msgc 0000000000008000 * 00000000FFFFFFFF = 00007FFFFFFF80000000000000008000 (cc=2)
 754 msgc 00000000FFFFFFFF * 00000000FFFFFFFF = FFFFFFFE0000000100000000FFFFFFFF (cc=3)
 755 msgc 0000000080000000 * 00000000FFFFFFFF = 7FFFFFFF800000000000000080000000 (cc=2)
 756 msgc 000000007FFFFFFF * 00000000FFFFFFFF = 7FFFFFFE80000001000000007FFFFFFF (cc=2)
 757 msgc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=1)
 758 msgc 8000000000000000 * 00000000FFFFFFFF = 80000000000000008000000000000000 (cc=3)
 759 msgc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=3)
 760 msgrkc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0)
 761 msgrkc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=2)
 762 msgrkc 000000000000FFFF * 00000000FFFFFFFF = 0000FFFEFFFF00010000000000000000 (cc=2)
 763 msgrkc 0000000000007FFF * 00000000FFFFFFFF = 00007FFEFFFF80010000000000000000 (cc=2)
 764 msgrkc 0000000000008000 * 00000000FFFFFFFF = 00007FFFFFFF80000000000000000000 (cc=2)
 765 msgrkc 00000000FFFFFFFF * 00000000FFFFFFFF = FFFFFFFE000000010000000000000000 (cc=3)
 766 msgrkc 0000000080000000 * 00000000FFFFFFFF = 7FFFFFFF800000000000000000000000 (cc=2)
 767 msgrkc 000000007FFFFFFF * 00000000FFFFFFFF = 7FFFFFFE800000010000000000000000 (cc=2)
 768 msgrkc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF000000010000000000000000 (cc=1)
 769 msgrkc 8000000000000000 * 00000000FFFFFFFF = 80000000000000000000000000000000 (cc=3)
 770 msgrkc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000010000000000000000 (cc=3)
 771 mg 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 772 mg 0000000000000001 * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
 773 mg 000000000000FFFF * 000000000000FFFF = 000000000000000000000000FFFE0001 (cc=0)
 774 mg 0000000000007FFF * 000000000000FFFF = 0000000000000000000000007FFE8001 (cc=0)
 775 mg 0000000000008000 * 000000000000FFFF = 0000000000000000000000007FFF8000 (cc=0)
 776 mg 00000000FFFFFFFF * 000000000000FFFF = 00000000000000000000FFFEFFFF0001 (cc=0)
 777 mg 0000000080000000 * 000000000000FFFF = 000000000000000000007FFF80000000 (cc=0)
 778 mg 000000007FFFFFFF * 000000000000FFFF = 000000000000000000007FFF7FFF0001 (cc=0)
 779 mg FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0)
 780 mg 8000000000000000 * 000000000000FFFF = FFFFFFFFFFFF80008000000000000000 (cc=0)
 781 mg 7FFFFFFFFFFFFFFF * 000000000000FFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0)
 782 mgh 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 783 mgh 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000001 (cc=0)
 784 mgh 000000000000FFFF * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
 785 mgh 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000007FFF (cc=0)
 786 mgh 0000000000008000 * 000000000000FFFF = 00000000000000000000000000008000 (cc=0)
 787 mgh 00000000FFFFFFFF * 000000000000FFFF = 000000000000000000000000FFFFFFFF (cc=0)
 788 mgh 0000000080000000 * 000000000000FFFF = 00000000000000000000000080000000 (cc=0)
 789 mgh 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0)
 790 mgh FFFFFFFFFFFFFFFF * 000000000000FFFF = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 791 mgh 8000000000000000 * 000000000000FFFF = 00000000000000008000000000000000 (cc=0)
 792 mgh 7FFFFFFFFFFFFFFF * 000000000000FFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 793 mgrk 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 794 mgrk 0000000000000001 * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
 795 mgrk 000000000000FFFF * 000000000000FFFF = 000000000000000000000000FFFE0001 (cc=0)
 796 mgrk 0000000000007FFF * 000000000000FFFF = 0000000000000000000000007FFE8001 (cc=0)
 797 mgrk 0000000000008000 * 000000000000FFFF = 0000000000000000000000007FFF8000 (cc=0)
 798 mgrk 00000000FFFFFFFF * 000000000000FFFF = 00000000000000000000FFFEFFFF0001 (cc=0)
 799 mgrk 0000000080000000 * 000000000000FFFF = 000000000000000000007FFF80000000 (cc=0)
 800 mgrk 000000007FFFFFFF * 000000000000FFFF = 000000000000000000007FFF7FFF0001 (cc=0)
 801 mgrk FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0)
 802 mgrk 8000000000000000 * 000000000000FFFF = FFFFFFFFFFFF80008000000000000000 (cc=0)
 803 mgrk 7FFFFFFFFFFFFFFF * 000000000000FFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0)
 804 msc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 805 msc 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000001 (cc=0)
 806 msc 000000000000FFFF * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
 807 msc 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000007FFF (cc=0)
 808 msc 0000000000008000 * 000000000000FFFF = 00000000000000000000000000008000 (cc=0)
 809 msc 00000000FFFFFFFF * 000000000000FFFF = 000000000000000000000000FFFFFFFF (cc=0)
 810 msc 0000000080000000 * 000000000000FFFF = 00000000000000000000000080000000 (cc=0)
 811 msc 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0)
 812 msc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 813 msc 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0)
 814 msc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 815 msrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 816 msrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000000 (cc=2)
 817 msrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000000 (cc=3)
 818 msrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000000 (cc=2)
 819 msrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000000 (cc=2)
 820 msrkc 00000000FFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1)
 821 msrkc 0000000080000000 * 000000000000FFFF = 00000000800000000000000000000000 (cc=3)
 822 msrkc 000000007FFFFFFF * 000000000000FFFF = 000000007FFF00010000000000000000 (cc=3)
 823 msrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1)
 824 msrkc 8000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 825 msrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1)
 826 msgc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 827 msgc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000001 (cc=2)
 828 msgc 000000000000FFFF * 000000000000FFFF = 00000000FFFE0001000000000000FFFF (cc=2)
 829 msgc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000007FFF (cc=2)
 830 msgc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000008000 (cc=2)
 831 msgc 00000000FFFFFFFF * 000000000000FFFF = 0000FFFEFFFF000100000000FFFFFFFF (cc=2)
 832 msgc 0000000080000000 * 000000000000FFFF = 00007FFF800000000000000080000000 (cc=2)
 833 msgc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF0001000000007FFFFFFF (cc=2)
 834 msgc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF0001FFFFFFFFFFFFFFFF (cc=1)
 835 msgc 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=3)
 836 msgc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00017FFFFFFFFFFFFFFF (cc=3)
 837 msgrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
 838 msgrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000000 (cc=2)
 839 msgrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000000 (cc=2)
 840 msgrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000000 (cc=2)
 841 msgrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000000 (cc=2)
 842 msgrkc 00000000FFFFFFFF * 000000000000FFFF = 0000FFFEFFFF00010000000000000000 (cc=2)
 843 msgrkc 0000000080000000 * 000000000000FFFF = 00007FFF800000000000000000000000 (cc=2)
 844 msgrkc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF00010000000000000000 (cc=2)
 845 msgrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF00010000000000000000 (cc=1)
 846 msgrkc 8000000000000000 * 000000000000FFFF = 80000000000000000000000000000000 (cc=3)
 847 msgrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00010000000000000000 (cc=3)
 848 mg 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 849 mg 0000000000000001 * 0000000000007FFF = 00000000000000000000000000007FFF (cc=0)
 850 mg 000000000000FFFF * 0000000000007FFF = 0000000000000000000000007FFE8001 (cc=0)
 851 mg 0000000000007FFF * 0000000000007FFF = 0000000000000000000000003FFF0001 (cc=0)
 852 mg 0000000000008000 * 0000000000007FFF = 0000000000000000000000003FFF8000 (cc=0)
 853 mg 00000000FFFFFFFF * 0000000000007FFF = 000000000000000000007FFEFFFF8001 (cc=0)
 854 mg 0000000080000000 * 0000000000007FFF = 000000000000000000003FFF80000000 (cc=0)
 855 mg 000000007FFFFFFF * 0000000000007FFF = 000000000000000000003FFF7FFF8001 (cc=0)
 856 mg FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8001 (cc=0)
 857 mg 8000000000000000 * 0000000000007FFF = FFFFFFFFFFFFC0008000000000000000 (cc=0)
 858 mg 7FFFFFFFFFFFFFFF * 0000000000007FFF = 0000000000003FFF7FFFFFFFFFFF8001 (cc=0)
 859 mgh 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 860 mgh 0000000000000001 * 0000000000007FFF = 00000000000000000000000000000001 (cc=0)
 861 mgh 000000000000FFFF * 0000000000007FFF = 0000000000000000000000000000FFFF (cc=0)
 862 mgh 0000000000007FFF * 0000000000007FFF = 00000000000000000000000000007FFF (cc=0)
 863 mgh 0000000000008000 * 0000000000007FFF = 00000000000000000000000000008000 (cc=0)
 864 mgh 00000000FFFFFFFF * 0000000000007FFF = 000000000000000000000000FFFFFFFF (cc=0)
 865 mgh 0000000080000000 * 0000000000007FFF = 00000000000000000000000080000000 (cc=0)
 866 mgh 000000007FFFFFFF * 0000000000007FFF = 0000000000000000000000007FFFFFFF (cc=0)
 867 mgh FFFFFFFFFFFFFFFF * 0000000000007FFF = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 868 mgh 8000000000000000 * 0000000000007FFF = 00000000000000008000000000000000 (cc=0)
 869 mgh 7FFFFFFFFFFFFFFF * 0000000000007FFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 870 mgrk 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 871 mgrk 0000000000000001 * 0000000000007FFF = 00000000000000000000000000007FFF (cc=0)
 872 mgrk 000000000000FFFF * 0000000000007FFF = 0000000000000000000000007FFE8001 (cc=0)
 873 mgrk 0000000000007FFF * 0000000000007FFF = 0000000000000000000000003FFF0001 (cc=0)
 874 mgrk 0000000000008000 * 0000000000007FFF = 0000000000000000000000003FFF8000 (cc=0)
 875 mgrk 00000000FFFFFFFF * 0000000000007FFF = 000000000000000000007FFEFFFF8001 (cc=0)
 876 mgrk 0000000080000000 * 0000000000007FFF = 000000000000000000003FFF80000000 (cc=0)
 877 mgrk 000000007FFFFFFF * 0000000000007FFF = 000000000000000000003FFF7FFF8001 (cc=0)
 878 mgrk FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8001 (cc=0)
 879 mgrk 8000000000000000 * 0000000000007FFF = FFFFFFFFFFFFC0008000000000000000 (cc=0)
 880 mgrk 7FFFFFFFFFFFFFFF * 0000000000007FFF = 0000000000003FFF7FFFFFFFFFFF8001 (cc=0)
 881 msc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 882 msc 0000000000000001 * 0000000000007FFF = 00000000000000000000000000000001 (cc=0)
 883 msc 000000000000FFFF * 0000000000007FFF = 0000000000000000000000000000FFFF (cc=0)
 884 msc 0000000000007FFF * 0000000000007FFF = 00000000000000000000000000007FFF (cc=0)
 885 msc 0000000000008000 * 0000000000007FFF = 00000000000000000000000000008000 (cc=0)
 886 msc 00000000FFFFFFFF * 0000000000007FFF = 000000000000000000000000FFFFFFFF (cc=0)
 887 msc 0000000080000000 * 0000000000007FFF = 00000000000000000000000080000000 (cc=0)
 888 msc 000000007FFFFFFF * 0000000000007FFF = 0000000000000000000000007FFFFFFF (cc=0)
 889 msc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 890 msc 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0)
 891 msc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 892 msrkc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 893 msrkc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000000 (cc=2)
 894 msrkc 000000000000FFFF * 0000000000007FFF = 000000007FFE80010000000000000000 (cc=2)
 895 msrkc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000000000 (cc=2)
 896 msrkc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000000000 (cc=2)
 897 msrkc 00000000FFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000000 (cc=1)
 898 msrkc 0000000080000000 * 0000000000007FFF = 00000000800000000000000000000000 (cc=3)
 899 msrkc 000000007FFFFFFF * 0000000000007FFF = 000000007FFF80010000000000000000 (cc=3)
 900 msrkc FFFFFFFFFFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000000 (cc=1)
 901 msrkc 8000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 902 msrkc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000000 (cc=1)
 903 msgc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 904 msgc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=2)
 905 msgc 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=2)
 906 msgc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000007FFF (cc=2)
 907 msgc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000008000 (cc=2)
 908 msgc 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF800100000000FFFFFFFF (cc=2)
 909 msgc 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000080000000 (cc=2)
 910 msgc 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF8001000000007FFFFFFF (cc=2)
 911 msgc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=1)
 912 msgc 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=3)
 913 msgc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=3)
 914 msgrkc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0)
 915 msgrkc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000000 (cc=2)
 916 msgrkc 000000000000FFFF * 0000000000007FFF = 000000007FFE80010000000000000000 (cc=2)
 917 msgrkc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000000000 (cc=2)
 918 msgrkc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000000000 (cc=2)
 919 msgrkc 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF80010000000000000000 (cc=2)
 920 msgrkc 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000000000000 (cc=2)
 921 msgrkc 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF80010000000000000000 (cc=2)
 922 msgrkc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF80010000000000000000 (cc=1)
 923 msgrkc 8000000000000000 * 0000000000007FFF = 80000000000000000000000000000000 (cc=3)
 924 msgrkc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80010000000000000000 (cc=3)
 925 mg 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 926 mg 0000000000000001 * 0000000000008000 = 00000000000000000000000000008000 (cc=0)
 927 mg 000000000000FFFF * 0000000000008000 = 0000000000000000000000007FFF8000 (cc=0)
 928 mg 0000000000007FFF * 0000000000008000 = 0000000000000000000000003FFF8000 (cc=0)
 929 mg 0000000000008000 * 0000000000008000 = 00000000000000000000000040000000 (cc=0)
 930 mg 00000000FFFFFFFF * 0000000000008000 = 000000000000000000007FFFFFFF8000 (cc=0)
 931 mg 0000000080000000 * 0000000000008000 = 00000000000000000000400000000000 (cc=0)
 932 mg 000000007FFFFFFF * 0000000000008000 = 000000000000000000003FFFFFFF8000 (cc=0)
 933 mg FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8000 (cc=0)
 934 mg 8000000000000000 * 0000000000008000 = FFFFFFFFFFFFC0000000000000000000 (cc=0)
 935 mg 7FFFFFFFFFFFFFFF * 0000000000008000 = 0000000000003FFFFFFFFFFFFFFF8000 (cc=0)
 936 mgh 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 937 mgh 0000000000000001 * 0000000000008000 = 00000000000000000000000000000001 (cc=0)
 938 mgh 000000000000FFFF * 0000000000008000 = 0000000000000000000000000000FFFF (cc=0)
 939 mgh 0000000000007FFF * 0000000000008000 = 00000000000000000000000000007FFF (cc=0)
 940 mgh 0000000000008000 * 0000000000008000 = 00000000000000000000000000008000 (cc=0)
 941 mgh 00000000FFFFFFFF * 0000000000008000 = 000000000000000000000000FFFFFFFF (cc=0)
 942 mgh 0000000080000000 * 0000000000008000 = 00000000000000000000000080000000 (cc=0)
 943 mgh 000000007FFFFFFF * 0000000000008000 = 0000000000000000000000007FFFFFFF (cc=0)
 944 mgh FFFFFFFFFFFFFFFF * 0000000000008000 = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
 945 mgh 8000000000000000 * 0000000000008000 = 00000000000000008000000000000000 (cc=0)
 946 mgh 7FFFFFFFFFFFFFFF * 0000000000008000 = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
 947 mgrk 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 948 mgrk 0000000000000001 * 0000000000008000 = 00000000000000000000000000008000 (cc=0)
 949 mgrk 000000000000FFFF * 0000000000008000 = 0000000000000000000000007FFF8000 (cc=0)
 950 mgrk 0000000000007FFF * 0000000000008000 = 0000000000000000000000003FFF8000 (cc=0)
 951 mgrk 0000000000008000 * 0000000000008000 = 00000000000000000000000040000000 (cc=0)
 952 mgrk 00000000FFFFFFFF * 0000000000008000 = 000000000000000000007FFFFFFF8000 (cc=0)
 953 mgrk 0000000080000000 * 0000000000008000 = 00000000000000000000400000000000 (cc=0)
 954 mgrk 000000007FFFFFFF * 0000000000008000 = 000000000000000000003FFFFFFF8000 (cc=0)
 955 mgrk FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFFFFFFFFFFFFFFFFFF8000 (cc=0)
 956 mgrk 8000000000000000 * 0000000000008000 = FFFFFFFFFFFFC0000000000000000000 (cc=0)
 957 mgrk 7FFFFFFFFFFFFFFF * 0000000000008000 = 0000000000003FFFFFFFFFFFFFFF8000 (cc=0)
 958 msc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 959 msc 0000000000000001 * 0000000000008000 = 00000000000000000000000000000001 (cc=0)
 960 msc 000000000000FFFF * 0000000000008000 = 0000000000000000000000000000FFFF (cc=0)
 961 msc 0000000000007FFF * 0000000000008000 = 00000000000000000000000000007FFF (cc=0)
 962 msc 0000000000008000 * 0000000000008000 = 00000000000000000000000000008000 (cc=0)
 963 msc 00000000FFFFFFFF * 0000000000008000 = 000000000000000000000000FFFFFFFF (cc=0)
 964 msc 0000000080000000 * 0000000000008000 = 00000000000000000000000080000000 (cc=0)
 965 msc 000000007FFFFFFF * 0000000000008000 = 0000000000000000000000007FFFFFFF (cc=0)
 966 msc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
 967 msc 8000000000000000 * 0000000000008000 = 80000000000000008000000000000000 (cc=0)
 968 msc 7FFFFFFFFFFFFFFF * 0000000000008000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
 969 msrkc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 970 msrkc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000000 (cc=2)
 971 msrkc 000000000000FFFF * 0000000000008000 = 000000007FFF80000000000000000000 (cc=2)
 972 msrkc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000000000 (cc=2)
 973 msrkc 0000000000008000 * 0000000000008000 = 00000000400000000000000000000000 (cc=2)
 974 msrkc 00000000FFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=1)
 975 msrkc 0000000080000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=3)
 976 msrkc 000000007FFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=3)
 977 msrkc FFFFFFFFFFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=1)
 978 msrkc 8000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 979 msrkc 7FFFFFFFFFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=1)
 980 msgc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 981 msgc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000001 (cc=2)
 982 msgc 000000000000FFFF * 0000000000008000 = 000000007FFF8000000000000000FFFF (cc=2)
 983 msgc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000007FFF (cc=2)
 984 msgc 0000000000008000 * 0000000000008000 = 00000000400000000000000000008000 (cc=2)
 985 msgc 00000000FFFFFFFF * 0000000000008000 = 00007FFFFFFF800000000000FFFFFFFF (cc=2)
 986 msgc 0000000080000000 * 0000000000008000 = 00004000000000000000000080000000 (cc=2)
 987 msgc 000000007FFFFFFF * 0000000000008000 = 00003FFFFFFF8000000000007FFFFFFF (cc=2)
 988 msgc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF8000FFFFFFFFFFFFFFFF (cc=1)
 989 msgc 8000000000000000 * 0000000000008000 = 00000000000000008000000000000000 (cc=3)
 990 msgc 7FFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80007FFFFFFFFFFFFFFF (cc=3)
 991 msgrkc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0)
 992 msgrkc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000000 (cc=2)
 993 msgrkc 000000000000FFFF * 0000000000008000 = 000000007FFF80000000000000000000 (cc=2)
 994 msgrkc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000000000 (cc=2)
 995 msgrkc 0000000000008000 * 0000000000008000 = 00000000400000000000000000000000 (cc=2)
 996 msgrkc 00000000FFFFFFFF * 0000000000008000 = 00007FFFFFFF80000000000000000000 (cc=2)
 997 msgrkc 0000000080000000 * 0000000000008000 = 00004000000000000000000000000000 (cc=2)
 998 msgrkc 000000007FFFFFFF * 0000000000008000 = 00003FFFFFFF80000000000000000000 (cc=2)
 999 msgrkc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000000 (cc=1)
1000 msgrkc 8000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=3)
1001 msgrkc 7FFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000000 (cc=3)
1002 mg 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1003 mg 0000000000000001 * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
1004 mg 000000000000FFFF * 000000000000FFFF = 000000000000000000000000FFFE0001 (cc=0)
1005 mg 0000000000007FFF * 000000000000FFFF = 0000000000000000000000007FFE8001 (cc=0)
1006 mg 0000000000008000 * 000000000000FFFF = 0000000000000000000000007FFF8000 (cc=0)
1007 mg 00000000FFFFFFFF * 000000000000FFFF = 00000000000000000000FFFEFFFF0001 (cc=0)
1008 mg 0000000080000000 * 000000000000FFFF = 000000000000000000007FFF80000000 (cc=0)
1009 mg 000000007FFFFFFF * 000000000000FFFF = 000000000000000000007FFF7FFF0001 (cc=0)
1010 mg FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0)
1011 mg 8000000000000000 * 000000000000FFFF = FFFFFFFFFFFF80008000000000000000 (cc=0)
1012 mg 7FFFFFFFFFFFFFFF * 000000000000FFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0)
1013 mgh 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1014 mgh 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000001 (cc=0)
1015 mgh 000000000000FFFF * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
1016 mgh 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000007FFF (cc=0)
1017 mgh 0000000000008000 * 000000000000FFFF = 00000000000000000000000000008000 (cc=0)
1018 mgh 00000000FFFFFFFF * 000000000000FFFF = 000000000000000000000000FFFFFFFF (cc=0)
1019 mgh 0000000080000000 * 000000000000FFFF = 00000000000000000000000080000000 (cc=0)
1020 mgh 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0)
1021 mgh FFFFFFFFFFFFFFFF * 000000000000FFFF = 0000000000000000FFFFFFFFFFFFFFFF (cc=0)
1022 mgh 8000000000000000 * 000000000000FFFF = 00000000000000008000000000000000 (cc=0)
1023 mgh 7FFFFFFFFFFFFFFF * 000000000000FFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0)
1024 mgrk 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1025 mgrk 0000000000000001 * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
1026 mgrk 000000000000FFFF * 000000000000FFFF = 000000000000000000000000FFFE0001 (cc=0)
1027 mgrk 0000000000007FFF * 000000000000FFFF = 0000000000000000000000007FFE8001 (cc=0)
1028 mgrk 0000000000008000 * 000000000000FFFF = 0000000000000000000000007FFF8000 (cc=0)
1029 mgrk 00000000FFFFFFFF * 000000000000FFFF = 00000000000000000000FFFEFFFF0001 (cc=0)
1030 mgrk 0000000080000000 * 000000000000FFFF = 000000000000000000007FFF80000000 (cc=0)
1031 mgrk 000000007FFFFFFF * 000000000000FFFF = 000000000000000000007FFF7FFF0001 (cc=0)
1032 mgrk FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0)
1033 mgrk 8000000000000000 * 000000000000FFFF = FFFFFFFFFFFF80008000000000000000 (cc=0)
1034 mgrk 7FFFFFFFFFFFFFFF * 000000000000FFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0)
1035 msc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1036 msc 0000000000000001 * 000000000000FFFF = 00000000000000000000000000000001 (cc=0)
1037 msc 000000000000FFFF * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0)
1038 msc 0000000000007FFF * 000000000000FFFF = 00000000000000000000000000007FFF (cc=0)
1039 msc 0000000000008000 * 000000000000FFFF = 00000000000000000000000000008000 (cc=0)
1040 msc 00000000FFFFFFFF * 000000000000FFFF = 000000000000000000000000FFFFFFFF (cc=0)
1041 msc 0000000080000000 * 000000000000FFFF = 00000000000000000000000080000000 (cc=0)
1042 msc 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0)
1043 msc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0)
1044 msc 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0)
1045 msc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0)
1046 msrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1047 msrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000000 (cc=2)
1048 msrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000000 (cc=3)
1049 msrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000000 (cc=2)
1050 msrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000000 (cc=2)
1051 msrkc 00000000FFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1)
1052 msrkc 0000000080000000 * 000000000000FFFF = 00000000800000000000000000000000 (cc=3)
1053 msrkc 000000007FFFFFFF * 000000000000FFFF = 000000007FFF00010000000000000000 (cc=3)
1054 msrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1)
1055 msrkc 8000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1056 msrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1)
1057 msgc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1058 msgc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000001 (cc=2)
1059 msgc 000000000000FFFF * 000000000000FFFF = 00000000FFFE0001000000000000FFFF (cc=2)
1060 msgc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000007FFF (cc=2)
1061 msgc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000008000 (cc=2)
1062 msgc 00000000FFFFFFFF * 000000000000FFFF = 0000FFFEFFFF000100000000FFFFFFFF (cc=2)
1063 msgc 0000000080000000 * 000000000000FFFF = 00007FFF800000000000000080000000 (cc=2)
1064 msgc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF0001000000007FFFFFFF (cc=2)
1065 msgc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF0001FFFFFFFFFFFFFFFF (cc=1)
1066 msgc 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=3)
1067 msgc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00017FFFFFFFFFFFFFFF (cc=3)
1068 msgrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0)
1069 msgrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000000 (cc=2)
1070 msgrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000000 (cc=2)
1071 msgrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000000 (cc=2)
1072 msgrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000000 (cc=2)
1073 msgrkc 00000000FFFFFFFF * 000000000000FFFF = 0000FFFEFFFF00010000000000000000 (cc=2)
1074 msgrkc 0000000080000000 * 000000000000FFFF = 00007FFF800000000000000000000000 (cc=2)
1075 msgrkc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF00010000000000000000 (cc=2)
1076 msgrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF00010000000000000000 (cc=1)
1077 msgrkc 8000000000000000 * 000000000000FFFF = 80000000000000000000000000000000 (cc=3)
1078 msgrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00010000000000000000 (cc=3)