bigint-mul.js (78775B)
1 const tests = [ 2 [-0x10000000000000001n, -2n, 0x20000000000000002n], 3 [-0x10000000000000000n, -2n, 0x20000000000000000n], 4 [-0xffffffffffffffffn, -2n, 0x1fffffffffffffffen], 5 [-0xfffffffffffffffen, -2n, 0x1fffffffffffffffcn], 6 [-0x8000000000000001n, -2n, 0x10000000000000002n], 7 [-0x8000000000000000n, -2n, 0x10000000000000000n], 8 [-0x7fffffffffffffffn, -2n, 0xfffffffffffffffen], 9 [-0x7ffffffffffffffen, -2n, 0xfffffffffffffffcn], 10 [-0x100000001n, -2n, 0x200000002n], 11 [-0x100000000n, -2n, 0x200000000n], 12 [-0xffffffffn, -2n, 0x1fffffffen], 13 [-0xfffffffen, -2n, 0x1fffffffcn], 14 [-0x80000001n, -2n, 0x100000002n], 15 [-0x80000000n, -2n, 0x100000000n], 16 [-0x7fffffffn, -2n, 0xfffffffen], 17 [-0x7ffffffen, -2n, 0xfffffffcn], 18 [-0x10001n, -2n, 0x20002n], 19 [-0x10000n, -2n, 0x20000n], 20 [-0xffffn, -2n, 0x1fffen], 21 [-0xfffen, -2n, 0x1fffcn], 22 [-0x8001n, -2n, 0x10002n], 23 [-0x8000n, -2n, 0x10000n], 24 [-0x7fffn, -2n, 0xfffen], 25 [-0x7ffen, -2n, 0xfffcn], 26 [-2n, -2n, 4n], 27 [-1n, -2n, 2n], 28 [0n, -2n, 0n], 29 [1n, -2n, -2n], 30 [2n, -2n, -4n], 31 [0x7ffen, -2n, -0xfffcn], 32 [0x7fffn, -2n, -0xfffen], 33 [0x8000n, -2n, -0x10000n], 34 [0x8001n, -2n, -0x10002n], 35 [0xfffen, -2n, -0x1fffcn], 36 [0xffffn, -2n, -0x1fffen], 37 [0x10000n, -2n, -0x20000n], 38 [0x10001n, -2n, -0x20002n], 39 [0x7ffffffen, -2n, -0xfffffffcn], 40 [0x7fffffffn, -2n, -0xfffffffen], 41 [0x80000000n, -2n, -0x100000000n], 42 [0x80000001n, -2n, -0x100000002n], 43 [0xfffffffen, -2n, -0x1fffffffcn], 44 [0xffffffffn, -2n, -0x1fffffffen], 45 [0x100000000n, -2n, -0x200000000n], 46 [0x100000001n, -2n, -0x200000002n], 47 [0x7ffffffffffffffen, -2n, -0xfffffffffffffffcn], 48 [0x7fffffffffffffffn, -2n, -0xfffffffffffffffen], 49 [0x8000000000000000n, -2n, -0x10000000000000000n], 50 [0x8000000000000001n, -2n, -0x10000000000000002n], 51 [0xfffffffffffffffen, -2n, -0x1fffffffffffffffcn], 52 [0xffffffffffffffffn, -2n, -0x1fffffffffffffffen], 53 [0x10000000000000000n, -2n, -0x20000000000000000n], 54 [0x10000000000000001n, -2n, -0x20000000000000002n], 55 [-0x10000000000000001n, -1n, 0x10000000000000001n], 56 [-0x10000000000000000n, -1n, 0x10000000000000000n], 57 [-0xffffffffffffffffn, -1n, 0xffffffffffffffffn], 58 [-0xfffffffffffffffen, -1n, 0xfffffffffffffffen], 59 [-0x8000000000000001n, -1n, 0x8000000000000001n], 60 [-0x8000000000000000n, -1n, 0x8000000000000000n], 61 [-0x7fffffffffffffffn, -1n, 0x7fffffffffffffffn], 62 [-0x7ffffffffffffffen, -1n, 0x7ffffffffffffffen], 63 [-0x100000001n, -1n, 0x100000001n], 64 [-0x100000000n, -1n, 0x100000000n], 65 [-0xffffffffn, -1n, 0xffffffffn], 66 [-0xfffffffen, -1n, 0xfffffffen], 67 [-0x80000001n, -1n, 0x80000001n], 68 [-0x80000000n, -1n, 0x80000000n], 69 [-0x7fffffffn, -1n, 0x7fffffffn], 70 [-0x7ffffffen, -1n, 0x7ffffffen], 71 [-0x10001n, -1n, 0x10001n], 72 [-0x10000n, -1n, 0x10000n], 73 [-0xffffn, -1n, 0xffffn], 74 [-0xfffen, -1n, 0xfffen], 75 [-0x8001n, -1n, 0x8001n], 76 [-0x8000n, -1n, 0x8000n], 77 [-0x7fffn, -1n, 0x7fffn], 78 [-0x7ffen, -1n, 0x7ffen], 79 [-1n, -1n, 1n], 80 [0n, -1n, 0n], 81 [1n, -1n, -1n], 82 [2n, -1n, -2n], 83 [0x7ffen, -1n, -0x7ffen], 84 [0x7fffn, -1n, -0x7fffn], 85 [0x8000n, -1n, -0x8000n], 86 [0x8001n, -1n, -0x8001n], 87 [0xfffen, -1n, -0xfffen], 88 [0xffffn, -1n, -0xffffn], 89 [0x10000n, -1n, -0x10000n], 90 [0x10001n, -1n, -0x10001n], 91 [0x7ffffffen, -1n, -0x7ffffffen], 92 [0x7fffffffn, -1n, -0x7fffffffn], 93 [0x80000000n, -1n, -0x80000000n], 94 [0x80000001n, -1n, -0x80000001n], 95 [0xfffffffen, -1n, -0xfffffffen], 96 [0xffffffffn, -1n, -0xffffffffn], 97 [0x100000000n, -1n, -0x100000000n], 98 [0x100000001n, -1n, -0x100000001n], 99 [0x7ffffffffffffffen, -1n, -0x7ffffffffffffffen], 100 [0x7fffffffffffffffn, -1n, -0x7fffffffffffffffn], 101 [0x8000000000000000n, -1n, -0x8000000000000000n], 102 [0x8000000000000001n, -1n, -0x8000000000000001n], 103 [0xfffffffffffffffen, -1n, -0xfffffffffffffffen], 104 [0xffffffffffffffffn, -1n, -0xffffffffffffffffn], 105 [0x10000000000000000n, -1n, -0x10000000000000000n], 106 [0x10000000000000001n, -1n, -0x10000000000000001n], 107 [-0x10000000000000001n, 0n, 0n], 108 [-0x10000000000000000n, 0n, 0n], 109 [-0xffffffffffffffffn, 0n, 0n], 110 [-0xfffffffffffffffen, 0n, 0n], 111 [-0x8000000000000001n, 0n, 0n], 112 [-0x8000000000000000n, 0n, 0n], 113 [-0x7fffffffffffffffn, 0n, 0n], 114 [-0x7ffffffffffffffen, 0n, 0n], 115 [-0x100000001n, 0n, 0n], 116 [-0x100000000n, 0n, 0n], 117 [-0xffffffffn, 0n, 0n], 118 [-0xfffffffen, 0n, 0n], 119 [-0x80000001n, 0n, 0n], 120 [-0x80000000n, 0n, 0n], 121 [-0x7fffffffn, 0n, 0n], 122 [-0x7ffffffen, 0n, 0n], 123 [-0x10001n, 0n, 0n], 124 [-0x10000n, 0n, 0n], 125 [-0xffffn, 0n, 0n], 126 [-0xfffen, 0n, 0n], 127 [-0x8001n, 0n, 0n], 128 [-0x8000n, 0n, 0n], 129 [-0x7fffn, 0n, 0n], 130 [-0x7ffen, 0n, 0n], 131 [0n, 0n, 0n], 132 [1n, 0n, 0n], 133 [2n, 0n, 0n], 134 [0x7ffen, 0n, 0n], 135 [0x7fffn, 0n, 0n], 136 [0x8000n, 0n, 0n], 137 [0x8001n, 0n, 0n], 138 [0xfffen, 0n, 0n], 139 [0xffffn, 0n, 0n], 140 [0x10000n, 0n, 0n], 141 [0x10001n, 0n, 0n], 142 [0x7ffffffen, 0n, 0n], 143 [0x7fffffffn, 0n, 0n], 144 [0x80000000n, 0n, 0n], 145 [0x80000001n, 0n, 0n], 146 [0xfffffffen, 0n, 0n], 147 [0xffffffffn, 0n, 0n], 148 [0x100000000n, 0n, 0n], 149 [0x100000001n, 0n, 0n], 150 [0x7ffffffffffffffen, 0n, 0n], 151 [0x7fffffffffffffffn, 0n, 0n], 152 [0x8000000000000000n, 0n, 0n], 153 [0x8000000000000001n, 0n, 0n], 154 [0xfffffffffffffffen, 0n, 0n], 155 [0xffffffffffffffffn, 0n, 0n], 156 [0x10000000000000000n, 0n, 0n], 157 [0x10000000000000001n, 0n, 0n], 158 [-0x10000000000000001n, 1n, -0x10000000000000001n], 159 [-0x10000000000000000n, 1n, -0x10000000000000000n], 160 [-0xffffffffffffffffn, 1n, -0xffffffffffffffffn], 161 [-0xfffffffffffffffen, 1n, -0xfffffffffffffffen], 162 [-0x8000000000000001n, 1n, -0x8000000000000001n], 163 [-0x8000000000000000n, 1n, -0x8000000000000000n], 164 [-0x7fffffffffffffffn, 1n, -0x7fffffffffffffffn], 165 [-0x7ffffffffffffffen, 1n, -0x7ffffffffffffffen], 166 [-0x100000001n, 1n, -0x100000001n], 167 [-0x100000000n, 1n, -0x100000000n], 168 [-0xffffffffn, 1n, -0xffffffffn], 169 [-0xfffffffen, 1n, -0xfffffffen], 170 [-0x80000001n, 1n, -0x80000001n], 171 [-0x80000000n, 1n, -0x80000000n], 172 [-0x7fffffffn, 1n, -0x7fffffffn], 173 [-0x7ffffffen, 1n, -0x7ffffffen], 174 [-0x10001n, 1n, -0x10001n], 175 [-0x10000n, 1n, -0x10000n], 176 [-0xffffn, 1n, -0xffffn], 177 [-0xfffen, 1n, -0xfffen], 178 [-0x8001n, 1n, -0x8001n], 179 [-0x8000n, 1n, -0x8000n], 180 [-0x7fffn, 1n, -0x7fffn], 181 [-0x7ffen, 1n, -0x7ffen], 182 [1n, 1n, 1n], 183 [2n, 1n, 2n], 184 [0x7ffen, 1n, 0x7ffen], 185 [0x7fffn, 1n, 0x7fffn], 186 [0x8000n, 1n, 0x8000n], 187 [0x8001n, 1n, 0x8001n], 188 [0xfffen, 1n, 0xfffen], 189 [0xffffn, 1n, 0xffffn], 190 [0x10000n, 1n, 0x10000n], 191 [0x10001n, 1n, 0x10001n], 192 [0x7ffffffen, 1n, 0x7ffffffen], 193 [0x7fffffffn, 1n, 0x7fffffffn], 194 [0x80000000n, 1n, 0x80000000n], 195 [0x80000001n, 1n, 0x80000001n], 196 [0xfffffffen, 1n, 0xfffffffen], 197 [0xffffffffn, 1n, 0xffffffffn], 198 [0x100000000n, 1n, 0x100000000n], 199 [0x100000001n, 1n, 0x100000001n], 200 [0x7ffffffffffffffen, 1n, 0x7ffffffffffffffen], 201 [0x7fffffffffffffffn, 1n, 0x7fffffffffffffffn], 202 [0x8000000000000000n, 1n, 0x8000000000000000n], 203 [0x8000000000000001n, 1n, 0x8000000000000001n], 204 [0xfffffffffffffffen, 1n, 0xfffffffffffffffen], 205 [0xffffffffffffffffn, 1n, 0xffffffffffffffffn], 206 [0x10000000000000000n, 1n, 0x10000000000000000n], 207 [0x10000000000000001n, 1n, 0x10000000000000001n], 208 [-0x10000000000000001n, 2n, -0x20000000000000002n], 209 [-0x10000000000000000n, 2n, -0x20000000000000000n], 210 [-0xffffffffffffffffn, 2n, -0x1fffffffffffffffen], 211 [-0xfffffffffffffffen, 2n, -0x1fffffffffffffffcn], 212 [-0x8000000000000001n, 2n, -0x10000000000000002n], 213 [-0x8000000000000000n, 2n, -0x10000000000000000n], 214 [-0x7fffffffffffffffn, 2n, -0xfffffffffffffffen], 215 [-0x7ffffffffffffffen, 2n, -0xfffffffffffffffcn], 216 [-0x100000001n, 2n, -0x200000002n], 217 [-0x100000000n, 2n, -0x200000000n], 218 [-0xffffffffn, 2n, -0x1fffffffen], 219 [-0xfffffffen, 2n, -0x1fffffffcn], 220 [-0x80000001n, 2n, -0x100000002n], 221 [-0x80000000n, 2n, -0x100000000n], 222 [-0x7fffffffn, 2n, -0xfffffffen], 223 [-0x7ffffffen, 2n, -0xfffffffcn], 224 [-0x10001n, 2n, -0x20002n], 225 [-0x10000n, 2n, -0x20000n], 226 [-0xffffn, 2n, -0x1fffen], 227 [-0xfffen, 2n, -0x1fffcn], 228 [-0x8001n, 2n, -0x10002n], 229 [-0x8000n, 2n, -0x10000n], 230 [-0x7fffn, 2n, -0xfffen], 231 [-0x7ffen, 2n, -0xfffcn], 232 [2n, 2n, 4n], 233 [0x7ffen, 2n, 0xfffcn], 234 [0x7fffn, 2n, 0xfffen], 235 [0x8000n, 2n, 0x10000n], 236 [0x8001n, 2n, 0x10002n], 237 [0xfffen, 2n, 0x1fffcn], 238 [0xffffn, 2n, 0x1fffen], 239 [0x10000n, 2n, 0x20000n], 240 [0x10001n, 2n, 0x20002n], 241 [0x7ffffffen, 2n, 0xfffffffcn], 242 [0x7fffffffn, 2n, 0xfffffffen], 243 [0x80000000n, 2n, 0x100000000n], 244 [0x80000001n, 2n, 0x100000002n], 245 [0xfffffffen, 2n, 0x1fffffffcn], 246 [0xffffffffn, 2n, 0x1fffffffen], 247 [0x100000000n, 2n, 0x200000000n], 248 [0x100000001n, 2n, 0x200000002n], 249 [0x7ffffffffffffffen, 2n, 0xfffffffffffffffcn], 250 [0x7fffffffffffffffn, 2n, 0xfffffffffffffffen], 251 [0x8000000000000000n, 2n, 0x10000000000000000n], 252 [0x8000000000000001n, 2n, 0x10000000000000002n], 253 [0xfffffffffffffffen, 2n, 0x1fffffffffffffffcn], 254 [0xffffffffffffffffn, 2n, 0x1fffffffffffffffen], 255 [0x10000000000000000n, 2n, 0x20000000000000000n], 256 [0x10000000000000001n, 2n, 0x20000000000000002n], 257 [-0x10000000000000001n, 0x7ffen, -0x7ffe0000000000007ffen], 258 [-0x10000000000000000n, 0x7ffen, -0x7ffe0000000000000000n], 259 [-0xffffffffffffffffn, 0x7ffen, -0x7ffdffffffffffff8002n], 260 [-0xfffffffffffffffen, 0x7ffen, -0x7ffdffffffffffff0004n], 261 [-0x8000000000000001n, 0x7ffen, -0x3fff0000000000007ffen], 262 [-0x8000000000000000n, 0x7ffen, -0x3fff0000000000000000n], 263 [-0x7fffffffffffffffn, 0x7ffen, -0x3ffeffffffffffff8002n], 264 [-0x7ffffffffffffffen, 0x7ffen, -0x3ffeffffffffffff0004n], 265 [-0x100000001n, 0x7ffen, -0x7ffe00007ffen], 266 [-0x100000000n, 0x7ffen, -0x7ffe00000000n], 267 [-0xffffffffn, 0x7ffen, -0x7ffdffff8002n], 268 [-0xfffffffen, 0x7ffen, -0x7ffdffff0004n], 269 [-0x80000001n, 0x7ffen, -0x3fff00007ffen], 270 [-0x80000000n, 0x7ffen, -0x3fff00000000n], 271 [-0x7fffffffn, 0x7ffen, -0x3ffeffff8002n], 272 [-0x7ffffffen, 0x7ffen, -0x3ffeffff0004n], 273 [-0x10001n, 0x7ffen, -0x7ffe7ffen], 274 [-0x10000n, 0x7ffen, -0x7ffe0000n], 275 [-0xffffn, 0x7ffen, -0x7ffd8002n], 276 [-0xfffen, 0x7ffen, -0x7ffd0004n], 277 [-0x8001n, 0x7ffen, -0x3fff7ffen], 278 [-0x8000n, 0x7ffen, -0x3fff0000n], 279 [-0x7fffn, 0x7ffen, -0x3ffe8002n], 280 [-0x7ffen, 0x7ffen, -0x3ffe0004n], 281 [0x7ffen, 0x7ffen, 0x3ffe0004n], 282 [0x7fffn, 0x7ffen, 0x3ffe8002n], 283 [0x8000n, 0x7ffen, 0x3fff0000n], 284 [0x8001n, 0x7ffen, 0x3fff7ffen], 285 [0xfffen, 0x7ffen, 0x7ffd0004n], 286 [0xffffn, 0x7ffen, 0x7ffd8002n], 287 [0x10000n, 0x7ffen, 0x7ffe0000n], 288 [0x10001n, 0x7ffen, 0x7ffe7ffen], 289 [0x7ffffffen, 0x7ffen, 0x3ffeffff0004n], 290 [0x7fffffffn, 0x7ffen, 0x3ffeffff8002n], 291 [0x80000000n, 0x7ffen, 0x3fff00000000n], 292 [0x80000001n, 0x7ffen, 0x3fff00007ffen], 293 [0xfffffffen, 0x7ffen, 0x7ffdffff0004n], 294 [0xffffffffn, 0x7ffen, 0x7ffdffff8002n], 295 [0x100000000n, 0x7ffen, 0x7ffe00000000n], 296 [0x100000001n, 0x7ffen, 0x7ffe00007ffen], 297 [0x7ffffffffffffffen, 0x7ffen, 0x3ffeffffffffffff0004n], 298 [0x7fffffffffffffffn, 0x7ffen, 0x3ffeffffffffffff8002n], 299 [0x8000000000000000n, 0x7ffen, 0x3fff0000000000000000n], 300 [0x8000000000000001n, 0x7ffen, 0x3fff0000000000007ffen], 301 [0xfffffffffffffffen, 0x7ffen, 0x7ffdffffffffffff0004n], 302 [0xffffffffffffffffn, 0x7ffen, 0x7ffdffffffffffff8002n], 303 [0x10000000000000000n, 0x7ffen, 0x7ffe0000000000000000n], 304 [0x10000000000000001n, 0x7ffen, 0x7ffe0000000000007ffen], 305 [-0x10000000000000001n, 0x7fffn, -0x7fff0000000000007fffn], 306 [-0x10000000000000000n, 0x7fffn, -0x7fff0000000000000000n], 307 [-0xffffffffffffffffn, 0x7fffn, -0x7ffeffffffffffff8001n], 308 [-0xfffffffffffffffen, 0x7fffn, -0x7ffeffffffffffff0002n], 309 [-0x8000000000000001n, 0x7fffn, -0x3fff8000000000007fffn], 310 [-0x8000000000000000n, 0x7fffn, -0x3fff8000000000000000n], 311 [-0x7fffffffffffffffn, 0x7fffn, -0x3fff7fffffffffff8001n], 312 [-0x7ffffffffffffffen, 0x7fffn, -0x3fff7fffffffffff0002n], 313 [-0x100000001n, 0x7fffn, -0x7fff00007fffn], 314 [-0x100000000n, 0x7fffn, -0x7fff00000000n], 315 [-0xffffffffn, 0x7fffn, -0x7ffeffff8001n], 316 [-0xfffffffen, 0x7fffn, -0x7ffeffff0002n], 317 [-0x80000001n, 0x7fffn, -0x3fff80007fffn], 318 [-0x80000000n, 0x7fffn, -0x3fff80000000n], 319 [-0x7fffffffn, 0x7fffn, -0x3fff7fff8001n], 320 [-0x7ffffffen, 0x7fffn, -0x3fff7fff0002n], 321 [-0x10001n, 0x7fffn, -0x7fff7fffn], 322 [-0x10000n, 0x7fffn, -0x7fff0000n], 323 [-0xffffn, 0x7fffn, -0x7ffe8001n], 324 [-0xfffen, 0x7fffn, -0x7ffe0002n], 325 [-0x8001n, 0x7fffn, -0x3fffffffn], 326 [-0x8000n, 0x7fffn, -0x3fff8000n], 327 [-0x7fffn, 0x7fffn, -0x3fff0001n], 328 [-0x7ffen, 0x7fffn, -0x3ffe8002n], 329 [0x7fffn, 0x7fffn, 0x3fff0001n], 330 [0x8000n, 0x7fffn, 0x3fff8000n], 331 [0x8001n, 0x7fffn, 0x3fffffffn], 332 [0xfffen, 0x7fffn, 0x7ffe0002n], 333 [0xffffn, 0x7fffn, 0x7ffe8001n], 334 [0x10000n, 0x7fffn, 0x7fff0000n], 335 [0x10001n, 0x7fffn, 0x7fff7fffn], 336 [0x7ffffffen, 0x7fffn, 0x3fff7fff0002n], 337 [0x7fffffffn, 0x7fffn, 0x3fff7fff8001n], 338 [0x80000000n, 0x7fffn, 0x3fff80000000n], 339 [0x80000001n, 0x7fffn, 0x3fff80007fffn], 340 [0xfffffffen, 0x7fffn, 0x7ffeffff0002n], 341 [0xffffffffn, 0x7fffn, 0x7ffeffff8001n], 342 [0x100000000n, 0x7fffn, 0x7fff00000000n], 343 [0x100000001n, 0x7fffn, 0x7fff00007fffn], 344 [0x7ffffffffffffffen, 0x7fffn, 0x3fff7fffffffffff0002n], 345 [0x7fffffffffffffffn, 0x7fffn, 0x3fff7fffffffffff8001n], 346 [0x8000000000000000n, 0x7fffn, 0x3fff8000000000000000n], 347 [0x8000000000000001n, 0x7fffn, 0x3fff8000000000007fffn], 348 [0xfffffffffffffffen, 0x7fffn, 0x7ffeffffffffffff0002n], 349 [0xffffffffffffffffn, 0x7fffn, 0x7ffeffffffffffff8001n], 350 [0x10000000000000000n, 0x7fffn, 0x7fff0000000000000000n], 351 [0x10000000000000001n, 0x7fffn, 0x7fff0000000000007fffn], 352 [-0x10000000000000001n, 0x8000n, -0x80000000000000008000n], 353 [-0x10000000000000000n, 0x8000n, -0x80000000000000000000n], 354 [-0xffffffffffffffffn, 0x8000n, -0x7fffffffffffffff8000n], 355 [-0xfffffffffffffffen, 0x8000n, -0x7fffffffffffffff0000n], 356 [-0x8000000000000001n, 0x8000n, -0x40000000000000008000n], 357 [-0x8000000000000000n, 0x8000n, -0x40000000000000000000n], 358 [-0x7fffffffffffffffn, 0x8000n, -0x3fffffffffffffff8000n], 359 [-0x7ffffffffffffffen, 0x8000n, -0x3fffffffffffffff0000n], 360 [-0x100000001n, 0x8000n, -0x800000008000n], 361 [-0x100000000n, 0x8000n, -0x800000000000n], 362 [-0xffffffffn, 0x8000n, -0x7fffffff8000n], 363 [-0xfffffffen, 0x8000n, -0x7fffffff0000n], 364 [-0x80000001n, 0x8000n, -0x400000008000n], 365 [-0x80000000n, 0x8000n, -0x400000000000n], 366 [-0x7fffffffn, 0x8000n, -0x3fffffff8000n], 367 [-0x7ffffffen, 0x8000n, -0x3fffffff0000n], 368 [-0x10001n, 0x8000n, -0x80008000n], 369 [-0x10000n, 0x8000n, -0x80000000n], 370 [-0xffffn, 0x8000n, -0x7fff8000n], 371 [-0xfffen, 0x8000n, -0x7fff0000n], 372 [-0x8001n, 0x8000n, -0x40008000n], 373 [-0x8000n, 0x8000n, -0x40000000n], 374 [-0x7fffn, 0x8000n, -0x3fff8000n], 375 [-0x7ffen, 0x8000n, -0x3fff0000n], 376 [0x8000n, 0x8000n, 0x40000000n], 377 [0x8001n, 0x8000n, 0x40008000n], 378 [0xfffen, 0x8000n, 0x7fff0000n], 379 [0xffffn, 0x8000n, 0x7fff8000n], 380 [0x10000n, 0x8000n, 0x80000000n], 381 [0x10001n, 0x8000n, 0x80008000n], 382 [0x7ffffffen, 0x8000n, 0x3fffffff0000n], 383 [0x7fffffffn, 0x8000n, 0x3fffffff8000n], 384 [0x80000000n, 0x8000n, 0x400000000000n], 385 [0x80000001n, 0x8000n, 0x400000008000n], 386 [0xfffffffen, 0x8000n, 0x7fffffff0000n], 387 [0xffffffffn, 0x8000n, 0x7fffffff8000n], 388 [0x100000000n, 0x8000n, 0x800000000000n], 389 [0x100000001n, 0x8000n, 0x800000008000n], 390 [0x7ffffffffffffffen, 0x8000n, 0x3fffffffffffffff0000n], 391 [0x7fffffffffffffffn, 0x8000n, 0x3fffffffffffffff8000n], 392 [0x8000000000000000n, 0x8000n, 0x40000000000000000000n], 393 [0x8000000000000001n, 0x8000n, 0x40000000000000008000n], 394 [0xfffffffffffffffen, 0x8000n, 0x7fffffffffffffff0000n], 395 [0xffffffffffffffffn, 0x8000n, 0x7fffffffffffffff8000n], 396 [0x10000000000000000n, 0x8000n, 0x80000000000000000000n], 397 [0x10000000000000001n, 0x8000n, 0x80000000000000008000n], 398 [-0x10000000000000001n, 0x8001n, -0x80010000000000008001n], 399 [-0x10000000000000000n, 0x8001n, -0x80010000000000000000n], 400 [-0xffffffffffffffffn, 0x8001n, -0x8000ffffffffffff7fffn], 401 [-0xfffffffffffffffen, 0x8001n, -0x8000fffffffffffefffen], 402 [-0x8000000000000001n, 0x8001n, -0x40008000000000008001n], 403 [-0x8000000000000000n, 0x8001n, -0x40008000000000000000n], 404 [-0x7fffffffffffffffn, 0x8001n, -0x40007fffffffffff7fffn], 405 [-0x7ffffffffffffffen, 0x8001n, -0x40007ffffffffffefffen], 406 [-0x100000001n, 0x8001n, -0x800100008001n], 407 [-0x100000000n, 0x8001n, -0x800100000000n], 408 [-0xffffffffn, 0x8001n, -0x8000ffff7fffn], 409 [-0xfffffffen, 0x8001n, -0x8000fffefffen], 410 [-0x80000001n, 0x8001n, -0x400080008001n], 411 [-0x80000000n, 0x8001n, -0x400080000000n], 412 [-0x7fffffffn, 0x8001n, -0x40007fff7fffn], 413 [-0x7ffffffen, 0x8001n, -0x40007ffefffen], 414 [-0x10001n, 0x8001n, -0x80018001n], 415 [-0x10000n, 0x8001n, -0x80010000n], 416 [-0xffffn, 0x8001n, -0x80007fffn], 417 [-0xfffen, 0x8001n, -0x7ffffffen], 418 [-0x8001n, 0x8001n, -0x40010001n], 419 [-0x8000n, 0x8001n, -0x40008000n], 420 [-0x7fffn, 0x8001n, -0x3fffffffn], 421 [-0x7ffen, 0x8001n, -0x3fff7ffen], 422 [0x8001n, 0x8001n, 0x40010001n], 423 [0xfffen, 0x8001n, 0x7ffffffen], 424 [0xffffn, 0x8001n, 0x80007fffn], 425 [0x10000n, 0x8001n, 0x80010000n], 426 [0x10001n, 0x8001n, 0x80018001n], 427 [0x7ffffffen, 0x8001n, 0x40007ffefffen], 428 [0x7fffffffn, 0x8001n, 0x40007fff7fffn], 429 [0x80000000n, 0x8001n, 0x400080000000n], 430 [0x80000001n, 0x8001n, 0x400080008001n], 431 [0xfffffffen, 0x8001n, 0x8000fffefffen], 432 [0xffffffffn, 0x8001n, 0x8000ffff7fffn], 433 [0x100000000n, 0x8001n, 0x800100000000n], 434 [0x100000001n, 0x8001n, 0x800100008001n], 435 [0x7ffffffffffffffen, 0x8001n, 0x40007ffffffffffefffen], 436 [0x7fffffffffffffffn, 0x8001n, 0x40007fffffffffff7fffn], 437 [0x8000000000000000n, 0x8001n, 0x40008000000000000000n], 438 [0x8000000000000001n, 0x8001n, 0x40008000000000008001n], 439 [0xfffffffffffffffen, 0x8001n, 0x8000fffffffffffefffen], 440 [0xffffffffffffffffn, 0x8001n, 0x8000ffffffffffff7fffn], 441 [0x10000000000000000n, 0x8001n, 0x80010000000000000000n], 442 [0x10000000000000001n, 0x8001n, 0x80010000000000008001n], 443 [-0x10000000000000001n, -0x8001n, 0x80010000000000008001n], 444 [-0x10000000000000000n, -0x8001n, 0x80010000000000000000n], 445 [-0xffffffffffffffffn, -0x8001n, 0x8000ffffffffffff7fffn], 446 [-0xfffffffffffffffen, -0x8001n, 0x8000fffffffffffefffen], 447 [-0x8000000000000001n, -0x8001n, 0x40008000000000008001n], 448 [-0x8000000000000000n, -0x8001n, 0x40008000000000000000n], 449 [-0x7fffffffffffffffn, -0x8001n, 0x40007fffffffffff7fffn], 450 [-0x7ffffffffffffffen, -0x8001n, 0x40007ffffffffffefffen], 451 [-0x100000001n, -0x8001n, 0x800100008001n], 452 [-0x100000000n, -0x8001n, 0x800100000000n], 453 [-0xffffffffn, -0x8001n, 0x8000ffff7fffn], 454 [-0xfffffffen, -0x8001n, 0x8000fffefffen], 455 [-0x80000001n, -0x8001n, 0x400080008001n], 456 [-0x80000000n, -0x8001n, 0x400080000000n], 457 [-0x7fffffffn, -0x8001n, 0x40007fff7fffn], 458 [-0x7ffffffen, -0x8001n, 0x40007ffefffen], 459 [-0x10001n, -0x8001n, 0x80018001n], 460 [-0x10000n, -0x8001n, 0x80010000n], 461 [-0xffffn, -0x8001n, 0x80007fffn], 462 [-0xfffen, -0x8001n, 0x7ffffffen], 463 [-0x8001n, -0x8001n, 0x40010001n], 464 [-0x8000n, -0x8001n, 0x40008000n], 465 [-0x7fffn, -0x8001n, 0x3fffffffn], 466 [-0x7ffen, -0x8001n, 0x3fff7ffen], 467 [0xfffen, -0x8001n, -0x7ffffffen], 468 [0xffffn, -0x8001n, -0x80007fffn], 469 [0x10000n, -0x8001n, -0x80010000n], 470 [0x10001n, -0x8001n, -0x80018001n], 471 [0x7ffffffen, -0x8001n, -0x40007ffefffen], 472 [0x7fffffffn, -0x8001n, -0x40007fff7fffn], 473 [0x80000000n, -0x8001n, -0x400080000000n], 474 [0x80000001n, -0x8001n, -0x400080008001n], 475 [0xfffffffen, -0x8001n, -0x8000fffefffen], 476 [0xffffffffn, -0x8001n, -0x8000ffff7fffn], 477 [0x100000000n, -0x8001n, -0x800100000000n], 478 [0x100000001n, -0x8001n, -0x800100008001n], 479 [0x7ffffffffffffffen, -0x8001n, -0x40007ffffffffffefffen], 480 [0x7fffffffffffffffn, -0x8001n, -0x40007fffffffffff7fffn], 481 [0x8000000000000000n, -0x8001n, -0x40008000000000000000n], 482 [0x8000000000000001n, -0x8001n, -0x40008000000000008001n], 483 [0xfffffffffffffffen, -0x8001n, -0x8000fffffffffffefffen], 484 [0xffffffffffffffffn, -0x8001n, -0x8000ffffffffffff7fffn], 485 [0x10000000000000000n, -0x8001n, -0x80010000000000000000n], 486 [0x10000000000000001n, -0x8001n, -0x80010000000000008001n], 487 [-0x10000000000000001n, -0x8000n, 0x80000000000000008000n], 488 [-0x10000000000000000n, -0x8000n, 0x80000000000000000000n], 489 [-0xffffffffffffffffn, -0x8000n, 0x7fffffffffffffff8000n], 490 [-0xfffffffffffffffen, -0x8000n, 0x7fffffffffffffff0000n], 491 [-0x8000000000000001n, -0x8000n, 0x40000000000000008000n], 492 [-0x8000000000000000n, -0x8000n, 0x40000000000000000000n], 493 [-0x7fffffffffffffffn, -0x8000n, 0x3fffffffffffffff8000n], 494 [-0x7ffffffffffffffen, -0x8000n, 0x3fffffffffffffff0000n], 495 [-0x100000001n, -0x8000n, 0x800000008000n], 496 [-0x100000000n, -0x8000n, 0x800000000000n], 497 [-0xffffffffn, -0x8000n, 0x7fffffff8000n], 498 [-0xfffffffen, -0x8000n, 0x7fffffff0000n], 499 [-0x80000001n, -0x8000n, 0x400000008000n], 500 [-0x80000000n, -0x8000n, 0x400000000000n], 501 [-0x7fffffffn, -0x8000n, 0x3fffffff8000n], 502 [-0x7ffffffen, -0x8000n, 0x3fffffff0000n], 503 [-0x10001n, -0x8000n, 0x80008000n], 504 [-0x10000n, -0x8000n, 0x80000000n], 505 [-0xffffn, -0x8000n, 0x7fff8000n], 506 [-0xfffen, -0x8000n, 0x7fff0000n], 507 [-0x8000n, -0x8000n, 0x40000000n], 508 [-0x7fffn, -0x8000n, 0x3fff8000n], 509 [-0x7ffen, -0x8000n, 0x3fff0000n], 510 [0xfffen, -0x8000n, -0x7fff0000n], 511 [0xffffn, -0x8000n, -0x7fff8000n], 512 [0x10000n, -0x8000n, -0x80000000n], 513 [0x10001n, -0x8000n, -0x80008000n], 514 [0x7ffffffen, -0x8000n, -0x3fffffff0000n], 515 [0x7fffffffn, -0x8000n, -0x3fffffff8000n], 516 [0x80000000n, -0x8000n, -0x400000000000n], 517 [0x80000001n, -0x8000n, -0x400000008000n], 518 [0xfffffffen, -0x8000n, -0x7fffffff0000n], 519 [0xffffffffn, -0x8000n, -0x7fffffff8000n], 520 [0x100000000n, -0x8000n, -0x800000000000n], 521 [0x100000001n, -0x8000n, -0x800000008000n], 522 [0x7ffffffffffffffen, -0x8000n, -0x3fffffffffffffff0000n], 523 [0x7fffffffffffffffn, -0x8000n, -0x3fffffffffffffff8000n], 524 [0x8000000000000000n, -0x8000n, -0x40000000000000000000n], 525 [0x8000000000000001n, -0x8000n, -0x40000000000000008000n], 526 [0xfffffffffffffffen, -0x8000n, -0x7fffffffffffffff0000n], 527 [0xffffffffffffffffn, -0x8000n, -0x7fffffffffffffff8000n], 528 [0x10000000000000000n, -0x8000n, -0x80000000000000000000n], 529 [0x10000000000000001n, -0x8000n, -0x80000000000000008000n], 530 [-0x10000000000000001n, -0x7fffn, 0x7fff0000000000007fffn], 531 [-0x10000000000000000n, -0x7fffn, 0x7fff0000000000000000n], 532 [-0xffffffffffffffffn, -0x7fffn, 0x7ffeffffffffffff8001n], 533 [-0xfffffffffffffffen, -0x7fffn, 0x7ffeffffffffffff0002n], 534 [-0x8000000000000001n, -0x7fffn, 0x3fff8000000000007fffn], 535 [-0x8000000000000000n, -0x7fffn, 0x3fff8000000000000000n], 536 [-0x7fffffffffffffffn, -0x7fffn, 0x3fff7fffffffffff8001n], 537 [-0x7ffffffffffffffen, -0x7fffn, 0x3fff7fffffffffff0002n], 538 [-0x100000001n, -0x7fffn, 0x7fff00007fffn], 539 [-0x100000000n, -0x7fffn, 0x7fff00000000n], 540 [-0xffffffffn, -0x7fffn, 0x7ffeffff8001n], 541 [-0xfffffffen, -0x7fffn, 0x7ffeffff0002n], 542 [-0x80000001n, -0x7fffn, 0x3fff80007fffn], 543 [-0x80000000n, -0x7fffn, 0x3fff80000000n], 544 [-0x7fffffffn, -0x7fffn, 0x3fff7fff8001n], 545 [-0x7ffffffen, -0x7fffn, 0x3fff7fff0002n], 546 [-0x10001n, -0x7fffn, 0x7fff7fffn], 547 [-0x10000n, -0x7fffn, 0x7fff0000n], 548 [-0xffffn, -0x7fffn, 0x7ffe8001n], 549 [-0xfffen, -0x7fffn, 0x7ffe0002n], 550 [-0x7fffn, -0x7fffn, 0x3fff0001n], 551 [-0x7ffen, -0x7fffn, 0x3ffe8002n], 552 [0xfffen, -0x7fffn, -0x7ffe0002n], 553 [0xffffn, -0x7fffn, -0x7ffe8001n], 554 [0x10000n, -0x7fffn, -0x7fff0000n], 555 [0x10001n, -0x7fffn, -0x7fff7fffn], 556 [0x7ffffffen, -0x7fffn, -0x3fff7fff0002n], 557 [0x7fffffffn, -0x7fffn, -0x3fff7fff8001n], 558 [0x80000000n, -0x7fffn, -0x3fff80000000n], 559 [0x80000001n, -0x7fffn, -0x3fff80007fffn], 560 [0xfffffffen, -0x7fffn, -0x7ffeffff0002n], 561 [0xffffffffn, -0x7fffn, -0x7ffeffff8001n], 562 [0x100000000n, -0x7fffn, -0x7fff00000000n], 563 [0x100000001n, -0x7fffn, -0x7fff00007fffn], 564 [0x7ffffffffffffffen, -0x7fffn, -0x3fff7fffffffffff0002n], 565 [0x7fffffffffffffffn, -0x7fffn, -0x3fff7fffffffffff8001n], 566 [0x8000000000000000n, -0x7fffn, -0x3fff8000000000000000n], 567 [0x8000000000000001n, -0x7fffn, -0x3fff8000000000007fffn], 568 [0xfffffffffffffffen, -0x7fffn, -0x7ffeffffffffffff0002n], 569 [0xffffffffffffffffn, -0x7fffn, -0x7ffeffffffffffff8001n], 570 [0x10000000000000000n, -0x7fffn, -0x7fff0000000000000000n], 571 [0x10000000000000001n, -0x7fffn, -0x7fff0000000000007fffn], 572 [-0x10000000000000001n, -0x7ffen, 0x7ffe0000000000007ffen], 573 [-0x10000000000000000n, -0x7ffen, 0x7ffe0000000000000000n], 574 [-0xffffffffffffffffn, -0x7ffen, 0x7ffdffffffffffff8002n], 575 [-0xfffffffffffffffen, -0x7ffen, 0x7ffdffffffffffff0004n], 576 [-0x8000000000000001n, -0x7ffen, 0x3fff0000000000007ffen], 577 [-0x8000000000000000n, -0x7ffen, 0x3fff0000000000000000n], 578 [-0x7fffffffffffffffn, -0x7ffen, 0x3ffeffffffffffff8002n], 579 [-0x7ffffffffffffffen, -0x7ffen, 0x3ffeffffffffffff0004n], 580 [-0x100000001n, -0x7ffen, 0x7ffe00007ffen], 581 [-0x100000000n, -0x7ffen, 0x7ffe00000000n], 582 [-0xffffffffn, -0x7ffen, 0x7ffdffff8002n], 583 [-0xfffffffen, -0x7ffen, 0x7ffdffff0004n], 584 [-0x80000001n, -0x7ffen, 0x3fff00007ffen], 585 [-0x80000000n, -0x7ffen, 0x3fff00000000n], 586 [-0x7fffffffn, -0x7ffen, 0x3ffeffff8002n], 587 [-0x7ffffffen, -0x7ffen, 0x3ffeffff0004n], 588 [-0x10001n, -0x7ffen, 0x7ffe7ffen], 589 [-0x10000n, -0x7ffen, 0x7ffe0000n], 590 [-0xffffn, -0x7ffen, 0x7ffd8002n], 591 [-0xfffen, -0x7ffen, 0x7ffd0004n], 592 [-0x7ffen, -0x7ffen, 0x3ffe0004n], 593 [0xfffen, -0x7ffen, -0x7ffd0004n], 594 [0xffffn, -0x7ffen, -0x7ffd8002n], 595 [0x10000n, -0x7ffen, -0x7ffe0000n], 596 [0x10001n, -0x7ffen, -0x7ffe7ffen], 597 [0x7ffffffen, -0x7ffen, -0x3ffeffff0004n], 598 [0x7fffffffn, -0x7ffen, -0x3ffeffff8002n], 599 [0x80000000n, -0x7ffen, -0x3fff00000000n], 600 [0x80000001n, -0x7ffen, -0x3fff00007ffen], 601 [0xfffffffen, -0x7ffen, -0x7ffdffff0004n], 602 [0xffffffffn, -0x7ffen, -0x7ffdffff8002n], 603 [0x100000000n, -0x7ffen, -0x7ffe00000000n], 604 [0x100000001n, -0x7ffen, -0x7ffe00007ffen], 605 [0x7ffffffffffffffen, -0x7ffen, -0x3ffeffffffffffff0004n], 606 [0x7fffffffffffffffn, -0x7ffen, -0x3ffeffffffffffff8002n], 607 [0x8000000000000000n, -0x7ffen, -0x3fff0000000000000000n], 608 [0x8000000000000001n, -0x7ffen, -0x3fff0000000000007ffen], 609 [0xfffffffffffffffen, -0x7ffen, -0x7ffdffffffffffff0004n], 610 [0xffffffffffffffffn, -0x7ffen, -0x7ffdffffffffffff8002n], 611 [0x10000000000000000n, -0x7ffen, -0x7ffe0000000000000000n], 612 [0x10000000000000001n, -0x7ffen, -0x7ffe0000000000007ffen], 613 [-0x10000000000000001n, 0xfffen, -0xfffe000000000000fffen], 614 [-0x10000000000000000n, 0xfffen, -0xfffe0000000000000000n], 615 [-0xffffffffffffffffn, 0xfffen, -0xfffdffffffffffff0002n], 616 [-0xfffffffffffffffen, 0xfffen, -0xfffdfffffffffffe0004n], 617 [-0x8000000000000001n, 0xfffen, -0x7fff000000000000fffen], 618 [-0x8000000000000000n, 0xfffen, -0x7fff0000000000000000n], 619 [-0x7fffffffffffffffn, 0xfffen, -0x7ffeffffffffffff0002n], 620 [-0x7ffffffffffffffen, 0xfffen, -0x7ffefffffffffffe0004n], 621 [-0x100000001n, 0xfffen, -0xfffe0000fffen], 622 [-0x100000000n, 0xfffen, -0xfffe00000000n], 623 [-0xffffffffn, 0xfffen, -0xfffdffff0002n], 624 [-0xfffffffen, 0xfffen, -0xfffdfffe0004n], 625 [-0x80000001n, 0xfffen, -0x7fff0000fffen], 626 [-0x80000000n, 0xfffen, -0x7fff00000000n], 627 [-0x7fffffffn, 0xfffen, -0x7ffeffff0002n], 628 [-0x7ffffffen, 0xfffen, -0x7ffefffe0004n], 629 [-0x10001n, 0xfffen, -0xfffefffen], 630 [-0x10000n, 0xfffen, -0xfffe0000n], 631 [-0xffffn, 0xfffen, -0xfffd0002n], 632 [-0xfffen, 0xfffen, -0xfffc0004n], 633 [0xfffen, 0xfffen, 0xfffc0004n], 634 [0xffffn, 0xfffen, 0xfffd0002n], 635 [0x10000n, 0xfffen, 0xfffe0000n], 636 [0x10001n, 0xfffen, 0xfffefffen], 637 [0x7ffffffen, 0xfffen, 0x7ffefffe0004n], 638 [0x7fffffffn, 0xfffen, 0x7ffeffff0002n], 639 [0x80000000n, 0xfffen, 0x7fff00000000n], 640 [0x80000001n, 0xfffen, 0x7fff0000fffen], 641 [0xfffffffen, 0xfffen, 0xfffdfffe0004n], 642 [0xffffffffn, 0xfffen, 0xfffdffff0002n], 643 [0x100000000n, 0xfffen, 0xfffe00000000n], 644 [0x100000001n, 0xfffen, 0xfffe0000fffen], 645 [0x7ffffffffffffffen, 0xfffen, 0x7ffefffffffffffe0004n], 646 [0x7fffffffffffffffn, 0xfffen, 0x7ffeffffffffffff0002n], 647 [0x8000000000000000n, 0xfffen, 0x7fff0000000000000000n], 648 [0x8000000000000001n, 0xfffen, 0x7fff000000000000fffen], 649 [0xfffffffffffffffen, 0xfffen, 0xfffdfffffffffffe0004n], 650 [0xffffffffffffffffn, 0xfffen, 0xfffdffffffffffff0002n], 651 [0x10000000000000000n, 0xfffen, 0xfffe0000000000000000n], 652 [0x10000000000000001n, 0xfffen, 0xfffe000000000000fffen], 653 [-0x10000000000000001n, 0xffffn, -0xffff000000000000ffffn], 654 [-0x10000000000000000n, 0xffffn, -0xffff0000000000000000n], 655 [-0xffffffffffffffffn, 0xffffn, -0xfffeffffffffffff0001n], 656 [-0xfffffffffffffffen, 0xffffn, -0xfffefffffffffffe0002n], 657 [-0x8000000000000001n, 0xffffn, -0x7fff800000000000ffffn], 658 [-0x8000000000000000n, 0xffffn, -0x7fff8000000000000000n], 659 [-0x7fffffffffffffffn, 0xffffn, -0x7fff7fffffffffff0001n], 660 [-0x7ffffffffffffffen, 0xffffn, -0x7fff7ffffffffffe0002n], 661 [-0x100000001n, 0xffffn, -0xffff0000ffffn], 662 [-0x100000000n, 0xffffn, -0xffff00000000n], 663 [-0xffffffffn, 0xffffn, -0xfffeffff0001n], 664 [-0xfffffffen, 0xffffn, -0xfffefffe0002n], 665 [-0x80000001n, 0xffffn, -0x7fff8000ffffn], 666 [-0x80000000n, 0xffffn, -0x7fff80000000n], 667 [-0x7fffffffn, 0xffffn, -0x7fff7fff0001n], 668 [-0x7ffffffen, 0xffffn, -0x7fff7ffe0002n], 669 [-0x10001n, 0xffffn, -0xffffffffn], 670 [-0x10000n, 0xffffn, -0xffff0000n], 671 [-0xffffn, 0xffffn, -0xfffe0001n], 672 [-0xfffen, 0xffffn, -0xfffd0002n], 673 [0xffffn, 0xffffn, 0xfffe0001n], 674 [0x10000n, 0xffffn, 0xffff0000n], 675 [0x10001n, 0xffffn, 0xffffffffn], 676 [0x7ffffffen, 0xffffn, 0x7fff7ffe0002n], 677 [0x7fffffffn, 0xffffn, 0x7fff7fff0001n], 678 [0x80000000n, 0xffffn, 0x7fff80000000n], 679 [0x80000001n, 0xffffn, 0x7fff8000ffffn], 680 [0xfffffffen, 0xffffn, 0xfffefffe0002n], 681 [0xffffffffn, 0xffffn, 0xfffeffff0001n], 682 [0x100000000n, 0xffffn, 0xffff00000000n], 683 [0x100000001n, 0xffffn, 0xffff0000ffffn], 684 [0x7ffffffffffffffen, 0xffffn, 0x7fff7ffffffffffe0002n], 685 [0x7fffffffffffffffn, 0xffffn, 0x7fff7fffffffffff0001n], 686 [0x8000000000000000n, 0xffffn, 0x7fff8000000000000000n], 687 [0x8000000000000001n, 0xffffn, 0x7fff800000000000ffffn], 688 [0xfffffffffffffffen, 0xffffn, 0xfffefffffffffffe0002n], 689 [0xffffffffffffffffn, 0xffffn, 0xfffeffffffffffff0001n], 690 [0x10000000000000000n, 0xffffn, 0xffff0000000000000000n], 691 [0x10000000000000001n, 0xffffn, 0xffff000000000000ffffn], 692 [-0x10000000000000001n, 0x10000n, -0x100000000000000010000n], 693 [-0x10000000000000000n, 0x10000n, -0x100000000000000000000n], 694 [-0xffffffffffffffffn, 0x10000n, -0xffffffffffffffff0000n], 695 [-0xfffffffffffffffen, 0x10000n, -0xfffffffffffffffe0000n], 696 [-0x8000000000000001n, 0x10000n, -0x80000000000000010000n], 697 [-0x8000000000000000n, 0x10000n, -0x80000000000000000000n], 698 [-0x7fffffffffffffffn, 0x10000n, -0x7fffffffffffffff0000n], 699 [-0x7ffffffffffffffen, 0x10000n, -0x7ffffffffffffffe0000n], 700 [-0x100000001n, 0x10000n, -0x1000000010000n], 701 [-0x100000000n, 0x10000n, -0x1000000000000n], 702 [-0xffffffffn, 0x10000n, -0xffffffff0000n], 703 [-0xfffffffen, 0x10000n, -0xfffffffe0000n], 704 [-0x80000001n, 0x10000n, -0x800000010000n], 705 [-0x80000000n, 0x10000n, -0x800000000000n], 706 [-0x7fffffffn, 0x10000n, -0x7fffffff0000n], 707 [-0x7ffffffen, 0x10000n, -0x7ffffffe0000n], 708 [-0x10001n, 0x10000n, -0x100010000n], 709 [-0x10000n, 0x10000n, -0x100000000n], 710 [-0xffffn, 0x10000n, -0xffff0000n], 711 [-0xfffen, 0x10000n, -0xfffe0000n], 712 [0x10000n, 0x10000n, 0x100000000n], 713 [0x10001n, 0x10000n, 0x100010000n], 714 [0x7ffffffen, 0x10000n, 0x7ffffffe0000n], 715 [0x7fffffffn, 0x10000n, 0x7fffffff0000n], 716 [0x80000000n, 0x10000n, 0x800000000000n], 717 [0x80000001n, 0x10000n, 0x800000010000n], 718 [0xfffffffen, 0x10000n, 0xfffffffe0000n], 719 [0xffffffffn, 0x10000n, 0xffffffff0000n], 720 [0x100000000n, 0x10000n, 0x1000000000000n], 721 [0x100000001n, 0x10000n, 0x1000000010000n], 722 [0x7ffffffffffffffen, 0x10000n, 0x7ffffffffffffffe0000n], 723 [0x7fffffffffffffffn, 0x10000n, 0x7fffffffffffffff0000n], 724 [0x8000000000000000n, 0x10000n, 0x80000000000000000000n], 725 [0x8000000000000001n, 0x10000n, 0x80000000000000010000n], 726 [0xfffffffffffffffen, 0x10000n, 0xfffffffffffffffe0000n], 727 [0xffffffffffffffffn, 0x10000n, 0xffffffffffffffff0000n], 728 [0x10000000000000000n, 0x10000n, 0x100000000000000000000n], 729 [0x10000000000000001n, 0x10000n, 0x100000000000000010000n], 730 [-0x10000000000000001n, 0x10001n, -0x100010000000000010001n], 731 [-0x10000000000000000n, 0x10001n, -0x100010000000000000000n], 732 [-0xffffffffffffffffn, 0x10001n, -0x10000fffffffffffeffffn], 733 [-0xfffffffffffffffen, 0x10001n, -0x10000fffffffffffdfffen], 734 [-0x8000000000000001n, 0x10001n, -0x80008000000000010001n], 735 [-0x8000000000000000n, 0x10001n, -0x80008000000000000000n], 736 [-0x7fffffffffffffffn, 0x10001n, -0x80007ffffffffffeffffn], 737 [-0x7ffffffffffffffen, 0x10001n, -0x80007ffffffffffdfffen], 738 [-0x100000001n, 0x10001n, -0x1000100010001n], 739 [-0x100000000n, 0x10001n, -0x1000100000000n], 740 [-0xffffffffn, 0x10001n, -0x10000fffeffffn], 741 [-0xfffffffen, 0x10001n, -0x10000fffdfffen], 742 [-0x80000001n, 0x10001n, -0x800080010001n], 743 [-0x80000000n, 0x10001n, -0x800080000000n], 744 [-0x7fffffffn, 0x10001n, -0x80007ffeffffn], 745 [-0x7ffffffen, 0x10001n, -0x80007ffdfffen], 746 [-0x10001n, 0x10001n, -0x100020001n], 747 [-0x10000n, 0x10001n, -0x100010000n], 748 [-0xffffn, 0x10001n, -0xffffffffn], 749 [-0xfffen, 0x10001n, -0xfffefffen], 750 [0x10001n, 0x10001n, 0x100020001n], 751 [0x7ffffffen, 0x10001n, 0x80007ffdfffen], 752 [0x7fffffffn, 0x10001n, 0x80007ffeffffn], 753 [0x80000000n, 0x10001n, 0x800080000000n], 754 [0x80000001n, 0x10001n, 0x800080010001n], 755 [0xfffffffen, 0x10001n, 0x10000fffdfffen], 756 [0xffffffffn, 0x10001n, 0x10000fffeffffn], 757 [0x100000000n, 0x10001n, 0x1000100000000n], 758 [0x100000001n, 0x10001n, 0x1000100010001n], 759 [0x7ffffffffffffffen, 0x10001n, 0x80007ffffffffffdfffen], 760 [0x7fffffffffffffffn, 0x10001n, 0x80007ffffffffffeffffn], 761 [0x8000000000000000n, 0x10001n, 0x80008000000000000000n], 762 [0x8000000000000001n, 0x10001n, 0x80008000000000010001n], 763 [0xfffffffffffffffen, 0x10001n, 0x10000fffffffffffdfffen], 764 [0xffffffffffffffffn, 0x10001n, 0x10000fffffffffffeffffn], 765 [0x10000000000000000n, 0x10001n, 0x100010000000000000000n], 766 [0x10000000000000001n, 0x10001n, 0x100010000000000010001n], 767 [-0x10000000000000001n, -0x10001n, 0x100010000000000010001n], 768 [-0x10000000000000000n, -0x10001n, 0x100010000000000000000n], 769 [-0xffffffffffffffffn, -0x10001n, 0x10000fffffffffffeffffn], 770 [-0xfffffffffffffffen, -0x10001n, 0x10000fffffffffffdfffen], 771 [-0x8000000000000001n, -0x10001n, 0x80008000000000010001n], 772 [-0x8000000000000000n, -0x10001n, 0x80008000000000000000n], 773 [-0x7fffffffffffffffn, -0x10001n, 0x80007ffffffffffeffffn], 774 [-0x7ffffffffffffffen, -0x10001n, 0x80007ffffffffffdfffen], 775 [-0x100000001n, -0x10001n, 0x1000100010001n], 776 [-0x100000000n, -0x10001n, 0x1000100000000n], 777 [-0xffffffffn, -0x10001n, 0x10000fffeffffn], 778 [-0xfffffffen, -0x10001n, 0x10000fffdfffen], 779 [-0x80000001n, -0x10001n, 0x800080010001n], 780 [-0x80000000n, -0x10001n, 0x800080000000n], 781 [-0x7fffffffn, -0x10001n, 0x80007ffeffffn], 782 [-0x7ffffffen, -0x10001n, 0x80007ffdfffen], 783 [-0x10001n, -0x10001n, 0x100020001n], 784 [-0x10000n, -0x10001n, 0x100010000n], 785 [-0xffffn, -0x10001n, 0xffffffffn], 786 [-0xfffen, -0x10001n, 0xfffefffen], 787 [0x7ffffffen, -0x10001n, -0x80007ffdfffen], 788 [0x7fffffffn, -0x10001n, -0x80007ffeffffn], 789 [0x80000000n, -0x10001n, -0x800080000000n], 790 [0x80000001n, -0x10001n, -0x800080010001n], 791 [0xfffffffen, -0x10001n, -0x10000fffdfffen], 792 [0xffffffffn, -0x10001n, -0x10000fffeffffn], 793 [0x100000000n, -0x10001n, -0x1000100000000n], 794 [0x100000001n, -0x10001n, -0x1000100010001n], 795 [0x7ffffffffffffffen, -0x10001n, -0x80007ffffffffffdfffen], 796 [0x7fffffffffffffffn, -0x10001n, -0x80007ffffffffffeffffn], 797 [0x8000000000000000n, -0x10001n, -0x80008000000000000000n], 798 [0x8000000000000001n, -0x10001n, -0x80008000000000010001n], 799 [0xfffffffffffffffen, -0x10001n, -0x10000fffffffffffdfffen], 800 [0xffffffffffffffffn, -0x10001n, -0x10000fffffffffffeffffn], 801 [0x10000000000000000n, -0x10001n, -0x100010000000000000000n], 802 [0x10000000000000001n, -0x10001n, -0x100010000000000010001n], 803 [-0x10000000000000001n, -0x10000n, 0x100000000000000010000n], 804 [-0x10000000000000000n, -0x10000n, 0x100000000000000000000n], 805 [-0xffffffffffffffffn, -0x10000n, 0xffffffffffffffff0000n], 806 [-0xfffffffffffffffen, -0x10000n, 0xfffffffffffffffe0000n], 807 [-0x8000000000000001n, -0x10000n, 0x80000000000000010000n], 808 [-0x8000000000000000n, -0x10000n, 0x80000000000000000000n], 809 [-0x7fffffffffffffffn, -0x10000n, 0x7fffffffffffffff0000n], 810 [-0x7ffffffffffffffen, -0x10000n, 0x7ffffffffffffffe0000n], 811 [-0x100000001n, -0x10000n, 0x1000000010000n], 812 [-0x100000000n, -0x10000n, 0x1000000000000n], 813 [-0xffffffffn, -0x10000n, 0xffffffff0000n], 814 [-0xfffffffen, -0x10000n, 0xfffffffe0000n], 815 [-0x80000001n, -0x10000n, 0x800000010000n], 816 [-0x80000000n, -0x10000n, 0x800000000000n], 817 [-0x7fffffffn, -0x10000n, 0x7fffffff0000n], 818 [-0x7ffffffen, -0x10000n, 0x7ffffffe0000n], 819 [-0x10000n, -0x10000n, 0x100000000n], 820 [-0xffffn, -0x10000n, 0xffff0000n], 821 [-0xfffen, -0x10000n, 0xfffe0000n], 822 [0x7ffffffen, -0x10000n, -0x7ffffffe0000n], 823 [0x7fffffffn, -0x10000n, -0x7fffffff0000n], 824 [0x80000000n, -0x10000n, -0x800000000000n], 825 [0x80000001n, -0x10000n, -0x800000010000n], 826 [0xfffffffen, -0x10000n, -0xfffffffe0000n], 827 [0xffffffffn, -0x10000n, -0xffffffff0000n], 828 [0x100000000n, -0x10000n, -0x1000000000000n], 829 [0x100000001n, -0x10000n, -0x1000000010000n], 830 [0x7ffffffffffffffen, -0x10000n, -0x7ffffffffffffffe0000n], 831 [0x7fffffffffffffffn, -0x10000n, -0x7fffffffffffffff0000n], 832 [0x8000000000000000n, -0x10000n, -0x80000000000000000000n], 833 [0x8000000000000001n, -0x10000n, -0x80000000000000010000n], 834 [0xfffffffffffffffen, -0x10000n, -0xfffffffffffffffe0000n], 835 [0xffffffffffffffffn, -0x10000n, -0xffffffffffffffff0000n], 836 [0x10000000000000000n, -0x10000n, -0x100000000000000000000n], 837 [0x10000000000000001n, -0x10000n, -0x100000000000000010000n], 838 [-0x10000000000000001n, -0xffffn, 0xffff000000000000ffffn], 839 [-0x10000000000000000n, -0xffffn, 0xffff0000000000000000n], 840 [-0xffffffffffffffffn, -0xffffn, 0xfffeffffffffffff0001n], 841 [-0xfffffffffffffffen, -0xffffn, 0xfffefffffffffffe0002n], 842 [-0x8000000000000001n, -0xffffn, 0x7fff800000000000ffffn], 843 [-0x8000000000000000n, -0xffffn, 0x7fff8000000000000000n], 844 [-0x7fffffffffffffffn, -0xffffn, 0x7fff7fffffffffff0001n], 845 [-0x7ffffffffffffffen, -0xffffn, 0x7fff7ffffffffffe0002n], 846 [-0x100000001n, -0xffffn, 0xffff0000ffffn], 847 [-0x100000000n, -0xffffn, 0xffff00000000n], 848 [-0xffffffffn, -0xffffn, 0xfffeffff0001n], 849 [-0xfffffffen, -0xffffn, 0xfffefffe0002n], 850 [-0x80000001n, -0xffffn, 0x7fff8000ffffn], 851 [-0x80000000n, -0xffffn, 0x7fff80000000n], 852 [-0x7fffffffn, -0xffffn, 0x7fff7fff0001n], 853 [-0x7ffffffen, -0xffffn, 0x7fff7ffe0002n], 854 [-0xffffn, -0xffffn, 0xfffe0001n], 855 [-0xfffen, -0xffffn, 0xfffd0002n], 856 [0x7ffffffen, -0xffffn, -0x7fff7ffe0002n], 857 [0x7fffffffn, -0xffffn, -0x7fff7fff0001n], 858 [0x80000000n, -0xffffn, -0x7fff80000000n], 859 [0x80000001n, -0xffffn, -0x7fff8000ffffn], 860 [0xfffffffen, -0xffffn, -0xfffefffe0002n], 861 [0xffffffffn, -0xffffn, -0xfffeffff0001n], 862 [0x100000000n, -0xffffn, -0xffff00000000n], 863 [0x100000001n, -0xffffn, -0xffff0000ffffn], 864 [0x7ffffffffffffffen, -0xffffn, -0x7fff7ffffffffffe0002n], 865 [0x7fffffffffffffffn, -0xffffn, -0x7fff7fffffffffff0001n], 866 [0x8000000000000000n, -0xffffn, -0x7fff8000000000000000n], 867 [0x8000000000000001n, -0xffffn, -0x7fff800000000000ffffn], 868 [0xfffffffffffffffen, -0xffffn, -0xfffefffffffffffe0002n], 869 [0xffffffffffffffffn, -0xffffn, -0xfffeffffffffffff0001n], 870 [0x10000000000000000n, -0xffffn, -0xffff0000000000000000n], 871 [0x10000000000000001n, -0xffffn, -0xffff000000000000ffffn], 872 [-0x10000000000000001n, -0xfffen, 0xfffe000000000000fffen], 873 [-0x10000000000000000n, -0xfffen, 0xfffe0000000000000000n], 874 [-0xffffffffffffffffn, -0xfffen, 0xfffdffffffffffff0002n], 875 [-0xfffffffffffffffen, -0xfffen, 0xfffdfffffffffffe0004n], 876 [-0x8000000000000001n, -0xfffen, 0x7fff000000000000fffen], 877 [-0x8000000000000000n, -0xfffen, 0x7fff0000000000000000n], 878 [-0x7fffffffffffffffn, -0xfffen, 0x7ffeffffffffffff0002n], 879 [-0x7ffffffffffffffen, -0xfffen, 0x7ffefffffffffffe0004n], 880 [-0x100000001n, -0xfffen, 0xfffe0000fffen], 881 [-0x100000000n, -0xfffen, 0xfffe00000000n], 882 [-0xffffffffn, -0xfffen, 0xfffdffff0002n], 883 [-0xfffffffen, -0xfffen, 0xfffdfffe0004n], 884 [-0x80000001n, -0xfffen, 0x7fff0000fffen], 885 [-0x80000000n, -0xfffen, 0x7fff00000000n], 886 [-0x7fffffffn, -0xfffen, 0x7ffeffff0002n], 887 [-0x7ffffffen, -0xfffen, 0x7ffefffe0004n], 888 [-0xfffen, -0xfffen, 0xfffc0004n], 889 [0x7ffffffen, -0xfffen, -0x7ffefffe0004n], 890 [0x7fffffffn, -0xfffen, -0x7ffeffff0002n], 891 [0x80000000n, -0xfffen, -0x7fff00000000n], 892 [0x80000001n, -0xfffen, -0x7fff0000fffen], 893 [0xfffffffen, -0xfffen, -0xfffdfffe0004n], 894 [0xffffffffn, -0xfffen, -0xfffdffff0002n], 895 [0x100000000n, -0xfffen, -0xfffe00000000n], 896 [0x100000001n, -0xfffen, -0xfffe0000fffen], 897 [0x7ffffffffffffffen, -0xfffen, -0x7ffefffffffffffe0004n], 898 [0x7fffffffffffffffn, -0xfffen, -0x7ffeffffffffffff0002n], 899 [0x8000000000000000n, -0xfffen, -0x7fff0000000000000000n], 900 [0x8000000000000001n, -0xfffen, -0x7fff000000000000fffen], 901 [0xfffffffffffffffen, -0xfffen, -0xfffdfffffffffffe0004n], 902 [0xffffffffffffffffn, -0xfffen, -0xfffdffffffffffff0002n], 903 [0x10000000000000000n, -0xfffen, -0xfffe0000000000000000n], 904 [0x10000000000000001n, -0xfffen, -0xfffe000000000000fffen], 905 [-0x10000000000000001n, 0x7ffffffen, -0x7ffffffe000000007ffffffen], 906 [-0x10000000000000000n, 0x7ffffffen, -0x7ffffffe0000000000000000n], 907 [-0xffffffffffffffffn, 0x7ffffffen, -0x7ffffffdffffffff80000002n], 908 [-0xfffffffffffffffen, 0x7ffffffen, -0x7ffffffdffffffff00000004n], 909 [-0x8000000000000001n, 0x7ffffffen, -0x3fffffff000000007ffffffen], 910 [-0x8000000000000000n, 0x7ffffffen, -0x3fffffff0000000000000000n], 911 [-0x7fffffffffffffffn, 0x7ffffffen, -0x3ffffffeffffffff80000002n], 912 [-0x7ffffffffffffffen, 0x7ffffffen, -0x3ffffffeffffffff00000004n], 913 [-0x100000001n, 0x7ffffffen, -0x7ffffffe7ffffffen], 914 [-0x100000000n, 0x7ffffffen, -0x7ffffffe00000000n], 915 [-0xffffffffn, 0x7ffffffen, -0x7ffffffd80000002n], 916 [-0xfffffffen, 0x7ffffffen, -0x7ffffffd00000004n], 917 [-0x80000001n, 0x7ffffffen, -0x3fffffff7ffffffen], 918 [-0x80000000n, 0x7ffffffen, -0x3fffffff00000000n], 919 [-0x7fffffffn, 0x7ffffffen, -0x3ffffffe80000002n], 920 [-0x7ffffffen, 0x7ffffffen, -0x3ffffffe00000004n], 921 [0x7ffffffen, 0x7ffffffen, 0x3ffffffe00000004n], 922 [0x7fffffffn, 0x7ffffffen, 0x3ffffffe80000002n], 923 [0x80000000n, 0x7ffffffen, 0x3fffffff00000000n], 924 [0x80000001n, 0x7ffffffen, 0x3fffffff7ffffffen], 925 [0xfffffffen, 0x7ffffffen, 0x7ffffffd00000004n], 926 [0xffffffffn, 0x7ffffffen, 0x7ffffffd80000002n], 927 [0x100000000n, 0x7ffffffen, 0x7ffffffe00000000n], 928 [0x100000001n, 0x7ffffffen, 0x7ffffffe7ffffffen], 929 [0x7ffffffffffffffen, 0x7ffffffen, 0x3ffffffeffffffff00000004n], 930 [0x7fffffffffffffffn, 0x7ffffffen, 0x3ffffffeffffffff80000002n], 931 [0x8000000000000000n, 0x7ffffffen, 0x3fffffff0000000000000000n], 932 [0x8000000000000001n, 0x7ffffffen, 0x3fffffff000000007ffffffen], 933 [0xfffffffffffffffen, 0x7ffffffen, 0x7ffffffdffffffff00000004n], 934 [0xffffffffffffffffn, 0x7ffffffen, 0x7ffffffdffffffff80000002n], 935 [0x10000000000000000n, 0x7ffffffen, 0x7ffffffe0000000000000000n], 936 [0x10000000000000001n, 0x7ffffffen, 0x7ffffffe000000007ffffffen], 937 [-0x10000000000000001n, 0x7fffffffn, -0x7fffffff000000007fffffffn], 938 [-0x10000000000000000n, 0x7fffffffn, -0x7fffffff0000000000000000n], 939 [-0xffffffffffffffffn, 0x7fffffffn, -0x7ffffffeffffffff80000001n], 940 [-0xfffffffffffffffen, 0x7fffffffn, -0x7ffffffeffffffff00000002n], 941 [-0x8000000000000001n, 0x7fffffffn, -0x3fffffff800000007fffffffn], 942 [-0x8000000000000000n, 0x7fffffffn, -0x3fffffff8000000000000000n], 943 [-0x7fffffffffffffffn, 0x7fffffffn, -0x3fffffff7fffffff80000001n], 944 [-0x7ffffffffffffffen, 0x7fffffffn, -0x3fffffff7fffffff00000002n], 945 [-0x100000001n, 0x7fffffffn, -0x7fffffff7fffffffn], 946 [-0x100000000n, 0x7fffffffn, -0x7fffffff00000000n], 947 [-0xffffffffn, 0x7fffffffn, -0x7ffffffe80000001n], 948 [-0xfffffffen, 0x7fffffffn, -0x7ffffffe00000002n], 949 [-0x80000001n, 0x7fffffffn, -0x3fffffffffffffffn], 950 [-0x80000000n, 0x7fffffffn, -0x3fffffff80000000n], 951 [-0x7fffffffn, 0x7fffffffn, -0x3fffffff00000001n], 952 [-0x7ffffffen, 0x7fffffffn, -0x3ffffffe80000002n], 953 [0x7fffffffn, 0x7fffffffn, 0x3fffffff00000001n], 954 [0x80000000n, 0x7fffffffn, 0x3fffffff80000000n], 955 [0x80000001n, 0x7fffffffn, 0x3fffffffffffffffn], 956 [0xfffffffen, 0x7fffffffn, 0x7ffffffe00000002n], 957 [0xffffffffn, 0x7fffffffn, 0x7ffffffe80000001n], 958 [0x100000000n, 0x7fffffffn, 0x7fffffff00000000n], 959 [0x100000001n, 0x7fffffffn, 0x7fffffff7fffffffn], 960 [0x7ffffffffffffffen, 0x7fffffffn, 0x3fffffff7fffffff00000002n], 961 [0x7fffffffffffffffn, 0x7fffffffn, 0x3fffffff7fffffff80000001n], 962 [0x8000000000000000n, 0x7fffffffn, 0x3fffffff8000000000000000n], 963 [0x8000000000000001n, 0x7fffffffn, 0x3fffffff800000007fffffffn], 964 [0xfffffffffffffffen, 0x7fffffffn, 0x7ffffffeffffffff00000002n], 965 [0xffffffffffffffffn, 0x7fffffffn, 0x7ffffffeffffffff80000001n], 966 [0x10000000000000000n, 0x7fffffffn, 0x7fffffff0000000000000000n], 967 [0x10000000000000001n, 0x7fffffffn, 0x7fffffff000000007fffffffn], 968 [-0x10000000000000001n, 0x80000000n, -0x800000000000000080000000n], 969 [-0x10000000000000000n, 0x80000000n, -0x800000000000000000000000n], 970 [-0xffffffffffffffffn, 0x80000000n, -0x7fffffffffffffff80000000n], 971 [-0xfffffffffffffffen, 0x80000000n, -0x7fffffffffffffff00000000n], 972 [-0x8000000000000001n, 0x80000000n, -0x400000000000000080000000n], 973 [-0x8000000000000000n, 0x80000000n, -0x400000000000000000000000n], 974 [-0x7fffffffffffffffn, 0x80000000n, -0x3fffffffffffffff80000000n], 975 [-0x7ffffffffffffffen, 0x80000000n, -0x3fffffffffffffff00000000n], 976 [-0x100000001n, 0x80000000n, -0x8000000080000000n], 977 [-0x100000000n, 0x80000000n, -0x8000000000000000n], 978 [-0xffffffffn, 0x80000000n, -0x7fffffff80000000n], 979 [-0xfffffffen, 0x80000000n, -0x7fffffff00000000n], 980 [-0x80000001n, 0x80000000n, -0x4000000080000000n], 981 [-0x80000000n, 0x80000000n, -0x4000000000000000n], 982 [-0x7fffffffn, 0x80000000n, -0x3fffffff80000000n], 983 [-0x7ffffffen, 0x80000000n, -0x3fffffff00000000n], 984 [0x80000000n, 0x80000000n, 0x4000000000000000n], 985 [0x80000001n, 0x80000000n, 0x4000000080000000n], 986 [0xfffffffen, 0x80000000n, 0x7fffffff00000000n], 987 [0xffffffffn, 0x80000000n, 0x7fffffff80000000n], 988 [0x100000000n, 0x80000000n, 0x8000000000000000n], 989 [0x100000001n, 0x80000000n, 0x8000000080000000n], 990 [0x7ffffffffffffffen, 0x80000000n, 0x3fffffffffffffff00000000n], 991 [0x7fffffffffffffffn, 0x80000000n, 0x3fffffffffffffff80000000n], 992 [0x8000000000000000n, 0x80000000n, 0x400000000000000000000000n], 993 [0x8000000000000001n, 0x80000000n, 0x400000000000000080000000n], 994 [0xfffffffffffffffen, 0x80000000n, 0x7fffffffffffffff00000000n], 995 [0xffffffffffffffffn, 0x80000000n, 0x7fffffffffffffff80000000n], 996 [0x10000000000000000n, 0x80000000n, 0x800000000000000000000000n], 997 [0x10000000000000001n, 0x80000000n, 0x800000000000000080000000n], 998 [-0x10000000000000001n, 0x80000001n, -0x800000010000000080000001n], 999 [-0x10000000000000000n, 0x80000001n, -0x800000010000000000000000n], 1000 [-0xffffffffffffffffn, 0x80000001n, -0x80000000ffffffff7fffffffn], 1001 [-0xfffffffffffffffen, 0x80000001n, -0x80000000fffffffefffffffen], 1002 [-0x8000000000000001n, 0x80000001n, -0x400000008000000080000001n], 1003 [-0x8000000000000000n, 0x80000001n, -0x400000008000000000000000n], 1004 [-0x7fffffffffffffffn, 0x80000001n, -0x400000007fffffff7fffffffn], 1005 [-0x7ffffffffffffffen, 0x80000001n, -0x400000007ffffffefffffffen], 1006 [-0x100000001n, 0x80000001n, -0x8000000180000001n], 1007 [-0x100000000n, 0x80000001n, -0x8000000100000000n], 1008 [-0xffffffffn, 0x80000001n, -0x800000007fffffffn], 1009 [-0xfffffffen, 0x80000001n, -0x7ffffffffffffffen], 1010 [-0x80000001n, 0x80000001n, -0x4000000100000001n], 1011 [-0x80000000n, 0x80000001n, -0x4000000080000000n], 1012 [-0x7fffffffn, 0x80000001n, -0x3fffffffffffffffn], 1013 [-0x7ffffffen, 0x80000001n, -0x3fffffff7ffffffen], 1014 [0x80000001n, 0x80000001n, 0x4000000100000001n], 1015 [0xfffffffen, 0x80000001n, 0x7ffffffffffffffen], 1016 [0xffffffffn, 0x80000001n, 0x800000007fffffffn], 1017 [0x100000000n, 0x80000001n, 0x8000000100000000n], 1018 [0x100000001n, 0x80000001n, 0x8000000180000001n], 1019 [0x7ffffffffffffffen, 0x80000001n, 0x400000007ffffffefffffffen], 1020 [0x7fffffffffffffffn, 0x80000001n, 0x400000007fffffff7fffffffn], 1021 [0x8000000000000000n, 0x80000001n, 0x400000008000000000000000n], 1022 [0x8000000000000001n, 0x80000001n, 0x400000008000000080000001n], 1023 [0xfffffffffffffffen, 0x80000001n, 0x80000000fffffffefffffffen], 1024 [0xffffffffffffffffn, 0x80000001n, 0x80000000ffffffff7fffffffn], 1025 [0x10000000000000000n, 0x80000001n, 0x800000010000000000000000n], 1026 [0x10000000000000001n, 0x80000001n, 0x800000010000000080000001n], 1027 [-0x10000000000000001n, -0x80000001n, 0x800000010000000080000001n], 1028 [-0x10000000000000000n, -0x80000001n, 0x800000010000000000000000n], 1029 [-0xffffffffffffffffn, -0x80000001n, 0x80000000ffffffff7fffffffn], 1030 [-0xfffffffffffffffen, -0x80000001n, 0x80000000fffffffefffffffen], 1031 [-0x8000000000000001n, -0x80000001n, 0x400000008000000080000001n], 1032 [-0x8000000000000000n, -0x80000001n, 0x400000008000000000000000n], 1033 [-0x7fffffffffffffffn, -0x80000001n, 0x400000007fffffff7fffffffn], 1034 [-0x7ffffffffffffffen, -0x80000001n, 0x400000007ffffffefffffffen], 1035 [-0x100000001n, -0x80000001n, 0x8000000180000001n], 1036 [-0x100000000n, -0x80000001n, 0x8000000100000000n], 1037 [-0xffffffffn, -0x80000001n, 0x800000007fffffffn], 1038 [-0xfffffffen, -0x80000001n, 0x7ffffffffffffffen], 1039 [-0x80000001n, -0x80000001n, 0x4000000100000001n], 1040 [-0x80000000n, -0x80000001n, 0x4000000080000000n], 1041 [-0x7fffffffn, -0x80000001n, 0x3fffffffffffffffn], 1042 [-0x7ffffffen, -0x80000001n, 0x3fffffff7ffffffen], 1043 [0xfffffffen, -0x80000001n, -0x7ffffffffffffffen], 1044 [0xffffffffn, -0x80000001n, -0x800000007fffffffn], 1045 [0x100000000n, -0x80000001n, -0x8000000100000000n], 1046 [0x100000001n, -0x80000001n, -0x8000000180000001n], 1047 [0x7ffffffffffffffen, -0x80000001n, -0x400000007ffffffefffffffen], 1048 [0x7fffffffffffffffn, -0x80000001n, -0x400000007fffffff7fffffffn], 1049 [0x8000000000000000n, -0x80000001n, -0x400000008000000000000000n], 1050 [0x8000000000000001n, -0x80000001n, -0x400000008000000080000001n], 1051 [0xfffffffffffffffen, -0x80000001n, -0x80000000fffffffefffffffen], 1052 [0xffffffffffffffffn, -0x80000001n, -0x80000000ffffffff7fffffffn], 1053 [0x10000000000000000n, -0x80000001n, -0x800000010000000000000000n], 1054 [0x10000000000000001n, -0x80000001n, -0x800000010000000080000001n], 1055 [-0x10000000000000001n, -0x80000000n, 0x800000000000000080000000n], 1056 [-0x10000000000000000n, -0x80000000n, 0x800000000000000000000000n], 1057 [-0xffffffffffffffffn, -0x80000000n, 0x7fffffffffffffff80000000n], 1058 [-0xfffffffffffffffen, -0x80000000n, 0x7fffffffffffffff00000000n], 1059 [-0x8000000000000001n, -0x80000000n, 0x400000000000000080000000n], 1060 [-0x8000000000000000n, -0x80000000n, 0x400000000000000000000000n], 1061 [-0x7fffffffffffffffn, -0x80000000n, 0x3fffffffffffffff80000000n], 1062 [-0x7ffffffffffffffen, -0x80000000n, 0x3fffffffffffffff00000000n], 1063 [-0x100000001n, -0x80000000n, 0x8000000080000000n], 1064 [-0x100000000n, -0x80000000n, 0x8000000000000000n], 1065 [-0xffffffffn, -0x80000000n, 0x7fffffff80000000n], 1066 [-0xfffffffen, -0x80000000n, 0x7fffffff00000000n], 1067 [-0x80000000n, -0x80000000n, 0x4000000000000000n], 1068 [-0x7fffffffn, -0x80000000n, 0x3fffffff80000000n], 1069 [-0x7ffffffen, -0x80000000n, 0x3fffffff00000000n], 1070 [0xfffffffen, -0x80000000n, -0x7fffffff00000000n], 1071 [0xffffffffn, -0x80000000n, -0x7fffffff80000000n], 1072 [0x100000000n, -0x80000000n, -0x8000000000000000n], 1073 [0x100000001n, -0x80000000n, -0x8000000080000000n], 1074 [0x7ffffffffffffffen, -0x80000000n, -0x3fffffffffffffff00000000n], 1075 [0x7fffffffffffffffn, -0x80000000n, -0x3fffffffffffffff80000000n], 1076 [0x8000000000000000n, -0x80000000n, -0x400000000000000000000000n], 1077 [0x8000000000000001n, -0x80000000n, -0x400000000000000080000000n], 1078 [0xfffffffffffffffen, -0x80000000n, -0x7fffffffffffffff00000000n], 1079 [0xffffffffffffffffn, -0x80000000n, -0x7fffffffffffffff80000000n], 1080 [0x10000000000000000n, -0x80000000n, -0x800000000000000000000000n], 1081 [0x10000000000000001n, -0x80000000n, -0x800000000000000080000000n], 1082 [-0x10000000000000001n, -0x7fffffffn, 0x7fffffff000000007fffffffn], 1083 [-0x10000000000000000n, -0x7fffffffn, 0x7fffffff0000000000000000n], 1084 [-0xffffffffffffffffn, -0x7fffffffn, 0x7ffffffeffffffff80000001n], 1085 [-0xfffffffffffffffen, -0x7fffffffn, 0x7ffffffeffffffff00000002n], 1086 [-0x8000000000000001n, -0x7fffffffn, 0x3fffffff800000007fffffffn], 1087 [-0x8000000000000000n, -0x7fffffffn, 0x3fffffff8000000000000000n], 1088 [-0x7fffffffffffffffn, -0x7fffffffn, 0x3fffffff7fffffff80000001n], 1089 [-0x7ffffffffffffffen, -0x7fffffffn, 0x3fffffff7fffffff00000002n], 1090 [-0x100000001n, -0x7fffffffn, 0x7fffffff7fffffffn], 1091 [-0x100000000n, -0x7fffffffn, 0x7fffffff00000000n], 1092 [-0xffffffffn, -0x7fffffffn, 0x7ffffffe80000001n], 1093 [-0xfffffffen, -0x7fffffffn, 0x7ffffffe00000002n], 1094 [-0x7fffffffn, -0x7fffffffn, 0x3fffffff00000001n], 1095 [-0x7ffffffen, -0x7fffffffn, 0x3ffffffe80000002n], 1096 [0xfffffffen, -0x7fffffffn, -0x7ffffffe00000002n], 1097 [0xffffffffn, -0x7fffffffn, -0x7ffffffe80000001n], 1098 [0x100000000n, -0x7fffffffn, -0x7fffffff00000000n], 1099 [0x100000001n, -0x7fffffffn, -0x7fffffff7fffffffn], 1100 [0x7ffffffffffffffen, -0x7fffffffn, -0x3fffffff7fffffff00000002n], 1101 [0x7fffffffffffffffn, -0x7fffffffn, -0x3fffffff7fffffff80000001n], 1102 [0x8000000000000000n, -0x7fffffffn, -0x3fffffff8000000000000000n], 1103 [0x8000000000000001n, -0x7fffffffn, -0x3fffffff800000007fffffffn], 1104 [0xfffffffffffffffen, -0x7fffffffn, -0x7ffffffeffffffff00000002n], 1105 [0xffffffffffffffffn, -0x7fffffffn, -0x7ffffffeffffffff80000001n], 1106 [0x10000000000000000n, -0x7fffffffn, -0x7fffffff0000000000000000n], 1107 [0x10000000000000001n, -0x7fffffffn, -0x7fffffff000000007fffffffn], 1108 [-0x10000000000000001n, -0x7ffffffen, 0x7ffffffe000000007ffffffen], 1109 [-0x10000000000000000n, -0x7ffffffen, 0x7ffffffe0000000000000000n], 1110 [-0xffffffffffffffffn, -0x7ffffffen, 0x7ffffffdffffffff80000002n], 1111 [-0xfffffffffffffffen, -0x7ffffffen, 0x7ffffffdffffffff00000004n], 1112 [-0x8000000000000001n, -0x7ffffffen, 0x3fffffff000000007ffffffen], 1113 [-0x8000000000000000n, -0x7ffffffen, 0x3fffffff0000000000000000n], 1114 [-0x7fffffffffffffffn, -0x7ffffffen, 0x3ffffffeffffffff80000002n], 1115 [-0x7ffffffffffffffen, -0x7ffffffen, 0x3ffffffeffffffff00000004n], 1116 [-0x100000001n, -0x7ffffffen, 0x7ffffffe7ffffffen], 1117 [-0x100000000n, -0x7ffffffen, 0x7ffffffe00000000n], 1118 [-0xffffffffn, -0x7ffffffen, 0x7ffffffd80000002n], 1119 [-0xfffffffen, -0x7ffffffen, 0x7ffffffd00000004n], 1120 [-0x7ffffffen, -0x7ffffffen, 0x3ffffffe00000004n], 1121 [0xfffffffen, -0x7ffffffen, -0x7ffffffd00000004n], 1122 [0xffffffffn, -0x7ffffffen, -0x7ffffffd80000002n], 1123 [0x100000000n, -0x7ffffffen, -0x7ffffffe00000000n], 1124 [0x100000001n, -0x7ffffffen, -0x7ffffffe7ffffffen], 1125 [0x7ffffffffffffffen, -0x7ffffffen, -0x3ffffffeffffffff00000004n], 1126 [0x7fffffffffffffffn, -0x7ffffffen, -0x3ffffffeffffffff80000002n], 1127 [0x8000000000000000n, -0x7ffffffen, -0x3fffffff0000000000000000n], 1128 [0x8000000000000001n, -0x7ffffffen, -0x3fffffff000000007ffffffen], 1129 [0xfffffffffffffffen, -0x7ffffffen, -0x7ffffffdffffffff00000004n], 1130 [0xffffffffffffffffn, -0x7ffffffen, -0x7ffffffdffffffff80000002n], 1131 [0x10000000000000000n, -0x7ffffffen, -0x7ffffffe0000000000000000n], 1132 [0x10000000000000001n, -0x7ffffffen, -0x7ffffffe000000007ffffffen], 1133 [-0x10000000000000001n, 0xfffffffen, -0xfffffffe00000000fffffffen], 1134 [-0x10000000000000000n, 0xfffffffen, -0xfffffffe0000000000000000n], 1135 [-0xffffffffffffffffn, 0xfffffffen, -0xfffffffdffffffff00000002n], 1136 [-0xfffffffffffffffen, 0xfffffffen, -0xfffffffdfffffffe00000004n], 1137 [-0x8000000000000001n, 0xfffffffen, -0x7fffffff00000000fffffffen], 1138 [-0x8000000000000000n, 0xfffffffen, -0x7fffffff0000000000000000n], 1139 [-0x7fffffffffffffffn, 0xfffffffen, -0x7ffffffeffffffff00000002n], 1140 [-0x7ffffffffffffffen, 0xfffffffen, -0x7ffffffefffffffe00000004n], 1141 [-0x100000001n, 0xfffffffen, -0xfffffffefffffffen], 1142 [-0x100000000n, 0xfffffffen, -0xfffffffe00000000n], 1143 [-0xffffffffn, 0xfffffffen, -0xfffffffd00000002n], 1144 [-0xfffffffen, 0xfffffffen, -0xfffffffc00000004n], 1145 [0xfffffffen, 0xfffffffen, 0xfffffffc00000004n], 1146 [0xffffffffn, 0xfffffffen, 0xfffffffd00000002n], 1147 [0x100000000n, 0xfffffffen, 0xfffffffe00000000n], 1148 [0x100000001n, 0xfffffffen, 0xfffffffefffffffen], 1149 [0x7ffffffffffffffen, 0xfffffffen, 0x7ffffffefffffffe00000004n], 1150 [0x7fffffffffffffffn, 0xfffffffen, 0x7ffffffeffffffff00000002n], 1151 [0x8000000000000000n, 0xfffffffen, 0x7fffffff0000000000000000n], 1152 [0x8000000000000001n, 0xfffffffen, 0x7fffffff00000000fffffffen], 1153 [0xfffffffffffffffen, 0xfffffffen, 0xfffffffdfffffffe00000004n], 1154 [0xffffffffffffffffn, 0xfffffffen, 0xfffffffdffffffff00000002n], 1155 [0x10000000000000000n, 0xfffffffen, 0xfffffffe0000000000000000n], 1156 [0x10000000000000001n, 0xfffffffen, 0xfffffffe00000000fffffffen], 1157 [-0x10000000000000001n, 0xffffffffn, -0xffffffff00000000ffffffffn], 1158 [-0x10000000000000000n, 0xffffffffn, -0xffffffff0000000000000000n], 1159 [-0xffffffffffffffffn, 0xffffffffn, -0xfffffffeffffffff00000001n], 1160 [-0xfffffffffffffffen, 0xffffffffn, -0xfffffffefffffffe00000002n], 1161 [-0x8000000000000001n, 0xffffffffn, -0x7fffffff80000000ffffffffn], 1162 [-0x8000000000000000n, 0xffffffffn, -0x7fffffff8000000000000000n], 1163 [-0x7fffffffffffffffn, 0xffffffffn, -0x7fffffff7fffffff00000001n], 1164 [-0x7ffffffffffffffen, 0xffffffffn, -0x7fffffff7ffffffe00000002n], 1165 [-0x100000001n, 0xffffffffn, -0xffffffffffffffffn], 1166 [-0x100000000n, 0xffffffffn, -0xffffffff00000000n], 1167 [-0xffffffffn, 0xffffffffn, -0xfffffffe00000001n], 1168 [-0xfffffffen, 0xffffffffn, -0xfffffffd00000002n], 1169 [0xffffffffn, 0xffffffffn, 0xfffffffe00000001n], 1170 [0x100000000n, 0xffffffffn, 0xffffffff00000000n], 1171 [0x100000001n, 0xffffffffn, 0xffffffffffffffffn], 1172 [0x7ffffffffffffffen, 0xffffffffn, 0x7fffffff7ffffffe00000002n], 1173 [0x7fffffffffffffffn, 0xffffffffn, 0x7fffffff7fffffff00000001n], 1174 [0x8000000000000000n, 0xffffffffn, 0x7fffffff8000000000000000n], 1175 [0x8000000000000001n, 0xffffffffn, 0x7fffffff80000000ffffffffn], 1176 [0xfffffffffffffffen, 0xffffffffn, 0xfffffffefffffffe00000002n], 1177 [0xffffffffffffffffn, 0xffffffffn, 0xfffffffeffffffff00000001n], 1178 [0x10000000000000000n, 0xffffffffn, 0xffffffff0000000000000000n], 1179 [0x10000000000000001n, 0xffffffffn, 0xffffffff00000000ffffffffn], 1180 [-0x10000000000000001n, 0x100000000n, -0x1000000000000000100000000n], 1181 [-0x10000000000000000n, 0x100000000n, -0x1000000000000000000000000n], 1182 [-0xffffffffffffffffn, 0x100000000n, -0xffffffffffffffff00000000n], 1183 [-0xfffffffffffffffen, 0x100000000n, -0xfffffffffffffffe00000000n], 1184 [-0x8000000000000001n, 0x100000000n, -0x800000000000000100000000n], 1185 [-0x8000000000000000n, 0x100000000n, -0x800000000000000000000000n], 1186 [-0x7fffffffffffffffn, 0x100000000n, -0x7fffffffffffffff00000000n], 1187 [-0x7ffffffffffffffen, 0x100000000n, -0x7ffffffffffffffe00000000n], 1188 [-0x100000001n, 0x100000000n, -0x10000000100000000n], 1189 [-0x100000000n, 0x100000000n, -0x10000000000000000n], 1190 [-0xffffffffn, 0x100000000n, -0xffffffff00000000n], 1191 [-0xfffffffen, 0x100000000n, -0xfffffffe00000000n], 1192 [0x100000000n, 0x100000000n, 0x10000000000000000n], 1193 [0x100000001n, 0x100000000n, 0x10000000100000000n], 1194 [0x7ffffffffffffffen, 0x100000000n, 0x7ffffffffffffffe00000000n], 1195 [0x7fffffffffffffffn, 0x100000000n, 0x7fffffffffffffff00000000n], 1196 [0x8000000000000000n, 0x100000000n, 0x800000000000000000000000n], 1197 [0x8000000000000001n, 0x100000000n, 0x800000000000000100000000n], 1198 [0xfffffffffffffffen, 0x100000000n, 0xfffffffffffffffe00000000n], 1199 [0xffffffffffffffffn, 0x100000000n, 0xffffffffffffffff00000000n], 1200 [0x10000000000000000n, 0x100000000n, 0x1000000000000000000000000n], 1201 [0x10000000000000001n, 0x100000000n, 0x1000000000000000100000000n], 1202 [-0x10000000000000001n, 0x100000001n, -0x1000000010000000100000001n], 1203 [-0x10000000000000000n, 0x100000001n, -0x1000000010000000000000000n], 1204 [-0xffffffffffffffffn, 0x100000001n, -0x100000000fffffffeffffffffn], 1205 [-0xfffffffffffffffen, 0x100000001n, -0x100000000fffffffdfffffffen], 1206 [-0x8000000000000001n, 0x100000001n, -0x800000008000000100000001n], 1207 [-0x8000000000000000n, 0x100000001n, -0x800000008000000000000000n], 1208 [-0x7fffffffffffffffn, 0x100000001n, -0x800000007ffffffeffffffffn], 1209 [-0x7ffffffffffffffen, 0x100000001n, -0x800000007ffffffdfffffffen], 1210 [-0x100000001n, 0x100000001n, -0x10000000200000001n], 1211 [-0x100000000n, 0x100000001n, -0x10000000100000000n], 1212 [-0xffffffffn, 0x100000001n, -0xffffffffffffffffn], 1213 [-0xfffffffen, 0x100000001n, -0xfffffffefffffffen], 1214 [0x100000001n, 0x100000001n, 0x10000000200000001n], 1215 [0x7ffffffffffffffen, 0x100000001n, 0x800000007ffffffdfffffffen], 1216 [0x7fffffffffffffffn, 0x100000001n, 0x800000007ffffffeffffffffn], 1217 [0x8000000000000000n, 0x100000001n, 0x800000008000000000000000n], 1218 [0x8000000000000001n, 0x100000001n, 0x800000008000000100000001n], 1219 [0xfffffffffffffffen, 0x100000001n, 0x100000000fffffffdfffffffen], 1220 [0xffffffffffffffffn, 0x100000001n, 0x100000000fffffffeffffffffn], 1221 [0x10000000000000000n, 0x100000001n, 0x1000000010000000000000000n], 1222 [0x10000000000000001n, 0x100000001n, 0x1000000010000000100000001n], 1223 [-0x10000000000000001n, -0x100000001n, 0x1000000010000000100000001n], 1224 [-0x10000000000000000n, -0x100000001n, 0x1000000010000000000000000n], 1225 [-0xffffffffffffffffn, -0x100000001n, 0x100000000fffffffeffffffffn], 1226 [-0xfffffffffffffffen, -0x100000001n, 0x100000000fffffffdfffffffen], 1227 [-0x8000000000000001n, -0x100000001n, 0x800000008000000100000001n], 1228 [-0x8000000000000000n, -0x100000001n, 0x800000008000000000000000n], 1229 [-0x7fffffffffffffffn, -0x100000001n, 0x800000007ffffffeffffffffn], 1230 [-0x7ffffffffffffffen, -0x100000001n, 0x800000007ffffffdfffffffen], 1231 [-0x100000001n, -0x100000001n, 0x10000000200000001n], 1232 [-0x100000000n, -0x100000001n, 0x10000000100000000n], 1233 [-0xffffffffn, -0x100000001n, 0xffffffffffffffffn], 1234 [-0xfffffffen, -0x100000001n, 0xfffffffefffffffen], 1235 [0x7ffffffffffffffen, -0x100000001n, -0x800000007ffffffdfffffffen], 1236 [0x7fffffffffffffffn, -0x100000001n, -0x800000007ffffffeffffffffn], 1237 [0x8000000000000000n, -0x100000001n, -0x800000008000000000000000n], 1238 [0x8000000000000001n, -0x100000001n, -0x800000008000000100000001n], 1239 [0xfffffffffffffffen, -0x100000001n, -0x100000000fffffffdfffffffen], 1240 [0xffffffffffffffffn, -0x100000001n, -0x100000000fffffffeffffffffn], 1241 [0x10000000000000000n, -0x100000001n, -0x1000000010000000000000000n], 1242 [0x10000000000000001n, -0x100000001n, -0x1000000010000000100000001n], 1243 [-0x10000000000000001n, -0x100000000n, 0x1000000000000000100000000n], 1244 [-0x10000000000000000n, -0x100000000n, 0x1000000000000000000000000n], 1245 [-0xffffffffffffffffn, -0x100000000n, 0xffffffffffffffff00000000n], 1246 [-0xfffffffffffffffen, -0x100000000n, 0xfffffffffffffffe00000000n], 1247 [-0x8000000000000001n, -0x100000000n, 0x800000000000000100000000n], 1248 [-0x8000000000000000n, -0x100000000n, 0x800000000000000000000000n], 1249 [-0x7fffffffffffffffn, -0x100000000n, 0x7fffffffffffffff00000000n], 1250 [-0x7ffffffffffffffen, -0x100000000n, 0x7ffffffffffffffe00000000n], 1251 [-0x100000000n, -0x100000000n, 0x10000000000000000n], 1252 [-0xffffffffn, -0x100000000n, 0xffffffff00000000n], 1253 [-0xfffffffen, -0x100000000n, 0xfffffffe00000000n], 1254 [0x7ffffffffffffffen, -0x100000000n, -0x7ffffffffffffffe00000000n], 1255 [0x7fffffffffffffffn, -0x100000000n, -0x7fffffffffffffff00000000n], 1256 [0x8000000000000000n, -0x100000000n, -0x800000000000000000000000n], 1257 [0x8000000000000001n, -0x100000000n, -0x800000000000000100000000n], 1258 [0xfffffffffffffffen, -0x100000000n, -0xfffffffffffffffe00000000n], 1259 [0xffffffffffffffffn, -0x100000000n, -0xffffffffffffffff00000000n], 1260 [0x10000000000000000n, -0x100000000n, -0x1000000000000000000000000n], 1261 [0x10000000000000001n, -0x100000000n, -0x1000000000000000100000000n], 1262 [-0x10000000000000001n, -0xffffffffn, 0xffffffff00000000ffffffffn], 1263 [-0x10000000000000000n, -0xffffffffn, 0xffffffff0000000000000000n], 1264 [-0xffffffffffffffffn, -0xffffffffn, 0xfffffffeffffffff00000001n], 1265 [-0xfffffffffffffffen, -0xffffffffn, 0xfffffffefffffffe00000002n], 1266 [-0x8000000000000001n, -0xffffffffn, 0x7fffffff80000000ffffffffn], 1267 [-0x8000000000000000n, -0xffffffffn, 0x7fffffff8000000000000000n], 1268 [-0x7fffffffffffffffn, -0xffffffffn, 0x7fffffff7fffffff00000001n], 1269 [-0x7ffffffffffffffen, -0xffffffffn, 0x7fffffff7ffffffe00000002n], 1270 [-0xffffffffn, -0xffffffffn, 0xfffffffe00000001n], 1271 [-0xfffffffen, -0xffffffffn, 0xfffffffd00000002n], 1272 [0x7ffffffffffffffen, -0xffffffffn, -0x7fffffff7ffffffe00000002n], 1273 [0x7fffffffffffffffn, -0xffffffffn, -0x7fffffff7fffffff00000001n], 1274 [0x8000000000000000n, -0xffffffffn, -0x7fffffff8000000000000000n], 1275 [0x8000000000000001n, -0xffffffffn, -0x7fffffff80000000ffffffffn], 1276 [0xfffffffffffffffen, -0xffffffffn, -0xfffffffefffffffe00000002n], 1277 [0xffffffffffffffffn, -0xffffffffn, -0xfffffffeffffffff00000001n], 1278 [0x10000000000000000n, -0xffffffffn, -0xffffffff0000000000000000n], 1279 [0x10000000000000001n, -0xffffffffn, -0xffffffff00000000ffffffffn], 1280 [-0x10000000000000001n, -0xfffffffen, 0xfffffffe00000000fffffffen], 1281 [-0x10000000000000000n, -0xfffffffen, 0xfffffffe0000000000000000n], 1282 [-0xffffffffffffffffn, -0xfffffffen, 0xfffffffdffffffff00000002n], 1283 [-0xfffffffffffffffen, -0xfffffffen, 0xfffffffdfffffffe00000004n], 1284 [-0x8000000000000001n, -0xfffffffen, 0x7fffffff00000000fffffffen], 1285 [-0x8000000000000000n, -0xfffffffen, 0x7fffffff0000000000000000n], 1286 [-0x7fffffffffffffffn, -0xfffffffen, 0x7ffffffeffffffff00000002n], 1287 [-0x7ffffffffffffffen, -0xfffffffen, 0x7ffffffefffffffe00000004n], 1288 [-0xfffffffen, -0xfffffffen, 0xfffffffc00000004n], 1289 [0x7ffffffffffffffen, -0xfffffffen, -0x7ffffffefffffffe00000004n], 1290 [0x7fffffffffffffffn, -0xfffffffen, -0x7ffffffeffffffff00000002n], 1291 [0x8000000000000000n, -0xfffffffen, -0x7fffffff0000000000000000n], 1292 [0x8000000000000001n, -0xfffffffen, -0x7fffffff00000000fffffffen], 1293 [0xfffffffffffffffen, -0xfffffffen, -0xfffffffdfffffffe00000004n], 1294 [0xffffffffffffffffn, -0xfffffffen, -0xfffffffdffffffff00000002n], 1295 [0x10000000000000000n, -0xfffffffen, -0xfffffffe0000000000000000n], 1296 [0x10000000000000001n, -0xfffffffen, -0xfffffffe00000000fffffffen], 1297 [-0x10000000000000001n, 0x7ffffffffffffffen, -0x7ffffffffffffffe7ffffffffffffffen], 1298 [-0x10000000000000000n, 0x7ffffffffffffffen, -0x7ffffffffffffffe0000000000000000n], 1299 [-0xffffffffffffffffn, 0x7ffffffffffffffen, -0x7ffffffffffffffd8000000000000002n], 1300 [-0xfffffffffffffffen, 0x7ffffffffffffffen, -0x7ffffffffffffffd0000000000000004n], 1301 [-0x8000000000000001n, 0x7ffffffffffffffen, -0x3fffffffffffffff7ffffffffffffffen], 1302 [-0x8000000000000000n, 0x7ffffffffffffffen, -0x3fffffffffffffff0000000000000000n], 1303 [-0x7fffffffffffffffn, 0x7ffffffffffffffen, -0x3ffffffffffffffe8000000000000002n], 1304 [-0x7ffffffffffffffen, 0x7ffffffffffffffen, -0x3ffffffffffffffe0000000000000004n], 1305 [0x7ffffffffffffffen, 0x7ffffffffffffffen, 0x3ffffffffffffffe0000000000000004n], 1306 [0x7fffffffffffffffn, 0x7ffffffffffffffen, 0x3ffffffffffffffe8000000000000002n], 1307 [0x8000000000000000n, 0x7ffffffffffffffen, 0x3fffffffffffffff0000000000000000n], 1308 [0x8000000000000001n, 0x7ffffffffffffffen, 0x3fffffffffffffff7ffffffffffffffen], 1309 [0xfffffffffffffffen, 0x7ffffffffffffffen, 0x7ffffffffffffffd0000000000000004n], 1310 [0xffffffffffffffffn, 0x7ffffffffffffffen, 0x7ffffffffffffffd8000000000000002n], 1311 [0x10000000000000000n, 0x7ffffffffffffffen, 0x7ffffffffffffffe0000000000000000n], 1312 [0x10000000000000001n, 0x7ffffffffffffffen, 0x7ffffffffffffffe7ffffffffffffffen], 1313 [-0x10000000000000001n, 0x7fffffffffffffffn, -0x7fffffffffffffff7fffffffffffffffn], 1314 [-0x10000000000000000n, 0x7fffffffffffffffn, -0x7fffffffffffffff0000000000000000n], 1315 [-0xffffffffffffffffn, 0x7fffffffffffffffn, -0x7ffffffffffffffe8000000000000001n], 1316 [-0xfffffffffffffffen, 0x7fffffffffffffffn, -0x7ffffffffffffffe0000000000000002n], 1317 [-0x8000000000000001n, 0x7fffffffffffffffn, -0x3fffffffffffffffffffffffffffffffn], 1318 [-0x8000000000000000n, 0x7fffffffffffffffn, -0x3fffffffffffffff8000000000000000n], 1319 [-0x7fffffffffffffffn, 0x7fffffffffffffffn, -0x3fffffffffffffff0000000000000001n], 1320 [-0x7ffffffffffffffen, 0x7fffffffffffffffn, -0x3ffffffffffffffe8000000000000002n], 1321 [0x7fffffffffffffffn, 0x7fffffffffffffffn, 0x3fffffffffffffff0000000000000001n], 1322 [0x8000000000000000n, 0x7fffffffffffffffn, 0x3fffffffffffffff8000000000000000n], 1323 [0x8000000000000001n, 0x7fffffffffffffffn, 0x3fffffffffffffffffffffffffffffffn], 1324 [0xfffffffffffffffen, 0x7fffffffffffffffn, 0x7ffffffffffffffe0000000000000002n], 1325 [0xffffffffffffffffn, 0x7fffffffffffffffn, 0x7ffffffffffffffe8000000000000001n], 1326 [0x10000000000000000n, 0x7fffffffffffffffn, 0x7fffffffffffffff0000000000000000n], 1327 [0x10000000000000001n, 0x7fffffffffffffffn, 0x7fffffffffffffff7fffffffffffffffn], 1328 [-0x10000000000000001n, 0x8000000000000000n, -0x80000000000000008000000000000000n], 1329 [-0x10000000000000000n, 0x8000000000000000n, -0x80000000000000000000000000000000n], 1330 [-0xffffffffffffffffn, 0x8000000000000000n, -0x7fffffffffffffff8000000000000000n], 1331 [-0xfffffffffffffffen, 0x8000000000000000n, -0x7fffffffffffffff0000000000000000n], 1332 [-0x8000000000000001n, 0x8000000000000000n, -0x40000000000000008000000000000000n], 1333 [-0x8000000000000000n, 0x8000000000000000n, -0x40000000000000000000000000000000n], 1334 [-0x7fffffffffffffffn, 0x8000000000000000n, -0x3fffffffffffffff8000000000000000n], 1335 [-0x7ffffffffffffffen, 0x8000000000000000n, -0x3fffffffffffffff0000000000000000n], 1336 [0x8000000000000000n, 0x8000000000000000n, 0x40000000000000000000000000000000n], 1337 [0x8000000000000001n, 0x8000000000000000n, 0x40000000000000008000000000000000n], 1338 [0xfffffffffffffffen, 0x8000000000000000n, 0x7fffffffffffffff0000000000000000n], 1339 [0xffffffffffffffffn, 0x8000000000000000n, 0x7fffffffffffffff8000000000000000n], 1340 [0x10000000000000000n, 0x8000000000000000n, 0x80000000000000000000000000000000n], 1341 [0x10000000000000001n, 0x8000000000000000n, 0x80000000000000008000000000000000n], 1342 [-0x10000000000000001n, 0x8000000000000001n, -0x80000000000000018000000000000001n], 1343 [-0x10000000000000000n, 0x8000000000000001n, -0x80000000000000010000000000000000n], 1344 [-0xffffffffffffffffn, 0x8000000000000001n, -0x80000000000000007fffffffffffffffn], 1345 [-0xfffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffffffffffffffffffen], 1346 [-0x8000000000000001n, 0x8000000000000001n, -0x40000000000000010000000000000001n], 1347 [-0x8000000000000000n, 0x8000000000000001n, -0x40000000000000008000000000000000n], 1348 [-0x7fffffffffffffffn, 0x8000000000000001n, -0x3fffffffffffffffffffffffffffffffn], 1349 [-0x7ffffffffffffffen, 0x8000000000000001n, -0x3fffffffffffffff7ffffffffffffffen], 1350 [0x8000000000000001n, 0x8000000000000001n, 0x40000000000000010000000000000001n], 1351 [0xfffffffffffffffen, 0x8000000000000001n, 0x7ffffffffffffffffffffffffffffffen], 1352 [0xffffffffffffffffn, 0x8000000000000001n, 0x80000000000000007fffffffffffffffn], 1353 [0x10000000000000000n, 0x8000000000000001n, 0x80000000000000010000000000000000n], 1354 [0x10000000000000001n, 0x8000000000000001n, 0x80000000000000018000000000000001n], 1355 [-0x10000000000000001n, -0x8000000000000001n, 0x80000000000000018000000000000001n], 1356 [-0x10000000000000000n, -0x8000000000000001n, 0x80000000000000010000000000000000n], 1357 [-0xffffffffffffffffn, -0x8000000000000001n, 0x80000000000000007fffffffffffffffn], 1358 [-0xfffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffffffffffffffffffen], 1359 [-0x8000000000000001n, -0x8000000000000001n, 0x40000000000000010000000000000001n], 1360 [-0x8000000000000000n, -0x8000000000000001n, 0x40000000000000008000000000000000n], 1361 [-0x7fffffffffffffffn, -0x8000000000000001n, 0x3fffffffffffffffffffffffffffffffn], 1362 [-0x7ffffffffffffffen, -0x8000000000000001n, 0x3fffffffffffffff7ffffffffffffffen], 1363 [0xfffffffffffffffen, -0x8000000000000001n, -0x7ffffffffffffffffffffffffffffffen], 1364 [0xffffffffffffffffn, -0x8000000000000001n, -0x80000000000000007fffffffffffffffn], 1365 [0x10000000000000000n, -0x8000000000000001n, -0x80000000000000010000000000000000n], 1366 [0x10000000000000001n, -0x8000000000000001n, -0x80000000000000018000000000000001n], 1367 [-0x10000000000000001n, -0x8000000000000000n, 0x80000000000000008000000000000000n], 1368 [-0x10000000000000000n, -0x8000000000000000n, 0x80000000000000000000000000000000n], 1369 [-0xffffffffffffffffn, -0x8000000000000000n, 0x7fffffffffffffff8000000000000000n], 1370 [-0xfffffffffffffffen, -0x8000000000000000n, 0x7fffffffffffffff0000000000000000n], 1371 [-0x8000000000000000n, -0x8000000000000000n, 0x40000000000000000000000000000000n], 1372 [-0x7fffffffffffffffn, -0x8000000000000000n, 0x3fffffffffffffff8000000000000000n], 1373 [-0x7ffffffffffffffen, -0x8000000000000000n, 0x3fffffffffffffff0000000000000000n], 1374 [0xfffffffffffffffen, -0x8000000000000000n, -0x7fffffffffffffff0000000000000000n], 1375 [0xffffffffffffffffn, -0x8000000000000000n, -0x7fffffffffffffff8000000000000000n], 1376 [0x10000000000000000n, -0x8000000000000000n, -0x80000000000000000000000000000000n], 1377 [0x10000000000000001n, -0x8000000000000000n, -0x80000000000000008000000000000000n], 1378 [-0x10000000000000001n, -0x7fffffffffffffffn, 0x7fffffffffffffff7fffffffffffffffn], 1379 [-0x10000000000000000n, -0x7fffffffffffffffn, 0x7fffffffffffffff0000000000000000n], 1380 [-0xffffffffffffffffn, -0x7fffffffffffffffn, 0x7ffffffffffffffe8000000000000001n], 1381 [-0xfffffffffffffffen, -0x7fffffffffffffffn, 0x7ffffffffffffffe0000000000000002n], 1382 [-0x7fffffffffffffffn, -0x7fffffffffffffffn, 0x3fffffffffffffff0000000000000001n], 1383 [-0x7ffffffffffffffen, -0x7fffffffffffffffn, 0x3ffffffffffffffe8000000000000002n], 1384 [0xfffffffffffffffen, -0x7fffffffffffffffn, -0x7ffffffffffffffe0000000000000002n], 1385 [0xffffffffffffffffn, -0x7fffffffffffffffn, -0x7ffffffffffffffe8000000000000001n], 1386 [0x10000000000000000n, -0x7fffffffffffffffn, -0x7fffffffffffffff0000000000000000n], 1387 [0x10000000000000001n, -0x7fffffffffffffffn, -0x7fffffffffffffff7fffffffffffffffn], 1388 [-0x10000000000000001n, -0x7ffffffffffffffen, 0x7ffffffffffffffe7ffffffffffffffen], 1389 [-0x10000000000000000n, -0x7ffffffffffffffen, 0x7ffffffffffffffe0000000000000000n], 1390 [-0xffffffffffffffffn, -0x7ffffffffffffffen, 0x7ffffffffffffffd8000000000000002n], 1391 [-0xfffffffffffffffen, -0x7ffffffffffffffen, 0x7ffffffffffffffd0000000000000004n], 1392 [-0x7ffffffffffffffen, -0x7ffffffffffffffen, 0x3ffffffffffffffe0000000000000004n], 1393 [0xfffffffffffffffen, -0x7ffffffffffffffen, -0x7ffffffffffffffd0000000000000004n], 1394 [0xffffffffffffffffn, -0x7ffffffffffffffen, -0x7ffffffffffffffd8000000000000002n], 1395 [0x10000000000000000n, -0x7ffffffffffffffen, -0x7ffffffffffffffe0000000000000000n], 1396 [0x10000000000000001n, -0x7ffffffffffffffen, -0x7ffffffffffffffe7ffffffffffffffen], 1397 [-0x10000000000000001n, 0xfffffffffffffffen, -0xfffffffffffffffefffffffffffffffen], 1398 [-0x10000000000000000n, 0xfffffffffffffffen, -0xfffffffffffffffe0000000000000000n], 1399 [-0xffffffffffffffffn, 0xfffffffffffffffen, -0xfffffffffffffffd0000000000000002n], 1400 [-0xfffffffffffffffen, 0xfffffffffffffffen, -0xfffffffffffffffc0000000000000004n], 1401 [0xfffffffffffffffen, 0xfffffffffffffffen, 0xfffffffffffffffc0000000000000004n], 1402 [0xffffffffffffffffn, 0xfffffffffffffffen, 0xfffffffffffffffd0000000000000002n], 1403 [0x10000000000000000n, 0xfffffffffffffffen, 0xfffffffffffffffe0000000000000000n], 1404 [0x10000000000000001n, 0xfffffffffffffffen, 0xfffffffffffffffefffffffffffffffen], 1405 [-0x10000000000000001n, 0xffffffffffffffffn, -0xffffffffffffffffffffffffffffffffn], 1406 [-0x10000000000000000n, 0xffffffffffffffffn, -0xffffffffffffffff0000000000000000n], 1407 [-0xffffffffffffffffn, 0xffffffffffffffffn, -0xfffffffffffffffe0000000000000001n], 1408 [-0xfffffffffffffffen, 0xffffffffffffffffn, -0xfffffffffffffffd0000000000000002n], 1409 [0xffffffffffffffffn, 0xffffffffffffffffn, 0xfffffffffffffffe0000000000000001n], 1410 [0x10000000000000000n, 0xffffffffffffffffn, 0xffffffffffffffff0000000000000000n], 1411 [0x10000000000000001n, 0xffffffffffffffffn, 0xffffffffffffffffffffffffffffffffn], 1412 [-0x10000000000000001n, 0x10000000000000000n, -0x100000000000000010000000000000000n], 1413 [-0x10000000000000000n, 0x10000000000000000n, -0x100000000000000000000000000000000n], 1414 [-0xffffffffffffffffn, 0x10000000000000000n, -0xffffffffffffffff0000000000000000n], 1415 [-0xfffffffffffffffen, 0x10000000000000000n, -0xfffffffffffffffe0000000000000000n], 1416 [0x10000000000000000n, 0x10000000000000000n, 0x100000000000000000000000000000000n], 1417 [0x10000000000000001n, 0x10000000000000000n, 0x100000000000000010000000000000000n], 1418 [-0x10000000000000001n, 0x10000000000000001n, -0x100000000000000020000000000000001n], 1419 [-0x10000000000000000n, 0x10000000000000001n, -0x100000000000000010000000000000000n], 1420 [-0xffffffffffffffffn, 0x10000000000000001n, -0xffffffffffffffffffffffffffffffffn], 1421 [-0xfffffffffffffffen, 0x10000000000000001n, -0xfffffffffffffffefffffffffffffffen], 1422 [0x10000000000000001n, 0x10000000000000001n, 0x100000000000000020000000000000001n], 1423 [-0x10000000000000001n, -0x10000000000000001n, 0x100000000000000020000000000000001n], 1424 [-0x10000000000000000n, -0x10000000000000001n, 0x100000000000000010000000000000000n], 1425 [-0xffffffffffffffffn, -0x10000000000000001n, 0xffffffffffffffffffffffffffffffffn], 1426 [-0xfffffffffffffffen, -0x10000000000000001n, 0xfffffffffffffffefffffffffffffffen], 1427 [-0x10000000000000000n, -0x10000000000000000n, 0x100000000000000000000000000000000n], 1428 [-0xffffffffffffffffn, -0x10000000000000000n, 0xffffffffffffffff0000000000000000n], 1429 [-0xfffffffffffffffen, -0x10000000000000000n, 0xfffffffffffffffe0000000000000000n], 1430 [-0xffffffffffffffffn, -0xffffffffffffffffn, 0xfffffffffffffffe0000000000000001n], 1431 [-0xfffffffffffffffen, -0xffffffffffffffffn, 0xfffffffffffffffd0000000000000002n], 1432 [-0xfffffffffffffffen, -0xfffffffffffffffen, 0xfffffffffffffffc0000000000000004n], 1433 ]; 1434 1435 // Cases not covered above. 1436 tests.push( 1437 // Int32 overflow: 1438 // 1439 // Math.floor(2 ** (Math.log2(2147483648) / 2)) 1440 // = Math.floor(2 ** 15.5) 1441 // = 46340 1442 // 1443 // Math.ceil(2 ** (Math.log2(2147483648) / 2)) 1444 // = Math.ceil(2 ** 15.5) 1445 // = 46341 1446 [46340n, 46340n, 2147395600n], 1447 [46341n, 46341n, 2147488281n], 1448 [46340n, -46340n, -2147395600n], 1449 [46341n, -46341n, -2147488281n], 1450 [-46340n, -46340n, 2147395600n], 1451 [-46341n, -46341n, 2147488281n], 1452 1453 // Int64 overflow 1454 [3037000499n, 3037000499n, 9223372030926249001n], 1455 [3037000500n, 3037000500n, 9223372037000250000n], 1456 [3037000499n, -3037000499n, -9223372030926249001n], 1457 [3037000500n, -3037000500n, -9223372037000250000n], 1458 [-3037000499n, -3037000499n, 9223372030926249001n], 1459 [-3037000500n, -3037000500n, 9223372037000250000n], 1460 ); 1461 1462 function f(tests) { 1463 for (let test of tests) { 1464 let lhs = test[0], rhs = test[1], expected = test[2]; 1465 1466 assertEq(lhs * rhs, expected); 1467 assertEq(rhs * lhs, expected); 1468 } 1469 } 1470 1471 for (let i = 0; i < 10; ++i) { 1472 f(tests); 1473 }