bigint-mod.js (60908B)
1 const tests = [ 2 [-0x10000000000000001n, -2n, -1n], 3 [-0x10000000000000000n, -2n, 0n], 4 [-0xffffffffffffffffn, -2n, -1n], 5 [-0xfffffffffffffffen, -2n, 0n], 6 [-0x8000000000000001n, -2n, -1n], 7 [-0x8000000000000000n, -2n, 0n], 8 [-0x7fffffffffffffffn, -2n, -1n], 9 [-0x7ffffffffffffffen, -2n, 0n], 10 [-0x100000001n, -2n, -1n], 11 [-0x100000000n, -2n, 0n], 12 [-0xffffffffn, -2n, -1n], 13 [-0xfffffffen, -2n, 0n], 14 [-0x80000001n, -2n, -1n], 15 [-0x80000000n, -2n, 0n], 16 [-0x7fffffffn, -2n, -1n], 17 [-0x7ffffffen, -2n, 0n], 18 [-2n, -2n, 0n], 19 [-1n, -2n, -1n], 20 [0n, -2n, 0n], 21 [1n, -2n, 1n], 22 [2n, -2n, 0n], 23 [0x7ffffffen, -2n, 0n], 24 [0x7fffffffn, -2n, 1n], 25 [0x80000000n, -2n, 0n], 26 [0x80000001n, -2n, 1n], 27 [0xfffffffen, -2n, 0n], 28 [0xffffffffn, -2n, 1n], 29 [0x100000000n, -2n, 0n], 30 [0x100000001n, -2n, 1n], 31 [0x7ffffffffffffffen, -2n, 0n], 32 [0x7fffffffffffffffn, -2n, 1n], 33 [0x8000000000000000n, -2n, 0n], 34 [0x8000000000000001n, -2n, 1n], 35 [0xfffffffffffffffen, -2n, 0n], 36 [0xffffffffffffffffn, -2n, 1n], 37 [0x10000000000000000n, -2n, 0n], 38 [0x10000000000000001n, -2n, 1n], 39 [-0x10000000000000001n, -1n, 0n], 40 [-0x10000000000000000n, -1n, 0n], 41 [-0xffffffffffffffffn, -1n, 0n], 42 [-0xfffffffffffffffen, -1n, 0n], 43 [-0x8000000000000001n, -1n, 0n], 44 [-0x8000000000000000n, -1n, 0n], 45 [-0x7fffffffffffffffn, -1n, 0n], 46 [-0x7ffffffffffffffen, -1n, 0n], 47 [-0x100000001n, -1n, 0n], 48 [-0x100000000n, -1n, 0n], 49 [-0xffffffffn, -1n, 0n], 50 [-0xfffffffen, -1n, 0n], 51 [-0x80000001n, -1n, 0n], 52 [-0x80000000n, -1n, 0n], 53 [-0x7fffffffn, -1n, 0n], 54 [-0x7ffffffen, -1n, 0n], 55 [-2n, -1n, 0n], 56 [-1n, -1n, 0n], 57 [0n, -1n, 0n], 58 [1n, -1n, 0n], 59 [2n, -1n, 0n], 60 [0x7ffffffen, -1n, 0n], 61 [0x7fffffffn, -1n, 0n], 62 [0x80000000n, -1n, 0n], 63 [0x80000001n, -1n, 0n], 64 [0xfffffffen, -1n, 0n], 65 [0xffffffffn, -1n, 0n], 66 [0x100000000n, -1n, 0n], 67 [0x100000001n, -1n, 0n], 68 [0x7ffffffffffffffen, -1n, 0n], 69 [0x7fffffffffffffffn, -1n, 0n], 70 [0x8000000000000000n, -1n, 0n], 71 [0x8000000000000001n, -1n, 0n], 72 [0xfffffffffffffffen, -1n, 0n], 73 [0xffffffffffffffffn, -1n, 0n], 74 [0x10000000000000000n, -1n, 0n], 75 [0x10000000000000001n, -1n, 0n], 76 [-0x10000000000000001n, 1n, 0n], 77 [-0x10000000000000000n, 1n, 0n], 78 [-0xffffffffffffffffn, 1n, 0n], 79 [-0xfffffffffffffffen, 1n, 0n], 80 [-0x8000000000000001n, 1n, 0n], 81 [-0x8000000000000000n, 1n, 0n], 82 [-0x7fffffffffffffffn, 1n, 0n], 83 [-0x7ffffffffffffffen, 1n, 0n], 84 [-0x100000001n, 1n, 0n], 85 [-0x100000000n, 1n, 0n], 86 [-0xffffffffn, 1n, 0n], 87 [-0xfffffffen, 1n, 0n], 88 [-0x80000001n, 1n, 0n], 89 [-0x80000000n, 1n, 0n], 90 [-0x7fffffffn, 1n, 0n], 91 [-0x7ffffffen, 1n, 0n], 92 [-2n, 1n, 0n], 93 [-1n, 1n, 0n], 94 [0n, 1n, 0n], 95 [1n, 1n, 0n], 96 [2n, 1n, 0n], 97 [0x7ffffffen, 1n, 0n], 98 [0x7fffffffn, 1n, 0n], 99 [0x80000000n, 1n, 0n], 100 [0x80000001n, 1n, 0n], 101 [0xfffffffen, 1n, 0n], 102 [0xffffffffn, 1n, 0n], 103 [0x100000000n, 1n, 0n], 104 [0x100000001n, 1n, 0n], 105 [0x7ffffffffffffffen, 1n, 0n], 106 [0x7fffffffffffffffn, 1n, 0n], 107 [0x8000000000000000n, 1n, 0n], 108 [0x8000000000000001n, 1n, 0n], 109 [0xfffffffffffffffen, 1n, 0n], 110 [0xffffffffffffffffn, 1n, 0n], 111 [0x10000000000000000n, 1n, 0n], 112 [0x10000000000000001n, 1n, 0n], 113 [-0x10000000000000001n, 2n, -1n], 114 [-0x10000000000000000n, 2n, 0n], 115 [-0xffffffffffffffffn, 2n, -1n], 116 [-0xfffffffffffffffen, 2n, 0n], 117 [-0x8000000000000001n, 2n, -1n], 118 [-0x8000000000000000n, 2n, 0n], 119 [-0x7fffffffffffffffn, 2n, -1n], 120 [-0x7ffffffffffffffen, 2n, 0n], 121 [-0x100000001n, 2n, -1n], 122 [-0x100000000n, 2n, 0n], 123 [-0xffffffffn, 2n, -1n], 124 [-0xfffffffen, 2n, 0n], 125 [-0x80000001n, 2n, -1n], 126 [-0x80000000n, 2n, 0n], 127 [-0x7fffffffn, 2n, -1n], 128 [-0x7ffffffen, 2n, 0n], 129 [-2n, 2n, 0n], 130 [-1n, 2n, -1n], 131 [0n, 2n, 0n], 132 [1n, 2n, 1n], 133 [2n, 2n, 0n], 134 [0x7ffffffen, 2n, 0n], 135 [0x7fffffffn, 2n, 1n], 136 [0x80000000n, 2n, 0n], 137 [0x80000001n, 2n, 1n], 138 [0xfffffffen, 2n, 0n], 139 [0xffffffffn, 2n, 1n], 140 [0x100000000n, 2n, 0n], 141 [0x100000001n, 2n, 1n], 142 [0x7ffffffffffffffen, 2n, 0n], 143 [0x7fffffffffffffffn, 2n, 1n], 144 [0x8000000000000000n, 2n, 0n], 145 [0x8000000000000001n, 2n, 1n], 146 [0xfffffffffffffffen, 2n, 0n], 147 [0xffffffffffffffffn, 2n, 1n], 148 [0x10000000000000000n, 2n, 0n], 149 [0x10000000000000001n, 2n, 1n], 150 [-0x10000000000000001n, 0x7ffffffen, -17n], 151 [-0x10000000000000000n, 0x7ffffffen, -16n], 152 [-0xffffffffffffffffn, 0x7ffffffen, -15n], 153 [-0xfffffffffffffffen, 0x7ffffffen, -14n], 154 [-0x8000000000000001n, 0x7ffffffen, -9n], 155 [-0x8000000000000000n, 0x7ffffffen, -8n], 156 [-0x7fffffffffffffffn, 0x7ffffffen, -7n], 157 [-0x7ffffffffffffffen, 0x7ffffffen, -6n], 158 [-0x100000001n, 0x7ffffffen, -5n], 159 [-0x100000000n, 0x7ffffffen, -4n], 160 [-0xffffffffn, 0x7ffffffen, -3n], 161 [-0xfffffffen, 0x7ffffffen, -2n], 162 [-0x80000001n, 0x7ffffffen, -3n], 163 [-0x80000000n, 0x7ffffffen, -2n], 164 [-0x7fffffffn, 0x7ffffffen, -1n], 165 [-0x7ffffffen, 0x7ffffffen, 0n], 166 [-2n, 0x7ffffffen, -2n], 167 [-1n, 0x7ffffffen, -1n], 168 [0n, 0x7ffffffen, 0n], 169 [1n, 0x7ffffffen, 1n], 170 [2n, 0x7ffffffen, 2n], 171 [0x7ffffffen, 0x7ffffffen, 0n], 172 [0x7fffffffn, 0x7ffffffen, 1n], 173 [0x80000000n, 0x7ffffffen, 2n], 174 [0x80000001n, 0x7ffffffen, 3n], 175 [0xfffffffen, 0x7ffffffen, 2n], 176 [0xffffffffn, 0x7ffffffen, 3n], 177 [0x100000000n, 0x7ffffffen, 4n], 178 [0x100000001n, 0x7ffffffen, 5n], 179 [0x7ffffffffffffffen, 0x7ffffffen, 6n], 180 [0x7fffffffffffffffn, 0x7ffffffen, 7n], 181 [0x8000000000000000n, 0x7ffffffen, 8n], 182 [0x8000000000000001n, 0x7ffffffen, 9n], 183 [0xfffffffffffffffen, 0x7ffffffen, 14n], 184 [0xffffffffffffffffn, 0x7ffffffen, 15n], 185 [0x10000000000000000n, 0x7ffffffen, 16n], 186 [0x10000000000000001n, 0x7ffffffen, 17n], 187 [-0x10000000000000001n, 0x7fffffffn, -5n], 188 [-0x10000000000000000n, 0x7fffffffn, -4n], 189 [-0xffffffffffffffffn, 0x7fffffffn, -3n], 190 [-0xfffffffffffffffen, 0x7fffffffn, -2n], 191 [-0x8000000000000001n, 0x7fffffffn, -3n], 192 [-0x8000000000000000n, 0x7fffffffn, -2n], 193 [-0x7fffffffffffffffn, 0x7fffffffn, -1n], 194 [-0x7ffffffffffffffen, 0x7fffffffn, 0n], 195 [-0x100000001n, 0x7fffffffn, -3n], 196 [-0x100000000n, 0x7fffffffn, -2n], 197 [-0xffffffffn, 0x7fffffffn, -1n], 198 [-0xfffffffen, 0x7fffffffn, 0n], 199 [-0x80000001n, 0x7fffffffn, -2n], 200 [-0x80000000n, 0x7fffffffn, -1n], 201 [-0x7fffffffn, 0x7fffffffn, 0n], 202 [-0x7ffffffen, 0x7fffffffn, -0x7ffffffen], 203 [-2n, 0x7fffffffn, -2n], 204 [-1n, 0x7fffffffn, -1n], 205 [0n, 0x7fffffffn, 0n], 206 [1n, 0x7fffffffn, 1n], 207 [2n, 0x7fffffffn, 2n], 208 [0x7ffffffen, 0x7fffffffn, 0x7ffffffen], 209 [0x7fffffffn, 0x7fffffffn, 0n], 210 [0x80000000n, 0x7fffffffn, 1n], 211 [0x80000001n, 0x7fffffffn, 2n], 212 [0xfffffffen, 0x7fffffffn, 0n], 213 [0xffffffffn, 0x7fffffffn, 1n], 214 [0x100000000n, 0x7fffffffn, 2n], 215 [0x100000001n, 0x7fffffffn, 3n], 216 [0x7ffffffffffffffen, 0x7fffffffn, 0n], 217 [0x7fffffffffffffffn, 0x7fffffffn, 1n], 218 [0x8000000000000000n, 0x7fffffffn, 2n], 219 [0x8000000000000001n, 0x7fffffffn, 3n], 220 [0xfffffffffffffffen, 0x7fffffffn, 2n], 221 [0xffffffffffffffffn, 0x7fffffffn, 3n], 222 [0x10000000000000000n, 0x7fffffffn, 4n], 223 [0x10000000000000001n, 0x7fffffffn, 5n], 224 [-0x10000000000000001n, 0x80000000n, -1n], 225 [-0x10000000000000000n, 0x80000000n, 0n], 226 [-0xffffffffffffffffn, 0x80000000n, -0x7fffffffn], 227 [-0xfffffffffffffffen, 0x80000000n, -0x7ffffffen], 228 [-0x8000000000000001n, 0x80000000n, -1n], 229 [-0x8000000000000000n, 0x80000000n, 0n], 230 [-0x7fffffffffffffffn, 0x80000000n, -0x7fffffffn], 231 [-0x7ffffffffffffffen, 0x80000000n, -0x7ffffffen], 232 [-0x100000001n, 0x80000000n, -1n], 233 [-0x100000000n, 0x80000000n, 0n], 234 [-0xffffffffn, 0x80000000n, -0x7fffffffn], 235 [-0xfffffffen, 0x80000000n, -0x7ffffffen], 236 [-0x80000001n, 0x80000000n, -1n], 237 [-0x80000000n, 0x80000000n, 0n], 238 [-0x7fffffffn, 0x80000000n, -0x7fffffffn], 239 [-0x7ffffffen, 0x80000000n, -0x7ffffffen], 240 [-2n, 0x80000000n, -2n], 241 [-1n, 0x80000000n, -1n], 242 [0n, 0x80000000n, 0n], 243 [1n, 0x80000000n, 1n], 244 [2n, 0x80000000n, 2n], 245 [0x7ffffffen, 0x80000000n, 0x7ffffffen], 246 [0x7fffffffn, 0x80000000n, 0x7fffffffn], 247 [0x80000000n, 0x80000000n, 0n], 248 [0x80000001n, 0x80000000n, 1n], 249 [0xfffffffen, 0x80000000n, 0x7ffffffen], 250 [0xffffffffn, 0x80000000n, 0x7fffffffn], 251 [0x100000000n, 0x80000000n, 0n], 252 [0x100000001n, 0x80000000n, 1n], 253 [0x7ffffffffffffffen, 0x80000000n, 0x7ffffffen], 254 [0x7fffffffffffffffn, 0x80000000n, 0x7fffffffn], 255 [0x8000000000000000n, 0x80000000n, 0n], 256 [0x8000000000000001n, 0x80000000n, 1n], 257 [0xfffffffffffffffen, 0x80000000n, 0x7ffffffen], 258 [0xffffffffffffffffn, 0x80000000n, 0x7fffffffn], 259 [0x10000000000000000n, 0x80000000n, 0n], 260 [0x10000000000000001n, 0x80000000n, 1n], 261 [-0x10000000000000001n, 0x80000001n, -5n], 262 [-0x10000000000000000n, 0x80000001n, -4n], 263 [-0xffffffffffffffffn, 0x80000001n, -3n], 264 [-0xfffffffffffffffen, 0x80000001n, -2n], 265 [-0x8000000000000001n, 0x80000001n, -3n], 266 [-0x8000000000000000n, 0x80000001n, -2n], 267 [-0x7fffffffffffffffn, 0x80000001n, -1n], 268 [-0x7ffffffffffffffen, 0x80000001n, 0n], 269 [-0x100000001n, 0x80000001n, -0x80000000n], 270 [-0x100000000n, 0x80000001n, -0x7fffffffn], 271 [-0xffffffffn, 0x80000001n, -0x7ffffffen], 272 [-0xfffffffen, 0x80000001n, -0x7ffffffdn], 273 [-0x80000001n, 0x80000001n, 0n], 274 [-0x80000000n, 0x80000001n, -0x80000000n], 275 [-0x7fffffffn, 0x80000001n, -0x7fffffffn], 276 [-0x7ffffffen, 0x80000001n, -0x7ffffffen], 277 [-2n, 0x80000001n, -2n], 278 [-1n, 0x80000001n, -1n], 279 [0n, 0x80000001n, 0n], 280 [1n, 0x80000001n, 1n], 281 [2n, 0x80000001n, 2n], 282 [0x7ffffffen, 0x80000001n, 0x7ffffffen], 283 [0x7fffffffn, 0x80000001n, 0x7fffffffn], 284 [0x80000000n, 0x80000001n, 0x80000000n], 285 [0x80000001n, 0x80000001n, 0n], 286 [0xfffffffen, 0x80000001n, 0x7ffffffdn], 287 [0xffffffffn, 0x80000001n, 0x7ffffffen], 288 [0x100000000n, 0x80000001n, 0x7fffffffn], 289 [0x100000001n, 0x80000001n, 0x80000000n], 290 [0x7ffffffffffffffen, 0x80000001n, 0n], 291 [0x7fffffffffffffffn, 0x80000001n, 1n], 292 [0x8000000000000000n, 0x80000001n, 2n], 293 [0x8000000000000001n, 0x80000001n, 3n], 294 [0xfffffffffffffffen, 0x80000001n, 2n], 295 [0xffffffffffffffffn, 0x80000001n, 3n], 296 [0x10000000000000000n, 0x80000001n, 4n], 297 [0x10000000000000001n, 0x80000001n, 5n], 298 [-0x10000000000000001n, -0x80000001n, -5n], 299 [-0x10000000000000000n, -0x80000001n, -4n], 300 [-0xffffffffffffffffn, -0x80000001n, -3n], 301 [-0xfffffffffffffffen, -0x80000001n, -2n], 302 [-0x8000000000000001n, -0x80000001n, -3n], 303 [-0x8000000000000000n, -0x80000001n, -2n], 304 [-0x7fffffffffffffffn, -0x80000001n, -1n], 305 [-0x7ffffffffffffffen, -0x80000001n, 0n], 306 [-0x100000001n, -0x80000001n, -0x80000000n], 307 [-0x100000000n, -0x80000001n, -0x7fffffffn], 308 [-0xffffffffn, -0x80000001n, -0x7ffffffen], 309 [-0xfffffffen, -0x80000001n, -0x7ffffffdn], 310 [-0x80000001n, -0x80000001n, 0n], 311 [-0x80000000n, -0x80000001n, -0x80000000n], 312 [-0x7fffffffn, -0x80000001n, -0x7fffffffn], 313 [-0x7ffffffen, -0x80000001n, -0x7ffffffen], 314 [-2n, -0x80000001n, -2n], 315 [-1n, -0x80000001n, -1n], 316 [0n, -0x80000001n, 0n], 317 [1n, -0x80000001n, 1n], 318 [2n, -0x80000001n, 2n], 319 [0x7ffffffen, -0x80000001n, 0x7ffffffen], 320 [0x7fffffffn, -0x80000001n, 0x7fffffffn], 321 [0x80000000n, -0x80000001n, 0x80000000n], 322 [0x80000001n, -0x80000001n, 0n], 323 [0xfffffffen, -0x80000001n, 0x7ffffffdn], 324 [0xffffffffn, -0x80000001n, 0x7ffffffen], 325 [0x100000000n, -0x80000001n, 0x7fffffffn], 326 [0x100000001n, -0x80000001n, 0x80000000n], 327 [0x7ffffffffffffffen, -0x80000001n, 0n], 328 [0x7fffffffffffffffn, -0x80000001n, 1n], 329 [0x8000000000000000n, -0x80000001n, 2n], 330 [0x8000000000000001n, -0x80000001n, 3n], 331 [0xfffffffffffffffen, -0x80000001n, 2n], 332 [0xffffffffffffffffn, -0x80000001n, 3n], 333 [0x10000000000000000n, -0x80000001n, 4n], 334 [0x10000000000000001n, -0x80000001n, 5n], 335 [-0x10000000000000001n, -0x80000000n, -1n], 336 [-0x10000000000000000n, -0x80000000n, 0n], 337 [-0xffffffffffffffffn, -0x80000000n, -0x7fffffffn], 338 [-0xfffffffffffffffen, -0x80000000n, -0x7ffffffen], 339 [-0x8000000000000001n, -0x80000000n, -1n], 340 [-0x8000000000000000n, -0x80000000n, 0n], 341 [-0x7fffffffffffffffn, -0x80000000n, -0x7fffffffn], 342 [-0x7ffffffffffffffen, -0x80000000n, -0x7ffffffen], 343 [-0x100000001n, -0x80000000n, -1n], 344 [-0x100000000n, -0x80000000n, 0n], 345 [-0xffffffffn, -0x80000000n, -0x7fffffffn], 346 [-0xfffffffen, -0x80000000n, -0x7ffffffen], 347 [-0x80000001n, -0x80000000n, -1n], 348 [-0x80000000n, -0x80000000n, 0n], 349 [-0x7fffffffn, -0x80000000n, -0x7fffffffn], 350 [-0x7ffffffen, -0x80000000n, -0x7ffffffen], 351 [-2n, -0x80000000n, -2n], 352 [-1n, -0x80000000n, -1n], 353 [0n, -0x80000000n, 0n], 354 [1n, -0x80000000n, 1n], 355 [2n, -0x80000000n, 2n], 356 [0x7ffffffen, -0x80000000n, 0x7ffffffen], 357 [0x7fffffffn, -0x80000000n, 0x7fffffffn], 358 [0x80000000n, -0x80000000n, 0n], 359 [0x80000001n, -0x80000000n, 1n], 360 [0xfffffffen, -0x80000000n, 0x7ffffffen], 361 [0xffffffffn, -0x80000000n, 0x7fffffffn], 362 [0x100000000n, -0x80000000n, 0n], 363 [0x100000001n, -0x80000000n, 1n], 364 [0x7ffffffffffffffen, -0x80000000n, 0x7ffffffen], 365 [0x7fffffffffffffffn, -0x80000000n, 0x7fffffffn], 366 [0x8000000000000000n, -0x80000000n, 0n], 367 [0x8000000000000001n, -0x80000000n, 1n], 368 [0xfffffffffffffffen, -0x80000000n, 0x7ffffffen], 369 [0xffffffffffffffffn, -0x80000000n, 0x7fffffffn], 370 [0x10000000000000000n, -0x80000000n, 0n], 371 [0x10000000000000001n, -0x80000000n, 1n], 372 [-0x10000000000000001n, -0x7fffffffn, -5n], 373 [-0x10000000000000000n, -0x7fffffffn, -4n], 374 [-0xffffffffffffffffn, -0x7fffffffn, -3n], 375 [-0xfffffffffffffffen, -0x7fffffffn, -2n], 376 [-0x8000000000000001n, -0x7fffffffn, -3n], 377 [-0x8000000000000000n, -0x7fffffffn, -2n], 378 [-0x7fffffffffffffffn, -0x7fffffffn, -1n], 379 [-0x7ffffffffffffffen, -0x7fffffffn, 0n], 380 [-0x100000001n, -0x7fffffffn, -3n], 381 [-0x100000000n, -0x7fffffffn, -2n], 382 [-0xffffffffn, -0x7fffffffn, -1n], 383 [-0xfffffffen, -0x7fffffffn, 0n], 384 [-0x80000001n, -0x7fffffffn, -2n], 385 [-0x80000000n, -0x7fffffffn, -1n], 386 [-0x7fffffffn, -0x7fffffffn, 0n], 387 [-0x7ffffffen, -0x7fffffffn, -0x7ffffffen], 388 [-2n, -0x7fffffffn, -2n], 389 [-1n, -0x7fffffffn, -1n], 390 [0n, -0x7fffffffn, 0n], 391 [1n, -0x7fffffffn, 1n], 392 [2n, -0x7fffffffn, 2n], 393 [0x7ffffffen, -0x7fffffffn, 0x7ffffffen], 394 [0x7fffffffn, -0x7fffffffn, 0n], 395 [0x80000000n, -0x7fffffffn, 1n], 396 [0x80000001n, -0x7fffffffn, 2n], 397 [0xfffffffen, -0x7fffffffn, 0n], 398 [0xffffffffn, -0x7fffffffn, 1n], 399 [0x100000000n, -0x7fffffffn, 2n], 400 [0x100000001n, -0x7fffffffn, 3n], 401 [0x7ffffffffffffffen, -0x7fffffffn, 0n], 402 [0x7fffffffffffffffn, -0x7fffffffn, 1n], 403 [0x8000000000000000n, -0x7fffffffn, 2n], 404 [0x8000000000000001n, -0x7fffffffn, 3n], 405 [0xfffffffffffffffen, -0x7fffffffn, 2n], 406 [0xffffffffffffffffn, -0x7fffffffn, 3n], 407 [0x10000000000000000n, -0x7fffffffn, 4n], 408 [0x10000000000000001n, -0x7fffffffn, 5n], 409 [-0x10000000000000001n, -0x7ffffffen, -17n], 410 [-0x10000000000000000n, -0x7ffffffen, -16n], 411 [-0xffffffffffffffffn, -0x7ffffffen, -15n], 412 [-0xfffffffffffffffen, -0x7ffffffen, -14n], 413 [-0x8000000000000001n, -0x7ffffffen, -9n], 414 [-0x8000000000000000n, -0x7ffffffen, -8n], 415 [-0x7fffffffffffffffn, -0x7ffffffen, -7n], 416 [-0x7ffffffffffffffen, -0x7ffffffen, -6n], 417 [-0x100000001n, -0x7ffffffen, -5n], 418 [-0x100000000n, -0x7ffffffen, -4n], 419 [-0xffffffffn, -0x7ffffffen, -3n], 420 [-0xfffffffen, -0x7ffffffen, -2n], 421 [-0x80000001n, -0x7ffffffen, -3n], 422 [-0x80000000n, -0x7ffffffen, -2n], 423 [-0x7fffffffn, -0x7ffffffen, -1n], 424 [-0x7ffffffen, -0x7ffffffen, 0n], 425 [-2n, -0x7ffffffen, -2n], 426 [-1n, -0x7ffffffen, -1n], 427 [0n, -0x7ffffffen, 0n], 428 [1n, -0x7ffffffen, 1n], 429 [2n, -0x7ffffffen, 2n], 430 [0x7ffffffen, -0x7ffffffen, 0n], 431 [0x7fffffffn, -0x7ffffffen, 1n], 432 [0x80000000n, -0x7ffffffen, 2n], 433 [0x80000001n, -0x7ffffffen, 3n], 434 [0xfffffffen, -0x7ffffffen, 2n], 435 [0xffffffffn, -0x7ffffffen, 3n], 436 [0x100000000n, -0x7ffffffen, 4n], 437 [0x100000001n, -0x7ffffffen, 5n], 438 [0x7ffffffffffffffen, -0x7ffffffen, 6n], 439 [0x7fffffffffffffffn, -0x7ffffffen, 7n], 440 [0x8000000000000000n, -0x7ffffffen, 8n], 441 [0x8000000000000001n, -0x7ffffffen, 9n], 442 [0xfffffffffffffffen, -0x7ffffffen, 14n], 443 [0xffffffffffffffffn, -0x7ffffffen, 15n], 444 [0x10000000000000000n, -0x7ffffffen, 16n], 445 [0x10000000000000001n, -0x7ffffffen, 17n], 446 [-0x10000000000000001n, 0xfffffffen, -5n], 447 [-0x10000000000000000n, 0xfffffffen, -4n], 448 [-0xffffffffffffffffn, 0xfffffffen, -3n], 449 [-0xfffffffffffffffen, 0xfffffffen, -2n], 450 [-0x8000000000000001n, 0xfffffffen, -3n], 451 [-0x8000000000000000n, 0xfffffffen, -2n], 452 [-0x7fffffffffffffffn, 0xfffffffen, -1n], 453 [-0x7ffffffffffffffen, 0xfffffffen, 0n], 454 [-0x100000001n, 0xfffffffen, -3n], 455 [-0x100000000n, 0xfffffffen, -2n], 456 [-0xffffffffn, 0xfffffffen, -1n], 457 [-0xfffffffen, 0xfffffffen, 0n], 458 [-0x80000001n, 0xfffffffen, -0x80000001n], 459 [-0x80000000n, 0xfffffffen, -0x80000000n], 460 [-0x7fffffffn, 0xfffffffen, -0x7fffffffn], 461 [-0x7ffffffen, 0xfffffffen, -0x7ffffffen], 462 [-2n, 0xfffffffen, -2n], 463 [-1n, 0xfffffffen, -1n], 464 [0n, 0xfffffffen, 0n], 465 [1n, 0xfffffffen, 1n], 466 [2n, 0xfffffffen, 2n], 467 [0x7ffffffen, 0xfffffffen, 0x7ffffffen], 468 [0x7fffffffn, 0xfffffffen, 0x7fffffffn], 469 [0x80000000n, 0xfffffffen, 0x80000000n], 470 [0x80000001n, 0xfffffffen, 0x80000001n], 471 [0xfffffffen, 0xfffffffen, 0n], 472 [0xffffffffn, 0xfffffffen, 1n], 473 [0x100000000n, 0xfffffffen, 2n], 474 [0x100000001n, 0xfffffffen, 3n], 475 [0x7ffffffffffffffen, 0xfffffffen, 0n], 476 [0x7fffffffffffffffn, 0xfffffffen, 1n], 477 [0x8000000000000000n, 0xfffffffen, 2n], 478 [0x8000000000000001n, 0xfffffffen, 3n], 479 [0xfffffffffffffffen, 0xfffffffen, 2n], 480 [0xffffffffffffffffn, 0xfffffffen, 3n], 481 [0x10000000000000000n, 0xfffffffen, 4n], 482 [0x10000000000000001n, 0xfffffffen, 5n], 483 [-0x10000000000000001n, 0xffffffffn, -2n], 484 [-0x10000000000000000n, 0xffffffffn, -1n], 485 [-0xffffffffffffffffn, 0xffffffffn, 0n], 486 [-0xfffffffffffffffen, 0xffffffffn, -0xfffffffen], 487 [-0x8000000000000001n, 0xffffffffn, -0x80000001n], 488 [-0x8000000000000000n, 0xffffffffn, -0x80000000n], 489 [-0x7fffffffffffffffn, 0xffffffffn, -0x7fffffffn], 490 [-0x7ffffffffffffffen, 0xffffffffn, -0x7ffffffen], 491 [-0x100000001n, 0xffffffffn, -2n], 492 [-0x100000000n, 0xffffffffn, -1n], 493 [-0xffffffffn, 0xffffffffn, 0n], 494 [-0xfffffffen, 0xffffffffn, -0xfffffffen], 495 [-0x80000001n, 0xffffffffn, -0x80000001n], 496 [-0x80000000n, 0xffffffffn, -0x80000000n], 497 [-0x7fffffffn, 0xffffffffn, -0x7fffffffn], 498 [-0x7ffffffen, 0xffffffffn, -0x7ffffffen], 499 [-2n, 0xffffffffn, -2n], 500 [-1n, 0xffffffffn, -1n], 501 [0n, 0xffffffffn, 0n], 502 [1n, 0xffffffffn, 1n], 503 [2n, 0xffffffffn, 2n], 504 [0x7ffffffen, 0xffffffffn, 0x7ffffffen], 505 [0x7fffffffn, 0xffffffffn, 0x7fffffffn], 506 [0x80000000n, 0xffffffffn, 0x80000000n], 507 [0x80000001n, 0xffffffffn, 0x80000001n], 508 [0xfffffffen, 0xffffffffn, 0xfffffffen], 509 [0xffffffffn, 0xffffffffn, 0n], 510 [0x100000000n, 0xffffffffn, 1n], 511 [0x100000001n, 0xffffffffn, 2n], 512 [0x7ffffffffffffffen, 0xffffffffn, 0x7ffffffen], 513 [0x7fffffffffffffffn, 0xffffffffn, 0x7fffffffn], 514 [0x8000000000000000n, 0xffffffffn, 0x80000000n], 515 [0x8000000000000001n, 0xffffffffn, 0x80000001n], 516 [0xfffffffffffffffen, 0xffffffffn, 0xfffffffen], 517 [0xffffffffffffffffn, 0xffffffffn, 0n], 518 [0x10000000000000000n, 0xffffffffn, 1n], 519 [0x10000000000000001n, 0xffffffffn, 2n], 520 [-0x10000000000000001n, 0x100000000n, -1n], 521 [-0x10000000000000000n, 0x100000000n, 0n], 522 [-0xffffffffffffffffn, 0x100000000n, -0xffffffffn], 523 [-0xfffffffffffffffen, 0x100000000n, -0xfffffffen], 524 [-0x8000000000000001n, 0x100000000n, -1n], 525 [-0x8000000000000000n, 0x100000000n, 0n], 526 [-0x7fffffffffffffffn, 0x100000000n, -0xffffffffn], 527 [-0x7ffffffffffffffen, 0x100000000n, -0xfffffffen], 528 [-0x100000001n, 0x100000000n, -1n], 529 [-0x100000000n, 0x100000000n, 0n], 530 [-0xffffffffn, 0x100000000n, -0xffffffffn], 531 [-0xfffffffen, 0x100000000n, -0xfffffffen], 532 [-0x80000001n, 0x100000000n, -0x80000001n], 533 [-0x80000000n, 0x100000000n, -0x80000000n], 534 [-0x7fffffffn, 0x100000000n, -0x7fffffffn], 535 [-0x7ffffffen, 0x100000000n, -0x7ffffffen], 536 [-2n, 0x100000000n, -2n], 537 [-1n, 0x100000000n, -1n], 538 [0n, 0x100000000n, 0n], 539 [1n, 0x100000000n, 1n], 540 [2n, 0x100000000n, 2n], 541 [0x7ffffffen, 0x100000000n, 0x7ffffffen], 542 [0x7fffffffn, 0x100000000n, 0x7fffffffn], 543 [0x80000000n, 0x100000000n, 0x80000000n], 544 [0x80000001n, 0x100000000n, 0x80000001n], 545 [0xfffffffen, 0x100000000n, 0xfffffffen], 546 [0xffffffffn, 0x100000000n, 0xffffffffn], 547 [0x100000000n, 0x100000000n, 0n], 548 [0x100000001n, 0x100000000n, 1n], 549 [0x7ffffffffffffffen, 0x100000000n, 0xfffffffen], 550 [0x7fffffffffffffffn, 0x100000000n, 0xffffffffn], 551 [0x8000000000000000n, 0x100000000n, 0n], 552 [0x8000000000000001n, 0x100000000n, 1n], 553 [0xfffffffffffffffen, 0x100000000n, 0xfffffffen], 554 [0xffffffffffffffffn, 0x100000000n, 0xffffffffn], 555 [0x10000000000000000n, 0x100000000n, 0n], 556 [0x10000000000000001n, 0x100000000n, 1n], 557 [-0x10000000000000001n, 0x100000001n, -2n], 558 [-0x10000000000000000n, 0x100000001n, -1n], 559 [-0xffffffffffffffffn, 0x100000001n, 0n], 560 [-0xfffffffffffffffen, 0x100000001n, -0x100000000n], 561 [-0x8000000000000001n, 0x100000001n, -0x80000002n], 562 [-0x8000000000000000n, 0x100000001n, -0x80000001n], 563 [-0x7fffffffffffffffn, 0x100000001n, -0x80000000n], 564 [-0x7ffffffffffffffen, 0x100000001n, -0x7fffffffn], 565 [-0x100000001n, 0x100000001n, 0n], 566 [-0x100000000n, 0x100000001n, -0x100000000n], 567 [-0xffffffffn, 0x100000001n, -0xffffffffn], 568 [-0xfffffffen, 0x100000001n, -0xfffffffen], 569 [-0x80000001n, 0x100000001n, -0x80000001n], 570 [-0x80000000n, 0x100000001n, -0x80000000n], 571 [-0x7fffffffn, 0x100000001n, -0x7fffffffn], 572 [-0x7ffffffen, 0x100000001n, -0x7ffffffen], 573 [-2n, 0x100000001n, -2n], 574 [-1n, 0x100000001n, -1n], 575 [0n, 0x100000001n, 0n], 576 [1n, 0x100000001n, 1n], 577 [2n, 0x100000001n, 2n], 578 [0x7ffffffen, 0x100000001n, 0x7ffffffen], 579 [0x7fffffffn, 0x100000001n, 0x7fffffffn], 580 [0x80000000n, 0x100000001n, 0x80000000n], 581 [0x80000001n, 0x100000001n, 0x80000001n], 582 [0xfffffffen, 0x100000001n, 0xfffffffen], 583 [0xffffffffn, 0x100000001n, 0xffffffffn], 584 [0x100000000n, 0x100000001n, 0x100000000n], 585 [0x100000001n, 0x100000001n, 0n], 586 [0x7ffffffffffffffen, 0x100000001n, 0x7fffffffn], 587 [0x7fffffffffffffffn, 0x100000001n, 0x80000000n], 588 [0x8000000000000000n, 0x100000001n, 0x80000001n], 589 [0x8000000000000001n, 0x100000001n, 0x80000002n], 590 [0xfffffffffffffffen, 0x100000001n, 0x100000000n], 591 [0xffffffffffffffffn, 0x100000001n, 0n], 592 [0x10000000000000000n, 0x100000001n, 1n], 593 [0x10000000000000001n, 0x100000001n, 2n], 594 [-0x10000000000000001n, -0x100000001n, -2n], 595 [-0x10000000000000000n, -0x100000001n, -1n], 596 [-0xffffffffffffffffn, -0x100000001n, 0n], 597 [-0xfffffffffffffffen, -0x100000001n, -0x100000000n], 598 [-0x8000000000000001n, -0x100000001n, -0x80000002n], 599 [-0x8000000000000000n, -0x100000001n, -0x80000001n], 600 [-0x7fffffffffffffffn, -0x100000001n, -0x80000000n], 601 [-0x7ffffffffffffffen, -0x100000001n, -0x7fffffffn], 602 [-0x100000001n, -0x100000001n, 0n], 603 [-0x100000000n, -0x100000001n, -0x100000000n], 604 [-0xffffffffn, -0x100000001n, -0xffffffffn], 605 [-0xfffffffen, -0x100000001n, -0xfffffffen], 606 [-0x80000001n, -0x100000001n, -0x80000001n], 607 [-0x80000000n, -0x100000001n, -0x80000000n], 608 [-0x7fffffffn, -0x100000001n, -0x7fffffffn], 609 [-0x7ffffffen, -0x100000001n, -0x7ffffffen], 610 [-2n, -0x100000001n, -2n], 611 [-1n, -0x100000001n, -1n], 612 [0n, -0x100000001n, 0n], 613 [1n, -0x100000001n, 1n], 614 [2n, -0x100000001n, 2n], 615 [0x7ffffffen, -0x100000001n, 0x7ffffffen], 616 [0x7fffffffn, -0x100000001n, 0x7fffffffn], 617 [0x80000000n, -0x100000001n, 0x80000000n], 618 [0x80000001n, -0x100000001n, 0x80000001n], 619 [0xfffffffen, -0x100000001n, 0xfffffffen], 620 [0xffffffffn, -0x100000001n, 0xffffffffn], 621 [0x100000000n, -0x100000001n, 0x100000000n], 622 [0x100000001n, -0x100000001n, 0n], 623 [0x7ffffffffffffffen, -0x100000001n, 0x7fffffffn], 624 [0x7fffffffffffffffn, -0x100000001n, 0x80000000n], 625 [0x8000000000000000n, -0x100000001n, 0x80000001n], 626 [0x8000000000000001n, -0x100000001n, 0x80000002n], 627 [0xfffffffffffffffen, -0x100000001n, 0x100000000n], 628 [0xffffffffffffffffn, -0x100000001n, 0n], 629 [0x10000000000000000n, -0x100000001n, 1n], 630 [0x10000000000000001n, -0x100000001n, 2n], 631 [-0x10000000000000001n, -0x100000000n, -1n], 632 [-0x10000000000000000n, -0x100000000n, 0n], 633 [-0xffffffffffffffffn, -0x100000000n, -0xffffffffn], 634 [-0xfffffffffffffffen, -0x100000000n, -0xfffffffen], 635 [-0x8000000000000001n, -0x100000000n, -1n], 636 [-0x8000000000000000n, -0x100000000n, 0n], 637 [-0x7fffffffffffffffn, -0x100000000n, -0xffffffffn], 638 [-0x7ffffffffffffffen, -0x100000000n, -0xfffffffen], 639 [-0x100000001n, -0x100000000n, -1n], 640 [-0x100000000n, -0x100000000n, 0n], 641 [-0xffffffffn, -0x100000000n, -0xffffffffn], 642 [-0xfffffffen, -0x100000000n, -0xfffffffen], 643 [-0x80000001n, -0x100000000n, -0x80000001n], 644 [-0x80000000n, -0x100000000n, -0x80000000n], 645 [-0x7fffffffn, -0x100000000n, -0x7fffffffn], 646 [-0x7ffffffen, -0x100000000n, -0x7ffffffen], 647 [-2n, -0x100000000n, -2n], 648 [-1n, -0x100000000n, -1n], 649 [0n, -0x100000000n, 0n], 650 [1n, -0x100000000n, 1n], 651 [2n, -0x100000000n, 2n], 652 [0x7ffffffen, -0x100000000n, 0x7ffffffen], 653 [0x7fffffffn, -0x100000000n, 0x7fffffffn], 654 [0x80000000n, -0x100000000n, 0x80000000n], 655 [0x80000001n, -0x100000000n, 0x80000001n], 656 [0xfffffffen, -0x100000000n, 0xfffffffen], 657 [0xffffffffn, -0x100000000n, 0xffffffffn], 658 [0x100000000n, -0x100000000n, 0n], 659 [0x100000001n, -0x100000000n, 1n], 660 [0x7ffffffffffffffen, -0x100000000n, 0xfffffffen], 661 [0x7fffffffffffffffn, -0x100000000n, 0xffffffffn], 662 [0x8000000000000000n, -0x100000000n, 0n], 663 [0x8000000000000001n, -0x100000000n, 1n], 664 [0xfffffffffffffffen, -0x100000000n, 0xfffffffen], 665 [0xffffffffffffffffn, -0x100000000n, 0xffffffffn], 666 [0x10000000000000000n, -0x100000000n, 0n], 667 [0x10000000000000001n, -0x100000000n, 1n], 668 [-0x10000000000000001n, -0xffffffffn, -2n], 669 [-0x10000000000000000n, -0xffffffffn, -1n], 670 [-0xffffffffffffffffn, -0xffffffffn, 0n], 671 [-0xfffffffffffffffen, -0xffffffffn, -0xfffffffen], 672 [-0x8000000000000001n, -0xffffffffn, -0x80000001n], 673 [-0x8000000000000000n, -0xffffffffn, -0x80000000n], 674 [-0x7fffffffffffffffn, -0xffffffffn, -0x7fffffffn], 675 [-0x7ffffffffffffffen, -0xffffffffn, -0x7ffffffen], 676 [-0x100000001n, -0xffffffffn, -2n], 677 [-0x100000000n, -0xffffffffn, -1n], 678 [-0xffffffffn, -0xffffffffn, 0n], 679 [-0xfffffffen, -0xffffffffn, -0xfffffffen], 680 [-0x80000001n, -0xffffffffn, -0x80000001n], 681 [-0x80000000n, -0xffffffffn, -0x80000000n], 682 [-0x7fffffffn, -0xffffffffn, -0x7fffffffn], 683 [-0x7ffffffen, -0xffffffffn, -0x7ffffffen], 684 [-2n, -0xffffffffn, -2n], 685 [-1n, -0xffffffffn, -1n], 686 [0n, -0xffffffffn, 0n], 687 [1n, -0xffffffffn, 1n], 688 [2n, -0xffffffffn, 2n], 689 [0x7ffffffen, -0xffffffffn, 0x7ffffffen], 690 [0x7fffffffn, -0xffffffffn, 0x7fffffffn], 691 [0x80000000n, -0xffffffffn, 0x80000000n], 692 [0x80000001n, -0xffffffffn, 0x80000001n], 693 [0xfffffffen, -0xffffffffn, 0xfffffffen], 694 [0xffffffffn, -0xffffffffn, 0n], 695 [0x100000000n, -0xffffffffn, 1n], 696 [0x100000001n, -0xffffffffn, 2n], 697 [0x7ffffffffffffffen, -0xffffffffn, 0x7ffffffen], 698 [0x7fffffffffffffffn, -0xffffffffn, 0x7fffffffn], 699 [0x8000000000000000n, -0xffffffffn, 0x80000000n], 700 [0x8000000000000001n, -0xffffffffn, 0x80000001n], 701 [0xfffffffffffffffen, -0xffffffffn, 0xfffffffen], 702 [0xffffffffffffffffn, -0xffffffffn, 0n], 703 [0x10000000000000000n, -0xffffffffn, 1n], 704 [0x10000000000000001n, -0xffffffffn, 2n], 705 [-0x10000000000000001n, -0xfffffffen, -5n], 706 [-0x10000000000000000n, -0xfffffffen, -4n], 707 [-0xffffffffffffffffn, -0xfffffffen, -3n], 708 [-0xfffffffffffffffen, -0xfffffffen, -2n], 709 [-0x8000000000000001n, -0xfffffffen, -3n], 710 [-0x8000000000000000n, -0xfffffffen, -2n], 711 [-0x7fffffffffffffffn, -0xfffffffen, -1n], 712 [-0x7ffffffffffffffen, -0xfffffffen, 0n], 713 [-0x100000001n, -0xfffffffen, -3n], 714 [-0x100000000n, -0xfffffffen, -2n], 715 [-0xffffffffn, -0xfffffffen, -1n], 716 [-0xfffffffen, -0xfffffffen, 0n], 717 [-0x80000001n, -0xfffffffen, -0x80000001n], 718 [-0x80000000n, -0xfffffffen, -0x80000000n], 719 [-0x7fffffffn, -0xfffffffen, -0x7fffffffn], 720 [-0x7ffffffen, -0xfffffffen, -0x7ffffffen], 721 [-2n, -0xfffffffen, -2n], 722 [-1n, -0xfffffffen, -1n], 723 [0n, -0xfffffffen, 0n], 724 [1n, -0xfffffffen, 1n], 725 [2n, -0xfffffffen, 2n], 726 [0x7ffffffen, -0xfffffffen, 0x7ffffffen], 727 [0x7fffffffn, -0xfffffffen, 0x7fffffffn], 728 [0x80000000n, -0xfffffffen, 0x80000000n], 729 [0x80000001n, -0xfffffffen, 0x80000001n], 730 [0xfffffffen, -0xfffffffen, 0n], 731 [0xffffffffn, -0xfffffffen, 1n], 732 [0x100000000n, -0xfffffffen, 2n], 733 [0x100000001n, -0xfffffffen, 3n], 734 [0x7ffffffffffffffen, -0xfffffffen, 0n], 735 [0x7fffffffffffffffn, -0xfffffffen, 1n], 736 [0x8000000000000000n, -0xfffffffen, 2n], 737 [0x8000000000000001n, -0xfffffffen, 3n], 738 [0xfffffffffffffffen, -0xfffffffen, 2n], 739 [0xffffffffffffffffn, -0xfffffffen, 3n], 740 [0x10000000000000000n, -0xfffffffen, 4n], 741 [0x10000000000000001n, -0xfffffffen, 5n], 742 [-0x10000000000000001n, 0x7ffffffffffffffen, -5n], 743 [-0x10000000000000000n, 0x7ffffffffffffffen, -4n], 744 [-0xffffffffffffffffn, 0x7ffffffffffffffen, -3n], 745 [-0xfffffffffffffffen, 0x7ffffffffffffffen, -2n], 746 [-0x8000000000000001n, 0x7ffffffffffffffen, -3n], 747 [-0x8000000000000000n, 0x7ffffffffffffffen, -2n], 748 [-0x7fffffffffffffffn, 0x7ffffffffffffffen, -1n], 749 [-0x7ffffffffffffffen, 0x7ffffffffffffffen, 0n], 750 [-0x100000001n, 0x7ffffffffffffffen, -0x100000001n], 751 [-0x100000000n, 0x7ffffffffffffffen, -0x100000000n], 752 [-0xffffffffn, 0x7ffffffffffffffen, -0xffffffffn], 753 [-0xfffffffen, 0x7ffffffffffffffen, -0xfffffffen], 754 [-0x80000001n, 0x7ffffffffffffffen, -0x80000001n], 755 [-0x80000000n, 0x7ffffffffffffffen, -0x80000000n], 756 [-0x7fffffffn, 0x7ffffffffffffffen, -0x7fffffffn], 757 [-0x7ffffffen, 0x7ffffffffffffffen, -0x7ffffffen], 758 [-2n, 0x7ffffffffffffffen, -2n], 759 [-1n, 0x7ffffffffffffffen, -1n], 760 [0n, 0x7ffffffffffffffen, 0n], 761 [1n, 0x7ffffffffffffffen, 1n], 762 [2n, 0x7ffffffffffffffen, 2n], 763 [0x7ffffffen, 0x7ffffffffffffffen, 0x7ffffffen], 764 [0x7fffffffn, 0x7ffffffffffffffen, 0x7fffffffn], 765 [0x80000000n, 0x7ffffffffffffffen, 0x80000000n], 766 [0x80000001n, 0x7ffffffffffffffen, 0x80000001n], 767 [0xfffffffen, 0x7ffffffffffffffen, 0xfffffffen], 768 [0xffffffffn, 0x7ffffffffffffffen, 0xffffffffn], 769 [0x100000000n, 0x7ffffffffffffffen, 0x100000000n], 770 [0x100000001n, 0x7ffffffffffffffen, 0x100000001n], 771 [0x7ffffffffffffffen, 0x7ffffffffffffffen, 0n], 772 [0x7fffffffffffffffn, 0x7ffffffffffffffen, 1n], 773 [0x8000000000000000n, 0x7ffffffffffffffen, 2n], 774 [0x8000000000000001n, 0x7ffffffffffffffen, 3n], 775 [0xfffffffffffffffen, 0x7ffffffffffffffen, 2n], 776 [0xffffffffffffffffn, 0x7ffffffffffffffen, 3n], 777 [0x10000000000000000n, 0x7ffffffffffffffen, 4n], 778 [0x10000000000000001n, 0x7ffffffffffffffen, 5n], 779 [-0x10000000000000001n, 0x7fffffffffffffffn, -3n], 780 [-0x10000000000000000n, 0x7fffffffffffffffn, -2n], 781 [-0xffffffffffffffffn, 0x7fffffffffffffffn, -1n], 782 [-0xfffffffffffffffen, 0x7fffffffffffffffn, 0n], 783 [-0x8000000000000001n, 0x7fffffffffffffffn, -2n], 784 [-0x8000000000000000n, 0x7fffffffffffffffn, -1n], 785 [-0x7fffffffffffffffn, 0x7fffffffffffffffn, 0n], 786 [-0x7ffffffffffffffen, 0x7fffffffffffffffn, -0x7ffffffffffffffen], 787 [-0x100000001n, 0x7fffffffffffffffn, -0x100000001n], 788 [-0x100000000n, 0x7fffffffffffffffn, -0x100000000n], 789 [-0xffffffffn, 0x7fffffffffffffffn, -0xffffffffn], 790 [-0xfffffffen, 0x7fffffffffffffffn, -0xfffffffen], 791 [-0x80000001n, 0x7fffffffffffffffn, -0x80000001n], 792 [-0x80000000n, 0x7fffffffffffffffn, -0x80000000n], 793 [-0x7fffffffn, 0x7fffffffffffffffn, -0x7fffffffn], 794 [-0x7ffffffen, 0x7fffffffffffffffn, -0x7ffffffen], 795 [-2n, 0x7fffffffffffffffn, -2n], 796 [-1n, 0x7fffffffffffffffn, -1n], 797 [0n, 0x7fffffffffffffffn, 0n], 798 [1n, 0x7fffffffffffffffn, 1n], 799 [2n, 0x7fffffffffffffffn, 2n], 800 [0x7ffffffen, 0x7fffffffffffffffn, 0x7ffffffen], 801 [0x7fffffffn, 0x7fffffffffffffffn, 0x7fffffffn], 802 [0x80000000n, 0x7fffffffffffffffn, 0x80000000n], 803 [0x80000001n, 0x7fffffffffffffffn, 0x80000001n], 804 [0xfffffffen, 0x7fffffffffffffffn, 0xfffffffen], 805 [0xffffffffn, 0x7fffffffffffffffn, 0xffffffffn], 806 [0x100000000n, 0x7fffffffffffffffn, 0x100000000n], 807 [0x100000001n, 0x7fffffffffffffffn, 0x100000001n], 808 [0x7ffffffffffffffen, 0x7fffffffffffffffn, 0x7ffffffffffffffen], 809 [0x7fffffffffffffffn, 0x7fffffffffffffffn, 0n], 810 [0x8000000000000000n, 0x7fffffffffffffffn, 1n], 811 [0x8000000000000001n, 0x7fffffffffffffffn, 2n], 812 [0xfffffffffffffffen, 0x7fffffffffffffffn, 0n], 813 [0xffffffffffffffffn, 0x7fffffffffffffffn, 1n], 814 [0x10000000000000000n, 0x7fffffffffffffffn, 2n], 815 [0x10000000000000001n, 0x7fffffffffffffffn, 3n], 816 [-0x10000000000000001n, 0x8000000000000000n, -1n], 817 [-0x10000000000000000n, 0x8000000000000000n, 0n], 818 [-0xffffffffffffffffn, 0x8000000000000000n, -0x7fffffffffffffffn], 819 [-0xfffffffffffffffen, 0x8000000000000000n, -0x7ffffffffffffffen], 820 [-0x8000000000000001n, 0x8000000000000000n, -1n], 821 [-0x8000000000000000n, 0x8000000000000000n, 0n], 822 [-0x7fffffffffffffffn, 0x8000000000000000n, -0x7fffffffffffffffn], 823 [-0x7ffffffffffffffen, 0x8000000000000000n, -0x7ffffffffffffffen], 824 [-0x100000001n, 0x8000000000000000n, -0x100000001n], 825 [-0x100000000n, 0x8000000000000000n, -0x100000000n], 826 [-0xffffffffn, 0x8000000000000000n, -0xffffffffn], 827 [-0xfffffffen, 0x8000000000000000n, -0xfffffffen], 828 [-0x80000001n, 0x8000000000000000n, -0x80000001n], 829 [-0x80000000n, 0x8000000000000000n, -0x80000000n], 830 [-0x7fffffffn, 0x8000000000000000n, -0x7fffffffn], 831 [-0x7ffffffen, 0x8000000000000000n, -0x7ffffffen], 832 [-2n, 0x8000000000000000n, -2n], 833 [-1n, 0x8000000000000000n, -1n], 834 [0n, 0x8000000000000000n, 0n], 835 [1n, 0x8000000000000000n, 1n], 836 [2n, 0x8000000000000000n, 2n], 837 [0x7ffffffen, 0x8000000000000000n, 0x7ffffffen], 838 [0x7fffffffn, 0x8000000000000000n, 0x7fffffffn], 839 [0x80000000n, 0x8000000000000000n, 0x80000000n], 840 [0x80000001n, 0x8000000000000000n, 0x80000001n], 841 [0xfffffffen, 0x8000000000000000n, 0xfffffffen], 842 [0xffffffffn, 0x8000000000000000n, 0xffffffffn], 843 [0x100000000n, 0x8000000000000000n, 0x100000000n], 844 [0x100000001n, 0x8000000000000000n, 0x100000001n], 845 [0x7ffffffffffffffen, 0x8000000000000000n, 0x7ffffffffffffffen], 846 [0x7fffffffffffffffn, 0x8000000000000000n, 0x7fffffffffffffffn], 847 [0x8000000000000000n, 0x8000000000000000n, 0n], 848 [0x8000000000000001n, 0x8000000000000000n, 1n], 849 [0xfffffffffffffffen, 0x8000000000000000n, 0x7ffffffffffffffen], 850 [0xffffffffffffffffn, 0x8000000000000000n, 0x7fffffffffffffffn], 851 [0x10000000000000000n, 0x8000000000000000n, 0n], 852 [0x10000000000000001n, 0x8000000000000000n, 1n], 853 [-0x10000000000000001n, 0x8000000000000001n, -0x8000000000000000n], 854 [-0x10000000000000000n, 0x8000000000000001n, -0x7fffffffffffffffn], 855 [-0xffffffffffffffffn, 0x8000000000000001n, -0x7ffffffffffffffen], 856 [-0xfffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffdn], 857 [-0x8000000000000001n, 0x8000000000000001n, 0n], 858 [-0x8000000000000000n, 0x8000000000000001n, -0x8000000000000000n], 859 [-0x7fffffffffffffffn, 0x8000000000000001n, -0x7fffffffffffffffn], 860 [-0x7ffffffffffffffen, 0x8000000000000001n, -0x7ffffffffffffffen], 861 [-0x100000001n, 0x8000000000000001n, -0x100000001n], 862 [-0x100000000n, 0x8000000000000001n, -0x100000000n], 863 [-0xffffffffn, 0x8000000000000001n, -0xffffffffn], 864 [-0xfffffffen, 0x8000000000000001n, -0xfffffffen], 865 [-0x80000001n, 0x8000000000000001n, -0x80000001n], 866 [-0x80000000n, 0x8000000000000001n, -0x80000000n], 867 [-0x7fffffffn, 0x8000000000000001n, -0x7fffffffn], 868 [-0x7ffffffen, 0x8000000000000001n, -0x7ffffffen], 869 [-2n, 0x8000000000000001n, -2n], 870 [-1n, 0x8000000000000001n, -1n], 871 [0n, 0x8000000000000001n, 0n], 872 [1n, 0x8000000000000001n, 1n], 873 [2n, 0x8000000000000001n, 2n], 874 [0x7ffffffen, 0x8000000000000001n, 0x7ffffffen], 875 [0x7fffffffn, 0x8000000000000001n, 0x7fffffffn], 876 [0x80000000n, 0x8000000000000001n, 0x80000000n], 877 [0x80000001n, 0x8000000000000001n, 0x80000001n], 878 [0xfffffffen, 0x8000000000000001n, 0xfffffffen], 879 [0xffffffffn, 0x8000000000000001n, 0xffffffffn], 880 [0x100000000n, 0x8000000000000001n, 0x100000000n], 881 [0x100000001n, 0x8000000000000001n, 0x100000001n], 882 [0x7ffffffffffffffen, 0x8000000000000001n, 0x7ffffffffffffffen], 883 [0x7fffffffffffffffn, 0x8000000000000001n, 0x7fffffffffffffffn], 884 [0x8000000000000000n, 0x8000000000000001n, 0x8000000000000000n], 885 [0x8000000000000001n, 0x8000000000000001n, 0n], 886 [0xfffffffffffffffen, 0x8000000000000001n, 0x7ffffffffffffffdn], 887 [0xffffffffffffffffn, 0x8000000000000001n, 0x7ffffffffffffffen], 888 [0x10000000000000000n, 0x8000000000000001n, 0x7fffffffffffffffn], 889 [0x10000000000000001n, 0x8000000000000001n, 0x8000000000000000n], 890 [-0x10000000000000001n, -0x8000000000000001n, -0x8000000000000000n], 891 [-0x10000000000000000n, -0x8000000000000001n, -0x7fffffffffffffffn], 892 [-0xffffffffffffffffn, -0x8000000000000001n, -0x7ffffffffffffffen], 893 [-0xfffffffffffffffen, -0x8000000000000001n, -0x7ffffffffffffffdn], 894 [-0x8000000000000001n, -0x8000000000000001n, 0n], 895 [-0x8000000000000000n, -0x8000000000000001n, -0x8000000000000000n], 896 [-0x7fffffffffffffffn, -0x8000000000000001n, -0x7fffffffffffffffn], 897 [-0x7ffffffffffffffen, -0x8000000000000001n, -0x7ffffffffffffffen], 898 [-0x100000001n, -0x8000000000000001n, -0x100000001n], 899 [-0x100000000n, -0x8000000000000001n, -0x100000000n], 900 [-0xffffffffn, -0x8000000000000001n, -0xffffffffn], 901 [-0xfffffffen, -0x8000000000000001n, -0xfffffffen], 902 [-0x80000001n, -0x8000000000000001n, -0x80000001n], 903 [-0x80000000n, -0x8000000000000001n, -0x80000000n], 904 [-0x7fffffffn, -0x8000000000000001n, -0x7fffffffn], 905 [-0x7ffffffen, -0x8000000000000001n, -0x7ffffffen], 906 [-2n, -0x8000000000000001n, -2n], 907 [-1n, -0x8000000000000001n, -1n], 908 [0n, -0x8000000000000001n, 0n], 909 [1n, -0x8000000000000001n, 1n], 910 [2n, -0x8000000000000001n, 2n], 911 [0x7ffffffen, -0x8000000000000001n, 0x7ffffffen], 912 [0x7fffffffn, -0x8000000000000001n, 0x7fffffffn], 913 [0x80000000n, -0x8000000000000001n, 0x80000000n], 914 [0x80000001n, -0x8000000000000001n, 0x80000001n], 915 [0xfffffffen, -0x8000000000000001n, 0xfffffffen], 916 [0xffffffffn, -0x8000000000000001n, 0xffffffffn], 917 [0x100000000n, -0x8000000000000001n, 0x100000000n], 918 [0x100000001n, -0x8000000000000001n, 0x100000001n], 919 [0x7ffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffen], 920 [0x7fffffffffffffffn, -0x8000000000000001n, 0x7fffffffffffffffn], 921 [0x8000000000000000n, -0x8000000000000001n, 0x8000000000000000n], 922 [0x8000000000000001n, -0x8000000000000001n, 0n], 923 [0xfffffffffffffffen, -0x8000000000000001n, 0x7ffffffffffffffdn], 924 [0xffffffffffffffffn, -0x8000000000000001n, 0x7ffffffffffffffen], 925 [0x10000000000000000n, -0x8000000000000001n, 0x7fffffffffffffffn], 926 [0x10000000000000001n, -0x8000000000000001n, 0x8000000000000000n], 927 [-0x10000000000000001n, -0x8000000000000000n, -1n], 928 [-0x10000000000000000n, -0x8000000000000000n, 0n], 929 [-0xffffffffffffffffn, -0x8000000000000000n, -0x7fffffffffffffffn], 930 [-0xfffffffffffffffen, -0x8000000000000000n, -0x7ffffffffffffffen], 931 [-0x8000000000000001n, -0x8000000000000000n, -1n], 932 [-0x8000000000000000n, -0x8000000000000000n, 0n], 933 [-0x7fffffffffffffffn, -0x8000000000000000n, -0x7fffffffffffffffn], 934 [-0x7ffffffffffffffen, -0x8000000000000000n, -0x7ffffffffffffffen], 935 [-0x100000001n, -0x8000000000000000n, -0x100000001n], 936 [-0x100000000n, -0x8000000000000000n, -0x100000000n], 937 [-0xffffffffn, -0x8000000000000000n, -0xffffffffn], 938 [-0xfffffffen, -0x8000000000000000n, -0xfffffffen], 939 [-0x80000001n, -0x8000000000000000n, -0x80000001n], 940 [-0x80000000n, -0x8000000000000000n, -0x80000000n], 941 [-0x7fffffffn, -0x8000000000000000n, -0x7fffffffn], 942 [-0x7ffffffen, -0x8000000000000000n, -0x7ffffffen], 943 [-2n, -0x8000000000000000n, -2n], 944 [-1n, -0x8000000000000000n, -1n], 945 [0n, -0x8000000000000000n, 0n], 946 [1n, -0x8000000000000000n, 1n], 947 [2n, -0x8000000000000000n, 2n], 948 [0x7ffffffen, -0x8000000000000000n, 0x7ffffffen], 949 [0x7fffffffn, -0x8000000000000000n, 0x7fffffffn], 950 [0x80000000n, -0x8000000000000000n, 0x80000000n], 951 [0x80000001n, -0x8000000000000000n, 0x80000001n], 952 [0xfffffffen, -0x8000000000000000n, 0xfffffffen], 953 [0xffffffffn, -0x8000000000000000n, 0xffffffffn], 954 [0x100000000n, -0x8000000000000000n, 0x100000000n], 955 [0x100000001n, -0x8000000000000000n, 0x100000001n], 956 [0x7ffffffffffffffen, -0x8000000000000000n, 0x7ffffffffffffffen], 957 [0x7fffffffffffffffn, -0x8000000000000000n, 0x7fffffffffffffffn], 958 [0x8000000000000000n, -0x8000000000000000n, 0n], 959 [0x8000000000000001n, -0x8000000000000000n, 1n], 960 [0xfffffffffffffffen, -0x8000000000000000n, 0x7ffffffffffffffen], 961 [0xffffffffffffffffn, -0x8000000000000000n, 0x7fffffffffffffffn], 962 [0x10000000000000000n, -0x8000000000000000n, 0n], 963 [0x10000000000000001n, -0x8000000000000000n, 1n], 964 [-0x10000000000000001n, -0x7fffffffffffffffn, -3n], 965 [-0x10000000000000000n, -0x7fffffffffffffffn, -2n], 966 [-0xffffffffffffffffn, -0x7fffffffffffffffn, -1n], 967 [-0xfffffffffffffffen, -0x7fffffffffffffffn, 0n], 968 [-0x8000000000000001n, -0x7fffffffffffffffn, -2n], 969 [-0x8000000000000000n, -0x7fffffffffffffffn, -1n], 970 [-0x7fffffffffffffffn, -0x7fffffffffffffffn, 0n], 971 [-0x7ffffffffffffffen, -0x7fffffffffffffffn, -0x7ffffffffffffffen], 972 [-0x100000001n, -0x7fffffffffffffffn, -0x100000001n], 973 [-0x100000000n, -0x7fffffffffffffffn, -0x100000000n], 974 [-0xffffffffn, -0x7fffffffffffffffn, -0xffffffffn], 975 [-0xfffffffen, -0x7fffffffffffffffn, -0xfffffffen], 976 [-0x80000001n, -0x7fffffffffffffffn, -0x80000001n], 977 [-0x80000000n, -0x7fffffffffffffffn, -0x80000000n], 978 [-0x7fffffffn, -0x7fffffffffffffffn, -0x7fffffffn], 979 [-0x7ffffffen, -0x7fffffffffffffffn, -0x7ffffffen], 980 [-2n, -0x7fffffffffffffffn, -2n], 981 [-1n, -0x7fffffffffffffffn, -1n], 982 [0n, -0x7fffffffffffffffn, 0n], 983 [1n, -0x7fffffffffffffffn, 1n], 984 [2n, -0x7fffffffffffffffn, 2n], 985 [0x7ffffffen, -0x7fffffffffffffffn, 0x7ffffffen], 986 [0x7fffffffn, -0x7fffffffffffffffn, 0x7fffffffn], 987 [0x80000000n, -0x7fffffffffffffffn, 0x80000000n], 988 [0x80000001n, -0x7fffffffffffffffn, 0x80000001n], 989 [0xfffffffen, -0x7fffffffffffffffn, 0xfffffffen], 990 [0xffffffffn, -0x7fffffffffffffffn, 0xffffffffn], 991 [0x100000000n, -0x7fffffffffffffffn, 0x100000000n], 992 [0x100000001n, -0x7fffffffffffffffn, 0x100000001n], 993 [0x7ffffffffffffffen, -0x7fffffffffffffffn, 0x7ffffffffffffffen], 994 [0x7fffffffffffffffn, -0x7fffffffffffffffn, 0n], 995 [0x8000000000000000n, -0x7fffffffffffffffn, 1n], 996 [0x8000000000000001n, -0x7fffffffffffffffn, 2n], 997 [0xfffffffffffffffen, -0x7fffffffffffffffn, 0n], 998 [0xffffffffffffffffn, -0x7fffffffffffffffn, 1n], 999 [0x10000000000000000n, -0x7fffffffffffffffn, 2n], 1000 [0x10000000000000001n, -0x7fffffffffffffffn, 3n], 1001 [-0x10000000000000001n, -0x7ffffffffffffffen, -5n], 1002 [-0x10000000000000000n, -0x7ffffffffffffffen, -4n], 1003 [-0xffffffffffffffffn, -0x7ffffffffffffffen, -3n], 1004 [-0xfffffffffffffffen, -0x7ffffffffffffffen, -2n], 1005 [-0x8000000000000001n, -0x7ffffffffffffffen, -3n], 1006 [-0x8000000000000000n, -0x7ffffffffffffffen, -2n], 1007 [-0x7fffffffffffffffn, -0x7ffffffffffffffen, -1n], 1008 [-0x7ffffffffffffffen, -0x7ffffffffffffffen, 0n], 1009 [-0x100000001n, -0x7ffffffffffffffen, -0x100000001n], 1010 [-0x100000000n, -0x7ffffffffffffffen, -0x100000000n], 1011 [-0xffffffffn, -0x7ffffffffffffffen, -0xffffffffn], 1012 [-0xfffffffen, -0x7ffffffffffffffen, -0xfffffffen], 1013 [-0x80000001n, -0x7ffffffffffffffen, -0x80000001n], 1014 [-0x80000000n, -0x7ffffffffffffffen, -0x80000000n], 1015 [-0x7fffffffn, -0x7ffffffffffffffen, -0x7fffffffn], 1016 [-0x7ffffffen, -0x7ffffffffffffffen, -0x7ffffffen], 1017 [-2n, -0x7ffffffffffffffen, -2n], 1018 [-1n, -0x7ffffffffffffffen, -1n], 1019 [0n, -0x7ffffffffffffffen, 0n], 1020 [1n, -0x7ffffffffffffffen, 1n], 1021 [2n, -0x7ffffffffffffffen, 2n], 1022 [0x7ffffffen, -0x7ffffffffffffffen, 0x7ffffffen], 1023 [0x7fffffffn, -0x7ffffffffffffffen, 0x7fffffffn], 1024 [0x80000000n, -0x7ffffffffffffffen, 0x80000000n], 1025 [0x80000001n, -0x7ffffffffffffffen, 0x80000001n], 1026 [0xfffffffen, -0x7ffffffffffffffen, 0xfffffffen], 1027 [0xffffffffn, -0x7ffffffffffffffen, 0xffffffffn], 1028 [0x100000000n, -0x7ffffffffffffffen, 0x100000000n], 1029 [0x100000001n, -0x7ffffffffffffffen, 0x100000001n], 1030 [0x7ffffffffffffffen, -0x7ffffffffffffffen, 0n], 1031 [0x7fffffffffffffffn, -0x7ffffffffffffffen, 1n], 1032 [0x8000000000000000n, -0x7ffffffffffffffen, 2n], 1033 [0x8000000000000001n, -0x7ffffffffffffffen, 3n], 1034 [0xfffffffffffffffen, -0x7ffffffffffffffen, 2n], 1035 [0xffffffffffffffffn, -0x7ffffffffffffffen, 3n], 1036 [0x10000000000000000n, -0x7ffffffffffffffen, 4n], 1037 [0x10000000000000001n, -0x7ffffffffffffffen, 5n], 1038 [-0x10000000000000001n, 0xfffffffffffffffen, -3n], 1039 [-0x10000000000000000n, 0xfffffffffffffffen, -2n], 1040 [-0xffffffffffffffffn, 0xfffffffffffffffen, -1n], 1041 [-0xfffffffffffffffen, 0xfffffffffffffffen, 0n], 1042 [-0x8000000000000001n, 0xfffffffffffffffen, -0x8000000000000001n], 1043 [-0x8000000000000000n, 0xfffffffffffffffen, -0x8000000000000000n], 1044 [-0x7fffffffffffffffn, 0xfffffffffffffffen, -0x7fffffffffffffffn], 1045 [-0x7ffffffffffffffen, 0xfffffffffffffffen, -0x7ffffffffffffffen], 1046 [-0x100000001n, 0xfffffffffffffffen, -0x100000001n], 1047 [-0x100000000n, 0xfffffffffffffffen, -0x100000000n], 1048 [-0xffffffffn, 0xfffffffffffffffen, -0xffffffffn], 1049 [-0xfffffffen, 0xfffffffffffffffen, -0xfffffffen], 1050 [-0x80000001n, 0xfffffffffffffffen, -0x80000001n], 1051 [-0x80000000n, 0xfffffffffffffffen, -0x80000000n], 1052 [-0x7fffffffn, 0xfffffffffffffffen, -0x7fffffffn], 1053 [-0x7ffffffen, 0xfffffffffffffffen, -0x7ffffffen], 1054 [-2n, 0xfffffffffffffffen, -2n], 1055 [-1n, 0xfffffffffffffffen, -1n], 1056 [0n, 0xfffffffffffffffen, 0n], 1057 [1n, 0xfffffffffffffffen, 1n], 1058 [2n, 0xfffffffffffffffen, 2n], 1059 [0x7ffffffen, 0xfffffffffffffffen, 0x7ffffffen], 1060 [0x7fffffffn, 0xfffffffffffffffen, 0x7fffffffn], 1061 [0x80000000n, 0xfffffffffffffffen, 0x80000000n], 1062 [0x80000001n, 0xfffffffffffffffen, 0x80000001n], 1063 [0xfffffffen, 0xfffffffffffffffen, 0xfffffffen], 1064 [0xffffffffn, 0xfffffffffffffffen, 0xffffffffn], 1065 [0x100000000n, 0xfffffffffffffffen, 0x100000000n], 1066 [0x100000001n, 0xfffffffffffffffen, 0x100000001n], 1067 [0x7ffffffffffffffen, 0xfffffffffffffffen, 0x7ffffffffffffffen], 1068 [0x7fffffffffffffffn, 0xfffffffffffffffen, 0x7fffffffffffffffn], 1069 [0x8000000000000000n, 0xfffffffffffffffen, 0x8000000000000000n], 1070 [0x8000000000000001n, 0xfffffffffffffffen, 0x8000000000000001n], 1071 [0xfffffffffffffffen, 0xfffffffffffffffen, 0n], 1072 [0xffffffffffffffffn, 0xfffffffffffffffen, 1n], 1073 [0x10000000000000000n, 0xfffffffffffffffen, 2n], 1074 [0x10000000000000001n, 0xfffffffffffffffen, 3n], 1075 [-0x10000000000000001n, 0xffffffffffffffffn, -2n], 1076 [-0x10000000000000000n, 0xffffffffffffffffn, -1n], 1077 [-0xffffffffffffffffn, 0xffffffffffffffffn, 0n], 1078 [-0xfffffffffffffffen, 0xffffffffffffffffn, -0xfffffffffffffffen], 1079 [-0x8000000000000001n, 0xffffffffffffffffn, -0x8000000000000001n], 1080 [-0x8000000000000000n, 0xffffffffffffffffn, -0x8000000000000000n], 1081 [-0x7fffffffffffffffn, 0xffffffffffffffffn, -0x7fffffffffffffffn], 1082 [-0x7ffffffffffffffen, 0xffffffffffffffffn, -0x7ffffffffffffffen], 1083 [-0x100000001n, 0xffffffffffffffffn, -0x100000001n], 1084 [-0x100000000n, 0xffffffffffffffffn, -0x100000000n], 1085 [-0xffffffffn, 0xffffffffffffffffn, -0xffffffffn], 1086 [-0xfffffffen, 0xffffffffffffffffn, -0xfffffffen], 1087 [-0x80000001n, 0xffffffffffffffffn, -0x80000001n], 1088 [-0x80000000n, 0xffffffffffffffffn, -0x80000000n], 1089 [-0x7fffffffn, 0xffffffffffffffffn, -0x7fffffffn], 1090 [-0x7ffffffen, 0xffffffffffffffffn, -0x7ffffffen], 1091 [-2n, 0xffffffffffffffffn, -2n], 1092 [-1n, 0xffffffffffffffffn, -1n], 1093 [0n, 0xffffffffffffffffn, 0n], 1094 [1n, 0xffffffffffffffffn, 1n], 1095 [2n, 0xffffffffffffffffn, 2n], 1096 [0x7ffffffen, 0xffffffffffffffffn, 0x7ffffffen], 1097 [0x7fffffffn, 0xffffffffffffffffn, 0x7fffffffn], 1098 [0x80000000n, 0xffffffffffffffffn, 0x80000000n], 1099 [0x80000001n, 0xffffffffffffffffn, 0x80000001n], 1100 [0xfffffffen, 0xffffffffffffffffn, 0xfffffffen], 1101 [0xffffffffn, 0xffffffffffffffffn, 0xffffffffn], 1102 [0x100000000n, 0xffffffffffffffffn, 0x100000000n], 1103 [0x100000001n, 0xffffffffffffffffn, 0x100000001n], 1104 [0x7ffffffffffffffen, 0xffffffffffffffffn, 0x7ffffffffffffffen], 1105 [0x7fffffffffffffffn, 0xffffffffffffffffn, 0x7fffffffffffffffn], 1106 [0x8000000000000000n, 0xffffffffffffffffn, 0x8000000000000000n], 1107 [0x8000000000000001n, 0xffffffffffffffffn, 0x8000000000000001n], 1108 [0xfffffffffffffffen, 0xffffffffffffffffn, 0xfffffffffffffffen], 1109 [0xffffffffffffffffn, 0xffffffffffffffffn, 0n], 1110 [0x10000000000000000n, 0xffffffffffffffffn, 1n], 1111 [0x10000000000000001n, 0xffffffffffffffffn, 2n], 1112 [-0x10000000000000001n, 0x10000000000000000n, -1n], 1113 [-0x10000000000000000n, 0x10000000000000000n, 0n], 1114 [-0xffffffffffffffffn, 0x10000000000000000n, -0xffffffffffffffffn], 1115 [-0xfffffffffffffffen, 0x10000000000000000n, -0xfffffffffffffffen], 1116 [-0x8000000000000001n, 0x10000000000000000n, -0x8000000000000001n], 1117 [-0x8000000000000000n, 0x10000000000000000n, -0x8000000000000000n], 1118 [-0x7fffffffffffffffn, 0x10000000000000000n, -0x7fffffffffffffffn], 1119 [-0x7ffffffffffffffen, 0x10000000000000000n, -0x7ffffffffffffffen], 1120 [-0x100000001n, 0x10000000000000000n, -0x100000001n], 1121 [-0x100000000n, 0x10000000000000000n, -0x100000000n], 1122 [-0xffffffffn, 0x10000000000000000n, -0xffffffffn], 1123 [-0xfffffffen, 0x10000000000000000n, -0xfffffffen], 1124 [-0x80000001n, 0x10000000000000000n, -0x80000001n], 1125 [-0x80000000n, 0x10000000000000000n, -0x80000000n], 1126 [-0x7fffffffn, 0x10000000000000000n, -0x7fffffffn], 1127 [-0x7ffffffen, 0x10000000000000000n, -0x7ffffffen], 1128 [-2n, 0x10000000000000000n, -2n], 1129 [-1n, 0x10000000000000000n, -1n], 1130 [0n, 0x10000000000000000n, 0n], 1131 [1n, 0x10000000000000000n, 1n], 1132 [2n, 0x10000000000000000n, 2n], 1133 [0x7ffffffen, 0x10000000000000000n, 0x7ffffffen], 1134 [0x7fffffffn, 0x10000000000000000n, 0x7fffffffn], 1135 [0x80000000n, 0x10000000000000000n, 0x80000000n], 1136 [0x80000001n, 0x10000000000000000n, 0x80000001n], 1137 [0xfffffffen, 0x10000000000000000n, 0xfffffffen], 1138 [0xffffffffn, 0x10000000000000000n, 0xffffffffn], 1139 [0x100000000n, 0x10000000000000000n, 0x100000000n], 1140 [0x100000001n, 0x10000000000000000n, 0x100000001n], 1141 [0x7ffffffffffffffen, 0x10000000000000000n, 0x7ffffffffffffffen], 1142 [0x7fffffffffffffffn, 0x10000000000000000n, 0x7fffffffffffffffn], 1143 [0x8000000000000000n, 0x10000000000000000n, 0x8000000000000000n], 1144 [0x8000000000000001n, 0x10000000000000000n, 0x8000000000000001n], 1145 [0xfffffffffffffffen, 0x10000000000000000n, 0xfffffffffffffffen], 1146 [0xffffffffffffffffn, 0x10000000000000000n, 0xffffffffffffffffn], 1147 [0x10000000000000000n, 0x10000000000000000n, 0n], 1148 [0x10000000000000001n, 0x10000000000000000n, 1n], 1149 [-0x10000000000000001n, 0x10000000000000001n, 0n], 1150 [-0x10000000000000000n, 0x10000000000000001n, -0x10000000000000000n], 1151 [-0xffffffffffffffffn, 0x10000000000000001n, -0xffffffffffffffffn], 1152 [-0xfffffffffffffffen, 0x10000000000000001n, -0xfffffffffffffffen], 1153 [-0x8000000000000001n, 0x10000000000000001n, -0x8000000000000001n], 1154 [-0x8000000000000000n, 0x10000000000000001n, -0x8000000000000000n], 1155 [-0x7fffffffffffffffn, 0x10000000000000001n, -0x7fffffffffffffffn], 1156 [-0x7ffffffffffffffen, 0x10000000000000001n, -0x7ffffffffffffffen], 1157 [-0x100000001n, 0x10000000000000001n, -0x100000001n], 1158 [-0x100000000n, 0x10000000000000001n, -0x100000000n], 1159 [-0xffffffffn, 0x10000000000000001n, -0xffffffffn], 1160 [-0xfffffffen, 0x10000000000000001n, -0xfffffffen], 1161 [-0x80000001n, 0x10000000000000001n, -0x80000001n], 1162 [-0x80000000n, 0x10000000000000001n, -0x80000000n], 1163 [-0x7fffffffn, 0x10000000000000001n, -0x7fffffffn], 1164 [-0x7ffffffen, 0x10000000000000001n, -0x7ffffffen], 1165 [-2n, 0x10000000000000001n, -2n], 1166 [-1n, 0x10000000000000001n, -1n], 1167 [0n, 0x10000000000000001n, 0n], 1168 [1n, 0x10000000000000001n, 1n], 1169 [2n, 0x10000000000000001n, 2n], 1170 [0x7ffffffen, 0x10000000000000001n, 0x7ffffffen], 1171 [0x7fffffffn, 0x10000000000000001n, 0x7fffffffn], 1172 [0x80000000n, 0x10000000000000001n, 0x80000000n], 1173 [0x80000001n, 0x10000000000000001n, 0x80000001n], 1174 [0xfffffffen, 0x10000000000000001n, 0xfffffffen], 1175 [0xffffffffn, 0x10000000000000001n, 0xffffffffn], 1176 [0x100000000n, 0x10000000000000001n, 0x100000000n], 1177 [0x100000001n, 0x10000000000000001n, 0x100000001n], 1178 [0x7ffffffffffffffen, 0x10000000000000001n, 0x7ffffffffffffffen], 1179 [0x7fffffffffffffffn, 0x10000000000000001n, 0x7fffffffffffffffn], 1180 [0x8000000000000000n, 0x10000000000000001n, 0x8000000000000000n], 1181 [0x8000000000000001n, 0x10000000000000001n, 0x8000000000000001n], 1182 [0xfffffffffffffffen, 0x10000000000000001n, 0xfffffffffffffffen], 1183 [0xffffffffffffffffn, 0x10000000000000001n, 0xffffffffffffffffn], 1184 [0x10000000000000000n, 0x10000000000000001n, 0x10000000000000000n], 1185 [0x10000000000000001n, 0x10000000000000001n, 0n], 1186 [-0x10000000000000001n, -0x10000000000000001n, 0n], 1187 [-0x10000000000000000n, -0x10000000000000001n, -0x10000000000000000n], 1188 [-0xffffffffffffffffn, -0x10000000000000001n, -0xffffffffffffffffn], 1189 [-0xfffffffffffffffen, -0x10000000000000001n, -0xfffffffffffffffen], 1190 [-0x8000000000000001n, -0x10000000000000001n, -0x8000000000000001n], 1191 [-0x8000000000000000n, -0x10000000000000001n, -0x8000000000000000n], 1192 [-0x7fffffffffffffffn, -0x10000000000000001n, -0x7fffffffffffffffn], 1193 [-0x7ffffffffffffffen, -0x10000000000000001n, -0x7ffffffffffffffen], 1194 [-0x100000001n, -0x10000000000000001n, -0x100000001n], 1195 [-0x100000000n, -0x10000000000000001n, -0x100000000n], 1196 [-0xffffffffn, -0x10000000000000001n, -0xffffffffn], 1197 [-0xfffffffen, -0x10000000000000001n, -0xfffffffen], 1198 [-0x80000001n, -0x10000000000000001n, -0x80000001n], 1199 [-0x80000000n, -0x10000000000000001n, -0x80000000n], 1200 [-0x7fffffffn, -0x10000000000000001n, -0x7fffffffn], 1201 [-0x7ffffffen, -0x10000000000000001n, -0x7ffffffen], 1202 [-2n, -0x10000000000000001n, -2n], 1203 [-1n, -0x10000000000000001n, -1n], 1204 [0n, -0x10000000000000001n, 0n], 1205 [1n, -0x10000000000000001n, 1n], 1206 [2n, -0x10000000000000001n, 2n], 1207 [0x7ffffffen, -0x10000000000000001n, 0x7ffffffen], 1208 [0x7fffffffn, -0x10000000000000001n, 0x7fffffffn], 1209 [0x80000000n, -0x10000000000000001n, 0x80000000n], 1210 [0x80000001n, -0x10000000000000001n, 0x80000001n], 1211 [0xfffffffen, -0x10000000000000001n, 0xfffffffen], 1212 [0xffffffffn, -0x10000000000000001n, 0xffffffffn], 1213 [0x100000000n, -0x10000000000000001n, 0x100000000n], 1214 [0x100000001n, -0x10000000000000001n, 0x100000001n], 1215 [0x7ffffffffffffffen, -0x10000000000000001n, 0x7ffffffffffffffen], 1216 [0x7fffffffffffffffn, -0x10000000000000001n, 0x7fffffffffffffffn], 1217 [0x8000000000000000n, -0x10000000000000001n, 0x8000000000000000n], 1218 [0x8000000000000001n, -0x10000000000000001n, 0x8000000000000001n], 1219 [0xfffffffffffffffen, -0x10000000000000001n, 0xfffffffffffffffen], 1220 [0xffffffffffffffffn, -0x10000000000000001n, 0xffffffffffffffffn], 1221 [0x10000000000000000n, -0x10000000000000001n, 0x10000000000000000n], 1222 [0x10000000000000001n, -0x10000000000000001n, 0n], 1223 [-0x10000000000000001n, -0x10000000000000000n, -1n], 1224 [-0x10000000000000000n, -0x10000000000000000n, 0n], 1225 [-0xffffffffffffffffn, -0x10000000000000000n, -0xffffffffffffffffn], 1226 [-0xfffffffffffffffen, -0x10000000000000000n, -0xfffffffffffffffen], 1227 [-0x8000000000000001n, -0x10000000000000000n, -0x8000000000000001n], 1228 [-0x8000000000000000n, -0x10000000000000000n, -0x8000000000000000n], 1229 [-0x7fffffffffffffffn, -0x10000000000000000n, -0x7fffffffffffffffn], 1230 [-0x7ffffffffffffffen, -0x10000000000000000n, -0x7ffffffffffffffen], 1231 [-0x100000001n, -0x10000000000000000n, -0x100000001n], 1232 [-0x100000000n, -0x10000000000000000n, -0x100000000n], 1233 [-0xffffffffn, -0x10000000000000000n, -0xffffffffn], 1234 [-0xfffffffen, -0x10000000000000000n, -0xfffffffen], 1235 [-0x80000001n, -0x10000000000000000n, -0x80000001n], 1236 [-0x80000000n, -0x10000000000000000n, -0x80000000n], 1237 [-0x7fffffffn, -0x10000000000000000n, -0x7fffffffn], 1238 [-0x7ffffffen, -0x10000000000000000n, -0x7ffffffen], 1239 [-2n, -0x10000000000000000n, -2n], 1240 [-1n, -0x10000000000000000n, -1n], 1241 [0n, -0x10000000000000000n, 0n], 1242 [1n, -0x10000000000000000n, 1n], 1243 [2n, -0x10000000000000000n, 2n], 1244 [0x7ffffffen, -0x10000000000000000n, 0x7ffffffen], 1245 [0x7fffffffn, -0x10000000000000000n, 0x7fffffffn], 1246 [0x80000000n, -0x10000000000000000n, 0x80000000n], 1247 [0x80000001n, -0x10000000000000000n, 0x80000001n], 1248 [0xfffffffen, -0x10000000000000000n, 0xfffffffen], 1249 [0xffffffffn, -0x10000000000000000n, 0xffffffffn], 1250 [0x100000000n, -0x10000000000000000n, 0x100000000n], 1251 [0x100000001n, -0x10000000000000000n, 0x100000001n], 1252 [0x7ffffffffffffffen, -0x10000000000000000n, 0x7ffffffffffffffen], 1253 [0x7fffffffffffffffn, -0x10000000000000000n, 0x7fffffffffffffffn], 1254 [0x8000000000000000n, -0x10000000000000000n, 0x8000000000000000n], 1255 [0x8000000000000001n, -0x10000000000000000n, 0x8000000000000001n], 1256 [0xfffffffffffffffen, -0x10000000000000000n, 0xfffffffffffffffen], 1257 [0xffffffffffffffffn, -0x10000000000000000n, 0xffffffffffffffffn], 1258 [0x10000000000000000n, -0x10000000000000000n, 0n], 1259 [0x10000000000000001n, -0x10000000000000000n, 1n], 1260 [-0x10000000000000001n, -0xffffffffffffffffn, -2n], 1261 [-0x10000000000000000n, -0xffffffffffffffffn, -1n], 1262 [-0xffffffffffffffffn, -0xffffffffffffffffn, 0n], 1263 [-0xfffffffffffffffen, -0xffffffffffffffffn, -0xfffffffffffffffen], 1264 [-0x8000000000000001n, -0xffffffffffffffffn, -0x8000000000000001n], 1265 [-0x8000000000000000n, -0xffffffffffffffffn, -0x8000000000000000n], 1266 [-0x7fffffffffffffffn, -0xffffffffffffffffn, -0x7fffffffffffffffn], 1267 [-0x7ffffffffffffffen, -0xffffffffffffffffn, -0x7ffffffffffffffen], 1268 [-0x100000001n, -0xffffffffffffffffn, -0x100000001n], 1269 [-0x100000000n, -0xffffffffffffffffn, -0x100000000n], 1270 [-0xffffffffn, -0xffffffffffffffffn, -0xffffffffn], 1271 [-0xfffffffen, -0xffffffffffffffffn, -0xfffffffen], 1272 [-0x80000001n, -0xffffffffffffffffn, -0x80000001n], 1273 [-0x80000000n, -0xffffffffffffffffn, -0x80000000n], 1274 [-0x7fffffffn, -0xffffffffffffffffn, -0x7fffffffn], 1275 [-0x7ffffffen, -0xffffffffffffffffn, -0x7ffffffen], 1276 [-2n, -0xffffffffffffffffn, -2n], 1277 [-1n, -0xffffffffffffffffn, -1n], 1278 [0n, -0xffffffffffffffffn, 0n], 1279 [1n, -0xffffffffffffffffn, 1n], 1280 [2n, -0xffffffffffffffffn, 2n], 1281 [0x7ffffffen, -0xffffffffffffffffn, 0x7ffffffen], 1282 [0x7fffffffn, -0xffffffffffffffffn, 0x7fffffffn], 1283 [0x80000000n, -0xffffffffffffffffn, 0x80000000n], 1284 [0x80000001n, -0xffffffffffffffffn, 0x80000001n], 1285 [0xfffffffen, -0xffffffffffffffffn, 0xfffffffen], 1286 [0xffffffffn, -0xffffffffffffffffn, 0xffffffffn], 1287 [0x100000000n, -0xffffffffffffffffn, 0x100000000n], 1288 [0x100000001n, -0xffffffffffffffffn, 0x100000001n], 1289 [0x7ffffffffffffffen, -0xffffffffffffffffn, 0x7ffffffffffffffen], 1290 [0x7fffffffffffffffn, -0xffffffffffffffffn, 0x7fffffffffffffffn], 1291 [0x8000000000000000n, -0xffffffffffffffffn, 0x8000000000000000n], 1292 [0x8000000000000001n, -0xffffffffffffffffn, 0x8000000000000001n], 1293 [0xfffffffffffffffen, -0xffffffffffffffffn, 0xfffffffffffffffen], 1294 [0xffffffffffffffffn, -0xffffffffffffffffn, 0n], 1295 [0x10000000000000000n, -0xffffffffffffffffn, 1n], 1296 [0x10000000000000001n, -0xffffffffffffffffn, 2n], 1297 [-0x10000000000000001n, -0xfffffffffffffffen, -3n], 1298 [-0x10000000000000000n, -0xfffffffffffffffen, -2n], 1299 [-0xffffffffffffffffn, -0xfffffffffffffffen, -1n], 1300 [-0xfffffffffffffffen, -0xfffffffffffffffen, 0n], 1301 [-0x8000000000000001n, -0xfffffffffffffffen, -0x8000000000000001n], 1302 [-0x8000000000000000n, -0xfffffffffffffffen, -0x8000000000000000n], 1303 [-0x7fffffffffffffffn, -0xfffffffffffffffen, -0x7fffffffffffffffn], 1304 [-0x7ffffffffffffffen, -0xfffffffffffffffen, -0x7ffffffffffffffen], 1305 [-0x100000001n, -0xfffffffffffffffen, -0x100000001n], 1306 [-0x100000000n, -0xfffffffffffffffen, -0x100000000n], 1307 [-0xffffffffn, -0xfffffffffffffffen, -0xffffffffn], 1308 [-0xfffffffen, -0xfffffffffffffffen, -0xfffffffen], 1309 [-0x80000001n, -0xfffffffffffffffen, -0x80000001n], 1310 [-0x80000000n, -0xfffffffffffffffen, -0x80000000n], 1311 [-0x7fffffffn, -0xfffffffffffffffen, -0x7fffffffn], 1312 [-0x7ffffffen, -0xfffffffffffffffen, -0x7ffffffen], 1313 [-2n, -0xfffffffffffffffen, -2n], 1314 [-1n, -0xfffffffffffffffen, -1n], 1315 [0n, -0xfffffffffffffffen, 0n], 1316 [1n, -0xfffffffffffffffen, 1n], 1317 [2n, -0xfffffffffffffffen, 2n], 1318 [0x7ffffffen, -0xfffffffffffffffen, 0x7ffffffen], 1319 [0x7fffffffn, -0xfffffffffffffffen, 0x7fffffffn], 1320 [0x80000000n, -0xfffffffffffffffen, 0x80000000n], 1321 [0x80000001n, -0xfffffffffffffffen, 0x80000001n], 1322 [0xfffffffen, -0xfffffffffffffffen, 0xfffffffen], 1323 [0xffffffffn, -0xfffffffffffffffen, 0xffffffffn], 1324 [0x100000000n, -0xfffffffffffffffen, 0x100000000n], 1325 [0x100000001n, -0xfffffffffffffffen, 0x100000001n], 1326 [0x7ffffffffffffffen, -0xfffffffffffffffen, 0x7ffffffffffffffen], 1327 [0x7fffffffffffffffn, -0xfffffffffffffffen, 0x7fffffffffffffffn], 1328 [0x8000000000000000n, -0xfffffffffffffffen, 0x8000000000000000n], 1329 [0x8000000000000001n, -0xfffffffffffffffen, 0x8000000000000001n], 1330 [0xfffffffffffffffen, -0xfffffffffffffffen, 0n], 1331 [0xffffffffffffffffn, -0xfffffffffffffffen, 1n], 1332 [0x10000000000000000n, -0xfffffffffffffffen, 2n], 1333 [0x10000000000000001n, -0xfffffffffffffffen, 3n], 1334 ]; 1335 1336 function f(tests) { 1337 for (let test of tests) { 1338 let lhs = test[0], rhs = test[1], expected = test[2]; 1339 1340 assertEq(lhs % rhs, expected); 1341 } 1342 } 1343 1344 for (let i = 0; i < 10; ++i) { 1345 f(tests); 1346 }