bigint-and.js (34442B)
1 const tests = [ 2 [-0x10000000000000001n, -2n, -0x10000000000000002n], 3 [-0x10000000000000000n, -2n, -0x10000000000000000n], 4 [-0xffffffffffffffffn, -2n, -0x10000000000000000n], 5 [-0xfffffffffffffffen, -2n, -0xfffffffffffffffen], 6 [-0x8000000000000001n, -2n, -0x8000000000000002n], 7 [-0x8000000000000000n, -2n, -0x8000000000000000n], 8 [-0x7fffffffffffffffn, -2n, -0x8000000000000000n], 9 [-0x7ffffffffffffffen, -2n, -0x7ffffffffffffffen], 10 [-0x100000001n, -2n, -0x100000002n], 11 [-0x100000000n, -2n, -0x100000000n], 12 [-0xffffffffn, -2n, -0x100000000n], 13 [-0xfffffffen, -2n, -0xfffffffen], 14 [-0x80000001n, -2n, -0x80000002n], 15 [-0x80000000n, -2n, -0x80000000n], 16 [-0x7fffffffn, -2n, -0x80000000n], 17 [-0x7ffffffen, -2n, -0x7ffffffen], 18 [-2n, -2n, -2n], 19 [-1n, -2n, -2n], 20 [0n, -2n, 0n], 21 [1n, -2n, 0n], 22 [2n, -2n, 2n], 23 [0x7ffffffen, -2n, 0x7ffffffen], 24 [0x7fffffffn, -2n, 0x7ffffffen], 25 [0x80000000n, -2n, 0x80000000n], 26 [0x80000001n, -2n, 0x80000000n], 27 [0xfffffffen, -2n, 0xfffffffen], 28 [0xffffffffn, -2n, 0xfffffffen], 29 [0x100000000n, -2n, 0x100000000n], 30 [0x100000001n, -2n, 0x100000000n], 31 [0x7ffffffffffffffen, -2n, 0x7ffffffffffffffen], 32 [0x7fffffffffffffffn, -2n, 0x7ffffffffffffffen], 33 [0x8000000000000000n, -2n, 0x8000000000000000n], 34 [0x8000000000000001n, -2n, 0x8000000000000000n], 35 [0xfffffffffffffffen, -2n, 0xfffffffffffffffen], 36 [0xffffffffffffffffn, -2n, 0xfffffffffffffffen], 37 [0x10000000000000000n, -2n, 0x10000000000000000n], 38 [0x10000000000000001n, -2n, 0x10000000000000000n], 39 [-0x10000000000000001n, -1n, -0x10000000000000001n], 40 [-0x10000000000000000n, -1n, -0x10000000000000000n], 41 [-0xffffffffffffffffn, -1n, -0xffffffffffffffffn], 42 [-0xfffffffffffffffen, -1n, -0xfffffffffffffffen], 43 [-0x8000000000000001n, -1n, -0x8000000000000001n], 44 [-0x8000000000000000n, -1n, -0x8000000000000000n], 45 [-0x7fffffffffffffffn, -1n, -0x7fffffffffffffffn], 46 [-0x7ffffffffffffffen, -1n, -0x7ffffffffffffffen], 47 [-0x100000001n, -1n, -0x100000001n], 48 [-0x100000000n, -1n, -0x100000000n], 49 [-0xffffffffn, -1n, -0xffffffffn], 50 [-0xfffffffen, -1n, -0xfffffffen], 51 [-0x80000001n, -1n, -0x80000001n], 52 [-0x80000000n, -1n, -0x80000000n], 53 [-0x7fffffffn, -1n, -0x7fffffffn], 54 [-0x7ffffffen, -1n, -0x7ffffffen], 55 [-1n, -1n, -1n], 56 [0n, -1n, 0n], 57 [1n, -1n, 1n], 58 [2n, -1n, 2n], 59 [0x7ffffffen, -1n, 0x7ffffffen], 60 [0x7fffffffn, -1n, 0x7fffffffn], 61 [0x80000000n, -1n, 0x80000000n], 62 [0x80000001n, -1n, 0x80000001n], 63 [0xfffffffen, -1n, 0xfffffffen], 64 [0xffffffffn, -1n, 0xffffffffn], 65 [0x100000000n, -1n, 0x100000000n], 66 [0x100000001n, -1n, 0x100000001n], 67 [0x7ffffffffffffffen, -1n, 0x7ffffffffffffffen], 68 [0x7fffffffffffffffn, -1n, 0x7fffffffffffffffn], 69 [0x8000000000000000n, -1n, 0x8000000000000000n], 70 [0x8000000000000001n, -1n, 0x8000000000000001n], 71 [0xfffffffffffffffen, -1n, 0xfffffffffffffffen], 72 [0xffffffffffffffffn, -1n, 0xffffffffffffffffn], 73 [0x10000000000000000n, -1n, 0x10000000000000000n], 74 [0x10000000000000001n, -1n, 0x10000000000000001n], 75 [-0x10000000000000001n, 0n, 0n], 76 [-0x10000000000000000n, 0n, 0n], 77 [-0xffffffffffffffffn, 0n, 0n], 78 [-0xfffffffffffffffen, 0n, 0n], 79 [-0x8000000000000001n, 0n, 0n], 80 [-0x8000000000000000n, 0n, 0n], 81 [-0x7fffffffffffffffn, 0n, 0n], 82 [-0x7ffffffffffffffen, 0n, 0n], 83 [-0x100000001n, 0n, 0n], 84 [-0x100000000n, 0n, 0n], 85 [-0xffffffffn, 0n, 0n], 86 [-0xfffffffen, 0n, 0n], 87 [-0x80000001n, 0n, 0n], 88 [-0x80000000n, 0n, 0n], 89 [-0x7fffffffn, 0n, 0n], 90 [-0x7ffffffen, 0n, 0n], 91 [0n, 0n, 0n], 92 [1n, 0n, 0n], 93 [2n, 0n, 0n], 94 [0x7ffffffen, 0n, 0n], 95 [0x7fffffffn, 0n, 0n], 96 [0x80000000n, 0n, 0n], 97 [0x80000001n, 0n, 0n], 98 [0xfffffffen, 0n, 0n], 99 [0xffffffffn, 0n, 0n], 100 [0x100000000n, 0n, 0n], 101 [0x100000001n, 0n, 0n], 102 [0x7ffffffffffffffen, 0n, 0n], 103 [0x7fffffffffffffffn, 0n, 0n], 104 [0x8000000000000000n, 0n, 0n], 105 [0x8000000000000001n, 0n, 0n], 106 [0xfffffffffffffffen, 0n, 0n], 107 [0xffffffffffffffffn, 0n, 0n], 108 [0x10000000000000000n, 0n, 0n], 109 [0x10000000000000001n, 0n, 0n], 110 [-0x10000000000000001n, 1n, 1n], 111 [-0x10000000000000000n, 1n, 0n], 112 [-0xffffffffffffffffn, 1n, 1n], 113 [-0xfffffffffffffffen, 1n, 0n], 114 [-0x8000000000000001n, 1n, 1n], 115 [-0x8000000000000000n, 1n, 0n], 116 [-0x7fffffffffffffffn, 1n, 1n], 117 [-0x7ffffffffffffffen, 1n, 0n], 118 [-0x100000001n, 1n, 1n], 119 [-0x100000000n, 1n, 0n], 120 [-0xffffffffn, 1n, 1n], 121 [-0xfffffffen, 1n, 0n], 122 [-0x80000001n, 1n, 1n], 123 [-0x80000000n, 1n, 0n], 124 [-0x7fffffffn, 1n, 1n], 125 [-0x7ffffffen, 1n, 0n], 126 [1n, 1n, 1n], 127 [2n, 1n, 0n], 128 [0x7ffffffen, 1n, 0n], 129 [0x7fffffffn, 1n, 1n], 130 [0x80000000n, 1n, 0n], 131 [0x80000001n, 1n, 1n], 132 [0xfffffffen, 1n, 0n], 133 [0xffffffffn, 1n, 1n], 134 [0x100000000n, 1n, 0n], 135 [0x100000001n, 1n, 1n], 136 [0x7ffffffffffffffen, 1n, 0n], 137 [0x7fffffffffffffffn, 1n, 1n], 138 [0x8000000000000000n, 1n, 0n], 139 [0x8000000000000001n, 1n, 1n], 140 [0xfffffffffffffffen, 1n, 0n], 141 [0xffffffffffffffffn, 1n, 1n], 142 [0x10000000000000000n, 1n, 0n], 143 [0x10000000000000001n, 1n, 1n], 144 [-0x10000000000000001n, 2n, 2n], 145 [-0x10000000000000000n, 2n, 0n], 146 [-0xffffffffffffffffn, 2n, 0n], 147 [-0xfffffffffffffffen, 2n, 2n], 148 [-0x8000000000000001n, 2n, 2n], 149 [-0x8000000000000000n, 2n, 0n], 150 [-0x7fffffffffffffffn, 2n, 0n], 151 [-0x7ffffffffffffffen, 2n, 2n], 152 [-0x100000001n, 2n, 2n], 153 [-0x100000000n, 2n, 0n], 154 [-0xffffffffn, 2n, 0n], 155 [-0xfffffffen, 2n, 2n], 156 [-0x80000001n, 2n, 2n], 157 [-0x80000000n, 2n, 0n], 158 [-0x7fffffffn, 2n, 0n], 159 [-0x7ffffffen, 2n, 2n], 160 [2n, 2n, 2n], 161 [0x7ffffffen, 2n, 2n], 162 [0x7fffffffn, 2n, 2n], 163 [0x80000000n, 2n, 0n], 164 [0x80000001n, 2n, 0n], 165 [0xfffffffen, 2n, 2n], 166 [0xffffffffn, 2n, 2n], 167 [0x100000000n, 2n, 0n], 168 [0x100000001n, 2n, 0n], 169 [0x7ffffffffffffffen, 2n, 2n], 170 [0x7fffffffffffffffn, 2n, 2n], 171 [0x8000000000000000n, 2n, 0n], 172 [0x8000000000000001n, 2n, 0n], 173 [0xfffffffffffffffen, 2n, 2n], 174 [0xffffffffffffffffn, 2n, 2n], 175 [0x10000000000000000n, 2n, 0n], 176 [0x10000000000000001n, 2n, 0n], 177 [-0x10000000000000001n, 0x7ffffffen, 0x7ffffffen], 178 [-0x10000000000000000n, 0x7ffffffen, 0n], 179 [-0xffffffffffffffffn, 0x7ffffffen, 0n], 180 [-0xfffffffffffffffen, 0x7ffffffen, 2n], 181 [-0x8000000000000001n, 0x7ffffffen, 0x7ffffffen], 182 [-0x8000000000000000n, 0x7ffffffen, 0n], 183 [-0x7fffffffffffffffn, 0x7ffffffen, 0n], 184 [-0x7ffffffffffffffen, 0x7ffffffen, 2n], 185 [-0x100000001n, 0x7ffffffen, 0x7ffffffen], 186 [-0x100000000n, 0x7ffffffen, 0n], 187 [-0xffffffffn, 0x7ffffffen, 0n], 188 [-0xfffffffen, 0x7ffffffen, 2n], 189 [-0x80000001n, 0x7ffffffen, 0x7ffffffen], 190 [-0x80000000n, 0x7ffffffen, 0n], 191 [-0x7fffffffn, 0x7ffffffen, 0n], 192 [-0x7ffffffen, 0x7ffffffen, 2n], 193 [0x7ffffffen, 0x7ffffffen, 0x7ffffffen], 194 [0x7fffffffn, 0x7ffffffen, 0x7ffffffen], 195 [0x80000000n, 0x7ffffffen, 0n], 196 [0x80000001n, 0x7ffffffen, 0n], 197 [0xfffffffen, 0x7ffffffen, 0x7ffffffen], 198 [0xffffffffn, 0x7ffffffen, 0x7ffffffen], 199 [0x100000000n, 0x7ffffffen, 0n], 200 [0x100000001n, 0x7ffffffen, 0n], 201 [0x7ffffffffffffffen, 0x7ffffffen, 0x7ffffffen], 202 [0x7fffffffffffffffn, 0x7ffffffen, 0x7ffffffen], 203 [0x8000000000000000n, 0x7ffffffen, 0n], 204 [0x8000000000000001n, 0x7ffffffen, 0n], 205 [0xfffffffffffffffen, 0x7ffffffen, 0x7ffffffen], 206 [0xffffffffffffffffn, 0x7ffffffen, 0x7ffffffen], 207 [0x10000000000000000n, 0x7ffffffen, 0n], 208 [0x10000000000000001n, 0x7ffffffen, 0n], 209 [-0x10000000000000001n, 0x7fffffffn, 0x7fffffffn], 210 [-0x10000000000000000n, 0x7fffffffn, 0n], 211 [-0xffffffffffffffffn, 0x7fffffffn, 1n], 212 [-0xfffffffffffffffen, 0x7fffffffn, 2n], 213 [-0x8000000000000001n, 0x7fffffffn, 0x7fffffffn], 214 [-0x8000000000000000n, 0x7fffffffn, 0n], 215 [-0x7fffffffffffffffn, 0x7fffffffn, 1n], 216 [-0x7ffffffffffffffen, 0x7fffffffn, 2n], 217 [-0x100000001n, 0x7fffffffn, 0x7fffffffn], 218 [-0x100000000n, 0x7fffffffn, 0n], 219 [-0xffffffffn, 0x7fffffffn, 1n], 220 [-0xfffffffen, 0x7fffffffn, 2n], 221 [-0x80000001n, 0x7fffffffn, 0x7fffffffn], 222 [-0x80000000n, 0x7fffffffn, 0n], 223 [-0x7fffffffn, 0x7fffffffn, 1n], 224 [-0x7ffffffen, 0x7fffffffn, 2n], 225 [0x7fffffffn, 0x7fffffffn, 0x7fffffffn], 226 [0x80000000n, 0x7fffffffn, 0n], 227 [0x80000001n, 0x7fffffffn, 1n], 228 [0xfffffffen, 0x7fffffffn, 0x7ffffffen], 229 [0xffffffffn, 0x7fffffffn, 0x7fffffffn], 230 [0x100000000n, 0x7fffffffn, 0n], 231 [0x100000001n, 0x7fffffffn, 1n], 232 [0x7ffffffffffffffen, 0x7fffffffn, 0x7ffffffen], 233 [0x7fffffffffffffffn, 0x7fffffffn, 0x7fffffffn], 234 [0x8000000000000000n, 0x7fffffffn, 0n], 235 [0x8000000000000001n, 0x7fffffffn, 1n], 236 [0xfffffffffffffffen, 0x7fffffffn, 0x7ffffffen], 237 [0xffffffffffffffffn, 0x7fffffffn, 0x7fffffffn], 238 [0x10000000000000000n, 0x7fffffffn, 0n], 239 [0x10000000000000001n, 0x7fffffffn, 1n], 240 [-0x10000000000000001n, 0x80000000n, 0x80000000n], 241 [-0x10000000000000000n, 0x80000000n, 0n], 242 [-0xffffffffffffffffn, 0x80000000n, 0n], 243 [-0xfffffffffffffffen, 0x80000000n, 0n], 244 [-0x8000000000000001n, 0x80000000n, 0x80000000n], 245 [-0x8000000000000000n, 0x80000000n, 0n], 246 [-0x7fffffffffffffffn, 0x80000000n, 0n], 247 [-0x7ffffffffffffffen, 0x80000000n, 0n], 248 [-0x100000001n, 0x80000000n, 0x80000000n], 249 [-0x100000000n, 0x80000000n, 0n], 250 [-0xffffffffn, 0x80000000n, 0n], 251 [-0xfffffffen, 0x80000000n, 0n], 252 [-0x80000001n, 0x80000000n, 0n], 253 [-0x80000000n, 0x80000000n, 0x80000000n], 254 [-0x7fffffffn, 0x80000000n, 0x80000000n], 255 [-0x7ffffffen, 0x80000000n, 0x80000000n], 256 [0x80000000n, 0x80000000n, 0x80000000n], 257 [0x80000001n, 0x80000000n, 0x80000000n], 258 [0xfffffffen, 0x80000000n, 0x80000000n], 259 [0xffffffffn, 0x80000000n, 0x80000000n], 260 [0x100000000n, 0x80000000n, 0n], 261 [0x100000001n, 0x80000000n, 0n], 262 [0x7ffffffffffffffen, 0x80000000n, 0x80000000n], 263 [0x7fffffffffffffffn, 0x80000000n, 0x80000000n], 264 [0x8000000000000000n, 0x80000000n, 0n], 265 [0x8000000000000001n, 0x80000000n, 0n], 266 [0xfffffffffffffffen, 0x80000000n, 0x80000000n], 267 [0xffffffffffffffffn, 0x80000000n, 0x80000000n], 268 [0x10000000000000000n, 0x80000000n, 0n], 269 [0x10000000000000001n, 0x80000000n, 0n], 270 [-0x10000000000000001n, 0x80000001n, 0x80000001n], 271 [-0x10000000000000000n, 0x80000001n, 0n], 272 [-0xffffffffffffffffn, 0x80000001n, 1n], 273 [-0xfffffffffffffffen, 0x80000001n, 0n], 274 [-0x8000000000000001n, 0x80000001n, 0x80000001n], 275 [-0x8000000000000000n, 0x80000001n, 0n], 276 [-0x7fffffffffffffffn, 0x80000001n, 1n], 277 [-0x7ffffffffffffffen, 0x80000001n, 0n], 278 [-0x100000001n, 0x80000001n, 0x80000001n], 279 [-0x100000000n, 0x80000001n, 0n], 280 [-0xffffffffn, 0x80000001n, 1n], 281 [-0xfffffffen, 0x80000001n, 0n], 282 [-0x80000001n, 0x80000001n, 1n], 283 [-0x80000000n, 0x80000001n, 0x80000000n], 284 [-0x7fffffffn, 0x80000001n, 0x80000001n], 285 [-0x7ffffffen, 0x80000001n, 0x80000000n], 286 [0x80000001n, 0x80000001n, 0x80000001n], 287 [0xfffffffen, 0x80000001n, 0x80000000n], 288 [0xffffffffn, 0x80000001n, 0x80000001n], 289 [0x100000000n, 0x80000001n, 0n], 290 [0x100000001n, 0x80000001n, 1n], 291 [0x7ffffffffffffffen, 0x80000001n, 0x80000000n], 292 [0x7fffffffffffffffn, 0x80000001n, 0x80000001n], 293 [0x8000000000000000n, 0x80000001n, 0n], 294 [0x8000000000000001n, 0x80000001n, 1n], 295 [0xfffffffffffffffen, 0x80000001n, 0x80000000n], 296 [0xffffffffffffffffn, 0x80000001n, 0x80000001n], 297 [0x10000000000000000n, 0x80000001n, 0n], 298 [0x10000000000000001n, 0x80000001n, 1n], 299 [-0x10000000000000001n, -0x80000001n, -0x10000000080000001n], 300 [-0x10000000000000000n, -0x80000001n, -0x10000000000000000n], 301 [-0xffffffffffffffffn, -0x80000001n, -0xffffffffffffffffn], 302 [-0xfffffffffffffffen, -0x80000001n, -0xfffffffffffffffen], 303 [-0x8000000000000001n, -0x80000001n, -0x8000000080000001n], 304 [-0x8000000000000000n, -0x80000001n, -0x8000000000000000n], 305 [-0x7fffffffffffffffn, -0x80000001n, -0x7fffffffffffffffn], 306 [-0x7ffffffffffffffen, -0x80000001n, -0x7ffffffffffffffen], 307 [-0x100000001n, -0x80000001n, -0x180000001n], 308 [-0x100000000n, -0x80000001n, -0x100000000n], 309 [-0xffffffffn, -0x80000001n, -0xffffffffn], 310 [-0xfffffffen, -0x80000001n, -0xfffffffen], 311 [-0x80000001n, -0x80000001n, -0x80000001n], 312 [-0x80000000n, -0x80000001n, -0x100000000n], 313 [-0x7fffffffn, -0x80000001n, -0xffffffffn], 314 [-0x7ffffffen, -0x80000001n, -0xfffffffen], 315 [0xfffffffen, -0x80000001n, 0x7ffffffen], 316 [0xffffffffn, -0x80000001n, 0x7fffffffn], 317 [0x100000000n, -0x80000001n, 0x100000000n], 318 [0x100000001n, -0x80000001n, 0x100000001n], 319 [0x7ffffffffffffffen, -0x80000001n, 0x7fffffff7ffffffen], 320 [0x7fffffffffffffffn, -0x80000001n, 0x7fffffff7fffffffn], 321 [0x8000000000000000n, -0x80000001n, 0x8000000000000000n], 322 [0x8000000000000001n, -0x80000001n, 0x8000000000000001n], 323 [0xfffffffffffffffen, -0x80000001n, 0xffffffff7ffffffen], 324 [0xffffffffffffffffn, -0x80000001n, 0xffffffff7fffffffn], 325 [0x10000000000000000n, -0x80000001n, 0x10000000000000000n], 326 [0x10000000000000001n, -0x80000001n, 0x10000000000000001n], 327 [-0x10000000000000001n, -0x80000000n, -0x10000000080000000n], 328 [-0x10000000000000000n, -0x80000000n, -0x10000000000000000n], 329 [-0xffffffffffffffffn, -0x80000000n, -0x10000000000000000n], 330 [-0xfffffffffffffffen, -0x80000000n, -0x10000000000000000n], 331 [-0x8000000000000001n, -0x80000000n, -0x8000000080000000n], 332 [-0x8000000000000000n, -0x80000000n, -0x8000000000000000n], 333 [-0x7fffffffffffffffn, -0x80000000n, -0x8000000000000000n], 334 [-0x7ffffffffffffffen, -0x80000000n, -0x8000000000000000n], 335 [-0x100000001n, -0x80000000n, -0x180000000n], 336 [-0x100000000n, -0x80000000n, -0x100000000n], 337 [-0xffffffffn, -0x80000000n, -0x100000000n], 338 [-0xfffffffen, -0x80000000n, -0x100000000n], 339 [-0x80000000n, -0x80000000n, -0x80000000n], 340 [-0x7fffffffn, -0x80000000n, -0x80000000n], 341 [-0x7ffffffen, -0x80000000n, -0x80000000n], 342 [0xfffffffen, -0x80000000n, 0x80000000n], 343 [0xffffffffn, -0x80000000n, 0x80000000n], 344 [0x100000000n, -0x80000000n, 0x100000000n], 345 [0x100000001n, -0x80000000n, 0x100000000n], 346 [0x7ffffffffffffffen, -0x80000000n, 0x7fffffff80000000n], 347 [0x7fffffffffffffffn, -0x80000000n, 0x7fffffff80000000n], 348 [0x8000000000000000n, -0x80000000n, 0x8000000000000000n], 349 [0x8000000000000001n, -0x80000000n, 0x8000000000000000n], 350 [0xfffffffffffffffen, -0x80000000n, 0xffffffff80000000n], 351 [0xffffffffffffffffn, -0x80000000n, 0xffffffff80000000n], 352 [0x10000000000000000n, -0x80000000n, 0x10000000000000000n], 353 [0x10000000000000001n, -0x80000000n, 0x10000000000000000n], 354 [-0x10000000000000001n, -0x7fffffffn, -0x1000000007fffffffn], 355 [-0x10000000000000000n, -0x7fffffffn, -0x10000000000000000n], 356 [-0xffffffffffffffffn, -0x7fffffffn, -0xffffffffffffffffn], 357 [-0xfffffffffffffffen, -0x7fffffffn, -0x10000000000000000n], 358 [-0x8000000000000001n, -0x7fffffffn, -0x800000007fffffffn], 359 [-0x8000000000000000n, -0x7fffffffn, -0x8000000000000000n], 360 [-0x7fffffffffffffffn, -0x7fffffffn, -0x7fffffffffffffffn], 361 [-0x7ffffffffffffffen, -0x7fffffffn, -0x8000000000000000n], 362 [-0x100000001n, -0x7fffffffn, -0x17fffffffn], 363 [-0x100000000n, -0x7fffffffn, -0x100000000n], 364 [-0xffffffffn, -0x7fffffffn, -0xffffffffn], 365 [-0xfffffffen, -0x7fffffffn, -0x100000000n], 366 [-0x7fffffffn, -0x7fffffffn, -0x7fffffffn], 367 [-0x7ffffffen, -0x7fffffffn, -0x80000000n], 368 [0xfffffffen, -0x7fffffffn, 0x80000000n], 369 [0xffffffffn, -0x7fffffffn, 0x80000001n], 370 [0x100000000n, -0x7fffffffn, 0x100000000n], 371 [0x100000001n, -0x7fffffffn, 0x100000001n], 372 [0x7ffffffffffffffen, -0x7fffffffn, 0x7fffffff80000000n], 373 [0x7fffffffffffffffn, -0x7fffffffn, 0x7fffffff80000001n], 374 [0x8000000000000000n, -0x7fffffffn, 0x8000000000000000n], 375 [0x8000000000000001n, -0x7fffffffn, 0x8000000000000001n], 376 [0xfffffffffffffffen, -0x7fffffffn, 0xffffffff80000000n], 377 [0xffffffffffffffffn, -0x7fffffffn, 0xffffffff80000001n], 378 [0x10000000000000000n, -0x7fffffffn, 0x10000000000000000n], 379 [0x10000000000000001n, -0x7fffffffn, 0x10000000000000001n], 380 [-0x10000000000000001n, -0x7ffffffen, -0x1000000007ffffffen], 381 [-0x10000000000000000n, -0x7ffffffen, -0x10000000000000000n], 382 [-0xffffffffffffffffn, -0x7ffffffen, -0x10000000000000000n], 383 [-0xfffffffffffffffen, -0x7ffffffen, -0xfffffffffffffffen], 384 [-0x8000000000000001n, -0x7ffffffen, -0x800000007ffffffen], 385 [-0x8000000000000000n, -0x7ffffffen, -0x8000000000000000n], 386 [-0x7fffffffffffffffn, -0x7ffffffen, -0x8000000000000000n], 387 [-0x7ffffffffffffffen, -0x7ffffffen, -0x7ffffffffffffffen], 388 [-0x100000001n, -0x7ffffffen, -0x17ffffffen], 389 [-0x100000000n, -0x7ffffffen, -0x100000000n], 390 [-0xffffffffn, -0x7ffffffen, -0x100000000n], 391 [-0xfffffffen, -0x7ffffffen, -0xfffffffen], 392 [-0x7ffffffen, -0x7ffffffen, -0x7ffffffen], 393 [0xfffffffen, -0x7ffffffen, 0x80000002n], 394 [0xffffffffn, -0x7ffffffen, 0x80000002n], 395 [0x100000000n, -0x7ffffffen, 0x100000000n], 396 [0x100000001n, -0x7ffffffen, 0x100000000n], 397 [0x7ffffffffffffffen, -0x7ffffffen, 0x7fffffff80000002n], 398 [0x7fffffffffffffffn, -0x7ffffffen, 0x7fffffff80000002n], 399 [0x8000000000000000n, -0x7ffffffen, 0x8000000000000000n], 400 [0x8000000000000001n, -0x7ffffffen, 0x8000000000000000n], 401 [0xfffffffffffffffen, -0x7ffffffen, 0xffffffff80000002n], 402 [0xffffffffffffffffn, -0x7ffffffen, 0xffffffff80000002n], 403 [0x10000000000000000n, -0x7ffffffen, 0x10000000000000000n], 404 [0x10000000000000001n, -0x7ffffffen, 0x10000000000000000n], 405 [-0x10000000000000001n, 0xfffffffen, 0xfffffffen], 406 [-0x10000000000000000n, 0xfffffffen, 0n], 407 [-0xffffffffffffffffn, 0xfffffffen, 0n], 408 [-0xfffffffffffffffen, 0xfffffffen, 2n], 409 [-0x8000000000000001n, 0xfffffffen, 0xfffffffen], 410 [-0x8000000000000000n, 0xfffffffen, 0n], 411 [-0x7fffffffffffffffn, 0xfffffffen, 0n], 412 [-0x7ffffffffffffffen, 0xfffffffen, 2n], 413 [-0x100000001n, 0xfffffffen, 0xfffffffen], 414 [-0x100000000n, 0xfffffffen, 0n], 415 [-0xffffffffn, 0xfffffffen, 0n], 416 [-0xfffffffen, 0xfffffffen, 2n], 417 [0xfffffffen, 0xfffffffen, 0xfffffffen], 418 [0xffffffffn, 0xfffffffen, 0xfffffffen], 419 [0x100000000n, 0xfffffffen, 0n], 420 [0x100000001n, 0xfffffffen, 0n], 421 [0x7ffffffffffffffen, 0xfffffffen, 0xfffffffen], 422 [0x7fffffffffffffffn, 0xfffffffen, 0xfffffffen], 423 [0x8000000000000000n, 0xfffffffen, 0n], 424 [0x8000000000000001n, 0xfffffffen, 0n], 425 [0xfffffffffffffffen, 0xfffffffen, 0xfffffffen], 426 [0xffffffffffffffffn, 0xfffffffen, 0xfffffffen], 427 [0x10000000000000000n, 0xfffffffen, 0n], 428 [0x10000000000000001n, 0xfffffffen, 0n], 429 [-0x10000000000000001n, 0xffffffffn, 0xffffffffn], 430 [-0x10000000000000000n, 0xffffffffn, 0n], 431 [-0xffffffffffffffffn, 0xffffffffn, 1n], 432 [-0xfffffffffffffffen, 0xffffffffn, 2n], 433 [-0x8000000000000001n, 0xffffffffn, 0xffffffffn], 434 [-0x8000000000000000n, 0xffffffffn, 0n], 435 [-0x7fffffffffffffffn, 0xffffffffn, 1n], 436 [-0x7ffffffffffffffen, 0xffffffffn, 2n], 437 [-0x100000001n, 0xffffffffn, 0xffffffffn], 438 [-0x100000000n, 0xffffffffn, 0n], 439 [-0xffffffffn, 0xffffffffn, 1n], 440 [-0xfffffffen, 0xffffffffn, 2n], 441 [0xffffffffn, 0xffffffffn, 0xffffffffn], 442 [0x100000000n, 0xffffffffn, 0n], 443 [0x100000001n, 0xffffffffn, 1n], 444 [0x7ffffffffffffffen, 0xffffffffn, 0xfffffffen], 445 [0x7fffffffffffffffn, 0xffffffffn, 0xffffffffn], 446 [0x8000000000000000n, 0xffffffffn, 0n], 447 [0x8000000000000001n, 0xffffffffn, 1n], 448 [0xfffffffffffffffen, 0xffffffffn, 0xfffffffen], 449 [0xffffffffffffffffn, 0xffffffffn, 0xffffffffn], 450 [0x10000000000000000n, 0xffffffffn, 0n], 451 [0x10000000000000001n, 0xffffffffn, 1n], 452 [-0x10000000000000001n, 0x100000000n, 0x100000000n], 453 [-0x10000000000000000n, 0x100000000n, 0n], 454 [-0xffffffffffffffffn, 0x100000000n, 0n], 455 [-0xfffffffffffffffen, 0x100000000n, 0n], 456 [-0x8000000000000001n, 0x100000000n, 0x100000000n], 457 [-0x8000000000000000n, 0x100000000n, 0n], 458 [-0x7fffffffffffffffn, 0x100000000n, 0n], 459 [-0x7ffffffffffffffen, 0x100000000n, 0n], 460 [-0x100000001n, 0x100000000n, 0n], 461 [-0x100000000n, 0x100000000n, 0x100000000n], 462 [-0xffffffffn, 0x100000000n, 0x100000000n], 463 [-0xfffffffen, 0x100000000n, 0x100000000n], 464 [0x100000000n, 0x100000000n, 0x100000000n], 465 [0x100000001n, 0x100000000n, 0x100000000n], 466 [0x7ffffffffffffffen, 0x100000000n, 0x100000000n], 467 [0x7fffffffffffffffn, 0x100000000n, 0x100000000n], 468 [0x8000000000000000n, 0x100000000n, 0n], 469 [0x8000000000000001n, 0x100000000n, 0n], 470 [0xfffffffffffffffen, 0x100000000n, 0x100000000n], 471 [0xffffffffffffffffn, 0x100000000n, 0x100000000n], 472 [0x10000000000000000n, 0x100000000n, 0n], 473 [0x10000000000000001n, 0x100000000n, 0n], 474 [-0x10000000000000001n, 0x100000001n, 0x100000001n], 475 [-0x10000000000000000n, 0x100000001n, 0n], 476 [-0xffffffffffffffffn, 0x100000001n, 1n], 477 [-0xfffffffffffffffen, 0x100000001n, 0n], 478 [-0x8000000000000001n, 0x100000001n, 0x100000001n], 479 [-0x8000000000000000n, 0x100000001n, 0n], 480 [-0x7fffffffffffffffn, 0x100000001n, 1n], 481 [-0x7ffffffffffffffen, 0x100000001n, 0n], 482 [-0x100000001n, 0x100000001n, 1n], 483 [-0x100000000n, 0x100000001n, 0x100000000n], 484 [-0xffffffffn, 0x100000001n, 0x100000001n], 485 [-0xfffffffen, 0x100000001n, 0x100000000n], 486 [0x100000001n, 0x100000001n, 0x100000001n], 487 [0x7ffffffffffffffen, 0x100000001n, 0x100000000n], 488 [0x7fffffffffffffffn, 0x100000001n, 0x100000001n], 489 [0x8000000000000000n, 0x100000001n, 0n], 490 [0x8000000000000001n, 0x100000001n, 1n], 491 [0xfffffffffffffffen, 0x100000001n, 0x100000000n], 492 [0xffffffffffffffffn, 0x100000001n, 0x100000001n], 493 [0x10000000000000000n, 0x100000001n, 0n], 494 [0x10000000000000001n, 0x100000001n, 1n], 495 [-0x10000000000000001n, -0x100000001n, -0x10000000100000001n], 496 [-0x10000000000000000n, -0x100000001n, -0x10000000000000000n], 497 [-0xffffffffffffffffn, -0x100000001n, -0xffffffffffffffffn], 498 [-0xfffffffffffffffen, -0x100000001n, -0xfffffffffffffffen], 499 [-0x8000000000000001n, -0x100000001n, -0x8000000100000001n], 500 [-0x8000000000000000n, -0x100000001n, -0x8000000000000000n], 501 [-0x7fffffffffffffffn, -0x100000001n, -0x7fffffffffffffffn], 502 [-0x7ffffffffffffffen, -0x100000001n, -0x7ffffffffffffffen], 503 [-0x100000001n, -0x100000001n, -0x100000001n], 504 [-0x100000000n, -0x100000001n, -0x200000000n], 505 [-0xffffffffn, -0x100000001n, -0x1ffffffffn], 506 [-0xfffffffen, -0x100000001n, -0x1fffffffen], 507 [0x7ffffffffffffffen, -0x100000001n, 0x7ffffffefffffffen], 508 [0x7fffffffffffffffn, -0x100000001n, 0x7ffffffeffffffffn], 509 [0x8000000000000000n, -0x100000001n, 0x8000000000000000n], 510 [0x8000000000000001n, -0x100000001n, 0x8000000000000001n], 511 [0xfffffffffffffffen, -0x100000001n, 0xfffffffefffffffen], 512 [0xffffffffffffffffn, -0x100000001n, 0xfffffffeffffffffn], 513 [0x10000000000000000n, -0x100000001n, 0x10000000000000000n], 514 [0x10000000000000001n, -0x100000001n, 0x10000000000000001n], 515 [-0x10000000000000001n, -0x100000000n, -0x10000000100000000n], 516 [-0x10000000000000000n, -0x100000000n, -0x10000000000000000n], 517 [-0xffffffffffffffffn, -0x100000000n, -0x10000000000000000n], 518 [-0xfffffffffffffffen, -0x100000000n, -0x10000000000000000n], 519 [-0x8000000000000001n, -0x100000000n, -0x8000000100000000n], 520 [-0x8000000000000000n, -0x100000000n, -0x8000000000000000n], 521 [-0x7fffffffffffffffn, -0x100000000n, -0x8000000000000000n], 522 [-0x7ffffffffffffffen, -0x100000000n, -0x8000000000000000n], 523 [-0x100000000n, -0x100000000n, -0x100000000n], 524 [-0xffffffffn, -0x100000000n, -0x100000000n], 525 [-0xfffffffen, -0x100000000n, -0x100000000n], 526 [0x7ffffffffffffffen, -0x100000000n, 0x7fffffff00000000n], 527 [0x7fffffffffffffffn, -0x100000000n, 0x7fffffff00000000n], 528 [0x8000000000000000n, -0x100000000n, 0x8000000000000000n], 529 [0x8000000000000001n, -0x100000000n, 0x8000000000000000n], 530 [0xfffffffffffffffen, -0x100000000n, 0xffffffff00000000n], 531 [0xffffffffffffffffn, -0x100000000n, 0xffffffff00000000n], 532 [0x10000000000000000n, -0x100000000n, 0x10000000000000000n], 533 [0x10000000000000001n, -0x100000000n, 0x10000000000000000n], 534 [-0x10000000000000001n, -0xffffffffn, -0x100000000ffffffffn], 535 [-0x10000000000000000n, -0xffffffffn, -0x10000000000000000n], 536 [-0xffffffffffffffffn, -0xffffffffn, -0xffffffffffffffffn], 537 [-0xfffffffffffffffen, -0xffffffffn, -0x10000000000000000n], 538 [-0x8000000000000001n, -0xffffffffn, -0x80000000ffffffffn], 539 [-0x8000000000000000n, -0xffffffffn, -0x8000000000000000n], 540 [-0x7fffffffffffffffn, -0xffffffffn, -0x7fffffffffffffffn], 541 [-0x7ffffffffffffffen, -0xffffffffn, -0x8000000000000000n], 542 [-0xffffffffn, -0xffffffffn, -0xffffffffn], 543 [-0xfffffffen, -0xffffffffn, -0x100000000n], 544 [0x7ffffffffffffffen, -0xffffffffn, 0x7fffffff00000000n], 545 [0x7fffffffffffffffn, -0xffffffffn, 0x7fffffff00000001n], 546 [0x8000000000000000n, -0xffffffffn, 0x8000000000000000n], 547 [0x8000000000000001n, -0xffffffffn, 0x8000000000000001n], 548 [0xfffffffffffffffen, -0xffffffffn, 0xffffffff00000000n], 549 [0xffffffffffffffffn, -0xffffffffn, 0xffffffff00000001n], 550 [0x10000000000000000n, -0xffffffffn, 0x10000000000000000n], 551 [0x10000000000000001n, -0xffffffffn, 0x10000000000000001n], 552 [-0x10000000000000001n, -0xfffffffen, -0x100000000fffffffen], 553 [-0x10000000000000000n, -0xfffffffen, -0x10000000000000000n], 554 [-0xffffffffffffffffn, -0xfffffffen, -0x10000000000000000n], 555 [-0xfffffffffffffffen, -0xfffffffen, -0xfffffffffffffffen], 556 [-0x8000000000000001n, -0xfffffffen, -0x80000000fffffffen], 557 [-0x8000000000000000n, -0xfffffffen, -0x8000000000000000n], 558 [-0x7fffffffffffffffn, -0xfffffffen, -0x8000000000000000n], 559 [-0x7ffffffffffffffen, -0xfffffffen, -0x7ffffffffffffffen], 560 [-0xfffffffen, -0xfffffffen, -0xfffffffen], 561 [0x7ffffffffffffffen, -0xfffffffen, 0x7fffffff00000002n], 562 [0x7fffffffffffffffn, -0xfffffffen, 0x7fffffff00000002n], 563 [0x8000000000000000n, -0xfffffffen, 0x8000000000000000n], 564 [0x8000000000000001n, -0xfffffffen, 0x8000000000000000n], 565 [0xfffffffffffffffen, -0xfffffffen, 0xffffffff00000002n], 566 [0xffffffffffffffffn, -0xfffffffen, 0xffffffff00000002n], 567 [0x10000000000000000n, -0xfffffffen, 0x10000000000000000n], 568 [0x10000000000000001n, -0xfffffffen, 0x10000000000000000n], 569 [-0x10000000000000001n, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 570 [-0x10000000000000000n, 0x7ffffffffffffffen, 0n], 571 [-0xffffffffffffffffn, 0x7ffffffffffffffen, 0n], 572 [-0xfffffffffffffffen, 0x7ffffffffffffffen, 2n], 573 [-0x8000000000000001n, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 574 [-0x8000000000000000n, 0x7ffffffffffffffen, 0n], 575 [-0x7fffffffffffffffn, 0x7ffffffffffffffen, 0n], 576 [-0x7ffffffffffffffen, 0x7ffffffffffffffen, 2n], 577 [0x7ffffffffffffffen, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 578 [0x7fffffffffffffffn, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 579 [0x8000000000000000n, 0x7ffffffffffffffen, 0n], 580 [0x8000000000000001n, 0x7ffffffffffffffen, 0n], 581 [0xfffffffffffffffen, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 582 [0xffffffffffffffffn, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 583 [0x10000000000000000n, 0x7ffffffffffffffen, 0n], 584 [0x10000000000000001n, 0x7ffffffffffffffen, 0n], 585 [-0x10000000000000001n, 0x7fffffffffffffffn, 0x7fffffffffffffffn], 586 [-0x10000000000000000n, 0x7fffffffffffffffn, 0n], 587 [-0xffffffffffffffffn, 0x7fffffffffffffffn, 1n], 588 [-0xfffffffffffffffen, 0x7fffffffffffffffn, 2n], 589 [-0x8000000000000001n, 0x7fffffffffffffffn, 0x7fffffffffffffffn], 590 [-0x8000000000000000n, 0x7fffffffffffffffn, 0n], 591 [-0x7fffffffffffffffn, 0x7fffffffffffffffn, 1n], 592 [-0x7ffffffffffffffen, 0x7fffffffffffffffn, 2n], 593 [0x7fffffffffffffffn, 0x7fffffffffffffffn, 0x7fffffffffffffffn], 594 [0x8000000000000000n, 0x7fffffffffffffffn, 0n], 595 [0x8000000000000001n, 0x7fffffffffffffffn, 1n], 596 [0xfffffffffffffffen, 0x7fffffffffffffffn, 0x7ffffffffffffffen], 597 [0xffffffffffffffffn, 0x7fffffffffffffffn, 0x7fffffffffffffffn], 598 [0x10000000000000000n, 0x7fffffffffffffffn, 0n], 599 [0x10000000000000001n, 0x7fffffffffffffffn, 1n], 600 [-0x10000000000000001n, 0x8000000000000000n, 0x8000000000000000n], 601 [-0x10000000000000000n, 0x8000000000000000n, 0n], 602 [-0xffffffffffffffffn, 0x8000000000000000n, 0n], 603 [-0xfffffffffffffffen, 0x8000000000000000n, 0n], 604 [-0x8000000000000001n, 0x8000000000000000n, 0n], 605 [-0x8000000000000000n, 0x8000000000000000n, 0x8000000000000000n], 606 [-0x7fffffffffffffffn, 0x8000000000000000n, 0x8000000000000000n], 607 [-0x7ffffffffffffffen, 0x8000000000000000n, 0x8000000000000000n], 608 [0x8000000000000000n, 0x8000000000000000n, 0x8000000000000000n], 609 [0x8000000000000001n, 0x8000000000000000n, 0x8000000000000000n], 610 [0xfffffffffffffffen, 0x8000000000000000n, 0x8000000000000000n], 611 [0xffffffffffffffffn, 0x8000000000000000n, 0x8000000000000000n], 612 [0x10000000000000000n, 0x8000000000000000n, 0n], 613 [0x10000000000000001n, 0x8000000000000000n, 0n], 614 [-0x10000000000000001n, 0x8000000000000001n, 0x8000000000000001n], 615 [-0x10000000000000000n, 0x8000000000000001n, 0n], 616 [-0xffffffffffffffffn, 0x8000000000000001n, 1n], 617 [-0xfffffffffffffffen, 0x8000000000000001n, 0n], 618 [-0x8000000000000001n, 0x8000000000000001n, 1n], 619 [-0x8000000000000000n, 0x8000000000000001n, 0x8000000000000000n], 620 [-0x7fffffffffffffffn, 0x8000000000000001n, 0x8000000000000001n], 621 [-0x7ffffffffffffffen, 0x8000000000000001n, 0x8000000000000000n], 622 [0x8000000000000001n, 0x8000000000000001n, 0x8000000000000001n], 623 [0xfffffffffffffffen, 0x8000000000000001n, 0x8000000000000000n], 624 [0xffffffffffffffffn, 0x8000000000000001n, 0x8000000000000001n], 625 [0x10000000000000000n, 0x8000000000000001n, 0n], 626 [0x10000000000000001n, 0x8000000000000001n, 1n], 627 [-0x10000000000000001n, -0x8000000000000001n, -0x18000000000000001n], 628 [-0x10000000000000000n, -0x8000000000000001n, -0x10000000000000000n], 629 [-0xffffffffffffffffn, -0x8000000000000001n, -0xffffffffffffffffn], 630 [-0xfffffffffffffffen, -0x8000000000000001n, -0xfffffffffffffffen], 631 [-0x8000000000000001n, -0x8000000000000001n, -0x8000000000000001n], 632 [-0x8000000000000000n, -0x8000000000000001n, -0x10000000000000000n], 633 [-0x7fffffffffffffffn, -0x8000000000000001n, -0xffffffffffffffffn], 634 [-0x7ffffffffffffffen, -0x8000000000000001n, -0xfffffffffffffffen], 635 [0xfffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffen], 636 [0xffffffffffffffffn, -0x8000000000000001n, 0x7fffffffffffffffn], 637 [0x10000000000000000n, -0x8000000000000001n, 0x10000000000000000n], 638 [0x10000000000000001n, -0x8000000000000001n, 0x10000000000000001n], 639 [-0x10000000000000001n, -0x8000000000000000n, -0x18000000000000000n], 640 [-0x10000000000000000n, -0x8000000000000000n, -0x10000000000000000n], 641 [-0xffffffffffffffffn, -0x8000000000000000n, -0x10000000000000000n], 642 [-0xfffffffffffffffen, -0x8000000000000000n, -0x10000000000000000n], 643 [-0x8000000000000000n, -0x8000000000000000n, -0x8000000000000000n], 644 [-0x7fffffffffffffffn, -0x8000000000000000n, -0x8000000000000000n], 645 [-0x7ffffffffffffffen, -0x8000000000000000n, -0x8000000000000000n], 646 [0xfffffffffffffffen, -0x8000000000000000n, 0x8000000000000000n], 647 [0xffffffffffffffffn, -0x8000000000000000n, 0x8000000000000000n], 648 [0x10000000000000000n, -0x8000000000000000n, 0x10000000000000000n], 649 [0x10000000000000001n, -0x8000000000000000n, 0x10000000000000000n], 650 [-0x10000000000000001n, -0x7fffffffffffffffn, -0x17fffffffffffffffn], 651 [-0x10000000000000000n, -0x7fffffffffffffffn, -0x10000000000000000n], 652 [-0xffffffffffffffffn, -0x7fffffffffffffffn, -0xffffffffffffffffn], 653 [-0xfffffffffffffffen, -0x7fffffffffffffffn, -0x10000000000000000n], 654 [-0x7fffffffffffffffn, -0x7fffffffffffffffn, -0x7fffffffffffffffn], 655 [-0x7ffffffffffffffen, -0x7fffffffffffffffn, -0x8000000000000000n], 656 [0xfffffffffffffffen, -0x7fffffffffffffffn, 0x8000000000000000n], 657 [0xffffffffffffffffn, -0x7fffffffffffffffn, 0x8000000000000001n], 658 [0x10000000000000000n, -0x7fffffffffffffffn, 0x10000000000000000n], 659 [0x10000000000000001n, -0x7fffffffffffffffn, 0x10000000000000001n], 660 [-0x10000000000000001n, -0x7ffffffffffffffen, -0x17ffffffffffffffen], 661 [-0x10000000000000000n, -0x7ffffffffffffffen, -0x10000000000000000n], 662 [-0xffffffffffffffffn, -0x7ffffffffffffffen, -0x10000000000000000n], 663 [-0xfffffffffffffffen, -0x7ffffffffffffffen, -0xfffffffffffffffen], 664 [-0x7ffffffffffffffen, -0x7ffffffffffffffen, -0x7ffffffffffffffen], 665 [0xfffffffffffffffen, -0x7ffffffffffffffen, 0x8000000000000002n], 666 [0xffffffffffffffffn, -0x7ffffffffffffffen, 0x8000000000000002n], 667 [0x10000000000000000n, -0x7ffffffffffffffen, 0x10000000000000000n], 668 [0x10000000000000001n, -0x7ffffffffffffffen, 0x10000000000000000n], 669 [-0x10000000000000001n, 0xfffffffffffffffen, 0xfffffffffffffffen], 670 [-0x10000000000000000n, 0xfffffffffffffffen, 0n], 671 [-0xffffffffffffffffn, 0xfffffffffffffffen, 0n], 672 [-0xfffffffffffffffen, 0xfffffffffffffffen, 2n], 673 [0xfffffffffffffffen, 0xfffffffffffffffen, 0xfffffffffffffffen], 674 [0xffffffffffffffffn, 0xfffffffffffffffen, 0xfffffffffffffffen], 675 [0x10000000000000000n, 0xfffffffffffffffen, 0n], 676 [0x10000000000000001n, 0xfffffffffffffffen, 0n], 677 [-0x10000000000000001n, 0xffffffffffffffffn, 0xffffffffffffffffn], 678 [-0x10000000000000000n, 0xffffffffffffffffn, 0n], 679 [-0xffffffffffffffffn, 0xffffffffffffffffn, 1n], 680 [-0xfffffffffffffffen, 0xffffffffffffffffn, 2n], 681 [0xffffffffffffffffn, 0xffffffffffffffffn, 0xffffffffffffffffn], 682 [0x10000000000000000n, 0xffffffffffffffffn, 0n], 683 [0x10000000000000001n, 0xffffffffffffffffn, 1n], 684 [-0x10000000000000001n, 0x10000000000000000n, 0n], 685 [-0x10000000000000000n, 0x10000000000000000n, 0x10000000000000000n], 686 [-0xffffffffffffffffn, 0x10000000000000000n, 0x10000000000000000n], 687 [-0xfffffffffffffffen, 0x10000000000000000n, 0x10000000000000000n], 688 [0x10000000000000000n, 0x10000000000000000n, 0x10000000000000000n], 689 [0x10000000000000001n, 0x10000000000000000n, 0x10000000000000000n], 690 [-0x10000000000000001n, 0x10000000000000001n, 1n], 691 [-0x10000000000000000n, 0x10000000000000001n, 0x10000000000000000n], 692 [-0xffffffffffffffffn, 0x10000000000000001n, 0x10000000000000001n], 693 [-0xfffffffffffffffen, 0x10000000000000001n, 0x10000000000000000n], 694 [0x10000000000000001n, 0x10000000000000001n, 0x10000000000000001n], 695 [-0x10000000000000001n, -0x10000000000000001n, -0x10000000000000001n], 696 [-0x10000000000000000n, -0x10000000000000001n, -0x20000000000000000n], 697 [-0xffffffffffffffffn, -0x10000000000000001n, -0x1ffffffffffffffffn], 698 [-0xfffffffffffffffen, -0x10000000000000001n, -0x1fffffffffffffffen], 699 [-0x10000000000000000n, -0x10000000000000000n, -0x10000000000000000n], 700 [-0xffffffffffffffffn, -0x10000000000000000n, -0x10000000000000000n], 701 [-0xfffffffffffffffen, -0x10000000000000000n, -0x10000000000000000n], 702 [-0xffffffffffffffffn, -0xffffffffffffffffn, -0xffffffffffffffffn], 703 [-0xfffffffffffffffen, -0xffffffffffffffffn, -0x10000000000000000n], 704 [-0xfffffffffffffffen, -0xfffffffffffffffen, -0xfffffffffffffffen], 705 ]; 706 707 function f(tests) { 708 for (let test of tests) { 709 let lhs = test[0], rhs = test[1], expected = test[2]; 710 711 assertEq(lhs & rhs, expected); 712 assertEq(rhs & lhs, expected); 713 } 714 } 715 716 for (let i = 0; i < 10; ++i) { 717 f(tests); 718 }