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