| David Benjamin | 4a9313a | 2016-10-24 20:02:26 -0400 | [diff] [blame] | 1 | # Negation tests. |
| 2 | # |
| 3 | # The following tests satisfy A = -B (mod P). |
| 4 | |
| 5 | Test = Negate |
| 6 | A = 0000000000000000000000000000000000000000000000000000000000000000 |
| 7 | B = 0000000000000000000000000000000000000000000000000000000000000000 |
| 8 | |
| 9 | Test = Negate |
| 10 | A = 0000000000000000000000000000000000000000000000000000000000000001 |
| 11 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffffffe |
| 12 | |
| 13 | Test = Negate |
| 14 | A = 0000000000000000000000000000000000000000000000000000000000000003 |
| 15 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffffffc |
| 16 | |
| 17 | Test = Negate |
| 18 | A = 0000000000000000000000000000000000000000000000000000000000000007 |
| 19 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffffff8 |
| 20 | |
| 21 | Test = Negate |
| 22 | A = 000000000000000000000000000000000000000000000000000000000000000f |
| 23 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffffff0 |
| 24 | |
| 25 | Test = Negate |
| 26 | A = 000000000000000000000000000000000000000000000000000000000000001f |
| 27 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffffffe0 |
| 28 | |
| 29 | Test = Negate |
| 30 | A = 000000000000000000000000000000000000000000000000000000000000003f |
| 31 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffffffc0 |
| 32 | |
| 33 | Test = Negate |
| 34 | A = 000000000000000000000000000000000000000000000000000000000000007f |
| 35 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffffff80 |
| 36 | |
| 37 | Test = Negate |
| 38 | A = 00000000000000000000000000000000000000000000000000000000000000ff |
| 39 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffffff00 |
| 40 | |
| 41 | Test = Negate |
| 42 | A = 00000000000000000000000000000000000000000000000000000000000001ff |
| 43 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffffe00 |
| 44 | |
| 45 | Test = Negate |
| 46 | A = 00000000000000000000000000000000000000000000000000000000000003ff |
| 47 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffffc00 |
| 48 | |
| 49 | Test = Negate |
| 50 | A = 00000000000000000000000000000000000000000000000000000000000007ff |
| 51 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffff800 |
| 52 | |
| 53 | Test = Negate |
| 54 | A = 0000000000000000000000000000000000000000000000000000000000000fff |
| 55 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffff000 |
| 56 | |
| 57 | Test = Negate |
| 58 | A = 0000000000000000000000000000000000000000000000000000000000001fff |
| 59 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffffe000 |
| 60 | |
| 61 | Test = Negate |
| 62 | A = 0000000000000000000000000000000000000000000000000000000000003fff |
| 63 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffffc000 |
| 64 | |
| 65 | Test = Negate |
| 66 | A = 0000000000000000000000000000000000000000000000000000000000007fff |
| 67 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffff8000 |
| 68 | |
| 69 | Test = Negate |
| 70 | A = 000000000000000000000000000000000000000000000000000000000000ffff |
| 71 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffff0000 |
| 72 | |
| 73 | Test = Negate |
| 74 | A = 000000000000000000000000000000000000000000000000000000000001ffff |
| 75 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffe0000 |
| 76 | |
| 77 | Test = Negate |
| 78 | A = 000000000000000000000000000000000000000000000000000000000003ffff |
| 79 | B = ffffffff00000001000000000000000000000000fffffffffffffffffffc0000 |
| 80 | |
| 81 | Test = Negate |
| 82 | A = 000000000000000000000000000000000000000000000000000000000007ffff |
| 83 | B = ffffffff00000001000000000000000000000000fffffffffffffffffff80000 |
| 84 | |
| 85 | Test = Negate |
| 86 | A = 00000000000000000000000000000000000000000000000000000000000fffff |
| 87 | B = ffffffff00000001000000000000000000000000fffffffffffffffffff00000 |
| 88 | |
| 89 | Test = Negate |
| 90 | A = 00000000000000000000000000000000000000000000000000000000001fffff |
| 91 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffe00000 |
| 92 | |
| 93 | Test = Negate |
| 94 | A = 00000000000000000000000000000000000000000000000000000000003fffff |
| 95 | B = ffffffff00000001000000000000000000000000ffffffffffffffffffc00000 |
| 96 | |
| 97 | Test = Negate |
| 98 | A = 00000000000000000000000000000000000000000000000000000000007fffff |
| 99 | B = ffffffff00000001000000000000000000000000ffffffffffffffffff800000 |
| 100 | |
| 101 | Test = Negate |
| 102 | A = 0000000000000000000000000000000000000000000000000000000000ffffff |
| 103 | B = ffffffff00000001000000000000000000000000ffffffffffffffffff000000 |
| 104 | |
| 105 | Test = Negate |
| 106 | A = 0000000000000000000000000000000000000000000000000000000001ffffff |
| 107 | B = ffffffff00000001000000000000000000000000fffffffffffffffffe000000 |
| 108 | |
| 109 | Test = Negate |
| 110 | A = 0000000000000000000000000000000000000000000000000000000003ffffff |
| 111 | B = ffffffff00000001000000000000000000000000fffffffffffffffffc000000 |
| 112 | |
| 113 | Test = Negate |
| 114 | A = 0000000000000000000000000000000000000000000000000000000007ffffff |
| 115 | B = ffffffff00000001000000000000000000000000fffffffffffffffff8000000 |
| 116 | |
| 117 | Test = Negate |
| 118 | A = 000000000000000000000000000000000000000000000000000000000fffffff |
| 119 | B = ffffffff00000001000000000000000000000000fffffffffffffffff0000000 |
| 120 | |
| 121 | Test = Negate |
| 122 | A = 000000000000000000000000000000000000000000000000000000001fffffff |
| 123 | B = ffffffff00000001000000000000000000000000ffffffffffffffffe0000000 |
| 124 | |
| 125 | Test = Negate |
| 126 | A = 000000000000000000000000000000000000000000000000000000003fffffff |
| 127 | B = ffffffff00000001000000000000000000000000ffffffffffffffffc0000000 |
| 128 | |
| 129 | Test = Negate |
| 130 | A = 000000000000000000000000000000000000000000000000000000007fffffff |
| 131 | B = ffffffff00000001000000000000000000000000ffffffffffffffff80000000 |
| 132 | |
| 133 | Test = Negate |
| 134 | A = 00000000000000000000000000000000000000000000000000000000ffffffff |
| 135 | B = ffffffff00000001000000000000000000000000ffffffffffffffff00000000 |
| 136 | |
| 137 | Test = Negate |
| 138 | A = 00000000000000000000000000000000000000000000000000000001ffffffff |
| 139 | B = ffffffff00000001000000000000000000000000fffffffffffffffe00000000 |
| 140 | |
| 141 | Test = Negate |
| 142 | A = 00000000000000000000000000000000000000000000000000000003ffffffff |
| 143 | B = ffffffff00000001000000000000000000000000fffffffffffffffc00000000 |
| 144 | |
| 145 | Test = Negate |
| 146 | A = 00000000000000000000000000000000000000000000000000000007ffffffff |
| 147 | B = ffffffff00000001000000000000000000000000fffffffffffffff800000000 |
| 148 | |
| 149 | Test = Negate |
| 150 | A = 0000000000000000000000000000000000000000000000000000000fffffffff |
| 151 | B = ffffffff00000001000000000000000000000000fffffffffffffff000000000 |
| 152 | |
| 153 | Test = Negate |
| 154 | A = 0000000000000000000000000000000000000000000000000000001fffffffff |
| 155 | B = ffffffff00000001000000000000000000000000ffffffffffffffe000000000 |
| 156 | |
| 157 | Test = Negate |
| 158 | A = 0000000000000000000000000000000000000000000000000000003fffffffff |
| 159 | B = ffffffff00000001000000000000000000000000ffffffffffffffc000000000 |
| 160 | |
| 161 | Test = Negate |
| 162 | A = 0000000000000000000000000000000000000000000000000000007fffffffff |
| 163 | B = ffffffff00000001000000000000000000000000ffffffffffffff8000000000 |
| 164 | |
| 165 | Test = Negate |
| 166 | A = 000000000000000000000000000000000000000000000000000000ffffffffff |
| 167 | B = ffffffff00000001000000000000000000000000ffffffffffffff0000000000 |
| 168 | |
| 169 | Test = Negate |
| 170 | A = 000000000000000000000000000000000000000000000000000001ffffffffff |
| 171 | B = ffffffff00000001000000000000000000000000fffffffffffffe0000000000 |
| 172 | |
| 173 | Test = Negate |
| 174 | A = 000000000000000000000000000000000000000000000000000003ffffffffff |
| 175 | B = ffffffff00000001000000000000000000000000fffffffffffffc0000000000 |
| 176 | |
| 177 | Test = Negate |
| 178 | A = 000000000000000000000000000000000000000000000000000007ffffffffff |
| 179 | B = ffffffff00000001000000000000000000000000fffffffffffff80000000000 |
| 180 | |
| 181 | Test = Negate |
| 182 | A = 00000000000000000000000000000000000000000000000000000fffffffffff |
| 183 | B = ffffffff00000001000000000000000000000000fffffffffffff00000000000 |
| 184 | |
| 185 | Test = Negate |
| 186 | A = 00000000000000000000000000000000000000000000000000001fffffffffff |
| 187 | B = ffffffff00000001000000000000000000000000ffffffffffffe00000000000 |
| 188 | |
| 189 | Test = Negate |
| 190 | A = 00000000000000000000000000000000000000000000000000003fffffffffff |
| 191 | B = ffffffff00000001000000000000000000000000ffffffffffffc00000000000 |
| 192 | |
| 193 | Test = Negate |
| 194 | A = 00000000000000000000000000000000000000000000000000007fffffffffff |
| 195 | B = ffffffff00000001000000000000000000000000ffffffffffff800000000000 |
| 196 | |
| 197 | Test = Negate |
| 198 | A = 0000000000000000000000000000000000000000000000000000ffffffffffff |
| 199 | B = ffffffff00000001000000000000000000000000ffffffffffff000000000000 |
| 200 | |
| 201 | Test = Negate |
| 202 | A = 0000000000000000000000000000000000000000000000000001ffffffffffff |
| 203 | B = ffffffff00000001000000000000000000000000fffffffffffe000000000000 |
| 204 | |
| 205 | Test = Negate |
| 206 | A = 0000000000000000000000000000000000000000000000000003ffffffffffff |
| 207 | B = ffffffff00000001000000000000000000000000fffffffffffc000000000000 |
| 208 | |
| 209 | Test = Negate |
| 210 | A = 0000000000000000000000000000000000000000000000000007ffffffffffff |
| 211 | B = ffffffff00000001000000000000000000000000fffffffffff8000000000000 |
| 212 | |
| 213 | Test = Negate |
| 214 | A = 000000000000000000000000000000000000000000000000000fffffffffffff |
| 215 | B = ffffffff00000001000000000000000000000000fffffffffff0000000000000 |
| 216 | |
| 217 | Test = Negate |
| 218 | A = 000000000000000000000000000000000000000000000000001fffffffffffff |
| 219 | B = ffffffff00000001000000000000000000000000ffffffffffe0000000000000 |
| 220 | |
| 221 | Test = Negate |
| 222 | A = 000000000000000000000000000000000000000000000000003fffffffffffff |
| 223 | B = ffffffff00000001000000000000000000000000ffffffffffc0000000000000 |
| 224 | |
| 225 | Test = Negate |
| 226 | A = 000000000000000000000000000000000000000000000000007fffffffffffff |
| 227 | B = ffffffff00000001000000000000000000000000ffffffffff80000000000000 |
| 228 | |
| 229 | Test = Negate |
| 230 | A = 00000000000000000000000000000000000000000000000000ffffffffffffff |
| 231 | B = ffffffff00000001000000000000000000000000ffffffffff00000000000000 |
| 232 | |
| 233 | Test = Negate |
| 234 | A = 00000000000000000000000000000000000000000000000001ffffffffffffff |
| 235 | B = ffffffff00000001000000000000000000000000fffffffffe00000000000000 |
| 236 | |
| 237 | Test = Negate |
| 238 | A = 00000000000000000000000000000000000000000000000003ffffffffffffff |
| 239 | B = ffffffff00000001000000000000000000000000fffffffffc00000000000000 |
| 240 | |
| 241 | Test = Negate |
| 242 | A = 00000000000000000000000000000000000000000000000007ffffffffffffff |
| 243 | B = ffffffff00000001000000000000000000000000fffffffff800000000000000 |
| 244 | |
| 245 | Test = Negate |
| 246 | A = 0000000000000000000000000000000000000000000000000fffffffffffffff |
| 247 | B = ffffffff00000001000000000000000000000000fffffffff000000000000000 |
| 248 | |
| 249 | Test = Negate |
| 250 | A = 0000000000000000000000000000000000000000000000001fffffffffffffff |
| 251 | B = ffffffff00000001000000000000000000000000ffffffffe000000000000000 |
| 252 | |
| 253 | Test = Negate |
| 254 | A = 0000000000000000000000000000000000000000000000003fffffffffffffff |
| 255 | B = ffffffff00000001000000000000000000000000ffffffffc000000000000000 |
| 256 | |
| 257 | Test = Negate |
| 258 | A = 0000000000000000000000000000000000000000000000007fffffffffffffff |
| 259 | B = ffffffff00000001000000000000000000000000ffffffff8000000000000000 |
| 260 | |
| 261 | Test = Negate |
| 262 | A = 000000000000000000000000000000000000000000000000ffffffffffffffff |
| 263 | B = ffffffff00000001000000000000000000000000ffffffff0000000000000000 |
| 264 | |
| 265 | Test = Negate |
| 266 | A = 000000000000000000000000000000000000000000000001ffffffffffffffff |
| 267 | B = ffffffff00000001000000000000000000000000fffffffe0000000000000000 |
| 268 | |
| 269 | Test = Negate |
| 270 | A = 000000000000000000000000000000000000000000000003ffffffffffffffff |
| 271 | B = ffffffff00000001000000000000000000000000fffffffc0000000000000000 |
| 272 | |
| 273 | Test = Negate |
| 274 | A = 000000000000000000000000000000000000000000000007ffffffffffffffff |
| 275 | B = ffffffff00000001000000000000000000000000fffffff80000000000000000 |
| 276 | |
| 277 | Test = Negate |
| 278 | A = 00000000000000000000000000000000000000000000000fffffffffffffffff |
| 279 | B = ffffffff00000001000000000000000000000000fffffff00000000000000000 |
| 280 | |
| 281 | Test = Negate |
| 282 | A = 00000000000000000000000000000000000000000000001fffffffffffffffff |
| 283 | B = ffffffff00000001000000000000000000000000ffffffe00000000000000000 |
| 284 | |
| 285 | Test = Negate |
| 286 | A = 00000000000000000000000000000000000000000000003fffffffffffffffff |
| 287 | B = ffffffff00000001000000000000000000000000ffffffc00000000000000000 |
| 288 | |
| 289 | Test = Negate |
| 290 | A = 00000000000000000000000000000000000000000000007fffffffffffffffff |
| 291 | B = ffffffff00000001000000000000000000000000ffffff800000000000000000 |
| 292 | |
| 293 | Test = Negate |
| 294 | A = 0000000000000000000000000000000000000000000000ffffffffffffffffff |
| 295 | B = ffffffff00000001000000000000000000000000ffffff000000000000000000 |
| 296 | |
| 297 | Test = Negate |
| 298 | A = 0000000000000000000000000000000000000000000001ffffffffffffffffff |
| 299 | B = ffffffff00000001000000000000000000000000fffffe000000000000000000 |
| 300 | |
| 301 | Test = Negate |
| 302 | A = 0000000000000000000000000000000000000000000003ffffffffffffffffff |
| 303 | B = ffffffff00000001000000000000000000000000fffffc000000000000000000 |
| 304 | |
| 305 | Test = Negate |
| 306 | A = 0000000000000000000000000000000000000000000007ffffffffffffffffff |
| 307 | B = ffffffff00000001000000000000000000000000fffff8000000000000000000 |
| 308 | |
| 309 | Test = Negate |
| 310 | A = 000000000000000000000000000000000000000000000fffffffffffffffffff |
| 311 | B = ffffffff00000001000000000000000000000000fffff0000000000000000000 |
| 312 | |
| 313 | Test = Negate |
| 314 | A = 000000000000000000000000000000000000000000001fffffffffffffffffff |
| 315 | B = ffffffff00000001000000000000000000000000ffffe0000000000000000000 |
| 316 | |
| 317 | Test = Negate |
| 318 | A = 000000000000000000000000000000000000000000003fffffffffffffffffff |
| 319 | B = ffffffff00000001000000000000000000000000ffffc0000000000000000000 |
| 320 | |
| 321 | Test = Negate |
| 322 | A = 000000000000000000000000000000000000000000007fffffffffffffffffff |
| 323 | B = ffffffff00000001000000000000000000000000ffff80000000000000000000 |
| 324 | |
| 325 | Test = Negate |
| 326 | A = 00000000000000000000000000000000000000000000ffffffffffffffffffff |
| 327 | B = ffffffff00000001000000000000000000000000ffff00000000000000000000 |
| 328 | |
| 329 | Test = Negate |
| 330 | A = 00000000000000000000000000000000000000000001ffffffffffffffffffff |
| 331 | B = ffffffff00000001000000000000000000000000fffe00000000000000000000 |
| 332 | |
| 333 | Test = Negate |
| 334 | A = 00000000000000000000000000000000000000000003ffffffffffffffffffff |
| 335 | B = ffffffff00000001000000000000000000000000fffc00000000000000000000 |
| 336 | |
| 337 | Test = Negate |
| 338 | A = 00000000000000000000000000000000000000000007ffffffffffffffffffff |
| 339 | B = ffffffff00000001000000000000000000000000fff800000000000000000000 |
| 340 | |
| 341 | Test = Negate |
| 342 | A = 0000000000000000000000000000000000000000000fffffffffffffffffffff |
| 343 | B = ffffffff00000001000000000000000000000000fff000000000000000000000 |
| 344 | |
| 345 | Test = Negate |
| 346 | A = 0000000000000000000000000000000000000000001fffffffffffffffffffff |
| 347 | B = ffffffff00000001000000000000000000000000ffe000000000000000000000 |
| 348 | |
| 349 | Test = Negate |
| 350 | A = 0000000000000000000000000000000000000000003fffffffffffffffffffff |
| 351 | B = ffffffff00000001000000000000000000000000ffc000000000000000000000 |
| 352 | |
| 353 | Test = Negate |
| 354 | A = 0000000000000000000000000000000000000000007fffffffffffffffffffff |
| 355 | B = ffffffff00000001000000000000000000000000ff8000000000000000000000 |
| 356 | |
| 357 | Test = Negate |
| 358 | A = 000000000000000000000000000000000000000000ffffffffffffffffffffff |
| 359 | B = ffffffff00000001000000000000000000000000ff0000000000000000000000 |
| 360 | |
| 361 | Test = Negate |
| 362 | A = 000000000000000000000000000000000000000001ffffffffffffffffffffff |
| 363 | B = ffffffff00000001000000000000000000000000fe0000000000000000000000 |
| 364 | |
| 365 | Test = Negate |
| 366 | A = 000000000000000000000000000000000000000003ffffffffffffffffffffff |
| 367 | B = ffffffff00000001000000000000000000000000fc0000000000000000000000 |
| 368 | |
| 369 | Test = Negate |
| 370 | A = 000000000000000000000000000000000000000007ffffffffffffffffffffff |
| 371 | B = ffffffff00000001000000000000000000000000f80000000000000000000000 |
| 372 | |
| 373 | Test = Negate |
| 374 | A = 00000000000000000000000000000000000000000fffffffffffffffffffffff |
| 375 | B = ffffffff00000001000000000000000000000000f00000000000000000000000 |
| 376 | |
| 377 | Test = Negate |
| 378 | A = 00000000000000000000000000000000000000001fffffffffffffffffffffff |
| 379 | B = ffffffff00000001000000000000000000000000e00000000000000000000000 |
| 380 | |
| 381 | Test = Negate |
| 382 | A = 00000000000000000000000000000000000000003fffffffffffffffffffffff |
| 383 | B = ffffffff00000001000000000000000000000000c00000000000000000000000 |
| 384 | |
| 385 | Test = Negate |
| 386 | A = 00000000000000000000000000000000000000007fffffffffffffffffffffff |
| 387 | B = ffffffff00000001000000000000000000000000800000000000000000000000 |
| 388 | |
| 389 | Test = Negate |
| 390 | A = 0000000000000000000000000000000000000000ffffffffffffffffffffffff |
| 391 | B = ffffffff00000001000000000000000000000000000000000000000000000000 |
| 392 | |
| 393 | Test = Negate |
| 394 | A = 0000000000000000000000000000000000000001ffffffffffffffffffffffff |
| 395 | B = ffffffff00000000ffffffffffffffffffffffff000000000000000000000000 |
| 396 | |
| 397 | Test = Negate |
| 398 | A = 0000000000000000000000000000000000000003ffffffffffffffffffffffff |
| 399 | B = ffffffff00000000fffffffffffffffffffffffd000000000000000000000000 |
| 400 | |
| 401 | Test = Negate |
| 402 | A = 0000000000000000000000000000000000000007ffffffffffffffffffffffff |
| 403 | B = ffffffff00000000fffffffffffffffffffffff9000000000000000000000000 |
| 404 | |
| 405 | Test = Negate |
| 406 | A = 000000000000000000000000000000000000000fffffffffffffffffffffffff |
| 407 | B = ffffffff00000000fffffffffffffffffffffff1000000000000000000000000 |
| 408 | |
| 409 | Test = Negate |
| 410 | A = 000000000000000000000000000000000000001fffffffffffffffffffffffff |
| 411 | B = ffffffff00000000ffffffffffffffffffffffe1000000000000000000000000 |
| 412 | |
| 413 | Test = Negate |
| 414 | A = 000000000000000000000000000000000000003fffffffffffffffffffffffff |
| 415 | B = ffffffff00000000ffffffffffffffffffffffc1000000000000000000000000 |
| 416 | |
| 417 | Test = Negate |
| 418 | A = 000000000000000000000000000000000000007fffffffffffffffffffffffff |
| 419 | B = ffffffff00000000ffffffffffffffffffffff81000000000000000000000000 |
| 420 | |
| 421 | Test = Negate |
| 422 | A = 00000000000000000000000000000000000000ffffffffffffffffffffffffff |
| 423 | B = ffffffff00000000ffffffffffffffffffffff01000000000000000000000000 |
| 424 | |
| 425 | Test = Negate |
| 426 | A = 00000000000000000000000000000000000001ffffffffffffffffffffffffff |
| 427 | B = ffffffff00000000fffffffffffffffffffffe01000000000000000000000000 |
| 428 | |
| 429 | Test = Negate |
| 430 | A = 00000000000000000000000000000000000003ffffffffffffffffffffffffff |
| 431 | B = ffffffff00000000fffffffffffffffffffffc01000000000000000000000000 |
| 432 | |
| 433 | Test = Negate |
| 434 | A = 00000000000000000000000000000000000007ffffffffffffffffffffffffff |
| 435 | B = ffffffff00000000fffffffffffffffffffff801000000000000000000000000 |
| 436 | |
| 437 | Test = Negate |
| 438 | A = 0000000000000000000000000000000000000fffffffffffffffffffffffffff |
| 439 | B = ffffffff00000000fffffffffffffffffffff001000000000000000000000000 |
| 440 | |
| 441 | Test = Negate |
| 442 | A = 0000000000000000000000000000000000001fffffffffffffffffffffffffff |
| 443 | B = ffffffff00000000ffffffffffffffffffffe001000000000000000000000000 |
| 444 | |
| 445 | Test = Negate |
| 446 | A = 0000000000000000000000000000000000003fffffffffffffffffffffffffff |
| 447 | B = ffffffff00000000ffffffffffffffffffffc001000000000000000000000000 |
| 448 | |
| 449 | Test = Negate |
| 450 | A = 0000000000000000000000000000000000007fffffffffffffffffffffffffff |
| 451 | B = ffffffff00000000ffffffffffffffffffff8001000000000000000000000000 |
| 452 | |
| 453 | Test = Negate |
| 454 | A = 000000000000000000000000000000000000ffffffffffffffffffffffffffff |
| 455 | B = ffffffff00000000ffffffffffffffffffff0001000000000000000000000000 |
| 456 | |
| 457 | Test = Negate |
| 458 | A = 000000000000000000000000000000000001ffffffffffffffffffffffffffff |
| 459 | B = ffffffff00000000fffffffffffffffffffe0001000000000000000000000000 |
| 460 | |
| 461 | Test = Negate |
| 462 | A = 000000000000000000000000000000000003ffffffffffffffffffffffffffff |
| 463 | B = ffffffff00000000fffffffffffffffffffc0001000000000000000000000000 |
| 464 | |
| 465 | Test = Negate |
| 466 | A = 000000000000000000000000000000000007ffffffffffffffffffffffffffff |
| 467 | B = ffffffff00000000fffffffffffffffffff80001000000000000000000000000 |
| 468 | |
| 469 | Test = Negate |
| 470 | A = 00000000000000000000000000000000000fffffffffffffffffffffffffffff |
| 471 | B = ffffffff00000000fffffffffffffffffff00001000000000000000000000000 |
| 472 | |
| 473 | Test = Negate |
| 474 | A = 00000000000000000000000000000000001fffffffffffffffffffffffffffff |
| 475 | B = ffffffff00000000ffffffffffffffffffe00001000000000000000000000000 |
| 476 | |
| 477 | Test = Negate |
| 478 | A = 00000000000000000000000000000000003fffffffffffffffffffffffffffff |
| 479 | B = ffffffff00000000ffffffffffffffffffc00001000000000000000000000000 |
| 480 | |
| 481 | Test = Negate |
| 482 | A = 00000000000000000000000000000000007fffffffffffffffffffffffffffff |
| 483 | B = ffffffff00000000ffffffffffffffffff800001000000000000000000000000 |
| 484 | |
| 485 | Test = Negate |
| 486 | A = 0000000000000000000000000000000000ffffffffffffffffffffffffffffff |
| 487 | B = ffffffff00000000ffffffffffffffffff000001000000000000000000000000 |
| 488 | |
| 489 | Test = Negate |
| 490 | A = 0000000000000000000000000000000001ffffffffffffffffffffffffffffff |
| 491 | B = ffffffff00000000fffffffffffffffffe000001000000000000000000000000 |
| 492 | |
| 493 | Test = Negate |
| 494 | A = 0000000000000000000000000000000003ffffffffffffffffffffffffffffff |
| 495 | B = ffffffff00000000fffffffffffffffffc000001000000000000000000000000 |
| 496 | |
| 497 | Test = Negate |
| 498 | A = 0000000000000000000000000000000007ffffffffffffffffffffffffffffff |
| 499 | B = ffffffff00000000fffffffffffffffff8000001000000000000000000000000 |
| 500 | |
| 501 | Test = Negate |
| 502 | A = 000000000000000000000000000000000fffffffffffffffffffffffffffffff |
| 503 | B = ffffffff00000000fffffffffffffffff0000001000000000000000000000000 |
| 504 | |
| 505 | Test = Negate |
| 506 | A = 000000000000000000000000000000001fffffffffffffffffffffffffffffff |
| 507 | B = ffffffff00000000ffffffffffffffffe0000001000000000000000000000000 |
| 508 | |
| 509 | Test = Negate |
| 510 | A = 000000000000000000000000000000003fffffffffffffffffffffffffffffff |
| 511 | B = ffffffff00000000ffffffffffffffffc0000001000000000000000000000000 |
| 512 | |
| 513 | Test = Negate |
| 514 | A = 000000000000000000000000000000007fffffffffffffffffffffffffffffff |
| 515 | B = ffffffff00000000ffffffffffffffff80000001000000000000000000000000 |
| 516 | |
| 517 | Test = Negate |
| 518 | A = 00000000000000000000000000000000ffffffffffffffffffffffffffffffff |
| 519 | B = ffffffff00000000ffffffffffffffff00000001000000000000000000000000 |
| 520 | |
| 521 | Test = Negate |
| 522 | A = 00000000000000000000000000000001ffffffffffffffffffffffffffffffff |
| 523 | B = ffffffff00000000fffffffffffffffe00000001000000000000000000000000 |
| 524 | |
| 525 | Test = Negate |
| 526 | A = 00000000000000000000000000000003ffffffffffffffffffffffffffffffff |
| 527 | B = ffffffff00000000fffffffffffffffc00000001000000000000000000000000 |
| 528 | |
| 529 | Test = Negate |
| 530 | A = 00000000000000000000000000000007ffffffffffffffffffffffffffffffff |
| 531 | B = ffffffff00000000fffffffffffffff800000001000000000000000000000000 |
| 532 | |
| 533 | Test = Negate |
| 534 | A = 0000000000000000000000000000000fffffffffffffffffffffffffffffffff |
| 535 | B = ffffffff00000000fffffffffffffff000000001000000000000000000000000 |
| 536 | |
| 537 | Test = Negate |
| 538 | A = 0000000000000000000000000000001fffffffffffffffffffffffffffffffff |
| 539 | B = ffffffff00000000ffffffffffffffe000000001000000000000000000000000 |
| 540 | |
| 541 | Test = Negate |
| 542 | A = 0000000000000000000000000000003fffffffffffffffffffffffffffffffff |
| 543 | B = ffffffff00000000ffffffffffffffc000000001000000000000000000000000 |
| 544 | |
| 545 | Test = Negate |
| 546 | A = 0000000000000000000000000000007fffffffffffffffffffffffffffffffff |
| 547 | B = ffffffff00000000ffffffffffffff8000000001000000000000000000000000 |
| 548 | |
| 549 | Test = Negate |
| 550 | A = 000000000000000000000000000000ffffffffffffffffffffffffffffffffff |
| 551 | B = ffffffff00000000ffffffffffffff0000000001000000000000000000000000 |
| 552 | |
| 553 | Test = Negate |
| 554 | A = 000000000000000000000000000001ffffffffffffffffffffffffffffffffff |
| 555 | B = ffffffff00000000fffffffffffffe0000000001000000000000000000000000 |
| 556 | |
| 557 | Test = Negate |
| 558 | A = 000000000000000000000000000003ffffffffffffffffffffffffffffffffff |
| 559 | B = ffffffff00000000fffffffffffffc0000000001000000000000000000000000 |
| 560 | |
| 561 | Test = Negate |
| 562 | A = 000000000000000000000000000007ffffffffffffffffffffffffffffffffff |
| 563 | B = ffffffff00000000fffffffffffff80000000001000000000000000000000000 |
| 564 | |
| 565 | Test = Negate |
| 566 | A = 00000000000000000000000000000fffffffffffffffffffffffffffffffffff |
| 567 | B = ffffffff00000000fffffffffffff00000000001000000000000000000000000 |
| 568 | |
| 569 | Test = Negate |
| 570 | A = 00000000000000000000000000001fffffffffffffffffffffffffffffffffff |
| 571 | B = ffffffff00000000ffffffffffffe00000000001000000000000000000000000 |
| 572 | |
| 573 | Test = Negate |
| 574 | A = 00000000000000000000000000003fffffffffffffffffffffffffffffffffff |
| 575 | B = ffffffff00000000ffffffffffffc00000000001000000000000000000000000 |
| 576 | |
| 577 | Test = Negate |
| 578 | A = 00000000000000000000000000007fffffffffffffffffffffffffffffffffff |
| 579 | B = ffffffff00000000ffffffffffff800000000001000000000000000000000000 |
| 580 | |
| 581 | Test = Negate |
| 582 | A = 0000000000000000000000000000ffffffffffffffffffffffffffffffffffff |
| 583 | B = ffffffff00000000ffffffffffff000000000001000000000000000000000000 |
| 584 | |
| 585 | Test = Negate |
| 586 | A = 0000000000000000000000000001ffffffffffffffffffffffffffffffffffff |
| 587 | B = ffffffff00000000fffffffffffe000000000001000000000000000000000000 |
| 588 | |
| 589 | Test = Negate |
| 590 | A = 0000000000000000000000000003ffffffffffffffffffffffffffffffffffff |
| 591 | B = ffffffff00000000fffffffffffc000000000001000000000000000000000000 |
| 592 | |
| 593 | Test = Negate |
| 594 | A = 0000000000000000000000000007ffffffffffffffffffffffffffffffffffff |
| 595 | B = ffffffff00000000fffffffffff8000000000001000000000000000000000000 |
| 596 | |
| 597 | Test = Negate |
| 598 | A = 000000000000000000000000000fffffffffffffffffffffffffffffffffffff |
| 599 | B = ffffffff00000000fffffffffff0000000000001000000000000000000000000 |
| 600 | |
| 601 | Test = Negate |
| 602 | A = 000000000000000000000000001fffffffffffffffffffffffffffffffffffff |
| 603 | B = ffffffff00000000ffffffffffe0000000000001000000000000000000000000 |
| 604 | |
| 605 | Test = Negate |
| 606 | A = 000000000000000000000000003fffffffffffffffffffffffffffffffffffff |
| 607 | B = ffffffff00000000ffffffffffc0000000000001000000000000000000000000 |
| 608 | |
| 609 | Test = Negate |
| 610 | A = 000000000000000000000000007fffffffffffffffffffffffffffffffffffff |
| 611 | B = ffffffff00000000ffffffffff80000000000001000000000000000000000000 |
| 612 | |
| 613 | Test = Negate |
| 614 | A = 00000000000000000000000000ffffffffffffffffffffffffffffffffffffff |
| 615 | B = ffffffff00000000ffffffffff00000000000001000000000000000000000000 |
| 616 | |
| 617 | Test = Negate |
| 618 | A = 00000000000000000000000001ffffffffffffffffffffffffffffffffffffff |
| 619 | B = ffffffff00000000fffffffffe00000000000001000000000000000000000000 |
| 620 | |
| 621 | Test = Negate |
| 622 | A = 00000000000000000000000003ffffffffffffffffffffffffffffffffffffff |
| 623 | B = ffffffff00000000fffffffffc00000000000001000000000000000000000000 |
| 624 | |
| 625 | Test = Negate |
| 626 | A = 00000000000000000000000007ffffffffffffffffffffffffffffffffffffff |
| 627 | B = ffffffff00000000fffffffff800000000000001000000000000000000000000 |
| 628 | |
| 629 | Test = Negate |
| 630 | A = 0000000000000000000000000fffffffffffffffffffffffffffffffffffffff |
| 631 | B = ffffffff00000000fffffffff000000000000001000000000000000000000000 |
| 632 | |
| 633 | Test = Negate |
| 634 | A = 0000000000000000000000001fffffffffffffffffffffffffffffffffffffff |
| 635 | B = ffffffff00000000ffffffffe000000000000001000000000000000000000000 |
| 636 | |
| 637 | Test = Negate |
| 638 | A = 0000000000000000000000003fffffffffffffffffffffffffffffffffffffff |
| 639 | B = ffffffff00000000ffffffffc000000000000001000000000000000000000000 |
| 640 | |
| 641 | Test = Negate |
| 642 | A = 0000000000000000000000007fffffffffffffffffffffffffffffffffffffff |
| 643 | B = ffffffff00000000ffffffff8000000000000001000000000000000000000000 |
| 644 | |
| 645 | Test = Negate |
| 646 | A = 000000000000000000000000ffffffffffffffffffffffffffffffffffffffff |
| 647 | B = ffffffff00000000ffffffff0000000000000001000000000000000000000000 |
| 648 | |
| 649 | Test = Negate |
| 650 | A = 000000000000000000000001ffffffffffffffffffffffffffffffffffffffff |
| 651 | B = ffffffff00000000fffffffe0000000000000001000000000000000000000000 |
| 652 | |
| 653 | Test = Negate |
| 654 | A = 000000000000000000000003ffffffffffffffffffffffffffffffffffffffff |
| 655 | B = ffffffff00000000fffffffc0000000000000001000000000000000000000000 |
| 656 | |
| 657 | Test = Negate |
| 658 | A = 000000000000000000000007ffffffffffffffffffffffffffffffffffffffff |
| 659 | B = ffffffff00000000fffffff80000000000000001000000000000000000000000 |
| 660 | |
| 661 | Test = Negate |
| 662 | A = 00000000000000000000000fffffffffffffffffffffffffffffffffffffffff |
| 663 | B = ffffffff00000000fffffff00000000000000001000000000000000000000000 |
| 664 | |
| 665 | Test = Negate |
| 666 | A = 00000000000000000000001fffffffffffffffffffffffffffffffffffffffff |
| 667 | B = ffffffff00000000ffffffe00000000000000001000000000000000000000000 |
| 668 | |
| 669 | Test = Negate |
| 670 | A = 00000000000000000000003fffffffffffffffffffffffffffffffffffffffff |
| 671 | B = ffffffff00000000ffffffc00000000000000001000000000000000000000000 |
| 672 | |
| 673 | Test = Negate |
| 674 | A = 00000000000000000000007fffffffffffffffffffffffffffffffffffffffff |
| 675 | B = ffffffff00000000ffffff800000000000000001000000000000000000000000 |
| 676 | |
| 677 | Test = Negate |
| 678 | A = 0000000000000000000000ffffffffffffffffffffffffffffffffffffffffff |
| 679 | B = ffffffff00000000ffffff000000000000000001000000000000000000000000 |
| 680 | |
| 681 | Test = Negate |
| 682 | A = 0000000000000000000001ffffffffffffffffffffffffffffffffffffffffff |
| 683 | B = ffffffff00000000fffffe000000000000000001000000000000000000000000 |
| 684 | |
| 685 | Test = Negate |
| 686 | A = 0000000000000000000003ffffffffffffffffffffffffffffffffffffffffff |
| 687 | B = ffffffff00000000fffffc000000000000000001000000000000000000000000 |
| 688 | |
| 689 | Test = Negate |
| 690 | A = 0000000000000000000007ffffffffffffffffffffffffffffffffffffffffff |
| 691 | B = ffffffff00000000fffff8000000000000000001000000000000000000000000 |
| 692 | |
| 693 | Test = Negate |
| 694 | A = 000000000000000000000fffffffffffffffffffffffffffffffffffffffffff |
| 695 | B = ffffffff00000000fffff0000000000000000001000000000000000000000000 |
| 696 | |
| 697 | Test = Negate |
| 698 | A = 000000000000000000001fffffffffffffffffffffffffffffffffffffffffff |
| 699 | B = ffffffff00000000ffffe0000000000000000001000000000000000000000000 |
| 700 | |
| 701 | Test = Negate |
| 702 | A = 000000000000000000003fffffffffffffffffffffffffffffffffffffffffff |
| 703 | B = ffffffff00000000ffffc0000000000000000001000000000000000000000000 |
| 704 | |
| 705 | Test = Negate |
| 706 | A = 000000000000000000007fffffffffffffffffffffffffffffffffffffffffff |
| 707 | B = ffffffff00000000ffff80000000000000000001000000000000000000000000 |
| 708 | |
| 709 | Test = Negate |
| 710 | A = 00000000000000000000ffffffffffffffffffffffffffffffffffffffffffff |
| 711 | B = ffffffff00000000ffff00000000000000000001000000000000000000000000 |
| 712 | |
| 713 | Test = Negate |
| 714 | A = 00000000000000000001ffffffffffffffffffffffffffffffffffffffffffff |
| 715 | B = ffffffff00000000fffe00000000000000000001000000000000000000000000 |
| 716 | |
| 717 | Test = Negate |
| 718 | A = 00000000000000000003ffffffffffffffffffffffffffffffffffffffffffff |
| 719 | B = ffffffff00000000fffc00000000000000000001000000000000000000000000 |
| 720 | |
| 721 | Test = Negate |
| 722 | A = 00000000000000000007ffffffffffffffffffffffffffffffffffffffffffff |
| 723 | B = ffffffff00000000fff800000000000000000001000000000000000000000000 |
| 724 | |
| 725 | Test = Negate |
| 726 | A = 0000000000000000000fffffffffffffffffffffffffffffffffffffffffffff |
| 727 | B = ffffffff00000000fff000000000000000000001000000000000000000000000 |
| 728 | |
| 729 | Test = Negate |
| 730 | A = 0000000000000000001fffffffffffffffffffffffffffffffffffffffffffff |
| 731 | B = ffffffff00000000ffe000000000000000000001000000000000000000000000 |
| 732 | |
| 733 | Test = Negate |
| 734 | A = 0000000000000000003fffffffffffffffffffffffffffffffffffffffffffff |
| 735 | B = ffffffff00000000ffc000000000000000000001000000000000000000000000 |
| 736 | |
| 737 | Test = Negate |
| 738 | A = 0000000000000000007fffffffffffffffffffffffffffffffffffffffffffff |
| 739 | B = ffffffff00000000ff8000000000000000000001000000000000000000000000 |
| 740 | |
| 741 | Test = Negate |
| 742 | A = 000000000000000000ffffffffffffffffffffffffffffffffffffffffffffff |
| 743 | B = ffffffff00000000ff0000000000000000000001000000000000000000000000 |
| 744 | |
| 745 | Test = Negate |
| 746 | A = 000000000000000001ffffffffffffffffffffffffffffffffffffffffffffff |
| 747 | B = ffffffff00000000fe0000000000000000000001000000000000000000000000 |
| 748 | |
| 749 | Test = Negate |
| 750 | A = 000000000000000003ffffffffffffffffffffffffffffffffffffffffffffff |
| 751 | B = ffffffff00000000fc0000000000000000000001000000000000000000000000 |
| 752 | |
| 753 | Test = Negate |
| 754 | A = 000000000000000007ffffffffffffffffffffffffffffffffffffffffffffff |
| 755 | B = ffffffff00000000f80000000000000000000001000000000000000000000000 |
| 756 | |
| 757 | Test = Negate |
| 758 | A = 00000000000000000fffffffffffffffffffffffffffffffffffffffffffffff |
| 759 | B = ffffffff00000000f00000000000000000000001000000000000000000000000 |
| 760 | |
| 761 | Test = Negate |
| 762 | A = 00000000000000001fffffffffffffffffffffffffffffffffffffffffffffff |
| 763 | B = ffffffff00000000e00000000000000000000001000000000000000000000000 |
| 764 | |
| 765 | Test = Negate |
| 766 | A = 00000000000000003fffffffffffffffffffffffffffffffffffffffffffffff |
| 767 | B = ffffffff00000000c00000000000000000000001000000000000000000000000 |
| 768 | |
| 769 | Test = Negate |
| 770 | A = 00000000000000007fffffffffffffffffffffffffffffffffffffffffffffff |
| 771 | B = ffffffff00000000800000000000000000000001000000000000000000000000 |
| 772 | |
| 773 | Test = Negate |
| 774 | A = 0000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff |
| 775 | B = ffffffff00000000000000000000000000000001000000000000000000000000 |
| 776 | |
| 777 | Test = Negate |
| 778 | A = 0000000000000001ffffffffffffffffffffffffffffffffffffffffffffffff |
| 779 | B = fffffffeffffffff000000000000000000000001000000000000000000000000 |
| 780 | |
| 781 | Test = Negate |
| 782 | A = 0000000000000003ffffffffffffffffffffffffffffffffffffffffffffffff |
| 783 | B = fffffffefffffffd000000000000000000000001000000000000000000000000 |
| 784 | |
| 785 | Test = Negate |
| 786 | A = 0000000000000007ffffffffffffffffffffffffffffffffffffffffffffffff |
| 787 | B = fffffffefffffff9000000000000000000000001000000000000000000000000 |
| 788 | |
| 789 | Test = Negate |
| 790 | A = 000000000000000fffffffffffffffffffffffffffffffffffffffffffffffff |
| 791 | B = fffffffefffffff1000000000000000000000001000000000000000000000000 |
| 792 | |
| 793 | Test = Negate |
| 794 | A = 000000000000001fffffffffffffffffffffffffffffffffffffffffffffffff |
| 795 | B = fffffffeffffffe1000000000000000000000001000000000000000000000000 |
| 796 | |
| 797 | Test = Negate |
| 798 | A = 000000000000003fffffffffffffffffffffffffffffffffffffffffffffffff |
| 799 | B = fffffffeffffffc1000000000000000000000001000000000000000000000000 |
| 800 | |
| 801 | Test = Negate |
| 802 | A = 000000000000007fffffffffffffffffffffffffffffffffffffffffffffffff |
| 803 | B = fffffffeffffff81000000000000000000000001000000000000000000000000 |
| 804 | |
| 805 | Test = Negate |
| 806 | A = 00000000000000ffffffffffffffffffffffffffffffffffffffffffffffffff |
| 807 | B = fffffffeffffff01000000000000000000000001000000000000000000000000 |
| 808 | |
| 809 | Test = Negate |
| 810 | A = 00000000000001ffffffffffffffffffffffffffffffffffffffffffffffffff |
| 811 | B = fffffffefffffe01000000000000000000000001000000000000000000000000 |
| 812 | |
| 813 | Test = Negate |
| 814 | A = 00000000000003ffffffffffffffffffffffffffffffffffffffffffffffffff |
| 815 | B = fffffffefffffc01000000000000000000000001000000000000000000000000 |
| 816 | |
| 817 | Test = Negate |
| 818 | A = 00000000000007ffffffffffffffffffffffffffffffffffffffffffffffffff |
| 819 | B = fffffffefffff801000000000000000000000001000000000000000000000000 |
| 820 | |
| 821 | Test = Negate |
| 822 | A = 0000000000000fffffffffffffffffffffffffffffffffffffffffffffffffff |
| 823 | B = fffffffefffff001000000000000000000000001000000000000000000000000 |
| 824 | |
| 825 | Test = Negate |
| 826 | A = 0000000000001fffffffffffffffffffffffffffffffffffffffffffffffffff |
| 827 | B = fffffffeffffe001000000000000000000000001000000000000000000000000 |
| 828 | |
| 829 | Test = Negate |
| 830 | A = 0000000000003fffffffffffffffffffffffffffffffffffffffffffffffffff |
| 831 | B = fffffffeffffc001000000000000000000000001000000000000000000000000 |
| 832 | |
| 833 | Test = Negate |
| 834 | A = 0000000000007fffffffffffffffffffffffffffffffffffffffffffffffffff |
| 835 | B = fffffffeffff8001000000000000000000000001000000000000000000000000 |
| 836 | |
| 837 | Test = Negate |
| 838 | A = 000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 839 | B = fffffffeffff0001000000000000000000000001000000000000000000000000 |
| 840 | |
| 841 | Test = Negate |
| 842 | A = 000000000001ffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 843 | B = fffffffefffe0001000000000000000000000001000000000000000000000000 |
| 844 | |
| 845 | Test = Negate |
| 846 | A = 000000000003ffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 847 | B = fffffffefffc0001000000000000000000000001000000000000000000000000 |
| 848 | |
| 849 | Test = Negate |
| 850 | A = 000000000007ffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 851 | B = fffffffefff80001000000000000000000000001000000000000000000000000 |
| 852 | |
| 853 | Test = Negate |
| 854 | A = 00000000000fffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 855 | B = fffffffefff00001000000000000000000000001000000000000000000000000 |
| 856 | |
| 857 | Test = Negate |
| 858 | A = 00000000001fffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 859 | B = fffffffeffe00001000000000000000000000001000000000000000000000000 |
| 860 | |
| 861 | Test = Negate |
| 862 | A = 00000000003fffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 863 | B = fffffffeffc00001000000000000000000000001000000000000000000000000 |
| 864 | |
| 865 | Test = Negate |
| 866 | A = 00000000007fffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 867 | B = fffffffeff800001000000000000000000000001000000000000000000000000 |
| 868 | |
| 869 | Test = Negate |
| 870 | A = 0000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 871 | B = fffffffeff000001000000000000000000000001000000000000000000000000 |
| 872 | |
| 873 | Test = Negate |
| 874 | A = 0000000001ffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 875 | B = fffffffefe000001000000000000000000000001000000000000000000000000 |
| 876 | |
| 877 | Test = Negate |
| 878 | A = 0000000003ffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 879 | B = fffffffefc000001000000000000000000000001000000000000000000000000 |
| 880 | |
| 881 | Test = Negate |
| 882 | A = 0000000007ffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 883 | B = fffffffef8000001000000000000000000000001000000000000000000000000 |
| 884 | |
| 885 | Test = Negate |
| 886 | A = 000000000fffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 887 | B = fffffffef0000001000000000000000000000001000000000000000000000000 |
| 888 | |
| 889 | Test = Negate |
| 890 | A = 000000001fffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 891 | B = fffffffee0000001000000000000000000000001000000000000000000000000 |
| 892 | |
| 893 | Test = Negate |
| 894 | A = 000000003fffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 895 | B = fffffffec0000001000000000000000000000001000000000000000000000000 |
| 896 | |
| 897 | Test = Negate |
| 898 | A = 000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 899 | B = fffffffe80000001000000000000000000000001000000000000000000000000 |
| 900 | |
| 901 | Test = Negate |
| 902 | A = 00000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 903 | B = fffffffe00000001000000000000000000000001000000000000000000000000 |
| 904 | |
| 905 | Test = Negate |
| 906 | A = 00000001ffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 907 | B = fffffffd00000001000000000000000000000001000000000000000000000000 |
| 908 | |
| 909 | Test = Negate |
| 910 | A = 00000003ffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 911 | B = fffffffb00000001000000000000000000000001000000000000000000000000 |
| 912 | |
| 913 | Test = Negate |
| 914 | A = 00000007ffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 915 | B = fffffff700000001000000000000000000000001000000000000000000000000 |
| 916 | |
| 917 | Test = Negate |
| 918 | A = 0000000fffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 919 | B = ffffffef00000001000000000000000000000001000000000000000000000000 |
| 920 | |
| 921 | Test = Negate |
| 922 | A = 0000001fffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 923 | B = ffffffdf00000001000000000000000000000001000000000000000000000000 |
| 924 | |
| 925 | Test = Negate |
| 926 | A = 0000003fffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 927 | B = ffffffbf00000001000000000000000000000001000000000000000000000000 |
| 928 | |
| 929 | Test = Negate |
| 930 | A = 0000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 931 | B = ffffff7f00000001000000000000000000000001000000000000000000000000 |
| 932 | |
| 933 | Test = Negate |
| 934 | A = 000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 935 | B = fffffeff00000001000000000000000000000001000000000000000000000000 |
| 936 | |
| 937 | Test = Negate |
| 938 | A = 000001ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 939 | B = fffffdff00000001000000000000000000000001000000000000000000000000 |
| 940 | |
| 941 | Test = Negate |
| 942 | A = 000003ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 943 | B = fffffbff00000001000000000000000000000001000000000000000000000000 |
| 944 | |
| 945 | Test = Negate |
| 946 | A = 000007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 947 | B = fffff7ff00000001000000000000000000000001000000000000000000000000 |
| 948 | |
| 949 | Test = Negate |
| 950 | A = 00000fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 951 | B = ffffefff00000001000000000000000000000001000000000000000000000000 |
| 952 | |
| 953 | Test = Negate |
| 954 | A = 00001fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 955 | B = ffffdfff00000001000000000000000000000001000000000000000000000000 |
| 956 | |
| 957 | Test = Negate |
| 958 | A = 00003fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 959 | B = ffffbfff00000001000000000000000000000001000000000000000000000000 |
| 960 | |
| 961 | Test = Negate |
| 962 | A = 00007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 963 | B = ffff7fff00000001000000000000000000000001000000000000000000000000 |
| 964 | |
| 965 | Test = Negate |
| 966 | A = 0000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 967 | B = fffeffff00000001000000000000000000000001000000000000000000000000 |
| 968 | |
| 969 | Test = Negate |
| 970 | A = 0001ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 971 | B = fffdffff00000001000000000000000000000001000000000000000000000000 |
| 972 | |
| 973 | Test = Negate |
| 974 | A = 0003ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 975 | B = fffbffff00000001000000000000000000000001000000000000000000000000 |
| 976 | |
| 977 | Test = Negate |
| 978 | A = 0007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 979 | B = fff7ffff00000001000000000000000000000001000000000000000000000000 |
| 980 | |
| 981 | Test = Negate |
| 982 | A = 000fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 983 | B = ffefffff00000001000000000000000000000001000000000000000000000000 |
| 984 | |
| 985 | Test = Negate |
| 986 | A = 001fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 987 | B = ffdfffff00000001000000000000000000000001000000000000000000000000 |
| 988 | |
| 989 | Test = Negate |
| 990 | A = 003fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 991 | B = ffbfffff00000001000000000000000000000001000000000000000000000000 |
| 992 | |
| 993 | Test = Negate |
| 994 | A = 007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 995 | B = ff7fffff00000001000000000000000000000001000000000000000000000000 |
| 996 | |
| 997 | Test = Negate |
| 998 | A = 00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 999 | B = feffffff00000001000000000000000000000001000000000000000000000000 |
| 1000 | |
| 1001 | Test = Negate |
| 1002 | A = 01ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1003 | B = fdffffff00000001000000000000000000000001000000000000000000000000 |
| 1004 | |
| 1005 | Test = Negate |
| 1006 | A = 03ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1007 | B = fbffffff00000001000000000000000000000001000000000000000000000000 |
| 1008 | |
| 1009 | Test = Negate |
| 1010 | A = 07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1011 | B = f7ffffff00000001000000000000000000000001000000000000000000000000 |
| 1012 | |
| 1013 | Test = Negate |
| 1014 | A = 0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1015 | B = efffffff00000001000000000000000000000001000000000000000000000000 |
| 1016 | |
| 1017 | Test = Negate |
| 1018 | A = 1fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1019 | B = dfffffff00000001000000000000000000000001000000000000000000000000 |
| 1020 | |
| 1021 | Test = Negate |
| 1022 | A = 3fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1023 | B = bfffffff00000001000000000000000000000001000000000000000000000000 |
| 1024 | |
| 1025 | Test = Negate |
| 1026 | A = 7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 1027 | B = 7fffffff00000001000000000000000000000001000000000000000000000000 |
| 1028 | |
| 1029 | |
| 1030 | # Montgomery multiplication tests. |
| 1031 | # |
| 1032 | # The following tests satisfy A * B * 2^-256 = Result (mod P). |
| 1033 | |
| 1034 | Test = MulMont |
| 1035 | A = e762f095431b732ce33c4f4a6f41068ff7f78e37aad940166667d193bfc58039 |
| 1036 | B = a43df383dd5df14d7c16737b781261473f9ffb76ee29562fbb5e5d390b882fb5 |
| 1037 | Result = cf637a47dc5fb82aed80ed4c66b682a94bf0b76a2878acf483aad86c0db7cc19 |
| 1038 | |
| 1039 | Test = MulMont |
| 1040 | A = 2e519e860cb3f8f32fc351861b022e9fc7bb073ca8767efb3d1027dd32a38bcb |
| 1041 | B = 466d035e4238d6a30613dd227b0daeacd6a8634fa60f5150d42dd20601794be4 |
| 1042 | Result = 486e1abe0f79e107f8beca6e4653872f63a24dedb005def6aae75a2a51e73c76 |
| 1043 | |
| 1044 | Test = MulMont |
| 1045 | A = 1763859541b5e2edee019c66699d0e12e349e6ee586d618ac20c679d2fa8cadd |
| 1046 | B = 56125872de888c5656dec17fbf9678d915ff9815da897df81f03fd9aa4f93654 |
| 1047 | Result = 71ce584135a0aba8222ca0021bcefac5811d19100627f96726cf195ff2ac4aad |
| 1048 | |
| 1049 | Test = MulMont |
| 1050 | A = ea3be6295098e4995b93267dbd58f24fd9c18f7e89e9e5aeafdc34ca54e8ec4e |
| 1051 | B = 2735658978d620a4f76bffe94d9cd7d683b3bfd533aa6bb2b94f52122e83f7fc |
| 1052 | Result = 362f7ab3a12effe9bad069b84a7df5f108503c2457f83ddb05b57f19e6457989 |
| 1053 | |
| 1054 | Test = MulMont |
| 1055 | A = f607f087ec5015b533df8802771dc60ef1487d86ce405e5bb18f8f06ca483f13 |
| 1056 | B = 73ac532eb3f2356a96e668f167a1626a0f7b1fd2cd84ba6deeebd01af1d3897d |
| 1057 | Result = ce7045e69da157e62fb42508880f5734531c36948c704aedec42afa75cb9c2eb |
| 1058 | |
| 1059 | Test = MulMont |
| 1060 | A = 80ce8eb07601fd8e19ba08a9d21081b0324fd459f9c489ac7c871d406133c813 |
| 1061 | B = 7ad28cef45b137ecc5426a44b6bce6d4329f5bd2b5e55d46edd5fbb295678a1b |
| 1062 | Result = 04068f8461d17b34c8d9c3eecf61dbaef9cd5a952bbcd9f84bb2044f2439da60 |
| 1063 | |
| 1064 | Test = MulMont |
| 1065 | A = 17429caf63689e143c8ca77df69a11cbc02c272daadd75a66f3fa5f88828367e |
| 1066 | B = 5725bedc56a4b16e0f0ae55fa0beb1fdf3ff132ccb9803bab678d4ac7915d88c |
| 1067 | Result = a1da0fa68947e906287ea164b213bc7e80649b2ac3f97f203549d3b270de05a1 |
| 1068 | |
| 1069 | Test = MulMont |
| 1070 | A = e7da43c0e0fa7adeb972901bef3160c848e9651bfc810968afdb0cd598830370 |
| 1071 | B = 08f03060cac1d3c15eea69623d5fb01da465b209e3e5e90fbb51053a1c5700eb |
| 1072 | Result = cda4ffaf8b1c3ac0d44bae6ea5154de11e14931747a65396531302c0cb1ed537 |
| 1073 | |
| 1074 | Test = MulMont |
| 1075 | A = c7375c2b6666713cb33cfb741268fd3ccf703bcaa0b9b27f84a8cb970655da9c |
| 1076 | B = b0796ee4bb88b9bad895d9c25c34f43a3941e9585bda8e86ff4fa0bbb391ac61 |
| 1077 | Result = fd1d557a9fb0031e462121bf7ca31804acfcfce822bb6ee6631b54c575380617 |
| 1078 | |
| 1079 | Test = MulMont |
| 1080 | A = 72a87b13eb4a2e248214aa591c586df65790f9f750a1641b47581a4ee09be7e9 |
| 1081 | B = 38e602844b9aaf737e8b1261110b86ba22806ccbbbfdc5305075429d7ce4f002 |
| 1082 | Result = cb2d63ee829de8801759f0229d4c07139bacd804f0c815d35004747c65bffdf2 |
| 1083 | |
| 1084 | # Test cases where A == B to test squaring. |
| 1085 | |
| 1086 | Test = MulMont |
| 1087 | A = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1088 | B = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1089 | Result = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1090 | |
| 1091 | Test = MulMont |
| 1092 | A = 579e9ce1ad00639b8b64d49546ff4f9c30ad12eaebe9e2ed91e97d55c3c5d847 |
| 1093 | B = 579e9ce1ad00639b8b64d49546ff4f9c30ad12eaebe9e2ed91e97d55c3c5d847 |
| 1094 | Result = 10c5e60c2d480d5d53f50c24fb771fd2dec208db04624dfd05d2847ca173a9aa |
| 1095 | |
| 1096 | Test = MulMont |
| 1097 | A = 501947209b121bcdedce8c895ee2ba310f2e561e97998eb8f3b99d1f924f36c1 |
| 1098 | B = 501947209b121bcdedce8c895ee2ba310f2e561e97998eb8f3b99d1f924f36c1 |
| 1099 | Result = 54d6d64566619b215910f1b9e467b22ef205ca3aaad37a00fcbd906357f9c179 |
| 1100 | |
| 1101 | Test = MulMont |
| 1102 | A = e84ab9202722498baa2c9158f40d47b1f03df4d13976b0aec916a937e99f3a89 |
| 1103 | B = e84ab9202722498baa2c9158f40d47b1f03df4d13976b0aec916a937e99f3a89 |
| 1104 | Result = 9af01fa6947a60679b6f87efe9b6fba97baf5d55a19d5e91dd5da1da10caeebf |
| 1105 | |
| 1106 | Test = MulMont |
| 1107 | A = add67c61d8479570f45a59e9b04974f970b0c4c6c046056fea1bdf3f0e7d3152 |
| 1108 | B = add67c61d8479570f45a59e9b04974f970b0c4c6c046056fea1bdf3f0e7d3152 |
| 1109 | Result = c0c68b4327e3fe7e0522167a54b25aaa6f76085ce4f6550479c89f3f1c39dd18 |
| 1110 | |
| 1111 | Test = MulMont |
| 1112 | A = 434ef0db5640a3ea63125f815bc3cb3c92d06dbc3b5cb484e01b5247b3b4bfe5 |
| 1113 | B = 434ef0db5640a3ea63125f815bc3cb3c92d06dbc3b5cb484e01b5247b3b4bfe5 |
| 1114 | Result = b5105d16b858279247ed31362a90260978d64e0492e84bffa7a0e13ee1541544 |
| 1115 | |
| 1116 | Test = MulMont |
| 1117 | A = b1db42aa4b259d9c6104599aff622114f10c327d02c5640b74cf1742adff332d |
| 1118 | B = b1db42aa4b259d9c6104599aff622114f10c327d02c5640b74cf1742adff332d |
| 1119 | Result = 0c175e7f96fc62059864c561d99a8d90978c72757ba305cd8862ed6a5fadad59 |
| 1120 | |
| 1121 | Test = MulMont |
| 1122 | A = 7610271796be25416b652badd3119938974b20d4fc92244aea76d23b80d178f0 |
| 1123 | B = 7610271796be25416b652badd3119938974b20d4fc92244aea76d23b80d178f0 |
| 1124 | Result = 67d76e4a7c8355bb362481a76a63b365ad79767cc672b174130e833d41ca5709 |
| 1125 | |
| 1126 | Test = MulMont |
| 1127 | A = 3480d60b0ccafca89c86f22f78380cead81310241f27a815e6fd21c2060caed8 |
| 1128 | B = 3480d60b0ccafca89c86f22f78380cead81310241f27a815e6fd21c2060caed8 |
| 1129 | Result = 68bfb2652d3bf03d17b20b2c52c68e847b0006047ba4ea81d4b85af2e0a21f72 |
| 1130 | |
| 1131 | Test = MulMont |
| 1132 | A = 8ad6fa8bf3fe56ece1d0970636c1429ed5dfc2441c3194928a6348b69490b537 |
| 1133 | B = 8ad6fa8bf3fe56ece1d0970636c1429ed5dfc2441c3194928a6348b69490b537 |
| 1134 | Result = f5cdccf29e09928722137fb5a5ec035d7f39580838e19b892a7a972866330318 |
| 1135 | |
| 1136 | Test = MulMont |
| 1137 | A = 71c328ce472ae74b5028b21f9d1997e0f7dbcee979a8f9fdecfa5d37d359c835 |
| 1138 | B = 71c328ce472ae74b5028b21f9d1997e0f7dbcee979a8f9fdecfa5d37d359c835 |
| 1139 | Result = c3472fafd01fc3ed93a91ab65411cb852bd5839603a02ca6cdfbadcb9ac474a0 |
| 1140 | |
| 1141 | |
| 1142 | # Montgomery conversion tests. |
| 1143 | # |
| 1144 | # The following tests satisfy A * 2^-256 = Result (mod P). |
| 1145 | |
| 1146 | Test = FromMont |
| 1147 | A = 0585a3dada9bb283fd8db4fc46c106d28f95b8cf159a405891196dbb9ce0b5cf |
| 1148 | Result = d198d054d25a069c40cdeeb968a5562a67c3ef659297169e4be872f234897dc0 |
| 1149 | |
| 1150 | Test = FromMont |
| 1151 | A = 9ff49a4a3f810fd34ca6f37fb1b3c40e61bc0492227e91e41cbe06bd58ba65b8 |
| 1152 | Result = 326a061b2047d9ba4eddaba9b1fe253d5b2a24e268e3f8810767bef8cda07643 |
| 1153 | |
| 1154 | Test = FromMont |
| 1155 | A = 05a69f8f646494be65affbd44d0536ca098d6f3640e80b5e48764ab78928cf58 |
| 1156 | Result = 5a6f9c7025d4063480c400fe6f271cf3a3d2c43f9e1ceac21a88208c28329731 |
| 1157 | |
| 1158 | Test = FromMont |
| 1159 | A = 256481a9e52d692719330a6f1208d9eca4ddd919aee06e234cbbde77d245501b |
| 1160 | Result = fe9fc86a2ff61a0c981d5e86c5472248e071e9639521c5be43947bfffc7d5858 |
| 1161 | |
| 1162 | Test = FromMont |
| 1163 | A = 2062ef333cadefc36ced52a2ea7e4215b1fca29283baa1e3be76e321f1b213f0 |
| 1164 | Result = 961ce39c3bf1d699b4b61ded8a5beae6eb6185d21f1df435b079b1f6a79dc738 |
| 1165 | |
| 1166 | Test = FromMont |
| 1167 | A = 97241c3651a8f9d2fc02730f15c3e09e48d2e645cfe927385cb81d3f454414fb |
| 1168 | Result = 2114225803efe7b6c7fbb290cb946da4e78697aad5624c2d3fe9fb568460b93c |
| 1169 | |
| 1170 | Test = FromMont |
| 1171 | A = 1aae0ad2c8ac988e11beda32ca7257f4d4de41f4b74452fa46f0a3bafb39262a |
| 1172 | Result = 77c884131c34a2c3acce8a69dc5cf55987b7999c70586a9ef3c0dfb634900296 |
| 1173 | |
| 1174 | Test = FromMont |
| 1175 | A = 034de033e2d38cf8bec8a994414b64a2fce7c83c5d81efc3d21448225071e85d |
| 1176 | Result = 984fecbde84f393133fb602777b4395c56449d2cbbd7d8ae428b2ee6f82a2956 |
| 1177 | |
| 1178 | Test = FromMont |
| 1179 | A = d2b296c2004b2761b6781311c924cbf5ff56dcc0900ed5cd24f5dd2e07f32633 |
| 1180 | Result = ddcff6e031b859a814ce8f37b71c10cd5fb642af54af72deabb95adcb99307b1 |
| 1181 | |
| 1182 | Test = FromMont |
| 1183 | A = 8f525e6af50a62fc176dec75bdf48f70ba8ab97323ba78c643ef07f6457ba070 |
| 1184 | Result = 8fa95d57aae2fff79045654501478f7a394b27b8b54113a25ac74662606f767c |
| 1185 | |
| 1186 | |
| 1187 | # Point adding tests. |
| 1188 | # |
| 1189 | # The following tests satisfy Result = A + B, where Result is in affine |
| 1190 | # coordinates and A and B are in Jacobian coordinates in the Montgomery domain. |
| 1191 | |
| 1192 | # ∞ + ∞ = ∞. |
| 1193 | Test = PointAdd |
| 1194 | A.X = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1195 | A.Y = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1196 | A.Z = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1197 | B.X = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1198 | B.Y = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1199 | B.Z = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1200 | Result.X = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1201 | Result.Y = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1202 | |
| David Benjamin | dc16f38 | 2016-11-11 22:38:49 +0900 | [diff] [blame] | 1203 | # ∞ + ∞ = ∞, with an alternate representation of ∞. |
| 1204 | Test = PointAdd |
| 1205 | A.X = 2b11cb945c8cf152ffa4c9c2b1c965b019b35d0b7626919ef0ae6cb9d232f8af |
| 1206 | A.Y = 6d333da42e30f7011245b6281015ded14e0f100968e758a1b6c3c083afc14ea0 |
| 1207 | A.Z = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1208 | B.X = 2b11cb945c8cf152ffa4c9c2b1c965b019b35d0b7626919ef0ae6cb9d232f8af |
| 1209 | B.Y = 6d333da42e30f7011245b6281015ded14e0f100968e758a1b6c3c083afc14ea0 |
| 1210 | B.Z = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1211 | Result.X = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1212 | Result.Y = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1213 | |
| David Benjamin | 4a9313a | 2016-10-24 20:02:26 -0400 | [diff] [blame] | 1214 | # g + ∞ = g. |
| 1215 | Test = PointAdd |
| 1216 | A.X = 18905f76a53755c679fb732b7762251075ba95fc5fedb60179e730d418a9143c |
| 1217 | A.Y = 8571ff1825885d85d2e88688dd21f3258b4ab8e4ba19e45cddf25357ce95560a |
| 1218 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1219 | B.X = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1220 | B.Y = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1221 | B.Z = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1222 | Result.X = 18905f76a53755c679fb732b7762251075ba95fc5fedb60179e730d418a9143c |
| 1223 | Result.Y = 8571ff1825885d85d2e88688dd21f3258b4ab8e4ba19e45cddf25357ce95560a |
| 1224 | |
| David Benjamin | dc16f38 | 2016-11-11 22:38:49 +0900 | [diff] [blame] | 1225 | # g + ∞ = g, with an alternate representation of ∞. |
| 1226 | Test = PointAdd |
| 1227 | A.X = 18905f76a53755c679fb732b7762251075ba95fc5fedb60179e730d418a9143c |
| 1228 | A.Y = 8571ff1825885d85d2e88688dd21f3258b4ab8e4ba19e45cddf25357ce95560a |
| 1229 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1230 | B.X = 2b11cb945c8cf152ffa4c9c2b1c965b019b35d0b7626919ef0ae6cb9d232f8af |
| 1231 | B.Y = 6d333da42e30f7011245b6281015ded14e0f100968e758a1b6c3c083afc14ea0 |
| 1232 | B.Z = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1233 | Result.X = 18905f76a53755c679fb732b7762251075ba95fc5fedb60179e730d418a9143c |
| 1234 | Result.Y = 8571ff1825885d85d2e88688dd21f3258b4ab8e4ba19e45cddf25357ce95560a |
| 1235 | |
| David Benjamin | 4a9313a | 2016-10-24 20:02:26 -0400 | [diff] [blame] | 1236 | # g + -g = ∞. |
| 1237 | Test = PointAdd |
| 1238 | A.X = 18905f76a53755c679fb732b7762251075ba95fc5fedb60179e730d418a9143c |
| 1239 | A.Y = 8571ff1825885d85d2e88688dd21f3258b4ab8e4ba19e45cddf25357ce95560a |
| 1240 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1241 | B.X = 18905f76a53755c679fb732b7762251075ba95fc5fedb60179e730d418a9143c |
| 1242 | B.Y = 7a8e00e6da77a27b2d17797722de0cda74b5471c45e61ba3220daca8316aa9f5 |
| 1243 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1244 | Result.X = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1245 | Result.Y = 0000000000000000000000000000000000000000000000000000000000000000 |
| 1246 | |
| 1247 | Test = PointAdd |
| 1248 | A.X = bcba3eebf2b0af1174a4b874b155b4dc74bd5fb57c70214561aaabb105635580 |
| 1249 | A.Y = 1dc33ce74f651305dd89263c1d314edd2773ef6dd043742a6f47f29542b9eb07 |
| 1250 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1251 | B.X = f9e0b98b1a87b6c49c4cc5fc47efd157e5f12cf5543d71cfa38187a3793d6791 |
| 1252 | B.Y = 3b2de94df438554381037c9f9d2c21991c6975d83c0acd42ef1a8419a040436f |
| 1253 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1254 | Result.X = 6bd7b4e06d7862f749901a398417e941618c11c48dffcce719e4026220b77477 |
| 1255 | Result.Y = 1e2ffd71e8c206acc19032d26a53ea275fefea51a2c90e4dd3c8b7c6acc51ab6 |
| 1256 | |
| 1257 | Test = PointAdd |
| 1258 | A.X = d71c6da129f6e867bf525563e1d8bdbd2f90a9bac7de867a6ea2317a5d6cb507 |
| 1259 | A.Y = 125e0cc1ba0c93caa19edb419a764f88d955289c4c6e77d02d90e4e31d47c9a2 |
| 1260 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1261 | B.X = 334c2200ec08896808ab12a76820ff674fcdccff6d85afa2e586b31fc944de33 |
| 1262 | B.Y = b5ee8cfa25896d4075588c60926a2582a099c7a5acbcfec78fba457c4886301c |
| 1263 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1264 | Result.X = 93e9d4e6f7736f80da1b00d221024ccfd17f2927d6b505a5bcefe0801fe6f0a9 |
| 1265 | Result.Y = 4824eeb2d5da27d57e1d50c2dae000acdcddcbaf534d8b7e7d97854ed3dc939e |
| 1266 | |
| 1267 | Test = PointAdd |
| 1268 | A.X = 0daba41be2b418e7d160a363e6cbdcbff5d433f96b0d5be3812c0a7adfab8ed4 |
| 1269 | A.Y = 3ae4dd97c4d2987a63df16c5fb8c494164e14b93eeebd5585d74bd26e2201499 |
| 1270 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1271 | B.X = 87135fb06383ec8b282fdc028eb38fd447ac1ecc76922e37f0cc454febb11aee |
| 1272 | B.Y = 98ab966087531eb3eea1e5e36189271a02f7ee8e381f9c78d6f346a301f96f81 |
| 1273 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1274 | Result.X = 2e096c2fabf06a5b838c7e07fda436d068dd1c4e3ff4f5704f89ab9df6b4be5b |
| 1275 | Result.Y = 59ca6304321ae1e41bfa30f52e7ef27fceeade8507f20837654383d70e8a41df |
| 1276 | |
| 1277 | Test = PointAdd |
| 1278 | A.X = 356db98c21c2169899b9b296edcacb7d531524f2572913b75edb7b73196f5682 |
| 1279 | A.Y = 47a26c52b1b2f229109e8aca7f5b4af768baf053a15ff8f58051c7e4e1b7f818 |
| 1280 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1281 | B.X = 56956f6d3bbbd4aece299f29bb4c537355f312f391c207c6ec6efe646362b288 |
| 1282 | B.Y = a69fc73c0636c9928764cc9d6e1482577b6ca06f277c098f571108356a858cab |
| 1283 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1284 | Result.X = ca0ddd995a77173a1438473bf82734cb3a09fafe7050bda9bd592a1cf078fa38 |
| 1285 | Result.Y = 379da87952d36c5396b934a2ce8b003ee8fc4155b3b488f2f550734e2a82ce7d |
| 1286 | |
| 1287 | Test = PointAdd |
| 1288 | A.X = 13764cccab4addf5cf4ef5fb4af60a93e08fa3a0a72653abf013e3427abbf82c |
| 1289 | A.Y = c3dc524745368a0dc4948f897402f4b5a280acbf74f5ea9180d038a483d4090a |
| 1290 | A.Z = 2903a04d6615ec23cd63ba46287be2e7a8eeee030bed49e7a94769386a46f209 |
| 1291 | B.X = a5c5921f9a8c569f661693bfae1b167937987c2fe951956ef0e34c426965c648 |
| 1292 | B.Y = f8a299605e690a78e583371e59cf2b848d475afc35bb1448981c53ad8c0a6581 |
| 1293 | B.Z = 9c3fde73f1899a76eb40f055fce02ab9c1b1ce7d43b54c54f93ffe56830e3f83 |
| 1294 | Result.X = 4073318e85bc2d7637fd0129fa8eb86b6ca20334542795f3bb1de54b90a16b69 |
| 1295 | Result.Y = 9a1b1e7435d98287b244d2337f8bf0e9c87b40677bf1ea2a9dedbd07c5241ee0 |
| 1296 | |
| 1297 | Test = PointAdd |
| 1298 | A.X = f72706b81fca2b1530238bdc2c0c454b5116ee54fdf156bc62bffea73f0645af |
| 1299 | A.Y = c6e66d9ae8fc5e164e6a985f866aae41f3c4e4281a0eea9173e4e77cb29e4bc7 |
| 1300 | A.Z = 6a84f9c37634b8aefdae477e9efec66f20d2f6159575f40c7b21a1e0732e8c49 |
| 1301 | B.X = bcf21b020cb8fb4b2ef7f639240d221dd96fc08d7fa575c2e7037fc84d8f03b2 |
| 1302 | B.Y = abc500f82f06f0d69a920c8d80eef9dd2310cd09e0d89d80fc7397aa4e361dd1 |
| 1303 | B.Z = 5031c46be15f9d4fa9a347be998c07f9cc7f754999fe0f9c3c8b38e0d85dda9f |
| 1304 | Result.X = 401b010df4dd21ed96f7c8babb401db74b3b6ee7f55c498803203855b5911de9 |
| 1305 | Result.Y = 05e585cca569bc22855f7df32b20a4a45315a1ca5d98d2b94792eb748ec8744b |
| 1306 | |
| 1307 | Test = PointAdd |
| 1308 | A.X = 7b44b52e9fb1bc58c81a2adc9bfedcc42bba3cb34ec666e51cba8050d48fdb37 |
| 1309 | A.Y = 2b7e629fef7b4e175f5eb30c421e60f26fefdf5f9fed743cad4a8e638c18696a |
| 1310 | A.Z = 68f31acd92bed56a4556e954b0c51f9f8f3b797bc853d1b2b01b228657bd317f |
| 1311 | B.X = 3d293c36fd065d1f054eb218932d60feb00d1bd4bee0236cb9788d9723df9571 |
| 1312 | B.Y = c8b893b8e9ff935f2e060227334e32ba144f4046b1bd4961f4479ad3fef1c7d2 |
| 1313 | B.Z = 9c072deacfe5c025c763efebb4feab79e954c47d3e86ef4abfbd1901f50d8495 |
| 1314 | Result.X = 245582d32415c77a2e3abbf844cf1a40c31466c1418cd279747e5394744509be |
| 1315 | Result.Y = 5c2f80f947d2df7fb1f829d05c6175f6fce7cd2d7f79fd7aa865f930e910e9fd |
| 1316 | |
| 1317 | Test = PointAdd |
| 1318 | A.X = 75ab91b8a46a5a1abf827cb209373b28cbb8f83a06adf6a9b10ac76e22493ecc |
| 1319 | A.Y = abd989a78d1bcee7e63920d7e637f9763901da408a9d8c731e4e65a6fc52e1a1 |
| 1320 | A.Z = 188a24145243ca066c35870e5a8835532ad512fbdcf5f5ae4033b262fa9aa6b8 |
| 1321 | B.X = 5d6e885ec19069b2aa51a2723c98da1f03e8dbc344fe1de0bdb42910ba8bfe96 |
| 1322 | B.Y = a1f86e66eacc38db7e47154a324a16031705b4803addf074037d3320b50dbef8 |
| 1323 | B.Z = 5cff900a783687049a7d497b1f8cd837c479a61f3fef4b7ced180ea82770bc75 |
| 1324 | Result.X = a4029333b9b9db434eea002bd6d4e0d9f3e5317c685511a30ecae351fc60d164 |
| 1325 | Result.Y = 8e9302c77bc6f560c9bec473ef1ffb76b357c0d4794192696bda8e99651798ee |
| 1326 | |
| 1327 | Test = PointAdd |
| 1328 | A.X = 8d1867f890abaa26b634d5d5cdeb0f4abc7ebd16d807479f837fcece592dc0eb |
| 1329 | A.Y = fc68c801999c12070eddeb3169219c491f9e8fe29cdc4e3cb698ee8471934076 |
| 1330 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1331 | B.X = 8d1867f890abaa26b634d5d5cdeb0f4abc7ebd16d807479f837fcece592dc0eb |
| 1332 | B.Y = fc68c801999c12070eddeb3169219c491f9e8fe29cdc4e3cb698ee8471934076 |
| 1333 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1334 | Result.X = 8da53dc540c1450c73082ad3b799d0d18a69a747fcd81f847e9e60484dcf579a |
| 1335 | Result.Y = c20c398e99e0513a452b5e9b6331863d1ac3eee6fcf73021f505a0b62daf6f80 |
| 1336 | |
| 1337 | Test = PointAdd |
| 1338 | A.X = 328b983f6490312e37e8eeb2121cd622cf85dbcf78af93df74fbca961ce3bfa2 |
| 1339 | A.Y = 1c8a0aea2f2e540770644f48c41810bf7f9e1a782b2f6397712b17c88109fbce |
| 1340 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1341 | B.X = 328b983f6490312e37e8eeb2121cd622cf85dbcf78af93df74fbca961ce3bfa2 |
| 1342 | B.Y = 1c8a0aea2f2e540770644f48c41810bf7f9e1a782b2f6397712b17c88109fbce |
| 1343 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1344 | Result.X = b6f3c548944862dfdea2314ca6d6a88780b08da41becf58384af80544aca4966 |
| 1345 | Result.Y = 95afecb4ad3195485a2aad3cd14008c9a7c1e0c02656c3c2b7cd5f2e7f3a4474 |
| 1346 | |
| 1347 | Test = PointAdd |
| 1348 | A.X = 3ae6b24cadd6a14612d24a1c094a35c6be56db8f53a6d526e0ede03923918443 |
| 1349 | A.Y = de8a23105c5f5c88b77dbde74e30a56f8865d78a5ce9060cff9f2927dbd196b6 |
| 1350 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1351 | B.X = 3ae6b24cadd6a14612d24a1c094a35c6be56db8f53a6d526e0ede03923918443 |
| 1352 | B.Y = de8a23105c5f5c88b77dbde74e30a56f8865d78a5ce9060cff9f2927dbd196b6 |
| 1353 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1354 | Result.X = 6f125b512c3c736f39781fcd89adb653e515b4ce1e1204505f08d0a8480052ef |
| 1355 | Result.Y = e1acfccf1b9950067adf0f06e0d9703a8b1ac1bbdbb35b08df28cd56c24ae5a0 |
| 1356 | |
| 1357 | Test = PointAdd |
| 1358 | A.X = f317c6c02d9a6ff0799b3b4a22f83c95324831baad336ecd0c631ea04a5e11c8 |
| 1359 | A.Y = b624e8057d411031f41b30cd02f56c24e89262e885007b7a1ed1861feb7ffcda |
| 1360 | A.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1361 | B.X = f317c6c02d9a6ff0799b3b4a22f83c95324831baad336ecd0c631ea04a5e11c8 |
| 1362 | B.Y = b624e8057d411031f41b30cd02f56c24e89262e885007b7a1ed1861feb7ffcda |
| 1363 | B.Z = 00000000fffffffeffffffffffffffffffffffff000000000000000000000001 |
| 1364 | Result.X = e805208c74602e54482d113f16fcf6e4600436f8af49705cdd05ecfb0e6d45fd |
| 1365 | Result.Y = baded898bfead1b4eb3ab3bbd0129837efc85823dabe82718a975bd603f96d9e |
| 1366 | |
| 1367 | Test = PointAdd |
| 1368 | A.X = 3a6802aeaebc67046a1e75152822fa8bab04c11ae2b816f42c073daee3f13274 |
| 1369 | A.Y = d6522c882d18e32bc5ea1fa59efbce8ce2369f2154dcc00e6fb17500f50f8ebf |
| 1370 | A.Z = bea747d5bb1c6ee865249d7a22378f3c760916e163497f4b6ef4da8adcb5dfab |
| 1371 | B.X = 3a6802aeaebc67046a1e75152822fa8bab04c11ae2b816f42c073daee3f13274 |
| 1372 | B.Y = d6522c882d18e32bc5ea1fa59efbce8ce2369f2154dcc00e6fb17500f50f8ebf |
| 1373 | B.Z = bea747d5bb1c6ee865249d7a22378f3c760916e163497f4b6ef4da8adcb5dfab |
| 1374 | Result.X = 5a2891dca746889d413d8dc1a69b715954baf692689fc32d9aa10b7431a5c149 |
| 1375 | Result.Y = 91db7288536b4f6d78e5a787ecbb5094f6834515038cb070a7fa4870af8045f0 |
| 1376 | |
| 1377 | Test = PointAdd |
| 1378 | A.X = c76ddbcb15bc63f82807804536a0d25fd7a639c71adf953ad6cc8f68d915f485 |
| 1379 | A.Y = e3a4f830809f5e91b68699c05fa9faa7c3d1f9d1b1c982c282508fa18d695537 |
| 1380 | A.Z = eb372f19c7b9466a116363ad9114a89ad287523da318d915f59ed5e558bd824e |
| 1381 | B.X = c76ddbcb15bc63f82807804536a0d25fd7a639c71adf953ad6cc8f68d915f485 |
| 1382 | B.Y = e3a4f830809f5e91b68699c05fa9faa7c3d1f9d1b1c982c282508fa18d695537 |
| 1383 | B.Z = eb372f19c7b9466a116363ad9114a89ad287523da318d915f59ed5e558bd824e |
| 1384 | Result.X = c5485a3509f55c7cc33d098fb0bfe1b198a9f26ce0ebc29bec5baa29ef6f74a2 |
| 1385 | Result.Y = 60e949a551aa94afc9a3efe411a3c63ecb851ef1738ed24c88f86cf85ec01020 |
| 1386 | |
| 1387 | Test = PointAdd |
| 1388 | A.X = ca72936509631f09d2a3ac14fb786daabb15520ef01de4298c7fd71653e89194 |
| 1389 | A.Y = 02aeb6b6f04cd8125887baa18e6e79ba2b0acfa9a2443e9eea36ca7715eb8eb3 |
| 1390 | A.Z = 8b4ef1a52fa42c711445e0463003f2ed38ace6583bf08198e9a0b938b4589479 |
| 1391 | B.X = ca72936509631f09d2a3ac14fb786daabb15520ef01de4298c7fd71653e89194 |
| 1392 | B.Y = 02aeb6b6f04cd8125887baa18e6e79ba2b0acfa9a2443e9eea36ca7715eb8eb3 |
| 1393 | B.Z = 8b4ef1a52fa42c711445e0463003f2ed38ace6583bf08198e9a0b938b4589479 |
| 1394 | Result.X = 8d3b35c5661faafa83510ab9b3f1642bb121e7686ed4ae61323ddee2c7247f93 |
| 1395 | Result.Y = 1a22ef5df156ca80235fe3cd1ca3152e21a3e17b2a34dd93b2003e3274a8a2fb |
| 1396 | |
| 1397 | Test = PointAdd |
| 1398 | A.X = db7b023fbe056819027fa09c5a2a0d777a53fb78c00bf4f31f46b63a7494bbfe |
| 1399 | A.Y = 59affcbf4628d572ee56b95087d30e765bb518b123e879b25df9960dab706a32 |
| 1400 | A.Z = 1f7c7226d78e51478c683bbb6afe01abc2225dbfc773d0806d30ff5f827b76c8 |
| 1401 | B.X = db7b023fbe056819027fa09c5a2a0d777a53fb78c00bf4f31f46b63a7494bbfe |
| 1402 | B.Y = 59affcbf4628d572ee56b95087d30e765bb518b123e879b25df9960dab706a32 |
| 1403 | B.Z = 1f7c7226d78e51478c683bbb6afe01abc2225dbfc773d0806d30ff5f827b76c8 |
| 1404 | Result.X = fba400ae656ec3103c5c5f531d2a0f7368031e01a48a91f1a4f3138d294b13be |
| 1405 | Result.Y = 160e358ad1f059eb62722df01a7440048a1db21ecaea8698efa9677db6e9ff97 |
