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